Differentiation of the Cholesky decomposition

02/24/2016
by   Iain Murray, et al.
0

We review strategies for differentiating matrix-based computations, and derive symbolic and algorithmic update rules for differentiating expressions containing the Cholesky decomposition. We recommend new `blocked' algorithms, based on differentiating the Cholesky algorithm DPOTRF in the LAPACK library, which uses `Level 3' matrix-matrix operations from BLAS, and so is cache-friendly and easy to parallelize. For large matrices, the resulting algorithms are the fastest way to compute Cholesky derivatives, and are an order of magnitude faster than the algorithms in common usage. In some computing environments, symbolically-derived updates are faster for small matrices than those based on differentiating Cholesky algorithms. The symbolic and algorithmic approaches can be combined to get the best of both worlds.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/02/2022

Combinatory Adjoints and Differentiation

We develop a compositional approach for automatic and symbolic different...
research
04/15/2021

Symbolic Time and Space Tradeoffs for Probabilistic Verification

We present a faster symbolic algorithm for the following central problem...
research
01/18/2020

Verified computation of matrix gamma function

Two numerical algorithms are proposed for computing an interval matrix c...
research
03/04/2019

Performance Analysis of Effective Symbolic Methods for Solving Band Matrix SLAEs

This paper presents an experimental performance study of implementations...
research
01/02/2017

Time and space efficient generators for quasiseparable matrices

The class of quasiseparable matrices is defined by the property that any...
research
11/03/2021

Symbolic spectral decomposition of 3x3 matrices

Spectral decomposition of matrices is a recurring and important task in ...
research
04/17/2022

SymForce: Symbolic Computation and Code Generation for Robotics

We present SymForce, a library for fast symbolic computation, code gener...

Please sign up or login with your details

Forgot password? Click here to reset