Jozsef Solymosi and I have just uploaded to the arXiv our paper “An incidence theorem in higher dimensions“, submitted to Discrete and Computational Geometry. In this paper we use the polynomial Ham Sandwich method of Guth and Katz (as discussed previously on this blog) to establish higher-dimensional versions of the Szemerédi-Trotter theorem, albeit at the cost of an epsilon loss in exponents.
Recall that the Szemerédi-Trotter theorem asserts that given any finite set of points and lines in the plane , the number of incidences has the upper bound
Apart from the constant factor, this bound is sharp. As discussed in this previous blog post, this theorem can be proven by the polynomial method, and the strategy can be rapidly summarised as follows. Select a parameter . By the polynomial Ham Sandwich theorem, one can divide into cell interiors, each with points, and incident to lines on the average, plus a boundary set which is an algebraic curve of degree . To handle the contribution of each cell interior, one uses a more elementary incidence bound (such as the bound coming from the fact that two points determine at most one line); to handle the contribution on the cell boundary, one uses algebraic geometry tools such as Bezout’s theorem. One then combines all the bounds and optimises in to obtain the result.
As a general rule, the contribution of the cell interiors becomes easier to handle as increases, while the contribution of the cell boundaries become easier as decreases. As such, the optimal value of is often an intermediate one (in the case of Szemerédi-Trotter, the choice is typical). Among other things, this requires some control of moderately high degree algebraic sets, though in this planar case , one only needs to control algebraic curves in the plane, which are very well understood.
In higher dimensions, though, the complexity of the algebraic geometry required to control medium degree algebraic sets increases sharply; compare for instance the algebraic geometry of ruled surfaces appearing in the three-dimensional work of Guth and Katz as discussed here, compared with the algebraic geometry of curves in the two-dimensional Szemerédi-Trotter theorem discussed here.
However, Jozsef and I discovered that it is also possible to use the polynomial method with a non-optimised value of , and in particular with a bounded value of , which makes the algebraic geometry treatment of the boundary significantly easier. The drawback to this is that the cell interiors can no longer be adequately controlled by trivial incidence estimates. However, if instead one controls the cell interiors by an induction hypothesis, then it turns out that in many cases one can recover a good estimate. For instance, let us consider the two-dimensional Szemerédi-Trotter theorem in the most interesting regime, namely when the term on the RHS is dominant. If we perform the cell decomposition with some small parameter , then we obtain cells with points and lines on the average; applying the Szemerédi-Trotter theorem inductively to each of these cells, we end up with a total contribution of
for the cell interiors, and so provided that one can also control incidences on the (low degree) cell boundary, we see that we have closed the induction (up to changes in the implied constants in the notation).
Unfortunately, as is well known, the fact that the implied constants in the notation degrade when we do this prevents this induction argument from being rigorous. However, it turns out this method does work nicely to give the weaker incidence bound
for any fixed ; the point being that this extra epsilon of room in the exponents means that the induction hypothesis gains a factor of or so over the desired conclusion, allowing one to close the induction with no loss of implied constants if all the parameters are chosen properly. While this bound is weaker than the full Szemerédi-Trotter theorem, the argument is simpler in the sense that one only needs to understand bounded degree algebraic sets, rather than medium degree algebraic sets. As such, this argument is easier to extend to higher dimensions.
Indeed, as a consequence of this strategy (and also a generic projection argument to cut down the ambient dimension, as used in this previous paper with Ellenberg and Oberlin, and an induction on dimension), we obtain in our paper a higher-dimensional incidence theorem:
Theorem 1 (Higher-dimensional Szemerédi-Trotter theorem) Let , and let and be finite sets of points and -planes in , such that any two -planes in intersect in at most one point. Then we have for any .
Something like the transversality hypothesis that any two -planes in intersect in at most one point is necessary, as can be seen by considering the example in which the points are all collinear, and the -planes in all contain the common line. As one particular consequence of this result, we recover (except for an epsilon loss in exponents) the complex Szemerédi-Trotter theorem of Toth, whose proof was significantly more complicated; it also gives some matrix and quaternionic analogues, in particular giving new sum-product theorems in these rings. Note that the condition is natural, because when the ambient dimension is less than , it is not possible for two -planes to intersect in just one point. Using the generic projection trick, one can easily reduce to the critical case .
Actually, for inductive reasons, we prove a more general result than Theorem 1, in which the -planes are replaced instead by -dimensional real algebraic varieties. The transversality condition is now that whenever a point is incident to two such varieties , that the tangent cones of and at only intersect at . (Also for technical reasons, it is convenient to consider a partial subset of incidences in , rather than the full set of incidences. Indeed, it seems most natural to consider the triplet
as a single diagram, rather than to consider just the sets and .)
The reason for working in this greater level of generality is that it becomes much easier to use an induction hypothesis to deal with the cell boundary; one simply intersects each variety in with the cell boundary, which usually lowers the dimension of the variety by one. (There are some exceptional cases in which is completely trapped inside the boundary, but due to the transversality hypothesis, this cannot contribute many incidences if the ambient dimension is (so the cell boundary is only dimensional).)
As one application of this more general incidence result, we almost extend a classic result of Spencer, Szemerédi, and Trotter asserting that points in the plane determine unit distances from to , at the cost of degrading to .
11 comments
Comments feed for this article
17 March, 2011 at 9:31 am
Alex Iosevich
If a family of $k$-planes satisfies an additional “rotational curvature” type assumptions, one can obtain an incidence theorem, albeit a much more limited one, using the technology in http://arxiv.org/pdf/0709.3786 (Geometric incidence theorems via Fourier analysis). It might be interesting to try to understand the non-degeneracy assumptions used in your paper in the context regularity bounds for the associated generalized Radon transforms.
17 March, 2011 at 6:20 pm
Terence Tao
Alex: thanks for the reference and suggestion! At first glance the algebraic and Fourier-analytic methods seem to be adapted to rather different regimes of incidence structures, but there could be some common ground in which they can be compared or even combined.
17 March, 2011 at 5:09 pm
JSE
Lovely!
One note — when you say above “determine O(n^{4/3} distances)” I think you mean “determine O(n^{4/3}) unit distances,” i.e. in the set of distances each complex number appears at most O(n^{4/3}) times.
Also, unless I missed it, while the Spencer-Szemeredi-Trotter result appears in the bibliography (as [19]) I don’t think it actually gets a citation in the paper; maybe there’s meant to be one around Corollary 2.10?
17 March, 2011 at 6:22 pm
Terence Tao
Oops! Yes, there ought to have been a citation, but it got commented out by accident. We’ll put it back in for the next revision of the ms.
17 March, 2011 at 10:10 pm
Izabella Laba
Terry – You might be interested to know that several years ago Jozsef and I proved a very similar result for incidences between homogeneous point sets and either 1-dimensional “pseudolines” in any dimension or 2-dimensional “pseudoflats” in dimension 3. The exponents seem to be the same as in the corresponding cases of your paper. Our proof also involved a cell decomposition and an induction process, but our cells were simply cubes of equal sizes (as opposed to the more refined decomposition given by the ham sandwich theorem) and therefore we needed to assume that the point set was homogeneous.
The terminology “pseudolines” was first introduced in a 1998 paper by Pach and Sharir. There have since been a number of other papers on Szemeredi-Trotter type theorems for lines and pseudolines in higher dimensions, for example Elekes-Toth or Solymosi-Vu.
Also, I thought that the Szemeredi-Trotter theorem for complex lines has had other proofs since Toth’s work, including one by Jozsef?
18 March, 2011 at 5:29 am
Terence Tao
Izabella – thanks for the reference! (Now that you mention it, I do remember this paper when it came out…) I guess in hindsight that the homogeneous case can be viewed as the special case in which the cell decompositions given by the polynomial method are just a grid of hyperplanes, which helps explain why it is such a useful model case.
As I understand it, our definition of pseudoline is slightly different from the Pach-Sharir one, we will make some clarifications on this in the paper (which we are revising now to add a broader survey of the area, beyond those papers relating to the polynomial method). Regarding complex Szemeredi-Trotter, I think the only other result in this direction is one by Solymosi and Tardos proving that theorem for product sets but not for the general case.
18 March, 2011 at 6:26 am
iosevich
A quick followup on my previous comment. In my aforementioned paper with Hadi and Izabella, we use homogeneous sets. However, those results can be extended to the so-called -adaptable sets, as defined by Misha Rudnev, Ignacio Uriarte-Tuero and I in “Theory of dimension for large discrete sets and applications”, http://arxiv.org/pdf/0707.1322 The basic idea there is to take, say, a -separated set of points in , scale it down to the unit cube and thicken each point by . If the Hausdorff dimension of this set (as measured by the energy integral) is finite, the original set is said to be -adaptable.
In terms of cell decompositions, it is reasonably clear, as you point out, how homogeneous sets simplify the construction. What I do not see at the moment is how -adaptability makes things simpler on a combinatorial level. On the analytic level, the convenience of this definition is fairly clear.
12 April, 2011 at 9:34 pm
Izabella Laba
Terry – Thanks for including a reference to my paper with Jozsef in the new version, but what you say about our results:
“in [20], sharp incidence bounds between a homogeneous set of points and k-dimensional subspaces were given”
is not correct. On the one hand, our results are limited to 1-dimensional pseudolines in R^n and 2-dimensional pseudoplanes in R^3. On the other hand, the pseudoplanes need not be subspaces, in fact our assumptions will be satisfied by irreducible one-dimensional algebraic varieties in R^n and generic 2-dimensional algebraic varieties in R^3.
13 April, 2011 at 9:32 am
Terence Tao
Izabella – thanks for the correction. I think I was basing that remark over an older version of the paper which involved points and subspaces rather than points and pseudolines; I’ll work with Jozsef to sort it all out properly.
19 April, 2011 at 6:28 am
iosevich
As you know, in two dimensions there is a (conjectural) discrepancy between algebraic varieties as far as incidence theory is concerned. The number of incidences between points and circles of the same radius centered at those points is conjectured (Erdos unit distance conjecture) to be no more than . On the other hand, a very elegant construction due to Pavel Valtr shows that the situation changes if circles are replaced by parabolas. Take an by integer grid and translate the parabola around. The total number of incidences is and the number of points (and parabolas) is , which makes the number of incidences .
It would be interesting to explore this type of dicotomy thoroughly in higher dimensions, I believe.
19 April, 2011 at 9:23 am
Terence Tao
There may be some hope in using algebraic methods to discern these sorts of dichotomies. For instance, the Guth-Katz incidence bound between points and lines in R^3 requires that not too many lines congregate in a doubly ruled surface (i.e. a plane or a regulus). Of course, without such an axiom, the best incidence bound one can hope for between points and lines is the Szemeredi-Trotter bound. But if one replaces lines with some other family of low-degree curves for which there are no analogous “doubly ruled surfaces”, then presumably the Guth-Katz bound becomes unconditional, and so one can improve upon the Szemeredi-Trotter theorem in this case. Projecting from three dimensions to two, one should then be able to get improved Szemeredi-Trotter theorems for certain families of low-degree curves, though I have not worked out the details.
(Actually this ties in with another basic open problem in the subject, which is to obtain a usable inverse Szemeredi-Trotter theorem. Suppose we have n points and n lines that are determining n^{4/3} incidences in the plane. Can we then say that most of the points and lines are arranged in some highly structured set, such as a grid? Even formulating a plausible statement for such an inverse theorem seems difficult.)