---
title: αβ-log-det Divergence Overview
url: https://www.emergentmind.com/topics/log-det-divergence
type: topic
---

# αβ-log-det Divergence Overview

The αβ-log-det divergence (also known as the Alpha-Beta Log-Determinant or ABLD divergence) is a two-parameter family of information divergences between symmetric positive definite (SPD) matrices and admits generalizations to positive-definite operators on infinite-dimensional Hilbert spaces. The αβ-log-det divergence parametrically unifies and interpolates between well-known matrix divergences, including Stein’s loss, Jensen–Bregman LogDet (JBLD) divergence, Bhattacharyya (log-det zero) divergence, and the affine-invariant Riemannian distance (AIRM). Its parametric flexibility, strong geometric and invariance properties, and generalizability to the infinite-dimensional setting make it a central object in information geometry, statistical manifold analysis, and applications involving SPD representations in machine learning and signal processing [1412.7146, 2104.06461, 1702.03425, 1610.08087].

## 1. General Definition and Domain

Let $P, Q \in S^n_+$ be $n\times n$ real symmetric positive-definite matrices. For real parameters $\alpha, \beta$ satisfying $\alpha \neq 0$, $\beta \neq 0$, and $\alpha + \beta \neq 0$, the αβ-log-det divergence is defined as
\[
D^{(\alpha, \beta)}_{AB}(P \,\|\, Q) = \frac{1}{\alpha \beta} \log \det \left( \frac{\alpha (P^{-1}Q)^{\beta} + \beta (P^{-1}Q)^{-\alpha}}{\alpha + \beta} \right).
\]
Letting $\lambda_1,\ldots,\lambda_n$ be the eigenvalues of $M = P^{-1}Q$, an equivalent spectral form is
\[
D^{(\alpha, \beta)}_{AB}(P \,\|\, Q) = \frac{1}{\alpha \beta} \sum_{i=1}^n \log \left( \frac{\alpha\,\lambda_i^{\beta} + \beta\,\lambda_i^{-\alpha}}{\alpha + \beta} \right).
\]
This function admits continuous extensions for boundary cases ($\alpha = 0$, $\beta = 0$, $\alpha+\beta=0$) via L’Hôpital’s rule, yielding affine-invariant Riemannian metrics in the $\alpha, \beta \to 0$ limit, and other forms for degenerate parameter combinations [1412.7146].

The domain of validity depends on the signs of $\alpha$ and $\beta$. For $\alpha\cdot\beta > 0 $, the divergence is always finite. For $\alpha\cdot\beta < 0 $, additional eigenvalue constraints are required: e.g., $\lambda_i > |\beta/\alpha|^{1/(\alpha+\beta)}$ for $\alpha>0>\beta$.

## 2. Special Cases and Recovery of Classical Divergences

By tuning $(\alpha, \beta)$, the αβ-log-det divergence specializes to many classical divergences:

| $(\alpha, \beta)$        | Divergence (Name)                             | Formula / Property                                      |
|--------------------------|-----------------------------------------------|---------------------------------------------------------|
| $(1,0)$ or $(0,1)$       | Stein’s loss / Burg divergence                | $\operatorname{tr}(Q^{-1}P) - \log\det(Q^{-1}P) - n$       |
| $(\alpha,1-\alpha)$      | $\alpha$-log-det divergence                   | $(1/[\alpha(1-\alpha)]) \log\det[ \alpha M^{1-\alpha} + (1-\alpha) M^{\alpha} ]$ |
| $(s,s)$                  | Power log-det                                 | $(1/s^2) \log\det[ (M^s + M^{-s})/2 ]$                  |
| $(1/2,1/2)$              | S-divergence (JBLD)                           | $4 \log\det\frac{P+Q}{2} - 2\log\det P - 2\log\det Q$   |
| $(0,0)$                  | Affine-invariant Riemannian metric (AIRM)     | $\| \log(P^{-1/2} Q P^{-1/2}) \|_F^2$                    |
| $(1,0)$ or $(0,1)$ sym.  | Jeffreys-KL                                   | $\operatorname{tr}(P Q^{-1}) + \operatorname{tr}(Q P^{-1}) - 2n$|

Thus, the αβ-family comprises Burg (Stein’s) divergence, JBLD, Bhattacharyya distance ($\sqrt{\mathrm{JBLD}}$), symmetrized KL, AIRM, Cauchy-Schwarz, and other divergences as instances or limits [1412.7146, 2104.06461, 1610.08087].

## 3. Key Properties and Structure: $(\alpha, \beta)$ Parameter Map

The repertoire of divergences covered by the αβ-log-det family is well captured by examining the $(\alpha, \beta)$-plane:

- $\beta=0$ or $\alpha=0$: generalized Stein's loss forms
- $\alpha=\beta$: symmetric power-log-det divergences
- $\alpha+\beta=1$: $\alpha$-log-det divergences (relating to $\alpha$-connections in information geometry)
- $(\frac12,\frac12)$: S-divergence (JBLD)
- $(0,0)$: AIRM

Properties of $D^{(\alpha,\beta)}_{AB}(P\,\|\,Q)$ [1412.7146]:
- **Nonnegativity**: $D \geq 0$, with equality iff $P = Q$
- **Definiteness**: $D=0 \Leftrightarrow P=Q$
- **Smoothness**: in $(\alpha,\beta)$ and $(P,Q)$ except for removable singularities
- **Spectral Separability**: function of eigenvalues $\lambda_i$, i.e., $D(P\,\|\,Q) = \sum_i D(\lambda_i\,\|\,1)$
- **Affine-invariance**: $D(LPL^T \,\|\, LQL^T ) = D(P\,\|\,Q)$ for invertible $L$
- **Scale-invariance**: $D(cP\,\|\,cQ) = D(P\,\|\,Q)$, $c>0$
- **Inversion Duality**: $D^{(-\alpha,-\beta)}_{AB}(P\,\|\,Q) = D^{(\alpha,\beta)}_{AB}(P^{-1}\,\|\,Q^{-1})$
- **Dual Symmetry**: $D^{(\alpha,\beta)}_{AB}(P\,\|\,Q) = D^{(\beta,\alpha)}_{AB}(Q\,\|\,P)$
- **On Diagonal ⟹ Metric**: For $\alpha=\beta$, $d^{(\alpha)}(P,Q) = \sqrt{D^{(\alpha,\alpha)}_{AB}(P,Q)}$ satisfies the triangle inequality

*This suggests* that by moving along key lines or points in parameter space, practitioners can target divergences appropriate for a given problem, modulating sensitivity to spectrum or volume [1412.7146].

## 4. Infinite-Dimensional and Operator Extensions

The αβ-log-det divergence extends naturally from finite-dimensional SPD matrices to infinite-dimensional positive-definite operators, notably unitized trace-class and Hilbert-Schmidt operators on separable Hilbert spaces [1702.03425, 1610.08087]. In this context, extensions of the determinant—the Fredholm determinant for trace-class and the Hilbert–Carleman determinant for Hilbert–Schmidt perturbations—enable well-defined divergence formulas.

Infinite-dimensional Alpha-Beta Log-Det divergences take the form
\[
D_{\alpha,\beta}(A, B) = \frac{1}{\alpha \beta} \log \frac{\det_{X}(\alpha A+\beta B)}{\left[\det_{X}(A)\right]^\alpha\left[\det_{X}(B)\right]^\beta}
\]
where $\det_X$ denotes the appropriate extended determinant, and $A, B$ are positive-definite unitized operators. Limits $\alpha\to0$, $\beta\to0$ recover the infinite-dimensional AIRM, while $\alpha=\beta=1$ yields the infinite-dimensional Stein divergence [1702.03425, 1610.08087].

For Regularized Kernel covariance operators ($C_X$, $C_Y$) in a Reproducing Kernel Hilbert Space (RKHS), the αβ-log-det divergence reduces to a Gram-matrix formula:
\[
D_{\alpha,\beta}(C_X,C_Y) = \frac{1}{\alpha\beta}\log \frac{ \det \left(\alpha\, (\frac{1}{n}K_X + \lambda I) + \beta\, (\frac{1}{m}K_Y + \lambda I ) \right) }{ \left( \det (\frac{1}{n}K_X + \lambda I)\right )^{\!\alpha} \left( \det (\frac{1}{m}K_Y + \lambda I) \right )^{\!\beta} }
\]
providing a computational path for infinite-dimensional divergences in learning applications [1610.08087].

## 5. Connections to Gaussian and Information Geometric Divergences

For multivariate normal densities $p = N(\mu_1, \Sigma_1)$, $q = N(\mu_2, \Sigma_2)$, the continuous gamma divergence $D^{(\alpha,\beta)}_{AC}(p \,\|\,q)$ is directly expressible via the αβ-log-det divergence:
\[
D^{(\alpha,\beta)}_{AC}(p\,\|\,q) = \frac12 D^{(\alpha,\beta)}_{AB}( \Sigma_2^{-1} \,\|\, \Sigma_1^{-1} ) + \frac{ (\mu_1 - \mu_2)^{T} S^{-1} (\mu_1 - \mu_2) }{ 2(\alpha + \beta) }
\]
with $S = \frac{\alpha}{\alpha+\beta} \Sigma_1 + \frac{\beta}{\alpha+\beta} \Sigma_2$ [1412.7146].

Special cases:
- $(\alpha=1, \beta\to0)$: Kullback-Leibler divergence
- $(\alpha=\beta=1/2)$: Bhattacharyya distance
- $(\alpha+\beta=1)$: Rényi divergence of order $\alpha$
- $(\alpha=\beta=1)$: Cauchy-Schwarz divergence

This reveals that αβ-log-det divergences not only cover matrix-level divergences but also bridge to statistical divergences between distributions.

## 6. Symmetrizations and Metric Properties

The αβ-log-det divergence is asymmetric in general. Two canonical symmetrizations are employed [1412.7146]:

1. **Type-1 (Jeffreys-style):**
   \[
   D^{(\alpha, \beta)}_{AB, sym1}(P, Q) = \frac12\left[ D^{(\alpha, \beta)}_{AB}(P\,\|\,Q) + D^{(\alpha, \beta)}_{AB}(Q\,\|\,P) \right]
   \]

2. **Type-2 (Jensen–Shannon style):**
   \[
   D^{(\alpha, \beta)}_{AB, sym2}(P, Q) = \frac12\left[ D^{(\alpha, \beta)}_{AB}(P\,\|\,\frac{P+Q}{2}) + D^{(\alpha, \beta)}_{AB}(Q\,\|\,\frac{P+Q}{2}) \right]
   \]

Type-1 subsumes the Jeffreys-KL divergence (when $\alpha=0, \beta=1$ or vice versa), and is symmetric when $\alpha=\beta$. For $\alpha=\beta=0$, the square root of the divergence yields the affine-invariant Riemannian metric, satisfying the triangle inequality, and thus endowing the space of SPD matrices with a geodesic structure [1412.7146].

## 7. Applications, Learning, and Multiway Extensions

Recent work exploits the αβ-log-det divergence as a learnable meta-divergence for applications requiring similarity assessment between SPD matrices [2104.06461]. In supervised and unsupervised tasks (e.g., discriminative dictionary learning, clustering), parameters $(\alpha,\beta)$—even allowed to be vector-valued—are optimized jointly with SPD dictionaries/centroids via Riemannian optimization schemes, harnessing the flexibility of the divergence family.

Empirical evaluation on multiple vision benchmarks demonstrates the advantage of automatically selecting from the αβ-family, with per-dictionary-atom vector-valued parameters yielding further performance gains [2104.06461].

A multiway (Kronecker-separable) extension exists for block-covariance structures. For $\Sigma_P, \Sigma_Q$ with Kronecker decompositions, the divergence splits into a sum of per-mode αβ-log-det divergences and a scale term, extending Hilbert, AIRM, and Stein divergences to the multi-tensor setting [1412.7146]:

\[
D^{(\alpha,\beta)}_{AB}(\Sigma_P\,\|\,\Sigma_Q) = D^{(\alpha,\beta)}_{AB}(\sigma^2_P/\sigma^2_Q I_N\,\|\,I_N) + \sum_{k=1}^K (N/n_k) D^{(\alpha,\beta)}_{AB}(\Sigma_{P,k}\,\|\,\Sigma_{Q,k})
\]

*This suggests* a natural fit for multi-modal and tensor-valued covariance modeling, especially for multiway Gaussian models or tensor factor analysis.

---

The αβ-log-det divergence family provides a unified, parameterized, and geometrically well-motivated divergence for SPD matrices and operators, enabling fine control over spectrum sensitivity and metric properties, with theoretical guarantees and proven utility in information geometry, statistical learning, and high-dimensional covariance modeling [1412.7146, 2104.06461, 1702.03425, 1610.08087].

Source: https://www.emergentmind.com/topics/log-det-divergence