On the measurement of frequency and of its sample variance with high-resolution counters

14 pages, 5 figures, 1 table, 18 referencesA frequency counter measures the input frequency $\bar{\nu}$ averaged over a suitable time $\tau$, versus the reference clock. High resolution is achieved by interpolating the clock signal. Further increased resolution is obtained by averaging multiple frequency measurements highly overlapped. In the presence of additive white noise or white phase noise, the square uncertainty improves from $\smash{\sigma^2_\nu\propto1/\tau^2}$ to $\smash{\sigma^2_\nu\propto1/\tau^3}$. Surprisingly, when a file of contiguous data is fed into the formula of the two-sample (Allan) variance $\smash{\sigma^2_y(\tau)=\mathbb{E}\{\frac12(\bar{y}_{k+1}-\bar{y}_k) ^2\}}$ of the fractional frequency fluctuation $y$, the result is the \emph{modified} Allan variance mod $\sigma^2_y(\tau)$. But if a sufficient number of contiguous measures are averaged in order to get a longer $\tau$ and the data are fed into the same formula, the results is the (non-modified) Allan variance. Of course interpretation mistakes are around the corner if the counter internal process is not well understood