[論文レビュー] Diameter of Ramanujan Graphs and Random Cayley Graphs with Numerics

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

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ラマヌジャン・グラフの直径に対するタイトな下界を求める。
• 特に、$(1+\epsilon)\log_{k-1}(n)$より距離が大きい頂点対の割合を含め、$k$-正則ラマヌジャン・グラフにおける距離の分布を調査する。
• 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)$に近づくことを示しており、正則グラフのモアの境界と一致する。
• 観察された直径の挙動は、普遍的量子ゲートの被覆指数に関するサルナックの予想を支持しており、ユニタリ演算子の効率的生成を要請する。
• これらの発見は、4変数の二次形式に関する最適な強近似予想について、数値的および理論的証拠を提供し、グラフの直径と算術的幾何学を結びつける。