We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.CO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Combinatorics

Title: Point-hyperplane incidence geometry and the log-rank conjecture

Abstract: We study the log-rank conjecture from the perspective of incidence geometry and present a reformulation as well as a strengthening. The reformulation involves point sets in $\mathbb{R}^d$ that are covered in many ways by constant sized sets of parallel hyperplanes. We show that the log-rank conjecture is equivalent to the implication that all such configurations contain a subspace that accounts for a large fraction of the incidences, in the sense of containing a large fraction of the points and being contained in a large fraction of the hyperplanes. In other words the log-rank conjecture is equivalent to asserting that the point-hyperplane incidence graph for such configurations has a large complete bipartite subgraph. The strengthening of the log-rank conjecture comes from relaxing the requirements that the set of hyperplanes be parallel.
Motivated by the connections above we revisit some well-studied questions in point-hyperplane incidence geometry and present some improvements. We give a simple probabilistic argument for the existence of complete bipartite subgraphs of density $\Omega(\epsilon^{2d}/d)$ in any $d$-dimensional configuration with incidence density $\epsilon$, matching previously known results qualitatively. We also improve an upper-bound construction of Apfelbaum and Sharir, yielding a configuration whose complete bipartite subgraphs are exponentially small and whose incidence density is $\Omega(1/\sqrt d)$.
Comments: 14 pages, no figures. This includes revised introduction and discussion and is (hopefully) final for conference submission
Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC)
Cite as: arXiv:2101.09592 [math.CO]
  (or arXiv:2101.09592v3 [math.CO] for this version)

Submission history

From: Noah Singer [view email]
[v1] Sat, 23 Jan 2021 21:59:56 GMT (21kb,D)
[v2] Wed, 24 Feb 2021 18:54:32 GMT (24kb)
[v3] Fri, 30 Apr 2021 03:47:22 GMT (20kb)

Link back to: arXiv, form interface, contact.