---
title: Orthogonal Vectors Conjecture (OVC)
url: https://www.emergentmind.com/topics/orthogonal-vectors-conjecture-ovc
type: topic
---

# Orthogonal Vectors Conjecture (OVC)

The Orthogonal Vectors Conjecture (OVC) occupies a central role in fine-grained complexity theory, positing that certain seemingly simple problems in moderate to high dimensions fundamentally resist truly subquadratic algorithms. These conjectures bridge lower bound methodology, algorithmic barriers, and reductions across a diverse spectrum of computational problems within P. Recent advances have clarified both the technical boundaries imposed by the OVC and its connections to conjectured hardness for an equivalence class of related problems, circuit lower bounds, and average-case variants.

## 1. Formal Definition and Statement of the OVC

The Orthogonal Vectors problem (OV) is defined as follows: given two sets $A,B \subseteq \{0,1\}^d$, each of size $n$, the task is to determine whether there exists a pair $(a,b) \in A \times B$ such that the dot product $\langle a, b \rangle = 0$. An equivalent formulation considers $n$ vectors $v_1,\ldots,v_n \in \{0,1\}^d$ and asks if $\exists\,i \neq j$ with $\langle v_i, v_j \rangle = 0$.

The Orthogonal Vectors Conjecture asserts that for every constant $\epsilon > 0$, there is a constant $c = c(\epsilon)$ so that OV with $d = c \log n$ requires $n^{2-o(1)}$ time, i.e., there does not exist an $O(n^{2-\epsilon})$-time algorithm for such dimensions. In the regime $d = \omega(\log n)$, the trivial quadratic algorithm is believed to be essentially optimal, up to $n^{o(1)}$-factor improvements [1709.05294, 1811.12017, 2010.08576].

For the $k$-Orthogonal Vectors (k-OV) problem, which generalizes the search to $k$ sets of vectors, the corresponding conjecture posits the absence of $O(n^{k-\epsilon})$-time algorithms for $d = \omega(\log n)$ [2505.00206].

## 2. Central Role in Fine-Grained Complexity and Equivalence Classes

The OVC underpins conditional lower bounds for numerous P-time problems. It serves as the canonical hardness assumption for fine-grained reductions, similar in spirit to NP-completeness in classical complexity. Dozens of tight $n^{2-o(1)}$ lower bounds hinge on OVC, with prominent reductions to batch Partial Match, batch Subset Queries, Hamming Nearest Neighbors, and exact or approximate versions of vector inner product problems [1811.12017].

Recent work establishes that OV in $O(\log n)$ dimensions is truly-subquadratic equivalent (under fine-grained reductions) to the following problems [1811.12017]:

| Problem                              | Definition (brief)                                    | Complexity barrier (under OVC)        |
|-------------------------------------- |------------------------------------------------------ |---------------------------------------|
| OV                                   | Exists $(a,b)$ with $\langle a,b \rangle = 0$?       | $n^{2-o(1)}$                          |
| Max-IP / Min-IP                      | Max/min inner product over pairs                      | $n^{2-o(1)}$                          |
| Exact-IP                             | Exists $(a,b)$ with $\langle a,b \rangle = m$?       | $n^{2-o(1)}$                          |
| Approximate Max-IP / Min-IP          | Constant-factor approximation (e.g. $100\times$)      | $n^{2-o(1)}$                          |
| $\ell_p$-Closest/Furthest Pair       | $(1+\Omega(1))$-approximation                        | $n^{2-o(1)}$                          |
| Data structure (Partial Match/NNS)   | Polynomial space, $n^{1-\epsilon}$ query time         | Polylogarithmic blowup in dimension   |

Any breakthrough (even mild acceleration) on one member cascades to the entire equivalence class.

## 3. Circuit Complexity, Algorithmic Techniques, and Lower Bounds

The OVC has been validated in several computational models. For branching programs, AC$^0$ formulas, constant-fan-in formulas, and formulas with symmetric gates (unbounded fan-in), the best known lower bounds almost match trivial quadratic upper bounds up to polylogarithmic factors [1709.05294]. Specifically, for $n$ vectors in $\{0,1\}^d$:

- Branching program complexity: $\widetilde{\Theta}(n \cdot \min(n, 2^d))$
- Boolean formula complexity (fan-in $O(1)$): $\widetilde{\Theta}(n \cdot \min(n, 2^d))$
- Symmetric function wire complexity: $\widetilde{\Theta}(n \cdot \min(n, 2^d))$

These results are established via input restriction methods distinct from classical random restrictions, leveraging hard functions on the "middle layer" and a shrink-and-count strategy.

Crucially, these barriers delineate what is achievable by current circuit and communication-cover paradigms. For example, no OR-covering or rank-1 linear-circuit techniques can yield OV algorithms faster than $n\cdot(2/\sqrt{3})^d$ (decision) or $n \cdot 2^{1/3\,d}$ (counting), and pushing below these rates would require fundamentally new circuit cancellation techniques [2509.14489, 2010.08576].

## 4. State-of-the-Art Algorithmic Barriers and Their Significance

Recent advances provide nearly optimal deterministic and randomized algorithms for OV in moderate dimension but fail to break the OVC barrier. For $d = c\log n$ and $n$ vectors, Alman and Li construct depth-2 linear circuits for the OV-related disjointness matrix with degree about $1.155^d$ for the decision problem and $1.26^d$ for the counting version, yielding:

- Decision: $\tilde O(n\cdot 1.155^d)$
- Counting: $\tilde O(n\cdot 1.26^d)$

These results derandomize previous approaches and, through Strassen's asymptotic spectrum duality, show that current circuit-based techniques are essentially optimal in this regime [2509.14489]. For denser regimes where $d \gg \log n$, new approaches are required to achieve truly subquadratic time.

For the specific structured case where all vectors have Hamming weight $d/4$, specialized algorithms achieve $O(N\cdot2^d/\binom{d}{d/4}) = O(N\sqrt{d})$ time for $N$ input vectors, still far from subquadratic for superlogarithmic $d$ [2010.08576].

## 5. Reductions, Conditional Hardness, and Consequences of Refuting OVC

The credibility of the OVC is reinforced by its position in the fine-grained reductions web. Falsifying the OVC would yield breakthrough polynomial-factor speedups for other problems previously believed intractable to such improvements. For example, if moderate-dimension OVC fails (i.e., there exists an $O(n^{2-\epsilon})$ algorithm for OV with $d = n^{\delta}$ for some $\delta > 0$), then:

- There exist $\epsilon > 0$ and fixed $k$ such that Zero-Weight-$k$-Clique and Min-Weight-$k$-Clique in $d$-hypergraphs with $n$ vertices can be solved in $O(n^{(1-\epsilon)k})$ randomized time.
- The satisfiability of sparse $TC^1$ circuits (threshold circuits of at most $cn$ wires and depth $c\log n$) with $n$ input variables can be computed in $O((2-\epsilon)^n)$ time.

Both consequences represent polynomial improvements on longstanding brute force bounds, and so their absence is interpreted as strong evidence for the OVC [1805.08554]. The OVC is also implied by the Weighted Clique conjecture.

The reduction from Subset Sum to OV, and the tight connection between improving OV algorithms and breaking the Schroeppel-Shamir $O^*(2^{n/2})$ barrier for Subset Sum, further entangles OVC with exponential-time complexities in NP-hard problem domains [2010.08576].

## 6. Average-Case Variants, Planted Hardness, and Cryptographic Implications

A recent direction is the study of average-case hardness via planted solutions. In the $k$-OV variant, a distribution over planted instances is defined where the planted solution is unique and all $k-1$-marginals coincide with the model distribution (i.i.d. $p$-biased vectors). The conjecture is that any $n^{k-o(1)}$-time algorithm cannot distinguish model from planted instances with any nontrivial advantage, nor efficiently recover the planted solution, in superlogarithmic dimension [2505.00206]. Importantly:

- The construction ensures $(k-1)$-wise independence across marginals, preventing known attack strategies.
- Efficient search-to-decision reductions show that average-case distinguishing is as hard as recovering the solution.

This property suggests planted $k$-OV as a potential foundation for fine-grained cryptographic primitives due to its resistance to circuit lower bound-based attacks. However, no unconditional lower bounds are currently known for these average-case instances.

## 7. Open Problems, Barriers, and Research Directions

Several open avenues remain:

- New algorithms for OV in the dense regime: All current “rectangle/circuit” or rebalancing methods are known to be optimal up to polylogarithmic factors for moderate $d$; fundamentally new algorithmic or circuit-theoretic paradigms are required for meaningful improvements [2509.14489].
- Derandomization and generalization: Further progress may involve derandomizing communication-cover constructions or extending techniques to broader input support patterns [2010.08576].
- Connecting planted and worst-case complexity: The validity of planted OVC instances as average-case hard problems connects fine-grained complexity to cryptographic hardness [2505.00206].
- Fine-grained barriers in P: The OVC, alongside SETH, is central to understanding and conjecturing the quadratic and exponential time barriers for broad classes of polynomial-time problems.

Continued research explores derandomization, transferability to geometric and data-structure settings, and the possibility of leveraging OVC to establish cryptographic hardness in regimes where strong worst-case complexity assumptions are plausible.

Source: https://www.emergentmind.com/topics/orthogonal-vectors-conjecture-ovc