Q-полиномиальный граф с массивом пересечений {60, 45, 8; 1, 12, 50} не существует

Аннотация

При исследовании вполне регулярных графов Γ диаметра d, в которых для некоторой вершины a пара (Γd(a), Γd-1(a)) является 2-схемой, доказано, что подграф, индуцированный множеством точек, является кликой, кокликой или сильно регулярным графом. Для графа диаметра 3 установлено, что указанная конструкция является 2-схемой для любой вершины a тогда и только тогда, когда граф дистанционно регулярен и для любой вершины a подграф Γ3(a) является кликой, кокликой или сильно регулярным графом (А.Л. Гаврилюк, А.А. Махнев). Интересным представляется вопрос о существовании дистанционно регулярного графа с массивом пересечений {60,45,8;1,12,50}, для которого Γ3(a) может быть 6×6-решеткой и пара (Γ3(a), Γ2(a)) будет 2-схемой. В работе И.Н. Белоусова и А.А. Махнева (2018) опубликовано доказательство несуществования вышеуказанного графа, содержащее ошибки. В данной работе приводится корректное доказательство этого результата.