Can Representation Learning Decouple from Loss Minimization? Polar Updates Have an Answer
Organizations: Department of Computer Science and Engineering University of California San Diego
Abstract
Does representation learning stop when the training loss stops improving? We study this question for matrix Muon, whose polar-normalised updates have a step length set by the gradient's rank rather than its norm. Near the edge of stability, full-batch Muon on teacher-student problems enters approximately period-2 loss oscillations that persist for thousands of steps: the cycle-mean loss stays flat or rises, yet the weights keep moving and the learned features continue to align with the teacher subspace. For linear teacher-student learning toys, we derive explicit cycle and alignment formulas and conditional plateau and decay bounds. For a population mean-field ReLU model, we prove that, under stated dimension, initialisation and small-head conditions, the leading eigenspace of the average gradient outer product (AGOP) recovers the teacher subspace exactly during a loss plateau, before the loss later drops. In all 33 ReLU, GELU and SiLU teacher configurations we study, direction-only alignment metrics show the student AGOP aligned with, or still aligning to, the teacher subspace during the period-2 oscillations; projected head refitting on selected configurations shows that the learned directions are useful for prediction, and further measurements distinguish AGOP alignment from weight-mass concentration. In deep residual ReLU students, freezing the downstream layers while the first layer trains with full-batch exact polar updates recreates a nearly flat cycle-mean loss with improving input-AGOP alignment; freezing and unfreezing switch between this plateau and loss decrease, and the effect is sensitive to momentum and to the choice of orthogonaliser.
Figures & tables
Appendix figures & tables12 assets
Supplementary material from the paper’s appendix.
Appendix
| Teacher | final | Outcome | ||||||
| ReLU | 4 | 50 | 2 | 3045 | 0.670 | no late gain | ||
| ReLU | 6 | 50 | 1.5 | 173 | 0.955 | late gain | ||
| ReLU | 8 | 30 | 1.5 | 16.2 | 0.831 | late gain | ||
| ReLU | 8 | 50 | 1 | 13.3 | 0.857 | late gain | ||
| ReLU | 8 | 50 | 1.5 | 40.9 | 0.907 | late gain | ||
| ReLU | 12 | 50 | 1.5 | 23.1 | 0.820 | late gain |
| -mass | -mass | Total mass | ||||
|---|---|---|---|---|---|---|
| Config | Predicted | Measured | Predicted | Measured | Measured | |
| ReLU, , | 4 | 3.79 | 46 | 46.21 | 50 | 50.00 |
| ReLU, , | 8 | 7.86 | 42 | 42.14 | 50 | 50.00 |
| ReLU, , | 12 | 11.76 | 38 | 38.24 | 50 | 50.00 |
| input dimension | teacher rank | ||
| student width | teacher depth | Eq. ( 77 ) | |
| training inputs | test inputs | ||
| AGOP inputs | steps | ||
| initial gain | head scale | ||
| residual scale | architecture | residual Eq. ( 78 ) |
| arm | |||||
|---|---|---|---|---|---|
| D6 | 6 | 0.66 | 0.75 | 1/5 | |
| D8 | 8 | 0.66 | 1 | 1/7 | |
| D10 | 10 | 0.70 | 1 | 1/9 | |
| D12 | 12 | 0.70 | 1 | 1/11 | |
| D16 | 16 | 0.74 | 1 | 1/15 |
| arm | strict runs | problems | gain | gain | cycle mean | held-out refit |
|---|---|---|---|---|---|---|
| D6 | 94/100 | 20/20 | ||||
| D8 | 97/100 | 20/20 | ||||
| D10 | 96/100 | 19/20 | ||||
| D12 | 95/100 | 20/20 | ||||
| D16 | 96/100 | 19/20 | ||||
| Fresh D8 | 91/100 | 20/20 |
| model | data | architecture | LN removed | ||
|---|---|---|---|---|---|
| transformer | Gaussian tokens | 1 block, width 64, 4 heads | output | 0 | 1.0 |
| ViT, four patches | digits | 1 block, width 64, 4 heads | all | 500 | 0.03 |
| ViT, one patch | digits | 1 block, width 64, 4 heads | all | 500 | 1.0 |
| CNN | digits | 3 conv. layers, channels 16/32/64 | output | 200 | 0.1 |
| part of Theorem 15 | proved in | main ingredients |
|---|---|---|
| trajectory | Section G.2 | Lemmas 16 , 17 , 19 ; Proposition 20 |
| (P) | Theorem 41 | Lemmas 30 , 35 , 38 |
| (F) at | Theorem 51 | Propositions 23 , 26 , 57 ; Lemmas 48 , 49 , 50 , 60 , 61 , 63 ; Proposition 64 |
| (F) at small | Section G.7 , Step 3 | Lemma 27 ; Proposition 28 (a) |
| (F) at | Section G.7 , Step 4 | Proposition 26 (4) |
| (R) | Corollary 44 | Theorem 43 ; Lemmas 30 , 38 |
| margin | margin | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 2 | 0.013740 | 336 | 1.006223 | 41 | 0.078835 | 126 | 1.228737 | |||
| 2 | 0.014026 | 777 | 1.048716 | 42 | 0.079339 | 125 | 1.230167 | |||
| 3 | 0.014191 | 286 | 1.012711 | 43 | 0.079824 | 124 | 1.231501 | |||
| 4 | 0.017549 | 172 | 1.025338 | 44 | 0.080300 | 124 | 1.232778 | |||
| 5 | 0.022016 | 136 | 1.029847 | 45 | 0.080758 | 123 | 1.233975 | |||
| 6 | 0.025939 | 119 | 1.033781 | 46 | 0.081197 | 122 | 1.235096 |
| row | ||||
|---|---|---|---|---|
| 2a | 21600665 | 35 | 0 | 7920963464610295 |
| 2b | 36059480 | 3 | 1 | 8085720989539134 |
| 3 | 29042409 | 35 | 0 | 8180717210882235 |
| 4 | 35333865 | 4 | 0 | 10116431691206438 |
| 5 | 34521219 | 4 | 0 | 12691884803174992 |
| 6 | 35458646 | 4 | 0 | 14952843575107892 |
| row | ||||
|---|---|---|---|---|
| 41 | 90337968 | 3 | 0 | 45445623816640352 |
| 42 | 91790245 | 3 | 0 | 45735890048522056 |
| 43 | 93238329 | 3 | 0 | 46015601144698960 |
| 44 | 94680121 | 3 | 0 | 46290034673023472 |
| 45 | 96119816 | 3 | 0 | 46553913065643208 |
| 46 | 97556365 | 3 | 0 | 46807236322558152 |
| row | |||
|---|---|---|---|
| 2a | 5292723980082718 | 32428288108055624 | 5608012396498452 |
| 2b | 6759749330873526 | 47234666444723024 | 4567102900135213 |
| 3 | 6150004491384073 | 27557958287837056 | 5960833993768631 |
| 4 | 6813178771523468 | 24649586303920624 | 5919624845377477 |
| 5 | 6805068924342156 | 19562686959486248 | 5979297203968494 |
| 6 | 6961059657208525 | 17116075937116040 | 6087232431130972 |
| row | |||
|---|---|---|---|
| 41 | 12337113433222418 | 7633481250065179 | 5989283289725050 |
| 42 | 12446397115720632 | 7581022616188417 | 5984719452569983 |
| 43 | 12554428182284166 | 7530683027299399 | 5980389152653382 |
| 44 | 12661257956522734 | 7482341945772299 | 5976273220784853 |
| 45 | 12766998498356294 | 7435959038899650 | 5972366854639561 |
| 46 | 12871597276411164 | 7391309963979724 | 5968652097336570 |
Representation Learning
Representation learning develops data transformations that expose useful structure for prediction, transfer, generation, and control.
See all 813 papers