MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|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
I don't think it's right that the answer is yes for an irrational rotation and the function $f$ is taken to be $L^1$. There is a theorem called the transference principle (I think of it as a photocopying machine) allowing you to transfer a counterexample that diverges for one measure-preserving transformation to any other aperiodic measure-preserving transformation. – Anthony Quas Jul 19 '14 at 3:45
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|cite|improve this answer
Thanks for the references! – David Hansen Oct 23 '10 at 19:55

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

share|cite|improve this answer

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.