Electronic Structure Overview
Molecular electronic structure is the quantum problem of determining electronic states and observables for specified nuclear positions, charges, particle number, spin sector, and Hamiltonian. An electronic-structure calculation is therefore not identified by one method name. It is a compound model:
The plus signs are an organizational ledger, not a claim that the approximations are independent or perturbatively additive.
Each term carries assumptions. “CCSD(T)/cc-pVTZ,” “B3LYP,” or “CASSCF(8,8)” is useful shorthand only after the geometry, charge, multiplicity, frozen-core choice, relativistic treatment, state target, thresholds, and observable definition are known.
Three distinctions organize this page:
- basis-set error is not electron-correlation error;
- dynamic correlation around one dominant reference is not the same problem as near-degeneracy correlation among several essential configurations;
- a method that gives a good total energy need not give reliable densities, energy differences, response properties, or excited states.
Canonical Scope
Section titled “Canonical Scope”This page is the canonical molecular method-selection map for:
- the fixed-nuclei electronic Schrödinger equation;
- finite orbital representations and basis-set diagnostics;
- the conceptual relations among Hartree–Fock, configuration interaction, coupled cluster, density-functional theory, and multireference methods;
- ground-state and excited-state method choice;
- accuracy, cost, interpretation, and reproducible validation.
It does not reproduce full generic derivations. Hartree–Fock Approximation owns the determinant variation, Fock operator, Roothaan–Hall equations, and stability analysis. Molecular Orbitals owns LCAO mixing, bonding and antibonding labels, orbital energies, localization, and frontier-orbital interpretation. Atomic Correlation Methods Overview owns the corresponding method-selection map for atoms.
Detailed integral algorithms, self-consistent-field accelerators, sparse linear algebra, local-correlation implementations, analytic derivatives, software input, and production workflow belong to Computational Quantum Mechanics. Here the goal is to know what physical approximation a calculation makes, when it can fail, and what evidence can validate it.
Electronic Schrödinger Equation
Section titled “Electronic Schrödinger Equation”Fixed nuclei and atomic units
Section titled “Fixed nuclei and atomic units”For nuclei at positions with charges , the standard nonrelativistic, field-free, clamped-nuclei electronic Hamiltonian is, in atomic units,
where
For a fixed geometry, is a scalar. Some authors omit it from the electronic eigenvalue and restore it when defining a potential-energy surface. A reported energy is ambiguous unless this convention is stated.
The eigenproblem is
with combining spatial and spin variables. Fermionic states are antisymmetric:
The geometry-dependent eigenvalues are adiabatic electronic surfaces only within the declared Hamiltonian and electronic-channel construction. Nuclear motion, nonadiabatic coupling, spin–orbit interaction, relativity, radiative effects, and environmental terms require additional layers.
Symmetry sectors are part of the problem
Section titled “Symmetry sectors are part of the problem”The lowest eigenvalue without qualifications is not always the desired state. A calculation may target a fixed:
- particle number and charge;
- spin projection or total spin ;
- point-group irreducible representation;
- spatial parity or other exact symmetry;
- adiabatic root or diabatic character;
- metastable or ionized sector.
If a state changes character along a geometry path, following “root 2” by energy order can silently switch the physical state. Overlaps, transition properties, densities, and symmetry labels are often needed for state tracking.
Second-quantized form
Section titled “Second-quantized form”Choose orthonormal spin-orbitals . The same Hamiltonian becomes
where contains kinetic and electron–nuclear attraction integrals, while
is an antisymmetrized two-electron integral. This representation separates two choices:
- the finite one-particle space that defines the available orbitals;
- the many-electron ansatz built inside its fermionic Fock-space sector.
Many-Particle Hamiltonians owns the operator derivation. The present page uses it to compare electronic-state models.
Exact in which sense?
Section titled “Exact in which sense?”“Exact” must always be completed by a qualifier.
- Full configuration interaction is exact diagonalization within a specified finite orbital space and Hamiltonian.
- Complete-basis nonrelativistic energy refers to the limit of the chosen nonrelativistic Hamiltonian.
- Agreement with experiment may additionally require nuclear motion, relativity, quantum electrodynamics, finite nuclear size, temperature, and environmental corrections.
No finite-basis FCI calculation is automatically the exact molecular prediction.
Define the Target Before Choosing a Method
Section titled “Define the Target Before Choosing a Method”Method selection begins with an observable, not a favorite acronym.
State and property
Section titled “State and property”Different targets probe different parts of the wavefunction or density:
- equilibrium structures depend on energy gradients;
- harmonic frequencies depend on Hessian curvature;
- reaction energies demand balanced descriptions of reactants and products;
- barriers probe transition structures and sometimes changing reference character;
- dipole moments probe the density;
- polarizabilities and spectra probe response;
- ionization energies compare particle-number sectors;
- excited-state lifetimes require transition moments and state mixing;
- conical-intersection dynamics requires several coupled surfaces and derivative information.
A method can benefit from cancellation of error for one energy difference while giving a poor density or response function.
Geometry and nuclear model
Section titled “Geometry and nuclear model”An electronic energy at one geometry is not a thermochemical observable. Depending on the comparison, one may also need
as well as isotope, spin–orbit, relativistic, or environmental terms. These contributions answer different questions and should not be hidden inside one unexplained “correction.”
A useful error ledger
Section titled “A useful error ledger”For an observable , organize the discrepancy schematically as
The terms need not be statistically independent or strictly additive. The ledger is a diagnostic discipline: changing a basis cannot repair the wrong electronic state, and tightening an SCF threshold cannot recover missing multireference physics.
Basis Sets
Section titled “Basis Sets”Finite orbital expansion
Section titled “Finite orbital expansion”Molecular orbitals are commonly expanded in atom-centered spatial functions:
For a nonorthogonal basis, the overlap matrix is
and orbital equations take the generalized form
The overlap is a metric, not a small nuisance. Near-linear dependence makes ill-conditioned and can amplify numerical noise even when the nominal basis is large.
What basis functions must represent
Section titled “What basis functions must represent”A molecular orbital basis must resolve several length and angular scales:
- tight core behavior near nuclei;
- valence bonding and lone pairs;
- angular polarization induced by molecular environments;
- diffuse tails in anions, Rydberg states, polarizabilities, and weak binding;
- short-range pair correlation, which converges slowly in orbital angular momentum.
These needs motivate basis descriptors:
- split valence provides more radial flexibility in the valence region;
- polarization functions add higher angular momenta;
- diffuse functions add small exponents and long tails;
- core–valence sets correlate core and valence electrons together;
- relativistic bases or effective core potentials pair the representation with a chosen relativistic/core model.
A larger cardinal label is not enough if the basis family is unsuited to the observable.
Gaussian efficiency and cusp limitations
Section titled “Gaussian efficiency and cusp limitations”Gaussian primitives have the form
Products of Gaussians remain Gaussian-centered, which makes molecular integrals tractable. A single Gaussian does not have the exact nuclear cusp or exponential asymptotic tail, so contracted combinations trade compactness against faithful local and long-range behavior.
The electron–electron cusp is a harder many-electron feature. Ordinary orbital expansions approach it only through increasingly high angular momentum, which is one reason correlation energies converge more slowly than Hartree–Fock energies.
Correlation-consistent convergence
Section titled “Correlation-consistent convergence”Correlation-consistent families organize basis enlargement through a cardinal number . For suitable smooth energy sequences, one often models
while the Hartree–Fock part is frequently extrapolated with a faster empirical form. These are asymptotic models, not identities. Extrapolation is credible only when adjacent cardinal levels behave regularly and the same Hamiltonian, geometry, core treatment, and thresholds are retained.
Basis-set superposition error
Section titled “Basis-set superposition error”For a dimer , each monomer can borrow basis functions from the other center. The raw interaction energy
then mixes interaction physics with unequal one-particle flexibility. The counterpoise expression evaluates all three terms in the dimer basis:
Superscripts label the basis used, including ghost functions. Counterpoise is a diagnostic and correction convention, not a proof that the remaining interaction energy is exact.
Representation checks
Section titled “Representation checks”A basis study should vary the physically relevant axes:
- cardinal size;
- diffuse augmentation;
- core correlation;
- frozen-core versus all-electron treatment;
- effective-core-potential or relativistic Hamiltonian;
- linear-dependence threshold;
- numerical quadrature for DFT;
- auxiliary basis or density-fitting threshold when used.
Changing several axes at once prevents attribution of the observed shift.
An electronic-structure method is chosen after the Hamiltonian, finite representation, target state, and observable are declared. The branches organize reference character and target type; they are not a universal accuracy ranking. Every route ends in separate representation, method, state-character, and property validation.
Hartree–Fock
Section titled “Hartree–Fock”One optimized determinant
Section titled “One optimized determinant”Hartree–Fock restricts the normalized trial state to one Slater determinant:
The orbitals are varied to make
For the same Hamiltonian and complete one-particle space,
This upper-bound statement applies to the optimized total energy. It does not make every orbital energy, density-derived property, or energy difference an upper bound.
What the reference captures
Section titled “What the reference captures”The determinant enforces fermionic antisymmetry and therefore contains exchange exactly within the chosen orbital space. Its orbitals relax self-consistently in the mean field of the others. Hartree–Fock often supplies:
- a useful closed-shell equilibrium reference;
- occupied and virtual orbital subspaces;
- a zeroth-order state for perturbation, CI, and coupled cluster;
- qualitative charge, symmetry, and bonding information;
- a diagnostic baseline for correlation.
It does not omit electron–electron repulsion. It replaces the fully correlated many-electron response by the best state within the one-determinant manifold.
Restricted, unrestricted, and generalized forms
Section titled “Restricted, unrestricted, and generalized forms”Restricted closed-shell Hartree–Fock pairs and electrons in the same spatial orbitals. Unrestricted Hartree–Fock permits different spatial orbitals for the two spin projections. Generalized Hartree–Fock permits still broader spinor mixing.
Relaxing a restriction can lower the variational energy, but the resulting state may no longer be an eigenstate of . Broken symmetry can be a useful mean-field diagnostic; it is not automatically a faithful spin-pure wavefunction.
Characteristic failure modes
Section titled “Characteristic failure modes”One determinant is least reliable when:
- bonds are stretched toward competing covalent structures;
- several orbital occupations become nearly degenerate;
- low-spin transition-metal states compete;
- open shells require several spin couplings;
- dispersion or short-range pair correlation controls an energy difference;
- an excited state is not adiabatically connected to the ground-state determinant.
SCF convergence only means that a stationary solution was found. Stability analysis and alternative initial guesses are needed to test whether it is the intended minimum.
Configuration Interaction
Section titled “Configuration Interaction”Linear expansion in determinants
Section titled “Linear expansion in determinants”Configuration interaction expands the state in determinants or symmetry-adapted configuration-state functions:
In a fixed finite orbital space, diagonalizing the Hamiltonian over every determinant in the selected symmetry sector gives full CI:
FCI is variational and invariant under any unitary change of orbital basis within the same finite one-particle space. Its dimension grows combinatorially. For spatial orbitals and fixed ,
This rapid growth makes FCI a benchmark for small systems and spaces, not a general molecular algorithm.
Excitation-rank truncation
Section titled “Excitation-rank truncation”Starting from a reference determinant,
retains single and double substitutions. CISD is variational within its selected space, but the missing disconnected higher excitations make it not size extensive.
For two noninteracting fragments, a double excitation on each fragment is a quadruple excitation relative to the product reference. A fragmentwise CISD product contains that term; supermolecular CISD does not. The error therefore grows improperly with the number of separated fragments.
Two related criteria should be distinguished:
at infinite separation is size consistency, while proportional scaling of the energy with the number of identical noninteracting replicas is size extensivity. Usage is not perfectly uniform across the literature. Ordinary excitation-rank-truncated CI violates the disconnected-product structure behind both criteria.
Where CI remains useful
Section titled “Where CI remains useful”CI is valuable when:
- a compact determinant space has direct interpretive value;
- several low-lying roots are needed from one Hermitian eigenproblem;
- selected-CI or active-space strategies identify important configurations;
- FCI-quality benchmarks are possible;
- transition moments benefit from straightforward left and right eigenvectors of the same Hermitian matrix.
Coefficients depend on orbital choice and normalization conventions. A small coefficient does not prove that a configuration is physically irrelevant, especially when many individually small terms contribute collectively.
Coupled Cluster
Section titled “Coupled Cluster”Exponential ansatz
Section titled “Exponential ansatz”Single-reference coupled cluster writes
Even if is truncated, the exponential generates disconnected products. For example,
so simultaneous double excitations on separated fragments appear through . This factorization is the structural reason truncated coupled-cluster energies can be size extensive under the usual separated-fragment conditions.
Projected nonlinear equations
Section titled “Projected nonlinear equations”Define the similarity-transformed Hamiltonian
The energy and amplitudes satisfy projected equations such as
and
for the included excitation manifold. Because is generally non-Hermitian, the energy is not a variational upper bound.
Practical hierarchy
Section titled “Practical hierarchy”Common single-reference levels include:
- CCSD: singles and doubles amplitudes;
- CCSD(T): a perturbative estimate of connected triples added to CCSD;
- CCSDT and beyond: iterative higher excitations at steep cost;
- EOM-CC or linear-response CC: excitation, ionization, attachment, and response sectors built around a coupled-cluster reference.
For dense canonical-orbital textbook implementations, representative formal costs are
when occupied and virtual dimensions grow together. Memory, prefactors, integral transformations, locality, sparsity, and target properties can dominate real cost. Scaling exponents are not portable timing predictions.
Strengths and cautions
Section titled “Strengths and cautions”Coupled cluster is often highly accurate for energy differences around a stable single-reference state. Its advantages do not make it black-box exact:
- nonvariational energies can lie below the exact finite-basis energy;
- multiple nonlinear solutions can exist;
- large amplitudes or unstable references signal possible breakdown;
- stretched bonds and near-degeneracies can require high excitation ranks;
- analytic properties require a Lagrangian or response construction, not only the right-hand state;
- basis-set and Hamiltonian errors remain.
Agreement between CCSD and CCSD(T) is useful evidence, not a universal proof of convergence.
Density-Functional Theory
Section titled “Density-Functional Theory”Ground-state density as the basic variable
Section titled “Ground-state density as the basic variable”For a fixed external potential and nondegenerate ground state, the Hohenberg–Kohn framework establishes that the ground-state density determines the external potential up to an additive constant and that the exact energy is obtained by minimizing a density functional:
Kohn–Sham DFT introduces a noninteracting reference system with the same ground-state density. Its energy decomposition is
The orbitals satisfy
with
for a closed-shell-like notation adjusted as needed for spin and occupations.
Exact framework, approximate functional
Section titled “Exact framework, approximate functional”The exact functional is unknown for general molecular systems. Practical DFT is therefore labeled by the exchange–correlation approximation and other choices:
- local-density approximations;
- generalized-gradient approximations;
- meta-GGAs with additional local ingredients;
- global or range-separated hybrids with nonlocal exchange;
- double hybrids with perturbative correlation;
- dispersion corrections or nonlocal correlation models.
Two calculations called “DFT” can make materially different approximations. Functional names are part of the physical model, not implementation decoration.
What Kohn–Sham orbitals mean
Section titled “What Kohn–Sham orbitals mean”Kohn–Sham orbitals reproduce the density of an auxiliary noninteracting system. They are not generally electron removal or addition states. For the exact functional, the highest occupied eigenvalue has a special ionization relation under appropriate conditions, but the entire orbital spectrum is not a measured excitation spectrum.
The fundamental gap obeys the exact bookkeeping relation
where is the derivative discontinuity. Approximate functionals can additionally suffer density-driven and functional-driven errors.
Characteristic molecular failures
Section titled “Characteristic molecular failures”The severity depends on the functional and target, but recurring risks include:
- self-interaction and delocalization error;
- poor long-range charge transfer without suitable asymptotics;
- fractional-charge and fractional-spin errors;
- missing or double-counted dispersion;
- strong dependence on spin state and symmetry breaking;
- multireference bond dissociation;
- functional-specific barrier, thermochemistry, and response errors;
- grid and integration sensitivity for some functionals.
Benchmark performance is domain dependent. A functional validated for main-group equilibrium thermochemistry is not thereby validated for transition-metal spin gaps, Rydberg excitations, or bond cleavage.
Multireference Methods
Section titled “Multireference Methods”When one determinant is not enough
Section titled “When one determinant is not enough”A wavefunction has multireference character when several configurations are essential at zeroth order. Typical causes include:
- homolytic bond breaking;
- avoided crossings and conical-intersection regions;
- open-shell singlets;
- transition-metal valence manifolds;
- diradicals and polyradicals;
- nearly degenerate valence and Rydberg configurations;
- several states that must remain balanced along a geometry path.
This is often called static, strong, or near-degeneracy correlation. Terminology varies, but the operational issue is stable: perturbing around one determinant becomes poorly conditioned because important configurations are too close in energy.
Active-space construction
Section titled “Active-space construction”Complete-active-space self-consistent field partitions orbitals into:
- inactive orbitals, constrained to be doubly occupied;
- active orbitals, whose occupations are distributed in a complete CI expansion;
- external orbitals, unoccupied in the reference expansion.
The state is
while both and orbital rotations are optimized. A notation such as CAS declares the number of active electrons and active spatial orbitals.
CASSCF captures the principal configurational rearrangements inside the chosen active space. It does not recover all dynamic correlation outside that space.
Choosing an active space
Section titled “Choosing an active space”The active orbitals should follow the physical process:
- include bonding and antibonding partners for a breaking bond;
- include nearly degenerate open-shell orbitals;
- include the orbitals needed to describe all targeted states consistently;
- preserve chemically and symmetry-related partners;
- inspect occupations, entropies, and orbital character across the entire geometry path.
An active space chosen from one equilibrium geometry can become unbalanced elsewhere. State-averaged optimization can maintain a common orbital description for several roots, but the weights are additional modeling choices.
Recovering dynamic correlation
Section titled “Recovering dynamic correlation”Common extensions include:
- multireference perturbation theories such as CASPT2 or NEVPT2;
- multireference configuration interaction;
- internally contracted variants;
- selected-CI, DMRG, or other active-space solvers for larger spaces;
- multistate effective-Hamiltonian treatments near interacting roots.
These methods differ in size consistency, intruder-state behavior, contraction, invariance, zeroth-order Hamiltonian, and state-coupling conventions. “CASSCF plus second order” is not a complete reproducibility statement.
Diagnostics are evidence, not verdicts
Section titled “Diagnostics are evidence, not verdicts”Natural-orbital occupations far from or , large coupled-cluster amplitudes, small orbital gaps, unstable Hartree–Fock solutions, and strong method dependence can all signal multireference character. No universal scalar threshold classifies every molecule and property. The decisive test is whether a balanced state model converges the target observable across relevant geometries and states.
Excited States
Section titled “Excited States”Specify the energy being compared
Section titled “Specify the energy being compared”At a ground-state geometry , a vertical excitation energy is
An adiabatic excitation energy compares relaxed minima:
An experimental band maximum, – energy, onset, or photoelectron peak can differ from both because of zero-point motion, vibronic structure, temperature, lifetime, and environment.
Method families for excited states
Section titled “Method families for excited states”Different constructions answer different excited-state questions:
- CIS supplies a simple single-excitation model but lacks ground-state correlation and doubles-dominated states.
- TDDFT linear response is often efficient for many valence excitations, with accuracy controlled by the functional, kernel, state character, and reference; standard adiabatic kernels do not describe genuine double-excitation character reliably.
- EOM-CC and linear-response CC provide systematic single-reference excited, ionized, or electron-attached sectors.
- SCF optimizes an excited occupancy directly but requires careful state tracking and symmetry control.
- state-averaged CASSCF and multistate correlation methods treat several interacting configurations and surfaces on a common footing.
No method is selected by excitation energy alone. Valence, Rydberg, charge-transfer, double-excitation, core-excited, spin-flip, and ionized states place different demands on basis functions and ansätze.
Intensities and state character
Section titled “Intensities and state character”An excitation energy does not determine whether a transition is visible. In the electric-dipole approximation, an oscillator strength is proportional to an energy gap times a transition moment:
State symmetry, spin, polarization, vibronic coupling, and the quality of left and right response states matter. Comparing only energies can miss a qualitatively wrong assignment.
Oscillator Strengths gives the normalized electronic and vibronic definitions, polarization and degeneracy averages, sum rules, and absorption-area conventions.
Intersections and changing character
Section titled “Intersections and changing character”Near an avoided crossing or conical intersection, several states must be represented with balanced accuracy. A state-specific method can become discontinuous or swap character. Smooth energies alone do not guarantee smooth wavefunctions, derivative couplings, or observables. Nonadiabatic Coupling develops that coupled-surface dynamics problem. Conical Intersections owns exact-degeneracy geometry, branching-plane tests, seam optimization, and MECI interpretation.
Accuracy, Cost, and Interpretation
Section titled “Accuracy, Cost, and Interpretation”Typical dense-algebra costs
Section titled “Typical dense-algebra costs”Formal scaling is useful for orientation when its variables and implementation class are stated. With a generic orbital dimension :
- Hartree–Fock and hybrid-exchange formation are often associated with quartic integral structure, though modern algorithms vary widely;
- semilocal Kohn–Sham DFT adds numerical quadrature and is often lower cost than correlated wavefunction methods;
- MP2 is conventionally ;
- CISD and CCSD are conventionally ;
- perturbative triples in CCSD(T) are conventionally ;
- FCI and complete active-space dimensions grow combinatorially.
These labels omit prefactors, memory, disk traffic, derivative order, number of states, basis diffuseness, symmetry, locality, parallel efficiency, and integral approximations. A nominally lower-scaling method can be slower for the system and property at hand.
Method profiles
Section titled “Method profiles”Hartree–Fock
- State model: one optimized determinant.
- Strong use: reference orbitals, qualitative exchange, stable closed-shell baselines.
- Main warning: missing dynamic correlation and failing near degeneracy.
Truncated CI
- State model: linear selected excitation space.
- Strong use: interpretable roots and finite-space variational energies.
- Main warning: ordinary excitation-rank truncations are not size extensive.
Single-reference coupled cluster
- State model: exponential excitations from one determinant.
- Strong use: high-accuracy equilibrium energetics when the reference is stable.
- Main warning: nonvariational and vulnerable to strong multireference character.
Kohn–Sham DFT
- State model: approximate density functional represented by auxiliary orbitals.
- Strong use: broad molecular sizes, structures, densities, and screening.
- Main warning: functional- and domain-dependent errors; orbital eigenvalues require care.
CASSCF and multireference extensions
- State model: optimized orbitals plus several essential configurations.
- Strong use: bond breaking, interacting states, open-shell manifolds.
- Main warning: active-space dependence and incomplete dynamic correlation.
Convergence is multidimensional
Section titled “Convergence is multidimensional”A credible result varies one approximation axis at a time.
- Numerical convergence: SCF residuals, integral thresholds, grids, geometry gradients.
- Representation convergence: basis cardinality, augmentation, core treatment.
- Correlation convergence: excitation rank, active space, perturbative correction.
- State convergence: root tracking, symmetry, spin purity, state averaging.
- Hamiltonian convergence: scalar relativity, spin–orbit coupling, finite mass, environment.
- Observable convergence: analytic response versus finite difference, origin and gauge checks where relevant.
A single large calculation does not replace a convergence sequence.
Energy differences need balanced errors
Section titled “Energy differences need balanced errors”For a reaction
the electronic reaction energy is
Accuracy depends on correlated cancellation among all species. Use the same Hamiltonian, compatible basis strategy, state definitions, and convergence thresholds. Isodesmic or homodesmotic reactions can improve cancellation, but they change the thermochemical cycle rather than making the underlying electronic energies exact.
Interpret invariant quantities first
Section titled “Interpret invariant quantities first”Total energies, densities, expectation values, transition amplitudes, and properly defined reduced density matrices are state-level objects. Canonical orbitals and individual CI coefficients can change under allowed orbital rotations. Localized orbitals, charges, bond orders, and energy decompositions depend on additional definitions.
Interpretation is strongest when:
- the quantity is invariant under irrelevant basis rotations;
- its operator or partition is stated;
- multiple complementary diagnostics agree;
- the conclusion survives reasonable method and representation changes.
Reproducibility checklist
Section titled “Reproducibility checklist”A molecular electronic-structure result should report:
- molecular geometry or geometry source;
- charge, multiplicity, symmetry constraints, and state label;
- electronic Hamiltonian, relativity, effective core potentials, and frozen-core choices;
- orbital and auxiliary bases, including diffuse or core–valence augmentation;
- method, reference type, functional, active space, and state-averaging weights;
- convergence thresholds, integration grid, and stability checks;
- property definition and whether it is vertical, adiabatic, relaxed, or response-based;
- software and version when numerical details matter;
- basis, method, and state-character convergence evidence;
- comparison data with uncertainty and matched physical conditions.
The NIST Computational Chemistry Comparison and Benchmark Database is one useful source of paired gas-phase experimental and calculated data. Its coverage and property definitions still have to match the question being asked.
Worked Example: H₂ Dissociation
Section titled “Worked Example: H₂ Dissociation”The minimal-basis hydrogen molecule exposes the boundary between dynamic and static correlation.
Bonding reference near equilibrium
Section titled “Bonding reference near equilibrium”Ignoring overlap for the limiting argument, define normalized atomic orbitals and and molecular orbitals
The spatial products below are understood to multiply the normalized singlet spin function.
Near equilibrium, the closed-shell configuration
is dominant. Correlation methods built around that determinant can efficiently improve the energy.
Ionic contamination at large separation
Section titled “Ionic contamination at large separation”Its spatial product is
The middle terms are covalent: one electron lies on each atom. The first and last are ionic. At dissociation, a spin-singlet neutral molecule should approach the covalent Heitler–London combination, but restricted Hartree–Fock retains equal ionic weight.
A second configuration repairs the limit
Section titled “A second configuration repairs the limit”The antibonding pair has
Therefore
as the overlap vanishes. The ionic terms cancel. Both configurations become equally important, so the problem is multireference even in this tiny basis.
What different methods do
Section titled “What different methods do”- Restricted Hartree–Fock preserves spin and spatial symmetry but dissociates incorrectly.
- Unrestricted Hartree–Fock can lower the energy by localizing opposite spins, but the determinant breaks spin symmetry.
- Finite-order single-reference perturbation and coupled-cluster methods become stressed as the orbital gap closes.
- Minimal-space FCI or CASSCF contains both configurations and gives the correct qualitative singlet dissociation.
- Dynamic correlation and basis completeness remain separate corrections after the two-configuration structure is repaired.
Hydrogen Molecule owns the broader molecular derivation and bonding physics. Here the example diagnoses method choice.
A Practical Method-Selection Workflow
Section titled “A Practical Method-Selection Workflow”1. Declare the target
Section titled “1. Declare the target”State the geometry range, charge, spin, symmetry, state, observable, and desired uncertainty. “Find the electronic structure” is not a sufficiently bounded task.
2. Choose the Hamiltonian
Section titled “2. Choose the Hamiltonian”Decide whether the nonrelativistic Born–Oppenheimer electronic Hamiltonian is adequate. Add scalar relativity, spin–orbit coupling, external fields, embedding, or environmental terms only with a declared convention.
3. Design the representation
Section titled “3. Design the representation”Choose basis functions for the property: polarization for bonding response, diffuse functions for tails, core–valence flexibility for core correlation, and compatible relativistic or effective-core models where needed.
4. Diagnose reference character
Section titled “4. Diagnose reference character”Inspect orbital occupations and gaps, alternative SCF solutions, spin contamination, coupled-cluster amplitudes where available, and behavior along the full geometry path. Do not diagnose only at the easiest geometry.
5. Match the method to the state
Section titled “5. Match the method to the state”- Stable single-reference ground state: test HF-based correlation or an appropriately benchmarked functional.
- Large-system density or structure screening: test a functional family suited to the domain.
- Bond breaking or competing configurations: use a balanced multireference model.
- Excited state: match the method to valence, Rydberg, charge-transfer, double-excitation, ionized, or core character.
6. Converge independent axes
Section titled “6. Converge independent axes”Run at least one meaningful basis sequence and one meaningful method or active-space sequence. Tighten numerical thresholds beyond the target uncertainty.
7. Validate without tuning to one answer
Section titled “7. Validate without tuning to one answer”Compare several observables or benchmark classes, not only the number used to choose the method. Preserve a distinction between calibration data and a genuine prediction test.
Common Mistakes
Section titled “Common Mistakes”“A bigger basis is a better method”
Section titled ““A bigger basis is a better method””A basis enlarges the representation. It does not change a one-determinant ansatz into a correlated or multireference state.
“Full CI is exact”
Section titled ““Full CI is exact””FCI is exact only within the stated finite orbital space and Hamiltonian.
“Hartree–Fock neglects electron repulsion”
Section titled ““Hartree–Fock neglects electron repulsion””Hartree–Fock includes direct and exchange effects self-consistently. It misses correlation outside the determinant manifold.
“CCSD(T) is always the gold standard”
Section titled ““CCSD(T) is always the gold standard””It is exceptionally effective for many stable single-reference molecules near equilibrium. Strong near-degeneracy, difficult excited states, heavy-element Hamiltonians, and property-specific demands can invalidate the slogan.
“DFT is one method”
Section titled ““DFT is one method””Practical predictions depend on the exchange–correlation approximation, density, basis, grid, dispersion model, spin treatment, and property formalism.
“Kohn–Sham orbital gaps are excitation energies”
Section titled ““Kohn–Sham orbital gaps are excitation energies””The auxiliary eigenvalue gap omits the derivative discontinuity in the exact ground-state relation and does not generally equal a neutral optical excitation.
“CASSCF includes all correlation”
Section titled ““CASSCF includes all correlation””CASSCF treats complete configuration interaction only inside the chosen active space while optimizing orbitals. Most external dynamic correlation remains.
“A converged root is the intended state”
Section titled ““A converged root is the intended state””SCF and excited-state solvers can converge to unintended stationary points or swap root character.
“Agreement with experiment validates the electronic method”
Section titled ““Agreement with experiment validates the electronic method””Cancellation among electronic, basis, geometry, nuclear-motion, relativistic, environmental, and experimental effects can produce agreement for the wrong reason.
“Formal scaling determines actual feasibility”
Section titled ““Formal scaling determines actual feasibility””Memory, prefactors, sparsity, number of states, derivative order, hardware, and implementation alter the crossover.
Exercises
Section titled “Exercises”Exercise 1: Count a finite CI sector
Section titled “Exercise 1: Count a finite CI sector”A calculation uses spatial orbitals with . How many Slater determinants lie in this fixed- sector before point-group or spin adaptation?
Solution
Choose the occupied spatial orbitals independently for the and strings:
This is not the number of spin-adapted configuration-state functions, and it is smaller than an unrestricted count over all sectors. The example shows how symmetry-sector declarations affect the many-electron dimension.
Exercise 2: Remove the overlap metric
Section titled “Exercise 2: Remove the overlap metric”Suppose is positive definite and
Show how symmetric orthogonalization turns this into an ordinary Hermitian eigenproblem.
Solution
Diagonalize the overlap:
and define
Write and left-multiply by . Since
one obtains
Small eigenvalues of make large, explaining the numerical danger of near-linear dependence.
Exercise 3: Separate variational and basis statements
Section titled “Exercise 3: Separate variational and basis statements”Two FCI calculations use nested one-particle spaces for the same Hamiltonian and symmetry sector. What can be concluded about their ground-state energies? What cannot be concluded about a dipole moment?
Solution
Every determinant available in is also available in , so the Rayleigh–Ritz variational spaces are nested:
Both remain upper bounds to the exact ground-state energy of the declared Hamiltonian.
A dipole expectation value has no analogous one-sided variational bound. It may approach its complete-basis value nonmonotonically even while the energy decreases monotonically.
Exercise 4: Repair the H₂ dissociation limit
Section titled “Exercise 4: Repair the H₂ dissociation limit”Using
show which linear combination of and removes the ionic and terms.
Solution
Expanding the two products gives equal ionic terms and opposite covalent terms. Their difference is
After normalization at vanishing overlap,
The need for two equally weighted configurations is the minimal signature of static correlation in the stretched singlet.
Exercise 5: Why CISD is not size extensive
Section titled “Exercise 5: Why CISD is not size extensive”Fragments and do not interact. Each has an important double-excitation operator, or . Explain why the product of fragment CISD states contains a term absent from supermolecular CISD, and why an exponential doubles ansatz can contain it.
Solution
The fragment product contains
Expanding gives
The final term is a quadruple excitation relative to the product reference, so a supermolecular CISD truncation omits it.
For coupled cluster,
because operators on separated fragments commute. The exponential therefore generates the disconnected product through its quadratic and higher terms.
Exercise 6: Evaluate a counterpoise correction
Section titled “Exercise 6: Evaluate a counterpoise correction”For a dimer, suppose
while . Compute the raw and counterpoise interaction energies.
Solution
The raw value is
The counterpoise value is
Basis borrowing overbinds by in this example. The counterpoise result can still contain correlation, basis-incompleteness, geometry, and Hamiltonian errors.
Exercise 7: Choose state models
Section titled “Exercise 7: Choose state models”Choose a first method family and one decisive validation check for each task:
- an equilibrium closed-shell reaction energy with no near-degeneracy evidence;
- symmetric homolytic bond cleavage;
- a long-range charge-transfer excitation;
- two nearly intersecting excited surfaces.
Solution
- A single-reference hierarchy such as coupled cluster, or a carefully benchmarked functional for larger systems, is reasonable. Check basis and correlation convergence and test reference stability.
- Use an active-space or other multireference description containing bonding and antibonding orbitals. Check natural occupations and correct separated-fragment limits across the full coordinate.
- Use a method with appropriate long-range response, such as a validated range-separated TDDFT approximation or EOM-CC when feasible. Check donor–acceptor separation behavior and diffuse-basis convergence.
- Use a balanced multistate multireference treatment. Check state character, energy-gap topology, and invariance to reasonable state-averaging and active-space changes.
The answers are families, not software recipes. System size, Hamiltonian, and target uncertainty can change the practical choice.
Exercise 8: Fundamental and Kohn–Sham gaps
Section titled “Exercise 8: Fundamental and Kohn–Sham gaps”For a molecule, , , and an exact Kohn–Sham calculation would have
Find the fundamental gap and derivative discontinuity.
Solution
The fundamental gap is
Using
gives
This exact bookkeeping relation does not imply that a practical approximate functional supplies either term exactly.
Key Takeaways
Section titled “Key Takeaways”- An electronic-structure result is defined by Hamiltonian, representation, state model, property model, and numerical realization.
- Basis incompleteness, correlation truncation, multireference character, and missing physical terms are different error axes.
- Hartree–Fock is the best one-determinant state, not a no-interaction model.
- FCI is exact only in a stated finite space; truncated CI is variational but generally not size extensive.
- Coupled cluster gains size-extensive factorization from its exponential ansatz but is nonvariational and reference dependent.
- Kohn–Sham DFT is an exact ground-state framework used with approximate functionals whose domain and density errors must be tested.
- CASSCF balances essential configurations in a chosen active space but leaves much dynamic correlation outside it.
- Excited-state method choice depends on state character, not only the expected excitation energy.
- Trust comes from independent convergence checks, matched benchmarks, and complete provenance rather than a prestigious acronym.
Cross-Links
Section titled “Cross-Links”- Electronic Structure Methods Map turns the formal method families into an operational choice, diagnostics, cost, convergence, and validation workflow.
- Molecular Quantum Mechanics places electronic states in the electronic–vibrational–rotational hierarchy.
- Molecular Hamiltonian derives the all-particle Coulomb operator and center-of-mass separation.
- Born–Oppenheimer in Molecules explains how fixed-geometry electronic eigenvalues become nuclear potential surfaces.
- Potential Energy Surfaces owns minima, saddle points, reaction paths, crossings, and surface validation.
- Nonadiabatic Coupling connects balanced multistate electronic structure to derivative couplings, vibronic models, and molecular dynamics.
- Conical Intersections develops seam geometry, branching-plane diagnostics, MECI optimization, and method-specific failure modes.
- Molecular Orbitals owns LCAO construction, orbital labels, occupations, gaps, and interpretation.
- Valence Bond Theory develops localized spin-coupled structures and their relation to MO expansions.
- Hydrogen Molecule develops the two-electron bond and dissociation problem in detail.
- Chemical Bonding compares energetic, density, force, orbital, and spectroscopic bond diagnostics.
- Molecular Symmetry develops point-group sectors, symmetry-adapted orbitals, and state-label diagnostics.
- Exchange and Correlation separates direct interaction, exchange, and correlation concepts.
- Atomic Correlation Methods Overview applies CI, MBPT, coupled cluster, DFT, and QMC to atomic structure.
- Hartree–Fock Approximation owns the general determinant variational derivation.
- Variational Many-Body States compares ansatz families across interacting quantum systems.
- Entanglement in Quantum Chemistry distinguishes correlation energy, orbital entanglement, and basis-dependent mode partitions.
- Oscillator Strengths converts transition moments into electronic and vibronic spectroscopic strengths.
- Electronic Spectroscopy connects calculated states, surfaces, and transition moments to 0–0 origins, vibronic envelopes, and measured absorption bands.
- Quantum Chemistry Roadmap gives the prerequisite and reading sequence.
- Quantum Chemistry References provides a broader annotated bibliography.
- VQE develops the variational quantum workflow for an already specified finite electronic Hamiltonian and keeps algorithmic error distinct from chemistry-model error.
- Simulation of Quantum Chemistry follows a declared molecular model through active-space construction, fermion-to-qubit encoding, state preparation, solver choice, resource accounting, and chemical validation.
- Quantum Chemistry Case Studies compares executed molecular calculations, active-space approximations, phase-estimation demonstrations, and fault-tolerant resource scenarios.
References
Section titled “References”- T. Helgaker, P. Jørgensen, and J. Olsen, Molecular Electronic-Structure Theory, Wiley, 2000 — comprehensive wavefunction theory, basis sets, response, and molecular properties.
- A. Szabo and N. S. Ostlund, Modern Quantum Chemistry: Introduction to Advanced Electronic Structure Theory, Dover, 1996 — standard derivations of Hartree–Fock and post-Hartree–Fock methods.
- I. Shavitt and R. J. Bartlett, Many-Body Methods in Chemistry and Physics, Cambridge University Press, 2009 — MBPT and coupled-cluster formalism.
- F. Jensen, Introduction to Computational Chemistry, 3rd ed., Wiley, 2017 — practical basis, method, property, and validation perspective.
- C. J. Cramer, Essentials of Computational Chemistry, 2nd ed., Wiley, 2004 — model chemistry, thermochemistry, solvation, and interpretation.
- C. C. J. Roothaan, “New Developments in Molecular Orbital Theory,” Reviews of Modern Physics 23, 69–89 (1951) — finite-basis self-consistent-field formulation.
- T. H. Dunning Jr., “Gaussian Basis Sets for Use in Correlated Molecular Calculations. I,” Journal of Chemical Physics 90, 1007–1023 (1989) — correlation-consistent basis construction.
- 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) — counterpoise treatment of basis-set superposition.
- R. J. Bartlett and M. Musiał, “Coupled-Cluster Theory in Quantum Chemistry,” Reviews of Modern Physics 79, 291–352 (2007) — authoritative coupled-cluster review.
- P. Hohenberg and W. Kohn, “Inhomogeneous Electron Gas,” Physical Review 136, B864–B871 (1964) — ground-state density-functional foundations.
- W. Kohn and L. J. Sham, “Self-Consistent Equations Including Exchange and Correlation Effects,” Physical Review 140, A1133–A1138 (1965) — Kohn–Sham construction.
- E. Runge and E. K. U. Gross, “Density-Functional Theory for Time-Dependent Systems,” Physical Review Letters 52, 997–1000 (1984) — time-dependent density-functional foundation.
- 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) — original CASSCF formulation.
- 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) — EOM-CC for excitation energies and properties.
- 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) — comparative excited-state benchmarks.
- R. D. Johnson III, editor, NIST Computational Chemistry Comparison and Benchmark Database, Standard Reference Database 101, release 22 (2022), DOI 10.18434/T47C7Z — gas-phase experimental and computed benchmark data with property-specific comparisons.