arXiv++ Combinatorics

Katz and Zahl used a planebrush argument to prove that Kakeya sets in $\mathbb{R}^4$ have Hausdorff dimension at least 3.059. In the special case when the Kakeya set is plany, their argument gives a better lower bound of 10/3. We give a nontechnical exposition of the Katz-Zahl argument for plany Kakeya sets in the finite field setting.

We prove a new Elekes-Szabó type estimate on the size of the intersection of a Cartesian product $A\times B\times C$ with an algebraic surface $\{f=0\}$ over the reals. In particular, if $A,B,C$ are sets of $N$ real numbers and $f$ is a trivariate polynomial, then either $f$ has a special form that encodes additive group structure (for example $f(x,y,x) = x + y - z$), or $A \times B\times C \cap\{f=0\}$ has cardinality $O(N^{12/7})$. This is an improvement over the previously bound $O(N^{11/6})$. We also prove an asymmetric version of our main result, which yields an Elekes-Ronyai type expanding polynomial estimate with exponent $3/2$. This has applications to questions in combinatorial geometry related to the Erdős distinct distances problem. Like previous approaches to the problem, we rephrase the question as a $L^2$ estimate, which can be analyzed by counting additive quadruples. The latter problem can be recast as an incidence problem involving points and curves in the plane. The new idea in our proof is that we use the order structure of the reals to restrict attention to a smaller collection of proximate additive quadruples.

We use recent advances on the discretized sum-product problem to obtain new bounds on the Hausdorff dimension of planar $(α,2α)$-Fursterberg sets. This provides a quantitative improvement to the $2α+ε$ bound of Héra-Shmerkin-Yavicoli. In particular, we show that every $1/2$-Furstenberg set has dimension at least $1 + 1/4536$.

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ónyai 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 $Δ_p(A)$ has small dimension, that is, close to $(\dim A)/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 $φ_1,φ_2,φ_3$ are three smooth functions whose associated 3-web has non-vanishing Blaschke curvature, and if $A$ is a $(δ,α)_2$-set in the sense of Katz and Tao, then at least one of the images $φ_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 $φ_1,\ldots,φ_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 $α+c$ whenever $A$ and $B$ are Borel sets with Hausdorff dimension $α$. Again, this follows from a single-scale estimate, which is an analogue of the Elekes-Rónyai theorem in the setting of the Katz-Tao discretized ring conjecture.

We show that the maximum number of pairwise non-overlapping $k$-rich lenses (lenses formed by at least $k$ circles) in an arrangement of $n$ circles in the plane is $O\left(\frac{n^{3/2}\log{(n/k^3)}}{k^{5/2}} + \frac{n}{k} \right)$, and the sum of the degrees of the lenses of such a family (where the degree of a lens is the number of circles that form it) is $O\left(\frac{n^{3/2}\log{(n/k^3)}}{k^{3/2}} + n\right)$. Two independent proofs of these bounds are given, each interesting in its own right (so we believe). We then show that these bounds lead to the known bound of Agarwal et al. (JACM 2004) and Marcus and Tardos (JCTA 2006) on the number of point-circle incidences in the plane. Extensions to families of more general algebraic curves and some other related problems are also considered.

We characterize when bivariate real analytic functions are "dimension expanding" when applied to a Cartesian product. If $P$ is a bivariate real analytic function that is not locally of the form $P(x,y) = h(a(x) + b(y))$, then whenever $A$ and $B$ are Borel subsets of $\mathbb{R}$ with Hausdorff dimension $0<α<1$, we have that $P(A,B)$ has Hausdorff dimension at least $α+ ε$ for some $ε(α)>0$ that is independent of $P$. The result is sharp, in the sense that no estimate of this form can hold if $P(x,y) = h(a(x) + b(y))$. We also prove a more technical single-scale version of this result, which is an analogue of the Elekes-Rónyai theorem in the setting of the Katz-Tao discretized ring conjecture. As an application, we show that a discretized non-concentrated set cannot have small nonlinear projection under three distinct analytic projection functions, provided that the corresponding 3-web has non-vanishing Blaschke curvature.

We prove that if $P$ is a set of $n$ points in $\mathbb{C}^2$, then either the points in $P$ determine $Ω(n^{1-ε})$ complex distances, or $P$ is contained in a line with slope $\pm i$. If the latter occurs then each pair of points in $P$ have complex distance 0.

Two spheres with centers $p$ and $q$ and signed radii $r$ and $s$ are said to be in contact if $|p-q|^2 = (r-s)^2$. Using Lie's line-sphere correspondence, we show that if $F$ is a field in which $-1$ is not a square, then there is an isomorphism between the set of spheres in $F^3$ and the set of lines in a suitably constructed Heisenberg group that is embedded in $(F[i])^3$; under this isomorphism, contact between spheres translates to incidences between lines. In the past decade there has been significant progress in understanding the incidence geometry of lines in three space. The contact-incidence isomorphism allows us to translate statements about the incidence geometry of lines into statements about the contact geometry of spheres. This leads to new bounds for Erdős' repeated distances problem in $F^3$, and improved bounds for the number of point-sphere incidences in three dimensions. These new bounds are sharp for certain ranges of parameters.

We prove that $n$ plane algebraic curves determine $O(n^{(k+2)/(k+1)})$ points of $k$-th order tangency. This generalizes an earlier result of Ellenberg, Solymosi, and Zahl on the number of (first order) tangencies determined by $n$ plane algebraic curves.

We give a new proof of the discretized ring theorem for sets of real numbers. As a special case, we show that if $A\subset\mathbb{R}$ is a $(δ,1/2)_1$-set in the sense of Katz and Tao, then either $A+A$ or $A.A$ must have measure at least $|A|^{1-\frac{1}{68}}$

We prove that every set of $n$ points in $\mathbb{R}^3$ spans $O(n^{295/197+ε})$ unit distances. This is an improvement over the previous bound of $O(n^{3/2})$. A key ingredient in the proof is a new result for cutting circles in $\mathbb{R}^3$ into pseudo-segments.

We show that a set of $n$ algebraic plane curves of constant maximum degree can be cut into $O(n^{3/2}\operatorname{polylog} n)$ Jordan arcs, so that each pair of arcs intersect at most once, i.e., they form a collection of pseudo-segments. This extends a similar (and slightly better) bound for pseudo-circles due to Marcus and Tardos. Our result is based on a technique of Ellenberg, Solymosi and Zahl that transforms arrangements of plane curves into arrangements of space curves, so that lenses (pairs of subarcs of the curves that intersect at least twice) become vertical depth cycles. We then apply a variant of a technique of Aronov and Sharir to eliminate these depth cycles by making a small number of cuts, which corresponds to a small number of cuts to the original planar arrangement of curves. After these cuts have been performed, the resulting curves form a collection of pseudo-segments. Our cutting bound leads to new incidence bounds between points and constant-degree algebraic curves. The conditions for these incidence bounds are slightly stricter than those for the current best-known bound of Pach and Sharir; for our result to hold, the curves must be algebraic and of bounded maximum degree, while Pach and Sharir's bound only imposes weaker, purely topological constraints on the curves. However, when our conditions hold, the new bounds are superior for almost all ranges of parameters. We also obtain new bounds on the complexity of a single level in an arrangement of constant-degree algebraic curves, and a new bound on the complexity of many marked faces in an arrangement of such curves.

We obtain a new bound on the number of two-rich points spanned by an arrangement of low degree algebraic curves in $\mathbb{R}^4$. Specifically, we show that an arrangement of $n$ algebraic curves determines at most $C_εn^{4/3+3ε}$ two-rich points, provided at most $n^{2/3+2ε}$ curves lie in any low degree hypersurface and at most $n^{1/3+ε}$ curves lie in any low degree surface. This result follows from a structure theorem about arrangements of curves that determine many two-rich points.

We establish new bounds on the number of tangencies and orthogonal intersections determined by an arrangement of curves. First, given a set of $n$ algebraic plane curves, we show that there are $O(n^{3/2})$ points where two or more curves are tangent. In particular, if no three curves are mutually tangent at a common point, then there are $O(n^{3/2})$ curve-curve tangencies. Second, given a family of algebraic plane curves and a set of $n$ curves from this family, we show that either there are $O(n^{3/2})$ points where two or more curves are orthogonal, or the family of curves has certain special properties. We obtain these bounds by transforming the arrangement of plane curves into an arrangement of space curves so that tangency (or orthogonality) of the original plane curves corresponds to intersection of space curves. We then bound the number of intersections of the corresponding space curves. For the case of curve-curve tangency, we use a polynomial method technique that is reminiscent of Guth and Katz's proof of the joints theorem. For the case of orthogonal curve intersections, we employ a bound of Guth and the third author to control the number of two-rich points in space curve arrangements.

We obtain an essential spectral gap for $n$-dimensional convex co-compact hyperbolic manifolds with the dimension $δ$ of the limit set close to $(n-1)/2$. The size of the gap is expressed using the additive energy of stereographic projections of the limit set. This additive energy can in turn be estimated in terms of the constants in Ahlfors-David regularity of the limit set. Our proofs use new microlocal methods, in particular a notion of a fractal uncertainty principle.

We study the structure of collections of algebraic curves in three dimensions that have many curve-curve incidences. In particular, let $k$ be a field and let $\mathcal{L}$ be a collection of $n$ space curves in $k^3$, with $n<\!\!<(\operatorname{char}(k))^2$ or $\operatorname{char}(k)=0$. Then either A) there are at most $O(n^{3/2})$ points in $k^3$ hit by at least two curves, or B) at least $Ω(n^{1/2})$ curves from $\mathcal{L}$ must lie on a bounded-degree surface, and many of the curves must form two "rulings" of this surface. We also develop several new tools including a generalization of the classical flecnode polynomial of Salmon and new algebraic techniques for dealing with this generalized flecnode polynomial.

We modify an argument of Hablicsek and Scherr to show that if a collection of points in $\mathbb{C}^d$ spans many $r$--rich lines, then many of these lines must lie in a common $(d-1)$--flat. This is closely related to a previous result of Dvir and Gopi.

We prove an incidence theorem for points and curves in the complex plane. Given a set of $m$ points in ${\mathbb R}^2$ and a set of $n$ curves with $k$ degrees of freedom, Pach and Sharir proved that the number of point-curve incidences is $O\big(m^{\frac{k}{2k-1}}n^{\frac{2k-2}{2k-1}}+m+n\big)$. We establish the slightly weaker bound $O_\varepsilon\big(m^{\frac{k}{2k-1}+\varepsilon}n^{\frac{2k-2}{2k-1}}+m+n\big)$ on the number of incidences between $m$ points and $n$ (complex) algebraic curves in ${\mathbb C}^2$ with $k$ degrees of freedom. We combine tools from algebraic geometry and differential geometry to prove a key technical lemma that controls the number of complex curves that can be contained inside a real hypersurface. This lemma may be of independent interest to other researchers proving incidence theorems over ${\mathbb C}$.

A bipartite graph $G$ is semi-algebraic in $\mathbb{R}^d$ if its vertices are represented by point sets $P,Q \subset \mathbb{R}^d$ and its edges are defined as pairs of points $(p,q) \in P\times Q$ that satisfy a Boolean combination of a fixed number of polynomial equations and inequalities in $2d$ coordinates. We show that for fixed $k$, the maximum number of edges in a $K_{k,k}$-free semi-algebraic bipartite graph $G = (P,Q,E)$ in $\mathbb{R}^2$ with $|P| = m$ and $|Q| = n$ is at most $O((mn)^{2/3} + m + n)$, and this bound is tight. In dimensions $d \geq 3$, we show that all such semi-algebraic graphs have at most $C\left((mn)^{ \frac{d}{d+1} + \varepsilon} + m + n\right)$ edges, where here $\varepsilon$ is an arbitrarily small constant and $C = C(d,k,t,\varepsilon)$. This result is a far-reaching generalization of the classical Szemerédi-Trotter incidence theorem. The proof combines tools from several fields: VC-dimension and shatter functions, polynomial partitioning, and Hilbert polynomials. We also present various applications of our theorem. For example, a general point-variety incidence bound in $\mathbb{R}^d$, an improved bound for a $d$-dimensional variant of the Erdős unit distances problem, and more.

We study the structure of planar point sets that determine a small number of distinct distances. Specifically, we show that if a set P of n points determines o(n) distinct distances, then no line contains Ω(n^{7/8}) points of P and no circle contains Ω(n^{5/6}) points of P. We rely on the bipartite and partial variant of the Elekes-Sharir framework that was presented by Sharir, Sheffer, and Solymosi in \cite{SSS13}. For the case of lines we combine this framework with a theorem from additive combinatorics, and for the case of circles we combine it with some basic algebraic geometry and a recent incidence bound for plane algebraic curves by Wang, Yang, and Zhang \cite{WYZ13}. A significant difference between our approach and that of \cite{SSS13} (and other recent extensions) is that, instead of dealing with distances between two point sets that are restricted to one-dimensional curves, we consider distances between one set that is restricted to a curve and one set with no restrictions on it.