Non-negative integral matrices with given spectral radius and controlled dimension

A celebrated theorem of Douglas Lind states that a positive real number is equal to the spectral radius of some integral primitive matrix, if and only if, it is a Perron algebraic integer. Given a Perron number p, we prove that there is an integral irreducible matrix with spectral radius p, and with dimension bounded above in terms of the algebraic degree, the ratio of the first two largest Galois conjugates, and arithmetic information about the ring of integers of its number field. This arithmetic information can be taken to be either the discriminant or the minimal Hermite-like thickness. Equivalently, given a Perron number p, there is an irreducible shift of finite type with entropy $\log (p)$ defined as an edge shift on a graph whose number of vertices is bounded above in terms of the aforementioned data.

Normal amenable subgroups of the automorphism group of sofic shifts

Let $(X,\unicode[STIX]{x1D70E})$ be a transitive sofic shift and let $\operatorname{Aut}(X)$ denote its automorphism group. We generalize a result of Frisch, Schlank, and Tamuz to show that any normal amenable subgroup of $\operatorname{Aut}(X)$ must be contained in the subgroup generated by the shift. We also show that the result does not extend to higher dimensions by giving an example of a two-dimensional mixing shift of finite type due to Hochman whose automorphism group is amenable and not generated by the shift maps.

Entropy Bifurcation of Neural Networks on Cayley Trees

It has been demonstrated that excitable media with a tree structure performed better than other network topologies, therefore it is natural to consider neural networks defined on Cayley trees. The investigation of a symbolic space called tree-shift of finite type is important when it comes to the discussion of the equilibrium solutions of neural networks on Cayley trees. Entropy is a frequently used invariant for measuring the complexity of a system, and constant entropy for an open set of coupling weights between neurons means that the specific network is stable. This paper gives a complete characterization of entropy spectrum of neural networks on Cayley trees and reveals whether the entropy bifurcates when the coupling weights change.

Topological entropy of Markov set-valued functions

We investigate the entropy for a class of upper semi-continuous set-valued functions, called Markov set-valued functions, that are a generalization of single-valued Markov interval functions. It is known that the entropy of a Markov interval function can be found by calculating the entropy of an associated shift of finite type. In this paper, we construct a similar shift of finite type for Markov set-valued functions and use this shift space to find upper and lower bounds on the entropy of the set-valued function.

CUNTZ–KRIEGER ALGEBRAS AND ONE-SIDED CONJUGACY OF SHIFTS OF FINITE TYPE AND THEIR GROUPOIDS

A one-sided shift of finite type $(\mathsf{X}_{A},\unicode[STIX]{x1D70E}_{A})$ determines on the one hand a Cuntz–Krieger algebra ${\mathcal{O}}_{A}$ with a distinguished abelian subalgebra ${\mathcal{D}}_{A}$ and a certain completely positive map $\unicode[STIX]{x1D70F}_{A}$ on ${\mathcal{O}}_{A}$. On the other hand, $(\mathsf{X}_{A},\unicode[STIX]{x1D70E}_{A})$ determines a groupoid ${\mathcal{G}}_{A}$ together with a certain homomorphism $\unicode[STIX]{x1D716}_{A}$ on ${\mathcal{G}}_{A}$. We show that each of these two sets of data completely characterizes the one-sided conjugacy class of $\mathsf{X}_{A}$. This strengthens a result of Cuntz and Krieger. We also exhibit an example of two irreducible shifts of finite type which are eventually conjugate but not conjugate. This provides a negative answer to a question of Matsumoto of whether eventual conjugacy implies conjugacy.

Automorphisms of the shift: Lyapunov exponents, entropy, and the dimension representation

Let $(X_{A},\unicode[STIX]{x1D70E}_{A})$ be a shift of finite type and $\text{Aut}(\unicode[STIX]{x1D70E}_{A})$ its corresponding automorphism group. Associated to $\unicode[STIX]{x1D719}\in \text{Aut}(\unicode[STIX]{x1D70E}_{A})$ are certain Lyapunov exponents $\unicode[STIX]{x1D6FC}^{-}(\unicode[STIX]{x1D719}),\unicode[STIX]{x1D6FC}^{+}(\unicode[STIX]{x1D719})$, which describe asymptotic behavior of the sequence of coding ranges of $\unicode[STIX]{x1D719}^{n}$. We give lower bounds on $\unicode[STIX]{x1D6FC}^{-}(\unicode[STIX]{x1D719}),\unicode[STIX]{x1D6FC}^{+}(\unicode[STIX]{x1D719})$ in terms of the spectral radius of the corresponding action of $\unicode[STIX]{x1D719}$ on the dimension group associated to $(X_{A},\unicode[STIX]{x1D70E}_{A})$. We also give lower bounds on the topological entropy $h_{\text{top}}(\unicode[STIX]{x1D719})$ in terms of a distinguished part of the spectrum of the action of $\unicode[STIX]{x1D719}$ on the dimension group, but show that, in general, $h_{\text{top}}(\unicode[STIX]{x1D719})$ is not bounded below by the logarithm of the spectral radius of the action of $\unicode[STIX]{x1D719}$ on the dimension group.

The Chaotic Properties of Increasing Gap Shifts

It is well known that locally everywhere onto, totally transitive, and topologically mixing are equivalent on shift of finite type. It turns out that this relation does not hold true on shift of infinite type. We introduce the increasing gap shift and determine its chaotic properties. The increasing gap shift and the sigma star shift serve as counterexamples to show the relation between the three chaos notions on shift of infinite type.