Generator

A beam through a chain of analysers

One function in the atomic library, called 45 times across 8 essays. Below: what it draws at its defaults, what it draws at every branch an essay asks for, whether the site's own gate puts a claim to it, and everywhere it is called.

At its defaults it draws a beam through a chain of analysers. An unpolarised beam of intensity 1 entering 3 analysers oriented at 0°, 90°, 0°, selecting the + then + output each time. The intensities are 0.500 and 0.500 out of analyser 1; 0.250 and 0.250 out of analyser 2; 0.125 and 0.125 out of analyser 3. The last analyser is oriented the same way as the first, and it produces a "−" beam of 0.125 — a beam of exactly the kind the first analyser removed entirely. The middle analyser did not filter the beam; it replaced what the beam had an answer to.

stern-gerlach is one function in lib/figures/atomic.js — what happens once one is bound by the other. Everything below came out of it during this build, at parameters taken from the essays rather than invented for this page. A figure here is the figure a reader meets in an essay, and if the generator changes, this page changes with it.

At its defaults

Drawn even though every essay passes options, because a default nothing exercises is a trap for the next essay to call this with none — which has happened here twice.

A beam through a chain of analysers. An unpolarised beam of intensity 1 entering 3 analysers oriented at 0°, 90°, 0°, selecting the + then + output each time. The intensities are 0.500 and 0.500 out of analyser 1; 0.250 and 0.250 out of analyser 2; 0.125 and 0.125 out of analyser 3. The last analyser is oriented the same way as the first, and it produces a "−" beam of 0.125 — a beam of exactly the kind the first analyser removed entirely. The middle analyser did not filter the beam; it replaced what the beam had an answer to.

An unpolarised beam of intensity 1 entering 3 analysers oriented at 0°, 90°, 0°, selecting the + then + output each time. The intensities are 0.500 and 0.500 out of analyser 1; 0.250 and 0.250 out of analyser 2; 0.125 and 0.125 out of analyser 3. The last analyser is oriented the same way as the first, and it produces a "−" beam of 0.125 — a beam of exactly the kind the first analyser removed entirely. The middle analyser did not filter the beam; it replaced what the beam had an answer to.

Four product states, and the four combinations that have a total spin

The options are the ones Four states, and one of them is odd passes. A branch drawn at its own defaults instead would be a picture no essay asked for and no assertion has been run against.

Four product states, and the four combinations that have a total spin. The four ways two spin-halves can be arranged, on the left, and the four combinations of them that are eigenstates of the total spin, on the right. Two of the products — both up and both down — are already eigenstates. The other two are not: one spin up and the other down does not specify a total spin, because it does not say which spin is which, and the states that do are the sum and the difference. The eigenvalues printed beside them are computed by applying S² as a matrix in the product basis and reading the result off, then solving s(s + 1) for s: |↑↑⟩ gives 2ħ², so s = 1; (|↑↓⟩ + |↓↑⟩)/√2 gives 2ħ², so s = 1; |↓↓⟩ gives 2ħ², so s = 1; (|↑↓⟩ − |↓↑⟩)/√2 gives 0ħ², so s = 0. The column on the far right is the eigenvalue of the operator that swaps the two particles: the three states with s = 1 come back unchanged and the one with s = 0 comes back with a minus sign. That sign is the whole of the difference. It is why the three are called a triplet and the one a singlet, why they behave differently in a magnetic field, and — through the requirement that the total state of two electrons be antisymmetric — why the two families occupy space differently before any force between them has been mentioned.

The four ways two spin-halves can be arranged, on the left, and the four combinations of them that are eigenstates of the total spin, on the right. Two of the products — both up and both down — are already eigenstates. The other two are not: one spin up and the other down does not specify a total spin, because it does not say which spin is which, and the states that do are the sum and the difference. The eigenvalues printed beside them are computed by applying S² as a matrix in the product basis and reading the result off, then solving s(s + 1) for s: |↑↑⟩ gives 2ħ², so s = 1; (|↑↓⟩ + |↓↑⟩)/√2 gives 2ħ², so s = 1; |↓↓⟩ gives 2ħ², so s = 1; (|↑↓⟩ − |↓↑⟩)/√2 gives 0ħ², so s = 0. The column on the far right is the eigenvalue of the operator that swaps the two particles: the three states with s = 1 come back unchanged and the one with s = 0 comes back with a minus sign. That sign is the whole of the difference. It is why the three are called a triplet and the one a singlet, why they behave differently in a magnetic field, and — through the requirement that the *total* state of two electrons be antisymmetric — why the two families occupy space differently before any force between them has been mentioned.

How far apart two electrons sit, before any force between them

The options are the ones Four states, and one of them is odd passes. A branch drawn at its own defaults instead would be a picture no essay asked for and no assertion has been run against.

How far apart two electrons sit, before any force between them. The probability that two electrons in the same pair of orbitals are found a given distance apart, for the two ways their spatial state can be put together. There is no interaction in this calculation at all: the two electrons do not repel, do not attract and do not know about each other except through the symmetry of the state they share. The symmetric combination — which pairs with the antisymmetric spin state, the singlet — is largest at zero separation. The antisymmetric one, which pairs with the triplet, is exactly zero there, because swapping the two coordinates must change the sign of the wavefunction and a function equal to minus itself is nothing. The root mean square separation is 2.333 for the singlet and 2.512 for the triplet, in units of the orbital width. That gap is the origin of every exchange effect there is: it is not a force, it produces no term in any Hamiltonian, and it changes the energy the moment a repulsion is switched on — because two electrons that are further apart pay less for repelling each other. The hole in the middle of the triplet curve has a name, the Fermi hole, and it is the reason electrons of parallel spin behave as though they avoided one another.

The probability that two electrons in the same pair of orbitals are found a given distance apart, for the two ways their spatial state can be put together. There is no interaction in this calculation at all: the two electrons do not repel, do not attract and do not know about each other except through the symmetry of the state they share. The symmetric combination — which pairs with the antisymmetric spin state, the singlet — is largest at zero separation. The antisymmetric one, which pairs with the triplet, is exactly zero there, because swapping the two coordinates must change the sign of the wavefunction and a function equal to minus itself is nothing. The root mean square separation is 2.333 for the singlet and 2.512 for the triplet, in units of the orbital width. That gap is the origin of every exchange effect there is: it is not a force, it produces no term in any Hamiltonian, and it changes the energy the moment a repulsion is switched on — because two electrons that are further apart pay less for repelling each other. The hole in the middle of the triplet curve has a name, the Fermi hole, and it is the reason electrons of parallel spin behave as though they avoided one another.

The exchange integral, and the splitting it produces

The options are the ones Four states, and one of them is odd passes. A branch drawn at its own defaults instead would be a picture no essay asked for and no assertion has been run against.

The exchange integral, and the splitting it produces. The direct Coulomb integral and the exchange integral for two electrons in two overlapping orbitals, evaluated on a 220-point grid at 8 separations, on a logarithmic vertical axis. The direct integral is the ordinary repulsion between two charge clouds and falls slowly, because two clouds a long way apart still repel. The exchange integral involves the product of the two orbitals at both points, so it needs them to overlap, and it collapses as they separate — its logarithm tracks the logarithm of the overlap with a slope of 2.00, which is the statement that exchange is a two-orbital effect and direct repulsion is not. It is positive at every separation, and it has to be: the Coulomb kernel is positive definite, so the integral of a squared quantity against it cannot be negative. That sign is Hund's first rule. The triplet, whose electrons are already further apart before any repulsion is considered, lies below the singlet by twice this number — which for the 1s2s configuration of helium is 0.80 electron-volts, an energy nobody would guess was a consequence of a minus sign in front of one term of a wavefunction.

The direct Coulomb integral and the exchange integral for two electrons in two overlapping orbitals, evaluated on a 220-point grid at 8 separations, on a logarithmic vertical axis. The direct integral is the ordinary repulsion between two charge clouds and falls slowly, because two clouds a long way apart still repel. The exchange integral involves the product of the two orbitals at both points, so it needs them to overlap, and it collapses as they separate — its logarithm tracks the logarithm of the overlap with a slope of 2.00, which is the statement that exchange is a two-orbital effect and direct repulsion is not. It is positive at every separation, and it has to be: the Coulomb kernel is positive definite, so the integral of a squared quantity against it cannot be negative. That sign is Hund's first rule. The triplet, whose electrons are already further apart before any repulsion is considered, lies below the singlet by twice this number — which for the 1s2s configuration of helium is 0.80 electron-volts, an energy nobody would guess was a consequence of a minus sign in front of one term of a wavefunction.

Hydrogen's rotational lines at 300 K, alternating three to one

The options are the ones Four states, and one of them is odd passes. A branch drawn at its own defaults instead would be a picture no essay asked for and no assertion has been run against.

Hydrogen's rotational lines at 300 K, alternating three to one. The relative strength of hydrogen's rotational lines at 300 K, computed as the nuclear-spin weight times the rotational degeneracy times the Boltzmann factor, with the rotational temperature 85.4 K. The envelope is the ordinary one — degeneracy climbing, Boltzmann factor falling, a maximum in between — but the lines do not sit on it. They alternate, odd J strong and even J weak, in a ratio that comes out exactly three when the degeneracy and the Boltzmann factor are divided back out. The three is the number of states in a triplet. The two protons are spin-halves and combine exactly as the two electrons of the first figure do; the total molecular state must change sign when they are swapped; rotating the molecule by half a turn is that swap, and it multiplies the rotational state by (−1)^J. So odd J must go with the antisymmetric-under-nothing nuclear triplet and even J with the singlet, and the spectrum counts the states for anybody with a spectrometer. It is the most direct measurement of a spin multiplicity there is, and it was made before anyone knew what it meant.

The relative strength of hydrogen's rotational lines at 300 K, computed as the nuclear-spin weight times the rotational degeneracy times the Boltzmann factor, with the rotational temperature 85.4 K. The envelope is the ordinary one — degeneracy climbing, Boltzmann factor falling, a maximum in between — but the lines do not sit on it. They alternate, odd J strong and even J weak, in a ratio that comes out exactly three when the degeneracy and the Boltzmann factor are divided back out. The three is the number of states in a triplet. The two protons are spin-halves and combine exactly as the two electrons of the first figure do; the total molecular state must change sign when they are swapped; rotating the molecule by half a turn is that swap, and it multiplies the rotational state by (−1)^J. So odd J must go with the antisymmetric-under-nothing nuclear triplet and even J with the singlet, and the spectrum counts the states for anybody with a spectrometer. It is the most direct measurement of a spin multiplicity there is, and it was made before anyone knew what it meant.

How fast a spinning electron would have to turn

The options are the ones The angular momentum that is not a rotation passes. A branch drawn at its own defaults instead would be a picture no essay asked for and no assertion has been run against.

How fast a spinning electron would have to turn. The equatorial speed of a uniform sphere with the electron's mass and an angular momentum of ħ/2, against the radius it is given, both logarithmically. The expression is 5ħ/4mr and it passes the speed of light at 4.83e-13 m — half a picometre, which is four hundred times larger than a hydrogen nucleus. Giving it a smaller radius only makes the answer worse: at the experimental upper bound, 10⁻¹⁸ m the equator would move at 4.8e+5 times the speed of light; at the classical electron radius the equator would move at 1.7e+2 times the speed of light; at the reduced Compton wavelength the equator would move at 1.3e+0 times the speed of light. No radius the electron is permitted to have gets anywhere near a legal answer, and the experimental bound is off the scale by eight orders of magnitude. So the angular momentum is not the angular momentum of anything going round. It is a property the particle has, in the same way a charge is, and the only thing it shares with a spinning top is the algebra it obeys — which is, admittedly, the whole of what angular momentum means in physics.

The equatorial speed of a uniform sphere with the electron's mass and an angular momentum of ħ/2, against the radius it is given, both logarithmically. The expression is 5ħ/4mr and it passes the speed of light at 4.83e-13 m — half a picometre, which is four hundred times larger than a hydrogen nucleus. Giving it a smaller radius only makes the answer worse: at the experimental upper bound, 10⁻¹⁸ m the equator would move at 4.8e+5 times the speed of light; at the classical electron radius the equator would move at 1.7e+2 times the speed of light; at the reduced Compton wavelength the equator would move at 1.3e+0 times the speed of light. No radius the electron is permitted to have gets anywhere near a legal answer, and the experimental bound is off the scale by eight orders of magnitude. So the angular momentum is not the angular momentum of anything going round. It is a property the particle has, in the same way a charge is, and the only thing it shares with a spinning top is the algebra it obeys — which is, admittedly, the whole of what angular momentum means in physics.

What checks it

physicscheck asserts something about stern-gerlach that could fail — it draws it and measures the result against a value reached some other way.

Across the library: 100 interrogated, 2 exercised only, 1 untouched, of 103. Read out of the gate's source by the gate's own two patterns — and the gate's last claim fails the build if that read disagrees with what it was handed while running.

Where it is called

Changing this generator changes every figure on this list. That is what makes the list worth publishing rather than keeping in a check script.

Quantum

Four states, and one of them is odd

Two spin-halves make four states, and they split three and one rather than into four of a kind. Three come back unchanged when the two particles are swapped and one comes back with a minus sign — and that single sign decides how far apart two electrons sit before any force between them has been mentioned, and why hydrogen gas is two gases that do not interconvert.

Quantum

The angular momentum that is not a rotation

An electron has angular momentum, and it is not going round anything. A sphere of its mass carrying that much angular momentum would need its equator moving at half a million times the speed of light at any size the electron is allowed to have. What survives of the analogy is the algebra — and the algebra turns out to require that turning the thing all the way round leaves it changed.

Quantum

The answer that was not there before

Send a beam through an analyser and it splits in two. Send one half through a second analyser turned sideways, then through a third pointing the way the first did, and the property the first analyser removed has come back.

Quantum

The experiment that defines spin and cannot be done on it

A Stern–Gerlach magnet separates magnetic moments and is how spin was discovered. It cannot be made to work on a free electron, and the obstruction is not the apparatus: the field gradient that splits the beam also deflects the charge by an amount that varies across it, and the ratio of the splitting to that blurring comes out as the de Broglie wavelength over the beam width — with the magnet's length and gradient cancelling exactly.

Quantum

The force with no force in it

Two identical fermions keep apart and two identical bosons crowd together, and neither is being pushed. The Hamiltonian contains no interaction at all: what produces the hole and the pile is which many-particle states exist, and the hole it digs around each electron holds exactly one particle at any density whatever.

Quantum

The questions that can be asked together

Two quantities can have definite values at once exactly when their operators commute. That is a piece of arithmetic about matrices, and everything the uncertainty principle forbids follows from it — including the fact that most of the time it forbids nothing at all.

Quantum

The turn that has to be made twice

Turn a spin-½ through a full circle and it does not come back. The direction it points in does, and every measurement on it does, but the state itself has changed sign — and a second full turn is needed before anything is where it started. The sign is invisible on one spin and measurable the moment a superposition has one branch turned and the other not.

Quantum

Two states where the counting says three

A particle of spin one has three states, and the photon has two. The missing one is not rare or weakly coupled — there is no such state of the electromagnetic field. What removes it is that a massless particle has no rest frame, so the rotations that would turn one projection into another are not available; and the state comes back the moment the particle acquires a mass, which is what a photon does in a plasma.

The whole library · All essays