[論文レビュー] Counting Perfect Matchings and the Eight-Vertex Model

Jin‐Yi Cai, Tianyu Liu|arXiv (Cornell University)|Apr 23, 2019

Markov Chains and Monte Carlo Methods参考文献 17被引用数 3

ひとこと要約

本稿は、4-正則グラフ上の8頂点模型と、完全マッチングの近似的な数え上げ問題の間で、初めて近似複雑度の同値性を確立した。新規の幾何学的補題と近似を保全する還元を用いて、パラメータ空間の新たな領域において、分配関数の計算が、近似的に数えるのと同程度に難しいことを証明し、矢印反転対称性の下での非負重み付き4準拠ゲートの完全な特徴付けを提供した。

ABSTRACT

We study the approximation complexity of the partition function of the eight-vertex model on general 4-regular graphs. For the first time, we relate the approximability of the eight-vertex model to the complexity of approximately counting perfect matchings, a central open problem in this field. Our results extend those in arXiv:1811.03126 [cs.CC]. In a region of the parameter space where no previous approximation complexity was known, we show that approximating the partition function is at least as hard as approximately counting perfect matchings via approximation-preserving reductions. In another region of the parameter space which is larger than the previously known FPRASable region, we show that computing the partition function can be reduced to (with or without approximation) counting perfect matchings. Moreover, we give a complete characterization of nonnegatively weighted (not necessarily planar) 4-ary matchgates, which has been open for several years. The key ingredient of our proof is a geometric lemma. We also identify a region of the parameter space where approximating the partition function on planar 4-regular graphs is feasible but on general 4-regular graphs is equivalent to approximately counting perfect matchings. To our best knowledge, these are the first problems of this kind.

研究の動機と目的

• 4-正則グラフ上の8頂点模型の近似複雑度を分類すること、特に先行研究が存在しなかった領域における分類を目的とする。
• 8頂点模型の近似可能性と、完全マッチングを近似的に数えるという中心的未解決問題との間の関係を確立すること。
• 矢印反転対称性の下での非負重み付き4準拠ゲートの完全な特徴付けを提供し、長年の未解決問題を解決すること。
• 平面的4-正則グラフでは分配関数が近似的に計算可能だが、一般のグラフでは完全マッチングの近似的な数え上げと等価となる領域を同定すること。

提案手法

• パラメータ空間の被覆を可能にする、平行移動された正四面体のミンコフスキー和の解析を可能にする幾何学的補題を導入した。
• 8頂点模型の分配関数と完全マッチングの近似的な数え上げ問題との関係を、近似を保全する還元を用いて分析した。
• 行列表現 M(f) を持つ4準拠ゲートの制約関数を用いて局所的状態をモデル化し、集合 E≤2 への属するための不等式を導出した。
• 完全マッチングの集合間の重みを保全する単射写像 μ を用いて、準拠ゲート実現可能性に必要な不等式を証明した。
• DO、d-SUM、SQ-SUM の集合を用いてパラメータ空間の構造を分析し、 tractability と hardness の領域を同定した。
• 単体 V の辺に沿ってシフトされた重み領域 W を平行移動させることで、パラメータ空間全体を被覆する対称性を利用した。

実験結果

リサーチクエスチョン

• RQ1 8頂点模型のパラメータ空間のどの領域において、分配関数の近似が完全マッチングの近似的な数え上げと同程度に難しいか？
• RQ2 既知のFPRAS可能領域を超えて、8頂点模型の分配関数が近似を保全する還元を用いて完全マッチングの数え上げに還元可能か？
• RQ3 矢印反転対称性の下での非負重み付き4準拠ゲートの完全な特徴付けは何か？
• RQ4 平面的4-正則グラフでは近似的に計算可能だが、一般の4-正則グラフでは完全マッチングの近的数え上げと等価となる領域は存在するか？
• RQ5 幾何的手法をどのように用いて、シフトされた正四面体と線分を用いて8頂点模型のパラメータ空間全体を被覆できるか？

主な発見

• 本稿は、8頂点模型の分配関数の近似が、以前の結果を超えて新たなパラメータ領域において、完全マッチングの近的数え上げと同程度に難しいことを証明した。
• 計算可能な分配関数が、近似を伴うか伴わないかに関わらず、以前に知られていたFPRAS可能領域よりも広い領域において、完全マッチングの数え上げ問題に還元可能であることを確立した。
• 非負重み付き4準拠ゲートの完全な特徴付けが提供され、このようなゲートが E≤2 に属することを示した。その条件は、対角成分の積が非対角成分の積の和以下であることである。
• 本稿は、平面的4-正則グラフでは近似的に計算可能だが、一般の4-正則グラフでは完全マッチングの近的数え上げと等価となる領域を同定した。
• 幾何学的補題により、正四面体 W のシフトコピーを単体 V の境界に沿って滑らせる手法が可能となり、残りの被覆は (1,1,1) 方向の線分を用いて達成された。
• マッチング集合間の重みを保全する単射 μ により、不等式 𝑎1𝑎2 ≤ 𝑏1𝑏2 + 𝑐1𝑐2 + 𝑑1𝑑2 が証明され、これは4準拠ゲートが矢印反転対称性の下で実現可能であるための必要条件である。