Improved Depth-2 Linear Circuits for Disjointness via Quenched Lyapunov Exponents

Abstract

Let $R_1 := \begin{pmatrix}1&1\\1&0\end{pmatrix}$, and write $R_n := R_1^{\otimes n}$ for the $N \times N$ disjointness matrix, where $N = 2^n$. We construct new depth-2 linear circuits for $R_n$: one of size $O(N^{1.2449})$ and one of maximum input-output degree $O(N^{0.3199})$, improving upon the results of Alman and Li [AL25] (FOCS 2025), who achieved size $O(N^{1.2495})$ and degree $O(N^{1/3})$. In this paper, we develop a number of mechanisms for designing depth-2 linear circuits that compute linear transforms represented by Kronecker powers of a general base matrix. For $R_1$ in particular, we obtain our refined bounds by expressing a certain recursive circuit construction as a random matrix product and analyzing its quenched Lyapunov exponent, a quantity studied in the theory of random dynamical systems. Our new upper bounds imply faster deterministic algorithms for #OV, more efficient online data structures for the Subset Query and Partial Match primitives, and smaller low-depth linear circuits for both disjointness and a class of related non-Kronecker-power matrices.