Quantum

The exponential that is only true in the middle

A decay law is not an assumption about nuclei; it is the Fourier transform of an energy distribution. Do that transform honestly and the exponential fails at both ends — flat at the start, because the state is normalisable, and an inverse square at the end, because no system has states of arbitrarily negative energy. Neither departure is a correction that could be made small.

Assumes: A nucleus with no clock · Sharpness has to be paid for

The exponential decay law is usually introduced as a property of the decaying thing: each nucleus has the same chance of going in the next second as it had yesterday, so the population falls by a fixed fraction per unit time and the survival curve is eλte^{-\lambda t}. The rung below this one makes that case and makes it well, and everything in it is right about the middle of the curve.

It is also not where the law comes from. A decay law is a statement about a quantum amplitude, and the amplitude is fixed by an integral nobody has to assume anything about.

Flat, then exponential, then a power law. Survival probability against time in lifetimes, both logarithmic, for a resonance 20 linewidths above the bottom of its band and 400 below the top. The straight dashed line is exp(−Γt), and the computed curve sits on it through the middle — a fitted rate of 0.9998 per lifetime between one and eight — and leaves it at both ends. Below 1.57e-2 lifetimes the curve is flat, falling as (t/τ_z)² with τ_z = 0.1253 lifetimes; beyond 22.6 lifetimes it is an inverse square, which any exponential eventually loses to. Both departures are forced: the head by the state being normalisable and the tail by the band having a bottom.
Fig. 1 Survival probability against time, both logarithmic, computed from a resonance’s own energy distribution rather than assumed. The dashed line is the exponential, and the computed curve sits on it through the middle — a fitted rate of 0.9998 per lifetime between one and eight — and departs from it at both ends. Below 1.6 × 10⁻² lifetimes the curve is flat; beyond 23 lifetimes it is an inverse square. Neither end is an approximation that has been made: both are what the integral gives.

The reason to care is not that the corrections are large. In the middle they are undetectable and the exponential is exact to four figures. The reason is that both departures are forced — they follow from properties every quantum state has — so any argument that treats the exponential as fundamental has assumed something false, and one of the consequences is an effect that has been measured.

A decay law is a Fourier transform

Prepare a system in a state that is not an energy eigenstate — a superposition, which is the ordinary condition rather than a special one. It can then be written as a superposition of eigenstates with some weight ω(E)\omega(E), and each of those evolves by nothing more than a phase. The amplitude to still find the system in the state it started in is therefore

a(t)=ω(E)eiEt/dE,a(t) = \int \omega(E)\,e^{-iEt/\hbar}\,\mathrm{d}E,

and the survival probability is a(t)2|a(t)|^2. Nothing has been assumed about the decay: the whole of it is contained in the shape of ω\omega, and the question “what is the decay law” has become the question “what does this distribution look like”.

A decay law is a Fourier transform, and the classical twin makes the shape familiar. A driven oscillator with light damping responds in a peak whose profile is a Lorentzian of width γ\gamma — and a Lorentzian is exactly the transform of a decaying exponential. So the exponential decay and the shape of a spectral line are the same fact in two domains, and anything that modifies one modifies the other.

For a Breit–Wigner resonance,

ω(E)1(EE0)2+Γ2/4,\omega(E) \propto \frac{1}{(E-E_0)^2 + \Gamma^2/4},

the transform can be done in closed form if the integral runs over the whole real line, and the answer is a(t)2=eΓt/|a(t)|^2 = e^{-\Gamma t/\hbar} exactly, at every tt from zero to infinity. That is the origin of the exponential law. It is also the origin of its trouble, because the calculation has just used states at E=1040E = -10^{40} joules, and no bound system has any.

Both edges are real, and both change the answer

A real spectrum has a bottom: energies below the ground state of whatever the decay products are do not exist. It also falls off faster than a Lorentzian at the top, because a Lorentzian tail carries an infinite mean square energy and nothing does. Put the two edges in and the closed form is gone — but the integral is not, and it can be done to any accuracy at any time by closing the contour in the lower half plane.

Flat, then exponential, then a power law. Survival probability against time in lifetimes, both logarithmic, for a resonance 60 linewidths above the bottom of its band and 3000 below the top. The straight dashed line is exp(−Γt), and the computed curve sits on it through the middle — a fitted rate of 1.0000 per lifetime between one and eight — and leaves it at both ends. Below 2.09e-3 lifetimes the curve is flat, falling as (t/τ_z)² with τ_z = 0.0457 lifetimes; beyond 27.1 lifetimes it is an inverse square, which any exponential eventually loses to. Both departures are forced: the head by the state being normalisable and the tail by the band having a bottom.
Fig. 2 The same computation for a resonance three times sharper in a band seven times wider, which is a state closer to a real one. The exponential stretch is longer at both ends and the two departures are further apart, but neither has gone: the flat head has moved down to 2.1 × 10⁻³ lifetimes and the tail crossing has moved out to 27. Sharpening the resonance pushes the departures apart logarithmically, so no realistic parameters remove them and no realistic parameters make them easy to see.

Doing it that way separates the answer into three pieces that can be read off. The pole at E0iΓ/2E_0 - i\Gamma/2 contributes the exponential exactly, with no approximation at all. The lower edge of the band contributes a term whose integrand is smooth and positive, dominated at large tt by the region right at the edge, and falling as 1/t1/t. The upper edge contributes another. Adding the three gives the curve above, and the middle of it is the pole term with the other two negligible.

The head is flat, and it cannot be otherwise

At small tt, expand the exponential inside the integral. The first-order term is itE/-it\langle E\rangle/\hbar, which is a pure phase and does not change a2|a|^2 at all. The survival probability therefore begins

a(t)2=1(tτz)2+,τz=ΔE,|a(t)|^2 = 1 - \left(\frac{t}{\tau_z}\right)^2 + \dots, \qquad \tau_z = \frac{\hbar}{\Delta E},

with ΔE\Delta E the spread of the state’s own energy distribution. The gradient at the origin is zero, for any state whose energy has a finite spread — which is to say, for any state at all.

A slope of 1.966 where an exponential would give one. The probability that has been lost, against time, both logarithmic, from 6.2e-5 to 6.2e-2 lifetimes. An exponential law would put a straight line of slope one here; the computed curve has a fitted slope of 1.9664, because |a(t)|² has zero gradient at the origin for any state that is normalisable at all. Reading the Zeno time off the drawn head gives 0.12527 lifetimes and computing ħ/ΔE from the spectrum's own second moment gives 0.12527 — two routes with no arithmetic in common. The quadratic head does not last until τ_z: it gives out at Γτ_z² = 1.57e-2 lifetimes, where the parabola meets the exponential, and that is the interval a measurement has to beat.
Fig. 3 The probability that has been lost, against time, both logarithmic. An exponential law would be a straight line of slope one here; the computed curve has a fitted slope of 1.966. The Zeno time read off the head is 0.12527 lifetimes and ħ/ΔE computed from the spectrum’s second moment is 0.12527 — the same quantity by two routes that share no arithmetic, which is the only reason to believe either. The vertical line is where the head gives out.

The number that matters is not τz\tau_z but where the quadratic stops. The parabola (t/τz)2(t/\tau_z)^2 meets the exponential’s Γt\Gamma t at t=Γτz2t = \Gamma\tau_z^2, and that is shorter than τz\tau_z by the ratio of τz\tau_z to the lifetime. For the case drawn it is 1.6 × 10⁻² lifetimes against a Zeno time of 0.125 — a factor of eight — and for a real excited atom, whose energy spread involves the whole transition rather than the linewidth, the factor is enormous.

What ΔE\Delta E actually is. It is not the linewidth. The linewidth Γ\Gamma describes the shape near the peak; ΔE\Delta E is dominated by the far tails of the distribution, which is why it depends on where the spectrum is cut off. That is not a defect of the model: it is the statement that how fast a state starts to decay is set by its widest features, and how fast it goes on decaying is set by its narrowest.

A slope of 1.950 where an exponential would give one. The probability that has been lost, against time, both logarithmic, from 1.6e-5 to 1.6e-2 lifetimes. An exponential law would put a straight line of slope one here; the computed curve has a fitted slope of 1.9505, because |a(t)|² has zero gradient at the origin for any state that is normalisable at all. Reading the Zeno time off the drawn head gives 0.06253 lifetimes and computing ħ/ΔE from the spectrum's own second moment gives 0.06250 — two routes with no arithmetic in common. The quadratic head does not last until τ_z: it gives out at Γτ_z² = 3.91e-3 lifetimes, where the parabola meets the exponential, and that is the interval a measurement has to beat.
Fig. 4 The same head for a band four times wider. The Zeno time falls to 0.0625 lifetimes and the head gives out four times sooner still, at 3.9 × 10⁻³ lifetimes, because both scale with the band’s own width rather than with the linewidth. A wider spectrum means a shorter memory of having been prepared — which is the uncertainty relation between energy and time doing the only thing it can be made to say precisely.

The head exists exactly when the energy has a variance

The expansion above needs E2\langle E^2\rangle to be finite, and that condition is not a technicality — it is the whole of why the exponential law and the flat head cannot both be exact.

An unbounded Lorentzian has ω(E)\omega(E) falling as E2E^{-2}, so E2ω(E)E^2\omega(E) does not fall at all and the second moment diverges. With no finite ΔE\Delta E there is no τz\tau_z, no quadratic term, and the curve leaves the origin with a nonzero slope — which is precisely the exponential, exact from t=0t=0. The two statements are the same statement. A spectrum with infinite energy spread gives a perfect exponential and no head; a spectrum with any cutoff whatever gives a finite spread and a head. There is no intermediate case in which the head is present and small in some adjustable sense.

That is why widening the band in the figures shortens the head rather than removing it. Every cutoff, however far out, makes the second moment finite; where it is put decides only how large ΔE\Delta E is, and ΔE\Delta E sets both τz\tau_z and the instant the parabola gives out. Pushing the cutoff to infinity sends both to zero together, which is the limit in which the head shrinks to a point and the exponential becomes exact everywhere — the same limit that requires states of arbitrarily negative energy.

It also settles what would otherwise be a puzzle about the memorylessness argument. The exponential is the unique continuous law with no memory: a survival function satisfying P(t+s)=P(t)P(s)P(t+s) = P(t)P(s) for all tt and ss must be an exponential, and no other function will do. So a decay that departs from an exponential anywhere is a decay that remembers when it was prepared, and the head and the tail are the two places where that memory shows. What the middle of the curve demonstrates is not that the system has no memory but that its memory is confined to timescales far shorter and far longer than the one being watched.

What a flat head buys: freezing a decay by watching it

A measurement that finds the system still undecayed puts it back at the top of its own curve, and the decay starts again from t=0t = 0. On an exponential this achieves nothing whatever: the survival over NN intervals of T/NT/N is (eΓT/N)N=eΓT\left(e^{-\Gamma T/N}\right)^N = e^{-\Gamma T}, whatever NN is. Memorylessness is precisely the property that makes interruption useless.

On a quadratic head it achieves a great deal, because (T/Nτz)2(T/N\tau_z)^2 raised to the NN is exp(T2/Nτz2)\exp(-T^2/N\tau_z^2), which goes to one as NN grows.

Interrupting it 1000 times leaves 98.4 per cent of it. Survival after 0.5 lifetimes, against how many times the state was looked at on the way, on a logarithmic axis. Each measurement returns the state to the top of its own curve, so what matters is the survival over one interval raised to the number of intervals. Under the exponential law that is exp(−ΓT) whatever the number — 0.6065 at every point, drawn flat — because an exponential has no memory to interrupt. Under the real law the head is quadratic, so a short interval costs quadratically little and 1 look leaves 0.6164, 3 looks leaves 0.6400, 10 looks leaves 0.7277, 30 looks leaves 0.7771, 100 looks leaves 0.8648, 300 looks leaves 0.9488, 1000 looks leaves 0.9841. The freezing is real and the price is the interval: it has to beat Γτ_z² = 1.57e-2 lifetimes before it does much, which for a real excited atom is a measurement every femtosecond or so, forever.
Fig. 5 Survival over half a lifetime, against the number of times the state was looked at on the way. The dashed line is the exponential answer, 0.6065, and the figure checks that it is independent of the number of measurements to a part in 10¹⁵ before drawing anything. The computed curve rises from 0.616 at one look to 0.984 at a thousand. The effect is real, it is a direct measurement of the shape of the head, and it is not available to a memoryless process.
Interrupting it 1000 times leaves 77.8 per cent of it. Survival after 2 lifetimes, against how many times the state was looked at on the way, on a logarithmic axis. Each measurement returns the state to the top of its own curve, so what matters is the survival over one interval raised to the number of intervals. Under the exponential law that is exp(−ΓT) whatever the number — 0.1353 at every point, drawn flat — because an exponential has no memory to interrupt. Under the real law the head is quadratic, so a short interval costs quadratically little and 1 look leaves 0.1377, 3 looks leaves 0.1427, 10 looks leaves 0.1575, 30 looks leaves 0.2534, 100 looks leaves 0.3558, 300 looks leaves 0.4852, 1000 looks leaves 0.7779. The freezing is real and the price is the interval: it has to beat Γτ_z² = 1.57e-2 lifetimes before it does much, which for a real excited atom is a measurement every femtosecond or so, forever.
Fig. 6 The same over two lifetimes instead of half of one. The exponential answer falls to 0.1353 and a thousand looks still return 0.778, because what has to be beaten is the interval rather than the total: a thousand measurements in two lifetimes is an interval of 2 × 10⁻³, which is already well inside the 1.6 × 10⁻² where the head is quadratic. Quadrupling the interval to be defended costs less than a factor of two in what survives, because the head is quadratic and the price of watching is paid per interval rather than per lifetime.

And what it costs. The interval has to beat Γτz2\Gamma\tau_z^2, and for spontaneous emission from an atom that is of order 101510^{-15} of a lifetime — a measurement every few femtoseconds, continued for nanoseconds. That is why the Zeno effect has been demonstrated on transitions driven at radio frequencies, where the timescales are laboratory ones, and not on the natural decay of an excited atom.

The tail, and why a half-life stops being one

The lower edge of the spectrum contributes an amplitude falling as 1/t1/t — a step in the integrand transforms to an inverse power, in exactly the way a sharp edge in an aperture transforms to a slowly falling diffraction pattern. An inverse square in the probability loses to no exponential forever.

The exponential loses at 23 lifetimes, and by then it is out by decades. Survival probability far out in the tail, against the exponential law, both logarithmic. The computed curve falls as t^-2.003 — an inverse square, because the sharp lower edge of the band contributes an amplitude going as 1/t — while the exponential goes on falling by a factor of e every lifetime. They cross at 22.6 lifetimes, where the survival probability is 3.06e-10; at 2000 lifetimes the true answer is 4.00e-14 and the exponential says a number smaller than any a double can hold, which is a discrepancy of hundreds of decades in a quantity nobody has ever had enough atoms to measure. The crossing moves out only logarithmically as the resonance sharpens, which is why the tail is hard rather than impossible to look for.
Fig. 7 The far tail against the exponential. The fitted exponent of the computed curve is −2.003, and the two cross at 23 lifetimes where the survival probability is 3 × 10⁻¹⁰. Past the crossing the exponential is not slightly wrong: at 2,000 lifetimes it is below the smallest number double-precision arithmetic can represent while the true answer is 4 × 10⁻¹⁴.

Why an inverse square and not something else: the contour integral picks up, at the lower edge of the band, a term proportional to the value of the spectrum right at that edge divided by tt. Any spectrum that is nonzero at a sharp edge gives 1/t1/t in the amplitude and t2t^{-2} in the probability, and the coefficient is the spectral density at the edge — so the tail is weaker the further the resonance sits above the bottom of its band, which is the sense in which a well-bound state decays more nearly exponentially than a barely bound one.

The crossing moves out only as the logarithm of the resonance’s sharpness, which is the reason this is hard rather than hopeless. Thirty lifetimes is not an absurd number of lifetimes to wait; the problem is that 101010^{-10} of the original sample is what has to be counted, against every background there is. A deviation from exponential decay at long times has been reported in the luminescence of organic molecules in solution, at around ten lifetimes, and the difficulty of the measurement is entirely in the last sentence rather than in the first.

The tail is a counting problem before it is a physics problem. Two thousand independently sampled nuclei against the smooth law: by eight half-lives fewer than eight of the original two thousand are left, and by twelve there is nothing to average. So the deviations the theory predicts at long times sit in a regime where the sample size has collapsed — which is why the tail has been so much harder to measure than the head.

A theorem, not an estimate

The tail is easy to mistake for a feature of the particular spectrum used here — a hard step, a Breit–Wigner peak, a specific cutoff. It is not. That a bounded-below spectrum forbids a strictly exponential survival at long times is a theorem, and it comes from a piece of Fourier analysis with no physics in it whatever.

The amplitude a(t)a(t) is the transform of a function supported on a half-line, so it is the boundary value of a function analytic in a half-plane, and a classical result about such functions constrains how fast they may vanish: the integral of lna(t)|\ln|a(t)|| against 1/(1+t2)1/(1+t^2) must converge. An amplitude falling as eΓt/2e^{-\Gamma t/2} has lna|\ln|a|| growing linearly, and that integral diverges. So no state built out of a spectrum with a lowest energy can decay exponentially for all time — not approximately, not for a well-chosen lineshape, not ever. Applied to decay in 1957 by Khalfin, it says the tail exists before anybody has decided what the resonance looks like.

What the theorem does not supply is the power. That the survival falls as t2t^{-2} here is a consequence of the spectral density being nonzero at a hard edge, and a spectrum switching on more gently gives a different exponent. So the calculation and the theorem divide the work cleanly: the theorem says an exponential is impossible at long times whatever the lineshape, and the contour integral says what replaces it for this one.

It is worth noticing which of the two departures this covers. The head follows from the spectrum having a finite width; the tail follows from its having a bottom. Two independent properties of any bound system, two independent failures of the same law, at opposite ends of the curve, and neither removable by any choice of parameters.

And watching can also make it faster

The Zeno argument above is usually presented as though frequent measurement always slows a decay, and the figures here are the case where it does. The general statement is less comfortable and follows from the same reasoning.

What repeated measurement really does is replace the decay rate by an average of the state’s spectrum against a window whose width is set by the measurement interval — the shorter the interval, the wider the window. Whether that average is smaller or larger than Γ\Gamma depends on whether the spectrum near the resonance is peaked or not. Measure often enough and the window covers the whole distribution, the average is dominated by the wings where there is very little, and the decay slows: that is the Zeno regime, and it is the one reached in the limit. But at intermediate intervals the window can be wide enough to reach a part of the spectrum richer than the peak — a nearby second resonance, a rising threshold — and then interrupting the decay accelerates it.

That is the anti-Zeno effect, and it is the more commonly reachable of the two, because the interval it needs is far longer than Γτz2\Gamma\tau_z^2. Both are measurements of the shape of the spectrum rather than statements about observation, which is the useful way to hold them: nothing here is about a conscious observer, and everything is about what interrupting a coherent evolution does to the interference between its parts.

Where the model actually stops

Three things the picture cannot show, and one it should not be blamed for.

The lineshape is an input. Everything above takes the Breit–Wigner form and cuts it off. A real spectrum near a threshold does not look like that — it rises as a power of the energy above the edge — and the exponent of the tail is decided by that behaviour rather than by the resonance. The inverse square drawn here belongs to a hard step; a threshold going as E\sqrt{E} gives a different power. What survives every choice is that the tail is a power and not an exponential.

A level with a lifetime is a level with a width, and the two are the same number in different units: Γ=/τ\Gamma = \hbar/\tau. That is the object the whole calculation is about, and it is why the non-exponential edges are not an obscure correction — a strictly exponential decay would require a strictly Lorentzian line, which would require states at arbitrarily negative energy. The spectrum has a floor, so the decay cannot be exponential forever.

Nothing here is an ensemble. a(t)2|a(t)|^2 is the probability that one system is still undecayed. The exponential curve a laboratory measures is a count of survivors, and the two agree only because the systems are independent. Where they are not — a dense sample, a cavity, a condensate — the decay is not this curve at all.

And “the state was prepared at t=0t=0” is doing work. The quadratic head is a statement about a system that was definitely in the initial state at a definite moment. A nucleus formed in a reaction was not prepared like that, and the moment of preparation is itself uncertain by something like /ΔE\hbar/\Delta E — which is τz\tau_z, the very scale on which the head lives. That is not a reason to distrust the head; it is a reason to be careful about what counts as a measurement of it. An experiment that claims to have watched a decay start has had to define the starting instant to better than the width of the head, and defining an instant that sharply is itself an energy-spreading operation.

There is a fourth thing, and it is the one that makes the middle of the curve so robust. The exponential is not merely a good fit between the two departures: it is the exact contribution of a single pole, and the corrections to it are the two edge terms, which are separately computable and separately small. So the decay constant a laboratory measures is not an effective parameter standing in for something more complicated. It is the imaginary part of a pole position, and the two departures are additions to it rather than modifications of it — which is why fitting an exponential to data from the middle of the range returns Γ and not some average of Γ with whatever the ends are doing.

The classical ringdown has no such subtlety, and the contrast is worth drawing. A damped oscillator released from rest decays as a genuine exponential envelope for as long as anyone cares to watch, because nothing about it is bounded below. The quantum case differs precisely because the energy spectrum has a bottom, which is a statement about states rather than about damping.

The rung after this one

Two of this ladder’s rungs now say that a decay rate is not a property of the decaying thing alone. The first was that the rate depends on a barrier, so a factor of two in energy is twenty-four decades in half-life. This one is that the rate is a feature of a spectrum, and that where the spectrum ends decides what happens at both ends of the curve.

The next rung is the obvious question that leaves: if the decay rate is set by the states available to decay into, then changing those states changes the rate. Put an excited atom between two mirrors a half-wavelength apart and there are no modes for it to emit into; put it in a cavity tuned to its transition and there are far more than in free space. The lifetime moves by orders of magnitude in both directions, and nothing about the atom has been touched.

A box allows only some frequencies, which is the same counting that gives a standing wave its discrete set — and it is where the next argument starts. The spectrum having a floor is what forbids a strict exponential, and the spectrum has a floor because the states are counted rather than continuous.

Part 2 of 5

This essay is one argument about Decay. The others:

What links here

Essays that reach for this one mid-argument — the half of a link its own author cannot write down.

The objects named here

The third axis, after the field and the reading path: the things themselves, and every essay that touches each one.

BandwidthDecayExponential decayFourier transformHalf-lifeMeasurementMemorylessnessQuantum zeno effectResonanceSpectrumSurvival probabilityUncertainty principle