[論文レビュー] How frequently is a system of 2-linear Boolean equations solvable?

Boris Pittel, Ji-A Yeum|arXiv (Cornell University)|May 11, 2010

Stochastic processes and statistical mechanics参考文献 18被引用数 3

ひとこと要約

本稿は、辺の確率が $ p $ あるいは固定された辺数 $ m $ であるランダムグラフ上で定義された、GF(2) 上の2次線形ブール方程式の系の可解性確率を分析する。臨界相 $ m = \frac{n}{2}(1 + \lambda n^{-1/3}) $ の近傍における漸近的解析と母関数を用い、可解性確率が $ \sim c(\lambda)n^{-1/12} $ と減少することを示す。$ \lambda = O(1) $ および $ \lambda \to -\infty $ の場合の明示的な漸近的挙動が得られ、マイク・モロイの2色塗り分け可能性に関する疑問を解決する。

ABSTRACT

We consider a random system of equations $x_i+x_j=b_{(i,j)} ( ext{mod }2)$, $(x_u\in \{0,1\},\, b_{(u,v)}=b_{(v,u)}\in\{0,1\})$, with the pairs $(i,j)$ from $E$, a symmetric subset of $[n] imes [n]$. $E$ is chosen uniformly at random among all such subsets of a given cardinality $m$; alternatively $(i,j)\in E$ with a given probability $p$, independently of all other pairs. Also, given $E$, $\pr\{b_{e}=0\}=\pr\{b_e=1\}$ for each $e\in E$, independently of all other $b_{e^\prime}$. It is well known that, as $m$ passes through $n/2$ ($p$ passes through $1/n$, resp.), the underlying random graph $G(n,\# ext{edges}=m)$, ($G(n,\pr( ext{edge})=p)$, resp.) undergoes a rapid transition, from essentially a forest of many small trees to a graph with one large, multicyclic, component in a sea of small tree components. We should expect then that the solvability probability decreases precipitously in the vicinity of $m\sim n/2$ ($p\sim 1/n$), and indeed this probability is of order $(1-2m/n)^{1/4}$, for $m0$. Mike Molloy noticed that the Boolean system with $b_e\equiv 1$ is solvable iff the underlying graph is $2$-colorable, and asked whether this connection might be used to determine an order of probability of $2$-colorability in the near-critical case. We answer Mike's question affirmatively and show that probability of $2$-colorability is $\lesssim 2^{-1/4}e^{1/8}c(λ)n^{-1/12}$, and asymptotic to $2^{-1/4}e^{1/8}c(\la)n^{-1/12}$ at a critical phase $\la=O(1)$, and for $\la o -\infty$. (Submitted to Electronic Journal of Combinatorics on September 7, 2009.)

研究の動機と目的

• GF(2) 上のランダムな2次線形ブール方程式系の可解性の漸近的確率を特定すること。
• グラフが森に近い構造から大きな多重サイクル成分を有する構造に移行する臨界ランダムグラフ相 $ m \sim n/2 $ の近傍における可解性閾値を分析すること。
• マイク・モロイが提起した、$ b_e \equiv 1 $ の場合の方程式系の可解性と、対応するグラフの2色塗り分け可能性との関係を解明すること。
• 近臨界領域 $ m = \frac{n}{2}(1 + \lambda n^{-1/3}) $、$ \lambda = o(n^{1/12}) $ における可解性確率の精密な漸近的表現を導出すること。

提案手法

• 各辺 $ (i,j) $ を方程式 $ x_i + x_j = b_{ij} \mod 2 $ に対応させることで、系をランダムグラフ $ G(n,m) $ または $ G(n,p) $ としてモデル化する。
• 可解性の組合せ的制約を表現するため、コア型グラフおよびカーネル構造の母関数を用いる。
• サイクルが可解性に与える寄与をモデル化するために、暗黙の漸化式による列 $ f_r $ および $ \varepsilon_r $ を定義する。
• 変数変換 $ x = y e^{-y} $ を用いた $ y $-平面上の鞍点法および複素変数積分を適用し、漸近的挙動を抽出する。
• 可解性確率を母関数 $ C_\ell^{e}(x) $ に関連付け、異なるコア型からの寄与に分解する。
• 母関数 $ C_\ell(x) $ の漸近的挙動と $ C_\ell^e(x) $ との関係を用い、最終的な確率スケーリングを導出する。$ \hat{p} = 1/2 $ および $ \hat{p} = 1 $ の補正項を組み込む。

実験結果

リサーチクエスチョン

• RQ1 臨界ランダムグラフ閾値の近傍における、ランダム2次線形ブール方程式系の可解性の漸近的確率は何か？
• RQ2 近臨界領域 $ m = \frac{n}{2}(1 + \lambda n^{-1/3}) $、$ \lambda = o(n^{1/12}) $ において、可解性確率はどのようにスケーリングするか？
• RQ3 $ b_e \equiv 1 $ の場合の可解性とグラフの2色塗り分け可能性との関係を用いて、漸近的可解性確率を導出できるか？
• RQ4 近臨界領域において $ \lambda = O(1) $ および $ \lambda \to -\infty $ の場合の可解性確率の正確な関数的形は何か？

主な発見

• $ \hat{p} = 1/2 $ の場合、近臨界領域 $ m = \frac{n}{2}(1 + \lambda n^{-1/3}) $、$ \lambda = o(n^{1/12}) $ において、可解性確率は漸近的に $ \sim c(\lambda)n^{-1/12} $ である。
• $ \hat{p} = 1 $ の場合、可解性確率は漸近的に $ \sim 2^{-1/4}e^{1/8}c(\lambda)n^{-1/12} $ であり、ランダムグラフの2色塗り分け可能性との関係を確認する。
• 関数 $ c(\lambda) $ は、アイル・タイプの関数と $ \lambda $ を含む収束級数によって明示的に定義され、$ \lambda \to \infty $ のとき $ c(\lambda) \sim \text{const} \cdot \lambda^{1/2} $ となる。
• 臨界ウィンドウ内では確率が $ n^{-1/12} $ のオーダーで減少することが確認され、$ \gamma < 1 $ の場合の先行結果に基づく予想を裏付ける。
• 解析により、可解性閾値が鋭く定まっていること、および支配的寄与がランダムグラフのコア構造に由来することが厳密に確認された。