[论文解读] 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)|Dec 24, 2019

Limits and Structures in Graph Theory参考文献 20被引用 11

一句话总结

本文在整個局部化區間內，確立了 Erd’os-R’ényi 隨機圖 G(n, p) 中任意 ∆-正則連通圖 H 的標籤副本數的上尾大偏差原理。作者提出一種新穎的變分方法，避開了臨界區間內的平均場近似，證明大偏差速度為 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) 的細緻分析，使用機率與組合技術。
• 採用核心分解策略，將圖分離為高 degree 子圖（Ghigh）與低 degree 子圖（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} 時，速率函數簡化為 ½δ²/vH，與 θH 無關。
• 證明確認了所有 ∆-正則連通圖的猜想，推廣了先前僅適用於完全圖或特定 p 區間的結果。
• 作者證明，低度子圖 Glow 中的 H-副本數與總計數在漸近意義上等價，從而確認核心結構的熵穩定性。
• 一項關鍵技術貢獻是：在正則二分圖中構造出避開任意給定 ∆−1 條邊的完美匹配，從而實現邊貢獻的精確界。