
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(XY) = {\rm Tr} [X(\log X\log Y])$, and two others, the Donald relative
entropy $D_D(XY)$, and the BelavkinStasewski relative entropy
$D_{BS}(XY)$. They are known to satisfy $D_D(XY) \leq D(XY)\leq
D_{BS}(XY)$. 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(XY)$ and
$D_{BS}(XY)$, and show how our results for these lead to new refinements of
the GoldenThompson inequality.

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 nonlinear 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.

We prove number of quantitative stability bounds for the cases of equality in
Petz's monotonicity theorem for quasirelative 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 nontrivial and
of interest in quantum information theory.

We establish quantitative bounds on the rate of approach to equilibrium for a
system with infinitely many degrees of freedom evolving according to a
onedimensional 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

The well known duality between the Sobolev inequality and the
HardyLittlewoodSobolev 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.

The Data Processing Inequality (DPI) says that the Umegaki relative entropy
$S(\rho\sigma) := {\rm Tr}[\rho(\log \rho  \log \sigma)]$ is nonincreasing
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 AccardiCecchini 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 quasirelative 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 AccardiCecchini 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.

We study a class of ergodic quantum Markov semigroups on finitedimensional
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 noncommutative 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.

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
nonequilibrium 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 nonexistence 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.

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
onedimensional analog, the nonlinear KacBoltzmann 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 KacBoltzmann equation. This results
validate Kac's program for proving results on the nonlinear Boltzmann equation
via analysis of the Kac Walk, and they constitute a partial solution to the
`Almost' Cercignani Conjecture on the sphere.

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 HardyLittlewoodSobolev 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

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.

Unlike bosons, fermions always have a nontrivial 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.

We give a short proof of a recent inequality of Audenaert, Datta and Ozols,
and determine cases of equality.

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.

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 AudenaertDatta R\'enyi entropy conjectures are proved for
some cases.

We provide a simple, general argument to obtain improvements of
concentrationtype inequalities starting from improvements of their
corresponding isoperimetrictype inequalities. We apply this argument to obtain
robust improvements of the BrunnMinkowski 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 finiterange nonlocal
isoperimetric problem arising in statistical mechanics.

We construct generalized grandcanonical 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 OrnsteinUhlenbeck 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
grandcanonical Gibbs measure at a temperature and "chemical potential"
determined by the stochastic noise term.

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 nonequilibrium 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
steadystate 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.

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 midpoint (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 nonzero 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 nonzero
Fourier modes, a similar behavior can be formally obtained thanks to a method
relying on integer partitions first proposed by BenNaim and Krapivsky.

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.

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.

We prove the analog of the Kac conjecture for hard sphere collisions

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

We investigate the MoreauYosida regularization and the associated proximal
map in the context of discrete gradient flow for the 2Wasserstein 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 2Wasserstein 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 timestep goes to zero.

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.