2
$\begingroup$

Let $(X, T, \mathcal F, \mu)$ be a nonatomic standard probability space equipped with a measure preserving transformation $T$. We say $T$ is uniformly weak mixing if for every $\varepsilon > 0$, there exists some $N > 0$ such that for all measurable sets $A, B \in \mathcal F$

$$| \frac{1}{n} \sum_{k=1}^n \mu(T^{-k} A \cap B) - \mu(A) \mu(B)| < \varepsilon$$

for all $n > N$.

Question: If $T$ is uniformly weak mixing, then does it hold that for all $f \in L^\infty (X)$, there exists some measurable set $E$ of full measure such that

$$\frac{1}{n} \sum_{k=1}^n T^k f \to \int f d\mu$$

uniformly on $E$?

$\endgroup$
2
  • 5
    $\begingroup$ I don't think there is a system that satisfies your definition of uniformly weak mixing. Such a system must be ergodic, and therefore admit Rohlin towers. Given $N>0$ and a Rohlin tower $\{E,TE,\dots,T^{m-1}E\}$ with $N = o(m)$, you can set $A=B = E\cup TE \cup \cdots \cup T^{m/2}E$ and find that $\frac{1}{N+1}\sum_{k=1}^{N+1} \mu(T^{-k} A\cap A) \approx \mu(A)\approx 1/2$. In other words, given an initial segment of integers, every ergodic MPS on a nonatomic probability space admits a subset which is approximately invariant under that segment. $\endgroup$ Commented Jul 22, 2022 at 14:52
  • $\begingroup$ Ah i see, that’s true indeed.. $\endgroup$
    – Nate River
    Commented Jul 23, 2022 at 10:19

1 Answer 1

1
$\begingroup$

@John Griesmer answered this question: "I don't think there is a system that satisfies your definition of uniformly weak mixing. Such a system must be ergodic, and therefore admit Rohlin towers. Given $𝑁>0$ and a Rohlin tower $\{𝐸,𝑇𝐸,…,𝑇^{π‘šβˆ’1}𝐸\}$ with $𝑁=π‘œ(π‘š)$, you can set $𝐴=𝐡=𝐸\cup 𝑇𝐸 \cup \ldots \cup 𝑇^{π‘š/2}𝐸$ and find that $\frac{1}{𝑁+1}\sum^{𝑁+1}_{π‘˜=1}\mu(𝑇^{βˆ’π‘˜}𝐴\cap 𝐴)\approx \mu(𝐴)\approx 1/2$. In other words, given an initial segment of integers, every ergodic MPS on a nonatomic probability space admits a subset which is approximately invariant under that segment."

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .