Я все больше интересуюсь теорией спектральных графов, которая мне кажется интересной, и я начал собирать несколько документов, которые мне еще предстоит прочитать более тщательно, чем то, что я имею до сих пор.
Однако мне любопытно высказывание, которое появилось в нескольких источниках (например, там ), в котором говорится, что некоторые результаты в теории графов были доказаны с использованием только методов, основанных на спектре, и что до сих пор нет доказательств того, что Обход тех приемов известен.
Если я не пропустил это, я не помню, чтобы видел такой пример в литературе, которую я до сих пор читал. Кто-нибудь из вас знает примеры таких результатов?
graph-theory
co.combinatorics
proofs
spectral-graph-theory
Энтони Лабарре
источник
источник
Ответы:
Теорема Хоффмана – Синглтона .
источник
Как насчет этого результата на квантовых вычислениях.
Марио Сегеды. Квантовое ускорение алгоритмов на основе цепей Маркова. В FOCS'04.
Он расширяет цепочки Маркова до квантовых цепей Маркова и показывает, что время квантового удара сверху ограничено квадратным корнем классического времени удара. Он делает это, связывая сингулярные векторы классической цепи Маркова с сингулярными векторами квантовой цепи Маркова. До этой статьи не было никакой известной связи между случайными и квантовыми блужданиями. Я не могу представить, как сделать то же самое, используя не спектральные методы.
источник
Я думаю, что теорема о дружбе (см. Также статью Хунеке ) является хорошим примером, хотя, строго говоря, в настоящее время существуют доказательства теоремы о дружбе, которые избегают собственных значений. Доказательства, которые полностью избегают собственных значений, намного сложнее, чем спектральное доказательство.
(Теорема о дружбе гласит, что если в комнате людей у каждой пары людей есть только один общий друг, то есть кто-то, кто знает всех остальных.)
источник
Несмотря на то, что формулировка теоремы, несомненно, не является «изначально спектральной», я не думаю, что известно, как можно получить этот результат или подобный результат без использования спектральных методов.
источник