[논문 리뷰] Ramanujan Graphs and the Solution of the Kadison-Singer Problem

Adam W. Marcus, Daniel A. Spielman외 1명|arXiv (Cornell University)|2014. 08. 19.

Graph theory and applications참고 문헌 27인용 수 23

한 줄 요약

이 논문은 다항식의 상호작용 가족과 혼합 특성 다항식의 방법을 사용하여 카디슨-싱어 문제를 해결하고, 모든 차수에 대해 무한한 수의 이분 그래프 라마누잔 그래프 가족의 존재를 증명한다. 핵심 기여는 무작위 행렬 집합의 최대 고유값에 대한 경계를 설정하는 새로운 분석적 프레임워크를 수립한 것으로, 그래프의 최적 스펙트럼 확장을 이끌어내고, 함수해석학 및 조합론 분야의 오랜 추측을 확인한다.

ABSTRACT

We survey the techniques used in our recent resolution of the Kadison-Singer problem and proof of existence of Ramanujan Graphs of every degree: mixed characteristic polynomials and the method of interlacing families of polynomials. To demonstrate the method of interlacing families of polynomials, we give a simple proof of Bourgain and Tzafriri's restricted invertibility principle in the isotropic case.

연구 동기 및 목표

• 힐버트 공간 사영의 분할에 관한 오랜 동안 남아있던 연산자 대수학 문제인 카디슨-싱어 문제를 해결하기 위해.
• 모든 d ≥ 3에 대해 d-정규 이분 라마누잔 그래프의 무한한 가족의 존재를 증명하기 위해, 이전에 특수한 차수에 국한된 구성에 기반한 것들을 확장하기 위해.
• 그래프 스퍼피케이션과 제한된 역행성과 관련된 무작위 행렬 집합의 스펙트럼 노름을 유계화하기 위해, 새로운 방법—다항식의 상호작용 가족—을 개발하고 적용하기 위해.
• 라마누잔 그래프에서 스펙트럼 확장의 최적성을 반영하는 혼합 특성 다항식에 대한 날카운 경계를 확립하기 위해.
• 무작위 행렬 이론, 스펙트럼 그래프 이론, 실 안정 다항식의 기법을 통합하여 기능해석학 및 조합론 문제를 해결하기 위해.

제안 방법

• 행렬 집합에서 유도된 다항식의 집합의 근을 분석하기 위해 다항식의 상호작용 가족 방법을 도입하기 위해.
• 무작위 서명된 인접 행렬의 기대 특성 다항식을 코딩하기 위한 핵심 도구로 혼합 특성 다항식을 정의하기 위해.
• 다변수 장벽 함수와 실 안정 다항식을 사용하여 미분 연산자 (1−∂zj) 가 다항식 근의 위치에 미치는 영향을 추적하기 위해.
• 상호작용 보조정의 다변수 버전을 확립하여, (1−∂zj) 를 적용할 경우 근에 대한 견고한 상한이 제어 가능한 정도로 이동됨을 보여주기 위해.
• 실 안정 다항식 이론과 헬튼-빈니코프 표현을 활용하여 장벽 함수의 단조성과 볼록성을 증명하기 위해.
• 알론-보파나 하한을 하한 증거로 활용하여, 라마누잔 그래프의 맥락에서 유도된 고유값 경계의 날카로움을 보여주기 위해.

실험 결과

연구 질문

• RQ1 깊은 연산자 대수학적 기법을 피하는 다항식 기반 방법을 사용하여 카디슨-싱어 문제를 해결할 수 있는가?
• RQ2 모든 차수 d ≥ 3에 대해, 수론적 군에 기반한 알려진 구성 외에도 d-정규 이분 라마누잔 그래프의 무한한 가족이 존재하는가?
• RQ3 다항식의 상호작용 가족 방법을 사용하여 최적의 상수를 갖는 제한된 역행성 정리를 증명할 수 있는가?
• RQ4 d-정규 그래프의 인접 행렬에 대한 무작위 서명의 최대 고유값에 대한 가장 날카운 경계는 무엇인가?
• RQ5 혼합 특성 다항식과 장벽 함수는 어떻게 상호작용하여 무작위 행렬 집합에서 날카로운 스펙트럼 경계를 도출하는가?

주요 결과

• 카디슨-싱어 문제는 다항식의 상호작용 가족과 혼합 특성 다항식의 방법을 사용하여 긍정적으로 해결되었다.
• 모든 d-정규 그래프는 해당 행렬의 모든 비자명한 고유값의 절댓값이 2√(d−1) 이내로 유계화되는 서명을 갖는다. 이는 모든 d ≥ 3에 대해 이분 라마누잔 그래프의 무한한 가족의 존재를 확인한다.
• d-정규 그래프의 무작위 서명의 최대 고유값은 양의 확률로 d(1+√(2/d))² = d+2+2√(2d) 이하이며, 이는 알려진 라마누잔 구성의 渐近적 행동과 일치한다.
• 혼합 특성 다항식의 최대 고유값에 대한 경계는 날카롭다. 이는 향후 개선이 알론-보파나 하한과 모순됨을 의미한다.
• 이 방법은 다항식의 상호작용 가족을 사용하여 보운과 츠라피리의 제한된 역행성 원리가 등방향 경우에 최적의 상수를 갖는다는 것을 증명한다.
• 이 프레임워크는 라마누잔 그래프의 스펙트럼 간격이 최적이며, 그 고유값 분포가 무한한 d-정규 트리와 일치함을 보여준다.