All Questions
Tagged with ds.dynamical-systems symbolic-dynamics
129 questions
6
votes
1
answer
165
views
Number of periodic points of subshift of finite type
Let $(X, \sigma)\subset (\{0, 1, 2, 3\}^\mathbb{N},\sigma)$ be a subshift of finite type. Let $P_n$ be the set of $n$-periodic points. If $|P_n|=2^n$ for all $n\ge 1$, then it is true that $(X, \sigma)...
- 675
1
vote
0
answers
47
views
Computing the language of an $S$-adic shift
I have been looking online for how or if one can compute the language of an $S$-adic subshift generated by finitely many substitutions. I know that one can compute the language of a substitution ...
- 633
2
votes
1
answer
254
views
Chaotic dynamics of maps on unit square that are NOT Triangular
We will denote the compact interval $[0,1]$ by $I$ and the unit square $[0,1]\times[0,1]$ by $I^2$. Triangular map on $I^2$ is a continuous map $F:I^2\to I^2$ of the form $F(x,y)=(f(x),g(x,y))$ where $...
- 271
3
votes
1
answer
90
views
Asymptotic growth rate for primitve S-adic systems
It is known that for a primitive substitution $S:\mathcal{A}\to \mathcal{A}^+$, there exists constants $c,C>0$ such that
$$ c\theta_S^n \leq \vert S^n(a)\vert \leq C \theta_S^n \quad \text{for all} ...
- 633
1
vote
1
answer
61
views
Question regarding characterization of linearly recurrent subshifts by Durand
I was looking at the following paper by Fabien Durand, Corrigendum and addendum to ‘Linearly recurrent subshifts have a finite number of non-periodic factors’.
I have somewhat of a basic question ...
- 633
0
votes
0
answers
49
views
Estimate for the length of a partial orbit for a shift map for which its delta neighbourhood covers an interval
Consider $f:[0,2\pi) \to [0,2\pi )$ given by $f(x) = (x + 1) \bmod 2\pi$ for all $x\in [0,2\pi )$, i.e. a shift map on the unit circle with anti-clockwise shift of $1$.
Denote the sequence $\{ x_n \}$ ...
- 193
3
votes
1
answer
111
views
Extending isomorphism between subsystems in shift system
Let $(\Sigma^{\mathbb{Z}},S)$ be a left-shift system, where
$\Sigma$ is a metrizable compact set. Consider the automorphism group of it (bijective factor maps of itself), denoted by $G$.
Now let $(A,S)...
- 31
2
votes
0
answers
116
views
Aperiodic SFT equal to a substitution subshift
I was wondering whether there are primitive symbolic substitutions over $\mathbb{Z}^d$ and alphabet $\mathcal{A}$ whose associated subshift is equal to an aperiodic SFT. By SFT here I mean a subshift ...
- 633
6
votes
0
answers
94
views
Automorphism groups of subshifts and factor maps
Let $\pi : X \to Y$ be a factor map between subshifts over finite alphabets.
Let $\operatorname{Aut}(X)$ and $\operatorname{Aut}(Y)$ stand for automorphism groups of these shifts.
We say that $\varphi ...
- 1,658
2
votes
1
answer
130
views
Morse-Hedlund\Coven-Hedlund theorem for non-Abelian groups
There is a well know theorem by Coven and Hedlund, in Sequences with minimal block growth, stating that the complexity function of an aperiodic sequence\configuration $\omega\in \mathcal{A}^{\mathbb{Z}...
- 633
1
vote
1
answer
148
views
Approximation of subshifts in Hausdorff distance
I have recently been interested in some questions which stem from taking subshifts which converge to a limiting subshift in the Hausdorff metric.
More specifically, given an alphabet $\mathcal{A}$, I ...
- 633
1
vote
1
answer
74
views
Computing admissible patches of a substitution
I have been recently trying to look at substitution tilings with finite local complexity by examining their admissible patch\pattern atlas, which is sometimes called their language. I have also seen ...
- 633
2
votes
1
answer
89
views
Lower bounds for pattern complexity of linearly repetitive 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=\{0,...,n−1\}^...
- 633
0
votes
0
answers
120
views
Growing gliders under rule 110
I found a glider in the evolution space of rule 110 that grows constantly in size. Normal gliders live in the so-called ether, e.g. the so-called E-glider:
Other – often complex – gliders exist in an ...
- 9,720
2
votes
1
answer
129
views
Reference on relation between SFTs and Wang-tiles
I've been looking at several papers which allude to a relation between SFTs. Namely, given an SFT $\Omega \subseteq \mathcal{A}^{\mathbb{Z}^2}$ with allowed patches $\mathcal{F}$, we can associate a ...
- 633
0
votes
0
answers
88
views
Relation between symbolic substitution and cellular automata
I recently asked this on Math Stackexchange recently in this thread. I was told that there is a relation between symbolic substitutions and cellular automata. I'm vaguely familiar with Cobham's ...
- 633
3
votes
1
answer
193
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,...,...
- 633
4
votes
2
answers
273
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\...
- 633
1
vote
1
answer
192
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
2
answers
329
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 ...
- 633
1
vote
1
answer
213
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 ...
- 633
1
vote
1
answer
139
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 ...
- 9,720
6
votes
0
answers
348
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 ...
- 1,658
6
votes
2
answers
380
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?
- 675
3
votes
1
answer
131
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 ...
- 1,043
2
votes
1
answer
179
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
...
- 1,043
11
votes
1
answer
521
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 ...
- 695
6
votes
0
answers
171
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 ...
- 2,621
1
vote
1
answer
78
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 ...
- 13
0
votes
0
answers
73
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 ...
- 307
0
votes
1
answer
147
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 ...
- 159
6
votes
1
answer
147
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}$ ...
- 1,378
0
votes
0
answers
54
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 ...
- 17k
14
votes
2
answers
954
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
214
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. ...
- 1,658
3
votes
1
answer
171
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 ...
- 1,043
2
votes
0
answers
116
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) = (\...
1
vote
0
answers
210
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
61
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
55
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
177
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
638
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 ...
- 4,459
1
vote
1
answer
107
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 \...
- 1,043
6
votes
1
answer
266
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 ...
- 1,043
6
votes
0
answers
136
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$...
- 6,652
1
vote
1
answer
95
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,
$$
...
- 5,405
2
votes
1
answer
143
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
81
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 ...
- 131
3
votes
0
answers
78
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 ...
- 31
10
votes
0
answers
475
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 ...
- 151