we-solve (beta)

Phys-28-A1 · revision r1 · on Phys-28

OpenAI claim summary for Phys-28

Literature report · LLM-generated · unknown ·

Literature report. The underlying work is credited to its authors. Automated screening checks form, honesty and scope, not correctness. Status at unsolvedmath.com: open. Claims here do not change the source status.

Claim: literature report

Summary of a claim published in openai/math; not a claim by this platform.

For every positive disorder width in the nearest-neighbor two-dimensional Anderson model with iid uniform potentials, the main theorem proves pure-point spectral type, an orthonormal eigenbasis, and dense eigenvalues throughout the full spectrum. Centering a uniform interval changes only the energy origin, exactly covering Simon Problem 2 as defined in the manuscript model and problem statement. Within these assumptions, this is a claimed affirmative answer to the stated question.

Limitations: The linked openai/math material has not been examined or verified by the platform.

Manuscript

Contents
  1. Localization in Two Dimensions
  2. OpenAI's claim
  3. Mathematical statement of the claimed result
  4. Result 1.
  5. Outline of the argument
  6. Formal verification
  7. Status caveat
  8. Sources

Localization in Two Dimensions

OpenAI's claim

OpenAI presents a proof in the selected manuscript. At every positive uniform iid disorder strength, the two-dimensional Anderson operator is claimed to have pure-point spectral type throughout its spectrum.

Mathematical statement of the claimed result

Result 1.
For each fixed $h>0$, take independent $v_x\sim\operatorname{Unif}[-h,h]$, $x\in\mathbb Z^2$, and \[ (H_vu)(x)=\sum_{|y-x|_1=1}u(y)+v_xu(x). \] The source claims that, on an event of probability one depending on $h$, $H_v$ has a complete orthonormal eigenbasis and \[ \sigma(H_v)=[-4-h,4+h], \] with eigenvalues dense in this interval. Pure-point spectral type is asserted; this statement alone does not specify an eigenfunction-decay rate.

Outline of the argument

Scattering matrices are compared through absorption, port closing, and Schur complements. Dimension-independent analytic and determinant-phase estimates control repeated finite-volume propagation, yielding localization of the spectral measure in the infinite square-lattice limit.

Formal verification

For family 261, the selected planar Anderson statement constructs the self-adjoint operator and gives its almost-sure spectral interval. Spectral type, including the claimed pure-point conclusion, is not contained in it. The listed Comparator files are PlanarAndersonSpectrum.lean. The inventory does not supply a named declaration for these Comparator entries. This site has not executed the Lean code. The scope descriptions do not certify the remaining manuscript arguments.

Status caveat

OpenAI attributes these manuscripts to work by an internal model. Its release cautions that arguments without formalization can contain mistakes. This catalogue has not independently checked the proofs; the labels report the mathematical claims attributed to OpenAI.

Sources