arXiv++ Combinatorics

Given a finite word $w$, Guibas and Odlyzko (J. Combin. Theory Ser. A, 30, 1981, 183-208) showed that the autocorrelation polynomial $φ_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.

Let $\mathcal H$ be a finite connected undirected graph and $\mathcal H_{walk}$ be the graph of bi-infinite walks on $\mathcal H$; two such walks $\{x_i\}_{i\in \mathbb Z}$ and $\{y_i\}_{i \in \mathbb Z}$ are said to be adjacent if $x_i$ is adjacent to $y_i$ for all $i \in \mathbb Z$. We consider the question: Given a graph $\mathcal H$ when is the diameter (with respect to the graph metric) of $\mathcal H_{walk}$ finite? Such questions arise while studying mixing properties of hom-shifts (shift spaces which arise as the space of graph homomorphisms from the Cayley graph of $\mathbb Z^d$ with respect to the standard generators to $\mathcal H$) and are the subject of this paper.

A method for computing lower bounds on capacities of 2-dimensional constraints having a symmetric presentation in either the horizontal or the vertical direction is presented. The method is a generalization of the method of Calkin and Wilf (SIAM J. Discrete Math., 1998). Previous best lower bounds on capacities of certain constraints are improved using the method. It is also shown how this method, as well as their method for computing upper bounds on the capacity, can be applied to constraints which are not of finite-type. Additionally, capacities of 2 families of multi-dimensional constraints are given exactly.