Kac's lemma

In ergodic theory, Kac's lemma, demonstrated by mathematician Mark Kac in 1947,[1] is a lemma stating that in a finite measure space the orbit of almost all the points contained in a set A {\displaystyle A} of such space, whose measure is μ ( A ) {\displaystyle \mu (A)} , return to A {\displaystyle A} within an average time inversely proportional to μ ( A ) {\displaystyle \mu (A)} .[2]

The lemma extends what is stated by Poincaré recurrence theorem, in which it is shown that the points return in A {\displaystyle A} infinite times.[3]

Let ( M , B , μ ) {\displaystyle (M,{\mathcal {B}},\mu )} be a finite measure space. Let f : M → M be a measurable transformation preserving f {\displaystyle f} . Let E ∈ B {\displaystyle E\in {\mathcal {B}}} be any measurable set with positive measure.

Define the first-return time function ρ E : E → Z + ∪ { ∞ } {\displaystyle \rho _{E}:E\to \mathbb {Z} ^{+}\cup \{\infty \}} by

ρ E ( x ) = min {\displaystyle \rho _{E}(x)=\min\(x)\in E\}}

if this set is nonempty, and otherwise, let it be ρ E ( x ) = ∞ {\displaystyle \rho _{E}(x)=\infty } if no iterate of x {\displaystyle x} is in E {\displaystyle E} . (Note that by the Poincaré recurrence theorem, the set on the right side is nonempty for almost every point.)

Then one version of Kac's lemma states that ρ E {\displaystyle \rho _{E}} is integrable (i.e. ρ E ∈ L 1 ( μ | E ) {\displaystyle \rho _{E}\in {\mathcal {L}}^{1}(\mu |_{E})} ), with

∫ E ρ E  d μ = μ ( M ) − μ ( E 0 ∗ ) . {\displaystyle \int _{E}\rho _{E}{\text{ d}}\mu =\mu (M)-\mu (E_{0}^{*}).}

This version is provable using elementary measure theory and real analysis. If the system ( f , μ ) {\displaystyle (f,\mu )} is in fact ergodic, then the set E 0 ∗ {\displaystyle E_{0}^{*}} has zero measure, so, dividing both sides by μ ( E ) {\displaystyle \mu (E)} , we indeed get that (almost everywhere in E {\displaystyle E} ) the mean return time is equal to the measure of the whole space divided by the measure of the set E {\displaystyle E} , which is the statement of the lemma.

In physics, a dynamical system evolving in time may be described in a phase space, that is by the evolution in time of some variables. If this variables are bounded, that is having a minimum and a maximum, for a theorem due to Liouville, a measure can be defined in the space, having a measure space where the lemma applies. As a consequence, given a configuration of the system (a point in the phase space) the average return period close to this configuration (in the neighbourhood of the point) is inversely proportional to the considered size of volume surrounding the configuration.

Normalizing the measure space to 1, it becomes a probability space and the measure P ( A ) {\displaystyle P(A)} of its set A {\displaystyle A} represents the probability of finding the system in the states represented by the points of that set. In this case the lemma implies that the smaller is the probability to be in a certain state (or close to it), the longer is the time of return near that state.[4]

In formulas, if A {\displaystyle A} is the region close to the starting point and T R {\displaystyle T_{R}} is the return period, its average value is:

⟨ T R ⟩ = τ / P ( A ) {\displaystyle \langle T_{R}\rangle =\tau /P(A)}

Where τ {\displaystyle \tau } is a characteristic time of the system in question.

Note that since the volume of A {\displaystyle A} , therefore P ( A ) {\displaystyle P(A)} , depends exponentially on the n {\displaystyle n} variables in the system ( A = ϵ n {\displaystyle A=\epsilon ^{n}} , with ϵ {\displaystyle \epsilon } infinitesimal side, therefore less than 1, of the volume in n {\displaystyle n} dimensions),[5] P ( A ) {\displaystyle P(A)} decreases very rapidly as the variables of the system increase and consequently the return period increases exponentially.[6]

In practice, as the variables needed to describe the system increase, the return period increases rapidly.[7]

• Kac, Mark (1947). "On the notion of recurrence in discrete stochastic processes" (PDF). Bulletin of the American Mathematical Society. 53 (10): 1002–1010. doi:10.1090/S0002-9904-1947-08927-8.
• Walkden, Charles. "MAGIC: 10 lectures course on ergodic theory – Lecture 5".
• Petersen, Karl E. (1983). Ergodic Theory. Cambridge: Cambridge University Press. p. 46. ISBN 0521236320.
• Hochman, Michael (2013-01-27). "Notes on ergodic theory" (PDF).