Quantitative versions of ergodic theorem - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T02:15:42Z http://mathoverflow.net/feeds/question/4411 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/4411/quantitative-versions-of-ergodic-theorem Quantitative versions of ergodic theorem Marcin Kotowski 2009-11-06T18:36:47Z 2011-11-23T00:00:02Z <p>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?</p> <p>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?</p> http://mathoverflow.net/questions/4411/quantitative-versions-of-ergodic-theorem/4416#4416 Answer by Richard Kent for Quantitative versions of ergodic theorem Richard Kent 2009-11-06T19:15:47Z 2010-09-20T14:56:30Z <p>The best effective estimate I know of in general is the very recent and impressive work of <a href="http://arxiv.org/abs/0708.4040" rel="nofollow">Einsiedler-Margulis-Venkatesh.</a> 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. </p> <p>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!)</p> <p>See the nice survey "An introduction to effective equidistribution and property (tau)," by Einsiedler, found on his <a href="http://www.math.ethz.ch/~einsiedl/" rel="nofollow">webpage</a>.</p> <p>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.</p> http://mathoverflow.net/questions/4411/quantitative-versions-of-ergodic-theorem/4462#4462 Answer by Martin M. W. for Quantitative versions of ergodic theorem Martin M. W. 2009-11-06T23:40:46Z 2009-11-06T23:40:46Z <p>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.)</p> <p>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]$.</p> <p>The behavior for an arbitrary irrational number is governed by its continued fraction expansion. Milnor's book <em>Dynamics in one complex variable</em> has a clear explanation.</p> http://mathoverflow.net/questions/4411/quantitative-versions-of-ergodic-theorem/5167#5167 Answer by Ian Morris for Quantitative versions of ergodic theorem Ian Morris 2009-11-12T07:48:31Z 2009-11-12T07:48:31Z <p>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<code>_n</code>=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<code>_n</code>). On the other hand, a number of sufficient conditions are presented for polynominal error estimates to hold in the ergodic theorem. </p> http://mathoverflow.net/questions/4411/quantitative-versions-of-ergodic-theorem/15462#15462 Answer by Steve Huntsman for Quantitative versions of ergodic theorem Steve Huntsman 2010-02-16T15:07:27Z 2010-02-16T15:07:27Z <p>Dolpogyat has proved rates of convergence for Anosov systems (see #4 <a href="http://www-users.math.umd.edu/~dmitry/papers.html" rel="nofollow">here</a>.)</p> <p>Kac pioneered the study of recurrence times for stochastic processes (see <a href="http://www.cscs.umich.edu/~crshalizi/notabene/recurrence-times.html" rel="nofollow">here</a>).</p> http://mathoverflow.net/questions/4411/quantitative-versions-of-ergodic-theorem/44385#44385 Answer by John Griesmer for Quantitative versions of ergodic theorem John Griesmer 2010-10-31T22:20:07Z 2010-10-31T22:20:07Z <p>A. Leibman <a href="http://www.math.osu.edu/~leibman/preprints/ErgEst.pdf" rel="nofollow">proved a quantitative lower bound</a> 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.</p> http://mathoverflow.net/questions/4411/quantitative-versions-of-ergodic-theorem/81669#81669 Answer by S G for Quantitative versions of ergodic theorem S G 2011-11-23T00:00:02Z 2011-11-23T00:00:02Z <p>Usually such estimations require hyperbolicity or some particular kind of system (rotations, IET and similar....).</p> <p>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 <a href="http://arxiv.org/abs/1101.0833" rel="nofollow">1</a> for a very shorth proof of a similar result).</p> <p>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.</p>