[論文レビュー] Quantum circuits and low-degree polynomials over F_2

Ashley Montanaro|Explore Bristol Research|Jul 28, 2016

Quantum Computing Algorithms and Architecture被引用数 5

ひとこと要約

本稿は、アダマール、Z、CZ、CCZゲートからなる量子回路と、𝔽₂ 上の低次の多項式との間の直接的な対応関係を確立し、量子回路の振幅を計算することは、これらの多項式のゼロ点の個数を数えることと同等であることを示している。主な貢献は、量子回路の概念を用いて古典的計算の困難性を示す統一的な枠組みを提供するとともに、多項式の簡略化技術を活用して効率的な古典的シミュレーションアルゴリズムを開発することである。

ABSTRACT

In this work we explore a correspondence between quantum circuits and low-degree polynomials over the finite field F_2. Any quantum circuit made up of Hadamard, Z, controlled-Z and controlled-controlled-Z gates gives rise to a degree-3 polynomial over F_2 such that calculating quantum circuit amplitudes is equivalent to counting zeroes of the corresponding polynomial. We exploit this connection, which is especially clean and simple for this particular gate set, in two directions. First, we give proofs of classical hardness results based on quantum circuit concepts. Second, we find efficient classical simulation algorithms for certain classes of quantum circuits based on efficient algorithms for classes of polynomials.

研究の動機と目的

• 特定のゲートセットを用いた量子回路と、𝔽₂ 上の低次の多項式との間の明確で直接的な対応関係を確立すること。
• この対応関係を用いて、𝔽₂ 上の低次の多項式のゼロ点の個数を数える問題に対する古典的計算の困難性を証明すること。
• 多項式の構造と変換を活用して、特定のクラスの量子回路のための効率的な古典的シミュレーションアルゴリズムを開発すること。
• 量子回路の幅（quantum circuit width）を導入・分析し、多項式の複雑さを測る新たな複雑度測度としての役割を果たすこと。
• 多項式表現を活用することで、量子計算と古典的複雑度理論を統合し、困難性の証明とシミュレーションアルゴリズムの両方を実現すること。

提案手法

• 量子回路の振幅 ⟨0|C|0⟩ を、𝔽₂ 上の3次多項式のゼロ点数と非ゼロ点数の差（ギャップ）として表現する。
• アダマール、Z、CZ、CCZゲートを含む普遍的ゲートセットを用いて、回路と多項式の間の一対一対応を保証する。
• 多項式の構造を単純化し、関係する変数の数を減らすために、非特異な線形変換を適用する。
• 符号理論からの既知のアルゴリズムを活用し、変換後の多項式が依存する変数の数を最小化する。
• 変換後の多項式を用いて、変数の数に指数関数的に依存する時間で振幅を計算し、変数数が小さい場合には効率的な古典的シミュレーションを可能にする。
• 多項式の複雑さを測る新たな複雑度測度として、量子回路幅を定義・分析し、回路の深さやシミュレーション効率と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 量子回路の概念を用いて、𝔽₂ 上の低次の多項式のゼロ点の個数を数える問題に対する古典的計算の困難性を証明できるか？
• RQ2 多項式の簡略化技術を活用して、量子回路のための効率的な古典的シミュレーションアルゴリズムを導出できるか？
• RQ3 与えられた多項式の量子回路幅を求める問題の計算複雑度は何か？
• RQ4 多項式の構造は、その対応する量子回路の深さやゲート数とどのように関係するか？
• RQ5 符号理論的手法を用いて、多項式変換を通じて量子回路の古典的シミュレーションを最適化できるか？

主な発見

• アダマール、Z、CZ、CCZゲートを用いた量子回路 C の振幅 ⟨0|C|0⟩ は、𝔽₂ 上の3次多項式のギャップと等価である。
• 𝔽₂ 上の低次の多項式のゼロ点の個数を数える問題は、計算的に困難であり、回路-多項式対応関係のもとで #P完全であることが示された。
• ギャップの近似計算は、特にIQP回路や量子優位性の文脈において、量子計算複雑度と密接に関係している。
• 適切な線形変換により、対応する多項式が v 個の変数に依存する場合、古典的アルゴリズムは O(2^v poly(ℓ)) 時間で ⟨0|C|0⟩ を正確に計算できる。
• 線形変換によって変数数が O(log ℓ) に削減される場合、回路は多項式時間で古典的にシミュレート可能である。
• 多項式の量子回路幅は、非特異な線形変換に対して不変であり、この測度はブール関数の新たな複雑度測度を提供する。