The paper explores a concept called "neutral measures," which are mathematical probability distributions with a special property: they assign positive probability to every possible infinite sequence of 0s and 1s. Think of it like a coin-flipping process where no outcome, no matter how unusual or patterned, is considered truly impossible. The paper carefully builds up the mathematical framework for understanding what it means for a sequence to be "random," drawing on classical ideas from algorithmic information theory and connecting them to these neutral measures. The authors prove that neutral measures actually exist, using tools called continuous semimeasures, which are slightly more general probability-like objects that allow for careful limiting arguments.
The central technical contribution is the construction of specific "randomness tests" tailored to neutral measures. In the classical theory of randomness, a test is a way of identifying sequences that behave unusually or non-randomly. Here, the authors design tests that can enforce desirable structural properties on neutral measures, essentially filtering out measures that fail to meet certain standards of regularity or fairness. This gives a flexible toolkit for studying and constructing measures with prescribed behaviors, going beyond the standard settings in which randomness theory is usually applied.
As a concrete application, the authors use this framework to prove the existence of Gibbs measures for a broad class of physical models. Gibbs measures are probability distributions that describe the equilibrium states of physical systems, such as arrangements of magnetic spins on a lattice, where the energy is determined by interactions between nearby sites. Showing their existence for a large family of such systems is a meaningful result in mathematical physics, and connecting them to neutral measures provides a new perspective linking statistical mechanics to the theory of algorithmic randomness.