[論文レビュー] Quantum computing and polynomial equations over the finite field Z_2

Christopher M. Dawson, Henry L. Haselgrove+4 more|ArXiv.org|Aug 20, 2004

Quantum Computing Algorithms and Architecture被引用数 7

ひとこと要約

この論文は、量子計算の出力が有限体 ℤ₂ 上の多項方程式系の解の個数を数えることと数学的に同等であることを確立している。フェインマンの経路積分形式と特別に選ばれた普遍的ゲートセットを活用することで、著者らは量子振幅計算が#P-完全な数え上げ問題に還元されることを示し、BQP ⊆ P^#P および BQP ⊆ PP の簡単な証明を提供する。これにより、量子計算が代数幾何学と計算複雑性理論に結びつけられる。

ABSTRACT

What is the computational power of a quantum computer? We show that determining the output of a quantum computation is equivalent to counting the number of solutions to an easily computed set of polynomials defined over the finite field Z_2. This connection allows simple proofs to be given for two known relationships between quantum and classical complexity classes.

研究の動機と目的

• 量子計算と ℤ₂ 上の多項方程式の解の個数の数え上げとの間の明確な数学的同等性を確立すること。
• 量子振幅評価を代数幾何学におけるよく知られた問題と結びつけることで、量子コンピュータの計算能力を明確にすること。
• 多項方程式の数え上げを用いて、BQP ⊆ P^#P の複雑性理論的包含関係の簡略化された証明を提供すること。
• この同等性が、量子計算と古典的複雑性クラスの関係を理解するうえでもたらす影響を調査すること。
• 代替的なゲートセットや形式的枠組み（例：安定化子形式）が、複雑性解析に適したより構造的な多項方程式系をもたらすかどうかを検討すること。

提案手法

• 著者らは、量子力学のフェインマンの経路積分形式を用いて、量子振幅を計算経路の和として表現する。
• 各経路の寄与を、位相が多項式の構造に符号化された ℤ₂ 上の多項式関数として表現する。
• 普遍的ゲートセット（特にアダマールゲートとトフォリゲート）を選定することで、振幅計算が ℤ₂ 上の多項方程式系の解の個数の数え上げに簡略化されることを示す。
• 量子回路の行列要素が、これらの多項方程式の解の個数に比例することを示し、量子計算を数え上げ問題に還元する。
• 安定化子形式へもこの手法を拡張し、経路の進化をパウリ安定化子生成子の集合間の遷移としてモデル化することで、再び多項方程式の解の個数の数え上げに還元する。
• 著者らは、得られる数え上げ問題が#P-完全であることを示し、量子計算が基本的な複雑性クラスと結びつくことを裏付ける。

実験結果

リサーチクエスチョン

• RQ1 量子計算の出力は、完全に ℤ₂ 上の多項方程式系の解の個数の数え上げ問題として特徴付けられるか？
• RQ2 普遍的量子ゲートセットの選択が、関連する多項方程式の構造にどのように影響するか？
• RQ3 多項方程式の解の個数の数え上げを通じて、量子計算と複雑性クラス#Pとの正確な関係は何か？
• RQ4 経路積分形式を安定化子形式に適応することで、量子回路複雑性に関する新たな知見が得られるか？
• RQ5 この代数的再定式化により、BQP と古典的複雑性クラスの関係に関する新しい証明やより鋭い境界が得られるか？

主な発見

• 量子計算の出力は、有限体 ℤ₂ 上の多項方程式系の解の個数を数えることと数学的に同等である。
• この同等性により、BQP ⊆ P^#P であることを簡潔かつ直接的に証明でき、これは量子複雑性理論における中心的な結果である。
• 同じ枠組みにより、より強い包含関係 BQP ⊆ PP の簡潔な証明が得られ、多項式再定式化の強力さが示される。
• この手法により、量子振幅計算が#P-完全問題に還元されることを明らかにし、量子系をシミュレートする際の本質的計算困難性を確認する。
• 異なる普遍的ゲートセットは、異なる多項式構造をもたらす——例えば、アダマール-トフォリセットでは立方多項式が得られ、他のセットでは二次またはより単純な形が得られる。
• このアプローチは安定化子形式へ自然に拡張され、経路の進化が安定化子生成子の遷移における多項方程式の解の個数の数え上げに対応する。