## Seminar Archive

This is an archive of the (recently) past seminars given in the Analysis Group at St Andrews.

### Autumn 2022

#### September 20, 2022

**Jonathan Fraser**:

The Fourier dimension of a measure captures the rate at which its Fourier transform decays at infinity. The Hausdorff dimension of a set, on the other hand, describes how the set fills up space on small scales by studying the cost of efficient covers. Despite how different they appear at first sight, these notions are intimately connected. Following the philosophy of 'dimension interpolation', I will introduce and discuss the 'Fourier dimension spectrum', which interpolates between the two notions. Time permitting, we will encounter applications to distance sets and sumsets.

#### September 27, 2022

**Mike Todd**:

I’ll give an introduction to (exponential) decay of correlations in dynamical systems, how this can be proved and the relevant constants involved. Moving to symbolic dynamics gives a clearer perspective on the constants involved here: I’ll discuss where they come from and how they might be improved.

#### October 4, 2022

**István Kolossváry**:

Baranski carpets exhibit interesting phenomena not witnessed by systems satisfying some sort of coordinate ordering property. We demonstrate that this is also true for multifractal analysis by looking at self-affine measures on a simple Baranski carpet. Namely, the multifractal formalism fails (i.e. the Legendre transform of the `L ^{q}` spectrum is not equal to the multifractal spectrum), even though the carpet has no overlaps and its Hausdorff and box dimensions are equal. The spectrum even has a jump discontinuity in case of the natural measure.

#### October 11, 2022

**Aleksi Pyörälä**:

During recent years, the prevalence of normal numbers in natural subsets of the reals has been an active research topic in fractal geometry. The general idea is that in the absence of any special arithmetic structure, almost all numbers in a given set should be normal, in every base. In our recent joint work with Balázs Bárány, Antti Käenmäki and Meng Wu we verify this for all self-conformal sets on the line. The result is a corollary of a uniform scaling property of self-conformal measures: roughly speaking, a measure is said to be uniformly scaling if the sequence of successive magnifications of the measure equidistributes, at almost every point, for a common distribution supported on the space of measures. Dynamical properties of these distributions often give information on the geometry of the uniformly scaling measure.

#### November 1, 2022

**Amlan Banaji**:

Geodesics are important objects in geometry, representing (in some sense) the shortest paths through a space. We introduce a class of metric spaces, called multigeodesic spaces, where between any two distinct points there exist multiple distinct minimising geodesics. We will prove a simple characterisation of multigeodesic normed spaces and deduce that `L ^{1}` spaces provide an example. In general metric spaces, however, examples such as Laakso spaces show that a wider variety of behaviour is possible.

#### November 8, 2022

**Kenneth Falconer**:

I will talk about higher order transversality and applications to `L ^{q}` dimension.

#### November 22, 2022

**Alex Rutar**:

A (deterministic) substitution consists of a finite alphabet along with a set of *transformation rules*. A classical example is the *Fibonacci substitution*, which is composed of the rules `a↦ab` and `b↦a`. Random substitutions allow multiple transformation rules for each letter, along with associated probabilities. Associated with a substitution is a shift-invariant ergodic frequency measure, which quantifies the relative occurrence of finite words as subwords of the substitution. Frequency measures are an interesting class of invariant measures which witness a form of self-similarity, while exhibiting complex overlapping phenomena. In this talk, I will provide a general introduction to random substitutions as well as their dimensional properties via the `L ^{q}`-spectrum. I will also discuss a particular class of random substitutions for which the

`L`-spectrum is analytic on

^{q}`ℝ`and the complete multifractal formalism holds. This work is joint with Andrew Mitchell (University of Birmingham).

#### November 29, 2022

**Lars Olsen**:

If $\mu$ is a Borel measure on $\Bbb R$ and $x\in\Bbb R$, then the local dimension of $\mu$ at $x$ is defined by $$\lim_{r\searrow}\frac{\log\mu(B(x,r))}{\log r}\,;$$ provided the limit exists. Of course, the limit may not exist, and points $x$ for which the limit does not exist are known as divergence point. Divergence points of self-similar measures satisfying the Open Set Condition are by now well-understood, and in this talk we will investigate divergence points of a certain class of self-affine measure, namely, the self-affine measures on Bedford-McMullen carpets.

#### December 6, 2022

**Natalia Jurga**:

The Rauzy gasket is a fractal subset of the two dimensional simplex which is an important subset of parameter space in numerous dynamical and topological problems. Arnoux conjectured that the Hausdorff dimension of the Rauzy gasket is strictly less than 2, and since then there has been considerable interest in computing its Hausdorff dimension.

In this talk we will see how the Rauzy gasket can be understood as a “self-projective set” induced by a set of 3x3 matrices, and use tools from the theory of self-affine sets combined with linearisation techniques to establish an exact value for the Hausdorff dimension in terms of a critical exponent.

#### December 8, 2022

**Mark Holland**:

Suppose (f, X, μ) is a measure preserving dynamical system and φ : X → ℝ a measurable function. Consider the maximum process Mn :=max{X1,...,Xn}, where Xi = φ ○ fi-1 is a time series of observations on the system. Suppose that (un) is a non-decreasing sequence of real numbers, such that μ(X1 > un) → 0. For certain dynamical systems, we obtain a zero--one measure dichotomy for μ(Mn ≤ un, i.o.) depending on the sequence un. Specific examples are piecewise expanding interval maps including the Gauss map. For the broader class of non-uniformly hyperbolic dynamical systems, we make significant improvements on existing literature for characterising the sequences un. Our results on the permitted sequences un are commensurate with the optimal sequences (and series criteria) obtained by Klass(1985) for i.i.d. processes. Moreover, we also develop new series criteria on the permitted sequences in the case where the i.i.d. theory breaks down. Our analysis has strong connections to specific problems in eventual always hitting time statistics and extreme value theory. This work is joint with M. Kirsebom, P. Kunde and T. Persson.

### Summer 2022

#### June 21, 2022

**Jeremy Tyson**:

Quasiconformal mappings are homeomorphisms with a uniform bound on the relative distortion of distance. They arise in diverse contexts in analysis and geometry, including dynamics, Kleinian groups, differential geometry, and analysis on fractals and in metric spaces. The distortion of dimension by quasiconformal maps (and maps in other regularity classes) is a classical subject going back to work of Gehring and Väisälä in the 1970s. I will discuss recent results on the quasiconformal distortion of Assouad dimension and the Assouad spectrum, with applications to the classification of planar polynomial spirals. An attractive feature of the latter classification is that it is sharp up to the level of the quasiconformal distortion. This talk is based on joint work with Efstathios Chrontsios Garitsis.

#### August 9, 2022

**Joris Roos**:

In this talk we will consider spherical maximal operators in two and higher dimensions with a supremum taken over a given dilation set. It turns out that the sharp *L ^{p}* improving properties of such operators are closely related to fractal dimensions of the dilation set such as the Minkowski and Assouad dimensions. At the center of the talk will be a simple characterization of the closed convex sets which can occur as closure of the sharp

*L*improving region of such a maximal operator. This is joint work with Andreas Seeger. Time permitting, we will also discuss some ongoing work and further directions.

^{p}### Spring 2022

#### January 25, 2022

**Kenneth Falconer**:

We will review results concerning the dimensions (Hausdorff, box, etc.) of the images of sets and measures under processes such as Brownian or fractional Brownian motion. We will then discuss ongoing work involving a different type of process.

#### February 1, 2022

**Collin Bleak**:

A group *G* is said to be 3/2's-generated if for any 1 ≠ *g* ∈ *G*, there is *h* ∈ *G* so that <*h*,*g*> = *G*. Further, *G* is uniformly 3/2's-generated if *h* can always be chosen from some fixed conjugacy class {*c ^{x}* |

*x*∈

*G*} of elements. Being 3/2's-generated is a theme for (all but finitely many) finite simple groups, and it is natural to consider whether all infinite finitely presented groups are 3/2's-generated. It is known that R. Thompson's group

*V*is 3/2's-generated, but known arguments do not extend to similar arguments for

*V*'s finitely presented simple subgroup

*T*. In this talk, we use the action of

*T*on the circle to show that

*T*is uniformly 3/2's generated. We also briefly discuss what is known about a related concept: the spread of

*T*. Joint with Casey Donoven, Scott Harper, James Hyde, and Rachel Skipper.

#### February 8, 2022

**Alex Rutar**:

The intermediate dimensions of a set are a family of dimensions, indexed on [0,1], which lie between the Hausdorff and box dimensions of the set. A recent result (joint with Amlan Banaji) shows that a function can be the intermediate dimensions of some set in ℝ^{d} if and only if the function satisfies certain local derivative constraints. In this talk, I will provide some intuition behind this result. Then, if time permits, I will describe the construction of sets with prescribed intermediate dimensions.

#### February 15, 2022

**Jonathan Fraser**:

A Kakeya set is a (compact) set in ℝ^{d} containing a unit line segment in all possible directions. The famous Kakeya conjecture (open for *d*>2) is that Kakeya sets must have Hausdorff dimension *d*. I will discuss recent joint work with Harris and Kroon related to this problem.

#### March 1, 2022

**Lars Olsen**:

This talk will discuss the position of the so-called "multifractal decomposition sets" in the Baire Hierarchy. In particular, we will prove that "multifractal decomposition sets" are the building blocks from which all other Π_{γ}^{0}-sets can be constructed; more, precisely, "multifractal decomposition sets" are Π_{γ}^{0}-complete.
As an application we find the position of the classical Eggleston-Besicovitch set in the Baire Hierarchy.

#### March 15, 2022

**Raquel Couto**:

Recent work of Freitas, Freitas and Todd (2020) establishes the existence of enriched functional limit theorems for dynamical systems, in particular, the existence of functional limit theorems for dynamical sums of heavy tailed random variables in an enriched space where clustering patterns are not lost. Clustering phenomena arise naturally in the dynamical context due to the recurrence properties of the underlying systems. The crucial device that allows for keeping record of the clustering structure is called the piling process and was introduced in the aforementioned work. The main aim of this talk is to exhibit the piling processes for some concrete examples where the dynamics is (2*x* mod 1, 3*y* mod 1). If time permits, we will comment on how the functional limit theorems can then be derived and present their explicit form for the previously worked out examples. This is based on ongoing PhD work under the supervision of Mike Todd.

#### March 22, 2022

**Jerome Rousseau**:

We study the shortest distance between two orbit segments of length *n* for rapidly mixing dynamical systems. We will show that the asymptotic behavior is given by a dimension-like quantity associated to the invariant measure, called its correlation dimension (or Rényi entropy).
For the shift map, we will show that this problem corresponds to a well-known sequences matching problem: the longest common substring problem.
We will also extend this study to the realm of random dynamical systems and explain the difference between the annealed and quenched version of this problem and how a non-smooth behavior of the associated asymptotic exponent may arise.
This includes some joint works with Vanessa Barros, Adriana Coutinho, Sebastien Gouezel, Rodrigo Lambert, Lingmin Liao and Manuel Stadlbauer.

#### April 19, 2022

**Boyuan Zhao**:

Given a dynamical system on a compact metric space, one can investigate the asymptotic behaviour of the shortest distance between the first n iterates of any pair of distinct points (*x*,*y*) in the space; under the assumptions of fast decay of correlations and uniform upper bound for ball sizes, Rousseau, Barros and Liao (2019) gave a quantitative result using correlation dimension inspired by Renyi entropy. Similar techniques may also be applied to analyse the behaviour of the shortest distance within the orbit of a single point in the phase space, while taking into account the measure of points with rapid returns via Renyi entropy function.

#### April 26, 2022

**István Kolossváry**:

A class of self-affine sponges generated by diagonal matrices is introduced which generalise well-known planar constructions to higher dimensions. We derive upper and lower bounds for the Assouad and lower dimensions of self-affine measures supported on these sponges. The upper and lower bounds always coincide in dimensions *d*=2,3 yielding precise explicit formulae for the dimensions. Moreover, there are easy to check conditions guaranteeing that the bounds coincide for *d* ≥ 4. An interesting consequence of our results is that there can be a 'dimension gap' for such self-affine constructions, even in the plane. Joint work with J. M. Fraser.

#### May 3, 2022

**Amlan Banaji**:

If an iterated function system consists of a countably infinite number of contractions then the Hausdorff, box and Assouad dimensions of the limit set can all differ, even if the contractions are assumed to be conformal and well-separated. We will explain what is known about the dimension theory of these limit sets, paying particular attention to the Assouad spectrum, which is a family of dimensions lying between box and Assouad dimension. We present bounds for the Assouad spectrum which are sharp in general. The Assouad spectrum of the class of examples which we use to show that these bounds are sharp can display interesting behaviour, such as having two phase transitions. This is based on joint work with Jonathan Fraser.

### Autumn 2021

#### September 21, 2021

**Sascha Troscheit**:

In this talk I will give an overview of how random sets that exhibit some form of stochastic self-similarity can be studied with methods from dimension theory. In particular, I will elaborate on the family of Assouad-type dimensions which have attracted a lot of recent attention in fractal geometry. Their usefulness stems from their link to embedding theory and the Assouad dimension(s) can be used to answer embedding problems in random geometry. The behaviour of the Assouad spectrum exhibits "geometric phase transitions" and can be used to quantify such phase changes in random (or deterministic) sets. I will give a survey of recent results and talk about the embeddability of the Brownian continuum random tree and the Brownian map using quasi-symmetric mappings.

#### September 28, 2021

**Jonathan Fraser**:

Given a fixed subset of hyperbolic space and a Kleinian group acting on that space, the orbital set is the orbit of the given set under the group. When the given set is compact, I will compute the upper box dimensions of the orbital set in terms of the dimensions of the given set and of the limit set of the Kleinian group. There is a connection here with the dimension theory of inhomogeneous self-similar sets, for example. When the given set is not compact, I will construct examples to show that different things can happen. This is joint work with Tom Bartlett.

#### October 5, 2021

**Mike Todd**:

I'll explain how point processes can be used to understand extreme values in a dynamical system. These processes can zoom in on the parts of a dynamical orbit where 'extreme events' occur and asymptotically converge as we look deeper into the orbit: if the system is 'mixing enough' they converge to a form of Poisson process. They can capture structure in the extreme events and tell us, for example, about record times and record values for our system.

#### October 12, 2021

**Amlan Banaji**:

In this talk we will present a precise formula for the θ-intermediate dimensions of all Bedford-McMullen carpets for the whole spectrum of θ. We will explain with the aid of some pictures that the graph of the intermediate dimensions has an interesting form not seen in previous examples. We describe an unexpected connection to multifractal analysis, and as an application of our results, we give a necessary condition for two Bedford-McMullen carpets with non-uniform vertical fibres to be bi-Lipschitz equivalent. This is joint work with Istvan Kolossvary.

#### October 19, 2021

**Han Yu**:

Kaufman proved that sets of well-approximable numbers on the real line are Salem. A natural question to ask is whether or not the same thing holds in higher dimensions as well. That is, whether or not this Kaufman's result is just a special case (in ℝ) of a general phenomenon (in ℝ^{n}). In this talk, I present a recent result which tells us that Kaufman's result is in fact very special. In higher dimensions, sets of well approximable vectors (suitably defined) are in general not Salem. This is joint work with Kyle Hambrook (San Jose State University).

#### October 26, 2021

**István Kolossváry**:

In the 1988 textbook "Fractals Everywhere", M. Barnsley introduced an iterative random procedure for generating fractals which is coined the "Chaos Game". Two natural questions are: what is the expected time taken by this procedure to become *r*-dense in the fractal, and for which measure can this expected time be minimised? In this talk we will discuss how the box dimension of the measure comes into play and characterise the family of probability vectors that minimise the expected time in the case of Bernoulli measures defined on Bedford-McMullen carpets. Based on joint work with Balázs Bárány and Natalia Jurga.

#### November 2, 2021

**Lars Olsen**:

Tube formulas give the volume of the set of all points within the distance *r* of a (compact) subset of Euclidean space for *r* > 0, and play an instrumental role in the study of geometric measure theory (e.g. the box dimension can be defined in this way). Recently, very precise tube formulas for self-similar sets satisfying the Open Set Condition (OSC) have attracted considerable interest. In this talk we will study multifractal tube formulas of self-similar sets and self-similar measures satisfying the OSC.

#### November 9, 2021

**Mark Holland**:

Suppose (*f*, *X*, μ) is a measure preserving dynamical system and φ : *X* → ℝ a measurable function. Consider the maximum process *M _{n}* :=max{

*X*,...,

_{1}*X*}, where

_{n}*X*= φ ○

_{i}*f*

^{i-1}is a time series of observations on the system. Suppose that (

*u*) is a non-decreasing sequence of real numbers, such that μ(

_{n}*X*>

_{1}*u*) → 0. For certain dynamical systems, we obtain a zero--one measure dichotomy for μ(

_{n}*M*≤

_{n}*u*, i.o.) depending on the sequence

_{n}*u*. Specific examples are piecewise expanding interval maps including the Gauss map. For the broader class of non-uniformly hyperbolic dynamical systems, we make significant improvements on existing literature for characterising the sequences

_{n}*u*. Our results on the permitted sequences

_{n}*u*are commensurate with the optimal sequences (and series criteria) obtained by Klass(1985) for i.i.d. processes. Moreover, we also develop new series criteria on the permitted sequences in the case where the i.i.d. theory breaks down. Our analysis has strong connections to specific problems in eventual always hitting time statistics and extreme value theory. This work is joint with M. Kirsebom, P. Kunde and T. Persson.

_{n}#### November 16, 2021

**Liam Stuart**:

The topic of this talk revolves around the following question: given a Kleinian group Γ and *r*>0, how many horoballs (Euclidean balls tangent to the boundary of hyperbolic space at parabolic points) of radius ≈ *r* should be expect to see? We will discuss a result of Stratmann and Velani which gives global information regarding this question and then provide some localisations of this result where we restrict our attention to small balls in the limit set. We will also discuss some applications of our results to Diophantine approximation and the dimension theory of conformal measures supported on the limit set. Joint work with Jonathan Fraser.

#### November 23, 2021

**Natalia Jurga**:

Given a dynamical system *f* : *I* ↦ *I* we study the asymptotic expected behaviour of the cover time: the rate at which orbits become dense in the state space *I*. We will see how this can be studied through the lens of dynamical systems with holes and the spectral theory of the transfer operators associated to these systems. This is joint work with Mike Todd.

### Spring 2021

#### February 2, 2021

**Collin Bleak**:

The role of subgraphs of de Bruijn graphs in genetics has been establish for some time now. In this talk, we will explore a new technique for modifying de Bruijn graphs to enable finer control in setting up context sensitive Markov Models, and we explain briefly a first impact in genetic modelling. Joint with Andy Lynch and Anja Minsaas.

#### February 9, 2021

**István Kolossváry**:

This talk will present an argument based on using the method of types to calculate the box dimension of sets. Demonstrating first on self-similar sets, we then use it to generalize the formula for the box dimension of self-affine carpets of Gatzouras-Lalley and of Barański type to their higher dimensional sponge analogues. In addition to a closed form, we also obtain a variational formula which resembles the Ledrappier-Young formula for Hausdorff dimension.

#### February 16, 2021

**Mike Todd**:

Thermodynamic formalism has at lot to say in the context of sufficiently regular dynamical systems in compact spaces, for example about the existence and uniqueness properties of equilibrium states, and their characterisation as some derivative of the pressure function. This talk considers non-compact settings, particularly the case of countable Markov shifts. A first natural approach is to take the completion of the space and hope that the boundary created doesn't interfere with too many thermodynamic properties. I'll look at how one might do this, some drawbacks, and how they can, in some cases, be overcome.

#### February 23, 2021

**Richárd Balka**:

We say that *E* is a microset of the compact set *K* ⊂ ℝ^{d} if there exist sequences λ_{n} ≥ 1 and *u _{n}* ∈ ℝ

^{d}such that (λ

_{n}

*K*+

*u*) ∩ [0,1]

_{n}^{d}converges to

*E*in the Hausdorff metric, and moreover,

*E*∩ (0,1)

^{d}≠ ∅. The main result of the talk is to prove that for a non-empty set

*A*⊂ [0,

*d*] there is a compact set

*K*⊂ ℝ

^{d}such that the set of Hausdorff dimensions attained by the microsets of

*K*equals

*A*if and only if

*A*is analytic and contains its infimum and supremum. This answers a question of Fraser, Howroyd, Käenmäki, and Yu. This is joint work with Márton Elekes and Viktor Kiss.

#### March 2, 2021

**Chris Bishop**:

I will discuss some open problems that I have thought about over the last 30 years. Some are well known (e.g., growth rate of DLA), but a few may be novel, such as the flow associated to a planar triangulation. There will be many pictures, results of some computer experiments, but very few theorems or proofs. This is essentially three mini-lectures on independent topics strung together.

#### March 9, 2021

**Jim Belk**:

Quasisymmetries are an important class of homeomorphisms between metric spaces related to quasiconformal geometry. In this talk, I will explain how certain finitely ramified fractals support a natural family of quasisymmetrically equivalent metrics with respect to which any homeomorphism that locally preserves the cellular structure is a quasisymmetry, and I will discuss applications of these results to the quasisymmetry groups of finitely ramified Julia sets. This is joint work with Bradley Forrest.

#### March 16, 2021

**Raquel Couto**:

We are interested in rare events for dynamical systems, i.e. orbit visits to small sets of the phase space. In 2010, Freitas, Freitas and Todd linked the study of recurrence properties of a dynamical system to Extreme Value Theory and Point Process theory. In the presence of clustering of extreme events, the problem becomes more interesting and received attention over the subsequent years. In this talk, after a fast-forwarded overview of the theory, we focus on the piling process introduced in the most recent work of Freitas, Freitas and Todd, via some worked out examples. In particular, the existence of such well-defined structure is a requirement for the Enriched Functional Limit Theorems derived in the same paper, however the piling process may on its own provide a new insight to clustering patterns.

#### April 6, 2021

**Kenneth Falconer**:

We will review a version of Marstrand's projection theorem, which is often overlooked. We will introduce the notion of duality between points and lines with projections of points corresponding to intersections of lines, and thus obtain results on dimensions of intersections with sets of lines.

#### April 13, 2021

**Jian-Ci Xiao**:

We will be mainly interested in connected components of a specific class of planar self-similar sets called fractal squares. I will first introduce several existing criteria on connected and totally disconnected fractal squares, and then talk about how to characterize fractal squares with finitely many connected components. Some methods can also be applied to carpet-like self-affine sets such as Bedford-McMullen carpets.

#### April 20, 2021

**Amlan Banaji**:

If an iterated function systems (IFS) has a countably infinite number of contractions, the Hausdorff and box dimensions of the limit set can differ, even when the contractions are conformal maps. The intermediate dimensions are a family of dimensions which lie between the Hausdorff and box dimensions, and we will discuss some results on the Hausdorff, box and intermediate dimensions of limit sets of infinite iterated function systems. We will show that much better information can be obtained if the contractions are conformal, and we consider applications to sets of irrational numbers whose continued fraction expansions have restricted digits. We will explain that for 'generic' infinite IFSs the box dimension of the limit set (unlike the Hausdorff dimension) equals the ambient spatial dimension. Based on joint work with Jonathan Fraser.

#### April 27, 2021

**Jeremy Tyson**:

I will survey the theory of distortion of dimension by mappings with prescribed regularity. The main focus will be on distortion of Hausdorff dimension, although other notions (e.g. box-counting dimension and Assouad dimension) will also show up. We primarily consider maps in the first-order Sobolev class *W*^{1,p} and quasiconformal maps. Classical results in this area date back to the work of Gehring and Väisälä in the 1970s, and concern the effect of a fixed quasiconformal mapping on the dimension of a fixed set. I will also discuss more recent work on the distortion of dimension by a fixed mapping on generic elements in parameterized families of sets. To keep things simple, we will restrict attention to finite-dimensional Euclidean spaces, however, many of the results which I will discuss have extensions to, or interesting modifications in non-Riemannian manifolds and more general metric spaces.

### Autumn 2020

#### September 22, 2020

**Jonathan Fraser**:

The dimension theory of orthogonal projections of fractal sets is fairly well-known and well-understood. It is equally natural to consider families of nonlinear projections (e.g. radial projections) and similar phenomena are known to hold provided the family has enough 'transversality'. I will discuss a recent nonlinear projection theorem for Assouad dimension and then use this to completely resolve the Assouad dimension analogue of the distance set problem for sets in the plane.

#### September 29, 2020

**Mike Todd**:

For a sequence of real-valued random variables *X*_{1}, ..., *X _{n}* we think of an extreme event as some

*X*exceeding some threshold. Choosing thresholds carefully w.r.t.

_{i}*n*, and rescaling time, one can often derive interesting limits which can be represented as Poisson Point Processes or Lévy processes. However, if exceedances come in clusters, as many natural extreme events do, then the usual machinery can break down. Here I'll explain how this theory can be applied to dynamical systems and how to extend the theory to deal with clustering. This is joint work with Ana Cristina Freitas and Jorge Freitas (Porto).

#### October 6, 2020

**Liam Stuart**:

The Sullivan dictionary provides a conceptual framework to study the relationships between Kleinian groups and rational maps. Stemming from work due to Sullivan in the 1980s, the dictionary now includes numerous analogous results, even with similar proofs. One particularly strong correspondence is that from the perspective of dimension theory, where in both the Kleinian group setting and the rational map setting, many notions of dimension are given by some critical exponent. In this talk, I will discuss how by slightly expanding the family of dimensions considered, in particular to dimensions of Assouad-type, we find a richer family of similarities between the two settings and, perhaps more interestingly, some clear differences. Joint work with Jonathan Fraser.

#### October 13, 2020

**Henna Koivusalo**:

Cut and project sets are aperiodic point patterns obtained by projecting an irrational slice of the integer lattice to a subspace. One way of classifying aperiodic sets is to study repetition of finite patterns, where sets with patterns repeating linearly often, or linearly repetitive sets, can be viewed as the most ordered aperiodic sets.

Repetitivity of a cut and project set depends on the slope and shape of the irrational slice. The cross-section of the slice is known as the window. In an earlier work it was shown that for cut and project sets with a cube window, linear repetitivity holds if and only if the following two conditions are satisfied: (i) the set has minimal complexity and (ii) the irrational slope satisfies a certain Diophantine condition. In a new joint work with Jamie Walton, we give a generalisation of this result for other polytopal windows, under mild geometric conditions. A key step in the proof is a decomposition of the cut and project scheme, which allows us to make sense of condition (ii) for general polytopal windows.

#### October 27, 2020

**Alex Rutar**:

The fine multifractal spectrum of a measure in Euclidean space describes, in some sense, how singular the measure is with respect to Lebesgue measure. A heuristic relationship known as the multifractal formalism states that the fine multifractal spectrum is given by the concave conjugate of the *L ^{q}*-spectrum of the measure. I will discuss this phenomenon for self-similar iterated function systems in the real line satisfying the weak separation condition, where the multifractal formalism is known not to hold in general.

The main tool I will introduce is a new symbolic encoding of the self-similar set using a weighted directed graph construction, where associated self-similar measures are described by products of non-negative matrices associated with the edges in the graph. A key insight is that, under the weak separation condition, the multifractal formalism is partially characterized by certain properties of the graph itself.

#### November 3, 2020

**Stuart Burrell**:

Spirals are exciting objects that spring up throughout nature and mathematics. They arise in turbulent dynamical systems and play an important role in the theory of conformal welding. We introduce elliptical polynomial spirals, a flexible family of planar spirals with differing polynomial rates of decay in the two-axis directions. After setting the scene, we present the various dimensions of these spirals and probe the way they differ via the emerging field of dimension interpolation. Then, we consider the regularity of Hölder maps that deform one spiral into another. Dimension yields an initial bound on the Hölder exponent, which, surprisingly, may be improved upon by analysing the images of spirals under fractional Brownian motion. This is based on joint work with Kenneth Falconer and Jonathan Fraser.

#### November 10, 2020

**Tushar Das**:

Being the best of times and the worst of times... I plan to present two variational principles from two distinct realms of research in dimension theory -- self-affine fractals and metric Diophantine approximation. The talk will be accessible to students and faculty interested in some convex combination of dynamics, Diophantine approximation, and fractal geometry. Most importantly, I hope to present a sampling of open questions and directions that have yet to be explored.

#### November 17, 2020

**Natalia Jurga**:

We study the box dimensions of sets which are invariant under the toral endormorphism (*x*,*y*) ↦ (*mx* mod 1, *ny* mod 1) for integers *n*>*m* ≥ 2. This is a fundamental example of an expanding, nonconformal dynamical system, and invariant sets have many subtle properties. The basic examples of such invariant sets are Bedford-McMullen carpets and, more generally, invariant sets are modelled by subshifts on the associated symbolic space. When this subshift is topologically mixing and sofic, the situation is well-understood by results of Kenyon and Peres, in particular the box dimension satisfies a natural formula in terms of entropy and the expansion coefficients *m*,*n*. In this talk we will discuss recent results with Jonathan Fraser on what happens beyond the sofic and mixing case.

#### November 24, 2020

**Lawrence Lee**:

We study a natural class of invariant measures supported on the attractors of a family of nonlinear, non-conformal iterated function systems introduced by Falconer, Fraser and Lee. These are pushforward quasi-Bernoulli measures, a class which includes Gibbs measures. We show that these measures are exact dimensional and that their exact dimensions satisfy a Ledrappier-Young formula. Based on joint work with Natalia Jurga.

#### December 1, 2020

**Alexia Yavicoli**:

I will present a result that shows that any Lebesgue-measurable set in ℝ^{d} with density larger than (*n-2*)/(*n-1*) contains similar copies of every *n*-point set at all sufficiently large scales. I will also give an example to show that the density required to guarantee all large similar copies of *n*-point sets tends to 1 at a rate 1- O(*n*^{-1/5}log*n*). Joint work with Kenneth Falconer and
Vjekoslav Kovač.

### Summer 2020

#### May 26, 2020

**Natalia Jurga**:

A finite set of matrices *A* ⊆ SL(2,ℝ) acts on one-dimensional real projective space ℝP^{1} through its linear action on ℝ^{2}. In this talk we will be interested in the smallest closed subset of ℝP^{1} which is invariant under the projective action of *A*. Recently, Solomyak and Takahashi proved that if *A* is uniformly hyperbolic and satisfies a Diophantine property, then the invariant set has Hausdorff dimension equal to the minimum of 1 and the critical exponent. In this talk we will discuss an extension of their result beyond the uniformly hyperbolic setting. This is based on joint work with Argyrios Christodoulou.

#### June 16, 2020

**Thomas Jordan**:

On the line Hochman has a result showing that the dimension of a self-similar measure is given by the minimum entropy divided by lyapunov exponent and 1 as long as an exponential separation property is satisfied. We will show how this can be extended to the dimension of all ergodic measures projected onto self-similar sets satisfying the same exponential separation property. The main tool used will be Shmerkin's result on the *L*^{q} dimensions of self-similar measures. This is joint work with Ariel Rapaport.

#### June 23, 2020

**Feyisayo Olukoya**:

We give a survey of recent results exploring connections between the Higman-Thompson groups and their automorphism groups and the group of autmorphisms of the shift dynamical system. Our survey takes us from dynamical systems to group theory via groups of homeomorphisms with a segue through combinatorics, in particular, de Bruijn graphs. Joint work with Collin Bleak, Peter Cameron, and Jim Belk.

#### June 30, 2020

**Amlan Banaji**:

The intermediate dimensions, introduced by Falconer, Fraser and Kempton, are a family of dimensions which lie between the Hausdorff and box-counting dimensions, parameterised by θ ∈ [0,1]. I will summarise some of the properties of the intermediate dimensions and introduce a generalisation of them which gives finer geometric information about sets for which the intermediate dimensions are discontinuous at θ = 0.

#### July 7, 2020

**Felipe Ramírez**:

A sequence *a _{n}* of natural numbers is said to have metric Poissonian pair correlations (MPPC) if for almost every real number

*x*the associated sequence

*xa*(mod 1) on the circle has asymptotically Poissonian pair correlations. Informally speaking, this means that the points of the sequence clump together to the same degree that they would if they had been picked randomly. For example, the sequence of natural numbers does not have MPPC, while the sequence of square numbers does. Generally, if a sequence has too much additive structure, like the natural numbers, then it will not have MPPC. If it has very little additive structure, like the squares or the powers of two, then it will have MPPC. But there is a zone in between "too much" and "very little" additive structure where the picture is not so clear, and there has been a lot of work devoted to finding a threshold separating sequences with MPPC from those without, based on what is called the sequence's "additive energy." I will survey this work, and I will discuss an associated inhomogeneous problem where the corresponding questions seem to be easier to answer.

_{n}#### July 14, 2020

**Balázs Bárány**:

The multifractal spectrum of Birkhoff averages over shift spaces or self-conformal sets has been studied widely and is relatively well understood. In this talk, we study the multifractal spectra of weighted Birkhoff averages over the shift space. Under some conditions on the weights, we calculate the spectrum. Our methods are applicable when the weights are defined by the Möbius function with potentials depending on the first symbol. This is joint work with Michal Rams and Ruxi Shi.

#### July 21, 2020

**Clarence Chen**:

The popcorn function, also known as Thomae's function or the modified Dirichlet function, is an important example in real analysis. The corresponding graph set, called the popcorn graph, contains fractal and number theoretical structures. In this talk, we will talk about properties and the dimensions of the popcorn graph, which seems straightforward but relies on delicate counting arguments and some deep results from number theory. This is joint work with Jonathan Fraser and Han Yu.

#### August 4, 2020

**Nayab Khalid**:

A rotation in a binary tree is a local restructuring of the tree, executed by collapsing an internal edge of the tree to a point, thereby obtaining a node with three children, and then re-expanding the node of order three in the alternative way. The rotation distance between a pair of trees with the same number of nodes is the minimum number of rotations needed to convert one tree into another. There has been a great deal of interest in the problems (initially presented by Culik and Wood in 1982 and Sleater, Tarjan and Thurston in 1988): what is the maximum rotation distance between any pair of n-node binary trees? Is there a polynomial time algorithm (in the number of nodes of the trees) to determine the rotation distance between a given pair of trees?

There is a natural link between the rotation distance problem and Thompson's group F, which has been extensively studied. In this talk, I will discuss a remarkable result by Dehornoy (2010) where he explores this link but ultimately leaves an open problem. Time permitting, I will also discuss a result in my PhD thesis which might provide a solution to this open problem.

#### August 11, 2020

**István Kolossváry**:

The intermediate dimensions of a set Λ, elsewhere denoted by dim_{θ} Λ, interpolate between its Hausdorff and box dimensions using the parameter θ ∈ [0,1]. Determining a precise formula for dim_{θ} Λ is particularly challenging when Λ is a Bedford-McMullen carpet with distinct Hausdorff and box dimension. In this talk, after giving an overview, we will present an argument that shows that dim_{θ} Λ is strictly less than the box dimension of Λ for every θ < 1. Time permitting, we will also show how to improve on the lower bound obtained by Falconer, Fraser, and Kempton.

#### August 25, 2020

**Junda Zhang**:

The Derrida-Retaux System is a simple dynamical system on random variables in statistical physics. The concept was formally raised by Bernard Derrida and Martin Retaux in 2014, as a toy model for the longstanding Poland-Scheraga model of DNA transition.
An example would be the initial distribution *X*^{ 0} which takes value 0 with probability 1-*p* and takes value 2 with probability *p*. The iteration relationship is that *X*^{ n+1} = (*X*^{ n}+*Y*^{ n}-1)^{+} (where (*a*)^{+} = max{*a*,0}), where *Y*^{ n} is i.i.d with *X*^{ n}.
The free energy is defined to be the limit of 𝔼(*X*^{ n})/2^{n}. There exists a critical value *p _{c}* such that when

*p < p*the free energy is 0, but when

_{c}*p > p*the free energy is positive.

_{c}Surprisingly in 1984, Collect, Eckmann, etc. discovered a precise formula to calculate

*p*when the initial distribution is integer-valued from the viewpoint of real dynamics. In this talk I will mainly present a 'surprising' result in my undergraduate thesis: their formula holds if and only if the initial distribution is integer-valued. I will also talk about a recent breakthrough on the phase transition order by Shi, etc. (2019).

_{c}### Spring 2020

#### February 4, 2020

**Catherine Bruce**:

We start with two concepts, both originating more than 50 years ago. Marstrand's 1954 projection theorem regarding orthogonal projections of Borel sets in the plane, and Furstenberg's sumset conjecture, regarding sumsets of sets invariant under T_{2}(x)=2x mod1 and T_{3}(x)=3x mod1. Hochman and Shmerkin's breakthrough paper in 2012 provided both a strengthening of Marstrand's projection theorem for self-similar sets with irrational rotations, and a full resolution of Furstenberg's sumset conjecture. The key to both proofs is the method of CP-chains, a theory devised by Furstenberg himself and developed by Hochman and Shmerkin to tackle problems in fractal geometry and geometric measure theory. We will discuss this method and some of the numerous results it has helped to prove in recent years.

#### February 11, 2020

**Jonathan Fraser**:

I will discuss the Fourier transform in the context of fractal geometry. This will involve formulating Fourier analytic analogues of well-known results in fractal geometry, such as Marstrand's slicing theorem. Some of this will be joint work with Tuomas Orponen and Tuomas Sahlsten.

#### February 18, 2020

**Lawrence Lee**:

We study Bernoulli measures in the plane supported on sets defined by iterated function systems consisting of nonlinear maps. These maps have triangular Jacobian matrices and satisfy an appropriate separation condition. Using ideas from thermodynamic formalism we are able to calculate the L^{q}-spectrum of such measures and as a corollary we obtain the box dimension of the sets they are supported on.

#### February 25, 2020

**Liam Stuart**:

The dimension theory regarding limit sets of geometrically finite Kleinian groups has a long history, dating back to work from Patterson in 1976 regarding the Hausdorff dimension, to Stratmann and Urbanski's work in 1996 on the box dimension, to more recent work done by Fraser regarding the Assouad dimension. I will discuss some recent work regarding the Assouad spectrum of these limit sets. Joint work with Jonathan Fraser.

#### March 3, 2020

**Mike Todd**:

Given a dynamical system f and two points x and y, a natural question is: given a time n what is the minimal distance between the n-orbits of x and y? (I.e. the smallest distance between the set {x, f(x),..., f^{n-1}(x)} and {y, f(y),..., f^{n-1}(y)}). It turns out that this can be written in terms of the correlation dimension of the measure at hand. This dimension is poorly understood for all except very simple cases, but I'll present some examples of interesting slowly mixing cases where it can be computed and this orbit approach problem solved. This is joint work with Jerome Rousseau (Bahia/Porto).

#### March 10, 2020

**Lars Olsen**:

As an example we consider discrete Besicovitch-Eggleston subsets of the positive integers ℕ based on the frequencies of digits in the N-ary expansion of positive integers, and show that the "fractional" dimensions of these sets satisfy a formula analogous to the classical Besicovitch-Eggleston dimension formula for the Hausdorff dimension of the usual Besicovitch-Eggleston subsets of ℝ.

### Autumn 2019

#### September 24, 2019

**Jonathan Fraser**:

How dimension behaves under projection from the plane onto lines is a well-studied problem in fractal geometry. For many notions of dimension there is an 'almost sure constancy result' - often referred to as a 'Marstrand phenomenon.' The Assouad dimension behaves rather differently and this will be the focus of the talk. The recent work I will talk about is joint with Antii Kaenmaki (University of Eastern Finland).

#### October 1, 2019

**Abel Farkas**:

Let ν be a deterministic measure. We wish to find a random measure that solves E(μ) = ν while μ is supported on the Brownian path and is nicely spread so we can use it as a tool for geometric measure theory of the Brownian path. We describe when a problem can be solved and we provide a solution. We outline the possible application of the random measures. The theory is developed for more general closed sets than the Brownian path.

#### October 8, 2019

**Mike Todd**:

Lots of mathematical questions can be interpreted as "if this sequence of objects converges, do certain associated qualities of those objects converge?". In this talk the objects will be measures associated to a dynamical system and the quality will be entropy. When a system is non-compact, then mass can escape in the limit: here we'll consider how entropy can converge "modulo escape of mass". This is joint work with Godofredo Iommi and Anibal Velozo.

#### October 15, 2019

**Collin Bleak**:

Boyle and Krieger [1987] give a complete invariant for conjugacy of automorphisms for one-sided shifts of finite type. If two automorphisms are not conjugate, then in finite time you can detect this using the `gyration' and `sign' vectors (infinite vectors generated from the automorphisms taking values, in the first case, in Z/nZ in the nth coordinate, and in the second case, in Z/2Z in each coordinate). However, while these invariants can be constructed from given automorphisms, finding an automorphism with given invariance vectors is not an easy task (and in general, one cannot just pick any two vectors). Boyle has proposed the following question: Consider the full (one-sided) shift on n-letters. Does there exists an automorphism A of order n acting freely on the shift space (every point has an orbit of length n under the action of the automorphism), but where A is not conjugate to a permutation on n letters? We will discuss these invariants, and then, give an automorphism of the sort in Boyle's question. Joint with Feyisayo Olukoya.

#### October 29, 2019

**Pablo Shmerkin**:

I will discuss a notion of regular set and measure (roughly, a homogeneous Moran construction), and how to extract "large" regular sets and measures from arbitrary ones. Even though this is essentially just an application of the pigeonhole principle, it plays a key role in some deep theorems of Bourgain (where I learned about it) and also in my recent work on distance sets and intersections of Cantor sets.

#### November 5, 2019

**István Kolossváry**:

The first part of the talk will give a broader overview of where this joint work with Karoly Simon fits into the literature about self-affine planar carpets. Then more detail will be given about the result for box dimension. In particular, the key argument for counting intersecting boxes under a certain transversality condition will be presented.

#### November 12, 2019

**Alexia Yavicoli**:

I will present quantitative estimates for the supremum of the Hausdorff dimension of sets in the real line which avoid e-approximations of arithmetic progressions. These estimates improve considerably the bounds given by Fraser, Saito and Yu (IMRN, 2019), in particular answering a question left open in that paper. I will also show that for this problem, Hausdorff dimension is equivalent to box or Assouad dimension. Joint work with J. Fraser and P. Shmerkin.

#### November 19, 2019

**Kenneth Falconer**:

I will talk about methods for classifying self-similar sets by symmetry or topology and enumerating such classes of fractals.

#### November 25, 2019

**Sam Colvin**:

Conformal dimension is a powerful tool in the study of metric spaces. It was originally introduced to study rank one symmetric spaces, but has also proved useful in the study of boundaries of hyperbolic groups and other fractal metric spaces. Considering conformal dimension within the framework of Geometric Group Theory, I have defined a related notion that I am calling Hölder dimension, which is an invariant of Hölder equivalence in the same way that conformal dimension is an invariant of quasi-symmetric equivalence. I will define what Hölder dimension is, illustrate why it is a natural concept to consider, present some of my results regarding Hölder dimension, and conclude with some open questions.

#### November 26, 2019

**Stuart Burrell**:

Projections have received sustained interest since Marstrand's seminal result in 1954 on the Hausdorff dimension of projections in the plane. To begin, we will introduce key developments from 1954 to the present day. This aims to provide context and motivation to recent results on the intermediate dimensions of projections. To conclude, some rather surprising corollaries on the Hausdorff and box dimensions of projections will be discussed. The talk will presume little prior knowledge, and so will be accessible even if you are unfamiliar with many of the concepts above.

### Summer 2019

#### June 19, 2019

**Antti Käenmäki**:

We consider planar self-affine sets X satisfying the strong separation condition and the projection condition. We show that any two points of X, which are generic with respect to a self-affine measure having simple Lyapunov spectrum, share the same collection of tangent sets. We also calculate the Assouad dimension of X and show that it is minimal for the conformal Assouad dimension. The talk is based on joint work with Balázs Bárány and Eino Rossi.

### Spring 2019

#### February 5, 2019

**Silouanos Brazitikos**:

The classical Loomis-Whitney inequality and the uniform cover inequality of Bollobás and Thomason provide upper bounds for the volume of a compact set in terms of its lower dimensional coordinate projections. We provide further extensions of these inequalities in the setting of convex bodies. We also establish the corresponding dual inequalities for coordinate sections; these uniform cover inequalities for sections may be viewed as extensions of Meyer's dual Loomis-Whitney inequality.

#### February 12, 2019

**Collin Bleak**:

This talk will feature joint work with Daniel Lanoue on the finitely presented infinite simple Brin-Thompson groups nV. In Brin's introductory paper in 2004, he introduces the groups nV (for positive integers n); a new family of infinite, simple, finitely presented groups modelled on R Thompson's group V = 1V. In the paper, he was able to show that 1V was not isomorphic to 2V, but for larger n, the isomorphism/non-isomorphism question remained unclear. We showed (circa 2007) that a simple dynamical invariant (still measured by groups!) is able to separate all of these groups from each other.

#### February 19, 2019

**Mike Todd**:

For compact dynamical systems, entropy is usually upper semi-continuous: i.e., for a convergent sequence of invariant measures the entropy may jump up in the limit, but it can't jump down. I'll give an idea of why this should be true and then consider the case of non-compact shift maps, where we can prove the same result. The main idea is to transfer the problem to loop graphs and loop systems, which can then be embedded into a compact shift. This is joint work with Godofredo Iommi and Aníbal Velozo.

#### February 26, 2019

**Han Yu**:

Given irrational numbers a,b and a sequence S over digits a,b, we can construct an orbit by adding a or b in each step according to the sequence S. It is proven by Katznelson that the closure of such an orbit can have zero Hausdorff dimension. On the other hand, it is also known that such an orbit must have lower box dimension at least 1/2. We will discuss some further results, related problems as well as how they are related to the affine embedding problem between self-similar sets.

#### March 5, 2019

**Julio Aroca Lobato**:

In this talk we give a brief introduction to Thompson's groups F, T and V, three subgroups of the group of homeomorphisms of the Cantor set. They were defined by Richard Thompson in 1965, who used them to construct finitely presented groups with unsolvable word problems. We then study the solution of Belk-Matucci to the conjugacy problem for these groups, using a topological approach.

Next we will introduce a larger class of subgroups of the homeomorphism group of the Cantor set, a family of Thompson-like groups. We will explain how to extend the ideas of Belk-Matucci to this setting, in order to solve the conjugacy problem, In addition, this implies that certain pairs of these Thompson-like groups are non-isomorphic.

#### March 12, 2019

**Stuart Burrell**:

*TBD*

#### April 2, 2019

**Kenneth Falconer**:

Same as the title.

#### April 9, 2019

**Jonathan Fraser**:

Given two homeomorphic subsets of the plane, how regular can a homeomorphism be mapping one set to the other? Here, "regular" refers to Lipschitz or Holder conditions. I will discuss a concrete example of this type of question, known as the "winding problem", where the sets in question are a line segment and a spiral. This problem has applications and origins in conformal welding and the modelling of turbulence in fluid dynamics. Given time, there will be a competitive audience participation section of the talk where we engage in the fractal analogue of the grand national.

#### April 16, 2019

**Sascha Troscheit**:

The lower Assouad dimension of a measure (also known as the lower regularity dimension) quantifies the "inverse doubling" of a measure. In this talk we investigate the regularity of measures from this perspective and show that many natural measures have positive lower Assouad dimension, i.e. are inverse doubling. This is in stark contrast to the doubling property: measures are generically far from doubling. We will relate this property to L^p-improving measures, a class of measures that improve the regularity of (other) measures on convolution.

#### April 23, 2019

**David Beltran**:

It is known that fractional integrals and the classical fractional maximal function are smoothing operators, in the sense that they map Lebesgue spaces into first order Sobolev spaces. We will show that this phenomenon continues to hold for the fractional spherical maximal function when the dimension of the ambient space is greater than or equal to 5. Moreover, we will discuss the known and open questions regarding the derivative of the Hardy--Littlewood maximal function and its fractional counterpart. This is joint work with Joao P. G. Ramos and Olli Saari.

#### April 30, 2019

**Douglas Howroyd**:

Almost surely no.

#### May 7, 2019

**John Mackay**:

A key invariant of a hyperbolic group is its boundary at infinity, which is a metric space canonically defined up to quasisymmetry. In this talk I will discuss on-going work with Alessandro Sisto looking at the metric structure of the boundary at infinity of relatively hyperbolic groups.

### Autumn 2018

#### September 25, 2018

**Sascha Troscheit**:

Galton-Watson trees are trees that arise from a simple probabilistic model that was first used to describe the extinction of family names in patrilineal family name systems. The model is based on the premise that each individual (node in the tree) has a random number of descendants (sub-nodes/children) which is chosen independently from all other individuals but according to the same distribution. These trees (and their Gromov boundary) arise in a variety of fields and can be used as a model for stochastic self-similarity when endowed with a suitable metric.

In this colloquium-style talk, I will shed some light on the large and small scale behaviour of such trees under a variety of metrics: Some give compact fractals, whereas others give unbounded random metric spaces. I will exhibit dimension theoretic properties that arise from statistical properties and present results on quasi-isometries between random metric spaces.
Given time, I will talk about a special random metric space that one can obtain by rescaling and its unusual dimension theoretic property: It `looks' planar, but cannot `live' in R^{d}.

#### October 9, 2018

**Stuart Burrell**:

Exploring the conditions sufficient or necessary for dimension drop to occur between the affinity and Hausdorff dimensions in homogeneous settings has been a major open problem in fractal geometry since the 1980s. This talk will focus on a single question: given an affine homogeneous system exhibiting dimension drop, what conditions on the condensation set raise the dimension back up to the typical expected values? To set the scene, we'll also introduce the area and survey a few key past and recent dimension results.

#### October 16, 2018

**Yiftach Dayan**:

We will present a model for the construction of random fractals which is called fractal percolation. The result that will be presented in this talk states that a typical fractal percolation set E intersects every set which is winning for a certain game that is called the "hyperplane absolute game", and the intersection has the same Hausdorff dimension as E. An example of such a winning set is the set of badly approximable vectors in dimension d.

In order to prove this theorem one may show that a typical fractal percolation set E contains a sequence of Ahlfors-regular subsets with dimensions approaching the dimension of E, where all the subsets in this sequence are also "hyperplane diffuse", which means that they are not concentrated around affine hyperplanes when viewed in small enough scales.

If time permits, we will discuss the method of the proof of this theorem as well as a generalization to a more general model for random construction of fractals which is given by projecting Galton-Watson trees against any similarity IFS whose attractor is not contained in a single affine hyperplane.

#### October 22, 2018

**Alexia Yavicoli**:

There is a long history about the relationship between the size of a set and the presence of geometric patterns, such as arithmetic progressions. It is well known that sets of positive Lebesgue measure contain a homothetic copy of every finite pattern. We will see that Hausdorff measure (and Hausdorff dimension) cannot be used to detect existence or nonexistence of patterns inside sets. So, if we want to guarantee the presence of patterns in a set, we need a different notion of size. I will talk about a work in progress in which I guarantee the presence of certain patterns in sets of large thickness. This two concepts had not been connected until now. The proof is simple and it is based on variants of Schmidt's game. I will also share some questions with you.

#### October 23, 2018

**Pablo Shmerkin**:

I will survey some recent results and some open problems involving the middle-thirds Cantor set, and in particular its behaviour under arithmetic sums, intersections, and unions of many copies.

#### October 30, 2018

**Keith Rogers**:

*The polynomial Wolff axioms and applications.*

#### November 6, 2018

**Lawrence Lee**:

We study the L^{q}-spectra of self-affine measures in the plane. We show that the L^{q}-spectrum is not in general given by the expected closed form formula.

#### November 13, 2018

**Jonathan Hickman**:

I will describe an approach to studying the Kakeya maximal function in high dimensions via the Guth--Katz polynomial partitioning method. Although the approach does not currently produce better bounds than the record set by Katz--Tao, it is rather flexible, provides a lot of interesting structural information and gives rise to some interesting algebraic/geometric problems.

#### November 20, 2018

**Jim Belk**:

Thurston's theorem in complex dynamics implies that every finite-sheeted branched cover of the complex plane by itself whose ramification points are periodic can be deformed to polynomial with periodic critical points. Hubbard's famous twisted rabbit problem -- first solved by Bartholdi and Nekrashevych using iterated monodromy groups -- asks for an algorithm to find this polynomial from the branched cover. In this talk I will discuss a new solution to the twisted rabbit problem based on the geometry of trees in the complex plane. This is joint work with Justin Lanier, Dan Margalit, and Rebecca Winarski.

#### November 27, 2018

**Han Yu**:

In this talk, I will show that geometric and arithmetic sequences have little in common. Two scenarios will be discussed. First, I will present a number theoretic problem which originates from a math olympiad question which asks whether for every integer m and k there is an integer n such that 2^{n}+n≡ k mod m. Curiously, this result has a continuous version. We shall see that the fractional parts of 2^{n} d+nc for n≥ 0 form a rather large set in [0,1].

#### December 4, 2018

**Collin Bleak**:

*TBD*

### Spring 2018

#### February 6, 2018

**Jonathan Fraser**:

Kleinian groups act discretely on hyperbolic space and give rise to beautiful and intricate mathematical objects, such as tilings and fractal limit sets. The dimension theory of these limit sets has a particularly interesting history, the first calculation of the Hausdorff dimension going back to seminal work of Patterson from the 1970s. In the geometrically finite case, the Hausdorff, box-counting, and packing dimensions are all given by the Poincare exponent. I will discuss recent work on the Assouad dimension, which is not necessarily given by the Poincare exponent in the presence of parabolic points.

#### February 13, 2018

**Han Yu**:

In this talk we discuss a variant of the Kakeya problem. Let us consider a set in the plane whose difference set contains the unit circle. How large is this set in terms of the Hausdorff dimension, box dimensions and the Assouad dimension? It is known that the Hausdorff dimension of such set can be 0 and the lower box dimension must be at least 0.5. In this talk we will discuss some further results and at the same time we will have a lot of fun in discrete geometry.

#### February 20, 2018

**Collin Bleak**:

We show, by adapting a dynamical argument of Lehnert and Schweitzer involving actions on Cantor space, that an apparent broadening of the class of known CoCF groups (a class of groups defined by some formal language criteria) actually adds no new groups to the class, once more producing a result in line with Lehnert's Conjecture. Joint with Jim Belk and Francesco Matucci.

#### February 27, 2018

**Douglas Howroyd**:

One can note that sumsets and difference sets are somewhat similar in structure. It is therefore interesting to use some ideas from the study of sumsets to get new bounds on the dimensions of distance sets. We obtain bounds on the Assouad and upper box dimension of the distance set of F with respect to the respective dimension of F which improve our knowledge for sets of small dimension. I will make these bounds precise and then explain how previous work on sumsets can be used to int the proofs. This is joint work with Jon and Han.

#### March 13, 2018

**Lars Olsen**:

We study several distinct notions of average distances between points
belonging to graph-directed self-similar subsets of the real line.
In particular, we compute the average distance with respect to
graph-directed self-similar measures, and with respect to the normalised Hausdorff measure.
Our result have several application.. For example, if T denotes the set of those real numbers x in the unit
interval for which any 3 consecutive binary digits x sum up to at least 2 (so T is the celebrated Drobot-Turner set),
then the average distance between two randomly chosen points in T equals
( 4444λ^{2} + 2071λ + 3030 ) / (12141λ^{2} + 5650λ + 8281) = 0.36610656...,
where λ is the unique positive real number such that λ^{3} - λ^{2} - 1 = 0..
This is joint work with Angela Richardson.

#### April 3, 2018

**Kenneth Falconer**:

We will discuss 'strong' versions of Marstrand's projection theorems and applications to dimensions of plane sets formed by collections of lines and subsets of lines, with higher dimensional analogues. This is joint work with Pertti Mattila.

#### April 10, 2018

**Nayab Khalid**:

I will present our recent work into the development of a new presentation of R. Thompson's group F, which reflects its symmetries and other dynamical properties.

#### April 17, 2018

**Mike Todd**:

Statistical stability means that the statistical limit laws for a dynamical system move continuously under small perturbations of the measure on the system. I'll give an idea of how inducing methods can be employed to prove statistical stability and give some worked examples.

#### April 24, 2018

**Stuart Burrell**:

We'll introduce and talk about recent and past results on the upper box dimension of inhomogeneous attractors generated from iterated functions systems. This has applications for affine systems with affinity dimension less than one and systems satisfying bounded distortion, such as conformal systems in dimensions greater than one. In particular, this generalises the result of Fraser on self-similar sets. We also apply the methods developed to investigate the Hausdorff measure at the critical value.

#### May 1, 2018

**Lawrence Lee**:

In 2013 Fraser found a closed form expression for the L^{q} spectrum of a certain class of self-affine measures, however in order to do so he required some assumptions which do not appear to arise naturally. Here we discuss our attempts to remove them.

#### May 16, 2018

**Antti Käenmäki**:

We show that any Hausdorff measurable subset of self-conformal sets has comparable Hausdorff measure and Hausdorff content. In particular, this proves that self-conformal sets with positive Hausdorff measure are Ahlfors regular, irrespective of separation conditions. When restricting to the real line and self-conformal sets with Hausdorff dimension strictly less than one, we additionally show that Ahlfors regularity is equivalent to the weak separation condition. In fact, we resolve a self-conformal extension of the dimension drop conjecture for self-conformal sets with positive Hausdorff measure by showing that its Hausdorff dimension falls below the expected value if and only if there are exact overlaps. The talk is based on a recent work with Sascha Troscheit.

### Autumn 2017

#### September 17, 2017

**Hiroki Takahashi**:

For a non-generic, yet dense subset of $C^1$ expanding Markov maps of the interval we prove the existence of uncountably many Lyapunov optimizing measures which are ergodic, fully supported and have positive entropy. These measures are equilibrium states for some H\"older continuous potentials. We also prove the existence of another non-generic dense subset for which the optimizing measure is unique and supported on a periodic orbit. A key ingredient is a new $C^1$ perturbation lemma which allows us to interpolate between expanding Markov maps and the shift map on a finite number of symbols. Joint work with Mao Shinoda (Keio University).

#### October 3, 2017

**Jonathan Fraser**:

An old conjecture of Erdos-Turan states that any set of positive integers whose reciprocals form a divergent series should contain arbitrarily long arithmetic progressions. I will discuss connections between (almost) arithmetic progressions, weak tangents, and Assouad dimension and give a simple proof that sets of positive integers whose reciprocals form a divergent series get arbitrarily close to arbitrarily long arithmetic progressions. This is joint work with Han Yu.

#### October 10, 2017

**Lawrence Lee**:

Diophantine approximation is a branch of analytic number theory that aims to understand how well real numbers may be approximated by rationals. In this talk I will provide an introduction to Diophantine approximation for those who are unfamiliar with the subject. I will also show how we can establish analogues of classical theorems from the real line on more complicated spaces, such as manifolds.

#### October 17, 2017

**Han Yu**:

Duffin-Schaeffer conjecture concerns approximating real numbers by rationals in lowest form. It is an important topic in Diophantine approximation. Although no solution of this conjecture has been found, there are some partial results proving some weaker forms by strengthening some conditions in the statement of this conjecture. Here, in this talk, we shall see that we can use Fourier analysis to make a tiny step forward and show that the Duffin-Schaeffer conjecture holds under extra logarithmic divergence and logarithmic Vaaler type upper bound.

#### October 24, 2017

**Douglas Howroyd**:

Sumsets have been studied for many years in several different contexts, in particular the dimension of sumsets has often been considered. Thanks to the recent inverse theorem of Hochman we can study the limiting behaviour of the upper box and Assouad dimensions of iterated sumsets, with self-similar sets providing particularly nice examples. This is joint work with Jonathan Fraser and Han Yu.

#### October 31, 2017

**Mike Todd**:

I will show how the form of the pressure function for a dynamical system determines its statistical limit laws. This is particularly interesting when the system has slow mixing properties, or, even more extreme, in the null recurrent case (where the system has an infinite measure). I will start by introducing these ideas for simple interval maps with nice Gibbs measures and then indicate how this generalises. This is joint work with Henk Bruin and Dalia Terhesiu.

#### November 7, 2017

**Andrew Mitchell and Tasos Stylianou**:

J. Rouyer recently proved that a typical compact metric space belonging to the Gromov-Hausdorff space (of all compact metric spaces) has Hausdorff and lower box dimension as small as possible (namely zero), and upper box dimension as large as possible (namely infinity). We study a similar dichotomy for various fractal measures. We also present several applications of our results. For example, as an application, we show that the packing dimension of a typical compact space equals infinity. This talk is based on joint work by S. Jurina, N. Macgregor, A. Mitchell, L. Olsen, and A. Stylianou.

#### November 14, 2017

**Christian Berg**:

In the talk I will discuss the following subjects: Introduction to the classical moment problem (1) The work of Thomas Jan Stieltjes (2) The work of Hans Hamburger and Marcel Riesz (3) Determinacy versus indeterminacy (4) The Nevanlinna parametrization of the indeterminate case (5) Order and type of entire functions (6) Order of indeterminante moment problems calculated from the recurrence coefficients

#### November 21, 2017

**Lars Olsen**:

The Borel hierarchy provides a natural classification of the "complexity" of subsets of a metric space. Loosely speaking, for each ordinal gamma, the so-called Π_{γ}^{0}-complete sets are the most complex sets forming the building blocks from which all other Π_{γ}^{0} sets can be build. The talk will analyse sets known as "multifractal decomposition sets" from this viewpoint. For example, as an application of our results we show that the classical Eggleston-Besicovitch set is Π_{2}^{0}-complete.

#### November 28, 2017

**Shayo Olukoya**:

*TBD*

#### December 5, 2017

**Collin Bleak**:

We examine boundaries of hyperbolic spaces, and actions thereon. Two sorts of boundaries enter our discussion: Gromov's visual boundary, and the horofunction boundary determined by Busemann functions. Considering natural actions on metric spaces (e.g., by isometries), we can pass to induced actions on the various notions of boundary. In this regard, there is a well-known theorem of Kapovich and Benakli that a hyperbolic group acts with finite kernel on its visual boundary. In our talk, we analyse this action to discover that the action can actually be modelled by specialised finite state automata called transducers. In consequence, we prove that a very broad class of hyperbolic groups (including the torsion free groups) act faithfully and `rationally' on their boundary, providing a new approach to the study of this vast and interesting class of groups. Joint with Jim Belk and Francesco Matucci.

### Spring 2017

#### January 31, 2017

**Lars Olsen**:

We study box dimensions of typical (in the sense of Baire) compact sets.

#### February 7, 2017

**Collin Bleak**:

Given a Cantor space C, we define a broad class of subgroups of the group of homeomorphisms of C so that, if a given group G is a subgroup of a finitely generated subgroup H of Homeo(C) and is in our class, we can immediately conclude that G is two-generated. The argument has connections with Higman and Epstein's general arguments toward simplicity for groups of homeomorphisms, and is general enough to immediately prove two-generation, e.g., for many relatives of the Thompson groups, and many other groups as well. Joint with James Hyde.

#### February 14, 2017

**Mike Todd**:

Given a dynamical system with an invariant measure, the entropy gives a notion of the disorder of the system with respect to that measure. If we now take a convergent sequence of invariant measures, must the entropy of the measures also converge? In general the answer is no, and in fact upper semi-continuity (usc) is the best we can hope for. I'll discuss cases when we do get usc, give examples of how usc can fail, and hopefully give some ideas on how some weaker usc property might still be possible even when the standard usc fails.

#### February 21, 2017

**Jonathan Fraser**:

Inhomogeneous iterated function systems are natural generalisations of the classical iterated function systems, commonly used to generate examples of fractal sets. The difference being that there is a fixed "condensation set" which is dragged into the construction. Such systems have applications in image compression (the problem of efficiently storing large picture files) in situations where one wants to produce an image with lots of similar objects at different scales, such as a flock of seagulls or a forest. I will review some structural properties of these attractors and go on to discuss their dimension theory. Some of this talk will be joint work with Simon Baker and Andras Mathe (both at Warwick).

#### February 28, 2017

**Sascha Troscheit**:

The Hausdorff measure (and Hausdorff dimension) tells us the exponential scaling behaviour of efficient covers of sets. For some sets the scaling is however not exactly captured by an exponential function and a generalisation of the Hausdorff measure to arbitrary gauge functions can give us more information. In this talk I will introduce the more general Hausdorff measure and apply it to the setting of random sets.

#### March 7, 2017

**Han Yu**:

Assouad dimension and lower dimension can tell us certain local extreme property of fractal sets. A fractal is 'homogeneous' means that it has the same property everywhere in itself, Assouad dimension can tell us if there is somewhere in fractal which is very 'dense' in some sense. In this talk, I will explain some results of Assouad/lower dimension of some certain graphs of functions. Examples includes : Takagi function, graphs of Levy-process (Wiener process).

#### March 28, 2017

**Kenneth Falconer**:

I will review the development of the dimension theory of self-affine sets over the past 30 years, including recent work with Tom Kempton which invokes ideas from ergodic theory.

#### April 4, 2017

**Chandrasekhar Venkataraman**:

We consider a coupled bulk-surface system of partial differential equations with nonlinear coupling, that arises as a simplification of a mathematical model for receptor-ligand interactions. Nondimensionalisation of the model leads one to consider a number of biologically relevant asymptotic limits of the model. In this talk we develop a mathematical theory for the treatment of the original model together with a rigorous proof of convergence to a number of limiting bulk-surface free boundary problems in the aforementioned limits. Connections will be made between certain classical free boundary problems and the limit problems. The theoretical results will be supported by computations of the original and reduced problems. Based on Joint work with Charles Elliott (Warwick) and Tom Ranner (Leeds)

#### April 11, 2017

**Nayab Khalid**:

I will define connected rearrangement groups and study some of their dynamical properties. In particular, when does the generating set for the group correspond to the basic open sets of the self-similar topological space?

#### April 18, 2017

**Douglas Howroyd**:

The upper regularity dimension of a measure can be thought of as the Assouad dimension of a measure and follows naturally from the measure theoretic definition of Assouad dimension. We will discuss how the upper regularity dimension interacts with other well known definitions of dimension such as the local dimension, providing examples along the way. There is also an interesting relation between this dimension and the doubling property, which we will use to generalise a well known result about tangent measures to weak tangent measures. This is joint work with Jonathan Fraser.

#### April 25, 2017

**Abel Farkas**:

For a given measure we construct a random measure on the Brownian path that has expectation the given measure. For the construction we introduce the concept of weak convergence of measures in probability. The machinery can be extended to more general sets than Brownian path.

### Autumn 2016

#### September 20, 2016

**Collin Bleak**:

We give a finite set of (combinatorial) conditions under which a broad class of finitely generated subgroups of the group of homeomorphisms of the unit interval is determined up to isomorphism. These conditions are stable under raising the generators to powers, so that the subgroups generated by high-power replacements of the original generators will be isomorphic to the original groups, and these isomorphisms will be witnessed by topological semi-conjugacies. We then use these conditions to highlight a discussion of the elementary amenable subgroups of the group PL_+(I) of orientation preserving piecewise-linear homeomorphisms of the unit interval, mentioning results which provide new examples of elementary amenable (EA) subgroups of R. Thompson’s group F, which are of EA class of unprecedented complexity.

#### September 27, 2016

**Douglas Howroyd**:

We will briefly introduce the Assouad and lower dimensions for those who have never seen them before, providing a brief history of the notions. Then we will discuss self-affine sponges, a natural generalization of Bedford-McMullen carpets. Finally for the second half of the talk we calculate the Assouad dimension of these sponges, work done recently with Fraser.

#### October 4, 2016

**Kenneth Falconer**:

The talk will be a gentle and well-illustrated introduction to certain random processes that exhibit ‘jumps’. We will introduce stable distributions and then use random point sets in the plane to define \alpha-stable and multistable processes. The talk will end with a brief outline on recent work on self-stabilising processes.

#### October 11, 2016

**Mike Todd**:

Some recurrence limit laws are more sensitive to slow mixing in a dynamical system than others. Fixing a hole and considering the exponential rate of escape of mass through it as time goes to infinity will result in a degenerate limit if the mixing is too slow for the hole size (i.e. slow exponential, or even subexponential). Shrinking the hole linearly with time (Hitting Time Statistics) gives non-degenerate limit laws in all known mixing cases. I’ll discuss a general framework for these limits and show how they can detect mixing rates. This is joint work with Henk Bruin and Mark Demers.

#### October 25, 2016

**Surabhi Desai**:

The Swift-Hohenberg equation

*u _{t}=-(1+ ∂_{x}^{2})^{2} u - \(\mu\) u + \(\nu\) u ^{2} - u^{3}, x ∈ R*

is an example of a pattern-forming dynamical system. Previous work, which focused on localised roll patterns in the Swift-Hohenberg equation, involved the study of orientable invariant manifolds. Here we will look at more general systems which exhibit localised rolls with non-orientable invariant manifolds; more specifically, we will investigate the effect this has on the characteristic snaking behaviour of the bifurcation diagrams and on the types of solutions produced.

In this talk, I will discuss the results obtained when considering the non-orientable case and, more generally, when looking at twisted manifolds. This is joint work with Tarik Aougab, Margaret Beck, Paul Carter, Bj ̈orn Sandstede, Melissa Stadt and Aric Wheeler.

#### November 1, 2016

**Jonathan Fraser**:

The Assouad dimension is a familiar notion of dimension which, for a given metric space, returns the minimal exponent *\(\alpha\) ∈* 0 such that for
any pair of scales *0 < r < R*, any ball of radius *R* may be covered by a constant times *(R/r) ^{\(\alpha\)}* balls of radius

*r*. We introduce a spectrum of dimensions, motivated by the Assouad dimension, designed to get more information about the scaling structure of the space. More precisely, to each

*\(\theta\) ∈ (0,1)*, we associate the appropriate analogue of the Assouad dimension with the restriction that the two scales

*r*and

*R*used in the definition satisfy

*log R/ log r=\(\theta\)*. We conduct a detailed study of the resulting `dimension spectrum' (as a function of

*\(\theta\)*) including its basic analytic and geometric properties as well as the precise calculation of the spectrum for some specific examples.

This talk is based on joint work with Han Yu and the work can be found at arXiv:1610.02334.

#### November 8, 2016

**Han Yu**:

For Assouad spectrum see the introduction in the abstract the week before. This week I will continue talking about some further properties and specific examples of the Assouad spectrum which Dr Jonathan Fraser did not cover last week due to the lacking of time. This talk will contain the bi-Hölder property of Assouad spectrum and a nice application to bi-Hölder unwinding of spirals. Then I will give an example of computing the Assouad spectrum of the famous Mandelbrot perculation.

#### November 15, 2016

**Bea Adam-Day and Nic Pinzani**:

J. Hyde et. al. proved that, for a typical uniformly continuous function on a bounded subset of the real numbers, the lower box dimension of its graph is as small as possible and the upper box dimension is as large as possible. A natural question to ask now is whether or not it is possible to "smooth" out this erratic behaviour by taking averages of the box counting function. It transpires that in fact no such "smoothing" is possible using general averaging methods, and indeed the nth order average box dimensions of a typical continuous function are as different as possible. This talk is based on joint work between B. Adam-Day, C. Ashcroft, A.Mitchell, L. Olsen, C. O'Connor, N. Pinzani, A. Rizzoli, and J. Rowe.

#### November 22, 2016

**Lars Olsen**:

The Borel hierarchy provides a natural classification of the "complexity" of subsets of a metric space. Loosely speaking, for each ordinal gamma, the so-called Π_{γ}^{0}-complete sets are the most complex sets forming the building blocks from which all other Π_{γ}^{0} sets can be build. The talk will analyse sets known as "multifractal decomposition sets" from this viewpoint. For example, as an application of our results we show that the classical Eggleston-Besicovitch set is Π_{2}^{0}-complete.

### Spring 2016

#### February 2, 2016

**Casey Donoven**:

Fractal dimensions like the box-counting dimension can be used to study the structure of complex sets and shapes. Multifractal analysis generalises the concept of fractal dimension and can be applied to many scientific fields. In this talk, I will describe my undergraduate research project on calculating the multifractal spectrum of heartbeat time series.

#### March 8, 2016

**Bea Adam-Day**:

*\(Pi_{0}^{1}\) completeness*

#### March 29, 2016

**Casey Donoven**:

I will compare two types of relations on Cantor space that arise from vaguely self-similar constructions. Both can be built using graphs that limit on the quotient space. I will show the exact conditions necessary for a gluing relation resulting from an edge replacement system to be an invariant relation.

#### April 5, 2016

**Kenneth Falconer**:

I will discuss a number of problems in plane geometry involving ideas from measure theory and combinatorics. This is a version of a talk given to mark the 100th birthday of Paul Erdos.

#### April 12, 2016

**Nayab Khalid**:

I will be introducing Rostislav Grogorchuk's famous (first) Grigorchuk group. I will present some interesting algebraic and topological properties of the group. I hope to make a case for the importance of this group for both algebraists and analysts.

### Autumn 2015

#### October 6, 2015

**Mike Todd**:

Given a convergent family of interval maps and the associated family of SRB/physical measures, one might hope that the measures would converge to the SRB measure of the limit map. In non-uniformly hyperbolic systems, this naive approach can fail. I'll give sharp conditions on precisely when this failure occurs for a very general class of maps. This is part of a wider study of continuity of thermodynamic quantities in collaboration with Neil Dobbs.

#### October 20, 2015

**Lars Olsen**:

The talk will explore the connection between the asymptotic behaviour of the n'th moments of a measure (for large n) and fractal properties of the measure (e.g. the local dimensions of the measure and the fractal dimensions of subsets of its support).

#### October 27, 2015

**Kenneth Falconer**:

I will attempt to give an introduction to the Liouville quantum gravity measure and indicate some recent work with Xiong Jin relating to its geometrical and analytic properties.

#### November 3, 2015

**Sascha Troscheit**:

In this talk we will give a brief history of the study of affine carpets, both deterministic and random, and will introduce random homogeneous and random recursive (1-variable and \(\infty\)-variable, respectively) box-like carpets. We will introduce the notion of 'arrangements of words' and show that the box-counting dimension is almost surely given by the zero of a pressure function involving a modified singular value function. If time allows we will give a few examples that exhibit interesting 'dimension drops' and say a few words about the proof, which involves sub-additive ergodic theory (1-variable case) and supermartingales (\(\infty\)-variable).

#### November 10, 2015

**Tom Kempton**:

Over the last couple of years there has been great progress in discussing the set of exceptions for Marstrand's projection theorem applied to self-similar sets. In my talk I will discuss how similar progress can be made in the self-affine case.

#### November 17, 2015

**Casey Donoven**:

I will define what invariant relations on cantor spaces are and motivate them with plenty of examples. I will describe some of their properties and techniques to study them, as well as using them to study self-similar sets.

#### November 24, 2015

**Collin Bleak**:

A recent paper of E. Breuillard, M. Kalantar, M. Kennedy, and N. Ozawa give new conditions on a group, so that if the group satisfies these conditions, then the (reduced) C* algebra of the group is simple. Other work of Haagerup and Olesen shows that if either of the (reduced) C* algebras of R. Thompson's groups F or T is simple, then R. Thompson's group F is non-amenable. We explore some of the conditions of Breuillard et.al. in this context.

#### December 1, 2015

**Mike Todd**:

An inhomogeneous fractal set is one which exhibits different scaling behaviour at different points. Assouad dimension finds the 'most difficult location and scale' at which to cover the set, and the difference between it and box dimension can be thought of as a measure of the inhomogeneity of the set: useful, but rather coarse information. In this talk I'll present a new detailed quantitative analysis of inhomogeneity via a local version of Assouad dimension, which for standard examples yields a large deviations principle. This is joint work with Jon Fraser (Manchester).

#### December 8, 2015

**Vuksan Mijovic**:

*TBD*

### Spring 2015

#### February 3, 2015

**Lars Olsen**:

We play darts by throwing darts on the Cartor set and ask the following question: What is the average distance between two randomly thrown darts on the Cantor set? We will also consider higher order average moments. In particular, (using techniques from zeta-functions) we will investigate the asymptotic behaviour of higher order average moments of self-similar measures on Cantor sets. This is joint work with Allen (York), Edwards (Edinburgh) and Harper (St Andrews).

#### February 10, 2015

**Collin Bleak**:

We study the set of automorphisms of the family of Higman groups \({G_{n,r}}\). In particular, we show that any automorphism of a Higman group will have a locally constant Radon-Nikodym derivative, and we apply this knowledge to other descriptions we have about these automorphisms. Joint with Yonah Maissel and Andres Navas.

#### February 24, 2015

**Casey Donoven**:

I will be discussing the paper `Topological spaces admitting a unique fractal structure' by Christoph Bandt and Teklehaimanot Retta. This paper examines a topological description of self-similar sets with controlable overlaps and in particular shows that some fractals, such as the Siepinski gasket, have a finite group of homeomorphisms.

#### March 3, 2015

**Sascha Troscheit**:

In this talk I will briefly describe a construction of box-like self-affine sets, due to Fraser. Randomising this construction will serve as motivation to study a different, more abstract, construction of random self-similar graph directed attractors (RGDA). The RGDA considered in this talk are different to the classical concept of random graph directed attractors and we will briefly highlight how to start tackling the problem of proving that the Hausdorff dimension coincides with the box counting dimension for these attractors, independent of overlap. The basic ideas behind the proof are simple, complicated by an intricate use of branching processes, modelling the relevant properties of our attractor by random forests (collection of trees).

#### March 10, 2015

**Mike Todd**:

I'll discuss random dynamical systems (these will be shifts on some alphabet with some random Gibbs measures) and their recurrence properties. In particular, I'll explain how quenched asymptotic hitting time distributions can be obtained (annealed distributions follow naturally). In the shift setting, we solve this problem completely. This is ongoing joint work with Jerome Rousseau (Bahia).

#### March 31, 2015

**Tom Kempton**:

*TBD*

#### April 7, 2015

**Jasmina Angelevska**:

Recently, the article "On the Assouad dimension of self-similar sets with overlaps" by J. M. Fraser, A. M. Henderson, E. J. Olson and J. C. Robinson gave an interesting dichotomy. They showed that for nontrivial self-similar subsets of the real line; satisfying the weak separation property (WSP) means the Assouad dimension is same as the Hausdorff dimension, and not satisfying WSP means its Assouad dimension is 1. We would like to generalise this result to self-conformal systems. The project is still work in progress, but some results have already been obtained. I am going to talk about the current results and the ideas we have about continuing the project. (Joint work with Sascha Troscheit.)

#### April 14, 2015

**Yongxin Gui**:

*TBD*

#### April 21, 2015

**Vuksan Mijovic**:

*Use of Martingale decomposition to prove statistical properties of dynamical system*

### Autumn 2014

#### September 23, 2014

**Collin Bleak**:

We explore the conditions under which a set of PL homeomorphisms of the unit interval will generate groups of high ''complexity'' under different interpretations of complexity. We show that under easy-to-describe dynamical conditions there are really just three cases of interest (in broad strokes), leading to groups of vastly different complexity. Joint with Tara Brough and Susan Hermiller.

#### October 7, 2014

**Mike Todd**:

Fernandez and Demers studied the statistical properties of the Manneville-Pomeau map with the physical measure when a hole is put in the system, overcoming some of the problems Abstract: caused by subexponential mixing. I'll discuss the same setup, but with a class of natural equilibrium states. We find conditionally invariant measures and give precise information on the transitions between the fast exponentially mixing, the slow exponentially mixing and the subexponentially mixing phases. This is joint work with Mark Demers.

#### October 14, 2014

**Sascha Troscheit**:

In this talk we will give an introduction to Assouad dimension and consider several models of random fractals. We will show that, in general, the Assouad dimension is almost surely as high as possible. This is contrary to other notions of dimension, like Hausdorff, box and packing dimension, which is usually given by some form of `weighted average'. Random sets covered will include self-similar, Bedford-McMullen (self-affine) random constructions and Mandelbrot percolations. (Joint work with Jonathan Fraser and Jun Jie Miao)

#### October 21, 2014

**Tom Kempton**:

Despite twenty five years of progress in understanding dimensions of self-affine sets, the question 'does box dimension exist for self-affine sets' remains open. In this talk I will explain how I am attempting to approach the problem. We begin by studying the basic dynamics associated with projections of self-affine sets, and in particular how projections of self-affine sets in different directions are related. This allows us to introduce a related family of trees. We will explain why studying the thermodynamic formalism for these trees ought to resolve the conjecture for some significant special cases.

#### October 28, 2014

**Gavin Abernethy**:

I shall be discussing some ideas about normal and non-normal numbers, using results regarding the uniform distribution of sequences as well as from ergodic theory. This talk shall be based on a part of my senior honours project from last year.

#### November 4, 2014

**Lars Olsen**:

*TBD*

#### November 11, 2014

**Kenneth Falconer**:

Starting with the basic notions of self-similar sets, the talk will take you on a lavishly illustrated journey visiting a range of geometrical ideas to arrive at the frontiers of research.

#### November 18, 2014

**Casey Donoven**:

In this talk, I will describe my recent paper with Kenneth Falconer on the intersection of fractal subsets of Cantor sets. I will provide probabilistic bounds on the upper box-counting and Hausdorff dimensions of the intersection of a fixed fractal subset and the image of another under a random isometry of the Cantor space.

#### November 25, 2014

**Abel Farkas**:

While studying self-similar sets the open set condition or other separation conditions are convenient assumptions. However, proving the results in the general case is usually much more difficult. I will talk about methods that can help to cope with the general case when no separation condition is assumed.

### Spring 2014

#### February 18, 2014

**Mike Todd**:

*Mixing in Dynamical Systems*

#### February 25, 2014

**Vuksan Mijovic**:

*TBD*

#### March 4, 2014

**Casey Donoven**:

*Intersections within Cantor Spaces*

#### March 11, 2014

**Jonathan Fraser**:

*The Assouad dimension of self-similar sets with overlaps*

#### April 1, 2014

**Kathryn E Hare**:

*Energy and the Fourier Transform*

#### April 8, 2014

**Kenneth Falconer**:

*Symmetry and Enumeration of Self-similar Fractals*

#### April 15, 2014

**Lars Olsen**:

*Distribution of digits in integers*

#### April 22, 2014

**Collin Bleak**:

*On Kesten-type conditions for computing the ideal structure in C* algebras*

### Autumn 2013

#### September 24, 2013

**Casey Donoven**:

*Groups of homeomorphisms of Cantor sets*

#### October 8, 2013

**Jim Belk**:

*Thompson-Like Groups Acting on Julia Sets*

#### October 15, 2013

**Mike Todd**:

*Teichmüller flow on the space of translation surfaces: towards statistical properties*

#### October 22, 2013

**Kathryn E Hare**:

*Local dimensions of convolutions of measures*

#### October 29, 2013

**Kenneth Falconer**:

*Some problems in combinatorial measure geometry*

#### November 5, 2013

**Sascha Troscheit**:

*Self-similar and self conformal devil's staircases and dimensions of sets of non-differentiability*

#### November 12, 2013

**Jan-Olav Ronning**:

*Square Roots of the Poisson Kernel—Past and Future*

#### November 19, 2013

**Colin Bleak**:

*TBD*

#### November 26, 2013

**Malte Koch**:

*Brownian motion on nested fractals*