Pith. sign in

REVIEW 4 major objections 3 minor 73 references

The two-sided Bogoliubov inequality in von Neumann algebras conceptualizes the free energy--quantum correlations link

T0 review · 4 major / 3 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper proves a two-sided Bogoliubov inequality for the relative free energy of faithful KMS states on von Neumann algebras, bounding $F(\omega_U,\omega)$ between the perturbed and unperturbed expectations of the interaction operator…

desk verdict The math is solid and the unbounded-perturbation lower bound plus variational principles are genuinely new; the entanglement interpretation in the abstract is an overclaim that should be tempered. read the letter →

arxiv 2608.07246 v1 pith:TVPE6QZR submitted 2026-08-07 math-ph hep-thmath.MPmath.OAquant-ph

Benedikt M. Reible , Albert Much , Rainer Verch , Christof Schütte , Luigi Delle Site This is my paper · ORCID
classification math-phhep-thmath.MPmath.OAquant-ph MSC 46L1046L5582B1081T05
keywords relativeentropyKMSstatesvonNeumannalgebrasunboundedperturbationtheorytwo-sidedBogoliubovinequalityfreeenergyquantumentanglementAraki-Uhlmann
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper aims to move the two-sided Bogoliubov inequality—a finite-system bound on the free-energy cost of splitting an interacting system into independent parts—into the setting of von Neumann algebras, the natural observable algebra for infinitely many degrees of freedom. Its main theorem states that for a faithful KMS state $\omega$ (the algebraic equilibrium state at inverse temperature $\beta$) and a self-adjoint perturbation $U$ affiliated with the algebra, the relative free energy $F(\omega_U,\omega)$ between the perturbed and unperturbed states satisfies $\omega_U(U) \leq F(\omega_U,\omega) \leq \omega(U)$. Since $F$ is also shown to equal $-\beta^{-1} \log \|\Omega_{-\beta U}\|^2$, the two sides are computable from expectation values of the interaction alone, bypassing partition functions and entropy. The authors present this as a physically well-founded thermodynamic criterion for quantifying entanglement in infinite-dimensional systems, with a bosonic scalar-field example and variational refinements that reduce to the original finite-dimensional inequality when the algebra is all bounded operators on a Hilbert space.

What carries the argument

The engine of the proof is the Araki–Uhlmann relative entropy $S_M(\psi,\varphi)$, built from the relative modular operator $\Delta_{\Psi,\Phi}$ in the standard-form representation of a von Neumann algebra, together with the unbounded perturbation theory of KMS states. For a separating vector $\Omega$, the modular operator is $\Delta_\Omega = e^{-\beta L}$ with $L$ the standard Liouvillian, and the perturbed vector $\Omega_{-\beta U}=e^{-\beta(L+U)/2}\Omega$ is obtained as a weak limit of bounded approximations $e^{-\beta(L+U_n)/2}\Omega$. The technical core is an extension of the bounded-perturbation relative-modular identities to unbounded $U$: $\log\Delta_{\Omega,\Omega_{-\beta U}}=\log\Delta_\Omega+\beta J U J$ (with $J$ the modular conjugation), and its companion $\log\Delta_{\Omega_{-\beta U},\Omega}=\log\Delta_{\Omega_{-\beta U}}+\beta U$. Under assumption (A4), $\beta\omega_U(U_+)<\infty$, Lemma 5.1 converts the second identity into $S_M(\omega_U,\omega)=-\beta\omega_U(U)-\log\|\Omega_{-\beta U}\|^2$, so $F(\omega_U,\omega)=-\beta^{-1}\log\|\Omega_{-\beta U}\|^2$; nonnegativity of relative entropy in the two orders yields both sides of the sandwich.

What would settle it

Take a translation-invariant harmonic-chain or free Bose-field model with a faithful KMS state, and choose as $U$ a non-inner, unbounded, long-range coupling between two half-systems for which $\beta\omega_U(U_+)=+\infty$ while assumptions (A1)–(A3) still hold; compute $S_M(\omega_U,\omega)$ directly from the relative modular operator and compare with the two candidate formulas. If $S_M(\omega_U,\omega) \neq -\beta\omega_U(U)-\log\|\Omega_{-\beta U}\|^2$, or if $\omega_U(U) > F(\omega_U,\omega)$, then Lemma 5.1 and the lower bound fail outside (A4). A finite-truncation numerical extrapolation of the same setup can already indicate whether the inequality is violated in the limit.

Watch

Extended reading notes

Core claim

The paper's central discovery is Theorem 5.4. In a standard-form von Neumann algebra $M$ with a $W^*$-dynamics $\tau$ and a faithful $(\tau,\beta)$-KMS state $\omega$ at inverse temperature $\beta>0$, take any self-adjoint operator $U$ affiliated with $M$ that satisfies assumptions (A1)–(A4) involving the standard Liouvillian $L$ and the separating vector $\Omega$. Define the relative free energy $F(\omega_U,\omega) = \omega_U(U) + \beta^{-1} S_M(\omega_U,\omega)$, where $S_M$ is the Araki–Uhlmann relative entropy and $\omega_U$ is the perturbed state constructed from $\Omega_{-\beta U}=e^{-\beta(L+U)/2}\Omega$. Then $\omega_U(U) \leq F(\omega_U,\omega) \leq \omega(U)$. The proof uses Lemma 5.1, which identifies $S_M(\omega_U,\omega) = -\beta\omega_U(U) - \log\|\Omega_{-\beta U}\|^2$, so $F = -\beta^{-1}\log\|\Omega_{-\beta U}\|^2$, and the bounds follow from nonnegativity of relative entropy in the two orders. Theorem 5.15 adds variational equalities: the infimum over normal states $\psi$ of $\psi(U)+\beta^{-1}S_M(\psi,\omega)$ and the supremum over affiliated operators $V$ of $\omega_U(U-V)-\beta^{-1}\log\|\Omega_{-\beta V}\|^2$ are both exactly $F(\omega_U,\omega)$. When $M=\mathcal{B}(H)$, Proposition 5.7 shows the theorem reduces to the original quantum-mechanical two-sided Bogoliubov inequality; a free scalar-field example with an inner Weyl perturbation gives a case where $F=0$ and the inequality becomes the positivity of relative entropy.

Load-bearing premise

The theorem holds only if the positive part of the interaction energy has finite expectation in the perturbed state (assumption (A4)); separately, calling the resulting free energy a measure of entanglement is a physical identification argued by analogy, not proven.

Editorial extensions

If this is right

  • For any faithful KMS state on a von Neumann algebra, the free energy of separation can be computed from two expectation values, $\omega(U)$ and $\omega_U(U)$, with no partition-function or entropy evaluation.
  • The lower bound in Theorem 5.4 is a genuinely new estimate, so the theorem gives a two-sided thermodynamic handle on correlations in infinite-dimensional systems, not merely a re-derived Peierls–Bogoliubov inequality.
  • The variational equalities of Theorem 5.15 allow the bounds to be optimized over states and perturbations, which the paper connects to materials design with prescribed quantum characteristics.
  • In the free scalar-field application, an inner Weyl perturbation yields a unitarily equivalent perturbed state, $F=0$, and the inequality collapses to positivity of relative entropy; in geometric settings the same relative-entropy gap links to horizon entropy–area relations.
  • When $M=\mathcal{B}(H)$, the theorem reduces to the original quantum-mechanical two-sided Bogoliubov inequality, so the finite-dimensional result is contained as a special case.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Because the gap $\omega(U)-\omega_U(U)$ vanishes exactly for inner Weyl perturbations in the scalar-field example, it is tempting to read this gap as an operational measure of non-inner correlation; the paper suggests thermodynamic relevance but does not propose a measurement protocol, so that step is ours.
  • The Donsker–Varadhan form of the variational principle is the mathematical core of quantum hypothesis testing, so the relative free energy plausibly admits an interpretation as the optimal-error asymmetry of distinguishing $\omega$ from $\omega_U$; the paper does not draw this information-theoretic link.
  • A testable extension is to compute both sides of the inequality numerically in truncated harmonic-chain or Fock-space models with non-inner, unbounded couplings; this could reveal how tight the bounds are and how quickly the free-energy gap converges as a function of coupling strength.
  • The same perturbation framework likely yields two-sided bounds for other relative entropies, such as Rényi-type divergences, rather than only the Araki–Uhlmann entropy; that would give a one-parameter family of thermodynamic correlation measures. This is our extrapolation, not a result in the paper.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 3 minor

Summary. The paper generalizes the quantum-mechanical two-sided Bogoliubov inequality to arbitrary von Neumann algebras. The main theorem (Theorem 5.4) states that for a faithful (τ,β)-KMS state ω with vector representative Ω and a perturbation U in the class S₂(L,Ω), the relative free energy F(ω_U,ω)=ω_U(U)+β^{-1}S_M(ω_U,ω) satisfies ω_U(U)≤F(ω_U,ω)≤ω(U). The proof combines the Dereziński–Jakšić–Pillet unbounded perturbation theory with a new identity (Lemma 5.1) expressing S_M(ω_U,ω) as -βω_U(U)-log‖Ω_{-βU}‖². The paper also proves variational characterizations of F (Theorem 5.15), extends Petz-type variational principles to unbounded perturbations, discusses a bosonic scalar-field example with an inner Weyl perturbation (Section 5.3), and shows a reduction to the finite-dimensional case under additional hypotheses (Proposition 5.7). The mathematical core is presented in detail, in particular the extensions of Araki's bounded-perturbation formulas and the strong-resolvent convergence arguments.

Significance. If the main theorem is correct, it is a useful rigorous result: it provides computable upper and lower bounds for a relative free energy in infinite-dimensional systems and extends known variational principles to unbounded perturbations. The paper's strengths are that the proofs are detailed, the reduction of the main inequality to non-negativity of relative entropy is transparent, and several auxiliary results (e.g., Lemma 5.1 and Lemma 4.17) are original extensions of the Dereziński–Jakšić–Pillet framework. However, the advertised physical conclusion that this yields a well-founded thermodynamic criterion for entanglement quantification is not derived: no standard entanglement-measure property is established for F(ω_U,ω), and the only application considered is a unitary (inner) perturbation with identically vanishing free energy. The technical content is therefore plausible and publishable as a mathematical contribution, but the physical claim, as stated in the title and abstract, is not supported by the presented results.

major comments (4)
  1. [Abstract and §1.1, §6] The paper claims that the two-sided Bogoliubov inequality yields 'a physically well-founded thermodynamic criterion for the quantification of entanglement'. No property of an entanglement measure is proved: F(ω_U,ω) is not shown to vanish on separable states, to be monotone under local operations and classical communication, or to be faithful. As a free-energy difference induced by an arbitrary interface operator U, it weights all correlations generated by U, classical and quantum alike. The conclusion in §6 itself notes that the physical interpretation 'needs to be handled with some care' in relativistic QFT. The authors should either prove at least one standard entanglement-measure property for F or rephrase the abstract, title, and introduction as proposing a thermodynamic estimate of correlations rather than a criterion for entanglement.
  2. [Section 5.3] The bosonic scalar-field example cannot demonstrate that F tracks entanglement. The perturbation is inner: by Lemma 5.8, L+U = W L W* with W∈M, so the perturbed state is unitarily equivalent to ω, and Lemma 5.9 gives F(ω_U,ω)=0 identically. The two-sided inequality then collapses to the condition G_c(f,Lf)≤0, i.e., to positivity of the relative entropy. In addition, the example does not verify that U belongs to S₂(L,Ω): assumptions (A2) and (A4) are never checked. Please either verify the required assumptions and analyze a genuinely non-inner perturbation, or present the example only as a consistency check of the bounds.
  3. [Proposition 5.7] The claimed reduction to the quantum-mechanical two-sided Bogoliubov inequality is only conditional. The proposition assumes, beyond the hypotheses of Theorem 2.1, the Hilbert-Schmidt condition ‖e^{-βV/2}e^{-βH0/2}‖_HS<∞ (which, as noted in footnote 3, is automatic only for lower semi-bounded V) and treats (A4) as a standing hypothesis. Thus Eq. (27) is shown to imply Eq. (6) in a restricted subclass of finite-dimensional systems, not in the full generality of Theorem 2.1. The wording 'reduces to' should be qualified to reflect these extra assumptions, or the extra assumptions should be derived from the hypotheses of Theorem 2.1.
  4. [Lemma 5.1 and Theorem 5.4] The lower bound ω_U(U)≤F(ω_U,ω) depends essentially on assumption (A4), βω_U(U_+)<∞. This assumption is not implied by (A1)–(A3) and is not mentioned in the informal statement of the theorem in §1.2. Moreover, in the proof of Lemma 5.1 the assertion that W:=V+β^{-1}log‖Ω_{-βV}‖² Id belongs to S₂(L,Ω) is stated without verification. The statement is plausible, but it should be checked explicitly because the proof of the lemma relies on Corollary 4.18 for W. Please state the domain of validity of Theorem 5.4 precisely whenever the theorem is advertised informally, and justify the S₂ membership in Lemma 5.1.
minor comments (3)
  1. [Lemma 4.9] The modular conjugation J is anti-unitary, not self-adjoint in the usual operator-theoretic sense; the phrase 'J is a bounded, self-adjoint, bijective operator' should be replaced by 'anti-unitary involution' or 'satisfying J²=Id and J*=J as an anti-linear operator'.
  2. [Section 5.1] The discussion after Assumption (A3) uses the inequality x> -e^{-x} to show βω(V_-)>-∞. The text states 'βω(V_-)>-∞', which is correct, but the phrase immediately before 'βω(V)_>-∞' should be 'βω(V)>-∞' (the subscript V_- appears to be a typographical artifact). Clarify that V=V_++V_- and that (A3) only controls the negative part of the expectation.
  3. [Section 4.4, Lemma 4.12(c)] The notation -L_{V_n}+V_n→-L_V+V in strong resolvent sense is fine, but it would help the reader if the proof explicitly stated that the domain equality dom(L-V)=J(dom(L)∩dom(V)) follows from the identities dom(L)=J dom(L) and dom(JVJ)=J dom(V), since this is used in the application of Proposition B.1.

Circularity Check

1 steps flagged · score 2.0 of 10

No circular derivation: Theorem 5.4 follows from non-negativity of relative entropy and Lemma 5.1; only a minor, non-load-bearing self-citation to [55] is present.

  1. other [Section 2.2 (Theorem 2.1) and Section 1.2 (informal Theorem)]
    "The two-sided Bogoliubov inequality [55, Thm. 4.1] provides upper and lower bounds for ∆F in terms of expectation values of the operator U. ... To make the connection of this theorem to our previous work [55] explicit..."

    This is a self-citation to the authors' prior finite-dimensional inequality. It is not load-bearing for the main von Neumann theorem: Theorem 5.4 is proved from Lemma 5.1, Corollary 4.18, and non-negativity of the Araki-Uhlmann relative entropy, with unbounded perturbation theory imported from [22], not from [55]. The self-citation only frames the result as a generalization, so it does not make the derivation circular or force the conclusion.

full rationale

The central derivation is self-contained. Definition 5.2 sets F(ω_U,ω)=ω_U(U)+β^{-1}S_M(ω_U,ω); Lemma 5.1, proved from Corollary 4.18 and a shift-of-perturbation argument, gives S_M(ω_U,ω)=−βω_U(U)−log||Ω_{−βU}||^2, so F=−β^{-1}log||Ω_{−βU}||^2. The lower bound ω_U(U)≤F is exactly non-negativity of S_M(ω_U,ω), and the upper bound F≤ω(U) follows from Theorem 4.16(d) plus non-negativity of S_M(ω,ω_U). No parameter is fitted, and no computed quantity is renamed as a prediction. The variational statements in Theorem 5.15 are derived from the Gibbs and Donsker-Varadhan principles of Petz, extended to unbounded perturbations via Lemma 4.19; they are not assumed. The only self-citation of note is [55], which supplies the finite-dimensional analogue and motivation; the proof of Theorem 5.4 does not invoke it. The further claim that F is a thermodynamic criterion for entanglement is a conceptual interpretation, not a derived equation, and the paper itself cautions that the physical interpretation 'needs to be handled with some care' in relativistic QFT; that is a correctness or interpretation concern, not a circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no free parameters or invented entities. The central claim rests on standard modular theory, KMS theory, and the DJP perturbation framework, plus a new technical assumption (A4).

assumptions (5)
  • standard math Standard form representation and modular theory (Tomita-Takesaki, Araki-Uhlmann relative entropy)
    Invoked throughout Sections 3 and 4 as background, e.g., Theorem 3.1 and Eq. (13).
  • standard math KMS states and W*-dynamical systems
    The framework of Section 4.1, used to define Liouvillians and KMS states.
  • domain assumption Unbounded perturbation theory of Dereziński-Jakšić-Pillet: assumptions (A1)-(A3) on L, V, Omega
    Adopted from Ref. [22] to construct perturbed vectors and states; see Assumption 4.7 and (A1)-(A3) in Section 4.3.
  • ad hoc to paper Additional assumption (A4): beta omega_V(V_+) < infinity
    New in this paper, Section 5.1; needed for Lemma 5.1 and hence for the lower bound in Theorem 5.4.
  • domain assumption In Prop 5.7: V relatively H0-bounded with ||e^{-beta V/2} e^{-beta H0/2}||_HS < infinity and E_rho[V] < infinity
    Extra hypotheses used to reduce the von Neumann inequality to the known quantum-mechanical case; see Prop 5.7.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The two-sided Bogoliubov inequality in von Neumann algebras conceptualizes the free energy--quantum correlations link." pith.science (2026). https://pith.science/paper/TVPE6QZR

@misc{pith2026260807246,
  author       = {Pith},
  title        = {Pith review of: The two-sided Bogoliubov inequality in von Neumann algebras conceptualizes the free energy--quantum correlations link},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TVPE6QZR}},
  note         = {Machine review of arXiv:2608.07246}
}
read the original abstract

The quantum-mechanical two-sided Bogoliubov inequality provides upper and lower bounds for the free energy required to separate a system of interacting particles into independent subsystems. The bounds can be calculated straightforwardly from the ensemble average of the interface energy, bypassing the direct evaluation of the free energy. In this work, we generalize the two-sided Bogoliubov inequality to arbitrary von Neumann algebras by employing the Araki-Uhlmann relative entropy and the framework of unbounded perturbation theory of KMS states. Furthermore, we obtain variational expressions for the relative free energy that extend existing bounded-perturbation principles to the unbounded setting. Crucially, these mathematical developments yield a physically well-founded thermodynamic criterion for the quantification of entanglement in infinite-dimensional systems.

Figures

Figures reproduced from arXiv: 2608.07246 by the authors.

Figure 1
Figure 1. Illustration of the division of a large thermodynamic quantum system into two non-interacting subsystems. Figure adapted from Ref. [56]. H = − 1 2 X N i=1 ∆xi + X N i=1 X N j>i 1 ∥xi − xj∥ − X M i=1 X N j=1 Zi ∥Xi − xj∥ . Suppose that the system is divided into two smaller subsystems Σ1, Σ2 ⊆ R 3 such that Σ = Σ1 ⊔ Σ2; this situation is illustrated in [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

73 extracted references · 72 canonical work pages

  1. [1]

    Amico, R

    L. Amico, R. Fazio, A. Osterloh, and V. Vedral. Entanglement in many-body systems.Rev. Mod. Phys., 80(2):517–576, 2008. THE TWO-SIDED BOGOLIUBOV INEQUALITY IN VON NEUMANN ALGEBRAS 37

    work page 2008

  2. [2]

    H. Araki. Expansional in Banach algebras.Ann. Sci. de l’École Norm. Sup., 4(6):67–84, 1973

    work page 1973

  3. [3]

    H. Araki. Golden-Thompson and Peierls-Bogolubov inequalities for a general von Neumann algebra. Commun. Math. Phys., 34:167–178, 1973

    work page 1973

  4. [4]

    H. Araki. Relative Hamiltonian for faithful normal states of a von Neumann algebra.Publ. Res. Inst. Math. Sci., 9(1):165–209, 1973

    work page 1973

  5. [5]

    H. Araki. Some properties of modular conjugation operator of von Neumann algebras and a non- commutative Radon-Nikodym theorem with a chain rule.Pacific J. Math., 50(2):309–354, 1974

    work page 1974

  6. [6]

    H. Araki. Relative entropy of states of von Neumann algebras.Publ. Res. Inst. Math. Sci., 11(3):809–833, 1976

    work page 1976

  7. [7]

    H. Araki. Relative entropy of states of von Neumann algebras II.Publ. Res. Inst. Math. Sci., 13(1):173–192, 1977

    work page 1977

  8. [8]

    S. Attal. Elements of operator algebras and modular theory. In S. Attal, A. Joye, and C.-A. Pillet, editors, Open Quantum Systems I. The Hamiltonian Approach, Lecture Notes in Mathematics 1880, chapter 3, pages 69–105. Springer, Berlin, 2006

    work page 2006

Show all 73 references
  1. [9]

    Bakshi, A

    A. Bakshi, A. Liu, A. Moitra, and E. Tang. High-temperature Gibbs states are unentangled and efficiently preparable. In2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), pages 1027–1036, Chicago, IL, USA, 2024. arXiv:2403.16850 [quant-ph]

    2024 arXiv

  2. [10]

    Blanchard and E

    P. Blanchard and E. Brüning.Mathematical Methods in Physics. Progress in Mathematical Physics 69. Birkhäuser, Cham, second edition, 2015

    2015

  3. [11]

    Bratteli and D

    O. Bratteli and D. W. Robinson.Operator Algebras and Quantum Statistical Mechanics I.C∗- and W∗- Algebras, Symmetry Groups. Decomposition of States. Theoretical and Mathematical Physics. Springer, Berlin, 1979

    1979

  4. [12]

    Bratteli and D

    O. Bratteli and D. W. Robinson.Operator Algebras and Quantum Statistical Mechanics II. Equilibrium States, Models in Quantum Statistical Mechanics. Theoretical and Mathematical Physics. Springer, Berlin, 1981

    1981

  5. [13]

    Breitenecker and H.-R

    M. Breitenecker and H.-R. Grümm. Note on trace inequalities.Commun. Math. Phys., 26:276–279, 1972

    1972

  6. [14]

    Casini, S

    H. Casini, S. Grillo, and D. Pontello. Relative entropy for coherent states from Araki formula.Phys. Rev. D, 99(12):125020, 2019

    2019

  7. [15]

    M. C. Cole, M. T. Pelly, C. V. Topping, T. Reindl, U. Waizmann, J. Weis, and A. W. Rost. Coulomb blockade thermometry based nanocalorimetry.Rev. Sci. Instrum., 96(7):073903, 2025

    2025

  8. [16]

    A. Connes. Caractérisation des espaces vectoriels ordonnés sous-jacents aux algèbres de von Neumann. Ann. Inst. Fourier, 24(4):121–155, 1974

    1974

  9. [17]

    D’Angelo, M

    E. D’Angelo, M. B. Fröb, S. Galanda, P. Meda, A. Much, and K. Papadopoulos. Entropy-area law and temperature of de Sitter horizons from modular theory.Prog. Theor. Exp. Phys., 2024(2):021A01, 2024

    2024

  10. [18]

    C. R. de Oliveira.Intermediate Spectral Theory and Quantum Dynamics. Progress in Mathematical Physics

  11. [19]

    Delle Site

    L. Delle Site. Shannon entropy and many-electron correlations: Theoretical concepts, numerical results, and Collins conjecture.Int. J. Quantum Chem., 115:1396–1404, 2015

    2015

  12. [20]

    L.DelleSite, G.Ciccotti, andC.Hartmann.Partitioningamacroscopicsystemintoindependentsubsystems. J. Stat. Mech., 2017(8):083201, 2017

    2017

  13. [21]

    Delle Site and C

    L. Delle Site and C. Hartmann. Scaling law for the size dependence of a finite-range quantum gas.Phys. Rev. A, 109(2):022209, 2024

    2024

  14. [22]

    Dereziński, V

    J. Dereziński, V. Jakšić, and C.-A. Pillet. Perturbation theory ofW∗-dynamics, Liouvilleans and KMS- states.Rev. Math. Phys., 15(5):447–489, 2003

    2003

  15. [23]

    M. J. Donald. Free energy and the relative entropy.J. Stat. Phys., 49(1-2):81–87, 1987

    1987

  16. [24]

    M. J. Donald. Relative Hamiltonians which are not bounded from above.J. Funct. Anal., 91(1):143–173, 1990

    1990

  17. [25]

    M. D. Donsker and S. R. S. Varadhan. Asymptotic evaluation of certain Markov process expectations for large time, I.Commun. Pure Appl. Math., 28(1):1–47, 1975

    1975

  18. [26]

    Dorau and A

    P. Dorau and A. Much. From quantum relative entropy to the semiclassical Einstein equations.Phys. Rev. Lett., 136(9):091602, 2026. 38 B. M. REIBLE, A. MUCH, R. VERCH, C. SCHÜTTE, AND L. DELLE SITE

    2026

  19. [27]

    Engel and R

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

    2000

  20. [28]

    Feng and L

    C. Feng and L. Chen. Quantifying quantum entanglement via machine learning models.Commun. Theor. Phys., 76:075104, 2024

    2024

  21. [29]

    R. Haag, N. M. Hugenholtz, and M. Winnink. On the equilibrium states in quantum statistical mechanics. Commun. Math. Phys., 5:215–236, 1967

    1967

  22. [30]

    Haagerup

    U. Haagerup. The standard form of von Neumann algebras.Math. Scand., 37(2):271–283, 1975

    1975

  23. [31]

    Hiai.Lectures on Selected Topics in von Neumann Algebras

    F. Hiai.Lectures on Selected Topics in von Neumann Algebras. EMS Series of Lectures in Mathematics. European Mathematical Society, 2021

    2021

  24. [32]

    Hiai.Quantum f-Divergences in von Neumann Algebras

    F. Hiai.Quantum f-Divergences in von Neumann Algebras. Mathematical Physics Studies. Springer, Singapore, 2021

    2021

  25. [33]

    Horodecki, P

    R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki. Quantum entanglement.Rev. Mod. Phys., 81(2):865–942, 2009

    2009

  26. [34]

    M. Keyl, D. Schlingemann, and R. F. Werner. Infinitely entangled states.Quant. Inf. Comput., 3(4):281–306, 2003

    2003

  27. [35]

    Kinoshita, K

    S. Kinoshita, K. Murata, D. Yamamoto, and R. Yoshii. Spin systems as quantum simulators of quantum field theories in curved spacetimes.Phys. Rev. Res., 7(2):023917, 2025

    2025

  28. [36]

    Koutný, L

    D. Koutný, L. Ginés, L. Moczała-Dusanowska, S. Höfling, C. Schneider, A. Predojević, and M. Ježek. Deep learning of quantum entanglement from incomplete measurements.Sci. Adv., 9:eadd7131, 2023

    2023

  29. [37]

    Kurpicz, N

    F. Kurpicz, N. Pinamonti, and R. Verch. Temperature and entropy-area relation of quantum matter near spherically symmetric outer trapping horizons.Lett. Math. Phys., 111:110, 2021

    2021

  30. [38]

    Laurell, A

    P. Laurell, A. Scheie, E. Dagotto, and D. A. Tennant. Witnessing entanglement and quantum correlations in condensed matter: A review.Adv. Quantum Technol., 8:2400196, 2025

    2025

  31. [39]

    D. Li, K. Lee, B. Y. Wang, M. Osada, S. Crossley, H. R. Lee, Y. Cui, Y. Hikita, and H. Y. Hwang. Superconductivity in an infinite-layer nickelate.Nature, 572:624–627, 2019

    2019

  32. [40]

    Lindblad

    G. Lindblad. Entropy, information and quantum measurement.Commun. Math. Phys., 33:305–322, 1973

    1973

  33. [41]

    R. Longo. An analogue of the Kac–Wakimoto formula and black hole conditional entropy.Commun. Math. Phys., 186:451–479, 1997

    1997

  34. [42]

    R. Longo. Entropy of coherent excitations.Lett. Math. Phys., 109(12):2587–2600, 2019

    2019

  35. [43]

    Moretti.Fundamental Mathematical Structures of Quantum Theory

    V. Moretti.Fundamental Mathematical Structures of Quantum Theory. Springer, Cham, 2019

    2019

  36. [44]

    Ohya and D

    M. Ohya and D. Petz.Quantum Entropy and Its Use. Theoretical and Mathematical Physics. Springer, Berlin, corrected second printing edition, 2004

    2004

  37. [45]

    A. G. Passegger and R. Verch. Disjointness of inertial KMS states and the role of Lorentz symmetry in thermalization.Rev. Math. Phys., 37(2):2430009, 2025

    2025

  38. [46]

    G. K. Pedersen and M. Takesaki. The Radon-Nikodym theorem for von Neumann algebras.Acta Math., 130:53–87, 1973

    1973

  39. [47]

    D. Petz. Properties of the relative entropy of states of von Neumann algebras.Acta Math. Hung., 47(1- 2):65–72, 1986

    1986

  40. [48]

    D. Petz. Sufficient subalgebras and the relative entropy of states of a von Neumann algebra.Commun. Math. Phys., 105:123–131, 1986

    1986

  41. [49]

    D. Petz. A variational expression for the relative entropy.Commun. Math. Phys., 114:345–349, 1988

    1988

  42. [50]

    C.-A. Pillet. Quantum dynamical systems. In S. Attal, A. Joye, and C.-A. Pillet, editors,Open Quantum Systems I. The Hamiltonian Approach, Lecture Notes in Mathematics 1880, chapter 4, pages 107–182. Springer, Berlin, 2006

    2006

  43. [51]

    M. B. Plenio and S. Virmani. An introduction to entanglement measures.Quant. Inf. Comput., 7(1):1–51, 2007

    2007

  44. [52]

    Popescu and D

    S. Popescu and D. Rohrlich. Thermodynamics and the measure of entanglement.Phys. Rev. A, 56(5):R3319(R), 1997

    1997

  45. [53]

    Reed and B

    M. Reed and B. Simon.Methods of Modern Mathematical Physics. Volume I: Functional Analysis. Academic Press, San Diego, Revised and Enlarged edition, 1980. THE TWO-SIDED BOGOLIUBOV INEQUALITY IN VON NEUMANN ALGEBRAS 39

    1980

  46. [54]

    Birkhäuser, Basel, 2009

    2009

  47. [55]

    B. M. Reible. Monotonicity of the relative entropy and the two-sided Bogoliubov inequality in von Neumann algebras. Master thesis, Universität Leipzig, arXiv:2501.04564 [math.OA], 2024

    2024 arXiv

  48. [56]

    B. M. Reible, C. Hartmann, and L. Delle Site. Two-sided Bogoliubov inequality to estimate finite size effects in quantum molecular simulations.Lett. Math. Phys., 112:97, 2022

    2022

  49. [57]

    B. M. Reible, C. Hartmann, and L. Delle Site. Finite-size effects in molecular simulations: a physico- mathematical view.Adv. Phys. X, 10(1):2495151, 2025

    2025

  50. [58]

    B. M. Reible, J. F. Hille, C. Hartmann, and L. Delle Site. Finite-size effects and thermodynamic accuracy in many-particle systems.Phys. Rev. Res., 5(2):023156, 2023

    2023

  51. [59]

    B. M. Reible, N. Liebreich, C. Hartmann, and L. Delle Site. A fast and rigorous numerical tool to measure length-scale artifacts in molecular simulations. Accepted for publication inCommun. Appl. Math. Comp. Sci., in press. arXiv:2511.01442 [physics.comp-ph], 2025

    2025

  52. [60]

    Rubboli and M

    R. Rubboli and M. Tomamichel. New additivity properties of the relative entropy of entanglement and its generalizations.Commun. Math. Phys., 405:162, 2024

    2024

  53. [61]

    Schmüdgen.Unbounded Self-adjoint Operators on Hilbert Space

    K. Schmüdgen.Unbounded Self-adjoint Operators on Hilbert Space. Graduate Texts in Mathematics 265. Springer, Dordrecht, 2012

    2012

  54. [62]

    Stamatova and V

    M. Stamatova and V. Vedral. Complex heat capacity as a witness of spatio-temporal entanglement. arXiv:2508.15728 [quant-ph]. Accepted for publication inPhys. Rev. A., 2026

    2026 arXiv

  55. [63]

    S. V. Strătilă.Modular Theory in Operator Algebras. Cambridge IISc Series. Cambridge University Press, Cambridge, second edition, 2020

    2020

  56. [64]

    S. V. Strătilă and L. Zsidó.Lectures on von Neumann Algebras. Cambridge IISc Series. Cambridge University Press, Cambridge, second edition, 2019

    2019

  57. [65]

    Takesaki.Tomita’s Theory of Modular Hilbert Algebras and its Applications

    M. Takesaki.Tomita’s Theory of Modular Hilbert Algebras and its Applications. Lecture Notes in Mathe- matics 128. Springer, Berlin, 1970

    1970

  58. [66]

    A. Uhlmann. Relative entropy and the Wigner-Yanase-Dyson-Lieb concavity in an interpolation theory. Commun. Math. Phys., 54:21–32, 1977

    1977

  59. [67]

    H. Umegaki. Conditional expectation in an operator algebra, IV. Entropy and information.Kodai Math. Sem. Rep., 14(2):59–85, 1962

    1962

  60. [68]

    van Luijk, A

    L. van Luijk, A. Stottmeister, R. F. Werner, and H. Wilming. Pure state entanglement and von Neumann algebras.Commun. Math. Phys., 406:296, 2025

    2025

  61. [69]

    V. Vedral. The role of relative entropy in quantum information theory.Rev. Mod. Phys., 74(1):197–234, 2002

    2002

  62. [70]

    Vedral and M

    V. Vedral and M. B. Plenio. Entanglement measures and purification procedures.Phys. Rev. A, 57(3):1619– 1633, 1998

    1998

  63. [71]

    Vedral, M

    V. Vedral, M. B. Plenio, M. A. Rippin, and P. L. Knight. Quantifying entanglement.Phys. Rev. Lett., 78(12):2275–2279, 1997

    1997

  64. [72]

    Verch and R

    R. Verch and R. F. Werner. Distillability and positivity of partial transposes in general quantum field systems.Rev. Math. Phys., 17(5):545–576, 2005

    2005

  65. [73]

    Xie, Y.-Y

    S. Xie, Y.-Y. Zhao, C. Zhang, Y.-F. Huang, C.-F. Li, G.-C. Guo, and J. H. Eberly. Experimental examination of entanglement estimates.Phys. Rev. Lett., 130(15):150801, 2023

    2023

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.