Abstract:In this paper, we introduce saturation and semisaturation functions of sequences, and we prove a number of fundamental results about these functions. Given any forbidden sequence $u$ with $r$ distinct letters, we say that a sequence $s$ on a given alphabet is $u$-saturated if $s$ is $r$-sparse, $u$-free, and adding any letter from the alphabet to $s$ violates $r$-sparsity or induces a copy of $u$. We say that $s$ is $u$-semisaturated if $s$ is $r$-sparse and adding any letter from the alphabet to $s$ violates $r$-sparsity or induces a new copy of $u$. Let the saturation function $\operatorname{Sat}(u, n)$ denote the minimum possible length of a $u$-saturated sequence on an alphabet of size $n$, and let the semisaturation function $\operatorname{Ssat}(u, n)$ denote the minimum possible length of a $u$-semisaturated sequence on an alphabet of size $n$. For alternating sequences of the form $a b a b \dots$, we determine the saturation functions up to a multiplicative factor of $2$, and we determine the semisaturation functions up to the leading term. We demonstrate a dichotomy for the semisaturation functions of sequences: for any sequence $u$, we have $\operatorname{Ssat}(u, n) = O(1)$ if and only if the first letter and the last letter of $u$ each occur exactly once, and otherwise we have $\operatorname{Ssat}(u, n) = \Theta(n)$. For the saturation function, we show that every sequence $u$ has either $\operatorname{Sat}(u, n) \ge n$ for every positive integer $n$ or $\operatorname{Sat}(u, n) = O(1)$. We prove that every sequence $u$ in which every letter occurs at least twice has $\operatorname{Sat}(u, n) \ge n$, and we show that $\operatorname{Sat}(u, n) = \Theta(n)$ or $\operatorname{Sat}(u, n) = O(1)$ for every sequence $u$ with $2$ distinct letters.

Closed, Palindromic, Rich, Privileged, Trapezoidal, and Balanced Words in Automatic Sequences

Opacity complexity of automatic sequences. The general case

The reflection complexity of sequences over finite alphabets

Transduction of Automatic Sequences and Applications

Dyck Words, Pattern Avoidance, and Automatic Sequences

Arithmetical subword complexity of automatic sequences

The Logic of Sequences

Additive word complexity and Walnut

Palindromic length complexity and a generalization of Thue-Morse sequences

Sequence saturation

Characterizing morphic sequences

Decision Procedures for Sequence Theories (Technical Report)

Alternating parity weak sequencing

Rich, Sturmian, and trapezoidal words

Some Remarks on Palindromic Periodicities

Words with many palindrome pair factors

On the $N$th linear complexity of automatic sequences

Congruence properties of combinatorial sequences via Walnut and the Rowland-Yassawi-Zeilberger automaton

Realizability of Some Combinatorial Sequences

On the Orthogonality of Generalized Pattern Sequences