English

Covering lattice points by subspaces and counting point-hyperplane incidences

Combinatorics 2018-01-04 v3

Abstract

Let dd and kk be integers with 1kd11 \leq k \leq d-1. Let Λ\Lambda be a dd-dimensional lattice and let KK be a dd-dimensional compact convex body symmetric about the origin. We provide estimates for the minimum number of kk-dimensional linear subspaces needed to cover all points in ΛK\Lambda \cap K. In particular, our results imply that the minimum number of kk-dimensional linear subspaces needed to cover the dd-dimensional n××nn \times \cdots \times n grid is at least Ω(nd(dk)/(d1)ε)\Omega(n^{d(d-k)/(d-1)-\varepsilon}) and at most O(nd(dk)/(d1))O(n^{d(d-k)/(d-1)}), where ε>0\varepsilon>0 is an arbitrarily small constant. This nearly settles a problem mentioned in the book of Brass, Moser, and Pach. We also find tight bounds for the minimum number of kk-dimensional affine subspaces needed to cover ΛK\Lambda \cap 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. For d3d \geq 3 and ε(0,1)\varepsilon \in (0,1), we show that there is an integer r=r(d,ε)r=r(d,\varepsilon) such that for all positive integers n,mn,m the following statement is true. There is a set of nn points in Rd\mathbb{R}^d and an arrangement of mm hyperplanes in Rd\mathbb{R}^d with no Kr,rK_{r,r} in their incidence graph and with at least Ω((mn)1(2d+3)/((d+2)(d+3))ε)\Omega\left((mn)^{1-(2d+3)/((d+2)(d+3)) - \varepsilon}\right) incidences if dd is odd and Ω((mn)1(2d2+d2)/((d+2)(d2+2d2))ε)\Omega\left((mn)^{1-(2d^2+d-2)/((d+2)(d^2+2d-2)) -\varepsilon}\right) incidences if dd is even.

Keywords

Cite

@article{arxiv.1703.04767,
  title  = {Covering lattice points by subspaces and counting point-hyperplane incidences},
  author = {Martin Balko and Josef Cibulka and Pavel Valtr},
  journal= {arXiv preprint arXiv:1703.04767},
  year   = {2018}
}

Comments

20 pages, minor changes, to appear in Discrete & Computational Geometry

R2 v1 2026-06-22T18:45:18.342Z