Showing 1–20 of 20 results for author: Lieb, E H

A trace inequality of Ando, Hiai and Okubo and a monotonicity property of the Golden-Thompson inequality

Authors: Eric A. Carlen, Elliott H. Lieb

Abstract: The Golden-Thompson trace inequality which states that $Tr\, e^{H+K} \leq Tr\, e^H e^K$ has proved to be very useful in quantum statistical mechanics. Golden used it to show that the classical free energy is less than the quantum one. Here we make this G-T inequality more explicit by proving that for some operators, notably the operators of interest in quantum mechanics, $H=Δ$ or… ▽ More The Golden-Thompson trace inequality which states that $Tr\, e^{H+K} \leq Tr\, e^H e^K$ has proved to be very useful in quantum statistical mechanics. Golden used it to show that the classical free energy is less than the quantum one. Here we make this G-T inequality more explicit by proving that for some operators, notably the operators of interest in quantum mechanics, $H=Δ$ or $H= -\sqrt{-Δ+m}$ and $K=$ potential, $Tr\, e^{H+(1-u)K}e^{uK}$ is a monotone increasing function of the parameter $u$ for $0\leq u \leq 1$. Our proof utilizes an inequality of Ando, Hiai and Okubo (AHO): $Tr\, X^sY^tX^{1-s}Y^{1-t} \leq Tr\, XY$ for positive operators X,Y and for $\tfrac{1}{2} \leq s,\,t \leq 1 $ and $s+t \leq \tfrac{3}{2}$. The obvious conjecture that this inequality should hold up to $s+t\leq 1$, was proved false by Plevnik. We give a different proof of AHO and also give more counterexamples in the $\tfrac{3}{2}, 1$ range. More importantly we show that the inequality conjectured in AHO does indeed hold in this range if $X,Y$ have a certain positivity property -- one which does hold for quantum mechanical operators, thus enabling us to prove our G-T monotonicity theorem. △ Less

Submitted 11 March, 2022; originally announced March 2022.

MSC Class: 39B62 (primary) 46N50 (secondary)

Universal Functionals in Density Functional Theory

Authors: Mathieu Lewin, Elliott H. Lieb, Robert Seiringer

Abstract: In this chapter we first review the Levy-Lieb functional, which gives the lowest kinetic and interaction energy that can be reached with all possible quantum states having a given density. We discuss two possible convex generalizations of this functional, corresponding to using mixed canonical and grand-canonical states, respectively. We present some recent works about the local density approximat… ▽ More In this chapter we first review the Levy-Lieb functional, which gives the lowest kinetic and interaction energy that can be reached with all possible quantum states having a given density. We discuss two possible convex generalizations of this functional, corresponding to using mixed canonical and grand-canonical states, respectively. We present some recent works about the local density approximation, in which the functionals get replaced by purely local functionals constructed using the uniform electron gas energy per unit volume. We then review the known upper and lower bounds on the Levy-Lieb functionals. We start with the kinetic energy alone, then turn to the classical interaction alone, before we are able to put everything together. An appendix is devoted to the Hohenberg-Kohn theorem and the role of many-body unique continuation in its proof. △ Less

Submitted 13 September, 2022; v1 submitted 22 December, 2019; originally announced December 2019.

Comments: Final version of a chapter to appear in the book "Density Functional Theory - Modeling, Mathematical Analysis, Computational Methods, and Applications", edited by Eric Cancès and Gero Friesecke, Springer

The Local Density Approximation in Density Functional Theory

Authors: Mathieu Lewin, Elliott H. Lieb, Robert Seiringer

Abstract: We give the first mathematically rigorous justification of the Local Density Approximation in Density Functional Theory. We provide a quantitative estimate on the difference between the grand-canonical Levy-Lieb energy of a given density (the lowest possible energy of all quantum states having this density) and the integral over the Uniform Electron Gas energy of this density. The error involves g… ▽ More We give the first mathematically rigorous justification of the Local Density Approximation in Density Functional Theory. We provide a quantitative estimate on the difference between the grand-canonical Levy-Lieb energy of a given density (the lowest possible energy of all quantum states having this density) and the integral over the Uniform Electron Gas energy of this density. The error involves gradient terms and justifies the use of the Local Density Approximation in the situation where the density is very flat on sufficiently large regions in space. △ Less

Submitted 28 October, 2019; v1 submitted 10 March, 2019; originally announced March 2019.

Comments: Final version to appear in Pure and Applied Analysis

Journal ref: Pure Appl. Analysis 2 (2020) 35-73

Inequalities for quantum divergences and the Audenaert-Datta conjecture

Authors: Eric A. Carlen, Rupert L. Frank, Elliott H. Lieb

Abstract: Given two density matrices $ρ$ and $σ$, there are a number of different expressions that reduce to the $α$-Rényi relative entropy of $ρ$ with respect to $σ$ in the classical case; i.e., when $ρ$ and $σ$ commute. Only those expressions for which the Data Processing Inequality (DPI) is valid are of potential interest as quantum divergences in quantum information theory. Audenaert and Datta have made… ▽ More Given two density matrices $ρ$ and $σ$, there are a number of different expressions that reduce to the $α$-Rényi relative entropy of $ρ$ with respect to $σ$ in the classical case; i.e., when $ρ$ and $σ$ commute. Only those expressions for which the Data Processing Inequality (DPI) is valid are of potential interest as quantum divergences in quantum information theory. Audenaert and Datta have made a conjecture on the validity of the DPI for an interesting family of quantum generalizations of the $α$ - Rényi relative entropies, the $α-z$ - Rényi relative entropies. They and others have contributed to the partial solution of this conjecture. We review the problem, its context, and the methods that have been used to obtain the results that are known at present, presenting a unified treatment of developments that have unfolded in a number of different papers. △ Less

Submitted 11 June, 2018; originally announced June 2018.

Comments: 23 pages

Norms of quantum Gaussian multi-mode channels

Authors: Rupert L. Frank, Elliott H. Lieb

Abstract: We compute the $\mathcal S^p \to \mathcal S^p$ norm of a general Gaussian gauge-covariant multi-mode channel for any $1\leq p<\infty$, where $\mathcal S^p$ is a Schatten space. As a consequence, we verify the Gaussian optimizer conjecture and the multiplicativity conjecture in these cases. We compute the $\mathcal S^p \to \mathcal S^p$ norm of a general Gaussian gauge-covariant multi-mode channel for any $1\leq p<\infty$, where $\mathcal S^p$ is a Schatten space. As a consequence, we verify the Gaussian optimizer conjecture and the multiplicativity conjecture in these cases. △ Less

Submitted 19 June, 2017; v1 submitted 27 April, 2017; originally announced April 2017.

Comments: 9 pages; minor changes; to appear in J. Math. Phys

Some Operator and Trace Function Convexity Theorems

Authors: Eric A. Carlen, Rupert L. Frank, Elliott H. Lieb

Abstract: We consider convex trace functions $Φ_{p,q,s} = Trace[ (A^{q/2}B^p A^{q/2})^s]$ where $A$ and $B$ are positive $n\times n$ matrices and ask when these functions are convex or concave. We also consider operator convexity/concavity of $A^{q/2}B^p A^{q/2}$ and convexity/concavity of the closely related trace functional $Trace[ A^{q/2}B^p A^{q/2} C^r]$. For concavity, these questions are completely se… ▽ More We consider convex trace functions $Φ_{p,q,s} = Trace[ (A^{q/2}B^p A^{q/2})^s]$ where $A$ and $B$ are positive $n\times n$ matrices and ask when these functions are convex or concave. We also consider operator convexity/concavity of $A^{q/2}B^p A^{q/2}$ and convexity/concavity of the closely related trace functional $Trace[ A^{q/2}B^p A^{q/2} C^r]$. For concavity, these questions are completely settled, thereby settling cases left open by Hiai, while the convexity questions are settled in many cases. As a consequence, the Audenaert-Datta Rényi entropy conjectures are proved for some cases. △ Less

Submitted 14 July, 2015; v1 submitted 1 September, 2014; originally announced September 2014.

Comments: 11 pages latex2e. Some new results added and some proofs simplified using the triple convexity theorem. Minor error in a proof detected and corrected 10/10/14. Some typos and a comment added at the end of the proof of Theorem 3.2 02/05/15. The revision corrects a few typos

MSC Class: 47A63; 94A17; 15A99

Entropy and entanglement bounds for reduced density matrices of fermionic states

Authors: Eric A. Carlen, Elliott H. Lieb, Robin Reuvers

Abstract: Unlike bosons, fermions always have a non-trivial entanglement. Intuitively, Slater determinantal states should be the least entangled states. To make this intuition precise we investigate entropy and entanglement of fermionic states and prove some extremal and near extremal properties of reduced density matrices of Slater determinantal states. Unlike bosons, fermions always have a non-trivial entanglement. Intuitively, Slater determinantal states should be the least entangled states. To make this intuition precise we investigate entropy and entanglement of fermionic states and prove some extremal and near extremal properties of reduced density matrices of Slater determinantal states. △ Less

Submitted 29 April, 2016; v1 submitted 15 March, 2014; originally announced March 2014.

Comments: 20 pages. This version of the paper is a substantial revision of the previous version

MSC Class: 81V99; 82B10; 94A17

Remainder Terms for Some Quantum Entropy Inequalities

Authors: Eric A. Carlen, Elliott H. Lieb

Abstract: We consider three von Neumann entropy inequalities: subadditivity; Pinsker's inequality for relative entropy; and the monotonicity of relative entropy. For these we state conditions for equality, and we prove some new error bounds away from equality, including an improved version of Pinsker's inequality. We consider three von Neumann entropy inequalities: subadditivity; Pinsker's inequality for relative entropy; and the monotonicity of relative entropy. For these we state conditions for equality, and we prove some new error bounds away from equality, including an improved version of Pinsker's inequality. △ Less

Submitted 7 March, 2014; v1 submitted 16 February, 2014; originally announced February 2014.

Comments: 6 pages, latex

MSC Class: 81V99; 82B10; 94A17

Journal ref: Jour. Math. Phys 55, 042201 (2014)

Monotonicity of a relative Rényi entropy

Authors: Rupert L. Frank, Elliott H. Lieb

Abstract: We show that a recent definition of relative Rényi entropy is monotone under completely positive, trace preserving maps. This proves a recent conjecture of Müller-Lennert et al. We show that a recent definition of relative Rényi entropy is monotone under completely positive, trace preserving maps. This proves a recent conjecture of Müller-Lennert et al. △ Less

Submitted 1 October, 2013; v1 submitted 22 June, 2013; originally announced June 2013.

Comments: 6 pages; minor revisions

A Gaussian refinement of the Lieb-Robinson bound

Authors: Elliott H. Lieb, Anna Vershynina

Abstract: This paper has been withdrawn by the authors because of an error in the proof. We can, however, prove a weaker spatial fall-off that is still superlinear, namely exp[-x log x]. This paper has been withdrawn by the authors because of an error in the proof. We can, however, prove a weaker spatial fall-off that is still superlinear, namely exp[-x log x]. △ Less

Submitted 26 August, 2013; v1 submitted 3 June, 2013; originally announced June 2013.

Comments: This paper has been withdrawn by the authors

Upper bounds on mixing rates

Authors: Elliott H. Lieb, Anna Vershynina

Abstract: We prove upper bounds on the rate, called "mixing rate", at which the von Neumann entropy of the expected density operator of a given ensemble of states changes under non-local unitary evolution. For an ensemble consisting of two states, with probabilities of p and 1-p, we prove that the mixing rate is bounded above by 4\sqrt{p(1-p)} for any Hamiltonian of norm 1. For a general ensemble of states… ▽ More We prove upper bounds on the rate, called "mixing rate", at which the von Neumann entropy of the expected density operator of a given ensemble of states changes under non-local unitary evolution. For an ensemble consisting of two states, with probabilities of p and 1-p, we prove that the mixing rate is bounded above by 4\sqrt{p(1-p)} for any Hamiltonian of norm 1. For a general ensemble of states with probabilities distributed according to a random variable X and individually evolving according to any set of bounded Hamiltonians, we conjecture that the mixing rate is bounded above by a Shannon entropy of a random variable X. For this general case we prove an upper bound that is independent of the dimension of the Hilbert space on which states in the ensemble act. △ Less

Submitted 5 November, 2013; v1 submitted 15 February, 2013; originally announced February 2013.

MSC Class: 81P45; 94A17

Journal ref: Quantum Information and Computation, volume 13, no. 11-12, pp. 0986-0994 (2013)

On an Extension Problem for Density Matrices

Authors: Eric A. Carlen, Joel L. Lebowitz, Elliott H. Lieb

Abstract: We investigate the problem of the existence of a density matrix rho on the product of three Hilbert spaces with given marginals on the pair (1,2) and the pair (2,3). While we do not solve this problem completely we offer partial results in the form of some necessary and some sufficient conditions on the two marginals. The quantum case differs markedly from the classical (commutative) case, where t… ▽ More We investigate the problem of the existence of a density matrix rho on the product of three Hilbert spaces with given marginals on the pair (1,2) and the pair (2,3). While we do not solve this problem completely we offer partial results in the form of some necessary and some sufficient conditions on the two marginals. The quantum case differs markedly from the classical (commutative) case, where the obvious necessary compatibility condition suffices, namely, trace_1 (rho_{12}) = \trace_3 (rho_{23}). △ Less

Submitted 19 January, 2013; originally announced January 2013.

Comments: 12 pages latex

MSC Class: 81V99; 82B10; 94A17

Proof of an entropy conjecture for Bloch coherent spin states and its generalizations

Authors: Elliott H. Lieb, Jan Philip Solovej

Abstract: Wehrl used Glauber coherent states to define a map from quantum density matrices to classical phase space densities and conjectured that for Glauber coherent states the mininimum classical entropy would occur for density matrices equal to projectors onto coherent states. This was proved by Lieb in 1978 who also extended the conjecture to Bloch SU(2) spin-coherent states for every angular momentum… ▽ More Wehrl used Glauber coherent states to define a map from quantum density matrices to classical phase space densities and conjectured that for Glauber coherent states the mininimum classical entropy would occur for density matrices equal to projectors onto coherent states. This was proved by Lieb in 1978 who also extended the conjecture to Bloch SU(2) spin-coherent states for every angular momentum $J$. This conjecture is proved here. We also recall our 1991 extension of the Wehrl map to a quantum channel from $J$ to $K=J+1/2, J+1, ...$, with $K=\infty$ corresponding to the Wehrl map to classical densities. For each $J$ and $J<K\leq \infty$ we show that the minimal output entropy for these channels occurs for a $J$ coherent state. We also show that coherent states both Glauber and Bloch minimize any concave functional, not just entropy. △ Less

Submitted 22 September, 2012; v1 submitted 17 August, 2012; originally announced August 2012.

Comments: Version 2 only minor changes

Journal ref: Acta Math, 212, 379-398 (2014)

Extended quantum conditional entropy and quantum uncertainty inequalities

Authors: Rupert L. Frank, Elliott H. Lieb

Abstract: Quantum states can be subjected to classical measurements, whose incompatibility, or uncertainty, can be quantified by a comparison of certain entropies. There is a long history of such entropy inequalities between position and momentum. Recently these inequalities have been generalized to the tensor product of several Hilbert spaces and we show here how their derivations can be shortened to a few… ▽ More Quantum states can be subjected to classical measurements, whose incompatibility, or uncertainty, can be quantified by a comparison of certain entropies. There is a long history of such entropy inequalities between position and momentum. Recently these inequalities have been generalized to the tensor product of several Hilbert spaces and we show here how their derivations can be shortened to a few lines and how they can be generalized. All the recently derived uncertainty relations utilize the strong subadditivity (SSA) theorem; our contribution relies on directly utilizing the proof technique of the original derivation of SSA. △ Less

Submitted 3 April, 2012; originally announced April 2012.

Comments: 4 pages

Bounds for Entanglement via an Extension of Strong Subadditivity of Entropy

Authors: Eric A. Carlen, Elliott H. Lieb

Abstract: We prove lower bounds for the entanglement of formation and the squashed entanglement for any a bipartite density matrix in terms of the conditional entropy of the bipartite state with respect to either of its partial traces, and prove that these bounds are sharp by constructing a new class of states whose entanglements can be computed, and for which the bounds are saturated. We prove lower bounds for the entanglement of formation and the squashed entanglement for any a bipartite density matrix in terms of the conditional entropy of the bipartite state with respect to either of its partial traces, and prove that these bounds are sharp by constructing a new class of states whose entanglements can be computed, and for which the bounds are saturated. △ Less

Submitted 27 March, 2012; v1 submitted 21 March, 2012; originally announced March 2012.

Comments: 8 pages. Version 2 includes some additional references and comments

MSC Class: 81P45; 47A63

Localization of Multi-Dimensional Wigner Distributions

Authors: Elliott H. Lieb, Yaron Ostrover

Abstract: A well known result of P. Flandrin states that a Gaussian uniquely maximizes the integral of the Wigner distribution over every centered disc in the phase plane. While there is no difficulty in generalizing this result to higher-dimensional poly-discs, the generalization to balls is less obvious. In this note we provide such a generalization. A well known result of P. Flandrin states that a Gaussian uniquely maximizes the integral of the Wigner distribution over every centered disc in the phase plane. While there is no difficulty in generalizing this result to higher-dimensional poly-discs, the generalization to balls is less obvious. In this note we provide such a generalization. △ Less

Submitted 12 August, 2010; v1 submitted 11 July, 2010; originally announced July 2010.

Comments: Minor corrections, to appear in the Journal of Mathematical Physics

MSC Class: 81S30; 81P15; 81P16

Short proofs of theorems of Mirsky and Horn on diagonals and eigenvalues of matrices

Authors: Eric A. Carlen, Elliott H. Lieb

Abstract: A theorem of Mirsky provides necessary and sufficient conditions for the existence of an N-square complex matrix with prescribed diagonal entries and prescribed eigenvalues. We give a simple inductive proof of this theorem. A theorem of Mirsky provides necessary and sufficient conditions for the existence of an N-square complex matrix with prescribed diagonal entries and prescribed eigenvalues. We give a simple inductive proof of this theorem. △ Less

Submitted 12 May, 2011; v1 submitted 4 April, 2009; originally announced April 2009.

Comments: This is the final version of the paper as published in EJLA

MSC Class: 15A42; 15A51

Journal ref: Electronic Journal of Linear Algebra, vol. 18, 438-441 (2009)

A Minkowski Type Trace Inequality and Strong Subadditivity of Quantum Entropy

Authors: Eric A. Carlen, Elliott H. Lieb

Abstract: We consider the following trace function on n-tuples of positive operators: Φ_p(A_1,A_2,...,A_n) = Trace (\sum_{j=1}^n A_j^p)^{1/p} and prove that it is jointly concave for 0<p\le 1 and convex for p=2. We then derive from this a Minkowski type inequality for operators on a tensor product of three Hilbert spaces, and show how this implies the strong subadditivity of quantum mechanical entropy.… ▽ More We consider the following trace function on n-tuples of positive operators: Φ_p(A_1,A_2,...,A_n) = Trace (\sum_{j=1}^n A_j^p)^{1/p} and prove that it is jointly concave for 0<p\le 1 and convex for p=2. We then derive from this a Minkowski type inequality for operators on a tensor product of three Hilbert spaces, and show how this implies the strong subadditivity of quantum mechanical entropy. For p>2, Φ_p is neither convex nor concave. We conjecture that Φ_p is convex for 1<p<2, but our methods do not show this. △ Less

Submitted 12 January, 2007; originally announced January 2007.

Comments: 13 pages, plaintex, dedicated to M. Birman

MSC Class: 47A63; 15A90

Journal ref: American Mathematical Society Translations, series 2, vol 189, pp. 59-69 (1999)

A Stronger Subadditivity of Entropy

Authors: Elliott H. Lieb, Robert Seiringer

Abstract: The strong subadditivity of entropy plays a key role in several areas of physics and mathematics. It states that the entropy S[ρ]= - Tr (ρ\ln ρ) of a density matrix ρ_{123} on the product of three Hilbert spaces satisfies S[ρ_{123}] - S[ρ_{23}] \leq S[ρ_{12}]- S[ρ_2]. We strengthen this to S[ρ_{123}] - S[ρ_{12}] \leq \sum_αn^α(S[ρ_{23}^α] - S[ρ_2^α]), where the n^αare weights and the ρ_{23}^αare… ▽ More The strong subadditivity of entropy plays a key role in several areas of physics and mathematics. It states that the entropy S[ρ]= - Tr (ρ\ln ρ) of a density matrix ρ_{123} on the product of three Hilbert spaces satisfies S[ρ_{123}] - S[ρ_{23}] \leq S[ρ_{12}]- S[ρ_2]. We strengthen this to S[ρ_{123}] - S[ρ_{12}] \leq \sum_αn^α(S[ρ_{23}^α] - S[ρ_2^α]), where the n^αare weights and the ρ_{23}^αare partitions of ρ_{23}. Correspondingly, there is a strengthening of the theorem that the map A -> Tr \exp[L + \ln A] is concave. As applications we prove some monotonicity and convexity properties of the Wehrl entropy and entropy inequalities for quantum gases. △ Less

Submitted 2 December, 2004; originally announced December 2004.

Comments: LaTeX2e, 24 pages

Journal ref: Phys. Rev. A 71, 062329 (2005)

Ground state properties of a fully frustrated quantum spin system

Authors: Elliott H. Lieb, Peter Schupp

Abstract: We find that ground states of the quantum Heisenberg antiferromagnet on the geometrically frustrated pyrochlore checkerboard lattice are singlets and can be expressed in terms of positive matrices. The magnetization at zero external field vanishes for each frustrated tetrahedral unit separately and there is an upper bound of 1/8 in natural units on the susceptibility both for the ground state an… ▽ More We find that ground states of the quantum Heisenberg antiferromagnet on the geometrically frustrated pyrochlore checkerboard lattice are singlets and can be expressed in terms of positive matrices. The magnetization at zero external field vanishes for each frustrated tetrahedral unit separately and there is an upper bound of 1/8 in natural units on the susceptibility both for the ground state and at finite temperature. These results are the first exact ones in this field and generalize to some other lattices; the approach is also of interest for other spin systems. △ Less

Submitted 19 August, 1999; originally announced August 1999.

Comments: 4 pages

MSC Class: 82D40; 81V70