pith. machine review for the scientific record. sign in

arxiv: 2605.06019 · v1 · submitted 2026-05-07 · 🧮 math.OA · cs.IT· math-ph· math.FA· math.IT· math.MP

Recognition: unknown

Geometric Means and Lebesgue-type Decomposition of Completely Positive Maps

Rui Okayasu

Pith reviewed 2026-05-08 03:25 UTC · model grok-4.3

classification 🧮 math.OA cs.ITmath-phmath.FAmath.ITmath.MP
keywords geometric meanparallel sumcompletely positive mapsvon Neumann algebrasLebesgue decompositionconditional expectationssubfactor theory
0
0 comments X

The pith

Completely positive maps on von Neumann algebras admit a geometric mean and parallel sum that support a Lebesgue-type decomposition.

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

The paper defines the geometric mean and parallel sum for completely positive maps on von Neumann algebras by using the theory of positive sesquilinear forms. It characterizes these operations with a block matrix positivity condition and proves they satisfy the arithmetic-geometric-harmonic mean inequality under the completely positive order. The construction matches known matrix means in finite dimensions through the standard correspondence for quantum channels. A central result is a Lebesgue-type decomposition of completely positive maps built from the parallel sum. The same framework produces index-type inequalities for conditional expectations in subfactor theory.

Core claim

We introduce the geometric mean and the parallel sum of completely positive maps on von Neumann algebras based on the theory of positive sesquilinear forms. We provide a concrete characterization via a block matrix positivity condition and establish their fundamental properties, including the AM-GM-HM inequality with respect to the CP order. In finite-dimensional settings the construction is compatible with the correspondence under which the geometric mean of CP maps corresponds to the geometric mean of their matrix representations. This yields a natural framework for interpolating quantum channels. Finally we establish a Lebesgue-type decomposition of CP maps via a parallel sum construction

What carries the argument

The geometric mean of two completely positive maps, obtained from a block matrix positivity condition on positive sesquilinear forms, which interpolates between maps while respecting the completely positive order.

If this is right

  • The arithmetic-geometric-harmonic mean inequality holds for completely positive maps with respect to the completely positive order.
  • The geometric mean agrees with the standard matrix mean in finite dimensions via the channel correspondence.
  • Every completely positive map admits a Lebesgue-type decomposition constructed from the parallel sum.
  • Index-type inequalities hold for conditional expectations arising in subfactor theory.

Where Pith is reading between the lines

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

  • The parallel sum may furnish a way to combine or compare completely positive maps while controlling their singularity.
  • If the geometric mean extends continuously to infinite dimensions it could serve as an interpolation tool for quantum channels on infinite-dimensional systems.
  • The decomposition might separate absolutely continuous and singular parts of maps in settings outside von Neumann algebras.

Load-bearing premise

The theory of positive sesquilinear forms supplies a geometric mean for completely positive maps that inherits the expected order and inequality properties.

What would settle it

A pair of completely positive maps for which the constructed geometric mean fails to obey the arithmetic-geometric-harmonic mean inequality under the completely positive order would refute the central construction.

read the original abstract

We introduce the geometric mean and the parallel sum of completely positive (CP) maps on von Neumann algebras, based on the Pusz--Woronowicz theory of positive sesquilinear forms. We provide a concrete characterization via a block matrix positivity condition and establish their fundamental properties, including the AM--GM--HM inequality with respect to the CP order. In finite-dimensional settings, our construction is compatible with the Choi--Jamiolkowski correspondence, under which the geometric mean of CP maps corresponds to the Kubo--Ando geometric mean of their Choi matrices. This yields a natural operator-theoretic framework for interpolating quantum channels. As an application, we obtain index-type inequalities for conditional expectations in subfactor theory. Finally, we establish a Lebesgue-type decomposition of CP maps via a parallel sum construction, thereby providing a unified framework that simultaneously generalizes Ando's decomposition of bounded positive operators and Kosaki's decomposition of normal positive functionals on von Neumann algebras.

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

2 major / 2 minor

Summary. The manuscript introduces the geometric mean and parallel sum of completely positive maps on von Neumann algebras, constructed from the Pusz-Woronowicz theory of positive sesquilinear forms. It gives a block-matrix positivity characterization, establishes fundamental properties including the AM-GM-HM inequality in the CP order, shows compatibility with the Choi-Jamiolkowski isomorphism in finite dimensions (where the mean reduces to the Kubo-Ando mean of Choi matrices), derives index-type inequalities for conditional expectations, and constructs a Lebesgue-type decomposition of a CP map φ with respect to a reference map ψ via the parallel sum, claiming this simultaneously generalizes Ando's decomposition of positive operators and Kosaki's decomposition of normal functionals.

Significance. If the constructions are rigorously verified, the work supplies a unified operator-algebraic framework for decompositions of positive maps that bridges the operator, functional, and channel settings. The finite-dimensional compatibility with Choi-Jamiolkowski and the use of an established sesquilinear-form tool without new free parameters are strengths. The subfactor application and the claimed unification would be of interest to researchers in operator algebras and quantum information.

major comments (2)
  1. [§4] §4 (Lebesgue-type decomposition): the central claim that the parallel-sum construction yields a decomposition φ = φ_ac + φ_s with φ_ac absolutely continuous w.r.t. ψ, reducing exactly to Ando's decomposition when φ and ψ are multiplication maps by positive operators and to Kosaki's normal/singular decomposition when they are normal functionals, is load-bearing. The argument invokes Pusz-Woronowicz forms directly but does not supply an explicit verification that the block-matrix positivity condition preserves the required monotonicity, continuity, and absolute-continuity properties in the infinite-dimensional von Neumann algebra setting; the domain on which the induced sesquilinear form lives (predual versus A⊗A) must be specified to confirm the reduction.
  2. [§3] §3 (block-matrix characterization): while the positivity condition is stated to define the geometric mean, it is not shown in detail that the resulting object remains completely positive whenever the input maps are completely positive, especially when the underlying algebra is infinite-dimensional; a direct argument or counter-example check is needed because failure here would invalidate the subsequent properties and the decomposition.
minor comments (2)
  1. [Introduction] The introduction could more explicitly contrast the new construction with existing attempts to define means of CP maps, to clarify the precise novelty.
  2. Notation for the parallel sum (e.g., the symbol used for φ : ψ) should be introduced once and used consistently from the first appearance onward.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough reading and constructive feedback on our manuscript. The comments highlight important points regarding rigor in infinite-dimensional settings, and we address them point by point below, indicating revisions where appropriate to strengthen the exposition.

read point-by-point responses

  1. Referee: [§4] §4 (Lebesgue-type decomposition): the central claim that the parallel-sum construction yields a decomposition φ = φ_ac + φ_s with φ_ac absolutely continuous w.r.t. ψ, reducing exactly to Ando's decomposition when φ and ψ are multiplication maps by positive operators and to Kosaki's normal/singular decomposition when they are normal functionals, is load-bearing. The argument invokes Pusz-Woronowicz forms directly but does not supply an explicit verification that the block-matrix positivity condition preserves the required monotonicity, continuity, and absolute-continuity properties in the infinite-dimensional von Neumann algebra setting; the domain on which the induced sesquilinear form lives (predual versus A⊗A) must be specified to confirm the reduction.

    Authors: We appreciate the referee's identification of this as a central claim. The parallel sum is constructed directly from the Pusz-Woronowicz positive sesquilinear forms associated to the pair of CP maps, with the block-matrix positivity serving as the concrete characterization that encodes the form. The monotonicity, continuity, and absolute-continuity properties then follow from the general theory of such forms on von Neumann algebras. We acknowledge that an expanded, self-contained verification of these properties under the block-matrix condition would improve clarity in the infinite-dimensional case. In the revised manuscript we will insert a new paragraph (or short subsection) that explicitly traces how the block positivity implies the required monotonicity and absolute continuity, and we will specify that the induced sesquilinear form is realized on the predual of the appropriate von Neumann algebra tensor product (rather than on A⊗A itself) so that the reductions to Ando's operator decomposition and Kosaki's functional decomposition become immediate by specialization. The existing arguments for the reductions remain valid once this domain is clarified. revision: yes

  2. Referee: [§3] §3 (block-matrix characterization): while the positivity condition is stated to define the geometric mean, it is not shown in detail that the resulting object remains completely positive whenever the input maps are completely positive, especially when the underlying algebra is infinite-dimensional; a direct argument or counter-example check is needed because failure here would invalidate the subsequent properties and the decomposition.

    Authors: We thank the referee for stressing the need for an explicit preservation argument. Section 3 defines the geometric mean via the block-matrix positivity condition that arises naturally from the Pusz-Woronowicz construction; because each input CP map induces a completely positive sesquilinear form, the resulting block-positive form yields a CP map by the general correspondence between positive forms and CP maps on von Neumann algebras. While this is implicit in the use of the established Pusz-Woronowicz theory, we agree that a direct, self-contained argument for complete positivity in the infinite-dimensional setting would be beneficial. In the revision we will expand the proof of Theorem 3.2 (or the relevant statement) with an explicit verification that the block-matrix condition, when applied to CP inputs, produces a map that satisfies the complete positivity criterion at every matrix level, without introducing new parameters. No counter-example is possible under the given hypotheses, as the construction is functorial with respect to the CP order. revision: yes

Circularity Check

0 steps flagged

No circularity: definitions and decomposition extend external Pusz-Woronowicz theory without self-referential reduction

full rationale

The paper defines the geometric mean and parallel sum of CP maps on von Neumann algebras by direct extension of the Pusz-Woronowicz positive sesquilinear form theory, supplies a block-matrix positivity characterization, derives AM-GM-HM inequalities and finite-dimensional compatibility with Choi matrices, and obtains the Lebesgue-type decomposition as an application. No equation or claim reduces by construction to its own inputs, no fitted parameters are relabeled as predictions, and no load-bearing step relies on self-citation chains; the unification with Ando and Kosaki cases is presented as a consequence of the external-form construction rather than an identity by definition.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The paper introduces new objects (geometric mean and parallel sum of CP maps) defined from existing Pusz-Woronowicz forms; no numerical free parameters are mentioned. Standard axioms of von Neumann algebras and complete positivity are used.

axioms (1)
  • domain assumption Pusz-Woronowicz theory of positive sesquilinear forms supplies a well-defined geometric mean operation on positive maps.
    Invoked as the basis for the entire construction in the opening sentence of the abstract.
invented entities (2)
  • Geometric mean of CP maps no independent evidence
    purpose: To interpolate between completely positive maps while preserving order and inequalities.
    Newly defined object whose properties are then derived.
  • Parallel sum of CP maps no independent evidence
    purpose: To construct the Lebesgue-type decomposition.
    Introduced as the tool for the decomposition result.

pith-pipeline@v0.9.0 · 5470 in / 1400 out tokens · 15337 ms · 2026-05-08T03:25:02.048830+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. Relative Kubo-Ando Means of Completely Positive Maps

    math.OA 2026-05 unverdicted novelty 6.0

    Relative and intrinsic Kubo-Ando means are introduced for completely positive maps, satisfying order properties and reducing to prior means on matrix algebras and common domains.

Reference graph

Works this paper leans on

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

  1. [1]

    Aibara, Y

    Y. Aibara, Y. Ueda; Lebesgue decomposition for positive operators revisited. C. R. Math. Acad. Sci. Soc. R. Can. 45 (2023), no. 2, 37--55

    2023

  2. [2]

    W. N. Anderson, Jr.; Shorted Operators. SIAM J. Appl. Math. 20 (1971), 520--525

    1971

  3. [3]

    W. N. Anderson, Jr., G. E. Trapp; Shorted Operators II. SIAM J. Appl. Math. 28 (1975), 60--71

    1975

  4. [4]

    Ando; Concavity of certain maps on positive definite matrices and applications to Hadamard products

    T. Ando; Concavity of certain maps on positive definite matrices and applications to Hadamard products. Linear Algebra Appl. 26 (1979), 203--241

    1979

  5. [5]

    Ando; Lebesgue-type decomposition of positive operators

    T. Ando; Lebesgue-type decomposition of positive operators. Acta Sci. Math. (Szeged) 38 (1976), no. 3--4, 253--260

    1976

  6. [6]

    Araki; On an inequality of Lieb and Thirring

    H. Araki; On an inequality of Lieb and Thirring. Lett. Math. Phys. 19 (1990), no. 2, 167--170

    1990

  7. [7]

    Araki, T

    H. Araki, T. Masuda; Positive cones and L _p -spaces for von Neumann algebras. Publ. Res. Inst. Math. Sci. 18 (1982), no. 2, 759--831 (339--411)

    1982

  8. [8]

    W. B. Arveson; Subalgebras of C^* -algebras. Acta Math. 123 (1969), 141--224

    1969

  9. [9]

    Choi; Completely positive linear maps on complex matrices

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

    1975

  10. [10]

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

    work page arXiv 2025

  11. [11]

    J. I. Fujii; Operator means and range inclusion. Linear Algebra Appl. 170 (1992), 137--146

    1992

  12. [12]

    Haagerup; Injectivity and decomposition of completely bounded maps

    U. Haagerup; Injectivity and decomposition of completely bounded maps. Lecture Notes in Math., vol. 1132, Springer, Berlin (1985), 170--222

    1985

  13. [13]

    F. Hiai, H. Kosaki; Connections of unbounded operators and some related topics: von Neumann algebra case. Internat. J. Math. 32 (2021), no. 5, Paper No. 2150024, 88 pp

    2021

  14. [14]

    F. Hiai, D. Petz; The Golden-Thompson trace inequality is complemented. Linear Algebra Appl. 181 (1993), 153--185

    1993

  15. [15]

    Izumi; Inclusions of simple C^* -algebras

    M. Izumi; Inclusions of simple C^* -algebras. J. Reine Angew. Math. 547 (2002), 97--138

    2002

  16. [16]

    Jamio kowski; Linear transformations which preserve trace and positive semidefiniteness of operators

    A. Jamio kowski; Linear transformations which preserve trace and positive semidefiniteness of operators. Rep. Mathematical Phys. 3 (1972), no. 4, 275--278

    1972

  17. [17]

    Joi t a; On Lebesgue type decomposition for covariant completely positive maps on C ^* -algebras

    M. Joi t a; On Lebesgue type decomposition for covariant completely positive maps on C ^* -algebras. Banach J. Math. Anal. 4 (2010), no. 2, 75--86. Rocky Mt. J. Math.,

    2010

  18. [18]

    Kosaki; On the Bures distance and the Uhlmann transition probability of states on a von Neumann algebra

    H. Kosaki; On the Bures distance and the Uhlmann transition probability of states on a von Neumann algebra. Proc. Amer. Math. Sci. 89 (1983), no. 2, 285--288

    1983

  19. [19]

    Kosaki; Interpolation theory and the Wigner--Yanase--Dyson--Lieb concavity

    H. Kosaki; Interpolation theory and the Wigner--Yanase--Dyson--Lieb concavity. Comm. Math. Phys. 87 (1982/83), no. 3, 315--329

    1982

  20. [20]

    Kosaki; Remarks on Lebesgue-type decomposition of positive operators

    H. Kosaki; Remarks on Lebesgue-type decomposition of positive operators. J. Operator Theory, 11 (1984), no. 1, 137--143

    1984

  21. [21]

    Kosaki; Lebesgue Decomposition of States on a Von Neumann Algebra

    H. Kosaki; Lebesgue Decomposition of States on a Von Neumann Algebra. Amer. J. Math. 107 (1985), no. 3, 697--735

    1985

  22. [22]

    Kosaki; Relative entropy of states: a variational expression

    H. Kosaki; Relative entropy of states: a variational expression. J. Operator Theory 16 (1986), no. 2, 335--348

    1986

  23. [23]

    Kosaki; Absolute continuity for unbounded positive self-adjoint operators

    H. Kosaki; Absolute continuity for unbounded positive self-adjoint operators. Kyushu J. Math. 72 (2018), no. 2, 407--421

    2018

  24. [24]

    Kosaki; Remarks on absolute continuity of positive operators

    H. Kosaki; Remarks on absolute continuity of positive operators. Internat. J. Math. 34 (2023), no. 10, Paper No. 2350058, 28 pp

    2023

  25. [25]

    M. G. Krein; The theory of self-adjoint extensions of semi-bounded Hermitian transformations and its applications. I. Magyar Tud. Akad. Mat. Fiz. Oszt. K\"ozl. 18 (1968), 273--314

    1968

  26. [26]

    F. Kubo, T. Ando; Means of positive linear operators. Math. Ann. 246 (1979/80), no. 3, 205--224

    1979

  27. [27]

    Okayasu, N

    R. Okayasu, N. Ozawa, R. Tomatsu; Haagerup approximation property via bimodules. Math. Scand. 121 (2017), no. 1, 75--91

    2017

  28. [28]

    Pimsner, S

    M. Pimsner, S. Popa; Entropy and index for subfactors. Ann. Sci. \' E cole Norm. Sup. (4) 19 (1986), no. 1, 57--106

    1986

  29. [29]

    Popa; Correspondences

    S. Popa; Correspondences. INCREST preprint, 1986. http://www.math.ucla.edu/ popa/popa-correspondences.pdf

    1986

  30. [30]

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

    1975

  31. [31]

    W. Pusz, S. L. Woronowicz; Form convex functions and the WYDL and other inequalities. Lett. Math. Phys. 2 (1977/78), no. 6, 505--512

    1977

  32. [32]

    Raginsky; Radon--Nikodym derivatives of quantum operations

    M. Raginsky; Radon--Nikodym derivatives of quantum operations. J. Math. Phys. 44, (2003), no. 11, 5003--5020

    2003

  33. [33]

    Simon; A canonical decomposition for quadratic forms with applications to monotone convergence theorems

    B. Simon; A canonical decomposition for quadratic forms with applications to monotone convergence theorems. J. Functional Analysis 28 (1978), no. 3, 377--385

    1978

  34. [34]

    W. F. Stinespring; Positive functions on C ^* -algebras. Proc. Amer. Math. Soc. 6 (1955), 211--216

    1955

  35. [35]

    Takesaki; Conditional expectations in von Neumann algebras

    M. Takesaki; Conditional expectations in von Neumann algebras. J. Functional Analysis 9 (1972), 306--321

    1972

  36. [36]

    Takesaki; Theory of operator algebras

    M. Takesaki; Theory of operator algebras. II. Encyclopaedia Math. Sci., 125 Oper. Alg. Non-commut. Geom., 6 Springer-Verlag, Berlin, 2003, xxii+518 pp

    2003

  37. [37]

    Uhlmann; Relative entropy and the Wigner--Yanase--Dyson--Lieb concavity in an interpolation theory

    A. Uhlmann; Relative entropy and the Wigner--Yanase--Dyson--Lieb concavity in an interpolation theory. Comm. Math. Phys. 54 (1977), no. 1, 21--32

    1977