One of my favourite family of conjectures (and one that has preoccupied a significant fraction of my own research) is the family of Kakeya conjectures in geometric measure theory and harmonic analysis. There are many (not quite equivalent) conjectures in this family. The cleanest one to state is the set conjecture:
Kakeya set conjecture: Let , and let contain a unit line segment in every direction (such sets are known as Kakeya sets or Besicovitch sets). Then E has Hausdorff dimension and Minkowski dimension equal to n.
One reason why I find these conjectures fascinating is the sheer variety of mathematical fields that arise both in the partial results towards this conjecture, and in the applications of those results to other problems. See for instance this survey of Wolff, my Notices article and this article of Łaba on the connections between this problem and other problems in Fourier analysis, PDE, and additive combinatorics; there have even been some connections to number theory and to cryptography. At the other end of the pipeline, the mathematical tools that have gone into the proofs of various partial results have included:
- Maximal functions, covering lemmas, methods (Cordoba, Strömberg, Cordoba-Fefferman);
- Fourier analysis (Nagel-Stein-Wainger);
- Multilinear integration (Drury, Christ)
- Paraproducts (Katz);
- Combinatorial incidence geometry (Bourgain, Wolff);
- Multi-scale analysis (Barrionuevo, Katz-Łaba-Tao, Łaba-Tao, Alfonseca-Soria-Vargas);
- Probabilistic constructions (Bateman-Katz, Bateman);
- Additive combinatorics and graph theory (Bourgain, Katz-Łaba-Tao, Katz-Tao, Katz-Tao);
- Sum-product theorems (Bourgain-Katz-Tao);
- Bilinear estimates (Tao-Vargas-Vega);
- Perron trees (Perron, Schoenberg, Keich);
- Group theory (Katz);
- Low-degree algebraic geometry (Schlag, Tao, Mockenhaupt-Tao);
- High-degree algebraic geometry (Dvir, Saraf-Sudan);
- Heat flow monotonicity formulae (Bennett-Carbery-Tao)
[This list is not exhaustive.]
Very recently, I was pleasantly surprised to see yet another mathematical tool used to obtain new progress on the Kakeya conjecture, namely (a generalisation of) the famous Ham Sandwich theorem from algebraic topology. This was recently used by Guth to establish a certain endpoint multilinear Kakeya estimate left open by the work of Bennett, Carbery, and myself. With regards to the Kakeya set conjecture, Guth’s arguments assert, roughly speaking, that the only Kakeya sets that can fail to have full dimension are those which obey a certain “planiness” property, which informally means that the line segments that pass through a typical point in the set must be essentially coplanar. (This property first surfaced in my paper with Katz and Łaba.) Guth’s arguments can be viewed as a partial analogue of Dvir’s arguments in the finite field setting (which I discussed in this blog post) to the Euclidean setting; in particular, both arguments rely crucially on the ability to create a polynomial of controlled degree that vanishes at or near a large number of points. Unfortunately, while these arguments fully settle the Kakeya conjecture in the finite field setting, it appears that some new ideas are still needed to finish off the problem in the Euclidean setting. Nevertheless this is an interesting new development in the long history of this conjecture, in particular demonstrating that the polynomial method can be successfully applied to continuous Euclidean problems (i.e. it is not confined to the finite field setting).
In this post I would like to sketch some of the key ideas in Guth’s paper, in particular the role of the Ham Sandwich theorem (or more precisely, a polynomial generalisation of this theorem first observed by Gromov).
— The polynomial Ham Sandwich theorem —
Let us first recall the classical Ham Sandwich theorem:
(The name of the theorem derives from the special case when and are two slices of bread and a slice of ham. One can view this theorem as a “thickened” version of the Euclidean geometry axiom that every n points in determine at least one hyperplane.)
There are many proofs of this theorem, but I will focus on the proof that is based on the Borsuk-Ulam theorem:
Borsuk-Ulam theorem: Let be a continuous map from the n-dimensional sphere to the Euclidean space which is antipodal (which means that for all . Then for at least one .
Proof. (Sketch) The set of zeroes of an antipodal map automatically come in antipodal pairs x,-x. To prove the theorem, we shall establish the stronger fact that for an odd number of disjoint antipodal pairs, counting multiplicity (avoiding the degenerate antipodal maps which vanish at an infinite set of points). To see this, first observe that this is true for at least one antipodal map (e.g. one can use the horizontal projection map ). Also, the space of all antipodal maps is a vector space, and thus connected (though it takes some effort to show that the space of non-degenerate antipodal maps is still connected). So one just needs to show that the parity of the number of pairs of antipodal points where f vanishes (counting multiplicity) is unchanged with respect to continuous deformations of f. But some elementary degree theory (or Morse theory) shows that any (non-degenerate) perturbation of f can annihilate two such antipodal pairs by collision, or (by the reverse procedure) spontaneously create two such antipodal pairs from nothing, but cannot otherwise affect the number of pairs; thus the parity of the number of such pairs remains invariant. (It takes some non-trivial effort to make this informal argument rigorous; see for instance this chapter of Matousek’s book on the Borsuk-Ulam theorem, which also contains a number of other proofs of this result. [Thanks to Benny Sudakov for this great reference.] One can also formalise this argument using the language of singular cohomology.)
Remark 1. The Borsuk-Ulam theorem is tied to the more general theory of Lyusternik-Schnirelmann category, which is the viewpoint taken in Guth’s paper, but we will not explicitly use this theory here.
Proof of the Ham-Sandwich theorem using the Borsuk-Ulam theorem. We can identify with the space of affine-linear forms on . Each non-trivial affine-linear form determines a hyperplane that divides into two half-spaces and . We can then define to be the function whose coordinate at P is the volume of minus the volume of ; thus f measures the extent to which the hyperplane fails to bisect all of the . It is easy to see that f is continuous, homogeneous of degree zero, and odd, and so its restriction to is an antipodal map. By the Borsuk-Ulam theorem, there exists P such that , and the claim follows.
Gromov observed the following polynomial generalisation of the Ham Sandwich theorem:
Polynomial Ham Sandwich theorem. Let , and let be bounded open sets in . Then there exists a non-trivial polynomial of degree at most d such that the sets , partition each of the into two sets of equal measure.
Note that the ordinary Ham-Sandwich theorem corresponds to the d=1 case of this theorem. This theorem can be deduced from the Borsuk-Ulam theorem in exactly the same way that the ordinary one is (note that the space of polynomials of degree at most d has dimension ; the continuity of the appropriate antipodal function follows from the dominated convergence theorem and the basic observation that a non-trivial polynomial is non-zero almost everywhere).
Remark 2. One can also deduce the polynomial Ham Sandwich theorem directly from the ordinary Ham Sandwich theorem (in dimensions) by embedding into via the Veronese embedding, and then thickening the images of slightly in an appropriate fashion; we leave the details as an exercise to the reader.
The polynomial Ham Sandwich theorem should be compared with the following finitary counterpart, which morally corresponds to the case when all the are points (but works over arbitrary fields F), and which was a key tool in Dvir’s proof of the Kakeya conjecture in finite fields:
Lemma. Let and let be points in for some field F. Then there exists a non-trivial polynomial of degree at most d which vanishes on all of .
Proof. The evaluation map is a linear map from a -dimensional space to a -dimensional space, and must therefore have a non-trivial kernel.
— Connection with the Kakeya problem —
Now we connect the polynomial Ham Sandwich theorem to the Kakeya problem. We begin by replacing the continuous Kakeya set conjecture with a more quantitative “-discretised” problem:
Kakeya maximal conjecture. Let , and let be a collection of cylindrical tubes pointing in a -separated set of directions (thus the directions of any two of the tubes make an angle of at least ). For each , let be the set of points x which are contained in at least of the tubes . Then the volume of obeys the bound for any .
Here we are using the asymptotic notation that if for some positive constant c (if the is subscripted by parameters, this indicates that c is allowed to depend on those parameters); we always allow constants to depend on the dimension n. This conjecture (which is limiting the extent to which tubes in different directions can overlap) implies the Kakeya set conjecture (for both Minkowski and Hausdorff dimension) by fairly standard arguments from geometric measure theory, see e.g. this paper of Bourgain or these lecture notes of myself. The factor of is natural (and best possible), as can be seen by considering the example in which and all the tubes pass through a common point.
[The name “maximal conjecture” has to do with the formulation of the above conjecture involving the Kakeya maximal function, which I will not discuss here.]
The maximal conjecture (and the set conjecture) is verified in the two-dimensional case (with the one-dimensional case being trivial), but only partial results are known in higher dimensions. However, one can do better if one only considers certain types of overlap. Let us say (somewhat informally) that a point x has non-planar multiplicity with respect to a given collection of tubes if there exist separate families of tubes each passing through x, such that given any tubes from each of these three families, the solid angle between the directions is comparable to 1. (Informally, this is a stronger assertion than saying that x has tubes passing through it, because we prohibit these tubes from being essentially contained in a hyperplane). Then, as a special case of Guth’s results, one has
Multilinear Kakeya conjecture (special case): Let be as in the Kakeya maximal conjecture, and let be the set of points with non-planar multiplicity . Then .
Informally, this implies that the only counterexamples to the Kakeya maximal conjecture can come from configurations of tubes such that the tubes that pass through a typical point largely lie in a hyperplane. A previous paper of Bennett, Carbery, and myself established this estimate with an additional loss of by a totally different method (based on heat flow monotonicity formulae). For a precise statement of the full multilinear Kakeya conjecture (which is now proven without any epsilon loss), I refer you to that paper (or the paper of Guth).
Let’s now sketch why the above result is true (details can be found in the paper of Guth). I’ll drop the dependence of implied constants on n. Let be a maximal -net of (i.e. a set of -separated points in that is maximal with respect to set inclusion), then it will suffice to show that
Let be the cube of sidelength centred at with sides parallel to the axes. Applying the polynomial Ham Sandwich theorem, we can find a non-trivial polynomial P of degree whose zero locus bisects each of the cubes .
For each j, we claim that the hypersurfaces have surface area . Indeed, if instead one of the had surface area , this would imply that the projection of to any (n-1)-dimensional coordinate subspace of has area , in contrast with the projection of itself which has area . Thus for each the complement of V in contains a subset of of relative density that consists entirely of line segments of length in the basis direction . From this it is not hard to see that contains a path-connected component of relative density , which contradicts the claim that bisects .
On the other hand, we know that meets tubes , which are arranged in a non-planar fashion. Because of this, one can show that for a “typical” tube hitting , the projection of to the orthogonal complement of the direction of has area . (Basically, the point is that at any given point of , the normal vector cannot be perpendicular (or close to perpendicular) to all the directions of all the simultaneously, due to non-planarity.) To simplify the exposition, let us assume that in fact all tubes touching are typical.
Each touches tubes (they may touch more than this, but for sake of exposition let us suppose that they touch exactly this number of tubes). By double counting, this means that each tube touches about
cubes on the average, where the inequality in (2) comes from the -separated directions of the tubes. In particular, we can find a (typical) tube which touches at least such balls. Let be the direction vector of .
Now look at . (Technically, one has to replace by a slight thickening of itself here, but let us ignore this technicality.) This set contains disjoint sets of the form . Each of these sets, when projected to the orthogonal complement of , has measure . On the other hand, itself, when projected to this complement, has a measure of . By the pigeonhole principle, we may thus find a positive measure family of lines in the direction passing through which intersect at of the . In particular, all lines in this family intersect V in different points.
On the other hand, the restriction of P to is a polynomial of degree . If this degree is much less than , this forces P to vanish on each line [cf. Dvir’s argument]; since the set of such lines has positive measure, this forces P to be identically zero, a contradiction. Hence we must have
which when combined with (2), gives (1).