{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T18:18:47Z","timestamp":1776277127687,"version":"3.50.1"},"reference-count":84,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2024,5,22]],"date-time":"2024-05-22T00:00:00Z","timestamp":1716336000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF CAREER","award":["1652515"],"award-info":[{"award-number":["1652515"]}]},{"name":"NSF","award":["OAC-1835712, CHS-1908767, CHS-1901091, IIS-2313156"],"award-info":[{"award-number":["OAC-1835712, CHS-1908767, CHS-1901091, IIS-2313156"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Graph."],"published-print":{"date-parts":[[2024,6,30]]},"abstract":"<jats:p>We introduce a general differentiable solver for time-dependent deformation problems with contact and friction. Our approach uses a finite element discretization with a high-order time integrator coupled with the recently proposed incremental potential contact method for handling contact and friction forces to solve ODE- and PDE-constrained optimization problems on scenes with complex geometry. It supports static and dynamic problems and differentiation with respect to all physical parameters involved in the physical problem description, which include shape, material parameters, friction parameters, and initial conditions. Our analytically derived adjoint formulation is efficient, with a small overhead (typically less than 10% for nonlinear problems) over the forward simulation, and shares many similarities with the forward problem, allowing the reuse of large parts of existing forward simulator code.<\/jats:p>\n          <jats:p>We implement our approach on top of the open-source PolyFEM library and demonstrate the applicability of our solver to shape design, initial condition optimization, and material estimation on both simulated results and physical validations.<\/jats:p>","DOI":"10.1145\/3657648","type":"journal-article","created":{"date-parts":[[2024,4,26]],"date-time":"2024-04-26T11:29:56Z","timestamp":1714130996000},"page":"1-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Differentiable solver for time-dependent deformation problems with contact"],"prefix":"10.1145","volume":"43","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-6529-4694","authenticated-orcid":false,"given":"Zizhou","family":"Huang","sequence":"first","affiliation":[{"name":"New York University, New York, United States"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-7094-495X","authenticated-orcid":false,"given":"Davi Colli","family":"Tozoni","sequence":"additional","affiliation":[{"name":"New York University, New York, United States"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-4666-8260","authenticated-orcid":false,"given":"Arvi","family":"Gjoka","sequence":"additional","affiliation":[{"name":"New York University, New York, United States"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2466-3768","authenticated-orcid":false,"given":"Zachary","family":"Ferguson","sequence":"additional","affiliation":[{"name":"New York University, New York, United States"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5969-636X","authenticated-orcid":false,"given":"Teseo","family":"Schneider","sequence":"additional","affiliation":[{"name":"Computer Science, University of Victoria, Victoria, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1183-2454","authenticated-orcid":false,"given":"Daniele","family":"Panozzo","sequence":"additional","affiliation":[{"name":"Computer Science, New York University, New York, United States"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7733-5501","authenticated-orcid":false,"given":"Denis","family":"Zorin","sequence":"additional","affiliation":[{"name":"New York University, New York, United States"}]}],"member":"320","published-online":{"date-parts":[[2024,5,22]]},"reference":[{"key":"e_1_3_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3399732"},{"key":"e_1_3_2_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/bs.hna.2020.10.004"},{"key":"e_1_3_2_4_1","doi-asserted-by":"publisher","DOI":"10.11588\/ans.2015.100.20553"},{"key":"e_1_3_2_5_1","first-page":"1","article-title":"Design and control of soft robots using differentiable simulation","author":"B\u00e4cher Moritz","year":"2021","unstructured":"Moritz B\u00e4cher , Espen Knoop , and Christian Schumacher . 2021. Design and control of soft robots using differentiable simulation. Current Robotics Reports (2021), 1\u201311.","journal-title":"Current Robotics Reports"},{"key":"e_1_3_2_6_1","first-page":"472","volume-title":"International Conference on Machine Learning","author":"Baque Pierre","year":"2018","unstructured":"Pierre Baque , Edoardo Remelli , Fran\u00e7ois Fleuret , and Pascal Fua . 2018. Geodesic convolutional shape optimization. In International Conference on Machine Learning . PMLR, 472\u2013481."},{"key":"e_1_3_2_7_1","volume-title":"Nonlinear Finite Elements for Continua and Structures","author":"Belytschko Ted","year":"2000","unstructured":"Ted Belytschko , Wing Kam Liu , and Brian Moran . 2000. Nonlinear Finite Elements for Continua and Structures . John Wiley & Sons, Ltd."},{"key":"e_1_3_2_8_1","doi-asserted-by":"publisher","DOI":"10.1137\/130948070"},{"key":"e_1_3_2_9_1","doi-asserted-by":"publisher","DOI":"10.15607\/rss.2019.xv.052"},{"key":"e_1_3_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/RoboSoft48309.2020.9116011"},{"key":"e_1_3_2_11_1","series-title":"NIC Series","first-page":"315","volume-title":"Modern Methods and Algorithms of Quantum Chemistry: Proceedings, Second Edition","volume":"3","author":"Bischof C. H.","year":"2000","unstructured":"C. H. Bischof and H. M. B\u00fccker . 2000. Computing derivatives of computer programs. In Modern Methods and Algorithms of Quantum Chemistry: Proceedings, Second Edition , J. Grotendorst (Ed.). NIC Series, Vol. 3. NIC-Directors, J\u00fclich, 315\u2013327. http:\/\/hdl.handle.net\/2128\/6053"},{"key":"e_1_3_2_12_1","doi-asserted-by":"publisher","DOI":"10.1137\/17M1147615"},{"key":"e_1_3_2_13_1","doi-asserted-by":"publisher","unstructured":"Matthias Bollh\u00f6fer Olaf Schenk Radim Janalik Steve Hamm and Kiran Gullapalli . 2020. State-of-the-art sparse direct solvers. (2020) 3\u201333. 10.1007\/978-3-030-43736-7_1","DOI":"10.1007\/978-3-030-43736-7_1"},{"key":"e_1_3_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/566654.566623"},{"key":"e_1_3_2_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0557-2"},{"key":"e_1_3_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3272127.3275011"},{"key":"e_1_3_2_17_1","article-title":"A compositional object-based approach to learning physical dynamics","author":"Chang Michael B.","year":"2016","unstructured":"Michael B. Chang , Tomer Ullman , Antonio Torralba , and Joshua B. Tenenbaum . 2016. A compositional object-based approach to learning physical dynamics. arXiv preprint arXiv:1612.00341 (2016).","journal-title":"arXiv preprint arXiv:1612.00341"},{"key":"e_1_3_2_18_1","doi-asserted-by":"publisher","DOI":"10.1088\/1361-665x\/ab8b2d"},{"key":"e_1_3_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2070781.2024173"},{"key":"e_1_3_2_20_1","first-page":"1","article-title":"Material point method after 25 years: Theory, implementation and applications","author":"Vaucorbeil Alban de","year":"2019","unstructured":"Alban de Vaucorbeil , Vinh Phu Nguyen , Sina Sinaie , and Jian Ying Wu . 2019. Material point method after 25 years: Theory, implementation and applications. Submitted to Advances in Applied Mechanics (2019), 1.","journal-title":"Submitted to Advances in Applied Mechanics"},{"key":"e_1_3_2_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijsolstr.2006.06.010"},{"key":"e_1_3_2_22_1","unstructured":"J\u00f8rgen S. Dokken Sebastian K. Mitusch and Simon W. Funke . 2020. Automatic Shape Derivatives for Transient PDEs in FEniCS and Firedrake. (2020). arxiv:math.OC\/2001.10058"},{"key":"e_1_3_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3490168"},{"key":"e_1_3_2_24_1","doi-asserted-by":"publisher","DOI":"10.1201\/9781420027365"},{"key":"e_1_3_2_25_1","unstructured":"Zachary Ferguson and others. 2020. IPC Toolkit. Retrieved from https:\/\/github.com\/ipc-sim\/ipc-toolkit"},{"key":"e_1_3_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3450626.3459802"},{"key":"e_1_3_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3414685.3417843"},{"key":"e_1_3_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3414685.3417766"},{"key":"e_1_3_2_29_1","doi-asserted-by":"publisher","DOI":"10.1002\/nme.2579"},{"key":"e_1_3_2_30_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717761"},{"key":"e_1_3_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3355089.3356576"},{"key":"e_1_3_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3355089.3356548"},{"key":"e_1_3_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1576246.1531393"},{"issue":"3","key":"e_1_3_2_34_1","article-title":"Robust treatment of simultaneous collisions","volume":"27","author":"Harmon David","year":"2008","unstructured":"David Harmon , Etienne Vouga , Rasmus Tamstorf , and Eitan Grinspun . 2008. Robust treatment of simultaneous collisions. SIGGRAPH (ACM Trans. on Graph.) 27, 3 (2008).","journal-title":"SIGGRAPH (ACM Trans. on Graph.)"},{"issue":"1","key":"e_1_3_2_35_1","first-page":"54","article-title":"Shape optimization in contact problems based on penalization of the state inequality","volume":"31","author":"Haslinger Jaroslav","year":"1986","unstructured":"Jaroslav Haslinger , Pekka Neittaanmaki , and Timo Tiihonen . 1986. Shape optimization in contact problems based on penalization of the state inequality. Aplikace Matematiky 31, 1 (1986), 54\u201377. https:\/\/eudml.org\/doc\/15435","journal-title":"Aplikace Matematiky"},{"key":"e_1_3_2_36_1","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2021.XVII.067"},{"key":"e_1_3_2_37_1","article-title":"NeuralSim: Augmenting differentiable simulators with neural networks","author":"Heiden Eric","year":"2020","unstructured":"Eric Heiden , David Millard , Erwin Coumans , Yizhou Sheng , and Gaurav S. Sukhatme . 2020. NeuralSim: Augmenting differentiable simulators with neural networks. arXiv preprint arXiv:2011.04217 (2020).","journal-title":"arXiv preprint arXiv:2011.04217"},{"key":"e_1_3_2_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s001580050149"},{"key":"e_1_3_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3306346.3323034"},{"key":"e_1_3_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3528223.3530165"},{"key":"e_1_3_2_41_1","volume-title":"International Conference on Learning Representations","author":"Hu Yuanming","year":"2019","unstructured":"Yuanming Hu , Luke Anderson , Tzu-Mao Li , Qi Sun , Nathan Carr , Jonathan Ragan-Kelley , and Fredo Durand . 2019a. DiffTaichi: Differentiable programming for physical simulation. In International Conference on Learning Representations ."},{"key":"e_1_3_2_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794333"},{"key":"e_1_3_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386569.3392385"},{"key":"e_1_3_2_44_1","unstructured":"Wenzel Jakob . 2010. Mitsuba Renderer. (2010). http:\/\/www.mitsuba-renderer.org"},{"key":"e_1_3_2_45_1","article-title":"gradSim: Differentiable simulation for system identification and visuomotor control","author":"Jatavallabhula Krishna Murthy","year":"2021","unstructured":"Krishna Murthy Jatavallabhula , Miles Macklin , Florian Golemo , Vikram Voleti , Linda Petrini , Martin Weiss , Breandan Considine , Jerome Parent-Levesque , Kevin Xie , Kenny Erleben , Liam Paull , Florian Shkurti , Derek Nowrouzezahrai , and Sanja Fidler . 2021. gradSim: Differentiable simulation for system identification and visuomotor control. International Conference on Learning Representations (ICLR) (2021). https:\/\/openreview.net\/forum?id=c_E8kFWfhp0","journal-title":"International Conference on Learning Representations (ICLR)"},{"key":"e_1_3_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3414685.3417769"},{"key":"e_1_3_2_47_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970845"},{"key":"e_1_3_2_48_1","doi-asserted-by":"publisher","DOI":"10.1137\/S1064827500371499"},{"key":"e_1_3_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386569.3392425"},{"key":"e_1_3_2_50_1","unstructured":"Minchen Li Zachary Ferguson Teseo Schneider Timothy Langlois Denis Zorin Daniele Panozzo Chenfanfu Jiang and Danny M. Kaufman . 2023a. Convergent Incremental Potential Contact. (2023). arxiv:math.NA\/2307.15908"},{"key":"e_1_3_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3527660"},{"key":"e_1_3_2_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3618318"},{"key":"e_1_3_2_53_1","article-title":"Differentiable cloth simulation for inverse problems","author":"Liang Junbang","year":"2019","unstructured":"Junbang Liang , Ming Lin , and Vladlen Koltun . 2019. Differentiable cloth simulation for inverse problems. Neural Information Processing Systems (2019).","journal-title":"Neural Information Processing Systems"},{"key":"e_1_3_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3272127.3275036"},{"key":"e_1_3_2_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/tro.2020.3043654"},{"key":"e_1_3_2_56_1","doi-asserted-by":"publisher","DOI":"10.1002\/widm.1305"},{"key":"e_1_3_2_57_1","doi-asserted-by":"crossref","unstructured":"Aymeric Maury Gr\u00e9goire Allaire and Fran\u00e7ois Jouve . 2017. Shape Optimisation with the Level Set Method for Contact Problems in Linearised Elasticity. (Jan.2017). https:\/\/hal.archives-ouvertes.fr\/hal-01435325","DOI":"10.5802\/smai-jcm.27"},{"issue":"3","key":"e_1_3_2_58_1","article-title":"Fluid control using the adjoint method","volume":"23","author":"McNamara Antoine","year":"2004","unstructured":"Antoine McNamara , Adrien Treuille , Zoran Popovi\u0107 , and Jos Stam . 2004. Fluid control using the adjoint method. ACM Transactions on Graphics \/ SIGGRAPH 2004 23, 3 (Aug.2004).","journal-title":"ACM Transactions on Graphics \/ SIGGRAPH 2004"},{"key":"e_1_3_2_59_1","doi-asserted-by":"publisher","DOI":"10.21105\/joss.01292"},{"key":"e_1_3_2_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC41404.2022.00065"},{"key":"e_1_3_2_61_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611972078"},{"key":"e_1_3_2_62_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8659.2009.01396.x"},{"key":"e_1_3_2_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3072959.3073649"},{"key":"e_1_3_2_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/2766937"},{"key":"e_1_3_2_65_1","first-page":"7847","volume-title":"International Conference on Machine Learning","author":"Qiao Yi-Ling","year":"2020","unstructured":"Yi-Ling Qiao , Junbang Liang , Vladlen Koltun , and Ming Lin . 2020. Scalable differentiable physics for learning and control. In International Conference on Machine Learning . PMLR, 7847\u20137856."},{"key":"e_1_3_2_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3072959.2983621"},{"key":"e_1_3_2_67_1","article-title":"Differentiable implicit soft-body physics","author":"Rojas Junior","year":"2021","unstructured":"Junior Rojas , Eftychios Sifakis , and Ladislav Kavan . 2021. Differentiable implicit soft-body physics. arXiv preprint arXiv:2102.05791 (2021).","journal-title":"arXiv preprint arXiv:2102.05791"},{"key":"e_1_3_2_68_1","first-page":"317","volume-title":"Proceedings of The 2nd Conference on Robot Learning (Proceedings of Machine Learning Research)","volume":"87","author":"Schenck Connor","year":"2018","unstructured":"Connor Schenck and Dieter Fox . 2018. SPNets: Differentiable fluid dynamics for deep neural networks. In Proceedings of The 2nd Conference on Robot Learning (Proceedings of Machine Learning Research) , Aude Billard , Anca Dragan , Jan Peters , and Jun Morimoto (Eds.), Vol. 87. PMLR, 317\u2013335. https:\/\/proceedings.mlr.press\/v87\/schenck18a.html"},{"key":"e_1_3_2_69_1","unstructured":"Teseo Schneider J\u00e9r\u00e9mie Dumas Xifeng Gao Denis Zorin and Daniele Panozzo . 2019. PolyFEM. https:\/\/polyfem.github.io\/ (2019)."},{"key":"e_1_3_2_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/lra.2020.2982058"},{"key":"e_1_3_2_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/3272127.3275085"},{"key":"e_1_3_2_72_1","doi-asserted-by":"publisher","DOI":"10.1002\/adma.201501708"},{"key":"e_1_3_2_73_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00158-017-1833-y"},{"key":"e_1_3_2_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/2461912.2461979"},{"key":"e_1_3_2_75_1","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.2001.0904"},{"key":"e_1_3_2_76_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cma.2010.03.021"},{"key":"e_1_3_2_77_1","doi-asserted-by":"publisher","DOI":"10.1089\/soro.2018.0162"},{"key":"e_1_3_2_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386569.3392451"},{"key":"e_1_3_2_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/3478513.3480552"},{"key":"e_1_3_2_80_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cma.2005.02.002"},{"key":"e_1_3_2_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209887"},{"key":"e_1_3_2_82_1","unstructured":"Patrick Wieschollek . 2016. CppOptimizationLibrary. https:\/\/github.com\/PatWie\/CppNumericalSolvers"},{"key":"e_1_3_2_83_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02736195"},{"key":"e_1_3_2_84_1","doi-asserted-by":"publisher","unstructured":"Jie Xu Viktor Makoviychuk Yashraj Narang Fabio Ramos Wojciech Matusik Animesh Garg and Miles Macklin . 2022. Accelerated Policy Learning with Parallel Differentiable Simulation. (2022). DOI:10.48550\/ARXIV.2204.07137","DOI":"10.48550\/ARXIV.2204.07137"},{"key":"e_1_3_2_85_1","doi-asserted-by":"publisher","DOI":"10.1111\/cgf.12972"}],"container-title":["ACM Transactions on Graphics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3657648","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3657648","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:05:54Z","timestamp":1750291554000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3657648"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,22]]},"references-count":84,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,6,30]]}},"alternative-id":["10.1145\/3657648"],"URL":"https:\/\/doi.org\/10.1145\/3657648","relation":{},"ISSN":["0730-0301","1557-7368"],"issn-type":[{"value":"0730-0301","type":"print"},{"value":"1557-7368","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,5,22]]},"assertion":[{"value":"2022-11-07","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-02-27","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-05-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}