Доказательство гипотезы Брауэра (ГБ) для всех графов с числом вершин $n>n_0$ в предположении, что ГБ выполняется при $n\leq n_0$ для некоторого $n_0 \leq 10^{24}$

В работе рассматривается проблема построения верхней оценки для суммы максимальных собственных чисел лапласиана графа. Статья посвящена доказательству гипотезы Брауэра, которая состоит в том, что сумма -максимальных собственных чисел лапласиана графа не превышает числа ребер графа плюс \( (t + 1)t⁄2 \). Отметим, что мы доказываем справедливость общей гипотезы Брауэра в предположении справедливости гипотезы для конечного числа графов с числом вершин меньше \( 10^{24 } \), т.е. полное доказательство гипотезы сводится к установлению ее справедливости для конечного числа графов. Доказательство данной гипотезы привлекает интерес большого числа специалистов. Имеется ряд результатов для специальных графов и доказательство справедливости гипотезы для почти всех случайных графов. Рассматриваемое нами доказательство использует индуктивный метод, имеющий ряд особенностей. Оригинальный метод предполагает построение различных оценок для собственных чисел лапласиана, который используется для построения шага индукции. Рассматриваются несколько вариантов метода в зависимости от величин координат собственных векторов лапласиана. Используется известный факт эквивалентности справедливости гипотезы Брауэра для самого графа и дополнения графа.