[論文レビュー] The Parameterized Complexity of Quantum Verification

Srinivasan Arunachalam, Sergey Bravyi+2 more|arXiv (Cornell University)|Jan 1, 2022

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

この論文は、量子回路充足可能性問題（QCSAT）、QMA完全問題の代表例である問題が、システムサイズではなく非クリフォード（T）ゲートの数にしか指数関数的に依存しない時間で古典的に解けることを確立している。最適な量子ウィtnessが、高々t量子ビットに同型な安定化子部分空間内に存在することを証明しており、その結果、ランタイムが poly(n, m, s, t) + O(δ⁻¹t²ᵗ) である古典的アルゴリズムが可能となり、t ≪ n のとき、全n量子ビットヒルバート空間に対するブルートフォース探索よりも著しく高速になる。

ABSTRACT

We initiate the study of parameterized complexity of $ extsf{QMA}$ problems in terms of the number of non-Clifford gates in the problem description. We show that for the problem of parameterized quantum circuit satisfiability, there exists a classical algorithm solving the problem with a runtime scaling exponentially in the number of non-Clifford gates but only polynomially with the system size. This result follows from our main result, that for any Clifford + $t$ $T$-gate quantum circuit satisfiability problem, the search space of optimal witnesses can be reduced to a stabilizer subspace isomorphic to at most $t$ qubits (independent of the system size). Furthermore, we derive new lower bounds on the $T$-count of circuit satisfiability instances and the $T$-count of the $W$-state assuming the classical exponential time hypothesis ($ extsf{ETH}$). Lastly, we explore the parameterized complexity of the quantum non-identity check problem.

研究の動機と目的

• QMA問題のパrameterized複雑性を調査し、非クリフォード（T）ゲートの数を主なパrameterとして焦点を当てる。
• Tゲート数が小さい場合に、QCSATのような量子検証問題が、ブルートフォースなヒルバート空間探索よりも効率的に解けるかどうかを特定する。
• 最適な量子ウィtnessを特定する古典的複雑性の上界と、それらの表現に必要な量子ビット次元の上界を確立する。
• 古典的指数時間仮説（ETH）に基づき、QCSATインスタンスおよびW状態のTカウントに関する新たな下界を導出する。

提案手法

• 任意のクリフォード＋t個のTゲートを持つ回路に対して、最適なウィtnessの集合が、システムサイズnに依存しないt量子ビットに同型な安定化子部分空間内に存在することを証明する。
• このt量子ビットの安定化子部分空間内でのみ探索を行う古典的確率的アルゴリズムを構築し、検証回路の最大受容確率を推定する。
• 安定化子形式を用いて、安定化子状態間の正確な内積推定により、ユニタリ演算子のべきのトレースを効率的に計算する。
• 低深さ量子回路のライトコーンおよび局所性の性質を活用し、局所的縮約密度行列の単位演算子からの距離を有界化する。
• 古典的指数時間仮説（ETH）を用いて、QCSATインスタンスおよびW状態に必要なTカウントの下界を導出する。
• パラメータギャップがo(1)のとき、定数サイズのゲート集合および定数深さ回路における非恒等性チェック（NIC）問題がPに属することを証明する。

実験結果

リサーチクエスチョン

• RQ1 Tゲート数をパrameterとしてパrameterizedした場合、QCSATにおける最適な量子ウィtnessの探索空間を縮小できるか？
• RQ2 QCSATの古典的アルゴリズムで、ランタイムがTゲート数に指数関数的に依存し、システムサイズに多項式的に依存するものがあるか？
• RQ3 古典的指数時間仮説（ETH）のもとで、QCSATインスタンスおよびW状態のTカウントの下界は何か？
• RQ4 低深さで定数サイズのゲート集合、かつパラメータギャップがo(1)のとき、非恒等性チェック（NIC）問題は多項式時間で解けるか？
• RQ5 クリフォード＋T回路の構造が、最適な量子ウィtnessの幾何的性質にどのように制限を加えるか？

主な発見

• 任意のt個のTゲートを含むQCSATインスタンスに対して、すべての最適ウィtnessは、システムサイズnに依存しないt量子ビットに同型な安定化子部分空間内に存在する。
• 古典的確率的アルゴリズムは、パラメータ化されたQCSATを poly(n, m, s, t) + O(δ⁻¹t²ᵗ) の時間で解き、最大受容確率の(1−δ)近似を99%の信頼度で達成する。
• ランタイムはt（Tゲート数）にしか指数関数的に依存せず、n（ウィtnessサイズ）には依存しないため、t ≪ n のとき顕著な高速化が可能になる。
• 古典的指数時間仮説（ETH）のもとで、任意のQCSATインスタンスのTカウントは少なくともΩ(log n)以上であり、W状態のTカウントはΩ(n)以上である。
• パラメータギャップがo(1)のとき、定数サイズのゲート集合および定数深さ回路において、非恒等性チェック（NIC）問題は、局所性と単位演算子からの有界な距離のおかげでPに属する。
• 任意のクリフォードユニタリのべきのトレースは、安定化子状態の内積推定を用いて多項式時間poly(n)で正確に計算可能であり、これによりスペクトルノルムの効率的計算が可能になる。