REVIEW 2 major objections 2 minor 1 cited by
A sharp cumulant generating function bound for truncated Gaussians improves the exponent in lower bounds for off-diagonal Ramsey numbers R(ℓ, Cℓ) by a positive amount for every fixed C > 1.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.3
2026-07-04 00:24 UTC pith:AVJ56K3B
load-bearing objection Modest positive exponent improvement for R(ℓ, Cℓ) via sharper CGF bound on truncated Gaussians. the 2 major comments →
Sharper Ramsey lower bounds from refined Gaussian estimates
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By using a sharp cumulant generating function bound for truncated Gaussians in place of sub-Gaussian estimates, the exponent in the lower bound for R(ℓ, Cℓ) can be increased by a strictly positive amount for every fixed C > 1, with the gain asymptotically Θ(p_C^{-1/2}/log C) as C → ∞.
What carries the argument
The sharp cumulant generating function bound for truncated Gaussian random variables, which replaces the earlier sub-Gaussian estimate in the random-graph construction for Ramsey lower bounds.
Load-bearing premise
The sharp cumulant generating function bound for truncated Gaussians holds with the stated constants and applies uniformly in the relevant parameter range.
What would settle it
A direct numerical computation or analytic counterexample showing that the cumulant generating function for a truncated Gaussian exceeds the claimed bound for some parameter values used in the Ramsey construction.
If this is right
- The lower bound exponent improves for every fixed C > 1.
- The improvement grows like Θ(p_C^{-1/2}/log C) as C tends to infinity.
- The method applies to the Gaussian random graph model used in recent proofs.
- Quantitative bounds on R(ℓ, Cℓ) become stronger than those from the prior Gaussian approach.
Where Pith is reading between the lines
- If the cumulant bound can be sharpened further, additional gains in the Ramsey exponent may be possible.
- The same refinement might apply to other probabilistic constructions that rely on truncated Gaussians.
- Testing the cumulant bound numerically for moderate parameter values would confirm the uniform applicability assumed in the proof.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims a quantitative improvement to lower bounds on the off-diagonal Ramsey numbers R(ℓ, Cℓ) for fixed C > 1 and large ℓ. Building on the Gaussian random-graph constructions of Ma-Shen-Xie and Hunter-Milojević-Sudakov, it replaces a sub-Gaussian tail bound on truncated Gaussians with a sharp cumulant-generating-function estimate, asserting that the exponent in the lower bound increases by a strictly positive amount for every fixed C > 1, with the gain asymptotically Θ(p_C^{-1/2}/log C) as C → ∞.
Significance. If the claimed CGF bound holds uniformly with the stated constants, the work supplies a further, explicitly quantified strengthening of the first exponential improvements over the classical Erdős lower bound for R(ℓ, Cℓ). Such refinements to the analytic estimates in probabilistic constructions are potentially reusable in other extremal problems that rely on truncated-Gaussian or sub-Gaussian tail controls.
major comments (2)
- [Proof of the CGF bound and its application in §3–4] The central claim rests on the assertion that the new cumulant-generating-function bound for truncated Gaussians holds uniformly over the truncation thresholds, variances, and edge-probability regimes that appear when the random-graph construction is instantiated for R(ℓ, Cℓ) with large ℓ and arbitrary fixed C > 1. The manuscript must supply an explicit statement of the range of parameters for which the bound is proved and verify that the error terms remain controlled when these parameters are substituted into the Ramsey lower-bound argument; otherwise the asserted Θ(p_C^{-1/2}/log C) gain is not guaranteed.
- [Comparison paragraph following the statement of the main theorem] The paper states that the improvement is achieved by replacing the sub-Gaussian estimate with the sharp CGF bound, yet the quantitative comparison between the two estimates (including the precise constants that produce the positive exponent gain) is not displayed in a single location. A direct side-by-side calculation showing how the new bound improves the exponent for a concrete C (e.g., C = 2) would make the gain verifiable.
minor comments (2)
- Notation for the truncation level and the parameter p_C should be introduced once and used consistently; currently the same symbol appears with slightly different meanings in the abstract and the construction section.
- [Introduction, paragraph 3] The statement 'as C → ∞, the gain is asymptotically Θ(p_C^{-1/2}/log C)' would benefit from an explicit definition of p_C in the introduction rather than only in the technical sections.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the constructive suggestions. We address each major comment below.
read point-by-point responses
-
Referee: The manuscript must supply an explicit statement of the range of parameters for which the CGF bound is proved and verify that the error terms remain controlled when these parameters are substituted into the Ramsey lower-bound argument; otherwise the asserted Θ(p_C^{-1/2}/log C) gain is not guaranteed.
Authors: The proof of the CGF bound in Lemma 3.2 is uniform over the relevant parameter ranges that arise in the construction for any fixed C > 1. Specifically, the bound holds for truncation levels up to O(√log(1/p)), with p in the range used for the random graph model. The error terms are bounded in the derivation of the main lower bound in Section 4. To make this fully explicit as requested, we will add a remark stating the precise parameter ranges and confirming the control of errors in the revision. revision: yes
-
Referee: The quantitative comparison between the two estimates (including the precise constants that produce the positive exponent gain) is not displayed in a single location. A direct side-by-side calculation showing how the new bound improves the exponent for a concrete C (e.g., C = 2) would make the gain verifiable.
Authors: We agree that a consolidated comparison would improve readability. In the revised manuscript, we will insert a paragraph after the main theorem that displays the exponent from the sub-Gaussian bound and from the new CGF bound side-by-side for C=2, highlighting the positive gain. revision: yes
Circularity Check
No circularity; analytic upgrade is independent of inputs
full rationale
The paper derives a strictly positive exponent improvement for R(ℓ, Cℓ) lower bounds by substituting a sharp CGF bound on truncated Gaussians for the prior sub-Gaussian tail estimate. The abstract and method description present this as a direct analytic refinement with stated constants and uniformity, without any reduction of the claimed Θ(p_C^{-1/2}/log C) gain to a fitted parameter, self-definition, or self-citation chain. No equations or steps are shown that equate the output exponent to the input bound by construction. The argument is self-contained and externally falsifiable via the CGF inequality itself.
Axiom & Free-Parameter Ledger
read the original abstract
Recently, Ma, Shen and Xie broke the Erd\H{o}s barrier for off-diagonal Ramsey numbers $R(\ell,C\ell)$, achieving the first exponential improvement over the classical lower bound for every $C>1$ and sufficiently large $\ell$. Hunter, Milojevi\'{c}, and Sudakov later gave a simplified proof using Gaussian random graphs and obtained better quantitative bounds. In this paper we prove a further improvement, and show that the exponent in the Ramsey lower bound can be increased by a strictly positive amount for every fixed $C>1$; as $C\to\infty$, the gain is asymptotically $\Theta(p_C^{-1/2}/\log C)$. The improvement is achieved by replacing the subgaussian estimate for truncated Gaussians with a sharp cumulant generating function bound.
Figures
Forward citations
Cited by 1 Pith paper
-
New Tower-Type Lower Bounds for Hypergraph Ramsey Numbers
Improves r_k(k+1,k+1) > s_3(⌊k/2⌋-2) for k≥6 and proves s_3(k) ≥ (twr_{k-2}(2))^2 for k≥5, yielding r_k(k+1,k+1) > (twr_{⌊k/2⌋-4}(2))^2 for k≥14.
Reference graph
Works this paper leans on
- [1]
-
[2]
P. Balister, B. Bollob´ as, M. Campos, S. Griffiths, E. Hurley, R. Morris, J. Sahasrabudhe and M. Tiba, Upper bounds for multicolour Ramsey numbers,J. Amer. Math. Soc.39(3) (2026), 765–780
work page 2026
-
[3]
M. Barreto, O. Marchal, and J. Arbel, Optimal sub-Gaussian variance proxy for truncated Gaussian and exponential random variables,arXiv preprint arXiv:2403.08628, 2024
-
[4]
T. Bohman and P. Keevash, The early evolution of theH-free process,Invent. Math.181(2) (2010), 291–336
work page 2010
-
[5]
T. Bohman and P. Keevash, Dynamic concentration of the triangle-free process,Random Struct. Algor.58(2) (2021), 221–293
work page 2021
- [6]
- [7]
-
[8]
F. R. K. Chung and R. L. Graham, Erd˝ os on Graphs: His Legacy of Unsolved Problems, A. K. Peters Ltd., Wellesley, MA, 1998
work page 1998
-
[9]
Conlon, A new upper bound for diagonal Ramsey numbers,Ann
D. Conlon, A new upper bound for diagonal Ramsey numbers,Ann. of Math.170(2) (2009), 941–960
work page 2009
- [10]
-
[11]
Erd˝ os, Some remarks on the theory of graphs,Bull
P. Erd˝ os, Some remarks on the theory of graphs,Bull. Amer. Math. Soc.53 (1947), 292–294
work page 1947
-
[12]
Erd˝ os, Graph theory and probability, 11,Canad
P. Erd˝ os, Graph theory and probability, 11,Canad. J. Math.13 (1961), 346–352
work page 1961
-
[13]
P. Erd˝ os and G. Szekeres, A combinatorial problem in geometry,Compos. Math.2 (1935), 463–470
work page 1935
-
[14]
R.D. Gordon, Values of Mills’ ratio of area to bounding ordinate and of the normal probability integral for large values of the argument,Ann. Math. Statist.12 (1941), 364–366
work page 1941
-
[15]
R. L. Graham and V. R¨ odl, Numbers in Ramsey theory, inSurveys in Combinatorics 1987(New Cross, 1987), London Math. Soc. Lecture Note Ser. 123, Cambridge Univ. Press, Cambridge, 1987, pp. 111–153
work page 1987
- [16]
- [17]
-
[18]
Gaussian random graphs and Ramsey numbers
Z. Hunter, A. Milojevi´ c and B. Sudakov, Gaussian random graphs and Ramsey numbers, arXiv:2512.17718v2, 2026
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[19]
J. H. Kim, The Ramsey numberR(3, t) has order of magnitudet 2/logt,Random Struct. Algor. 7(3) (1995), 173–207
work page 1995
-
[20]
Y. Li, C. C. Rousseau, and W. Zang, Asymptotic upper bounds for Ramsey functions,Graphs Combin.17 (2001), 123–128
work page 2001
-
[21]
J. Ma, W. Shen, and S. Xie, An exponential improvement for Ramsey lower bounds,Invent. Math., to appear
-
[22]
S. Mattheus and J. Verstra¨ ete, The asymptotics ofr(4, t),Ann. of Math.199 (2024), 919–941
work page 2024
-
[23]
Morris, Some recent results in Ramsey theory, 2026,arXiv:2601.05221 [math.CO]
R. Morris, Some recent results in Ramsey theory, arXiv:2601.05221, 2026
-
[24]
G. Fiz Pontiveros, S. Griffiths and R. Morris, The triangle-free process and the Ramsey number R(3, k),Mem. Amer. Math. Soc.263(1274) (2020), v+125
work page 2020
-
[25]
F. P. Ramsey, On a problem of formal logic,Proc. London Math. Soc.30 (1929), 264–286
work page 1929
-
[26]
Sah, Diagonal Ramsey via effective quasirandomness,Duke Math
A. Sah, Diagonal Ramsey via effective quasirandomness,Duke Math. J.172 (2023), 545–567
work page 2023
-
[27]
Spencer, Ramsey’s theorem–a new lower bound,J
J. Spencer, Ramsey’s theorem–a new lower bound,J. Combin. Theory Ser. A18 (1975), 108– 115
work page 1975
-
[28]
Spencer, Asymptotic lower bounds for Ramsey functions,Discrete Math.20 (1977), 69–76
J. Spencer, Asymptotic lower bounds for Ramsey functions,Discrete Math.20 (1977), 69–76
work page 1977
-
[29]
Thomason, An upper bound for some Ramsey numbers,J
A. Thomason, An upper bound for some Ramsey numbers,J. Graph Theory12 (1988), 509– 517. 18
work page 1988
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.