Correlation — the series
-
The smallest many-electron calculation
A Hückel energy comes from a model with one electron in it. Add a single term — a cost for two electrons on the same site — and the problem stops being a matrix of size n and becomes a matrix over configurations. Four sites give thirty-six of them, which is small enough to solve exactly, and the answers correct two things the one-electron model got wrong.
-
The hole that is not repulsion
Two electrons in a bond keep out of each other's way, and the obvious reason is that they repel. Setting the repulsion to zero and computing the spin correlation exactly gives −0.125 rather than nothing, and the number is reproduced to nine decimal places by a determinant with no repulsion in it at all.
-
A method that is not additive
Put a molecule next to a copy of itself, far enough away that they do not interact, and the exact energy doubles exactly. A truncated calculation does not — because the truncation forbids both halves being excited at once, which is something the pair can do and neither half can.
-
Two kinds of correlation, and only one is small
Correlation energy is defined as a subtraction, and the definition hides that the thing subtracted is not one thing. In the two-site model the local power of the correlation energy in the interaction falls from two to one — and at every interaction strength it equals, exactly, the occupation of the bonding natural orbital.
-
A third kind of correlation
The two-site model gave an exact identity — the power of the correlation energy in the repulsion equals the occupation of the bonding natural orbital — and asked whether anything like it survives with more orbitals. It does not, and the way it fails is better than the identity was: a ring of four gives a power of one where every closed-shell system gives two, at repulsions fifty times weaker than the hopping, because its reference was never a single state.
-
A mean field cannot get out of the way
The energy a mean field misses grows without limit as the repulsion rises — 27.82 at U = 32 for four electrons on four sites, against an exact energy of −0.2946, so the error is ninety-four times the answer. The rate it grows at is not an energy at all: it is n²/4N, a count of the coincidences a spread-out density cannot avoid.
-
The reference decides the correlation
The correlation energy of one exact state, measured against two references that are both called Hartree–Fock, is −27.82 and −0.107 at the same repulsion — a factor of 259, on a system whose exact energy is a single smooth curve. Below the instability at U = 2 the two agree to the last bit; above it one grows without limit while the other falls, and the reference that reports almost no correlation has ⟨S²⟩ = 1.99 where a singlet is zero.
-
Where the electrons are, without subtracting anything
A correlation energy is an exact energy less a mean-field one, so the answer depends on which mean field was picked — by a factor of 259. The pair distribution says the same thing with no subtraction in it, and two systems matched to the same correlation energy turn out to have electrons in visibly different places.
-
Half of it is given back at one bond
The correlation hole of a ring removes 1.2653 pairs from zero separation and puts 1.1126 of them one site away. With an on-site repulsion that second number costs nothing, because the interaction is zero there — but with anything that reaches a neighbour it costs 44 per cent of what the hole saved, and with a Coulomb tail 46.9.
-
The give-back that turned into a saving
Take a wavefunction optimised for an on-site repulsion, weight its correlation hole with an interaction that reaches one neighbour, and the enhancement at one bond gives back forty-four per cent of the on-site saving. Putting that neighbour term into the Hamiltonian and solving exactly does not shrink the give-back. It reverses its sign.
-
A sign change is not always a zero
The solved give-back changes sign somewhere between a neighbour repulsion of two and one of four, and a bisection looks like the way to find the value where the structure beyond contact contributes exactly nothing. It changes sign twice. One crossing is that value; at the other the quantity the fraction is a fraction of has vanished instead, and a bisection reports the two in identical words.