Action Learning for Scientific Simulations
Organizations: Kempner Institute · Harvard University · Microsoft Research New England
Abstract
Understanding and controlling how systems evolve is central to science and engineering, where many problems require reasoning about complete trajectories. Existing approaches typically learn local dynamics or generate trajectories, but objectives constructed from individual transitions can miss dependencies across time, while generative models do not necessarily provide a tractable objective for evaluating and optimizing arbitrary paths. We study , the problem of recovering a stochastic action from trajectory observations, yielding a common objective for reasoning about dynamical systems. We introduce (earned nergy on ction aths), which anchors the unknown action to a tractable reference process and learns the remaining correction by comparing observed trajectories with reference trajectories. This construction yields a differentiable objective on path space that can capture both local dynamical structure and nonadditive dependencies across time. Once learned, the same action can be flexibly reused for path ranking and inference, mechanism steering, constrained optimization and sampling. Across stochastic physical systems, many-body orbital dynamics and molecular simulations, LEAP recovers underlying dynamics, captures dependencies across time and enables transfer across inference objectives and physical conditions. We show that is a promising framework for turning trajectory observations into reusable objectives for scientific inference and control.
Figures & tables
Appendix figures & tables13 assets
Supplementary material from the paper’s appendix.
Appendix
| Double well | Orbital | Alanine | |
|---|---|---|---|
| Training paths | / | ||
| Reference paths | |||
| Training budget | epochs | epochs | updates |
| Batch size | |||
| Learning rate | |||
| Training seeds |
| Method | Definition |
|---|---|
| Kramers-Moyal | Binned mean local increment |
| Cubic velocity regression | Cubic least-squares fit to local increments |
| Zero field | |
| Geometric path | Fixed waiting and linear crossing path |
| Analytic drift | Exact drift and action |
| LEAP | Complete path comparison objective |
| Drift MSE | True path cost | ||
|---|---|---|---|
| Method | |||
| Kramers-Moyal | — | — | |
| Cubic velocity reg. | |||
| Zero field | |||
| Geometric path | — | ||
| Analytic drift | |||
| Setting | LEAP | Transition NCE | Gaussian MLE |
|---|---|---|---|
| Reference diffusion | |||
| Setting | LEAP | Transition NCE | Gaussian MLE |
|---|---|---|---|
| , | |||
| , | |||
| , |
| Model | Input | |
| LEAP-Local | One transition | |
| Transition NCE | One transition | |
| LEAP-Global | Complete path + accumulated features | |
| LEAP-Hybrid | Local + complete path | |
| Gaussian MLE | State + time | |
| History Gaussian MLE | Causal history |
| Setting | Training | |
|---|---|---|
| validation stop | ||
| epochs | ||
| validation stop | ||
| validation stop | ||
| Training data | ||
| Training paths | LEAP-Global | Binary NRE |
| Transitions | Path coords. | LEAP-Local | LEAP-Global |
|---|---|---|---|
| 31 bodies | |||
| 32 | |||
| 64 | |||
| 128 | |||
| 256 | |||
| 42 bodies | |||
| Objective difference | Error | AUROC | Spearman |
|---|---|---|---|
| Denoising | — | ||
| Variational |
| Method | Sparse completion | Endpoints only |
|---|---|---|
| Reference action | ||
| Untrained action | ||
| Velocity regression | ||
| Binary NRE | ||
| Conditional DDPM | ||
| Conditional flow matching |
| Train | Test | LEAP | Binary NRE | Velocity | Untrained |
|---|---|---|---|---|---|
| Preference | ||||
|---|---|---|---|---|
| Transition cost |