Lattice invariants for sofic shifts

1991 ◽  
Vol 11 (4) ◽  
pp. 787-801 ◽  
Author(s):  
Susan Williams

AbstractTo a factor map φ from an irreducible shift of finite type ΣAto a sofic shiftS, we associate a subgroup of the dimension group (GA, Â) which is an invariant of eventual conjugacy for φ. This invariant yields new necessary conditions for the existence of factor maps between equal entropy sofic shifts.

1993 ◽  
Vol 13 (1) ◽  
pp. 213-224 ◽  
Author(s):  
Paul Trow ◽  
Susan Williams

AbstractWe give constraints on the existence of factor maps between sofic shifts. These constraints yield examples of sofic shifts of entropy lognwhich do not factor onto the fulln-shift. We also show that any prime which divides the degree of an endomorphism of a sofic shift must divide the non-leading coefficients of the characteristic polynomial of the core matrix of the shift.


2020 ◽  
pp. 1-14
Author(s):  
KITTY YANG

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.


2010 ◽  
Vol 31 (6) ◽  
pp. 1889-1899 ◽  
Author(s):  
JISANG YOO

AbstractLet π be a factor map from an irreducible shift of finite type X to a shift space Y. Let ν be an invariant probability measure on Y with full support. We show that every measure on X of maximal relative entropy over ν is fully supported. As a result, given any invariant probability measure ν on Y with full support, there is an invariant probability measure μ on X with full support that maps to ν under π. If ν is ergodic, μ can be chosen to be ergodic. These results can be generalized to the case of sofic shifts. We demonstrate that the results do not extend to general shift spaces by providing counterexamples.


1991 ◽  
Vol 11 (2) ◽  
pp. 219-240 ◽  
Author(s):  
Jonathan Ashley

AbstractWe sharpen a result of Boyle, Marcus and Trow as follows. An aperiodic shift of finite type ΣAfactors onto another ΣBwith equal entropy by a 1-to-l almost everywhere right-closing map if and only if (1) the dimension group for ΣBis a quotient of that for ΣA; and (2) ΣAand ΣBsatisfy the trivial periodic point condition for existence of a shift-commuting map from ΣAto ΣB.


2014 ◽  
Vol 35 (8) ◽  
pp. 2353-2370 ◽  
Author(s):  
MAHSA ALLAHBAKHSHI ◽  
SOONJO HONG ◽  
UIJIN JUNG

Given a factor code ${\it\pi}$ from a shift of finite type $X$ onto a sofic shift $Y$, the class degree of ${\it\pi}$ is defined to be the minimal number of transition classes over the points of $Y$. In this paper, we investigate the structure of transition classes and present several dynamical properties analogous to the properties of fibers of finite-to-one factor codes. As a corollary, we show that for an irreducible factor triple, there cannot be a transition between two distinct transition classes over a right transitive point, answering a question raised by Quas.


2019 ◽  
Vol 40 (9) ◽  
pp. 2552-2570
Author(s):  
SCOTT SCHMIEDING

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.


2017 ◽  
Vol 39 (4) ◽  
pp. 865-888
Author(s):  
MAHSA ALLAHBAKHSHI ◽  
JOHN ANTONIOLI ◽  
JISANG YOO

Given a factor code $\unicode[STIX]{x1D70B}$ from a shift of finite type $X$ onto a sofic shift $Y$, an ergodic measure $\unicode[STIX]{x1D708}$ on $Y$, and a function $V$ on $X$ with sufficient regularity, we prove an invariant upper bound on the number of ergodic measures on $X$ which project to $\unicode[STIX]{x1D708}$ and maximize the measure pressure $h(\unicode[STIX]{x1D707})+\int V\,d\unicode[STIX]{x1D707}$ among all measures in the fiber $\unicode[STIX]{x1D70B}^{-1}(\unicode[STIX]{x1D708})$. If $\unicode[STIX]{x1D708}$ is fully supported, this bound is the class degree of $\unicode[STIX]{x1D70B}$. This generalizes a previous result for the special case of $V=0$ and thus settles a conjecture raised by Allahbakhshi and Quas.


2012 ◽  
Vol 33 (1) ◽  
pp. 144-157
Author(s):  
SOONJO HONG ◽  
UIJIN JUNG ◽  
IN-JE LEE

AbstractGiven a factor code between sofic shifts X and Y, there is a family of decompositions of the original code into factor codes such that the entropies of the intermediate subshifts arising from the decompositions are dense in the interval from the entropy of Y to that of X. Furthermore, if X is of finite type, we can choose those intermediate subshifts as shifts of finite type. In the second part of the paper, given an embedding from a shift space to an irreducible sofic shift, we characterize the set of the entropies of the intermediate subshifts arising from the decompositions of the given embedding into embeddings.


2013 ◽  
Vol 35 (3) ◽  
pp. 673-690 ◽  
Author(s):  
ALEXIS BALLIER

AbstractWe study limit sets of stable cellular automata from a symbolic dynamics point of view, where they are a special case of sofic shifts admitting a steady epimorphism. We prove that there exists a right-closing almost-everywhere steady factor map from one irreducible sofic shift onto another one if and only if there exists such a map from the domain onto the minimal right-resolving cover of the image. We define right-continuing almost-everywhere steady maps, and prove that there exists such a steady map between two sofic shifts if and only if there exists a factor map from the domain onto the minimal right-resolving cover of the image. To translate this into terms of cellular automata, a sofic shift can be the limit set of a stable cellular automaton with a right-closing almost-everywhere dynamics onto its limit set if and only if it is the factor of a full shift and there exists a right-closing almost-everywhere factor map from the sofic shift onto its minimal right-resolving cover. A sofic shift can be the limit set of a stable cellular automaton reaching its limit set with a right-continuing almost-everywhere factor map if and only if it is the factor of a full shift and there exists a factor map from the sofic shift onto its minimal right-resolving cover. Finally, as a consequence of the previous results, we provide a characterization of the almost of finite type shifts (AFT) in terms of a property of steady maps that have them as range.


2014 ◽  
Vol 36 (2) ◽  
pp. 375-389 ◽  
Author(s):  
JOHN ANTONIOLI

Let ${\it\pi}:X\rightarrow Y$ be an infinite-to-one factor map, where $X$ is a shift of finite type. A compensation function relates equilibrium states on $X$ to equilibrium states on $Y$. The $p$-Dini condition is given as a way of measuring the smoothness of a continuous function, with $1$-Dini corresponding to functions with summable variation. Two types of compensation functions are defined in terms of this condition. Given a fully supported invariant measure ${\it\nu}$ on $Y$, we show that the relative equilibrium states of a $1$-Dini function $f$ over ${\it\nu}$ are themselves fully supported, and have positive relative entropy. We then show that there exists a compensation function which is $p$-Dini for all $p>1$ which has relative equilibrium states supported by a subshift on which ${\it\pi}$ is a finite-to-one map onto $Y$.


Sign in / Sign up

Export Citation Format

Share Document