English

Bures Geodesics and Restricted Barycenters for Kronecker Positive Definite Matrices

Algebraic Geometry 2026-05-06 v1

Abstract

We study the extrinsic Bures--Wasserstein geometry of the determinant-normalized Kronecker model \mcKn={V\otU:U,V\Spn, detU=1}\Spn2\mcK_n=\{V\ot U:U,V\in\Sp^n,\ \det U=1\}\subset\Sp^{n^2}, asking when the ambient Bures geodesic between two Kronecker positive definite matrices can remain in this lower-dimensional model. Local membership near an endpoint is shown to be equivalent to membership of the whole segment, and this happens exactly in the one-factor cases: either U1=U0U_1=U_0 or V1V_1 is a positive scalar multiple of V0V_0. Consequently, any endpoint pair not confined to these one-factor alternatives leaves the model immediately. The criterion is expressed by a partial-trace residual. In fixed commuting charts it becomes an equivalent rank-one square-root profile and yields computable departure diagnostics. We also obtain exact formulas for two restricted barycenter problems: fixed commuting-coordinate slices, solved by Perron singular vectors, and one-factor subfamilies, reduced to standard Bures--Wasserstein barycenters on \Spn\Sp^n.

Keywords

Cite

@article{arxiv.2605.03074,
  title  = {Bures Geodesics and Restricted Barycenters for Kronecker Positive Definite Matrices},
  author = {Jiaping Yang and Yunxin Zhang},
  journal= {arXiv preprint arXiv:2605.03074},
  year   = {2026}
}