arXiv subjects
Publications and source records attributed to Joshua Zahl.
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 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.
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 show that $m$ points and $n$ two-dimensional algebraic surfaces in $\mathbb{R}^4$ can have at most $O(m^{\frac{k}{2k-1}}n^{\frac{2k-2}{2k-1}}+m+n)$ incidences, provided that the algebraic surfaces behave like pseudoflats with $k$ degrees of freedom, and that $m\leq n^{\frac{2k+2}{3k}}$. As a special case, we obtain a Szemerédi-Trotter type theorem for 2--planes in $\mathbb{R}^4$, provided $m\leq n$ and the planes intersect transversely. As a further special case, we obtain a Szemerédi-Trotter type theorem for complex lines in $\mathbb{C}^2$ with no restrictions on $m$ and $n$ (this theorem was originally proved by Tóth using a different method). As a third special case, we obtain a Szemerédi-Trotter type theorem for complex unit circles in $\mathbb{C}^2$. We obtain our results by combining several tools, including a two-level analogue of the discrete polynomial partitioning theorem and the crossing lemma.
We establish an improved upper bound for the number of incidences between m points and n circles in three dimensions. The previous best known bound, originally established for the planar case and later extended to any dimension $\ge 2$, is $O*(m^{2/3}n^{2/3} + m^{6/11}n^{9/11}+m+n)$, where the $O*(\cdot)$ notation hides sub-polynomial factors. Since all the points and circles may lie on a common plane (or sphere), it is impossible to improve the bound in R^3 without first improving it in the plane. Nevertheless, we show that if the set of circles is required to be "truly three-dimensional" in the sense that no sphere or plane contains more than $q$ of the circles, for some $q << n$, then the bound can be improved to \[O*(m^{3/7}n^{6/7} + m^{2/3}n^{1/2}q^{1/6} + m^{6/11}n^{15/22}q^{3/22} + m + n). \] For various ranges of parameters (e.g., when $m=Θ(n)$ and $q = o(n^{7/9})$), this bound is smaller than the lower bound $Ω*(m^{2/3}n^{2/3}+m+n)$, which holds in two dimensions. We present several extensions and applications of the new bound: (i) For the special case where all the circles have the same radius, we obtain the improved bound $O*(m^{5/11}n^{9/11} + m^{2/3}n^{1/2}q^{1/6} + m + n$. (ii) We present an improved analysis that removes the subpolynomial factors from the bound when $m=O(n^{3/2-\eps})$ for any fixed $\varepsilon >0$. (iii) We use our results to obtain the improved bound $O(m^{15/7})$ for the number of mutually similar triangles determined by any set of $m$ points in R^3. Our result is obtained by applying the polynomial partitioning technique of Guth and Katz using a constant-degree partitioning polynomial (as was also recently used by Solymosi and Tao). We also rely on various additional tools from analytic, algebraic, and combinatorial geometry.
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.
In 1997, Thomas Wolff proved sharp $L^3$ bounds for his circular maximal function, and in 1999, Kolasa and Wolff proved certain non-sharp $L^p$ inequalities for a broader class of maximal functions arising from curves of the form $\{Φ(x,\cdot)=r\}$, where $Φ(x,y)$ satisfied Sogge's cinematic curvature condition. Under the additional hypothesis that $Φ$ is algebraic, we obtain a sharp $L^3$ bound on the corresponding maximal function. Since the function $Φ(x,y)=|x-y|$ is algebraic and satisfies the cinematic curvature condition, our result generalizes Wolff's $L^3$ bound. The algebraicity condition allows us to employ the techniques of vertical cell decompositions and random sampling, which have been extensively developed in the computational geometry literature.
We prove sharp $L^3$ bounds for a variable coefficient generalization of the Wolff circular maximal function $M^δf$. For each fixed radius $r$, $M^δf(r)$ is the maximal average of $f$ over the $δ$--neighborhood of a circle of radius $r$ and arbitrary center. In this paper, we consider maximal averages over families of curves satisfying the cinematic curvature condition, which was first introduced by Sogge to generalize the Bourgain circular maximal function. Our proof manages to avoid a key technical lemma in Wolff's original argument, and thus our proof also yields a shorter proof of the boundedness of the (conventional) Wolff circular maximal function. At the heart of the proof is an induction argument that employs an efficient partitioning of $\mathbb{R}^3$ into cells using the discrete polynomial ham sandwich theorem.
We show that $m$ points and $n$ smooth algebraic surfaces of bounded degree in $\mathbb{R}^3$ satisfying suitable nondegeneracy conditions can have at most $O(m^{\frac{2k}{3k-1}}n^{\frac{3k-3}{3k-1}}+m+n)$ incidences, provided that any collection of $k$ points have at most O(1) surfaces passing through all of them, for some $k\geq 3$. In the case where the surfaces are spheres and no three spheres meet in a common circle, this implies there are $O((mn)^{3/4} + m +n)$ point-sphere incidences. This is a slight improvement over the previous bound of $O((mn)^{3/4} β(m,n)+ m +n)$ for $β(m,n)$ an (explicit) very slowly growing function. We obtain this bound by using the discrete polynomial ham sandwich theorem to cut $\mathbb{R}^3$ into open cells adapted to the set of points, and within each cell of the decomposition we apply a Turan-type theorem to obtain crude control on the number of point-surface incidences. We then perform a second polynomial ham sandwich decomposition on the irreducible components of the variety defined by the first decomposition. As an application, we obtain a new bound on the maximum number of unit distances amongst $m$ points in $\mathbb{R}^3$.
A Universal Cycle for t-multisets of [n]={1,...,n} is a cyclic sequence of $\binom{n+t-1}{t}$ integers from [n] with the property that each t-multiset of [n] appears exactly once consecutively in the sequence. For such a sequence to exist it is necessary that n divides $\binom{n+t-1}{t}$, and it is reasonable to conjecture that this condition is sufficient for large enough n in terms of t. We prove the conjecture completely for t in {2,3} and partially for t in {4,6}. These results also support a positive answer to a question of Knuth.
Consider the collection of all t-multisets of {1,...,n}. A universal cycle on multisets is a string of numbers, each of which is between 1 and n, such that if these numbers are considered in t-sized windows, every multiset in the collection is present in the string precisely once. The problem of finding necessary and sufficient conditions on n and t for the existence of universal cycles and similar combinatorial structures was first addressed by DeBruijn in 1946 (who considered t-tuples instead of t-multisets). The past 15 years has seen a resurgence of interest in this area, primarily due to Chung, Diaconis, and Graham's 1992 paper on the subject. For the case t=3, we determine necessary and sufficient conditions on n for the existence of universal cycles, and we examine how this technique can be generalized to other values of t.