Dual-connection midpoint matrix means and their Gauss composition
Abstract
Nakamura [J. Comput. Appl. Math. 131 (2001)] proved that the arithmetic--harmonic matrix iteration converges quadratically to the geometric matrix mean, the Riemannian midpoint of the affine-invariant metric on positive-definite matrices. We consider the more general problem of when a Riemannian midpoint is a Gauss compound mean. A Riemannian metric and an affine connection determine three midpoint maps associated with the connection, its metric dual, and the Levi--Civita connection. We show that the Gauss composition of the first two equals the Levi--Civita midpoint if and only if the latter is invariant under one step of the iteration. We give a sufficient condition for this invariance in terms of an isometry which acts as the point reflection about the Levi--Civita midpoint and exchanges the connection with its dual. Under this invariance, the iterations converge quadratically for sufficiently close initial pairs. Nakamura's iteration is an example of this criterion. The criterion also applies to dual pairs of matrix power means whose Gauss composition is the geometric matrix mean. We give a dually flat Hessian example which shows that duality alone does not suffice. We also give non-flat examples with a Euclidean metric and a parallel cubic form in every dimension larger than one. In dimension one, we characterize the invariance completely by using the Matkowski--Sutô equation. For Euclidean dual pairs, we conjecture that the invariance implies that the cubic form is constant. We prove this conjecture in dimension one and for scalar multiples of a constant cubic form.
Related
- Gauss-Manin Connection in Disguise: Holomorphic Anomaly Equations and Higher Genus Real Gromov-Witten Invariants
- Gauss-Manin connection in disguise: limiting periods and quasi-Jacobi forms
- Regret Lower Bound for Online Learning of Quantum States with Logarithmic Loss, with Applications to Quantum State Tomography and Confidence Sequences for Matrix Means
- Weighted Power Means on Upper Triangular Matrix Groups
- Rank-Optimal Sample Complexity of Riemannian Gauss-Newton for Low-Rank Matrix Recovery
BibTeX
@misc{nielsen2026dualconnection,
title = {{Dual-connection midpoint matrix means and their Gauss composition}},
author = {Frank Nielsen and Kazuki Okamura},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.07551},
eprint = {2609.07551},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.07551},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Dual-connection midpoint matrix means and their Gauss composition
AU - Frank Nielsen
AU - Kazuki Okamura
PY - 2026
DA - 2026/09/22
PB - arXiv
DO - 10.48550/arxiv.2609.07551
UR - https://arxiv.org/abs/2609.07551
AB - Nakamura [J. Comput. Appl. Math. 131 (2001)] proved that the arithmetic--harmonic matrix iteration converges quadratically to the geometric matrix mean, the Riemannian midpoint of the affine-invariant metric on positive-definite matrices. We consider the more general problem of when a Riemannian midpoint is a Gauss compound mean. A Riemannian metric and an affine connection determine three midpoint maps associated with the connection, its metric dual, and the Levi--Civita connection. We show that the Gauss composition of the first two equals the Levi--Civita midpoint if and only if the latter is invariant under one step of the iteration. We give a sufficient condition for this invariance in terms of an isometry which acts as the point reflection about the Levi--Civita midpoint and exchanges the connection with its dual. Under this invariance, the iterations converge quadratically for sufficiently close initial pairs. Nakamura's iteration is an example of this criterion. The criterion also applies to dual pairs of matrix power means whose Gauss composition is the geometric matrix mean. We give a dually flat Hessian example which shows that duality alone does not suffice. We also give non-flat examples with a Euclidean metric and a parallel cubic form in every dimension larger than one. In dimension one, we characterize the invariance completely by using the Matkowski--Sutô equation. For Euclidean dual pairs, we conjecture that the invariance implies that the cubic form is constant. We prove this conjecture in dimension one and for scalar multiples of a constant cubic form.
ER -