REVIEW 2 major objections 5 minor 30 references
Fluctuations of the giant of Poisson random graphs
T0 review · 2 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read The giant component of dynamic rank-one random graphs has explicit process-level Gaussian fluctuations.
desk verdict A clean and useful generalization of process-level Gaussian fluctuations to rank-one random graphs; the proof is plausible but needs a fix to identify the controlled excursion with the longest one. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central mechanism is the simultaneous breadth-first walk H_n(t,$\lambda$) = X_{n,1}($\lambda$ t) - t, where X_{n,1}($\lambda$ t) = $n^{{-1}}$ sum_{j=1}^n w_j 1_{xi_j <= $\lambda$ t} with independent exponential clocks xi_j of rate w_j. By the excursion encoding of the multiplicative coalescent, the longest excursion interval (g_n($\lambda$), d_n($\lambda$)) of this walk has length equal to the volume of the largest component, and the vertices whose clocks fall inside that interval form that component, so its cardinality is n(X_{n,0}($\lambda$ d_n) - X_{n,0}($\lambda$ g_n)). The proof couples H_n to its deterministic backbone $phi_1^{{(n)}}$($\lambda$ t) - t plus $n^{{-1/2}}$ Psi_1($\lambda$ t) through an almost-sure coupling, then uses a weighted empirical process CLT and Taylor expansion around the deterministic root $theta^{{(n)}}$($\lambda$) to show that $n^{{1/2}}$ g_n -> 0 and $n^{{1/2}}$(d_n - $theta^{{(n)}}$) -> $beta^{{-1}}$ Psi_1($\lambda$ $\theta$($\lambda$)) locally uniformly. The slope $\beta$($\lambda$) = -partial_t(phi_1($\lambda$ t) - t)|_{t=$\theta$($\lambda$)} = 1 - $\lambda$ E[$W^{2}$ $e^{{-W lambda theta(lambda)}}$] is what turns a one-unit horizontal shift of the walk's endpoint into a predictable vertical change, and its strict positivity is what makes the endpoint fluctuations Gaussian with the stated covariance.
What would settle it
Simulate a weight sequence satisfying Assumption 1.2 with a sparse but growing set of very heavy weights, and for each n record whether the longest excursion of H_n(t,$\lambda$) = X_{n,1}($\lambda$ t) - t lies inside the interval [epsilon $n^{{-1/2}}$, $theta^{{(n)}}$($\lambda$) + (Psi_1($\lambda$ $theta^{{(n)}}$($\lambda$)) - epsilon)/($beta^{{(n)}}$($\lambda$) $n^{{1/2}}$)] used in Proposition 3.3. If the proportion of n for which the longest excursion ends outside this interval does not tend to zero, the endpoint control is insufficient and the claimed limit would fail.
Extended reading notes
Core claim
Under Assumption 1.2, the paper proves the joint convergence in distribution, as a process in $\lambda$ > lambda_crit, of ($n^{{-1/2}}$(L_n($\lambda$) - $rho^{{(n)}}$($\lambda$)n), $n^{{-1/2}}$(V_n($\lambda$) - $theta^{{(n)}}$($\lambda$)n)) to an $R^{2}$-valued centered continuous Gaussian process X($\lambda$) = (Psi_0($\lambda$ $\theta$($\lambda$)) + ($\lambda$ phi'_0($\lambda$ $\theta$($\lambda$))/$\beta$($\lambda$)) Psi_1($\lambda$ $\theta$($\lambda$)), $\beta$($\lambda$)^{-1} Psi_1($\lambda$ $\theta$($\lambda$))). Here L_n and V_n are the cardinality and volume of the most voluminous connected component, $rho^{{(n)}}$ and $theta^{{(n)}}$ are the deterministic proportions solving the fixed-point equations (1.3), and Psi_0, Psi_1 are the limiting centered Gaussian processes of the weighted empirical processes X_{n,0}, X_{n,1} of vertex weights, with covariance E[Psi_p(s)Psi_q(t)] = E[$W^{{p+q}}$ $e^{{-Ws}}$(1-$e^{{-Wt}}$)] for s <= t and p,q in {0,1}. The parameter $\beta$($\lambda$) = 1 - $\lambda$ E[$W^{2}$ $e^{{-W lambda theta(lambda)}}$] is strictly positive above criticality and acts as the slope that converts horizontal fluctuations of the excursion endpoint into vertical fluctuations of the counting process.
Load-bearing premise
The proof presumes that the deepest dip of the breadth-first walk, the one whose endpoints are controlled in the estimates, is in fact the longest dip, and that no other dip far away from the controlled interval can become longer as n grows.
Editorial extensions
If this is right
- For any fixed lambda above criticality, the cardinality and the volume of the largest component are asymptotically jointly normal, with variances and covariance read off from the process covariance at s = t = lambda theta(lambda).
- The process-level convergence permits constructing confidence bands for the growth curve of the giant over any compact interval of lambda above the critical point, not just at isolated parameter values.
- Any rank-one Poisson random graph whose empirical weight sequence converges weakly with converging second moment inherits the same Gaussian fluctuation type, so the result covers inhomogeneous models well beyond the equal-weight Erdős-Rényi case.
- Because the limit is expressed through the same weighted empirical processes that describe the whole vertex-weight profile, the fluctuations of the giant are determined by the fluctuations of that profile and nothing else.
- The explicit covariance makes it possible to evaluate asymptotic expressions for related functionals, such as the location of a maximum of the fluctuation process, by standard Gaussian-process calculus.
Reading between the lines
- The excursion-based method is flexible enough that analogous process-level CLTs should hold for other additive functionals of the giant, such as the number of surplus edges or the size of the 2-core, in rank-one models, by applying a functional delta-method to weighted empirical processes.
- The theorem suggests a universality statement: two weight sequences with the same limiting distribution W should have indistinguishable giant fluctuations, even if their detailed weight profiles differ; this is testable by simulation and stronger than the paper's necessary conditions alone.
- The paper's own remark that the barely supercritical regime requires different assumptions points to a natural next problem: establishing the analogous process-level CLT for lambda = lambda_crit + t epsilon_n with n^{1/3} epsilon_n -> infinity for rank-one graphs, where heavier-tailed weights are expected to change the limit.
- If the second-moment convergence in Assumption 1.2 were relaxed, the weighted empirical process would no longer be asymptotically Gaussian, so the giant's fluctuations would presumably acquire a non-Gaussian component; that would be a concrete way to test how load-bearing the second-moment assumption really is.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims a process-level functional central limit theorem for the fluctuations of the size and volume of the giant component in a dynamic rank-one Poisson random graph. Under Assumption 1.2 (weak convergence of the empirical weight distribution plus convergence of the second moment), Theorem 1.3 asserts that the joint process (n^{-1/2}(L_n(λ)-ρ^(n)(λ)n), n^{-1/2}(V_n(λ)-θ^(n)(λ)n)) converges in D((λcrit,∞),R^2) to a centered continuous Gaussian process with explicit covariance determined by the limiting weight W. The proof encodes the graph by Limic's breadth-first walk, uses Shorack's weighted empirical process CLT to handle the driving noise processes X_{n,0}, X_{n,1}, and reduces the problem to fluctuations of the endpoints of the longest excursion of H_n(t,λ)=X_{n,1}(λt)-t.
Significance. If the proof is completed, this is a natural and valuable extension of the Erdős-Rényi results of Enriquez-Faraud-Lemaire and Corujo-Lemaire-Limic to rank-one inhomogeneous models under minimal second-moment conditions. The covariance is explicit and derived from the input weight distribution, with no fitted parameters; the argument relies on benchmark tools (Limic's encoding, Shorack's theorem, Skorohod representation) rather than on circular assumptions. The paper is clearly written and the strategy is elegant. The main obstacle is not in the stochastic-process machinery but in the excursion identification, described below; I view it as repairable within the manuscript's scope.
major comments (2)
- [Section 3.2, Proposition 3.3 and display (3.4)] Proposition 3.3 shows that a.s. under the coupling, H_n(s,λ)>0 for s in the interval [εn^{-1/2}, θ^(n)(λ)+(Ψ_1(λθ^(n)(λ))-ε)/(β^(n)(λ)n^{1/2})]. This implies only that some excursion contains this long interval. Since (g_n(λ),d_n(λ)) was fixed in Corollary 2.2 as the longest excursion interval, the inclusion (g_n(λ),d_n(λ)) ⊃ [εn^{-1/2}, θ^(n)(λ)+(Ψ_1(λθ^(n)(λ))-ε)/(β^(n)(λ)n^{1/2})] in (3.4) does not follow: a later excursion at a lower level could have length at least as large. No estimate on the second-longest excursion is given, so Corollary 3.4, Lemma 3.5, the 'In particular' part of Lemma 3.6, and the upper bound in (3.5) apply, at best, to the excursion that contains the controlled positive interval rather than to the longest one. This gap is load-bearing because Theorem 1.3 is derived from Corollary 2.2, which requires the longest excursion. I suggest adding an argument that any excursion other than the controlled one has length o_P(1), for instance from the o_P(n) bound for the second-largest component under Assumption 1.2, or by controlling H_n below its running minimum after the controlled excursion.
- [Lemma 3.6, display (3.6)] The final displayed inequality in (3.6) reads H_n(...) ≤ ε/(2n^{1/2}); the right-hand side should be -ε/(2n^{1/2}) (or an equivalent negative bound). The preceding line has leading term -ε/n^{1/2} plus o(n^{-1/2}), so the printed inequality is a sign typo, but as it stands it does not imply the required negativity of H_n, and the second statement of the lemma and the upper bound in (3.5) are unsupported without the correction.
minor comments (5)
- [Section 3, heading and first line] The section heading and the opening sentence say 'Proof of Theorem 1.1', but the theorem proved in this section is Theorem 1.3.
- [Section 2.1] The phrase 'connected component connected component' contains a duplicated word.
- [References, item [11]] The author name 'Limc' should be 'Limic'.
- [Equation (3.2)] The first equality in (3.2) would be easier to read with parentheses: ϕ^(n)_1(x) = E[W_n^2 e^{-W_n ζ_{n,l}(x)}] x, with ζ_{n,l}(x) ∈ [0,x] explicitly stated as in the surrounding text.
- [Section 3.2, Proposition 3.3] The symbol T=E[W] is introduced but never used in the proof; either use it in the interval definitions or remove it.
Circularity Check
No circularity: the Gaussian limit is derived from the weight input via empirical-process and excursion-encoding theorems, with no fitted parameters or self-citation chains.
full rationale
Walking the derivation chain, the central claim (Theorem 1.3) is obtained as follows. Theorem 2.5 derives joint convergence of the weighted empirical processes X_{n,0}, X_{n,1} from Shorack's weighted empirical process theorem, using only Assumption 1.2 (weak convergence of W_n and convergence of the second moment); the limit covariances are computed from the input weight distribution W, not assumed. Corollary 2.2 transfers the volume and cardinality of the largest component to the longest excursion of H_n(t,λ)=X_{n,1}(λt)-t via Limic's external distributional identity. Section 3.2 then uses a Skorohod coupling (3.1) of H_n to the limiting process Ψ_1 and deterministic Taylor estimates around θ^(n) to establish the endpoint fluctuations in Theorem 3.1; the centering θ^(n), ρ^(n) and normalization β^(n) are explicit deterministic functions of w(n), and no parameter is fitted to the data whose fluctuations are predicted. The final covariance formula is a functional composition of the empirical-process limits and deterministic derivatives, so it is not a restatement of the input. No load-bearing self-citations occur: Limic [16] and Shorack [27] are external theorems, and the cited works [11,12] are context rather than proof dependencies. The possible concern about controlling the first excursion rather than the longest is a proof-gap/correctness issue, not circularity, since it does not make the conclusion equivalent to an assumption.
Assumptions & free parameters
assumptions (4)
- standard math Limic's encoding theorem (Theorem 2.1) identifies the largest component's volume with the longest excursion length of the associated breadth-first walk.
- standard math Shorack's weighted empirical process convergence theorem (Theorem 2.3) applies to the triangular array of exponential variables with weights w_j^p.
- standard math Skorohod representation theorem allows replacing weak convergence by almost sure locally uniform convergence when the limit is continuous.
- domain assumption Assumption 1.2: W_n converges weakly to W and E[W_n^2] converges to E[W^2], with P(W>0)=1 and E[W^2]<∞.
Cite this review
Pith. "Pith review of Fluctuations of the giant of Poisson random graphs." pith.science (2026). https://pith.science/paper/CWDPISAT
@misc{pith2026250101354,
author = {Pith},
title = {Pith review of: Fluctuations of the giant of Poisson random graphs},
year = {2026},
howpublished = {\url{https://pith.science/paper/CWDPISAT}},
note = {Machine review of arXiv:2501.01354}
}
read the original abstract
Enriquez, Faraud, and Lemaire (2023) have established process-level fluctuations for the giant of the dynamic Erd\H{o}s-R\'{e}nyi random graph above criticality and show that the limit is a centered Gaussian process with continuous sample paths. A random walk proof was recently obtained by Corujo, Limic and Lemaire (2024). We show that a similar result holds for rank-one inhomogeneous models whenever the empirical weight distribution converges to a limit and its second moment converges as well.
Reference graph
Works this paper leans on
-
[6]
Shankar Bhamidi, Amarjit Budhiraja, and Akshay Sakanaveeti, Functional central limit theorems for microscopic and macroscopic functionals of inhomogeneous random graphs, 2024
work page 2024
-
[1]
David Aldous, Brownian excursions, critical random graphs and the multip licative coalescent , Ann. Probab. 25 (1997), no. 2, 812–854. MR 1434128
work page 1997
-
[2]
David Aldous and Vlada Limic, The entrance boundary of the multiplicative coalescent , Electron. J. Probab. 3 (1998), no. 3, 59. MR 1491528
work page 1998
-
[3]
Frank Ball and Peter Neal, The asymptotic variance of the giant component of configurat ion model random graphs, Ann. Appl. Probab. 27 (2017), no. 2, 1057–1092. MR 3655861
work page 2017
-
[4]
AD Barbour and Adrian R¨ ollin,Central limit theorems in the configuration model , The Annals of Applied Probability 29 (2019), no. 2, 1046–1069
work page 2019
-
[5]
D. Barraez, S. Boucheron, and W. Fernandez de la Vega, On the fluctuations of the giant component , Combin. Probab. Comput. 9 (2000), no. 4, 287–304. MR 1786919
work page 2000
- [7]
-
[8]
B´ ela Bollob´ as and Oliver Riordan,Asymptotic normality of the size of the giant component via a random walk, J. Combin. Theory Ser. B 102 (2012), no. 1, 53–61. MR 2871766
work page 2012
Show all 30 references
-
[9]
2, 125–145
Fan Chung and Linyuan Lu, Connected components in random graphs with given expected d egree se- quences, Annals of combinatorics 6 (2002), no. 2, 125–145
2002
-
[10]
Josu´ e Corujo, The number of connected components in sub-critical random g raph processes , arXiv preprint arXiv:2406.06380 (2024)
2024 arXiv
-
[11]
Josu´ e Corujo, Sophie Lemaire, and Vlada Limic, A novel approach to the giant component fluctuations , arXiv e-prints (2024), arXiv:2412.06995
2024 arXiv
-
[12]
Nathana¨ el Enriquez, Gabriel Faraud, and Sophie Lemaire, The process of fluctuations of the giant component of an Erd˝ os-R´ enyi graph, arXiv e-prints (2023), arXiv:2311.07701
2023 arXiv
-
[13]
Erd˝ os and A
P. Erd˝ os and A. R´ enyi,On the evolution of random graphs , Magyar Tud. Akad. Mat. Kutat´ o Int. K¨ ozl. 5 (1960), 17–61. MR 125031
1960
-
[14]
Ethier and Thomas G
Stewart N. Ethier and Thomas G. Kurtz, Markov processes, Wiley Series in Probability and Mathe- matical Statistics: Probability and Mathematical Statistics, John W iley & Sons, Inc., New York, 1986, Characterization and convergence. MR 838085
1986
-
[15]
4, 1070–1116
Svante Janson, Asymptotic normality in random graphs with given vertex deg rees, Random Structures & Algorithms 56 (2020), no. 4, 1070–1116
2020
-
[16]
4A, 2479–2507
Vlada Limic, The eternal multiplicative coalescent encoding via excurs ions of L´ evy-type processes , Bernoulli 25 (2019), no. 4A, 2479–2507. MR 4003555
2019
-
[17]
Anders Martin-L¨ of,Symmetric sampling procedures, general epidemic processes and their threshold limit theorems, J. Appl. Probab. 23 (1986), no. 2, 265–282. MR 839984
1986
-
[18]
Peter Neal, SIR epidemics on a Bernoulli random graph , J. Appl. Probab. 40 (2003), no. 3, 779–782. MR 1993267
2003
-
[19]
, Coupling of two SIR epidemic models with variable susceptib ilities and infectivities , J. Appl. Probab. 44 (2007), no. 1, 41–57. MR 2312985
2007
-
[20]
3, 311–342
Boris Pittel, On tree census and the giant component in sparse random graph s, Random Structures Algorithms 1 (1990), no. 3, 311–342. MR 1099795
1990
-
[21]
Wormald, Counting connected graphs inside-out , J
Boris Pittel and Nicholas C. Wormald, Counting connected graphs inside-out , J. Combin. Theory Ser. B 93 (2005), no. 2, 127–172. MR 2117934
2005
-
[22]
Puhalskii, Stochastic processes in random graphs , Ann
Anatolii A. Puhalskii, Stochastic processes in random graphs , Ann. Probab. 33 (2005), no. 1, 337–412. MR 2118868
2005
-
[23]
Bal´ azs R´ ath,A moment-generating formula for Erd¨ os-R´ enyi component s izes, Electron. Commun. Probab. 23 (2018), Paper No. 24, 14. MR 3798235
2018
-
[24]
Oliver Riordan, The phase transition in the configuration model , Combin. Probab. Comput. 21 (2012), no. 1-2, 265–299. MR 2900063
2012
-
[25]
4, 452–485
Taral Guldahl Seierstad, On the normality of giant components , Random Structures Algorithms 43 (2013), no. 4, 452–485. MR 3124692 FLUCTUATION OF THE GIANT VIA BFW 13
2013
-
[26]
Thomas Sellke, On the asymptotic distribution of the size of a stochastic ep idemic, J. Appl. Probab. 20 (1983), no. 2, 390–394. MR 698541
1983
-
[27]
4, 169–189
Galen R Shorack, The weighted empirical process of row independent random va riables with arbitrary distribution functions , Statistica Neerlandica 33 (1979), no. 4, 169–189
1979
-
[28]
A. N. Startsev, Asymptotic analysis of the general stochastic epidemic wit h variable infectious periods , J. Appl. Probab. 38 (2001), no. 1, 18–35. MR 1816110
2001
-
[29]
1, 55–67
Vadim E Stepanov, On the probability of connectedness of a random graph Gm(t), Theory of Probability & Its Applications 15 (1970), no. 1, 55–67
1970
-
[30]
MR 1876437
Ward Whitt, Stochastic-process limits, Springer Series in Operations Research, Springer-Verlag, New York, 2002, An introduction to stochastic-process limits and their application to queues. MR 1876437
2002
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.