A Gauge Theory of Superposition: Toward a Sheaf-Theoretic Atlas of Neural Representations
Organizations: School of Computing, Dublin City University, Ireland
Abstract
We develop a discrete gauge-theoretic framework for superposition in large language models (LLMs) that replaces the single-global-dictionary premise with a sheaf-theoretic atlas of local semantic charts. Contexts are clustered into a stratified context complex; each chart carries a local feature space and a local information-geometric metric (Fisher/Gauss-Newton) identifying predictively consequential feature interactions. This yields a Fisher-weighted interference energy and three measurable obstructions to global interpretability: (O1) local jamming (active load exceeds Fisher bandwidth), (O2) proxy shearing (mismatch between geometric transport and a fixed correspondence proxy), and (O3) nontrivial holonomy (path-dependent transport around loops). We prove and instantiate four results on a frozen open LLM (Llama-3.2-3B Instruct) using WikiText-103, a C4-derived English web-text subset, and the-stack-smol. (A) After constructive gauge fixing on a spanning tree, each chord residual equals the holonomy of its fundamental cycle, making holonomy computable and gauge-invariant. (B) Shearing lower-bounds a data-dependent transfer mismatch energy, turning into an unavoidable failure bound. (C) We obtain non-vacuous certified jamming/interference bounds with high coverage and zero violations across seeds and hyperparameters. (D) Bootstrap and sample-size experiments show stable estimation of and , with improved concentration on well-conditioned subsystems.
Figures & tables
| Subsystem | Tree residual mean | Tree residual max | Chord/hol mean | Chord/hol max |
|---|---|---|---|---|
| Baseline ( ) | ||||
| Persistent ( ) |
| LCC size | #chords | mean | max | ||
|---|---|---|---|---|---|
| 0.0000 | 173 | 90 | 84 | 0.554 | 0.842 |
| 0.0100 | 129 | 84 | 46 | 0.517 | 0.799 |
| 0.0125 | 106 | 73 | 34 | 0.517 | 0.799 |
| 0.0150 | 90 | 62 | 29 | 0.508 | 0.799 |
| 0.0200 | 75 | 59 | 17 | 0.456 | 0.789 |
| Subsystem | slack min | slack | slack max | |||||
|---|---|---|---|---|---|---|---|---|
| Baseline | 173 | 0.0354 | 0.2080 | 0.2015 | 0.3743 | 2.314 | 7.802 | 399.525 |
| Persistent | 90 | 0.0637 | 0.1966 | 0.1910 | 0.3730 | 2.565 | 7.837 | 399.525 |
| Seed | Cert. charts | Cert. rate | Slack median | Slack min | Corr | Corr |
|---|---|---|---|---|---|---|
| 0 | 35 | 0.875 | 7.158 | 1.204 | 0.634 | 0.539 |
| 1 | 34 | 0.850 | 7.580 | 1.205 | 0.601 | 0.575 |
| 2 | 34 | 0.850 | 7.400 | 1.185 | 0.624 | 0.630 |
| 3 | 35 | 0.875 | 7.277 | 1.177 | 0.624 | 0.592 |
| 4 | 35 | 0.875 | 8.157 | 1.181 | 0.607 | 0.534 |
| Cert. charts | Cert. rate | Slack median | Slack min | Corr | Corr | |
|---|---|---|---|---|---|---|
| (128, 0.5) | 35 | 0.875 | 6.785 | 1.198 | 0.464 | 0.464 |
| (128, 1.0) | 36 | 0.900 | 6.801 | 1.198 | 0.538 | 0.550 |
| (256, 0.5) | 34 | 0.850 | 6.746 | 1.204 | 0.497 | 0.477 |
| (256, 1.0) | 35 | 0.875 | 7.158 | 1.204 | 0.634 | 0.539 |
| (512, 0.5) | 34 | 0.850 | 7.054 | 1.202 | 0.424 | 0.292 |
| (512, 1.0) | 34 | 0.850 | 8.566 | 1.202 | 0.662 | 0.620 |
| Subsystem | Metric | #samples | mean | std | q05 | q50 | q95 |
|---|---|---|---|---|---|---|---|
| Baseline | 10000 | 0.2403 | 0.0689 | 0.0966 | 0.2463 | 0.3334 | |
| Baseline | 1200 | 0.5772 | 0.0977 | 0.4277 | 0.5777 | 0.7386 | |
| Persistent ( ) | 10000 | 0.2033 | 0.0629 | 0.0845 | 0.2104 | 0.2951 | |
| Persistent ( ) | 4200 | 0.5454 | 0.1355 | 0.3875 | 0.5038 | 0.8018 |
| mean | std | |
|---|---|---|
| 256 | 0.69348 | 0.00760 |
| 512 | 0.70326 | 0.00515 |
| 1024 | 0.70058 | 0.00588 |
| 2000 | 0.70735 | 0.00537 |
| 4000 | 0.70086 | 0.00824 |
| mean | std | |
|---|---|---|
| 256 | 0.07365 | 0.00606 |
| 512 | 0.05668 | 0.00394 |
| 1024 | 0.04654 | 0.00247 |
| 2000 | 0.04146 | 0.00193 |
| 2736 | 0.03994 | 0.00169 |
| mean | std | |
|---|---|---|
| 256 | 0.48596 | 0.03030 |
| 512 | 0.44759 | 0.02893 |
| 1024 | 0.44692 | 0.02899 |
| 2000 | 0.44595 | 0.02749 |
| 4000 | 0.44489 | 0.02925 |
| mean | std | |
|---|---|---|
| 256 | 0.56800 | 0.02492 |
| 512 | 0.54174 | 0.02157 |
| 1024 | 0.52724 | 0.02404 |
| 2000 | 0.52747 | 0.02169 |
| 4000 | 0.52957 | 0.02452 |
Appendix figures & tables16 assets
Supplementary material from the paper’s appendix.
Appendix
| Setting | Value |
|---|---|
| Baseline model | meta-llama/Llama-3.2-3B-Instruct |
| Additional model 1 | Qwen/Qwen2.5-3B-Instruct |
| Additional model 2 | google/gemma-2-2b-it |
| Layer | |
| Activation budget | tokens |
| Sequence length |
| Metric | Llama 3.2 3B Instruct | Qwen 2.5 3B Instruct | Gemma 2 2B IT |
|---|---|---|---|
| Connected components | 7 | 10 | 6 |
| Largest connected component size | 90 | 78 | 106 |
| Usable edges in LCC | 173 | 138 | 185 |
| Tree edges | 89 | 77 | 105 |
| Chord edges | 84 | 61 | 80 |
| Tree residual mean |
| Metric | Llama 3.2 3B Instruct | Qwen 2.5 3B Instruct | Gemma 2 2B IT |
|---|---|---|---|
| Clusters analysed | 40 | 40 | 40 |
| Clusters with positive certified bound | 35 | 38 | 40 |
| Certification rate | 87.5% | 95.0% | 100.0% |
| Certified slack min | 1.204 | 2.061 | 1.980 |
| Certified slack median | 7.158 | 6.834 | 3.368 |
| Certified slack mean | 10.938 | 9.663 | 4.038 |
| Metric | Llama 3.2 3B Instruct | Qwen 2.5 3B Instruct | Gemma 2 2B IT |
|---|---|---|---|
| Usable edges | 173 | 170 | 191 |
| Slack min | 2.314 | 2.644 | 3.290 |
| Slack median | 7.802 | 11.055 | 9.541 |
| Slack mean | 14.634 | 39652.777 | 28.476 |
| Slack max | 399.525 | 5368921.276 | 2073.852 |
| min | 0.0354 | 0.0669 | 0.0415 |
| Setting | Value |
|---|---|
| Model | meta-llama/Llama-3.2-3B-Instruct |
| Layers tested | |
| Activation budget | tokens |
| Sequence length | |
| Sampling stride | every tokens |
| Number of clusters |
| Metric | Layer 4 | Layer 8 | Layer 12 | Layer 16 | Layer 20 | Layer 24 |
| Connected components | 9 | 6 | 9 | 7 | 11 | 8 |
| Largest connected component size | 40 | 95 | 70 | 90 | 81 | 51 |
| Tree residual mean | ||||||
| Chord edges | 24 | 76 | 101 | 84 | 85 | 80 |
| Normalised holonomy mean | 0.668 | 0.578 | 0.430 | 0.554 | 0.607 | 0.588 |
| Normalised holonomy max | 0.841 | 0.915 | 0.780 | 0.842 | 0.890 | 0.794 |
| Setting | Value |
|---|---|
| Model | meta-llama/Llama-3.2-3B-Instruct |
| Layer | |
| Seeds tested | |
| Activation source | fixed baseline activations |
| Graph source | fixed baseline cluster graph |
| Number of clusters |
| Metric | Seed 0 | Seed 1 | Seed 2 | Seed 3 | Seed 4 |
| Largest connected component size | 90 | 90 | 90 | 90 | 90 |
| Chord edges | 84 | 84 | 84 | 84 | 84 |
| Tree residual mean | |||||
| Normalised holonomy mean | 0.5541 | 0.5445 | 0.5582 | 0.5556 | 0.5453 |
| Normalised holonomy max | 0.8420 | 0.8546 | 0.8851 | 0.8925 | 0.8566 |
| Saved clusters for jamming | 124 | 124 | 124 | 124 | 124 |
| Metric | Mean across seeds | Std. across seeds |
|---|---|---|
| Normalised holonomy mean | 0.5515 | 0.0061 |
| Clusters with positive certified bound | 34.6 | 0.5 |
| Certified slack median | 7.514 | 0.365 |
| 0.618 | 0.012 | |
| 0.574 | 0.036 | |
| Slack median | 8.198 | 0.170 |
| Metric | Baseline Llama | Random-bases null |
|---|---|---|
| Largest connected component size | 90 | 90 |
| Chord edges | 84 | 84 |
| Tree residual mean | ||
| Normalised holonomy mean | 0.554 | 1.002 |
| Normalised holonomy max | 0.842 | 1.045 |
| Usable edges in shearing analysis | 183 | 183 |
| Setting | Value |
|---|---|
| Model | meta-llama/Llama-3.2-3B-Instruct |
| Layer | |
| Atlas sizes tested | |
| Local basis dimensions tested | |
| Activation budget | tokens |
| Sequence length |
| Metric | ||||||
| Graph edges | 310 | 310 | 580 | 580 | 1188 | 1188 |
| Saved edge ops | 142 | 142 | 192 | 192 | 171 | 171 |
| Connected components | 2 | 2 | 7 | 7 | 28 | 28 |
| Largest connected component size | 55 | 55 | 90 | 90 | 99 | 99 |
| Chord edges in LCC | 85 | 85 | 84 | 84 | 23 | 23 |
| Tree residual mean |
| Setting | Value |
|---|---|
| Model | meta-llama/Llama-3.2-3B-Instruct |
| Layer | |
| Activation source | fixed baseline activations |
| Atlas size | |
| Local basis dimension | |
| Graph degrees tested |
| Metric | (baseline) | ||
| Graph edges | 388 | 580 | 780 |
| Saved edge ops | 177 | 192 | 200 |
| Connected components | 10 | 7 | 7 |
| Largest connected component size | 84 | 90 | 90 |
| Chord edges in LCC | 74 | 84 | 92 |
| Tree residual mean |
| Setting | Value |
|---|---|
| Model | meta-llama/Llama-3.2-3B-Instruct |
| Layer | |
| Activation source | fixed baseline activations |
| Graph source | fixed baseline cluster graph |
| Local bases source | fixed baseline local bases |
| Atlas size |
| Metric | (baseline) | ||
|---|---|---|---|
| Saved edge ops | 192 | 192 | 192 |
| Connected components | 7 | 7 | 7 |
| Largest connected component size | 90 | 90 | 90 |
| Chord edges in LCC | 84 | 84 | 84 |
| Tree residual mean | |||
| Normalised holonomy mean | 0.554125 | 0.554122 | 0.554091 |
LLM Interpretability
Large language model (LLM) interpretability studies how internal representations and computations produce outputs, and how they can be explained or controlled.
See all 778 papers