Showing 1–50 of 171 results for author: Lieb, E

Improved Lieb-Oxford bound on the indirect and exchange energies

Authors: Mathieu Lewin, Elliott H. Lieb, Robert Seiringer

Abstract: The Lieb-Oxford inequality provides a lower bound on the Coulomb energy of a classical system of $N$ identical charges only in terms of their one-particle density. We prove here a new estimate on the best constant in this inequality. Numerical evaluation provides the value 1.58, which is a significant improvement to the previously known value 1.64. The best constant has recently been shown to be l… ▽ More The Lieb-Oxford inequality provides a lower bound on the Coulomb energy of a classical system of $N$ identical charges only in terms of their one-particle density. We prove here a new estimate on the best constant in this inequality. Numerical evaluation provides the value 1.58, which is a significant improvement to the previously known value 1.64. The best constant has recently been shown to be larger than 1.44. In a second part, we prove that the constant can be reduced to 1.25 when the inequality is restricted to Hartree-Fock states. This is the first proof that the exchange term is always much lower than the full indirect Coulomb energy. △ Less

Submitted 13 September, 2022; v1 submitted 23 March, 2022; originally announced March 2022.

Comments: Final version to appear in Lett. Math. Phys. This article belongs to the themed collection: "Mathematical Physics and Numerical Simulation of Many-Particle Systems"; V. Bach and L. Delle Site (eds.)

Journal ref: Lett. Math. Phys. 112:92 (2022)

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

Authors: Eric A. Carlen, Elliott H. Lieb

Abstract: 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… ▽ More 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. △ Less

Submitted 11 March, 2022; originally announced March 2022.

MSC Class: 39B62 (primary) 46N50 (secondary)

Search for fast radio transients using Arecibo drift-scan observations at 1.4 GHz

Authors: B. B. P. Perera, A. J. Smith, S. Vaddi, R. Carballo-Rubio, A. McGilvray, A. Venkataraman, D. Anish Roshi, P. K. Manoharan, P. Perillat, E. Lieb, D. R. Lorimer, M. A. McLaughlin, D. Agarwal, K. Aggarwal, S. M. Ransom

Abstract: We conducted a drift-scan observation campaign using the 305-m Arecibo telescope in January and March 2020 when the observatory was temporarily closed during the intense earthquakes and the initial outbreak of the COVID-19 pandemic, respectively. The primary objective of the survey was to search for fast radio transients, including Fast Radio Bursts (FRBs) and Rotating Radio Transients (RRATs). We… ▽ More We conducted a drift-scan observation campaign using the 305-m Arecibo telescope in January and March 2020 when the observatory was temporarily closed during the intense earthquakes and the initial outbreak of the COVID-19 pandemic, respectively. The primary objective of the survey was to search for fast radio transients, including Fast Radio Bursts (FRBs) and Rotating Radio Transients (RRATs). We used the 7-beam ALFA receiver to observe different sections of the sky within the declination region $\sim$(10$-$20) deg on 23 nights and collected 160 hours of data in total. We searched our data for single-pulse transients, covering up to a maximum dispersion measure of 11 000 pc cm$^{-3}$ at which the dispersion delay across the entire bandwidth is equal to the 13 s transit length of our observations. The analysis produced more than 18 million candidates. Machine learning techniques sorted the radio frequency interference and possibly astrophysical candidates, allowing us to visually inspect and confirm the candidate transients. We found no evidence for new astrophysical transients in our data. We also searched for emission from repeated transient signals, but found no evidence for such sources. We detected single pulses from two known pulsars in our observations and their measured flux densities are consistent with the expected values. Based on our observations and sensitivity, we estimated the upper limit for the FRB rate to be $<$2.8$\times10^5$ sky$^{-1}$ day$^{-1}$ above a fluence of 0.16 Jy ms at 1.4 GHz, which is consistent with the rates from other telescopes and surveys. △ Less

Submitted 27 October, 2021; originally announced October 2021.

Comments: 11 pages, 8 figures. Accepted 2021 October 27 for publication in MNRAS

Bar-driven Leading Spiral Arms in a Counter-rotating Dark Matter Halo

Authors: Emma Lieb, Angela Collier, Ann-Marie Madigan

Abstract: An overwhelming majority of galactic spiral arms trail with respect to the rotation of the galaxy, though a small sample of leading spiral arms has been observed. The formation of these leading spirals is not well understood. Here we show, using collisionless $N$-body simulations, that a barred disc galaxy in a retrograde dark matter halo can produce long-lived ($\sim3$ Gyr) leading spiral arms. D… ▽ More An overwhelming majority of galactic spiral arms trail with respect to the rotation of the galaxy, though a small sample of leading spiral arms has been observed. The formation of these leading spirals is not well understood. Here we show, using collisionless $N$-body simulations, that a barred disc galaxy in a retrograde dark matter halo can produce long-lived ($\sim3$ Gyr) leading spiral arms. Due to the strong resonant coupling of the disc to the halo, the bar slows rapidly and spiral perturbations are forced ahead of the bar. We predict that such a system, if observed, will also host a dark matter wake oriented perpendicular to the stellar bar. More generally, we propose that any mechanism that rapidly decelerates the stellar bar will allow leading spiral arms to flourish. △ Less

Submitted 5 October, 2021; originally announced October 2021.

On the extension of the FKG inequality to $n$ functions

Authors: Elliott H Lieb, Siddhartha Sahi

Abstract: The 1971 Fortuin-Kasteleyn-Ginibre (FKG) inequality for two monotone functions on a distributive lattice is well known and has seen many applications in statistical mechanics and other fields of mathematics. In 2008 one of us (Sahi) conjectured an extended version of this inequality for all $n>2$ monotone functions on a distributive lattice. Here we prove the conjecture for two special cases: for… ▽ More The 1971 Fortuin-Kasteleyn-Ginibre (FKG) inequality for two monotone functions on a distributive lattice is well known and has seen many applications in statistical mechanics and other fields of mathematics. In 2008 one of us (Sahi) conjectured an extended version of this inequality for all $n>2$ monotone functions on a distributive lattice. Here we prove the conjecture for two special cases: for monotone functions on the unit square in ${\mathbb R}^k$ whose upper level sets are $k$-dimensional rectangles, and, more significantly, for arbitrary monotone functions on the unit square in ${\mathbb R}^2$. The general case for ${\mathbb R}^k, k>2$ remains open. △ Less

Submitted 20 March, 2022; v1 submitted 20 July, 2021; originally announced July 2021.

Comments: Revised version. 14 pages. To appear in Dyson Memorial volume of Journal of Mathematical Physics

MSC Class: 05A20; 26D07; 60E15; 82B20

A simplified approach to the repulsive Bose gas from low to high densities and its numerical accuracy

Authors: Eric A. Carlen, Markus Holzmann, Ian Jauslin, Elliott H. Lieb

Abstract: In 1963, a Simple Approach was developed to study the ground state energy of an interacting Bose gas. It consists in the derivation of an Equation, which is not based on perturbation theory, and which gives the exact expansion of the energy at low densities. This Equation is expressed directly in the thermodynamic limit, and only involves functions of $3$ variables, rather than $3N$. Here, we revi… ▽ More In 1963, a Simple Approach was developed to study the ground state energy of an interacting Bose gas. It consists in the derivation of an Equation, which is not based on perturbation theory, and which gives the exact expansion of the energy at low densities. This Equation is expressed directly in the thermodynamic limit, and only involves functions of $3$ variables, rather than $3N$. Here, we revisit this approach, and show that the Equation yields accurate predictions for various observables for all densities. Specifically, in addition to the ground state energy, we have shown that the Simple Approach gives predictions for the condensate fraction, two-point correlation function, and momentum distribution. We have carried out a variety of tests by comparing the predictions of the Equation with Quantum Monte Carlo calculations, and have found remarkable agreement. We thus show that the Simple Approach provides a new theoretical tool to understand the behavior of the many-body Bose gas, not only in the small and large density ranges, which have been studied before, but also in the range of intermediate density, for which little is known. △ Less

Submitted 24 March, 2021; v1 submitted 21 November, 2020; originally announced November 2020.

Comments: v4: change title

Journal ref: Phys. Rev. A 103, 053309 (2021)

Analysis of a simple equation for the ground state of the Bose gas II: Monotonicity, Convexity and Condensate Fraction

Authors: Eric A. Carlen, Ian Jauslin, Elliott H. Lieb

Abstract: In a recent paper we studied an equation (called the "simple equation") introduced by one of us in 1963 for an approximate correlation function associated to the ground state of an interacting Bose gas. Solving the equation yields a relation between the density $ρろー$ of the gas and the energy per particle. Our construction of solutions gave a well-defined function $ρろー(e)$ for the density as a functio… ▽ More In a recent paper we studied an equation (called the "simple equation") introduced by one of us in 1963 for an approximate correlation function associated to the ground state of an interacting Bose gas. Solving the equation yields a relation between the density $ρろー$ of the gas and the energy per particle. Our construction of solutions gave a well-defined function $ρろー(e)$ for the density as a function of the energy $e$. We had conjectured that $ρろー(e)$ is a strictly monotone increasing function, so that it can be inverted to yield the strictly monotone increasing function $e(ρろー)$. We had also conjectured that $ρろーe(ρろー)$ is convex as a function of $ρろー$. We prove both conjectures here for small densities, the context in which they have the most physical relevance, and the monotonicity also for large densities. Both conjectures are grounded in the underlying physics, and their proof provides further mathematical evidence for the validity of the assumptions underlying the derivation of the simple equation, at least for low or high densities, if not intermediate densities, although the equation gives surprisingly good predictions for all densities $ρろー$. Another problem left open in our previous paper was whether the simple equation could be used to compute accurate predictions of observables other than the energy. Here, we provide a recipe for computing predictions for any one- or two-particle observables for the ground state of the Bose gas. We focus on the condensate fraction and the momentum distribution, and show that they have the same low density asymptotic behavior as that predicted for the Bose gas. Along with the computation of the low density energy of the simple equation in our previous paper, this shows that the simple equation reproduces the known and conjectured properties of the Bose gas at low densities. △ Less

Submitted 22 May, 2021; v1 submitted 26 October, 2020; originally announced October 2020.

On the convolution inequality $f \geq f\star f$

Authors: Eric A. Carlen, Ian Jauslin, Elliott H. Lieb, Michael P. Loss

Abstract: We consider the inequality $f \geqslant f\star f$ for real integrable functions on $d$ dimensional Euclidean space where $f\star f$ denotes the convolution of $f$ with itself. We show that all such functions $f$ are non-negative, which is not the case for the same inequality in $L^p$ for any $1 < p \leqslant 2$, for which the convolution is defined. We also show that all integrable solutions $f$ s… ▽ More We consider the inequality $f \geqslant f\star f$ for real integrable functions on $d$ dimensional Euclidean space where $f\star f$ denotes the convolution of $f$ with itself. We show that all such functions $f$ are non-negative, which is not the case for the same inequality in $L^p$ for any $1 < p \leqslant 2$, for which the convolution is defined. We also show that all integrable solutions $f$ satisfy $\int f(x){\rm d}x \leqslant \tfrac12$. Moreover, if $\int f(x){\rm d}x = \tfrac12$, then $f$ must decay fairly slowly: $\int |x| f(x){\rm d}x = \infty$, and this is sharp since for all $r< 1$, there are solutions with $\int f(x){\rm d}x = \tfrac12$ and $\int |x|^r f(x){\rm d}x <\infty$. However, if $\int f(x){\rm d}x = : a < \tfrac12$, the decay at infinity can be much more rapid: we show that for all $a<\tfrac12$, there are solutions such that for some $εいぷしろん>0$, $\int e^{εいぷしろん|x|}f(x){\rm d}x < \infty$. △ Less

Submitted 20 May, 2021; v1 submitted 10 February, 2020; originally announced February 2020.

Comments: This is the final version published in International Mathematics Research Notices

MSC Class: 42A85; 35A23

Universal Functionals in Density Functional Theory

Authors: Mathieu Lewin, Elliott H. Lieb, Robert Seiringer

Abstract: In this chapter we first review the Levy-Lieb functional, which gives the lowest kinetic and interaction energy that can be reached with all possible quantum states having a given density. We discuss two possible convex generalizations of this functional, corresponding to using mixed canonical and grand-canonical states, respectively. We present some recent works about the local density approximat… ▽ More In this chapter we first review the Levy-Lieb functional, which gives the lowest kinetic and interaction energy that can be reached with all possible quantum states having a given density. We discuss two possible convex generalizations of this functional, corresponding to using mixed canonical and grand-canonical states, respectively. We present some recent works about the local density approximation, in which the functionals get replaced by purely local functionals constructed using the uniform electron gas energy per unit volume. We then review the known upper and lower bounds on the Levy-Lieb functionals. We start with the kinetic energy alone, then turn to the classical interaction alone, before we are able to put everything together. An appendix is devoted to the Hohenberg-Kohn theorem and the role of many-body unique continuation in its proof. △ Less

Submitted 13 September, 2022; v1 submitted 22 December, 2019; originally announced December 2019.

Comments: Final version of a chapter to appear in the book "Density Functional Theory - Modeling, Mathematical Analysis, Computational Methods, and Applications", edited by Eric Cancès and Gero Friesecke, Springer

Analysis of a simple equation for the ground state energy of the Bose gas

Authors: Eric Carlen, Ian Jauslin, Elliott H. Lieb

Abstract: In 1963 a partial differential equation with a convolution non-linearity was introduced in connection with a quantum mechanical many-body problem, namely the gas of bosonic particles. This equation is mathematically interesting for several reasons. (1) Although the equation was expected to be valid only for small values of the parameters, further investigation showed that predictions based on the… ▽ More In 1963 a partial differential equation with a convolution non-linearity was introduced in connection with a quantum mechanical many-body problem, namely the gas of bosonic particles. This equation is mathematically interesting for several reasons. (1) Although the equation was expected to be valid only for small values of the parameters, further investigation showed that predictions based on the equation agree well over the {\it entire range} of parameters with what is expected to be true for the solution of the true many-body problem. (2) The novel nonlinearity is easy to state but seems to have almost no literature up to now. (3) The earlier work did not prove existence and uniqueness of a solution, which we provide here along with properties of the solution such as decay at infinity. △ Less

Submitted 3 August, 2020; v1 submitted 10 December, 2019; originally announced December 2019.

Comments: v4: Typos and minor fixes. v3: Minor fix. v2: We have solved one of the open problems in v1, specifically, the positivity of the solution to the equation

Journal ref: Pure Appl. Analysis 2 (2020) 659-684

A note on a theorem of M. Christ

Authors: Rupert L. Frank, Elliott H. Lieb

Abstract: This note is a supplement to our paper `Proof of spherical flocking based on quantitative rearrangement inequalities'. Recently, M. Christ has derived a deep result concerning stability of the Riesz rearrangement inequality. We are interested in the special case of this inequality where two of the sets are equal and the third set is a fixed ball. We show that in this special case, Christ's proof e… ▽ More This note is a supplement to our paper `Proof of spherical flocking based on quantitative rearrangement inequalities'. Recently, M. Christ has derived a deep result concerning stability of the Riesz rearrangement inequality. We are interested in the special case of this inequality where two of the sets are equal and the third set is a fixed ball. We show that in this special case, Christ's proof extends with only minor changes to the case where characteristic functions are replaced by functions taking values between zero and one. △ Less

Submitted 10 September, 2019; originally announced September 2019.

Comments: 18 pages, supplement to our paper `Proof of spherical flocking based on quantitative rearrangement inequalities'

Proof of spherical flocking based on quantitative rearrangement inequalities

Authors: Rupert L. Frank, Elliott H. Lieb

Abstract: Our recent work on the Burchard-Choksi-Topaloglu flocking problem showed that in the large mass regime the ground state density profile is the characteristic function of some set. Here we show that this set is, in fact, a round ball. The essential mathematical structure needed in our proof is a strict rearrangement inequality with a quantitative error estimate, which we deduce from recent deep res… ▽ More Our recent work on the Burchard-Choksi-Topaloglu flocking problem showed that in the large mass regime the ground state density profile is the characteristic function of some set. Here we show that this set is, in fact, a round ball. The essential mathematical structure needed in our proof is a strict rearrangement inequality with a quantitative error estimate, which we deduce from recent deep results of M. Christ. △ Less

Submitted 10 September, 2019; originally announced September 2019.

Comments: 20 pages

Wehrl-type coherent state entropy inequalities for $SU(1,1)$ and its $AX+B$ subgroup

Authors: Elliott H. Lieb, Jan Philip Solovej

Abstract: We discuss the Wehrl-type entropy inequality conjecture for the group $SU(1,1)$ and for its subgroup $AX+B$ (or affine group), their representations on $L^2({\mathbb R}_+)$, and their coherent states. For $AX+B$ the Wehrl-type conjecture for $L^p$-norms of these coherent states (also known as the Rényi entropies) is proved in the case that $p$ is an even integer. We also show how the general… ▽ More We discuss the Wehrl-type entropy inequality conjecture for the group $SU(1,1)$ and for its subgroup $AX+B$ (or affine group), their representations on $L^2({\mathbb R}_+)$, and their coherent states. For $AX+B$ the Wehrl-type conjecture for $L^p$-norms of these coherent states (also known as the Rényi entropies) is proved in the case that $p$ is an even integer. We also show how the general $AX+B$ case reduces to an unsolved problem about analytic functions on the upper half plane and the unit disc. △ Less

Submitted 1 November, 2020; v1 submitted 1 June, 2019; originally announced June 2019.

Comments: Title of first submission:"A Wehrl-type entropy inequality for the affine AX+B group" has been changed to "Wehrl-type coherent state entropy inequalities for $SU(1,1)$ and its $AX+B$ subgroup".Abstract updated. 14 pages. Submitted to volume in honor of A.Laptev

Floating Wigner crystal with no boundary charge fluctuations

Authors: Mathieu Lewin, Elliott H. Lieb, Robert Seiringer

Abstract: We modify the "floating crystal" trial state for the classical Homogeneous Electron Gas (also known as Jellium), in order to suppress the boundary charge fluctuations that are known to lead to a macroscopic increase of the energy. The argument is to melt a thin layer of the crystal close to the boundary and consequently replace it by an incompressible fluid. With the aid of this trial state we sho… ▽ More We modify the "floating crystal" trial state for the classical Homogeneous Electron Gas (also known as Jellium), in order to suppress the boundary charge fluctuations that are known to lead to a macroscopic increase of the energy. The argument is to melt a thin layer of the crystal close to the boundary and consequently replace it by an incompressible fluid. With the aid of this trial state we show that three different definitions of the ground state energy of Jellium coincide. In the first point of view the electrons are placed in a neutralizing uniform background. In the second definition there is no background but the electrons are submitted to the constraint that their density is constant, as is appropriate in Density Functional Theory. Finally, in the third system each electron interacts with a periodic image of itself, that is, periodic boundary conditions are imposed on the interaction potential. △ Less

Submitted 23 July, 2019; v1 submitted 22 May, 2019; originally announced May 2019.

Comments: Includes some final corrections. Version to appear in Phys. Rev. B

Journal ref: Phys. Rev. B 100, 035127 (2019)

The Local Density Approximation in Density Functional Theory

Authors: Mathieu Lewin, Elliott H. Lieb, Robert Seiringer

Abstract: We give the first mathematically rigorous justification of the Local Density Approximation in Density Functional Theory. We provide a quantitative estimate on the difference between the grand-canonical Levy-Lieb energy of a given density (the lowest possible energy of all quantum states having this density) and the integral over the Uniform Electron Gas energy of this density. The error involves g… ▽ More We give the first mathematically rigorous justification of the Local Density Approximation in Density Functional Theory. We provide a quantitative estimate on the difference between the grand-canonical Levy-Lieb energy of a given density (the lowest possible energy of all quantum states having this density) and the integral over the Uniform Electron Gas energy of this density. The error involves gradient terms and justifies the use of the Local Density Approximation in the situation where the density is very flat on sufficiently large regions in space. △ Less

Submitted 28 October, 2019; v1 submitted 10 March, 2019; originally announced March 2019.

Comments: Final version to appear in Pure and Applied Analysis

Journal ref: Pure Appl. Analysis 2 (2020) 35-73

Inequalities that sharpen the triangle inequality for sums of $N$ functions in $L^p$

Authors: Eric A. Carlen, Rupert L. Frank, Elliott H. Lieb

Abstract: We study $L^p$ inequalities that sharpen the triangle inequality for sums of $N$ functions in $L^p$. We study $L^p$ inequalities that sharpen the triangle inequality for sums of $N$ functions in $L^p$. △ Less

Submitted 12 February, 2019; originally announced February 2019.

MSC Class: 39B62

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

Authors: Elliott H. Lieb, Robert Seiringer

Abstract: We consider the Fröhlich model of a polaron, and show that its effective mass diverges 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. △ Less

Submitted 11 February, 2019; originally announced February 2019.

Comments: LaTeX, 11 pages

Journal ref: J. Stat. Phys. 180, 23-33 (2020)

Periodic energy minimizers for a one-dimensional liquid drop model

Authors: Rupert L. Frank, Elliott H. Lieb

Abstract: We reprove a result by Ren and Wei concerning the periodicity of minimizers of a one-dimensional liquid drop model in the neutral case. Our proof works for general boundary conditions and also in the non-neutral case. We reprove a result by Ren and Wei concerning the periodicity of minimizers of a one-dimensional liquid drop model in the neutral case. Our proof works for general boundary conditions and also in the non-neutral case. △ Less

Submitted 19 August, 2018; originally announced August 2018.

Comments: 11 pages

Inequalities for $L^p$-norms that sharpen the triangle inequality and complement Hanner's Inequality

Authors: Eric A. Carlen, Rupert L. Frank, Paata Ivanisvili, Elliott H. Lieb

Abstract: In 2006 Carbery raised a question about an improvement on the naïve norm inequality $\|f+g\|_p^p \leq 2^{p-1}(\|f\|_p^p + \|g\|_p^p)$ for two functions in $L^p$ of any measure space. When $f=g$ this is an equality, but when the supports of $f$ and $g$ are disjoint the factor $2^{p-1}$ is not needed. Carbery's question concerns a proposed interpolation between the two situations for $p>2$. The inte… ▽ More In 2006 Carbery raised a question about an improvement on the naïve norm inequality $\|f+g\|_p^p \leq 2^{p-1}(\|f\|_p^p + \|g\|_p^p)$ for two functions in $L^p$ of any measure space. When $f=g$ this is an equality, but when the supports of $f$ and $g$ are disjoint the factor $2^{p-1}$ is not needed. Carbery's question concerns a proposed interpolation between the two situations for $p>2$. The interpolation parameter measuring the overlap is $\|fg\|_{p/2}$. We prove an inequality of this type that is stronger than the one Carbery proposed. Moreover, our stronger inequalities are valid for all $p$. △ Less

Submitted 7 December, 2018; v1 submitted 15 July, 2018; originally announced July 2018.

Comments: 18 pages. This version has added material on cases of equality

MSC Class: 46E30; 39B62

Inequalities for quantum divergences and the Audenaert-Datta conjecture

Authors: Eric A. Carlen, Rupert L. Frank, Elliott H. Lieb

Abstract: Given two density matrices $ρろー$ and $σしぐま$, there are a number of different expressions that reduce to the $αあるふぁ$-Rényi relative entropy of $ρろー$ with respect to $σしぐま$ in the classical case; i.e., when $ρろー$ and $σしぐま$ commute. Only those expressions for which the Data Processing Inequality (DPI) is valid are of potential interest as quantum divergences in quantum information theory. Audenaert and Datta have made… ▽ More Given two density matrices $ρろー$ and $σしぐま$, there are a number of different expressions that reduce to the $αあるふぁ$-Rényi relative entropy of $ρろー$ with respect to $σしぐま$ in the classical case; i.e., when $ρろー$ and $σしぐま$ commute. Only those expressions for which the Data Processing Inequality (DPI) is valid are of potential interest as quantum divergences in quantum information theory. Audenaert and Datta have made a conjecture on the validity of the DPI for an interesting family of quantum generalizations of the $αあるふぁ$ - Rényi relative entropies, the $αあるふぁ-z$ - Rényi relative entropies. They and others have contributed to the partial solution of this conjecture. We review the problem, its context, and the methods that have been used to obtain the results that are known at present, presenting a unified treatment of developments that have unfolded in a number of different papers. △ Less

Submitted 11 June, 2018; originally announced June 2018.

Comments: 23 pages

Some trace inequalities for exponential and logarithmic functions

Authors: Eric A. Carlen, Elliott H. Lieb

Abstract: 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… ▽ More 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. △ Less

Submitted 30 April, 2018; v1 submitted 15 September, 2017; originally announced September 2017.

Comments: In version 2 we have added two 1994 references, one to Ando and Hiai and one to Hiai

Nematic liquid crystal phase in a system of interacting dimers and monomers

Authors: Ian Jauslin, Elliott H. Lieb

Abstract: 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-Sin… ▽ More 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. △ Less

Submitted 26 April, 2018; v1 submitted 15 September, 2017; originally announced September 2017.

Statistical Mechanics of the Uniform Electron Gas

Authors: Mathieu Lewin, Elliott H. Lieb, Robert Seiringer

Abstract: 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 indi… ▽ More 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. △ Less

Submitted 16 November, 2017; v1 submitted 30 May, 2017; originally announced May 2017.

Comments: Final version to appear in J. Ec. polytech. Math

Journal ref: Journal de l'Ecole polytechnique - Mathematiques, Tome 5, 79-116 (2018)

Norms of quantum Gaussian multi-mode channels

Authors: Rupert L. Frank, Elliott H. Lieb

Abstract: 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. 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. △ Less

Submitted 19 June, 2017; v1 submitted 27 April, 2017; originally announced April 2017.

Comments: 9 pages; minor changes; to appear in J. Math. Phys

A dual form of the sharp Nash inequality and its weighted generalization

Authors: Eric A. Carlen, Elliott H. Lieb

Abstract: 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}$… ▽ More 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. △ Less

Submitted 21 December, 2017; v1 submitted 27 March, 2017; originally announced March 2017.

Comments: Version 2 adds some clarifying remarks. The main content is the same

Local incompressibility estimates for the Laughlin phase

Authors: Elliott Lieb, Nicolas Rougerie, Jakob Yngvason

Abstract: We prove sharp density upper bounds on optimal length-scales for the ground states of classical 2D Coulomb systems and generalizations thereof. Our method is new, based on an auxiliary Thomas-Fermi-like variational model. Moreover, we deduce density upper bounds for the related low-temperature Gibbs states. Our motivation comes from fractional quantum Hall physics, more precisely, the perturbation… ▽ More We prove sharp density upper bounds on optimal length-scales for the ground states of classical 2D Coulomb systems and generalizations thereof. Our method is new, based on an auxiliary Thomas-Fermi-like variational model. Moreover, we deduce density upper bounds for the related low-temperature Gibbs states. Our motivation comes from fractional quantum Hall physics, more precisely, the perturbation of the Laughlin state by external potentials or impurities. These give rise to a class of many-body wave-functions that have the form of a product of the Laughlin state and an analytic function of many variables. This class is related via Laughlin's plasma analogy to Gibbs states of the generalized classical Coulomb systems we consider. Our main result shows that the perturbation of the Laughlin state cannot increase the particle density anywhere, with implications for the response of FQHE systems to external perturbations. △ Less

Submitted 11 January, 2018; v1 submitted 31 January, 2017; originally announced January 2017.

Comments: Version 3. Some details clarified, recent results of arXiv:1707.05059 taken into account

Rigidity of the Laughlin liquid

Authors: Elliott Lieb, Nicolas Rougerie, Jakob Yngvason

Abstract: We consider general N-particle wave functions that have the form of a product of the Laughlin state with filling factor $1/\ell$ and an analytic function of the N variables. This is the most general form of a wave function that can arise through a perturbation of the Laughlin state by external potentials or impurities, while staying in the lowest Landau level and maintaining the strong correlation… ▽ More We consider general N-particle wave functions that have the form of a product of the Laughlin state with filling factor $1/\ell$ and an analytic function of the N variables. This is the most general form of a wave function that can arise through a perturbation of the Laughlin state by external potentials or impurities, while staying in the lowest Landau level and maintaining the strong correlations of the original state. We show that the perturbation can only shift or lower the 1-particle density but nowhere increase it above a maximum value. Consequences of this bound for the response of the Laughlin state to external fields are discussed. △ Less

Submitted 5 June, 2018; v1 submitted 13 September, 2016; originally announced September 2016.

Comments: Revised version, to appear in Journal of Statistical Physics

A `liquid-solid' phase transition in a simple model for swarming, based on the `no flat-spots' theorem for subharmonic functions

Authors: Rupert L. Frank, Elliott H. Lieb

Abstract: 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. 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. △ Less

Submitted 19 June, 2017; v1 submitted 27 July, 2016; originally announced July 2016.

Comments: 20 pages; result extended to more general interaction kernels

Maximizers for the Stein-Tomas inequality

Authors: Rupert L. Frank, Elliott H. Lieb, Julien Sabin

Abstract: 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. 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. △ Less

Submitted 23 March, 2016; originally announced March 2016.

Comments: 37 pages

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

Authors: Eric A. Carlen, Elliott H. Lieb, Michael Loss

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

Submitted 22 March, 2016; originally announced March 2016.

Comments: 4 pages

MSC Class: 47A63; 94A17

A Pfaffian formula for monomer-dimer partition functions

Authors: Alessandro Giuliani, Ian Jauslin, Elliott H. Lieb

Abstract: 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 satisf… ▽ More 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. △ Less

Submitted 22 August, 2016; v1 submitted 16 October, 2015; originally announced October 2015.

Comments: Added reference

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

Authors: Elliott H. Lieb, Jan Philip Solovej

Abstract: 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 f… ▽ More 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. △ Less

Submitted 4 January, 2016; v1 submitted 25 June, 2015; originally announced June 2015.

Comments: 15 pages. To appear in Commun. Math. Phys

MSC Class: 81R05; 81R30; 81S10; 22E46

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

Authors: Rupert L. Frank, Elliott H. Lieb

Abstract: 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… ▽ More 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$. △ Less

Submitted 28 February, 2015; originally announced March 2015.

Comments: 16 pages

Columnar Phase in Quantum Dimer Models

Authors: Alessandro Giuliani, Elliott H. Lieb

Abstract: 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 a… ▽ More 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. △ Less

Submitted 1 May, 2015; v1 submitted 8 February, 2015; originally announced February 2015.

Comments: 14 pages, 1 figure. v3: typos corrected

Ground state energy of large polaron systems

Authors: Rafael D. Benguria, Rupert L. Frank, Elliott H. Lieb

Abstract: 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}$. 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}$. △ Less

Submitted 18 September, 2014; originally announced September 2014.

Comments: 16 pages

Some Operator and Trace Function Convexity Theorems

Authors: Eric A. Carlen, Rupert L. Frank, Elliott H. Lieb

Abstract: 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 se… ▽ More 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. △ Less

Submitted 14 July, 2015; v1 submitted 1 September, 2014; originally announced September 2014.

Comments: 11 pages latex2e. Some new results added and some proofs simplified using the triple convexity theorem. Minor error in a proof detected and corrected 10/10/14. Some typos and a comment added at the end of the proof of Theorem 3.2 02/05/15. The revision corrects a few typos

MSC Class: 47A63; 94A17; 15A99

Improved Lieb-Oxford exchange-correlation inequality with gradient correction

Authors: Mathieu Lewin, Elliott H. Lieb

Abstract: 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… ▽ More 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. △ Less

Submitted 11 February, 2015; v1 submitted 14 August, 2014; originally announced August 2014.

Comments: Final version to appear in Physical Review A. Compared to the very first version, this one contains an appendix discussing the link with the Jellium problem

Journal ref: Physical Review A, 91, 022507 (2015)

Entropy and entanglement bounds for reduced density matrices of fermionic states

Authors: Eric A. Carlen, Elliott H. Lieb, Robin Reuvers

Abstract: 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. 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. △ Less

Submitted 29 April, 2016; v1 submitted 15 March, 2014; originally announced March 2014.

Comments: 20 pages. This version of the paper is a substantial revision of the previous version

MSC Class: 81V99; 82B10; 94A17

Entropy Meters and the Entropy of Non-extensive Systems

Authors: Elliott H. Lieb, Jakob Yngvason

Abstract: 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. W… ▽ More 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. △ Less

Submitted 30 March, 2014; v1 submitted 4 March, 2014; originally announced March 2014.

Comments: Comments and references added to the Introduction. To be published in the Proceedings of The Royal Society A

MSC Class: 80A05

Remainder Terms for Some Quantum Entropy Inequalities

Authors: Eric A. Carlen, Elliott H. Lieb

Abstract: 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. 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. △ Less

Submitted 7 March, 2014; v1 submitted 16 February, 2014; originally announced February 2014.

Comments: 6 pages, latex

MSC Class: 81V99; 82B10; 94A17

Journal ref: Jour. Math. Phys 55, 042201 (2014)

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

Authors: Yi Li, Elliott H. Lieb, Congjun Wu

Abstract: 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-… ▽ More 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. △ Less

Submitted 30 April, 2014; v1 submitted 16 October, 2013; originally announced October 2013.

Comments: Accepted by Physical Review Letters

Journal ref: Phys. Rev. Lett. 112, 217201 (2014)

Current Densities in Density Functional Theory

Authors: Elliott H. Lieb, Robert Schrader

Abstract: 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… ▽ More 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. △ Less

Submitted 20 August, 2013; v1 submitted 12 August, 2013; originally announced August 2013.

Comments: 21 pages, latex, reference added

Monotonicity of a relative Rényi entropy

Authors: Rupert L. Frank, Elliott H. Lieb

Abstract: 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. 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. △ Less

Submitted 1 October, 2013; v1 submitted 22 June, 2013; originally announced June 2013.

Comments: 6 pages; minor revisions

Strichartz inequality for orthonormal functions

Authors: Rupert L. Frank, Mathieu Lewin, Elliott H. Lieb, Robert Seiringer

Abstract: 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 sho… ▽ More 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. △ Less

Submitted 12 September, 2013; v1 submitted 6 June, 2013; originally announced June 2013.

Comments: Final version to appear in the Journal of the European Mathematical Society

Journal ref: J. Eur. Math. Soc. 16, 1507-1526 (2014)

A Gaussian refinement of the Lieb-Robinson bound

Authors: Elliott H. Lieb, Anna Vershynina

Abstract: 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]. 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]. △ Less

Submitted 26 August, 2013; v1 submitted 3 June, 2013; originally announced June 2013.

Comments: This paper has been withdrawn by the authors

Realization of stripes and slabs in two and three dimensions

Authors: Alessandro Giuliani, Elliott H. Lieb, Robert Seiringer

Abstract: 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 gro… ▽ More 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. △ Less

Submitted 23 May, 2013; originally announced May 2013.

Comments: 4 pages, 1 figure

Journal ref: Phys. Rev. B 88, 064401 (2013)

The entropy concept for non-equilibrium states

Authors: Elliott H. Lieb, Jakob Yngvason

Abstract: 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 adia… ▽ More 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. △ Less

Submitted 4 March, 2014; v1 submitted 16 May, 2013; originally announced May 2013.

Comments: Published version

MSC Class: 80A05

Journal ref: Proc. R. Soc. A 2013 469, 20130408

Formation of stripes and slabs near the ferromagnetic transition

Authors: Alessandro Giuliani, Elliott H. Lieb, Robert Seiringer

Abstract: 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 g… ▽ More 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. △ Less

Submitted 14 May, 2013; v1 submitted 23 April, 2013; originally announced April 2013.

Comments: 23 pages, 2 figures. We discovered that our analysis works in 3D as well as in 2D. We revised the paper and the title to reflect this. Our 2D stripes become 3D slabs. Some references added

Journal ref: Commun. Math. Phys. 331, 333 (2014)

Equivalence of two definitions of the effective mass of a polaron

Authors: Elliott H. Lieb, Robert Seiringer

Abstract: 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 arbitra… ▽ More 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$. △ Less

Submitted 5 April, 2013; originally announced April 2013.

Comments: 10 pages

Journal ref: J. Stat. Phys. 154, 51-57 (2014)

Upper bounds on mixing rates

Authors: Elliott H. Lieb, Anna Vershynina

Abstract: 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… ▽ More 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. △ Less

Submitted 5 November, 2013; v1 submitted 15 February, 2013; originally announced February 2013.

MSC Class: 81P45; 94A17

Journal ref: Quantum Information and Computation, volume 13, no. 11-12, pp. 0986-0994 (2013)