Automatic differentiation with higher infinitesimals, or computational smooth infinitesimal analysis in Weil algebra

DOI10.1007/978-3-030-85165-1_11zbMATH Open1495.68250arXiv2106.14153OpenAlexW3198224663MaRDI QIDQ831980FDOQ831980

Authors: Hiromi Ishii 

Publication date: 24 March 2022

Abstract: We propose an algorithm to compute the $C^{i}nfty$-ring structure of arbitrary Weil algebra. It allows us to do some analysis with higher infinitesimals numerically and symbolically. To that end, we first give a brief description of the (Forward-mode) automatic differentiation (AD) in terms of $C^{i}nfty$-rings. The notion of a $C^{i}nfty$-ring was introduced by Lawvere and used as the fundamental building block of smooth infinitesimal analysis and synthetic differential geometry. We argue that interpreting AD in terms of $C^{i}nfty$-rings gives us a unifying theoretical framework and modular ways to express multivariate partial derivatives. In particular, we can "package" higher-order Forward-mode AD as a Weil algebra, and take tensor products to compose them to achieve multivariate higher-order AD. The algorithms in the present paper can also be used for a pedagogical purpose in learning and studying smooth infinitesimal analysis as well.

Full work available at URL: https://arxiv.org/abs/2106.14153

Recommendations

• scientific article; zbMATH DE number 852360
• Functional differentiation of computer programs
• Beautiful differentiation
• scientific article; zbMATH DE number 992807
• Perspectives on automatic differentiation: fast, present, and future?

zbMATH Keywords

automatic differentiationsmooth infinitesimal analysissymbolic-numeric algorithmssymbolic differentiationsmooth algebras and \(C^\infty \)-ringsWeil algebraszero-dimensional idealsGröbner basis

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Differentiation theory (Gateaux, Fréchet, etc.) on manifolds (58C20) Numerical differentiation (65D25) Numerical algebraic geometry (65H14)

Cites Work

• A purely functional computer algebra system embedded in Haskell
• Using Algebraic Geometry
• Algebraic geometry over \(C^\infty \)-rings
• Title not available (Why is that?)
• Title not available (Why is that?)
• General Jacobi identity revisited again
• Beautiful differentiation
• Lazy multivariate higher-order forward-mode AD

Uses Software

• computational-algebra
• GitHub

This page was built for publication: Automatic differentiation with higher infinitesimals, or computational smooth infinitesimal analysis in Weil algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q831980)