[論文レビュー] Pfaffian Circuits

Jason Morton|arXiv (Cornell University)|Dec 30, 2010

Quantum Computing Algorithms and Architecture参考文献 42被引用数 6

ひとこと要約

この論文は、ホログラフィックアルゴリズムの簡素化されたフレームワークとして、ペフィアン回路を導入し、ペフィアン計算を用いて複雑な組合せ問題を効率的に評価することを可能にする。$O(n^{\rho_p})$ の時間計算量を達成し、これは環に応じて $\rho_p$ が 1.19 から 3 の範囲で変動する。マッチゲート手法と同等の計算能力を示しながら、特に高アリティのゲートに対して計算のオーバーヘッドを低減する。

ABSTRACT

It remains an open question whether the apparent additional power of quantum computation derives inherently from quantum mechanics, or merely from the flexibility obtained by lifting Boolean functions to linear operators and evaluating their composition cleverly. Holographic algorithms provide a useful avenue for exploring this question. We describe a new, simplified construction of holographic algorithms in terms of Pfaffian circuits. Novel proofs of some key results are provided, and we extend the approach of [34] to nonsymmetric, odd, and homogenized signatures, circuits, and various models of execution flow. This shows our approach is as powerful as the matchgate approach. Holographic algorithms provide in general $O(n^{\omega_p})$ time algorithms, where $\omega_p$ is the order of Pfaffian evaluation in the ring of interest (with $1.19 \leq \omega_p \leq 3$ depending on the ring) and $n$ is the number of inclusions of variables into clauses. Our approach often requires just the evaluation of an $n imes n$ Pfaffian, and at most needs an additional two rows per gate, whereas the matchgate approach is quartic in the arity of the largest gate. We give examples (even before any change of basis) including efficient algorithms for certain lattice path problems and an $O(n^{\omega_p})$ algorithm for evaluation of Tutte polynomials of lattice path matroids. Finally we comment on some of the geometric considerations in analyzing Pfaffian circuits under arbitrary basis change. Connections are made to the sum-product algorithm, classical simulation of quantum computation, and SLOCC equivalent entangled states.

研究の動機と目的

• ホログラフィックアルゴリズムをペフィアン回路を用いて再定式化し、その構築と解析を簡素化すること。
• 非対称的で、奇数個の、および均一化されたシグネチャと回路へのホログラフィックアルゴリズムの適用範囲を拡張すること。
• ペフィアン回路アプローチがマッチゲートモデルと同等の計算能力を有することを示すこと。
• ゲートのアリティに伴う四次スケーリングを回避することで、高アリティゲートの評価の計算コストを低減すること。
• 任意の基底変換下でのペフィアン回路の幾何学的および代数的性質を調査すること。

提案手法

• ペフィアン回路を新たな計算モデルとして用いてホログラフィックアルゴリズムを構築する。
• 与えられた環上でペフィアン評価を適用し、回路の出力を計算する。この際の計算量は、ペフィアン評価の指数 $\rho_p$ に依存する。
• 基底変換を用いて、シグネチャーやゲートをペフィアン計算に適した形に表現する。
• マッチゲート手法における四次スケーリングとは異なり、各ゲートに対して最大で2つの追加行を必要とすることで、回路の複雑性を低減する。
• 直接ペフィアン評価を用いて、格子パス問題および格子パスマトロイドのトゥッテ多項式にフレームワークを適用する。
• 基底変換下での幾何的不変量を分析し、ペフィアン回路における構造的制約と対称性を理解する。

実験結果

リサーチクエスチョン

• RQ1 ペフィアン回路を用いることで、ホログラフィックアルゴリズムの構築と解析が簡素化されるか。
• RQ2 ペフィアン回路モデルは、任意のシグネチャーと実行フローにおいて、マッチゲートモデルと同等の計算能力を保持するか。
• RQ3 マッチゲート手法で見られる四次スケーリングを下回る形で、高アリティゲートの評価の複雑性を低減できるか。
• RQ4 任意の基底変換下でのペフィアン回路に、どのような幾何学的および代数的制約が存在するか。
• RQ5 ペフィアン回路は、和積アルゴリズムや量子計算の古典的シミュレーションといった既知のアルゴリズムとどのように関係するか。

主な発見

• ペフィアン回路フレームワークは、非対称的で、奇数個の、および均一化されたシグネチャーへも拡張可能な、簡素化され一般化されたホログラフィックアルゴリズムの構築を可能にする。
• 回路評価において $O(n^{\rho_p})$ の時間計算量を達成し、$\rho_p$ は下部の環に応じて 1.19 から 3 の範囲で変動する。
• 多くの問題において、$n \times n$ のペフィアン評価のみで十分であり、マッチゲート手法と比較して計算のオーバーヘッドが顕著に低減される。
• この手法では、ゲートごとに最大で2つの追加行しか必要とせず、マッチゲートモデルに内在するゲートアリティの四次スケーリングを回避する。
• このフレームワークにより、格子パスマトロイドのトゥッテ多項式を計算する $O(n^{\rho_p})$ アルゴリズムが得られる。
• 分析により、ペフィアン回路と和積アルゴリズム、量子計算の古典的シミュレーション、およびSLOCC同値なエンタングル状態との深い関係が明らかになった。