aiqbench analysis
This research investigates the dimensional requirements for computing Boolean gates within neural superposition, distinguishing between error metrics based on expected counts versus joint reliability. The study reveals a geometric distinction where vanishing expected errors follow a "ball" geometry while ensuring high-probability correctness requires a "box" geometry due to rare shared readout failures. These findings provide explicit thresholds for logical operations like conjunction and disjunction, offering critical insights into the theoretical limits of feature packing in next-generation neural architectures.
The Ball and the Box: Two Geometries of Computation in Superposition
arXiv:2610.11744v1 Announce Type: new Abstract: Neural representations can encode more features than they have dimensions, a phenomenon known as superposition. We study the dimension needed to compute Boolean gates from such representations. For a single threshold layer with a Gaussian random dictionary and uniformly random sparse Boolean inputs, we derive sharp dimension thresholds under two error criteria. A vanishing expected error count can require more dimensions than correctness of every output with high probability. Shared reads explain the gap: rare realizations can produce many errors at once. The expected-count threshold has ball geometry, while joint reliability has box geometry when a gate is evaluated on every feature tuple. Optimizing shared readout weights and biases gives explicit thresholds for conjunction, disjunction, and majority. For pairwise conjunction, the analysis also describes the transition near the threshold, in agreement with exact simulations.
Abstract:Neural representations can encode more features than they have dimensions, a phenomenon known as superposition. We study the dimension needed to compute Boolean gates from such representations. For a single threshold layer with a Gaussian random dictionary and uniformly random sparse Boolean inputs, we derive sharp dimension thresholds under two error criteria. A vanishing expected error count can require more dimensions than correctness of every output with high probability. Shared reads explain the gap: rare realizations can produce many errors at once. The expected-count threshold has ball geometry, while joint reliability has box geometry when a gate is evaluated on every feature tuple. Optimizing shared readout weights and biases gives explicit thresholds for conjunction, disjunction, and majority. For pairwise conjunction, the analysis also describes the transition near the threshold, in agreement with exact simulations.
Machine Learning (cs.LG)
arXiv:2610.11744 [cs.LG]
(or arXiv:2610.11744v1 [cs.LG] for this version)
https://doi.org/10.48550/arXiv.2610.11744 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 228 words
Related coverage

Confirming Claims of Superposition and Adversarial Examples in Toy Models
LessWrong · Aug 1, 2026

PIRAMID: Progress and Plans
LessWrong · Jul 27, 2026
Running Variational Quantum Eigensolver with Qiskit Aer on AMD Instinct
AMD · May 29, 2026
Sparse Quantum Voxel Encoding for Readout-Efficient Molecular Geometry Reconstruction on NISQ Devices
arXiv · Jul 30, 2026