Elliott Hershel Lieb (born July 31, 1932) is an American mathematical physicist. He is a professor of mathematics and physics at Princeton University. Lieb's works pertain to quantum and classical many-body problem, [1] [2] [3] atomic structure, [3] the stability of matter, [3] functional inequalities, [4] the theory of magnetism, [2] and the Hubbard model. [2]
Lieb was born in Boston in 1932, the family moved to New York when he was five. His father came from Lithuania and was an accountant, his mother came from Bessarabia and worked as a secretary. [5]
He received his B.S. in physics from the Massachusetts Institute of Technology in 1953 [6] and his PhD in mathematical physics from the University of Birmingham in England in 1956. [6] [7] Lieb was a Fulbright Fellow at Kyoto University, Japan (1956–1957), [6] and worked as the Staff Theoretical Physicist for IBM from 1960 to 1963. [6] In 1961–1962, Lieb was on leave as professor of applied mathematics at Fourah Bay College, the University of Sierra Leone. [6] In 1963, he joined the Yeshiva University as an associate professor. [5] He has been a professor at Princeton since 1975, [6] following a leave from his professorship at MIT.
He is married to fellow Princeton professor Christiane Fellbaum.
For years, he has rejected the standard practice of transferring copyright of his research articles to academic publishers. Instead, he would only give publishers his consent to publish. [8]
Lieb has been awarded several prizes in mathematics and physics, including the Heineman Prize for Mathematical Physics of the American Physical Society and the American Institute of Physics (1978), [9] the Max Planck Medal of the German Physical Society (1992), [10] the Boltzmann medal of the International Union of Pure and Applied Physics (1998), [11] the Schock Prize (2001), [12] the Henri Poincaré Prize of the International Association of Mathematical Physics (2003), [13] and the Medal of the Erwin Schrödinger Institute for Mathematics and Physics (2021). [14]
In 2022 he was awarded the Medal for Exceptional Achievement in Research from the American Physical Society for ″major contributions to theoretical physics through obtaining exact solutions to important physical problems, which have impacted condensed matter physics, quantum information, statistical mechanics, and atomic physics″ [15] and the Carl Friedrich Gauss Prize at the International Congress of Mathematicians ″for deep mathematical contributions of exceptional breadth which have shaped the fields of quantum mechanics, statistical mechanics, computational chemistry, and quantum information theory.″ [16] Also in 2022 he received the Dirac Medal of the ICTP [17] jointly with Joel Lebowitz and David Ruelle.
Lieb is a member of the U.S. National Academy of Sciences [18] and has twice served (1982–1984 and 1997–1999) as the president of the International Association of Mathematical Physics. [19] Lieb was awarded the Austrian Decoration for Science and Art in 2002. [20] In 2012 he became a fellow of the American Mathematical Society [21] and in 2013 a Foreign Member of the Royal Society. [22]
In 2023 he received Kyoto Prize in Basic Sciences for his achievements in many-body physics. [23]
Lieb has made fundamental contributions to both theoretical physics and mathematics. Only some of them are outlined here. His main research papers are gathered in four Selecta volumes. [1] [2] [3] [4] More details can also be found in two books published by EMS Press in 2022 on the occasion of his 90th birthday. [24] His research is reviewed there in more than 50 chapters.
Lieb is famous for many groundbreaking results in statistical mechanics concerning, in particular, soluble systems. His numerous works have been collected in the Selecta ″Statistical mechanics″ [1] and ″Condensed matter physics and exactly soluble models″, [2] as well as in a book with Daniel Mattis. [25] They treat (among other things) Ising-type models, models for ferromagnetism and ferroelectricity, the exact solution of the six-vertex model of ice in two dimensions, the one-dimensional delta Bose gas (now called the Lieb-Liniger model) and the Hubbard model.
Together with Daniel Mattis and Theodore Schultz he solved in 1964 the two-dimensional Ising model (with a new derivation of the exact solution by Lars Onsager via the Jordan-Wigner transformation of the transfer matrices) and in 1961 the XY model, an explicitly solvable one-dimensional spin-1/2 model. In 1968, together with Fa-Yueh Wu, he gave the exact solution of the one-dimensional Hubbard model.
In 1971 he and Neville Temperley introduced the Temperley-Lieb algebra in order to build certain transfer matrices. This algebra also has links with knot theory and the braid group, quantum groups and subfactors of von Neumann algebras.
Together with Derek W. Robinson in 1972 he derived bounds on the propagation speed of information in non-relativistic spin systems with local interactions. They have become known as Lieb-Robinson bounds and play an important role, for instance, in error bounds in the thermodynamic limit or in quantum computing. They can be used to prove the exponential decay of correlations in spin systems or to make assertions about the gap above the ground state in higher-dimensional spin systems (generalized Lieb-Schultz-Mattis theorems).
In 1972 he and Mary Beth Ruskai proved the strong subadditivity of quantum entropy, a theorem that is fundamental for quantum information theory. This is closely related to what is known as the data processing inequality in quantum information theory. The Lieb-Ruskai proof of strong subadditivity is based on an earlier paper where Lieb solved several important conjectures about operator inequalities, including the Wigner-Yanase-Dyson conjecture. [26]
In the years 1997–99, Lieb provided a rigorous treatment of the increase of entropy in the second law of thermodynamics and adiabatic accessibility with Jakob Yngvason. [27]
In 1975, Lieb and Walter Thirring found a proof of the stability of matter that was shorter and more conceptual than that of Freeman Dyson and Andrew Lenard in 1967. Their argument is based on a new inequality in spectral theory, which became known as the Lieb-Thirring inequality. The latter has become a standard tool in the study of large fermionic systems, e.g. for (pseudo-)relativistic fermions in interaction with classical or quantized electromagnetic fields. On the mathematical side, the Lieb-Thirring inequality has also generated a huge interest in the spectral theory of Schrödinger operators. [28] This fruitful research program has led to many important results that can be read in his Selecta ″The stability of matter : from atoms to stars″ [3] as well as in his book ″The stability of matter in quantum mechanics″ with Robert Seiringer. [29]
Based on the original Dyson-Lenard theorem of stability of matter, Lieb together with Joel Lebowitz had already provided in 1973 the first proof of the existence of thermodynamic functions for quantum matter. With Heide Narnhofer he did the same for Jellium, also called the homogeneous electron gas, which is at the basis of most functionals in Density Functional Theory.
In the 1970s, Lieb together with Barry Simon studied several nonlinear approximations of the many-body Schrödinger equation, in particular Hartree-Fock theory and the Thomas-Fermi model of atoms. They provided the first rigorous proof that the latter furnishes the leading order of the energy for large non-relativistic atoms. With Rafael Benguria and Haïm Brezis, he studied several variations of the Thomas-Fermi model.
The ionization problem in mathematical physics asks for a rigorous upper bound on the number of electrons that an atom with a given nuclear charge can bind. Experimental and numerical evidence seems to suggest that there can be at most one, or possibly two extra electrons. To prove this rigorously is an open problem. A similar question can be asked concerning molecules. Lieb proved a famous upper bound on the number of electrons a nucleus can bind. Moreover, together with Israel Michael Sigal, Barry Simon and Walter Thirring, he proved, for the first time, that the excess charge is asymptotically small compared to the nuclear charge.
Together with Jakob Yngvason, he gave a rigorous proof of a formula for the ground state energy of dilute Bose gases. Subsequently, together with Robert Seiringer and Jakob Yngvason he studied the Gross-Pitaevskii equation for the ground state energy of dilute bosons in a trap, starting with many-body quantum mechanics. [30] Lieb's works with Joseph Conlon and Horng-Tzer Yau and with Jan Philip Solovej on what is known as the law for bosons provide the first rigorous justification of Bogoliubov's pairing theory.
In quantum chemistry Lieb is famous for having provided in 1983 the first rigorous formulation of Density Functional Theory using tools of convex analysis. The universal Lieb functional gives the lowest energy of a Coulomb system with a given density profile, for mixed states. In 1980, he proved with Stephen Oxford the Lieb-Oxford inequality [31] which provides an estimate on the lowest possible classical Coulomb energy at fixed density and was later used for calibration of some functionals such as PBE and SCAN. More recently, together with Mathieu Lewin and Robert Seiringer he gave the first rigorous justification of the Local-density approximation for slowly varying densities. [32]
In the 70s Lieb entered the mathematical fields of calculus of variations and partial differential equations, where he made fundamental contributions. An important theme was the quest of best constants in several inequalities of functional analysis, which he then used to rigorously study nonlinear quantum systems. His results in this direction are collected in the Selecta ″Inequalities″. [4] Among the inequalities where he determined the sharp constants are Young's inequality and the Hardy-Littlewood-Sobolev inequality, to be further discussed below. He also developed tools now considered standard in analysis, such as rearrangement inequalities or the Brezis-Lieb lemma which provides the missing term in Fatou's lemma for sequences of functions converging almost everywhere.
With Herm Brascamp and Joaquin Luttinger, he proved in 1974 a generalization of the Riesz rearrangement inequality, stating that certain multilinear integrals increase when all the functions are replaced by their symmetric decreasing rearrangement. With Frederick Almgren, he clarified the continuity properties of rearrangement. Rearrangement is often used to prove the existence of solutions for some nonlinear models.
In two papers (one in 1976 with Herm Brascamp and another one alone in 1990), Lieb determined the validity and the best constants of a whole family of inequalities that generalizes, for instance, the Hölder's inequality, Young's inequality for convolutions, and the Loomis-Whitney inequality. This is now known as the Brascamp-Lieb inequality. The spirit is that the best constant is determined by the case where all functions are Gaussians. The Brascamp-Lieb inequality has found applications and extensions, for instance, in harmonic analysis.
Using rearrangement inequalities and compactness methods, Lieb proved in 1983 the existence of optimizers for the Hardy-Littlewood-Sobolev inequality and of the Sobolev inequality. He also determined the best constant in some cases, discovering and exploiting the conformal invariance of the problem and relating it, via stereographic projection, to a conformally equivalent, but more tractable problem on the sphere. A new rearrangement-free proof was provided later with Rupert Frank, allowing to treat the case of the Heisenberg group. [33]
In a 1977 work he also proved the uniqueness (up to symmetries) of the ground state for the Choquard-Pekar equation, also called Schrödinger–Newton equation, [34] which can describe a self gravitating object or an electron moving in a polarizable medium (polaron). With Lawrence Thomas he provided in 1997 a variational derivation of the Choquard-Pekar equation from a model in quantum field theory (the Fröhlich Hamiltonian). This had been solved earlier by Monroe Donsker and Srinivasa Varadhan using a probabilistic path integral method.
In another work with Herm Brascamp in 1976, Lieb extended the Prékopa-Leindler inequality to other types of convex combinations of two positive functions. He strengthened the inequality and the Brunn-Minkowski inequality by introducing the notion of essential addition.
Lieb also wrote influential papers on harmonic maps, among others with Frederick Almgren, Haïm Brezis and Jean-Michel Coron. In particular, Algrem and Lieb proved a bound on the number of singularities of energy minimizing harmonic maps.
Finally, his textbook ″Analysis″ with Michael Loss should be mentioned. [35] It has become a standard for graduate courses in mathematical analysis. It develops all the traditional tools of analysis in a concise, intuitive and eloquent form, with a view towards applications.
These are two books published by EMS Press on the occasion of Lieb's 90th birthday, which contain around 50 chapters about his impact on a very broad range of topics and the resulting subsequent developments. Many contributions are of an expository character and thus accessible to non-experts.
In quantum mechanics, the Pauli exclusion principle states that two or more identical particles with half-integer spins cannot simultaneously occupy the same quantum state within a system that obeys the laws of quantum mechanics. This principle was formulated by Austrian physicist Wolfgang Pauli in 1925 for electrons, and later extended to all fermions with his spin–statistics theorem of 1940.
Mathematical physics refers to the development of mathematical methods for application to problems in physics. The Journal of Mathematical Physics defines the field as "the application of mathematics to problems in physics and the development of mathematical methods suitable for such applications and for the formulation of physical theories". An alternative definition would also include those mathematics that are inspired by physics, known as physical mathematics.
In physics, the von Neumann entropy, named after John von Neumann, is an extension of the concept of Gibbs entropy from classical statistical mechanics to quantum statistical mechanics. For a quantum-mechanical system described by a density matrix ρ, the von Neumann entropy is
In theoretical condensed matter physics and quantum field theory, bosonization is a mathematical procedure by which a system of interacting fermions in (1+1) dimensions can be transformed to a system of massless, non-interacting bosons. The method of bosonization was conceived independently by particle physicists Sidney Coleman and Stanley Mandelstam; and condensed matter physicists Daniel C. Mattis and Alan Luther in 1975.
Walter Eduard Thirring was an Austrian physicist after whom the Thirring model in quantum field theory is named. He was the son of the physicist Hans Thirring.
Huzihiro Araki was a Japanese mathematical physicist and mathematician who worked on the foundations of quantum field theory, on quantum statistical mechanics, and on the theory of operator algebras.
Jakob Yngvason is an Icelandic/Austrian physicist and emeritus professor of mathematical physics at the University of Vienna. He has made important contributions to local quantum field theory, thermodynamics, and the quantum theory of many-body systems, in particular cold atomic gases and Bose–Einstein condensation. He is co-author, together with Elliott H. Lieb, Jan Philip Solovej and Robert Seiringer, of a monograph on Bose gases.
Robert Seiringer is an Austrian mathematical physicist.
In quantum information theory, the Wehrl entropy, named after Alfred Wehrl, is a classical entropy of a quantum-mechanical density matrix. It is a type of quasi-entropy defined for the Husimi Q representation of the phase-space quasiprobability distribution. See for a comprehensive review of basic properties of classical, quantum and Wehrl entropies, and their implications in statistical mechanics.
In mathematics, there are many kinds of inequalities involving matrices and linear operators on Hilbert spaces. This article covers some important operator inequalities connected with traces of matrices.
In quantum information theory, strong subadditivity of quantum entropy (SSA) is the relation among the von Neumann entropies of various quantum subsystems of a larger quantum system consisting of three subsystems. It is a basic theorem in modern quantum information theory. It was conjectured by D. W. Robinson and D. Ruelle in 1966 and O. E. Lanford III and D. W. Robinson in 1968 and proved in 1973 by E.H. Lieb and M.B. Ruskai, building on results obtained by Lieb in his proof of the Wigner-Yanase-Dyson conjecture.
Mathieu Lewin is a French mathematician and mathematical physicist who deals with partial differential equations, mathematical quantum field theory, and mathematics of quantum mechanical many-body systems.
In mathematics and physics, Lieb–Thirring inequalities provide an upper bound on the sums of powers of the negative eigenvalues of a Schrödinger operator in terms of integrals of the potential. They are named after E. H. Lieb and W. E. Thirring.
In quantum information theory, the Lieb conjecture is a theorem concerning the Wehrl entropy of quantum systems for which the classical phase space is a sphere. It states that no state of such a system has a lower Wehrl entropy than the SU(2) coherent states.
Quantum thermodynamics is the study of the relations between two independent physical theories: thermodynamics and quantum mechanics. The two independent theories address the physical phenomena of light and matter. In 1905, Albert Einstein argued that the requirement of consistency between thermodynamics and electromagnetism leads to the conclusion that light is quantized, obtaining the relation . This paper is the dawn of quantum theory. In a few decades quantum theory became established with an independent set of rules. Currently quantum thermodynamics addresses the emergence of thermodynamic laws from quantum mechanics. It differs from quantum statistical mechanics in the emphasis on dynamical processes out of equilibrium. In addition, there is a quest for the theory to be relevant for a single individual quantum system.
Göran Lindblad was a Swedish theoretical physicist and a professor at the KTH Royal Institute of Technology, Stockholm. He made major foundational contributions in mathematical physics and quantum information theory, having to do with open quantum systems, entropy inequalities, and quantum measurements.
Bruno Leo Zulma Nachtergaele is a Belgian mathematical physicist.
Jan Philip Solovej is a Danish mathematician and mathematical physicist working on the mathematical theory of quantum mechanics. He is a professor at University of Copenhagen.
In physics, stability of matter refers to the problem of showing rigorously that a large number of charged quantum particles can coexist and form macroscopic objects, like ordinary matter. The first proof was provided by Freeman Dyson and Andrew Lenard in 1967–1968, but a shorter and more conceptual proof was found later by Elliott Lieb and Walter Thirring in 1975.
| International | |
|---|---|
| National | |
| Academics | |
| People | |
| Other | |
