All summaries · 2026-09-23

How unconstrained machine-learning models learn physical symmetries

M. Domina, Joseph W Abbott, Paolo Pegolo, et al.

arXiv:2603.24638 · abstract · pdf · summarized by meta/muse-spark-1.3-contributor on 2026-09-23

The one-paragraph version

Physics expects its quantities to rotate correctly: if you turn a molecule upside down, its energy should stay the same, its forces should turn with it. Traditionally, machine-learning models for physics were hard-wired to obey this rule exactly. This paper asks what happens when you do not hard-wire it, and instead let a flexible transformer learn rotation behavior from randomly rotated training examples. The authors build two yardsticks: one measures how much the final prediction wobbles when you rotate the input and rotate the answer back, and one measures what kinds of rotation-patterns live inside the hidden layers. Using those tools on an atomistic model and a particle-detector model, they show unconstrained models do learn to be almost symmetric, but with characteristic blind spots — especially for mirror-flipped patterns and for fine angular detail — that emerge late in training and can stall learning entirely. They then fix the worst cases with minimal, surgical biases, not full constraints.

The problem they're solving, and why it matters

In physics, symmetry is not decoration. It is the rule that guarantees conservation laws and consistency: a scalar like potential energy must be unchanged by rotation, a vector like force must rotate in step with the atoms, a symmetric rank-2 tensor like stress splits into specific rotation pieces. For years, model builders enforced this by construction with equivariant architectures, meaning architectures mathematically forced so that rotating the input guarantees a predictable rotation of the output.

That guarantee costs expressivity and speed, and is hard to scale on modern accelerators. Meanwhile examples like AlphaFold 3 and fast transformer potentials suggest you can skip the strict math and just show the model many rotated copies during training, a trick called data augmentation. Empirically these loose models match or beat strict ones on benchmarks.

What is missing is honesty about when and how the loose approach works. Does the symmetry error hide beneath the normal prediction error? What is the model actually storing inside? And when will it silently fail on a new kind of geometric target? Without a way to look inside, choosing between strict and loose designs is guesswork.

The key idea, in plain words

Think of any model as a function from a decorated point cloud to a prediction. A decorated point cloud here means simply points in 3D space with extra labels attached — for atoms, position plus chemical element; for a detector, hit position plus deposited energy.

The authors separate two questions. First, does the output behave correctly? Second, what ingredients are mixed into the hidden features?

For the first, imagine you take one molecule, make many rotated copies, run the model on each, then undo the rotation on each output to bring them back to the original frame. If the model were perfectly symmetric, all those back-rotated answers would be identical. Their spread, essentially a standard deviation over rotations, is the equivariance error. The paper calls this the A-metric.

For the second, imagine you want to know the recipe of a hidden feature vector: how much of it behaves like a scalar that ignores rotation, how much like a vector that swings with rotation, how much like higher-order wiggles, and how much like mirror-flipped versions of those. Using a classic math tool that filters functions by rotation character, based on group characters which are just traces that fingerprint each symmetry type, they split the average squared length of any feature into contributions from each symmetry type. This is the B-metric, or character projection. It applies even when the feature has no intended symmetry at all.

Together: A tells you if the answer is wrong in a symmetry sense, B tells you which symmetry ingredients are present, missing, or polluting the answer.

How it actually works, step by step

Start with an input structure, call it x. Consider all rotations and mirror-inversions of it, which together form the group O(3), the orthogonal group for 3D space. The allowed patterns are labeled by irreducible representations, meaning smallest indivisible rotation behaviors that cannot be broken down further. For O(3) they are labeled by two numbers: angular order lambda, which is 0 for scalar, 1 for vector, 2 and up for more crinkled shapes, and parity sigma, which is +1 for ordinary proper behavior and -1 for pseudo behavior that gains an extra flip under mirror inversion.

To compute A: run the model on many rotations of x, apply the inverse rotation matrix for the desired lambda-sigma type to each output, average those back-transformed outputs, and measure variance around that average. The paper proves this is zero if and only if the model is exactly symmetric for that type, and shows a cheaper form needing only one average over the group. In practice they integrate over rotations with a Lebedev grid on the sphere plus regular steps for the remaining twist angle, plus an average over mirror versus no-mirror.

To compute B: take any internal feature, call it t, such as an edge embedding or transformer output. Convolve it over the group weighted by the character for a given lambda-sigma, which isolates the part that transforms that way. The squared size of that filtered part, averaged over rotations, is the amount of that symmetry present. Summed over all lambda-sigma, it equals the total average squared size, like a power spectrum. Normalized by the total, it gives a fraction per channel.

They then watch these numbers across layers and across training epochs, from random initialization to 2000 epochs. They also use them to diagnose failure and to retrain only the final linear readout with a combined loss that penalizes both normal error and symmetry wobble, solvable in closed form with one pass over rotated data.

What they showed — results, honestly, with limitations

On a universal transformer potential called PET, short for Point-Edge Transformer, trained on the MAD-1.5 materials dataset to predict energy, directly-predicted forces, and directly-predicted stress, symmetry error is smaller than normal model error. The paper reports median ratios of about 10% for energy, 31% for forces, and 26% for stress. Character plots show energy is almost pure scalar, forces peak at vector, stress peaks at scalar plus lambda=2 proper, with pseudo channels much weaker.

Training dynamics are not gradual. Random weights start heavily scalar. For roughly the first 20 epochs all outputs look scalar, then there is a sudden shift where the correct vector or tensor character switches on and higher-order and pseudo pieces jump up. Stress learns its lambda=2 piece only around epoch 200 and is still not fully converged, which explains later findings.

Looking inside PET: initial geometry embeddings from distances and vectors are only scalar plus vector. A multilayer perceptron makes higher lambda but still no pseudo content. Attention across edges is the first place that can mix multiple vectors and create pseudo character, especially in edge tokens. Final aggregation back to backbone features suppresses high lambda and pseudo again, and the last linear readout must filter what remains. This suggests why strict models often get away with capping internal detail at lambda=1 or 2, but also warns that early layers need richer detail to pass along.

Two stress tests reveal limits. First, a toy pseudoscalar target made from triple products of bond vectors on 1000 rattled CHBrClF molecules. Here pseudo structure requires combining at least two vectors, pseudoscalar at least three — a second- and third-order effect at initialization. The model stalls for ~120 epochs with only proper channels active, then pseudotensor channels abruptly activate and error drops, reminiscent of grokking. It is striking that even this simple geometric formula is hard to learn.

Second, a realistic high-detail target: electron-density projections up to lambda=8. Standard PET never learns the lambda=8 channel and collapses to predicting near-zero, shown by falling symmetry error but a vanishing prediction-to-target norm ratio. Replacing the input embedding with solid spherical harmonics up to a chosen cutoff changes everything: cutoff 2 still fails, cutoffs 4 and 8 succeed and keep norm ratio near 1. In other words, if the needed angular sharpness is absent at the start, nonlinearities alone may not invent it in practical training time.

They also test PoLAr-MAE, a PointNet-style classifier of particle tracks into shower, track, Michel electron, and delta-ray. Internal tokens are mostly scalar with decaying higher lambda, pseudo content tiny. Large symmetry wobble coincides with points where classification flips under rotation, often at branching points.

The proposed readout purification helps modestly where augmentation already worked, but for the slow-learning scalar stress it roughly halves symmetry error for less than 1% cost in accuracy. Limitation to note: analysis is rigorous for compact groups like O(3); for non-compact groups like the Lorentz group in relativity there is no normalized average over the whole group, so the method would need restricted sampling. Integration assumes smooth, effectively band-limited features.

Why this might matter to me

If you care about spatial reasoning in LLMs and VLMs, this is a concrete microscope for a familiar worry: models that parrot correct answers from one viewpoint but flip when the scene is rotated. The A-metric is essentially a viewpoint-consistency score, and the B-metric tells you whether the hidden state even contains vector-like versus mirror-sensitive ingredients. That maps directly to probing whether a VLM stores object pose versus just view-invariant labels.

For world models, the two-phase learning result matters. Dynamics that depend on handedness or contact normals may look unlearnable for a long time and then snap into place once pseudo or higher-order channels activate. Tracking character heatmaps during training could warn you that a world model is stuck in a scalar-only regime, predicting blurry averages instead of directed motion.

For text-to-CAD and parametric geometry, symmetry types are design intent: extrusions, revolves, mirrors, and circular patterns have exact transformation laws. The paper's lesson is to not enforce everything, but to inject the minimum bias where unconstrained nets are blind — for example, ensuring mirror parity or high angular resolution is present in the early encoder rather than hoping the decoder invents it. Their cheap readout-only symmetrization is a template for post-hoc cleanup of CAD parameters without retraining the whole generator.

For 3D generation and scene representation, the edge-versus-node contrast is instructive. Rich angular detail lived in edge tokens that mix relations, not in per-point tokens. That suggests point-only backbones may underperform on fine surface normals or anisotropic materials, and that adding explicit relative-vector expansions or edge paths, even shallow, can unlock high-frequency shape detail much as raising the spherical-harmonics cutoff unlocked lambda=8 densities.

Terms worth knowing

Equivariance vs. invariance: Invariance means output does not change when input is transformed, like energy under rotation. Equivariance means output transforms predictably with input, like a force arrow rotating with the molecule.

Group, here O(3) and E(3): A group is a set of allowed transformations with inverses. O(3) is all 3D rotations plus mirror inversions. E(3) adds translations. The paper removes translation by using interatomic distances, so O(3) remains.

Irreducible representation, irrep, labeled lambda, sigma: Smallest distinct transformation behavior. Lambda is angular sharpness: 0 scalar, 1 vector, 2 higher wiggle. Sigma is parity: +1 ordinary, -1 pseudo which picks up an extra sign under inversion. Example: velocity is (1,+1), magnetic-like pseudovector is (1,-1).

Character: A fingerprint number for each transformation obtained as the trace of its matrix. Averaging with characters as weights filters a feature into its symmetry ingredients.

Haar average: A uniform average over all group elements, the correct generalization of averaging over angles.

Decorated point cloud: Points plus per-point labels, such as atomic number or deposited energy.

MLIP and PES: Machine-learned interatomic potential and potential energy surface: a surrogate for quantum chemistry that predicts energy, forces, and stress from positions and species.

Data augmentation: Training on randomly rotated copies so symmetry is learned statistically rather than guaranteed.

Inductive bias: Design choice that makes some patterns easy, such as feeding spherical harmonics to provide high-lambda detail from the start.

Backbone features, last-layer features, readout: Backbone features are shared geometric encodings; last-layer features are task-specific nonlinear transforms; readout is the final linear map to energy, force, or class. Only the readout can rescale, not create, symmetry ingredients.