Phase Space Attention:A Hairer Lift Circumvents the Single-Layer Induction Obstruction
Organizations: Qualcomm Cloud AI Division, Santa Clara, CA
Abstract
We circumvent the Sanford-Hsu-Telgarsky (SHT) single-layer induction obstruction within a linear, one-step, causal, bilinear, symplectically consistent design class on the post-RoPE substrate, by lifting attention onto a symplectic phase space, mirroring Hairer's lift of Stormer-Verlet. The lift exits the premise of the SHT counting argument rather than the bound itself. The reframing exhibits the obstruction as a filter-order gap: a one-layer bilinear score realises a -transform of joint order , whereas the induction discriminator requires key-side order . Applying the symplectic upper shear to the post-RoPE query and key streams closes it. We prove this lift is unique within the factorised subclass, exactly symplectic at operator level, and requires post-RoPE placement; and in an explicit -only Gaussian reduction we derive a closed-form two-branch induction phase transition, held out at with zero fitted parameters. That law is an analytically solvable limit, not a robust prediction: restoring the channel moves at from 1.030 to 0.569 and removes the crossover. Deployability follows by exact derivation: the KV cache is unchanged, prefix reuse and speculative decoding are preserved, overhead is FLOPs per token per layer, INT8 headroom grows by at most bits, fused kernels are unmodified, and no parameters are added. At 91.3M parameters a supercritical sweep locates an emergence band: induction forms 3/3 seeds at in a mean of 717 steps, against 2/3 seeds and 2700 steps at . Adverse results are reported as directly: a key-only half-lift reaches 0.949 against 0.811 for the symmetric operator, so if induction accuracy is the objective, the half-lift is the better construction. Forty-one notebooks and result files ship as ancillary material.
Figures & tables
| Operator | Order | Accuracy | What it carries |
|---|---|---|---|
| Query-only | Nothing: wrong axis; capped at , and below chance because the previous-token position takes the argmax (Cor. 68 , Rem. 2 ) | ||
| Key-only | Representability, and the best accuracy in the battery. Its own transition law (Cor. 69 ) | ||
| Asymmetric | Symplectic and energy-preserving, but an exact score bias and no transport identity (Prop. 36 ) | ||
| Symmetric | Uniqueness (Thm. 27 ); transport identity (Prop. 34 ); the channel and the two-branch law of the reduced model (Thm. 64 ); self-adjoint higher-order completion; Differential Transformer at first order (Prop. 81 ) |
| Family | (C1) | (C2) | Operational | Verdict |
|---|---|---|---|---|
| Upper shear | yes | yes (Prop. 13 ) | yes | admissible |
| Lower shear | yes | no, all-pass (Cor. 21 ) | no (Prop. 20 ) | dismissed |
| Skew (F3) | yes | — | moves the momentum block (Prop. 24 ) | outside the class |
| Rotation ( RoPE reuse) | yes | yes | breaks factorisation (Prop. 26 ) | dismissed |
| Classical statement (integrator) | Requires | Attention-side analogue |
|---|---|---|
| is the exact flow of a quadratic Hamiltonian; symplectic at each application | one application | Asserted. Theorem 38 (i)–(ii); certificate C6 |
| Order of the stencil is raised from to by passing to phase space | algebra only | Asserted in the filter-order image: joint order (§ 2 , Thm. 27 ) |
| Self-adjointness of the symmetric composition | algebra only | Asserted as the transport identity, Prop. 34 |
| Existence of a modified Hamiltonian conserved to all orders | iterated map | Not asserted. No iterate exists; see ( 36 ) |
| Energy error bounded over times ; secular drift absent | iterated map, small step, analytic field | Not asserted. No long-time or depth-wise stability claim is made |
| Secular energy growth for the non-symplectic alternative | iterated map | Not asserted. The perturbation statement we make is per application, Thm. 38 (iii) |
| Notebook | Protocol | Hardware | Wall time |
|---|---|---|---|
| Certificates C1–C10 | SymPy ring normal forms and float64 numerics; ten independent algebraic and numerical checks | CPU | min |
| Score-model sweep | ; 5 seeds, trials per point, 61-point grid on | A100 | 198 s |
| -axis validation | with ; same extraction | CPU | min |
| Trained ladder | , , ; 3 seeds 3,000 steps on an eleven-point grid, pairs | A100 | 47.0 min |
| Matched control battery | Seven mechanisms, one protocol: , , , 3 seeds 3,000 steps, taps post- RoPE , untouched | A100 | 24.2 min |
| Spectral rerun | Retraining from scratch at each of six couplings; , with 30 pairs, 3,000 steps; 200 evaluation sequences | A100 | 1.9 min |
| Theorem | Prediction | Metric | Result | Failure mode |
|---|---|---|---|---|
| Prop. 13 | Closed-form | Pearson vs. closed-form | – pre-softmax across | NS baseline: at (Appendix A10, C15) |
| Thm. 38 | at operator level | Symplectic residual; HSF/ scaling | exactly (C6); HSF (Appendix A10) | ablation: Bode (Appendix A10) |
| Prop. 34 | Symmetric score is the transported pairing | Symbolic identity | Exact; asymmetric current is no total difference (C9) | — |
| Prop. 36 | Unequal shears symplectic; bias linear in | Residual; exact score difference | exactly (C4); bias exact (C5); trains to | — |
| Cor. 41 | Coriolis penalty pre- RoPE | Controlled placement comparison | Post- RoPE better under the tested protocols, 2k runs (Appendix A30) | — |
| Thm. 64 | ( ), ( ) | Held-out MC grid | (9 pts, 0 params); at vs. | Depth law fails at (Appendix A7) |
| Notebook | Where | What it establishes |
|---|---|---|
| Battery (§ 7.1 ): seven notebooks, one matched protocol. | ||
| PSA_Certificates | § 7.15 | Certificates C1–C10: the annealed crossing, the crossover , the quartic root and its asymptote, symplecticity and energy preservation of unequal shears, the exact score bias, the operator residual, the plateau quadrature, the quartic against fresh-seed Monte Carlo, the transport identity, and Pearson scale invariance |
| PSA_MC_dk_sweep_with_results | § 7.9 | Score-model Monte-Carlo grid, , five seeds and trials per point; the held-out mean-field test, over nine points with no fitted parameter |
| PSA_T_axis_condensed_validation | § 7.10 | The condensed branch along the axis at fixed ; on branch, and the condensation constant on a second axis |
| PSA_trained_dk_overlay_with_results | § 7.11 | The trained ladder: falling with head width, plateaus against the zero-parameter score-model argmax limit, and the measured operating-point ratio |
| PSA_control_battery_results | § 7.5 | Seven mechanisms under one protocol: query-only never above chance, key-only strongest, low-pass lagging, and the learned two-tap converging to a pure key-side difference |
| Variant | Order | Best accuracy | Attained at | Reading |
|---|---|---|---|---|
| One-layer baseline | — | below the ceiling; cf. Prop. 1 , Rem. 2 | ||
| Query-only shift | same class, same value at every ; cf. Cor. 68 | |||
| Key-only shift | minimal member; strongest fixed variant | |||
| PSA symmetric | rises monotonically from | |||
| Asymmetric | bias absorbed, as Prop. 36 predicts | |||
| Low-pass two-tap | non-DC-neutral | differencing, not generic context |
| Attention side | Filter order | Integrator analogue | Measured |
|---|---|---|---|
| Standard bilinear | no lift: the obstruction | ||
| Query-only shear | first-order rule, wrong axis | ||
| Key-only shear | exact flow of ; no swap symmetry | ||
| Asymmetric | exact flow of a two-coefficient quadratic; no transport identity (C9) | ||
| Low-pass two-tap | non-DC-neutral | dissipative smoother | |
| Learned two-tap | learned | discovers from data |
| accuracy drop | ||||||||
|---|---|---|---|---|---|---|---|---|
| global | ||||||||
| first block only | ||||||||
| last block only | ||||||||
| first global |
| Supports | Verifies | Outcome | |
|---|---|---|---|
| C1 | Thm. 64 (2) | Gaussian MGF by direct integration; annealed exponent | exact, symbolic |
| C2 | Thm. 64 (4) | at ; crossover | exact, symbolic |
| C3 | Thm. 64 (3) | quartic root closed form, asymptote, monotonicity in both arguments | exact, symbolic |
| C4 | Prop. 36 (i)–(ii) | asymmetric shear is symplectic and preserves | residual exactly at |
| C5 | Prop. 36 (iii) | exact, symbolic | |
| C6 | Thm. 38 (i) | symbolically and numerically | residual exactly at |
| configuration | overhead | ||
|---|---|---|---|
| small on-device | 1024 | 2048 | |
| mid on-device | 2048 | 4096 | |
| server class | 4096 | 4096 | |
| long context | 4096 | 32768 |
| range factor | (bits) | INT8 levels retained | |
|---|---|---|---|
| 0.05 | 1.10 | 0.14 | 233/256 |
| 0.10 | 1.20 | 0.26 | 213/256 |
| 0.20 | 1.40 | 0.49 | 183/256 |
| 0.40 | 1.80 | 0.85 | 142/256 |
| quantity | PSA relative to standard attention |
|---|---|
| parameters | identical: the operator adds none |
| KV-cache size | identical; cache the sheared keys (Prop. 73 ) |
| extra persistent state | scalars, independent of ( of the cache) |
| FLOPs per token, per layer | , i.e. ; in practice |
| prefill | same fraction; fully vectorised, no recurrence |
| prefix caching | unaffected (causal two-tap FIR, Prop. 76 ) |
Appendix figures & tables184 assets
Supplementary material from the paper’s appendix.
Appendix
| Component | Mean | Ratio to |
|---|---|---|
| : (position–position) | ||
| : (Q-mom K-pos) | ||
| : (Q-pos K-mom) | ||
| : (momentum–momentum) |
| Parameter | Value |
|---|---|
| Architecture | 4-layer transformer decoder, causal mask |
| head dim | |
| FFN dimension | 512 |
| Dropout | 0.1 |
| Vocabulary size | 202 |
| Momentum coupling | (fixed) |
| 0.0 | 94.0 | 86.5 | 49.3 | 12.1 | 5.1 |
| 0.1 | 87.9 | 71.3 | 20.0 | 6.7 | 3.9 |
| 0.2 | 74.7 | 40.7 | 11.2 | 5.5 | 3.0 |
| 0.3 | 56.7 | 21.4 | 8.1 | 3.9 | 3.5 |
| 0.4 | 43.6 | 16.0 | 6.5 | 3.9 | 2.9 |
| 0.5 | 34.3 | 12.0 | 6.1 | 3.3 | 2.9 |
| Quantity | Value |
|---|---|
| Mean accuracy, (pure high-pass, momentum) | |
| Mean accuracy, (heavy low-pass, momentum) | |
| Mean accuracy, vanilla attention (no momentum) | |
| Pearson | |
| Correlation -value | |
| Parameter | Value |
|---|---|
| Architecture | 4-layer transformer decoder, 4 heads, head dim 32 |
| Dropout | 0.1 |
| Vocabulary size | 200 |
| Chain length | 12 KV pairs (sequence length 25) |
| Momentum form | Pure high-pass ( ) |
| Sinusoidal PE (%) | RoPE (%) | |||
|---|---|---|---|---|
| 0.00 | 4.9 | 1.2 | 5.5 | 0.5 |
| 0.01 | 4.4 | 0.3 | 6.5 | 1.2 |
| 0.02 | 5.1 | 1.0 | 5.1 | 0.7 |
| 0.03 | 4.3 | 1.1 | 5.4 | 0.3 |
| 0.04 | 5.0 | 0.2 | 5.9 | 0.4 |
| 0.05 | 4.1 | 0.8 | 7.1 | 0.2 |
| Encoding | Peak acc. | at | |
|---|---|---|---|
| RoPE | |||
| Sinusoidal PE | |||
| Ratio | |||
| Implied |
| Parameter | Value |
|---|---|
| Vocabulary size | |
| (strictly) | |
| RoPE base |
| Acc (%) | Acc (%) | Acc (%) | |||
|---|---|---|---|---|---|
| 0.00 | 1.2 | 1.00 | 70.2 | 2.40 | 75.0 |
| 0.05 | 4.4 | 1.10 | 69.4 | 2.50 | 77.6 |
| 0.10 | 4.6 | 1.20 | 62.6 | 3.00 | 76.8 |
| 0.15 | 6.4 | 1.30 | 65.8 | 3.20 | 75.6 |
| 0.20 | 7.8 | 1.40 | 70.4 | 3.50 | 79.0 |
| 0.30 | 18.2 | 1.50 | 74.8 | 4.00 | 83.4 |
| Predicted | sweep | |
|---|---|---|
| 1 | ||
| 2 | ||
| 4 | ||
| 8 |
| accuracy (%) at each | |||||||
|---|---|---|---|---|---|---|---|
| Parameter | Value |
|---|---|
| Architecture | nano (identical to E16, E17) |
| Chain length | KV pairs |
| Sequence length | tokens |
| Depth grid | — six values |
| Seeds per config | |
| grid size | 15 values per depth, centered on predicted |
| Predicted | Observed | Best acc. (%) | SEM (%) | Baseline (%) | |
|---|---|---|---|---|---|
| Parameter | E17 ( ) | E18 ( ) |
|---|---|---|
| Seeds/config | 1 | 3 |
| Depths fitted | 4 | 6 |
| Parameter | Value |
|---|---|
| Architecture | nano, post- RoPE PSA |
| (KV pairs) | |
| Sequence length | |
| Query position | |
| Training steps | |
| RoPE base |
| Acc (%) | Acc (%) | Acc (%) | |||
|---|---|---|---|---|---|
| 0.00 | 1.3 | 1.20 | 66.9 | 2.40 | 60.3 |
| 0.20 | 2.0 | 1.40 | 70.4 | 2.60 | 59.3 |
| 0.40 | 9.3 | 1.60 | 71.5 | 2.80 | 49.0 |
| 0.60 | 29.8 | 1.80 | 72.6 | 3.00 | 29.4 |
| 0.80 | 45.5 | 2.00 | 74.2 | ||
| 1.00 | 57.6 | 2.20 | 73.2 |
| Accuracy (%) | Baseline (%) | ||
|---|---|---|---|
| 1 | 1.60 | 73.2 | 1.5 |
| 2 | 1.60 | 71.3 | 1.5 |
| 3 | 2.40 | 71.1 | 2.3 |
| 4 | 1.80 | 60.1 | 1.7 |
| 6 | 1.50 | 59.8 | 1.6 |
| 8 | 1.00 | 14.1 | 1.4 |
| Mean | Std | SS regime? | |
|---|---|---|---|
| 0.0 | NO | ||
| 0.6 | NO | ||
| 1.2 | NO | ||
| 1.8 | NO | ||
| 2.4 | NO | ||
| 3.0 | NO |
| gap | gap | gap | gap | ? | |
| 0.0 | by construction | ||||
| 0.6 | YES | ||||
| 1.2 | YES | ||||
| 1.8 | YES | ||||
| 2.4 | YES | ||||
| 3.0 | YES | ||||
| Ratio | ||||
|---|---|---|---|---|
| 0.0 | – | |||
| 0.6 | ||||
| 1.2 | ||||
| 1.8 | ||||
| 2.4 | ||||
| 3.0 |
| Mean | Rel. range | Flat ( )? | |
|---|---|---|---|
| 0.6 | DRIFT | ||
| 1.2 | DRIFT | ||
| 1.8 | DRIFT | ||
| 2.4 | DRIFT | ||
| 3.0 | DRIFT |
| HSF post | HSF pre | |||||
|---|---|---|---|---|---|---|
| 0.0 | 0 | 0 | – | 0 | 0 | – |
| 0.6 | ||||||
| 1.2 | ||||||
| 1.8 | ||||||
| 2.4 | ||||||
| 3.0 |
| Post-softmax | Pre-softmax (v7 fix) | |||||
|---|---|---|---|---|---|---|
| mean | mean Nyq | theory Nyq | mean | mean Nyq | theory Nyq | |
| 0.0 | ||||||
| 0.6 | ||||||
| 1.2 | ||||||
| 1.8 | ||||||
| 2.4 | ||||||
| frac AC | |||
|---|---|---|---|
| 0.0 | |||
| 0.6 | |||
| 1.2 | |||
| 1.8 | |||
| 2.4 | |||
| 3.0 |
| (LHS) | RHS | discrepancy | zero-sum mean viol. | |
|---|---|---|---|---|
| 0.0 | ||||
| 0.6 | ||||
| 1.2 | ||||
| 1.8 | ||||
| 2.4 | ||||
| 3.0 |
| band | (rad) | theory | observed rel. err |
|---|---|---|---|
| 0 | |||
| 1 | |||
| 2 | |||
| 3 | |||
| 4 | |||
| 5 |
| mean | std | status | |
|---|---|---|---|
| 0.0 | non-SS | ||
| 0.6 | non-SS | ||
| 1.2 | non-SS | ||
| 1.8 | non-SS | ||
| 2.0 | PASS — FP-18b CONFIRMED ( ) | ||
| 2.4 | non-SS |
| verdict | ||||
|---|---|---|---|---|
| 0.0 | baseline | |||
| 0.6 | FIX DECISIVE | |||
| 1.2 | FIX DECISIVE | |||
| 1.8 | FIX DECISIVE | |||
| 2.0 | FIX DECISIVE | |||
| 2.4 | FIX DECISIVE |
| Post-softmax | Pre-softmax (v7/v8 fix) | |||
|---|---|---|---|---|
| mean | mean Nyq | mean | mean Nyq | |
| 0.0 | ||||
| 0.6 | ||||
| 1.2 | ||||
| 1.8 | ||||
| 2.0 | ( ) | ( ) | ||
| Parameter | Value |
|---|---|
| Architecture | nano (identical to v7/v8) |
| grid | — 16 pts |
| Fine T3/T4 grid | — 17 pts |
| sweep (FP-21/22) | with |
| Seeds (FP-24) | |
| Training steps |
| mean | Nyq obs | Nyq theory | compression | |
|---|---|---|---|---|
| 0.0 | – | |||
| 0.4 | ||||
| 0.6 | ||||
| 0.8 | ||||
| 1.0 | ||||
| 1.2 |
| gap | gap | gap | gap | dominant | |
|---|---|---|---|---|---|
| 0.60 | |||||
| 0.65 | |||||
| 0.70 | |||||
| 0.75 | |||||
| 0.80 | |||||
| 0.85 |
| HSF post | HSF pre | pre post? | regime | |
|---|---|---|---|---|
| 0.4 | FAIL | low- Fréchet | ||
| 0.6 | FAIL | low- Fréchet | ||
| 0.8 | FAIL | low- Fréchet | ||
| 1.0 | OK | interior | ||
| 1.2 | OK | interior | ||
| 1.4 | OK | interior |
| causal rel. range | stationary rel. range | verdict | |
|---|---|---|---|
| 0.6 | CHECK (stat) | ||
| 1.2 | PASS (stat flat) | ||
| 1.8 | PASS (stat flat) | ||
| 2.0 | CHECK (stat) | ||
| 2.4 | CHECK (stat) | ||
| 3.0 | CHECK (stat) |
| PSA slope/pos | NS slope/pos | NS slope PSA? | |
|---|---|---|---|
| 0.6 | CONFIRMED | ||
| 1.2 | CHECK (NS more negative) | ||
| 2.0 | CHECK (NS more negative) | ||
| 3.0 | CONFIRMED |
| PSA acc | ablated acc | std attn acc | FP-16 | |
|---|---|---|---|---|
| 1.0 | CONFIRMED | |||
| 1.4 | CONFIRMED | |||
| 2.0 | partial | |||
| 2.4 | partial | |||
| 3.0 | partial (reversed) |
| observed (50% thresh.) | peak acc | |||
|---|---|---|---|---|
| (never reaches 50%) | at | |||
| at | ||||
| at |
| seed | PSA-1L ( ) | Std-1L | Std-2L |
|---|---|---|---|
| 42 | |||
| 123 | |||
| 456 | |||
| 789 | |||
| 1011 | |||
| mean std |
| band | theory | observed | obs/th | joint align | |
|---|---|---|---|---|---|
| 0 | |||||
| 1 | |||||
| 2 | |||||
| 3 | |||||
| 4 | |||||
| 5 |
| FP-29 | ||||
|---|---|---|---|---|
| 0.6 | CONFIRMED | |||
| 1.2 | CONFIRMED | |||
| 1.8 | CONFIRMED | |||
| 2.0 | CONFIRMED | |||
| 2.4 | CONFIRMED | |||
| 3.0 | CONFIRMED |
| Parameter | Value |
|---|---|
| Vocabulary size | |
| , , | , , |
| Chain length | KV pairs (sequence length ) |
| Training | samples, batch , epochs |
| Optimizer | AdamW, lr , wd |
| RoPE family | Bandpass, bandwidth |
| Parameter | Value |
|---|---|
| Architecture | nano single-block (identical to F1) |
| , , , | , , , |
| Chain length | KV pairs |
| Training | samples, batch , epochs, AdamW lr |
| RoPE family | Bandpass, |
| grid (15 log-spaced) | from to rad |
| mean acc | std | mean acc | std | ||
|---|---|---|---|---|---|
| peak accuracy | at | |
|---|---|---|
| – | ||
| (wrap-around) |
| Parameter | Value |
|---|---|
| Architecture | nano single-block (identical to F1, F2) |
| , , | , , |
| Vocabulary, chain length | , |
| RoPE family | Monochromatic — single scalar for all dimensions |
| Wavelength grid (6) | positions |
| Corresponding values | rad |
| wavelength | (rad) | |||||
|---|---|---|---|---|---|---|
| Parameter | Value |
|---|---|
| Architecture | nano single-block |
| , , , | , , , |
| Chain length | KV pairs (sequence length ) |
| Training | samples, batch , epochs, AdamW lr , wd |
| RoPE family | Bandpass, |
| grid (20 log-spaced) | from to rad |
| (rad) | (deg) | peak acc | baseline | gain | noise | |
|---|---|---|---|---|---|---|
| Parameter | Value |
|---|---|
| Architecture | 3-layer transformer with pre-LN, GELU MLP |
| , , , | , , , |
| Vocabulary | |
| Chain length | KV pairs (random per example) |
| Max sequence length | tokens |
| Dataset | train / test (fresh samples) |
| RoPE type | range ratio | ||
|---|---|---|---|
| Single-frequency | |||
| Bandpass | |||
| Multi-frequency |
| Single-frequency | Bandpass | Multi-frequency | |||||||
|---|---|---|---|---|---|---|---|---|---|
| acc (%) | SEM | acc (%) | SEM | acc (%) | SEM | ||||
| base | base | base | |||||||
| Task | baseline | momentum | |
|---|---|---|---|
| Associative Recall ( ) | pp | ||
| Variable Tracking ( ) | pp | ||
| Global Counting ( ) | pp |
| Task | ||||||||
|---|---|---|---|---|---|---|---|---|
| Associative Recall | ||||||||
| Associative Recall | ||||||||
| Variable Tracking | ||||||||
| Variable Tracking | ||||||||
| Global Counting | ||||||||
| Global Counting |
| Variant | Hops | Negation rate | Distractors | Baseline target |
|---|---|---|---|---|
| Original (pre-easing) | – | – | – | |
| v2 easing | – | – | – | |
| v3 easing | – | – | – | ceiling |
| v4 (this section) | – | – | – | target – |
| Difficulty | ||||||
|---|---|---|---|---|---|---|
| Easy | ||||||
| Easy | ||||||
| Medium | ||||||
| Medium | ||||||
| Hard | ||||||
| Hard |
| Difficulty | ||||||
|---|---|---|---|---|---|---|
| Easy | ||||||
| Easy | ||||||
| Medium | ||||||
| Medium | ||||||
| Hard | ||||||
| Hard |
| Difficulty | ||||||
|---|---|---|---|---|---|---|
| Easy | ||||||
| Easy | ||||||
| Medium | ||||||
| Medium | ||||||
| Hard | — | |||||
| Hard | — | — | — | — | — |
| Difficulty | ||||||
|---|---|---|---|---|---|---|
| Easy | ||||||
| Easy | ||||||
| Medium | ||||||
| Medium | ||||||
| Hard | ||||||
| Hard |
| Difficulty | ||||||
|---|---|---|---|---|---|---|
| Easy | ||||||
| Easy | ||||||
| Medium | ||||||
| Medium | ||||||
| Hard | ||||||
| Hard |
| Task | Mechanism | Baseline | Peak | Relative gain |
|---|---|---|---|---|
| Variable Tracking | ||||
| Multi-Hop w/ Negations | ||||
| Arithmetic CoT | ||||
| Global Counting |
| Task | |||||
|---|---|---|---|---|---|
| Arithmetic Carry | |||||
| List Reversal | |||||
| Parity | |||||
| Sorting (Min) | |||||
| Natural Induction |
| Task | Baseline | Peak | Peak | Peak | Peak gain |
|---|---|---|---|---|---|
| Majority | |||||
| Induction | |||||
| Trajectory | |||||
| Dyck |
| -statistic | |
|---|---|
| -value | |
| Majority mean gain (at ) | |
| Non-majority mean gain (at ) |
| Chain Vocab | ||||
|---|---|---|---|---|
| diff | baseline | peak | gain | best | best | ||
|---|---|---|---|---|---|---|---|
| Bin | Difficulty range | Mean baseline acc | Mean momentum gain |
|---|---|---|---|
| Hard | – | ||
| Very Hard | – |
| Pair | Pearson | |
|---|---|---|
| Rotational noise vs gain | ||
| Task difficulty vs gain | ||
| Baseline accuracy vs gain |
| Prediction | Result | Verdict |
|---|---|---|
| Low-pass filter (noise–gain ) | , | PASS |
| Difficulty sweet spot (Hard Very Hard) | , | PASS |
| Universal optimal (clusters in ) | median | PASS |
| Section | Task | Class | Peak gain | Low- best? | PSA-consistent? |
|---|---|---|---|---|---|
| A18 | Associative Recall | yes | yes | ||
| A18 | Variable Tracking | — | neutral (narrow sweep) | ||
| A18 | Global Counting | — | yes (harm as predicted) | ||
| A19 | Multi-Hop Eased | — | null (task out of band) | ||
| A20 | Variable Tracking | yes | yes | ||
| A20 | Multi-Hop w/ Negations | — | null (task out of band) |
| Metric | Baseline ( ) | Momentum ( ) | |
|---|---|---|---|
| Train loss |
| Hyp. | Statement | Measured | Verdict |
|---|---|---|---|
| H1 | PASS | ||
| H2 | decreases ( ) | FAIL | |
| H3 | increases ( ) | FAIL |
| Metric | Baseline ( ) | Momentum ( ) | |
|---|---|---|---|
| Hyp. | Statement | Measured | Verdict |
|---|---|---|---|
| H1 | PASS | ||
| H2 | decreases | FAIL | |
| H3 | increases | FAIL |
| Metric | Baseline ( ) | Momentum ( ) | |
|---|---|---|---|
| Hyp. | Statement | Measured | Verdict |
|---|---|---|---|
| H1 | PASS | ||
| H2 | decreases | FAIL | |
| H3 | increases | FAIL | |
| H4 | Deep-link improvement , | FAIL |
| Depth | Baseline | Momentum | (B M) | Winner |
| Momentum | ||||
| Baseline | ||||
| Baseline | ||||
| Baseline | ||||
| Baseline | ||||
| Baseline |
| Metric | Baseline ( ) | Momentum ( ) | |
|---|---|---|---|
| Hyp. | Statement | Measured | Verdict |
|---|---|---|---|
| H1 | PASS | ||
| H2 | decreases | PASS | |
| H3 | increases | PASS |
| Configuration | Baseline | Momentum | Verdict |
|---|---|---|---|
| No anchor (Section A27 ) | FAIL | ||
| Anchored (this section) | PASS |
| Metric | Baseline ( ) | Momentum ( ) | |
|---|---|---|---|
| Hyp. | Statement | Measured | Verdict |
|---|---|---|---|
| H1 | PASS | ||
| H2 | decreases | PASS | |
| H3 | increases | PASS | |
| H4 | Gap larger than at ( ) | PASS |
| Depth | Baseline | Momentum | (B M) | Winner |
| Baseline | ||||
| Momentum | ||||
| Momentum | ||||
| Momentum | ||||
| Momentum | ||||
| Momentum |
| Metric | Baseline ( ) | Momentum ( ) | (M B) |
| Improvement : | |||
| Quantity | Baseline ( ) | Momentum ( ) |
|---|---|---|
| Sensitivity range | ||
| DC component | ||
| Nyquist component | ||
| DC / Nyquist ratio |
| Layer | DC (baseline) | Nyq (baseline) | DC (momentum) | Nyq (momentum) |
|---|---|---|---|---|
| Hyp. | Statement | Measured | Verdict |
|---|---|---|---|
| H(a) | baseline is low-pass | DC/Nyq | PASS |
| H(b) | momentum is high-pass | DC/Nyq | FAIL |
| H(c) | momentum improves ICL | regression | FAIL |
| Metric | § A29 Base | § A29 Mom | B Base | B Mom |
|---|---|---|---|---|
| improvement |
| Quantity | Baseline | Momentum |
|---|---|---|
| Spectral entropy | ||
| -entropy (M B) | ||
| Theory–experiment correlation | ||
| Parameter | Value |
|---|---|
| Architecture | 12-layer, 12-head GPT-style decoder |
| Vocabulary | |
| Block size | |
| Total parameters | M |
| RoPE base |
| Fluency loss | Logic loss | Energy ratio | |||
| † saturated: here means , not . See § A31.4 . | |||||
| (spike) | |||||
| emerged | steps to , by seed | mean | ||
|---|---|---|---|---|
| — | ||||
| arm | outcome | range | steps to | verdict |
|---|---|---|---|---|
| A | — | pinned | ||
| B | – | — | pinned | |
| C | – | third still descending | ||
| D | – | second at and rising | ||
| E | – | second still descending |
| Model | Params | Layers | Heads | Momentum | |
|---|---|---|---|---|---|
| Goliath | 406M | 24 | none | ||
| David | 163M | 12 | |||
| Goliath Jr | 163M | 12 | none |
| Model | Params | Momentum | Fluency loss | Logic loss | Wall-clock |
|---|---|---|---|---|---|
| Goliath | M | none | min | ||
| David | M | min | |||
| Goliath Jr | M | none | min |
| Hyp. | Statement | Margin | Verdict |
|---|---|---|---|
| H1 | David ( M+mom) beats Goliath ( M) on fluency | FAIL | |
| H2 | Goliath beats David on logic | FAIL (tied at chance) | |
| H3 | David beats Goliath Jr at equal size | FAIL |
| Patch | Before (R 1 ) | After (R 2 ) | Rationale |
|---|---|---|---|
| Batch size | Reduce gradient variance | ||
| Vocabulary | Increase | ||
| Learning rate | scaling |
| Model | Params | Layers | Heads | Momentum | |
|---|---|---|---|---|---|
| Goliath | M | none | |||
| David | M | ||||
| Goliath Jr | M | none |
| Model | Params | Momentum | Fluency loss | Logic loss | Wall-clock |
|---|---|---|---|---|---|
| Goliath | M | none | min | ||
| David | M | min | |||
| Goliath Jr | M | none | min |
| Hyp. | Statement | Margin | Verdict |
|---|---|---|---|
| H1 | David ( M+mom) beats Goliath ( M) on fluency | FAIL | |
| H2 | Goliath ties or beats David on logic | PASS | |
| H3 | David beats Goliath Jr at equal size | FAIL |
| Source | Task | Class | Peak gain | Low- best? | PSA-consistent? |
|---|---|---|---|---|---|
| § A18 | Associative Recall | yes | yes | ||
| § A18 | Variable Tracking | — | neutral (narrow sweep) | ||
| § A18 | Global Counting | — | yes (harm as predicted) | ||
| § A19 | Multi-Hop eased | — | null (out of band) | ||
| § A20 | Variable Tracking | yes | yes | ||
| § A20 | Multi-Hop w/ neg. | — | null (out of band) |
| the claim of the body | Anchored in | Verdict | Evidence |
|---|---|---|---|
| Theorem 11 (four-term decomposition) | § A2 , § A8 S4–5 | PASS | NumPy verification -dominance at all |
| Theorem 27 (uniqueness in ) | § A3 , § A10 C15 | PASS | C2 high-pass, FP-29 symmetric advantage |
| Cor. 41 (post- RoPE placement) | § A2 , § A30 | PASS | directional: vs ; runs unmatched |
| Cor. 41 , eq. ( 38 ) (Coriolis error vs. ) | § A8 S12 | PASS ∗ | directional slope ; band-4 anomaly noted |
| Lemma 4 ( is exact -flow) | C6 | PASS | exact operator residual, scale-independent; no training-scale evidence is claimed (§ A31.4 ) |
| Thm. 38 (ii) (invariant conserved) | § A10 C9 | PASS ∗ | flat on stationary inputs; causal-task confound |
Transformer Attention
Transformer attention lets models relate tokens by weighting information from other positions, enabling context-dependent sequence and multimodal processing.
See all 320 papers