Revisiting the operator extension of strong subadditivity
- URL: http://arxiv.org/abs/2508.03731v1
- Date: Wed, 30 Jul 2025 14:18:43 GMT
- Title: Revisiting the operator extension of strong subadditivity
- Authors: Lauritz van Luijk, Alexander Stottmeister, Henrik Wilming,
- Abstract summary: We give a new proof of the operator extension of the strong subadditivity of von Neumann entropy $rho_AB otimes sigma_C-1 leq rho_A otimes sigma_BC-1$ by identifying the mathematical structure behind it as Connes' theory of spatial derivatives.
- Score: 44.99833362998488
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We give a new proof of the operator extension of the strong subadditivity of von Neumann entropy $\rho_{AB} \otimes \sigma_{C}^{-1} \leq \rho_{A} \otimes \sigma_{BC}^{-1}$ by identifying the mathematical structure behind it as Connes' theory of spatial derivatives. This immediately generalizes the inequality to arbitrary inclusions of von Neumann algebras. In the case of standard representations, it reduces to the monotonicity of the relative modular operator.
Related papers
- Strong converse rate for asymptotic hypothesis testing in type III [3.0846824529023382]
We show the operational interpretation of sandwiched relative R'enyi entropy in general von Neumann algebras.<n> applicability in general von Neumann algebras opens potential new connections to random matrix theory and the quantum information theory of fundamental physics.
arXiv Detail & Related papers (2025-07-10T17:58:54Z) - Vectorization of the density matrix and quantum simulation of the von
Neumann equation of time-dependent Hamiltonians [65.268245109828]
We develop a general framework to linearize the von-Neumann equation rendering it in a suitable form for quantum simulations.
We show that one of these linearizations of the von-Neumann equation corresponds to the standard case in which the state vector becomes the column stacked elements of the density matrix.
A quantum algorithm to simulate the dynamics of the density matrix is proposed.
arXiv Detail & Related papers (2023-06-14T23:08:51Z) - Large $N$ von Neumann algebras and the renormalization of Newton's
constant [0.0]
I derive a family of Ryu--Takayanagi formulae valid in the large $N$ limit of holographic quantum error-correcting codes.
I show that the renormalizations of the area term and the bulk entropy term exactly compensate each other.
arXiv Detail & Related papers (2023-02-03T19:00:00Z) - A new operator extension of strong subadditivity of quantum entropy [12.547444644243544]
Weak monotonicity asserts that $S(rho_AB) - S(rho_A) + S(rho_BC) - S(rho_C)geq 0$ for any tripartite density matrix $rho_ABC$.
We prove an operator inequality, which, upon taking an expectation value with respect to the state $rho_ABC$, reduces to the weak monotonicity inequality.
arXiv Detail & Related papers (2022-11-24T01:45:44Z) - Orthogonal Unitary Bases and a Subfactor Conjecture [0.0]
We show that any finite dimensional von Neumann algebra admits an orthonormal unitary basis with respect to its standard trace.
We also show that a finite dimensional von Neumann subalgebra of $M_n(mathbbC)$ admits an orthonormal unitary basis under normalized matrix trace.
arXiv Detail & Related papers (2022-11-21T18:53:42Z) - Quantum teleportation in the commuting operator framework [63.69764116066747]
We present unbiased teleportation schemes for relative commutants $N'cap M$ of a large class of finite-index inclusions $Nsubseteq M$ of tracial von Neumann algebras.
We show that any tight teleportation scheme for $N$ necessarily arises from an orthonormal unitary Pimsner-Popa basis of $M_n(mathbbC)$ over $N'$.
arXiv Detail & Related papers (2022-08-02T00:20:46Z) - Self-Adjointness of Toeplitz Operators on the Segal-Bargmann Space [62.997667081978825]
We prove a new criterion that guarantees self-adjointness of Toeplitz operator with unbounded operator-valued symbols.
We extend the Berger-Coburn estimate to the case of vector-valued Segal-Bargmann spaces.
arXiv Detail & Related papers (2022-02-09T19:14:13Z) - Sub-bosonic (deformed) ladder operators [62.997667081978825]
We present a class of deformed creation and annihilation operators that originates from a rigorous notion of fuzziness.
This leads to deformed, sub-bosonic commutation relations inducing a simple algebraic structure with modified eigenenergies and Fock states.
In addition, we investigate possible consequences of the introduced formalism in quantum field theories, as for instance, deviations from linearity in the dispersion relation for free quasibosons.
arXiv Detail & Related papers (2020-09-10T20:53:58Z) - Approximate recovery and relative entropy I. general von Neumann
subalgebras [0.0]
We prove the existence of a universal recovery channel that approximately recovers states on a v. Neumann subalgebra when the change in relative entropy, with respect to a fixed reference state, is small.
Our results hinge on the construction of certain analytic vectors and computations/estimations of their Araki-Masuda $L_p$ norms.
arXiv Detail & Related papers (2020-06-14T20:00:38Z) - Joint measurability meets Birkhoff-von Neumann's theorem [77.34726150561087]
We prove that joint measurability arises as a mathematical feature of DNTs in this context, needed to establish a characterisation similar to Birkhoff-von Neumann's.
We also show that DNTs emerge naturally from a particular instance of a joint measurability problem, remarking its relevance in general operator theory.
arXiv Detail & Related papers (2018-09-19T18:57:45Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.