Questions tagged [ergodic-theory]

Dynamical systems on measure spaces, invariant measures, ergodic averages, mixing properties.

265 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
2 votes
0 answers
101 views

Stochastic stability of "open" continuous-time stochastic systems: reference request

I'm looking for results on the stability of stochastic systems, e.g. SDEs, whose coefficients depend on a different process that is not necessarily stable. I'm calling those systems "open" here, but ...
S.Surace's user avatar
  • 1,675
2 votes
0 answers
296 views

Is the following map a diffeomorphism?

Context: I'm working on a convergence theorem for an accelerated version of an iterative optimisation algorithm. At regularly-spaced intervals during the algorithm, a number of previous (...
Matt Geleta's user avatar
2 votes
0 answers
85 views

Banach density of a sequence of spheres in a virtually nilpotent group

Let $G$ be a finitely-generated group of polynomial growth equipped with the word metric (with respect to a fixed symmetric generating set). Let \begin{equation*} A = \left\{ g \in G: |g| = mn, n \...
user94744's user avatar
2 votes
0 answers
92 views

Algebraic approach to prove the mixing property of Lorenz flow on hyperbolic surface

We knew that the noncompact subgroups of SL(2,$\mathbb{R}$) are mixing by Howe-Moore ergodicity theorem. I am curious about Lorenz flow, if we have a algebraic approach to prove the mixing property of ...
Skid Row's user avatar
2 votes
0 answers
260 views

What are the best current bounds on $\times a \times b$?

Let $a,b \in \mathbb{N}_{\ge 2}$ be two integers that are multiplicatively independent (i.e., are not powers of the same integer). I have seen (Bourgain, Lindenstrauss, Michel, Venkatesh: Some ...
john mangual's user avatar
  • 22.6k
2 votes
0 answers
220 views

Geometric ergodicity of dynamical system

I'm working with dynamical systems defined by ODEs and SDEs, in this latter case gradient systems in particular, a special case of Ito diffusions. I've read that under reasonable assumptions this ...
nabla's user avatar
  • 205
2 votes
0 answers
100 views

Non-uniform distribution in digits of chaotic orbits?

For a class I was teaching, I was demonstrating time-series analysis with the famous discrete-time dynamical system $x_{n+1} = ax_n(1-x_n)$, where $a = 4 - \epsilon$ ($\epsilon$ ``small'') and ...
Andrew Penland's user avatar
2 votes
0 answers
93 views

Looking for a possible reference for a result on extensions in ergodic theory

There's a result I'd need for something I'm working on. When discussing it with my advisor, she said she's sure she's seen this result somewhere, but isn't sure where. As such, not really sure how to ...
Mike Schnurr's user avatar
2 votes
0 answers
205 views

markov processes and ergodic theory

For an ergodic Markov Chain $$ \frac{1}{N}\sum_{i=1}^n f(X_i) \rightarrow E_\pi[f] $$ where $\pi$ is the invariant distribution. I am also dealing with a Markovian process (a state space model to ...
jkt's user avatar
  • 169
2 votes
0 answers
299 views

A weighted ergodic average

According to my simulations, it looks like the number of times that the $N$ first iterates $u_0$, $\ldots$, $u_{N-1}$ of the sequence $(u_n)$ defined here meets an interval $I$ is close to $N|I|$ ...
Stéphane Laurent's user avatar
2 votes
0 answers
77 views

Entropy of the Scenery factor in the $T,T^{-1}$ transformation (RWRS)

The $T,T^{-1}$ transformation is an example of a $K$ automorphism which is not Bernoulli (not isomorphic to a shift of an I.I.D. sequence). Hoffman in http://www.math.washington.edu/~hoffman/...
user78465's user avatar
  • 326
2 votes
0 answers
83 views

Decomposition of the space according to the Ergodic Theorem

Given a space $(X, T)$, it is well known that for every $T$-invariant ergodic measure $\mu$, there exists a set $E_\mu$ of $\mu$-measure $1$ s.t. for every "nice" function $f$ $$ \frac{1}{n}\sum_{i=0}...
user18337's user avatar
  • 121
2 votes
0 answers
102 views

Any minimal WAP dynamical system is distal

I'm trying to show that any minimal WAP dynamical system $(X, G)$ is almost periodic. By Ellis's joint continuity theorem, it suffices to show that any minimal WAP system is distal. There are many ...
Andy's user avatar
  • 369
2 votes
0 answers
161 views

Equivalence relations that are both not treeable and amenable

Hyperfinite equivalence relations are treeable. For the case of uncountable relations, I was wondering if there is a reference to (or simple proof of) the following statement: Let $E$ be a (possibly ...
Vladimir's user avatar
  • 1,210
2 votes
0 answers
108 views

Non-ergodic Dye Theorem for orbit equivalent automorphisms

The Dye Theorem states that any two free ergodic p.m.p automorphisms of a standard probability space are orbit-equivalent. Question: Is there a version of the above theorem for non-ergodic ...
Łukasz Grabowski's user avatar
2 votes
0 answers
231 views

Do the Birkhoff averages of a measurable stationary homogeneous Markov process in continuous time "converge to the right limit"?

[I've decided to rewrite the question, to make the essential point clearer.] Let $\,\mathbb{R}^{[0,\infty)}:=\{(x_t)_{t \geq 0} : x_t \in \mathbb{R} \ \, \forall t\}$. We say that a set $Y \subset \...
Julian Newman's user avatar
2 votes
0 answers
191 views

A question related to metric Diophantine approximation

In metric Diophantine approximation you are often interested in finding conditions on $(\phi(q))_{q \geq 1}$ which guarantee that $$ \left| \alpha - \frac{p}{q} \right| < \frac{\phi(q)}{q} $$ has ...
Kurisuto Asutora's user avatar
2 votes
0 answers
288 views

Cesaro mean of products of converging matrices

Let $S$ be a finite set of states. Let $(M_n)$ be a sequence of transitions on $S$; that is, for every natural number $n$, $M_n$ is a non-negative $|S| \times |S|$ matrix whose rows sum up to 1. ...
Eilon's user avatar
  • 745
2 votes
0 answers
126 views

Is $\text{Bow}(X,T)$ a Banach Space?

Let $X=\{0,1\}^{\mathbb{N}}$ be the sequence space and $T:X\to X$ the left shift mapping. Define the vector space $\text{Bow}(X,T)$ as $$ \text{Bow}(X,T)=\{f\in C^{0}(X);~\sup_{n\in \mathbb{N}}\sup_{...
user avatar
2 votes
0 answers
90 views

Null sets visited infinitely often by trajectories of the shift dynamical system

Let $(G,\circ)$ be a Polish group, with identity $e$. Let $\Omega$ be the set of continuous functions $\omega:\mathbb{R} \to G$ such that $\omega(0)=e$. For each $t \in \mathbb{R}$, define the ...
Julian Newman's user avatar
2 votes
0 answers
130 views

uniquely ergodic hyperbolic invariant set

The question is to classify uniformly hyperbolic invariant sets supporting uniquely ergodic invariant measure. The only examples that I expect are: fixed points, periodic orbits and Cantori(Denjoy ...
John Galt's user avatar
  • 197
2 votes
0 answers
110 views

Ergodic actions with co-finite stabilizers

Let $G$ be a locally compact, second countable group acting on a standard probability space $(X,\nu)$, and let $\nu$ be $G$-invariant. Let $G_x = \{g \in G\,:\, gx=x\}$ denote the stabilizer of $x \in ...
Vladimir's user avatar
  • 1,210
2 votes
0 answers
196 views

Partitions of central sets via dynamical systems

In the book "Recurrence in Ergodic Theory and Combinatorial Number Theory", 1981, Furstenberg introduced the notion of central sets. He proved in Theorem 8.8 that in each finite partition of $\mathbb{...
alexod's user avatar
  • 757
2 votes
0 answers
88 views

adic periodic approximation of a dynamical system

Let $P$ be the Pascal adic transformation. The cutting and stacking construction of $P$ corresponds to a ``Pascal periodic approximation'' of $P$: a sequence $(P_n)$ of periodic automorphisms strongly ...
Stéphane Laurent's user avatar
2 votes
0 answers
473 views

Virtual nilpotent ergodic average

In a recent paper of Miguel N. Walsh,"Norm convergence of nilpotent ergodic averages"(http://arxiv.org/abs/1109.2922v2),the author gives a proof of the fact that multiple polynomial ergodic averages ...
Siming Tu's user avatar
2 votes
0 answers
261 views

A general Lipschtiz potential can be specified by a Gibbs specification ?

I want to consider one-dimensional system on the lattice $\mathbb{L}=\mathbb{N}$. Let be $A:(\mathbb{S}^1)^{\mathbb{L}}\to\mathbb{R}$ a lipschtiz potential. Consider the Ruelle operator $$ \mathcal{L}...
Leandro's user avatar
  • 2,044
1 vote
0 answers
87 views

Mixing for a gas of hard spheres

The gas of hard spheres is a model for a gas in a container, where each particle is a sphere of radius $\epsilon$. The spheres interact with each other and with the container with elastic collisions. ...
Plemath's user avatar
  • 111
1 vote
0 answers
94 views

Question about ergodic flows and periodicity

Let $X$ be a compact Haussdorf space, let $\mu$ be a Borel measure on $X$ with $\mathrm{supp}(\mu)=X$ and let $(\phi_s)_{s\in\mathbb R}$ be a one-parameter group of homeomorphisms which is continuous ...
Lau's user avatar
  • 729
1 vote
0 answers
265 views

Using the von Neumann crossed product to introduce a measure on the orbit space?

Suppose we're given an action (possibly: ergodic) of a group G (say, $\mathbb{R}$) on a measure space $(X, \mu)$ (possibly: a standard probability space). Question: is there a natural way of using the ...
Stepan Plyushkin's user avatar
1 vote
0 answers
196 views

Are orbits of a measurable flow always measurable with measure zero?

Let $(X, \mathcal{B})$ be a standard Borel space with a probability measure $\mu$ on $\mathcal{B}$. Let $(T_t)_{t \in \mathbb{R}}$ be a jointly measurable flow (i.e. $(T_t)_{t \in \mathbb{R}}$ is a ...
Stepan Plyushkin's user avatar
1 vote
0 answers
147 views

The space of ergodic elements of a topological or Lie group

Let $G$ be a compact topological group with normalized Haar measure $\mu$. An element $g\in G$ is an ergodic element if the mapping $L_g:G \to G $ with $x\mapsto gx$ is an ergodic map. The ...
Ali Taghavi's user avatar
1 vote
0 answers
53 views

Expected value for minimum denominator of arbitrarily chosed rational out of a ball of fixed radius to complex plane

So I have a research problem which states that we compute the probability mass function of the random variable which returns the smallest denominator of a reduced fraction in a randomly chosen real ...
homosapien's user avatar
1 vote
0 answers
75 views

Understanding logarithmic law for geodesics

I was reading this seminal paper https://projecteuclid.org/journals/acta-mathematica/volume-149/issue-none/Disjoint-spheres-approximation-by-imaginary-quadratic-numbers-and-the-logarithm/10.1007/...
User1723's user avatar
  • 307
1 vote
0 answers
63 views

Is it known whether 2-mixing continuous systems on a compact metric space are necessarily "pseudo-3-mixing"?

I asked this question on Math Stack Exchange at https://math.stackexchange.com/questions/4739742/; it received 4 upvotes, but no comments or answers even after a 450-point bounty. The question: Is ...
Julian Newman's user avatar
1 vote
0 answers
112 views

Mathematical justification for the use of an energy shell in the microcanonical ensemble

I would like to understand an identity used in the deduction of the explicit formula for the probability distribution of the microcanonical ensemble in statistical mechanics. Consider $\Lambda$ to be ...
MathMath's user avatar
  • 1,255
1 vote
0 answers
91 views

Convex combination of positive mean-ergodic operators

Let $T_1,T_2:L^1([0,1],\mathrm{d}x)\to L^1([0,1],\mathrm{d}x)$ be positive mean-ergodic operators such that: For every $h:[0,1]\to \mathbb{R}_+$ we have that $$\int_0^1 T_1 h(x)\mathrm{d}x = \int_0^1 ...
Matheus Manzatto's user avatar
1 vote
0 answers
62 views

Measure preserving system with only trivial eigenfunctions

I want to show that if $(X,\mathcal{X}, \mu, S)$ is a measure preserving system, then $S$ has no non-trivial eigenfunctions if and only if the spectral measures corresponding to all non-constant ...
User's user avatar
  • 195
1 vote
0 answers
114 views

Relation between the distance projective maps and their angles

Let $f:N \to \mathbb{R}^2$ be a differentiable map of smooth manifolds. Let $\mathbb{R}^2$ be decomposed as a direct sum of line bundles, i.e. $\mathbb{R}^2=E(x) \oplus F(x)$, where $F(x)$ and $E(x)$ ...
Adam's user avatar
  • 1,001
1 vote
0 answers
58 views

Reference of the fact that Hoelder cocycles are associated to Hoelder potentials in Ledrappier's correspondence

Let $\tilde{M}$ be the universal cover of a compact pinched\ negatively curved manifold $M$ and $\Gamma=\pi_{1}(M)$ its fundamental group and $\partial \Gamma =\partial \tilde{M}$ its Gromov boundary. ...
Ilya Gekhtman's user avatar
1 vote
0 answers
35 views

Under reasonable assumptions, is a closed invariant graph with only negative Lyapunov exponents necessarily stable?

Let $\Omega$ and $M$ be compact $C^\infty$ manifolds, let $\theta \colon \Omega \to \Omega$ be a $C^\infty$ diffeomorphism, and let $\Theta \colon \Omega \times M \to \Omega \times M$ be a $C^\infty$ ...
Julian Newman's user avatar
1 vote
0 answers
226 views

Ergodic Theory and Euler-Mascheroni Constant

I am highly interested in doing research on proving irrationality of some specific numbers like Euler-Mascheroni Constant or $\zeta(5)$. A professor guided me that arithmetic nature of constants are a ...
user avatar
1 vote
0 answers
134 views

Quotient measure on locally compact spaces

Suppose we are given a locally compact topological space $X$ and a discreet group $G$ acting on it (we can assume the action to be proper). Given a Radon probability measure on the quotient space $G \...
Osheaga's user avatar
  • 59
1 vote
0 answers
178 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?
otah007's user avatar
  • 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 ...
Adam's user avatar
  • 323
1 vote
0 answers
73 views

When is the unstable direction map $x\mapsto e^{u}(x)$ injective?

Let $f:M \to M$ be a $C^{2}$-Anosov diffeomorphism. Therefore, there exists an invariant splitting of the tangent bundle $T_{x}M = E^s(x) \oplus E^u(x)$ into a stable and an unstable directions, that ...
Adam's user avatar
  • 1,001
1 vote
0 answers
178 views

Theoretical invariant distribution of discrete dynamical systems, including the Riemann Zeta map

Update on 3/10/2021: I added Example 5 in the Appendix. This generic example encompasses the Riemann Zeta dynamical system. A simple version of this post, targeted to engineers, machine learning ...
Vincent Granville's user avatar
1 vote
0 answers
166 views

Example of topologically transitive dynamical system with invariant non-ergodic Borel measure

Let $U \subset M$ be an open subset of a Riemannian manifold. I’m trying to find or construct an example of a topologically transitive dynamical system $f : U \to U$ for which $f : \Lambda \to \...
D. Ford's user avatar
  • 151
1 vote
0 answers
75 views

Is there a term for a linear operator on an $L^p$ space that "locally respects boundedness"?

Let $X$ be a Polish space, and $\mu$ a locally finite measure. Take any $p \in \{0\} \cup [1,\infty)$. We will say that a linear operator $T \colon L^p(\mu) \to L^p(\mu)$ has property $(\ast)$ if ...
Julian Newman's user avatar
1 vote
0 answers
171 views

Vandermonde shift

I'm looking for any known results on a shift operator commutated by a Vandermonde matrix. That is, let $$T=\begin{bmatrix}0 & 1 & 0 & 0 & \cdots \\ 0 & 0 & 1 & 0 & \...
Linas's user avatar
  • 364
1 vote
0 answers
66 views

When are all average trajectories of $w_{k+1}=Aw_k+b$ bounded?

Below is an open-problem in my field, and I'm wondering if someone has insights I'm missing. (cross-posted on math.se) Suppose observation $x$ is drawn from some distribution $\mathcal{D}$, $w_0\in \...
Yaroslav Bulatov's user avatar