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

DOI10.1007/978-3-030-85165-1_11MaRDI QIDQ831980zbMATH OpenOpenAlexFDO

Authors Hiromi Ishii

Publication date 24 March 2022

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

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)

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.

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?

Cites work

• scientific article; zbMATH DE number 48990 (Why is no real title available?)
• scientific article; zbMATH DE number 3625612 (Why is no real title available?)
• A purely functional computer algebra system embedded in Haskell
• Algebraic geometry over \(C^\infty \)-rings
• Beautiful differentiation
• General Jacobi identity revisited again
• Lazy multivariate higher-order forward-mode AD
• Using Algebraic Geometry

Describes a project that uses

Uses Software

• GitHub
• computational-algebra

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)