• ### 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.
• ### Nematic liquid crystal phase in a system of interacting dimers and monomers(1709.05297)

We consider a monomer-dimer system with a strong attractive dimer-dimer 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 Pirogov-Sinai scheme, in which we map the dimer model to a system of hard-core polymers whose partition function is computed using a convergent cluster expansion.
• ### 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.
• ### Statistical Mechanics of the Uniform Electron Gas(1705.10676)

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.
• ### Norms of quantum Gaussian multi-mode channels(1704.08720)

June 19, 2017 quant-ph, math-ph, math.MP
We compute the $\mathcal S^p \to \mathcal S^p$ norm of a general Gaussian gauge-covariant multi-mode 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.
• ### A liquid-solid' phase transition in a simple model for swarming, based on the no flat-spots' theorem for subharmonic functions(1607.07971)

June 19, 2017 math.AP, math-ph, math.MP
We consider a non-local shape optimization problem, which is motivated by a simple model for swarming and other self-assembly/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.
• ### A Pfaffian formula for monomer-dimer partition functions(1510.05027)

We consider the monomer-dimer partition function on arbitrary finite planar graphs and arbitrary monomer and dimer weights, with the restriction that the only non-zero 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.
• ### 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.
• ### Maximizers for the Stein-Tomas inequality(1603.07658)

March 23, 2016 math.AP, math.CA, math.FA
We give a necessary and sufficient condition for the precompactness of all optimizing sequences for the Stein-Tomas inequality. In particular, if a well-known conjecture about the optimal constant in the Strichartz inequality is true, we obtain the existence of an optimizer in the Stein-Tomas inequality. Our result is valid in any dimension.
• ### Proof of the Wehrl-type Entropy Conjecture for Symmmetric SU(N) Coherent States(1506.07633)

Jan. 4, 2016 math-ph, math.MP
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.
• ### 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.
• ### Columnar Phase in Quantum Dimer Models(1502.02254)

The quantum dimer model, relevant for short-range 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 3-dimensions.
• ### A compactness lemma and its application to the existence of minimizers for the liquid drop model(1503.00192)

Feb. 28, 2015 math.AP, math-ph, math.MP
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$.
• ### Improved Lieb-Oxford exchange-correlation inequality with gradient correction(1408.3358)

Feb. 11, 2015 math-ph, math.MP, physics.chem-ph
We prove a Lieb-Oxford-type inequality on the indirect part of the Coulomb energy of a general many-particle 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.
• ### Ground state energy of large polaron systems(1409.5415)

Sept. 18, 2014 math.AP, math-ph, math.MP
The last unsolved problem about the many-polaron system, in the Pekar-Tomasevich approximation, is the case of bosons with the electron-electron 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}$.
• ### Exact Results on Itinerant Ferromagnetism in Multi-orbital Systems on Square and Cubic Lattices(1310.4391)

April 30, 2014 math-ph, math.MP, cond-mat.str-el
We study itinerant ferromagnetism in multi-orbital Hubbard models in certain two-dimensional square and three-dimensional cubic lattices. In the strong coupling limit where doubly occupied orbitals are not allowed, we prove that the fully spin-polarized states are the unique ground states, apart from the trivial spin degeneracies, for a large region of fillings factors. Possible applications to p-orbital bands with ultra-cold fermions in optical lattices, and electronic 3d-orbital bands in transition-metal oxides, are discussed.
• ### Entropy Meters and the Entropy of Non-extensive Systems(1403.0902)

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 non-equilibrium states and mesoscopic systems.
• ### A smooth, complex generalization of the Hobby-Rice theorem(1205.5059)

March 30, 2014 math-ph, math.MP, math.CO, math.CA, math.FA
The Hobby-Rice 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.
• ### 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.
• ### The entropy concept for non-equilibrium states(1305.3912)

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 non-equilibrium 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 non-equilibrium states. The concept of {\it comparability} of states with respect to adiabatic changes plays an important role in our reasoning.
• ### Upper bounds on mixing rates(1302.3865)

Nov. 5, 2013 quant-ph, math-ph, math.MP
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 non-local unitary evolution. For an ensemble consisting of two states, with probabilities of p and 1-p, we prove that the mixing rate is bounded above by 4\sqrt{p(1-p)} 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.
• ### Monotonicity of a relative R\'enyi entropy(1306.5358)

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\"uller-Lennert et al.
• ### Strichartz inequality for orthonormal functions(1306.1309)

Sept. 12, 2013 math.AP, math-ph, math.MP
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 Lieb-Thirring inequality generalizes the Sobolev inequality. As an application, we consider the Schr\"odinger equation in a time-dependent potential and we show the existence of the wave operator in Schatten spaces.
• ### A Gaussian refinement of the Lieb-Robinson bound(1306.0546)

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