We describe a pair of invariants for actions of finite groups on shifts of finite type, the left-reduced and right-reduced shifts. The left-reduced shift was first constructed by U. Fiebig, who showed that its zeta function is an invariant, and in fact equal to the zeta function of the quotient dynamical system. We also give conditions for expansivity of the quotient, and applications to combinatorial group theory, knot theory and topological quantum field theory.
In a previous paper by the author, it was shown that the One sided Dyck is uniquely ergodic with respect to the one sided-tail relation, where the tail invariant probability is also shift invariant and obtains the topological entropy. In this paper we show that the two sided Dyck has a double-tail invariant probability, which is also shift invariant, with entropy strictly less than the topological entropy. We also prove that this probability, along with the two equilibrium probabilities of the Dyck shift are the only ergodic double-tail invariant probabilities for the Dyck shift.
We prove that a shift ergodic measure on a topologically mixing sub-shift is isomorphic to a Bernoulli shift whenever it is quasi invariant under permutations of finite number of coordinates. We prove also that Gibbs measures on topologically mixing subshift of finite type are quasi invariant.
We introduce a new computable invariant for strong shift equivalence of shifts of finite type. The invariant is based on an invariant introduced by Trow, Boyle, and Marcus, but has the advantage of being readily computable. We summarize briefly a large-scale numerical experiment aimed at deciding strong shift equivalence for shifts of finite type given by irreducible $2\times 2$-matrices with entry sum less than 25, and give examples illustrating to power of the new invariant, i.e., examples where the new invariant can disprove strong shift equivalence whereas the other invariants that we use …
We show that the one-sided Dyck shift has a unique tail invariant topologically $σ$-finite measure (up to scaling). This invariant measure of the one sided Dyck turns out to be a shift-invariant probability. Furthermore, it is one of the two ergodic probabilities obtaining maximal entropy. For the two sided Dyck shift we show that there are exactly three ergodic double-tail invariant probabilities. We show that the two sided Dyck has a double-tail invariant probability, which is also shift invariant, with entropy strictly less than the topological entropy.
We give a sufficient condition for a symbolic topological dynamical system with action of a countable amenable group to be an extension of the full shift, a problem analogous to those studied by Ashley, Marcus, Johnson and others for actions of $\mathbb{Z}$ and $\mathbb{Z}^d$ .
We show that if $G$ is a a countable amenable group with the comparison property, and $X$ is a strongly irreducible $G$-shift satisfying certain aperiodicity conditions, then $X$ factors onto the full $G$-shift over $N$ symbols, so long as the logarithm of $N$ is less than the topological entropy of $G$.
We consider a family of homoclinic groups and Gordin's type invariants of measure-preserving actions, state their connections with factors, full groups, ranks, rigidity, multiple mixing and realize such invariants in the class of Gaussian and Poisson suspensions.
Previous work introduced two measure-conjugacy invariants: the $f$-invariant (for actions of free groups) and $Σ$-entropy (for actions of sofic groups). The purpose of this paper is to show that the $f$-invariant is a special case of $Σ$-entropy. There are two applications: the $f$-invariant is invariant under group automorphisms and there is a uniform lower bound on the $f$-invariant of a factor in terms of the original system.
We prove that every face in the simplex of invariant measures on a zero-dimensional dynamical system with free action of an amenable group $G$ can be modeled as the entire simplex of invariant measures on some other zero-dimensional dynamical system with free action of $G$.
We prove that for certain actions of a discrete countable residually finite amenable group acting on a compact metric space with specification property, periodic measures are dense in the set of invariant measures.
We will characterize topological conjugacy classes of one-sided topological Markov shifts in terms of the associated Cuntz--Krieger algebras and its gauge actions with potentials.
We prove that if a Borel probability measure (μ) on (\T) is invariant under the action of a "large" multiplicative semigroup (lower logarithmic density is positive) and the action of the whole semigroup is ergodic then (μ) is either Lebesgue or has finite support.
We will study torus actions on Cuntz--Krieger algebras trivially acting on its canonical maximal abelian $C^*$-subalgebras from the view points of continuous orbit equivalence of one-sided topological Markov shifts and flow equivalence of two-sided topological Markov shifts.
We construct a collection of numerical invariants for approximately transitive (AT) actions (of $\Z$). We use them (sometimes supplemented by other invariants to show that members of various one-parameter families of AT actions are mutually non-isomorphic.
We prove that every smooth action of Z^k, k>1, on the (k+1)-dimensional torus homotopic to an action by hyperbolic linear maps preserves an absolutely continuous measure. This is a first known result concerning abelian groups of diffeomorphisms where existence of an invariant geometric structure is obtained from homotopy data.
We prove that if a free ergodic action of a countably infinite group has positive Rokhlin entropy (or, less generally, positive sofic entropy) then it factors onto all Bernoulli shifts of lesser or equal entropy. This extends to all countably infinite groups the well-known Sinai factor theorem from classical entropy theory.
In this note, we give a nature action of the modular group on the ends of the infinite (p + 1)-cayley tree, for each prime p. We show that there is a unique invariant probability measure for each p.
We study a measure entropy for finitely generated free group actions called f-invariant entropy. The f-invariant entropy was developed by Lewis Bowen and is essentially a special case of his measure entropy theory for actions of sofic groups. In this paper we relate the f-invariant entropy of a finitely generated free group action to the f-invariant entropy of the restricted action of a subgroup. We show that the ratio of these entropies equals the index of the subgroup. This generalizes a well known formula for the Kolmogorov--Sinai entropy of amenable group actions. We then extend the defini…
We are concerned with sets of generic points for shift-invariant measures in the countable symbolic space. We measure the sizes of the sets by the Billingsley-Hausdorff dimensions defined by Gibbs measures. It is shown that the dimension of such a set is given by a variational principle involving the convergence exponent of the Gibbs measure and the relative entropy dimension of the Gibbs measure with respect to the invariant measure. This variational principle is different from that of the case of finite symbols, where the convergent exponent is zero and is not involved. An application is giv…
This paper investigates the periodic points of the Gauss type shifts associated to the even continued fraction (Schweiger) and to the backward continued fraction (Rényi). We show that they coincide exactly with two sets of quadratic irrationals that we call $E$-reduced, and respectively $B$-reduced. We prove that these numbers are equidistributed with respect to the (infinite) Lebesgue absolutely continuous invariant measures of the corresponding Gauss shift.
The class of normal subshifts includes irreducible infinite topological Markov shifts, irreducible infinite sofic shifts, synchronized systems, Dyck shifts, $β$-shifts, substitution minimal shifts, and so on. We will characterize one-sided topological conjugacy classes of normal subshifts in terms of the associated $C^*$-algebras and its gauge actions with potentials.
It is well known that the space of invariant probability measures for transitive sub-shifts of finite type is a Poulsen simplex. In this article we prove that in the non-compact setting, for a large family of transitive countable Markov shifts, the space of invariant sub-probability measures is a Poulsen simplex and that its extreme points are the ergodic invariant probability measures together with the zero measure. In particular we obtain that the space of invariant probability measures is a Poulsen simplex minus a vertex and the corresponding convex combinations. Our results apply to finite…
We show that weak containment of free ergodic measure-preserving actions of $\mathbf{F}_\infty$ is not equivalent to weak containment of the corresponding Koopman representations. This result is based on the construction of an invariant random subgroup of $\mathbf{F}_\infty$ which is supported on the maximal actions.
We prove that the Karoubi envelope of a shift --- defined as the Karoubi envelope of the syntactic semigroup of the language of blocks of the shift --- is, up to natural equivalence of categories, an invariant of flow equivalence. More precisely, we show that the action of the Karoubi envelope on the Krieger cover of the shift is a flow invariant. An analogous result concerning the Fischer cover of a synchronizing shift is also obtained. From these main results, several flow equivalence invariants --- some new and some old --- are obtained. We also show that the Karoubi envelope is, in a natur…
We prove that for any countable group G there exists a free minimal continuous action of G on the Cantor set admitting an invariant Borel probability measure.
The obstruction to the existence of global action-angle coordinates of Abelian and noncommutative (non-Abelian) completely integrable systems with compact invariant submanifolds has been studied. We extend this analysis to the case of noncompact invariant submanifolds.
We proved the existence of invariant tori in differentiable Hamiltonian vector fields without action-angle variables. It is a generalization of the result of [Llave, 2005] that deals with analytic vector fields.
