arXiv++ Combinatorics

A subshift of finite type over finitely many symbols can be described as a collection of all infinite walks on a digraph with at most a single edge from a vertex to another. The associated finite set $\F$ of forbidden words is a constraint which determines the language of the shift entirely. In this paper, in order to describe infinite walks on a multigraph, we introduce the notion of multiplicity of a word (finite walk) and define repeated words as those having multiplicity at least $2$. In general, for given collections $\F$ of forbidden words and $\R$ of repeated words with pre-assigned multiplicities, we define notion of a generalized language which is a multiset. We obtain a subshift associated with $\F$ and $\R$ such that its entropy is calculated using the generalized language. We also study the relationship between the language of this subshift and the generalized language. We then obtain a combinatorial expression for the generating function that enumerates the number of words of fixed length in this generalized language. This gives the Perron root and eigenvectors of the adjacency matrix with integer entries associated to the underlying multigraph. Using this, the topological entropy and an alternate definition of Parry measure for the associated edge shift are obtained. We also discuss some properties of Markov measures on this subshift.

In this paper, we describe the relationship between the Perron root and eigenvectors of an irreducible subshift of finite type with the correlation between the forbidden words in the subshift. In particular, we derive an expression for the Perron eigenvectors of the associated adjacency matrix. As an application, we obtain the Perron eigenvectors for irreducible $(0,1)$ matrices which are adjacency matrices for directed graphs. Moreover, we derive an alternate definition of the Parry measure in ergodic theory on an irreducible subshift of finite type.