AVI und MKV sind nur Containerformate; das sollte sich auf die Dateigröße nicht stark auswirken. Ich vermute eher, daß die MKVs in der Regel modernere Codecs als die AVIs verwenden. H.264/AAC ist deutlich kleiner als XviD/MP3.