Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose $T$ is an ergodic measure-preserving transformation on a measure space $(X,\Sigma,\mu)$, and $f\in L^1(\mu)$. Does the limit

$\lim_{X\to\infty} \pi(X)^{-1}\sum_{p\leq X} f(T^{p}x)$

exist almost everywhere? Is it constant almost everywhere? Here the sum runs over primes, and $\pi(X)$ is the prime counting function.

When $X=\mathbb{R}/\mathbb{Z}$ with Lebesgue measure, and $T:x\to x+\theta$ is an irrational rotation, the answers to these questions are "yes" and "yes", by Vinogradov.

share|improve this question
You seem to be using $X$ for both the measure space and limit of summation (I don't have the reputation to edit). –  Noah Stein Oct 20 '10 at 10:40
add comment

2 Answers

up vote 3 down vote accepted

Here is a partial answer: Mate Wierdl proved that the limit exists almost everywhere if $f \in L^r (\mu)$ for some $r>1$. See "Pointwise Ergodic Theorem along the Prime Numbers".

Also, there is a recent article by Trevor Wooley and Tamar Ziegler ("Multiple Recurrence and Convergence along the Primes") which proves $L^2$ convergence and multiple recurrence for more complicated ergodic averages of this kind.

share|improve this answer
Thanks for the references! –  David Hansen Oct 23 '10 at 19:55
add comment

Patrick LaVictoire shows that the answer is negative if you ask for all of $L^1$.

His paper is Universally L^1-Bad Arithmetic Sequences (to appear in Journal d'Analyse Mathematique). The paper extends results of Buczolich and Mauldin (who showed a negative result if you sum along the squares). The paper can be found online at http://arxiv.org/abs/0905.3865

share|improve this answer
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.