O(1/√n) bound for o-minimal Littlewood-Offord

Conjecture 1.2 · arXiv:2106.04894

arXiv Conjecture high confidence— first stated 2022-06-14

Authors: Jacob Fox, Matthew Kwan, Hunter Spink

Status partial medium confidence

Conjecture 1.2 — the optimal $O(1/\sqrt{n})$ anti-concentration bound for random signed sums landing in an o-minimal set containing no line segment — has been established for the semialgebraic case by Grebennikov and Kwan (2025, arXiv:2505.24699), who prove $\Pr[\xi_1 a_1+\cdots+\xi_n a_n \in S] \le O_S(n^{-1/2})$ via a lattice-point-counting reduction; the paper explicitly states it resolves conjectures of Fox–Kwan–Spink and Kwan–Sauermann. Whether this covers the full conjecture for all o-minimal (not just semialgebraic) structures is not confirmed from the available abstract and HTML.

Cited literature (1)

partial Geometric Littlewood–Offord problems via lattice point counting (2025)

Alexandr Grebennikov, Matthew Kwan · arXiv preprint · arXiv:2505.24699

Proves Pr(X in S) = O_S(n^{-1/2}) for semialgebraic sets S containing no line segment (Theorem 1.8), removing the logarithmic factors from prior work and explicitly resolving conjectures of Fox–Kwan–Spink and Kwan–Sauermann.

Reviewer notes. The Grebennikov–Kwan paper (2505.24699, May 2025) claims to resolve Fox–Kwan–Spink conjectures and proves the optimal O(n^{-1/2}) bound for semialgebraic sets; this is a major special case of o-minimal sets. Status is marked 'partial' rather than 'solved' because the fetched content does not confirm the result for all o-minimal structures beyond the semialgebraic case. Confidence is 'medium' due to this ambiguity.

Auto-reviewed 2026-05-15 with claude-sonnet-4-6 (web search enabled).

Conjecture. In Theorem 1.1 we have $\Pr(X \in S) \leq C_S/\sqrt{n}$, for some $C_S$ depending only on $S$.

Context

Theorem 1.1 establishes $\Pr(X \in S) \leq n^{-1/2+\alpha}$ for any $\alpha > 0$ when $S \subseteq \mathbb{R}^d$ is definable with respect to an o-minimal structure and contains no line segment; the conjecture posits that the optimal $O(1/\sqrt{n})$ bound from the classical Erd\H{o}s–Littlewood–Offord theorem also holds in this geometric setting. The authors prove it when $S$ satisfies the generic intersection property, which covers convex or irreducible algebraic plane curves in $\mathbb{R}^2$, irreducible complex algebraic curves, and the boundary of a 3-dimensional ball. They also remark that a full resolution of the Gotsman–Linial conjecture would imply Conjecture 1.2 for all semi-algebraic sets not containing a line segment.

Source paper

Geometric and o-minimal Littlewood-Offord problems
Jacob Fox, Matthew Kwan, Hunter Spink · 2022-06-14
https://arxiv.org/abs/2106.04894 PDF source