[論文レビュー] Quantum Computing and Zeroes of Zeta Functions

Wim van Dam|ArXiv.org|May 17, 2004

Quantum Computing Algorithms and Architecture参考文献 21被引用数 11

ひとこと要約

この論文は、有限体上のフェルマー超曲面に関連するゼータ関数の非自明な零点を、効率的な量子回路の固有値としてモデル化する量子アルゴリズムフレームワークを提案する。ガウス和から導かれるユニタリ演算子への量子位相推定を活用することで、特定のパrameter領域において、古典的手法では到達できない精度で多項方程式の解の個数を近似的に数えることが可能となり、対角的（フェルマー型）方程式における実現可能性を示している。

ABSTRACT

A possible connection between quantum computing and Zeta functions of finite field equations is described. Inspired by the 'spectral approach' to the Riemann conjecture, the assumption is that the zeroes of such Zeta functions correspond to the eigenvalues of finite dimensional unitary operators of natural quantum mechanical systems. The notion of universal, efficient quantum computation is used to model the desired quantum systems. Using eigenvalue estimation, such quantum circuits would be able to approximately count the number of solutions of finite field equations with an accuracy that does not appear to be feasible with a classical computer. For certain equations (Fermat hypersurfaces) it is show that one can indeed model their Zeta functions with efficient quantum algorithms, which gives some evidence in favor of the proposal of this article.

研究の動機と目的

• 有限体上の代数的多様体のゼータ関数の零点を、量子力学的系の固有値としてのスペクトル的解釈を探索すること。
• 量子計算と有限体上の代数的多様体の有理点の数え上げとの間に接続を確立すること。
• 有限体上の多項方程式の解の個数を近似的に数える効率的な量子アルゴリズムを開発すること。
• 多項式の次数が体のサイズに対して小さい場合に、量子アルゴリズムが古典的手法を上回ることを示すこと。
• リーマンゼータ関数に対するヒルベルト＝ポーリャのアプローチを想起させるスペクトル的アプローチを、有限体上の多様体のゼータ関数へと拡張すること。

提案手法

• 論文は、超曲面のゼータ関数の非自明な零点を、効率的な量子回路で実装可能なユニタリ変換の固有値としてモデル化する。
• ガウス和およびその量子推定を用いて、フェルマー超曲面のゼータ関数の根に対応する固有値を持つユニタリ演算子を構築する。
• 量子位相推定を適用してユニタリ演算子のトレースを推定し、これは解の個数が射影平面の個数からどれほど逸脱しているかと直接関係する。
• 点数えの近似誤差は、$ \sqrt{q^{n-1}} \cdot \deg(f)^n \cdot \varepsilon $ で抑えられ、ここで $ \varepsilon $ は位相推定の精度を表す。
• アルゴリズムの時間および空間計算量は、$ \mathrm{poly}(1/\varepsilon, \log q, n\log(\deg(f))) $ のスケールで増加し、考察されたパrameter領域において効率的である。
• 構成は、射影多様体の代数的幾何学およびゼータ関数の関数等式に基づき、固有値と点数えの間のトレース公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 有限体上の多様体のゼータ関数の非自明な零点は、効率的な量子回路で実装可能なユニタリ演算子の固有値として解釈可能か？
• RQ2 どのような多項方程式のクラスに対して、そのような量子回路を明示的に構築できるか？
• RQ3 量子アルゴリズムは、古典的手法よりも高い精度または低い計算量で、多様体上の有理点の個数を近似的に数えられるか？
• RQ4 量子回路の固有値と、解の個数が基準となる個数（例えば射影平面）からどれほど逸脱しているかとの関係は何か？
• RQ5 近似的な点数えにおいて、量子アプローチが古典アルゴリズムを上回る条件は何か？

主な発見

• 対角的多項式で定義されるフェルマー超曲面に対しては、ゼータ関数の非自明な零点に対応する固有値を持つ効率的な量子回路を構築可能である。
• 量子アルゴリズムにより、$ \mathbb{F}_q $ 上の有理点の個数を、誤差の上限 $ \sim \sqrt{q^{n-1}} \cdot \deg(f)^n \cdot \varepsilon $ で近似的に数え上げることができる。ここで $ \varepsilon $ は位相推定の精度である。
• アルゴリズムの計算量は、$ \log q $、$ n $、および $ \log(\deg(f)) $ に関して多項式スケールで増加するため、与えられたパrameter領域において効率的である。
• 特に $ \deg(f) < \sqrt{q} $ の場合に、$ \deg(f)^n $ が $ q $ に対して指数関数的に大きくなる領域では、古典的サンプリングに基づく推定を上回る。
• ユニタリ演算子 $ U_H $ のトレースは、解の個数 $ N_s $ と射影平面の期待個数との逸脱と直接関係しており、正確な推定が可能である。
• この構成により、量子コンピューティングにおけるゼータ関数のスペクトル的アプローチの具体的な実装が得られ、代数的幾何計算における量子優位性の可能性を示唆する。