# Idea

Automatic differentiation is a scheme, that allows you to compute a value of gradient of function with a cost of computing function itself only twice.

## Chain rule

We will illustrate some important matrix calculus facts for specific cases

### Univariate chain rule

Suppose, we have the following functions $$R: \mathbb{R} \to \mathbb{R} , L: \mathbb{R} \to \mathbb{R}$$ and $$W \in \mathbb{R}$$. Then

$\dfrac{\partial R}{\partial W} = \dfrac{\partial R}{\partial L} \dfrac{\partial L}{\partial W}$

### Multivariate chain rule

The simplest example:

$\dfrac{\partial }{\partial t} f(x_1(t), x_2(t)) = \dfrac{\partial f}{\partial x_1} \dfrac{\partial x_1}{\partial t} + \dfrac{\partial f}{\partial x_2} \dfrac{\partial x_2}{\partial t}$

Now, we’ll consider $$f: \mathbb{R}^n \to \mathbb{R}$$:

$\dfrac{\partial }{\partial t} f(x_1(t), \ldots, x_n(t)) = \dfrac{\partial f}{\partial x_1} \dfrac{\partial x_1}{\partial t} + \ldots + \dfrac{\partial f}{\partial x_n} \dfrac{\partial x_n}{\partial t}$

But if we will add another dimension $$f: \mathbb{R}^n \to \mathbb{R}^m$$, than the $$j$$-th output of $$f$$ will be:

$\dfrac{\partial }{\partial t} f_j(x_1(t), \ldots, x_n(t)) = \sum\limits_{i=1}^n \dfrac{\partial f_j}{\partial x_i} \dfrac{\partial x_i}{\partial t} = \sum\limits_{i=1}^n J_{ji} \dfrac{\partial x_i}{\partial t},$

where matrix $$J \in \mathbb{R}^{m \times n}$$ is the jacobian of the $$f$$. Hence, we could write it in a vector way:

$\dfrac{\partial f}{\partial t} = J^\top \dfrac{\partial x}{\partial t}\quad \iff \quad \left(\dfrac{\partial f}{\partial t}\right)^\top = \left( \dfrac{\partial x}{\partial t}\right)^\top J$

## Backpropagation

The whole idea came from the applying chain rule to the computation graph of primitive operations

$L = L\left(y\left(z(w,x,b)\right), t\right)$

\begin{aligned} &z = wx+b &\frac{\partial z}{\partial w} =x, \frac{\partial z}{\partial x} =w, \frac{\partial z}{\partial b} =0 \\ &y = \sigma(z) &\frac{\partial y}{\partial z} =\sigma'(z)\\ &L = \dfrac{1}{2}(y-t)^2 &\frac{\partial L}{\partial y} =y-t, \frac{\partial L}{\partial t} = t -y \end{aligned}

All frameworks for automatic differentiation construct (implicitly or explicitly) computation graph. In deep learning we typically want to compute the derivatives of the loss function $$L$$ w.r.t. each intermediate parameters in order to tune them via gradient descent. For this purpose it is convenient to use the following notation:

$\overline{v_i} = \dfrac{\partial L}{\partial v_i}$

Let $$v_1, . . . , v_N$$ be a topological ordering of the computation graph (i.e. parents come before children). $$v_N$$ denotes the variable we’re trying to compute derivatives of (e.g. loss).

### Forward pass:

• For $$i = 1, \ldots, N$$:
• Compute $$v_i$$ as a function of its parents.

### Backward pass:

• $$\overline{v_N} = 1$$
• For $$i = N-1, \ldots, 1$$:
• Compute derivatives $$\overline{v_i} = \sum\limits_{j \in \text{Children}(v_i)}\overline{v_j}\dfrac{\partial v_j}{\partial v_i}$$

Note, that $$\overline{v_j}$$ term is coming from the children of $$\overline{v_i}$$, while $$\dfrac{\partial v_j}{\partial v_i}$$ is already precomputed effectively.

## Jacobian vector product

The reason why it works so fast in practice is that the Jacobian of the operations are already developed in effective manner in automatic differentiation frameworks. Typically, we even do not construct or store the full Jacobian, doing matvec directly instead.

### Example: element-wise exponent

$y = \exp{(z)} \qquad J = \text{diag}(\exp(z)) \qquad \overline{z} = \overline{y} J$

See the examples of Vector-Jacobian Products from autodidact library:

defvjp(anp.add,         lambda g, ans, x, y : unbroadcast(x, g),
lambda g, ans, x, y : unbroadcast(y, g))
defvjp(anp.multiply,    lambda g, ans, x, y : unbroadcast(x, y * g),
lambda g, ans, x, y : unbroadcast(y, x * g))
defvjp(anp.subtract,    lambda g, ans, x, y : unbroadcast(x, g),
lambda g, ans, x, y : unbroadcast(y, -g))
defvjp(anp.divide,      lambda g, ans, x, y : unbroadcast(x,   g / y),
lambda g, ans, x, y : unbroadcast(y, - g * x / y**2))
defvjp(anp.true_divide, lambda g, ans, x, y : unbroadcast(x,   g / y),
lambda g, ans, x, y : unbroadcast(y, - g * x / y**2))


## Hessian vector product

Interesting, that the similar idea could be used to compute Hessian-vector products, which is essential for second order optimization or conjugate gradient methods. For a scalar-valued function $$f : \mathbb{R}^n \to \mathbb{R}$$ with continuous second derivatives (so that the Hessian matrix is symmetric), the Hessian at a point $$x \in \mathbb{R}^n$$ is written as $$\partial^2 f(x)$$. A Hessian-vector product function is then able to evaluate

$v \mapsto \partial^2 f(x) \cdot v$

for any vector $$v \in \mathbb{R}^n$$.

The trick is not to instantiate the full Hessian matrix: if $$n$$ is large, perhaps in the millions or billions in the context of neural networks, then that might be impossible to store. Luckily, grad (in the jax/autograd/pytorch/tensorflow) already gives us a way to write an efficient Hessian-vector product function. We just have to use the identity

$\partial^2 f (x) v = \partial [x \mapsto \partial f(x) \cdot v] = \partial g(x),$

where $$g(x) = \partial f(x) \cdot v$$ is a new scalar-valued function that dots the gradient of $$f$$ at $$x$$ with the vector $$v$$. Notice that we’re only ever differentiating scalar-valued functions of vector-valued arguments, which is exactly where we know grad is efficient.

import jax.numpy as jnp

def hvp(f, x, v):
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9616696238517761, "perplexity": 1539.2754841593933}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2022-05/segments/1642320304876.16/warc/CC-MAIN-20220125220353-20220126010353-00473.warc.gz"}