This is the third in my series of posts about the basics of polynomial partitioning. In the first post of the series we presented the basics of polynomial partitioning and showed how the technique can be used to prove the Szemerédi-Trotter theorem. In the second post we presented Guth and Katz’s proof of the polynomial partitioning theorem. In this post, we compare polynomial partitioning to a previous “popular” partitioning technique.
Several partitioning techniques existed before Guth and Katz introduced polynomial partitioning, and the most common one was probably cuttings (e.g., see Chapter 4 of the book Lectures on discrete geometry by Matoušek). For example, in the proof of the Szemerédi-Trotter theorem that was presented in the previous post, it is rather simple to replace the polynomial partitioning with a cutting while obtaining the same bound (e.g., see here). We discuss the differences and the similarities between the two techniques. We do not explain the basics of cuttings, and assume that the reader is familiar with them.
We start by considering the planar case. Let be a set of points and let be a set of constant-degree curves, both in . An -partitioning polynomial for has degree , and each cell in the corresponding partition contains at most points of . According to Warren’s theorem (Theorem 3 in the first post of the series), the number of cells in this partition is . In “contrast”, a -cutting partitions the plane into cells such that every cell is intersected by at most curves of . Thus, it might seem as if the two techniques are complementary, but we now show that they are equivalent in the planar case.
We refine the partition of the -cutting as follows. Every cell in this partition that contains more than points of is subdivided into subcells , each containing exactly points of , except for one cell which is allowed to contain a smaller number of points. As a matter of fact, instead of partitioning the cell into several separate connected components, we perform an “abstract” subdivision: every subcell consists of the entire area of , is intersected by the same set of curves that intersect , but contains only a subset of (at most of) the points of that are contained in . It can be easily noticed that the resulting partition consists of at most cells that contain points of , and of cells that contain a smaller number of points. That is, by updating the partition that was obtained from the cutting, we obtain a partitioning of the plane into cells, such that every cell is intersected by at most curves of and contains at most points of .
Similarly, we can refine the partition to obtain the same properties. This can be done by subdividing every cell that is intersected by more than curves of into several “abstract” cells, each intersected by at most curves of , and containing all the points of in the original cell. An example is depicted in the following figure.
Therefore, in the planar case the two partitioning techniques yield strongly equivalent partitions. This explains why so far polynomial partitioning yielded new bounds only in higher dimensions (a polynomial partitioning was used by Guth and Katz for the planar distinct distances problem, but only after reducing the problem to a three-dimensional problem).
In higher dimensions the situation is different. In this case, instead of a set of curves, we have a set of “objects” that are not necessarily one-dimensional. In general, cuttings work only when the objects of are hypersurfaces, while a polynomial partitioning does not depend on the dimension of these objects (since this partitioning is defined only with respect to the point set ). That is why recent incidence bounds in dimensions that do not involve hypersurfaces rely on partitioning polynomials rather than on cuttings (e.g., see here, here and here).
Other differences exist which we will not discuss here. Partitioning polynomials allow us to apply a second partitioning (see here and here; and hopefully methods for applying even more such subsequent partitionings will be discovered). There are also significant differences in the algorithms for constructing the two types of partitions, though we do not discuss these here.