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.
Source author record
Eric A. Carlen
Eric A. Carlen appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
29works
10topics
4close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
29 published item(s)
preprint2022arXiv
A trace inequality of Ando, Hiai and Okubo and a monotonicity property of the Golden-Thompson inequality
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.
0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv
On some convexity and monotonicity inequalities of Elliott Lieb
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.
0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv
Dissipation for a non-convex gradient flow problem of a Patlack-Keller-Segel type for densities on $\mathbb{R}^n$, $n\geq 3$
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.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Complete positivity and self-adjointness
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.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
A remainder term for Hölder's inequality for matrices and quantum entropy inequalities
We prove a sharp remainder term for Hölder's inequality for traces as a consequence of the uniform convexity properties of the Schatten trace norms. We then show how this implies a novel family of Pinsker type bounds for the quantum Renyi entropy. Finally, we show how the sharp form of the usual quantum Pinsker inequality for relative entropy may be obtained as a fairly direct consequence of uniform convexity.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
Duality and Stability for Functional Inequalities
We develop a general framework for using duality to "transfer" stability results for a functional inequality to its dual inequality. As an application, we prove a stability bound for the Hardy-Littlewood-Sobolev inequality, which is related by duality, and the results proved here, to a stability inequality for the Sobolev inequality proved by Bianchi and Egnell, and extended by Chen, Frank and Weth. We also discuss how the results proved here can be combined with the proof of functional inequalities by means of flows to prove stability bounds with computable constants
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
Entropy and entanglement bounds for reduced density matrices of fermionic 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.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
On a Quantum Entropy Power Inequality of Audenaert, Datta and Ozols
We give a short proof of a recent inequality of Audenaert, Datta and Ozols, and determine cases of equality.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Some Operator and Trace Function Convexity Theorems
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.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Stability for the Brunn-Minkowski and Riesz rearrangement inequalities, with applications to Gaussian concentration and finite range non-local isoperimetry
We provide a simple, general argument to obtain improvements of concentration-type inequalities starting from improvements of their corresponding isoperimetric-type inequalities. We apply this argument to obtain robust improvements of the Brunn-Minkowski inequality (for Minkowski sums between generic sets and convex sets) and of the Gaussian concentration inequality. The former inequality is then used to obtain a robust improvement of the Riesz rearrangement inequality under certain natural conditions. These conditions are compatible with the applications to a finite-range nonlocal isoperimetric problem arising in statistical mechanics.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
A Boltzmann model for rod alignment and schooling fish
We consider a Boltzmann model introduced by Bertin, Droz and Greegoire as a binary interaction model of the Vicsek alignment interaction. This model considers particles lying on the circle. Pairs of particles interact by trying to reach their mid-point (on the circle) up to some noise. We study the equilibria of this Boltzmann model and we rigorously show the existence of a pitchfork bifurcation when a parameter measuring the inverse of the noise intensity crosses a critical threshold. The analysis is carried over rigorously when there are only finitely many non-zero Fourier modes of the noise distribution. In this case, we can show that the critical exponent of the bifurcation is exactly 1/2. In the case of an infinite number of non-zero Fourier modes, a similar behavior can be formally obtained thanks to a method relying on integer partitions first proposed by Ben-Naim and Krapivsky.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Exponential approach to, and properties of, a non-equilibrium steady state in a dilute gas
We investigate a kinetic model of a system in contact with several thermal reservoirs at different temperatures $T_α$. Our system is a spatially uniform dilute gas whose internal dynamics is described by the nonlinear Boltzmann equation with Maxwellian collisions. Similarly, the interaction with reservoir $α$ is represented by a Markovian process that has the Maxwellian $M_{T_α}$ as its stationary state. We prove existence and uniqueness of a non-equilibrium steady state (NESS) and show exponential convergence to this NESS in a metric on probability measures introduced into the study of Maxwellian collisions by Gabetta, Toscani and Wenberg (GTW). This shows that the GTW distance between the current velocity distribution to the steady-state velocity distribution is a Lyapunov functional for the system. We also derive expressions for the entropy production in the system plus the reservoirs which is always positive.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Exponential Relaxation to Equilibrium for a One-Dimensional Focusing Non-Linear Schrödinger Equation with Noise
We construct generalized grand-canonical- and canonical Gibbs measures for a Hamiltonian system described in terms of a complex scalar field that is defined on a circle and satisfies a nonlinear Schrödinger equation with a focusing nonlinearity of order $p<6$. Key properties of these Gibbs measures, in particular absence of "phase transitions" and regularity properties of field samples, are established. We then study a time evolution of this system given by the Hamiltonian evolution perturbed by a stochastic noise term that mimics effects of coupling the system to a heat bath at some fixed temperature. The noise is of Ornstein-Uhlenbeck type for the Fourier modes of the field, with the strength of the noise decaying to zero, as the frequency of the mode tends to $\infty$. We prove exponential approach of the state of the system to a grand-canonical Gibbs measure at a temperature and "chemical potential" determined by the stochastic noise term.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Remainder Terms for Some Quantum Entropy Inequalities
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.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
On an Extension Problem for Density Matrices
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}).
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Spectral gap for the Kac model with hard sphere collisions
We prove the analog of the Kac conjecture for hard sphere collisions
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Stability estimates for the lowest eigenvalue of a Schrödinger operator
There is a family of potentials that minimize the lowest eigenvalue of a Schrödinger eigenvalue under the constraint of a given L^p norm of the potential. We give effective estimates for the amount by which the eigenvalue increases when the potential is not one of these optimal potentials. Our results are analogous to those for the isoperimetric problem and the Sobolev inequality. We also prove a stability estimate for Hölder's inequality, which we believe to be new.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
An Analog of the 2-Wasserstein Metric in Non-commutative Probability under which the Fermionic Fokker-Planck Equation is Gradient Flow for the Entropy
Let $\Cl$ denote the Clifford algebra over $\R^n$, which is the von Neumann algebra generated by $n$ self-adjoint operators $Q_j$, $j=1,...,n$ satisfying the canonical anticommutation relations, $Q_iQ_j+Q_jQ_i = 2δ_{ij}I$, and let $τ$ denote the normalized trace on $\Cl$. This algebra arises in quantum mechanics as the algebra of observables generated by $n$ Fermionic degrees of freedom. Let $\Dens$ denote the set of all positive operators $ρ\in\Cl$ such that $τ(ρ) =1$; these are the non-commutative analogs of probability densities in the non-commutative probability space $(\Cl,τ)$. The Fermionic Fokker-Planck equation is a quantum-mechanical analog of the classical Fokker-Planck equation with which it has much in common, such as the same optimal hypercontractivity properties. In this paper we construct a Riemannian metric on $\Dens$ that we show to be a natural analog of the classical 2-Wasserstein metric, and we show that, in analogy with the classical case, the Fermionic Fokker-Planck equation is gradient flow in this metric for the relative entropy with respect to the ground state. We derive a number of consequences of this, such as a sharp Talagrand inequality for this metric, and we prove a number of results pertaining to this metric. Several open problems are raised.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Bounds for Entanglement via an Extension of Strong Subadditivity of Entropy
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.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Contraction of the proximal map and generalized convexity of the Moreau-Yosida regularization in the 2-Wasserstein metric
We investigate the Moreau-Yosida regularization and the associated proximal map in the context of discrete gradient flow for the 2-Wasserstein metric. Our main results are a stepwise contraction property for the proximal map and an "above the tangent line" inequality for the regularization. Using the latter, we prove a Talagrand inequality and an HWI inequality for the regularization, under appropriate hypotheses. In the final section, the results are applied to study the discrete gradient flow for Rényi entropies. As Otto showed, the gradient flow for these entropies in the 2-Wasserstein metric is a porous medium flow or a fast diffusion flow, depending on the exponent of the entropy. We show that a striking number of the remarkable features of the porous medium and fast diffusion flows are present in the discrete gradient flow and do not simply emerge in the limit as the time-step goes to zero.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Asymmetric Covariance Estimates of Brascamp-Lieb Type and Related Inequalities for Log-concave Measures
An inequality of Brascamp and Lieb provides a bound on the covariance of two functions with respect to log-concave measures. The bound estimates the covariance by the product of the $L^2$ norms of the gradients of the functions, where the magnitude of the gradient is computed using an inner product given by the inverse Hessian matrix of the potential of the log-concave measure. Menz and Otto \cite{OM} proved a variant of this with the two $L^2$ norms replaced by $L^1$ and $L^\infty$ norms, but only for $\R^1$. We prove a generalization of both by extending these inequalities to $L^p$ and $L^q$ norms and on $\R^n$, for any $n\geq 1$. We also prove an inequality for integrals of divided differences of functions in terms of integrals of their gradients.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Short proofs of theorems of Mirsky and Horn on diagonals and eigenvalues of matrices
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.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Stability of planar fronts for a non--local phase kinetics equation with a conservation law in $D \le 3$
We consider, in a $D-$dimensional cylinder, a non--local evolution equation that describes the evolution of the local magnetization in a continuum limit of an Ising spin system with Kawasaki dynamics and Kac potentials. We consider sub--critical temperatures, for which there are two local spatially homogeneous equilibria, and show a local nonlinear stability result for the minimum free energy profiles for the magnetization at the interface between regions of these two different local equilibrium; i.e., the planar fronts: We show that an initial perturbation of a front that is sufficiently small in $L^2$ norm, and sufficiently localized yields a solution that relaxes to another front, selected by a conservation law, in the $L^1$ norm at an algebraic rate that we explicitly estimate. We also obtain rates for the relaxation in the $L^2$ norm and the rate of decrease of the excess free energy.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Hardy-Littlewood-Sobolev Inequalities via Fast Diffusion Flows
We give a simple proof of the $λ= d-2$ cases of the sharp Hardy-Littlewood-Sobolev inequality for $d\geq 3$, and the sharp Logarithmic Hardy-Littlewood-Sobolev inequality for $d=2$ via a monotone flow governed by the fast diffusion equation.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Localization, Smoothness, and Convergence to Equilibrium for a Thin Film Equation
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.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
On the Markov sequence problem for Jacobi polynomials
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.
0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv
On Strong Convergence to Equilibrium for the Boltzmann Equation with Soft Potentials
The paper concerns $L^1$- convergence to equilibrium for weak solutions of the spatially homogeneous Boltzmann Equation for soft potentials $(-4\le \gm<0$), with and without angular cutoff. We prove the time-averaged $L^1$-convergence to equilibrium for all weak solutions whose initial data have finite entropy and finite moments up to order greater than $2+|\gm|$. For the usual $L^1$-convergence we prove that the convergence rate can be controlled from below by the initial energy tails, and hence, for initial data with long energy tails, the convergence can be arbitrarily slow. We also show that under the integrable angular cutoff on the collision kernel with $-1\le \gm<0$, there are algebraic upper and lower bounds on the rate of $L^1$-convergence to equilibrium. Our methods of proof are based on entropy inequalities and moment estimates.
0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv
Strong Convergence towards homogeneous cooling states for dissipative Maxwell models
We show the propagation of regularity, uniformly in time, for the scaled solutions of the inelastic Maxwell model for small inelasticity. This result together with the weak convergence towards the homogenous cooling state present in the literature implies the strong convergence in Sobolev norms and in the $L^1$ norm towards it depending on the regularity of the initial data. The strategy of the proof is based on a precise control of the growth of the Fisher information for the inelastic Boltzmann equation. Moreover, as an application we obtain a bound in the $L^1$ distance between the homogeneous cooling state and the corresponding Maxwellian distribution vanishing as the inelasticity goes to zero.
0 citations0 reviewsNo code linkedOpen access