[论文解读] 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 $ 给出了显式渐近行为，从而解决了 Mike Molloy 关于临界随机图中 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 $ 的可解性阈值。
• 解决 Mike Molloy 提出的关于 $ b_e \equiv 1 $ 时方程可解性与底层图 2-可着色性之间关系的问题。
• 在近临界区域 $ m = \frac{n}{2}(1 + \lambda n^{-1/3}) $，$ \lambda = o(n^{1/12}) $ 内，推导可解性概率的精确渐近表达式。

提出的方法

• 将方程组建模为随机图 $ G(n,m) $ 或 $ G(n,p) $，其中每条边 $ (i,j) $ 对应一个模 2 方程 $ x_i + x_j = b_{ij} $。
• 使用核心型图与核结构的生成函数，编码可解性的组合约束。
• 通过隐式递推关系定义序列 $ f_r $ 和 $ \varepsilon_r $，以建模环路对可解性的影响。
• 应用鞍点法与复平面上 $ y $-平面的围道积分，通过变换 $ x = y e^{-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}) $ 下渐近为 $ \sim c(\lambda)n^{-1/12} $，其中 $ \lambda = o(n^{1/12}) $。
• 当 $ \hat{p} = 1 $ 时，可解性概率渐近为 $ \sim 2^{-1/4}e^{1/8}c(\lambda)n^{-1/12} $，证实了其与随机图 2-可着色性的联系。
• 函数 $ c(\lambda) $ 通过包含 Airy 型函数与 $ \lambda $ 的收敛级数显式定义，且当 $ \lambda \to \infty $ 时满足 $ c(\lambda) \sim \text{const} \cdot \lambda^{1/2} $。
• 在临界窗口内，概率以 $ n^{-1/12} $ 的形式衰减，证实了基于 $ \gamma < 1 $ 早期结果的猜想。
• 分析严格确认了可解性阈值是尖锐的，且主要贡献来自随机图的核心结构。