[논문 리뷰] Limiting probabilities of first order properties of random sparse graphs and hypergraphs

Alberto Larrauri, Tobias Müller외 1명|arXiv (Cornell University)|2020. 08. 20.

Limits and Structures in Graph Theory참고 문헌 12인용 수 4

한 줄 요약

이 논문은 희박한 무작위 그래프와 초그래프에서 일阶 논리(FO) 성질의 점근적 확률을 조사하며, 무작위 그래프 $ G(n, c/n) $에서 $ c \geq c_0 \approx 0.93 $일 경우 점근적 FO 확률의 폐쇄가 전체 구간 $[0,1]$이 되지만, $ c < c_0 $일 경우 간격이 존재함을 보여준다. 임계 임계값 $ c_0 $는 초그래프 순환 수의 구조적 전이에서 유래되며, $ d $-균일 초그래프의 경우 $ c_0 $는 $ d $에 따라 달라진다.

ABSTRACT

Let $G_n$ be the binomial random graph $G(n,p=c/n)$ in the sparse regime, which as is well-known undergoes a phase transition at $c=1$. Lynch (Random Structures Algorithms, 1992) showed that for every first order sentence $\\phi$, the limiting probability that $G_n$ satisfies $\\phi$ as $n\ o\\infty$ exists, and moreover it is an analytic function of $c$. In this paper we consider the closure $\\overline{L_c}$ in $[0,1]$ of the set $L_c$ of all limiting probabilities of first order sentences in $G_n$. We show that there exists a critical value $c_0 \\approx0.93$ such that $\\overline{L_c}= [0,1]$ when $c \\ge c_0$, whereas $\\overline{L_c}$ misses at least one subinterval when $c&lt;c_0$. We extend these results to random $d$-uniform sparse hypergraphs, where the probability of a hyperedge is given by $p=c/n^{d-1}$.

연구 동기 및 목표

• 희박한 무작위 그래프 $ G(n, c/n) $에서 점근적 일阶(FO) 확률 집합의 위상적 구조를 규명하는 것.
• 이 점근적 확률의 폐쇄 $ \overline{L_c} $가 전체 구간 $[0,1]$인지 또는 간격을 포함하는지 판별하는 것.
• 간선 확률 $ p = c/n^{d-1} $인 $ d $-균일 무작위 초그래프로 분석을 확장하여 유사한 단계 전이를 규명하는 것.
• 폐쇄된 $ \overline{L_c} $가 간격을 포함하는 구간에서 전체 구간 $[0,1]$으로 전이되는 임계 임계값 $ c_0 $를 규명하는 것.
• 특히 간격 수의 증가를 고려하여 $ c \to 0 $일 때 $ \overline{L_c} $의 구조가 어떻게 변화하는지 이해하는 것.

제안 방법

• 희박한 영역에서 부분 그래프 수가 독립적인 포아송 분포로 수렴함을 보이기 위해 브룬의 여우를 사용한다.
• 점근적 수세기 및 생성함수를 이용해 순환수와 유일순환 초그래프의 기대값을 분석한다.
• 구성 모델과 초그래프 순환 수 계산을 적용하여 FO 문장의 점근적 확률 $ p_c(\phi) $의 표현식을 유도한다.
• 그래프의 경우 $ \exp\left(\frac{c}{2} + \frac{c^2}{4}\right)\sqrt{1 - c} = \frac{1}{2} $를 풀어 임계 임계값 $ c_0 $를 유도하고, 초그래프의 경우 유사한 방정식을 적용한다.
• 큰 $ i $에 대해 $ p_i \leq \sum_{j > i} p_j $를 보이는 재귀적 부등식을 사용하여 $ \overline{L_c} $가 유한 개의 간격의 합집합임을 증명한다.
• 초그래프 크기와 자기동형 수에 대한 경우 분석을 통해 더 큰 초그래프의 확률 합을 유계화하고 작은 초그래프와 비교한다.

실험 결과

연구 질문

• RQ1 무작위 그래프 $ G(n, c/n) $에서 점근적 FO 확률의 폐쇄 $ \overline{L_c} $가 간격을 포함하는 구간에서 전체 구간 $[0,1]$으로 전이되는 임계값 $ c_0 $는 무엇인가?
• RQ2 임계값 $ c_0 $ 이하로 $ c $가 감소할 때 $ \overline{L_c} $의 구조는 어떻게 변화하는가? 특히 간격 수 측면에서 어떻게 변화하는가?
• RQ3 $ d $-균일 초그래프에서 간선 확률 $ p = c/n^{d-1} $일 때 유사한 임계값 $ c_0 $는 무엇인가?
• RQ4 그래프와 초그래프 간에 임계값이 다른 이유는 무엇이며, 순환 구조(예: 2-순환 대 3-순환)는 이에 어떻게 영향을 미치는가?
• RQ5 점근적으로 $ c \to 0 $일 때 $ \overline{L_c} $의 간격 수는 어떻게 증가하며, 조각 확률의 순서는 무엇에 의해 결정되는가?

주요 결과

• 모든 $ c \geq c_0 \approx 0.93 $일 때, 무작위 그래프 $ G(n, c/n) $에서 점근적 FO 확률의 폐쇄 $ \overline{L_c} $는 전체 구간 $[0,1]$이다.
• $ c < c_0 $일 경우, $ \overline{L_c} $는 최소한 하나의 간격을 포함한다. 즉, $ \overline{L_c} $와 교차하지 않는 $[0,1]$의 부분구간이 존재한다.
• 임계값 $ c_0 $는 방정정식 $ \exp\left(\frac{c}{2} + \frac{c^2}{4}\right)\sqrt{1 - c} = \frac{1}{2} $의 유일한 양의 해이다.
• $ d $-균일 초그래프의 경우, 임계값 $ c_0 $는 방정식 $ \exp\left(\frac{c}{2(d-2)!}\right)\sqrt{1 - \frac{c}{2(d-2)!}} = \frac{1}{2} $의 유일한 양의 해이다.
• $ c \geq c_0 $일 경우 $ \overline{L_c} = [0,1] $이며, $ c < c_0 $일 경우 $ \overline{L_c} $는 최소한 하나의 간격을 포함하는 유한 개의 간격의 합집합이다.
• $ c \to 0 $일 때 $ \overline{L_c} $의 간격 수는 무한히 증가하며, 이는 점근적 확률 집합의 구조가 점점 더 복잡해짐을 나타낸다.