---
title: Jukna–Schnitger Conjecture in Circuit Complexity
url: https://www.emergentmind.com/topics/jukna-schnitger-s-conjecture
type: topic
---

# Jukna–Schnitger Conjecture in Circuit Complexity

Searching arXiv for recent papers relevant to Jukna–Schnitger’s Conjecture and closely related formulations.
Jukna–Schnitger’s Conjecture, in the formulation used in recent lower-bound work, is the folklore belief that **non-linear gates do not help in computing a linear operator** [2509.02730]. The conjectural theme arises in circuit complexity, static data structures, and communication lower bounds, and it is typically studied through a cell-probe analogue in which an input vector \(X \in \mathbb{F}_2^n\) is preprocessed into memory and each query asks for a linear form \((M_i,X)\) determined by a row of a linear operator \(M \in \mathbb{F}_2^{m\times n}\) [2509.02730]. Recent work gives the first formal evidence for this intuition for **random linear operators**, breaking the longstanding logarithmic barrier in the high-space regime; by contrast, a distinct matrix covering-number conjecture emphasized by Jukna and motivated by depth-3 lower bounds has been explicitly refuted [2509.02730], [2210.08300].

## 1. Conjectural content and formal models

In the relevant literature, Jukna–Schnitger’s Conjecture is not presented as a single universal theorem statement but as a guiding principle: arbitrary non-linear preprocessing, or arbitrary non-linear gates, should not substantially reduce the complexity of computing a linear operator [2509.02730]. The principal formalization used in recent work is the **static cell-probe model**. In that model, one preprocesses an input \(X \in \mathbb{F}_2^n\) into a data structure of size \(s\), and on query \(i\) one must output either \((M_i,X)\) or, equivalently,
\[
\chi_{M_i}(X):=(-1)^{(M_i,X)},
\]
where \(M_i\) is the \(i\)-th row of \(M\) [2509.02730].

The paper "Lower Bounds for Linear Operators" formulates the target phenomenon by contrasting a conjectured strong lower bound with the older barrier. The stronger form sought there is
\[
t \ge \left(\frac{|\mathcal{Q}|}{s}\right)^c
\]
for some constant \(c>0\), where \(|\mathcal{Q}|=m\) is the number of outputs [2509.02730]. Earlier methods, by comparison, yielded only logarithmic-barrier lower bounds of the form
\[
t \geq \Omega\!\left(\frac{\log(|\mathcal{Q}|/n)}{\log(s/n)}\right),
\]
which become weak in the high-space regime [2509.02730].

This formalization makes precise the claim that non-linear preprocessing should not materially outperform linear preprocessing for “most” linear operators. A plausible implication is that the conjecture is best understood not as a statement about a single function family, but as a structural assertion about the complexity of linear operators under highly general computational resources.

## 2. Static cell-probe evidence for random linear operators

The strongest progress reported in the supplied material concerns **random linear operators**. For \(M \in \mathbb{F}_2^{m\times n}\), the main theorem in [2509.02730] proves that any static data structure for computing the corresponding operator must satisfy
\[
t \geq \Omega\!\left(\min\left\{\log(m/s),\, \frac{n}{\log s}\right\}\right).
\]
The paper also gives an equivalent parameterized statement: if
\[
m \geq \omega(s \cdot 2^{5t})
\quad\text{and}\quad
\log |S| \ge 10^4 \cdot t \log s,
\]
then there exists a set \(Q\) of \(m\) linear functions from \(S\) that cannot be answered by an \(s\)-space, \(t\)-probe data structure [2509.02730].

The significance of this result lies in its departure from prior lower bounds. The paper emphasizes the high-space regime, noting that when \(s = |Q|^{0.99}\), earlier methods gave only \(t=\Omega(1)\), whereas the new argument yields
\[
t=\Omega(\log |Q|).
\]
This is the basis for the claim that the result provides the first formal evidence for the conjectural principle in the static cell-probe setting [2509.02730].

The same work stresses that the lower bound continues to hold even in a regime of only a **small constant advantage over random guessing**, rather than the more standard small-error regime. This suggests that the obstruction to fast computation is robust under very weak success guarantees, a feature that is technically important in both data-structure and communication formulations [2509.02730].

## 3. Proof architecture: compression, entropy, and low correlation

The proof strategy in [2509.02730] is a contradiction argument organized around three ingredients: compression of the data-structure computation into a communication process, extraction of entropy and near-independence properties, and a combinatorial lemma showing that the resulting configuration is impossible.

The communication simulation uses a 3-player process. Merlin sends the preprocessed memory contents \(U(M_1,\ldots,M_m,X)\) to Bob; Alice, who knows \(M\) and the query index \(i\), sends probe addresses; and Bob checks consistency with \(U\), returning the relevant bit when the path is consistent and otherwise guessing randomly [2509.02730]. The key quantitative observation is that Alice can pick a path of the decision tree with probability at least \(2^{-t}\). Accordingly, the protocol has overall advantage \(\Omega(2^{-t})\), and the paper records the corresponding success guarantee as
\[
\Pr[\text{correct}] \ge \frac{1+2^{-t}}{2}.
\]

From this compression, the proof derives two structural properties. First, Alice’s transcript reveals only limited information about a randomly chosen queried row, yielding a low-information and then high-min-entropy statement. Second, after conditioning on the compressed transcript, the row \(M_{P_J}\) and the input \(X\) remain almost independent:
\[
I(M_{P_J}; X \mid Z, E=1) \le \frac{2|U|}{|P|} = \frac{2s}{\ell}.
\]
The final contradiction is obtained by combining a nontrivial correlation lower bound, large total average min-entropy, and very small mutual information. The combinatorial lemma splits correlation into a **Hadamard/discrepancy term** and a **rectangle/error term**, bounding the former via Lindsey’s lemma and min-entropy-to-\(\ell_2\) estimates, and the latter via Pinsker’s inequality [2509.02730].

This proof architecture is noteworthy because it is tailored to the small-advantage regime. A plausible implication is that the technical novelty lies not only in proving a stronger asymptotic tradeoff, but in identifying a proof system capable of surviving exponentially small advantage parameters.

## 4. Consequences for arbitrary-gate circuits

The same lower bound translates into circuit complexity via a theorem of Viola quoted in [2509.02730]. If a function \(f:\{0,1\}^n\to\{0,1\}^m\) has a depth-\(d\) circuit with \(w\) wires and arbitrary gates, then \(f\) admits a data structure with
\[
s=n+r,\qquad t=(w/r)^d
\]
for any \(r\) [2509.02730]. Applying the data-structure lower bound gives a wire lower bound
\[
w \ge \Omega\!\big(n\cdot \log^{1/d}(n)\big)
\]
for a specific linear operator \(M \in \mathbb{F}_2^{O(n)\times n}\), and the abstract states that this bound holds even for circuits with only a small constant advantage over random guessing [2509.02730].

The paper places this in direct relation to the Jukna–Schnitger program. It states that the result makes progress on the question of whether arbitrary gates can significantly reduce the complexity of computing linear operators with many outputs, and it compares the new wire lower bound with earlier bounds such as \(\Omega_d(n\cdot \lambda_{d-1}(n))\) and \(\Omega(n\cdot \lambda_{2\lfloor d/2\rfloor}(n))\) [2509.02730]. For \(d\ge 3\), the new asymptotic lower bound is described there as stronger than previous linear-operator-specific bounds.

In this sense, the cell-probe theorem and the circuit theorem are two aspects of the same claim: if random linear operators are hard even after arbitrary preprocessing, then arbitrary-gate circuits computing such operators must still incur superlinear wire complexity. This does not resolve the full conjecture, but it materially narrows the gap between folklore intuition and proved lower bounds.

## 5. A related but distinct Jukna-centered covering-number program

A separate line of work, associated in the supplied material with Pudlák, Rödl, Savický, and Jukna, concerns Boolean matrices with many zero entries but no \(2\times 2\) all-zero submatrix [2210.08300]. The problem asks whether every \(n\times n\) Boolean matrix \(A\) with at least \(dn\) zero-entries and no \(2\times 2\) all-zero submatrix must satisfy
\[
\Cov(A)=d^{\Omega(1)},
\]
where \(\Cov(A)\) is the smallest number of all-1 rectangles needed to cover all 1-entries of \(A\) [2210.08300].

The paper "On depth-3 circuits and covering number: an explicit counter-example" shows that this conjecture is false by an explicit construction [2210.08300]. It constructs \(n\times n\) Boolean matrices with
\[
\Omega(n^{4/3})
\]
zero entries, no \(2\times 2\) all-zero submatrix, and
\[
\Cov(A)=O(\log^4 n).
\]
The construction uses a point-line incidence matrix over the grid \([m]\times [2m^2]\), with
\[
n=2m^3,
\]
rows indexed by points, columns indexed by affine lines \(y=\ell_1x+\ell_2\), and matrix entries defined by
\[
M_{p,\ell}=
\begin{cases}
0 & \text{if } \ell_1p_1+\ell_2=p_2,\\
1 & \text{otherwise.}
\end{cases}
\]
The lower covering number is then achieved through explicitly defined 1-monochromatic rectangles based on modular constraints, and the total number of such rectangles is bounded by \(O(\log^4 n)\) [2210.08300].

This conjecture is not the same as the non-linear-gates formulation of Jukna–Schnitger’s Conjecture. However, the supplied material presents it as part of a related lower-bound program centered on Jukna’s research problems and on attempts to obtain strong depth-3 circuit lower bounds from combinatorial covering arguments [2210.08300]. The explicit counterexample therefore blocks one direct route in that broader program while leaving open other approaches.

## 6. Status, open directions, and disambiguation

The current status, on the basis of the supplied papers, is mixed. The strongest positive result is that for **random linear operators**, arbitrary non-linear preprocessing does not circumvent a substantial query-time lower bound in the static cell-probe model, and this already yields new wire lower bounds for arbitrary-gate circuits [2509.02730]. At the same time, the full conjectural picture remains open. The same paper explicitly leaves open proving the conjecture for **explicit** linear operators, obtaining the stronger power-law lower bound
\[
t \ge \left(\frac{m}{s}\right)^c,
\]
and fully resolving the communication-form Multiphase Conjecture in its most general setting [2509.02730].

The paper also reports a partial resolution of the communication form of the Multiphase Conjecture by considering the Inner Product (mod 2) problem rather than Set Disjointness when the number of queries \(m\) is super-polynomial, for example \(2^{n^{1/3}}\), and the total update time is \(m^{0.99}\) [2509.02730]. Its progress on Jukna–Schnitger’s Conjecture is stated to apply as well to cases with super-polynomial \(m\). This situates the conjecture within a wider network of lower-bound problems linking data structures, communication, and circuits.

A further point of disambiguation is that not every conjecture bearing on dimensions, bounds, or lower-bound equivalences is related to Jukna–Schnitger. The paper "The Dimension Conjecture Implies The Jacobi Bound Conjecture" proves that the **Dimension Conjecture implies the Jacobi Bound Conjecture**, and, together with earlier work in the reverse direction, concludes that those two conjectures are equivalent in the authors’ framework [2603.17992]. The supplied material states explicitly that **Jukna–Schnitger’s Conjecture is not mentioned at all** in that paper, and no relation to the Dimension Conjecture or Jacobi Bound Conjecture is identified there [2603.17992].

Taken together, these results present Jukna–Schnitger’s Conjecture as an active lower-bound principle rather than a settled theorem. The best current evidence supports the intuition for random operators and against highly general nonlinear shortcuts, while related Jukna-centered combinatorial conjectures have shown that some older proposed routes to strong explicit lower bounds cannot succeed in their original form.

Source: https://www.emergentmind.com/topics/jukna-schnitger-s-conjecture