pith. sign in

arxiv: 2605.27707 · v1 · pith:W7MWXCLUnew · submitted 2026-05-26 · 🧮 math.FA · math.OA

Correspondence of Kubo-Ando Means over Real Division Algebras and Linearization of Means

Jose Franco , Allan Merino This is my paper

Pith reviewed 2026-06-29 14:56 UTC · model grok-4.3

classification 🧮 math.FA math.OA
keywords Kubo-Ando meansoperator meanspositive definite matricesquaternionic matricesdivision algebrasgeometric meanaffine expressions
0
0 comments X

The pith

Canonical embeddings induce a bijection between Kubo-Ando means on positive definite matrices over quaternions, complexes, and reals.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a bijection between Kubo-Ando operator means defined on the cones of positive definite matrices over the quaternions, the complexes, and the reals. This bijection is induced by the canonical embeddings that relate these cones of matrices. The correspondences preserve compatibility with functional calculus, invariance under congruence transformations, and behavior under natural metrics. As an application, every Kubo-Ando mean on two-by-two matrices over any of these three algebras admits an explicit affine expression in the matrices involved. The embeddings also yield concrete trace-determinant formulas for the geometric mean in the real, complex, and quaternionic cases.

Core claim

A bijection exists between the sets of Kubo-Ando operator means on the cones P_n(H), P_2n(C), and P_4n(R) that is induced by the canonical embeddings relating quaternionic, complex, and real positive definite matrices. This bijection preserves compatibility with functional calculus and invariance under congruence transformations. Consequently every Kubo-Ando mean on P_2(D) for D in {R,C,H} admits an explicit affine expression, and explicit formulas including trace-determinant expressions for the geometric mean are obtained for the corresponding classes of real matrices.

What carries the argument

The canonical embeddings relating the cones of positive definite matrices over quaternions, complexes, and reals that induce the bijection on Kubo-Ando means.

If this is right

  • Structural properties such as functional calculus compatibility transfer across the three matrix cones.
  • Every Kubo-Ando mean on two-by-two matrices over R, C, or H reduces to an explicit affine combination of the input matrices.
  • Trace-determinant formulas become available for the geometric mean in each of the three settings.
  • Explicit expressions are obtained for means on special classes of real four-by-four positive definite matrices coming from the complex and quaternionic cones.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The affine linearization on two-by-two matrices may simplify numerical computation or inequality proofs in low dimensions.
  • Similar correspondences could be investigated for other operator means or for matrices of larger size over the same algebras.
  • The preservation of metric behavior might allow transferring results on geodesic convexity or distance properties between the different cones.

Load-bearing premise

The canonical embeddings between the matrix cones preserve the monotonicity and invariance properties that define Kubo-Ando means.

What would settle it

A counterexample would be a Kubo-Ando mean on quaternionic two-by-two positive definite matrices whose image under the embedding fails to be a Kubo-Ando mean on the corresponding complex matrices, or a direct calculation showing that a standard mean on two-by-two quaternionic matrices is not affine.

read the original abstract

In this paper, we establish a bijection between Kubo-Ando operator means defined on the cones $\mathscr{P}_{n}(\mathbb{H})$, $\mathscr{P}_{2n}(\mathbb{C})$, and $\mathscr{P}_{4n}(\mathbb{R})$. This correspondence is induced by the canonical embeddings relating quaternionic, complex, and real positive definite matrices. We investigate several structural and geometric properties preserved by these bijections, including compatibility with functional calculus, invariance under congruence transformations, and behavior with respect to natural metrics on these cones. As an application, we prove that every Kubo-Ando mean on $\mathscr{P}_{2}(\mathbb{D})$, where $\mathbb{D}\in\left\{\mathbb{R},\mathbb{C},\mathbb{H}\right\}$, admits an explicit affine expression in terms of the matrices involved. Using the embeddings above, we derive explicit formulas for operator means on special classes of real $4\times4$ positive definite matrices arising as images of the cones $\mathscr{P}_{2}(\mathbb{C})$ and $\mathscr{P}_{2}(\mathbb{H})$. In particular, we obtain trace-determinant formulas for the geometric mean in the real, complex, and quaternionic settings.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper claims to establish a bijection between Kubo-Ando operator means on the cones of positive definite matrices P_n(H), P_2n(C), and P_4n(R) induced by the canonical embeddings of quaternionic, complex, and real matrices. These bijections are shown to preserve compatibility with functional calculus, congruence invariance, and compatibility with natural metrics on the cones. As an application, every Kubo-Ando mean on the 2-dimensional cones P_2(D) for D in {R,C,H} is shown to admit an explicit affine expression, and explicit formulas (including trace-determinant expressions for the geometric mean) are derived for the images of these means under the embeddings into real 4x4 matrices.

Significance. If the central claims hold, the work provides a systematic way to transfer results on operator means across real division algebras via standard *-homomorphisms, which is a useful unification in operator theory. The explicit affine expressions for the low-dimensional cases and the trace-determinant formulas for the geometric mean constitute concrete, computable outputs that strengthen the contribution beyond abstract correspondence.

minor comments (3)
  1. [Introduction] The introduction should include a brief recall of the definition of Kubo-Ando means (via operator monotone functions) to make the bijection construction self-contained for readers outside the immediate subfield.
  2. In the section deriving the affine expressions for P_2(D), the parametrization of the cones (3,4,6 real parameters) is used; explicitly state the coordinate charts or bases chosen for the Hermitian matrices to allow direct verification of the solved expressions.
  3. The trace-determinant formulas for the geometric mean are stated for the real 4x4 images; include a short remark confirming that these reduce to the standard formulas when restricted to the embedded subcones.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading, positive summary, and recommendation of minor revision. No specific major comments appear in the report, so we have no individual points requiring rebuttal or clarification at this stage. We will incorporate any minor editorial adjustments suggested during the revision process.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on standard embeddings and direct verification

full rationale

The claimed bijection between Kubo-Ando means on the cones P_n(H), P_2n(C), P_4n(R) is induced by the canonical *-homomorphisms (quaternionic to complex 2x2 block embedding, complex to real 4x4 block embedding). These are external algebraic facts that preserve addition, multiplication, adjoint, and hence functional calculus for any operator monotone f, so M_f on each cone corresponds directly without redefinition. The low-dimensional affine expressions follow from parametrizing the 3-, 4-, or 6-dimensional real vector spaces of 2x2 Hermitian matrices over R/C/H and imposing the Kubo-Ando axioms (joint monotonicity, congruence invariance, etc.); this is explicit solving, not a fit renamed as prediction. No self-citation is load-bearing, no ansatz is smuggled, and no quantity is defined in terms of itself. The construction is self-contained against the external definition of Kubo-Ando means.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the work relies on standard definitions and properties of Kubo-Ando means and positive definite cones over real division algebras; no free parameters or invented entities are indicated.

axioms (1)
  • domain assumption Standard properties of Kubo-Ando operator means and positive definite matrix cones over R, C, H
    The bijection and preservation of properties are described as following from canonical embeddings and existing theory in operator means.

pith-pipeline@v0.9.1-grok · 5740 in / 1371 out tokens · 46073 ms · 2026-06-29T14:56:38.716600+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Spectral Decomposition and Linearization of Kubo-Ando Means

    math.FA 2026-06 unverdicted novelty 5.0

    Kubo-Ando means on positive Hermitian matrices over R, C, H admit an explicit finite linear decomposition in terms of the spectrum of A^{-1}B.

Reference graph

Works this paper leans on

9 extracted references · 1 canonical work pages · cited by 1 Pith paper

  1. [1]

    Princeton Series in Applied Mathematics

    Rajendra Bhatia.Positive definite matrices. Princeton Series in Applied Mathematics. Prince- ton University Press, Princeton, NJ, 2007. [2015] paperback edition of the 2007 original [MR2284176]

    2007

  2. [2]

    Linearity of Cartan and Wasserstein means

    Hayoung Choi, Sejong Kim, and Yongdo Lim. Linearity of Cartan and Wasserstein means. Linear Algebra Appl., 681:66–88, 2024

    2024

  3. [3]

    The Cone of J-Hermitian Matrices and a Geometric Mean

    Jose Franco and Allan Merino. The Cone of J-Hermitian Matrices and a Geometric Mean. arXiv:2602.21258

    work page arXiv

  4. [4]

    Higham.Functions of matrices

    Nicholas J. Higham.Functions of matrices. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2008. Theory and computation

    2008

  5. [5]

    Knapp.Lie groups beyond an introduction, volume 140 ofProgress in Mathemat- ics

    Anthony W. Knapp.Lie groups beyond an introduction, volume 140 ofProgress in Mathemat- ics. Birkhäuser Boston, Inc., Boston, MA, second edition, 2002

    2002

  6. [6]

    Means of positive linear operators.Math

    Fumio Kubo and Tsuyoshi Ando. Means of positive linear operators.Math. Ann., 246(3):205– 224, 1979/80

    1979

  7. [7]

    Kubo-Ando means for J-Hermitian matrices.Preprint., 2026

    Sebastian Micalizzi and Hayden Tyler. Kubo-Ando means for J-Hermitian matrices.Preprint., 2026

    2026

  8. [8]

    Pusz and S

    W. Pusz and S. L. Woronowicz. Functional calculus for sesquilinear forms and the purification map.Rep. Mathematical Phys., 8(2):159–170, 1975

    1975

  9. [9]

    Quaternions and matrices of quaternions.Linear Algebra Appl., 251:21–57, 1997

    Fuzhen Zhang. Quaternions and matrices of quaternions.Linear Algebra Appl., 251:21–57, 1997. Department ofMathematics andStatistics, University ofNorthFlorida, 1 UNF Drive, Jack- sonville, FL 32224, USA Email address:jose.franco@unf.edu Department ofMathematics andStatistics, University ofNorthFlorida, 1 UNF Drive, Jack- sonville, FL 32224, USA Email addr...

    1997