[Paper Review] A General Correspondence between Averages and Integrals

Henry Towsner|ArXiv.org|Apr 17, 2008

Limits and Structures in Graph Theory5 references3 citations

TL;DR

This paper establishes a unified general correspondence between averages over dynamical systems and integrals over measure spaces, extending Furstenberg's correspondence principle to include functions, graphs, and $L^∞$-functions. It proves that for amenable semigroup actions on a set $S$ with a Følner sequence, the liminf and limsup of averages of continuous functions over $E(gs_i)$ are bounded by the integral of the corresponding functions $\tilde{E}_{s_i}$ on a dynamical system, generalizing prior results in ergodic theory and additive combinatorics.

ABSTRACT

Recent work has generalized the Furstenberg correspondence between sets of integers and dynamical systems to versions which involve sequences of finite graphs or sequences of $L^\infty$ functions. We give a unified version of the theorem subsuming all these generalizations.

Motivation & Objective

• To unify disparate generalizations of the Furstenberg correspondence principle involving sets, functions, and graphs into a single framework.
• To extend the correspondence to $L^\infty$-functions and sequences of finite graphs using a common measure-theoretic and dynamical systems framework.
• To establish the correspondence for uncountable amenable semigroups and continuous functions via left-invariant means and topological conditions.
• To prove the result using both classical and nonstandard analysis techniques, ensuring broad applicability.
• To identify sufficient topological conditions (e.g., even continuity) under which the correspondence holds for continuous $E: S \to X$ when $S$ is locally compact.

Proposed method

• Formulate a general correspondence theorem for a countable set $S$, a semigroup $G$ acting on $S$, and a compact space $X$, using a Følner sequence $\{I_n\}$.
• Define a dynamical system $(Y,\mathcal{B},\mu,(T_g)_{g\in G})$ and measurable functions $\tilde{E}_s: Y \to X$ such that $\tilde{E}_{gs} = \tilde{E}_s \circ T_g$.
• Prove that for any continuous $u: X^k \to \mathbb{R}$ and $s_1,\dots,s_k \in S$, the liminf and limsup of the average $\frac{1}{|I_n|}\sum_{g\in I_n} u(E(gs_1),\dots,E(gs_k))$ are bounded by the integral $\int u(\tilde{E}_{s_1},\dots,\tilde{E}_{s_k})\,d\mu$.
• Provide two proofs: one using classical diagonalization and Følner sequences, and another using nonstandard analysis with hyperfinite sets and standard parts.
• Extend the result to uncountable amenable semigroups using left-invariant means $m$ instead of Følner sequences.
• Establish topological conditions (e.g., even continuity of $\{g \circ E\}$) under which the functions $\tilde{E}_s$ are continuous when $S$ is locally compact and $E$ is continuous.

Experimental results

Research questions

• RQ1 Can all known generalizations of the Furstenberg correspondence—such as those for sets, functions, and graphs—be subsumed under a single, unified principle?
• RQ2 How can the correspondence be extended from sets to $L^\infty$-functions and sequences of graphs in a consistent measure-theoretic framework?
• RQ3 What conditions ensure that the correspondence holds when $G$ is uncountable or $S$ is uncountable and topological?
• RQ4 Under what topological conditions on $S$ and $E$ does the correspondence preserve continuity of the functions $\tilde{E}_s$?
• RQ5 Can the correspondence be proven using nonstandard analysis, and how does this compare to the classical approach?

Key findings

• The paper establishes a general correspondence between averages over Følner sequences and integrals over dynamical systems, valid for any countable amenable semigroup $G$ acting on a set $S$.
• For any continuous function $u: X^k \to \mathbb{R}$, the liminf and limsup of the average of $u(E(gs_1),\dots,E(gs_k))$ over $I_n$ are bounded by the integral of $u(\tilde{E}_{s_1},\dots,\tilde{E}_{s_k})$ with respect to the invariant measure $\mu$.
• The correspondence holds for $E: \mathbb{Z} \to \{0,1\}$, recovering Furstenberg's original result on arithmetic progressions in sets of positive upper Banach density.
• The correspondence extends to $E: \mathbb{Z} \to [-1,1]$, recovering results on multiple averages of bounded functions.
• For uncountable amenable semigroups, the correspondence is generalized using left-invariant means $m$, replacing the Følner sequence with $m(\{g \mid \phi(g)\})$.
• When $S$ is locally compact and $E$ is continuous, the correspondence holds if the family $\{g \circ E \mid g \in G\}$ is evenly continuous, ensuring continuity of $\tilde{E}_s$ on $Y$.