All Questions
Tagged with pr.probability ergodic-theory
165 questions
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 ...
- 1,010
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 ...
- 897
21
votes
3
answers
1k
views
Central Limit Theorem(s) for irrational rotation
Let $\alpha$ be irrational and $T: S^1 \rightarrow S^1$ be the rotation by $\alpha$. I'm interested in what type of Central Limit Theorem (if any) can hold for sums $Y_n = \frac{1}{\sqrt{n}}\sum_{k=1}^...
- 3,323
20
votes
5
answers
1k
views
Iterated Circumcircle
Take three noncollinear points (a,b,c), compute the center of their circumcircle x, and replace a random one of a,b,c with x. Repeat. It seems this process may converge to a point, assuming no ...
- 151k
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 ...
- 6,215
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 ...
- 151k
16
votes
3
answers
2k
views
A random walk on random lines
I am wondering if this random walk remains finite with positive probability.
Start with three lines $A,B,C$ that are extensions of an equilateral triangle.
Let $p_0$ be one corner. Generate a line $...
- 151k
13
votes
2
answers
715
views
What time does it take for irrational rotations to hit an interval?
Hi,
Consider $\theta_n = (\theta_0 + n \theta) \mod 1$, $\theta$ being an irrational number, and $\theta_0$ an uniform random variable in $(0,1)$. Is there any estimates for the time it will take ...
- 411
13
votes
2
answers
1k
views
Non-integrable ergodic theory
Can anyone help me out with proofs/counterexamples? I'm working on an operator-valued multiplicative ergodic theorem and need what may(?) be a well-known fact. This fact (if true) would help me get ...
- 23.2k
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 ...
12
votes
1
answer
1k
views
Riesz–Markov–Kakutani representation theorem for compact non-Hausdorff spaces
Let $X$ be a compact Hausdorff topological space, and $\mathcal C^0 (X) = \{f:X\to\mathbb{R}; \ f \text{ is continuous }\}$. It is well known that for any bounded linear functional $\phi: \mathcal C^...
- 333
11
votes
2
answers
2k
views
Can ergodic theory help to prove ergodicity of general Markov chain?
I am a beginner in ergodic theory. I have read some lecture notes(such as this and this) about it in hope that I could find something which helps to prove the ergodicity of some Markov chain taking ...
- 221
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 ...
- 6,287
11
votes
1
answer
1k
views
resampling over Bowen balls
Hello MO World
I'm working on a paper involving embedding your favourite measure-preserving transformation into a topological model (think Krieger generator theorem: embedding in a full shift) and ...
- 23.2k
10
votes
2
answers
678
views
Irrational rotation - recurrence times
I consider the irrational rotation
$T_\alpha(x) = x + \alpha \text{ mod } 1$ for given irrational $\alpha \in [0,1]$. For a given open interval $A \subset [0,1]$ with length $|A|>0$, I consider the ...
- 103
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 ...
- 708
10
votes
2
answers
2k
views
Birkhoff Ergodic Theorem and Ergodic Decomposition Theorem for Continuous-Time Markov Processes
I have a couple of questions regarding ergodicity for Markov processes in continuous time. (In particular, the first question seems like it should be particularly basic, and yet I haven't managed to ...
- 708
9
votes
1
answer
626
views
Strange definition of ergodicity
I've already asked this question on math.stack a few days ago and haven't received an answer, so I'm asking here.
In an engineering course, a stationary process was defined to be ergodic if for all $...
- 935
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 ...
- 247
9
votes
1
answer
357
views
Random variables invariant under almost automorphisms.
Let $\Omega$ be a standard atomless probability space, we can assume $\Omega=(0,1)$ with Lebesgue measure. A bijection $f:\Omega/A_1\to\Omega/A_2$ is almost automorphism, if $P(A_1)=P(A_2)=0$, $f(A)$ ...
- 781
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'...
- 20.2k
8
votes
3
answers
749
views
non-integrable subadditive ergodic theorem
Dear MO_World,
I have (another) question about relaxing the assumptions in the sub-additive ergodic theorem. Apologies if this is something I should know already...
There are a number of statements ...
- 23.2k
8
votes
3
answers
834
views
Do regular conditional distributions almost surely assign trivial measure to all members of the conditioning $\sigma$-algebra?
Let $(X,\Sigma)$ be a standard measurable space, let $\rho$ be a probability measure on $(X,\Sigma)$, and let $\mathcal{E}$ be a sub-$\sigma$-algebra of $\Sigma$. We will say that a stochastic kernel $...
- 708
8
votes
2
answers
594
views
limiting distribution of the random walk from irrational rotation
Motivation:
If I recall correctly, the simple symmetric random walk from i.i.d binary steps converges in distribution to the Wiener measure (if scaled with $a_n = \sqrt{n}$). What I am wondering is ...
- 307
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,658
7
votes
2
answers
321
views
Random suborbits of a rotation
Let $u_n = x + n\alpha \pmod 1$ with $\alpha$ irrational. We know that $(u_n)_{n \geq 0}$ is dense in $\mathbb{R}/\mathbb{Z}$ (equivalently $(u_n)_{n \geq 0}$ visits every open interval infinitely ...
- 2,560
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 $\...
- 481
7
votes
2
answers
409
views
Estimating entropy conditional to an event
Take for example the measure $\mu(n)=n^2$ on $\{1, \ldots, N\}$ and a random variable $X$ distributed according to the probability obtained by normalizing $\mu$.
Does there exists a constant $K>0$...
- 2,560
7
votes
2
answers
698
views
Convergence rate of the convolution of almost uniform measures on $\mathbb{Z}_p$
Statement Given a finite abelian group $G$ and two independent random variables $X,Y$ taking values in $G$ and satisfying $d_{TV}(X,U_G)\leqslant \delta$ and $d_{TV}(Y,U_G)\leqslant \delta$ (where $...
- 696
7
votes
0
answers
717
views
Is there a continuous-time version of Kingman's subadditive decomposition theorem?
Kingman's subadditive ergodic theorem (see this article) states that if $x_{m,n}$ is a real valued process indexed on the set of pairs of non-negative integers $m < n$ satisfying:
$x_{l,n} \le x_{...
- 4,304
6
votes
1
answer
805
views
Ergodicity of Convoluted White Noise
I have a question regarding ergodicity in infinite dimensional spaces.
Let $\mathcal{D}$ be the space of distributions on a Schwartz space, and let $\mu$ be the white noise process which exists by ...
- 617
6
votes
2
answers
3k
views
What's the probability distribution of a deterministic signal or how to marginalize dynamical systems? (functional integrals in probability theory)
Because I still have no idea how it is possible for me to write down seemingly important equations ... that don't make any sense (at least for me) and because I haven't got any helpful comment so far, ...
- 1,026
6
votes
1
answer
819
views
Birkhoff ergodic theorem for dynamical systems driven by a Wiener process
At the risk of asking a stupid question I have the following problem.
Suppose I have a measure preserving dynamical system $(X, \mathcal{F}, \mu, T_s)$, where
$X$ is a set
$\mathcal{F}$ is a sigma-...
- 617
6
votes
0
answers
301
views
Generating stationary, ergodic random fields on a homogeneous space
Consider a homogeneous space $M$, which for the sake of concreteness, let's take to be $M = \mathbb R^d$. Fix some space $A$, and consider the space of functions $X = C(M,A)$, along with its Borel $\...
- 8,512
5
votes
2
answers
892
views
"Typical" convergence rate for the von Neumann mean ergodic theorem
The von-Neumann theorem states that for a unitary operator $U: {\cal H} \mapsto {\cal H}$,
where ${\cal H}$ is a Hilbert space, the following holds:
$$
\lim_{N\to \infty} \frac{1}{N} \sum_{n=1}^N U^n ...
- 445
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.
...
- 6,215
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\}$ ...
- 3,098
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 ...
- 1,322
5
votes
1
answer
437
views
Stationary, ergodic measures from the structuralist point of view
Stationary, ergodic measures are a class of objects very familiar to probabilists. In a sense, these are the weakest generalization of the classic case of independent, identically distributed random ...
- 8,512
5
votes
1
answer
348
views
"strongly mixing" action on dimers?
In Local Statistics of Lattice Dimers we study a nice familiar object, domino tilings in the plane extending out to infinity.
His paper is going to discuss the frequency of various "motifs" in ...
- 22.8k
5
votes
1
answer
225
views
Subadditive Kingmans theorem for lattices.
I am looking for a multidimensional version of Kingman's subadditive theorem. I found this but it is not exactely what I need.
I would rather have something like that:
Let us consider $\mathbb{Z}^...
- 1,491
5
votes
1
answer
400
views
Is the average first return time of a partitioned ergodic transformation just the number of elements in the partition?
For some reason my thinking is very fuzzy today, so I apologize for the following rather silly question below...
Let $T$ be an ergodic transformation of $(X,\Omega, \mathbb{P})$ and let $X$ be ...
- 15.4k
5
votes
1
answer
165
views
On a finitary version of mixing
Let $(X_1,X_2,\ldots)$ be a stationary, mixing sequence of real random variables. Then it holds (for example) for any event $A$ that is measurable in $\sigma(X_1,X_2,\ldots)$ and any $S \subseteq \...
- 1,322
5
votes
1
answer
446
views
Importance of Ornstein's isomorphism theorem
"Perhaps the most important parts of the Ornstein theory are criteria for determining whether or not a shift or flow is Bernoulli (a Bernoulli shift, $B_{ct}$ , or $B_{t}^{\infty}$) because it allows ...
- 395
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 ...
- 553
5
votes
0
answers
143
views
Law of Large Numbers for the Tasep from a Bernoulli Configuration (Rost's Theorem)
Let $(\eta_{t}^{\rho})_{t\geq 0}$ be a totally asymmetric simple exclusion process (TASEP) from an initial configuration distributed according to the Bernoulli measure $\nu_{\rho}$ on $\{0,1\}^{\...
5
votes
0
answers
81
views
What statistical data/quantities are known about the time spent by a generic orbit of an ergodic system in a fixed set?
By the ergodic theorem, we know that for almost every point, the average time spent by an orbit in a set is equal to the relative measure of that set.
What other information about that time can we ...
user76098
5
votes
0
answers
240
views
Paths in Pascal's triangle; or balanced $0-1$ initial segments
Here is a problem arising (via a tortuous path) from trying to determine the spectrum of Vershik's adic map on Pascal's triangle (a moderately well-known question: is the spectrum trivial, that is, is ...
- 4,679
5
votes
0
answers
221
views
Quasicompactness of transfer operators associated to IID matrix products
Let $P^1$ denote one-dimensional real projective space, and for each $A \in GL(2,\mathbb{R})$ let $\overline{A}$ denote the homeomorphism of $P^1$ induced by $A$. I am currently reading a paper which ...
- 6,206
4
votes
1
answer
277
views
Shannon entropy of $p(x)(1-p(x))$ is no less than entropy of $p(x)$
If $p(x)$ is a discrete probabilistic density function, one could construct another discrete probabilistic density function proportional to $p(x)[1-p(x)]$ with a corresponding partition function to ...
- 191