On Normality and Equidistribution for Separator Enumerators
Subin Pulari
TL;DR
The paper investigates whether $f$-normality, defined via a representation-driven finite-state dimension with separator enumerators, can be characterized by equidistribution properties of the best-approximation-from-below sequence. It first proves a strong negative result: there exist computable $f_0,f_1$ and $x$ with identical $a_n^{f}(x)$ yet drastically different $f$-dimensions, ruling out a universal equidistribution criterion across all enumerators. It then identifies a natural structured regime—finite-state coherent enumerators obtained by invertible synchronous Mealy relabelings—where a complete equidistribution characterization holds: $f$-normality is equivalent to $k$-adic equidistribution of $(k^{n}a_n^{f}(x))$, aligning with base-$k$ normality. The work connects the representation-based framework to classical randomness notions and clarifies when equidistribution criteria can be used, while outlining directions for extending these results beyond the coherent regime.
Abstract
A separator is a countable dense subset of $[0,1)$, and a separator enumerator is a naming scheme that assigns a real number in $[0,1)$ to each finite word so that the set of all named values is a separator. Mayordomo introduced separator enumerators to define $f$-normality and a relativized finite-state dimension $\dim^{f}_{\mathrm{FS}}(x)$, where finite-state dimension measures the asymptotic lower rate of finite-state information needed to approximate $x$ through its $f$-names. This framework extends classical base-$k$ normality, and Mayordomo showed that it supports a point-to-set principle for finite-state dimension. This representation-based viewpoint has since been developed further in follow-up work, including by Calvert et al., yielding strengthened randomness notions such as supernormal and highly normal numbers. Mayordomo posed the following open question: can $f$-normality be characterized via equidistribution properties of the sequence $\left(|Σ|^{n} a^{f}_{n}(x)\right)_{n=0}^{\infty}$, where $a^{f}_{n}(x)$ is the sequence of best approximations to $x$ from below induced by $f$? We give a strong negative answer: we construct computable separator enumerators $f_0,f_1$ and a point $x$ such that $a^{f_0}_{n}(x)=a^{f_1}_{n}(x)$ for all $n$, yet $\dim^{f_0}_{\mathrm{FS}}(x)=0$ while $\dim^{f_1}_{\mathrm{FS}}(x)=1$. Consequently, no criterion depending only on the sequence $\left(|Σ|^{n} a^{f}_{n}(x)\right)_{n=0}^{\infty}$ - in particular, no equidistribution property of this sequence - can characterize $f$-normality uniformly over all separator enumerators. On the other hand, for a natural finite-state coherent class of separator enumerators we recover a complete equidistribution characterization of $f$-normality.