Recipes for degrees of freedom of frequency stability estimators

The Allan variance for an averaging time τ can be estimated either from all available phase samples or from a subgrid of samples with spacing τ. The author gives a set of computational recipes that yield the variance of both estimators, with less than 2% error, for the five power-law components of the classical continuous-time clock noise model