arXiv++ Combinatorics

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 give a brief exposition of the proof of the Cayley-Salmon theorem and its recent role in incidence geometry. Even when we don't use the properties of ruled surfaces explicitly, the regime in which we have interesting results in point-line incidence problems often coincides with the regime in which lines are organized into ruled surfaces.

By a probabilistic construction, we find a bipartite graph having average degree $d$ which can be expressed as a conjunctive normal form using $C \log d$ clauses. This contradicts research problem 1.33 of Jukna.

Sets with many additive quadruples are guaranteed to have many additive octuples, by Hölder's inequality. Sets with not many more than this are said to be additively nonsmoothing. We give a new proof of a structural theorem for nonsmoothing sets that originally appeared in work of the authors (\cite{BK}) on the size of cap sets in $F_3 ^N$.

We provide an improvement over Meshulam's bound on cap sets in $F_3^N$. We show that there exist universal $ε>0$ and $C>0$ so that any cap set in $F_3^N$ has size at most $C {3^N \over N^{1+ε}}$. We do this by obtaining quite strong information about the additive combinatorial properties of the large spectrum.

In this paper, we prove that a set of $N$ points in ${\bf R}^2$ has at least $c{N \over \log N}$ distinct distances, thus obtaining the sharp exponent in a problem of Erdös. We follow the set-up of Elekes and Sharir which, in the spirit of the Erlangen program, allows us to study the problem in the group of rigid motions of the plane. This converts the problem to one of point-line incidences in space. We introduce two new ideas in our proof. In order to control points where many lines are incident, we create a cell decompostion using the polynomial ham sandwich theorem. This creates a dichotomy: either most of the points are in the interiors of the cells, in which case we immediately get sharp results, or alternatively the points lie on the walls of the cells, in which case they are in the zero set of a polynomial of suprisingly low degree, and we may apply the algebraic method. In order to control points where only two lines are incident, we use the flecnode polynomial of the Rev. George Salmon to conclude that most of the lines lie on a ruled surface. Then we use the geometry of ruled surfaces to complete the proof.

We generalize a result of Tao which extends Freiman's theorem to the Heisenberg group. We extend it to simply connected nilpotent Lie groups of arbitrary step.

We prove the joints conjecture, showing that for any $N$ lines in ${\Bbb R}^3$, there are at most $O(N^{3 \over 2})$ points at which 3 lines intersect non-coplanarly. We also prove a conjecture of Bourgain showing that given $N^2$ lines in ${\Bbb R}^3$ so that no $N$ lines lie in the same plane and so that each line intersects a set $P$ of points in at least $N$ points then the cardinality of the set of points is $Ω(N^3)$. Both our proofs are adaptations of Dvir's argument for the finite field Kakeya problem.

We show that if A is a set having small subtractive doubling in an abelian group, that is |A-A|< K|A|, then there is a polynomially large subset B of A-A so that the additive energy of B is large than (1/K)^{1 - ε) where epsilon is a positive, universal exponent. (1/37 seems to suffice.)

We construct a union of N parallelograms of dimensions approximately 1/N x 1 in the plane, with the slope of their long sides in the standard Cantor set. The union has area 1/log N but the union of the doubles has area log log N/ log N. In particular, this implies unbounded of the associated maximal operator in L^p for any p different from infinity. The construction is by randomizing an earlier construction of the second author for the L^2 case. The proof that the construction satisfies the desired conditions is by elementary estimates in the theory of percolation on trees as developed by R. Lyons.

The radius of the star-shaped set need not have been continuous.

A set in d dimensional Euclidean space with d larger than 2 having Hausdorff dimension at least d/2 must have distance set with Hausdorff dimension strictly greater than 1/2.

We verify the Grone Merris conjecture for a class of graphs. We do this by curve sketching in the sense of first year calculus. That is, we do it by homotopy methods.

In this paper we investigate three unsolved conjectures in geometric combinatorics, namely Falconer's distance set conjecture, the dimension of Furstenburg sets, and Erdos's ring conjecture. We formulate natural $δ$-discretized versions of these conjectures and show that in a certain sense that these discretized versions are equivalent. In particular, it appears that to progress on any of these problems one must prove a quantitative statement about the existence of sub-rings of $R$ of dimension 1/2.

Let $A, B$, be finite subsets of an abelian group, and let $G \subset A \times B$ be such that $# A, # B, # \{a+b: (a,b) \in G \} \leq N$. We consider the question of estimating the quantity $# \{a-b: (a,b) \in G \}$. Recently Bourgain improved the trivial upper bound of $N^2$ to $N^{2-1/13}$, and applied this to the Kakeya conjecture. We improve Bourgain's estimate further to $N^{2-1/6}$, and obtain the further improvement of $N^{2-1/4}$ if we also know that $# \{a+2b: (a,b) \in G\} \leq N$. We conclude that Besicovitch sets in $\R^n$ have Hausdorff dimension at least 6n/11+5/11 and Minkowski dimension at least $4n/7 + 3/7$. This is new for $n > 8$.