pith. machine review for the scientific record. sign in

arxiv: 2601.20373 · v2 · submitted 2026-01-28 · 🧮 math-ph · math.MP· math.OA· quant-ph

Recognition: 2 theorem links

· Lean Theorem

Miniatures on Open Quantum Systems

Jan Derezinski , Vojkan Jaksic , Claude-Alain Pillet
Authors on Pith no claims yet

Pith reviewed 2026-05-16 10:17 UTC · model grok-4.3

classification 🧮 math-ph math.MPmath.OAquant-ph
keywords open quantum systemsoperator algebrasKMS statesnon-equilibrium steady statesentropy productionTomita-Takesaki theoryquantum dynamical systemsreservoir couplings
0
0 comments X

The pith

Operator algebras unify equilibrium and non-equilibrium open quantum systems.

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

The paper delivers a concise, self-contained exposition of the mathematical theory of open quantum systems built on C*- and W*-algebras. It begins with the algebraic formulation of quantum mechanics, quantum dynamical systems, KMS states and Tomita-Takesaki theory, then moves to infinite systems, non-equilibrium steady states, entropy production and linear response. A reader cares because the same framework connects familiar equilibrium notions to concrete models of small systems coupled to reservoirs and to open lattice spin systems.

Core claim

Adopting the operator-algebraic setting allows a systematic development of open quantum systems in which equilibrium states are characterized by KMS conditions, non-equilibrium steady states arise from reservoir couplings, and competing definitions of quantum entropy production are compared within a single modular-theoretic language.

What carries the argument

The C*- and W*-algebraic formulation of quantum mechanics together with Tomita-Takesaki modular theory applied to quantum dynamical systems and reservoir couplings.

If this is right

  • Non-equilibrium steady states for systems coupled to infinite reservoirs follow directly from the algebraic dynamics.
  • Linear response theory extends to infinite open systems once the algebraic framework is in place.
  • Competing notions of quantum entropy production become comparable inside the same modular setting.
  • Open lattice quantum spin systems admit a uniform treatment of both equilibrium and non-equilibrium properties.

Where Pith is reading between the lines

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

  • The same algebraic language may allow direct comparison between quantum and classical open-system entropy production.
  • Time-dependent driving of reservoirs could be incorporated by extending the modular flow.
  • The modular-theoretic treatment suggests quantitative links to entanglement measures in open systems.

Load-bearing premise

The chosen topics and their algebraic presentations accurately capture the current mathematical theory without material omissions.

What would settle it

An explicit model calculation in which the non-equilibrium steady state obtained from the algebraic construction differs from the steady state obtained by direct solution of the same open-system dynamics.

Figures

Figures reproduced from arXiv: 2601.20373 by Claude-Alain Pillet, Jan Derezinski, Vojkan Jaksic.

Figure 1
Figure 1. Figure 1: The cover of Encyclopedia from Springer 2011 web page. The topics, titles, and length of invited articles were specified by the Editors of the Encyclopedia. Our articles were completed in the summer of 2007. Unfortunately, the Encyclopedia’s publication was repeatedly delayed and the project was eventually discon￾tinued, so our articles never appeared in print. On the occasion of the thematic program Quant… view at source ↗
read the original abstract

We presents a unified and concise exposition of key topics in the mathematical theory of open quantum systems, developed within the framework of operator algebras. The manuscript consolidates and extends a series of invited articles originally prepared for the Modern Encyclopedia of Mathematical Physics, combining foundational material with modern perspectives on non-equilibrium quantum statistical mechanics. After introducing the C*- and W*-algebraic formulation of quantum mechanics, the paper reviews quantum dynamical systems, KMS states, and Tomita-Takesaki modular theory, as well as CCR and CAR algebras for bosonic and fermionic systems. Particular emphasis is placed on infinite systems, non-equilibrium steady states, entropy production, and linear response theory. The later sections develop a systematic treatment of small systems coupled to reservoirs, open lattice quantum spin systems, culminating in a detailed discussion of competing notions of quantum entropy production. The presentation highlights structural insights, conceptual clarity, and connections between equilibrium and non-equilibrium phenomena, providing a self-contained reference for researchers and graduate students in mathematical physics.

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 / 1 minor

Summary. The manuscript offers a unified and concise exposition of key topics in the mathematical theory of open quantum systems using operator algebras. It consolidates material on C*- and W*-algebraic formulations of quantum mechanics, quantum dynamical systems, KMS states, Tomita-Takesaki modular theory, CCR and CAR algebras, non-equilibrium steady states, entropy production, linear response theory, small systems coupled to reservoirs, and open lattice quantum spin systems, with emphasis on structural insights and connections between equilibrium and non-equilibrium phenomena.

Significance. If the reproduction of established results and extensions is accurate, the paper provides a valuable self-contained reference for researchers and graduate students in mathematical physics. It consolidates prior invited articles into a coherent treatment that highlights conceptual clarity and links between equilibrium and non-equilibrium quantum statistical mechanics, strengthening accessibility to advanced operator-algebraic methods.

minor comments (1)
  1. [Abstract] Abstract: The opening sentence contains a grammatical error ('We presents' should be 'We present').

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their thorough and positive review of our manuscript. We are pleased that the referee recognizes the value of consolidating and extending the material on open quantum systems into a self-contained reference, highlighting the structural insights from operator algebras and the connections between equilibrium and non-equilibrium phenomena. We appreciate the recommendation to accept the paper.

Circularity Check

0 steps flagged

No significant circularity: review exposition of established operator-algebraic results

full rationale

This is a review manuscript consolidating prior invited articles on standard topics (C*-/W*-algebras, KMS states, Tomita-Takesaki theory, CCR/CAR algebras, non-equilibrium steady states). No new derivations, predictions, or parameter fits are introduced; all content reproduces established mathematical results from external literature without self-referential reduction or ansatz smuggling. Central claims of structural insight rest on faithful reproduction of known theorems, not on internal equations that equate to their own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on established mathematical structures in operator algebras and quantum statistical mechanics without introducing new free parameters, ad hoc axioms, or invented entities.

axioms (2)
  • standard math Standard properties and representations of C*- and W*-algebras in quantum mechanics
    Invoked as the foundational framework for the entire exposition.
  • domain assumption Existence and uniqueness properties of KMS states for equilibrium systems
    Used in the review of equilibrium states and modular theory.

pith-pipeline@v0.9.0 · 5476 in / 1263 out tokens · 29736 ms · 2026-05-16T10:17:51.175426+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

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

  1. [1]

    ARAKI ANDP

    [AI74] H. ARAKI ANDP . D. F . ION: On the equivalence of KMS and Gibbs conditions for states of quantum lattice systems. Commun. Math. Phys.35(1974), 1–12.DOI:10.1007/BF01646450. [AL07] R. ALICKI ANDK. LENDI:Quantum dynamical semigroups and applications. Second edition. Vol

    work page doi:10.1007/bf01646450 1974

  2. [2]

    Springer, Berlin, 2007, xii+128

    Lecture Notes in Physics. Springer, Berlin, 2007, xii+128. [AM03] H. ARAKI ANDH. MORIYA: Equilibrium statistical mechanics of fermion lattice systems. Rev. Math. Phys.15(2003), 93–198. DOI:10.1142/S0129055X03001606. [AM82] H. ARAKI ANDT. MASUDA: Positive cones andL p -spaces for von Neumann algebras. Publ. Res. Inst. Math. Sci.18(1982), 759–831.DOI:10.297...

    work page doi:10.1142/s0129055x03001606 2007

  3. [3]

    Springer Berlin Heidelberg, 1978, 66–84.DOI:10.1007/bfb0067390

    Lecture Notes in Mathematics. Springer Berlin Heidelberg, 1978, 66–84.DOI:10.1007/bfb0067390. [AS06] W. H. ASCHBACHER ANDH. SPOHN: A remark on the strict positivity of the entropy production. Lett. Math. Phys.75(2006), 17–23.DOI:10.1007/s11005-005-0035-5. [Asc+06] W. ASCHBACHER, V. JAKŠI ´C, Y. PAUTRAT,ANDC.-A. PILLET:Topics in non-equilibrium quantum sta...

    work page doi:10.1007/bfb0067390 1978

  4. [4]

    Springer, Berlin, 2006, 1–66

    Lecture Notes in Math. Springer, Berlin, 2006, 1–66. DOI:10.1007/3-540-33967-1_1. [Asc+07] W. ASCHBACHER, V. JAKŠI ´C, Y. PAUTRAT,ANDC.-A. PILLET: Transport properties of quasi-free fermions. J. Math. Phys.48 (2007), 032101.DOI:10.1063/1.2709849. [AW63] H. ARAKI ANDE. J. WOODS: Representations of the canonical commutation relations describing a nonrelativ...

    work page doi:10.1007/3-540-33967-1_1 2006

  5. [5]

    World Scien- tific Publishing Co., Inc., River Edge, NJ, 2000, x+314.DOI:10.1142/9789812813633

    Advanced Series in Nonlinear Dynamics. World Scien- tific Publishing Co., Inc., River Edge, NJ, 2000, x+314.DOI:10.1142/9789812813633. 85 Derezi ´ nski, Jakši´ c, Pillet [Bat+14] T. B. BATALHÃO ET AL.: Experimental reconstruction of work distribution and study of fluctuation relations in a closed quan- tum system. Phys. Rev. Lett.113(2014).DOI:10.1103/phy...

    work page doi:10.1142/9789812813633 2000

  6. [6]

    CAMPISI, R

    [Cam+13] M. CAMPISI, R. BLATTMANN, S. KOHLER, D. ZUECO,ANDP . HÄNGGI: Employing circuit QED to measure non-equilibrium work fluctuations. New J. Phys.15(2013), 105028.DOI:10.1088/1367-2630/15/10/105028. [Cro08] G. E. CROOKS: Quantum operation time reversal. Phys. Rev. A77(2008), 034101.DOI:10.1103/physreva.77.034101. [CRP15] G. D. CHIARA, A. J. RONCAGLIA,...

    work page doi:10.1088/1367-2630/15/10/105028 2013

  7. [7]

    Springer, Berlin, 2006, 63–143.DOI:10.1007/3-540-32579-4_3

    Lecture Notes in Phys. Springer, Berlin, 2006, 63–143.DOI:10.1007/3-540-32579-4_3. [DF06] J. DEREZI ´NSKI ANDR. FRÜBOES:Fermi golden rule and open quantum systems. Open quantum systems. III. Vol

    work page doi:10.1007/3-540-32579-4_3 2006

  8. [8]

    Springer, Berlin, 2006, 67–116.DOI:10.1007/3-540-33967-1_2

    Lecture Notes in Math. Springer, Berlin, 2006, 67–116.DOI:10.1007/3-540-33967-1_2. [DG04] J. DEREZINSKI ANDC. GÉRARD: Scattering Theory of Infrared Divergent Pauli–Fierz Hamiltonians. Annales Henri Poincaré5 (2004), 523–577.DOI:10.1007/s00023-004-0177-5. [DG13] J. DEREZI ´NSKI ANDC. GÉRARD:Mathematics of quantization and quantum fields. Cambridge Monograp...

    work page doi:10.1007/3-540-33967-1_2 2006

  9. [9]

    DEREZI ´NSKI ANDV

    [DJ03] J. DEREZI ´NSKI ANDV. JAKŠI ´C: Return to equilibrium for Pauli–Fierz systems. Ann. Henri Poincaré4(2003), 739–793.DOI: 10.1007/s00023-003-0146-4. [DJC03] J. DEREZI ´NSKI, V. JAKŠI ´C,ANDC.-A.PILLET: Perturbation theory ofW ∗-dynamics, Liouvilleans and KMS-states. Rev. Math. Phys.15(2003), 447–489.DOI:10.1142/S0129055X03001679. [Dor+13] R. DORNER E...

    work page doi:10.1007/s00023-003-0146-4 2003

  10. [10]

    Cambridge University Press, Cambridge, 1999, xiv+287.DOI:10.1017/CBO9780511628870

    Cambridge Lecture Notes in Physics. Cambridge University Press, Cambridge, 1999, xiv+287.DOI:10.1017/CBO9780511628870. [ECM93] D. J. EVANS, E. G. D. COHEN,ANDG. P . MORRISS: Probability of second law violations in shearing steady states. Phys. Rev. Lett.71(1993), 2401–2404.DOI:10.1103/PhysRevLett.71.2401. [EPR99] J.-P . ECKMANN, C.-A. PILLET,ANDL. REY-BEL...

    work page doi:10.1017/cbo9780511628870 1999

  11. [11]

    return to equilibrium

    Lecture Notes in Math. Springer, Berlin, 2006, 183–220.DOI:10.1007/3-540-33966-3_5. [FGS02] J. FRÖHLICH, M. GRIESEMER,ANDB. SCHLEIN: Asymptotic completeness for Rayleigh scattering. Ann. Henri Poincaré3 (2002), 107–170.DOI:10.1007/s00023-002-8614-9. [FM04] J. FRÖHLICH ANDM. MERKLI: Another return of “return to equilibrium”. Commun. Math. Phys.251(2004), 2...

    work page doi:10.1007/3-540-33966-3_5 2006

  12. [12]

    2011.Rhetorical Style: The Uses of Language in Persuasion

    Lecture Notes of the Les Houches Summer School. Oxford University Press, Oxford, 2012, 213–410.DOI: 10.1093/acprof:oso/9780199652495.003.0004. [Jak+12b] V. JAKŠI ´C, Y. OGATA, C.-A. PILLET,ANDR. SEIRINGER: Quantum hypothesis testing and non-equilibrium statistical mechan- ics. Rev. Math. Phys.24(2012), 1230002, 67.DOI:10.1142/S0129055X12300026. [Joh+16] T...

    work page doi:10.1093/acprof:oso/9780199652495.003.0004 2012

  13. [13]

    Contemp. Math. Amer. Math. Soc., Providence, RI, 2003, 175–180.DOI:10.1090/c onm/327/05813. [JP07] ,On the strict positivity of entropy production. Adventures in mathematical physics. Vol

    work page doi:10.1090/c 2003

  14. [14]

    Contemp. Math. Amer. Math. Soc., Providence, RI, 2007, 153–163.DOI:10.1090/conm/447/08689. [JP96] , On a model for quantum friction. III. Ergodic properties of the spin-boson system. Commun. Math. Phys.178(1996), 627–651.DOI:10.1007/bf02108818. [JPR11] V. JAKŠI ´C, C.-A. PILLET,ANDL. REY-BELLET: Entropic fluctuations in statistical mechanics: I. Classical...

    work page doi:10.1090/conm/447/08689 2007

  15. [15]

    Springer, Berlin, 1999, xvi+442.DOI:10.1007/978-3-662-03752-2

    Grundlehren der mathematischen Wis- senschaften. Springer, Berlin, 1999, xvi+442.DOI:10.1007/978-3-662-03752-2. [Koo31] B. O. KOOPMAN: Hamiltonian systems and transformations in Hilbert spaces. Proc. Natl. Acad. Sci.17(1931), 315–318.DOI: 10.1073/pnas.17.5.315. [KR83] R. V. KADISON ANDJ. R. RINGROSE:Fundamentals of the theory of operator algebras. Vol. I. Vol

    work page doi:10.1007/978-3-662-03752-2 1999

  16. [16]

    Elementary theory

    Pure and Applied Mathe- matics. Elementary theory. Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York, 1983, xv+398. [KTH91] R. KUBO, M. TODA,ANDN. HASHITSUME:Statistical physics. II. Second edition. Vol

    work page 1983

  17. [17]

    A Quantum Fluctuation Theorem

    Springer Series in Solid-State Sciences. Nonequilibrium statistical mechanics. Springer, Berlin, 1991, xvi+279.DOI:10.1007/978-3-642-58244-8. [Kur00] J. KURCHAN: A quantum Fluctuation theorem. Preprint (2000).DOI:10.48550/arXiv.cond-mat/0007360. [Kur98] , Fluctuation theorem for stochastic dynamics. J. Phys. A: Math. Gen.31(1998), 3719–3729.DOI:10.1088/03...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/978-3-642-58244-8 1991

  18. [18]

    Springer, Berlin, 1991, 164–178.DOI:10.1007/3-540-53862-3_177

    Lecture Notes in Phys. Springer, Berlin, 1991, 164–178.DOI:10.1007/3-540-53862-3_177. [OP93] M. OHYA ANDD. PETZ:Quantum Entropy and its Use. Texts and Monographs in Physics. Springer, Berlin, 1993, viii+335.DOI: 10.1007/978-3-642-57997-4. [Pet+19] J. P . S. PETERSON ET AL.: Experimental characterization of a spin quantum heat engine. Phys. Rev. Lett.123(2...

    work page doi:10.1007/3-540-53862-3_177 1991

  19. [19]

    Springer, Berlin, 2006, 107–182.DOI:10.1007/3-540-33922-1_4

    Lecture Notes in Math. Springer, Berlin, 2006, 107–182.DOI:10.1007/3-540-33922-1_4. [PW78] W. PUSZ ANDS. L. WORONOWICZ: Passive states and KMS states for general quantum systems. Commun. Math. Phys.58 (1978), 273–290.DOI:10.1007/bf01614224. [RCP14] A. J. RONCAGLIA, F . CERISOLA,ANDJ. P . PAZ: Work measurement as a generalized quantum measurement. Phys. Re...

    work page doi:10.1007/3-540-33922-1_4 2006

  20. [20]

    Enrico Fermi

    Lecture Notes in Math. Springer, Berlin, 2006, 41–78.DOI:10.1007/3-540-33966-3_2. [Rob73] D. W. ROBINSON: Return to equilibrium. Commun. Math. Phys.31(1973), 171–189.DOI:10.1007/bf01646264. [Rob76] D. W. ROBINSON:C ∗-algebras and quantum statistical mechanics. C*-algebras and their applications to statistical mechanics and quantum field theory (Proc. Inte...

    work page doi:10.1007/3-540-33966-3_2 2006

  21. [21]

    REY-BELLET ANDL

    [RT02] L. REY-BELLET ANDL. E. THOMAS: Fluctuations of the entropy production in anharmonic chains. Ann. Henri Poincaré3 (2002), 483–502.DOI:10.1007/s00023-002-8625-6. [Rue00a] D. RUELLE: A remark on the equivalence of isokinetic and isoenergetic thermostats in the thermodynamic limit. J. Stat. Phys. 100(2000), 757–763.DOI:10.1023/A:1018679626556. [Rue00b]...

    work page doi:10.1007/s00023-002-8625-6 2002

  22. [22]

    [Rue02] , How should one define entropy production for nonequilibrium quantum spin systems? Rev. Math. Phys.14(2002). Dedicated to Professor Huzihiro Araki on the occasion of his 70th birthday, 701–707.DOI:10.1142/S0129055X02001296. 89 Derezi ´ nski, Jakši´ c, Pillet [Rue03] D. RUELLE: Extending the definition of entropy to nonequilibrium steady states. P...

    work page doi:10.1142/s0129055x02001296 2002

  23. [23]

    [Tak79] M

    Springer, Berlin-New York, 1970, ii+123. [Tak79] M. TAKESAKI:Theory of operator algebras. I. Springer, New York-Heidelberg, 1979, vii+415. [Tas00] H. TASAKI: Jarzynski Relations for Quantum Systems and Some Applications. Preprint (2000).DOI:10.48550/arXiv.cond- mat/0009244. [Thi02] W. THIRRING:Quantum Mathematical Physics. Second edition. Springer, Berlin...

    work page doi:10.48550/arxiv.cond- 1970