A rigorous two-sided bound on relative free energy is generalized to unbounded perturbations in von Neumann algebras, with variational formulas, and proposed as a thermodynamic entanglement criterion.
Monotonicity of the Relative Entropy and the Two-sided Bogoliubov Inequality in von Neumann Algebras
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
This text studies, on the one hand, certain monotonicity properties of the Araki-Uhlmann relative entropy and, on the other hand, unbounded perturbation theory of KMS-states which facilitates a proof of the two-sided Bogoliubov inequality in general von Neumann algebras. After introducing the necessary background from the theory of operator algebras and Tomita-Takesaki modular theory, the relative entropy functional is defined and its basic properties are studied. In particular, a full and detailed proof of Uhlmann's important monotonicity theorem for the relative entropy is provided. This theorem will then be used to derive a number of monotonicity inequalities for the relative entropy of normal functionals induced by vectors of the form $V \varOmega, V \varPhi \in \mathcal{H}$, where $V \in \mathscr{B}(\mathcal{H})$ is a suitable transformation. After that, an introduction to perturbation theory in von Neumann algebras is given, with an emphasis on unbounded perturbations of KMS-states following the framework of Derezi\'{n}ski-Jak\v{s}i\'{c}-Pillet. This mathematical apparatus will then be used to extend the two-sided Bogoliubov inequality for the relative free energy, which was very recently proved for quantum-mechanical systems, to arbitrary von Neumann algebras.
fields
math-ph 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
The two-sided Bogoliubov inequality in von Neumann algebras conceptualizes the free energy--quantum correlations link
A rigorous two-sided bound on relative free energy is generalized to unbounded perturbations in von Neumann algebras, with variational formulas, and proposed as a thermodynamic entanglement criterion.