[論文レビュー] A New Holant Dichotomy Inspired by Quantum Computation

Miriam Backens|arXiv (Cornell University)|Jan 1, 2017

Quantum Mechanics and Applications被引用数 7

ひとこと要約

本稿では、量子もつれ理論にインspiredされた、4つの特定の単項関数を自由に許容する新しいHolant問題の族、HOLANT+を導入する。量子情報理論、特にもつれ分類と状態射影の結果を活用することで、HOLANT+の完全な二分岐定理を確立し、問題が多項式時間で解けるか#P-困難であるかのいずれかであることを示した。解ける条件は、関数が特定のもつれクラス（例：安定化子状態やWクラス状態）に属するかどうかに依存する。

ABSTRACT

Holant problems are a framework for the analysis of counting complexity problems on graphs. This framework is simultaneously general enough to encompass many counting problems on graphs and specific enough to allow the derivation of dichotomy results, partitioning all problems into those which are in FP and those which are #P-hard. The Holant framework is based on the theory of holographic algorithms, which was originally inspired by concepts from quantum computation, but this connection appears not to have been explored before. Here, we employ quantum information theory to explain existing results in a concise way and to derive a dichotomy for a new family of problems, which we call Holant^+. This family sits in between the known families of Holant^*, for which a full dichotomy is known, and Holant^c, for which only a restricted dichotomy is known. Using knowledge from entanglement theory -- both previously existing work and new results of our own -- we prove a full dichotomy theorem for Holant^+, which is very similar to the restricted Holant^c dichotomy and may thus be a stepping stone to a full dichotomy for that family.

研究の動機と目的

• HOLANT∗（全単項関数が利用可能）とHOLANTc（2つの単項関数のみ）の間のギャップを埋めるために、新たなHolant族であるHOLANT+を定義すること。
• 特にもつれ分類と状態射影に焦点を当てた量子情報理論を応用し、HOLANT+の完全な二分岐を導出すること。
• 安定化子状態やWクラスもつれといった量子概念を用いて、解けるHolant問題の新しい簡潔な特徴付けを提供すること。
• HOLANTcの完全な二分岐を確立する基盤を築くために、密接に関連した中間クラスについて完全な二分岐を証明すること。

提案手法

• HOLANTcに含まれる2つの関数に加え、4つの特定の単項関数を自由に利用可能なHolantフレームワークの変種としてHOLANT+を定義する。
• 量子もつれ理論を用いて解ける関数集合を特徴付ける：多項式時間で解けるのは、関数が安定化子状態またはWクラスもつれカテゴリに属する場合に限る。
• 多量子もつれ状態を射影することで3量子もつれを保存するという、もつれ理論における既知の結果を応用し、非退化2項関数をシミュレートするガジェットを構築する。
• もつれ理論における新しい結果を証明する：任意の真にもつれたn量子もつれ状態に対して、(n−3)量子もつれの部分集合とテンソル積射影子が存在し、残りの3量子もつれが真にもつれたまま保たれることを示す。
• ホログラフィック還元とValiantのHolant定理を用いて、問題を既知の解けるか困難なケースに還元する。行列変換とシグネチャグラフの同値性を用いる。
• 補題22と系23を用いて、シグネチャの追加や変換が還元可能性を保つことを示し、異なるHolantインスタンス間の還元を可能にする。

実験結果

リサーチクエスチョン

• RQ1 量子もつれ理論を用いて、HOLANT∗とHOLANTcの間にある新しいHolant族について完全な二分岐を導出可能か？
• RQ2 Wクラス状態や安定化子状態といった特定のもつれクラスが、Holant問題における解ける性質を決定づける役割を果たすか？
• RQ3 特に状態射影に着目したもつれ理論の結果を用いて、Holant問題における非退化2項関数をシミュレートするガジェットを構築可能か？
• RQ4 2量子もつれ状態の射影定理を、真にもつれた3量子系に拡張し、もつれを保存する形で拡張可能か？
• RQ5 HOLANT+に4つの特定の単項関数を含めることで、HOLANTcと比較して複雑性の地図にどのような影響を与えるか？

主な発見

• HOLANT+について完全な二分岐が確立され、Holant(F)が多項式時間で解けるか#P-困難であることが示された。
• 解けるケースは、関数集合Fが⟨O◦E⟩またはAの部分集合である場合に対応し、これは量子情報理論における安定化子状態およびWクラスもつれ状態に対応する。
• もつれ理論における新しい結果が証明された：任意の真にもつれたn量子もつれ状態に対して、(n−3)量子もつれの部分集合とテンソル積射影子が存在し、残りの3量子もつれが真にもつれたまま保たれる。
• 射影による対称的3項Wクラス状態の構築により、関数集合が特定のもつれクラスに属さない限り#P-困難であることが導かれた。
• 対称的3項関数|ψ⟩がWクラスに属するがK◦MまたはKX◦Mに属さない場合、問題は#P-困難であるが、これらとは異なるクラスの対称的2項関数が構築可能でない限り、そのような状況は成立しない。
• シグネチャグラフ変換や行列の共役化を含む還元技術により、ホログラフィック還元およびValiantの定理のもとで二分岐が成立することが確認された。