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

DOI10.1007/S00039-024-00664-ZarXiv2108.07311OpenAlexW3193506224MaRDI QIDQ6201490FDOQ6201490

Authors: Orit E. Raz, J. Zahl 

Publication date: 21 February 2024

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

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.

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)

Cites Work

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

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)