Skip to content

Electronic Structure Methods Map

An electronic-structure method is defensible only relative to a declared claim. “Use DFT,” “use coupled cluster,” or “use a multireference method” does not yet specify a calculation. One must also state the electronic state, property, geometry, Hamiltonian, nuclear model, one-particle representation, method variant, numerical solver, convergence thresholds, and validation evidence.

The practical question is therefore not

Which acronym is best?

but

Which controlled approximation can answer this particular question, at this geometry and accuracy target, and what evidence would reveal its failure?

This page turns that question into a workflow. It compares Hartree–Fock (HF), density-functional theory (DFT), configuration interaction (CI), coupled cluster (CC), multireference methods, quantum Monte Carlo (QMC), and time-dependent or response methods. The comparison is deliberately conditional. None of these families is uniformly more accurate than all the others across ground states, excited states, bond breaking, weak interactions, transition metals, heavy elements, and extended systems.

Electronic Structure Overview owns the formal introductions to the electronic Hamiltonian, orbital bases, HF, CI, CC, DFT, CASSCF, and excited-state expansions. Hartree–Fock Approximation owns the determinant variational derivation. Atomic Correlation Methods Overview owns the atomic-structure implementation perspective. Quantum Monte Carlo Preview and Variational Monte Carlo Preview own broader stochastic-many-body foundations.

This page owns the operational methods map:

  • how to define the target before selecting a method;
  • which assumptions distinguish the main method families;
  • where each family commonly succeeds or fails;
  • how formal cost estimates should and should not be used;
  • which diagnostics deserve attention;
  • how to design method–basis convergence studies;
  • how to separate solver, representation, method, and physical-model error;
  • how to validate a calculation without tuning it to one desired answer;
  • and which metadata makes a method choice reproducible.

Brief equations identify each family, but full derivations remain at their canonical homes.

A useful abstraction is a calculation specification

C=(H^, N, Γ, B, A, S, τ, P).\mathcal C = \left( \hat H,\, \mathcal N,\, \Gamma,\, \mathcal B,\, \mathcal A,\, \mathcal S,\, \boldsymbol{\tau},\, \mathcal P \right).

Its entries are:

SymbolMeaningExample
H^\hat HHamiltonian and external fieldsnonrelativistic clamped-nuclei Coulomb Hamiltonian
N\mathcal Nnuclear and environmental modelfixed nuclei, continuum solvent, or periodic cell
Γ\Gammastate sectorcharge, spin, spatial symmetry, and targeted root
B\mathcal Bone-particle representationGaussian basis, plane waves, grid, or numerical orbitals
A\mathcal Aelectronic ansatz or functionalCCSD(T), a named density functional, or CASSCF active space
S\mathcal Ssolver and algorithmic choicesSCF optimizer, eigensolver, walker algorithm, or propagator
τ\boldsymbol{\tau}numerical thresholdsintegral, energy, residual, grid, and statistical tolerances
P\mathcal Pproperty protocolanalytic derivative, response theory, finite field, or energy difference

The reported quantity is then more honestly written as

QC=P[ΨC]Q_{\mathcal C} = \mathcal P[\Psi_{\mathcal C}]

or, for density-based methods,

QC=P[nC].Q_{\mathcal C} = \mathcal P[n_{\mathcal C}].

Two results with the same method label but different Hamiltonians, basis sets, spin constraints, geometries, grids, or property definitions need not be comparable.

In practical quantum chemistry, a declared method together with its basis, Hamiltonian, and auxiliary approximations is often called a model chemistry. A model chemistry should behave as a transferable protocol, not as a menu from which options are silently changed until one datum agrees with experiment.

For an energy difference,

ΔE=EC(B)−EC(A),\Delta E = E_{\mathcal C}(B) - E_{\mathcal C}(A),

the same protocol should normally be applied to both states AA and BB. Balanced error is usually more important than either absolute total energy considered alone.

The following claims are different computational problems:

  • the equilibrium bond length of one electronic state;
  • a vertical electronic excitation at a fixed geometry;
  • an adiabatic excitation including relaxation;
  • a dissociation energy including zero-point motion;
  • a spin-state energy gap;
  • an intermolecular binding energy;
  • a transition dipole or oscillator strength;
  • a nonadiabatic derivative coupling;
  • a core-level ionization energy;
  • or a real-time response to a strong pulse.

The method, basis, state tracking, relativistic model, and validation target can change when the claim changes.

Workflow from a declared electronic-structure claim through state diagnosis, method families, and three levels of validation

Method selection begins with the claim and Hamiltonian, not with an accuracy ranking. State diagnosis narrows plausible method families; numerical, convergence, and independent checks then determine whether the resulting claim is supported.

A practical first pass is:

  1. Name the observable and state. Include charge, spin, symmetry, root, geometry, and whether the target is vertical, adiabatic, or dynamical.
  2. Choose the physical model. State the Hamiltonian, nuclear treatment, environment, relativistic level, and external fields.
  3. Choose a representation. Select orbitals, basis functions, grids, pseudopotentials, and frozen-core spaces appropriate to the property.
  4. Diagnose reference character. Ask whether one determinant remains qualitatively dominant throughout the required region.
  5. Choose a method family. Match its controlled approximation to the state and property, not merely to system size.
  6. Converge independent axes. Tighten solver thresholds, basis quality, correlation treatment, active space, cell size, and statistical sampling separately where possible.
  7. Seek an independent check. Use a limiting case, another method, higher-level small model, experimental datum not used for tuning, or a certified benchmark.

The table is a map of characteristic uses and risks, not a universal league table.

FamilyBasic objectOften useful forCharacteristic riskEssential check
HFoptimized determinantreference orbitals, qualitative states, baseline energiesmissing correlation; symmetry breakingstability, spin, and orbital character
Kohn–Sham DFTdensity represented by auxiliary orbitalsstructures, densities, large systems, routine screeningfunctional-dependent bias and qualitative failuresfunctional class, grid, basis, and benchmark
CIlinear determinant expansionfinite-basis benchmarks, selected states, spectroscopycombinatorial growth; truncated CI lacks size extensivityexcitation-space and basis convergence
CCexponential excitation ansatzhigh-accuracy single-reference energies and propertiesbreakdown near degeneracy; nonvariational truncationreference diagnostics and hierarchy comparison
multireferenceoptimized active-space expansionbond breaking, near-degenerate states, intersectionsactive-space and state-averaging dependenceoccupations, active-space enlargement, root tracking
QMCsampled many-electron distributioncorrelated ground-state benchmarks and large parallel workloadsnodal, time-step, population, and statistical biastrial-state and sampling convergence
time-dependent or responseresponse vectors or propagated state/densityspectra, polarizabilities, driven dynamicsstate-character and kernel/truncation failuressum rules, time/frequency convergence, cross-method tests

The phrase “often useful” is intentionally weaker than “reliable.” Each row contains several distinct methods, implementations, and approximation levels.

HF optimizes one Slater determinant. In a nonorthogonal orbital basis, the stationary equations take the Roothaan–Hall form

FC=SCε.F C = S C \varepsilon.

The Hartree–Fock Notebook shows this generalized eigenproblem and the self-consistency loop explicitly.

Within a fixed one-particle basis and determinant class, a converged HF solution is variational:

EHF≥E0.E_{\mathrm{HF}} \ge E_0.

This is an upper bound to the exact ground-state energy for the same Hamiltonian. It does not imply that every stationary SCF solution is the lowest determinant, nor that a restricted spin solution is lower than all unrestricted or generalized determinants.

HF includes Coulomb repulsion and exchange exactly within one determinant. Its missing energy is conventionally called correlation energy,

Ecorr=E0−EHF,E_{\mathrm{corr}} = E_0 - E_{\mathrm{HF}},

for a fixed Hamiltonian and complete one-particle representation. Correlation energy is not itself an observable.

HF remains valuable as:

  • a transparent independent-particle baseline;
  • a source of orbitals for post-HF methods;
  • a diagnostic of spin and spatial symmetry;
  • a reference for Koopmans-like qualitative reasoning;
  • a test of basis conditioning and integral conventions;
  • and a controlled comparison point for correlation methods.

A single determinant can be inadequate when several configurations become nearly degenerate. Stretched H2_2 is the standard example. Restricted HF preserves spin symmetry but gives the wrong dissociation form; unrestricted HF lowers the energy by breaking spin symmetry and introduces spin contamination.

This is not merely “too little correlation energy.” It is a failure of the reference class to represent the correct state uniformly along the coordinate.

Record:

  • restricted, unrestricted, generalized, or relativistic spinor form;
  • charge, multiplicity, and spatial symmetry;
  • initial guess and converged occupation;
  • SCF energy and density residuals;
  • orbital-gradient or commutator norm;
  • stability-analysis result when available;
  • ⟨S2⟩\langle S^2\rangle for unrestricted states;
  • lowest orbital gaps and occupation changes;
  • and whether distinct initial guesses find distinct stationary solutions.

A small SCF energy change proves numerical stationarity, not physical adequacy.

The Hohenberg–Kohn theorems establish a ground-state density-functional framework, and the Kohn–Sham construction writes

E[n]=Ts[n]+∫vext(r)n(r) dr+J[n]+Exc[n].E[n] = T_s[n] + \int v_{\mathrm{ext}}(\mathbf r) n(\mathbf r)\,d\mathbf r + J[n] + E_{\mathrm{xc}}[n].

The exact exchange-correlation functional Exc[n]E_{\mathrm{xc}}[n] is unknown for general interacting systems. Practical DFT therefore means a named approximation together with its numerical integration, basis or grid, spin treatment, dispersion model if any, and self-consistent solution.

DFT is a framework, not one accuracy level

Section titled “DFT is a framework, not one accuracy level”

Local, semilocal, meta-GGA, hybrid, range-separated hybrid, and double-hybrid approximations use different information and make different tradeoffs. These categories are sometimes arranged as a conceptual ladder, but the rungs are not a theorem that every higher category improves every property.

A statement such as “DFT agrees with experiment” is incomplete unless it names:

  • the functional and exact variant;
  • integration grid and numerical thresholds;
  • basis or real-space discretization;
  • dispersion correction and damping variant;
  • pseudopotential or relativistic treatment;
  • spin restriction and broken-symmetry choices;
  • solvent, periodic, or embedding model;
  • and the property protocol.

Depending on the functional and problem class, Kohn–Sham DFT can provide a useful balance for:

  • equilibrium structures and vibrational Hessians;
  • electron densities and electrostatic properties;
  • relative energies across large molecular sets;
  • periodic systems and large atom counts;
  • initial screening of conformers or reaction paths;
  • and orbitals or trial states for more expensive calculations.

These are empirical performance statements about approximation classes, not consequences of the exact Hohenberg–Kohn theorems.

Important risks include:

  • self-interaction and delocalization error;
  • incorrect fractional-charge behavior;
  • static-correlation or fractional-spin error;
  • long-range charge-transfer excitation error;
  • missing long-range dispersion in many semilocal approximations;
  • functional sensitivity of spin-state splittings;
  • density-driven error in difficult cases;
  • grid sensitivity for some meta-GGA calculations;
  • and convergence to an unintended spin or orbital solution.

An empirical dispersion correction can improve a missing asymptotic interaction without repairing unrelated density or static-correlation errors.

  1. Identify the property class and chemical regime.
  2. Select a functional whose validation domain includes similar physics.
  3. Use a basis and integration grid converged for that property.
  4. Test at least one materially different functional class when the claim is sensitive.
  5. Benchmark a representative smaller case against a suitable wavefunction method or high-quality reference where feasible.
  6. Report the spread as evidence, not automatically as a statistical confidence interval.

Agreement among closely related functionals can reflect shared bias.

CI expands the state linearly in determinants or configuration-state functions,

∣ΨCI⟩=∑ICI∣ΦI⟩.|\Psi_{\mathrm{CI}}\rangle = \sum_I C_I|\Phi_I\rangle.

Diagonalizing the Hamiltonian in the complete determinant space gives full CI (FCI) for a fixed finite orbital basis and symmetry sector.

FCI is exact only within:

  • the chosen one-particle basis;
  • the chosen Hamiltonian;
  • the chosen frozen-core or active-electron approximation;
  • and the chosen symmetry sector.

It does not remove basis incompleteness, relativistic omission, nuclear motion, finite-cell effects, or an incorrect external model.

CIS, CISD, CISDT, and related truncations retain selected excitation ranks relative to a reference determinant. They are variational in the retained linear space, but ordinary truncated CI is not size extensive. For two noninteracting fragments,

ECISD(A+B)≠ECISD(A)+ECISD(B)E_{\mathrm{CISD}}(A+B) \ne E_{\mathrm{CISD}}(A) + E_{\mathrm{CISD}}(B)

in general.

The missing disconnected products grow with system size, so an apparently small error for one fragment does not transfer automatically to many fragments.

CI remains important for:

  • transparent finite-basis benchmarks;
  • small systems where FCI is feasible;
  • state-interaction and spectroscopic models;
  • selected-CI sequences approaching FCI;
  • active-space solvers inside multireference methods;
  • and diagnosing which configurations carry a state.

Selected CI adds determinants adaptively rather than by a fixed excitation rank. Its convergence must be documented against selection thresholds, extrapolation choices, and perturbative corrections.

Report:

  • orbital basis and orbital optimization;
  • determinant or configuration-state-function count;
  • symmetry and spin adaptation;
  • excitation or selection rule;
  • selected-space threshold;
  • variational and perturbatively corrected energies separately;
  • Davidson or other size-consistency corrections, if used;
  • and convergence against both orbital basis and determinant space.

Do not label a selected or truncated calculation “FCI quality” from one internal extrapolation alone.

CC writes

∣ΨCC⟩=eT^∣Φ0⟩,T^=T^1+T^2+T^3+⋯ .|\Psi_{\mathrm{CC}}\rangle = e^{\hat T}|\Phi_0\rangle, \qquad \hat T = \hat T_1+\hat T_2+\hat T_3+\cdots.

The exponential automatically generates disconnected products. Truncated CC therefore has a size-extensive structure that ordinary truncated CI lacks.

Common levels include:

  • CCD: doubles only;
  • CCSD: singles and doubles;
  • CCSD(T): perturbative connected triples on a CCSD reference;
  • CCSDT: iterative triples;
  • CCSDT(Q) and higher corrections for demanding small-system benchmarks.

For well-behaved single-reference molecules near equilibrium, CCSD(T) often provides high accuracy. This empirical success does not make it a universal gold standard.

Truncated CC is generally nonvariational:

ECC≱E0.E_{\mathrm{CC}} \not\ge E_0.

An energy below a benchmark is not by itself a solver failure. Conversely, a small amplitude residual only shows that the nonlinear equations have been solved; it does not show that the truncated ansatz is appropriate.

CC can become unreliable when:

  • the reference determinant loses dominance;
  • bonds are stretched far from equilibrium;
  • several spin or orbital occupations are nearly degenerate;
  • an excited state has strong double-excitation character;
  • a denominator becomes anomalously small;
  • or a target lies near an intersection of electronic states.

Useful evidence includes:

  • HF stability and spin contamination;
  • natural-orbital occupations;
  • the gap structure and low-energy configurations;
  • norms of single and double amplitudes;
  • T1T_1, D1D_1, or related diagnostics;
  • the size of perturbative triples corrections;
  • comparison among CCSD, CCSD(T), and a higher level on a smaller basis;
  • and behavior along the full geometry range.

The original T1T_1 threshold proposed for many closed-shell molecules is a heuristic, not a universal pass–fail boundary. Open-shell systems, transition metals, excited states, and different orbital choices require context.

CC energies, gradients, response properties, and transition moments use different left and right states or Lagrangian machinery. A converged energy does not automatically validate a finite-field polarizability, analytic gradient, or EOM-CC transition property.

The property protocol belongs in the calculation specification.

When several configurations are required already at zeroth order, an active space can represent the strongly coupled occupations explicitly. A CASSCF state has the schematic form

∣ΨCAS⟩=∑I∈CASCI∣ΦI({ϕp})⟩,|\Psi_{\mathrm{CAS}}\rangle = \sum_{I\in\mathrm{CAS}} C_I|\Phi_I(\{\phi_p\})\rangle,

with both coefficients and orbitals optimized.

A common partition is:

  • inactive orbitals: constrained to remain doubly occupied;
  • active orbitals: all allowed occupations included within a declared active electron count;
  • external orbitals: unoccupied in the reference space and available to later correlation treatment.

An active space denoted CAS(n,m)(n,m) contains nn active electrons in mm active spatial orbitals. This label is not enough for reproducibility; the orbital identities and state-averaging protocol must also be recorded.

CASSCF can capture static or near-degeneracy correlation associated with the chosen active orbitals. It generally leaves substantial dynamic correlation outside that space.

Post-CASSCF options include:

  • second-order perturbation theories such as CASPT2 or NEVPT2;
  • multireference CI;
  • contracted multireference CC variants;
  • larger selected-CI or density-matrix-renormalization-group active solvers;
  • and tailored or embedding approaches.

These methods are not interchangeable. Their intruder-state behavior, contraction approximations, size consistency, state treatment, and Hamiltonian partitions differ.

An active space should be chosen from the physics of all states and geometries needed for the claim. Candidate orbitals may include:

  • bonds that form or break and their antibonding partners;
  • nearly degenerate metal dd orbitals;
  • open-shell or radical orbitals;
  • lone pairs and acceptors involved in an excitation;
  • valence and Rydberg partners needed for balanced state descriptions;
  • and orbitals implicated by preliminary natural occupations or entanglement measures.

Choosing orbitals solely by an energy window can fail when orbital order changes along a path.

State-specific orbital optimization may favor one state and unbalance energy differences. State-averaged CASSCF optimizes a weighted average,

ESA=∑KwKEK,∑KwK=1,E_{\mathrm{SA}} = \sum_K w_K E_K, \qquad \sum_K w_K=1,

but the weights and included roots affect the orbitals.

Along a geometry path, root number alone is not a state identity. Track:

  • symmetry labels;
  • overlaps with previous states;
  • transition densities;
  • dominant configurations;
  • natural occupations;
  • and physically relevant observables.

Record:

  • CAS(n,m)(n,m) and the actual orbital list;
  • orbital source and localization if used;
  • number of roots, symmetries, and state weights;
  • convergence and orbital-rotation thresholds;
  • natural occupations across the relevant geometry region;
  • active-space enlargement tests;
  • post-CAS correlation method and all shifts or regularizers;
  • and root-tracking evidence.

One attractive potential curve is not proof that the active space is balanced.

QMC denotes several stochastic methods rather than one algorithm. In variational Monte Carlo, a parameterized trial state ΨT(R)\Psi_T(\mathbf R) is sampled to estimate

EVMC=∫dR ∣ΨT(R)∣2EL(R)∫dR ∣ΨT(R)∣2,E_{\mathrm{VMC}} = \frac{ \int d\mathbf R\, |\Psi_T(\mathbf R)|^2 E_L(\mathbf R) }{ \int d\mathbf R\, |\Psi_T(\mathbf R)|^2 },

where

EL(R)=H^ΨT(R)ΨT(R).E_L(\mathbf R) = \frac{\hat H\Psi_T(\mathbf R)} {\Psi_T(\mathbf R)}.

For a square-integrable trial state in the Hamiltonian domain, EVMCE_{\mathrm{VMC}} is variational.

VMC is useful for:

  • optimizing Jastrow factors and multideterminant trial states;
  • estimating energies and other observables;
  • exploring explicit interelectronic correlation;
  • and preparing nodes for projector methods.

Its accuracy depends on trial-state flexibility and optimization, while its precision depends on autocorrelation and effective sample size.

Diffusion Monte Carlo projects toward a low-energy state in imaginary time. For fermions, the fixed-node approximation constrains the nodal surface to that of a trial wavefunction. For local Hamiltonians under the usual fixed-node construction, the fixed-node ground-state energy is variational with respect to the exact fermionic energy.

Nonlocal pseudopotentials and their localization treatments require extra care; a blanket upper-bound statement may no longer apply to every practical algorithm.

Separate:

  • Monte Carlo standard error;
  • autocorrelation and population-control effects;
  • time-step bias;
  • finite-population bias;
  • trial-wavefunction optimization error;
  • fixed-node error;
  • finite-size and boundary-condition error;
  • pseudopotential and localization error;
  • and estimator bias for operators that do not commute with H^\hat H.

A small error bar addresses sampling precision only.

For effectively independent samples,

σQˉ∝1Neff.\sigma_{\bar Q} \propto \frac{1}{\sqrt{N_{\mathrm{eff}}}}.

Reducing a standard error by a factor of two therefore requires roughly four times as many effective samples. Correlated walkers or Markov-chain samples must be analyzed through an effective sample size, blocking, or another autocorrelation-aware estimator.

QMC can be attractive when:

  • an explicitly correlated many-electron trial state is available;
  • massively parallel sampling offsets a high deterministic tensor cost;
  • a ground-state energy benchmark is more important than a broad set of analytic properties;
  • periodic or large-electron systems are central;
  • or fixed-node and finite-size biases can be tested systematically.

It is less automatically attractive when many excited states, precise derivatives, nonadiabatic couplings, or dense response spectra are required.

“Time-dependent method” can mean at least three different calculations:

  1. frequency-domain linear response about a stationary reference;
  2. equation-of-motion or state-interaction eigenvalue calculations;
  3. real-time propagation under a time-dependent Hamiltonian.

These answer related but nonidentical questions.

For a weak perturbation δv(ω)\delta v(\omega), linear response has the form

δn(r,ω)=∫dr′ χ(r,r′;ω)δv(r′,ω).\delta n(\mathbf r,\omega) = \int d\mathbf r'\, \chi(\mathbf r,\mathbf r';\omega) \delta v(\mathbf r',\omega).

Poles of the response function yield excitation energies, and residues encode transition strengths. TDHF, random-phase approximations, TDDFT, and coupled-cluster response theory differ in the reference and response kernel.

EOM-CC solves a non-Hermitian eigenproblem in an excitation-operator space,

HˉRK∣Φ0⟩=EKRK∣Φ0⟩,Hˉ=e−T^H^eT^.\bar H R_K|\Phi_0\rangle = E_K R_K|\Phi_0\rangle, \qquad \bar H = e^{-\hat T}\hat H e^{\hat T}.

Different operator sectors target:

  • neutral excitations;
  • ionization potentials;
  • electron attachments;
  • or spin flips.

The excitation manifold and reference quality determine which state characters are balanced.

TDDFT rests on the Runge–Gross time-dependent density-functional framework. Practical molecular linear-response TDDFT commonly uses an adiabatic approximation to the exchange-correlation kernel.

It can be effective for many valence excitations, but important risks include:

  • long-range charge-transfer states with inappropriate functionals;
  • Rydberg states without diffuse basis functions;
  • double-excitation character under common adiabatic kernels;
  • state ordering sensitive to the functional;
  • and surfaces near conical intersections.

Real-time methods propagate a state, density matrix, or Kohn–Sham orbitals:

iℏ∂∂t∣Ψ(t)⟩=H^(t)∣Ψ(t)⟩.i\hbar \frac{\partial}{\partial t} |\Psi(t)\rangle = \hat H(t)|\Psi(t)\rangle.

They can model broadband response and nonlinear driving, but introduce new convergence axes:

  • time step;
  • total propagation time;
  • absorbing boundaries;
  • field envelope and gauge;
  • spatial representation;
  • and conservation or norm drift.

Fourier resolution scales inversely with total propagation time, while the maximum stable or accurate frequency depends on the time step and propagator.

Declare:

  • vertical or adiabatic energy;
  • neutral excitation, ionization, or attachment;
  • valence, Rydberg, charge-transfer, core, or double-excitation character;
  • spin and spatial symmetry;
  • geometry and reference state;
  • state-specific or state-averaged orbitals;
  • oscillator strength or other property definition;
  • solvent and vibronic treatment;
  • and root-tracking protocol.

Electronic Spectroscopy owns comparison with measured bands, while Oscillator Strengths owns transition-strength conventions.

Formal Cost Is a Coordinate, Not a Verdict

Section titled “Formal Cost Is a Coordinate, Not a Verdict”

Let NoN_o and NvN_v denote occupied and virtual orbital counts and let NN denote a rough overall orbital scale. Representative dense canonical algorithms have the following leading operations:

MethodRepresentative leading workCommon shorthandImportant qualifier
HFfour-index integral handling plus SCF diagonalizationup to N4N^4 conventionallydirect, density-fitted, local, and grid methods change cost
Kohn–Sham DFTgrid evaluation plus orbital solutionoften N3N^3–N4N^4grid, exact exchange, periodicity, and sparsity dominate
MP2No2Nv3N_o^2N_v^3N5N^5integral transformation and storage matter
CISDroughly No2Nv4N_o^2N_v^4N6N^6determinant-space dimensions and symmetry alter prefactors
CCSDNo2Nv4N_o^2N_v^4N6N^6memory and communication can be limiting
CCSD(T) triples stepNo3Nv4N_o^3N_v^4N7N^7variants and implementations differ
FCIcombinatorial determinant spaceexponentialfeasible size depends strongly on symmetry and solver
CASSCFactive-space CI plus orbital optimizationexponential in active spaceinactive/external orbital work also matters
QMCsamples times per-sample evaluationno single universal powervariance, nodes, autocorrelation, and target error control cost

These are orientation estimates, not procurement promises.

Why the same scaling can behave differently

Section titled “Why the same scaling can behave differently”

Wall time depends on:

  • prefactors and tensor sparsity;
  • number of electrons and basis functions;
  • occupied-to-virtual ratio;
  • molecular symmetry;
  • integral approximation;
  • memory, storage, and communication;
  • parallel efficiency;
  • convergence iterations;
  • requested number of states or properties;
  • and software implementation.

A nominally lower-scaling method can be slower for a particular system, and a local approximation can change both cost and error.

For modern calculations, moving or storing tensors can dominate floating point operations. Report:

  • peak memory;
  • disk use;
  • parallel layout;
  • integral storage or recomputation strategy;
  • density fitting or Cholesky thresholds;
  • and whether numerical precision was reduced.

Formal asymptotic scaling alone cannot reproduce a calculation.

The following entries are starting hypotheses. Each requires the validation column.

Target regimePlausible starting familiesMain dangerMinimum validation
closed-shell equilibrium structureDFT or HF-based correlationhidden conformer, basis, or functional biasbasis/grid test and higher-level points
single-reference thermochemistryCC hierarchy or calibrated composite protocolbasis and higher-excitation imbalancebasis extrapolation and hierarchy increments
bond breakingCASSCF plus dynamic correlation; selected CIchanging active orbitals and unbalanced fragmentsoccupations and dissociation limits
weak intermolecular bindingdispersion-aware DFT or correlated wavefunction methodBSSE and geometry sensitivitycounterpoise or CBS analysis and benchmark
transition-metal spin gapseveral DFT classes and multireference checksfunctional, spin, active-space, and relativistic sensitivitymultiple references and state diagnostics
valence excitationTDDFT, algebraic-diagrammatic construction (ADC), EOM-CC, or multireference responsestate character and root switchingbasis, functional/rank, and benchmark states
Rydberg excitationdiffuse-basis response or EOM methodmissing diffuse space and continuum mixingaugmentation sequence and orbital extent
charge-transfer excitationrange-aware TDDFT or wavefunction methodasymptotic-potential errordonor–acceptor separation trend and benchmark
double excitationmultireference or higher EOM/response treatmentinadequate singles-doubles response spaceconfiguration analysis and higher method
heavy-element propertyrelativistic DFT or wavefunction methodHamiltonian and picture-change errorrelativistic-level and core-space tests
large periodic ground stateperiodic DFT or QMCfinite size, kk mesh, functional, pseudopotentialcell/kk convergence and independent benchmark

The table does not imply that every listed implementation is available or equally mature for gradients, excited states, spin–orbit coupling, or periodic boundary conditions.

For a periodic crystal whose chosen family is an independent-particle or Kohn–Sham method, Band Structure Workflows owns the solids-specific structure, SCF, Brillouin-zone, magnetic-state, convergence, and artifact record. This page retains comparison among method families and their diagnostics.

Bad:

We calculate the electronic structure of molecule X.

Better:

We estimate the gas-phase, clamped-nuclei vertical singlet excitation energy from the ground-state equilibrium geometry to the lowest bright valence state, targeting an uncertainty below 0.1 eV0.1\,\mathrm{eV}.

The second sentence constrains the state, geometry, property, environment, and tolerance.

Step 2: Identify the dominant physical risks

Section titled “Step 2: Identify the dominant physical risks”

Ask:

  • Is one determinant qualitatively adequate?
  • Are bonds breaking or occupations changing?
  • Is the state diffuse, charge-transfer, core, or doubly excited?
  • Are spin–orbit or scalar-relativistic effects comparable to the target tolerance?
  • Is long-range dispersion central?
  • Is the environment part of the observable?
  • Are several conformers or electronic states thermally accessible?
  • Does the property emphasize the nuclear cusp, long-range tail, or response density?

Method choice should address the largest risks first.

Step 3: Choose a representation for the property

Section titled “Step 3: Choose a representation for the property”

A basis adequate for an equilibrium valence energy may be inadequate for:

  • anions;
  • Rydberg states;
  • polarizabilities;
  • long-range charge transfer;
  • core spectroscopy;
  • hyperfine contact terms;
  • weak binding;
  • or relativistic near-nuclear properties.

Diffuse, polarization, tight-core, relativistic, and auxiliary functions solve different representation problems.

Step 4: Separate exploration from evidence

Section titled “Step 4: Separate exploration from evidence”

An economical method can explore:

  • conformers;
  • geometries;
  • spin states;
  • reaction paths;
  • candidate active spaces;
  • and orbital character.

A more expensive method can then validate selected points. This layered workflow is legitimate when the geometry transfer, state identity, and single-point protocol are documented.

Before examining the final answer, decide which changes will test:

  • SCF or nonlinear-solver convergence;
  • orbital basis;
  • integration grid;
  • correlation rank;
  • active space;
  • selected determinant threshold;
  • time step and propagation length;
  • QMC sample size and fixed-node trial state;
  • cell size and kk mesh;
  • relativistic Hamiltonian;
  • and environmental model.

Predeclaring the tests reduces the temptation to stop at the first agreeable number.

No scalar diagnostic universally partitions electronic states into “single-reference” and “multireference” classes.

A small HF or Kohn–Sham gap can warn of near-degeneracy or SCF instability, but:

  • the value is method and orbital dependent;
  • a small gap need not imply strong static correlation;
  • a large gap does not exclude a poorly described excited state;
  • and a Kohn–Sham gap is not generally a many-body excitation gap.

For a one-particle reduced density matrix,

γϕp=npϕp,\gamma\phi_p = n_p\phi_p,

the eigenvalues npn_p are natural occupations. Values far from 22 or 00 for spatial orbitals can indicate that several configurations matter.

Occupations depend on the approximate state used to compute γ\gamma. They are more informative when followed along the relevant geometry path and compared across methods or active spaces.

For a nominal spin SS,

⟨S^2⟩=S(S+1)\langle \hat S^2\rangle = S(S+1)

for a pure spin eigenstate. A larger unrestricted value signals contamination by other spin sectors. A small deviation does not by itself validate the energy, and a broken-symmetry state can sometimes be a useful intermediate model if interpreted explicitly.

T1T_1, D1D_1, largest amplitudes, and perturbative-triples fractions probe different features of a chosen CC solution. Their thresholds are empirical and system dependent.

Use them as prompts for:

  • orbital stability checks;
  • natural-occupation analysis;
  • comparison to higher excitation rank;
  • a multireference calculation;
  • or a smaller-basis FCI/selected-CI benchmark.

Spread across functionals is useful only when the set spans meaningfully different approximations. It is not a calibrated uncertainty distribution, and cherry-picking a functional after seeing the benchmark leaks reference information into the prediction.

For geometry steps RkR_k and Rk+1R_{k+1}, an overlap measure

∣⟨ΨI(Rk)∣ΨJ(Rk+1)⟩∣\left| \langle \Psi_I(R_k) | \Psi_J(R_{k+1}) \rangle \right|

can assist root tracking. In nonorthogonal orbital spaces, the overlap must be evaluated with the proper metric and orbital transformation.

State overlap should be combined with symmetry, transition properties, and configuration character near avoided or true crossings.

For a scalar result QQ, consider a two-dimensional method–basis grid:

basis B1B_1basis B2B_2basis B3B_3
method M1M_1Q11Q_{11}Q12Q_{12}Q13Q_{13}
method M2M_2Q21Q_{21}Q22Q_{22}Q23Q_{23}
method M3M_3Q31Q_{31}Q32Q_{32}Q33Q_{33}

Define local increments

δBQ=Qi,j+1−Qij\delta_B Q = Q_{i,j+1} - Q_{ij}

and

δMQ=Qi+1,j−Qij.\delta_M Q = Q_{i+1,j} - Q_{ij}.

If these increments change substantially across the grid, basis and method errors are coupled. A correction computed in a very small basis may not transfer cleanly to a larger basis.

A simple nonadditivity diagnostic is

Δ×Q=Q22−Q21−Q12+Q11.\Delta_{\times}Q = Q_{22} - Q_{21} - Q_{12} + Q_{11}.

If Δ×Q\Delta_{\times}Q is small relative to the target tolerance, an additive composite estimate may be plausible. If it is large, method and basis increments cannot be treated as independent without further evidence.

Energy differences require balanced convergence

Section titled “Energy differences require balanced convergence”

For

ΔE=EB−EA,\Delta E = E_B-E_A,

the relevant basis error is

δBΔE=δBEB−δBEA.\delta_B\Delta E = \delta_B E_B - \delta_B E_A.

Large absolute basis errors can cancel, or small-looking component errors can reinforce. Converge the reported difference directly.

A method adequate near equilibrium may fail at dissociation or along a reaction coordinate. Convergence should be sampled across:

  • minima;
  • transition regions;
  • asymptotic fragments;
  • avoided crossings;
  • and any geometry where state character changes.

One converged stationary point does not validate an entire potential-energy surface.

A conceptual decomposition is

ΔQ=ΔQmodel+ΔQrepr+ΔQmethod+ΔQsolver+ΔQsampling+ΔQproperty.\Delta Q = \Delta Q_{\mathrm{model}} + \Delta Q_{\mathrm{repr}} + \Delta Q_{\mathrm{method}} + \Delta Q_{\mathrm{solver}} + \Delta Q_{\mathrm{sampling}} + \Delta Q_{\mathrm{property}}.

The terms denote:

TermExamples
ΔQmodel\Delta Q_{\mathrm{model}}relativity, nuclear motion, environment, finite cell, pseudopotential
ΔQrepr\Delta Q_{\mathrm{repr}}orbital basis, grid, plane-wave cutoff, auxiliary basis
ΔQmethod\Delta Q_{\mathrm{method}}functional approximation, excitation truncation, active space, fixed nodes
ΔQsolver\Delta Q_{\mathrm{solver}}incomplete SCF, eigensolver, propagation, optimizer convergence
ΔQsampling\Delta Q_{\mathrm{sampling}}Monte Carlo variance, autocorrelation, finite population
ΔQproperty\Delta Q_{\mathrm{property}}finite field, numerical derivative, response truncation, state assignment

This equation is an accounting device, not a theorem of additivity. Error channels interact. For example, basis incompleteness can change CC amplitudes, active-space occupations, DFT density error, or QMC nodes.

Suppose an SCF energy is converged to 10−10Eh10^{-10}E_{\mathrm h}. That number sets a solver tolerance. It does not establish:

  • basis convergence to 10−10Eh10^{-10}E_{\mathrm h};
  • correlation accuracy to that level;
  • physical-model completeness;
  • or agreement with experiment to ten decimal places.

Report enough digits to reproduce arithmetic, but round interpreted claims to the supported uncertainty.

For QMC,

Q=Qˉ±σQˉQ = \bar Q \pm \sigma_{\bar Q}

reports sampling precision under the estimator assumptions. Fixed-node, time-step, finite-size, and pseudopotential biases are systematic and require separate tests.

For deterministic electronic structure, a spread across basis sets or methods is not automatically a confidence interval. It is evidence from a specified sensitivity study.

Validation should move from internal arithmetic to external physical evidence.

Check:

  • matrix Hermiticity or required symmetry;
  • electron count and normalization;
  • generalized-eigenvalue residuals;
  • energy identities and limiting formulas;
  • analytic versus finite-difference derivatives;
  • and agreement with an independently coded small case.

Check:

  • SCF and amplitude residuals;
  • optimization gradients;
  • eigensolver residuals;
  • propagation norm and conservation laws;
  • QMC autocorrelation and effective sample size;
  • and sensitivity to starting guesses.

Vary:

  • orbital basis cardinality and augmentation;
  • real-space grid or plane-wave cutoff;
  • auxiliary basis;
  • integration grid;
  • supercell and kk mesh;
  • frozen-core space;
  • and relativistic one-particle basis.

Vary:

  • excitation rank;
  • active space;
  • selected-CI threshold;
  • functional class;
  • perturbative correction;
  • trial-wavefunction nodes;
  • or response kernel.

Test:

  • scalar relativity and spin–orbit coupling;
  • finite nuclear mass and zero-point motion;
  • environment or solvation;
  • thermal populations;
  • external fields;
  • finite-size corrections;
  • and nonadiabatic effects.

Compare against:

  • an exact or analytic limit;
  • FCI in a small basis;
  • a higher-level small-system benchmark;
  • another method family with different dominant errors;
  • a certified benchmark database;
  • or an experimental observable matched to the same physical definition.

Agreement at level 6 cannot excuse failures at levels 1–5.

Claim: Construct a qualitatively correct ground-state curve from equilibrium to separated neutral atoms.

Risk: The restricted single determinant becomes qualitatively inadequate as bonding and antibonding configurations approach degeneracy.

Reasonable map:

  1. Use restricted and unrestricted HF as diagnostics, not final references.
  2. Track natural occupations and ⟨S2⟩\langle S^2\rangle.
  3. Use a minimal CAS(2,2)(2,2) to include both bonding and antibonding occupations.
  4. Add dynamic correlation with a post-CAS method if quantitative energies are required.
  5. Check the separated-atom limit and size consistency.

Single-reference CC near equilibrium may be excellent while failing as the bond is stretched. A method choice must cover the entire claimed coordinate.

Claim: Determine a gas-phase interaction energy at a declared geometry.

Risks: Dispersion, basis-set superposition, geometry sensitivity, and small differences of large total energies.

Define the interaction energy as

ΔEint=EAB−EA−EB\Delta E_{\mathrm{int}} = E_{AB} - E_A - E_B

with geometry and monomer deformation conventions stated.

Reasonable map:

  1. Use a dispersion-capable DFT or correlated wavefunction method.
  2. Add diffuse and polarization functions where needed.
  3. test basis convergence and counterpoise sensitivity;
  4. compare a smaller model or selected geometries to a high-level correlation benchmark;
  5. report deformation, zero-point, and thermal corrections separately.

A tiny SCF residual is irrelevant if the interaction energy changes by more than the target tolerance under basis augmentation.

Claim: Predict a vertical excitation and oscillator strength near a closed-shell equilibrium geometry.

Risks: State ordering, diffuse contamination, double-excitation character, and method-dependent transition moments.

Reasonable map:

  1. Diagnose orbital and configuration character.
  2. Test diffuse augmentation even for a nominally valence state.
  3. Compare TDDFT functional classes or use EOM-CC/ADC where feasible.
  4. inspect transition density and oscillator strength, not energy alone;
  5. track the same state across basis and method changes;
  6. benchmark a representative subset against a higher excitation rank or multireference treatment.

An energy match with a measured band maximum is not enough if vibronic structure, solvent shift, and vertical-to-band assignments are unresolved.

Claim: Determine the energy difference between two low-lying spin states.

Risks: Several near-degenerate dd occupations, functional sensitivity, state-specific orbital relaxation, scalar relativity, spin–orbit coupling, and environmental effects.

Reasonable map:

  1. Search multiple orbital occupations and spin solutions.
  2. inspect natural occupations and metal–ligand active orbitals;
  3. compare materially different DFT approximations without treating their spread as a confidence interval;
  4. construct and enlarge a balanced active space;
  5. add dynamic correlation and relativistic corrections consistently;
  6. test ligand geometry, solvation, and thermal terms if the comparison is experimental.

No single diagnostic threshold can certify this problem class.

Case 5: Large periodic ground-state energy

Section titled “Case 5: Large periodic ground-state energy”

Claim: Compare two crystal structures or defect formation energies.

Risks: kk-point and cell convergence, pseudopotential transferability, functional bias, long-range correlation, and charged-cell corrections.

Reasonable map:

  1. Converge plane-wave cutoff, kk mesh, and supercell independently.
  2. use consistent pseudopotentials and valence spaces;
  3. test functionals suited to the bonding regime;
  4. apply finite-size and electrostatic corrections with stated conventions;
  5. benchmark smaller cells or fragments against QMC or correlated methods where feasible.

Per-atom convergence can conceal a nonconverged energy difference if errors cancel differently between structures.

A mature computational claim should retain at least:

CategoryRequired record
identitycomposition, charge, multiplicity, geometry, isotopes
statesymmetry, root, occupation, state-tracking evidence
Hamiltoniannonrelativistic/relativistic form, fields, pseudopotential, frozen core
environmentgas phase, solvent model, periodic cell, embedding
representationorbital basis, auxiliary basis, grid, cutoff, cell, kk mesh
electronic methodfull method variant, functional, active space, excitation rank
solversoftware and version, algorithm, initial guess, thresholds
propertyenergy/gradient/response/finite-field definition and units
convergencebasis, method, grid, time-step, and sample-size tables
diagnosticsresiduals, occupations, spin, amplitudes, state overlaps
provenanceinput files, scripts, hardware-relevant settings, random seeds
validationbenchmark source, limiting case, independent method, experiment mapping

Machine-readable output should retain full numerical precision. Tables and prose should distinguish reproducibility digits from physically significant digits.

Retain:

  • failed SCF guesses;
  • alternative stationary solutions;
  • roots that switched character;
  • active spaces that produced unstable states;
  • functionals that changed state ordering;
  • QMC trial states with inferior variance or nodes;
  • and convergence tests that exceeded the error target.

These results explain why the final protocol was chosen and help reveal selection bias.

Treating method names as complete specifications

Section titled “Treating method names as complete specifications”

“B3LYP,” “CCSD(T),” or “CASSCF” omits the basis, Hamiltonian, state, thresholds, and property protocol.

FCI is exact in the declared finite orbital space and Hamiltonian, not in the continuum physical problem.

Treating higher formal scaling as higher accuracy

Section titled “Treating higher formal scaling as higher accuracy”

Scaling measures an algorithmic resource trend. It does not order model error across different physical regimes.

Using CCSD(T) through strong bond breaking

Section titled “Using CCSD(T) through strong bond breaking”

The perturbative triples correction assumes a suitable single-reference CC state. Near-degeneracy can invalidate that premise.

Treating a DFT category as a convergence hierarchy

Section titled “Treating a DFT category as a convergence hierarchy”

Moving from GGA to hybrid or double hybrid does not guarantee monotonic improvement for every property.

Calling CASSCF a complete correlation treatment

Section titled “Calling CASSCF a complete correlation treatment”

CASSCF is complete only within its active orbital space and usually omits substantial dynamic correlation.

T1T_1, a HOMO–LUMO gap, ⟨S2⟩\langle S^2\rangle, or one natural occupation is evidence that should trigger more checks, not an oracle.

Sampling uncertainty does not include fixed-node, time-step, pseudopotential, finite-size, or population bias.

Electronic, adiabatic, zero-point-corrected, thermal, solvated, and spin–orbit-resolved energies have different definitions.

Converging the components but not the difference

Section titled “Converging the components but not the difference”

Energy differences can amplify or cancel component errors. Converge the reported observable directly.

Selecting a functional, active space, shift, or correction after seeing the target datum makes that datum part of the model construction, not an independent validation.

Reporting a root number as a state identity

Section titled “Reporting a root number as a state identity”

Root order can change with geometry, basis, and method. Use symmetry, overlap, transition properties, and configuration character.

Density fitting, local approximations, frozen natural orbitals, grids, pseudopotentials, and convergence accelerators can affect both cost and accuracy.

Exercise 1: Complete the calculation specification

Section titled “Exercise 1: Complete the calculation specification”

A paper reports only “the singlet–triplet gap was calculated with CCSD(T).” List at least eight additional items needed to make the claim computationally interpretable.

Solution

A sufficient list includes:

  1. molecular geometry and whether each state was separately optimized;
  2. charge and definitions of the singlet and triplet states;
  3. orbital basis and auxiliary basis;
  4. frozen-core or correlated-electron space;
  5. relativistic Hamiltonian or pseudopotential;
  6. restricted, unrestricted, or restricted-open-shell reference;
  7. exact CCSD(T) variant;
  8. SCF and coupled-cluster convergence thresholds;
  9. treatment of symmetry and alternative orbital occupations;
  10. whether the gap is vertical, adiabatic, zero-point corrected, or thermal;
  11. software and version;
  12. reference diagnostics and basis/hierarchy convergence tests.

The method acronym supplies only one entry of the calculation specification.

Suppose a truncated-CI method gives

E(A)=−75.000Eh,E(B)=−40.000Eh,E(A)=-75.000E_{\mathrm h}, \qquad E(B)=-40.000E_{\mathrm h},

but for noninteracting fragments in one calculation gives

E(A+B)=−114.970Eh.E(A+B)=-114.970E_{\mathrm h}.

Compute the size-consistency error and state what happens if ten identical, well-separated copies of this fragment pair are modeled with a similarly nonextensive error.

Solution

For noninteracting fragments, an additive method should give

E(A)+E(B)=−115.000Eh.E(A)+E(B) = -115.000E_{\mathrm h}.

The size-consistency error is

ΔSC=E(A+B)−E(A)−E(B)=0.030Eh.\begin{aligned} \Delta_{\mathrm{SC}} &= E(A+B)-E(A)-E(B) \\ &= 0.030E_{\mathrm h}. \end{aligned}

If the defect accumulates approximately linearly for ten independent copies, the error becomes roughly

10ΔSC=0.300Eh.10\Delta_{\mathrm{SC}} = 0.300E_{\mathrm h}.

The extrapolation is illustrative rather than universal, but it shows why a small-fragment error need not remain small as system size grows.

Exercise 3: Test an additive composite estimate

Section titled “Exercise 3: Test an additive composite estimate”

For one energy difference in eV, a method–basis grid is

B1B_1B2B_2
M1M_12.102.24
M2M_22.312.52

Compute the cross increment

Δ×Q=Q22−Q21−Q12+Q11.\Delta_{\times}Q = Q_{22}-Q_{21}-Q_{12}+Q_{11}.

Would a target tolerance of 0.02 eV0.02\,\mathrm{eV} support treating method and basis corrections as independent?

Solution

Substitution gives

Δ×Q=2.52−2.31−2.24+2.10=0.07 eV.\begin{aligned} \Delta_{\times}Q &= 2.52-2.31-2.24+2.10 \\ &= 0.07\,\mathrm{eV}. \end{aligned}

This exceeds the 0.02 eV0.02\,\mathrm{eV} target. The method change depends materially on the basis, so an additive correction assembled from the smallest calculations is not supported at the requested tolerance.

Exercise 4: Interpret a coupled-cluster diagnostic

Section titled “Exercise 4: Interpret a coupled-cluster diagnostic”

A calculation has a small CCSD residual, a T1T_1 diagnostic of 0.0310.031, a large perturbative triples contribution, and natural occupations 1.731.73 and 0.270.27 for two frontier spatial orbitals. What can and cannot be concluded?

Solution

The small residual shows that the chosen CCSD equations were solved numerically. It does not validate the single-reference truncation.

The elevated T1T_1, large triples correction, and noninteger frontier occupations are mutually consistent warnings that more than one configuration may matter. None is an individual proof that CCSD(T) fails, and no universal numerical cutoff settles the question.

A responsible response is to:

  • check HF stability and orbital alternatives;
  • compare CCSD, CCSD(T), and a higher excitation treatment in a smaller basis;
  • construct a physically motivated active space;
  • inspect behavior across the relevant geometry region;
  • and compare the target energy difference, not only total energies.

Exercise 5: Design a DFT check for charge transfer

Section titled “Exercise 5: Design a DFT check for charge transfer”

A donor–acceptor complex has a low excitation that moves charge over a large distance. Design a minimum validation study for a TDDFT prediction.

Solution

A minimum study should:

  1. verify charge-transfer character using the transition density or attachment/detachment densities;
  2. include diffuse basis functions on both donor and acceptor;
  3. compare a conventional hybrid with a suitable range-separated hybrid;
  4. test the excitation as donor–acceptor separation changes;
  5. ensure the same state is tracked across calculations;
  6. benchmark a smaller representative geometry with a wavefunction method suited to the excitation;
  7. report solvent and geometry assumptions.

Agreement between several semilocal functionals would be weak evidence because they can share the same asymptotic-potential error.

A QMC estimate has a standard error of 0.40 mEh0.40\,\mathrm{m}E_{\mathrm h} after a fixed effective sample count. If all else is unchanged, by what factor must the effective sample count increase to reduce the standard error to 0.10 mEh0.10\,\mathrm{m}E_{\mathrm h}?

Solution

The desired standard error is four times smaller. Since

σQˉ∝Neff−1/2,\sigma_{\bar Q} \propto N_{\mathrm{eff}}^{-1/2},

the effective sample count must increase by

(0.400.10)2=16.\left( \frac{0.40}{0.10} \right)^2 = 16.

This improves sampling precision only. It does not reduce fixed-node, time-step, finite-size, or pseudopotential bias.

Exercise 7: Choose methods for two excited states

Section titled “Exercise 7: Choose methods for two excited states”

At one geometry, state AA is dominated by one valence single excitation. State BB is dominated by a simultaneous two-electron promotion. Explain why one method may not describe both states with balanced accuracy.

Solution

Linear-response methods built primarily from single particle–hole excitations can describe state AA naturally. EOM-CCSD and many adiabatic TDDFT calculations often fall in this category, although their detailed capabilities differ.

State BB has strong double-excitation character. A singles-dominated response space or adiabatic density-functional kernel may represent it poorly or miss it. Balanced options can require:

  • higher EOM excitation rank;
  • a multireference state-interaction method;
  • selected CI;
  • or another approach whose response space explicitly contains the relevant configurations.

The method should be selected for the hardest state needed by the claim, and both roots should be tracked by character rather than energy order.

Why is “CCSD(T)/large basis at the equilibrium geometry” insufficient to validate an entire bond-dissociation curve? Give a compact protocol that would be more persuasive.

Solution

Near equilibrium the state may be single reference, while stretched geometries can develop near-degenerate bonding and antibonding occupations. A benchmark at one geometry does not test that change.

A stronger protocol would:

  1. sample equilibrium, intermediate, stretched, and asymptotic geometries;
  2. track orbital and state character continuously;
  3. monitor natural occupations, amplitude diagnostics, and spin contamination;
  4. compare restricted and unrestricted references diagnostically;
  5. use an active-space or selected-CI treatment where occupations become noninteger;
  6. test basis convergence at representative points;
  7. verify neutral-fragment limits and size consistency.

The final curve can combine methods only if the joining convention and relative energy zero are controlled.

Exercise 9: Separate numerical and physical accuracy

Section titled “Exercise 9: Separate numerical and physical accuracy”

A calculation reports an energy converged to 2×10−11Eh2\times10^{-11}E_{\mathrm h}, but changing the basis shifts the target energy difference by 8×10−4Eh8\times10^{-4}E_{\mathrm h} and adding scalar relativity shifts it by 3×10−4Eh3\times10^{-4}E_{\mathrm h}. Which number controls the reported physical precision?

Solution

The 2×10−11Eh2\times10^{-11}E_{\mathrm h} value is a numerical solver threshold. The demonstrated representation and Hamiltonian sensitivities are much larger:

8×10−4Ehand3×10−4Eh.8\times10^{-4}E_{\mathrm h} \quad\text{and}\quad 3\times10^{-4}E_{\mathrm h}.

Without further convergence or cancellation evidence, the physical claim cannot inherit eleven-decimal precision. Its uncertainty is controlled by the largest unresolved relevant systematic contributions, including any method error not yet quantified.

  • A method name is one coordinate of a calculation specification.
  • Define the state, property, geometry, physical model, and target tolerance before selecting a method.
  • HF is a controlled determinant baseline, not a correlated final answer.
  • Practical DFT accuracy is functional- and problem-dependent; functional categories are not a universal convergence sequence.
  • FCI is exact only in a declared finite orbital space and Hamiltonian.
  • CC is powerful for suitable single-reference states but is nonvariational when truncated and can fail near degeneracy.
  • Multireference calculations move the central judgment to active-space and state-balance design.
  • QMC error bars quantify sampling precision, while nodes, time steps, finite size, and pseudopotentials require separate checks.
  • Time-dependent and excited-state methods must be matched to state character and to the requested observable.
  • Trust comes from multidimensional convergence, diagnostics interpreted in context, independent validation, and complete provenance.
  1. T. Helgaker, P. Jørgensen, and J. Olsen, Molecular Electronic-Structure Theory, Wiley (2000), doi:10.1002/9781119019572.
  2. A. Szabo and N. S. Ostlund, Modern Quantum Chemistry: Introduction to Advanced Electronic Structure Theory, Dover (1996).
  3. I. Shavitt and R. J. Bartlett, Many-Body Methods in Chemistry and Physics: MBPT and Coupled-Cluster Theory, Cambridge University Press (2009), doi:10.1017/CBO9780511596834.
  4. F. Jensen, Introduction to Computational Chemistry, 3rd ed., Wiley (2017).
  5. C. C. J. Roothaan, “New Developments in Molecular Orbital Theory,” Reviews of Modern Physics 23, 69–89 (1951), doi:10.1103/RevModPhys.23.69.
  6. P. Hohenberg and W. Kohn, “Inhomogeneous Electron Gas,” Physical Review 136, B864–B871 (1964), doi:10.1103/PhysRev.136.B864.
  7. W. Kohn and L. J. Sham, “Self-Consistent Equations Including Exchange and Correlation Effects,” Physical Review 140, A1133–A1138 (1965), doi:10.1103/PhysRev.140.A1133.
  8. A. J. Cohen, P. Mori-Sánchez, and W. Yang, “Challenges for Density Functional Theory,” Chemical Reviews 112, 289–320 (2012), doi:10.1021/cr200107z.
  9. R. J. Bartlett and M. Musiał, “Coupled-Cluster Theory in Quantum Chemistry,” Reviews of Modern Physics 79, 291–352 (2007), doi:10.1103/RevModPhys.79.291.
  10. T. J. Lee and P. R. Taylor, “A Diagnostic for Determining the Quality of Single-Reference Electron Correlation Methods,” International Journal of Quantum Chemistry 36, 199–207 (1989), doi:10.1002/qua.560360824.
  11. B. O. Roos, P. R. Taylor, and P. E. M. Siegbahn, “A Complete Active Space SCF Method Using a Density Matrix Formulated Super-CI Approach,” Chemical Physics 48, 157–173 (1980), doi:10.1016/0301-0104(80)80045-0.
  12. K. Andersson, P.-Å. Malmqvist, and B. O. Roos, “Second-Order Perturbation Theory with a Complete Active Space Self-Consistent Field Reference Function,” Journal of Chemical Physics 96, 1218–1226 (1992), doi:10.1063/1.462209.
  13. T. H. Dunning Jr., “Gaussian Basis Sets for Use in Correlated Molecular Calculations. I,” Journal of Chemical Physics 90, 1007–1023 (1989), doi:10.1063/1.456153.
  14. S. F. Boys and F. Bernardi, “The Calculation of Small Molecular Interactions by the Differences of Separate Total Energies. Some Procedures with Reduced Errors,” Molecular Physics 19, 553–566 (1970), doi:10.1080/00268977000101561.
  15. W. M. C. Foulkes, L. Mitas, R. J. Needs, and G. Rajagopal, “Quantum Monte Carlo Simulations of Solids,” Reviews of Modern Physics 73, 33–83 (2001), doi:10.1103/RevModPhys.73.33.
  16. B. M. Austin, D. Y. Zubarev, and W. A. Lester Jr., “Quantum Monte Carlo and Related Approaches,” Chemical Reviews 112, 263–288 (2012), doi:10.1021/cr2001564.
  17. E. Runge and E. K. U. Gross, “Density-Functional Theory for Time-Dependent Systems,” Physical Review Letters 52, 997–1000 (1984), doi:10.1103/PhysRevLett.52.997.
  18. M. E. Casida, “Time-Dependent Density Functional Response Theory of Molecular Systems: Theory, Computational Methods, and Functionals,” in Recent Developments and Applications of Modern Density Functional Theory, Elsevier (1996), pp. 391–439, doi:10.1016/S1380-7323(96)80093-8.
  19. J. F. Stanton and R. J. Bartlett, “The Equation of Motion Coupled-Cluster Method. A Systematic Biorthogonal Approach to Molecular Excitation Energies, Transition Probabilities, and Excited State Properties,” Journal of Chemical Physics 98, 7029–7039 (1993), doi:10.1063/1.464746.
  20. M. Schreiber, M. R. Silva-Junior, S. P. A. Sauer, and W. Thiel, “Benchmarks for Electronically Excited States: CASPT2, CC2, CCSD, and CC3,” Journal of Chemical Physics 128, 134110 (2008), doi:10.1063/1.2889385.
  21. R. D. Johnson III, editor, NIST Computational Chemistry Comparison and Benchmark Database, Standard Reference Database 101, release 22 (2022), doi:10.18434/T47C7Z.

Use this page to design a method and validation plan, then use Electronic Structure Overview for the formal ansätze. The planned Reproducibility Benchmarks page will extend the chapter-wide evidence protocol after its route exists.