4017 пришёл раньше, чем 4018 и последующие, вот и красным. Красный цвет пошёл ещё с тех пор, когда Авианты с завода были светлого цвета (№ 4002-4009) - нарисовать им номера белой краской было бы сложно. Начиная с 4010, когда Авианты "потемнели", некоторое время для номеров использовали и белый, и красный цвет (например у 4014 и 4015 номера тоже были красными, а вот у 4016 - белыми, причём шрифт цифр был какой-то не деповской), ну а с 4018 окончательно перешли на белый.
链接