[論文レビュー] Approximating Holant problems by winding

Colin McQuillan|arXiv (Cornell University)|Jan 14, 2013

Markov Chains and Monte Carlo Methods参考文献 5被引用数 13

ひとこと要約

本稿では、パリティおよびノットアールイコール（NAE）制約を伴うHolant問題に対するFPRAS（完全多項式確率的近似スキーム）を提示する。これは、sink-free orientationの数え上げ問題を一般化する。効率的な近似が可能な関数のクラスを特徴付けるために「windability」（巻き込み可能性）の概念を導入し、サイクルを解きほぐす標準経路とマッチゲートを用いてサンプラーを構築する。さらに、3項の関数について、windable関数はマッチゲートで表現可能な関数と同等であることを証明する。

ABSTRACT

We give an FPRAS for Holant problems with parity constraints and not-all-equal constraints, a generalisation of the problem of counting sink-free-orientations. The approach combines a sampler for near-assignments of "windable" functions -- using the cycle-unwinding canonical paths technique of Jerrum and Sinclair -- with a bound on the weight of near-assignments. The proof generalises to a larger class of Holant problems; we characterise this class and show that it cannot be extended by expressibility reductions. We then ask whether windability is equivalent to expressibility by matchings circuits (an analogue of matchgates), and give a positive answer for functions of arity three.

研究の動機と目的

• パリティおよびノットアールイコール（NAE）制約を伴うHolant問題に対するFPRASの開発。これは、グラフにおけるsink-free orientationの数え上げ問題を一般化する。
• Markov連鎖サンプリングによる効率的近似を可能にする新しい関数クラス「windable関数」の定義と特徴付け。
• windabilityとmatchgatesによる表現可能性の間の関係、特に3項関数に対しての関係の確立。
• windable関数のクラスが表現可能性還元に関して最大であることを示し、理論的境界を示唆する。

提案手法

• 著者たちは、JerrumとSinclairが提唱したサイクルを解きほぐす標準経路の技法を用い、windable関数の「近似割り当て」のためのMarkov連鎖サンプラーを設計する。
• 近似割り当ての重みを制限することで、Markov連鎖の混合時間が多項式時間に収まるように保証し、これによりFPRASが得られる。
• 関数値とその補数を含む不等式系を通じて「windability」の概念を導入する。
• 関数をより大きな偶数項関数に埋め込み、フラップ変換を適用することでマッチング回路を構築する。
• 3項関数について、windabilityとmatchgate表現可能性の同値性を、代数的および組合的還元の系列を用いて証明する。
• 証明は、matchgatesの構造と補助グラフにおける完全マッチングの性質を活用して、同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 パリティおよびNAE制約を伴うHolant問題は、完全多項式確率的近似スキーム（FPRAS）を用いて効率的に近似可能か？
• RQ2 このようなFPRASが存在する関数のクラスはどのように特徴づけられるか。また、このクラスは表現可能性還元に関して最大か？
• RQ3 3項関数について、windabilityはmatchgateによる表現可能性と同値か？
• RQ4 サイクルを解きほぐす技法は、特定の既知のケースを超えて、Holant問題のための効率的サンプラーを構築するために一般化可能か？

主な発見

• sink-free orientationの数え上げを一般化する問題#ParityNAEに対して、FPRASが存在する。
• windable関数のクラスは、関数値とその補数を含む不等式系によって特徴づけられ、多項式時間のサンプリングアルゴリズムの存在を保証する。
• 3項関数について、windabilityはmatchgateによる表現可能性と同値であり、代数的および組合的性質の間の構造的関係を確立する。
• windable関数のクラスは表現可能性還元によって拡張できないため、Holant問題における最大の tractable（容易に取り扱える）クラスを定義する。
• windable関数のマッチング回路の構築は、それを偶数項関数に埋め込み、フラップ変換を適用することで行われる。このプロセスはHolant値を保存する。