Pitfalls of Projection: A study of Newton-type solvers for incremental potentials (2311.14526v1)
Abstract: Nonlinear systems arising from time integrators like Backward Euler can sometimes be reformulated as optimization problems, known as incremental potentials. We show through a comprehensive experimental analysis that the widely used Projected Newton method, which relies on unconditional semidefinite projection of Hessian contributions, typically exhibits a reduced convergence rate compared to classical Newton's method. We demonstrate how factors like resolution, element order, projection method, material model and boundary handling impact convergence of Projected Newton and Newton. Drawing on these findings, we propose the hybrid method Project-on-Demand Newton, which projects only conditionally, and show that it enjoys both the robustness of Projected Newton and convergence rate of Newton. We additionally introduce Kinetic Newton, a regularization-based method that takes advantage of the structure of incremental potentials and avoids projection altogether. We compare the four solvers on hyperelasticity and contact problems. We also present a nuanced discussion of convergence criteria, and propose a new acceleration-based criterion that avoids problems associated with existing residual norm criteria and is easier to interpret. We finally address a fundamental limitation of the Armijo backtracking line search that occasionally blocks convergence, especially for stiff problems. We propose a novel parameter-free, robust line search technique to eliminate this issue.
- Nicholas Vieau Alger. 2019. Data-scalable Hessian preconditioning for distributed parameter PDE-constrained inverse problems. The University of Texas at Austin.
- Uri M Ascher and Linda R Petzold. 1998. Computer methods for ordinary differential equations and differential-algebraic equations. Vol. 61. Siam.
- Dimitri P Bertsekas. 1982. Projected Newton methods for optimization problems with simple constraints. SIAM Journal on control and Optimization 20, 2 (1982), 221–246.
- Projective dynamics: fusing constraint projections for fast simulation. ACM Transactions on Graphics 33, 4 (July 2014), 154:1–154:11. https://doi.org/10.1145/2601097.2601116
- Accurate dissipative forces in optimization integrators. ACM Transactions on Graphics (TOG) 37, 6 (2018).
- A unified newton barrier method for multibody dynamics. ACM Transactions on Graphics 41, 4 (July 2022), 66:1–66:14. https://doi.org/10.1145/3528223.3530076
- Multi-Layer Thick Shells. In ACM SIGGRAPH 2023 Conference Proceedings (SIGGRAPH ’23). Association for Computing Machinery, New York, NY, USA, 1–9. https://doi.org/10.1145/3588432.3591489
- Trust region methods. SIAM.
- Sébastien Crozet et al. 2023. nalgebra: a linear algebra library for Rust. https://nalgebra.org
- Gilles Daviet. 2020. Simple and Scalable Frictional Contacts for Thin Nodal Objects. ACM Trans. Graph. 39, 4, Article 61 (aug 2020), 16 pages. https://doi.org/10.1145/3386569.3392439
- Peter Deuflhard. 2005. Newton methods for nonlinear problems: affine invariance and adaptive algorithms. Vol. 35. Springer Science & Business Media.
- Stabilizing Integrators for Real-Time Physics. ACM Trans. Graph. 37, 1, Article 9 (jan 2018), 19 pages. https://doi.org/10.1145/3153420
- Lifting Simplices to Find Injectivity. ACM Trans. Graph. 39, 4, Article 120 (aug 2020), 17 pages. https://doi.org/10.1145/3386569.3392484
- Jean-Pierre Dussault. 2017. A note on robust descent in differentiable optimization. Operations Research Letters 45, 5 (2017), 530–532. https://doi.org/10.1016/j.orl.2017.08.009
- Zachary Ferguson et al. 2020. IPC Toolkit. https://github.com/ipc-sim/ipc-toolkit
- Intersection-free rigid body dynamics. ACM Transactions on Graphics 40, 4 (July 2021), 183:1–183:16. https://doi.org/10.1145/3450626.3459802
- Optimization integrator for large time steps. IEEE transactions on visualization and computer graphics 21, 10 (2015).
- William W Hager and Hongchao Zhang. 2005. A new conjugate gradient method with guaranteed descent and an efficient line search. SIAM Journal on optimization 16, 1 (2005), 170–192.
- Magnus R Hestenes and Eduard Stiefel. 1952. Methods of conjugate gradients for solving linear systems. Journal of research of the National Bureau of Standards 49, 6 (1952), 409–436.
- Intel Corporation. 2023. Intel oneMKL 2023. https://www.intel.com/content/www/us/en/developer/tools/oneapi/onemkl.html
- C. T. Kelley. 2003. Solving nonlinear equations with Newton’s method. SIAM.
- Geometric, Variational Integrators for Computer Animation. In ACM SIGGRAPH / Eurographics Symposium on Computer Animation, Marie-Paule Cani and James O’Brien (Eds.). The Eurographics Association. https://doi.org/10.2312/SCA/SCA06/043-051
- Theodore Kim. 2020. A Finite Element Formulation of Baraff-Witkin Cloth. In Computer Graphics Forum, Vol. 39. Wiley Online Library, 171–179.
- Anisotropic elasticity for inversion-safety and element rehabilitation. ACM Transactions on Graphics (TOG) 38, 4 (2019), 1–15.
- Theodore Kim and David Eberle. 2022. Dynamic deformables: implementation and production practicalities. In ACM SIGGRAPH 2022 Courses. 1–259.
- Affine body dynamics: fast, stable and intersection-free simulation of stiff materials. ACM Transactions on Graphics 41, 4 (July 2022), 67:1–67:14. https://doi.org/10.1145/3528223.3530064
- Second-order Stencil Descent for Interior-point Hyperelasticity. ACM Transactions on Graphics 42, 4 (July 2023), 108:1–108:16. https://doi.org/10.1145/3592104
- Penetration-free projective dynamics on the GPU. ACM Transactions on Graphics 41, 4 (July 2022), 69:1–69:16. https://doi.org/10.1145/3528223.3530069
- Fully implicit frictional dynamics with soft constraints. arXiv e-prints (2022).
- Loki: A Unified Multiphysics Simulation Framework for Production. ACM Trans. Graph. 41, 4, Article 50 (jul 2022), 20 pages. https://doi.org/10.1145/3528223.3530058
- Kenneth Levenberg. 1944. A Method for the Solution of Certain Non-Linear Problems in Least Squares. Quart. Appl. Math. 2, 2 (1944). https://doi.org/10.1090/qam/10666
- Incremental potential contact: intersection-and inversion-free, large-deformation dynamics. ACM Trans. Graph. 39, 4 (2020).
- Decomposed optimization time integrator for large-step elastodynamics. ACM Transactions on Graphics (TOG) 38, 4 (2019), 1–10.
- Codimensional incremental potential contact. ACM Transactions on Graphics 40, 4 (July 2021), 170:1–170:24. https://doi.org/10.1145/3450626.3459767
- OptCuts: Joint Optimization of Surface Cuts and Parameterization. ACM Trans. Graph. 37, 6, Article 247 (dec 2018), 13 pages. https://doi.org/10.1145/3272127.3275042
- Isotropic ARAP energy using Cauchy-Green invariants. ACM Transactions on Graphics (TOG) 41, 6 (2022), 1–14.
- Fast simulation of mass-spring systems. ACM Transactions on Graphics (TOG) 32, 6 (2013), 1–7.
- Quasi-Newton Methods for Real-Time Simulation of Hyperelastic Materials. ACM Transactions on Graphics 36, 4 (July 2017), 116a:1. https://doi.org/10.1145/3072959.2990496
- Higher-order finite elements for embedded simulation. ACM Transactions on Graphics (TOG) 39, 6 (2020), 1–14.
- Rosa M. Sánchez-Banderas and Miguel A. Otaduy. 2018. Strain rate dissipation for elastic deformations. In Computer Graphics Forum, Vol. 37. Wiley Online Library, 161–170.
- Primal/dual descent methods for dynamics. In Computer Graphics Forum, Vol. 39. Wiley Online Library, 89–100.
- Donald W Marquardt. 1963. An algorithm for least-squares estimation of nonlinear parameters. Journal of the society for Industrial and Applied Mathematics 11, 2 (1963). https://doi.org/10.1137/0111030
- Example-Based Elastic Materials. In ACM SIGGRAPH 2011 Papers (Vancouver, British Columbia, Canada) (SIGGRAPH ’11). Association for Computing Machinery, New York, NY, USA, Article 72, 8 pages. https://doi.org/10.1145/1964921.1964967
- Efficient elasticity for character skinning with contact and collisions. In ACM SIGGRAPH 2011 papers. 1–12.
- Konstantin Mishchenko. 2023. Regularized Newton Method with Global 𝓞(𝟏/𝒌𝟐)𝓞1superscript𝒌2{\boldsymbol{\mathcal{O}(1/{k}^{2})}}bold_caligraphic_O bold_( bold_1 bold_/ bold_italic_k start_POSTSUPERSCRIPT bold_2 end_POSTSUPERSCRIPT bold_) Convergence. SIAM Journal on Optimization 33, 3 (2023), 1440–1462. https://doi.org/10.1137/22M1488752
- Yurii Nesterov and Boris T Polyak. 2006. Cubic regularization of Newton method and its global performance. Mathematical Programming 108, 1 (2006), 177–205.
- Jorge Nocedal and Stephen J. Wright. 2006. Numerical Optimization (2nd ed.). Springer, New York, NY, USA.
- ADMM ⊇superset-of-or-equals\supseteq⊇ Projective Dynamics: Fast Simulation of Hyperelastic Models with Dynamic Constraints. IEEE Transactions on Visualization and Computer Graphics 23, 10 (Oct 2017), 2222–2234. https://doi.org/10.1109/TVCG.2017.2730875
- Julian Panetta. 2020. Analytic eigensystems for isotropic membrane energies. arXiv preprint (2020).
- Roman A Polyak. 2009. Regularized Newton method for unconstrained convex optimization. Mathematical programming 120 (2009), 125–145.
- R. Radovitzky and M. Ortiz. 1999. Error estimation and adaptive meshing in strongly nonlinear dynamic problems. Computer Methods in Applied Mechanics and Engineering 172, 1 (1999), 203–240.
- A material point method for viscoelastic fluids, foams and sponges. In Proceedings of the 14th ACM SIGGRAPH/Eurographics Symposium on Computer Animation. 157–163.
- Distortion-Minimizing Injective Maps between Surfaces. ACM Trans. Graph. 38, 6, Article 156 (nov 2019), 15 pages. https://doi.org/10.1145/3355089.3356519
- Alvin Shi and Theodore Kim. 2023. A Unified Analysis of Penalty-Based Collision Energies. Proc. ACM Comput. Graph. Interact. Tech. 6, 3, Article 41 (aug 2023), 19 pages. https://doi.org/10.1145/3606934
- Geometric optimization via composite majorization. ACM Trans. Graph. 36, 4 (2017), 38–1.
- Stable Neo-Hookean Flesh Simulation. ACM Trans. Graph. 37, 2, Article 12 (mar 2018), 15 pages. https://doi.org/10.1145/3180491
- Analytic eigensystems for isotropic distortion energies. ACM Transactions on Graphics (TOG) 38, 1 (2019), 1–15.
- Energetically Consistent Invertible Elasticity.. In Symposium on Computer Animation, Vol. 1.
- Robust Quasistatic Finite Elements and Flesh Simulation (SCA ’05). Association for Computing Machinery, New York, NY, USA, 181–190.
- Huamin Wang and Yin Yang. 2016. Descent Methods for Elastic Body Simulation on the GPU. ACM Trans. Graph. 35, 6, Article 212 (dec 2016), 10 pages. https://doi.org/10.1145/2980179.2980236
- Hierarchical Optimization Time Integration for CFL-Rate MPM Stepping. 39, 3, Article 21 (apr 2020), 16 pages. https://doi.org/10.1145/3386760
- A Contact Proxy Splitting Method for Lagrangian Solid-Fluid Coupling. ACM Transactions on Graphics 42, 4 (July 2023), 122:1–122:14. https://doi.org/10.1145/3592115
- Nonlinear material design using principal stretches. ACM Transactions on Graphics (TOG) 34, 4 (2015), 1–11.
- Blended Cured Quasi-Newton for Distortion Optimization. to appear ACM Trans. on Graphics (SIGGRAPH 2018) (2018).