MathIdeasResearch in progressRepository ↗
← Research catalogOriginal Markdown ↓
On this page

Electronic-structure complexity scope audit

Family 275: QMA-hardness of continuum Coulomb energy. First application triage, 9 October 2026 Australia/Brisbane.

Problem and potential new use

Simulation decision makers can distinguish practical approximate chemistry from claims of universally efficient continuum ground-energy solving.

Applicability and commercial boundary

QMA-hardness concerns worst-case encoded unit-charge molecular instances and a specified energy separation. It does not imply that every ordinary molecule is difficult or identify a hardware crossover.

Initial business decision

Research infrastructure. Buyer budget, commercial novelty and profitability are unvalidated.

Next verification action

Map the reduction input size and precision to a concrete solver promise without treating worst-case hardness as a benchmark.

Evidence scope

The catalog statement was individually reviewed. This record does not imply a manuscript proof review or formal-scope comparison. No independent Lean check was run. Source revision fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb. See source metadata.

Main source

Continuum Coulomb hardness with binary nuclear charges.