Оценка коэффицента вершинного расширения для спектрального экспандера.
Теорема о существование спектральных экспандеров.