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
3 votes
0 answers
155 views

Question about martin boundaries of random walks induced on transient subgroups

Suppose $\Gamma$ is a discrete, finitely generated, non-amenable group, and consider a random walk given by a measure $\mu$. Assume the measure is symmetric, finitely generated, and the support of $\...
Yellow Pig's user avatar
  • 2,490
3 votes
0 answers
207 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$...
Stéphane Laurent's user avatar
3 votes
0 answers
95 views

Almost sure convergence of double nonconventional ergodic averages with respect to $L^p$ function

A famous result of J. Bourgain says that for a probability measure preserving system $(X,\beta,\mu,T)$, with $T_1$ and $T_2$ powers of $T$, we have that for $f_1$, $f_2\in L^{\infty}(\mu)$,$$\frac{1}{...
Siming Tu's user avatar
  • 395
3 votes
0 answers
213 views

Ergodic Markov operator

Given a $\sigma$-additive measure space $(E,\Sigma,\mu)$. A Markov operator $P : L^1(\mu) \to L^1(\mu)$ is a linear operator with $ f \geq 0 \Rightarrow Pf \geq 0 $ $ f \geq 0 \Rightarrow \|Pf\| = \|...
Adam's user avatar
  • 161
3 votes
0 answers
377 views

Discontinuity of Radon-Nikodym derivative for Patterson-Sullivan measures for word metrics on Gromov hyperbolic groups

Let $\Gamma$ be a Gromov hyperbolic group coming endowed with a word metric coming from some finite generating set. Let $\nu$ be an associated Patterson-Sullivan measure (quasi-conformal density). I ...
Yellow Pig's user avatar
  • 2,490
3 votes
0 answers
209 views

On the decay of correlations of an ergodic sequence over the set $X_{0}=0$

The following question arose while I was trying to explore possible further extensions of a CLT by Liverani which I mentioned here already (see this link, I can tell you more details upon request). It ...
David's user avatar
  • 486
3 votes
0 answers
189 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. ...
Tom Kempton's user avatar
3 votes
0 answers
148 views

Uniform bounds of number of integral points on affine varieties

In Duke-Rudnick-Sarnak 93, Density of integer points on affine homogeneous varieties, one of the consequences is the following, Consider the variety $V_{n,k} = \{A \in Mat_n(\mathbb{Z}): det(A) = k\...
Pig's user avatar
  • 809
3 votes
0 answers
132 views

Equidistribution of double coset

Let $G=PGL_n(\mathbb{R})$, $K=PO_n(\mathbb{R})$ and $X=G/K$. Also suppose $\Gamma=SL_n(\mathbb{Z})$ acts on the left of $X$. We define a typical Hecke operator on $L^2(\Gamma\backslash X)$ by the ...
Subhajit Jana's user avatar
3 votes
0 answers
156 views

Pointwise convergence of ergodic averages of unconventional conditional expectations

Let $(X_i,Y_i)_{i\in\mathbb{Z}}$ be a finite-valued stationary process whose $\sigma$-algebra of tail events is trivial. Let $\mathcal{F}_n^m$ be the $\sigma$-algebra generated by $X_n,\dots,X_m$ ($n,...
EvaristoCarriego's user avatar
3 votes
0 answers
95 views

Best convergence rate for convolutions on $\mathbb{Z}_p$

Suppose, that we have sequence of i.i.d variables $X_1,\ldots,X_n$ taking values in $\mathbb{Z}_p$ such that $d_{TV}(X_1,U) < \delta$. How fast, in terms of $\delta$ and $n$ does the sum $X_1+\...
Maciej Skorski's user avatar
3 votes
0 answers
254 views

The ergodic theorem and Lorentz norms

Let $\Omega$ be a probability space, and $\{ \tau \}_{y\in \mathbb R^d}$ an ergodic group of measure-preserving transformations, $\tau_y:\Omega \to \Omega$. The ergodic theorem says that if $f \in L^...
Scott Armstrong's user avatar
2 votes
0 answers
317 views

A (possible) generic spectral property in one dimensional dynamics

Context and Definitions Consider the interval $I=[0,1]$. We say that $T:I\to I$ satisfies the axiom A (I am following [1]) if: $T$ has a finite number of hyperbolic periodic attractors; and defining $...
Matheus Manzatto's user avatar
2 votes
0 answers
56 views

Rotation number for multicomponent Schrödinger equation

Rotation number for Schrödinger equation of the form \begin{equation} -x''(t) +q(t) x(t) = E x(t) \end{equation} was defined in R. Johnson J. Moser "The rotation number for almost periodic ...
0x11111's user avatar
  • 493
2 votes
0 answers
248 views

When is $f^*:T^*M\to T^*M$ an ergodic map for a diffeomorphism $f:M\to M$?

Let M be a differentiable manifold and $f:M \to M$ be a diffeomorphism. Then $f$ induces a natural map $f^* :T^*M \to T^*M$. The pull back map $f^*$ is a symplectomorphism wrt the ...
Ali Taghavi's user avatar
2 votes
0 answers
132 views

Proof of Zimmer's cocycle super-rigidity theorem

I was reading the proof of Zimmer's cocycle super-rigidity theorem from the book 'Ergodic theory and semi-simple groups' by Robert Zimmer (Theorem 5.2.5, page 98). But I am not able to understand it. ...
John Depp's user avatar
  • 187
2 votes
0 answers
106 views

Proving light escapes mirrors via ergodic theory of billiards

There's a longstanding open problem concerning whether or not it's possible to trap all the light from a point source using a finite collection of circles/lines whose sides are mirrors. This seems ...
interstice's user avatar
2 votes
0 answers
233 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 ...
Mrcrg's user avatar
  • 118
2 votes
0 answers
90 views

Persistence of KAM tori as a function of dimension

I have tried posting this question in MSE, but I think it might be too technical so I'm trying again here. In KAM theory one tries to describe the persistence of quasi-periodic motion when an ...
QuantumBrick's user avatar
2 votes
0 answers
151 views

Weakly mixing diffeomorphism

From Halmos, Paul R., In general a measure preserving transformation is mixing, Ann. Math. (2) 45, 786-792 (1944). ZBL0063.01889. the following result is known: Let $(E,\Sigma, \mu)$ be a measure ...
user490373's user avatar
2 votes
0 answers
135 views

Choosing the derivative of a flow

I am looking for something like the Franks' Lemma for flows. The celebrated Franks' Lemma states that: Let $f:M \rightarrow M$ be a $C^1$ diffeomorphism and $S=\{p_1,...,p_k\}$ be a finite set of ...
Ygor Arthur's user avatar
2 votes
0 answers
93 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, .....
Raphaël Kalfon's user avatar
2 votes
0 answers
117 views

Almost periodic functions in weak mixing extension

In Theorem 3.4.6 of the 'Lecture notes on ergodic theory' by Jesse Peterson, it is shown that in a weak mixing extension, every almost periodic function is trivial. I have a doubt in the proof of this ...
John's user avatar
  • 45
2 votes
0 answers
67 views

Partially hyperbolic systems and specification

Let $f: M \rightarrow M$ be a $C^{1+\alpha}$ diffeomorphism on a Riemannian compact manifold. Suppose that $f$ admits a dominated splitting $T M=E \oplus F$ with $E\ll F$, where $E$ is uniformly ...
Adam's user avatar
  • 1,001
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 ...
Sanae Kochiya's user avatar
2 votes
0 answers
134 views

Fixed point subalgebra

Suppose that $M$ is a von Neuman algebra and we have an action of a finite group $G$ on $M$. Denote by $M^{G}$ the fixed point subalgebra and suppose that $M^{G}=\mathbb{C}$ (i.e., we have an ergodic ...
Osheaga's user avatar
  • 59
2 votes
0 answers
87 views

Disjointness of processes obtained from "cutting and stacking"

Two ergodic probability measure-preserving systems in ergodic theory, $T$ of $(X,\mu)$ and $S$ of $(Y,\nu)$, are said to be disjoint if the only joining (i.e. $T\times S$-invariant measure on $X\times ...
Anthony Quas's user avatar
  • 22.5k
2 votes
1 answer
292 views

(Exponential) Mixing property for Gauss map - going from cylinders to intervals

I'm trying to understand the proof of a mixing property of the Gauss map from the paper - 'Some metrical theorems in number theory' and I'm getting confused by the logic in a step. The Gauss map $T$, ...
Bim Binsella's user avatar
2 votes
0 answers
58 views

Nonintegrable classical dynamical systems and deterministic chaos

I'm trying to delineate a minimal (and informal) "taxonomy" for classical continuous dynamical systems that could be interested by the phenomenon of "chaos" - unfortunately the ...
Lo Scrondo's user avatar
2 votes
0 answers
163 views

Two generalizations of the Verblunsky Theorem

I learned from this paper about the Verblunsky theorem. My question is that: What kind of generalizations of this theorem is availlable? In particular I am interested in the following two possible ...
Ali Taghavi's user avatar
2 votes
0 answers
88 views

Examples of minimal almost 1-to-1 extension of torus having positive entropy?

It is well known that Toeplitz subshifts are minimal almost 1-to-1 extensions of an odometer, and that some of these subshifts have positive entropy. Thus, even if a system is an almost 1-to-1 ...
RB1995's user avatar
  • 265
2 votes
0 answers
125 views

Rotation set vs existence of rotation number

Let $f\colon \mathbb{S}^{1}\to\mathbb{S}^{1}$ be a continuous function of degree 1 and $F\colon \mathbb{R}\to \mathbb{R}$ a lift of $f.$ One can define, for each $x\in \mathbb{R}$, the rotation number ...
Odylo Abdalla Costa's user avatar
2 votes
0 answers
125 views

Ergodicity of a dynamical system on the $n$-sphere

Let $v$ be continuous and nowhere-vanishing vector field tangent to the $n$-sphere $\mathbb{S}^n$ (hence $n$ is odd, w.r.t the Hairy-Ball Theorem). Let $x$ be a trajectory on $\mathbb{S}^n$, defined ...
G. Panel's user avatar
  • 557
2 votes
0 answers
203 views

Poincaré Recurrence Theorem for flows

Someone knows a book that have the proof of the Poincaré Recurrence Theorem for flows when the set have finite volume and when don't?
peyoterain's user avatar
2 votes
0 answers
176 views

Gurevich's entropy and topological entropy in a countable Markov shift

Good afternoon, I understand that Gurevich's entropy and topological entropy coincide when the countable Markov shift is topologically mixing (right?) Does anyone know of an example or a reference ...
Rusbert's user avatar
  • 173
2 votes
0 answers
84 views

Measure invariant under circle maps

Consider continuous bijections (may even assume these are homeomorphisms or diffeomorphisms if it helps) from the circle onto itself given by $x \mapsto x + s_i(x)$ where $i = 1,2$ or $3$. (I'm ...
ARG's user avatar
  • 4,342
2 votes
0 answers
113 views

Characterizing the relationship between element-wise Markov transitions and the full-conditionals of the stationary distribution

Consider a $p$ dimensional random variable with a discrete support. Consider a Markov transition kernel on the state space that is defined in terms of element-wise transition distributions. One can ...
R Hahn's user avatar
  • 2,721
2 votes
0 answers
117 views

On invariant cones of the Katok map

I am studying the Katok map and similarly constructed examples of nonuniformly hyperbolic surface diffeomorphisms. An important part of the analysis of these diffeomorphisms is the invariance of a ...
D. Ford's user avatar
  • 151
2 votes
0 answers
119 views

Example shows that entropy is not upper semi continuous

Let $(X, \beta, \mu)$ be probabilty space of compact space $X$. Let $T:X \rightarrow X$ be continuous function, and expansive. It is well known that entropy $\mu \mapsto h_{\mu}$ is upper semi ...
Adam's user avatar
  • 1,001
2 votes
0 answers
113 views

Estimating the measure of a pre-image of a polynomial

This question was previously posted on MSE https://math.stackexchange.com/questions/3305781/estimating-the-measure-of-a-pre-image-of-a-polynomial Let $\sigma := 2/(3\sqrt{3})$, be a real number. And ...
Matheus Manzatto's user avatar
2 votes
0 answers
152 views

Baker map-like problem

Let $S =[0, 1]^2$ denote the unit square in $\mathbb R^{2}$. For any subset $A$ of $S$ let $A^{c}$ denote its complement in $S$, and $\overline{A}$ its closure in $S$. Given a measurable map $g: W \...
James Baxter's user avatar
  • 2,029
2 votes
0 answers
160 views

A generalized Furstenberg's $\times p,\times q$-conjecture

Let $p,q$ be two positive integers such that $\frac{\log p}{\log q}\notin\mathbb{Q}$. Furstenberg's $\times p,\times q$ conjecture says that the only ergodic nonatomic $\times p,\times q$-invariant ...
Huichi Huang's user avatar
2 votes
0 answers
136 views

size of local strong stable manifold is measurable

Let $M$ be compact manifold. suppose $f:M\rightarrow M$ is $C^{2}$. There is a continuous splitting of the tangent bundle $TM=E^{ss}+E^{s}+E^{u}$ invariant under the derivative $Df$ of the ...
Michal's user avatar
  • 189
2 votes
0 answers
53 views

Sufficient condition for square root fluctuations of an ergodic sequence

Suppose I have a random sequence $\mathbf{X}=\{X_n\}_{n\in\mathbb{Z}}\subset \mathbb{R}^{\mathbb{Z}}$ that is ergodic with respect to translations. I am interested in a sufficient condition on $\...
Ofer's user avatar
  • 83
2 votes
0 answers
131 views

Generalized right Perron-Frobenius eigenvector with rationally independent coordinates

Suppose you are given a directed graph $G=(V,E)$ which is strongly connected, i.e. for every two vertices $u,v \in V$ there exists a directed path between them. Consider the corresponding edge shift ...
Felipe Arbulú's user avatar
2 votes
0 answers
49 views

Ergodicity of differentiated processes

Let $S$ be a vector space, and $X$ a jointly-measurable random process/field with two parameters: $$ X: [0,\infty)\times\mathbb{R}\times\Omega\to S,$$ i.e. $X_{t,\theta}:\Omega\to S$ are random ...
S.Surace's user avatar
  • 1,675
2 votes
0 answers
284 views

Average of irrational flow on the torus

Let $$F(x,y) = \frac{1}{\sqrt{2-\sin(2\pi x) - \sin(2\pi y)}}$$ defined on $\mathbb{T}^2$. Here $\mathbb{T}^2 = \mathbb{R}^2/ \mathbb{Z}^2$ is the 2-torus. How can I show that $$ \lim_{T\...
Sean's user avatar
  • 313
2 votes
0 answers
89 views

Ergodicity in Césaro mean : deterministic and stochastic cases

Let $\{ X_t, t \geq 0 \}$ be a $\mathbb{R}^d$-valued stochastic process on a probability space $(\Omega, \mathcal{F}, \mathbb{P})$. Assumption $X_t$ is a regenerative process in the sense of https:/...
megaproba's user avatar
  • 353
2 votes
0 answers
35 views

Positive probability that two autoregressive sample paths have the same sign

Suppose I have two autoregressive processes of order one, that is, \begin{align} X_{t+1} &= \beta X_t + \varepsilon_{t+1}, \\ Y_{t+1} &= \beta Y_t + \varepsilon_{t+1}, \end{align} where $0<\...
Marc's user avatar
  • 479
2 votes
0 answers
68 views

Reference request- Automorphisms of point processes

A suspension of a point process on $\mathbb{R}^d$ is a measure preserving automorphism of the (distribution of the) point process which is determined by a map $T:\mathbb{R}^d\to\mathbb{R}^d$. The ...
user103342's user avatar