Simon problems
From HandWiki
Short description: Fifteen problems in mathematical physic
In mathematics, the Simon problems (or Simon's problems) are a series of fifteen questions posed in the year 2000 by Barry Simon, an American mathematical physicist.[1][2] Inspired by other collections of mathematical problems and open conjectures, such as the famous list by David Hilbert, the Simon problems concern quantum operators.[3] Eight of the problems pertain to anomalous spectral behavior of Schrödinger operators, and five concern operators that incorporate the Coulomb potential.[1]
In 2014, Artur Avila won a Fields Medal for work including the solution of three Simon problems.[4][5] Among these was the problem of proving that the set of energy levels of one particular abstract quantum system was in fact the Cantor set, a challenge known as the "Ten Martini Problem" after the reward that Mark Kac offered for solving it.[5][6]
The 2000 list was a refinement of a similar set of problems that Simon had posed in 1984.[7][8]
Context
Background definitions for the "Coulomb energies" problems ([math]\displaystyle{ N }[/math] non-relativistic particles (electrons) in [math]\displaystyle{ \mathbb{R}^{3} }[/math] with spin [math]\displaystyle{ 1/2 }[/math] and an infinitely heavy nucleus with charge [math]\displaystyle{ Z }[/math] and Coulombic mutual interaction):
- [math]\displaystyle{ \mathcal{H}_f^{(N)} }[/math] is the space of functions on [math]\displaystyle{ L^2(\mathbb{R}^{3N}; \mathbb{C}^{2N}) }[/math] which are asymmetrical under exchange of the [math]\displaystyle{ N }[/math] spin and space coordinates.[1] Equivalently, the subspace of [math]\displaystyle{ (L^2(\mathbb{R}^{3})\otimes \mathbb{C}^{2})^{\otimes N} }[/math] which is asymmetrical under exchange of the [math]\displaystyle{ N }[/math] factors.
- The Hamiltonian is [math]\displaystyle{ H(N, Z) := \sum_{i = 1}^N(-\Delta_i - \frac{Z}{|x_i|} ) + \sum_{i \lt j}\frac{1}{|x_i - x_j|} }[/math]. Here [math]\displaystyle{ x_i \in \mathbb{R}^3 }[/math] is the coordinate of the [math]\displaystyle{ i }[/math]-th particle, [math]\displaystyle{ \Delta_i }[/math] is the Laplacian with respect to the coordinate [math]\displaystyle{ x_i }[/math]. Even if the Hamiltonian does not explicitly depend on the state of the spin sector, the presence of spin has an effect due to the asymmetry condition on the total wave-function.
- We define [math]\displaystyle{ E(N, Z) := \min_{\mathcal{H}_f} H(N, Z) }[/math], that is, the ground state energy of the [math]\displaystyle{ (N,Z) }[/math] system.
- We define [math]\displaystyle{ N_0(Z) }[/math] to be the smallest value of [math]\displaystyle{ N }[/math] such that [math]\displaystyle{ E(N + j, Z) = E(N, Z) }[/math] for all positive integers [math]\displaystyle{ j }[/math]; it is known that such a number always exists and is always between [math]\displaystyle{ Z }[/math] and [math]\displaystyle{ 2Z }[/math], inclusive.[1]
The 1984 list
Simon listed the following problems in 1984:[7]
| No. | Short name | Statement | Status | Year solved |
|---|---|---|---|---|
| 1st | (a) Almost always global existence for Newtonian gravitating particles | (a) Prove that the set of initial conditions for which Newton's equations fail to have global solutions has measure zero.. | Open as of 1984.[7][needs update] In 1977, Saari showed that this is true for 4-body problems.[9] | ? |
| (b) Existence of non-collisional singularities in the Newtonian N-body problem | Show that there are non-collisional singularities in the Newtonian N-body problem for some N and suitable masses. | In 1988, Xia gave an example of a 5-body configuration which undergoes a non-collisional singularity.[10][11]
In 1991, Gerver showed that 3n-body problems in the plane for some sufficiently large value of n also undergo non-collisional singularities.[12] |
1989
~Duckmather --> | |
| 2nd | (a) Ergodicity of gases with soft cores | Find repulsive smooth potentials for which the dynamics of N particles in a box (with, e.g., smooth wall potentials) is ergodic.
Sinai once proved that the hard sphere gas is ergodic, but no complete proof has appeared except for the case of two particles, and a sketch for three, four, and five particles.[7] |
? | |
| (b) Approach to equilibrium | Use the scenario above to justify that large systems with forces that are attractive at suitable distances approach equilibrium, or find an alternate scenario that does not rely on strict ergodicity in finite volume. | ? | ||
| (c) Asymptotic abelianness for the quantum Heisenberg dynamics | Prove or disprove that the multidimensional quantum Heisenberg model is asymptotically abelian. | ? | ||
| 3rd | Turbulence and all that | Develop a comprehensive theory of long-time behavior of dynamical systems, including a theory of the onset of and of fully developed turbulence. | ? | |
| 4th | (a) Fourier's heat law | Find a mechanical model in which a system of size [math]\displaystyle{ L }[/math] with temperature difference [math]\displaystyle{ \Delta T }[/math] between its ends has a rate of heat temperature that goes as [math]\displaystyle{ L^{-1} }[/math] in the limit [math]\displaystyle{ L\to\infty }[/math]. | ? | |
| (b) Kubo's formula | Justify Kubo's formula in a quantum model or find an alternate theory of conductivity. | ? | ||
| 5th | (a) Exponential decay of [math]\displaystyle{ v = 2 }[/math] classical Heisenberg correlations | Consider the two-dimensional classical Heisenberg model. Prove that for any beta, correlations decay exponentially as distance approaches infinity. | Open as of 1984.[needs update] | ? |
| (b) Pure phases and low temperatures for the [math]\displaystyle{ v\geq 3 }[/math] classical Heisenberg model | Prove that, in the [math]\displaystyle{ D = 3 }[/math] model at large beta and at dimension [math]\displaystyle{ v\geq 3 }[/math], the equilibrium states form a single orbit under [math]\displaystyle{ SO(3) }[/math]: the sphere. | |||
| (c) GKS for classical Heisenberg models | Let [math]\displaystyle{ f }[/math] and [math]\displaystyle{ g }[/math] be finite products of the form [math]\displaystyle{ (\sigma_{\alpha}\cdot\sigma_{\gamma}) }[/math] in the [math]\displaystyle{ D = 3 }[/math] model. Is it true that [math]\displaystyle{ \lt fg\gt _{\Lambda, \beta}\geq\lt f\gt _{\Lambda, \beta}\lt g\gt _{\Lambda, \beta} }[/math] ?[clarification needed] | |||
| (d) Phase transitions in the quantum Heisenberg model | Prove that for [math]\displaystyle{ v\geq 3 }[/math] and large beta, the quantum Heisenberg model has long range order. | |||
| 6th | Explanation of ferromagnetism | Verify the Heisenberg picture of the origin of ferromagnetism (or an alternative) in a suitable model of a realistic quantum system. | ? | |
| 7th | Existence of continuum phase transitions | Show that for suitable choices of pair potential and density, the free energy is non-[math]\displaystyle{ C^1 }[/math] at some beta. | ? | |
| 8th | (a) Formulation of the renormalization group | Develop mathematically precise renormalization transformations for [math]\displaystyle{ v }[/math]-dimensional Ising-type systems. | Open as of 1984.[needs update] | ? |
| (b) Proof of universality | Show that critical exponents for Ising-type systems with nearest neighbor coupling but different bond strengths in the three directions are independent of ratios of bond strengths. | |||
| 9th | (a) Asymptotic completeness for short-range N-body quantum systems | Prove that [math]\displaystyle{ \oplus~\text{Ran}~\Omega_a^+ = L^2(X) }[/math].[clarification needed] | Open as of 1984.[7][needs update] | ? |
| (b) Asymptotic completeness for Coulomb potentials | Suppose [math]\displaystyle{ v = 3, V_{ij}(x) = e_{ij}|x|^{-1} }[/math]. Prove that [math]\displaystyle{ \oplus~\text{Ran}~\Omega_a^{D, +} = L^2(X) }[/math].[clarification needed] | |||
| 10th | (a) Monotonicity of ionization energy | (a) Prove that [math]\displaystyle{ (\Delta E)(N - 1, Z)\geq (\Delta E)(N, Z) }[/math].[clarification needed] | Open as of 1984.[needs update] | ? |
| (b) The Scott correction | Prove that [math]\displaystyle{ \lim_{Z\to\infty} (E(Z, Z) - e_{TF}Z^{7/3})/Z^2 }[/math] exists and is the constant found by Scott.[clarification needed] | |||
| (c) Asymptotic ionization | Find the leading asymptotics of [math]\displaystyle{ (\Delta E)(Z, Z) }[/math].[clarification needed] | |||
| (d) Asymptotics of maximal ionized charge | Prove that [math]\displaystyle{ \lim_{Z\to\infty}N(Z)/Z = 1 }[/math].[clarification needed] | |||
| (e) Rate of collapse of Bose matter | Find suitable [math]\displaystyle{ C_1, C_2, \alpha }[/math] such that [math]\displaystyle{ -C_1 N^{\alpha}\leq\tilde{E}_B(N, N; 1)\leq C_2 N^{\alpha} }[/math].[clarification needed] | |||
| 11th | Existence of crystals | Prove a suitable version of the existence of crystals (e.g. there is a choice of minimizing configurations that converge to some infinite lattice configuration). | ? | |
| 12th | (a) Existence of extended states in the Anderson model | Prove that in [math]\displaystyle{ v\geq 3 }[/math] and for small [math]\displaystyle{ \lambda }[/math] that there is a region of absolutely continuous spectrum of the Anderson model, and determine whether this is false for [math]\displaystyle{ v = 2 }[/math].[clarification needed] | Open as of 1984.[needs update] | ? |
| (b) Diffusive bound on "transport" in random potentials | Prove that [math]\displaystyle{ \text{Exp}(\delta_0, (e^{itH}\vec{N}e^{-itH})^2\delta_0)\leq c(1 + |t|) }[/math] for the Anderson model, and more general random potentials.[clarification needed] | |||
| (c) Smoothness of [math]\displaystyle{ k(E) }[/math] through the mobility edge in the Anderson model | Is [math]\displaystyle{ k(E) }[/math], the integrated density of states[clarification needed], a [math]\displaystyle{ C^{\infty} }[/math] function in the Anderson model at all couplings? | |||
| (d) Analysis of the almost Mathieu equation | Verify the following for the almost Mathieu equation:
| |||
| (e) Point spectrum in a continuous almost periodic model | Show that [math]\displaystyle{ -\frac{d^2}{dx^2} + \lambda\cos(2\pi x) + \mu\cos(2\pi\alpha x + \theta) }[/math] has some point spectrum for suitable [math]\displaystyle{ \alpha, \lambda, \mu }[/math] and almost all [math]\displaystyle{ \theta }[/math]. | |||
| 13th | Critical exponent for self-avoiding walks | Let [math]\displaystyle{ D(n) }[/math] be the mean displacement of a random self-avoiding walk of length [math]\displaystyle{ n }[/math]. Show that [math]\displaystyle{ v := \lim_{n\to\infty}n^{-1}\ln D(n) }[/math] is [math]\displaystyle{ \frac{1}{2} }[/math] for dimension at least four and is greater otherwise. | ? | |
| 14th | (a) Construct QCD | Give a precise mathematical construction of quantum chromodynamics. | Open as of 1984.[needs update] | ? |
| (b) Renormalizable QFT | Construct a nontrivial quantum field theory that is renormalizable but not superrenormalizable. | |||
| (c) Inconsistency of QED | Prove that QED is not a consistent theory. | |||
| (d) Inconsistency of [math]\displaystyle{ \varphi_4^4 }[/math] | Prove that a nontrivial [math]\displaystyle{ \varphi_4^4 }[/math] theory does not exist. | |||
| 15th | Cosmic censorship | Formulate and then prove or disprove a suitable version of cosmic censorship. | ? |
In 2000, Simon claimed that five[which?] of the problems he listed had been solved.[1]
The 2000 list
The Simon problems as listed in 2000 (with original categorizations) are:[1][13]
| No. | Short name | Statement | Status | Year solved |
|---|---|---|---|---|
| Quantum transport and anomalous spectral behavior | ||||
| 1st | Extended states | Prove that the Anderson model has purely absolutely continuous spectrum for [math]\displaystyle{ v\geq 3 }[/math] and suitable values of [math]\displaystyle{ b-a }[/math] in some energy range. | ? | ? |
| 2nd | Localization in 2 dimensions | Prove that the spectrum of the Anderson model for [math]\displaystyle{ v=2 }[/math] is dense pure point. | ? | ? |
| 3rd | Quantum diffusion | Prove that, for [math]\displaystyle{ v\geq 3 }[/math] and values of [math]\displaystyle{ |b - a| }[/math] where there is absolutely continuous spectrum, that [math]\displaystyle{ \sum_{n\in\mathbb{Z}^{\nu}} n^2|e^{itH}(n, 0)|^2 }[/math] grows like [math]\displaystyle{ ct }[/math] as [math]\displaystyle{ t\to\infty }[/math]. | ? | ? |
| 4th | Ten Martini problem | Prove that the spectrum of [math]\displaystyle{ h_{\alpha, \lambda, \theta} }[/math] is a Cantor set (that is, nowhere dense) for all [math]\displaystyle{ \lambda\neq 0 }[/math] and all irrational [math]\displaystyle{ \alpha }[/math]. | Solved by Puig (2003).[13][14] | 2003 |
| 5th | Prove that the spectrum of [math]\displaystyle{ h_{\alpha, \lambda, \theta} }[/math] has measure zero for [math]\displaystyle{ \lambda = 2 }[/math] and all irrational [math]\displaystyle{ \alpha }[/math]. | Solved by Avila and Krikorian (2003).[13][15] | 2003 | |
| 6th | Prove that the spectrum of [math]\displaystyle{ h_{\alpha, \lambda, \theta} }[/math] is absolutely continuous for [math]\displaystyle{ \lambda = 2 }[/math] and all irrational [math]\displaystyle{ \alpha }[/math]. | ? | ? | |
| 7th | Do there exist potentials [math]\displaystyle{ V(x) }[/math] on [math]\displaystyle{ [0,\infty) }[/math] such that [math]\displaystyle{ |V(x)|\leq C|x|^{\frac{1}{2}+\varepsilon} }[/math] for some [math]\displaystyle{ \varepsilon }[/math] and such that [math]\displaystyle{ -\frac{d^2}{dx^2} + V }[/math] has some singular continuous spectrum? | Essentially solved by Denisov (2003) with only [math]\displaystyle{ L^2 }[/math] decay. | 2003, 2005 | |
| 8th | Suppose that [math]\displaystyle{ V(x) }[/math] is a function on [math]\displaystyle{ \mathbb{R}^{\nu} }[/math] such that [math]\displaystyle{ \int |x|^{-\nu + 1} |V(x)|^2 d^{\nu}x \lt \infty }[/math], where [math]\displaystyle{ \nu\geq 2 }[/math]. Prove that [math]\displaystyle{ -\Delta + V }[/math] has absolutely continuous spectrum of infinite multiplicity on [math]\displaystyle{ [0,\infty) }[/math]. | ? | ? | |
| Coulomb energies | ||||
| 9th | Prove that [math]\displaystyle{ N_0(Z) - Z }[/math] is bounded for [math]\displaystyle{ Z\to\infty }[/math]. | ? | ? | |
| 10th | What are the asymptotics of[math]\displaystyle{ (\delta E)(Z) := E(Z, Z-1) - E(Z,Z) }[/math] for [math]\displaystyle{ Z\to\infty }[/math]? | ? | ? | |
| 11th | Make mathematical sense of the nuclear shell model. | ? | ? | |
| 12th | Is there a mathematical sense in which one can justify current techniques for determining molecular configurations from first principles? | ? | ? | |
| 13th | Prove that, as the number of nuclei approaches infinity, the ground state of some neutral system of molecules and electrons approaches a periodic limit (i.e. that crystals exist based on quantum principles). | ? | ? | |
| Other problems | ||||
| 14th | Prove that the integrated density of states [math]\displaystyle{ k(E) }[/math] is continuous in the energy. | | k(E1 + ΔE) - k(E1) | < ε | ? | |
| 15th | Lieb-Thirring conjecture | Prove the Lieb-Thirring conjecture on the constants [math]\displaystyle{ L_{\gamma, \nu} }[/math] where [math]\displaystyle{ \nu = 1, \frac{1}{2} \lt \gamma \lt \frac{3}{2} }[/math]. | ? | ? |
See also
External links
References
- ↑ 1.0 1.1 1.2 1.3 1.4 1.5 Simon, Barry (2000). "Schrödinger Operators in the Twenty-First Century". Mathematical Physics 2000. Imperial College London. pp. 283–288. doi:10.1142/9781848160224_0014. ISBN 978-1-86094-230-3.
- ↑ Marx, C. A.; Jitomirskaya, S. (2017). "Dynamics and Spectral Theory of Quasi-Periodic Schrödinger-type Operators". Ergodic Theory and Dynamical Systems 37 (8): 2353–2393. doi:10.1017/etds.2016.16.
- ↑ Damanik, David. "Dynamics of SL(2,R)-Cocycles and Applications to Spectral Theory; Lecture 1: Barry Simon's 21st Century Problems". http://www.math.pku.edu.cn/teachers/gansb/conference09/Damanik-Minicourse-2009-08-09.pdf.
- ↑ "Fields Medal awarded to Artur Avila". 2014-08-13. http://www2.cnrs.fr/en/2435.htm?debut=8&theme1=12.
- ↑ 5.0 5.1 Bellos, Alex (2014-08-13). "Fields Medals 2014: the maths of Avila, Bhargava, Hairer and Mirzakhani explained". https://www.theguardian.com/science/alexs-adventures-in-numberland/2014/aug/13/fields-medals-2014-maths-avila-bhargava-hairer-mirzakhani.
- ↑ Tao, Terry (2014-08-12). "Avila, Bhargava, Hairer, Mirzakhani". https://terrytao.wordpress.com/2014/08/12/avila-bhargava-hairer-mirzakhani/.
- ↑ 7.0 7.1 7.2 7.3 7.4 Simon, Barry (1984). "Fifteen problems in mathematical physics". Perspectives in Mathematics: Anniversary of Oberwolfach 1984. Birkhäuser. pp. 423–454. http://www.math.caltech.edu/SimonPapers/R27.pdf. Retrieved 24 June 2021.
- ↑ Coley, Alan A. (2017). "Open problems in mathematical physics". Physica Scripta 92 (9): 093003. doi:10.1088/1402-4896/aa83c1. Bibcode: 2017PhyS...92i3003C.
- ↑ Saari, Donald G. (October 1977). "A global existence theorem for the four-body problem of Newtonian mechanics". Journal of Differential Equations 26 (1): 80–111. doi:10.1016/0022-0396(77)90100-0. Bibcode: 1977JDE....26...80S.
- ↑ Xia, Zhihong (1992). "The Existence of Noncollision Singularities in Newtonian Systems". Annals of Mathematics 135 (3): 411–468. doi:10.2307/2946572.
- ↑ Saari, Donald G.; Xia, Zhihong (April 1995). "Off to infinity in finite time". Notices of the American Mathematical Society 42 (5): 538–546. https://www.ams.org/journals/notices/199505/saari-2.pdf.
- ↑ Gerver, Joseph L (January 1991). "The existence of pseudocollisions in the plane". Journal of Differential Equations 89 (1): 1–68. doi:10.1016/0022-0396(91)90110-U. Bibcode: 1991JDE....89....1G.
- ↑ 13.0 13.1 13.2 13.3 Weisstein, Eric W.. "Simon's Problems" (in en). https://mathworld.wolfram.com/SimonsProblems.html.
- ↑ Puig, Joaquim (1 January 2004). "Cantor Spectrum for the Almost Mathieu Operator". Communications in Mathematical Physics 244 (2): 297–309. doi:10.1007/s00220-003-0977-3. Bibcode: 2004CMaPh.244..297P.
- ↑ Ávila Cordeiro de Melo, Artur; Krikorian, Raphaël (1 November 2006). "Reducibility or nonuniform hyperbolicity for quasiperiodic Schrödinger cocycles". Annals of Mathematics 164 (3): 911–940. doi:10.4007/annals.2006.164.911.
- ↑ Denisov, Sergey A. (June 2003). "On the coexistence of absolutely continuous and singular continuous components of the spectral measure for some Sturm–Liouville operators with square summable potential". Journal of Differential Equations 191 (1): 90–104. doi:10.1016/S0022-0396(02)00145-6. Bibcode: 2003JDE...191...90D.
- ↑ Kiselev, Alexander (27 April 2005). "Imbedded singular continuous spectrum for Schrödinger operators". Journal of the American Mathematical Society 18 (3): 571–603. doi:10.1090/S0894-0347-05-00489-3.
 |  |
