
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 consider a monomerdimer system with a strong attractive dimerdimer
interaction that favors alignment. In 1979, Heilmann and Lieb conjectured that
this model should exhibit a nematic liquid crystal phase, in which the dimers
are mostly aligned, but do not manifest any translational order. We prove this
conjecture for large dimer activity and strong interactions. The proof follows
a PirogovSinai scheme, in which we map the dimer model to a system of
hardcore polymers whose partition function is computed using a convergent
cluster expansion.

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.

In this paper we define and study the classical Uniform Electron Gas (UEG), a
system of infinitely many electrons whose density is constant everywhere in
space. The UEG is defined differently from Jellium, which has a positive
constant background but no constraint on the density. We prove that the UEG
arises in Density Functional Theory in the limit of a slowly varying density,
minimizing the indirect Coulomb energy. We also construct the quantum UEG and
compare it to the classical UEG at low density.

We compute the $\mathcal S^p \to \mathcal S^p$ norm of a general Gaussian
gaugecovariant multimode channel for any $1\leq p<\infty$, where $\mathcal
S^p$ is a Schatten space. As a consequence, we verify the Gaussian optimizer
conjecture and the multiplicativity conjecture in these cases.

We consider a nonlocal shape optimization problem, which is motivated by a
simple model for swarming and other selfassembly/aggregation models, and prove
the existence of different phases. A technical key ingredient, which we
establish, is that a strictly subharmonic function cannot be constant on a set
of positive measure.

We consider the monomerdimer partition function on arbitrary finite planar
graphs and arbitrary monomer and dimer weights, with the restriction that the
only nonzero monomer weights are those on the boundary. We prove a Pfaffian
formula for the corresponding partition function. As a consequence of this
result, multipoint boundary monomer correlation functions at close packing are
shown to satisfy fermionic statistics. Our proof is based on the celebrated
Kasteleyn theorem, combined with a theorem on Pfaffians proved by one of the
authors, and a careful labeling and directing procedure of the vertices and
edges of the graph.

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 give a necessary and sufficient condition for the precompactness of all
optimizing sequences for the SteinTomas inequality. In particular, if a
wellknown conjecture about the optimal constant in the Strichartz inequality
is true, we obtain the existence of an optimizer in the SteinTomas inequality.
Our result is valid in any dimension.

The Wehrl entropy conjecture for coherent (highest weight) states in
representations of the Heisenberg group, which was proved in 1978 and recently
extended by us to the group $SU(2)$, is further extended here to symmetric
representations of the groups $SU(N)$ for all $N$. This result gives further
evidence for our conjecture that highest weight states minimize group integrals
of certain concave functions for a large class of Lie groups and their
representations.

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.

The quantum dimer model, relevant for shortrange resonant valence bond
physics, is rigorously shown to have long range order in a crystalline phase in
the attractive case at low temperature and not too large flipping term. This
term flips horizontal dimer pairs to vertical pairs (and vice versa) and is
responsible for the word `quantum' in the title. In addition to the dimers,
monomers are also allowed. The mathematical method used is `reflection
positivity'. The model and proof can easily be generalized to dimers or
plaquettes in 3dimensions.

The ancient Gamow liquid drop model of nuclear energies has had a renewed
life as an interesting problem in the calculus of variations: Find a set
$\Omega \subset \mathbb R^3$ with given volume A that minimizes the sum of its
surface area and its Coulomb self energy. A ball minimizes the former and
maximizes the latter, but the conjecture is that a ball is always a minimizer
 when there is a minimizer. Even the existence of minimizers for this
interesting geometric problem has not been shown in general. We prove the
existence of the absolute minimizer (over all $A$) of the energy divided by $A$
(the binding energy per particle). A second result of our work is a general
method for showing the existence of optimal sets in geometric minimization
problems, which we call the `method of the missing mass'. A third point is the
extension of the pulling back compactness lemma from $W^{1,p}$ to $BV$.

We prove a LiebOxfordtype inequality on the indirect part of the Coulomb
energy of a general manyparticle quantum state, with a lower constant than the
original statement but involving an additional gradient correction. The result
is similar to a recent inequality of Benguria, Bley and Loss, except that the
correction term is purely local, which is more usual in density functional
theory. In an appendix, we discuss the connection between the indirect energy
and the classical Jellium energy for constant densities. We show that they
differ by an explicit shift due to the long range of the Coulomb potential.

The last unsolved problem about the manypolaron system, in the
PekarTomasevich approximation, is the case of bosons with the
electronelectron Coulomb repulsion of strength exactly 1 (the 'neutral case').
We prove that the ground state energy, for large $N$, goes exactly as
$N^{7/5}$, and we give upper and lower bounds on the asymptotic coefficient
that agree to within a factor of $2^{2/5}$.

We study itinerant ferromagnetism in multiorbital Hubbard models in certain
twodimensional square and threedimensional cubic lattices. In the strong
coupling limit where doubly occupied orbitals are not allowed, we prove that
the fully spinpolarized states are the unique ground states, apart from the
trivial spin degeneracies, for a large region of fillings factors. Possible
applications to porbital bands with ultracold fermions in optical lattices,
and electronic 3dorbital bands in transitionmetal oxides, are discussed.

In our derivation of the second law of thermodynamics from the relation of
adiabatic accessibility of equilibrium states we stressed the importance of
being able to scale a system's size without changing its intrinsic properties.
This leaves open the question of defining the entropy of macroscopic, but
unscalable systems, such as gravitating bodies or systems where surface effects
are important. We show here how the problem can be overcome, in principle, with
the aid of an `entropy meter'. An entropy meter can also be used to determine
entropy functions for nonequilibrium states and mesoscopic systems.

The HobbyRice Theorem states that, given $n$ functions $f_j$ on
${\mathbb{R}}^N$, there exists a multiplier $h$ such that the integrals of
$f_jh$ are all simultaneously zero. This multiplier takes values~$\pm1$ and is
discontinuous. We show how to find a multiplier $h=e^{ig}$ that is infinitely
differentiable, takes values on the unit circle, and is such that the integrals
of $f_jh$ are all zero. We also show the existence of $n$ infinitely
differentiable, real functions $g_j$ such that the $n$ functions $f_j e^{ig_j}$
are pairwise orthogonal.

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.

In earlier work we presented a foundation for the Second Law of Classical
Thermodynamics in terms of the Entropy Principle. More precisely, we provided
an empirically accessible axiomatic derivation of an entropy function defined
on all equilibrium states of all systems that has the appropriate additivity
and scaling properties and whose increase is a necessary and sufficient
condition for an adiabatic process between two states to be possible. Here,
after a brief review of this approach, we address the question of defining
entropy for nonequilibrium states. Our conclusion is that it is generally not
possible to find a unique entropy that has all relevant physical properties. We
do show, however, that one can define two entropy functions, called $S_$ and
$S_+$, which, taken together, characterize the range of adiabatic processes
that can occur between nonequilibrium states. The concept of {\it
comparability} of states with respect to adiabatic changes plays an important
role in our reasoning.

We prove upper bounds on the rate, called "mixing rate", at which the von
Neumann entropy of the expected density operator of a given ensemble of states
changes under nonlocal unitary evolution. For an ensemble consisting of two
states, with probabilities of p and 1p, we prove that the mixing rate is
bounded above by 4\sqrt{p(1p)} for any Hamiltonian of norm 1. For a general
ensemble of states with probabilities distributed according to a random
variable X and individually evolving according to any set of bounded
Hamiltonians, we conjecture that the mixing rate is bounded above by a Shannon
entropy of a random variable X. For this general case we prove an upper bound
that is independent of the dimension of the Hilbert space on which states in
the ensemble act.

We show that a recent definition of relative R\'enyi entropy is monotone
under completely positive, trace preserving maps. This proves a recent
conjecture of M\"ullerLennert et al.

We prove a Strichartz inequality for a system of orthonormal functions, with
an optimal behavior of the constant in the limit of a large number of
functions. The estimate generalizes the usual Strichartz inequality, in the
same fashion as the LiebThirring inequality generalizes the Sobolev
inequality. As an application, we consider the Schr\"odinger equation in a
timedependent potential and we show the existence of the wave operator in
Schatten spaces.

This paper has been withdrawn by the authors because of an error in the
proof. We can, however, prove a weaker spatial falloff that is still
superlinear, namely exp[x log x].