A family of monotone quantum relative entropies

DOI10.1007/S11005-014-0689-YMaRDI QIDQ2014735zbMATH OpenOpenAlexFDO

Authors M. Lewin, Julien Sabin

Publication date 16 June 2014

Published in Letters in Mathematical Physics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1309.4046

zbMATH Keywords

Klein inequalitymatrix inequalitiesrelative entropystrong subadditivity

Mathematics Subject Classification ID

Applications of functional analysis in quantum physics (46N50) Linear operator inequalities (47A63) General mathematical topics and methods in quantum theory (81Q99)

Abstract: We study here the elementary properties of the relative entropy $cH(A,B)=r[phi(A)-phi(B)-ph{i}^{\prime }(B)(A-B)]$ for $phi$ a convex function and $A,B$ bounded self-adjoint operators. In particular, we prove that this relative entropy is monotone if and only if $ph{i}^{\prime }$ is operator monotone. We use this to appropriately define $cH(A,B)$ in infinite dimension.

Review text

In this paper, it is introduced and discussed a relative entropy \[ \mathcal{H}_{\varphi} (A,B)=\operatorname{Tr}(\varphi (A)- \varphi (B)- \varphi ' (B)(A-B)) \] for \(\varphi \in C^0 ([0,1],\mathbb{R})\cap C^1 ((0,1),\mathbb{R})\). The important results of the paper are: (1) (Monotonicity). The entropy \(\mathcal{H}_{\varphi} (A,B)\) is monotone, that is, for any linear maps \(X:\mathfrak{H}_1 \rightarrow \mathfrak{H}_2\) such that \(X^*X \leqslant 1\) and any \(0 \leqslant A,B \leqslant 1\) on \(\mathfrak{H}_1\), it follows \[ \mathcal{H}_{\varphi} (A,B) \geqslant \mathcal{H}_{\varphi} (XAX^*,XBX^*). \] (2) (Approximation). If \(X_k:\mathfrak{H}_1 \rightarrow \mathfrak{H}_k\) is a sequence such that \(X^*_k X_k \leqslant 1\), \(X^*_k X_k \rightarrow 1\) strongly in \(\mathfrak{H}_1\), then \[ \mathcal{H}_{\varphi} (A,B)=\lim_{k\rightarrow\infty} \mathcal{H}_{\varphi} (X_k AX^*_k,X_k BX^*_k). \] (3) (Weak lower semi-continuity). If \(0 \leqslant A_n ,B_n \leqslant 1\), \(A_n,B_n \in \mathcal{B}(\mathfrak{H})\), \(A_n \rightharpoonup A\), \(B_n \rightharpoonup B\) weakly-\(\ast\) in \(\mathcal{B}(\mathfrak{H})\), then \[ \mathcal{H}_{\varphi} (A,B)\leqslant \liminf_{n\rightarrow\infty} \mathcal{H}_{\varphi} (A_n ,B_n ). \]

Recommendations

• Note on a family of monotone quantum relative entropies
• Relative entropies and entanglement monotones
• MONOTONICITY OF QUANTUM RELATIVE ENTROPY REVISITED
• Monotonicity of the quantum relative entropy under positive maps
• A strengthened monotonicity inequality of quantum relative entropy: a unifying approach via Rényi relative entropy
• Min- and Max-Relative Entropies and a New Entanglement Monotone
• Monotonicity of a relative Rényi entropy
• A generalized quantum relative entropy
• A new entanglement monotone based on min-relative entropy
• A family of generalized quantum entropies: definition and properties

Cites work

• A NONLINEAR MODEL FOR RELATIVISTIC ELECTRONS AT POSITIVE TEMPERATURE
• A Schwarz Inequality for Convex Operator Functions
• Gaussian Markov triplets approached by block matrices
• Generalized Hartree-Fock theory and the Hubbard model
• scientific article; zbMATH DE number 3761463 (Why is no real title available?)
• scientific article; zbMATH DE number 1332581 (Why is no real title available?)
• scientific article; zbMATH DE number 1120256 (Why is no real title available?)
• scientific article; zbMATH DE number 967931 (Why is no real title available?)
• Jensen's inequality for operators and Loewner's theorem
• Mean entropy of states in classical statistical mechanics
• Microscopic derivation of Ginzburg-Landau theory
• Strongly subadditive functions
• The Hartree equation for infinitely many particles. I: Well-posedness theory
• The thermodynamic limit of quantum Coulomb systems. II: Applications
• Trace inequalities and quantum entropy: an introductory course

Cited in

(24)

• The quantum drift-diffusion model: existence and exponential convergence to the equilibrium
• The quantum Liouville-BGK equation and the moment problem
• The Hartree equation for infinitely many particles. I: Well-posedness theory
• Information divergence and distance measures for quantum states
• On the joint convexity of the Bregman divergence of matrices
• Bose-Einstein condensation in a dilute, trapped gas at positive temperature
• Quantum f-divergence preserving maps on positive semidefinite operators acting on finite dimensional Hilbert spaces
• The general form of -family of quantum relative entropies
• Maps on quantum states preserving Bregman and Jensen divergences
• Monotone Riemannian metrics and relative entropy on noncommutative probability spaces
• Operator monotones, the reduction criterion and the relative entropy
• MONOTONICITY OF QUANTUM RELATIVE ENTROPY REVISITED
• scientific article; zbMATH DE number 2118682 (Why is no real title available?)
• Derivation of nonlinear Gibbs measures from many-body quantum mechanics
• Min- and Max-Relative Entropies and a New Entanglement Monotone
• On quantum quasi-relative entropy
• Monotonicity of the quantum relative entropy under positive maps
• A lower bound for the BCS functional with boundary conditions at infinity
• Monotonicity of a relative Rényi entropy
• The Hartree and Vlasov equations at positive density
• Geometric relative entropies and barycentric Rényi divergences
• Global well-posedness of the nonlinear Hartree equation for infinitely many particles with singular interaction
• Note on a family of monotone quantum relative entropies
• Entropy minimization for many-body quantum systems

This page was built for publication: A family of monotone quantum relative entropies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2014735)