β: This English translation is in beta — the Traditional-Chinese original is the authoritative version.
Allan Variance: The Time-Domain Counterpart of Phase Noise
Prerequisites: psd_phase_noise_jitter · white_noise_to_phase_noise | Next: serdes_clocking_connection
The previous pages all viewed oscillator imperfection from the frequency domain: jitter was written as SSB phase noise (in dBc/Hz) or as the phase PSD (in ), then integrated into an rms jitter (see psd_phase_noise_jitter). That language is the natural one for RF/communication circuits. But the people who work on clocks, frequency standards, GPS, and atomic clocks speak another language: the Allan variance and its square root, the Allan deviation / ADEV . This page answers:
- What does actually measure? Why is it defined as the mean square of the "difference between two adjacent gated frequency averages"?
- How does it convert to the familiar and ?
- Why does each of the five power-law noise types trace a characteristic slope on the ADEV log–log plot, so that the slopes "read out the noise type at a glance"?
- Why does the clock community prefer ADEV over the ordinary sample variance of frequency?
Physical intuition (conclusion first): take a stopwatch (the oscillator under test) and compare it against a perfect clock; every seconds record "over this -second gate, how much faster/slower was my average frequency than nominal", producing a string of fractional frequency deviations . The ordinary variance asks "how far are these from their grand mean" — but for flicker () and random-walk noise, the grand mean simply does not exist (it keeps drifting the longer you collect data), so the ordinary variance grows and grows without converging. Allan's trick: do not compare against the grand mean — compare only against the neighboring gate — . The adjacent subtraction cancels out the "slow drift", so even for flicker/RW noise the result converges and can be measured repeatably as a stable number. The price: it becomes a function of — the gate length you choose sets the time scale at which you probe stability.
ADEV is "phase noise in the time domain": the same physics (the same ), just viewed in a different coordinate. Below we connect the two sides step by step.
Step 1: the fractional frequency deviation and its PSD
First, define the protagonist. Let the instantaneous phase of the signal under test be , where is the excess phase (the random offset relative to the ideal linear phase, in rad). The instantaneous fractional frequency deviation (dimensionless) is defined as the time derivative of the phase deviation divided by the nominal angular frequency:
- Physical meaning: is "by what fraction the frequency right now exceeds the nominal frequency". means the frequency is off by 1 ppb (one part per billion).
- Unit check: is , is ; the ratio is dimensionless ✓. being dimensionless is exactly what "fractional" means.
Relation between the PSD of and the PSD of . Differentiation multiplies by in the frequency domain, so the power spectrum is multiplied by the squared magnitude . Hence (spec §11.2):
- Math used: for a stationary process , the PSD is multiplied by (the LTI filter ).
- Unit check: is ; multiplied by the dimensionless , has units (the PSD of a dimensionless quantity) ✓.
- Key marker: this is the adapter between "phase noise ↔ frequency noise" — the entire slope table below hinges on it. Differentiation adds 2 to the power of : (our signature ) corresponds to (white FM).
Step 2: definition of the two-sample (Allan) variance
Slice the continuous into gates of length ; the average fractional frequency of the -th gate is
Here is the time error (the accumulated time offset of the clock under test relative to an ideal clock, in s) — note that it is exactly the phase divided by , i.e. the of psd_phase_noise_jitter. So is nothing but "the difference of the time error at two adjacent instants, divided by the gate length".
The two-sample (Allan) variance is defined as the mean square of the difference between adjacent gated frequency averages, times (spec §11.2):
ADEV is its square root, .
- What the is for: if and are mutually independent, each with variance , then , and the factor restores exactly . In other words, for white FM (independent adjacent gates) this normalization makes ADEV equal to the classical standard deviation — Allan chose it deliberately so that in the most common case the two languages agree numerically.
- Why "adjacent differences": differencing is a high-pass operation that blocks DC and very low frequencies (slow drift, aging, the unknown grand mean). This is the secret of its convergence even for flicker/RW noise (detailed in Step 5).
- Unit check: dimensionless → dimensionless, dimensionless ✓.
Written as a "second difference" of the time error . Substituting , for adjacent gates ():
where and the sampling interval is . The numerator is exactly the second difference of the time error (a discrete second derivative). This is precisely what the line d = x[2m:] - 2*x[m:-m] + x[:-2m] does in the simulation script lab_19_allan.py.
Step 3: moving the definition to the frequency domain — the transfer-function kernel
The target we want to prove is (spec §11.2):
Derivation strategy: is the power of a linearly filtered signal, and the power after linear filtering . We only need to find the transfer function of the operation "from to " and compute its .
Step (i): gate averaging = convolution with a rectangular window. is convolved with a rectangular window of width and height , sampled at . The frequency response of the rectangular window is a sinc:
- Math used: rectangular window sinc (a basic Fourier-transform pair).
- is the normalized sinc; the prefactor is the linear phase due to the window center.
Step (ii): adjacent subtraction = multiplication by a first-difference kernel. shifts the same gate average by and subtracts, which in the frequency domain multiplies by , whose squared magnitude is
(Using the half-angle identity with .)
Step (iii): multiply the three pieces together. The overall operation (the is the square root of the in the definition) has the transfer-function magnitude squared:
Step (iv): apply Wiener–Khinchin (power = ∫ PSD × |H|²). Using the single-sided PSD ():
This is the frequency-domain integral of spec §11.2.
- Physical meaning: is a band-pass kernel: near it behaves like (high-pass, blocking slow drift), at high frequency like (low-pass, suppressing ultra-fast noise), with its peak near . Choosing means choosing which frequency band this band-pass looks at — large probes low frequencies, small high frequencies.
- Unit check: is , the kernel is dimensionless, is Hz; the integral is dimensionless → dimensionless ✓.
This is the bridge showing "time domain ↔ frequency domain are the same thing": given any , first convert it to via Step 1, then substitute into this integral to get ADEV; conversely, a measured ADEV can be inverted back to and . The entire slope table below is nothing but this integral evaluated for power laws .
Step 4: the ADEV slope table for the five power-law noise types
The frequency-standards community writes noise as a superposition of power laws (the power-law model). Each type is described by , with running from to . Substituting each into the Step-3 integral gives the characteristic slope . The table below is the core reference table of frequency metrology (PM = phase modulation, FM = frequency modulation):
| Noise type | slope | slope | ADEV | |
|---|---|---|---|---|
| white PM | ||||
| flicker PM | (with correction) | |||
| white FM | ||||
| flicker FM | (floor) | |||
| random-walk FM |
Note the single most important row: our signature white FM (, produced from white noise by phase integration; see white_noise_to_phase_noise) corresponds to an ADEV slope of . In other words, the dB/decade phase-noise skirt appears on the time-domain ADEV plot as a line of slope .
Why each slope is what it is
(a) white FM → (the one to remember). is white; is white noise. averages white noise over a gate — averaging independent samples of white noise reduces the variance by , hence and . Intuition: the longer you measure, the steadier the average — the standard error falls like ; this is the familiar law of "under white frequency noise, longer averaging is more accurate". Equivalently, white ⇒ the time error is a random walk; the variance of adjacent-gate differences , and dividing by gives .
(b) flicker FM → (the floor). ( frequency noise). The remarkable property of a process is scale invariance: it looks statistically the same at every time scale. Feed it into the band-pass kernel and the integral comes out independent of — ADEV becomes a horizontal line. Intuition: the device's (flicker) noise upconverts into phase noise (see flicker_noise_upconversion); in the time domain it becomes the floor where "no amount of extra averaging time makes you any more stable". This floor is the fundamental limit of long-term stability in quartz/atomic oscillators, known in engineering as the flicker floor.
(c) random-walk FM → (heading upward). ; itself is a random walk (integrated white noise). The longer the averaging time, the further itself has already wandered, so the adjacent-gate differences actually grow: , . Intuition: temperature drift, precursors of aging — low-frequency processes that "wander ever farther" — get worse the longer you measure. The right half of an ADEV plot bending upward is usually this.
(d) white PM and flicker PM → both (steepest, left side). PM-type noise is concentrated at high frequency (, ) and is strongly suppressed by the of the gate average, so it drops off quickly as is stretched: ADEV (steeper than white FM's ). Intuition: pure phase noise (e.g., additive white noise of the measurement system, buffer thermal noise) is prominent at small and gets averaged away at large . Note: white PM and flicker PM have the same ADEV slope (both ) and cannot be distinguished — this is a real weakness of ADEV, which motivated the improved MDEV (modified Allan deviation): under MDEV, white PM follows and flicker PM follows , making them separable (MDEV is an extension topic not developed here).
Mnemonic: from left to right, as grows from small to large, the ADEV slope walks — a bathtub curve that "drops, bottoms out, then climbs". The minimum at the bottom corresponds to the optimal averaging time — the to pick for the most stable measurement or timekeeping.
Step 5: why does the clock community use ADEV instead of the ordinary frequency variance?
This is the "why" at the heart of this page. Suppose you want the most intuitive description of frequency stability: take frequency samples and compute the ordinary sample variance (also called the N-sample / standard variance)
The problem is that it subtracts the "grand mean" .
For white FM, no problem. White FM is stationary, converges to the true value, and converges too, consistent with ADEV.
For flicker FM and random-walk FM it blows up. These two have strong (even divergent) low-frequency energy:
- They are non-ergodic in the mean: does not converge; the longer you measure and the larger gets, the more itself keeps drifting.
- Consequently grows monotonically with the sample count and never converges — the "frequency instability" you report depends on "how long you measured", which is a metrological disaster (not repeatable, not comparable).
- Mathematically: the equivalent kernel of the standard variance against behaves only like as (DC is not blocked); against or , the integrals and diverge at low frequency.
ADEV's fix: replace "subtract the grand mean" with "adjacent differences". Step 3 showed that ADEV's equivalent kernel behaves like as (