[論文レビュー] On the $K$-sat model with large number of clauses

Dmitry Panchenko|arXiv (Cornell University)|Aug 22, 2016

Topological and Geometric Data Analysis参考文献 17被引用数 3

ひとこと要約

本稿は、$K$-satモデルにおける$\alpha N$個の節を持つ場合、$\alpha \to \infty$の下で、未満たし節の期待最小割合について、正確な漸近公式を確立する。その結果、$\frac{\alpha}{2^K} - \frac{\sqrt{\alpha}}{2^K} \mathbb{E}M_N + o(\sqrt{\alpha})$ となることが示され、ここで$\mathbb{E}M_N$は混合$p$-スピンスピンガラスの正規化された最大エネルギーの期待値である。この結果は、非厳密な複写法を用いて導かれたLeuzzi-Parisiの公式を、厳密に裏付けたものである。

ABSTRACT

We show that in the $K$-sat model with $N$ variables and $αN$ clauses, the expected ratio of the smallest number of unsatisfied clauses to the number of variables is $α/2^K - \sqrtα c_*(N)/2^K$ up to smaller order terms $o(\sqrtα)$ as $α o\infty$ uniformly in $N$, where $c_*(N)$ is the expected normalized maximum energy of some specific mixed $p$-spin spin glass model. The formula for the limit of $c_*(N)$ is well known in the theory of spin glasses.

研究の動機と目的

• 節の数$\alpha N$が大きいときの$K$-satモデルにおける未満たし節の期待最小割合について、正確な漸近的表現を導出すること。
• 最適な節満たし割合の漸近展開における主要補正項を特定し、それが$-\frac{\sqrt{\alpha}}{2^K} \mathbb{E}M_N$とスケーリングされることを示すこと。
• Guerra-Toninelli補間法を用いて、$K$-satモデルの挙動を、共分散構造$\mathbb{E}H(\sigma^1)H(\sigma^2) = N\xi(R_{1,2})$を持つ混合$p$-スピンスピンガラスモデルに結びつけること。ここで$\xi(x) = (1+x)^K - 1$である。
• 非厳密な複写法によって得られたLeuzzi-Parisiの公式を、スピンガラス理論に基づいて厳密に裏付けること。

提案手法

• 著者らは、$K$-satハミルトニアンを、共分散構造$\mathbb{E}H(\sigma^1)H(\sigma^2) = N\xi(R_{1,2})$（$\xi(x) = (1+x)^K - 1$）を持つ混合$p$-スピンスピンガラスモデルに結びつけるGuerra-Toninelli補間技術を用いる。
• 時間に依存するハミルトニアン$H(t, \sigma)$を定義し、$t=0$で$K$-satモデル、$t=1$で混合$p$-スピンモデルに補間する。自由エネルギー$\varphi(t) = \frac{1}{N} \mathbb{E} \log \sum_{\sigma} \exp H(t, \sigma)$の微分を解析する。
• 補間パラメータとして$\beta = \frac{\sqrt{\alpha}(1 - e^{-\delta})}{2^K}$を選び、$\varphi'(t)$における主要な重なり依存項を相殺することで、$\mathbb{E}M_N$を含む補正項を分離する。
• テイラー展開とモーメント推定を用いて補間展開の剰余項を評価し、$\delta$が小さいとき$|\mathrm{III}| = O(\alpha \delta^3)$であることを示す。
• $\delta = \alpha^{-1/3}$とすることで、誤差項をバランスさせ、$\mathbb{E}M_{N,\alpha}$の最終的な漸近公式を導出する。
• 証明は、混合$p$-スピンモデルにおけるパリシ公式の既知の結果、特に自由エネルギーのゼロ温度極限（これにより$\mathbb{E}M_N$が得られる）に依存している。

実験結果

リサーチクエスチョン

• RQ1 大規模な$\alpha$における$K$-satモデルの未満たし節の期待最小割合の正確な漸近的挙動は何か？
• RQ2 主項$\alpha / 2^K$に対する補正項は、$K$-satインスタンスの構造にどのように依存するか？
• RQ3 非厳密な複写法によって得られた$K$-satモデルのLeuzzi-Parisiの公式は、スピンガラス理論を用いて厳密に導出可能か？
• RQ4 混合$p$-スピンスピンガラスモデルは、大規模な節密度における$K$-satモデルの典型的な挙動を理解するために果たす役割は何か？
• RQ5 Guerra-Toninelli補間における剰余項は、漸近展開の精度にどのように影響するか？

主な発見

• 節数が$\alpha N$個の$K$-satモデルにおける未満たし節の期待最小割合は、$\frac{\alpha}{2^K} - \frac{\sqrt{\alpha}}{2^K} \mathbb{E}M_N + R(\alpha)$として漸近的に表され、$\alpha \geq L$に対して$|R(\alpha)| \leq L \alpha^{1/3}$が成り立つ。
• 補正項は$\sqrt{\alpha}$に比例し、その係数$\mathbb{E}M_N$は、$\xi(x) = (1+x)^K - 1$を有する混合$p$-スピンスピンガラスモデルの正規化された最大エネルギーの期待値である。
• この公式は、複写法によって得られたLeuzzi-Parisiの公式を確認しており、$\sqrt{\alpha}$補正項の厳密な導出を提供する。
• この結果は$N$に関して一様に成り立ち、$\alpha \gg (2^K)^6$のとき、剰余項は補正項より小さくなる。これは$K$-satの相転移領域をはるかに超える。
• 混合$p$-スピンモデルのパリシ公式により、ゼロ温度極限で$\mathbb{E}M_N$の正確な値が得られ、最近のスピンガラス理論の進展により、これは厳密に知られている。
• 証明は、有限$\alpha$への拡張における主な課題が、補間における多重重なり項$Q_{1,\ldots,n}$を制御することにあることを示しており、これらは重なり$R_{\ell,\ell'}$の連続関数であると予想されている。