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

Technical Summary: The Two-Sided Bogoliubov Inequality in Von Neumann Algebras

Problem Statement
The paper addresses the challenge of quantifying quantum correlations, specifically entanglement, in systems with infinitely many degrees of freedom, such as those described by quantum field theories. While standard entanglement measures (e.g., relative entropy of entanglement) are well-defined, their direct calculation is often computationally intractable. The authors seek to establish a thermodynamic criterion for quantifying these correlations by generalizing the quantum-mechanical two-sided Bogoliubov inequality. This inequality relates the free energy cost of separating an interacting system into non-interacting subsystems to the expectation values of the interaction energy. The specific mathematical hurdle is extending this inequality from finite-dimensional quantum mechanics (bounded operators on Hilbert spaces) to the setting of arbitrary von Neumann algebras, which requires handling unbounded perturbations and the absence of global Hamiltonians in general algebraic quantum field theory.

Methodology
The authors employ the framework of operator algebras and modular theory to generalize the inequality. The methodology rests on three main pillars:

1. Modular Theory and Standard Forms: The work utilizes the Tomita-Takesaki modular theory and the standard form representation of von Neumann algebras $(M, H, J, P)$. This allows for the definition of Liouvillians (replacing Hamiltonians) and KMS states (replacing Gibbs states) in a general setting.
2. Unbounded Perturbation Theory: Unlike previous works restricted to bounded perturbations, this paper adopts and extends the framework of Dereziński, Jakšić, and Pillet [22] for unbounded perturbations of KMS states. This involves defining perturbed dynamics and states via self-adjoint operators $V$ affiliated with the algebra $M$, subject to specific technical assumptions (A1–A4) regarding essential self-adjointness and the finiteness of specific norms involving the perturbation.
3. Relative Entropy and Variational Principles: The authors utilize the Araki-Uhlmann relative entropy $S_M(\psi, \phi)$ and extend variational principles (Gibbs and Donsker-Varadhan) originally established by Petz [49] for bounded perturbations to the unbounded setting.

Key Contributions and Results

• Generalization of the Two-Sided Bogoliubov Inequality:
  The primary result is Theorem 5.4, which establishes the two-sided Bogoliubov inequality for arbitrary von Neumann algebras. For a faithful KMS state $\omega$ and a perturbation $U$ satisfying specific conditions, the relative free energy $F(\omega_U, \omega)$ is bounded by the expectation values of the perturbation in the unperturbed and perturbed states:
  $$\omega_U(U) \leq F(\omega_U, \omega) \leq \omega(U)$$
  Here, $F(\omega_U, \omega)$ is defined analogously to the quantum-mechanical case as $\omega_U(U) + \beta^{-1}S_M(\omega_U, \omega)$. The authors prove that this inequality reduces to the standard quantum-mechanical form (Eq. 6 in the paper) when $M = B(H)$, thereby validating the generalization.

• Variational Bounds for Relative Free Energy:
  The paper derives variational expressions for the relative free energy (Theorem 5.15), extending existing bounded-perturbation principles to the unbounded setting. These bounds are given by:
  $$\inf_{\psi} \left( \psi(U) + \beta^{-1}S_M(\psi, \omega) \right) = F(\omega_U, \omega) = \sup_{V} \left( \omega_U(U - V) - \beta^{-1}\log \|\Omega^{-\beta V}\|^2 \right)$$
  where the infimum is over normal states and the supremum is over a specific set of self-adjoint operators. This provides a framework for optimizing bounds with respect to states and perturbations.

• Extension of Perturbation Theory Results:
  The authors provide several technical extensions to the theory of unbounded perturbations of KMS states. Notably, they establish new identities for relative modular operators involving unbounded perturbations (Lemmas 4.17, 4.19) and prove a version of the Gibbs variational principle for unbounded perturbations (Proposition 5.11).

• Application to Bosonic Scalar Fields:
  As a concrete example, the authors apply the inequality to a free Bose field perturbed by a Weyl unitary. They demonstrate that for this inner perturbation, the relative free energy vanishes, and the inequality collapses to the positivity of the relative entropy, linking the result to symplectic forms and geometric interpretations in geometric settings (e.g., horizon entropy).

Significance and Claims
The paper claims to provide the "conceptual justification, with its proper mathematical structure, for the possibility of measuring entanglement through thermodynamics." By generalizing the two-sided Bogoliubov inequality to von Neumann algebras, the authors offer a rigorous mathematical tool that connects the free energy of separation to the quantification of correlations in infinite-dimensional systems.

The authors emphasize that while the inequality offers a thermodynamic estimate of entanglement (specifically, the difference in free energy between an interacting system and its non-interacting parts), the current work focuses on the mathematical formulation. They explicitly state that concrete applications to specific systems of interest are left for future work. The significance lies in bridging information theory and statistical mechanics in the context of infinite quantum systems, potentially offering alternative, thermodynamic-based techniques for quantifying entanglement that bypass the direct calculation of relative entropy. The paper maintains a modest stance, noting that while the mathematical framework is established, the physical interpretation in relativistic quantum field theories requires careful handling due to issues of relativistic covariance.