Series

Basis — the series

16 essays on one idea, from the one that introduces it to the one that assumes the rest.
  1. The wrong shape, fitted as well as it can be. The exact hydrogen 1s orbital and the best sums of one, two, three and six Gaussians, each with its exponents optimised for the energy. Three of them already reproduce the exact function to 99.94 per cent by overlap, which is why the method works at all — and the two places it goes wrong, at the nucleus and far out, are exactly where the other faces of this figure look.

    A Gaussian is the wrong shape

    Sixty years of molecular calculation are built on functions that get the two ends of an orbital wrong. A Gaussian has no cusp at the nucleus and dies too fast far away, and no number of them fixes either — while three of them already reproduce hydrogen's 1s to better than 99.9 per cent by overlap, and that is why the method works.

    part 1 · orbitals
  2. The cost of a ratio decided somewhere else. Four bases containing exactly the same six primitives, differing only in how many of the linear coefficients the calculation may choose. The horizontal axis is the effective nuclear charge, which is this one-electron problem's only knob for a different environment; the contraction was fitted at one. At 1.238 — the exponent H₂⁺ chooses when a bond forms — the fully contracted basis is 0.0283 hartree above what the same six functions could give, and one freed coefficient removes most of it.

    A contraction is a decision made once

    Every published basis set freezes its primitive functions into fixed combinations, on an isolated atom, before any molecule is in sight. Freeing one coefficient recovers three quarters of what that costs — and freeing it at the other end of the basis recovers one per cent.

    part 2 · orbitals
  3. The cliff, and the slope leading to it. The smallest eigenvalue of the overlap matrix, and what an extra function is worth, as that function is brought towards one already in the basis. Both fall together, and the energy stops improving long before the matrix stops being invertible.

    A function that is already there

    Adding a function to a basis set can only lower the energy, so a bigger basis is a better one. What that leaves out is that the same act makes the functions less independent: an optimised basis's smallest overlap eigenvalue halves with every function added, and a function placed on top of one already present buys less than a millionth of what a well-placed one buys while driving that eigenvalue to 4×10⁻¹⁰ — past which the calculation is refused outright.

    part 3 · orbitals
  4. The Compton profile, exact and fitted. The momentum density integrated over the two perpendicular directions, for the exact 1s and for three fitted bases. The exact curve is 8/3π(1 + q²)³ in closed form; the fitted ones are sums of Gaussians and are cusped differently at the origin, which is the position-space cusp showing up as a shape in momentum.

    The measurement a basis was not fitted to

    Six Gaussians reproduce hydrogen's energy to eleven parts in a hundred thousand and its Compton profile to three parts in a thousand — twenty-five times worse, on a quantity an X-ray scattering experiment measures directly. The gap between the two errors widens as the basis is improved, because the energy is the one property a variational fit is best at.

    part 4 · orbitals
  5. One of these is guaranteed to improve, and it is not the one anybody measures. The relative error in the energy and in four properties of the fitted function, against the number of Gaussians. The energy falls at every step, because that is what the variational principle promises. The mean radius is exact for the single-function basis and 332 thousand times worse for the two-function one, and the density at the nucleus is still 6.2 per cent wrong where the energy is wrong by 0.011 per cent.

    The property that gets worse

    One Gaussian fitted to hydrogen gets the mean radius exactly right — 1.500000, against an exact 1.5. Two Gaussians get it wrong by 1.4 per cent, which is three hundred and thirty-two thousand times further out, while the energy improves fivefold. The variational principle bounds one number and says nothing whatever about any other, and the sequence of errors in everything else need not even be monotone.

    part 5 · orbitals
  6. Two errors, opposite signs, four orders of magnitude apart. A finite basis makes H₂⁺'s binding too large by letting each atom borrow the other's functions, and too small by describing the molecule incompletely. Both are computed here against the exact binding of 0.102634 hartree. The second is thousands of times the first at every basis size, and it is the first that counterpoise removes — so the corrected number is further from the true one than the uncorrected at every row of this table.

    The basis the other atom lent

    Two atoms in a molecule are described in each other's functions and the separated atoms are not, so the molecule is treated better than the pieces and the binding comes out too large. That is the basis set superposition error, it is removed by a standard correction, and for H₂⁺ in four Gaussians a centre it is six tenths of a microhartree against an incompleteness error of twelve millihartree — a factor of eighteen thousand the other way.

    part 6 · orbitals
  7. A correction computed at 3 bohr and used everywhere. Three binding curves for H₂⁺ in 2 Gaussians a centre: uncorrected, properly counterpoise corrected at every separation, and corrected once at 3 bohr with that value subtracted throughout. The frozen curve is the uncorrected one shifted down by a constant, so its minimum sits at 2.2270 bohr — exactly where the uncorrected minimum is, and 4.2 millibohr from where the full correction puts it. The depth moves and the structure does not.

    A correction computed at one length

    The counterpoise correction is expensive, so it is evaluated once at a reference geometry and subtracted across a whole potential surface. A constant does not move a minimum — so a frozen correction returns the uncorrected bond length exactly, at every reference geometry and in every basis, and everything the correction does to a structure is the part that has just been thrown away.

    part 7 · orbitals
  8. The two halves change places. What fraction of the counterpoise correction belongs to the lighter of two unlike atoms, against their separation. At a bonding distance it is 1.26 per cent — essentially the whole correction is the heavier atom's — and by 9.0 bohr it is 67. The two change places at 6.29 bohr. A symmetric pair's share is exactly a half everywhere, which is what makes one frozen number a complete description there and nowhere else.

    A correction that is two functions

    A symmetric pair's counterpoise correction splits exactly in half, at every separation, to the last digit — which is why one frozen number describes it. Give the two atoms different charges and the split runs from 0.03 per cent to 67, changing places at 6.29 bohr: the correction a single number was standing in for is two functions of different shapes.

    part 8 · orbitals
  9. One half is a curve and the other is not. The two halves of a counterpoise correction for an unequal pair, against separation, on a logarithmic axis. The heavier centre's falls smoothly over two decades; the lighter centre's scatters over more than one decade between neighbouring points. It is not a rough function — it is a difference of two energies of order a hartree whose difference is a millionth, and the solver does not have seven figures to spare.

    The half that cannot be computed

    How many points does each half of a counterpoise correction need to interpolate? The natural expectation is two different numbers. The answer is that the question is not yet askable: the lighter centre's half is a difference of two energies agreeing to six figures, its second differences are seven per cent of its own value, and no interpolation of it means anything. The third thing worth checking — the symmetric-pair check — works perfectly.

    part 9 · orbitals
  10. The trimer's correction, and the sum of its pairs. The counterpoise correction of a three-fragment system computed directly — each fragment's energy alone less its energy in the whole trimer's basis — against the sum of the three pairwise corrections, on a logarithmic axis. The sum is the larger everywhere the difference is above the solver's noise: 30.4 per cent at 1.6 bohr and nothing by six.

    The assembly that counts one share twice

    A counterpoise correction is divided unequally between its two centres, and the first place that matters is a three-fragment system, where the pairwise corrections are added up and the assembly must double-count one share and undercount another. It does: the heavy centre is over-corrected by seventeen per cent and the light ones under-corrected by two and a half, and the two do not cancel.

    part 10 · orbitals
  11. The correction collapses and the error made assembling it grows. At a separation of 2 bohr, two quantities against the number of Gaussians a centre. The trimer's own counterpoise correction falls by a factor of 2717 from one function to six — a bigger basis has less to borrow. The fraction by which summing the pairwise corrections overshoots it rises from 5.3 per cent to 38.0. Improving the calculation makes the assembly proportionally worse.

    The correction that gets harder to assemble

    Summed across a trimer, pairwise counterpoise corrections come to fifteen per cent more than the trimer's own. Three Gaussians a centre is a small basis, so the natural question was whether the fraction shrinks with a better one or stays put. It does neither. The correction falls by three orders of magnitude and the fraction grows fivefold.

    part 11 · orbitals
  12. Both quantities, and the line they have to be read against. At the closest separation, the counterpoise correction itself and the error a pairwise assembly of it makes, against the number of Gaussians a centre. Both fall — the correction by a factor of 3631, the error by 793 — and the fraction rises by exactly the ratio of those two. The dashed line is a kilocalorie a mole. The only basis where the correction is above it and the error below it is two.

    One basis size where it is worth doing

    The pairwise assembly's error grows with the basis — 5.25 per cent at one Gaussian a centre, 37.98 at six — while the correction itself falls by a factor of three thousand. Which of the two should a practitioner care about? Drawing a line at a kilocalorie a mole answers it: there is exactly one basis size at which the correction is worth computing and its pairwise assembly is accurate enough to use.

    part 12 · orbitals
  13. Which basis size is usable, against where the line is drawn. The basis size usable at every separation — big enough that the three-body correction matters, small enough that the pairwise assembly reproduces it — against the accuracy line, over two decades. It is not one answer. Four different sizes are the answer over this range, and for much of it there is no answer at all. The standard kilocalorie a mole gives basis 2, and it sits 0.7 per cent above the edge where that answer stops.

    The line was holding the answer up

    There is exactly one basis size where the three-body correction is worth computing and the pairwise assembly reproduces it, and the accuracy line is the choice that whole picture is most sensitive to. Sweeping the line over two decades gives four different answers, long stretches with no answer at all, and a published window whose lower edge sits seven tenths of a per cent below the standard kilocalorie a mole.

    part 13 · orbitals
  14. Every usable window, with three centres and with four. For three pairs of arrangements on a line — every centre alike, the heavy centres inside, the heavy centres outside — the stretch of accuracy line over which each basis size is usable at every separation, across three decades of line. Adding a centre takes the covered share from 44% to 58%, from 27% to 54%, and from 67% down to 60%. The four-centre uniform chain is the one arrangement with no usable basis size at a kilocalorie a mole.

    The overshoot was one arrangement

    A fourth fragment leaves four three-body terms out of a pairwise counterpoise assembly as well as the four-body one, so the window in which the assembly is usable was expected to narrow. Asked of three arrangements that each gain one centre, it widens twice and narrows once, the uniform chain loses its answer at a kilocalorie a mole altogether, and the overshoot every earlier calculation reported turns out to belong to the arrangement with the heavy centre inside.

    part 14 · orbitals
  15. The usable stretches, assembled from pairs and from triples. For each four-centre arrangement, the stretches of accuracy line with a usable basis size when each fragment's correction is assembled from pairs, and when the three-body increments are added to it, labelled with the sizes usable there. The covered share rises from 58% to 67% (1-1-1-1), 54% to 75% (1-2-2-1), 60% to 80% (2-1-1-2), and stretches where more than one basis size is usable appear where there were none.

    A repair that costs more than the whole

    Four fragments are the first system in which a counterpoise correction can be assembled from something between pairs and the whole. Adding the three-body increments leaves what is still missing below a kilocalorie a mole on every cell, widens the usable range for every arrangement and turns a single usable basis size into two — and under a cubic model of cost it is dearer than the full calculation it stands in for until the cluster has eleven fragments. Keeping only the consecutive triples, which pays from five, works for two arrangements and does worse than pairs for the third.

    part 15 · orbitals
  16. The consecutive triples fail for a uniform chain at every length. The share of three decades of accuracy line over which some basis size is usable, against the number of fragments from three to eight, for three arrangements and three ways of assembling the correction. On the uniform chain the consecutive-triple assembly covers less than pairs alone at every length from four, and the shortfall grows. On the heavy-inside chain it covers exactly what every triple covers. On the heavy-outside chain it covers more than every triple from five fragments on.

    Length did not rescue the consecutive triples

    On four fragments, keeping only the consecutive triples of a counterpoise assembly worked for two arrangements and did worse than pairs for the uniform chain, and a short chain was the obvious excuse. Carried to eight fragments the excuse fails: the uniform chain's consecutive assembly settles at 48 per cent of the line against 68 for pairs. And the heavy-outside chain turns the lesson over — from five fragments every triple together covers less than the consecutive ones alone.

    part 16 · orbitals

All series