Paper: 2607.02499 Authors: Gil Harari, Yoel Zimmermann, Ola Tangen Kulseng, Laura Zichi, Chuin Wei Tan, Marc L. Descoteaux, Boris Kozinsky Categories: cs.LG, cs.AI, physics.chem-ph, physics.comp-ph
The Gap
The MLIP community has poured enormous energy into architecture design (NequIP, Allegro, MACE, etc.) and dataset curation (MD17, OC20, etc.), but the optimizer has been treated as a settled question: everyone uses Adam or AdamW. The assumption is that these adaptive gradient methods are “good enough” and the real gains come from better equivariant architectures or larger datasets. Recently, a new class of matrix-structured optimizers — SOAP, Muon, and hybrids — have shown dramatic improvements in vision and language tasks, yet nobody had systematically tested them in the MLIP setting. The gap is clear: optimizer choice is an unexplored design axis in a field where every percent of accuracy or reduction in training cost matters for practical deployment.
[Optimizer choice ignored in MLIP field]
|
v
[Assumption: Adam is good enough]
|
v
[New matrix optimizers excel in vision/NLP]
|
v
[This paper: systematic comparison for MLIPs]
|
v
[SOAP/SOAP-Muon >> Adam in speed AND accuracy]
The Increment
One sentence: Before this paper, every MLIP practitioner defaulted to Adam; after this paper, they have strong evidence that switching to SOAP or SOAP-Muon gives meaningfully faster convergence and better final accuracy — especially when force labels are incomplete.
Core Mechanism
The paper evaluates three optimizer families against Adam baselines on two canonical MLIP architectures (NequIP and Allegro). The key players are SOAP (which decomposes gradient updates into spectral components using a structured matrix approach), Muon (which uses a momentum-based method with matrix-aware updates), and SOAP-Muon (a hybrid that combines both ideas). Each optimizer replaces Adam’s element-wise adaptive scaling with matrix-structured updates that respect the geometry of the parameter space more faithfully.
The experimental pipeline is straightforward: train identical model architectures with identical hyperparameter sweeps for each optimizer, measure convergence curves (loss vs. wall-clock time) and final energy/force MAE on held-out test sets. The authors test under both full supervision (all forces available) and partial supervision (only a fraction of forces labeled), which is the realistic setting where expensive DFT calculations limit data availability.
[Gradient from loss]
|
v
+------------------+
| Matrix-structured |
| spectral decomp. |
+------------------+
|
+-----+-----+
| |
v v
[SOAP] [Muon]
spectral momentum +
factors matrix norm
| |
+-----+-----+
|
v
[SOAP-Muon hybrid]
|
v
[Parameter update]
Think of it like tuning a piano versus tightening a guitar string. Adam is like the guitar tuner: it adjusts each string (parameter) independently, based on how that individual string sounds (its own gradient history). SOAP is like a piano technician: it listens to the harmonic relationships between all the strings at once, understanding that tightening one string changes the resonance of the whole instrument. The “spectral decomposition” is the technician’s ability to hear overtones — it decomposes the gradient information into frequency-like components that capture how parameters interact with each other. Muon adds a memory of past tuning patterns (momentum) but applied at the matrix level. The hybrid SOAP-Muon is the master technician who uses both the harmonic ear and the muscle memory of years of tuning. The result: the piano is in tune faster and holds its tuning better than a guitar tuned string-by-string.
Key Concepts
-
Matrix-structured optimizers: Traditional optimizers like Adam treat each parameter as an independent scalar with its own learning rate. Matrix-structured optimizers instead treat groups of parameters as a matrix and perform operations (like spectral decomposition or matrix normalization) on that matrix as a whole. The intuition: parameters in neural networks are not independent — a weight in layer 3 interacts with weights in layer 2. By respecting these interactions during the update step, you converge faster. Think of it as the difference between adjusting 1000 independent thermostat dials versus turning a single steering wheel that controls all of them in a coordinated way.
-
Force supervision ratio: In MLIP training, you have two types of labels: energies (one number per atomic configuration) and forces (a 3D vector per atom, derived from the energy gradient). Forces are expensive to compute via DFT but contain rich local information. “Partial force supervision” means only some configurations have force labels. The paper shows optimizer gains are largest in this regime — when data is scarce or partially labeled, the optimizer’s efficiency matters most. This is the practically important setting, because in real-world molecular simulation, you rarely have complete force labels.
-
Equivariant neural network architectures: NequIP and Allegro are not ordinary neural networks — they enforce physical symmetries (rotation, translation, permutation) by construction. The parameters live in structured spaces, not arbitrary Euclidean space. This is exactly why matrix-structured optimizers make sense: they can exploit the geometric structure that these architectures bake in, whereas Adam’s element-wise approach ignores it entirely.
Framework Shift
Before (mainstream approach): After (this paper):
[MLIP Architecture design] [MLIP Architecture design]
| |
v v
[Dataset curation] [Dataset curation]
| |
v v
[Adam/AdamW -- fixed] [Optimizer choice -- active axis]
| / | \
v v v v
[Final accuracy] [SOAP] [Muon] [SOAP-Muon]
|
v
[Faster, more accurate]
From treating the optimizer as a fixed constant to treating it as an active design axis, the core shift is recognizing that optimizer geometry and architecture geometry must be aligned for efficient training.
Expert Assessment
Problem choice: This is a genuine and well-identified gap. The MLIP community has been so focused on architecture innovation that the optimizer has become invisible infrastructure — nobody questions it, nobody benchmarks it. This paper does the obvious experiment that should have been done years ago, and the results are non-trivial. It sits at a productive intersection: the optimizer community has been shipping new methods, but they are only tested on vision and language benchmarks; the MLIP community needs every edge it can get for practical deployment. Someone had to bridge this gap.
Method maturity: The approach is comparative benchmarking rather than algorithmic novelty — the authors did not invent SOAP or Muon, they applied them to MLIPs. This is valuable but not technically deep. The hyperparameter sweeps appear thorough, though the paper would benefit from ablations on *why these optimizers help in this specific geometry. Is it the equivariant structure? The loss landscape shape? The force/energy multi-task setup? These mechanistic questions remain unanswered.
Experimental integrity: The baselines are fair — same architectures, same data, same compute budget, with careful hyperparameter sweeps for each optimizer. The partial-force-supervision experiments are a nice touch because they probe the practically relevant regime. One concern: the improvements, while consistent, vary in magnitude across tasks, and the paper could be more transparent about variance and statistical significance. The wall-clock comparisons assume a fair computational cost per step, which is reasonable but worth verifying independently.
Writing quality: The paper is clearly written and well-structured. The main weakness is the discussion section — it largely restates results without offering mechanistic hypotheses for *why SOAP excels on MLIPs specifically. A deeper analysis connecting optimizer geometry to equivariant network structure would elevate this from “here’s a useful benchmark” to “here’s a principled insight.” The related work section could also better position the contribution against the broader optimizer literature.
Verdict: weak accept — The contribution is empirically solid and practically useful, but it lacks the mechanistic depth that would make it a landmark paper. It is a strong recommendation for practitioners to try SOAP, but it does not advance our theoretical understanding of optimization in equivariant architectures.
Takeaways
Three concrete things a practitioner can steal:
-
Switch your optimizer today: If you are training NequIP or Allegro (or likely any equivariant MLIP), replace Adam with SOAP or SOAP-Muon. The paper provides enough detail on hyperparameters to reproduce. This is low-risk, high-reward.
-
Partial supervision amplifies optimizer choice: If your dataset has incomplete force labels (which is almost always the case in practice), optimizer selection matters *more than in the full-supervision regime. Invest in optimizer tuning precisely when data is scarce.
-
The “optimizer as design axis” framing transfers: In any domain where architectures have strong geometric priors (equivariant networks, physics-informed networks, etc.), Adam may be leaving performance on the table. The general principle — match your optimizer’s inductive bias to your architecture’s structure — is worth testing in your own work.
论文: 2607.02499 作者: Gil Harari, Yoel Zimmermann, Ola Tangen Kulseng, Laura Zichi, Chuin Wei Tan, Marc L. Descoteaux, Boris Kozinsky 分类: cs.LG, cs.AI, physics.chem-ph, physics.comp-ph
缺口
MLIP社区在架构设计(NequIP、Allegro、MACE等)和数据集构建(MD17、OC20等)上投入了巨大精力,但优化器一直被视为已解决的问题:大家都用Adam或AdamW。 背后的假设是,这些自适应梯度方法”够用了”,真正的收益来自更好的等变架构或更大的数据集。 近期,一类新的矩阵结构优化器——SOAP、Muon及其混合体——在视觉和语言任务中展现了显著提升,但从未有人在MLIP场景中系统测试过它们。 缺口很明确:优化器选择是这个领域中一个未被探索的设计维度,而在这个领域里,精度的每个百分点或训练成本的每一点降低都对实际部署至关重要。
[MLIP领域忽略优化器选择]
|
v
[假设:Adam够用了]
|
v
[新矩阵优化器在视觉/NLP中表现优异]
|
v
[本文:系统比较用于MLIP]
|
v
[SOAP/SOAP-Muon >> Adam:速度与精度双提升]
增量
一句话: 本文之前,每个MLIP从业者都默认用Adam;本文之后,他们有了强有力的证据表明,切换到SOAP或SOAP-Muon能带来显著更快的收敛和更好的最终精度——尤其在力标签不完整的情况下。
核心机制
本文在两个经典MLIP架构(NequIP和Allegro)上,对三个优化器家族与Adam基线进行了系统评估。 核心角色是SOAP(使用结构化矩阵方法将梯度更新分解为谱分量)、Muon(使用基于矩阵感知的动量方法)和SOAP-Muon(结合两者思想的混合体)。 每个优化器用矩阵结构化更新替代Adam的逐元素自适应缩放,从而更忠实地尊重参数空间的几何结构。
实验流程很直接:用相同的模型架构、相同的超参数搜索来训练每个优化器,测量收敛曲线(损失 vs. 实际时间)和测试集上的最终能量/力MAE。 作者分别在完全监督(所有力标签可用)和部分监督(只有一小部分力有标签)下测试,后者是真实场景中因DFT计算昂贵而导致数据受限的常见情况。
[来自损失的梯度]
|
v
+------------------+
| 矩阵结构化 |
| 谱分解 |
+------------------+
|
+-----+-----+
| |
v v
[SOAP] [Muon]
谱因子 动量 +
分解 矩阵归一化
| |
+-----+-----+
|
v
[SOAP-Muon混合体]
|
v
[参数更新]
想象一下调钢琴和拧吉他的区别。 Adam就像吉他调音师:独立调节每根弦(参数),只听那根弦自己的声音(它自己的梯度历史)。 SOAP就像钢琴调音师:他同时听所有弦之间的和声关系,理解拧紧一根弦会改变整架琴的共鸣。 “谱分解”就是调音师听泛音的能力——它把梯度信息分解成频率般的分量,捕捉参数之间的相互作用。 Muon在此基础上加入了过去调音模式的记忆(动量),但作用在矩阵层面。 SOAP-Muon混合体就是大师级调音师,既用和声耳朵,又靠多年调音的肌肉记忆。 结果是:钢琴比逐根调弦的吉他更快准音,而且音准更持久。
关键概念
-
矩阵结构化优化器: 传统优化器(如Adam)把每个参数当作独立标量,各自有自己的学习率。 矩阵结构化优化器则把参数组当作一个矩阵来处理,对整个矩阵进行操作(如谱分解或矩阵归一化)。 直觉是:神经网络中的参数并非独立的——第3层的权重与第2层的权重相互影响。 通过在更新步骤中尊重这些相互作用,收敛就更快。 可以把它想成调整1000个独立恒温器旋钮,与转动一个方向盘同时协调控制所有旋钮的区别。
-
力监督比例: 在MLIP训练中有两种标签:能量(每个原子构型一个数)和力(每个原子一个三维向量,由能量梯度导出)。 力的DFT计算代价很高,但包含丰富的局部信息。 “部分力监督”意味着只有部分构型有力标签。 本文表明,在这种场景下优化器的增益最大——当数据稀缺或标签不完整时,优化器效率最为关键。 这恰恰是实际应用中最重要的场景,因为在真实分子模拟中,完整的力标签几乎不可能获得。
-
等变神经网络架构: NequIP和Allegro不是普通神经网络——它们通过构造强制满足物理对称性(旋转、平移、置换)。 参数生活在结构化空间中,而非任意欧几里得空间。 这正是矩阵结构化优化器合理的原因:它们能利用这些架构内在的几何结构,而Adam的逐元方法完全忽略了这一点。
框架转变
之前(主流方法): 之后(本文方法):
[MLIP架构设计] [MLIP架构设计]
| |
v v
[数据集构建] [数据集构建]
| |
v v
[Adam/AdamW——固定] [优化器选择——活跃维度]
| / | \
v v v v
[最终精度] [SOAP] [Muon] [SOAP-Muon]
|
v
[更快、更精确]
从把优化器视为固定常量,到把它视为一个活跃的设计维度,核心转变是认识到优化器的几何结构必须与架构的几何结构对齐才能实现高效训练。
专家评审
选题眼光: 这是一个真实且识别准确的缺口。 MLIP社区过于聚焦架构创新,以至于优化器成了看不见的基础设施——没人质疑,没人测试。 本文做了那个早该做的实验,结果也确实非平凡。 它处在一个富有生产力的交叉点:优化器社区一直在发布新方法,但只在视觉和语言基准上测试;MLIP社区需要一切可能的优势来推动实际部署。 总得有人来搭这个桥。
方法成熟度: 方法是对比基准测试,而非算法创新——作者没有发明SOAP或Muon,而是将它们应用到MLIP上。 这有价值,但技术深度有限。 超参数搜索看起来是充分的,但论文如果能做消融实验来回答”为什么这些优化器在MLIP的特定几何中有效”会更好。 是等变结构的原因?损失景观的形状?力/能量多任务设置? 这些机制性问题仍然没有答案。
实验诚意: 基线是公平的——相同架构、相同数据、相同计算预算,每个优化器都做了仔细的超参数搜索。 部分力监督的实验是一个亮点,因为它探测了实际相关的场景。 一个担忧是:虽然改进是一致的,但幅度在不同任务间有差异,论文可以在方差和统计显著性上更透明。 每步计算代价的比较假设是合理的,但值得独立验证。
写作功力: 论文行文清晰、结构合理。 主要弱点在讨论部分——基本上只是重述结果,没有提供SOAP为何在MLIP上表现突出的机制性假设。 更深入的分析,把优化器几何与等变网络结构联系起来,能把这篇从”有用的基准测试”提升到”有原则性洞见的工作”。 相关工作部分也可以更好地将贡献置于更广泛的优化器文献中定位。
判决: 弱接收 — 实验贡献扎实且实用,但缺乏机制性深度使其成为标志性论文。 它强烈推荐从业者尝试SOAP,但并未推进我们对等变架构优化的理论理解。
要点总结
三个实践者可以立刻”偷走”的具体做法:
-
今天就换优化器: 如果你在训练NequIP或Allegro(或任何等变MLIP),把Adam换成SOAP或SOAP-Muon。 论文提供了足够的超参数细节来复现。低风险、高回报。
-
部分监督放大优化器选择的影响: 如果你的数据集力标签不完整(实践中几乎总是如此),优化器选择比完全监督场景下更重要。 恰恰在数据稀缺时,值得在优化器调优上投入。
-
“优化器作为设计维度”的思维框架可迁移: 在任何架构具有强几何先验的领域(等变网络、物理信息网络等),Adam可能都留下了性能空间。 通用原则是——让你优化器的归纳偏置与架构的结构匹配——这值得在你自己的工作中测试。