Source author record

Elliott H. Lieb

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

58works

23topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

A trace inequality of Ando, Hiai and Okubo and a monotonicity property of the Golden-Thompson inequality

The Golden-Thompson trace inequality which states that $Tr\, e^{H+K} \leq Tr\, e^H e^K$ has proved to be very useful in quantum statistical mechanics. Golden used it to show that the classical free energy is less than the quantum one. Here we make this G-T inequality more explicit by proving that for some operators, notably the operators of interest in quantum mechanics, $H=Δ$ or $H= -\sqrt{-Δ+m}$ and $K=$ potential, $Tr\, e^{H+(1-u)K}e^{uK}$ is a monotone increasing function of the parameter $u$ for $0\leq u \leq 1$ . Our proof utilizes an inequality of Ando, Hiai and Okubo (AHO): $Tr\, X^sY^tX^{1-s}Y^{1-t} \leq Tr\, XY$ for positive operators X,Y and for $\tfrac{1}{2} \leq s,\,t \leq 1$ and $s+t \leq \tfrac{3}{2}$ . The obvious conjecture that this inequality should hold up to $s+t\leq 1$ , was proved false by Plevnik. We give a different proof of AHO and also give more counterexamples in the $\tfrac{3}{2}, 1$ range. More importantly we show that the inequality conjectured in AHO does indeed hold in this range if $X,Y$ have a certain positivity property -- one which does hold for quantum mechanical operators, thus enabling us to prove our G-T monotonicity theorem.

preprint2019arXiv

Divergence of the effective mass of a polaron in the strong coupling limit

We consider the Fröhlich model of a polaron, and show that its effective mass diverges in the strong coupling limit.

preprint2016arXiv

A Pfaffian formula for monomer-dimer partition functions

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.

preprint2016arXiv

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.

preprint2016arXiv

Maximizers for the Stein-Tomas inequality

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.

preprint2016arXiv

On a Quantum Entropy Power Inequality of Audenaert, Datta and Ozols

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

preprint2016arXiv

Proof of the Wehrl-type Entropy Conjecture for Symmmetric SU(N) Coherent States

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.

preprint2015arXiv

A compactness lemma and its application to the existence of minimizers for the liquid drop model

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 $Ω\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$ .

preprint2015arXiv

Columnar Phase in Quantum Dimer Models

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.

preprint2015arXiv

Improved Lieb-Oxford exchange-correlation inequality with gradient correction

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.

preprint2015arXiv

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.

preprint2014arXiv

A smooth, complex generalization of the Hobby-Rice theorem

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.

preprint2014arXiv

Entropy Meters and the Entropy of Non-extensive Systems

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.

preprint2014arXiv

Exact Results on Itinerant Ferromagnetism in Multi-orbital Systems on Square and Cubic Lattices

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.

preprint2014arXiv

Ground state energy of large polaron systems

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

preprint2014arXiv

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.

preprint2014arXiv

The entropy concept for non-equilibrium states

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.

preprint2013arXiv

A Gaussian refinement of the Lieb-Robinson bound

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

preprint2013arXiv

Current Densities in Density Functional Theory

It is well known that any given density rho(x)can be realized by a determinantal wave function for N particles. The question addressed here is whether any given density rho(x) and current density j(x) can be simultaneously realized by a (finite kinetic energy) determinantal wave function. In case the velocity field v(x) =j(x)/rho(x) is curl free, we provide a solution for all N, and we provide an explicit upper bound for the energy. If the velocity field is not curl free, there is a finite energy solution for all N\geq 4, but we do not provide an explicit energy bound in this case. For N=2 we provide an example of a non curl free velocity field for which there is a solution, and an example for which there is no solution. The case $N=3 with a non curl free velocity field is left open.

preprint2013arXiv

Equivalence of two definitions of the effective mass of a polaron

Two definitions of the effective mass of a particle interacting with a quantum field, such as a polaron, are considered and shown to be equal in models similar to the Froehlich polaron model. These are: 1. the mass defined by the low momentum energy $E(P) \approx E(0)+P^2/2M$ of the translation invariant system constrained to have momentum $P$ and 2. the mass $M$ of a simple particle in an arbitrary slowly varying external potential, $V$ , described by the nonrelativistic Schroedinger equation, whose ground state energy equals that of the combined particle/field system in a bound state in the same $V$ .

preprint2013arXiv

Existence of ground states for negative ions at the binding threshold

As the nuclear charge Z is continuously decreased an N-electron atom undergoes a binding-unbinding transition at some critical Z_c. We investigate whether the electrons remain bound when Z=Z_c and whether the radius of the system stays finite as Z_c is approached. Existence of a ground state at Z_c is shown under the condition Z_c<N-K, where K is the maximal number of electrons that can be removed at Z_c without changing the ground state energy.

preprint2013arXiv

Formation of stripes and slabs near the ferromagnetic transition

We consider Ising models in d=2 and d=3 dimensions with nearest neighbor ferromagnetic and long-range antiferromagnetic interactions, the latter decaying as (distance)^(-p), p>2d, at large distances. If the strength J of the ferromagnetic interaction is larger than a critical value J_c, then the ground state is homogeneous. It has been conjectured that when J is smaller than but close to J_c the ground state is periodic and striped, with stripes of constant width h=h(J), and h tends to infinity as J tends to J_c from below. (In d=3 stripes mean slabs, not columns.) Here we rigorously prove that, if we normalize the energy in such a way that the energy of the homogeneous state is zero, then the ratio e_0(J)/e_S(J) tends to 1 as J tends to J_c from below, with e_S(J) being the energy per site of the optimal periodic striped/slabbed state and e_0(J) the actual ground state energy per site of the system. Our proof comes with explicit bounds on the difference e_0(J)-e_S(J) at small but finite J_c-J, and also shows that in this parameter range the ground state is striped/slabbed in a certain sense: namely, if one looks at a randomly chosen window, of suitable size l (very large compared to the optimal stripe size h(J)), one finds a striped/slabbed state with high probability.

preprint2013arXiv

Monotonicity of a relative Rényi entropy

We show that a recent definition of relative Rényi entropy is monotone under completely positive, trace preserving maps. This proves a recent conjecture of Müller-Lennert et al.

preprint2013arXiv

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

preprint2013arXiv

Realization of stripes and slabs in two and three dimensions

We consider Ising models in two and three dimensions with nearest neighbor ferromagnetic interactions and long range, power law decaying, antiferromagnetic interactions. If the strength of the ferromagnetic coupling J is larger than a critical value J_c, then the ground state is homogeneous and ferromagnetic. As the critical value is approached from smaller values of J, it is believed that the ground state consists of a periodic array of stripes (d=2) or slabs (d=3), all of the same size and alternating magnetization. Here we prove rigorously that the ground state energy per site converges to that of the optimal periodic striped/slabbed state, in the limit that J tends to the ferromagnetic transition point. While this theorem does not prove rigorously that the ground state is precisely striped/slabbed, it does prove that in any suitably large box the ground state is striped/slabbed with high probability.

preprint2013arXiv

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.

preprint2013arXiv

Strichartz inequality for orthonormal functions

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ödinger equation in a time-dependent potential and we show the existence of the wave operator in Schatten spaces.

preprint2013arXiv

Upper bounds on mixing rates

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.

preprint2012arXiv

A new, rearrangement-free proof of the sharp Hardy-Littlewood-Sobolev inequality

We show that the sharp constant in the Hardy-Littlewood-Sobolev inequality can be derived using the method that we employed earlier for a similar inequality on the Heisenberg group. The merit of this proof is that it does not rely on rearrangement inequalities; it is the first one to do so for the whole parameter range.

preprint2012arXiv

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.

preprint2012arXiv

Extended quantum conditional entropy and quantum uncertainty inequalities

Quantum states can be subjected to classical measurements, whose incompatibility, or uncertainty, can be quantified by a comparison of certain entropies. There is a long history of such entropy inequalities between position and momentum. Recently these inequalities have been generalized to the tensor product of several Hilbert spaces and we show here how their derivations can be shortened to a few lines and how they can be generalized. All the recently derived uncertainty relations utilize the strong subadditivity (SSA) theorem; our contribution relies on directly utilizing the proof technique of the original derivation of SSA.

preprint2012arXiv

Further implications of the Bessis-Moussa-Villani conjecture

We find further implications of the BMV conjecture, which states that for hermitian matrices A and B, the function Tr exp(A - t B) is the Laplace transform of a positive measure.

preprint2012arXiv

Ground state properties of multi-polaron systems

We summarize our recent results on the ground state energy of multi-polaron systems. In particular, we discuss stability and existence of the thermodynamic limit, and we discuss the absence of binding in the case of large Coulomb repulsion and the corresponding binding-unbinding transition. We also consider the Pekar-Tomasevich approximation to the ground state energy and we study radial symmetry of the ground state density.

preprint2012arXiv

Proof of an entropy conjecture for Bloch coherent spin states and its generalizations

Wehrl used Glauber coherent states to define a map from quantum density matrices to classical phase space densities and conjectured that for Glauber coherent states the mininimum classical entropy would occur for density matrices equal to projectors onto coherent states. This was proved by Lieb in 1978 who also extended the conjecture to Bloch SU(2) spin-coherent states for every angular momentum $J$ . This conjecture is proved here. We also recall our 1991 extension of the Wehrl map to a quantum channel from $J$ to $K=J+1/2, J+1, ...$ , with $K=\infty$ corresponding to the Wehrl map to classical densities. For each $J$ and $J<K\leq \infty$ we show that the minimal output entropy for these channels occurs for a $J$ coherent state. We also show that coherent states both Glauber and Bloch minimize any concave functional, not just entropy.

preprint2012arXiv

Symmetry of bipolaron bound states for small Coulomb repulsion

We consider the bipolaron in the Pekar--Tomasevich approximation and address the question whether the ground state is spherically symmetric or not. Numerical analysis has, so far, not completely settled the question. Our contribution is to prove rigorously that the ground state remains spherical for small values of the electron-electron Coulomb repulsion.

preprint2011arXiv

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.

preprint2011arXiv

Binding of Polarons and Atoms at Threshold

If the polaron coupling constant $α$ is large enough, bipolarons or multi-polarons will form. When passing through the critical $α_c$ from above, does the radius of the system simply get arbitrarily large or does it reach a maximum and then explodes? We prove that it is always the latter. We also prove the analogous statement for the Pekar-Tomasevich (PT) approximation to the energy, in which case there is a solution to the PT equation at $α_c$ . Similarly, we show that the same phenomenon occurs for atoms, e.g., helium, at the critical value of the nuclear charge. Our proofs rely only on energy estimates, not on a detailed analysis of the Schrödinger equation, and are very general. They use the fact that the Coulomb repulsion decays like $1/r$ , while `uncertainty principle' localization energies decay more rapidly, as $1/r^2$ .

preprint2011arXiv

Checkerboards, stripes and corner energies in spin models with competing interactions

We study the zero temperature phase diagram of Ising spin systems in two dimensions in the presence of competing interactions, long range antiferromagnetic and nearest neighbor ferromagnetic of strength J. We first introduce the notion of a "corner energy" which shows, when the antiferromagnetic interaction decays faster than the fourth power of the distance, that a striped state is favored with respect to a checkerboard state when J is close to J_c, the transition to the ferromagnetic state, i.e., when the length scales of the uniformly magnetized domains become large. Next, we perform detailed analytic computations on the energies of the striped and checkerboard states in the cases of antiferromagnetic interactions with exponential decay and with power law decay r^{-p}, p>2, that depend on the Manhattan distance instead of the Euclidean distance. We prove that the striped phase is always favored compared to the checkerboard phase when the scale of the ground state structure is very large. This happens for J\lesssim J_c if p>3, and for J sufficiently large if 2<p<=3. Many of our considerations involving rigorous bounds carry over to dimensions greater than two and to more general short-range ferromagnetic interactions.

preprint2011arXiv

Energy Cost to Make a Hole in the Fermi Sea

The change in energy of an ideal Fermi gas when a local one-body potential is inserted into the system, or when the density is changed locally, are important quantities in condensed matter physics. We show that they can be rigorously bounded from below by a universal constant times the value given by the semiclassical approximation.

preprint2011arXiv

Entropy and the uncertainty principle

We generalize, improve and unify theorems of Rumin, and Maassen--Uffink about classical entropies associated to quantum density matrices. These theorems refer to the classical entropies of the diagonals of a density matrix in two different bases. Thus they provide a kind of uncertainty principle. Our inequalities are sharp because they are exact in the high-temperature or semi-classical limit.

preprint2011arXiv

Non-Abelian Vortices in Supersymmetric Gauge Field Theory via Direct Methods

Vortices in supersymmetric gauge field theory are important constructs in a basic conceptual phenomenon commonly referred to as the dual Meissner effect which is responsible for color confinement. Based on a direct minimization approach, we present a series of sharp existence and uniqueness theorems for the solutions of some non-Abelian vortex equations governing color-charged multiply distributed flux tubes, which provide an essential mechanism for linear confinement. Over a doubly periodic domain, existence results are obtained under explicitly stated necessary and sufficient conditions that relate the size of the domain, the vortex numbers, and the underlying physical coupling parameters of the models. Over the full plane, existence results are valid for arbitrary vortex numbers and coupling parameters. In all cases, solutions are unique.

preprint2011arXiv

Possible Lattice Distortions in the Hubbard Model for Graphene

The Hubbard model on the honeycomb lattice is a well known model for graphene. Equally well known is the Peierls type of instability of the lattice bond lengths. In the context of these two approximations we ask and answer the question of the possible lattice distortions for graphene in zero magnetic field. The answer is that in the thermodynamic limit only periodic, reflection-symmetric distortions are allowed and these have at most six atoms per unit cell as compared to two atoms for the undistorted lattice.

preprint2011arXiv

Sharp constants in several inequalities on the Heisenberg group

We derive the sharp constants for the inequalities on the Heisenberg group H^n whose analogues on Euclidean space R^n are the well known Hardy-Littlewood-Sobolev inequalities. Only one special case had been known previously, due to Jerison-Lee more than twenty years ago. From these inequalities we obtain the sharp constants for their duals, which are the Sobolev inequalities for the Laplacian and conformally invariant fractional Laplacians. By considering limiting cases of these inequalities sharp constants for the analogues of the Onofri and log-Sobolev inequalities on H^n are obtained. The methodology is completely different from that used to obtain the R^n inequalities and can be (and has been) used to give a new, rearrangement free, proof of the HLS inequalities.

preprint2011arXiv

Short proofs of theorems of Mirsky and Horn on diagonals and eigenvalues of matrices

A theorem of Mirsky provides necessary and sufficient conditions for the existence of an N-square complex matrix with prescribed diagonal entries and prescribed eigenvalues. We give a simple inductive proof of this theorem.

preprint2011arXiv

Unique equilibria and substitution effects in a stochastic model of the marriage market

Choo-Siow (2006) proposed a model for the marriage market which allows for random identically distributed noise in the preferences of each of the participants. The randomness is McFadden-type, which permits an explicit resolution of the equilibrium preference probabilities. The purpose of this note is to prove uniqueness of the resulting equilibrium marriage distribution, and find a representation of it in closed form. This allows us to derive smooth dependence of this distribution on exogenous preference and population parameters, and establish sign, symmetry, and size of the various substitution effects, facilitating comparative statics. For example, we show that an increase in the population of men of any given type in this model leads to an increase in single men of each type, and a decrease in single women of each type. We show that an increase in the number of men of a given type increases the equilibrium transfer paid by such men to their spouses, and also increases the percentage of men of that type who choose to remain unmarried. The verification of such properties helps to substantiate the validity of the model. Moreover, we make unexpected predictions which could be tested: the percentage change of type $i$ unmarrieds with respect to fluctuations in the total number of type $j$ men or women turns out to form a symmetric positive-definite matrix $r_{ij}=r_{ji}$ in this model, and thus to satisfy bounds like $|r_{ij}| \le (r_{ii}r_{jj})^{1/2}$ . Along the way, we give a new proof for the existence of an equilibrium, based on a strictly convex variational principle and a simple estimate, rather than a fixed point theorem. Fixed point approaches to the existence part of our result have been explored by others \cite{CSS} \cite{Dag} \cite{Fox}, but are much more complicated and yield neither uniqueness, nor comparative statics, nor an explicit representation of the solution.

preprint2010arXiv

Bi-Polaron and N-Polaron Binding Energies

The binding of polarons, or its absence, is an old and subtle topic. Here we prove two things rigorously. First, the transition from many-body collapse to the existence of a thermodynamic limit for N polarons occurs precisely at U=2α, where U is the electronic Coulomb repulsion and αis the polaron coupling constant. Second, if U is large enough, there is no multi-polaron binding of any kind. Considering the known fact that there is binding for some U>2α, these conclusions are not obvious and their proof has been an open problem for some time.

preprint2010arXiv

Spherical reflection positivity and the Hardy-Littlewood-Sobolev inequality

We introduce the concept of spherical (as distinguished from planar) reflection positivity and use it to obtain a new proof of the sharp constants in certain cases of the HLS and the logarithmic HLS inequality. Our proofs relies on an extension of a work by Li and Zhu which characterizes the minimizing functions of the type $(1+|x|^2)^{-p}$ .

preprint2010arXiv

Stability and Absence of Binding for Multi-Polaron Systems

We resolve several longstanding problems concerning the stability and the absence of multi-particle binding for N\geq 2 polarons. Fröhlich's 1937 polaron model describes non-relativistic particles interacting with a scalar quantized field with coupling \sqrtα, and with each other by Coulomb repulsion of strength U. We prove the following: (i) While there is a known thermodynamic instability for U<2α, stability of matter does hold for U>2α, that is, the ground state energy per particle has a finite limit as N\to\infty. (ii) There is no binding of any kind if U exceeds a critical value that depends on αbut not on N. The same results are shown to hold for the Pekar-Tomasevich model.

preprint2009arXiv

Inversion positivity and the sharp Hardy-Littlewood-Sobolev inequality

We give a new proof of certain cases of the sharp HLS inequality. Instead of symmetric decreasing rearrangement it uses the reflection positivity of inversions in spheres. In doing this we extend a characterization of the minimizing functions due to Li and Zhu.

preprint2009arXiv

Modulated phases of a 1D sharp interface model in a magnetic field

We investigate the ground states of 1D continuum models having short-range ferromagnetic type interactions and a wide class of competing longer-range antiferromagnetic type interactions. The model is defined in terms of an energy functional, which can be thought of as the Hamiltonian of a coarse-grained microscopic system or as a mesoscopic free energy functional describing various materials. We prove that the ground state is simple periodic whatever the prescribed total magnetization might be. Previous studies of this model of frustrated systems assumed this simple periodicity but, as in many examples in condensed matter physics, it is neither obvious nor always true that ground states do not have a more complicated, or even chaotic structure.

preprint2009arXiv

The Yrast Line of a Rapidly Rotating Bose Gas: Gross-Pitaevskii Regime

We consider an ultracold rotating Bose gas in a harmonic trap close to the critical angular velocity so that the system can be considered to be confined to the lowest Landau level. With this assumption we prove that the Gross-Pitaevskii energy functional accurately describes the ground state energy of the corresponding $N$ -body Hamiltonian with contact interaction provided the total angular momentum $L$ is much less than $N^2$ . While the Gross-Pitaevskii energy is always an obvious variational upper bound to the ground state energy, a more refined analysis is needed to establish it as an exact lower bound. We also discuss the question of Bose-Einstein condensation in the parameter range considered. Coherent states together with inequalities in spaces of analytic functions are the main technical tools.

preprint2007arXiv

Periodic minimizers in 1D local mean field theory

Using reflection positivity techniques we prove the existence of minimizers for a class of mesoscopic free-energies representing 1D systems with competing interactions. All minimizers are either periodic, with zero average, or of constant sign. If the local term in the free energy satisfies a convexity condition, then all minimizers are either periodic or constant. Examples of both phenomena are given. This extends our previous work where such results were proved for the ground states of lattice systems with ferromagnetic nearest neighbor interactions and dipolar type antiferromagnetic long range interactions.

preprint2007arXiv

Probabilistic coherence and proper scoring rules

We provide self-contained proof of a theorem relating probabilistic coherence of forecasts to their non-domination by rival forecasts with respect to any proper scoring rule. The theorem appears to be new but is closely related to results achieved by other investigators.

preprint2007arXiv

Striped phases in two dimensional dipole systems

We prove that a system of discrete 2D in-plane dipoles with four possible orientations, interacting via a 3D dipole-dipole interaction plus a nearest neighbor ferromagnetic term, has periodic striped ground states. As the strength of the ferromagnetic term is increased, the size of the stripes in the ground state increases, becoming infinite, i.e., giving a ferromagentic ground state, when the ferromagentic interaction exceeds a certain critical value. We also give a rigorous proof of the reorientation transition in the ground state of a 2D system of discrete dipoles with six possible orientations, interacting via a 3D dipole-dipole interaction plus a nearest neighbor antiferromagnetic term. As the strength of the antiferromagnetic term is increased the ground state flips from being striped and in-plane to being staggered and out-of-plane. An example of a rotator model with a sinusoidal ground state is also discussed.

preprint2006arXiv

Ising models with long-range dipolar and short-range ferromagnetic interactions

We study the ground state of a $d$ --dimensional Ising model with both long range (dipole--like) and nearest neighbor ferromagnetic (FM) interactions. The long range interaction is equal to $r^{-p}$ , $p>d$ , while the FM interaction has strength $J$ . If $p>d+1$ and $J$ is large enough the ground state is FM, while if $d<p\le d+1$ the FM state is not the ground state for any choice of $J$ . In $d=1$ we show that for any $p>1$ the ground state has a series of transitions from an antiferromagnetic state of period 2 to $2h$ --periodic states of blocks of sizes $h$ with alternating sign, the size $h$ growing when the FM interaction strength $J$ is increased (a generalization of this result to the case $0<p\le 1$ is also discussed). In $d\ge 2$ we prove, for $d<p\le d+1$ , that the dominant asymptotic behavior of the ground state energy agrees for large $J$ with that obtained from a periodic striped state conjectured to be the true ground state. The geometry of contours in the ground state is discussed.

preprint2004arXiv

Equivalent forms of the Bessis-Moussa-Villani conjecture

The BMV conjecture for traces, which states that $Tr exp(A -λB)$ is the Laplace transform of a positive measure, is shown to be equivalent to two other statements: (i) The polynomial $λ\mapsto Tr(A+λB)^p$ has only non-negative coefficients for all $A, B \geq 0$ , $p\in N$ and (ii) $λ\mapsto \Tr (A+λB)^{-p}$ is the Laplace transform of a positive measure for $A, B \geq 0$ , $p>0$ .

preprint2003arXiv

One-dimensional Bosons in Three-dimensional Traps

Recent experimental and theoretical work has indicated conditions in which a trapped, low-density Bose gas ought to behave like the 1D delta-function Bose gas solved by Lieb and Liniger. Up to now the theoretical arguments have been based on variational - perturbative ideas or numerical investigations. There are 4 parameters: density, transverse and longitudinal dimensions, and scattering length. In this paper we explicate 5 parameter regions in which various types of 1D or 3D behavior occur. Our discussion is based on a rigorous analysis of the many-body Schroedinger equation. This version of the article is a combination of the earlier 4-page arXiv version and the revised 4-page Physical Review Letters version.

preprint2001arXiv

Convex Multivariable Trace Functions

For any densely defined, lower semi-continuous trace τon a C*-algebra A with mutually commuting C*-subalgebras A_1, A_2, ... A_n, and a convex function f of n variables, we give a short proof of the fact that the function (x_1, x_2, ..., x_n) --> τ(f(x_1, x_2, ..., x_n)) is convex on the space \bigoplus_{i=1}^n (A_i)_{self-adjoint}. If furthermore the function f is log-convex or root-convex, so is the corresponding trace function. We also introduce a generalization of log-convexity and root-convexity called \ell-convexity, show how it applies to traces, and give a few examples. In particular we show that the trace of an operator mean is always dominated by the corresponding mean of the trace values.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Elliott H. Lieb

Research overview

Is this your work?

58 publications

A trace inequality of Ando, Hiai and Okubo and a monotonicity property of the Golden-Thompson inequality

Divergence of the effective mass of a polaron in the strong coupling limit

A Pfaffian formula for monomer-dimer partition functions

Entropy and entanglement bounds for reduced density matrices of fermionic states

Maximizers for the Stein-Tomas inequality

On a Quantum Entropy Power Inequality of Audenaert, Datta and Ozols

Proof of the Wehrl-type Entropy Conjecture for Symmmetric SU(N) Coherent States

A compactness lemma and its application to the existence of minimizers for the liquid drop model

Columnar Phase in Quantum Dimer Models

Improved Lieb-Oxford exchange-correlation inequality with gradient correction

Some Operator and Trace Function Convexity Theorems

A smooth, complex generalization of the Hobby-Rice theorem

Entropy Meters and the Entropy of Non-extensive Systems

Exact Results on Itinerant Ferromagnetism in Multi-orbital Systems on Square and Cubic Lattices

Ground state energy of large polaron systems

Remainder Terms for Some Quantum Entropy Inequalities

The entropy concept for non-equilibrium states

A Gaussian refinement of the Lieb-Robinson bound

Current Densities in Density Functional Theory

Equivalence of two definitions of the effective mass of a polaron

Existence of ground states for negative ions at the binding threshold

Formation of stripes and slabs near the ferromagnetic transition

Monotonicity of a relative Rényi entropy

On an Extension Problem for Density Matrices

Realization of stripes and slabs in two and three dimensions

Stability estimates for the lowest eigenvalue of a Schrödinger operator

Strichartz inequality for orthonormal functions

Upper bounds on mixing rates

A new, rearrangement-free proof of the sharp Hardy-Littlewood-Sobolev inequality

Bounds for Entanglement via an Extension of Strong Subadditivity of Entropy

Extended quantum conditional entropy and quantum uncertainty inequalities

Further implications of the Bessis-Moussa-Villani conjecture

Ground state properties of multi-polaron systems

Proof of an entropy conjecture for Bloch coherent spin states and its generalizations

Symmetry of bipolaron bound states for small Coulomb repulsion

Asymmetric Covariance Estimates of Brascamp-Lieb Type and Related Inequalities for Log-concave Measures

Binding of Polarons and Atoms at Threshold

Checkerboards, stripes and corner energies in spin models with competing interactions

Energy Cost to Make a Hole in the Fermi Sea

Entropy and the uncertainty principle

Non-Abelian Vortices in Supersymmetric Gauge Field Theory via Direct Methods

Possible Lattice Distortions in the Hubbard Model for Graphene

Sharp constants in several inequalities on the Heisenberg group

Short proofs of theorems of Mirsky and Horn on diagonals and eigenvalues of matrices

Unique equilibria and substitution effects in a stochastic model of the marriage market

Bi-Polaron and N-Polaron Binding Energies

Spherical reflection positivity and the Hardy-Littlewood-Sobolev inequality

Stability and Absence of Binding for Multi-Polaron Systems

Inversion positivity and the sharp Hardy-Littlewood-Sobolev inequality

Modulated phases of a 1D sharp interface model in a magnetic field

The Yrast Line of a Rapidly Rotating Bose Gas: Gross-Pitaevskii Regime

Periodic minimizers in 1D local mean field theory

Probabilistic coherence and proper scoring rules

Striped phases in two dimensional dipole systems

Ising models with long-range dipolar and short-range ferromagnetic interactions

Equivalent forms of the Bessis-Moussa-Villani conjecture

One-dimensional Bosons in Three-dimensional Traps

Convex Multivariable Trace Functions

See the researcher in context

Building this map preview