[논문 리뷰] Diameter of Ramanujan Graphs and Random Cayley Graphs with Numerics

Naser T. Sardari|arXiv (Cornell University)|2015. 11. 30.

Analytic Number Theory Research참고 문헌 1인용 수 4

한 줄 요약

이 논문은 $(p+1)$-정규 LPS 라만두잔 그래프의 지름에 대해 $\lfloor \frac{4}{3}\log_p(n) \rfloor$ 의 하한을 확립하며, 임의의 $k$-정규 라만두잔 그래프에서 $(1+\epsilon)\log_{k-1}(n)$ 거리를 초과하는 정점 쌍의 비율이 무시할 만큼 작다는 것을 보여준다. 수치 실험 결과는 LPS 그래프의 지름이 점점 $\frac{4}{3}\log_{k-1}(n)$ 에 수렴하고, 무작위 카일리 그래프의 지름은 $\log_{k-1}(n)$ 에 수렴하는 것으로 나타나, 사르나크의 커버링 지수 추측과 강한 근사 추측을 지지한다.

ABSTRACT

For an infinite family of $(p+1)$-regular LPS Ramanujan graphs, we show that the diameter of these graphs is greater than or equal to $ \lfloor \frac{4}{3}\log_{p}(n) floor$, where $p$ is an odd prime number and $n$ is the number of vertices. On the other hand, for any $k$-regular Ramanujan graph we show that the distance of only tiny fraction of all pairs of vertices is greater than $(1+\epsilon)\log_{k-1}(n)$. We also have some numerical experiments for LPS Ramanujan graphs and random Cayley graphs which suggest that the diameters are asymptotically $\frac{4}{3}\log_{k-1}(n)$ and $\log_{k-1}(n)$, respectively. These are consistent with Sarnak's expectation on the covering exponent of universal quantum gates and our conjecture for the optimal strong approximation for quadratic forms in 4 variables.

연구 동기 및 목표

• 스펙트럴 그래프 이론과 수론적 성질을 활용하여 LPS 라만두잔 그래프의 지름에 대한 날것의 하한을 도출하는 것.
• $k$-정규 라만두잔 그래프에서 거리의 분포를 조사하고, 특히 $(1+\epsilon)\log_{k-1}(n)$ 거리를 초과하는 정점 쌍의 비율을 분석하는 것.
• LPS 라만두잔 그래프의 점근적 지름 성장률이 $\frac{4}{3}\log_{k-1}(n)$ 이고, 무작위 카일리 그래프의 경우 $\log_{k-1}(n)$ 이라는 점근적 성장률을 지지하는 수치적 증거를 제공하는 것.
• 이 그래프 이론적 결과를 양자 게이트 보편성과 관련된 심오한 수론적 추측, 특히 사르나크의 보편 양자 게이트 커버링 지수 추측과 4변수 이차형식에 대한 강한 근사 추측과 연결하는 것.

제안 방법

• 라만두잔 그래프의 스펙트럼 갭 성질을 활용하여 고유값의 경계와 확산 성질을 통해 지름의 하한을 유도하는 것.
• 모어 경계와 정규 그래프에서의 로그 성장 추정치를 적용하여 거리 분포를 분석하는 것.
• 다양한 $p$ 와 $k$ 에 대해 구체적인 LPS 라만두잔 그래프와 무작위 카일리 그래프에서 지름을 수치적으로 계산하는 것.
• 관측된 지름을 이론적 점근적 예측과 비교하여 추측의 수렴성과 타당성을 평가하는 것.
• 최적의 확산을 보장하고 지름 추정치에 영향을 주기 위해 라만두잔 성질($\lambda_2 \leq 2\sqrt{k-1}$)을 활용하는 것.
• LPS 그래프에서의 $p$-진 및 산술군의 구조를 활용하여 최단 경로에 대한 구조적 제약 조건을 도출하는 것.

실험 결과

연구 질문

• RQ1 무한한 $(p+1)$-정규 LPS 라만두잔 그래프의 가족에서 가능한 최소 지름은 무엇이며, 하한으로서 유계일 수 있는가?
• RQ2 어떤 $k$-정규 라만두잔 그래프에서 $(1+\epsilon)\log_{k-1}(n)$ 거리를 초과하는 정점 쌍은 얼마나 되며, 총 수에 비해 차지하는 비율은 얼마인가?
• RQ3 LPS 라만두잔 그래프와 무작위 카일리 그래프의 지름이 각각 점점 $\frac{4}{3}\log_{k-1}(n)$ 과 $\log_{k-1}(n)$ 에 수렴하는가?
• RQ4 이 그래프에서 관측된 지름 행동은 보편 양자 게이트의 커버링 지수에 대한 사르나크의 추측을 지지할 수 있는가?
• RQ5 이 그래프의 지름 성장과 4변수 이차형식에 대한 강한 근사 성질 사이에 연결 고리가 존재하는가?

주요 결과

• $(p+1)$-정규 LPS 라만두잔 그래프의 지름은 $\lfloor \frac{4}{3}\log_p(n) \rfloor$ 로 하한이 존재함을 보여, 비자명한 하한을 확립하였다.
• 임의의 $k$-정규 라만두잔 그래프에서 $(1+\epsilon)\log_{k-1}(n)$ 거리를 초과하는 정점 쌍의 비율은 무시할 만큼 작으며, 이는 거의 최적의 확산을 나타낸다.
• 수치 실험 결과는 LPS 라만두잔 그래프의 지름이 점점 $\frac{4}{3}\log_{k-1}(n)$ 에 수렴하는 것으로 나타나, 이론적 하한과 일치한다.
• 무작위 카일리 그래프에 대한 수치 결과는 지름이 점점 $\log_{k-1}(n)$ 에 수렴함을 보여주며, 정규 그래프의 모어 경계와 일치한다.
• 관측된 지름 행동은 보편 양자 게이트의 커버링 지수에 대한 사르나크의 추측을 지지한다. 이 추측은 유니터리 연산자의 효율적 생성을 요구한다.
• 이 연구는 이차형식의 최적 강한 근사 추측에 대한 수치적이고 이론적 증거를 제공하며, 그래프의 지름과 수론 기하학을 연결한다.