DeepAI AI Chat
Log In Sign Up

Point-hyperplane incidence geometry and the log-rank conjecture

01/23/2021
by   Noah Singer, et al.
0

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)).

READ FULL TEXT

page 1

page 2

page 3

page 4

04/20/2018

Sherali-Adams Integrality Gaps Matching the Log-Density Threshold

The log-density method is a powerful algorithmic framework which in rece...
01/26/2023

A New Lower Bound in the abc Conjecture

We prove that there exist infinitely many coprime numbers a, b, c with a...
06/02/2018

On Minrank and Forbidden Subgraphs

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

Coloring graphs with forbidden bipartite subgraphs

A conjecture of Alon, Krivelevich, and Sudakov states that, for any grap...
10/30/2021

Characterization of the Imbalance Problem on Complete Bipartite Graphs

We study the imbalance problem on complete bipartite graphs. The imbalan...
03/02/2022

Algebraic Representations of Unique Bipartite Perfect Matching

We obtain complete characterizations of the Unique Bipartite Perfect Mat...
10/24/2018

Extending the centerpoint theorem to multiple points

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