Searcharxiv⌕ Search

arXiv subjects

Eric A. Carlen

Publications and source records attributed to Eric A. Carlen.

At least 55 records · Page 3Linked to original sources

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

math.FA↗

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.

math-ph↗

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.

math.OA↗

On linear hypocoercive BGK models

We study hypocoercivity for a class of linear and linearized BGK models for discrete and continuous phase spaces. We develop methods for constructing entropy functionals that prove exponential rates of relaxation to equilibrium. Our strategies are based on the entropy and spectral methods, adapting Lyapunov's direct method (even for "infinite matrices" appearing for continuous phase spaces) to construct appropriate entropy functionals. Finally, we also prove local asymptotic stability of a nonlinear BGK model.

math.AP↗

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.

math-ph↗

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.

math.OC↗

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.

math-ph↗

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.

math-ph↗

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.

quant-ph↗

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.

math.AP↗

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}).

quant-ph↗

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.

math.AP↗

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.

quant-ph↗

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.

math.FA↗

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.

math.FA↗

Stability for a GNS inequality and the Log-HLS inequality, with application to the critical mass Keller-Segel equation

Starting from the quantitative stability result of Bianchi and Egnell for the 2-Sobolev inequality, we deduce several different stability results for a Gagliardo-Nirenberg-Sobolev inequality in the plane. Then, exploiting the connection between this inequality and a fast diffusion equation, we get a quantitative stability for the Log-HLS inequality. Finally, using all these estimates, we prove a quantitative convergence result for the critical mass Keller-Segel system.

math.AP↗