[论文解读] A New Holant Dichotomy Inspired by Quantum Computation

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

Quantum Mechanics and Applications被引用 7

一句话总结

本文引入 HOLANT+，一个新家族的 Holant 問題，透過自由允許四種特定的一元函數（受量子糾纏理論啟發）擴展 HOLANTc。利用量子資訊理論的成果——特別是糾纏態分類與態投影——本文建立 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 家族 HOLANT+，彙整 HOLANT∗（具備完整一元函數可用性）與 HOLANTc（僅允許兩種一元函數）之間的差距。
• 應用量子資訊理論——特別是糾纏態分類與態投影——以推導 HOLANT+ 的完整二分法。
• 利用量子概念（如穩定子態與 W 類糾纏）提供可適性 Holant 問題的新穠確特徵化。
• 透過證明與 HOLANTc 相近之中介類別的完整二分法，為 HOLANTc 的完整二分法奠定基礎。

提出的方法

• 將 HOLANT+ 定義為一種 Holant 框架變體，其中允許自由使用四種特定的一元函數，包含 HOLANTc 中的兩種。
• 利用量子糾纏理論來特徵化可適性函數集合：多項式時間可解性對應於函數屬於穩定子態或 W 類糾纏態類別。
• 應用糾纏理論中已知結果——將多量子比特態投影以保留三量子比特糾纏性——以構建模擬非退化二元函數的工具。
• 證明糾纏理論的新結果：對於任何真正糾纏的 n-量子比特態，存在一組 (n−3) 個量子比特與張量積投影算符，使得剩餘的三量子比特仍保持真正糾纏。
• 運用全像歸約與 Valiant 的 Holant 定理，將問題歸約至已知的可適或困難案例，使用矩陣變換與簽名格點等價性。
• 利用引理 22 與推論 23 表明，加入或轉換簽名會保持可歸約性，進而支援不同 Holant 實例間的歸約。

实验结果

研究问题

• RQ1 能否利用量子糾纏理論，為介於 HOLANT∗ 與 HOLANTc 之間的新 Holant 家族推導出完整二分法？
• RQ2 特定糾纏態類別（如 W 類態與穩定子態）在決定 Holant 問題可適性中扮演何種角色？
• RQ3 能否應用糾纏理論的成果，特別是態投影，來構建模擬 Holant 問題中非退化二元函數的工具？
• RQ4 是否可能將已知的兩量子比特糾纏投影定理推廣至三量子比特系統，並在過程中保持真正糾纏性？
• RQ5 HOLANT+ 中包含四種特定一元函數，與 HOLANTc 相比，對複雜度格局有何影響？

主要发现

• 已為 HOLANT+ 建立完整二分法，證明 Holant(F) 非多項式時間可解即為 #P-困難。
• 可適性案例對應於函數集合 F 為 ⟨O◦E⟩ 或 A 的子集，對應於量子資訊理論中的穩定子態與 W 類糾纏態。
• 證明糾纏理論的新結果：對於任何真正糾纏的 n-量子比特態，存在一組 (n−3) 個量子比特與張量積投影算符，使得剩餘三量子比特仍保持真正糾纏。
• 透過投影構造對稱三元 W 類態，可推導出 #P-困難性，除非函數集合屬於特定糾纏態類別。
• 本文證明，若對稱三元函數 |ψ⟩ 屬於 W 類但不屬於 K◦M 或 KX◦M，則問題為 #P-困難，除非可構造出不屬於這些類別的對稱二元函數。
• 歸約技術（包括簽名格點轉換與矩陣共軛）確認二分法在全像歸約與 Valiant 定理下依然成立。