Efficient Constructions of Finite-State Independent Normal Pairs

TL;DR

This paper presents efficient algorithms for constructing pairs of normal infinite words that are finite-state independent, ensuring their interleavings via any finite automaton remain normal, thus advancing the understanding of algorithmic independence in infinite sequences.

Contribution

It provides the first polynomial-time algorithm for constructing finite-state independent normal pairs and explicitly constructs a normal word independent of any given normal word.

Findings

Polynomial-time algorithm for constructing normal pairs

Explicit construction of a normal word independent of a given normal word

Ensures all finite-state shuffles of the constructed pairs are normal

Abstract

Finite-state independence is a robust notion of algorithmic independence for infinite words. It was introduced for general infinite words by Becher, Carton, and Heiber via deterministic asynchronous two-tape finite automata. \'Alvarez, Becher, and Carton then studied the normal case and characterized finite-state independence in terms of deterministic finite-state shufflers. A shuffler is a finite automaton that reads from two input tapes $x,y\in\Sigma^\infty$ and, at each step, chooses one tape to read next, outputs the symbol read, and updates its state based only on that output symbol. In terms of this characterization, two normal sources are finite-state independent if every deterministic finite-state way of shuffling (interleaving) them still produces a normal sequence. \'Alvarez, Becher, and Carton posed the following questions: (1) can one compute finite-state independent normal pairs efficiently, improving their doubly-exponential procedure; and (2) given a normal word $x$, can one effectively construct a normal word $y$ that is finite-state independent from $x$? We answer both questions by explicit deterministic constructions. First, we give a deterministic polynomial-time algorithm that, on input $N$, outputs the first $N$ symbols of two normal words $x$ and $y$ such that for every shuffler $S$, the shuffled output $S(x,y)$ is normal; hence $(x,y)$ is finite-state independent. Second, we solve the one-sided companion problem effectively. Given any computable normal word $x\in\Sigma^\infty$, we give an explicit deterministic construction of a computable normal word $y\in\Sigma^\infty$ such that for every shuffler $S$, the shuffled output $S(x,y)$ is normal. In particular, $x$ and $y$ are finite-state independent by the shuffler characterization theorem.