[論文レビュー] Circuit Extraction for ZX-Diagrams Can Be #P-Hard

Niel de Beaudrap, Aleks Kissinger+1 more|arXiv (Cornell University)|Jan 1, 2022

Formal Methods in Verification被引用数 5

ひとこと要約

この論文は、ユニタリZX図式からの回路抽出が#P困難であることを証明しており、標準的な複雑性仮定のもとでは、任意のZX図式を等価な量子回路に効率的に変換することは不可能であることを示している。著者らは#SAT問題を回路抽出に還元し、多項式時間での抽出アルゴリズムが存在すればP = NPが成り立つことを示した。

ABSTRACT

The ZX-calculus is a graphical language for reasoning about quantum computation using ZX-diagrams, a certain flexible generalisation of quantum circuits that can be used to represent linear maps from $m$ to $n$ qubits for any $m,n \geq 0$. Some applications for the ZX-calculus, such as quantum circuit optimisation and synthesis, rely on being able to efficiently translate a ZX-diagram back into a quantum circuit of comparable size. While several sufficient conditions are known for describing families of ZX-diagrams that can be efficiently transformed back into circuits, it has previously been conjectured that the general problem of circuit extraction is hard. That is, that it should not be possible to efficiently convert an arbitrary ZX-diagram describing a unitary linear map into an equivalent quantum circuit. In this paper we prove this conjecture by showing that the circuit extraction problem is #P-hard, and so is itself at least as hard as strong simulation of quantum circuits. In addition to our main hardness result, which relies specifically on the circuit representation, we give a representation-agnostic hardness result. Namely, we show that any oracle that takes as input a ZX-diagram description of a unitary and produces samples of the output of the associated quantum computation enables efficient probabilistic solutions to NP-complete problems.

研究の動機と目的

• ユニタリZX図式を等価な量子回路に変換する計算の複雑性を調査すること。
• 任意のZX図式に対して効率的な回路抽出が可能かどうかを特定すること。
• 既知の効率的抽出手法が、制限的な構造的条件に依存しているかどうかを確立すること。
• 回路抽出の困難さが、量子計算およびシミュレーションに与える影響を調査すること。

提案手法

• ブール論理式をユニタリZX図式に符号化することで、#SAT問題を回路抽出に還元した。
• 多項式サイズの回路を抽出できるZX図式を構築し、それにより対応する#SATインスタンスが解けるようにした。
• 表現に依存しない議論を用いた：ユニタリZX図式からサンプリングする任意のオракルは、NP完全問題の確率的解法を可能にする。
• ZX計算式の等式理論と完全性を活用して、符号化の意味的正しさを保証した。
• ユニタリに比例する後選択付き回路が、非後選択付き回路に変換するのは難しいことを示した。
• 補助キュービット、古典的制御、近似合成の変種を分析し、それらが依然として#P困難であることを示した。

実験結果

リサーチクエスチョン

• RQ1 ユニタリZX図式からの回路抽出は#P困難か？
• RQ2 フローまたはgflowのような構造的制約なしに、効率的な回路抽出が達成可能か？
• RQ3 量子回路における後選択の存在が、ユニタリ回路抽出に本質的な困難性をもたらすか？
• RQ4 ユニタリZX図式からサンプリングする古典的オラクルは、NP完全問題を解けるか？
• RQ5 回路抽出の困難さは、後選択に起因するのか、それとも根本的なユニタリティ制約に起因するのか？

主な発見

• ユニタリZX図式からの回路抽出は#P困難であり、P = NPでない限り、多項式時間アルゴリズムは存在しない。
• 補助キュービットの使用、古典的制御、または近似合成を許容しても、#P困難性は保たれる。
• ユニタリZX図式からサンプリングする任意のオラクルは、NP完全問題の確率的解法を可能にする。
• 困難さは後選択そのものに起因するわけではない。後選択の結果は、サイズに依存しない有界確率で発生するためである。
• この結果は、効率的回路抽出にはフローまたはgflowの存在といった構造的保証が必要であることを示唆する。
• 決定的測定パターンを考慮しても困難さは持続するが、証明は直接的にこのような場合にまで拡張されない。