TY - JOUR
T1 - On the Number of Ordinary Lines Determined by Sets in Complex Space
AU - Basit, Abdul
AU - Dvir, Zeev
AU - Saraf, Shubhangi
AU - Wolf, Charles
N1 - Funding Information:
Acknowledgements Zeev Dvir: Research was supported by NSF CAREER award DMS-1451191 and NSF Grant CCF-1523816. Shubhangi Saraf: Research was supported in part by NSF Grants CCF-1350572 and CCF-1540634. Charles Wolf: Research was supported in part by NSF Grant CCF-1350572.
Publisher Copyright:
© 2018, Springer Science+Business Media, LLC, part of Springer Nature.
PY - 2019/6/15
Y1 - 2019/6/15
N2 - Kelly’s theorem states that a set of n points affinely spanning C 3 must determine at least one ordinary complex line (a line incident to exactly two of the points). Our main theorem shows that such sets determine at least 3n / 2 ordinary lines, unless the configuration has n- 1 points in a plane and one point outside the plane (in which case there are at least n- 1 ordinary lines). In addition, when at most n / 2 points are contained in any plane, we prove stronger bounds that take advantage of the existence of lines with four or more points (in the spirit of Melchior’s and Hirzebruch’s inequalities). Furthermore, when the points span four or more dimensions, with at most n / 2 points contained in any three-dimensional affine subspace, we show that there must be a quadratic number of ordinary lines.
AB - Kelly’s theorem states that a set of n points affinely spanning C 3 must determine at least one ordinary complex line (a line incident to exactly two of the points). Our main theorem shows that such sets determine at least 3n / 2 ordinary lines, unless the configuration has n- 1 points in a plane and one point outside the plane (in which case there are at least n- 1 ordinary lines). In addition, when at most n / 2 points are contained in any plane, we prove stronger bounds that take advantage of the existence of lines with four or more points (in the spirit of Melchior’s and Hirzebruch’s inequalities). Furthermore, when the points span four or more dimensions, with at most n / 2 points contained in any three-dimensional affine subspace, we show that there must be a quadratic number of ordinary lines.
KW - Combinatorial geometry
KW - Designs
KW - Ordinary lines
KW - Sylvester–Gallai
UR - http://www.scopus.com/inward/record.url?scp=85055691477&partnerID=8YFLogxK
U2 - 10.1007/s00454-018-0039-4
DO - 10.1007/s00454-018-0039-4
M3 - Article
AN - SCOPUS:85055691477
SN - 0179-5376
VL - 61
SP - 778
EP - 808
JO - Discrete & Computational Geometry
JF - Discrete & Computational Geometry
IS - 4
ER -