1 · The essentials
These manuscripts study a mathematical model on a regular grid, with an independently chosen random value at each site. A positive parameter controls the strength of this randomness. The central question is how the model’s spectrum—the mathematical description of its allowed energies—depends on the dimension of the grid. On the two-dimensional square grid, the companion manuscript shows that every fixed positive randomness strength gives a spectrum made entirely of eigenvalues, with probability one. In every fixed dimension of at least three, the main result instead gives a purely continuous kind of spectrum within an open energy interval when the randomness is sufficiently weak but positive. That interval contains genuine spectral weight, and the main result has a Lean formalization.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, think of comparing a collection of individual musical notes with a continuous band of sound. The two-dimensional result concerns a spectrum described entirely by individual eigenvalues, while the higher-dimensional result gives a continuous band within a particular energy range. This image is only about spectral structure, not a claim about how sound or particles move.
Why it matters
The results establish a contrast between two dimensions and higher dimensions for the stated model with independent uniform site potentials. The main manuscript describes its result as settling the purely absolutely continuous energy-range question in Simon’s Problem 1 for this model. The companion manuscript describes its result as resolving the pure-point assertion of the two-dimensional Anderson localization conjecture for the uniform single-site law.
2 · Going further
The setting is the lattice Anderson model with independent, uniformly distributed site potentials. For each fixed dimension , the main result states that, for each fixed sufficiently small disorder strength , the operator on almost surely has purely absolutely continuous spectrum on an open energy interval with nonzero spectral weight. The interval may depend on , but it is independent of the disorder strength. The assertion concerns that interval, not necessarily the entire spectrum.
The companion manuscript treats the nearest-neighbor Anderson operator on the square lattice. For each fixed , it shows in the manuscript that the spectral type is almost surely pure point throughout the spectrum. Thus the two statements differ both in dimension and in scope: the two-dimensional statement covers every positive disorder strength and the whole spectrum, while the higher-dimensional statement covers sufficiently weak positive disorder and a specified energy interval.
The supplied abstracts state the conclusions and identify the questions they resolve, but they do not describe the argument or its main mechanism. Consequently, no proof strategy can be extracted from this source. The main result has a Lean formalization; the supplied material does not specify its detailed coverage or establish formal verification of the companion manuscript.
Useful notions
- Regular lattices and dimension
- Independent uniform random variables
- Operators and eigenvalues
- Spectral types
- Probability-one statements
What was known before / what is new
Before
The source identifies a purely absolutely continuous energy-range question in Simon’s Problem 1 for this model. It also identifies the pure-point assertion of the two-dimensional Anderson localization conjecture for the uniform single-site law. It does not provide a history of earlier partial results.
New
The main result supplies a purely absolutely continuous spectral interval of nonzero weight in every fixed dimension at sufficiently weak positive disorder. This interval can be chosen independently of the disorder strength, although it may depend on the dimension. The companion manuscript shows pure-point spectral type throughout the spectrum in two dimensions at every fixed positive disorder strength.
Limits and assumptions
Both statements assume independent uniform site potentials and are probability-one assertions for each fixed disorder strength in the stated range. The two-dimensional manuscript explicitly assumes nearest-neighbor coupling on the square lattice. The higher-dimensional result is restricted to sufficiently weak positive disorder and an open energy interval; it does not assert purely absolutely continuous spectrum everywhere. The main result has a Lean formalization, but its detailed scope is not supplied, and formalization of every claim or of the companion result is not established here. The source does not state what remains open outside these hypotheses.
Mini glossary
- Disorder strength —
- The parameter controlling the strength of the random site potentials.
- Site potential —
- A value assigned to a lattice site that enters the Anderson operator.
- Pure-point spectral type —
- A spectral type in which the spectral measures are concentrated on eigenvalues.
- Purely absolutely continuous spectrum —
- A spectral type in which the spectral measures have densities with respect to ordinary length on the energy axis.
- Almost surely —
- Holding with probability one under the specified random choice of site potentials.
- Nonzero spectral weight —
- The condition that an energy interval contains a nontrivial part of the operator’s spectrum as measured by its spectral projection.
Keywords : Anderson model · Pure-point spectrum · Absolutely continuous spectrum
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
Resolves the predicted spectral contrast for the lattice Anderson model with independent uniform site potentials. In dimension two, every positive disorder strength gives almost surely pure-point spectrum. In every fixed dimension d ≥ 3, sufficiently weak positive disorder gives purely absolutely continuous spectrum on a fixed open interval with nonzero spectral weight.
Verified by Lean: the Lean software checked the part of the reasoning described below, sometimes only part of the manuscript. This does not mean independent mathematicians have validated the result.
Manuscripts in this family
Absolutely Continuous Spectrum for Weak-Disorder Anderson Models in Dimensions at Least Three
23/09/2026For each fixed dimension d ≥ 3 and each fixed sufficiently small positive disorder strength, we prove that the Anderson operator on ℤd with independent uniform site potentials almost surely has purely absolutely continuous spectrum with nonzero weight on an open energy interval. The interval may depend on d but is independent of the disorder strength. This settles the purely absolutely continuous energy-range question in Simon's Problem 1 for this model.
Pure-Point Spectrum for the Two-Dimensional Anderson Model at Every Positive Disorder
23/09/2026For each fixed positive disorder strength, we prove that the nearest-neighbor Anderson operator on the square lattice with independent uniform site potentials almost surely has pure-point spectral type throughout its spectrum. This resolves the pure-point assertion of the two-dimensional Anderson localization conjecture for the uniform single-site law.