## Quantitative versions of ergodic theorem

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Are there any general theorems similar to Birkhoff's ergodic theorem, but giving quantitative estimates on the rate of convergence or average time of recurrence (perhaps with additional assumptions)? Take the example of an "irrational rotation" on the unit circle - are there any estimates on the average time it takes for a point to hit a certain interval?

I know there are such theorems for very special systems (e.g. for Markov chains we have exponential convergence) - what can be said about a "generic" ergodic system?

-

## 6 Answers

The best effective estimate I know of in general is the very recent and impressive work of Einsiedler-Margulis-Venkatesh. They provide polynomial decay in the ergodic theorem (for unipotent and other flows) on a set of large (actually estimated) measure for quotients of most lie groups by arithmetic lattices.

There were previously things like this: for closed hyperbolic surfaces, the error for the time average of the horocycle flow of length $T$ is something like $S(f) T^{-\epsilon}$ where $f$ is the smooth function you're averaging, $S(f)$ is a Sobolev norm, and $\epsilon$ depends on the spectrum of the surface. (In this case, every point is generic for the horocycle flow (by Ratner's theorem), and this effective estimate is independent of the point you use for the average!)

See the nice survey "An introduction to effective equidistribution and property (tau)," by Einsiedler, found on his webpage.

I would be very interested in any better estimates for flows on arithmetic hyperbolic $3$-manifolds given information on the trace field, quaternion algebra, et cetera.

-

The survey link is missing but thanks for the pointer! – Kaveh Khodjasteh Sep 20 2010 at 14:37
Sorry about the link rot.  I edited to correct it.  Let's hope it lasts a little longer this time. – Richard Kent Sep 20 2010 at 14:57

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

For the specific case you mention of an irrational rotation of the circle, it depends on the rotation number $r$. You can get slow asymptotic convergence for something like $$r=\sum{10^{-n!}}$$ (and you can just keep adding factorial signs to make the convergence arbitrarily slow.)

At the other end of the spectrum is rotation number equal to the golden ratio. In this case you know that for a Fibonacci number $q$, it will only take $q$ iterations to hit each interval of the form $[n/q, (n+1)/q]$.

The behavior for an arbitrary irrational number is governed by its continued fraction expansion. Milnor's book Dynamics in one complex variable has a clear explanation.

-

The survey "The rate of convergence in ergodic theorems" by A. G. Kachurovskii (Russian Math. Surveys 1996) lists quite a number of results in this direction which might be of interest to you. It includes some negative results: for example, if I recall correctly, for any positive real sequence a`_n`=o(n) and any aperiodic measurable dynamical system, we can find a measurable function f taking only two distinct real values with the property that the ergodic sums of f are o(n) but not o(a`_n`). On the other hand, a number of sufficient conditions are presented for polynominal error estimates to hold in the ergodic theorem.

-

A. Leibman proved a quantitative lower bound for the averages $\frac{1}{N}\sum_{n=0}^{N-1} \mu(A\cap T^{-n}A)$ in terms of $\mu(A)$ (note: the sum begins at $n=0$). The bound is $$\frac{1}{N}\sum_{n=0}^{N-1} \mu(A\cap T^{-n}A) \geq \sqrt{\mu(A)^2+(1-\mu(A))^2} + \mu(A)-1$$ for all $N\geq 1$ when $T$ is a measure preserving transformation of a probability space, and this is the best possible such bound.

-

Dolpogyat has proved rates of convergence for Anosov systems (see #4 here.)

Kac pioneered the study of recurrence times for stochastic processes (see here).

-

Usually such estimations require hyperbolicity or some particular kind of system (rotations, IET and similar....).

For general systems an effective quantitative estimation on the rate of convergence is possible (altough not sharph), provided that the system is given effectively.(see J. Avigad, P. Gerhardy and H. Towsner, Local stability of ergodic averages, Transactions of the American Mathematical Society, 362 (2010), or 1 for a very shorth proof of a similar result).

In your question it seems to me that you are mostly interested to the behavior of hitting times, and perhaps in rotations. As already remarked in another answer this depend on the arithmetical properties of the rotation. If the rotation has an angle which is well approximated by rationals you can have long hitting times for certain intervals (the time you need to wait for the interval to be hit is much more than the inverse of the lenght of the interval). Quantitative convergence results are given by the so called "discrepancy" estimations, in function of the Diofantine type of the angle (these are classical results you can find in many books). If you consider multidimensional rotations you can have even stronger pathological behaviors of the hitting time, but I do not know if you are interested in this.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 15, "mathjax_display_tex": 2, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9189023375511169, "perplexity_flag": "head"}