[논문 리뷰] How frequently is a system of 2-linear Boolean equations solvable?

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

Stochastic processes and statistical mechanics참고 문헌 18인용 수 3

한 줄 요약

이 논문은 GF(2) 위에서 랜덤 그래프에서 간선 확률이 $ p $ 또는 고정된 간선 수 $ m $ 인 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선형 부울 방정식 시스템의 해가 존재할 확률의 점근적 값을 결정하기 위해.
• 그래프가 숲과 유사한 구조에서 다중 사이클 성분을 가진 큰 컴ponent로 전이되는 임계 랜덤 그래프 단계 $ 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} $ 를 통한 복소 평면 상의 사다리꼴 적분과 고리점 방법을 적용하여 점근적 행동을 추출한다.
• 해가 존재할 확률을 생성함수 $ C_\ell^{e}(x) $ 와 연관지어, 다양한 코어 유형에 기인한 기여도로 분해한다.
• 생성함수 $ C_\ell(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) $ 는 에어리 유형 함수와 $ \lambda $ 를 포함하는 수렴하는 급수로 명시적으로 정의되며, $ \lambda \to \infty $ 일 때 $ c(\lambda) \sim \text{const} \cdot \lambda^{1/2} $ 로 수렴한다.
• 임계 창문 내에서 확률이 $ n^{-1/12} $ 로 감소함을 확인하여, 이는 이전 결과들에서 $ \gamma < 1 $ 인 경우에 대한 추측을 뒷받침한다.
• 분석을 통해 해가 존재할 임계값이 뚜렷하며, 주로 랜덤 그래프의 코어 구조에서 기인하는 기여도가 지배적임을 엄밀하게 확인한다.