### General Interests

Complex dynamics; ergodic theory and its relation to arithmetic; topological dynamics

### Dr Toby Hall

Topics in the dynamics of surface homeomorphisms

In topological surface dynamics, we study the iteration of homeomorphisms f:X->X of topological surfaces X, and in particular the orbits of points x of X, which are the (bi-infinite) sequences (f^n(x)), where f^n denotes the n-fold iterate of f (or the -n-fold iterate of f^{-1] if n is negative). x is said to be a period n point if f^n(x)=x, and n is the least positive integer for which this is the case.

Questions studied in topological dynamics include: what periods of points are there? How does the number of period n points behave as n goes to infinity? Are periodic points dense in X? If we "know about" a single periodic orbit (or a finite number of them), what can we deduce about the dynamics of f as a whole? What is the topological entropy (a measure of "chaos") of f? Can we get a lower bound on it from information about a few orbits of f? In the case of surfaces such as the annulus and the torus, what is the rotation set of f (i.e. at what speeds can points rotate around the surface under iteration)? In what ways can the answers to all of these questions change as we vary the homeomorphism f continuously? In what ways do they change in specific families of homeomorphisms?

Such questions can be asked in any dimension, but are particularly interesting in dimension 2. In one dimension the theory is very well developed and is largely combinatorial. The theory in two dimensions has a much more topological flavour, since there is room in X for the points of the same or different orbits to "knot around" each other in non-trivial ways. In three or more dimensions there is too much room, and the answers to many of the questions above are either trivial (knowing about a few orbits of f tells us pretty much nothing), or prohibitively difficult.

The key result which has driven much of the research in this area for the last 30 years is Thurston's classification of isotopy classes of surface homeomorphisms, which states that every surface homeomorphism can be deformed into ("is isotopic to") a homeomorphism g which is of one of three types: reducible, which means that the surface can be cut into topologically simpler pieces on which g acts independently; finite order, which means that g^n is the identity for some n; or pseudo-Anosov, which means that g preserves a transverse pair of singular measured foliations, stretching uniformly along one and contracting uniformly along the other: this produces chaotic dynamics which can nevertheless be studied very precisely using combinatorial techniques ("train tracks" and "Markov partitions"). Moreover, a pseudo-Anosov has minimal dynamics amongst all the homeomorphisms isotopic to it: therefore, if one can show that the homeomorphism f one is interested in is isotopic to a pseudo-Anosov g, then one obtains a calculable lower bound on the dynamics of f. I have broad interests within this general field: questions which interest me particularly at the moment are the study of "generalized pseudo-Anosovs", which are like pseudo-Anosovs but their invariant foliations can have infinitely many singularities; the study of rotation sets of torus homeomorphisms; and the use of Dynnikov's coordinate system to carry out explicit calculations on the boundary of Teichm\"uller space (roughly speaking, on the space of measured foliations).

Please feel free to contact me to discuss possibilities.

The following are possible project titles:

- Dynamics of generalized pseudo-Anosov maps.
- The action of horseshoe braids on Dynnikov coordinates.
- Rotation sets in families of torus homeomorphisms.

### Dr David Martí-Pete

I am interested in studying the iteration of holomorphic functions that are transcendental, that is, with at least one essential singularity. The easiest class of such functions are transcendental entire functions, which have one essential singularity at infiniy which is omitted, like the exponential function. In my PhD, I specialised in the iteration of transcendental self-maps of the punctured plane, which have two essential singularities at zero and infinity which are omitted. However, in the recent years, I have been interested in problems related to wandering domains, which are a type of Fatou component that under iteration never returns to a place that has been before.

The following are a sample of possible research topics:

**1. Iteration of transcendental self-maps of the punctured plane **

A transcendental self-map of the *punctured plane* $\mathbb{C}^*=\mathbb{C}\setminus\{0\}$ is a holomorphic function from $\C^*$ to itself for which both zero and infinity are essential singularities. Such functions arise in a natural way when one studies the complexification of analytic circle maps. Such functions share many properties with transcendental entire functions but at the same time have some differences that, in my opinion, make them an interesting class of functions to study.

The complex Arnold standard family is the most famous family of transcendental self-maps of the punctured plane. It consists of perturbations of a rotation on the circle. Arnold used this family to study the dependence of the rotation number of an orbit with respect to the parameters. This gave rise to the so-called *Arnold tongues*, which are regions of the parameter space where this rotation number is constant. This family plays an important role beyond complex dynamics as it is often used as a model for phase-locking phenomena in dynamical systems. In a work in progress with Mitsuhiro Shishikura, we study the complex version of the Arnold tongues, and many questions remain open about such sets.

**2. Wandering domains of transcendental entire (or meromorphic) functions **

The *Fatou set* (also known as the *stable set*) of a meromorphic function is the largest open set on which the family of iterates of the function is defined and normal. A *wandering domain* is a connected component of the Fatou set that does not become periodic eventually; in other words, they never return to a place where they have been before. By a result of Sullivan, polynomials and rational functions do not have wandering domains, but Baker proved that transcendental entire functions do. In a recent joint paper with Lasse Rempe and James Waterman we proved that wandering domains can be quite interesting from both a topological and dynamical point of view: (1) wandering domains can form Lakes of Wada, that is, infinitely many disjoint wandering domains can have the same boundary; (2) escaping wandering domains can have non-escaping points in the boundary. Many questions remain open about these elusive Fatou components.

**3. Fractal dimensions and computational complexity of Julia sets and subsets thereof **

For a transcendental function, the Julia set (where chaotic behaviour takes place) is a fractal set. Thus, it is a very classical question to study their fractal dimension (e.g. the Hausdorff dimension or the packing dimension). One of the recent breakthroughs in transcendental dynamics is Bishop's result that the Julia set of a transcendental entire function can have Hausdorff dimension 1, which is the smallest possible value. In a couple of ongoing collaborations, we study the dimensions of different subsets of the Julia set: (1) boundaries of basins of attraction, and (2) hairs (also known as dynamic rays), which are curves to infinity along which pints escape to infinity. One question that I find interesting is to study the dimension of the set of points that escape but are not fast escaping (compared to the iterates of the maximum modulus).

A different way to measure how complicated a Julia set can be is to look at its computational complexity. In complex dynamics, we often draw pictures of Julia sets by asking a computer to iterate a collection of points (one for each pixel) for a finite number of times and predict whether it will escape or not. However, if the function is transcendental, due to Picard's theorem this is not an easy task. Can we rely on such pictures? Roughly speaking, a set is computable (e.g. in polynomial time), if a computer can produce arbitrarily good approximations of the set in a given time that depends only on the accuracy. In a joint work with Artem Dudko, we study the computational complexity of Julia sets of functions in the exponential family. It would be interesting to study the complexity of Julia sets of other classes of transcendental functions.

If you are interested in any of these topics or would like more information, please feel free to contact me.

### Dr Daniel Meyer

A holomorphic map $f$ in the plane preserves angles at every point $z$ that is not critical (i.e., $f'(z)\neq 0$). This *conformality* is the geometric reason behind many of the surprising results in complex analysis. By the Riemann mapping theorem conformal maps are plentiful in the plane. On the other hand, they are very rare in higher dimensions.

Quasiconformal maps, and the closely related quasisymmetric maps, are maps that may change angles, but only up to a fixed multiplicative amount. These maps have become one of the most important tools in complex analysis. In addition, they provide an analog to conformal maps in settings where there are no conformal maps. Finally, such maps appear naturally in geometric group theory.

The *quasisymmetric uniformization problem* asks when a given metric space is quasisymmetric to a given standard space. Very often the metric spaces that appear in this question are coming from a dynamical system. It turns out that in many instances quasisymmetric uniformization is equivalent to the question whether the dynamical system acts conformally. Of particular interest is the question when a metric 2-sphere is quasisymmetrically equivalent to the standard 2-sphere. This is closely connected to *Thurston's classification of rational maps* as well as *Cannon's conjecture*.

Here are some possible topics for Ph.D. projects:

**1. Quasisymmetric unformization**

One question is to decide whether certain classes of spaces can be quasisymmetrically uniformized. Another question is to investigate the properties of known quasisymmetric maps.

**2. Thurston maps**

Recently the monograph "Expanding Thurston maps", jointly written with Mario Bonk, appeared. However, many open questions remain, in particular how these results can be extended to the non-expanding setting.

**3. Matings and unmatings**

Mating is an operation that "glues" the dynamics of two polynomials together, to form a new dynamical system. Often, but not always, this results in a rational map. To decide when this is in fact the case is a difficult question. Unmating is the reverse procedure, i.e., geometrically decomposing a rational map into two polynomials. In both cases, there are many interesting open questions.

### Dr Radhakrishnan Nair

1. Ergodic theorems and their intimate relation to arithmetic questions

2. Non-linear Poincaré and multiple recurrence and the arithmetic of sets of integers of positive density

3. Riemann sums and Lebesgue integrals

### Prof Lasse Rempe

Professor Lasse Rempe works in the field of one-dimensional holomorphic dynamics, that is, the iteration of functions of one complex variable. In particular, he is interested in the iteration of transcendental entire and meromorphic functions.

More precisely, let $f:\mathbb{C}\to \mathbb{C}$ be a transcendental entire function; that is, a complex differentiable function from the complex plane to itself that has an essential singularity at infinity. We think of this map as describing a dynamical system, and hence study the iterations $f^n:=f\circ f\circ\dots\circ f$ as $n\rightarrow \infty.$

The classical theory of holomorphic dynamics, due to Fatou, splits the complex plane into two subsets: the *Fatou set*, where the behaviour is stable, and the *Julia set*, where the behaviour is "chaotic". (The picture below shows part of the Julia set of a function of the form $f(z)=e^z+a$ for a certain complex parameter $a$, in dark grey, while the Fatou set is shown in colour. The black curves shown illustrate dynamically significant structures that can be found inside the Julia set.) Professor Rempe-Gillen's work, in a broad sense, is concerned with the question of understanding the structure of these sets and the behaviour of the functions on them. In particular, his work has connections with one-dimensional complex analysis (function theory) and point-set topology, particularly continuum theory.

Relevant research areas:

- Dynamical systems
- Complex analysis
- Topology / continuum theory
- One-dimensional complex geometry

**1. Topological dynamics of transcendental entire functions**

Recent work, in particular by Rempe, has made significant progress in understanding the topological structure of the Julia set of certain entire functions, but many questions still remain open. Recently, Mihaljevic-Brandt (while a doctoral student at Liverpool) was able to give a complete combinatorial description of the topological dynamics for a large class of “well-behaved” transcendental entire functions, each of whose Julia sets is the complex plane. (I.e., these functions are chaotic everywhere, but we can completely describe how the function behaves in combinatorial terms.) A possible PhD project would involve investigating in how far this description can be extended to larger classes of entire functions.

On the other hand, even for seemingly simple functions, such as the map $f(z)=e^z$, the topological dynamics is still not fully understood. In particular, the following is a conjecture of Devaney from 1993. For $a>-1$, let $f_a:\mathbb{C}\to\mathbb{C}$ be the function $f_a(z) := e^z+a$, and consider the set

\[ \Lambda_a := \{ z\in\mathbb{C}: \operatorname{Im}(f^n(z))\in [0,\pi] \text{ for all $n\geq 0$} \}. \]

This set is the closure of a countable union of curves, each of which tends to infinity in both directions, as in the following picture:

Devaney showed that this set has interesting topological properties (more precisely, it compactifies in a natural way to an indecomposable continuum). He conjectured that, for $-1

Resolving this conjecture is likely to be difficult, but there is an opportunity for a doctoral student to make significant progress on the problem. In particular, an interesting problem is to study the continua that arise from this construction from the point of view of continuum theory.

**2. Fractal dimensions of Julia sets of entire functions**

Hausdorff dimension is an important concept that allows one to associate potentially non-integer dimensions to subsets of Euclidean space. For example, an interval has Hausdorff dimension 1, a square has Hausdorff dimension 2, while the well-known middle-thirds Cantor set has Hausdorff dimension $\log(2)/\log(3)$, and the Sierpinski triangle has Hausdorff dimension $\log(3)/\log(2)$.

There are many interesting results and questions regarding the Hausdorff dimension of subsets of Julia sets of transcendental entire functions, and many interesting phenomena that result from this study. In particular, let $f$ be a hyperbolic entire function (for definitions, we refer to the relevant research articles), and let $J_{b}(f)$ be the set of points in the Julia set of $f$ whose orbits are bounded. A theorem of Rempe states that there exist such a function $f$ for which the Hausdorff dimension of $J_b(f)$ is equal to two, which is impossible for rational functions. On the other hand, results by Mayer and Urbanski (among others) show that for large classes of “well-behaved” hyperbolic entire functions, the Hausdorff dimension of $J_b(f)$ is strictly less than two. A possible PhD project is to investigate this dichotomy further, and in particular to derive geometric conditions on the function $f$ under which the Hausdorff dimension is guaranteed to be strictly less than two.

**3. The study of measurable dynamics of transcendental functions**

The study of Hausdorff dimension is closely connected to the measurable dynamics of the functions in question: that is, the study of natural invariant measures. (The idea is, roughly, that even though the behaviour of the map is chaotic, it may be possible to understand what the dynamics is like “on average”.) There has been much work in this area recently by a variety of researchers, but many interesting questions remain open. For example, a potential thesis project could investigate the existence of natural invariant measures for examples as described above, where the dimension of the set of bounded orbits is equal to two. (Standard techniques for constructing invariant measures for hyperbolic functions fail for these examples.)

Back to: Department of Mathematical Sciences