pith. sign in

arxiv: 2412.12489 · v3 · submitted 2024-12-17 · 🪐 quant-ph

A quantum entropy production operator

Pith reviewed 2026-05-23 07:23 UTC · model grok-4.3

classification 🪐 quant-ph
keywords entropy productionquantum thermodynamicsrelative entropyfluctuation theoremsBayesian retrodictionPetz transpose mapquantum channelsnoncommutative statistics
0
0 comments X

The pith

A Hermitian operator quantifies entropy production for quantum forward and reverse processes and equals the Belavkin-Staszewski relative entropy on average.

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

The paper introduces a Hermitian entropy-production operator built from the noncommutative log-ratio of a forward quantum object and its reverse counterpart. Its expectation value is guaranteed non-negative and coincides exactly with the Belavkin-Staszewski relative entropy. The same operator obeys both integral and detailed fluctuation theorems even when the underlying operators fail to commute. Specializing to a quantum channel and its Bayesian reverse (via the Petz transpose map) yields explicit formulas that reduce to the classical case when all quantities commute. The construction therefore supplies a fully quantum, measurement-ready notion of entropy production that does not rely on commutativity assumptions.

Core claim

We introduce a fully quantum notion of entropy production based on the noncommutative extension of the classical log-ratio between forward and reverse processes. Given a pair of quantum objects associated with the forward and reverse descriptions, we define a Hermitian entropy-production operator whose expectation value is non-negative and equal to the Belavkin--Staszewski relative entropy. The operator satisfies exact integral and detailed fluctuation theorems without requiring commutativity. When the forward process is a quantum channel and the reverse is defined by Bayesian retrodiction with the Petz transpose map, the relevant quantities admit explicit evaluation and recover the standard

What carries the argument

The Hermitian entropy-production operator constructed from the noncommutative log-ratio of forward and reverse quantum objects.

If this is right

  • The operator's expectation value is non-negative and exactly equals the Belavkin-Staszewski relative entropy.
  • The operator obeys an exact integral fluctuation theorem.
  • The operator obeys an exact detailed fluctuation theorem.
  • In the commutative limit the operator reproduces the classical entropy-production formula.
  • Explicit expressions for average entropy production become available once the forward channel and Petz retrodiction are specified.

Where Pith is reading between the lines

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

  • The operator could be measured directly in experiments on quantum devices by preparing the forward process and performing the appropriate two-outcome measurement.
  • The construction supplies a route to thermodynamic accounting in open quantum systems where standard commutativity assumptions fail.
  • It may be possible to derive further quantum thermodynamic relations, such as trade-off bounds between work and information, directly from the spectrum of this operator.
  • The same log-ratio construction might extend to other pairs of quantum objects beyond channels, such as instruments or positive-operator-valued measures.

Load-bearing premise

The reverse process is defined inferentially through Bayesian retrodiction relative to a prior state, using the Petz transpose map as the Bayesian inverse.

What would settle it

Measure the expectation value of the proposed operator on a quantum channel whose input and output operators do not commute and check whether it equals the independently computed Belavkin-Staszewski relative entropy between the same pair of states.

Figures

Figures reproduced from arXiv: 2412.12489 by Francesco Buscemi, Ge Bai, Valerio Scarani.

Figure 1
Figure 1. Figure 1: FIG. 1. Comparison of our two definitions of average entropy [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Average entropy production as defined in Eq. (23), [PITH_FULL_IMAGE:figures/full_fig_p009_3.png] view at source ↗
read the original abstract

We introduce a fully quantum notion of entropy production based on the noncommutative extension of the classical log-ratio between forward and reverse processes. Given a pair of quantum objects associated with the forward and reverse descriptions, we define a Hermitian entropy-production operator whose expectation value is non-negative and equal to the Belavkin--Staszewski relative entropy. The operator satisfies exact integral and detailed fluctuation theorems without requiring commutativity. We then specialize this construction to the case in which the forward process is described by a single quantum channel and the reverse process is defined inferentially, through Bayesian retrodiction relative to a prior state, with the Petz transpose map as the Bayesian inverse. In this setting, the relevant quantities can be evaluated explicitly, leading to a number of natural structural and physical properties. The framework recovers the classical formula in the commutative limit, yields explicit expressions for the average entropy production, and clarifies where the fully quantum case departs from standard thermodynamic expectations.

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

Summary. The paper introduces a Hermitian entropy-production operator whose expectation value is the Belavkin-Staszewski relative entropy between forward and reverse quantum processes. It claims this operator satisfies exact integral and detailed fluctuation theorems without commutativity requirements. The framework is then applied to quantum channels with the reverse process defined via Bayesian retrodiction using the Petz transpose map, allowing explicit evaluations and recovering the classical case in the commutative limit.

Significance. Should the construction and theorems be verified, this would represent a notable contribution to quantum thermodynamics by providing an operator whose spectrum encodes entropy production fluctuations in a fully quantum setting. The recovery of classical formulas and explicit expressions for average entropy production would strengthen its applicability.

major comments (2)
  1. [Abstract] The abstract states the operator properties and theorems but provides no derivations or explicit calculations, making it impossible to assess the soundness of the claims beyond consistency with known relative entropies.
  2. [Abstract, second paragraph] The operator is constructed so that its expectation equals the Belavkin-Staszewski quantity; the fluctuation theorems are asserted to follow from this definition, creating dependence on the chosen retrodiction map that requires explicit verification.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We appreciate the referee's thoughtful review of our manuscript. Below we provide point-by-point responses to the major comments.

read point-by-point responses
  1. Referee: [Abstract] The abstract states the operator properties and theorems but provides no derivations or explicit calculations, making it impossible to assess the soundness of the claims beyond consistency with known relative entropies.

    Authors: Abstracts are summaries and do not include derivations by design. The complete derivations of the entropy-production operator, its relation to the Belavkin-Staszewski relative entropy, and the proofs of the integral and detailed fluctuation theorems are provided in the main body of the manuscript, specifically in the sections defining the operator and proving the theorems. The claims go beyond consistency with known quantities as the operator is Hermitian and the theorems hold without commutativity assumptions, as shown explicitly. revision: no

  2. Referee: [Abstract, second paragraph] The operator is constructed so that its expectation equals the Belavkin-Staszewski quantity; the fluctuation theorems are asserted to follow from this definition, creating dependence on the chosen retrodiction map that requires explicit verification.

    Authors: The construction ensures the expectation value matches the Belavkin-Staszewski relative entropy by definition of the operator. The fluctuation theorems are derived directly from the spectral properties of this operator and the reversibility properties induced by the Petz transpose map. Explicit verification is given in the manuscript through general proofs that apply to the Petz retrodiction and by recovering the classical fluctuation theorems in the limit where all operators commute. We can add further explicit examples if needed. revision: no

Circularity Check

2 steps flagged

Entropy-production operator defined so its expectation equals Belavkin-Staszewski relative entropy by construction

specific steps
  1. self definitional [Abstract]
    "we define a Hermitian entropy-production operator whose expectation value is non-negative and equal to the Belavkin--Staszewski relative entropy. The operator satisfies exact integral and detailed fluctuation theorems without requiring commutativity."

    The operator is introduced with the explicit property that its expectation equals the Belavkin-Staszewski quantity and that it obeys the fluctuation theorems; both the equality and the theorems therefore hold by the definition itself rather than being derived from prior independent assumptions about the processes.

  2. self definitional [Abstract (second paragraph)]
    "We then specialize this construction to the case in which the forward process is described by a single quantum channel and the reverse process is defined inferentially, through Bayesian retrodiction relative to a prior state, with the Petz transpose map as the Bayesian inverse."

    The reverse process is chosen via the Petz map precisely so that the already-defined operator yields explicit expressions and recovers the classical case; the structural properties therefore follow from the choice of retrodiction map that was selected to make the construction work.

full rationale

The central construction defines a Hermitian operator whose expectation value is stipulated to equal the known Belavkin-Staszewski relative entropy; fluctuation theorems are then asserted to hold for this operator. This reduces the non-negativity and theorem claims to definitional properties rather than independent derivation from the forward/reverse processes. The specialization to the Petz map recovers classical results in the commutative limit but does not alter the by-construction character of the core equality.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The construction rests on the noncommutative extension of the log-ratio and on the Petz map being the Bayesian inverse; no free parameters or invented particles are mentioned.

axioms (1)
  • domain assumption The Petz transpose map is the Bayesian inverse for the reverse process relative to a prior state
    Invoked to define the reverse process in the specialized case (abstract, second paragraph)
invented entities (1)
  • Hermitian entropy-production operator no independent evidence
    purpose: Noncommutative quantum analogue of classical entropy production
    Newly defined object whose expectation equals Belavkin-Staszewski relative entropy

pith-pipeline@v0.9.0 · 5686 in / 1283 out tokens · 44606 ms · 2026-05-23T07:23:27.702794+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.

Forward citations

Cited by 2 Pith papers

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

  1. Quantifying Irreversibility via Bayesian Subjectivity for Classical & Quantum Linear Maps

    quant-ph 2025-03 unverdicted novelty 6.0

    Irreversibility of linear maps is quantified via Bayesian subjectivity, defined as the sensitivity of retrodiction to the reference prior.

  2. Work Statistics via Real-Time Effective Field Theory: Application to Work Extraction from Thermal Bath with Qubit Coupling

    quant-ph 2025-02 unverdicted novelty 5.0

    Real-time EFT expresses work distribution functions for a driven thermal bath plus qubit in terms of the quasiparticle spectral function, yielding second-order results that favor spin/topological qubits for work extraction.

Reference graph

Works this paper leans on

57 extracted references · 57 canonical work pages · cited by 2 Pith papers · 3 internal anchors

  1. [1]

    This operator ˜QF (ρ) is non-negative and unit-trace: it is thus a valid bipartite state

    for channel E, defined with a basis {|i⟩} of the in- put system. This operator ˜QF (ρ) is non-negative and unit-trace: it is thus a valid bipartite state. Moreover, it encodes the initial and final states, which can be recov- ered as TrA[ ˜QF (ρ)] = ρT and TrB[ ˜QF (ρ)] = E(ρ). Such a two-time object has appeared in studies of quantum con- ditional probab...

  2. [2]

    true” initial state of the sys- tem ρ. In particular, the “true

    Thus locality in time does not hold generically for the operator, although it does for its eigenvalues. If [( 1 ⊗ ρT ), CE] = 0 is satisfied (notably, for classical-quantum channels), then U = 1 and locality in time holds exactly. In the special case, common in the context of quantum thermodynamics, in which the prior state γ is uniform, 2 In case ρ is ra...

  3. [3]

    J. A. Pachter, Y.-J. Yang, and K. A. Dill, Entropy, irre- versibility and inference at the foundations of statistical physics, Nature Reviews Physics 6, 382 (2024). 10

  4. [4]

    G. T. Landi and M. Paternostro, Irreversible entropy pro- duction: From classical to quantum, Rev. Mod. Phys.93, 035008 (2021)

  5. [5]

    Strasberg and J

    P. Strasberg and J. Schindler, Comparative microscopic study of entropies and their production, SciPost Phys. 17, 143 (2024)

  6. [6]

    Kwon and M

    H. Kwon and M. S. Kim, Fluctuation theorems for a quantum channel, Phys. Rev. X 9, 031029 (2019)

  7. [7]

    Nakata, T

    Y. Nakata, T. Takayanagi, Y. Taki, K. Tamaoka, and Z. Wei, New holographic generalization of entanglement entropy, Phys. Rev. D 103, 026005 (2021)

  8. [8]

    Upadhyaya, W

    T. Upadhyaya, W. F. Braasch, G. T. Landi, and N. Y. Halpern, Non-abelian transport distinguishes three usu- ally equivalent notions of entropy production, PRX Quantum 5, 030355 (2024)

  9. [9]

    Esposito, U

    M. Esposito, U. Harbola, and S. Mukamel, Nonequilib- rium fluctuations, fluctuation theorems, and counting statistics in quantum systems, Rev. Mod. Phys. 81, 1665 (2009)

  10. [10]

    Jarzynski, Equalities and inequalities: Irreversibility and the second law of thermodynamics at the nanoscale, Annual Review of Condensed Matter Physics 2, 329 (2011)

    C. Jarzynski, Equalities and inequalities: Irreversibility and the second law of thermodynamics at the nanoscale, Annual Review of Condensed Matter Physics 2, 329 (2011)

  11. [11]

    Seifert, Stochastic thermodynamics, fluctuation the- orems and molecular machines, Reports on Progress in Physics 75, 126001 (2012)

    U. Seifert, Stochastic thermodynamics, fluctuation the- orems and molecular machines, Reports on Progress in Physics 75, 126001 (2012)

  12. [12]

    Auff` eves, A short story of quantum and information thermodynamics, SciPost Phys

    A. Auff` eves, A short story of quantum and information thermodynamics, SciPost Phys. Lect. Notes , 27 (2021)

  13. [13]

    Buscemi and V

    F. Buscemi and V. Scarani, Fluctuation theorems from bayesian retrodiction, Phys. Rev. E 103, 052111 (2021)

  14. [14]

    C. C. Aw, F. Buscemi, and V. Scarani, Fluctua- tion theorems with retrodiction rather than reverse processes, AVS Quantum Science 3, 045601 (2021), https://doi.org/10.1116/5.0060893

  15. [15]

    C. C. Aw, L. H. Zaw, M. Balanz´ o-Juand´ o, and V. Scarani, Role of dilations in reversing physical pro- cesses: Tabletop reversibility and generalized thermal op- erations, PRX Quantum 5, 010332 (2024)

  16. [16]

    G. E. Crooks, Nonequilibrium Measurements of Free En- ergy Differences for Microscopically Reversible Marko- vian Systems, Journal of Statistical Physics 90, 1481 (1998)

  17. [17]

    Jarzynski, Nonequilibrium equality for free energy dif- ferences, Phys

    C. Jarzynski, Nonequilibrium equality for free energy dif- ferences, Phys. Rev. Lett. 78, 2690 (1997)

  18. [18]

    Seifert, Entropy production along a stochastic tra- jectory and an integral fluctuation theorem, Phys

    U. Seifert, Entropy production along a stochastic tra- jectory and an integral fluctuation theorem, Phys. Rev. Lett. 95, 040602 (2005)

  19. [19]

    Kullback and R

    S. Kullback and R. A. Leibler, On information and suffi- ciency, Ann. Math. Statist. 22, 79 (1951)

  20. [20]

    Kawai, J

    R. Kawai, J. M. R. Parrondo, and C. V. den Broeck, Dis- sipation: The phase-space perspective, Phys. Rev. Lett. 98, 080602 (2007)

  21. [21]

    Kolchinsky and D

    A. Kolchinsky and D. H. Wolpert, Dependence of inte- grated, instantaneous, and fluctuating entropy produc- tion on the initial state in quantum and classical pro- cesses, Phys. Rev. E 104, 054107 (2021)

  22. [22]

    Esposito and C

    M. Esposito and C. Van den Broeck, Second law and lan- dauer principle far from equilibrium, EPL (Europhysics Letters) 95, 40004 (2011)

  23. [23]

    Umegaki, On information in operator algebras, Proc

    H. Umegaki, On information in operator algebras, Proc. Japan Acad. 37, 459 (1961)

  24. [24]

    Umegaki, Conditional expectation in an operator alge- bra, iv (entropy and information), inKodai Mathematical Seminar Reports, Vol

    H. Umegaki, Conditional expectation in an operator alge- bra, iv (entropy and information), inKodai Mathematical Seminar Reports, Vol. 14 (Department of Mathematics, Tokyo Institute of Technology, 1962) pp. 59–85

  25. [25]

    Campisi, P

    M. Campisi, P. H¨ anggi, and P. Talkner, Colloquium: Quantum fluctuation relations: Foundations and appli- cations, Rev. Mod. Phys. 83, 771 (2011)

  26. [26]

    Jarzynski Relations for Quantum Systems and Some Applications

    H. Tasaki, Jarzynski relations for quantum systems and some applications (2000), arXiv:cond-mat/0009244 [cond-mat.stat-mech]

  27. [27]

    ˚Aberg, Fully quantum fluctuation theorems, Phys

    J. ˚Aberg, Fully quantum fluctuation theorems, Phys. Rev. X 8, 011019 (2018)

  28. [28]

    M. S. Leifer, Conditional density operators and the sub- jectivity of quantum operations, in AIP Conference Pro- ceedings, Vol. 889 (American Institute of Physics, 2007) pp. 172–186

  29. [29]

    M. S. Leifer and R. W. Spekkens, Towards a formula- tion of quantum theory as a causally neutral theory of bayesian inference, Physical Review A88, 052130 (2013)

  30. [30]

    Horsman, C

    D. Horsman, C. Heunen, M. F. Pusey, J. Barrett, and R. W. Spekkens, Can a quantum state over time resem- ble a quantum state at a single time?, Proceedings of the Royal Society A: Mathematical, Physical and Engineer- ing Sciences 473, 20170395 (2017)

  31. [31]

    Fullwood and A

    J. Fullwood and A. J. Parzygnat, On quantum states over time, Proceedings of the Royal Society A 478, 20220104 (2022)

  32. [32]

    A. J. Parzygnat and J. Fullwood, From time-reversal symmetry to quantum bayes’ rules, PRX Quantum 4, 020334 (2023)

  33. [33]

    Choi, Completely positive linear maps on com- plex matrices, Linear algebra and its applications10, 285 (1975)

    M.-D. Choi, Completely positive linear maps on com- plex matrices, Linear algebra and its applications10, 285 (1975)

  34. [34]

    M. S. Leifer, Quantum dynamics as an analog of condi- tional probability, Physical Review A—Atomic, Molecu- lar, and Optical Physics 74, 042310 (2006)

  35. [35]

    Chru´ sci´ nski and T

    D. Chru´ sci´ nski and T. Matsuoka, Quantum conditional probability and measurement induced disturbance of a quantum channel, Reports on Mathematical Physics 86, 115 (2020)

  36. [36]

    G. Bai, D. ˇSafr´ anek, J. Schindler, F. Buscemi, and V. Scarani, Observational entropy with general quantum priors, Quantum 8, 1524 (2024)

  37. [37]

    Petz, Sufficient subalgebras and the relative entropy of states of a von neumann algebra, Comm

    D. Petz, Sufficient subalgebras and the relative entropy of states of a von neumann algebra, Comm. Math. Phys. 105, 123 (1986)

  38. [38]

    Petz, Sufficiency of channels over von Neumann al- gebras, The Quarterly Journal of Mathematics 39, 97 (1988)

    D. Petz, Sufficiency of channels over von Neumann al- gebras, The Quarterly Journal of Mathematics 39, 97 (1988)

  39. [39]

    G. Bai, F. Buscemi, and V. Scarani, Quantum Bayes’ rule and Petz transpose map from the minimal change principle (2024), arXiv:2410.00319 [quant-ph]

  40. [40]

    Buscemi, J

    F. Buscemi, J. Schindler, and D. ˇSafr´ anek, Observa- tional entropy, coarse-grained states, and the petz recov- ery map: information-theoretic properties and bounds, New Journal of Physics 25, 053002 (2023)

  41. [41]

    A. J. Parzygnat and F. Buscemi, Axioms for retrodiction: achieving time-reversal symmetry with a prior, Quantum 7, 1013 (2023)

  42. [42]

    V. P. Belavkin and P. Staszewski, C ∗-algebraic gener- alization of relative entropy and entropy, in Annales de l’IHP Physique th´ eorique, Vol. 37 (1982) pp. 51–58

  43. [43]

    Matsumoto, A new quantum version of f-divergence, in Nagoya Winter Workshop: Reality and Measurement in Algebraic Quantum Theory (Springer, 2015) pp

    K. Matsumoto, A new quantum version of f-divergence, in Nagoya Winter Workshop: Reality and Measurement in Algebraic Quantum Theory (Springer, 2015) pp. 229– 273. 11

  44. [44]

    Tomamichel, Quantum information processing with finite resources: mathematical foundations , Vol

    M. Tomamichel, Quantum information processing with finite resources: mathematical foundations , Vol. 5 (Springer, 2015)

  45. [45]

    Khatri and M

    S. Khatri and M. M. Wilde, Principles of quantum communication theory: A modern approach (2020), arXiv:2011.04672 [quant-ph]

  46. [46]

    A. E. Allahverdyan and T. M. Nieuwenhuizen, Fluctu- ations of work from quantum subensembles: The case against quantum work-fluctuation theorems, Phys. Rev. E 71, 066102 (2005)

  47. [47]

    Rubino, K

    G. Rubino, K. V. Hovhannisyan, and P. Skrzypczyk, Re- vising the quantum work fluctuation framework to en- compass energy conservation (2024), arXiv:2406.18632 [quant-ph]

  48. [48]

    K. M. R. Audenaert and J. Eisert, Continuity bounds on the quantum relative entropy, Journal of Mathemat- ical Physics 46, 102104 (2005), arXiv:quant-ph/0503218 [quant-ph]

  49. [49]

    Schindler and A

    J. Schindler and A. Winter, Continuity bounds on obser- vational entropy and measured relative entropies, arXiv e-prints , arXiv:2302.00400 (2023), arXiv:2302.00400 [quant-ph]

  50. [50]

    Bluhm, ´A

    A. Bluhm, ´A. Capel, P. Gondolf, and A. P´ erez- Hern´ andez, General continuity bounds for quantum rel- ative entropies, arXiv preprint arXiv:2305.10140 (2023)

  51. [51]

    Scarani, M

    V. Scarani, M. Ziman, P. ˇStelmachoviˇ c, N. Gisin, and V. Buˇ zek, Thermalizing quantum machines: Dissipation and entanglement, Phys. Rev. Lett. 88, 097905 (2002)

  52. [52]

    Ziman, P

    M. Ziman, P. Stelmachoviˇ c, V. Buˇ zek, M. Hillery, V. Scarani, and N. Gisin, Diluting quantum information: An analysis of information transfer in system-reservoir interactions, Phys. Rev. A 65, 042105 (2002)

  53. [53]

    W. F. Stinespring, Positive functions on c*-algebras, Pro- ceedings of the American Mathematical Society 6, 211 (1955)

  54. [54]

    Devetak and P

    I. Devetak and P. W. Shor, The capacity of a quantum channel for simultaneous transmission of classical and quantum information, Communications in Mathematical Physics 256, 287 (2005)

  55. [55]

    C. King, K. Matsumoto, M. Nathanson, and M. B. Ruskai, Properties of conjugate channels with applica- tions to additivity and multiplicativity, arXiv preprint quant-ph/0509126 (2005)

  56. [56]

    A. S. Holevo, Complementary channels and the additivity problem, Theory of Probability & Its Applications51, 92 (2007)

  57. [57]

    E. A. Carlen and E. H. Lieb, Some trace inequalities for exponential and logarithmic functions, Bulletin of math- ematical sciences 9, 1950008 (2019). Appendix A: Physical interpretation of QF and Qγ R By Stinespring’s dilation theorem [51], any channel can be written as an isometric channel from A to a composite system BE consisting of the output B and a...