SearcharxivSearch

arXiv · 2609.19473

Product-profile anti-concentration for block-structured multi-affine polynomials

Abstract

We establish product-profile anti-concentration, density, and Remez estimates for multi-affine polynomials on the cube. Let $X$ be uniformly distributed on $[0,1]^n$, and let $P:[0,1]^n\to\R$ be a nonconstant multi-affine polynomial of exact degree $d$, with all variables active. For a partition $\cB$ of the variables such that no monomial contains two variables from the same block, define $$ w_d(\cB) = \sum_{\cI\subseteq\cB, \abs{\cI} = d-1} \left(\prod_{B\in\cI}\sqrt{\abs B}\right) \sqrt{\sum_{C\in\cB\setminus\cI}\abs C}. $$ We prove the all-center small-ball estimate $$ \sup_{u\in\R} \Prob\{\abs{P(X)-u}\leρ\} \le Φ_d\left( C_dw_d(\cB)\fracρ{\osc(P)} \right), $$ where $\osc(P)$ is the length of the range of $P$ and $Φ_d(t) = t\sum_{j = 0}^{d-1}\log^j(1/t)/j!$ on $(0,1]$, capped at one. Every multi-affine polynomial admits the singleton partition, which yields the universal scale $n^{d-1/2}$; an admissible partition into at most $q$ blocks yields the improved scale $q^{(d-1)/2}n^{d/2}$. If $\cB$ has exactly $d$ blocks, then $$ w_d(\cB) = d\prod_{B\in\cB}\sqrt{\abs B}, $$ and products of centered block averages show that both the small-ball profile and the dependence on the full block-size vector are optimal, up to constants depending only on $d$. We also prove that $P(X)$ has a density $f_P$ satisfying $$ \norm{f_P}_{L^p(\R)} \le C_dp^{d-1} \left( \frac{w_d(\cB)}{\osc(P)} \right)^{1-1/p}, \quad 1<p<\infty, $$ with matching $p$- and block-scale growth for $p\ge2$ on the block-product models. As an application, we derive translation-invariant quotient Remez inequalities with the same structural scale. The proof combines weighted block selection, affine cube slicing, degree-lowering contractions, and the exact recursion underlying the product profile.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Evgeny Abakumov, Omer Friedland, Yosef Yomdin. 2026-09-16. Product-profile anti-concentration for block-structured multi-affine polynomials. https://arxiv.org/abs/2609.19473

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On the prime field spherical restriction conjecture in four dimensions: breaking the Stein-Tomas exponent and applications

Let $p$ be an odd prime. We prove the extension estimate $R_{S_j}^*(2\to r)\lesssim_r 1$ for every nonzero-radius sphere $S_j\subseteq\mathbb{F}_p^4$ and every $r\geq \, 34/11$, uniformly in $p$ and $j$. This improves the Stein--Tomas exponent $10/3$ established by Iosevich and Koh (2008). We also formulate a localized spherical restriction/extension conjecture that predicts the sharp dependence of the restriction norm on the size of the physical support. This conjecture implies the spherical extension estimates $R_{S_j}^*(2\to r)\lesssim_r 1$ for every $r>3$, and yields almost-every-pin distance estimates at the conjectured Erdős--Falconer exponent in four dimensions, up to an arbitrarily small power loss in the set-size hypothesis. Using the same method, we improve the bounds supplied by Fourier decay and Plancherel at intermediate support scales and derive new almost-every-pin distance estimates in $\mathbb{F}_p^4$.

math.CA

Dimension-free estimates for discrete maximal functions over cubes in $\mathbb Z^d$

In this short note, we establish dimension-free $\ell^p(\mathbb Z^d)$ bounds, for all $p\in(1,\infty]$, for the discrete Hardy--Littlewood maximal functions associated with cubes in $\mathbb Z^d$, answering a question that had been open for a while. The key idea is to prove dimension-free bounds for the $\ell^p(\mathbb Z^d)$ norms of the differences of the corresponding averages. This follows from an ad hoc interpretation of the associated discrete multipliers as a special continuous family of multipliers to which basic fractional integration and complex interpolation can be applied. The same method also yields an elementary proof of Bourgain's dimension-free $L^p(\mathbb R^d)$ bounds for the Hardy--Littlewood maximal function associated with cubes in $\mathbb R^d$.

math.CA

Establishing the Polynomial Wolff Axioms for $δ$-Separated $δ$-Tubes With #o-minimality

We establish the full version of a conjecture of Guth and Zahl, giving a lower bound for the volume of a semialgebraic set that has a large intersection with a collection of $δ$-separated $δ$-tubes. Our proof uses o-minimal methods to simplify the proof of Katz and Rogers, who proved the conjecture up to a small factor. We also establish that the constants depend polynomially on the complexity of the semialgebraic set, and more generally in the #o-minimal setting.

math.CA