The Orthogonal Vectors Conjecture for Branching Programs and Formulas

09/15/2017
by   Daniel Kane, et al.
0

In the Orthogonal Vectors (OV) problem, we wish to determine if there is an orthogonal pair of vectors among n Boolean vectors in d dimensions. The OV Conjecture (OVC) posits that OV requires n^2-o(1) time to solve, for all d=ω( n). Assuming the OVC, optimal time lower bounds have been proved for many prominent problems in P. We prove that OVC is true in several computational models of interest: * For all sufficiently large n and d, OV for n vectors in {0,1}^d has branching program complexity Θ̃(n·(n,2^d)). In particular, the lower bounds match the upper bounds up to polylog factors. * OV has Boolean formula complexity Θ̃(n·(n,2^d)), over all complete bases of O(1) fan-in. * OV requires Θ̃(n·(n,2^d)) wires, in formulas comprised of gates computing arbitrary symmetric functions of unbounded fan-in. Our lower bounds basically match the best known (quadratic) lower bounds for any explicit function in those models. Analogous lower bounds hold for many related problems shown to be hard under OVC, such as Batch Partial Match, Batch Subset Queries, and Batch Hamming Nearest Neighbors, all of which have very succinct reductions to OV. The proofs use a certain kind of input restriction that is different from typical random restrictions where variables are assigned independently. We give a sense in which independent random restrictions cannot be used to show hardness, in that OVC is false in the "average case" even for AC^0 formulas: * For every fixed p ∈ (0,1) there is an ϵ_p > 0 such that for every n and d, OV instances where input bits are independently set to 1 with probability p (and 0 otherwise) can be solved with AC^0 formulas of size O(n^2-ϵ_p), on all but a o_n(1) fraction of instances.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/03/2020

Shrinkage under Random Projections, and Cubic Formula Lower Bounds for 𝐀𝐂^0

Håstad showed that any De Morgan formula (composed of AND, OR and NOT ga...
research
11/28/2018

Topological Bounds on the Dimension of Orthogonal Representations of Graphs

An orthogonal representation of a graph is an assignment of nonzero real...
research
09/11/2018

The Coin Problem in Constant Depth: Sample Complexity and Parity Gates

The δ-Coin Problem is the computational problem of distinguishing betwee...
research
01/23/2021

Hard satisfiable formulas for DPLL algorithms using heuristics with small memory

DPLL algorithm for solving the Boolean satisfiability problem (SAT) can ...
research
09/26/2013

Lower Bounds for Exact Model Counting and Applications in Probabilistic Databases

The best current methods for exactly computing the number of satisfying ...
research
04/01/2020

Lower Bounds for the Error of Quadrature Formulas for Hilbert Spaces

We prove lower bounds for the worst case error of quadrature formulas th...
research
09/09/2021

Algorithms and Certificates for Boolean CSP Refutation: "Smoothed is no harder than Random"

We present an algorithm for strongly refuting smoothed instances of all ...

Please sign up or login with your details

Forgot password? Click here to reset