Furstenberg correspondence principle

The Furstenberg correspondence principle equates density Ramsey theorems in combinatorics with recurrence theorems in ergodic theory. In our context, the principle equates the following two statements:

DHJ(3), Version 1. For every [math]\displaystyle{ \delta \gt 0 }[/math] there exists n such that every subset [math]\displaystyle{ A \subset [3]^n }[/math] of density at least [math]\displaystyle{ \delta }[/math] contains a combinatorial line.

DHJ(3), Version 6. If the free group [math]\displaystyle{ F_3 }[/math] on three generators 1, 2, 3, acts in a measure-preserving fashion [math]\displaystyle{ (T_w: X \to X)_{w \in F_3} }[/math] on a probability space X, and E is a set of positive measure in X, then there exists a combinatorial line [math]\displaystyle{ w^1,w^2,w^3 }[/math] such that [math]\displaystyle{ T_{w^1}^{-1}(E) \cap T_{w^2}^{-1}(E) \cap T_{w^3}^{-1}(E) }[/math] has positive measure.

To prove this equivalence, it is convenient to introduce an intermediate stage:

DHJ(3), Version 6a. Let [math]\displaystyle{ (X_n)_{n \in {\Bbb Z}} }[/math] be a family of probability spaces, and for each [math]\displaystyle{ w \in F_3 }[/math] of length [math]\displaystyle{ |w| \in {\Bbb Z} }[/math] (where the inverse generators [math]\displaystyle{ 1^{-1}, 2^{-1}, 3^{-1} }[/math] are considered to have length -1) and [math]\displaystyle{ n \in {\Bbb Z} }[/math], let [math]\displaystyle{ T_{w, n+|w|}: X_{n+|w|} \to X_n }[/math] be an invertible measure-preserving map obeying the groupoid law

[math]\displaystyle{ T_{vw, n+|vw|} = T_{v,n+|v|} T_{w,n+|vw|} }[/math] (1)

for all integers n and group elements [math]\displaystyle{ v,w \in F_3 }[/math]. Let [math]\displaystyle{ E_0 }[/math] be a set of positive measure in [math]\displaystyle{ X_0 }[/math], then there exists a combinatorial line [math]\displaystyle{ w^1,w^2,w^3 \in [3]^n }[/math] such that [math]\displaystyle{ T_{w^1,n}^{-1}(E_0) \cap T_{w^2,n}^{-1}(E_0) \cap T_{w^3,n}^{-1}(E_0) }[/math] has positive measure in [math]\displaystyle{ X_n }[/math].

Version 1 implies Version 6

This is easy. Let [math]\displaystyle{ \delta }[/math] be the measure of E, and let n be as in Version 1. From the first moment method and the measure-preserving nature of T, we see that the expected density of [math]\displaystyle{ \{ w \in [3]^n: x \in T_w^{-1}(E) \} }[/math] is [math]\displaystyle{ \delta }[/math]. Thus for a set of positive measure, this set has density at least [math]\displaystyle{ \delta }[/math] and thus contains a combinatorial line. The claim now follows from the pigeonhole principle.

Version 6 implies Version 6a

This is also easy. Let the setup be as in Version 6a. We define the product space [math]\displaystyle{ X := \prod_{n \in {\Bbb Z}} X_n }[/math], and give it the action [math]\displaystyle{ T_w: X \to X }[/math] of the free group [math]\displaystyle{ F_3 }[/math] by the formula

[math]\displaystyle{ T_w ( x_n )_{n \in {\Bbb Z}} := ( T_{w,n+|w|} x_{n+|w|} )_{n \in {\Bbb Z}}; }[/math]

the groupoid law (1) ensures that this is an action, and the measure-preserving nature of the [math]\displaystyle{ T_{w,n+|w|} }[/math] ensures that this is measure-preserving. The claim now follows by applying Version 6 to the cylinder set [math]\displaystyle{ E_0 \times \prod_{n \neq 0} X_n }[/math].

Version 6a implies Version 1

This is the hard direction. We argue by contradiction. If Version 1 failed, then there exists [math]\displaystyle{ \delta \gt 0 }[/math], a sequence of n going off to infinity, and a sequence of line-free sets [math]\displaystyle{ A^{(n)} \subset [3]^n }[/math], each of density at least [math]\displaystyle{ \delta\lt math\gt . We let \lt math\gt m = m^{(n)} }[/math] be an integer growing slowly with n, and [math]\displaystyle{ r = r^{(n)} }[/math] be an integer growing more slowly with n. For each [math]\displaystyle{ i \geq 0 }[/math], let [math]\displaystyle{ B_i }[/math] be the ball of radius i in [math]\displaystyle{ F_3 }[/math] (i.e. the set of all strings of length at most i formed from the generators [math]\displaystyle{ 1,2,3,1^{-1},2^{-1},3^{-1} }[/math]). For any d, define a simple d-dimensional combinatorial subspace to be a d-dimensional combinatorial subspace whose d wildcards [math]\displaystyle{ *_1,\ldots,*_d }[/math] each appear in just a single position [math]\displaystyle{ a_1,\ldots,a_d \in [n] }[/math]; we refer to these positions as the [math]\displaystyle{ directions }[/math] of the simple subspace. We say that a simple (d+1)-dimensional subspace is a j-extension of a simple d-dimensional subspace for some j=1,2,3, if the latter subspace can be obtained from the former by replacing the final wildcard [math]\displaystyle{ *_{d+1} }[/math] with j, and then we refer to the latter subspace as the j-slice of the former.

We will assign a random simple [math]\displaystyle{ m+|w| }[/math]-dimensional subspace [math]\displaystyle{ V_w = \phi_w( [3]^{m+|w|} ) \subset [3]^n }[/math] to each word [math]\displaystyle{ w \in B_r }[/math], by the following recursive procedure:

• To the identity element id, we choose [math]\displaystyle{ V_{id} }[/math] uniformly at random among all m-dimensional simple combinatorial subspaces in [math]\displaystyle{ [3]^n }[/math], such that the digits 1, 2, 3 each appear at least r times amongst the frozen coordinates.
• Now suppose recursively that [math]\displaystyle{ V_w }[/math] has been chosen for all [math]\displaystyle{ v \in B_i }[/math].
• If [math]\displaystyle{ v \in B_i \backslash B_{i-1} }[/math] and [math]\displaystyle{ j \in \{1,2,3\} }[/math], we define [math]\displaystyle{ V_{vj^{-1}} }[/math] to be the j=slice of [math]\displaystyle{ V_v }[/math].
• If [math]\displaystyle{ v \in B_i \backslash B_{i-1} }[/math] and [math]\displaystyle{ j \in \{1,2,3\} }[/math], we draw [math]\displaystyle{ V_{vj} }[/math] uniformly and independently at random from all j-extensions of [math]\displaystyle{ V_v }[/math].

For each integer s, let [math]\displaystyle{ \Gamma_s := \{w \in F_3: |w| = s \} }[/math], and let [math]\displaystyle{ X_s := 2^{\Gamma_{-s}} }[/math] be the power set of the countable set [math]\displaystyle{ \Gamma_{-n} }[/math]. We have the maps [math]\displaystyle{ T_{w,s+|w|}: X_{s+|w|} \to X_s }[/math] defined by

[math]\displaystyle{ T_{w,s+|w|}(B) := w B }[/math];

these are invertible and obeys the groupoid relation (1).

We can define a random element [math]\displaystyle{ x_0^{(n)} \in X_0 }[/math] by the formula

[math]\displaystyle{ x_0^{(n)} := \{ w \in B_r \cap \Gamma_{-0}: \phi_w( 1^m ) \in A^{(n)} \}. }[/math]

The distribution of this random element gives a probability measure [math]\displaystyle{ \mu_0^{(n)} }[/math].

Let [math]\displaystyle{ E_0 \subset X_0 }[/math] be the cylinder set [math]\displaystyle{ E_0 := \{ B \subset \Gamma_0: id \in B \}. }[/math]

Lemma 1 (Density): [math]\displaystyle{ \mu_0^{(n)}(E_0) = \delta + o(1) }[/math] as [math]\displaystyle{ n \to \infty }[/math].

Proof. ...

Lemma 2 (Asymptotic stationarity): If [math]\displaystyle{ w \in \Gamma_0 }[/math] and E is a cylinder set in [math]\displaystyle{ X_0 }[/math], then [math]\displaystyle{ \mu_0^{(n)}( T_{w,0}(E) ) = \mu_0( E ) + o(1) }[/math] as [math]\displaystyle{ n \to \infty }[/math].

Proof. ...

Lemma 3 (Line-free-ness) For any combinatorial line [math]\displaystyle{ w^1,w^2,w^3 }[/math], the set [math]\displaystyle{ E_0 \cap T_{w^2 (w^1)^{-1},0}(E_0) \cap T_{w^3 (w^1)^{-1},0}(E_0) }[/math] has zero measure in [math]\displaystyle{ \mu_0^{(n)} }[/math].

Proof. ...

Now let [math]\displaystyle{ \mu_0 }[/math] be a vague subsequential limit of the [math]\displaystyle{ \mu_0^{(n)} }[/math], then by Lemma 1, [math]\displaystyle{ E_0 }[/math] has positive measure, and by Lemma 2 the probability measure [math]\displaystyle{ \mu_0 }[/math] is invariant with respect to [math]\displaystyle{ T_{w,0} }[/math] whenever [math]\displaystyle{ w \in \Gamma_0 }[/math], We can then uniquely define a probability measure [math]\displaystyle{ \mu_s }[/math] on [math]\displaystyle{ X_s }[/math] by requiring that [math]\displaystyle{ T_{w,s}: X_s \to X_0 }[/math] map [math]\displaystyle{ \mu_s }[/math] to [math]\displaystyle{ \mu_0 }[/math] for all [math]\displaystyle{ w \in \Gamma_s }[/math]. The hypotheses of Theorem 6a are now satisfied and so there exists a combinatorial line [math]\displaystyle{ w^1,w^2,w^3 \in [3]^s }[/math], the set [math]\displaystyle{ E_0 \cap T_{w^2 (w^1)^{-1},0}(E_0) \cap T_{w^3 (w^1)^{-1},0}(E_0) }[/math] has positive measure with respect to [math]\displaystyle{ \mu_s }[/math], but this contradicts Lemma 3 and we are done.