Topological dynamics formulation

From Polymath1Wiki

Define a topological dynamical system over the rationals to be a pair (X,T), where X is a compact metrisable space, and $T = (T_q)_{q \in {\Bbb Q}^+}$ is a continuous action of the positive rationals (as a multiplicative group) on X. In other words, for each positive rational q, $T_q: X \to X$ is a homeomorphism such that $T q r = T q T r$ for all positive rationals q, r. In particular, the $T q$ all commute. For any function $f: X \to {\Bbb C}$ , we write $T q f$ for $f \circ T_q$ .

The Erdos discrepancy problem is then equivalent to

Conjecture 1. Let (X,T) be a topological dynamical system over the positive rationals, and let $f: X \to \{-1,+1\}$ be a continuous function. Then the quantity $\sum_{i=1}^n T_i f(x)$ is unbounded as x ranges over X and n ranges over the natural numbers.

Proof of Conjecture 1 assuming EDP Suppose for contradiction that $|\sum_{i=1}^n T_i f(x)| \leq C$ for some C and all x, n. Pick a point $x 0$ in X, and consider the function $\tilde f: {\Bbb N} \to \{-1,1\}$ defined by

$\tilde f(i) := T_i f(x_0).$ (1)

Then $\tilde f$ has discrepancy at most C, contradicting EDP. QED

Proof of EDP assuming Conjecture 1 It suffices to show EDP for the positive rationals. Suppose for contradiction that this failed, then there exists $f: {\Bbb Q}^+ \to \{-1,1\}$ with discrepancy bounded by some finite C. Let $Ω$ be the compact metrisable space $\Omega = \{-1,1\}^{{\Bbb Q}^+}$ with shift : $T_q ( (a_r)_{r \in {\Bbb Q}^+} ) := (a_{qr})_{r \in {\Bbb Q}^+}$ ; observe that this is a continuous action of the rationals. Let $x_0 \in \Omega$ be the point

$x_0 := (f(r))_{r \in {\Bbb Q}^+}$

and let X be the orbit closure of $x 0$ , i.e. the topological closure of $\{ T_q(x_0): q \in {\Bbb Q}^+ \}$ . This is a compact metrisable space, and T restricts to a continuous action on this space.

Set $\tilde f: X \to \{-1,+1\}$ to be the function

$\tilde f( (a_r)_{r \in {\Bbb Q}^+} ) := a_1$ ;

observe that this is a continuous function. By Conjecture 1, we can find $x = (a_r)_{r \in {\Bbb Q}^+}$ and n such that $|\sum_{i=1}^n T_i \tilde f(x)| > C$ . But x can be approximated to arbitrary accuracy by a shift of $x 0$ . Unpacking all the definitions, we conclude that f has discrepancy greater than C, a contradiction. QED.

We say that a topological system X is minimal if it contains no proper non-empty compact shift-invariant subset. An easy application of Zorn's lemma shows that every topological system contains a minimal system. Thus, to prove Conjecture 1, it suffices to do so for minimal systems.

Given a non-empty open set in a minimal system, one must be able to cover that system by the shifts of the open set, since otherwise the complement of that cover would be a proper compact shift-invariant subset, contradicting minimality. By compactness, this implies that a minimal system can be covered by finitely many translates of the open set.

In terms of sequences, this means that the sequences $f: {\Bbb Q}^+ \to \{-1,+1\}$ associated to a minimal system (by (1)) have the following almost periodicity property: given any finite set of equations of the form

$f(q_1 x) = a_1, \ldots, f(q_k x) = a_k$ (*)

for some positive rationals $q_1,\ldots,q_k$ and $a_1,\ldots,a_k\in \{-1,+1\}$ , the set of solutions x to (*) is either empty or syndetic, which means that there is a finite set of positive rationals $r_1,\ldots,r_m$ such that for every positive rational x, at least one of $xr_1,\ldots,xr_m$ solves (*).

The Krylov-Bogolubov theorem asserts that X supports a probability measure that is shift-invariant. The reason for this is that the positive rationals are amenable, and thus admit a Folner sequence F_n. Now start with your favourite probability measure (e.g. a Dirac mass) and average it over the Folner sequences. Then use Prokhorov's theorem to take a weak limit, which will be automatically invariant by construction.

Once we have a shift-invariant measure, ergodic theory comes into play. For instance, the Birkhoff ergodic theorem will assert that for all rationals, and all continuous functions F, the limit $\lim_{N\to\infty} \frac{1}{N} \sum_{n=1}^n T_{q^n} F(x)$ exists for almost every x in X (with respect to the invariant measure). Because there are only countably many rationals, and the space of continuous functions is separable, we can thus find an x which is generic, in the sense that the above limits exist for all F and all q. In particular, this implies that if EDP fails, we can find a minimal sequence f of bounded discrepancy such that the limit

$\lim_{N \to \infty} \frac{1}{N} \sum_{n=1}^n F(f( q^n r_1 ), \ldots, f(q^n r_m))$

exists for all positive rationals $q, r_1,\ldots,r_m$ and all functions $F: \{-1,+1\}^m \to {\Bbb C}$ .

Note also that if $f: X \to \{-1,+1\}$ has bounded discrepancy on a measure preserving system, then its mean must be zero, as can be seen by averaging $\frac{1}{n} (f(x)+\ldots+f(T_n x))$ with respect to x, and then sending n to infinity. Thus, f equals 1 exactly half of the time, and -1 half the time.

Topological dynamics formulation

From Polymath1Wiki

Views

Personal tools

Navigation

Search

Toolbox