Linear-Readout Floors and Threshold Recovery in Computation in Superposition
For researchers in neural computation and superposition, this clarifies the boundary between linear and nonlinear readout regimes, though the result is primarily conceptual and leaves open the design of robust nonlinear resets.
The paper reconciles two different capacity regimes for computation in superposition by formalizing distinct interface invariants, and proves a Welch-type lower bound showing that linear readouts incur unavoidable cross-talk at high feature loads, while threshold recovery succeeds at quadratic capacity with sufficient sparsity.
Two recent approaches to computation in superposition reach different recursive capacity regimes: Hänni et al. certify $\tilde{O}(d^{3/2})$ computable features in width $d$ via an approximate-linear recursive template, while Adler and Shavit reach near-quadratic capacity (up to logarithmic factors) using thresholded Boolean recovery. The main contribution of this paper is conceptual: we argue these results are not contradictory because they maintain different interface invariants, and we formalize the distinction. As a tool, we record a rank-trace Welch-type lower bound for biorthogonal linear readouts: for $F \gg d$, the worst-case off-diagonal cross-talk of any unit-diagonal linear readout is $Ω(d^{-1/2})$, and the bound is tight on average for unit-norm tight frames. At quadratic feature load $F=d^2$, random-support threshold recovery succeeds for sparsities $s=O(d/\log d)$, while linear readouts still incur $Ω(s/d)$ average per-coordinate squared error on Bernoulli sparse states. Matching the Welch floor against the published tolerance of the Hänni correction layer explains the $d^{3/2}$ scale as a compatibility threshold for that template, not a universal upper bound. Robust nonlinear reset beyond the Hänni template is left open.