[論文レビュー] Complexity of strong approximation on the sphere

Naser T. Sardari|arXiv (Cornell University)|Mar 8, 2017

Advanced Mathematical Identities参考文献 7被引用数 8

ひとこと要約

本稿では、整数因数分解が多項式時間で可能であると仮定し、2次形式に関するConjecture 1.1（強近似）を前提として、LPSラマヌジャングラフのナビゲーションのための決定的多項式時間アルゴリズムを提示する。パス探索問題を、制限された合同条件を満たす4つの平方数の和への整数表現に還元することで、対角頂点間の最短パスを計算する。その結果、$ (4/3)/\log_p|X^{p,q}| + O(1) $ という予想される漸近的直径と一致する境界が得られ、100桁の素数 $ q $ について数値的検証が行われた。

ABSTRACT

By assuming some widely-believed arithmetic conjectures, we show that the task of accepting a number that is representable as a sum of $d\geq2$ squares subjected to given congruence conditions is NP-complete. On the other hand, we develop and implement a deterministic polynomial-time algorithm that represents a number as a sum of 4 squares with some restricted congruence conditions, by assuming a polynomial-time algorithm for factoring integers and Conjecture~ ef{cc}. As an application, we develop and implement a deterministic polynomial-time algorithm for navigating LPS Ramanujan graphs, under the same assumptions.

研究の動機と目的

• 理論的コンピュータサイエンスおよび量子回路設計において重要なLPSラマヌジャングラフのナビゲーションのための決定的多項式時間アルゴリズムを開発すること。
• 算術的予想を仮定した場合、これらのグラフ上のパス探索問題がNP完全であることを証明し、一般のインスタンスにおける計算の困難性を確立すること。
• 整数解の密度に関するConjecture 1.1を提示・正当化し、アルゴリズムの終了および効率性を可能にする。
• LPSラマヌジャングラフの直径に対して定量的境界を確立し、ほとんどの対角頂点ペアが $ \log_p|X^{p,q}| + O(\log\log|X^{p,q}|) $ の長さのパスで接続されることを示すこと。
• 具体的な数値例を提示し、100桁の素数 $ q $ に対して432ステップのパスを生成し、理論的下界 $ 3\log_5(q) \approx 428.5 $ から2ステップ以内であることを検証することで、アルゴリズムの最適性を裏付ける。

提案手法

• LPSラマヌジャングラフにおけるナビゲーション問題を、特定の合同条件を満たす4つの平方数の和への整数表現問題に還元する。
• $ X^{p,q} $ の対角頂点と $ \mathbb{Z}^2 $ の指数 $ q $ の部分格子との間の新規対応関係を用い、パス探索問題の幾何的解釈を可能にする。
• 制限付き合同条件を満たす4平方和表現の決定的アルゴリズムを適用し、多項式時間整数因数分解アルゴリズムを仮定する。
• 2次形式 $ Q(t_0,t_1) $ が半径 $ r $ の球内に十分に多くの整数点を持つならば、その領域内で2つの平方数の和を表すという、Conjecture 1.1 を利用する。
• クォータニオン $ x + iy + jz + kw $ を $ V $-ゲートに因数分解することでグラフ内にパスを構築する。ここで $ V $-ゲートはLPS生成子に対応する。
• 100桁の素数 $ q $ に対してアルゴリズムを数値的に実装し、計算されたパス長さが理論的下界 $ 3\log_5(q) \approx 428.5 $ から2ステップ以内であることを確認した。

実験結果

リサーチクエスチョン

• RQ1 与えられた合同条件を満たす $ d \geq 2 $ 個の平方数の和への整数表現問題は、標準的な算術的予想のもとでNP完全であるか？
• RQ2 制限付き合同条件を満たす4平方和への還元に帰着することで、決定的多項式時間アルゴリズムがLPSラマヌジャングラフをナビゲート可能か？
• RQ3 2次形式の整数解の密度に関するConjecture 1.1 は、アルゴリズムが多項式時間で終了することを保証するか？
• RQ4 LPSラマヌジャングラフ $ X^{p,q} $ の漸近的直径は何か？また、2次形式の強近似を用いてその直径を境界づけられるか？
• RQ5 パス探索アルゴリズムは実際の場面でも効率的に実装可能か？また、出力パスの長さは理論的下界からどれほど近いか？

主な発見

• 多項式時間整数因数分解とConjecture 1.1 を仮定した下で、$ \log q $ に関する決定的多項式時間で、$ X^{p,q} $ の任意の2つの対角頂点間の最短パスを計算できる。
• すべての頂点ペアのうち、最大 $ 89q^4 / p^{\alpha-1} $ ペアを除き、パス長さが $ \max(\alpha, 3\log_p q + \gamma\log_p\log q + \log_p C_\gamma + \log_p 89) $ で抑えられることを示し、近似的に最適な性能であることを示した。
• 大きな $ q $ に対して、単位元から任意の対角頂点までの距離は、$ (4/3)\log_p|X^{p,q}| + \log_p(89) $ 以下である。これはグラフの予想される漸近的直径と一致する。
• 数値的結果から、100桁の素数 $ q $ に対してパス長さ432が得られ、理論的下界 $ 3\log_5 q \approx 428.5 $ から2ステップ以内であることが確認され、近似的に最適であることが示された。
• 行列 $ \begin{bmatrix}i&0\\0&-i\end{bmatrix} $ の場合、出力パス長さは571であり、$ 4\log_5 q \approx 571.20 $ に非常に近い。これは、この値が $ X^{p,q} $ の漸近的直径であるという予想を支持する。