TY - JOUR
T1 - Covering Lattice Points by Subspaces and Counting Point–Hyperplane Incidences
AU - Balko, Martin
AU - Cibulka, Josef
AU - Valtr, Pavel
N1 - Funding Information:
The first and the third author acknowledge the support of the grants GACˇ R 14-14179S of Czech Science Foundation, ERC Advanced Research Grant No. 267165 (DISCONV), and GAUK 690214 of the Grant Agency of the Charles University. The first author is also supported by the grant SVV–2016–260332. An extended abstract of this paper appeared in the Proceedings of the 33rd International Symposium on Computational Geometry.
Publisher Copyright:
© 2018, Springer Science+Business Media, LLC, part of Springer Nature.
PY - 2019/3/15
Y1 - 2019/3/15
N2 - Let d and k be integers with 1 ≤ k≤ d- 1. Let Λ be a d-dimensional lattice and let K be a d-dimensional compact convex body symmetric about the origin. We provide estimates for the minimum number of k-dimensional linear subspaces needed to cover all points in Λ ∩ K. In particular, our results imply that the minimum number of k-dimensional linear subspaces needed to cover the d-dimensional n× ⋯ × n grid is at least Ω (nd ( d - k ) / ( d - 1 ) - ε) and at most O(nd ( d - k ) / ( d - 1 )) , where ε> 0 is an arbitrarily small constant. This nearly settles a problem mentioned in the book by Brass et al. (Research problems in discrete geometry, Springer, New York, 2005). We also find tight bounds for the minimum number of k-dimensional affine subspaces needed to cover Λ ∩ K. We use these new results to improve the best known lower bound for the maximum number of point–hyperplane incidences by Brass and Knauer (Comput Geom 25(1–2):13–20, 2003). For d≥ 3 and ε∈ (0 , 1) , we show that there is an integer r= r(d, ε) such that for all positive integers n, m the following statement is true. There is a set of n points in Rd and an arrangement of m hyperplanes in Rd with no Kr , r in their incidence graph and with at least Ω ((mn) 1 - ( 2 d + 3 ) / ( ( d + 2 ) ( d + 3 ) ) - ε) incidences if d is odd and Ω((mn)1-(2d2+d-2)/((d+2)(d2+2d-2))-ε) incidences if d is even.
AB - Let d and k be integers with 1 ≤ k≤ d- 1. Let Λ be a d-dimensional lattice and let K be a d-dimensional compact convex body symmetric about the origin. We provide estimates for the minimum number of k-dimensional linear subspaces needed to cover all points in Λ ∩ K. In particular, our results imply that the minimum number of k-dimensional linear subspaces needed to cover the d-dimensional n× ⋯ × n grid is at least Ω (nd ( d - k ) / ( d - 1 ) - ε) and at most O(nd ( d - k ) / ( d - 1 )) , where ε> 0 is an arbitrarily small constant. This nearly settles a problem mentioned in the book by Brass et al. (Research problems in discrete geometry, Springer, New York, 2005). We also find tight bounds for the minimum number of k-dimensional affine subspaces needed to cover Λ ∩ K. We use these new results to improve the best known lower bound for the maximum number of point–hyperplane incidences by Brass and Knauer (Comput Geom 25(1–2):13–20, 2003). For d≥ 3 and ε∈ (0 , 1) , we show that there is an integer r= r(d, ε) such that for all positive integers n, m the following statement is true. There is a set of n points in Rd and an arrangement of m hyperplanes in Rd with no Kr , r in their incidence graph and with at least Ω ((mn) 1 - ( 2 d + 3 ) / ( ( d + 2 ) ( d + 3 ) ) - ε) incidences if d is odd and Ω((mn)1-(2d2+d-2)/((d+2)(d2+2d-2))-ε) incidences if d is even.
KW - Covering
KW - Lattice point
KW - Linear subspace
KW - Point–hyperplane incidence
UR - http://www.scopus.com/inward/record.url?scp=85041829923&partnerID=8YFLogxK
U2 - 10.1007/s00454-018-9970-7
DO - 10.1007/s00454-018-9970-7
M3 - Article
AN - SCOPUS:85041829923
SN - 0179-5376
VL - 61
SP - 325
EP - 354
JO - Discrete and Computational Geometry
JF - Discrete and Computational Geometry
IS - 2
ER -