Questions tagged [symbolic-dynamics]

Symbolic dynamics is the study of dynamical systems defined in terms of shift transformations on spaces of sequences. Examples of topics in this area include shifts of finite type, sofic shifts, Toeplitz shifts, Markov partitions and symbolic coding of dynamical systems.

Filter by
Sorted by
Tagged with
3 votes
1 answer
144 views

'Trivial' lower bounds for pattern complexity of aperiodic subshifts

I recently asked in this thread about lower bounds on the complexity in the case where we have an aperiodic subshift. If I denote $c_n(\Omega)$ as the number of possible patterns on $Q_n= \big\{ 0,...,...
4 votes
2 answers
196 views

Lower bounds for pattern complexity of aperiodic subshifts

In the setting of symbolic dynamics over $\mathbb{Z}^d$, one can define for the $n$-th pattern complexity of a given a subshift $\Omega\subseteq \mathcal{A}^{\mathbb{Z}^d}$ as $$ c_n(\Omega):= \Big\...
1 vote
1 answer
79 views

Topological full groups of subshifts: differences between one-dimensional and multi-dimensional subshifts

For a multidimensional subshift $X$ over $\mathbb Z^d$, the topological full group $[X]$ is the set of homeomorphisms $f$ of $X$ that can be written as $f : x \mapsto \sigma_{c(x)}(x)$ with $c : X \to ...
  • 113
1 vote
1 answer
215 views

Sufficient conditions for periodic tiling by Wang tiles

I'm recently interested in whether a sub-shift of finite type contains a doubly-periodic problem, when the set of configurations is of the sort $\mathcal{A}^{\mathbb{Z}^2}$. When $Q_2=\{0,1\}^2$, and ...
1 vote
1 answer
105 views

Possible weaker version of the Domino/Wang tiling problem

This may be a dumb question, but I was wondering whether the question of 'periodically tiling the plane from a finite set of tiles' is the same as the domino tiling problem or a weaker version. I ...
0 votes
1 answer
96 views

A special kind of pseudo-garden eden states in cellular automata

I'm currently investigating Wolfram's elementary cellular automata on finite grids with periodic boundary conditions, i.e. on $\mathbb{Z}/k$ for different $k$. It is clear that for each rule $R$ and ...
6 votes
0 answers
254 views

Examples of expansive homeomorphisms with the specification property that are neither symbolic nor factors of mixing SFT nor product of thereof

I am looking for nontrivial examples of expansive homeomorphisms with the specification property on compact metric spaces. Here, by a ``trivial'' example I understand a subshift with the specification ...
6 votes
2 answers
222 views

Topological dynamical systems with only zero-entropy factors

Suppose the dynamical system $(X,T)$ has only proper factors (i.e. not $(X,T)$ itself) of zero topological entropy. Does the system $(X,T)$ also have zero entropy?
3 votes
1 answer
91 views

the definition of the topological pressure for matrices

Let $:\Sigma \to GL(d, \mathbb{R})$ be a continuous matrix cocycle over a topologically mixing subshift of finite type $(\Sigma, T)$. We denote by $\Sigma_n$ the set of addmisible words with the ...
  • 889
4 votes
1 answer
228 views

Word combinatorics terminology question

I'm looking for the name of what I suspect must be a standard property, and also for a possible statement about that property. First the property: $W=a_0\ldots a_{n-1}$ has this property if for all $1\...
  • 21.9k
1 vote
1 answer
106 views

Properties of Følner sequences for countably infinite, finitely generated, amenable, periodic/torsion groups

I've managed to prove certain things about a class of groups, and the only remaining class of groups are those specified in the title. I'm mainly studying symbolic dynamics and not group theory, so I'...
  • 111
2 votes
1 answer
115 views

Union of admissible words are subshift of finite type

Assume that $Q=(q_{ij})$ is a $k\times k$ with $q_{ij}\in \{0, 1\}.$ The two side subshift of finite type associated to the matrix $Q$ is a left shift map $T:\Sigma_{Q}\rightarrow \Sigma_{Q}$, where ...
  • 889
1 vote
1 answer
121 views

Proof that Sturmian shift is uniquely ergodic using irrational rotation

I am finding proofs of unique ergodicity of Sturmian shifts however I want to know if there is a proof that link that to the unique ergodicity of irrational rotations through conjugacy for example or ...
  • 51
11 votes
1 answer
339 views

Cohomology for extension problems in symbolic/topological dynamics?

Context: I know essentially nothing about cohomology of any kind, but I have a problem involving classifying obstructions to extensions of certain maps or covers, and I have heard that cohomology is ...
6 votes
0 answers
102 views

Construction of minimal zero entropy measure-theoretically strong mixing subshift?

Does anyone know of a construction of a subshift (over $\mathbb{Z}$) which is (1) minimal (2) zero (topological) entropy (3) measure-theoretically strong mixing (for some measure)? I am in particular ...
1 vote
1 answer
63 views

Computing kneading sequences for renormalizations of Lorenz maps

I am stuck trying to understand certain claims made in this paper, and for completeness I will reproduce some definitions from it. A Lorenz map $f$ on $I = [0,1]$ is a monotone increasing function ...
0 votes
0 answers
55 views

Show that two matrices are strongly shift equivalent

The following question is from Introduction to dynamical systems, written by Michael Brin and Garrett Stuclk. Given two non-negative integer square matrices $A, B$, we say $A, B$ are elementarily ...
0 votes
1 answer
116 views

Why all the coefficients of the center manifold of this system are zeros?

I solved many cases for the following dynamical system $\dot{x} = x (1-x-ay)$ and $\dot{y} = c y (1- b x -y)$. However, I reached the case where $c>0$ and $a>1$, $b=1$ and I ended up with the ...
4 votes
0 answers
88 views

String rewrite system for algebraic knots/links?

$\newcommand\over{\vert}\newcommand\rot[1]{\mathopen<#1\mathclose>}$By its definition, an algebraic tangle, and by extension, its closure (knot or link) can be written as a string (of ...
6 votes
1 answer
120 views

Subshifts with special property

I am looking how to prove the following fact: If $ X \subseteq A^\mathbb{Z}$ is an infinite minimal subshift, then for any $N\ge 1$, $X$ is conjugate to a minimal subshift $Y\subseteq B^\mathbb{Z}$ ...
3 votes
0 answers
84 views

Description of Anderson-Putnam CW-complex construction

I have been trying to read the paper, Topological invariants fo substitution tiling and their associated $C^*$-algebras, to learn more about a construction of Anderson-Putnam complexes. However, it ...
0 votes
0 answers
51 views

Statistical characteristics of low complexity subshifts

I am looking for calculations of statistical characteristics (variance, entropy, etc.) of the $n$-dimensional distributions of the invariant measures of low complexity subshifts (e.g., the Sturmian or ...
  • 15.8k
14 votes
2 answers
784 views

Open problems in symbolic dynamics

I would like to know which are some noticeable open problems in symbolic dynamics, including substitution dynamics. I'm especially interested in connections with topological chaos of various forms. ...
2 votes
1 answer
120 views

Exponential mixing for subshifts

I asked this question on Math.StackExchange some time ago and got no responses. Let $G=(V,E)$ be a finite graph with adjacency matrix $A$. Let us consider the associated subshift of finite type $$ \...
  • 123
2 votes
1 answer
191 views

Irrational rotations are rank 2 by intervals without spacers

Let $\alpha$ be an irrational number, and $R_\alpha$ be the rotation by $\alpha$, that is $R_\alpha(x)=x+\alpha\bmod 1$. S. Ferenczi in his survey [Systems of finite rank. Colloq. Math. 73 (1997), no. ...
3 votes
1 answer
151 views

Does full shift have the local product structure?

We say that an invariant measure $\mu$ on some symbolic space $\Sigma$ has local product structure if there is a measurable function $\psi: \Sigma \rightarrow(0, \infty)$ such that the restriction is ...
  • 889
2 votes
0 answers
105 views

Birth of chaos due to nonautonomous perturbation

Let $\sigma, b>0$. I want to study the dynamics of the map $$ T \colon \mathbb{N} \times \mathbb{S}^1 \times \mathbb{R} \to \mathbb{S}^1 \times \mathbb{R}$$ such that $$T_{\sigma,b}(n,\theta,y) = (\...
2 votes
0 answers
64 views

When is replacing the prefix of an angled internal address a valid operation?

While working on an artwork exploring patterns in the Mandelbrot set fractal, I constructed an angled internal address by: $$ 1 \overset{1/2}\longrightarrow 2 \overset{1/2}\longrightarrow 3 \overset{1/...
  • 101
1 vote
0 answers
128 views

Is there a condition for a subshift of finite type to be uniquely ergodic?

Are SFTs uniquely ergodic in general, or is there a known necessary and sufficient condition for them to be uniquely ergodic?
  • 111
1 vote
0 answers
60 views

Number of permitted words up to permutation in a subshift

Let $A$ be a finite set and let $X \subseteq A^{\mathbb{N}}$ be a subshift. Let $\mathcal{L}_n$ denote the set of words of length $n$ appearing in $X$. For a word $w \in \mathcal{L}_n$, one can ...
  • 323
1 vote
0 answers
53 views

Continuity of Kneading invariants of generalised $\beta$-trasformations

For $\beta \in (1,2]$ and $\alpha \in [0,2-\beta]$ consider the generalised $\beta$-transformation $T_{\alpha,\beta}:[0,1] \to [0,1]$ to be $$T_{\alpha, \beta}(x) = \beta x + \alpha \mod 1.$$ It is a ...
1 vote
0 answers
115 views

Is a set over which dynamics are topologically conjugate to a shift map on two symbols always repelling?

Consider the one-sided full shift map $\sigma$ and the associated shift space of infinite sequences in two letters $\{0,1\}^\mathbb{N}$ on which the shift map acts, equipped with the usual metric. ...
2 votes
3 answers
619 views

The critical exponent function

It is a known fact [1] that, for every $c\in (1,\infty]$, it is possible to find a finite alphabet $\mathcal{A}$ and a word $w\in \mathcal{A}^\omega$ such that $w$ has critical exponent $c$. It looks ...
1 vote
1 answer
96 views

Lyapunov spectrum($h_{\mathrm{top}}(K(\alpha))$) achieves a positive value somewhere

$\DeclareMathOperator{\top}{\mathrm{top}}$Let $(\Sigma, T)$ be a topologically mixing subshift of finite type and $f:\Sigma \to \mathbb{R}$ be a Hölder continuous map. Let $$K(\alpha)=\Big\{x\in \...
  • 889
5 votes
1 answer
181 views

A unique equilibrium state which does not have Gibbs property

Let $T:\Sigma \rightarrow \Sigma$ be a topologically mixing subshift of finite type and let $f:\Sigma \rightarrow \mathbb{R}$ be a continuous functions over $(T, \Sigma)$. Assume that there is a ...
  • 889
6 votes
0 answers
132 views

Difficulty of homeomorphism of effective Cantor dynamics

Let $X = \{0,1\}^{\mathbb{N}}$ with the product topology. Given a Turing machine $M$ and $x \in X$, define $M(x) \in \{0,1\}^* \cup X$ as the sequence of bits output by $M$ when given an oracle for $x$...
  • 5,376
1 vote
1 answer
86 views

Explicit transitive flow on disc

$D_n\triangleq \left\{x \in \mathbb{R}^n:\, \|x\|\leq 1\right\}$ with its subspace topology. By a transitive flow on $D_n$ I mean a continuous function $$ \phi: [0,1]\times D_n\rightarrow D_n, $$ ...
  • 4,961
2 votes
1 answer
141 views

Search for a general formula from known iterative relation

$F$ is a mapping among $\{\theta_{n_1n_2}\}$, with $\eta_{1/2}$ being arbitrary constants involved. $F: \theta_{n_1n_2} \rightarrow \theta_{n_1+1n_2}+\theta_{n_1n_2+1}+\eta_{1}n_1\theta_{n_{1}-1n_{2}} ...
  • 23
3 votes
0 answers
70 views

Confusion on the assumption when discussing the kneading invariants for unimodal maps

A unimodal map is a continuous map $f:[0,1]\longrightarrow [0,1]$ such that there is only one turning point (critical point), denoted by $c$, and $f(0)=f(1)=0$. Unimodal map is related to kneading ...
3 votes
2 answers
287 views

Diophantine equation that has an infinite number of positive integers solutions

Let us consider a sequence of continuous functions $g_{q}:ℝ^2\to ℝ^2$. Let $(A_{q})_{q\geq 1}$ be a sequence of compact sets in $ℝ^2$. Assuming that each function $g_{q}$ is topologically mixing in $...
  • 953
3 votes
0 answers
71 views

Example of primitive substitution with two rationally independent eigenvalues?

I am looking for an example of a primitive substitution $\sigma$, not Pisot, such that the associated subshift $X_\sigma$ has two irrational and rationally independent eigenvalues. Equivalently, a ...
9 votes
0 answers
440 views

If $(Y,T)$ is a connected minimal system with a symbolic extension of linear word complexity, is $(Y,T)$ equicontinuous?

Let $(Y,S)$ be a minimal topological dynamical system such that $Y$ is connected. A simple example of a system like this is an irrational rotation of the circle, and it is known that Sturmian ...
1 vote
1 answer
101 views

What does the extension theorem for tilings state?

I have seen several references to the so-called Extension Theorem in the context of tilings of Euclidean space. E.g. in "The Local Theorem for Monotypic Tilings" one reads The Extension Theorem [......
  • 11k
3 votes
2 answers
130 views

Does this strong form of being almost 1-to-1 imply injectivity?

Let $\pi\colon(X,T)\to (Y,T)$ be a factor map between minimal subshifts. Suppose there exists $\tilde{Y} \subseteq Y$ such that $\# \pi^{-1}(y) = 1$ for all $y \in \tilde{Y}$. $\tilde{Y}$ is a ...
3 votes
1 answer
104 views

Almost one-to-one endomorphism of minimal subshift?

Let $(X,T)$ be a minimal subshift. Can it happen that an endomorphism $\varphi\colon (X,T) \to (X,T)$ is almost 1-to-1 but not 1-to-1? Can it happen that a factor $\pi\colon (X,T) \to (Y,T)$ between ...
9 votes
0 answers
137 views

Factor map between subshifts preserving topological pressure (or measure-theoretic entropy)

Let $G$ be a countable amenable group and let $X,Y$ be subshifts with finite alphabet over $G$. Suppose that $h(X) = h(Y)$ (equal topological entropy). I am interested in continuous factor maps $\pi: ...
4 votes
2 answers
91 views

Minimal subshift with some $x \in X$ such that $x_{(-\infty,0)}.x_0x_0x_{(0,\infty)} \in X$?

There exists a minimal subshift $X$ with a point $x \in X$ such that $x_{(-\infty,0)}.x_0x_0x_{(0,\infty)} \in X$?
6 votes
1 answer
148 views

Sliding block code on irreducible sofic shift

I was looking at the following exercise from Lind/Marcus book An Introduction to Symbolic Dynamics and Coding that I cannot solve. Can someone give me a hint? Find an example of a pair of irreducible ...
3 votes
1 answer
238 views

Entropy-minimal subshifts

Consider a subshift $X \subset \left\{0, \ldots, M \right\}^{\mathbb{N}}$. $X$ is said to be entropy-minimal if every subshift $Y \subsetneq X$ satisfies that $$h_{\mathrm{top}}(Y) < h_{\mathrm{top}...
1 vote
1 answer
79 views

Example of connected factor of symbolic system that is not a rotation

I am looking for an example of a factor $f\colon (X,T) \to (Y,T)$ between topological dynamical systems, where $(X,T)$ is a minimal subshift and $Y$ a connected topological space such that $(Y,T)$ is ...