<![CDATA[Ziggurats and the Slippery Conjecture]]>

<![CDATA[Ziggurats and the Slippery Conjecture]]>A couple of months ago I discussed a method to reduce a dynamical problem (computing the maximal rotation number of a prescribed element $w$ in a free group given the rotation numbers of the generators) to a purely combinatorial one. Now Alden Walker and I have uploaded our paper, entitled “Ziggurats and rotation numbers”, to the arXiv.

The purpose of this blog post (aside from continuing the trend of posts titles containing the letter “Z”) is to discuss a very interesting conjecture that arose in the course of writing this paper. The conjecture does not need many prerequisites to appreciate or to attack, and it is my hope that some smart undergrad somewhere will crack it. The context is as follows.

We let $\text{Homeo}^+(S^1)$ denote the group of orientation-preserving homeomorphisms of the circle, and let $\text{Homeo}^+(S^1)^\sim$ denote its universal cover, which is the group of orientation-preserving homeomorphisms of the real line which commute with integer translation. Poincaré’s rotation number is a class function $\text{rot}^\sim: \text{Homeo}^+(S^1)^\sim \to \Bbb{R}$ which descends to $\text{rot}: \text{Homeo}^+(S^1) \to \Bbb{R}/\Bbb{Z}$ . The function $\text{rot}^\sim$ is a kind of “average translation distance”, defined by $\text{rot}^\sim(\phi) =\lim_{n \to \infty} \phi^n(0)/n$ .

Let $F_2$ be a free group of rank 2 with generators $a$ and $b$ . An element $w$ is positive if it is a product of positive powers of the generators. Given a word $w$ and real numbers $r,s$ we let $R(w,r,s)$ denote the supremum of $\text{rot}^\sim(w)$ under all
representations of $F_2$ into $\text{Homeo}^+(S^1)^\sim$ for which $\text{rot}^\sim(a)=r$ and $\text{rot}^\sim(b)=s$ .

The main theorems we prove are the following:

Rationality Theorem: If $r$ and $s$ are rational, and $w$ is positive, then $R(w,r,s)$ is rational with denominator no bigger than the denominators of $r$ or $s$ .

Stability Theorem: If $r$ and $s$ are rational with denominators at most $q$ , and
$w$ is positive, there is some positive $\epsilon=O(1/q)$ so that $R(w,r',s') = R(w,r,s)$ for all $(r',s') \in [r,r+\epsilon)\times[s,s+\epsilon)$ .

Both theorems can be proved rather easily by the combinatorial method described in my previous post. Roughly speaking, to compute $R(w,p_1/q_1,p_2/q_2)$ look at all cyclic words in the alphabet $\lbrace X,Y\rbrace$ with $q_1$ $X$ s and $q_2$ $Y$ s, and for each one, compute a “combinatorial” rotation number associated to a discrete dynamical system. Then $R(w,p_1/q_1,p_2/q_2)$ is the maximum of this finite list of rational numbers. A nice aspect of this proof is that it is effective, and gives the means to actually compute $R$ and draw a graph of it.

The graph of R(abaab,r,s) for r,s in $[0,1]\times[0,1]$

Now, although the function $R$ is nondecreasing as a function of $r,s$ it is discontinuous, and can jump up at a limit. We define $R(w,r-,s-)$ to be the supremum of $R(w,r',s')$ over $r'<r,s'<s$ . It is not hard to prove the following:

Lemma: $R(w,r-,s-)$ is the supremum of $\text{rot}^\sim(w)$ under all representations of $F_2$ into $\text{Homeo}^+(S^1)^\sim$ for which $a$ and $b$ are conjugate to rigid rotations $R_r,R_s$ respectively.

Here the notation $R_\theta$ means the rotation $p \to p+\theta$ . If we denote by $h_a(w)$ the number of $a$ ‘s in $w$ , and by $h_b(w)$ the number of $b$ ‘s in $w$ , then it is always true that $R(w,r-,s-) \ge h_a(w)r + h_b(w)s$ , since we always have the representation for which $a=R_r$ and $b=R_s$ .

In contrast to the Stability Theorem, it turns out that there are words $w$ and points $r,s$ for which there is a strict inequality $R(w,r',s') < R(w,r-,s-)$ for all $r'<r,s'<s$ . We call such a point $(r,s)$ a slippery point for $w$ . The Slippery Conjecture is then the following:

Slippery Conjecture: If $w$ is positive, and $(r,s)$ is a slippery point for $w$ , then $R(w,r-,s-)=h_a(w)r+h_b(w)s$

How should one interpret this conjecture? One should think of the Rationality and Stability theorems as a kind of nonlinear analog of the phenomenon of Arnol’d tongues: when we perturb a linear system of circle rotations by adding nonlinear noise, phase locking tends to produce periodic orbits and therefore rational rotation numbers. In our context, the representation which is “maximally nonlinear” (i.e. for which $\text{rot}^\sim(w)$ differs from $h_a(w)r+h_b(w)s$ the most) tends to have a small denominator. If nonlinearity produces “rigidity”, then slippery phenomena should be associated with linearity.

The point (1/2,1/2) is slippery for abaab

Notice if $(r,s)$ is slippery for $w$ that $R(w,r',s')$ must have arbitrarily large denominators as $r' \to r$ and $s'\to s$ . We can make a quantitative refinement of the Slippery Conjecture as follows:

Refined Slippery Conjecture: Let $w=a^{\alpha_1}b^{\beta_1}\cdots a^{\alpha_m}b^{\beta_m}$ be positive, and suppose $R(w,r,s)=p/q$ . Then $R(w,r,s) - h_a(w)r - h_b(w)s \le m/q$

This conjecture says that the bigger the denominator of $R(w,r,s)$ — i.e. the rotation number associated to the “maximally nonlinear” representation — the less nonlinear this maximal representation is. The Refined Slippery Conjecture implies the Slippery Conjecture.

Computer experiments support the Refined Slippery Conjecture, but we don’t have a good feel for why it might be true. But it can be translated into a purely combinatorial question, using cyclic $XY$ -words, and maybe there is a clever combinatorial way to obtain the desired estimate.

Plot of $R(abaab,r,s) - h_a(w)r - h_b(w)s$ against $q$ (the denominator of $R(abaab,r,s)$ )

]]>