Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2608.07246

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

Benedikt M. Reible, Albert Much, Rainer Verch, Christof Schütte, Luigi Delle Site

math-phhep-thmath.OAquant-phSubmitted Aug 7, 2026• Announced Aug 10, 2026• 0 citations
arXivHTMLPDF

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.

Comments
39 pages, 1 figure. Based on the thesis arXiv:2501.04564

Related papers

Quantum matter is weakly entangled at low energies

Samuel J. Garratt, Dmitry A. Abanin

We construct upper bounds on entanglement entropies of many-body quantum states that have fixed energy expectation values with respect to local Hamiltonians. Our focus is on entanglement entropies of subsystems that make up approximately half of the full system. The upper bound on the von Neumann entanglement entropy is half the sum of the thermal entropies of two fictitious systems at the same temperature as one another, with an additional area-law contribution in some systems. The effective temperature is chosen such that the sum of the thermal energies of the two fictitious systems matches the constraint on the energy of the state in the original problem; at subextensive energies, this temperature decreases with increasing system size. Our upper bounds on Rényi entanglement entropies take an analogous form. These inequalities show that, in systems that are frustration-free (FF) and whose zero-temperature subsystem thermal entropies scale with surface areas (rather than subsystem volumes), ground states are area-law entangled. For physical models of quantum matter, which have well-defined specific heat capacities (and are not necessarily FF), our bounds provide a way to convert this thermodynamic data into constraints on pure-state entanglement at both subextensive and extensive energies. We also show that our general upper bounds on half-system entanglement entropies are optimal, up to subleading corrections, in systems with reflection symmetry and above a subextensive energy threshold. A key application of our results is to constrain the entanglement of quantum states relevant to simulations of zero-temperature response functions, which have energies of order unity. We prove that, in wide varieties of FF systems in two dimensions and higher, the contributions of excitations to von Neumann entanglement entropy are subleading compared with the contribution from the ground state.

cond-mat.stat-mechCross-listedarXiv:2604.14143•PRX Quantum•Apr 16, 2026•0 citations

Conditioning on Subalgebras - Entropy Duality and Generalized Quantum Stein's Lemma in von Neumann Algebras

Bjarne Bergh, Li Gao, Mizanur Rahaman

We establish duality relations for conditional entropies relative to subalgebras of arbitrary von Neumann algebras, including the Umegaki relative entropy as well as the sandwiched- and Petz-Rényi divergences. Even in finite dimensions, these results extend the familiar dualities for conditional entropies from tensor-product subsystems to general subalgebras, while also lifting the framework to the fully infinite-dimensional setting. As an application, we establish an infinite-dimensional extension of quantum Stein's lemma when the alternative hypothesis is the state space of a finite-index subalgebra, which gives an operational interpretation of the relative entropy to a subalgebra as the optimal asymptotic error exponent in composite quantum hypothesis testing-the first beyond finite dimensions.

quant-pharXiv:2610.00772•Oct 2, 2026•0 citations

The von Neumann Entropy for Mixed States

Jorge Andres Anaya-Contreras, Héctor M. Moya-Cessa, Arturo Zúñiga-Segundo

The Araki-Lieb inequality is commonly used to calculate the entropy of subsystems when they are initially in pure states, as this forces the entropy of the two subsystems to be equal after the complete system evolves. Then, it is easy to calculate the entropy of a large subsystem by finding the entropy of the small one. To the best of our knowledge, there does not exist a way of calculating the entropy when one of the subsystems is initially in a mixed state. For the case of a two-level atom interacting with a quantized field, we show that it is possible to use the Araki-Lieb inequality and find the von Neumann entropy for the large (infinite) system. We show this in the two-level atom-field interaction.

arXiv:1804.09698•Entropy•Jan 10, 2019•15 citations

Mutual entropy and thermal area law in C*-algebraic quantum lattice systems

Hajime Moriya

We present a general definition of quantum mutual entropy for infinitely extended quantum spin and fermion lattice systems. Using this, we establish a thermal area law in these infinitely extended quantum systems. The proof is based on the local thermodynamical stability (LTS), a variational principle in terms of the conditional free energy. Our thermal area law in quasi-local C*-systems applies to general interactions with well-defined surface energies. We also examine the quantum mutual entropy between the left- and right-sided infinite regions of one-dimensional lattice systems. For general translation-invariant finite-range interactions on such systems, the thermal equilibrium state at any temperature exhibits a finite mutual entropy between these infinite disjoint regions. This further implies that the infinitely large quantum entanglement characteristic of critical ground states in one-dimensional systems is drastically destroyed by even a small positive temperature.

arXiv:2510.05823•Oct 7, 2025•0 citations

Entanglement entropy and the Berry phase in the solid state

Shinsei Ryu, Yasuhiro Hatsugai

The entanglement entropy (von Neumann entropy) has been used to characterize the complexity of many-body ground states in strongly correlated systems. In this paper, we try to establish a connection between the lower bound of the von Neumann entropy and the Berry phase defined for quantum ground states. As an example, a family of translational invariant lattice free fermion systems with two bands separated by a finite gap is investigated. We argue that, for one-dimensional (1D) cases, when the Berry phase (Zak's phase) of the occupied band is equal to $\ensuremath{\pi}\ifmmode\times\else\texttimes\fi{}(\text{odd}\phantom{\rule{0.3em}{0ex}}\text{integer})$ and when the ground state respects a discrete unitary particle-hole symmetry (chiral symmetry), the entanglement entropy in the thermodynamic limit is at least larger than ln 2 (per boundary), i.e., the entanglement entropy that corresponds to a maximally entangled pair of two qubits. We also discuss how this lower bound is related to vanishing of the expectation value of a certain nonlocal operator which creates a kink in 1D systems.

arXiv:cond-mat/0601237•Physical Review B•Jun 26, 2006•182 citations

Markov Entropy Decomposition: A Variational Dual for Quantum Belief Propagation

David Poulin, Matthew B. Hastings

We present a lower bound for the free energy of a quantum many-body system at finite temperature. This lower bound is expressed as a convex optimization problem with linear constraints, and is derived using strong subadditivity of von Neumann entropy and a relaxation of the consistency condition of local density operators. The dual to this minimization problem leads to a set of quantum belief propagation equations, thus providing a firm theoretical foundation to that approach. The minimization problem is numerically tractable, and we find good agreement with quantum Monte Carlo calculations for spin-1/2 Heisenberg antiferromagnet in two dimensions. This lower bound complements other variational upper bounds. We discuss applications to Hamiltonian complexity theory and give a generalization of the structure theorem of [P. Hayden et al., Commun. Math. Phys. 246, 359 (2004).] to trees in an appendix.

arXiv:1012.2050•Physical Review Letters•Feb 24, 2011•56 citations
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.
We construct upper bounds on entanglement entropies of many-body quantum states that have fixed energy expectation values with respect to local Hamiltonians. Our focus is on entanglement entropies of subsystems that make up approximately half of the full system. The upper bound on the von Neumann entanglement entropy is half the sum of the thermal entropies of two fictitious systems at the same temperature as one another, with an additional area-law contribution in some systems. The effective temperature is chosen such that the sum of the thermal energies of the two fictitious systems matches the constraint on the energy of the state in the original problem; at subextensive energies, this temperature decreases with increasing system size. Our upper bounds on Rényi entanglement entropies take an analogous form. These inequalities show that, in systems that are frustration-free (FF) and whose zero-temperature subsystem thermal entropies scale with surface areas (rather than subsystem volumes), ground states are area-law entangled. For physical models of quantum matter, which have well-defined specific heat capacities (and are not necessarily FF), our bounds provide a way to convert this thermodynamic data into constraints on pure-state entanglement at both subextensive and extensive energies. We also show that our general upper bounds on half-system entanglement entropies are optimal, up to subleading corrections, in systems with reflection symmetry and above a subextensive energy threshold. A key application of our results is to constrain the entanglement of quantum states relevant to simulations of zero-temperature response functions, which have energies of order unity. We prove that, in wide varieties of FF systems in two dimensions and higher, the contributions of excitations to von Neumann entanglement entropy are subleading compared with the contribution from the ground state.
We establish duality relations for conditional entropies relative to subalgebras of arbitrary von Neumann algebras, including the Umegaki relative entropy as well as the sandwiched- and Petz-Rényi divergences. Even in finite dimensions, these results extend the familiar dualities for conditional entropies from tensor-product subsystems to general subalgebras, while also lifting the framework to the fully infinite-dimensional setting. As an application, we establish an infinite-dimensional extension of quantum Stein's lemma when the alternative hypothesis is the state space of a finite-index subalgebra, which gives an operational interpretation of the relative entropy to a subalgebra as the optimal asymptotic error exponent in composite quantum hypothesis testing-the first beyond finite dimensions.
The Araki-Lieb inequality is commonly used to calculate the entropy of subsystems when they are initially in pure states, as this forces the entropy of the two subsystems to be equal after the complete system evolves. Then, it is easy to calculate the entropy of a large subsystem by finding the entropy of the small one. To the best of our knowledge, there does not exist a way of calculating the entropy when one of the subsystems is initially in a mixed state. For the case of a two-level atom interacting with a quantized field, we show that it is possible to use the Araki-Lieb inequality and find the von Neumann entropy for the large (infinite) system. We show this in the two-level atom-field interaction.
We present a general definition of quantum mutual entropy for infinitely extended quantum spin and fermion lattice systems. Using this, we establish a thermal area law in these infinitely extended quantum systems. The proof is based on the local thermodynamical stability (LTS), a variational principle in terms of the conditional free energy. Our thermal area law in quasi-local C*-systems applies to general interactions with well-defined surface energies. We also examine the quantum mutual entropy between the left- and right-sided infinite regions of one-dimensional lattice systems. For general translation-invariant finite-range interactions on such systems, the thermal equilibrium state at any temperature exhibits a finite mutual entropy between these infinite disjoint regions. This further implies that the infinitely large quantum entanglement characteristic of critical ground states in one-dimensional systems is drastically destroyed by even a small positive temperature.
The entanglement entropy (von Neumann entropy) has been used to characterize the complexity of many-body ground states in strongly correlated systems. In this paper, we try to establish a connection between the lower bound of the von Neumann entropy and the Berry phase defined for quantum ground states. As an example, a family of translational invariant lattice free fermion systems with two bands separated by a finite gap is investigated. We argue that, for one-dimensional (1D) cases, when the Berry phase (Zak's phase) of the occupied band is equal to $\ensuremath{\pi}\ifmmode\times\else\texttimes\fi{}(\text{odd}\phantom{\rule{0.3em}{0ex}}\text{integer})$ and when the ground state respects a discrete unitary particle-hole symmetry (chiral symmetry), the entanglement entropy in the thermodynamic limit is at least larger than ln 2 (per boundary), i.e., the entanglement entropy that corresponds to a maximally entangled pair of two qubits. We also discuss how this lower bound is related to vanishing of the expectation value of a certain nonlocal operator which creates a kink in 1D systems.
We present a lower bound for the free energy of a quantum many-body system at finite temperature. This lower bound is expressed as a convex optimization problem with linear constraints, and is derived using strong subadditivity of von Neumann entropy and a relaxation of the consistency condition of local density operators. The dual to this minimization problem leads to a set of quantum belief propagation equations, thus providing a firm theoretical foundation to that approach. The minimization problem is numerically tractable, and we find good agreement with quantum Monte Carlo calculations for spin-1/2 Heisenberg antiferromagnet in two dimensions. This lower bound complements other variational upper bounds. We discuss applications to Hamiltonian complexity theory and give a generalization of the structure theorem of [P. Hayden et al., Commun. Math. Phys. 246, 359 (2004).] to trees in an appendix.