Part VIII. Applications and Strategy · Chapter 65
Quantum Simulation and Chemistry
Chemistry is the application quantum computing was born for: molecules are quantum systems, and classical computers spend enormous effort approximating them. This chapter teaches you to separate that genuine structural fit from the resource estimates that decide when it pays.
In this chapter 9 sections
Quantum simulation is most credible when the target is an explicitly encoded electronic-structure quantity whose active space defeats a named classical method, while state preparation, precision, fault tolerance, and experimental validation remain inside the project budget.
Chemistry is a chain of approximations and measurements, not one giant matrix waiting for a quantum processor. An industrial calculation usually sits between molecular geometry, basis and active-space choices, Hamiltonian construction, an energy or property estimator, error analysis, and a laboratory decision. Each stage can dominate the value of a more accurate electronic-energy estimate.
Locate the electronic-structure bottleneck
The governing quantity is an observable with a tolerance and a chemical decision attached. For a qubit Hamiltonian authored as retained TeX, , every coefficient has an energy unit, every Pauli string follows a declared qubit order, and the estimator must state its sampling and state-preparation assumptions. Logical-qubit count alone is not a resource estimate.
From molecular orbitals to a measured observable
Active-space ledger for an Fe–S model
The record below uses a schematic iron–sulfur active space: 12 spatial orbitals produce 24 spin orbitals before tapering or other reduction. The requested energy tolerance is 1.6 millihartree, explicitly a project choice rather than a universal promise. The table leaves the Hamiltonian-term count and fault-tolerant cost as measured inputs. This prevents a small logical register from being read as evidence of a cheap computation.
Artifact contract. A units-bearing orbital/qubit/term/shot/precision table with executable consistency checks. Spin-orbital and qubit counts reconcile; energy units are explicit; the requested precision and validation observable are present; the artifact refuses a value claim without a classical comparator.
Executable reference fixture
REQUIRED = {"scenario": str, "source_ids": list, "spatial_orbitals": int,
"spin_orbitals": int, "qubits": int, "tolerance": dict,
"validation_observable": str, "baseline": str}
def audit(record, maximum_tolerance_millihartree):
errors = [name for name, kind in REQUIRED.items()
if name not in record or type(record[name]) is not kind]
tolerance = record.get("tolerance", {})
if type(tolerance.get("value")) not in (int, float) or tolerance.get("unit") != "millihartree":
errors.append("tolerance_value_or_unit")
if record.get("spin_orbitals") != 2 * record.get("spatial_orbitals", -1):
errors.append("spin_orbital_mapping")
if record.get("qubits") != record.get("spin_orbitals"):
errors.append("qubit_mapping")
if not record.get("source_ids") or not record.get("baseline"):
errors.append("source_or_baseline")
ready = not errors and tolerance["value"] <= maximum_tolerance_millihartree
return {"decision": "validation-ready" if ready else "revise-proposal",
"errors": sorted(set(errors)), "tolerance_millihartree": tolerance.get("value")}
record = {"scenario": "Fe-S active-space audit", "source_ids": ["quantum-chemistry-review"],
"spatial_orbitals": 12, "spin_orbitals": 24, "qubits": 24,
"tolerance": {"value": 1.6, "unit": "millihartree"},
"validation_observable": "ground-state energy at fixed geometry",
"baseline": "selected-CI, same geometry and basis"}
base_result = audit(record, 2.0)
missing_baseline = {key: value for key, value in record.items() if key != "baseline"}
bad_result = audit(missing_baseline, 2.0)
sensitive_result = audit(record, 1.0)
assert base_result["decision"] == "validation-ready"
assert bad_result["decision"] == "revise-proposal" and "baseline" in bad_result["errors"]
assert sensitive_result["decision"] == "revise-proposal"
print(f"PASS: 65 active-space dossier qubits={record['qubits']} tolerance={base_result['tolerance_millihartree']} missing={bad_result['errors']} strict={sensitive_result['decision']}")| Quantity | Value | Unit or convention | Status |
|---|---|---|---|
| Spatial orbitals | 12 | selected active space | declared |
| Spin orbitals | 24 | two per spatial orbital | checked |
| Energy tolerance | 1.6 | millihartree | project target |
| Classical comparator | selected-CI calculation | same geometry and basis | required |
Exact validation command: python3 tools/validate_briefs.py --briefs data/editorial_briefs_64_87.json --from 64 --through 87 --check-rewritten-sources --execute-artifacts
Validation before claimed chemical value
A useful chemistry program funds the weakest link. If active-space truncation dominates error, buy better classical embedding and validation before deeper circuits. If state preparation dominates, compare ansätze and overlap evidence. If measurement or logical synthesis dominates, build the resource estimate. The laboratory owner should define what energy or property change would alter the candidate list before the compute team chooses precision.
Audit an energy-estimation proposal
Prompt. Audit a proposed ground-state energy calculation from orbital selection through validation.
Deliverable. An active-space table, Hamiltonian-term count, precision target, named classical baseline, and validation measurement.
Pass condition. Counts and units reconcile, chemical accuracy is not asserted without a definition, and the recommendation follows the limiting resource rather than the smallest circuit.
Model answer: why a toy VQE run does not close the case
Format. Annotated Fe–S active-space audit with a resource-limited conclusion.
The reference audit accepts the orbital mapping because 12 spatial orbitals map to 24 spin orbitals under the declared convention. It withholds a value conclusion: the best classical comparator is named, but the term count and physical resource translation remain project inputs. The recommendation is to preserve the scientific option while commissioning those two measurements, not to call the 24-qubit logical description application readiness.
Verification. The supplied fixture checks the spin-orbital mapping and rejects any row whose energy tolerance lacks units or whose baseline is absent.
Companion work
Artifacts for this chapter
These entries resolve to checked-in local source. Commands are reproduced exactly from the chapter manifest, and source-embedded fixtures are exported as direct downloads.
evidence dossier
Active-space resource and validation ledger
Reproduce or test
python3 tools/validate_briefs.py --briefs data/editorial_briefs_64_87.json --from 64 --through 87 --check-rewritten-sources --execute-artifacts
Provenance
Sources and review
- Richard P. Feynman. Simulating physics with computers. International Journal of Theoretical Physics. 1982primary paper
- Seth Lloyd. Universal quantum simulators. Science. 1996primary paper
- Alberto Peruzzo et al.. A variational eigenvalue solver on a photonic quantum processor. Nature Communications. 2014primary paper
- U.S. Government Accountability Office. Quantum Computing and Communications: Status and Prospects. GAO. 2021government technology assessment
- OpenQASM Technical Steering Committee. OpenQASM 3 specification. Linux Foundation Joint Development Foundation. 2026official technical specification
- IBM Quantum. Qiskit documentation. IBM. 2026official documentation
- Yudong Cao et al.. Quantum Chemistry in the Age of Quantum Computing. Chemical Reviews. 2019peer-reviewed review
- National Academies of Sciences, Engineering, and Medicine. Quantum Computing: Progress and Prospects. National Academies Press. 2019consensus study report
The load-bearing claims in the chapter are mapped inline to this registered source set. A citation supports only the bounded claim beside it.