Benchmarking Optimizers to Solve Inverse Problems with Differentiable Physics Simulators
Organizations: Zhongguancun Academy, Beijing, China · Zhongguancun Institute of Artificial Intelligence, Beijing, China
Abstract
Solving inverse problems with differentiable physics simulators holds the potential to revolutionize scientific discovery and engineering design, as it enjoys both the strict physical correctness from rigorous numerical physics simulators, and the high efficiency and effectiveness from automatic differentiation and gradient-based optimization. However, currently, this paradigm faces performance issues in optimization. In this work, we target benchmarking the performance of different optimizers to solve various inverse problems. We construct 12 differentiable physics simulators spanning physics domains including discrete mechanics, continuous mechanics, atomistic simulations, rendering, and semi-empirical physics models. Based on these simulators, we design corresponding inverse problems that can be categorized into parameter identification, inverse design, and optimal control. Finally, we conduct extensive experiments to compare the performance of different optimizers, including regular first-order methods, approximate second-order methods, as well as global optimizers, on these inverse problems, and analyze the results to provide insights on how to choose and design optimizers for differentiable programming. We hope such benchmarks can inspire the development of more effective optimizers, and further promote the applications of differentiable programming in various scientific and engineering domains.
Figures & tables
| Category | Model | Input | Output |
| Discrete Mechanics | Projectile Motion | Earth’s gravity initial state | horizontal range |
| Flight Dynamics | vehicle params Earth params initial state control policy | flight trajectory | |
| Mass-Spring Systems | system params initial state control policy | movement trajectory | |
| Rigid-Body Dynamics | system params initial state control policy | movement trajectory | |
| Continuous Mechanics | Elastic Mechanics | material density boundary conditions physical params | compliance displacement |
| Fluid Mechanics | car shape physical params | drag |
| Category | Problem | Base Simulator | Dimension of Design Variables |
| Parameter Identification | XC Functional Fitting | DFT | 2 |
| Tire Params Fitting | Tire Magic Formula | 8 | |
| Battery Params Fitting | Battery Thevenin Model | 9 | |
| Tight Binding Params Fitting | Tight Binding | 32 | |
| 2D Reconstruction | Gaussian Splatting | 224 | |
| Inverse Design | Range Matching | Projectile Motion | 1 |
| Category | Optimizer |
| First-order Local | SGD |
| RMSprop | |
| Adam | |
| AdamW | |
| Approximate Second-order Local | L-BFGS |
| K-FAC |
| Optimizer | DFT | Tire | Battery | Tight Binding | Gaussian Splatting |
| SGD | |||||
| RMSprop | |||||
| Adam | |||||
| AdamW | |||||
| LBFGS | |||||
| KFAC |
| Optimizer | Projectile | Fluid | Atmospheric | Elastic |
| SGD | ||||
| RMSprop | ||||
| Adam | ||||
| AdamW | ||||
| LBFGS | ||||
| KFAC |
| Optimizer | Flight Dynamics | Rigid Body | Mass Spring |
| SGD | |||
| RMSprop | |||
| Adam | |||
| AdamW | |||
| LBFGS | |||
| KFAC |
Appendix figures & tables13 assets
Supplementary material from the paper’s appendix.
Appendix
| Name | Searched / fixed configurations |
| SGD | search lr , momentum (8 configs) |
| RMSprop | search lr , momentum (8 configs) |
| Adam | search lr , beta1 ; fixed beta2=0.999 (8 configs) |
| AdamW | search lr , beta1 ; fixed beta2=0.999 (8 configs) |
| LBFGS | search lr ; fixed max_iter=10 , line_search_fn=strong_wolfe (4 configs) |
| KFAC | search lr , damping ; fixed momentum=0.9 , beta=0.95 , precondition_frequency=10 (12 configs) |
| Optimizer | Step wall (s), mean std | Peak GPU (MB), mean std |
| SGD | ||
| RMSprop | ||
| Adam | ||
| AdamW | ||
| LBFGS | ||
| KFAC |
| Optimizer | Step wall (s), mean std | Peak GPU (MB), mean std |
| SGD | ||
| RMSprop | ||
| Adam | ||
| AdamW | ||
| LBFGS | ||
| KFAC |
| Optimizer | Step wall (s), mean std | Peak GPU (MB), mean std |
| SGD | ||
| RMSprop | ||
| Adam | ||
| AdamW | ||
| LBFGS | ||
| KFAC |
| Optimizer | Step wall (s), mean std | Peak GPU (MB), mean std |
| SGD | ||
| RMSprop | ||
| Adam | ||
| AdamW | ||
| LBFGS | ||
| KFAC |
| Optimizer | Step wall (s), mean std | Peak GPU (MB), mean std |
| SGD | ||
| RMSprop | ||
| Adam | ||
| AdamW | ||
| LBFGS | ||
| KFAC |
| Optimizer | Step wall (s), mean std | Peak GPU (MB), mean std |
| SGD | ||
| RMSprop | ||
| Adam | ||
| AdamW | ||
| LBFGS | ||
| KFAC |
| Optimizer | Step wall (s), mean std | Peak GPU (MB), mean std |
| SGD | ||
| RMSprop | ||
| Adam | ||
| AdamW | ||
| LBFGS | ||
| KFAC |
| Optimizer | Step wall (s), mean std | Peak GPU (MB), mean std |
| SGD | ||
| RMSprop | ||
| Adam | ||
| AdamW | ||
| LBFGS | ||
| KFAC |
| Optimizer | Step wall (s), mean std | Peak GPU (MB), mean std |
| SGD | ||
| RMSprop | ||
| Adam | ||
| AdamW | ||
| LBFGS | ||
| KFAC |
| Optimizer | Step wall (s), mean std | Peak GPU (MB), mean std |
| SGD | ||
| RMSprop | ||
| Adam | ||
| AdamW | ||
| LBFGS | ||
| KFAC |
| Optimizer | Step wall (s), mean std | Peak GPU (MB), mean std |
| SGD | ||
| RMSprop | ||
| Adam | ||
| AdamW | ||
| LBFGS | ||
| KFAC |
| Optimizer | Step wall (s), mean std | Peak GPU (MB), mean std |
| SGD | ||
| RMSprop | ||
| Adam | ||
| AdamW | ||
| LBFGS | ||
| KFAC |
Differentiable Optimization
Differentiable optimization makes solvers and constrained decisions trainable with gradients for learning, control, design, and inverse problems.
See all 84 papers