All Questions
Tagged with ergodic-theory symbolic-dynamics
57 questions
15
votes
2
answers
648
views
Is the following series consisting of equally distributed $\pm 1$ bounded?
Apologise in advance if this problem isn't research-level (I'm quite certain it isn't). It's just I found it quite intriguing because it turned out to be much more subtle than it appeared at my first ...
- 253
15
votes
0
answers
3k
views
Weak$^*$ convergence of measures vs. convergence of supports
Let $X$ be a compact metric space and let $\mathcal M(X)$ denote the set of probability measures on $X$. For $\mu\in\mathcal M(X)$ we write $\text{supp} \mu$ for the support of $\mu$. It is easy to ...
- 1,658
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
11
votes
0
answers
212
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: ...
- 695
8
votes
1
answer
2k
views
Intuition of Kolmogorov-Sinai entropy
For a measurable entropy of measurable transformation $T$ from $(X,\mathcal{B},m)$ to itself.
For each finite measurable partition $\mathcal{A}=\{A_i\}_{i=1}^{m}$ of $X$, we can define
$h(\mathcal{A},...
- 1,706
8
votes
1
answer
605
views
A regularity property of transition matrices for the cat map
I've noticed a rather strange phenomenon (not important for my particular research, but interesting) and wouldn't be surprised if someone more versed in symbolic dynamics (i.e., just about anyone who ...
- 15.4k
8
votes
1
answer
631
views
Aproximating dynamical systems by intrinsically ergodic systems
Let $X$ be a compact metric space and $f:X \to X$ a continuous map. We say that $(X,f)$ is approximated from below by a sequence of compact metric spaces $(X_i)_{i \geq 1}$ and a sequence of ...
7
votes
3
answers
792
views
A weak-mixing, zero entropy measure on the 2-shift which gives equal weight to both symbols
I am currently sketching a paper in the general area of symbolic dynamics in which I would like to be able to use the following fact:
Proposition (proposed): there exists a shift-invariant ...
- 6,206
7
votes
3
answers
217
views
Besicowitch distance between sets of invariant measures, ergodic vs non-ergodic
When working with Dominik Kwietniak and Jakub Konieczny, the question appeared:
Let $X$ and $Y$ be two subshifts on the same alphabet, $M(X)$, $M(Y)$ the sets of shift-invariant measures on $X$ and $...
- 330
7
votes
1
answer
292
views
Renewal systems: Intrinsic ergodicity and a question related to the Adler's conjecture
Consider the alphabet $\mathcal{A} = \{0,1\}$ and consider a finite set of words $W = \{\omega_1, \ldots , \omega_n\}$ over $\mathcal{A}$. Then the renewal system $\Sigma_{W}$ generated by $W$ is ...
6
votes
3
answers
533
views
Ruelle-Perron-Frobenius theorem for shift of finite type
I know a version of Ruelle's theorem for expansive transformations in a compact metric space that says there is a single equilibrium state for a potential holder. In this Ruelle-Perron-Frobenius ...
- 677
6
votes
3
answers
319
views
Approximating Subshifts From Below
I'm looking to understand how to approximate certain countable alphabet subshifts by Markov shifts, and realised that I don't know how to do it even in the finite alphabet case. My guess is that the ...
- 717
6
votes
2
answers
1k
views
topologically mixing subshifts without ergodic measures
Are there examples of subshifts (that is, closed shift-invariant subsets of the full shift {$1...n$}${}^{\mathbb{Z}}$) on which the shift is topologically mixing, which admit a shift-invariant ...
- 18.7k
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
1
answer
383
views
Limits of intrinsically ergodic systems
Let $(X_i)$ be a sequence of compact metric spaces and $(f_i)$ a sequence of transitive transformations $f_i:X_i \to X_i$ with $0 < h_{top}(f_i) < \infty$.
The sequence of dynamical systems ...
6
votes
2
answers
238
views
Ferenczi: minimal, uniquely ergodic, sublinear complexity systems are not strongly mixing
The following result is on page 26 of this paper by Ferenczi [PDF].
Corollary 3. A minimal and uniquely ergodic system of sub-affine complexity cannot be strongly mixing (i.e., $\mu(T^nA \cap B) \...
- 206
6
votes
0
answers
172
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
6
votes
0
answers
366
views
$C^{1+\epsilon}$ conjugacy of expanding map on circle
A continuously differentiable map $f:S^{1}\rightarrow S^{1}$ is called expanding if $|f^{'}(x)|>1$ for all $x\in S^{1}$.
We can define the degree of f, def(f) to be number of preimage $f^{-1}(x)$, ...
- 1,043
6
votes
0
answers
255
views
Completeness of the space of measures under $d$-bar metric
Does anybody know the reference to a proof of the following fact (which is not hard to prove, but seems to be well-known, see here): The space of shift-invariant measures under Ornstein's d-bar metric ...
- 1,658
5
votes
1
answer
543
views
When is the time one map of a suspension flow ergodic?
I'm sure the answer to the following question is well known but I couldn't find the answer I needed.
Let $(\Sigma,\sigma)$ denote the full shift on $k$ symbols and let $\mu$ be an invariant measure ...
- 717
5
votes
0
answers
142
views
Growth in families of trees
I'm hoping that the question below is simple thermodynamic formalism, but I can't quite make it work. Any help would be very welcome.
Let $\Sigma:=\{0,1\}^{\mathbb N}$ and let $\Sigma^*$ be the set ...
- 717
4
votes
1
answer
176
views
Measures maximizing entropy in a set of measures with fixed average for some observable
Let $\Omega$ be the set of all infinite binary sequences $(x_i)_{i\ge 0}$ endowed with the product topology coming from discrete topology on $\{0,1\}$.
Consider $0<\alpha<1$ and let $$K_\alpha=\{...
- 1,658
4
votes
1
answer
273
views
What is known about first return times to Markov partitions for Anosov diffeomorphisms?
Consider an Anosov diffeomorphism $T: M \rightarrow M$ and a corresponding Markov partition $\mathcal{R}$ of $M$. For $x \in M$, let $\mathcal{R}(x)$ denote the element of $\mathcal{R}$ containing $x$ ...
- 15.4k
4
votes
2
answers
445
views
Entropy equals zero?
Imagine you have a shift invariant ($\sigma$-invariant) probability measure $\eta$
in the Bernoulli space $\{0,1\}^{\mathbb{N}}$. Define
$\mathcal{P} = \{[0],[1]\}$;
$\mathcal{P}^{n} = \mathcal{P}\...
4
votes
0
answers
98
views
Weighted distribution of irrational rotation
Let $\theta\in [0,1]\setminus\mathbb{Q}$. Let $\alpha_0=\theta$ and $\alpha_1=1$. Let $0<p_0<1$ and $p_1=1-p_0$. For a finite word $I=(i_1, i_2, \dots, i_n)\in \{0,1\}^n$, denote by $I'=(i_1, ...
- 675
3
votes
2
answers
340
views
Convex combinations of Bernoulli Measures
How big is the weak-* closure of the set of all (finite) convex combinations of Bernoulli measures among all invariant probability measures?
I mean, we are in the symbolic space $\{1,2,\ldots,d\}^{\...
3
votes
2
answers
370
views
How to detect frequency?
Let $J$ be an arc in $\mathbb{S}^{1}\subset\mathbb{C}$ (no matter open or
closed) and $\alpha\in(0,2\pi)$ be an angle such that $\alpha/\pi$ is
irrational. Consider in $\mathbb{S}^{1}$ the sequence $...
- 303
3
votes
2
answers
432
views
Substitutions and Sturmian sequences
We know that any substitution can generate sequence, for example the Fibonacci substitution:
$\sigma(0)=01, \sigma(1)=0$, then we can define a Sturmian sequence $\omega$, i.e., the fixed point of $\...
- 115
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
3
votes
1
answer
206
views
Automorphisms of strictly ergodic shift spaces
Let $X$ be a strictly ergodic shift space, and $\omega_1$, $\omega_2$ be two different points in $X$. Is there an automorphism $\Psi$ of $X$ such that $\Psi(\omega_1)=\omega_2$? By an automorphism I ...
- 1,658
3
votes
2
answers
174
views
a bound for Feldman's **f-bar** $\bar{f}$ metric for measures
My question regards properties of the f-bar metric $\bar{f}$ defined for shift invariant measures on $\mathscr{A}^\infty$
where $\mathscr{A}$ is a finite alphabet. The definition of the $\bar{f}$ ...
- 1,658
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
3
votes
0
answers
209
views
Repartition of 1's in the "Chacon word"
Consider the "Chacon words": $B_0=0$ and $B_{n+1} = B_nB_n1B_n$. The word $B_n$ has $\ell_n := \frac{3^{n+1}-1}{2}$ digits and the number of $1$'s in $B_n$ is $\ell_n - 3^n = \ell_{n-1} \sim \ell_n/3$...
- 2,560
3
votes
0
answers
195
views
Topological pressure for subshifts on a countable alphabet
Apologies for asking two similar questions within a week of each other, I had hoped that asking a finite alphabet version of this question would lead to enlightenment but unfortunately it didn't.
...
- 717
2
votes
1
answer
421
views
Measure of large cylinder sets
Given an ergodic measure m on a shift space, by Shannon-Mcmillan-Breiman Theorem, up to at most an $\epsilon$-portion, all cylinder sets of length $n$ (large enough) have $m$-measure between $exp(-nh-...
2
votes
1
answer
205
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
$$
\...
- 151
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
2
votes
1
answer
267
views
entropy and d-bar: how do we estimate continuity?
Let $G = \{0,1\}^{\mathbb{N}} = \mathbb{Z}_{2}^{\mathbb{N}}$ be the Bernoulli space of two symbols, let $\sigma$ be the shift map and $M(G)$ the set of $\sigma$-invariant probabilities. Let $\bar{d}$ ...
2
votes
2
answers
209
views
Mixing coded systems and period of their graph presentations
A coded system [see F. Blanchard, G. Hansel, Systèmes codés, Theoretical Computer Science, Vol. 44, 1986, pp. 17-49, http://dx.doi.org/10.1016/0304-3975(86)90108-8.
(http://www.sciencedirect.com/...
- 1,658
2
votes
1
answer
183
views
A sensitive 2-dimensional cellular automaton with a blocking word
I'am a Ph.D student in the domain of discrete dynamical systems. My thesis is about spectral properties of cellular automata in higher dimension.
Kurka gives a classification for one dimensional ...
2
votes
1
answer
181
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
2
votes
1
answer
147
views
Does conjugacy preserve the set of synchronizing blocks?
A synchronized system is a transitive shift space $X$ which has a synchronizing block $v$, that is $v$ is an admissible block for $X$ and whenever $vw$ and $uv$ are admissible blocks in $X$, then $uvw$...
- 1,658
2
votes
1
answer
269
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
1
vote
1
answer
410
views
joining or coupling
given two shift invariant measures in the Bernoulli space $\{0,1\}^{\mathbb{N}}$, is there a way to construct joinings of them? It's very diffcult, in general, to find exactly the minimal joining i.e, ...
1
vote
1
answer
237
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
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
1
vote
1
answer
176
views
Find a sequence with uniform frequencies and recurrent property
Given any 4 positive numbers $p_{00}\,,p_{01}=p_{10}\,,p_{11}$,such that the sum of the 4 numbers is 1, now I want to find a sequence in $\{0\,,1\}^\mathbb{N}$
such that this sequence has uniform ...
- 41
1
vote
0
answers
212
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
139
views
weak-* versus entropy growth
General question. Let $\eta_{n}$ be a sequence of invariant measures on $\{0,1,2,...,p-1\}^{\mathbb{N}}$ and $B$ the Bernoulli uniform measure. Knowing that $\eta_{n} \rightarrow B$ in the weak-* ...