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

Stability estimate for the Lane-Emden inequality

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

Abstract: The Lane-Emden inequality controls $\iint_{\mathbb{R}^{2d}}ρ(x)ρ(y)|x-y|^{-λ}\,dx\,dy$ in terms of the $L^1$ and $L^p$ norms of $ρ$. We provide a remainder estimate for this inequality in terms of a suitable distance of $ρ$ to the manifold of optimizers. The Lane-Emden inequality controls $\iint_{\mathbb{R}^{2d}}ρ(x)ρ(y)|x-y|^{-λ}\,dx\,dy$ in terms of the $L^1$ and $L^p$ norms of $ρ$. We provide a remainder estimate for this inequality in terms of a suitable distance of $ρ$ to the manifold of optimizers. △ Less

Submitted 26 October, 2024; originally announced October 2024.

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

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

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

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

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

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.

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

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

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

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

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

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

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)

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)

Existence of ground states for negative ions at the binding threshold

Authors: Jacopo Bellazzini, Rupert L. Frank, Elliott H. Lieb, Robert Seiringer

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

Submitted 22 January, 2013; originally announced January 2013.

Comments: 17 pages

Journal ref: Rev. Math. Phys. 26, 1350021 (2014)

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

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

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

Submitted 14 May, 2013; v1 submitted 21 January, 2013; originally announced January 2013.

Comments: 20 pages; reference added; minor change in the statement and proof of Theorem 3.1

Ground state properties of multi-polaron systems

Authors: Rupert L. Frank, Elliott H. Lieb, Robert Seiringer, Lawrence E. Thomas

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

Submitted 17 September, 2012; originally announced September 2012.

Comments: Contribution to the proceedings of ICMP12, Aalborg, Denmark, August 6--11, 2012; 8 pages

Further implications of the Bessis-Moussa-Villani conjecture

Authors: Elliott H. Lieb, Robert Seiringer

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

Submitted 3 June, 2012; originally announced June 2012.

Comments: LaTeX, 8 pages

Journal ref: J. Stat. Phys. 149, 86 (2012)

A smooth, complex generalization of the Hobby-Rice theorem

Authors: Oleg Lazarev, Elliott H. Lieb

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

Submitted 30 March, 2014; v1 submitted 22 May, 2012; originally announced May 2012.

Comments: 8 pages, latex. Version V3 has an additional corollary 1.3 plus improved abstract, corrected typos and added references

Journal ref: Indiana Univ. Math. Journal, vol. 62, 1133-1141 (2013)

Extended quantum conditional entropy and quantum uncertainty inequalities

Authors: Rupert L. Frank, Elliott H. Lieb

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

Submitted 3 April, 2012; originally announced April 2012.

Comments: 4 pages

Bounds for Entanglement via an Extension of Strong Subadditivity of Entropy

Authors: Eric A. Carlen, Elliott H. Lieb

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

Submitted 27 March, 2012; v1 submitted 21 March, 2012; originally announced March 2012.

Comments: 8 pages. Version 2 includes some additional references and comments

MSC Class: 81P45; 47A63

Symmetry of bipolaron bound states for small Coulomb repulsion

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

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

Submitted 18 January, 2012; originally announced January 2012.

Comments: 17 pages

Journal ref: Commun. Math. Phys. 319, 557 (2013)

Entropy and the uncertainty principle

Authors: Rupert L. Frank, Elliott H. Lieb

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

Submitted 6 September, 2011; originally announced September 2011.

Comments: 6 pages

A positive density analogue of the Lieb-Thirring inequality

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

Abstract: The Lieb-Thirring inequalities give a bound on the negative eigenvalues of a Schrödinger operator in terms of an $L^p$ norm of the potential. This is dual to a bound on the $H^1$-norms of a system of orthonormal functions. Here we extend these to analogous inequalities for perturbations of the Fermi sea of non-interacting particles, i.e., for perturbations of the continuous spectrum of the Laplaci… ▽ More The Lieb-Thirring inequalities give a bound on the negative eigenvalues of a Schrödinger operator in terms of an $L^p$ norm of the potential. This is dual to a bound on the $H^1$-norms of a system of orthonormal functions. Here we extend these to analogous inequalities for perturbations of the Fermi sea of non-interacting particles, i.e., for perturbations of the continuous spectrum of the Laplacian by local potentials. △ Less

Submitted 16 May, 2012; v1 submitted 22 August, 2011; originally announced August 2011.

Comments: 48 pages; revised version including a new result (Thm. 2.6); to appear in Duke Mathematical Journal

Journal ref: Duke Math. J. 162, no. 3 (2013), 435-495

Binding of Polarons and Atoms at Threshold

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

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

Submitted 3 June, 2011; originally announced June 2011.

Comments: 19 pages

Journal ref: Commun. Math. Phys. 313, 405 (2012)

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

Authors: Eric A. Carlen, Dario Cordero-Erausquin, Elliott H. Lieb

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

Submitted 24 October, 2011; v1 submitted 3 June, 2011; originally announced June 2011.

Comments: 16 pages. This version corrects some misprints, and contains additional comments on the results

MSC Class: 26D10

Energy Cost to Make a Hole in the Fermi Sea

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

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

Submitted 13 April, 2011; v1 submitted 7 February, 2011; originally announced February 2011.

Comments: 4 pages, final version published in Phys. Rev. Lett

Journal ref: Phys. Rev. Lett., 106, 150402 (2011)

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

Authors: Colin Decker, Elliott H. Lieb, Robert J. McCann, Benjamin K. Stephens

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

Submitted 5 September, 2011; v1 submitted 8 December, 2010; originally announced December 2010.

MSC Class: J12; C62; C78; C81; D03; Z13

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

Authors: Rupert L. Frank, Elliott H. Lieb

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

Submitted 3 May, 2012; v1 submitted 27 October, 2010; originally announced October 2010.

Comments: 12 pages; contribution to a volume dedicated to D. E. Edmunds and W. D. Evans; typo corrected in equation (1.3)

Sharp constants in several inequalities on the Heisenberg group

Authors: Rupert L. Frank, Elliott H. Lieb

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

Submitted 25 November, 2011; v1 submitted 7 September, 2010; originally announced September 2010.

Comments: 30 pages; addition of Corollary 2.3 and some minor changes; to appear in Annals of Mathematics

Spherical reflection positivity and the Hardy-Littlewood-Sobolev inequality

Authors: Rupert L. Frank, Elliott H. Lieb

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

Submitted 26 March, 2010; originally announced March 2010.

Comments: 15 pages; contribution to the proceedings of the workshop at Florida Atlantic University, Boca Raton, Florida (October/November 2009)

Equivalence of Sobolev inequalities and Lieb-Thirring inequalities

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

Abstract: We show that, under very general definitions of a kinetic energy operator $T$, the Lieb-Thirring inequalities for sums of eigenvalues of $T-V$ can be derived from the Sobolev inequality appropriate to that choice of $T$. We show that, under very general definitions of a kinetic energy operator $T$, the Lieb-Thirring inequalities for sums of eigenvalues of $T-V$ can be derived from the Sobolev inequality appropriate to that choice of $T$. △ Less

Submitted 29 September, 2009; originally announced September 2009.

Comments: 13 pages; contribution to the proceedings of the XVI International Congress on Mathematical Physics, Prague, 2009

Inversion positivity and the sharp Hardy-Littlewood-Sobolev inequality

Authors: Rupert L. Frank, Elliott H. Lieb

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

Submitted 23 November, 2009; v1 submitted 27 April, 2009; originally announced April 2009.

Comments: 15 pages; references added and minor changes

Journal ref: Calc. Var. Partial Differential Equations 39 (2010), no. 1 - 2, 85 - 99

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

Authors: Eric A. Carlen, Elliott H. Lieb

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

Submitted 12 May, 2011; v1 submitted 4 April, 2009; originally announced April 2009.

Comments: This is the final version of the paper as published in EJLA

MSC Class: 15A42; 15A51

Journal ref: Electronic Journal of Linear Algebra, vol. 18, 438-441 (2009)

Brascamp-Lieb Inequalities for Non-Commutative Integration

Authors: Eric A. Carlen, Elliott H. Lieb

Abstract: We formulate a non-commutative analog of the Brascamp-Lieb inequality, and prove it in several concrete settings. We formulate a non-commutative analog of the Brascamp-Lieb inequality, and prove it in several concrete settings. △ Less

Submitted 2 October, 2009; v1 submitted 7 August, 2008; originally announced August 2008.

Comments: 27 pages, no figures. This version corrects three typos in formula referencing and journal citation in the bibliography

MSC Class: 47C15; 15A45; 26D15

Journal ref: Documenta Mathematica, vol. 13, (2008) pages 553-584

A Minkowski Type Trace Inequality and Strong Subadditivity of Quantum Entropy II: Convexity and Concavity

Authors: Eric A. Carlen, Elliott H. Lieb

Abstract: We revisit and prove some convexity inequalities for trace functions conjectured in the earlier part I. The main functional considered is Φ_{p,q}(A_1,A_2,...,A_m) = (trace((\sum_{j=1}^m A_j^p)^{q/p}))^{1/q} for m positive definite operators A_j. In part I we only considered the case q=1 and proved the concavity of Φ_{p,1} for 0 < p \leq 1 and the convexity for p=2. We conjectured the convexity… ▽ More We revisit and prove some convexity inequalities for trace functions conjectured in the earlier part I. The main functional considered is Φ_{p,q}(A_1,A_2,...,A_m) = (trace((\sum_{j=1}^m A_j^p)^{q/p}))^{1/q} for m positive definite operators A_j. In part I we only considered the case q=1 and proved the concavity of Φ_{p,1} for 0 < p \leq 1 and the convexity for p=2. We conjectured the convexity of Φ_{p,1} for 1< p < 2. Here we not only settle the unresolved case of joint convexity for 1 \leq p \leq 2, we are also able to include the parameter q\geq 1 and still retain the convexity. Among other things this leads to a definition of an L^q(L^p) norm for operators when 1 \leq p \leq 2 and a Minkowski inequality for operators on a tensor product of three Hilbert spaces -- which leads to another proof of strong subadditivity of entropy. We also prove convexity/concavity properties of some other, related functionals. △ Less

Submitted 30 November, 2007; v1 submitted 23 October, 2007; originally announced October 2007.

Comments: Proof of a conjecture in math/0701352. Revised version replaces earlier draft. 18 pages, latex

MSC Class: 47A63; 15A90

Journal ref: Lett. Math. Phys., Vol. 83, No. 2, pp. 107-126 (2008)

A Minkowski Type Trace Inequality and Strong Subadditivity of Quantum Entropy

Authors: Eric A. Carlen, Elliott H. Lieb

Abstract: We consider the following trace function on n-tuples of positive operators: Φ_p(A_1,A_2,...,A_n) = Trace (\sum_{j=1}^n A_j^p)^{1/p} and prove that it is jointly concave for 0<p\le 1 and convex for p=2. We then derive from this a Minkowski type inequality for operators on a tensor product of three Hilbert spaces, and show how this implies the strong subadditivity of quantum mechanical entropy.… ▽ More We consider the following trace function on n-tuples of positive operators: Φ_p(A_1,A_2,...,A_n) = Trace (\sum_{j=1}^n A_j^p)^{1/p} and prove that it is jointly concave for 0<p\le 1 and convex for p=2. We then derive from this a Minkowski type inequality for operators on a tensor product of three Hilbert spaces, and show how this implies the strong subadditivity of quantum mechanical entropy. For p>2, Φ_p is neither convex nor concave. We conjecture that Φ_p is convex for 1<p<2, but our methods do not show this. △ Less

Submitted 12 January, 2007; originally announced January 2007.

Comments: 13 pages, plaintex, dedicated to M. Birman

MSC Class: 47A63; 15A90

Journal ref: American Mathematical Society Translations, series 2, vol 189, pp. 59-69 (1999)

Hardy-Lieb-Thirring inequalities for fractional Schroedinger operators

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

Abstract: We show that the Lieb-Thirring inequalities on moments of negative eigenvalues of Schroedinger-like operators remain true, with possibly different constants, when the critical Hardy-weight $C|x|^{-2}$ is subtracted from the Laplace operator. We do so by first establishing a Sobolev inequality for such operators. Similar results are true for fractional powers of the Laplacian and the Hardy-weight… ▽ More We show that the Lieb-Thirring inequalities on moments of negative eigenvalues of Schroedinger-like operators remain true, with possibly different constants, when the critical Hardy-weight $C|x|^{-2}$ is subtracted from the Laplace operator. We do so by first establishing a Sobolev inequality for such operators. Similar results are true for fractional powers of the Laplacian and the Hardy-weight and, in particular, for relativistic Schroedinger operators. We also allow for the inclusion of magnetic vector potentials. As an application, we extend, for the first time, the proof of stability of relativistic matter with magnetic fields all the way up to the critical value of the nuclear charge $Zα=2/π$. △ Less

Submitted 27 October, 2006; v1 submitted 19 October, 2006; originally announced October 2006.

Comments: LaTeX2e, 29 pages; corrected version of Lemma 3.3

Journal ref: J. Amer. Math. Soc. 21, 925-950 (2008)

Lieb-Thirring inequalities for Schrödinger operators with complex-valued potentials

Authors: Rupert L. Frank, Ari Laptev, Elliott H. Lieb, Robert Seiringer

Abstract: Inequalities are derived for power sums of the real part and the modulus of the eigenvalues of a Schrödinger operator with a complex-valued potential. Inequalities are derived for power sums of the real part and the modulus of the eigenvalues of a Schrödinger operator with a complex-valued potential. △ Less

Submitted 30 August, 2006; v1 submitted 4 May, 2006; originally announced May 2006.

Comments: 9 pages; typos corrected

MSC Class: Primary 35P15; Secondary 81Q10

Journal ref: Lett. Math. Phys. 77 (2006), no. 3, 309--316

An Inequality of Hadamard Type for Permanents

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

Abstract: Let F be an N x N complex matrix whose jth column is the vector f_j in C^N. Let |f_j|^2 denote the sum of the absolute squares of the entries of f_j. Hadamard's inequality for determinants states that |\det(F)| <= \prod_{j=1}^N|f_j|. Here we prove a sharp upper bound on the permanent of F, which is |perm(F)| <= N!N^{-N/2} \prod_{j=1}^N|f_j|, and we determine all of the cases of equality. Let F be an N x N complex matrix whose jth column is the vector f_j in C^N. Let |f_j|^2 denote the sum of the absolute squares of the entries of f_j. Hadamard's inequality for determinants states that |\det(F)| <= \prod_{j=1}^N|f_j|. Here we prove a sharp upper bound on the permanent of F, which is |perm(F)| <= N!N^{-N/2} \prod_{j=1}^N|f_j|, and we determine all of the cases of equality. △ Less

Submitted 4 August, 2005; originally announced August 2005.

Comments: 17 pages, latex

Report number: CLL July 11 MSC Class: 15A15; 26D20

Journal ref: Methods and Applications of Analysis, vol 13, No. 1, pp 1-18 (March 2006)

Some Matrix Rearrangement Inequalities

Authors: Eric Carlen, Elliott H. Lieb

Abstract: We investigate a rearrangement inequality for pairs of n-square matrices: Let |A\|_p denote the C^p trace norm of an n-square matrix A. Consider the quantity |A+B|_p^p + |A-B|_p^p. Under certain positivity conditions, we show that this is nonincreasing for a natural ``rearrangement'' of the matrices A and B when 1 \le p \le 2. We conjecture that this is true in general, without any restrictions… ▽ More We investigate a rearrangement inequality for pairs of n-square matrices: Let |A\|_p denote the C^p trace norm of an n-square matrix A. Consider the quantity |A+B|_p^p + |A-B|_p^p. Under certain positivity conditions, we show that this is nonincreasing for a natural ``rearrangement'' of the matrices A and B when 1 \le p \le 2. We conjecture that this is true in general, without any restrictions on A and B. Were this the case, it would prove the analog of Hanner's inequality for L^p function spaces, and would show that the unit ball in C^p has the exact same moduli of smoothness and convexity as does the unit ball in L^p for all 1 < p < \infty. At present this is known to be the case only for 1 < p \le 4/3, p =2, and p\ge 4. Several other rearrangement inequalities that are of interest in their own right are proved as the lemmas used in proving the main results. △ Less

Submitted 14 February, 2004; originally announced February 2004.

MSC Class: 15A45; 15A18; 15A42; 47A30; 47A63