Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
0 answers
116 views

Convergence in probability results with still open point-wise versions

In ergodic theory and more generally in stochastic processes, often convergence in probability results precede convergence almost-surely results in quite a few years. Classical examples include the ...
5 votes
1 answer
389 views

Is a random circle rotation weak mixing almost surely?

Consider the random circle rotation $x \to x + Z \text{ mod 1}$ on $([0, 1], \text{Lebesgue})$ where at each rotation, $Z$ is uniformly distributed on $[0, 1]$ and independent of previous rotations. ...
2 votes
0 answers
92 views

Existence of ergodic subgroup invariant to a product measure

Let $X=\{0, 1\}^{\mathbb{N}}$ and $G$ be the group of permutations, each of which only permutes finitely many coordinates of $X$. Fix a sequence $(\lambda_n)_{n\in \mathbb{N}} \subseteq (0, 1]$ and ...
4 votes
1 answer
446 views

Birkhoff ergodic theorem for ergodic Markov processes

This question was previously posted on MSE. This question might be easy but I am really stuck on it. Let $M$ be compact metric space and $\mathcal B(M)$ the Borel $\sigma$-algebra of M. Consider the ...
3 votes
1 answer
194 views

Dynamics of a random stretch map

Notation: Here $S^1$ denotes the circle, which we view as the unit sphere in $\mathbb C$. We equip the circle with its natural length metric. Let $\{\epsilon_n\}_{n \geq 1}$ be iid uniformly ...
1 vote
0 answers
48 views

Rigorous analysis of phase transitions and universality in a non-linear model of interacting oscillators

Consider a system of interacting non-linear oscillators governed by the McKean-Vlasov equation: $$\frac{\partial p(x,t)}{\partial t} = \frac{\partial}{\partial x}\left[\frac{\partial V(x)}{\partial x}...
11 votes
2 answers
2k views

De Finetti's theorem, the pointwise ergodic theorem, and reverse martingales

De Finetti's theorem says that an exchangeable sequence of random variables $X_i$ is a mixture of i.i.d. random variables. In other words, if $\mu$ is a measure on $\mathbb{R}^\infty$ that is ...
20 votes
1 answer
2k views

Roadmap to Ergodic Theory

I have recently been interested in going deeper into ergodic theory, beyond an introductory level of knowledge. Background wise, my training has mostly been in stochastic analysis, and I have a ...
0 votes
0 answers
107 views

How to show that the map $ R $ here is measure-preserving

Assume that $ (X,\mathcal{B},m,T) $ is a measure-preserving dynamical system, where $ (X,\mathcal{B},m) $ is a probability space, $ \mathcal{B} $ denotes all the measurable sets in $ X $, $ m $ is the ...
2 votes
1 answer
266 views

Ergodicity of linear dynamical systems and convergence of covariance matrices

Let $z(n+1)=Bz(n)+\xi(n+1)$ be an $N$-dimensional linear dynamical system with $\left(\xi(n)\right)_{n\in\mathbb{N}}$ being i.i.d. with $\xi(n)\sim\mathcal{N}(0,\Sigma_{\xi})$. Assumptions: a) The ...
3 votes
1 answer
307 views

"Ergodic theorem" for Markov kernels

Consider a discrete time Markov chain $(X_t)$ on a finite state space $\mathcal{S}$, with transition matrix $P$. Assume that the chain admits a stationary distribution $\pi$, which I will identify ...
2 votes
0 answers
313 views

Correlation decay rate

Let $T$ be a continuous transformation of a probability measure space $(X,\mathcal{B}(X),\mu)$ and $\varphi ,\phi \in L^2(\mu)$ (so-called observable) . The correlation function of $\varphi ,\phi$ (a ...
1 vote
1 answer
210 views

Shift-ergodic stochastic processes in continuous time

Let $\mathscr{C}:=\{\gamma : \mathbb{R}_+\rightarrow\mathbb{R}^n \mid \gamma \ \text{ continuous}\}$ be the set of all $\mathbb{R}^n$-valued paths over $[0,\infty)$. Endow $\mathscr{C}$ with the $\...
25 votes
6 answers
6k views

Proof of Krylov-Bogoliubov theorem

Where can I find a proof (in English) of the Krylov-Bogoliubov theorem, which states if $X$ is a compact metric space and $T\colon X \to X$ is continuous, then there is a $T$-invariant Borel ...
4 votes
0 answers
200 views

Asymptotic behavior of a dynamical system of density functions

On September 24, 2022, I asked the question below on Mathematics Stack Exchange, linked here: Link to question on Mathematics Stack Exchange. I received two up-votes, but no comments or answer. I ...
4 votes
1 answer
426 views

A process of repeated convolution and conditioning and the resulting sequence of probability distributions

I am interested in the following procedure that yields a sequence $D_1,D_2,\ldots,$ of probability distributions over $\mathbb{R}^n$. Let $D_1$ be the $n$-dimensional Gaussian distribution with ...
1 vote
0 answers
177 views

Building random homeomorphisms of the torus $\mathbb T^2$

In https://arxiv.org/abs/0912.3423, a family of random homeomorphisms of the circle is constructed. Main Question: Can the construction be generalized to higher space dimensions, e.g. to $\mathbb T^2$?...
0 votes
0 answers
118 views

A measure on the group of homeomorphisms of $\mathbb T^2$

Let us consider the group of measure-preserving homeomorphisms of $\mathbb T^2$ (with transformations identified if they agree almost everywhere) called $G[\mathbb T^2, \mathcal L^2]$. We shall ...
1 vote
0 answers
96 views

Building random homeomorphisms of the circle

Given a positive Borel measure without atoms $\tau$ on the circle $\mathbb T =\mathbb R /\mathbb Z =[0,1)$ , in https://arxiv.org/abs/0912.3423 a homeomorphism $h:[0,1)\to [0,1)$ is defined as \...
7 votes
1 answer
253 views

Are all quasi-regular points on Polish spaces generic points?

Let $X$ be a Polish space and $T\colon X\to X$ be a continuous map. We say that a point $x\in X$ is quasi-regular if for every bounded continous function $\varphi\colon X\to\mathbb{R}$ the sequence $...
3 votes
0 answers
92 views

What dynamical properties should we expect from systems satisfying statistical ones?

Some results on probability theory can be generalized to more abstract ones in ergodic theory, for example: the strong law of large numbers can be seen as a particular case of Birkhoff's ergodic ...
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 ...
0 votes
0 answers
83 views

Distortion estimates to control Hausdorff measure of a curve

I am studying the paper Blumenthal - Statistical properties for compositions of standard maps with increasing coefficent. I have a problem to understand how the distortion estimates are used. The ...
3 votes
0 answers
145 views

2-ball billiards in a circle

Consider a 2D circular billiards table with diameter 1m containing two balls with diameter 0.25m. Let each ball start with a speed of 1m/s. In general, this speed could change after the balls hit ...
9 votes
1 answer
359 views

Relaxation of notion of positive definite function

A function $f:\mathbb{R}\to\mathbb{R}$ is called positive definite (in the semigroup sense) if for all $n\geq 1$ and $x_1,\ldots,x_n\in\mathbb{R}$ pairwise different the matrix $(f(x_i+x_j))_{i,j=1}^n$...
10 votes
2 answers
559 views

Can Birkhoff's ergodic theorem for integrable functions easily be deduced from Birkhoff's ergodic theorem for bounded functions?

It seems to me that a considerably simpler proof [see below] of Birkhoff's ergodic theorem can be obtained for bounded observables than for more general $L^1$ observables. Therefore, I feel like it ...
1 vote
1 answer
176 views

Invariant distributions for iterated random variables (stochastic dynamical systems)

This is related to discrete dynamical systems, with the initial condition $X_1$ being a random variable with a non singular distribution. The system is driven by the iteration $X_{n+1} = g(X_n)$ for ...
2 votes
0 answers
143 views

inverse of moment-generating function in terms of moments

Let $\{h_i\}$ be decreasing sequence of $n$ positive reals. Define distribution $p(X=h_i)\propto h_i$ and let $g(s)=E_X[e^{sX}]$ be the moment generating function. For instance, for $h=\{1,\frac{1}{4},...
0 votes
1 answer
138 views

Do measure-valued dynamical systems correspond to marginals of Markov processes?

Let $(\mu_n)_{n=1}^{\infty}$ be a sequence in $\mathcal{P}_1(X)$ for some compact metric space $(X,d)$. Suppose that there is a weakly-continuous function $F:\mathcal{P}_1(X)\rightarrow \mathcal{P}_1(...
7 votes
1 answer
274 views

Uniqueness of stationary measures for $(G,\mu)$ boundaries

Let $G$ be a countable group acting minimally by homeomorphisms on a compact Hausdorff space $X$ and $\mu$ be a probability measure on $G$ whose support generates $G$ as a semigroup. Let $\nu$ is a $\...
1 vote
0 answers
193 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 ...
4 votes
0 answers
95 views

When the Jacobian of unstable measure converges

Let $T:X \to X$ be a hyperbolic map on the compact metric space $X$. Hyperbolicity means that $T$ has local stable and unstable sets with uniform exponential bounds, which satisfy a local product ...
2 votes
1 answer
126 views

Values appearing with density in an ergodic system

Values appearing with density in an ergodic system Let $(X,\mu)$ be a probability space with invertible, measure preserving, totally-ergodic map $T:X \to X$. ($(X,\mu,T)$ is a $\mathbb{Z}$ dynamical ...
10 votes
2 answers
488 views

A functional equation involving the inverse function

$\newcommand\ep\epsilon\newcommand\R{\mathbb R}$Let $P$ denote the set of all continuous probability density functions (pdf's) $p$ on $\R$ vanishing at $\pm\infty$. Let us say that a pdf $p\in P$ is ...
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 \...
14 votes
0 answers
358 views

What is the asymptotic dynamics of the winning position in this game?

$n$ players indexed $1,2,...,n$ play a game of mock duel. The rules are simple: starting from player $1$, each player takes turns to act in the order $1,2,...,n,1,2,...$. In his turn, a player ...
5 votes
0 answers
183 views

Central limit theorem versus entropy in dynamical systems context

A dynamical system $(S^1,T, \mu)$, $T_* \mu=\mu$, $T$ ergodic, $S^1$ is circle. Assume it has central limit theorem. Want to know the relation between its measure-theoretic entropy $h_{\mu}(T)$ and ...
3 votes
1 answer
233 views

A subadditive maximal ergodic theorem

Let $(\Omega,\mathcal A,\operatorname P)$ be a probability space, $\tau:\Omega\to\Omega$ be a measurable map on $(\Omega,\mathcal A)$ with $\operatorname P\circ\:\tau^{-1}=\operatorname P$, $Y_n:\...
6 votes
1 answer
611 views

The "Chaos Game" as a particular series of i.i.d. random variables

Fix a parameter $\alpha\in(0,1)$ and take an i.i.d. sequence $X_0,X_1,\ldots$ of $\mathbb{R}^n$ valued random variables. Construct the limiting random variable $X_\infty = (1-\alpha)\sum_{k=0}^\infty ...
1 vote
0 answers
72 views

Distance between value function of deterministic and stochastic control problems

Suppose that one wants to control a diffusion process $$ dX_t^u = \mu(X_t^u,u)dt + \sigma dW_t; \qquad X_0^u=x $$ in order to optimize a stochastic control problem with value function $$ V_T(u)=\...
4 votes
1 answer
222 views

Is there a version of the Return Times Theorem for Dunford-Schwartz operators?

Bourgain's "Return Times Theorem" establishes that if $(\Omega_{j},\mathcal{F}_{j},\mathbb{P}_{j},T_{j})$ ($j=1,2$) are measure-preserving Dynamical systems (i.e. $(\Omega_{j},\mathcal{F}_{j},\mathbb{...
1 vote
1 answer
170 views

Stationary distribution of Markov Chain with departure

I have a Markov Chain of $N$ states. Such states represent the energy levels in a molecule. The states' connectivity is as follows: States $j\in\{0,\ldots,N\}$ transition to $k\in\{\max(j-M,0),...,\...
2 votes
1 answer
117 views

Size of the orbit of a dense set

This question is a follow-up to: this post. Let $X$ be a separable Banach space, $\phi\in C(X;X)$ be an injective continuous non-affine map, and $A$ be a dense $G_{\delta}$ subset of $X$. How big ...
2 votes
1 answer
409 views

Existence and uniqueness of a stationary measure

This same question was also posted on MSE https://math.stackexchange.com/questions/3327007/existence-and-uniqueness-of-a-stationary-measure. Recently I have posted the following question on MO ...
3 votes
1 answer
372 views

Attractors in random dynamics

Let $\Delta$ be the interval $[-1,1]$, then we can consider the probability space $(\Delta , \mathcal{B}(\Delta),\nu)$, where $\mathcal{B}(\Delta)$ is the Borel $\sigma$-algebra and $\nu$ is equal ...
11 votes
1 answer
393 views

Growing a chain of unit-area triangles: Fills the plane?

Define a process to start with a unit-area equilateral triangle, and at each step glue on another unit-area triangle.                     $50$ ...
1 vote
0 answers
86 views

Coboundary in the slow mixing systems

Given dynamical system $(X, T, \mu)$, $\mu$ is probability, $\mu \circ T =\mu$, $T$'s transfer operator $P$ is defined by following relation: $\int (P a) \cdot b d\mu= \int a \cdot (b \circ T) d\mu$ ...
8 votes
0 answers
157 views

Pursuit-evasion with many slow pursuers

Question: Suppose that intelligent pursuers with speed $v<1$ are randomly scattered on the plane with area density $1/r$  ($r>0$ is distance from the origin). If you start at the origin ...
1 vote
0 answers
179 views

Two mixing rates of random dynamical system

Given random dynamical system $(X, \mathcal{B}, (T_{\omega})_{\omega\in \Omega}, \mu)$ where $(\Omega, \mathbb{P})$ is probability space with ergodic transformation $\sigma: \Omega \to \Omega$. Define ...
1 vote
0 answers
59 views

Regularity of the pdf of partial Birkhoff sums

Suppose that $T: X \to X$ is some measurable map on a Riemannian manifold $X$ (possibly with boundary). Let $\mu$ denote the Riemannian measure on $X$. For measurable, real-valued $g$ we may consider ...