DeepAI AI Chat
Log In Sign Up

Point-hyperplane incidence geometry and the log-rank conjecture

by   Noah Singer, et al.

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 ℝ^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 Ω(ϵ^2d/d) in any d-dimensional configuration with incidence density ϵ, 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 Ω(1/√(d)).


page 1

page 2

page 3

page 4


Sherali-Adams Integrality Gaps Matching the Log-Density Threshold

The log-density method is a powerful algorithmic framework which in rece...

A New Lower Bound in the abc Conjecture

We prove that there exist infinitely many coprime numbers a, b, c with a...

On Minrank and Forbidden Subgraphs

The minrank over a field F of a graph G on the vertex set {1,2,...,n} is...

Coloring graphs with forbidden bipartite subgraphs

A conjecture of Alon, Krivelevich, and Sudakov states that, for any grap...

Characterization of the Imbalance Problem on Complete Bipartite Graphs

We study the imbalance problem on complete bipartite graphs. The imbalan...

Algebraic Representations of Unique Bipartite Perfect Matching

We obtain complete characterizations of the Unique Bipartite Perfect Mat...

Extending the centerpoint theorem to multiple points

The centerpoint theorem is a well-known and widely used result in discre...