On the dimension of exceptional parameters for nonlinear projections, and the discretized Elekes-Rónyai theorem

DOI10.1007/S00039-024-00664-ZMaRDI QIDQ6201490zbMATH OpenOpenAlexFDO

Authors Orit E. Raz, J. Zahl

Publication date 21 February 2024

Published in Geometric and Functional Analysis. GAFA (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2108.07311

Mathematics Subject Classification ID

Discrete geometry (52Cxx) Classical measure theory (28Axx) Sequences and sets (11Bxx)

Abstract: We consider four related problems. (1) Obtaining dimension estimates for the set of exceptional vantage points for the pinned Falconer distance problem. (2) Nonlinear projection theorems, in the spirit of Kaufman, Bourgain, and Shmerkin. (3) The parallelizability of planar $d$-webs. (4) The Elekes-R'onyai theorem on expanding polynomials. Given a Borel set $A$ in the plane, we study the set of exceptional vantage points, for which the pinned distance $Delt{a}_p(A)$ has small dimension, that is, close to $(dimA)/2$. We show that if this set has positive dimension, then it must have very special structure. This result follows from a more general single-scale nonlinear projection theorem, which says that if $ph{i}_1,ph{i}_2,ph{i}_3$ are three smooth functions whose associated 3-web has non-vanishing Blaschke curvature, and if $A$ is a $(delta,alpha{)}_2$-set in the sense of Katz and Tao, then at least one of the images $ph{i}_i(A)$ must have measure much larger than $|A{|}^{1/2}$, where $|A|$ stands for the measure of $A$. We prove analogous results for $d$ smooth functions $ph{i}_1,ldots,ph{i}_d$, whose associated $d$-web is not parallelizable. We use similar tools to characterize when bivariate real analytic functions are "dimension expanding" when applied to a Cartesian product: if $P$ is a bivariate real analytic function, then $P$ is either locally of the form $h(a(x)+b(y))$, or $P(A,B)$ has dimension at least $alpha+c$ whenever $A$ and $B$ are Borel sets with Hausdorff dimension $alpha$. Again, this follows from a single-scale estimate, which is an analogue of the Elekes-R'onyai theorem in the setting of the Katz-Tao discretized ring conjecture.

Recommendations

• A non-linear version of Bourgain's projection theorem
• A nonlinear projection theorem for Assouad dimension and applications
• Orthogonal projections of discretized sets
• The discretized sum-product and projection theorems
• On the multiparameter Falconer distance problem

Cites work

• scientific article; zbMATH DE number 3834055 (Why is no real title available?)
• scientific article; zbMATH DE number 739280 (Why is no real title available?)
• scientific article; zbMATH DE number 3219058 (Why is no real title available?)
• A combinatorial problem on polynomials and rational functions
• A non-linear version of Bourgain's projection theorem
• A product theorem in simple Lie groups
• A sum-product estimate in finite fields, and applications
• Borel subrings of the reals
• Circle grids and bipartite graphs of distances
• Classical Fourier Analysis
• Curvature of Poisson pencils in dimension three
• Discretized sum-product estimates in matrix algebras
• Distinct distances from three points
• Expanding polynomials: a generalization of the Elekes-Rónyai theorem to \(d\) variables
• Hausdorff dimension and exceptional sets of linear transformations
• How to find groups?
• New bounds on the dimensions of planar distance sets
• ON AN EXTREMAL PROBLEM FOR POLYNOMIALS INnVARIABLES
• On Hausdorff dimension of projections
• On the Discretized Sum-Product Problem
• On the Erdős-Volkmann and Katz-Tao ring conjectures
• On the Hausdorff dimension of pinned distance sets
• On the distance sets of Ahlfors-David regular sets
• On the number of rich lines in truly high dimensional sets
• On the spectral gap for finitely-generated subgroups of \(\text{SU}(2)\)
• Polynomials vanishing on Cartesian products: the Elekes-Szabó theorem revisited
• Projectives geometries arising from Elekes-Szabó problems
• Restricted Radon transforms and projections of planar sets
• Smoothness of projections, Bernoulli convolutions, and the dimension of exceptions
• Some connections between Falconer's distance set conjecture and sets of Furstenburg type
• Sum-product for real Lie groups
• Sur le problème de la division
• The Elekes-Szabó problem and the uniformity conjecture
• The discretized sum-product and projection theorems
• The number of unit-area triangles in the plane: theme and variation
• Uniform expansion bounds for Cayley graphs of \(\text{SL}_2(\mathbb F_p)\).

Cited in

(1)

• On the discretised \(ABC\) sum-product problem

This page was built for publication: On the dimension of exceptional parameters for nonlinear projections, and the discretized Elekes-Rónyai theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6201490)