[論文レビュー] Approximability of the Six-vertex Model

Jin‐Yi Cai, Tianyu Liu+1 more|arXiv (Cornell University)|Dec 16, 2017

Markov Chains and Monte Carlo Methods被引用数 8

ひとこと要約

本稿は、六頂点模型の近似複雑度について、初めて包括的な分類を提示し、相転移の臨界点で鋭い二分岐が生じることを示している：パラメータの設定に応じて、分割関数の近似はFPTASであるか、#BIS-hardである。非負パラメータの場合、近似が容易となるのは、特定の代数的条件（例えば、平面グラフ上では$c^2 = a^2 + b^2$）を満たす場合に限られ、非対称な領域では#BIS-hardであることを証明している。

ABSTRACT

In this paper we take the first step toward a classification of the approximation complexity of the six-vertex model, an object of extensive research in statistical physics. Our complexity results conform to the phase transition phenomenon from physics. We show that the approximation complexity of the six-vertex model behaves dramatically differently on the two sides separated by the phase transition threshold. Furthermore, we present structural properties of the six-vertex model on planar graphs for parameter settings that have known relations to the Tutte polynomial $T(G, x, y)$.

研究の動機と目的

• すべての非負パラメータ設定における六頂点模型の近似複雑度を分類すること。
• 統計力学における相転移現象に一致する、容易と困難な領域の境界を特定すること。
• 六頂点模型と平面グラフ上のトゥッテ多項式との間の構造的関係を確立すること。
• 六頂点模型を用いて、平面グラフ上での$T(G;3,3)$の近似可能性に関する未解決問題を解明すること。
• FPTASが存在するのは、特定の代数的制約（例えば、平面グラフ上では$c^2 = a^2 + b^2$）を満たす場合に限られ、それ以外では#BIS-hardであることを証明すること。

提案手法

• 二部グラフ上の独立集合の数え上げ問題（#BIS完全）から六頂点模型の分割関数への還元。
• 制約を模倣するためのロックガジェットの構築により、還元において有効な配置のみが分割関数に顕著な寄与をするように保証。
• 重み付き配置と重みの合計のバウンドを用いて、ロックが破壊された配置の寄与が、適切にパラメータを選べば無視できるほど小さくなることを示す。
• 重み付き配置の合計をバウンドすることで二分岐を確立：すべてのロックが有効な配置は$c^{6\tilde{\kappa}n^3}(\tilde{c}_{\lambda n}\tilde{b}_{\lambda n})^{3s}$で抑えられるが、ロックが破壊された配置は指数的に小さくなることが示された。
• 既知のトゥッテ多項式に関する結果（特に、メデュアルグラフでは$Z(H;1,1,2) = 2T(G;3,3)$）を活用し、六頂点模型と既知の複雑度クラスとの接続を確立。
• マルコフ連鎖モンテカルロ技法と高速混合の結果（例えば、Luby-Randall-SinclairおよびRandall-Tetaliの結果）を応用し、複雑度の地図を描く。

実験結果

リサーチクエスチョン

• RQ1 どの非負パラメータ設定$(a,b,c)$に対して、六頂点模型の分割関数が完全多項式時間で近似可能か？
• RQ2 統計力学における相転移臨界点が、六頂点模型の近似における計算複雑度の臨界点としてどのように対応するか？
• RQ3 $c^2 = a^2 + b^2$のとき、平面グラフ上での六頂点模型の近似複雑度は何か？
• RQ4 $(a,b,c) = (1,1,2)$における六頂点模型、すなわち$T(G;3,3)$は、平面グラフ上で近似可能か？
• RQ5 六頂点模型を用いて、#BISのような既知の難問への還元により、トゥッテ多項式$T(G;x,y)$の複雑度を分類できるか？

主な発見

• 六頂点模型の分割関数は、平面グラフ上では、$c^2 = a^2 + b^2$を満たす場合、または$a,b,c$のいずれかが0で、残りの2つが等しい場合に限り、完全多項式時間で近似可能である。
• それ以外のすべての非負パラメータ設定では、分割関数の近似は#BIS-hardであり、複雑度クラスが崩壊しない限りFPTASは存在しない。
• $(a,b,c) = (1,1,1)$における六頂点模型の分割関数は、正確に計算するには#P-hardであり、平面グラフ上でも#P-hardのままである。
• #BIS-hardへの還元は、ロックガジェットを用いて制約を模倣し、有効な配置のみが分割関数に顕著な寄与をするように保証することで確立された。
• パラメータを$\kappa \gg \lambda \geq 1$に選ぶと、破壊されたロックを持つ配置の寄与は主項の半分未満になることが示され、支配的となるのはすべてのロックが有効な配置であることが証明された。
• 本稿は、平面グラフ上での$T(G;3,3)$の複雑度に関する未解決問題を解決し、それが$(1,1,2)$における六頂点模型に等価であり、#BIS-hardであることを示した。平面グラフの場合は未解決のままだが、明確な複雑度クラスに位置づけられた。