[2605.01192] Linear-Readout Floors and Threshold Recovery in Computation in Superposition
Abstract: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 $\Omega(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 $\Omega(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.
Near-Floor Geometry Is Generic: Leverage Dispersion in Trained Overcomplete Codes Hector Borobia hecboar@doctor.upv.es VRAIN, Universitat Politècnica de València, Spain Elies Seguí-Mas esegui@upvnet.upv.es Universitat Politècnica de València,…
saved by
related reading
- [2608.27540] Towards a mathematical theory of superpositionarxiv.org
- Toy Models of Superpositiontransformer-circuits.pub
- [2605.01172] A Theory of Generalization in Deep Learningarxiv.org
- [2410.12101] The Persian Rug: solving toy models of superposition using large-scale symmetriesarxiv.org
- arxiv.org/pdf/1805.08522arxiv.org
- [Interim research report] Taking features out of superposition with sparse autoencoders — LessWronglesswrong.com
- [2605.06546] Efficient Pre-Training with Token Superpositionarxiv.org
- [2604.24737] Learning to Think from Multiple Thinkersarxiv.org
- Sparse Autoencoders Find Highly Interpretable Features in Language Modelsarxiv.org
- 2502.11089arxiv.org
- 浡琀栀猀昀 愀氀氀漀眀攀搀 漀渀氀礀 椀渀 洀愀琀栀 洀漀搀攀䘀䤀䌀匀 愀渀搀慴hsf allowed only in math modeFACS: Fast IOPPs and Accumulation via Code-Switchingeprint.iacr.org
- [2608.00140] Discrepancy Theory: An Algorithmic and Geometric Perspectivearxiv.org