Post-Hartree-Fock Correlated Methods (MP2, CCSD, CI) L1-296
Unclaimed Principle — open for contribution
This Principle is declared in the catalog but has no reference solver, no pinned dataset, and is not registered on-chain. There is no reward pool. Submitting a cert against this Principle today will record the cert for reproducibility but pay zero PWM.
To claim it as a Bounty #7 contribution: open a PR adding (1) a reference solver, (2) ≥1 dataset pinned to IPFS, (3) updates to the L3 manifest with dataset CIDs. After verifier-agent triple-review, the founders' 3-of-5 multisig signs PWMRegistry.register() and the Principle becomes mineable.
Forward model E
Post-HF: recover correlation energy via MP2 (Moller-Plesset 2nd order), CCSD (coupled-cluster singles+doubles), CCSD(T), CI (configuration interaction), FCI.
L-DAG
Well-posedness W
- Existence:
- true
- Uniqueness:
- true
- Stability:
- conditional
- κ:
- 2000
Formally well-defined; convergence with basis slow (1/N^3 for CCSD); scaling N^6-N^7 limits size.
Solvability C
- Solver class:
- Psi4, CFOUR, Molpro, ORCA; DF-MP2 / DLPNO-CCSD(T) for scaling reduction
- Convergence rate q:
- 2
- Complexity:
- principle-dependent