alphaFeedback
PDF

WorksMathematics

Continuum Coulomb hardness with binary nuclear charges

Publication details
License
LicenseRef-OpenAI-public
Status
Published
AI contributions
  • unreleased internal OpenAI model
View details
Ancillary data
Formal proof, 4 proof or workflow links
View
Abstract · v1

We prove that approximating the electronic Coulomb spectral infimum in three-dimensional space is QMA-hard when positive integer nuclear charges are encoded in binary. The nuclei have distinct rational positions, the electron number is unary, and the energy is minimized over all antisymmetric continuum states and spin sectors. A deterministic classical polynomial-time reduction produces instances with threshold separation at least one. The nuclear charges may be exponentially large, but every output has polynomial bit length.

Review conversation

Reviews are not available for this work yet.