Measuring Learned Equivariance: An Information Theoretic Approach
Organizations: Khoury College of Computer Sciences Northeastern University Boston, MA 02115, USA
Abstract
Learning symmetries through data augmentation offers an alternative to architectural equivariance, but does not guarantee that a network respects those symmetries. Measuring learned equivariance is especially difficult for intermediate representations, whose group actions are not specified. In a finite discrete setting, we show that equivariance requires representations of original and transformed inputs to determine one another exactly, yielding a test based on normalized mutual information (NMI). For high-dimensional activations, we use centered kernel alignment (CKA) as a scalable test, with an exact guarantee for orthogonal feature transformations. Across architectures and tasks, augmentation usually increases transformation consistency, showing that learned equivariance can be probed directly from representations without recovering the hidden transformation rules that relate them.
Figures & tables
| Filter | ||
|---|---|---|
| Rotation | Sobel-X | Laplacian |
| 0.1954 | 1.0000 | |
| 1.0000 | 1.0000 | |
| 0.1954 | 1.0000 | |
| linear CKA | exact MI | |||||
|---|---|---|---|---|---|---|
| readout | nature | value | null | bits | MI | null |
| identity | reference | 1.0000 | 0.0004 | 7.3205 | 1.000 | 0.111 |
| scramble | bijective, lossless | 0.0376 | 0.0009 | 7.3205 | 1.000 | 0.111 |
| merge | 90% of alphabet destroyed | 0.0431 | 0.0006 | 3.1574 | 0.606 | 0.005 |
| Sobel-x control (not C4-equivariant) | 0.0021 | 0.0004 | 1.2676 | 0.195 | 0.031 | |
| readout | nature | MI | null | MI | linCKA | rbfCKA | SVCCA |
|---|---|---|---|---|---|---|---|
| identity | reference | 7.3205 | 0.8113 | 1.000 | 1.0000 | 1.0000 | 1.0000 |
| bit-permute | bijective, isometry | 7.3205 | 0.8113 | 1.000 | 1.0000 | 1.0000 | 1.0000 |
| ill-cond. linear | bijective, linear, not isometry | 7.3205 | 0.8113 | 1.000 | 0.3584 | 0.2280 | 1.0000 |
| alphabet-permute | bijective, not linear | 7.3205 | 0.8113 | 1.000 | 0.1113 | 0.1543 | 0.2597 |
| lossy-half | many-to-one, destroyed | 1.8643 | 0.0065 | 0.505 | 0.4835 | 0.4528 | 0.5042 |
| Laplace | Sobel-X | |||||
| metric | value | null | value | null | separation | |
| (a) identity readout — reference | ||||||
| assumes | LEE, | 1.4933 | 1.4145 | 1.3959 | 1.4150 | 0.93 |
| fits | affine fit | 0.0000 | 1.0001 | 1.0836 | 1.0001 | |
| Procrustes | 0.0000 | 1.4874 | 1.4884 | 1.4641 | ||
| no | linear CKA | 1.0000 | 0.0020 | 0.0023 | 0.0007 | 435 |
| granularity | symbols | samp./sym | MI | MI | null | margin | |
|---|---|---|---|---|---|---|---|
| no convolution — raw pixels | |||||||
| full 16-bit | 65,536 | 1.00 | 16.0000 | 16.0000 | 1.000 | 16.0000 | 0.0000 |
| Laplacian — exactly C4-equivariant | |||||||
| full 16-bit | 45,707 | 1.43 | 15.1834 | 15.1834 | 1.000 | 14.3668 | 0.8165 |
| quadrant | 486 | 134.8 | 7.3205 | 7.3205 | 1.000 | 0.8157 | 6.5048 |
| Sobel-x — not C4-equivariant (control) | |||||||
| LieGG | ||||||
|---|---|---|---|---|---|---|
| model | sym. var. | null dim | align | LEE | CKA | |
| Equivariant SO(2) | 0.00000 | 1.0 | 1.0000 | 5.9228 | 0.9999 | 0.000000 |
| MLP, augmented | 0.05760 | 0.0 | 0.0000 | 5.9187 | 0.3702 | 0.008651 |
| MLP, no augmentation | 0.06845 | 0.0 | 0.0000 | 6.1034 | 0.6413 | 0.042468 |
| MLP, untrained | 0.16950 | 0.0 | 0.0000 | 0.0083 | 0.2518 | 0.460116 |
| LieGG | ||||||
|---|---|---|---|---|---|---|
| readout | sym. var. | null dim | align | rand | CKA | |
| invariant scalar, head(||h||) | 1 | 0.00003 | 1.0 | 1.0000 | 0.00008 | 0.000000 |
| invariant vector, ||h|| | 64 | 0.00022 | 1.0 | 1.0000 | 0.00007 | 0.000033 |
| equivariant , h | 128 | 0.43667 | 0.0 | 0.0000 | 0.87357 | 0.000000 |
| transformation of the features | SEIS reads it as | ||
|---|---|---|---|
| identity (reference) | 1.0000 | 1.0000 | — |
| spatial re-encoding rotate the grid | 1.0000 | 0.1311 | re-encoded ✓ |
| channel re-encoding the true | 0.2238 | 0.0941 | destroyed |
| disjoint images (reference) | 0.1361 | 0.0767 | — |
Appendix figures & tables31 assets
Supplementary material from the paper’s appendix.
Appendix
| (a) at the C16 model’s own group elements | ||||
|---|---|---|---|---|
| rotation | on lattice? | input floor | model | model floor |
| yes | 0.00000 | 0.00000 | — | |
| and its 3 repeats | no | 0.00011 | 0.00032 | 2.83 |
| and its 3 repeats | no | 0.00011 | 0.00026 | 2.30 |
| and its 3 repeats | no | 0.00013 | 0.00054 | 4.10 |
| off-lattice mean | 0.00012 | 0.00037 | 3.08 | |
| condition | equivariance error | linear CKA | CKA null |
|---|---|---|---|
| grid-aligned reference ( ) | 0.00000 | 1.0000 | 0.0729 |
| full resolution | 0.13429 | 0.9994 | 0.0722 |
| subsample | 0.21735 | 0.9995 | 0.0727 |
| blur, then subsample | 0.15250 | 0.9989 | 0.0432 |