REVIEW 5 minor 39 references
Geometric Littlewood-Offord problems via lattice point counting
T0 review · 0 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The paper proves that random signed sums of vectors containing $b$ disjoint bases hit an algebraic variety of dimension at most $\ell$ and degree at most $d$ with probability at most $O_{d,k}(b^{-(k-\ell)/2})$, via a reduction to counting…
desk verdict Resolves two named conjectures with a genuinely reusable reduction; the long proofs look sound, with the main weakness being an honestly flagged d=3 gap inherited from number theory. 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 load-bearing object is the lattice-point density $d_S(B)=\sup_{\varphi}N_{\varphi(S)}(B)/(2\lfloor B\rfloor+1)^k$, maximized over bijective affine-linear maps $\varphi$. Theorem 4.1 shows that in the concentrated regime, where the maximum point probability is at least $n^{-C}$, the translate probability $\rho(A,S)$ is at most $d_S(\sqrt{n\log n})(\log n)^r$ plus a negligible term; the proof iterates the optimal inverse Littlewood–Offord theorem to trap almost all coefficient vectors in a proper symmetric generalized arithmetic progression of bounded rank, transfers the sum to an integer box through the progression's generators, and applies Hoeffding's inequality together with the definition of $d_S$. Theorem 7.1 extends this to arbitrary sequences by an iterative decoupling argument that splits $\mathbb{C}^k$ into a structured subspace $W$, where the projected sum is polynomially concentrated, and a disordered subspace $U$, where the uncontrolled part of $S$ has negligible probability. Number-theoretic input enters only through $d_S$: Schwartz–Zippel for the baseline count, Pila's $B^{\ell-1+1/d}(\log B)^C$ bound for irreducible varieties, and the dimension-growth estimate $B^{k-2+\varepsilon}$ for hypersurfaces of degree $d\ne 3$.
What would settle it
Compute the hitting probability in the sharpness example behind Example 1.5: take $2m$ copies of $e_i/2$ in each coordinate, set $b=2m$, and choose $S=\{x_1=0\}$; the probability is $\binom{2m}{m}/2^{2m}=\Theta(b^{-1/2})$, so any sequence of $b$ disjoint bases with hitting probability $\omega(b^{-(k-\ell)/2})$ on a degree-$d$ variety of dimension $\ell$ would refute Theorem 1.3. For the degree-3 gap, an explicit irreducible cubic hypersurface not of two linear forms with more than $C_\varepsilon B^{k-2+\varepsilon}$ integer points in $[-B,B]^k$ would show why the $b^{-1+\varepsilon}$ argument cannot currently extend to degree 3.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is that the extremal quantity is the affine-invariant lattice-point density of the target set, not its shape. Theorem 1.3 states the sharp bound above for all algebraic varieties, possibly reducible, and Theorem 1.4 refines it for irreducible $S$ to $O_{d,k}(b^{-(k-\ell+1-1/d)/2}(\log b)^{C_{d,k}})$. These are deduced from Theorem 8.1, which bounds the maximum translate probability $\rho(A,S)$ by $\bigl(d_S(\sqrt{b\log b})+(b\log b)^{-(k-\ell+1)/2}\bigr)(\log b)^r$, where $d_S(B)$ is the supremum over affine-linear changes of coordinates of the proportion of integer points in $[-B,B]^k$ lying in $S$. Using Pila's determinant-method estimate for irreducible varieties gives the refined exponent; using the affine dimension-growth estimates of Vermeulen and Browning–Gorodnik for hypersurfaces of degree $d\ne 3$ gives the $b^{-1+\varepsilon}$ polynomial bound. The paper explicitly identifies the degree-3 exception as a gap in the available uniform estimates rather than a limitation of the method itself.
Load-bearing premise
The load-bearing premise is the affine dimension-growth estimate for hypersurfaces of degree $d\ne 3$ — that an irreducible polynomial not expressible through two linear forms has $O_{d,k,\varepsilon}(B^{k-2+\varepsilon})$ integer zeros in a box — since Theorem 1.1(2) collapses if this estimate fails or the degree-3 case is needed.
Editorial extensions
If this is right
- Theorem 1.3 settles the Kwan–Sauermann conjecture with the expected exponent $(k-\ell)/2$ in full generality, covering reducible varieties.
- Theorem 1.1(1) gives $O_{d,c}(b^{-1/2})$ for bounded-Chow-rank polynomials that robustly depend on $b$ variables, matching the Nguyen–Vu conjecture in this case and best possible up to constants.
- Theorem 1.1(2) gives $O_{d,c,\varepsilon}(b^{-1+\varepsilon})$ for robustly irreducible bounded-Chow-rank polynomials of degree $d\ne 3$, a step toward the repaired Costello conjecture.
- Theorems 1.6 and 1.8 show that for convex-position sets and for semialgebraic sets without line segments, no robust spanning assumption is needed to obtain $O(n^{-1/2})$ type bounds.
- Theorem 1.2 yields $b^{-1+1/(2d)}(\log b)^{C_{d,c}}$ for polynomials irreducible over a subfield of $\mathbb{C}$, even when they factor over $\mathbb{C}$.
Reading between the lines
- The lattice-point reduction is modular: a proof of the affine dimension-growth conjecture for degree 3 would automatically transfer the $b^{-1+\varepsilon}$ bound to degree 3 without touching the probabilistic arguments.
- The same black-box structure suggests a broader principle: any class of sets whose affine images have sufficiently strong integer-point bounds should inherit corresponding Littlewood–Offord estimates, so one could test the method on sets definable in o-minimal structures rather than only semialgebraic ones.
- An unexplored stress test is to replace Chow rank by Schmidt or partition rank in the polynomial corollaries; the decoupling decomposition may survive, but the lattice-point density step would need a new estimate adapted to low-rank coordinates.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper develops a general method for bounding the probability that a Rademacher-weighted sum of vectors from a sequence A falls into a target set S, by reducing the problem to counting lattice points in affine images of S. The central result is Theorem 1.3, which proves the Kwan–Sauermann conjecture: if the vectors a_1,...,a_n in C^k contain b disjoint bases and S is an affine algebraic variety of dimension at most l and degree at most d, then the probability is O_{d,k}(b^{-(k-l)/2}). The paper also proves a refined estimate (Theorem 1.4) for irreducible varieties using Pila's lattice-point bound, and a general transfer theorem (Theorem 8.1). Applications include: resolution of the Fox–Kwan–Spink conjecture for sets in convex position (Theorems 1.6 and 1.7), removal of logarithmic factors for semialgebraic sets containing no line segment (Theorem 1.8), and new results in the polynomial Littlewood–Offord problem for polynomials of bounded Chow rank (Theorems 1.1 and 1.2), including confirmation of the Nguyen–Vu conjecture in this special case and a repaired Costello-type bound up to the d=3 exception inherited from the affine dimension growth conjecture. The proof architecture consists of an optimal inverse Littlewood–Offord theorem, a new decoupling decomposition of the ambient space into 'structured' and 'disordered' subspaces (Theorem 7.1), and lattice-point density estimates.
Significance. If valid, this is a significant contribution to Littlewood–Offord theory. The resolution of the Kwan–Sauermann conjecture settles the natural geometric generalization of the classical linear problem, and the general framework connecting anticoncentration to lattice-point counting is likely to be influential. The authors are careful to isolate the d=3 case where the external dimension-growth input is open, and the internal reductions cancel cleanly: in particular, the inverse theorem's rho(A')^{-1} factor is canceled by the lattice-point union bound, and the iterative decoupling terminates by dimension. The paper also gives sharp (up to logarithmic factors) bounds for polynomials of bounded Chow rank, confirming a conjecture of Nguyen and Vu in that setting. The proofs are detailed and the main steps are checkable; I found no load-bearing error in the central derivation.
minor comments (5)
- [Section 4, proof of Theorem 4.1] The proof applies Theorem 4.4 with s1 = delta*n/2 but does not specify the epsilon needed for the hypothesis n^epsilon <= s1; one can fix any epsilon in (0,1) (e.g., epsilon=1/2) and argue for sufficiently large n, with the small-n case absorbed into the O-constant. The same remark applies to the use of Theorem 4.3 in Proposition 7.4. Please add a sentence clarifying this.
- [Section 8, proof of Theorem 1.1(2)] The statement 'F^=_* - F has at most (b/2+d)n^{d-1} nonzero coefficients' is not literally meaningful because F^=_* is a polynomial in the uneliminated variables only; the intended comparison is with the n-variable polynomial obtained by extending F^=_* with zero coefficients on the eliminated variables. Please rephrase.
- [Section 8, proof of Theorem 1.1(2)] The notation 'F =d_*' for the degree-d homogeneous part of F_* is confusing; I suggest a standard notation such as F_*^{(d)}.
- [Section 6.2, after Theorem 6.8] For the application to the density function d_S(B), it would be helpful to note explicitly that the hypothesis 'f cannot be represented as a polynomial of two linear forms' is preserved under invertible affine-linear changes of variables, so the bound N_{phi(S)}(B) is uniform over the affine transformations phi used in Definition 3.6.
- [Section 4, proof of Theorem 4.4] The proof states 'By decreasing s1, we may assume s1 <= n/2' and then applies Theorem 4.3 to subsequences of size n_i; it may be worth noting that the constant C in rho(A_i) >= n_i^{-C} remains uniform because n_i >= n/2 throughout the iteration.
Circularity Check
No significant circularity: the central derivation is self-contained once external lattice-point and inverse Littlewood-Offord theorems are granted.
full rationale
The central claim (Theorem 1.3) is derived from Theorem 1.4, which is proved from Theorem 8.1 combined with Pila's Theorem 6.7. Theorem 8.1 is an honest reduction to the lattice-point density d_S: its proof splits into the structured case via Theorem 7.1 and Theorem 4.1, and the complementary case via Bezout and Schwartz-Zippel, with constants tracked throughout. The decomposition in Theorem 7.1 is iterative and terminates because the subspace U strictly decreases in dimension; its one-step Proposition 7.4 uses the optimal inverse Littlewood-Offord theorem of Nguyen-Vu, an external result, together with the decoupling Lemma 7.2, which is proved in the paper. No step assumes the Kwan-Sauermann or Fox-Kwan-Spink conjectures that the paper claims to resolve. The only co-authored citation, [16, Theorem 1.9(2)] (Fox-Kwan-Spink, a paper coauthored by Kwan), is used for the convex-position result Theorem 1.7 and is an independently published external theorem with its own proof; it is not the basis of Theorem 1.3 or of the algebraic main results. Pila's theorem and the dimension-growth estimates are external number-theoretic inputs whose stated assumptions do not include the target probability bounds. The d != 3 restriction in Theorem 6.8 is explicitly disclosed and affects only Theorem 1.1(2), not the central Theorem 1.3. I therefore find no circular step.
Assumptions & free parameters
assumptions (6)
- standard math Optimal inverse Littlewood-Offord theorem (Nguyen-Vu): if rho(A) >= n^{-C}, then all but s elements of A lie in a proper symmetric GAP of rank O(1) and volume O(rho^{-1} s^{-r/2}).
- standard math Affine dimension growth for hypersurfaces of degree d != 3 (Vermeulen; Browning-Gorodnik): irreducible f not a polynomial of two linear forms satisfies N_S(B) <= O_{d,k,eps}(B^{k-2+eps}).
- standard math Pila's lattice-point estimate for irreducible varieties: N_S(B) <= O_{d,k}(B^{l-1+1/d}(log B)^{C_d}).
- standard math Fox-Kwan-Spink spread-out bound: for convex-position S, rho(A,S) <= O_k(rho(A)^{1/(k 2^{k-1})}).
- standard math Andrews' bound on lattice points in convex position: N_S(B) <= O_k(B^{k-2k/(k+1)}).
- standard math Ferber-Jain-Zhao refined Halasz theorem for point probabilities of sums of vectors partitioned into spanning blocks.
Cite this review
Pith. "Pith review of Geometric Littlewood-Offord problems via lattice point counting." pith.science (2026). https://pith.science/paper/G2TBRIYG
@misc{pith2026250524699,
author = {Pith},
title = {Pith review of: Geometric Littlewood-Offord problems via lattice point counting},
year = {2026},
howpublished = {\url{https://pith.science/paper/G2TBRIYG}},
note = {Machine review of arXiv:2505.24699}
}
abstract
Consider nonzero vectors $a_{1},\dots,a_{n}\in\mathbb{C}^{k}$, independent Rademacher random variables $\xi_{1},\dots,\xi_{n}$, and a set $S\subseteq\mathbb{C}^{k}$. What upper bounds can we prove on the probability that the random sum $\xi_{1}a_{1}+\dots+\xi_{n}a_{n}$ lies in $S$? We develop a general framework that allows us to reduce problems of this type to counting lattice points in $S$. We apply this framework with known results from diophantine geometry to prove various bounds when $S$ is a set of points in convex position, an algebraic variety, or a semialgebraic set. In particular, this resolves conjectures of Fox-Kwan-Spink and Kwan-Sauermann. We also obtain some corollaries for the polynomial Littlewood-Offord problem, for polynomials that have bounded Chow rank (i.e., can be written as a polynomial of a bounded number of linear forms). For example, one of our results confirms a conjecture of Nguyen and Vu in the special case of polynomials with bounded Chow rank: if a bounded-degree polynomial $F\in\mathbb{C}[x_{1},\dots,x_{n}]$ has bounded Chow rank and ''robustly depends on at least $b$ of its variables'', then $\mathbb{P}[F(\xi_{1},\dots,\xi_{n})=0]\le O(1/\sqrt{b})$. We also prove significantly stronger bounds when $F$ is ''robustly irreducible'', towards a conjecture of Costello.
Reference graph
Works this paper leans on
-
[16]
Geometric and o-minimal Littlewood-Offord problems
Jacob Fox, Matthew Kwan, and Hunter Spink. Geometric and o-minimal Littlewood-Offord problems. Ann. Probab., 51(1):101–126, 2023
work page 2023
-
[25]
Resolution of the quadratic Littlewood–Offord problem
Matthew Kwan and Lisa Sauermann. Resolution of the quadratic Littlewood–Offord problem. December
-
[1]
George E. Andrews. A lower bound for the volume of strictly convex bodies with many boundary lattice points. Trans. Amer. Math. Soc. , 106:270–279, 1963
work page 1963
-
[2]
Imre B´ ar´ any and David G. Larman. The convex hull of the integer points in a large ball. Math. Ann. , 312(1):167–181, 1998
work page 1998
-
[3]
Bloom and Jared Duker Lichtman
Thomas F. Bloom and Jared Duker Lichtman. The Bombieri–Pila determinant method. December 2023. Preprint, arXiv:2312.12890
arXiv 2023
-
[4]
E. Bombieri and J. Pila. The number of integral points on arcs and ovals. Duke Math. J. , 59(2):337–357, 1989
work page 1989
-
[5]
T. D. Browning and A. Gorodnik. Power-free values of polynomials on symmetric varieties. Proc. Lond. Math. Soc. (3) , 114(6):1044–1080, 2017
work page 2017
-
[6]
T. D. Browning, D. R. Heath-Brown, and P. Salberger. Counting rational points on algebraic varieties. Duke Math. J. , 132(3):545–578, 2006
work page 2006
Show all 39 references
-
[7]
Sum-product estimates for rational functions
Boris Bukh and Jacob Tsimerman. Sum-product estimates for rational functions. Proc. Lond. Math. Soc. (3), 104(1):1–26, 2012
2012
-
[8]
Partition and analytic rank are equivalent over large fields
Alex Cohen and Guy Moshkovitz. Partition and analytic rank are equivalent over large fields. Duke Math. J., 172(12):2433–2470, 2023
2023
-
[9]
An introduction to semialgebraic geometry, 2000
Michel Coste. An introduction to semialgebraic geometry, 2000
2000
-
[10]
Costello
Kevin P. Costello. Bilinear and quadratic variants on the Littlewood-Offord problem. Israel J. Math. , 194(1):359–394, 2013. 29
2013
-
[11]
Costello, Terence Tao, and Van Vu
Kevin P. Costello, Terence Tao, and Van Vu. Random symmetric matrices are almost surely nonsingular. Duke Math. J. , 135(2):395–413, 2006
2006
-
[12]
Costello and Van H
Kevin P. Costello and Van H. Vu. The rank of random graphs. Random Structures Algorithms, 33(3):269– 285, 2008
2008
-
[13]
Decoupling: from dependence to independence
Victor De la Pena and Evarist Gin´ e. Decoupling: from dependence to independence . Springer Science & Business Media, 1999
1999
-
[14]
P. Erd˝ os. On a lemma of Littlewood and Offord. Bull. Amer. Math. Soc. , 51:898–902, 1945
1945
-
[15]
On the number of Hadamard matrices via anti-concentration
Asaf Ferber, Vishesh Jain, and Yufei Zhao. On the number of Hadamard matrices via anti-concentration. Combin. Probab. Comput. , 31(3):455–477, 2022
2022
-
[17]
Intersection Theory , volume 3 of Ergebnisse der Mathematik und ihrer Grenzgebiete
William Fulton. Intersection Theory , volume 3 of Ergebnisse der Mathematik und ihrer Grenzgebiete . Springer-Verlag, 1984
1984
-
[18]
Hal´ asz
G. Hal´ asz. Estimates for the concentration function of combinatorial number theory and probability. Period. Math. Hungar. , 8(3-4):197–211, 1977
1977
-
[19]
Algebraic Geometry, volume 52 of Graduate Texts in Mathematics
Robin Hartshorne. Algebraic Geometry, volume 52 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1977
1977
-
[20]
D. R. Heath-Brown. Cubic forms in ten variables. Proc. London Math. Soc. (3) , 47(2):225–257, 1983
1983
-
[21]
Probability inequalities for sums of bounded random variables
Wassily Hoeffding. Probability inequalities for sums of bounded random variables. J. Amer. Statist. Assoc., 58:13–30, 1963
1963
-
[22]
Vojt´ ech Jarn ´ ık.¨Uber die Gitterpunkte auf konvexen Kurven. Math. Z. , 24(1):500–518, 1926
1926
-
[23]
Algebraic aspects of the polynomial Littlewood–Offord problem
Zhihan Jin, Matthew Kwan, Lisa Sauermann, and Yiting Wang. Algebraic aspects of the polynomial Littlewood–Offord problem. May 2025. Preprint, arXiv:2505.23335
2025 arXiv
-
[24]
Daniel M. Kane. The correct exponent for the Gotsman-Linial conjecture. Comput. Complexity, 23(2):151– 175, 2014
2014
-
[26]
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:277–286, 1943
1943
-
[27]
Anti-concentration for polynomials of independent random variables
Raghu Meka, Oanh Nguyen, and Van Vu. Anti-concentration for polynomials of independent random variables. Theory Comput., 12:Paper No. 11, 16, 2016
2016
-
[28]
Optimal inverse Littlewood-Offord theorems
Hoi Nguyen and Van Vu. Optimal inverse Littlewood-Offord theorems. Adv. Math. , 226(6):5298–5319, 2011
2011
-
[29]
Nguyen and Van H
Hoi H. Nguyen and Van H. Vu. Small ball probability, inverse theorems, and applications. In Erd¨ os centennial, volume 25 of Bolyai Soc. Math. Stud. , pages 409–463. J´ anos Bolyai Math. Soc., Budapest, 2013
2013
-
[30]
J. Pila. Density of integral and rational points on varieties. Number 228, pages 4, 183–187. 1995. Columbia University Number Theory Seminar (New York, 1992)
1995
-
[31]
J. Pila. Density of integer points on plane algebraic curves. Internat. Math. Res. Notices , (18):903–912, 1996. 30
1996
-
[32]
Real advantage
Alexander Razborov and Emanuele Viola. Real advantage. ACM Trans. Comput. Theory, 5(4):Art. 17, 8, 2013
2013
-
[33]
Symmetrization and concentration inequalities for multilinear forms with applications to zero-one laws for L´ evy chaos.Ann
Jan Rosi´ nski and Gennady Samorodnitsky. Symmetrization and concentration inequalities for multilinear forms with applications to zero-one laws for L´ evy chaos.Ann. Probab., 24(1):422–437, 1996
1996
-
[34]
Counting integral points of affine hypersurfaces, 2023
Per Salberger. Counting integral points of affine hypersurfaces, 2023
2023
-
[35]
A sharp inverse Littlewood-Offord theorem
Terence Tao and Van Vu. A sharp inverse Littlewood-Offord theorem. Random Structures Algorithms , 37(4):525–539, 2010
2010
-
[36]
Terence Tao and Van H. Vu. Inverse Littlewood-Offord theorems and the condition number of random discrete matrices. Ann. of Math. (2) , 169(2):595–632, 2009
2009
-
[37]
Dimension growth for affine varieties
Floris Vermeulen. Dimension growth for affine varieties. Int. Math. Res. Not. IMRN , (15):11464–11483, 2024
2024
-
[38]
Paul B. Yale. Automorphisms of the Complex Numbers. Math. Mag. , 39(3):135–141, 1966. 31
1966
-
[2023]
Preprint, arXiv:2312.13826
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.