Kac's lemma

Template:Short description In ergodic theory, Kac's lemma, demonstrated by mathematician Mark Kac in 1947, is a lemma stating that in a finite measure space the orbit of almost all the points contained in a set $A$ of such space, whose measure is $\mu (A)$, return to $A$ within an average time inversely proportional to $\mu (A)$.

The lemma extends what is stated by Poincaré recurrence theorem, in which it is shown that the points return in $A$ infinite times.

Intuition

In simple terms, it states that for a measure-preserving system, the expected return time to a given subset of the space is inversely proportional to the measure (or size) of that subset. If you have a space with a total measure of 1 (a probability space), and a subset $A$, the average number of steps it takes for points starting in $A$ to return to $A$ for the first time is exactly $\frac{1}{\mu (A)}$.

Formal statement

Classic version

Sources:

Kakutani-Rokhlin Skyscraper

Instead of focusing purely on the geometric/heuristic "shifting of sets" (as in the classic proof), the Rubinstein-Salzedo approach leverages the transfer operator (or pull-back under $T$) and indicator functions to keep strict track of the arithmetic of the returns.

Comparison: Rubinstein-Salzedo vs. The Classic Proof

While both proofs arrive at the same sum, they approach the bookkeeping of the partition from slightly different angles.

Feature	The Classic Proof	Rubinstein-Salzedo Proof
Primary Tool	Pre-images / Pull-backs ($T^{-j}$) Uses inverse maps to pull sets backward.	Forward images ($T^j$) Uses forward maps to push sets forward.
Set Definitions	Uses $E_k\subseteq A$ and shifts them backward: $T^{-j}(E_k)$.	Uses $A_i\subseteq A$ and pushes them forward: $B_{i,j}=T^j(A_i)$.
Handling of Injectivity	Easier. Pre-images ($T^{-1}$) are automatically well-behaved and preserve disjointness without requiring $T$ to be invertible.	Requires careful handling of the forward map $T^j$ (which might not be injective unless $T$ is an invertible/invertible-equivalent system).
Style of Rigor	More standard in classic measure-theory texts (e.g., Walters, Petersen).	Highly algebraic; structured around explicit index-partitioning ($i,j$).

The Rubinstein-Salzedo proof makes the "disjoint skyscraper" structure of the space highly visible. By defining the explicit double-indexed sets $B_{i,j}$, it creates a physical mental model known as a Kakutani-Rokhlin Skyscraper.

In this Skyscraper:

• The set $A$ is the "floor" of the building.
• partition the base by the return time: $A_k=\{x\in A:n_A(x)=k\}$
• Each $A_i$ is a tower base.
• The sets $B_{i,j}=T^j(A_i)$ are the individual floors stacked above $A_i$.
• Applying $T$ simply moves you up one floor in the building, until you hit the top floor $B_{i,i-1}$ and get mapped back down to the ground floor $A$.
• tower k is given by $A_k\cup T(A_k)\cup \cdots T^{(k-1)}(A_k)$ and the measure is given by $\sum _{i=0}^{k-1}\mu (T^i(A_k))=k\mu (A_k)$
• each floor of each tower is disjoint $T^j(A_k)\cap T^m(A_k)=\mathrm{\varnothing }$ and same is true across towers $T^i(A_m)\cap T^j(A_k)=\mathrm{\varnothing }$

This structural visualization makes this approach highly favored for advanced ergodic topics (like holding-time transformations and suspension flows).

Second version

Let $(M,ℬ,\mu )$ be a finite measure space. Let $f:M\to M$ be a measurable transformation preserving $\mu$. Let $E\in ℬ$ be any measurable set with positive measure.

Define the first-return time function ${\rho }_E:E\to {\mathbb{Z}}^{+}\cup \{\mathrm{\infty }\}$ by

${\rho }_E(x)=min\{n\ge 1:f^n(x)\in E\}$

if this set is nonempty, and otherwise, let it be ${\rho }_E(x)=\mathrm{\infty }$ if no iterate of $x$ is in $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 ${\rho }_E$ is integrable (i.e. ${\rho }_E\in {ℒ}^1(\mu {|}_E)$), with

${\int }_E{\rho }_E\text{ d}\mu =\mu (M)-\mu (E_0^{\ast }).$

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

Application

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)$ of its set $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.

In formulas, if $A$ is the region close to the starting point and $T_R$ is the return period, its average value is:

$⟨T_R⟩=\tau /P(A)$

Where $\tau$ is a characteristic time of the system in question.

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

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

Further reading

• Template:Cite journal
• Template:Cite web
• Template:Cite book
• Template:Cite web

Standard Graduate Textbooks

• Petersen, K. (1989). Ergodic Theory. Cambridge University Press.
• Walters, P. (1982). An Introduction to Ergodic Theory. Springer Graduate Texts in Mathematics.
• Einsiedler, M., & Ward, T. (2011). Ergodic Theory: with a view towards Number Theory. Springer Science & Business Media.

Secondary & Survey References

• Krengel, U. (1985). Ergodic Theorems. De Gruyter.
• Shields, P. C. (1996). The Ergodic Theory of Discrete Sample Paths. American Mathematical Society.