• ### Some trace inequalities for exponential and logarithmic functions(1709.05450)

April 30, 2018 math-ph, math.MP
Consider a function $F(X,Y)$ of pairs of positive matrices with values in the positive matrices such that whenever $X$ and $Y$ commute $F(X,Y)= X^pY^q.$ Our first main result gives conditions on $F$ such that ${\rm Tr}[ X \log (F(Z,Y))] \leq {\rm Tr}[X(p\log X + q \log Y)]$ for all $X,Y,Z$ such that ${\rm Tr} Z = {\rm Tr} X$. (Note that $Z$ is absent from the right side of the inequality.) We give several examples of functions $F$ to which the theorem applies. Our theorem allows us to give simple proofs of the well known logarithmic inequalities of Hiai and Petz and several new generalizations of them which involve three variables $X,Y,Z$ instead of just $X,Y$ alone. The investigation of these logarithmic inequalities is closely connected with three quantum relative entropy functionals: The standard Umegaki quantum relative entropy $D(X||Y) = {\rm Tr} [X(\log X-\log Y])$, and two others, the Donald relative entropy $D_D(X||Y)$, and the Belavkin-Stasewski relative entropy $D_{BS}(X||Y)$. They are known to satisfy $D_D(X||Y) \leq D(X||Y)\leq D_{BS}(X||Y)$. We prove that the Donald relative entropy provides the sharp upper bound, independent of $Z$, on ${\rm Tr}[ X \log (F(Z,Y))]$ in a number of cases in which $(Z,Y)$ is homogeneous of degree $1$ in $Z$ and $-1$ in $Y$. We also investigate the Legendre transforms in $X$ of $D_D(X||Y)$ and $D_{BS}(X||Y)$, and show how our results for these lead to new refinements of the Golden-Thompson inequality.
• ### A Quantum Kac Model(1804.10280)

April 26, 2018 math-ph, math.MP
We introduce quantum versions of the Kac Master Equation and the Kac Boltzmann Equation. We study the steady states of each of these equations, and prove a propagation of chaos theorem that relates them. The Quantum Kac Master Equation (QKME) describes a quantum Markov semigroup, while the Kac Boltzmann Equation describes a non-linear evolution of density matrices on the single particle state space. All of the steady states of the $N$ particle quantum system described by the QKME are separable, and thus the evolution described by the QKME is entanglement breaking. The results set the stage for a quantitative study of approach to equilibrium in quantum kinetic theory, and a quantitative study the rate of destruction of entanglement in a class of quantum Markov semigroups describing binary interactions.
• ### Recovery and the Data Processing Inequality for quasi-entropies(1710.08080)

April 18, 2018 quant-ph, math-ph, math.MP
We prove number of quantitative stability bounds for the cases of equality in Petz's monotonicity theorem for quasi-relative entropies defined in terms of an operator monotone decreasing functions. Included in our results is a bound in terms of the Petz recovery map, but we obtain more general results. The present treatment is entirely elementary and developed in the context of finite dimensional von Neumann algebras where the results are already non-trivial and of interest in quantum information theory.
• ### Quantitative Bounds on the Rate of Approach to Equilibrium for some One-Dimensional Stochastic Non-Linear Schr\"odinger Equations(1712.09588)

Dec. 27, 2017 math-ph, math.MP, math.FA
We establish quantitative bounds on the rate of approach to equilibrium for a system with infinitely many degrees of freedom evolving according to a one-dimensional focusing nonlinear Schr\"odinger equation with diffusive forcing. Equilibrium is described by a generalized grand canonical ensemble. Our analysis also applies to the easier case of defocusing nonlinearities
• ### A dual form of the sharp Nash inequality and its weighted generalization(1703.09325)

Dec. 21, 2017 math.AP, math.FA
The well known duality between the Sobolev inequality and the Hardy-Littlewood-Sobolev inequality suggests that the Nash inequality could also have an interesting dual form, even though the Nash inequality relates three norms instead of two. We provide such a dual form here with sharp constants. This dual inequality relates the $L^2$ norm to the infimal convolution of the $L^\infty$ and $H^{-1}$ norms. The computation of this infimal convolution is a minimization problem, which we solve explicitly, thus providing a new proof of the sharp Nash inequality itself. This proof, via duality, also yields the sharp form of some new, weighted generalizations of the Nash inequality as well as the dual of these weighted variants.
• ### Recovery map stability for the Data Processing Inequality(1710.02409)

May 30, 2019 quant-ph, math.OA
The Data Processing Inequality (DPI) says that the Umegaki relative entropy $S(\rho||\sigma) := {\rm Tr}[\rho(\log \rho - \log \sigma)]$ is non-increasing under the action of completely positive trace preserving (CPTP) maps. Let ${\mathcal M}$ be a finite dimensional von Neumann algebra and ${\mathcal N}$ a von Neumann subalgebra if it. Let ${\mathcal E}_\tau$ be the tracial conditional expectation from ${\mathcal M}$ onto ${\mathcal N}$. For density matrices $\rho$ and $\sigma$ in ${\mathcal N}$, let $\rho_{\mathcal N} := {\mathcal E}_\tau \rho$ and $\sigma_{\mathcal N} := {\mathcal E}_\tau \sigma$. Since ${\mathcal E}_\tau$ is CPTP, the DPI says that $S(\rho||\sigma) \geq S(\rho_{\mathcal N}||\sigma_{\mathcal N})$, and the general case is readily deduced from this. A theorem of Petz says that there is equality if and only if $\sigma = {\mathcal R}_\rho(\sigma_{\mathcal N} )$, where ${\mathcal R}_\rho$ is the Petz recovery map, which is dual to the Accardi-Cecchini coarse graining operator ${\mathcal A}_\rho$ from ${\mathcal M}$ to ${\mathcal N}$. In it simplest form, our bound is $$S(\rho||\sigma) - S(\rho_{\mathcal N} ||\sigma_{\mathcal N} ) \geq \left(\frac{1}{8\pi}\right)^{4} \|\Delta_{\sigma,\rho}\|^{-2} \| {\mathcal R}_{\rho_{\mathcal N}} -\sigma\|_1^4$$ where $\Delta_{\sigma,\rho}$ is the relative modular operator. We also prove related results for various quasi-relative entropies. Explicitly describing the solutions set of the Petz equation $\sigma = {\mathcal R}_\rho(\sigma_{\mathcal N} )$ amounts to determining the set of fixed points of the Accardi-Cecchini coarse graining map. Building on previous work, we provide a throughly detailed description of the set of solutions of the Petz equation, and obtain all of our results in a simple self, contained manner.
• ### Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance(1609.01254)

April 25, 2017 math.OA
We study a class of ergodic quantum Markov semigroups on finite-dimensional unital $C^*$-algebras. These semigroups have a unique stationary state $\sigma$, and we are concerned with those that satisfy a quantum detailed balance condition with respect to $\sigma$. We show that the evolution on the set of states that is given by such a quantum Markov semigroup is gradient flow for the relative entropy with respect to $\sigma$ in a particular Riemannian metric on the set of states. This metric is a non-commutative analog of the $2$-Wasserstein metric, and in several interesting cases we are able to show, in analogy with work of Otto on gradient flows with respect to the classical $2$-Wasserstein metric, that the relative entropy is strictly and uniformly convex with respect to the Riemannian metric introduced here. As a consequence, we obtain a number of new inequalities for the decay of relative entropy for ergodic quantum Markov semigroups with detailed balance.
• ### Approach to the steady state in kinetic models with thermal reservoirs at different temperatures(1609.00580)

April 16, 2017 math-ph, math.MP
We continue the investigation of kinetic models of a system in contact via stochastic interactions with several spatially homogeneous thermal reservoirs at different temperatures. Considering models different from those investigated in earlier work, we explicitly compute the unique spatially uniform non-equilibrium steady state (NESS) and prove that it is approached exponentially fast from any uniform initial state. This leaves open the question of whether there exist NESS that are not spatially uniform. Making a further simplification of our models, we then prove non-existence of such NESS and exponential approach to the unique spatially uniform NESS (with a computably boundable rate). The method of proof relies on refined Doeblin estimates and other probabilisitic techniques, and is quite different form the analysis in earlier work that was based on contraction mapping methods.
• ### Entropy production inequalities for the Kac Walk(1608.00223)

April 16, 2017 math-ph, math.MP
Mark Kac introduced what is now called 'the Kac Walk' with the aim of investigating the spatially homogeneous Boltzmann equation by probabilistic means. Much recent work, discussed below, on Kac's program has run in the other direction: using recent results on the Boltzmann equation, or its one-dimensional analog, the non-linear Kac-Boltzmann equation, to prove results for the Kac Walk. Here we investigate new functional inequalities for the Kac Walk pertaining to entropy production, and introduce a new form of chaoticity'. We then show how these entropy production inequalities imply entropy production inequalities for the Kac-Boltzmann equation. This results validate Kac's program for proving results on the non-linear Boltzmann equation via analysis of the Kac Walk, and they constitute a partial solution to the Almost' Cercignani Conjecture on the sphere.
• ### Duality and Stability for Functional Inequalities(1609.00936)

Sept. 4, 2016 math.FA
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
• ### A remainder term for H\"older's inequality for matrices and quantum entropy inequalities(1605.04581)

May 15, 2016 math-ph, math.MP
We prove a sharp remainder term for H\"older'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.
• ### Entropy and entanglement bounds for reduced density matrices of fermionic states(1403.3816)

April 29, 2016 quant-ph, math.OA
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.
• ### On a Quantum Entropy Power Inequality of Audenaert, Datta and Ozols(1603.07043)

March 23, 2016 math-ph, math.MP
We give a short proof of a recent inequality of Audenaert, Datta and Ozols, and determine cases of equality.
• ### On linear hypocoercive BGK models(1510.02290)

Jan. 25, 2016 math.AP
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.
• ### Some Operator and Trace Function Convexity Theorems(1409.0564)

July 14, 2015 quant-ph, math-ph, math.MP
We consider convex trace functions $\Phi_{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\'enyi entropy conjectures are proved for some cases.
• ### Stability for the Brunn-Minkowski and Riesz rearrangement inequalities, with applications to Gaussian concentration and finite range non-local isoperimetry(1507.03454)

July 13, 2015 math-ph, math.MP, math.PR, math.OC
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.
• ### Exponential Relaxation to Equilibrium for a One-Dimensional Focusing Non-Linear Schr\"odinger Equation with Noise(1409.2327)

Sept. 8, 2014 math-ph, math.MP
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\"odinger 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.
• ### Exponential approach to, and properties of, a non-equilibrium steady state in a dilute gas(1406.4097)

June 16, 2014 math-ph, math.MP
We investigate a kinetic model of a system in contact with several thermal reservoirs at different temperatures $T_\alpha$. 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 $\alpha$ is represented by a Markovian process that has the Maxwellian $M_{T_\alpha}$ 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.
• ### A Boltzmann model for rod alignment and schooling fish(1404.3086)

April 11, 2014 math.AP
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.
• ### Remainder Terms for Some Quantum Entropy Inequalities(1402.3840)

March 7, 2014 quant-ph, math-ph, math.MP, math.OA
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.
• ### Stability estimates for the lowest eigenvalue of a Schr\"odinger operator(1301.5032)

May 14, 2013 math.AP, math-ph, math.MP, math.SP
There is a family of potentials that minimize the lowest eigenvalue of a Schr\"odinger 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\"older's inequality, which we believe to be new.
• ### Spectral gap for the Kac model with hard sphere collisions(1304.5124)

April 18, 2013 math-ph, math.MP, math.FA
We prove the analog of the Kac conjecture for hard sphere collisions
• ### On an Extension Problem for Density Matrices(1301.4605)

Jan. 19, 2013 quant-ph, math-ph, math.MP
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}).
• ### Contraction of the proximal map and generalized convexity of the Moreau-Yosida regularization in the 2-Wasserstein metric(1205.6565)

Oct. 16, 2012 math.AP
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\'enyi 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.
• ### Bounds for Entanglement via an Extension of Strong Subadditivity of Entropy(1203.4719)

March 27, 2012 quant-ph, math-ph, math.MP, math.OA
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.