Finite-State Markov Chains obey Benford's Law

A sequence of real numbers (xn) is Benford if the significands, i.e. the fractionparts in the floating-point representation of (xn), are distributed logarithmically.Similarly, a discrete-time irreducible and aperiodic finite-state Markov chain withprobability transition matrix P and limiting matrix P* is Benford if every componentof both sequences of matrices (Pn - P*) and (Pn+1 - Pn) is Benford oreventually zero. Using recent tools that established Benford behavior both forNewton's method and for finite-dimensional linear maps, via the classical theoriesof uniform distribution modulo 1 and Perron-Frobenius, this paper derives asimple sufficient condition ('nonresonance') guaranteeing that P, or the Markovchain associated with it, is Benford. This result in turn is used to show thatalmost all Markov chains are Benford, in the sense that if the transition probabilitiesare chosen independently and continuously, then the resulting Markovchain is Benford with probability one. Concrete examples illustrate the variouscases that arise, and the theory is complemented with several simulations andpotential applications.