pith. machine review for the scientific record. sign in

arxiv: 2605.11701 · v1 · submitted 2026-05-12 · 🧮 math.OA · math.FA

Recognition: 1 theorem link

· Lean Theorem

Relative Kubo-Ando Means of Completely Positive Maps

Mohsen Kian

Pith reviewed 2026-05-13 04:46 UTC · model grok-4.3

classification 🧮 math.OA math.FA
keywords Kubo-Ando meanscompletely positive mapsC*-algebrasArveson Radon-Nikodym theoremgeometric meanmonotonicityJensen inequalitydata processing
0
0 comments X

The pith

Relative and intrinsic Kubo-Ando means extend operator means to completely positive maps on C*-algebras via Arveson's Radon-Nikodym theorem.

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

The paper defines relative and intrinsic Kubo-Ando means for completely positive maps on C*-algebras by extending the classical means for positive operators. These means are constructed directly from the Radon-Nikodym derivative supplied by Arveson's theorem. The author then proves that the new means are monotone, satisfy transformer and Jensen inequalities, obey data processing, and are monotone with respect to the ambient map. In the geometric case the construction yields a block-positivity characterization and the intrinsic mean vanishes exactly when the two maps share no nonzero common completely positive submap. The definitions are shown to coincide with the Choi-matrix mean on matrix algebras and with Okayasu's Pusz-Woronowicz geometric mean on their common domain.

Core claim

Completely positive maps on C*-algebras admit relative and intrinsic Kubo-Ando means defined using Arveson's Radon-Nikodym theorem. These means extend the usual Kubo-Ando means of positive operators and satisfy the same order-theoretic properties, including monotonicity, transformer and Jensen inequalities, data processing, and monotonicity with respect to the ambient map. In the geometric case they admit a block-positivity characterization, the intrinsic geometric mean vanishes precisely when the maps have no nonzero common completely positive submap, and they agree with the Choi-matrix mean for maps between matrix algebras as well as with Okayasu's Pusz-Woronowicz geometric mean on the set

What carries the argument

The relative Kubo-Ando mean of two completely positive maps, obtained by inserting the Arveson Radon-Nikodym derivative into the classical operator-mean formula.

If this is right

  • The means remain monotone under the natural order on completely positive maps.
  • Transformer and Jensen inequalities hold for the new means.
  • The data-processing inequality is satisfied.
  • The geometric mean admits a block-positivity characterization.
  • The intrinsic geometric mean vanishes if and only if the two maps have no nonzero common completely positive submap.

Where Pith is reading between the lines

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

  • The agreement with the Choi-matrix construction implies that the means are explicitly computable for finite-dimensional systems.
  • The same derivative-based recipe may produce analogous means for other classes of positive maps between operator algebras.
  • The zero condition on the intrinsic geometric mean supplies an algebraic criterion for when two maps are mutually singular in the sense of having no common submap.

Load-bearing premise

Arveson's Radon-Nikodym theorem applies to the given pairs of completely positive maps and produces a well-defined positive derivative that can be substituted into the mean expression.

What would settle it

Two completely positive maps on a C*-algebra whose constructed geometric mean is nonzero even though they share no nonzero common completely positive submap, or whose relative mean violates monotonicity under the natural order.

read the original abstract

We introduce relative and intrinsic Kubo--Ando means for completely positive maps on \(C^*\)-algebras. These means extend the usual Kubo--Ando means of positive operators and are defined using Arveson's Radon--Nikodym theorem for completely positive maps. We prove their basic order-theoretic properties, including monotonicity, transformer and Jensen inequalities, data processing, and monotonicity with respect to the ambient map. In the geometric case, we obtain a block-positivity characterization and show that the intrinsic geometric mean vanishes exactly when the two maps have no nonzero common completely positive submap. We further prove agreement with the Choi-matrix mean for maps between matrix algebras and with Okayasu's Pusz--Woronowicz geometric mean on their common domain.

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

1 major / 2 minor

Summary. The paper introduces relative and intrinsic Kubo-Ando means for completely positive maps on C*-algebras, extending the classical means for positive operators via Arveson's Radon-Nikodym theorem. It establishes order-theoretic properties including monotonicity, transformer and Jensen inequalities, data processing, and monotonicity with respect to the ambient map. In the geometric case, it provides a block-positivity characterization and a vanishing condition for the intrinsic mean when the maps have no nonzero common CP submap. Agreement is shown with the Choi-matrix mean for maps on matrix algebras and with Okayasu's Pusz-Woronowicz mean on their common domain.

Significance. If the derivations hold, the work supplies a coherent extension of Kubo-Ando theory to the setting of CP maps, with potential utility in quantum information and operator-algebraic applications. The block-positivity characterization and the explicit agreement results with existing constructions are concrete strengths that would strengthen the contribution.

major comments (1)
  1. [Definition section and introduction] Definition of relative means (via Arveson's Radon-Nikodym theorem): The construction requires one CP map to dominate the other for the derivative to exist. The abstract and claimed properties (monotonicity, Jensen, data processing) are stated without explicit domain restrictions, yet the theorem applies only conditionally. The manuscript must state the precise standing assumption on pairs of maps and confirm that all listed inequalities are proved only where the derivative is defined, or supply an independent extension. This condition is load-bearing for the generality asserted in the central claims.
minor comments (2)
  1. [Abstract] The abstract could briefly note the conditional nature of the definition to avoid overstatement of generality.
  2. [Early sections] Notation for the relative and intrinsic means should be introduced with a clear distinction in the first section where they appear.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. We address the single major comment below and will revise the paper to improve precision on domains of definition.

read point-by-point responses

  1. Referee: [Definition section and introduction] Definition of relative means (via Arveson's Radon-Nikodym theorem): The construction requires one CP map to dominate the other for the derivative to exist. The abstract and claimed properties (monotonicity, Jensen, data processing) are stated without explicit domain restrictions, yet the theorem applies only conditionally. The manuscript must state the precise standing assumption on pairs of maps and confirm that all listed inequalities are proved only where the derivative is defined, or supply an independent extension. This condition is load-bearing for the generality asserted in the central claims.

    Authors: We appreciate the referee highlighting the need for explicit domain statements. The relative Kubo-Ando mean is defined via Arveson's Radon-Nikodym theorem and therefore requires one map to dominate the other; this hypothesis is present in the definition section of the manuscript, and all subsequent properties (monotonicity, transformer and Jensen inequalities, data processing, and ambient-map monotonicity) are proved precisely under that assumption. The intrinsic mean is introduced separately and does not rely on domination. We agree that the abstract and introduction would benefit from greater clarity to avoid any impression of unrestricted generality. We will revise by inserting a concise statement of the standing assumption immediately after the definition and by adding a sentence in the abstract and introduction confirming that the listed inequalities hold where the Radon-Nikodym derivative exists. No independent extension is required, as the conditional character of the relative mean is consistent with the classical Kubo-Ando theory for operators. These changes will be incorporated in the next version. revision: yes

Circularity Check

0 steps flagged

No circularity: definitions rest on external Arveson's theorem; properties proved independently

full rationale

The paper introduces relative and intrinsic Kubo-Ando means for CP maps by direct appeal to Arveson's Radon-Nikodym theorem (an external, pre-existing result on C*-algebras). All listed properties (monotonicity, Jensen, data processing, block-positivity, agreement with Choi-matrix and Pusz-Woronowicz means) are derived from this external input plus standard order-theoretic arguments on positive maps. No step reduces a claimed prediction or uniqueness statement to a self-citation, a fitted parameter renamed as output, or a definition that presupposes the target quantity. The domain restriction implicit in Arveson's theorem is acknowledged in the construction and does not create a self-referential loop. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central definitions and proofs rest on Arveson's Radon-Nikodym theorem as the sole external input; no free parameters or new entities are introduced.

axioms (1)
  • domain assumption Arveson's Radon-Nikodym theorem applies to pairs of completely positive maps on C*-algebras and produces a derivative usable for defining means
    The means are explicitly defined using this theorem.

pith-pipeline@v0.9.0 · 5416 in / 1247 out tokens · 38825 ms · 2026-05-13T04:46:45.663768+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

11 extracted references · 11 canonical work pages · 1 internal anchor

  1. [1]

    W. B. Arveson,Subalgebras ofC ∗-algebras, Acta Math.123(1969), 141–224

    work page 1969

  2. [2]

    Bhatia,Positive Definite Matrices, Princeton University Press, Princeton, 2007

    R. Bhatia,Positive Definite Matrices, Princeton University Press, Princeton, 2007

    work page 2007

  3. [3]

    Jamio lkowski,Linear transformations which preserve trace and positive semidefiniteness of opera- tors, Rep

    A. Jamio lkowski,Linear transformations which preserve trace and positive semidefiniteness of opera- tors, Rep. Math. Phys.3(1972), 275–278

    work page 1972

  4. [4]

    Choi,Completely positive linear maps on complex matrices, Linear Algebra Appl.10(1975), 285–290

    M.-D. Choi,Completely positive linear maps on complex matrices, Linear Algebra Appl.10(1975), 285–290

    work page 1975

  5. [5]

    Gheondea and A

    A. Gheondea and A. S. Kavruk,Absolute continuity for operator valued completely positive maps on C ∗-algebras, J. Math. Phys.50(2009), 022102

    work page 2009

  6. [6]

    Hollands and A

    S. Hollands and A. Ranallo,Channel divergences and complexity in algebraic QFT, Commun. Math. Phys.404(2023), 927–962

    work page 2023

  7. [7]

    Kubo and T

    F. Kubo and T. Ando,Means of positive linear operators, Math. Ann.246(1980), 205–224

    work page 1980

  8. [8]

    P. E. Frenkel, M. Mosonyi, P. Vrana, and M. Weiner,Error bounds for composite quantum hypothesis testing and a new characterization of the weighted Kubo–Ando geometric means, arXiv:2503.13379, 2025

    work page arXiv 2025

  9. [9]

    Geometric Means and Lebesgue-type Decomposition of Completely Positive Maps

    R. Okayasu,Geometric Means and Lebesgue-type Decomposition of Completely Positive Maps, arXiv:2605.06019v1, 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  10. [10]

    V. I. Paulsen,Completely Bounded Maps and Operator Algebras, Cambridge Studies in Advanced Mathematics, Vol.78, Cambridge University Press, Cambridge, 2002

    work page 2002

  11. [11]

    Pusz and S

    W. Pusz and S. L. Woronowicz,Functional calculus for sesquilinear forms and the purification map, Rep. Math. Phys.8(1975), 159–170. Mohsen Kian: Department of Mathematics, University of Bojnord, Bojnord 94531, Iran Email address:kian@ub.ac.ir

    work page 1975