Abstract:The Nottingham group at 2 is the group of (formal) power series $t+a_2 t^2+ a_3 t^3+ \cdots$ in the variable $t$ with coefficients $a_i$ from the field with two elements, where the group operation is given by composition of power series. The depth of such a series is the largest $d\geq 1$ for which $a_2=\dots=a_d=0$. Only a handful of power series of finite order are explicitly known through a formula for their coefficients. We argue in this paper that it is advantageous to describe such series in closed computational form through automata, based on effective versions of proofs of Christol's theorem identifying algebraic and automatic series. Up to conjugation, there are only finitely many series $\sigma$ of order $2^n$ with fixed break sequence (i.e. the sequence of depths of $\sigma^{\circ 2^i}$). Starting from Witt vector or Carlitz module constructions, we give an explicit automaton-theoretic description of: (a) representatives up to conjugation for all series of order 4 with break sequence (1,m) for m<10; (b) representatives up to conjugation for all series of order 8 with minimal break sequence (1,3,11); and (c) an embedding of the Klein four-group into the Nottingham group at 2. We study the complexity of the new examples from the algebro-geometric properties of the equations they satisfy. For this, we generalise the theory of sparseness of power series to a four-step hierarchy of complexity, for which we give both Galois-theoretic and combinatorial descriptions. We identify where our different series fit into this hierarchy. We construct sparse representatives for the conjugacy class of elements of order two and depth $2^\mu \pm 1$ $(\mu \geq 1)$. Series with small state complexity can end up high in the hierarchy. This is true, for example, for a new automaton we found, representing a series of order 4 with 5 states, the minimal possible number for such a series.

Pointwise order of generalized Hofstadter functions $G, H$ and beyond

On Hofstadter's G-sequence

Exact Green's functions of generalized Fibonacci lattices

The generalized Frobenius problem via restricted partition functions

Morphic Words and Nested Recurrence Relations

On Generalized Pfaffians

Generalized fusible numbers and their ordinals

Generalized Galois Numbers, Inversions, Lattice Paths, Ferrers Diagrams and Limit Theorems

Tutte Polynomials and Related Asymptotic Limiting Functions for Recursive Families of Graphs

Gossiping and routing in second-kind Frobenius graphs

Functional graphs of generalized cyclotomic mappings of finite fields

Continued fractions and generalized patterns

Lattice Paths and Branched Continued Fractions: An Infinite Sequence of Generalizations of the Stieltjes–Rogers and Thron–Rogers Polynomials, with Coefficientwise Hankel-Total Positivity

A generalized Fibonacci spiral

The First Cobalt Single-Molecule Magnet

Automata and finite order elements in the Nottingham group

A higher-order generalization of group theory

Standard Lyndon loop words: weighted orders

Continued fractions using a Laguerre digraph interpretation of the Foata--Zeilberger bijection and its variants

Quantitative bounds for Gowers uniformity of the Möbius and von Mangoldt functions

HofstadterTools: A Python package for analyzing the Hofstadter model