REVIEW 4 minor 47 references
An algebraic inverse theorem for the quadratic Littlewood-Offord problem, and an application to Ramsey graphs
T0 review · 0 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Unusually high point probabilities for quadratic polynomials force near-low-rank algebraic structure, and this yields an optimal anti-concentration bound for edge counts in Ramsey graphs.
desk verdict A substantial paper: new algebraic inverse theorems for the quadratic Littlewood–Offord problem at near-1/n thresholds, backed by a genuinely new Fourier-decoupling technique and a clean Ramsey application; the proofs hold up. 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 engine is a decoupling trick applied to the characteristic function of $f(\xi)$: splitting the variables into two groups and subtracting an independent copy turns the quadratic polynomial into a linear one, with the usual square-root loss moved inside an integral where a sharp threshold in $|t|$ makes it negligible. The linear analysis then uses a multidimensional Littlewood–Offord theorem for robustly non-degenerate matrices, and Esséen's inequality converts the resulting Fourier decay into point-probability bounds. A separate layer of robust linear independence ($\varepsilon$-independence) and a symmetric low-rank approximation lemma turn the condition 'far from a low-rank quadratic form' into the non-degeneracy that the Fourier argument requires. Here the rank of a quadratic form is the rank of its symmetric coefficient matrix, equivalently the minimum number of squares of linear forms needed to express it.
What would settle it
A sequence of quadratic polynomials with all coefficients in $\{-1,0,1\}$ whose exact point probabilities exceed $C(\log n)^{r/2}n^{-1+2/(r+2)}$ for some fixed $r\ge3$, while their coefficient matrices stay at $\ell^1$-distance at least $\varepsilon n^2$ from every symmetric matrix of rank less than $r$, would refute Theorems 1.1 and 1.2. A concrete starting point is exhaustive search over small $n$ with coefficients in $\{0,1\}$, computing both the maximum point probability and the minimal $\ell^1$ distance to low-rank symmetric matrices.
Extended reading notes
Core claim
The central claim is a rigidity principle: for a quadratic polynomial $f\in F[x_1,\ldots,x_n]$ with all coefficients of absolute value at most $1$, if $\sup_x\Pr(f(\xi)=x)\ge C(\log n)^{r/2}n^{-1+2/(r+2)}$, then there is a quadratic form $h$ of rank strictly less than $r$ whose coefficients differ from those of $f$ by total absolute value at most $\varepsilon n^2$. When the degree-$2$ coefficients of $f$ are drawn from a finite set, the same concentration forces $f$ and $h$ to differ in at most $\varepsilon n^2$ coefficients. The statements hold over $\mathbb{C}$, $\mathbb{R}$, and $\mathbb{Q}$, and in the finite-coefficient case $h$ can be chosen with coefficients in a finite set depending only on $r$ and the allowed coefficients. For the Ramsey application, the random edge count is represented as a quadratic polynomial whose coefficient matrix contains many full-rank $r\times r$ submatrices, so it is far from every low-rank quadratic form, and Theorem 1.2 delivers the bound.
Load-bearing premise
The application to Ramsey graphs relies on the imported graph counting estimate that every $C$-Ramsey graph contains induced copies of every small fixed graph in numbers proportional to $n^h$; if that estimate fails with a full polynomial factor, the deduction of Theorem 1.3 breaks down, although the inverse theorems themselves do not depend on it.
Editorial extensions
If this is right
- A quadratic polynomial with bounded coefficients whose point probabilities exceed $n^{-1+o(1)}$ must be within $\varepsilon n^2$ coefficient-wise of a low-rank quadratic form, so strong concentration is a certificate of algebraic degeneracy.
- With $r=3$, point probabilities much larger than $n^{-3/5}$ force the polynomial to be close to one that splits into linear factors over the complex numbers, the qualitative picture predicted by the earlier conjecture.
- Every $C$-Ramsey graph has the property that the edge count of a uniformly random subset of size between $cn$ and $(1-c)n$ has point probabilities at most $n^{-1+o(1)}$, matching the random-graph benchmark up to the $o(1)$ term.
- The finite-coefficient Hamming version gives a template for proving anti-concentration of graph statistics: exhibit many disjoint full-rank submatrices in the associated coefficient matrix, then invoke the inverse theorem.
Reading between the lines
- The two distance notions invite a computational test: for a candidate statistic, one can compute the robust rank of its coefficient matrix and compare the implied concentration bound with the true point probabilities, which could expose where the $\ell^1$ approximation is too crude.
- The proof does not obviously extend to degree $3$, since iterating the decoupling gives weaker control; testing the method on cubic forms with tensor-rank-type structure would show whether the low-rank conclusion is special to quadratics.
- Removing the $o(1)$ in the Ramsey-graph bound would make the edge-count distribution exactly match the random-graph benchmark; a plausible route is to sharpen the symmetric low-rank approximation lemma from aggregate $\ell^1$ control to control on almost every entry.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves algebraic inverse theorems for the quadratic Littlewood–Offord problem. Theorem 1.1 states that if a quadratic polynomial f over F∈{C,R,Q} with coefficients of modulus at most 1 has point probability at least C(log n)^{r/2}/n^{1-2/(r+2)} for some r≥3, then f is within coefficient L1 distance εn^2 of a quadratic form of rank strictly less than r. Theorem 1.2 gives the analogous Hamming-distance conclusion when the degree-2 coefficients lie in a finite set S. Theorem 1.3 applies Theorem 1.2 to show that in any C-Ramsey graph, the number X of edges induced by a uniformly random k-vertex subset, with k=Θ(n), satisfies Pr(X=x)≤n^{-1+o(1)}. The proof strategy is a Fourier-decoupling anti-concentration lemma (Lemma 3.2), a complex-to-real reduction via random phases (Lemma 4.1), and a substantial development of robust linear-independence tools (Sections 6–7) culminating in symmetric low-rank approximation statements (Lemmas 5.5 and 5.7).
Significance. If correct, these are the first inverse theorems of this strength for quadratic Littlewood–Offord problems, giving structural conclusions at concentration levels well above the 1/√n barrier and making significant progress toward Costello's conjecture in the algebraic direction. The technical apparatus—decoupling inside the characteristic function, robust linear independence, and simultaneous symmetric low-rank approximation—is likely to be independently useful. The Ramsey application is a clean and nontrivial consequence. I explicitly note that the central inverse theorems (Theorems 1.1 and 1.2) do not rely on Lemma 2.2; that lemma is used only for the Ramsey application and is a standard regularity-method counting statement. The proofs of the key technical lemmas are complete, and I found no load-bearing error in the central derivation.
minor comments (4)
- [§7.1, Claim 7.5] In the proof of Claim 7.5, the same expression ‖(A′−B′)I‖1 is written twice in consecutive displayed equations, and the identity ‖(H−A′)I‖1=‖(H−A′)I‖1 also appears twice; one member of each pair should refer to the column-indexed submatrix rather than the row-indexed submatrix. Please clarify the notation distinguishing row and column submatrices in this claim.
- [§4, Lemma 4.1] In the proof of Lemma 4.1, the definition of p(z) and the displayed formula for det Re(e^{iθ}A) should involve the conjugate matrix \overline{A} rather than A, since Re(e^{iθ}A)=(e^{iθ}A+e^{-iθ}\overline{A})/2. As written, both displays are missing the conjugation.
- [§3, proof of Lemma 3.2] In the final Esséen integration, the limits of the first integral are written from 1/√n to 1/n but should be from 1/n to 1/√n, and the outer integral should read from −1/s to 1/s rather than from 1/s to −1/s. The numerical evaluation is correct under the intended limits.
- [Throughout] Several exponents such as α(6r)^{q−r} and α(6r)^{−r} are ambiguous in the typeset text and can be misread as products rather than nested powers; using explicit braces, e.g., α^{(6r)^{q−r}}, would improve readability.
Circularity Check
No significant circularity: the inverse theorems are derived from external anti-concentration inputs and self-contained algebraic lemmas, and the Ramsey application rests on a standard regularity counting lemma.
full rationale
Theorems 1.1 and 1.2 are proved by contrapositive: if the coefficient matrix has many robustly independent rows, Lemma 3.2 gives the upper bound O((log n)^{r/2}/n^{1-2/(r+2)}) for every point probability; otherwise Lemmas 5.5 and 5.7 produce a low-rank quadratic form close to f. Lemma 3.2 is proved from Halasz's multidimensional Littlewood-Offord theorem (Theorem 3.5) and Esseen's concentration inequality (Lemma 3.4), both external results, together with a decoupling argument (Lemma 3.3) that is fully proved in the text. The robust linear independence lemmas (Sections 6-7) are proved from elementary linear algebra and determinant estimates, not from the statements of Theorems 1.1 or 1.2. No parameter is fitted to the target conclusion, and no point-probability bound is assumed in deriving the structural conclusion. The sole external graph-theoretic input, Lemma 2.2 (many induced copies of every small graph in Ramsey graphs), is cited to [10] and [19] and is a standard consequence of Szemeredi regularity; it is used only in the application Theorem 1.3 via Claim 2.4, not in Theorems 1.1 or 1.2. The coupling representation (Lemma 2.3) is described as a variant of a lemma in [27], but it is stated and proved in full in the paper, so the self-citation is not load-bearing. There is no renamed known result, no uniqueness imported from the authors' prior work, and no ansatz smuggled in by self-citation. Accordingly, the derivation chain is self-contained and no circular step is present.
Assumptions & free parameters
assumptions (4)
- standard math Halasz's multi-dimensional Littlewood-Offord inequality (Theorem 3.5)
- standard math Esseen's concentration inequality (Lemma 3.4)
- domain assumption Szemeredi regularity lemma and counting lemmas (Lemma 2.2, cited to [10] and [19])
- standard math Standard concentration inequalities (Chernoff, Azuma-Hoeffding, McDiarmid)
Cite this review
Pith. "Pith review of An algebraic inverse theorem for the quadratic Littlewood-Offord problem, and an application to Ramsey graphs." pith.science (2026). https://pith.science/paper/6XNO65EH
@misc{pith2026190902089,
author = {Pith},
title = {Pith review of: An algebraic inverse theorem for the quadratic Littlewood-Offord problem, and an application to Ramsey graphs},
year = {2026},
howpublished = {\url{https://pith.science/paper/6XNO65EH}},
note = {Machine review of arXiv:1909.02089}
}
abstract
Consider a quadratic polynomial $f\left(\xi_{1},\dots,\xi_{n}\right)$ of independent Bernoulli random variables. What can be said about the concentration of $f$ on any single value? This generalises the classical Littlewood--Offord problem, which asks the same question for linear polynomials. As in the linear case, it is known that the point probabilities of $f$ can be as large as about $1/\sqrt{n}$, but still poorly understood is the "inverse" question of characterising the algebraic and arithmetic features $f$ must have if it has point probabilities comparable to this bound. In this paper we prove some results of an algebraic flavour, showing that if $f$ has point probabilities much larger than $1/n$ then it must be close to a quadratic form with low rank. We also give an application to Ramsey graphs, asymptotically answering a question of Kwan, Sudakov and Tran.
Reference graph
Works this paper leans on
-
[1]
N. Alon, J. Balogh, A. Kostochka, and W. Samotij,Sizes of induced subgraphs of Ramsey graphs, Combin. Probab. Comput. 18 (2009), no. 4, 459–476. 4
work page 2009
-
[2]
N. Alon, D. Hefetz, M. Krivelevich, and M. Tyomkyn, Edge-statistics on large graphs, Combin. Probab. Comput., to appear, arXiv preprint arXiv:1805.06848 (2018). 4
work page Pith review arXiv 2018
-
[3]
N. Alon and A. V . Kostochka,Induced subgraphs with distinct sizes, Random Structures Algorithms 34 (2009), no. 1, 45–53. 4, 30
work page 2009
-
[4]
N. Alon, M. Krivelevich, and B. Sudakov,Induced subgraphs of prescribed size, J. Graph Theory 43 (2003), no. 4, 239–251. 4, 30
work page 2003
- [5]
-
[6]
A Local Limit Theorem for Cliques in G(n,p)
R. Berkowitz, A Local Limit Theorem for cliques in G(n, p), arXiv preprint arXiv:1811.03527 (2018). 11
work page Pith review arXiv 2018
-
[7]
B. Bukh and B. Sudakov, Induced subgraphs of Ramsey graphs with many distinct degrees , J. Combin. Theory Ser. B 97 (2007), no. 4, 612–619. 4
work page 2007
-
[8]
E. Chattopadhyay and D. Zuckerman, Explicit two-source extractors and resilient functions , STOC’16—Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, ACM, New York, 2016, pp. 670–683. 4
work page 2016
Show all 47 references
-
[9]
G. Cohen, Two-source dispersers for polylogarithmic entropy and improved Ramsey graphs , STOC’16—Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, ACM, New York, 2016, pp. 278–284. 4
2016
-
[10]
Conlon and J
D. Conlon and J. Fox, Bounds for graph regularity and removal lemmas, Geom. Funct. Anal. 22 (2012), no. 5, 1191–1256. 7
2012
-
[11]
K. P. Costello, Bilinear and quadratic variants on the Littlewood-Offord problem, Israel J. Math. 194 (2013), no. 1, 359–394. 2
2013
-
[12]
K. P. Costello, T. Tao, and V . Vu,Random symmetric matrices are almost surely nonsingular, Duke Math. J. 135 (2006), no. 2, 395–413. 2, 10
2006
-
[13]
Erd ˝os, On a lemma of Littlewood and Offord, Bull
P. Erd ˝os, On a lemma of Littlewood and Offord, Bull. Amer. Math. Soc. 51 (1945), 898–902. 2
1945
-
[14]
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. 4
1947
-
[15]
Erd˝os, Some of my favourite problems in various branches of combinatorics , Matematiche (Catania) 47 (1992), no
P. Erd˝os, Some of my favourite problems in various branches of combinatorics , Matematiche (Catania) 47 (1992), no. 2, 231–240 (1993), Combinatorics 92 (Catania, 1992). 4, 30 DISCRETE ANALYSIS , 2020:12, 34pp. 31 MATTHEW KWAN AND LISA SAUERMANN
1992
-
[16]
Erd˝os, Some recent problems and results in graph theory, Discrete Math
P. Erd˝os, Some recent problems and results in graph theory, Discrete Math. 164 (1997), no. 1-3, 81–85, The Second Krakow Conference on Graph Theory (Zgorzelisko, 1994). 4, 30
1997
-
[17]
Erd˝os and A
P. Erd˝os and A. Hajnal, On spanned subgraphs of graphs , Contributions to graph theory and its applications (Internat. Colloq., Oberhof, 1977), Tech. Hochschule Ilmenau, Ilmenau, 1977, pp. 80–96. 4, 7
1977
-
[18]
Erd˝os and G
P. Erd˝os and G. Szekeres, A combinatorial problem in geometry , Compositio Math. 2 (1935), 463–470. 4
1935
-
[19]
Erd˝os and A
P. Erd˝os and A. Szemerédi, On a Ramsey type theorem, Period. Math. Hungar. 2 (1972), 295–299, Collection of articles dedicated to the memory of Alfréd Rényi, I. 4, 7
1972
-
[20]
C. G. Esseen, On the Kolmogorov-Rogozin inequality for the concentration function, Z. Wahrschein- lichkeitstheorie und Verw. Gebiete5 (1966), 210–216. 11
1966
-
[21]
J. Fox, M. Kwan, and L. Sauermann, Combinatorial anti-concentration inequalities, with applica- tions, preprint (2019). 2
2019
-
[22]
Fox and L
J. Fox and L. Sauermann, A completion of the proof of the edge-statistics conjecture, arXiv preprint arXiv:1809.01352 (2018). 4
2018 arXiv
-
[23]
Frankl and R
P. Frankl and R. M. Wilson,Intersection theorems with geometric consequences, Combinatorica 1 (1981), no. 4, 357–368. 4
1981
-
[24]
Halász, Estimates for the concentration function of combinatorial number theory and probability, Period
G. Halász, Estimates for the concentration function of combinatorial number theory and probability, Period. Math. Hungar. 8 (1977), no. 3-4, 197–211. 2, 10, 12
1977
-
[25]
Kwan and B
M. Kwan and B. Sudakov, Proof of a conjecture on induced subgraphs of Ramsey graphs, Trans. Amer. Math. Soc., to appear, arXiv preprint arXiv:1712.05656 (2017). 4
2017 arXiv
-
[26]
Kwan and B
M. Kwan and B. Sudakov, Ramsey graphs induce subgraphs of quadratically many sizes, Int. Math. Res. Not. IMRN, to appear, arXiv preprint arXiv:1711.02937 (2017). 4
2017 arXiv
-
[27]
M. Kwan, B. Sudakov, and T. Tran,Anticoncentration for subgraph statistics, J. London Math. Soc. 99 (2019), no. 3, 757–777. 4, 7
2019
-
[28]
Li, Non-malleable extractors and non-malleable codes: Partially optimal constructions, 34th Computational Complexity Conference, to appear, arXiv preprint arXiv:1804.04005 (2018)
X. Li, Non-malleable extractors and non-malleable codes: Partially optimal constructions, 34th Computational Complexity Conference, to appear, arXiv preprint arXiv:1804.04005 (2018). 4
2018 arXiv
-
[29]
J. E. Littlewood and A. C. Offord, On the number of real roots of a random algebraic equation. III, Rec. Math. [Mat. Sbornik] N.S. 12(54) (1943), 277–286. 2, 3
1943
-
[30]
Martinsson, F
A. Martinsson, F. Mousset, A. Noever, and M. Truji´c, The edge-statistics conjecture for 𝓁≪ k6/5, Israel J. Math., to appear, arXiv preprint arXiv:1809.02576 (2018). 4
2018 arXiv
-
[31]
McDiarmid, Concentration, Probabilistic methods for algorithmic discrete mathematics, Algo- rithms Combin., vol
C. McDiarmid, Concentration, Probabilistic methods for algorithmic discrete mathematics, Algo- rithms Combin., vol. 16, Springer, Berlin, 1998, pp. 195–248. 9 DISCRETE ANALYSIS , 2020:12, 34pp. 32 AN ALGEBRAIC INVERSE THEOREM FOR THE QUADRATIC LITTLEWOOD –O FFORD PROBLEM
1998
-
[32]
R. Meka, O. Nguyen, and V . Vu, Anti-concentration for polynomials of independent random variables, Theory Comput. 12 (2016), Paper No. 11, 16 pages. 2
2016
-
[33]
Narayanan, J
B. Narayanan, J. Sahasrabudhe, and I. Tomon, Ramsey graphs induce subgraphs of many different sizes, Combinatorica 39 (2019), no. 1, 215–237. 4
2019
-
[34]
Nguyen and V
H. Nguyen and V . Vu,Optimal inverse Littlewood-Offord theorems, Adv. Math. 226 (2011), no. 6, 5298–5319. 2
2011
-
[35]
H. H. Nguyen, Inverse Littlewood-Offord problems and the singularity of random symmetric matrices, Duke Math. J. 161 (2012), no. 4, 545–586. 2, 11
2012
-
[36]
H. H. Nguyen and V . H. Vu, Small ball probability, inverse theorems, and applications , Erd ˝os centennial, Bolyai Soc. Math. Stud., vol. 25, János Bolyai Math. Soc., Budapest, 2013, pp. 409–463. 12
2013
-
[37]
H. J. Prömel and V . Rödl,Non-Ramsey graphs are clogn-universal, J. Combin. Theory Ser. A 88 (1999), no. 2, 379–384. 4
1999
-
[38]
Razborov and E
A. Razborov and E. Viola, Real advantage, ACM Trans. Comput. Theory 5 (2013), no. 4, Art. 17. 2
2013
-
[39]
Rosi´nski and G
J. Rosi´nski and G. Samorodnitsky, Symmetrization and concentration inequalities for multilinear forms with applications to zero-one laws for Lévy chaos, Ann. Probab. 24 (1996), no. 1, 422–437. 2
1996
-
[40]
Rudelson and R
M. Rudelson and R. Vershynin,The Littlewood-Offord problem and invertibility of random matrices, Adv. Math. 218 (2008), no. 2, 600–633. 2
2008
-
[41]
Shelah, Erd˝ os and Rényi conjecture, J
S. Shelah, Erd˝ os and Rényi conjecture, J. Combin. Theory Ser. A 82 (1998), no. 2, 179–185. 4
1998
-
[42]
Tao and V
T. Tao and V . Vu,From the Littlewood-Offord problem to the circular law: universality of the spectral distribution of random matrices, Bull. Amer. Math. Soc. (N.S.) 46 (2009), no. 3, 377–396. 2
2009
-
[43]
Tao and V
T. Tao and V . Vu,A sharp inverse Littlewood-Offord theorem, Random Structures Algorithms 37 (2010), no. 4, 525–539. 2
2010
-
[44]
Tao and V
T. Tao and V . Vu,The Littlewood-Offord problem in high dimensions and a conjecture of Frankl and Füredi, Combinatorica 32 (2012), no. 3, 363–372. 12
2012
-
[45]
Tao and V
T. Tao and V . H. Vu,Inverse Littlewood-Offord theorems and the condition number of random discrete matrices, Ann. of Math. (2) 169 (2009), no. 2, 595–632. 2
2009
-
[46]
Tao and V
T. Tao and V . H. Vu,Additive combinatorics, Cambridge Studies in Advanced Mathematics, vol. 105, Cambridge University Press, Cambridge, 2010. 11
2010
-
[47]
Tikhomirov, Singularity of random Bernoulli matrices, arXiv preprint arXiv:1812.09016 (2018)
K. Tikhomirov, Singularity of random Bernoulli matrices, arXiv preprint arXiv:1812.09016 (2018). 2 DISCRETE ANALYSIS , 2020:12, 34pp. 33 MATTHEW KWAN AND LISA SAUERMANN AUTHORS Matthew Kwan Szeg˝o Assistant Professor Stanford University Stanford, USA mattkwan stanford edu http...
2018 arXiv
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.