Strictly ergodic Toeplitz $\mathbb{Z}^d$-subshifts with arbitrary entropy

Jamal Drewlo

2024-10-29

Abstract:In this work, we present a comprehensive construction that proves the existence of strictly ergodic Toeplitz $\mathbb{Z}^d$-subshifts which admit arbitrary given entropy. Moreover, any of these constructed subshifts will have the same maximal equicontinuous factor.

Dynamical Systems

What problem does this paper attempt to address?

Ergodic theory on coded shift spaces

Tamara Kucherenko,Martin Schmoll,Christian Wolf

2024-07-10

Abstract:We study ergodic-theoretic properties of coded shift spaces. A coded shift space is defined as a closure of all bi-infinite concatenations of words from a fixed countable generating set. We derive sufficient conditions for the uniqueness of measures of maximal entropy and equilibrium states of Hoelder continuous potentials based on the partition of the coded shift into its concatenation set (sequences that are concatenations of generating words) and its residual set (sequences added under the closure). In this case we provide a simple explicit description of the measure of maximal entropy. We also obtain flexibility results for the entropy on the concatenation and residual sets. Finally, we prove a local structure theorem for intrinsically ergodic coded shift spaces which shows that our results apply to a larger class of coded shift spaces compared to previous works by Climenhaga, Climenhaga and Thompson, and Pavlov.

Dynamical Systems
Ergodic optimization for continuous functions on non-Markov shifts

Mao Shinoda,Hiroki Takahasi,Kenichiro Yamamoto

2024-06-08

Abstract:Ergodic optimization aims to describe dynamically invariant probability measures that maximize the integral of a given function. For a wide class of intrinsically ergodic subshifts over a finite alphabet, we show that the space of continuous functions on the shift space splits into two subsets: one is a $G_\delta$ dense set for which all maximizing measures have `relatively small' entropy; the other is contained in the closure of the set of functions having uncountably many, fully supported ergodic measures with `relatively large' entropy. This result considerably generalizes and unifies the results of Morris (2010) and Shinoda (2018), and applies to a wide class of intrinsically ergodic non-Markov symbolic dynamics without Bowen's specification property, including any transitive piecewise monotonic interval map, some coded shifts and multidimensional $\beta$-transformations. Along with these examples of application, we provide an example of an intrinsically ergodic subshift with positive obstruction entropy to specification.

Dynamical Systems
Minimal zero entropy subshifts can be unrestricted along any sparse set

Ronnie Pavlov

2023-08-16

Abstract:We present a streamlined proof of a result essentially present in previous work of the author, namely that for every set $S = \{s_1, s_2, \ldots\} \subset \mathbb{N}$ of zero Banach density and finite set $A$, there exists a minimal zero-entropy subshift $(X, \sigma)$ so that for every sequence $u \in A^\mathbb{Z}$, there is $x_u \in X$ with $x_u(s_n) = u(n)$ for all $n \in \mathbb{N}$. Informally, minimal deterministic sequences can achieve completely arbitrary behavior upon restriction to a set of zero Banach density. As a corollary, this provides counterexamples to the Polynomial Sarnak Conjecture which are significantly more general than some recently provided in word of Kanigowski, Lemańczyk, and Radziwiłłand of Lian and Shi, and shows that no similar result can hold under only the assumptions of minimality and zero entropy.

Dynamical Systems
Entropy and Independence in Symbolic Dynamics

Marcin Kulczycki,Dominik Kwietniak,Jian Li

2014-01-01

Abstract:We introduce a new family of shift spaces — the subordinate shifts.Using them we prove in an elementary way that for every nonnegative realnumber t one can ﬁnd a shift space with entropy t. Moreover, we showthat there is a connection between positive entropy and combinatorial in-dependence of a shift space. Positive entropy can be characterized throughexistence of a large (in terms of asymptotic and Shnirelman densities) setof coordinates along which the highest possible degree of randomness inpoints from the shift is observed. 1 Introduction. A full shift over a ﬁnite set Ais the set A N of all inﬁnite sequences of elementsof A. A shift space is a subset of A N deﬁned by constraints on the ﬁnite-length blocks that are allowed to appear as subsequences. Shift spaces aremathematical models for digitized information. They arise frequently as a resultof a discretization of dynamical processes. The shift map, which discards theﬁrst element of a sequence and shifts the remaining ones by one place to theleft, turns every shift space into a dynamical system.Certain shift spaces share a structure similar to each other to the point thatthey may be treated as virtually the same. For example, there is neither lossnor gain of information when the full {0,1}-shift is transformed into the full{4,7}-shift by switching every 0 to 4 and every 1 to 7. These two full shiftsare an example of conjugate shift spaces. Roughly speaking, two shift spacesare conjugate if there is a conjugacy, that is, a special invertible map betweenthese spaces, which commutes with the shift map. Conjugate shift spaces canbe treated as two instances of the same underlying object as the conjugacytransfers one onto the other (we refer the reader to [9, Def. 1.5.9] for moredetails). This leads to the conjugacy problem, which is a question whether twogiven shift spaces are equivalent under such an invertible encoding. An invariantof conjugacy is a property associated to a shift space that is preserved under thisencoding. Among the most important invariants is entropy, which is a measureof complexity of the shift space X. Entropy is a single nonnegative real numberh(X) which measures the asymptotic growth rate of the number of blocks thatoccur as subsequences of points in X.1
Finding lower bounds on the growth and entropy of subshifts over countable groups

Matthieu Rosenfeld

2024-06-05

Abstract:We give a lower bound on the growth of a subshift based on a simple condition on the set of forbidden patterns defining that subshift. Aubrun et Al. showed a similar result based on the Lovász Local Lemma for subshift over any countable group and Bernshteyn extended their approach to deduce, amongst other things, some lower bound on the exponential growth of the subshift. However, our result has a simpler proof, is easier to use for applications, and provides better bounds on the applications from their articles (although it is not clear that our result is stronger in general). In the particular case of subshift over $\mathbb{Z}$ a similar but weaker condition given by Miller was known to imply nonemptiness of the associated shift. Pavlov used the same approach to provide a condition that implied exponential growth. We provide a version of our result for this particular setting and it is provably strictly stronger than the result of Pavlov and the result of Miller (and, in practice, leads to considerable improvement in the applications). We also apply our two results to a few different problems including strongly aperiodic subshifts, nonrepetitive subshifts, and Kolmogorov complexity of subshifts.

Dynamical Systems,Combinatorics
Topo-isomorphisms of irregular Toeplitz subshifts for residually finite groups

Jaime Gómez

2023-09-05

Abstract:For each countable residually finite group $G$, we present examples of irregular Toeplitz subshifts in $\{0,1\}^G$ that are topo-isomorphic extensions of its maximal equicontinuous factor. To achieve this, we first establish sufficient conditions for Toeplitz subshifts to have invariant probability measures as limit points of periodic invariant measures of $\{0,1\}^G$. Next, we demonstrate that the set of Toeplitz subshifts satisfying these conditions is non-empty. When the acting group $G$ is amenable, this construction provides non-regular extensions of totally disconnected metric compactifications of $G$ that are (Weyl) mean-quicontinuous dynamical systems.

Dynamical Systems
Ergodic optimization for continuous functions on the Dyck-Motzkin shifts

Mao Shinoda,Hiroki Takahasi,Kenichiro Yamamoto

2024-06-28

Abstract:Ergodic optimization aims to describe dynamically invariant probability measures that maximize the integral of a given function. The Dyck and Motzkin shifts are well-known examples of transitive subshifts over a finite alphabet that are not intrinsically ergodic. We show that the space of continuous functions on any Dyck-Motzkin shift splits into two subsets: one is a dense $G_\delta$ set with empty interior for which any maximizing measure has zero entropy; the other is contained in the closure of the set of functions having uncountably many, fully supported measures that are Bernoulli. One key ingredient of a proof of this result is the path connectedness of the space of ergodic measures of the Dyck-Motzkin shift.

Dynamical Systems
Entropy of axial product of multiplicative subshifts

Jung-Chao Ban,Wen-Guei Hu,Guan-Yu Lai,Lingmin Liao

2024-03-01

Abstract:We obtain the entropy and the surface entropy of the axial products on $\mathbb{N}^d$ and the $d$-tree $T^d$ of two types of systems: the subshift and the multiplicative subshift.

Dynamical Systems,Combinatorics,Number Theory
Word Complexity of (Measure-Theoretically) Weakly Mixing Rank-One Subshifts

Darren Creutz

DOI: https://doi.org/10.1017/etds.2023.47

2023-06-21

Abstract:We exhibit subshifts admitting weakly mixing (probability) measures, for arbitrary $\epsilon > 0$, with word complexity $p$ satisfying $\limsup \frac{p(q)}{q} < 1.5 + \epsilon$. For arbitrary $f(q) \to \infty$, said subshifts can be made to satisfy $p(q) < q + f(q)$ infinitely often. We establish that every subshift associated to a rank-one transformation (on a probability space) which is not an odometer satisfies $\limsup p(q) - 1.5q = \infty$ and that this is optimal for rank-ones.

Dynamical Systems
Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension

Aristotelis Panagiotopoulos,Assaf Shani

2024-04-14

Abstract:The algebraic dimension of a Polish permutation group $Q\leq \mathrm{Sym}(\mathbb{N})$ is the smallest $n\in\omega$, so that for all $A\subseteq \mathbb{N}$ of size $n+1$, the orbit of every $a\in A$ under the pointwise stabilizer of $A\setminus\{a\}$ is finite. We study the Bernoulli shift $P\curvearrowright \mathbb{R}^{\mathbb{N}}$ for various Polish permutation groups $P$ and we provide criteria under which the $P$-shift is generically ergodic relative to the injective part of the $Q$-shift, when $Q$ has algebraic dimension $\leq n$. We use this to show that the sequence of pairwise $*$-reduction-incomparable equivalence relations defined in [KP21] is a strictly increasing sequence in the Borel reduction hierarchy. We also use our main theorem to exhibit an equivalence relation of pinned cardinal $\aleph_1^{+}$ which strongly resembles the equivalence relation of pinned cardinal $\aleph_1^{+}$ from [Zap11], but which does not Borel reduce to the latter. It remains open whether they are actually incomparable under Borel reductions. Our proofs rely on the study of symmetric models whose symmetries come from the group $Q$. We show that when $Q$ is "locally finite" -- e.g. when $Q=\mathrm{Aut}(\mathcal{M})$, where $\mathcal{M}$ is a locally finite countable structure with no algebraicity -- the corresponding symmetric model admits a theory of supports which is analogous to that in the basic Cohen model.

Logic,Dynamical Systems,Group Theory
Folding Entropy for Extended Shifts

Neemias Martins,Pedro G. Mattos,Régis Varão

2024-07-02

Abstract:The concept of folding entropy emerges from Ruelle's studies of entropy production in non-equilibrium statistical mechanics and is a significant notion to understand the complexities of non-invertible dynamical systems. The metric entropy (Kolmogorov-Sinai) is central in Ornstein's theory of Bernoulli shifts - it is a complete invariant for such maps. In this article we consider zip shift spaces, which extends the bilateral symbolic shift into a two-alphabet symbolic dynamical system and are ergodic and mixing systems with a chaotic behavior. A class of examples of maps isomophically mod 0 to zip shifts are the n-to-1 baker's maps, which represents a non-invertible model of deterministic chaos. We calculate the metric and folding entropies of a generic zip shift system, and relate the two. For the metric entropy, we find the general form for cylinder sets pulled-back by the shift dynamics, and use the Kolmogorov-Sinai theorem to calculate the metric entropy of the zip shift system. For the folding entropy, we find the disintegration of the zip shift measure relative to the pullback of the atomic partition, and relate it to the zip shift measure in a simple formula.

Dynamical Systems
Topological entropy for shifts of finite type over Z and trees

Jung-Chao Ban,Chih-Hung Chang,Wen-Guei Hu,Yu-Liang Wu

DOI: https://doi.org/10.1016/j.tcs.2022.07.007

IF: 1.002

2022-09-21

Theoretical Computer Science

Abstract:We study the topological entropy of hom tree-shifts and show that, although the topological entropy is not a conjugacy invariant for tree-shifts in general, it remains invariant for hom tree higher block shifts. In [16], [17], Petersen and Salama demonstrated the existence of topological entropy for tree-shifts and h(TX)≥h(X), where TX is the hom tree-shift derived from X. We characterize a necessary and sufficient condition when the equality holds for the case where X is a shift of finite type. Additionally, two novel phenomena have been revealed for tree-shifts. There is a gap in the set of topological entropy of hom tree-shifts of finite type, making such a set not dense. Last but not least, the topological entropy of a reducible hom tree-shift of finite type can be strictly larger than that of its maximal irreducible component.

computer science, theory & methods
Subshifts with leading sequences, uniformity of cocycles and spectra of Schreier graphs

Rostislav Grigorchuk,Daniel Lenz,Tatiana Nagnibeda,Daniel Sell

DOI: https://doi.org/10.48550/arXiv.1906.01898

2019-06-05

Abstract:We introduce a class of subshifts governed by finitely many two-sided infinite words. We call these words leading sequences. We show that any locally constant cocycle over such a subshift is uniform. From this we obtain Cantor spectrum of Lebesgue measure zero for associated Jacobi operators if the subshift is aperiodic. Our class covers all simple Toeplitz subshifts as well as all Sturmian subshifts. We apply our results to the spectral theory of Schreier graphs for uncountable families of groups acting on rooted trees.

Dynamical Systems
Uniform Convergence of Schrödinger Cocycles over Simple Toeplitz Subshift

Qinghui Liu,Yan-Hui Qu

DOI: https://doi.org/10.1007/s00023-010-0075-y

2011-01-01

Annales Henri Poincaré

Abstract:For locally constant cocycles defined on an aperiodic subshift, Damanik and Lenz (Duke Math J 133(1): 95–123, 2006) proved that if the subshift satisfies a certain condition (B), then the cocycle is uniform. In this paper, we study simple Toeplitz subshifts. We give a criterion that simple Toeplitz subshifts satisfy condition (B), and also give some sufficient conditions that they do not satisfy condition (B). However, we can still prove the uniformity of Schrödinger cocycles over any simple Toeplitz subshift. As a consequence, the related Schrödinger operators have Cantor spectrum of Lebesgue measure 0. We also exhibit a fine structure for the spectrum, and this helps us to prove purely singular continuous spectrum for a large class of simple Toeplitz potentials.
Large normalizers of ${\mathbb Z}^{d}$-odometers systems and realization on substitutive subshifts

Christopher Cabezas,Samuel Petite

2023-09-19

Abstract:For a ${\mathbb Z}^{d}$-topological dynamical system $(X, T, {\mathbb Z}^{d})$, an isomomorphism is a self-homeomorphism $\phi : X\to X$ such that for some matrix $M\in {\rm GL}(d,{\mathbb Z})$ and any ${n}\in {\mathbb Z}^{d}$, $\phi\circ T^{n}=T^{M{n}}\circ \phi$, where $T^{n}$ denote the self-homeomorphism of $X$ given by the action of ${n}\in {\mathbb Z}^d$. The collection of all the isomorphisms forms a group that is the normalizer of the set of transformations $T^{n}$. In the one-dimensional case, isomorphisms correspond to the notion of flip conjugacy of dynamical systems and by this fact are also called reversing symmetries. These isomorphisms are not well understood even for classical systems. We present a description of them for odometers and more precisely for constant-base ${\mathbb Z}^{2}$-odometers, which is surprisingly not simple. We deduce a complete description of the isomorphisms of some minimal ${\mathbb Z}^{d}$-substitutive subshifts. This enables us to provide the first example known of a minimal zero-entropy subshift with the largest possible normalizer group.

Dynamical Systems
Entropy on regular trees

Karl Petersen,Ibrahim Salama

DOI: https://doi.org/10.48550/arXiv.1909.05153

2019-09-11

Abstract:We show that the limit in our definition of tree shift topological entropy is actually the infimum, as is the case for both the topological and measure-theoretic entropies in the classical situation when the time parameter is $\mathbb Z$. As a consequence, tree shift entropy becomes somewhat easier to work with. For example, the statement that the topological entropy of a tree shift defined by a one-dimensional subshift dominates the topological entropy of the latter can now be extended from shifts of finite type to arbitrary subshifts. Adapting to trees the strip method already used to approximate the hard square constant on $\mathbb Z^2$, we show that the entropy of the hard square tree shift on the regular $k$-tree increases with $k$, in contrast to the case of $\mathbb Z^k$. We prove that the strip entropy approximations increase strictly to the entropy of the golden mean tree shift for $k=2,\dots,8$ and propose that this holds for all $k \geq 2$. We study the dynamics of the map of the simplex that advances the vector of ratios of symbol counts as the width of the approximating strip is increased, providing a fairly complete description for the golden mean subshift on the $k$-tree for all $k$. This map provides an efficient numerical method for approximating the entropies of tree shifts defined by nearest neighbor restrictions. Finally, we show that counting configurations over certain other patterns besides the natural finite subtrees yields the same value of entropy for tree SFT's.

Dynamical Systems,Mathematical Physics
Computability of extender sets in multidimensional subshifts

Antonin Callard,Léo Paviet Salomon,Pascal Vanier

2024-01-15

Abstract:Subshifts are colorings of $\mathbb{Z}^d$ defined by families of forbidden patterns. Given a subshift and a finite pattern, its extender set is the set of admissible completions of this pattern. It has been conjectured that the behavior of extender sets, and in particular their growth called extender entropy (

Discrete Mathematics,Computational Complexity,Dynamical Systems
Computability of Pressure for Subshifts on Countable Amenable Groups

C. Evans Hedges,Ronnie Pavlov

2024-08-09

Abstract:There are a variety of results in the literature proving forms of computability for topological entropy and pressure on subshifts. In this work, we prove two quite general results, showing that topological pressure is always computable from above given an enumeration for a forbidden list inducing the subshift, and that for strongly irreducible shifts of finite type, topological pressure is computable. Our results apply to subshifts on all finitely generated amenable groups with decidable word problem and generalize several previous results which applied only to $\mathbb{Z}^d$-subshifts. As corollaries, we obtain some results related to ground state energy and entropy, proving that the map sending $\phi$ to $\sup_{\mu \in M_\sigma(X)} \int \phi d\mu$ is computable/computable from above when $P_X(\phi)$ is, and that the map sending $\phi$ to its ground state/residual entropy is computable from above when $P_X(\phi)$ is computable. We conclude by giving explicit bounds on computation time of $P_X(\phi)$ in the $\mathbb{Z}^d$ setting for SI SFTs and locally constant and rational valued $\phi$, and show that in the special case $X = A^{\mathbb{Z}^2}$, this algorithm runs in singly exponential time.

Dynamical Systems,Mathematical Physics
Phase transition in one-dimensional subshifts

Nicolai T. A. Haydn

DOI: https://doi.org/10.48550/arXiv.1111.6227

2011-11-27

Abstract:In this note we give simple examples of a one-dimensional mixing subshift with positive topological entropy which have two distinct measures of maximal entropy. We also give examples of subshifts which have two mutually singular equilibrium states for Hölder continuous functions. We also indicate how the construction can be extended to yield examples with any number of measures of maximal entropy of equilibrium states.

Dynamical Systems
Slow entropy and variational dynamical systems

Minhua Cheng,Carlos Ospina,Kurt Vinhage,Yibo Zhai

2024-10-20

Abstract:We define variational properties for dynamical systems with subexponential complexity, and study these properties in certain specific examples. By computing the value of slow entropy directly, we show that some subshifts are not variational, while a class of interval exchange transformations are variational.

Dynamical Systems

Strictly ergodic Toeplitz $\mathbb{Z}^d$-subshifts with arbitrary entropy

Ergodic theory on coded shift spaces

Ergodic optimization for continuous functions on non-Markov shifts

Minimal zero entropy subshifts can be unrestricted along any sparse set

Entropy and Independence in Symbolic Dynamics

Finding lower bounds on the growth and entropy of subshifts over countable groups

Topo-isomorphisms of irregular Toeplitz subshifts for residually finite groups

Ergodic optimization for continuous functions on the Dyck-Motzkin shifts

Entropy of axial product of multiplicative subshifts

Word Complexity of (Measure-Theoretically) Weakly Mixing Rank-One Subshifts

Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension

Folding Entropy for Extended Shifts

Topological entropy for shifts of finite type over Z and trees

Subshifts with leading sequences, uniformity of cocycles and spectra of Schreier graphs

Uniform Convergence of Schrödinger Cocycles over Simple Toeplitz Subshift

Large normalizers of ${\mathbb Z}^{d}$-odometers systems and realization on substitutive subshifts

Entropy on regular trees

Computability of extender sets in multidimensional subshifts

Computability of Pressure for Subshifts on Countable Amenable Groups

Phase transition in one-dimensional subshifts

Slow entropy and variational dynamical systems