A monotonicity version of a concavity theorem of Lieb
We give a simple proof of a strengthened version of a theorem of Lieb that played a key role in the proof of strong subadditivity of the quantum entropy.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
Eric A. Carlen contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We give a simple proof of a strengthened version of a theorem of Lieb that played a key role in the proof of strong subadditivity of the quantum entropy.
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.
A fundamental paper of Elliott Lieb from 1973 has been the basis for much beautiful work on matrix inequalities by many people over the following years. We review a well-connected set of these developments. Some new proofs are provided.
We study an evolution equation that is the gradient flow in the $2$-Wasserstien metric of a non-convex functional for densities in $\mathbb{R}^n$ with $n \geq 3$. Like the Patlack-Keller-Segel system on $\mathbb{R}^2$, this evolution equation features a competition between the dispersive effects of diffusion, and the accretive effects of a concentrating drift. We determine a parameter range in which the diffusion dominates, and all mass leaves any fixed compact subset of $\mathbb{R}^n$ at an explicit polynomial rate.
We specify the structure of completely positive operators and quantum Markov semigroup generators that are symmetric with respect to a family of inner products, also providing new information on the order strucure an extreme points in some previously studied cases.
We investigate the long-time behavior of weak solutions to the thin-film type equation $$v_t =(xv - vv_{xxx})_x\ ,$$ which arises in the Hele-Shaw problem. We estimate the rate of convergence of solutions to the Smyth-Hill equilibrium solution, which has the form $\frac{1}{24}(C^2-x^2)^2_+$, in the norm $$|\!|\!| f |\!|\!|_{m,1}^2 = \int_{\R}(1+ |x|^{2m})|f(x)|^2\dd x + \int_{\R}|f_x(x)|^2\dd x\ .$$ We obtain exponential convergence in the $|\!|\!| \cdot |\!|\!|_{m,1}$ norm for all $m$ with $1\leq m< 2$, thus obtaining rates of convergence in norms measuring both smoothness and localization. The localization is the main novelty, and in fact, we show that there is a close connection between the localization bounds and the smoothness bounds: Convergence of second moments implies convergence in the $H^1$ Sobolev norm. We then use methods of optimal mass transportation to obtain the convergence of the required moments. We also use such methods to construct an appropriate class of weak solutions for which all of the estimates on which our convergence analysis depends may be rigorously derived. Though our main results on convergence can be stated without reference to optimal mass transportation, essential use of this theory is made throughout our analysis.
We give a simple and entirely elementary proof of Gasper's theorem on the Markov sequence problem for Jacobi polynomials. It is based on the spectral analysis of an operator that arises in the study of a probabilistic model of colliding molecules introduced by Marc Kac. In the process, we obtain some new integral formulas for ratios of Jacobi polynomials that generalize Gasper's product formula and a well known formula of Koornwinder.