pith. sign in

arxiv: 2605.17711 · v1 · pith:R5OQV66Tnew · submitted 2026-05-18 · 🧮 math.OA · math.FA

Quantum Doubly Stochastic Operators on Non-commutative L_p-Spaces

Emma Sulaver This is my paper

Pith reviewed 2026-05-19 22:49 UTC · model grok-4.3

classification 🧮 math.OA math.FA
keywords quantum doubly stochastic operatorsnon-commutative L_p-spacessemifinite von Neumann algebrastrace-preserving mapsquantum majorizationSchatten idealsinterpolation
0
0 comments X

The pith

Positive trace-preserving maps define quantum doubly stochastic operators on non-commutative L_p-spaces.

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

This paper introduces and develops the theory of quantum doubly stochastic operators as positive, trace-preserving maps on non-commutative L_p-spaces from semifinite von Neumann algebras. It establishes their basic norm and duality properties in analogy with classical cases. The authors characterize strict norm inequalities and give criteria for compactness in Schatten ideals. New examples are exhibited in finite and infinite dimensions, along with applications to quantum majorization and stability under interpolation.

Core claim

We introduce and systematically develop the theory of quantum doubly stochastic operators, i.e. positive, trace-preserving maps on non-commutative L_p-spaces associated to semifinite von Neumann algebras. After establishing basic norm and duality properties, we characterize strict norm inequalities, give necessary and sufficient criteria for compactness in the sense of Schatten-ideals, and exhibit a range of new examples in both finite and infinite dimensions. Applications to quantum majorization and stability under interpolation are also discussed.

What carries the argument

The quantum doubly stochastic operator: a positive, trace-preserving map on non-commutative L_p-spaces.

If this is right

  • These maps obey norm and duality properties parallel to the classical setting.
  • Strict norm inequalities are characterized for the operators.
  • Necessary and sufficient conditions are given for Schatten-ideal compactness.
  • The operators support applications to quantum majorization.
  • Stability under interpolation is shown for the operators.

Where Pith is reading between the lines

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

  • The theory opens a path to studying majorization relations directly on quantum states in infinite dimensions.
  • It may provide tools for analyzing quantum channels through their action on L_p spaces.
  • Finite-dimensional cases could be used to test predictions about compactness and inequalities numerically.

Load-bearing premise

The non-commutative L_p-spaces associated to semifinite von Neumann algebras admit positive trace-preserving maps for which basic norm and duality properties, strict norm inequalities, and Schatten-ideal compactness criteria can be established in the same manner as classical cases.

What would settle it

A counterexample of a positive trace-preserving map on a non-commutative L_p-space that violates one of the established norm properties or compactness criteria.

read the original abstract

We introduce and systematically develop the theory of \emph{quantum doubly stochastic operators}, i.e. positive, trace-preserving maps on non-commutative $L_p$-spaces associated to semifinite von Neumann algebras. After establishing basic norm and duality properties, we characterize strict norm inequalities, give necessary and sufficient criteria for compactness in the sense of Schatten-ideals, and exhibit a range of new examples in both finite and infinite dimensions. Applications to quantum majorization and stability under interpolation are also discussed.

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 manuscript introduces quantum doubly stochastic operators as positive, trace-preserving maps on non-commutative L_p-spaces associated to semifinite von Neumann algebras. It establishes basic norm and duality properties, characterizes strict norm inequalities, provides necessary and sufficient criteria for compactness in Schatten ideals, exhibits examples in finite and infinite dimensions, and discusses applications to quantum majorization and stability under interpolation.

Significance. If the central claims hold, the work supplies a systematic non-commutative extension of doubly stochastic operators, which may prove useful for quantum majorization and the analysis of positive maps on L_p spaces. The reliance on standard tools from modular theory and interpolation, without apparent hidden finiteness assumptions or commutative reductions, is a methodological strength that supports the internal consistency of the constructions.

minor comments (3)
  1. The introduction would benefit from a brief explicit comparison between the new quantum definition and the classical doubly stochastic case to clarify the precise points of departure.
  2. In the section on Schatten-ideal compactness, the statement of the necessary and sufficient criteria could include a short remark on whether the conditions reduce to known commutative results when the algebra is abelian.
  3. The examples in infinite dimensions would be easier to follow if the authors added a short table or list summarizing the key properties verified for each example.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful and positive assessment of our manuscript on quantum doubly stochastic operators. The recommendation for minor revision is noted, and we appreciate the recognition of the work's methodological consistency using tools from modular theory and interpolation without hidden finiteness assumptions.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper is a foundational development of the theory of quantum doubly stochastic operators, defined as positive trace-preserving maps on non-commutative L_p-spaces over semifinite von Neumann algebras. It establishes norm/duality properties, strict inequalities, Schatten compactness, and applications using standard non-commutative integration techniques such as modular theory and interpolation. No load-bearing steps reduce by construction to self-definitions, fitted inputs renamed as predictions, or self-citation chains; the derivations are self-contained against external benchmarks in operator algebra theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central contribution rests on standard background from operator algebras plus the new definition of the operators themselves; no free parameters or invented entities with independent evidence are apparent from the abstract.

axioms (1)
  • standard math Standard properties of semifinite von Neumann algebras and their associated non-commutative L_p spaces
    Invoked as the setting for the maps throughout the abstract.
invented entities (1)
  • quantum doubly stochastic operator no independent evidence
    purpose: To generalize classical doubly stochastic operators to the non-commutative quantum setting
    Newly defined in the paper as positive trace-preserving maps on the specified spaces.

pith-pipeline@v0.9.0 · 5595 in / 1220 out tokens · 42508 ms · 2026-05-19T22:49:58.643842+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages

  1. [1]

    P. M. Alberti and A. Uhlmann,Stochasticity and Partial Order: Doubly Stochastic Maps and Unitary Mixing, North-Holland Math. Library, Vol. 18, North-Holland, Amsterdam, 1982

    work page 1982

  2. [2]

    Ando,Majorization, doubly stochastic matrices, and comparison of eigenvalues, Linear Algebra Appl.118(1989), 163–248

    T. Ando,Majorization, doubly stochastic matrices, and comparison of eigenvalues, Linear Algebra Appl.118(1989), 163–248

    work page 1989

  3. [3]

    Bergh and J

    J. Bergh and J. L¨ ofstr¨ om,Interpolation Spaces: An Introduction, Springer, Berlin, 1976

    work page 1976

  4. [4]

    Bhatia,A note on the Lyapunov equation, Linear Algebra Appl.259(1997), 71–76

    R. Bhatia,A note on the Lyapunov equation, Linear Algebra Appl.259(1997), 71–76

    work page 1997

  5. [5]

    Birkhoff,Tr` es theoremes sur les matrices stochastiques, Proc

    G. Birkhoff,Tr` es theoremes sur les matrices stochastiques, Proc. Natl. Acad. Sci. U.S.A.32 (1946), 11–17

    work page 1946

  6. [6]

    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

  7. [7]

    Dunford and J

    N. Dunford and J. T. Schwartz,Linear Operators, Part 1: General Theory1st edition, Wiley- Interscience, 1988

    work page 1988

  8. [8]

    Engel and R

    K.-J. Engel and R. Nagel,One-Parameter Semigroups for Linear Evolution Equations, Springer, New York, 2000

    work page 2000

  9. [9]

    U. Haagerup,L p–spaces associated with an arbitrary von Neumann algebra, in: Alg` ebres d’op´ erateurs et leurs applications en physique math´ ematique, Colloques Internationaux C.N.R.S. 274(1979), 175–184

    work page 1979

  10. [10]

    G. H. Hardy, J. E. Littlewood, and G. P´ olya,Inequalities, 2nd ed., Cambridge University Press, Cambridge, 1952

    work page 1952

  11. [11]

    A. S. Holevo,Quantum coding theorems, Russian Math. Surveys53(1998), 1295–1331

    work page 1998

  12. [12]

    R. A. Horn and C. R. Johnson,Topics in Matrix Analysis, Cambridge Univ. Press, Cambridge, 1991

    work page 1991

  13. [13]

    Junge,Doob’s inequality for non-commutative martingales, J

    M. Junge,Doob’s inequality for non-commutative martingales, J. Reine Angew. Math.549(2002), 149–190. Copyright©by Premier Transactions Press. 16CANADIAN TRANSACTIONS OF OPERATOR THEORY 1 (2025) ARTICLE 250104

    work page 2002

  14. [14]

    Kosaki,Applications of the complex interpolation method to a von Neumann algebra: non- commutativeL p–spaces, J

    H. Kosaki,Applications of the complex interpolation method to a von Neumann algebra: non- commutativeL p–spaces, J. Funct. Anal.56(1984), 29–78

    work page 1984

  15. [15]

    Kraus,General state changes in quantum theory, Ann

    K. Kraus,General state changes in quantum theory, Ann. Phys.64(1971), 311–335

    work page 1971

  16. [16]

    Ohya, and D

    M. Ohya, and D. Petz,Quantum Entropy and its Use, Springer, New York, 1993

    work page 1993

  17. [17]

    Petz,Sufficient Subalgebras and the Relative Entropy of States of a von Neumann Algebra, Commun

    D. Petz,Sufficient Subalgebras and the Relative Entropy of States of a von Neumann Algebra, Commun. Math. Phys.,105(1986), 123–131

    work page 1986

  18. [18]

    Petz,Algebraic complementarity in quantum theory, J

    D. Petz,Algebraic complementarity in quantum theory, J. Math. Phys.,51(1)(2010), Article 015215

    work page 2010

  19. [19]

    Pietsch,Operator Ideals with a Trace, Wiley-VCH Verlag GmbH & Co

    A. Pietsch,Operator Ideals with a Trace, Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim, 1980

    work page 1980

  20. [20]

    Pisier and Q

    G. Pisier and Q. Xu,Non-commutativeL p–spaces, in: Handbook of the Geometry of Banach Spaces, Vol. 2, North-Holland, Amsterdam, 1995, 1459–1517

    work page 1995

  21. [21]

    I. E. Segal,A non-commutative extension of abstract integration, Ann. of Math. (2)57(1953), 401–457

    work page 1953

  22. [22]

    Simon,Trace Ideals and Their Applications, Cambridge Univ

    B. Simon,Trace Ideals and Their Applications, Cambridge Univ. Press, Cambridge, 1979

    work page 1979

  23. [23]

    Terp,L p–spaces associated with von Neumann algebras, Report, Copenhagen Univ., 1981

    M. Terp,L p–spaces associated with von Neumann algebras, Report, Copenhagen Univ., 1981

    work page 1981

  24. [24]

    transition probability

    A. Uhlmann,The “transition probability” in the state space of a *-algebra, Rep. Math. Phys.9 (1976), 273–279

    work page 1976

  25. [25]

    D. V. Voiculescu,The analogues of entropy and of Fisher’s information measure in free probability theory V. Noncommutative Hilbert Transforms, Invent. Math.132(1998), 189–227

    work page 1998

  26. [26]

    M. M. Wolf,Quantum Channels & Operations: A Guided Tour, Lecture Notes, 2012

    work page 2012