Simon's
conjecture is the assertion that a real potential
on
,
, satisfying
implies that a self-adjoint realization of the Schrödinger operator
has an absolutely continuous spectral component of infinite multiplicity
at almost every positive energy (Simon 2000, Becker and Yang 2026). It is problem
8 in Simon's problems.
Becker and Yang (2026) report a counterexample for every and
. Their smooth bounded nonnegative
can have arbitrarily small
, where
, while
on
has operator spectrum
and purely point spectral measures.
Its eigenfunctions form a complete orthonormal
basis. Purely point spectral measures do not mean that every positive energy
is an eigenvalue. The complete claimed refutation
has not been independently verified here. Becker and Yang (2026) report substantive
AI contributions to the potential construction and proof.