[논문 리뷰] Upper tail large deviations of regular subgraph counts in Erd\H{o}s-R\'{e}nyi graphs in the full localized regime

Anirban Basak, Riddhipratim Basu|arXiv (Cornell University)|2019. 12. 24.

Limits and Structures in Graph Theory참고 문헌 20인용 수 11

한 줄 요약

이 논문은 전체 국소화 영역에서 에르되시-레니 랜덤 그래프 G(n, p)에서 임의의 ∆-정규 연결 그래프 H의 레이블된 복제본 수에 대한 상위 尾 꼬리 대칭 원리(upper tail large deviation principle)를 수립한다. 비평균장 근사법을 피하는 새로운 변분 접근법을 사용하여 임계 범위에서의 문제를 해결하고, 대칭 원리의 속도가 n²p^∆log(1/p)임을 증명하며 정확한 속도 함수를 도출함으로써, 클리크 외의 모든 정규 그래프에 대해 오랫동안 제기된 추측을 확인한다.

ABSTRACT

For a $\Delta$-regular connected graph ${\sf H}$ the problem of determining the upper tail large deviation for the number of copies of ${\sf H}$ in $\mathbb{G}(n,p)$, an Erd\H{o}s-R\'{e}nyi graph on $n$ vertices with edge probability $p$, has generated significant interests. For $p\ll 1$ and $np^{\Delta/2} \gg (\log n)^{1/(v_{\sf H}-2)}$, where $v_{\sf H}$ is the number of vertices in ${\sf H}$, the upper tail large deviation event is believed to occur due to the presence of localized structures. In this regime the large deviation event that the number of copies of ${\sf H}$ in $\mathbb{G}(n,p)$ exceeds its expectation by a constant factor is predicted to hold at a speed $n^2 p^{\Delta} \log (1/p)$ and the rate function is conjectured to be given by the solution of a mean-field variational problem. After a series of developments in recent years, covering progressively broader ranges of $p$, the upper tail large deviations for cliques of fixed size was proved by Harel, Mousset, and Samotij \cite{hms} in the entire localized regime. This paper establishes the conjecture for all connected regular graphs in the whole localized regime.

연구 동기 및 목표

• G(n,p)에서 정규 부분그래프 수의 상위 꼬리 대칭 원리가 전체 국소화 영역에서 국소화된 구조에 의해 이끌린다는 추측을 해결하는 것.
• 클리크 외의 모든 ∆-정규 연결 그래프 H에 대해 정확한 대칭 원리 속도와 속도 함수를 수립하는 것.
• 이전 결과들이 특정 그래프 유형(예: 비이분할, 이분할)이나 제한된 p-범위에 국한되었음을 고려하여 이를 확장하는 것.
• 임계 영역에서의 변분 문제 근사에 의존하지 않고도 점근적 행동을 직접 수립하는 통합된 증명 프레임워크를 제공하는 것.

제안 방법

• 확률론적 및 조합 기법을 사용하여 G(n,p)에서 H의 레이블된 복제본 수 N(H,G)를 정교하게 분석한다.
• 핵심 구조 분해 전략을 도입하여 고도수 하위그래프(Ghigh)와 저도수 하위그래프(Glow)를 분리하고, Glow 가 대부분의 H-복제본을 포괄함을 보여준다.
• H의 정규성과 연결성에 기반하여 핵심 그래프의 각 간선을 통과하는 H-복제본 수에 대한 새로운 하한을 도출한다.
• 정규 이분할 그래프에 대한 구조적 결과를 활용하여 금지된 간선을 피하는 완벽 매칭을 구성함으로써 간선 기여도를 제한하는 데 핵심적인 역할을 한다.
• 핵심 그래프에서 인접한 정점의 도수 곱에 대한 날카운 경계를 유도하여 엔트로피 안정성을 확보하고 속도 함수 유도를 가능하게 한다.
• 이전 연구에서 사용된 평균장 변분 문제를 피하기 위해 대신 로그확률 비율의 극한을 직접 증명함으로써 정확한 속도 함수를 도출한다.

실험 결과

연구 질문

• RQ1 G(n,p)에서 정규 부분그래프 수의 상위 꼬리에 대한 정확한 대칭 원리 속도와 속도 함수는 무엇인가? 이는 전체 국소화 영역에서 성립하는가?
• RQ2 클리크 외의 모든 ∆-정규 연결 그래프에 대해 상위 꼬리 대칭 원리가 국소화된 구조에 의해 이끌린다는 추측은 참인가?
• RQ3 임계 p-범위에서 평균장 변분 문제의 근사에 의존하지 않고도 속도 함수를 직접 도출할 수 있는가?
• RQ4 정규 그래프의 구조적 성질(예: 독립 다항식, 자동화군)은 대칭 원리 행동에 어떤 영향을 미치는가?

주요 결과

• 모든 ∆-정규 연결 그래프 H에 대해 국소화 영역에서 상위 꼬리 대칭 원리의 속도는 정확히 n²p^∆log(1/p)이다.
• n^{1/2} ≪ np^{∆/2} ≪ n 인 경우, 속도 함수는 min{θH, ½δ²/vH}로 주어지며, 여기서 θH는 방정정식 PH(θ) = 1 + δ를 유일한 양의 해로 가지는 값이다.
• log n)^{1/(vH−2)} ≪ np^{∆/2} ≪ n^{1/2} 인 경우, 속도 함수는 θH에 영향을 받지 않고 ½δ²/vH로 단순화된다.
• 이 증명은 이전에 클리크나 특정 p-범위에 국한된 결과들에 비해 모든 ∆-정규 연결 그래프에 대해 추측을 확장하여 확인한다.
• 저도수 하위그래프 Glow에서 H-복제본의 수가 총 수와 점근적으로 동일함을 보여주어 핵심 구조의 엔트로피 안정성을 확인한다.
• 핵심적인 기술 기여로는 임의의 주어진 ∆−1개 간선을 피하는 정규 이분할 그래프에서의 완벽 매칭을 구성함으로써 간선 기여도의 정밀한 경계를 확보한 것이다.