Abstract:Given a finite word $w$, Guibas and Odlyzko (J. Combin. Theory Ser. A, 30, 1981, 183-208) showed that the autocorrelation polynomial $\phi_w(t)$ of $w$, which records the set of self-overlaps of $w$, explicitly determines for each $n$, the number $|B_n(w)|$ of words of length $n$ that avoid $w$. We consider this and related problems from the viewpoint of symbolic dynamics, focusing on the setting of $X_{\{w\}}$, the space of all bi-infinite sequences that avoid $w$. We first summarize and elaborate upon (J. Combin. Theory Ser. A, 30, 1981, 183-208) and other work to show that the sequence $|B_n(w)|$ is equivalent to several invariants of $X_{\{w\}}$. We then give a finite-state labeled graphical representation $L_w$ of $X_{\{w\}}$ and show that $w$ can be recovered from the graph isomorphism class of the unlabeled version of $L_w$. Using $L_w$, we apply ideas from probability and Perron-Frobenius theory to obtain results comparing features of $X_{\{w\}}$ for different $w$. Next, we give partial results on the problem of classifying the spaces $X_{\{w\}}$ up to conjugacy. Finally, we extend some of our results to spaces of multi-dimensional arrays that avoid a given finite pattern.

A natural bijection for contiguous pattern avoidance in words

The Complexity of Unavoidable Word Patterns

Doubled patterns are $3$-avoidable

Avoidance of vincular patterns by Catalan words

Pattern avoidance in nonnesting permutations

Non-Contiguous Pattern Avoidance in Binary Trees

Combinatorial generation via permutation languages. VI. Binary trees

Consecutive pattern-avoidance in Catalan words according to the last symbol

Pattern Avoidance of Generalized Permutations

Powers of permutations that avoid chains of patterns

On the enumeration of permutations avoiding chains of patterns

On the permutations that strongly avoid the pattern 312 or 231

Enumeration of non-crossing partitions according to subwords with repeated letters

Asymptotic enumeration of permutations avoiding generalized patterns

Consecutive Pattern Containment and c-Wilf Equivalence

Pattern avoidance and the fundamental bijection

A ternary square-free sequence avoiding factors equivalent to $abcacba$

Shifts of Finite Type Obtained by Forbidding a Single Pattern

Pattern-avoiding Cayley permutations via combinatorial species

Cyclically consecutive permutation avoidance

More characterizations of morphic words