arXiv++ Combinatorics

We introduce the notion of the Automatic Logarithm $\mathcal L_{\mathcal A, \mathcal B}$ with the purpose of studying the expanding properties of Schreier graphs of action of the group generated by two finite initial Mealy automata $\mathcal A$ and $\mathcal B$ on the levels of a regular $d$-ary rooted tree $\mathcal T$, where $\mathcal A$ is level-transitive and of bounded activity. $\mathcal L_{\mathcal A, \mathcal B}$ computes the lengths of chords in this family of graphs. Formally, $\mathcal L$ is a map $\partial \mathcal T \rightarrow \mathbb{Z}_d$ from the boundary of the tree to the integer $p$-adics whose values are determined by a Moore machine. The distribution of its outputs yields a probabilistic measure $μ$ on $\partial \mathcal T$, which in some cases can be computed by a Mealy-type machine (we then say that $μ$ is finite-state). We provide a criterion to determine whether $μ$ is finite-state. A number of examples illustrating the different cases with $\mathcal A$ being the adding machine is provided.

Let $D$ denote a disk of unit area. We call a subset $A$ of $D$ perfect if it has measure 1/2 and, with respect to any axial symmetry of $D$, the maximal symmetric subset of $A$ has measure 1/4. We call a curve $β$ in $D$ an yin-yang line if $β$ splits $D$ into two congruent perfect sets, $β$ crosses each concentric circle of $D$ twice, $β$ crosses each radius of $D$ once. We prove that Fermat's spiral is a unique yin-yang line in the class of smooth curves algebraic in polar coordinates.