Algebraic-variety anticoncentration conjecture for Rademacher sums

Let 0d<r0\le d<r and qq be integers. Let ZRr\mathcal{Z}\subseteq\mathbb{R}^{r} be an algebraic variety of dimension dd and degree at most qq. Let a1,,anRr\vec{a}_{1},\dots,\vec{a}_{n}\in\mathbb{R}^{r} be vectors such that, for some positive integer tt, one can form tt disjoint bases from them. Let (ξ1,,ξn){1,1}n(\xi_1,\dots,\xi_n)\in\{-1,1\}^{n} be independent Rademacher random variables. Algebraic-variety anticoncentration conjecture. There is a constant Cd,r,qC_{d,r,q} depending only on d,r,qd,r,q such that

Pr[ξ1a1++ξnanZ]Cd,r,qt(rd)/2.\Pr[\xi_{1}\vec{a}_{1}+\dots+\xi_{n}\vec{a}_{n}\in\mathcal{Z}]\le\frac{C_{d,r,q}}{t^{(r-d)/2}}.

This conjecture would extend geometric Littlewood--Offord bounds from quadrics in affine-linear subspaces to algebraic varieties, and is related to higher-degree generalisations of the Littlewood--Offord problem. Its resolution status is not specified in the supplied text.

Sources & referencesView supporting material

Primary source

Matthew Kwan and Lisa Sauermann, “Resolution of the quadratic Littlewood–Offord problem”, arXiv:2312.13826 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.