TY - JOUR
T1 - Simple Proofs of Classical Theorems in Discrete Geometry via the Guth-Katz Polynomial Partitioning Technique
AU - Kaplan, Haim
AU - Matoušek, J.
AU - Sharir, Micha
PY - 2012/10
Y1 - 2012/10
N2 - Recently Guth and Katz (arXiv:1011.4105, 2010) invented, as a step in their nearly complete solution of Erdo{double acute}s's distinct distances problem, a new method for partitioning finite point sets in ℝ d, based on the Stone-Tukey polynomial ham-sandwich theorem. We apply this method to obtain new and simple proofs of two well known results: the Szemerédi-Trotter theorem on incidences of points and lines, and the existence of spanning trees with low crossing numbers. Since we consider these proofs particularly suitable for teaching, we aim at self-contained, expository treatment. We also mention some generalizations and extensions, such as the Pach-Sharir bound on the number of incidences with algebraic curves of bounded degree.
AB - Recently Guth and Katz (arXiv:1011.4105, 2010) invented, as a step in their nearly complete solution of Erdo{double acute}s's distinct distances problem, a new method for partitioning finite point sets in ℝ d, based on the Stone-Tukey polynomial ham-sandwich theorem. We apply this method to obtain new and simple proofs of two well known results: the Szemerédi-Trotter theorem on incidences of points and lines, and the existence of spanning trees with low crossing numbers. Since we consider these proofs particularly suitable for teaching, we aim at self-contained, expository treatment. We also mention some generalizations and extensions, such as the Pach-Sharir bound on the number of incidences with algebraic curves of bounded degree.
KW - Algebraic techniques
KW - Crossing number
KW - Incidences
KW - Partitioning polynomial
KW - Polynomial ham-sandwich
KW - Spanning tree with low crossing number
UR - http://www.scopus.com/inward/record.url?scp=84865625793&partnerID=8YFLogxK
U2 - 10.1007/s00454-012-9443-3
DO - 10.1007/s00454-012-9443-3
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:84865625793
SN - 0179-5376
VL - 48
SP - 499
EP - 517
JO - Discrete and Computational Geometry
JF - Discrete and Computational Geometry
IS - 3
ER -