---
title: Alpha-Z Bures-Wasserstein Divergence
url: https://www.emergentmind.com/topics/alpha-z-bures-wasserstein-divergence
type: topic
---

# Alpha-Z Bures-Wasserstein Divergence

The **Alpha-Z Bures-Wasserstein divergence** is a matrix divergence obtained by replacing the geometric term in the classical Bures-Wasserstein expression with the trace of an \(\alpha\)-\(z\) Rényi-type operator functional. In finite-dimensional quantum matrix analysis it is defined on positive definite Hermitian matrices and treated as a nonsymmetric quantum divergence; in recent applied work it is also used on symmetric positive semidefinite matrices, especially functional connectomes, where it serves as a geometry-aware comparison score rather than as a proven geodesic metric [2201.03732, 2507.23116].

## 1. Terminology, scope, and naming

The name refers to a specific divergence introduced from the \(\alpha\)-\(z\) Rényi relative entropy, not to every parameterized generalization of Bures-Wasserstein geometry. In the finite-dimensional matrix setting, the underlying spaces are \(M_m\), \(\mathbb H_m\), and \(\mathbb P_m\), the \(m\times m\) complex matrices, Hermitian matrices, and positive definite Hermitian matrices. In applied neuroimaging, the same formula is used for real symmetric positive semidefinite matrices \(A,B\in\mathbb S_+^n\), because functional connectomes can be rank-deficient when the number of parcels exceeds the number of time points [2201.03732, 2507.23116].

The terminology is not universal across the Bures-Wasserstein literature. Several recent papers on Bures-Wasserstein geometry do **not** define an Alpha-Z object at all. The paper on generalized fidelities and generalized Bures-Wasserstein distances introduces a base-dependent generalized fidelity, a generalized Bures distance, and a base-dependent Rényi family \(\hat D_{\alpha,R}(P\|Q)\), but explicitly states that it does not define an object named “Alpha-\(Z\) Bures-Wasserstein Divergence” with independent \(\alpha\) and \(z\) parameters [2410.04937]. The paper on adapted optimal transport between Gaussian processes similarly states that it does not introduce an \(\alpha\)-divergence, \(Z\)-divergence, or any “Alpha-Z” variant of Bures-Wasserstein, but instead derives an adapted Bures-Wasserstein distance built from Cholesky factors and the diagonal of \(L^\top M\) [2404.06625]. Likewise, the Alpha Procrustes family is an \(\alpha\)-parameterized metric family with no \(z\)-parameter, and the geodesic theory for Bures-Wasserstein covariance matrices of different ranks contains no \((\alpha,z)\)-parametrized divergence [1908.09275, 2204.09928].

A basic encyclopedic caution is therefore required: “Alpha-Z Bures-Wasserstein divergence” designates a particular Rényi-induced construction, whereas “generalized Bures-Wasserstein” may refer to several inequivalent programs.

## 2. Mathematical definition

In the quantum-divergence formulation, the central operator is
\[
Q_{\alpha,z}(A,B)=\left(A^{\frac{1-\alpha}{2z}}\,B^{\frac{\alpha}{z}}\,A^{\frac{1-\alpha}{2z}}\right)^z,
\qquad A,B\in\mathbb P_m,
\]
defined for \(0\le \alpha\le 1\) and \(z>0\). The paper describes \(Q_{\alpha,z}\) as the matrix version of the \(\alpha\)-\(z\) Rényi relative entropy, and notes in particular that \(Q_{\alpha,\alpha}\) is the sandwiched quasi-relative entropy. From this quantity, the **\(\alpha\)-\(z\) Bures-Wasserstein quantum divergence** is defined, for \(0<\alpha\le z<1\), by
\[
\Phi_{\alpha,z}(A,B)
=
\operatorname{tr}\bigl((1-\alpha)A+\alpha B\bigr)
-
\operatorname{tr}Q_{\alpha,z}(A,B).
\]
Equivalently,
\[
\Phi_{\alpha,z}(A,B)
=
\operatorname{tr}\bigl((1-\alpha)A+\alpha B\bigr)
-
\operatorname{tr}\left(
A^{\frac{1-\alpha}{2z}}
B^{\frac{\alpha}{z}}
A^{\frac{1-\alpha}{2z}}
\right)^z.
\]
This is the fundamental formal definition in the matrix-analysis literature [2201.03732].

The neuroimaging paper uses the same construction for \(A,B\in\mathbb S_+^n\), writing
\[
\Phi(A,B)
=
\operatorname{Tr}\big((1-\alpha)A+\alpha B\big)
-
\operatorname{Tr}\!\left(Q_{\alpha,z}(A,B)\right),
\]
with
\[
Q_{\alpha,z}(A,B)
=
\left(
A^{\frac{1-\alpha}{2z}}
B^{\frac{\alpha}{z}}
A^{\frac{1-\alpha}{2z}}
\right)^z.
\]
That paper explicitly states that the divergence is defined for positive semidefinite matrices, not only strictly positive definite ones. It also notes that the displayed formula for \(Q_{\alpha,z}\) is typographically corrupted in the PDF text, while identifying the intended expression as the one above [2507.23116].

The parameters play different roles. The parameter \(\alpha\) appears both in the linear trace term \(\operatorname{Tr}((1-\alpha)A+\alpha B)\) and in the exponents inside \(Q_{\alpha,z}\), so it controls the weighting between the two arguments as well as the nonlinear operator interpolation. The parameter \(z\) appears in the inner exponents and the outer power, so it controls the operator-power form of the nonlinear comparison term. In the neuroimaging experiments, the reported choice is \((\alpha,z)=(0.99,1)\), for which
\[
Q_{\alpha,1}(A,B)=A^{\frac{1-\alpha}{2}}B^\alpha A^{\frac{1-\alpha}{2}}.
\]
The paper calls \(\Phi\) a divergence, and although it also uses phrases such as “distance measure” and “divergence-based distance metric,” it does not define a separate closed-form symmetric distance derived from \(\Phi\) [2507.23116].

## 3. Relation to classical Bures-Wasserstein geometry

The classical Bures-Wasserstein distance between positive definite matrices is commonly written as
\[
d(A,B)
=
\left[
\operatorname{tr}A+\operatorname{tr}B
-
2\operatorname{tr}(A^{1/2}BA^{1/2})^{1/2}
\right]^{1/2}.
\]
Its fidelity term is
\[
F(A,B)=\operatorname{tr}(A^{1/2}BA^{1/2})^{1/2},
\]
and the distance admits equivalent formulations such as
\[
d(A,B)=\min_{U\in U(n)}\|A^{1/2}-B^{1/2}U\|_2.
\]
It is also the covariance-level expression of the \(2\)-Wasserstein distance between centered Gaussian laws, and it underlies a Riemannian quotient geometry on the positive definite cone [1712.01504].

The Alpha-Z divergence deforms the Bures-Wasserstein formula by replacing the square-root fidelity term with the trace of \(Q_{\alpha,z}(A,B)\). In the quantum-divergence paper, the special case
\[
\alpha=z=\frac12
\]
gives
\[
\Phi_{\frac12,\frac12}(A,B)
=
\operatorname{tr}\left(\frac{A+B}{2}\right)
-
\operatorname{tr}(A^{1/2}BA^{1/2})^{1/2},
\]
and the paper writes
\[
d_W(A,B)^2=\Phi_{\frac12,\frac12}(A,B).
\]
This expresses the divergence as a parameterized deformation of the Bures-Wasserstein squared-distance expression [2201.03732].

Because different papers normalize the Bures-Wasserstein quantity differently, direct comparison requires attention to constants. A plausible implication is that the Alpha-Z literature is best read as preserving the **arithmetic-minus-geometric** structure of the Bures formula while deforming the geometric term through the \(\alpha\)-\(z\) Rényi operator expression.

The classical Bures-Wasserstein framework also supplies the barycentric and geodesic background against which the Alpha-Z divergence is interpreted. For the ordinary metric, the two-point geodesic mean is
\[
A\diamond_tB
=
(1-t)^2A+t^2B+t(1-t)\bigl[(AB)^{1/2}+(BA)^{1/2}\bigr],
\]
the midpoint is the Wasserstein mean, and the barycenter of several matrices is characterized by the fixed-point equation
\[
X=\sum_{j=1}^m w_j (X^{1/2}A_jX^{1/2})^{1/2}.
\]
These formulas are classical BW objects rather than Alpha-Z ones, but they are the reference point for the later right-mean theory associated with \(\Phi_{\alpha,z}\) [1712.01504].

## 4. Divergence properties and the associated right mean

In the quantum-divergence treatment, \(\Phi_{\alpha,z}\) is a **quantum divergence**, meaning a smooth map with nonnegativity, equality only on the diagonal, vanishing first derivative with respect to the second variable on the diagonal, and positive-semidefinite second derivative there. The paper also states that \(\Phi_{\alpha,z}(A,B)\neq \Phi_{\alpha,z}(B,A)\) in general. This nonsymmetry is structurally important because it leads to distinct right and left barycentric constructions [2201.03732].

For a weighted tuple \(\mathbb A=(A_1,\dots,A_n)\in\mathbb P_m^n\) with \(\omega=(w_1,\dots,w_n)\in\Delta_n\), the **\(\alpha\)-\(z\) weighted right mean** is defined as the unique minimizer
\[
\mathcal R_{\alpha,z}(\omega;\mathbb A)
=
\underset{X\in\mathbb P_m}{\arg\min}\;
\sum_{j=1}^n w_j\,\Phi_{\alpha,z}(A_j,X).
\]
Existence and uniqueness follow from strict convexity of
\[
F(X)=\sum_{j=1}^n w_j\Phi_{\alpha,z}(A_j,X),
\]
using strict concavity of \(X\mapsto \operatorname{tr}Q_{\alpha,z}(A,X)\). The minimizer is characterized as the unique positive definite solution of
\[
X
=
\sum_{j=1}^n w_j\,Q_{1-\alpha,z}(X,A_j)
=
\sum_{j=1}^n w_j
\left(
X^{\frac{\alpha}{2z}}
A_j^{\frac{1-\alpha}{z}}
X^{\frac{\alpha}{2z}}
\right)^z.
\]
An equivalent form is
\[
X^{1-\frac{\alpha}{z}}
=
\sum_{j=1}^n w_j\,
X^{-\frac{\alpha}{z}}\#_z
A_j^{\frac{1-\alpha}{z}},
\]
where \(\#_z\) denotes the weighted geometric mean [2201.03732].

Several structural properties are known. In the commuting case,
\[
\mathcal R_{\alpha,z}(\omega;\mathbb A)
=
\left(\sum_{j=1}^n w_j A_j^{1-\alpha}\right)^{\frac{1}{1-\alpha}},
\]
so the parameter \(z\) disappears. The right mean is homogeneous, permutation invariant, repetition invariant, and covariant under unitary congruence. It also satisfies
\[
\det \mathcal R_{\alpha,z}(\omega;\mathbb A)
\ge
\prod_{j=1}^n (\det A_j)^{w_j},
\]
with equality if and only if \(A_1=\cdots=A_n\). If \(aI\le A_j\le bI\), then
\[
aI\le \mathcal R_{\alpha,z}(\omega;\mathbb A)\le bI.
\]
The paper further proves comparisons with arithmetic means, matrix power means, and the Cartan mean, including
\[
\mathcal R_{\alpha,z}(\omega;\mathbb A)^{\frac{1-\alpha}{z}}
\le
\mathcal A\bigl(\omega;\mathbb A^{\frac{1-\alpha}{z}}\bigr)
\qquad
\left(\frac12\le z\le 1\right),
\]
and weak log-majorization consequences involving \(P_z\) and \(\Lambda\) [2201.03732].

The Wasserstein mean appears as a special case:
\[
\Omega(\omega;\mathbb A)=\mathcal R_{\frac12,\frac12}(\omega;\mathbb A).
\]
The same paper proves the trace inequality
\[
\operatorname{tr}\mathcal R_{1-\frac p2,\frac12}(\omega;\mathbb A)^p
\le
\operatorname{tr}\Omega(\omega;\mathbb A^p),
\qquad 1\le p<2.
\]
This locates the Alpha-Z right mean within the classical matrix-mean hierarchy rather than outside it [2201.03732].

In the applied paper, the divergence is described more cautiously. It states nonnegativity,
\[
\Phi(A,B)\ge 0
\quad\text{with equality iff }A=B,
\]
and reports that the divergence is invariant under completely positive trace-preserving maps, which implies the data processing inequality. It also states an in-betweenness property:
\[
\Phi(A,\mu_p(t;A,B))\le \Phi(A,B)
\]
for any matrix power mean \(\mu_p(t;A,B)\) with \(p\in[1/2,1]\). At the same time, the paper does not establish symmetry, triangle inequality, affine invariance, or strict metric structure, and in its metric summary table it explicitly marks Alpha-Z as **not geodesic** [2507.23116].

## 5. Relation to neighboring Bures-Wasserstein generalizations

The Alpha-Z divergence sits among several distinct attempts to generalize Bures-Wasserstein geometry, and these constructions should not be conflated. One line of work introduces a **base-dependent generalized fidelity**
\[
\operatorname{F}_R(P,Q)
\]
and the associated generalized Bures distance
\[
\operatorname{B}_R(P,Q)=\operatorname{Tr}[P+Q]-2\,\Re\operatorname{F}_R(P,Q),
\]
interpreted as the tangent-space distance obtained by linearizing the Bures-Wasserstein manifold at a reference point \(R\). That same paper introduces
\[
\hat D_{\alpha,R}(P\|Q)
=
\frac{1}{\alpha-1}\log \Re\, \operatorname{F}_R^\alpha(P,Q),
\]
with
\[
\operatorname{F}_R^\alpha(P,Q)
=
\operatorname{Tr}\!\left[
\left(R^{1/2}PR^{1/2}\right)^\alpha
R^{-1}
\left(R^{1/2} Q R^{1/2}\right)^{1-\alpha}
\right].
\]
By special choices of \(R\), this family recovers Petz, sandwiched, reverse-sandwiched, and geometric Rényi divergences. The paper is explicit, however, that this is **not** an independent two-parameter \((\alpha,z)\) Bures-Wasserstein divergence [2410.04937].

Another nearby family is the **Alpha Procrustes distance**
\[
d^\alpha(A,B)
=
\min_{U\in U(n)}\left\|\frac{A^\alpha-B^\alpha U}{\alpha}\right\|_F,
\]
which yields, for \(\alpha=\tfrac12\),
\[
d^{1/2}(A,B)=2\,d_{\mathrm{BW}}(A,B),
\]
and in the limit \(\alpha\to 0\),
\[
d^0(A,B)=\|\log A-\log B\|_F.
\]
This family is a Riemannian geodesic metric family on the SPD cone, but it contains no \(z\)-parameter and is therefore not the Alpha-Z divergence [1908.09275].

A different direction is the **adapted Bures-Wasserstein distance** arising from bicausal optimal transport for discrete-time Gaussian processes. There the covariance term becomes
\[
d_{\mathrm{ABW}}^2(A,B)
=
\operatorname{Tr}(A)+\operatorname{Tr}(B)-2\|\operatorname{diag}(L^\top M)\|_1,
\]
with \(A=LL^\top\) and \(B=MM^\top\) Cholesky factors. This is filtration-sensitive and triangular rather than spectral, and the source paper explicitly states that it does not define any \(\alpha\)- or \(Z\)-variant [2404.06625].

Finally, the ordinary Bures-Wasserstein geometry on PSD covariance matrices of arbitrary rank has its own complete geodesic theory. Minimizing geodesics between \(\Sigma\) and \(\Lambda\) are described by
\[
\gamma(t)
=
(1-t)^2\Sigma+t^2\Lambda+2t(1-t)\,\mathrm{sym}(XRY^\top),
\]
with nonuniqueness determined by the overlap rank \(r=\mathrm{rk}(\Sigma\Lambda)\). This theory is foundational for low-rank BW geometry but does not introduce \(\alpha\)- or \(z\)-deformations [2204.09928].

Taken together, these papers suggest that “generalized Bures-Wasserstein” is a broad umbrella. The Alpha-Z divergence is one specific Rényi-induced member of that broader landscape.

## 6. Empirical use in functional-connectome analysis

The most extensive application in the supplied literature uses the Alpha-Z Bures-Wasserstein divergence to compare functional connectomes modeled as symmetric PSD matrices. The motivation is that Pearson correlation, Euclidean distance, and common SPD-manifold geodesic distances either ignore the non-Euclidean geometry of FC data or become unstable and tuning-sensitive in high-dimensional, rank-deficient regimes. The paper therefore presents Alpha-Z as a flexible extension of Bures-Wasserstein intended to be more robust across tasks and parcellation resolutions [2507.23116].

The computational use is direct. For FC matrices \(A,B\in\mathbb S_+^n\), one evaluates
\[
\Phi(A,B)
=
\operatorname{Tr}((1-\alpha)A+\alpha B)-\operatorname{Tr}(Q_{\alpha,z}(A,B)),
\]
typically by eigendecomposition-based matrix fractional powers. For the experimentally used setting \(z=1\),
\[
Q_{\alpha,1}(A,B)=A^{\frac{1-\alpha}{2}}B^\alpha A^{\frac{1-\alpha}{2}},
\]
which removes the outer matrix power. Pairwise divergences are then used in a \(1\)-nearest-neighbor identification procedure. The reported parameter choice is fixed across experiments at
\[
(\alpha,z)=(0.99,1).
\]
The paper contrasts this with affine-invariant and log-Euclidean distances, whose performance depends strongly on regularization \(\tau\) [2507.23116].

The empirical evaluation covers the Human Connectome Project dataset across eight fMRI conditions—Rest, Emotion, Gambling, Language, Motor, Relational, Social, and Working Memory—and parcellation resolutions from \(100\) to \(900\) parcels. The paper states that Alpha-Z “consistently provides superior performance across all tasks and parcellation resolutions,” that it remains strong as resolution increases, and that median identification rises from about \(0.59\) at \(100\) parcels to \(>0.94\) by \(400\) parcels and plateaus near \(0.96\) at \(600+\) parcels. It further reports that AI and log-Euclidean degrade markedly in the rank-deficient regime, BW remains weaker, and Alpha-Z and Alpha-Procrustes remain robust [2507.23116].

The same study also interprets the divergence in terms of subject-specific and network-specific brain fingerprints. It reports that default mode and frontoparietal control networks are especially informative in resting state, that Alpha-Z produces tighter same-subject clusters than AI in a \(3\)D visualization at \(400\) parcels, and that a null model with permuted subject labels yields chance-level accuracy while Alpha-Z remains much higher. The summary states that the method offers enhanced sensitivity in linking FC patterns to cognitive and behavioral outcomes, but the paper does not present a direct predictive model of phenotype or behavior [2507.23116].

In this applied setting, the Alpha-Z Bures-Wasserstein divergence functions as a geometry-aware PSD-matrix comparison score rather than as a geodesic metric. This suggests a division of labor across the literature: matrix-analysis papers emphasize variational structure, nonsymmetry, and induced means, whereas application papers emphasize robustness on semidefinite data and performance in high-dimensional comparison tasks.

Source: https://www.emergentmind.com/topics/alpha-z-bures-wasserstein-divergence