Review of theory and implementation of hyper-dual numbers for first and second order automatic differentiation

01/11/2018
by   Martin Neuenhofen, et al.
0

In this review we present hyper-dual numbers as a tool for the automatic differentiation of computer programs via operator overloading. We start with a motivational introduction into the ideas of algorithmic differentiation. Then we illuminate the concepts behind operator overloading and dual numbers. Afterwards, we present hyper-dual numbers (and vectors) as an extension of dual numbers for the computation of the Jacobian and the Hessian matrices of a computer program. We review a mathematical theorem that proves the correctness of the derivative information that is obtained from hyper-dual numbers. Finally, we refer to a freely available implementation of a hyper-dual number class in Matlab. We explain an interface that can be called with a function as argument such that the Jacobian and Hessian of this function are returned.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/11/2018

Note on usage and theory of hyper-dual numbers for first and second order automatic differentiation

Similar to dual numbers, hyper-dual numbers are extended numbers that ca...
research
10/12/2022

A language for evaluating derivatives of functionals using automatic differentiation

We present a simple functional programming language, called Dual PCF, th...
research
07/07/2022

Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations

Where dual-numbers forward-mode automatic differentiation (AD) pairs eac...
research
07/05/2023

Using Rewrite Strategies for Efficient Functional Automatic Differentiation

Automatic Differentiation (AD) has become a dominant technique in ML. AD...
research
07/29/2020

A new framework for the computation of Hessians

We investigate the computation of Hessian matrices via Automatic Differe...
research
01/31/2023

On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters

Recent work has shown that automatic differentiation over the reals is a...
research
10/25/2016

Operational calculus on programming spaces

In this paper we develop operational calculus on programming spaces that...

Please sign up or login with your details

Forgot password? Click here to reset