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 ...
2 votes
0 answers
83 views

Random time change and ergodicity

I guess it is a standard question in ergodic theory but I failed to find any reference to similar problems and I have no clue on how to tackle it. Let $(B_{t})_{t\in \mathbb{R}}$ be a standard ...
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 ...
2 votes
0 answers
118 views

the projection distribution induced by integral points on the sphere

Let $A=\{\mathbf{v} \in \mathbb{Z}^{n}: \|\mathbf{v}\|^2= m \}$ and a fixed $\mathbf{y}\in \mathbb{R}^n$, the norm here refers to the Euclidean norm. Suppose $\mathbf{x}$ is a uniform distribution on ...
3 votes
2 answers
224 views

Measures with superexponential moments on finitely generated groups

Let $\Gamma$ be an infinite finitely generated group and let $\nu$ be a measure on $\Gamma$ which generates a transient random walk. I was reading this paper, and the authors prove many of their ...
3 votes
2 answers
250 views

Existence of a positive measurable set with disjoint preimage under iterated transformation

Let $(X,\mathcal B,\mu)$ be a atomless probability measure space and $T:X\to X$ be a non-singular transformation such that $\mu\left({x\in X: T^n(x)=x}\right)=0$ for every $n\ge 1$. Let $A\in \mathcal ...
2 votes
2 answers
328 views

Existence of the limit of periodic measures

Let $T: X \to X$ be a continuous map over a compact metric space. We say that a measure $\mu$ is $T$-invariant if $T_{\ast} \mu= \mu$. We denote by $M(X, T)$ the space of all $T$-invariant Borel ...
2 votes
0 answers
115 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. ...
3 votes
1 answer
190 views

Quantitative version of ergodic theorem in Markov chains

Consider an irreducible Markov chain $X_t$ with finite state space $E$, and unique invariant measure $\pi$. Fix a function $V:E\to\mathbb R$ such that $E_\pi[V]=0$. The ergodic theorem tells us that, ...
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 ...
12 votes
3 answers
891 views

Looking for at least one beautiful and not too technical result in asymptotic group theory

We have a student seminar devoted to the problems of asymptotic group theory with some connections to ergodic theory and measure theory in general. Each talk concerns one of the problems of this ...
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 ...
1 vote
0 answers
211 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 ...
-1 votes
1 answer
148 views

Strong law of large numbers for a sequence of random variables in different probability spaces

Is it known whether the following version of the strong law of large numbers holds? For each $k\in\mathbb{N}$, let $\Omega_k$ be a finite set and $\mu_k$ be a probability measure on $\Omega_k$. Let $(...
17 votes
2 answers
2k views

Random walk is to diffusion as self-avoiding random walk is to ...?

One can view a random walk as a discrete process whose continuous analog is diffusion. For example, discretizing the heat diffusion equation (in both time and space) leads to random walks. Is there a ...
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 ...
0 votes
1 answer
82 views

WLLN for bootstrap means of stationary ergodic processes?

Setup:$\quad$ Suppose that $(X_n)$ is a stationary ergodic process with $E|X_1|<\infty$. Given $X^{(n)}=(X_1, \dots, X_n)$, select a standard Efron bootstrap subsample $(X_{n,1}^*, \dots, X_{n,m(n)}...
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 $...
1 vote
1 answer
257 views

Using gradient descent in probability case

Suppose we have i.i.d. samples $x_i\sim N(0,\Sigma)$ and $y_i\sim x_i^T\omega^*+\xi_i,\xi_i\sim N(0,1)$ where $\omega^*$ is the fixed point of: $$\omega_{i+1} = \omega_i − \eta\nabla_\omega f(\omega_i,...
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 ...
2 votes
0 answers
101 views

A characterization of Shannon entropy in finite sets?

I am trying to solve a complicated probability problem related to Shannon Entropy. Let $(E,p)$ be a finite set with a probability measure $p$ on $E$. $E^n$ is given the probability measure $p^n(x_1, .....
4 votes
1 answer
363 views

Maximal ergodic inequality

A map $f: X \to X$ preserves an ergodic probability $\mu$, i.e., $\mu \circ f^{-1}=\mu$ and for any $\phi: X \to \mathbb{R}$ with $\int \phi d\mu=0$, $$\frac{1}{n} \sum_{i \le n} \phi \circ f^i \to 0 \...
5 votes
1 answer
163 views

Recurrence of ergodic processes

Let $(X_1,X_2,\ldots)$ be a stationary ergodic process with each $X_n$ a real random variable taking values in $[-1,+1]$. Suppose that $\mathbb{E}[X_n]=0$. Let $S_n = \sum_{k=1}^n X_k$. Is the process ...
2 votes
0 answers
123 views

Probability of a finite cylinder set in a free group

Let $\mathbb{F}_n$ be the free group (each elemen is in its reduced form) generated by the set $\Sigma_n = \{a_1, a_2, \cdots, a_n, a_1^{-1}, a_2^{-1}, \cdots, a_n^{-1}\}$ and let $e$ denote the ...
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 ...
9 votes
1 answer
950 views

Sort-of converse of Kolmogorov zero-one theorem

Let $(\Omega, \mathscr F, \mathbb P)$ be a probability space. The Kolmogorov zero-one theorem states that Suppose we have independent random variables $X_1, X_2, ...$. Then $\forall \ A \in \bigcap_n ...
8 votes
3 answers
404 views

All two-point correlations equal to $0$, three-point correlation not $0$?

Let $a_1,a_2,a_3,\dotsc \in \{-1,1\}$ be a sequence. Suppose that, for all $j>0$ and all $\epsilon, \epsilon'\in \{-1,1\}$, the proportion of $n\geq 1$ such that $(a_n,a_{n+j}) = (\epsilon,\epsilon'...
2 votes
1 answer
180 views

Random sequence with positive Lyapunov exponent?

Consider the following self-adjoint matrix $A_X = \begin{pmatrix} 0 & -i \\ i & X \end{pmatrix},$ where $i$ is the imaginary unit and $X$ is a uniformly distributed random variable on some ...
1 vote
1 answer
137 views

Ergodic theorem on limit of periodic transformations?

Suppose $(X,\mu)$ is a probability space, and $T_n, n \in \mathbb N$, is a sequence of periodic measure preserving transformations. For $x \in X$ and $f : X \to \mathbb R$, let $\mathrm{avg}_{f,n}(x)$...
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 $\...
51 votes
0 answers
2k views

Alternating colors on a line: infinitely often or converge?

Suppose we have intervals of alternating color on $\mathbb{R}$ (say, red / blue / red / blue / …). All intervals have independent length, with all red intervals distributed as $\mathbb{P}_{R}$, all ...
3 votes
0 answers
153 views

Metropolis-Hastings sampling as a group action

Suppose that you have a topological space $\Omega \subset \mathbb R^n$ accompanied a measure $\mu$ and you're running an iterative sampling algorithm like Metropolis-Hastings. To sample you choose 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 ...
0 votes
1 answer
109 views

Sets of invariant measures of Markov operators

A family of Markov operators $P_i \colon C \to C, i \in I$ is given. Let $V_i$ be the set of the $P_i$-invariant measures. Is there any result in the literature about a necessary and sufficient ...
5 votes
2 answers
611 views

Sequences similar to $\{n\alpha\}$ that are both equidistributed and truly random-like

See update at the bottom. Here the brackets represent the fractional part, and $\alpha \in [0, 1]$ is a positive irrational number. It is well known that the sequences $\{n\alpha\}$, $\{n^2\alpha\}$ ...
1 vote
1 answer
183 views

finiteness of moments of the stationary distribution of a Markov chain

I have a Markov chain $\{X_k\}_{k\geq 0}$ on $\mathbb{R}$. The corresponding probability density functions satisfy $$ f_{k+1}(t) = \int_{-\infty}^\infty \Psi(t,\tau)f_k(\tau)\,d\tau,\qquad k=0,1,2,\...
0 votes
2 answers
222 views

Induced probability measure on a finite orbit under a group action

Suppose we have a discrete group $G$ acting on a compact set $X \subseteq \mathbb{R}^d$ via measure-preserving homeomorphisms, and suppose we have a point $x$ whose orbit $Gx$ is finite (say $|Gx| = n$...
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 \...
2 votes
1 answer
159 views

Can we show that this transition semigroup preserves a certain Wasserstein space?

Let $E$ be a separable $\mathbb R$-Banach space, $v:E\to[1,\infty)$ be continuous, $$\rho(x,y):=\inf_{\substack{\gamma\:\in\:C^1([0,\:1],\:E)\\ \gamma(0)\:=\:x\\ \gamma(1)\:=\:y}}\int_0^1v\left(\gamma(...