Past

I will speak about weak Fano 3-folds, K3 surfaces and their Picard lattices, and explain how to solve the matching problem in various situations

I will speak about weak Fano 3-folds, K3 surfaces and their Picard lattices, and explain how to solve the matching problem in various situations.

Erdős asked the following question: given a positive integer $n$, what is the largest integer $k$ such that any set of $n$ points in a plane, with no $4$ on a line, contains $k$ points no $3$ of which are collinear? Füredi proved that $k = o(n)$. Cardinal, Toth and Wood extended this result to $\mathbb{R}^3$, finding sets of $n$ points with no $5$ on a plane whose subsets with no $4$ points on a plane have size $o(n)$, and asked the question for the higher dimensions. For given $n$, let $k$ be largest integer such that any set of $n$ points in $\mathbb{R}^d$ with no more than $d + 1$ cohyperplanar points, has $k$ points with no $d + 1$ on a hyperplane. Is $k = o(n)$? We prove that $k = o(n)$ for any fixed $d \geq 3$.

We present an algorithm, Parallel-$\ell_0$, for {\em combinatorial compressed sensing} (CCS), where the sensing matrix $A \in \mathbb{R}^{m\times n}$ is the adjacency matrix of an expander graph. The information preserving nature of expander graphs allow the proposed algorithm to provably recover a $k$-sparse vector $x\in\mathbb{R}^n$ from $m = \mathcal{O}(k \log (n/k))$ measurements $y = Ax$ via $\mathcal{O}(\log k)$ simple and parallelizable iterations when the non-zeros in the support of the signal form a dissociated set, meaning that all of the $2^k$ subset sums of the support of $x$ are pairwise different. In addition to the low computational cost, Parallel-$\ell_0$ is observed to be able to recover vectors with $k$ substantially larger than previous CCS algorithms, and even higher than $\ell_1$-regularization when the number of measurements is significantly smaller than the vector length.

Flow thought a porous media is usually described by assuming the superficial velocity can be expressed in terms of a constant permeability and a pressure gradient. In poroelastic flows the underlying elastic matrix responds to changes in the fluid pressure. When the elastic deformation is allowed to influence the permeability through the elastic strain, it becomes possible for increased fluid pressure gradient not to result in increased flow, but to decrease the permeability and potentially this may close off or choke the flow. I will talk about a simple model problem for a number of different elastic constitutive models and a number of different permeability-strain models and examine whether there is a general criterion that can be derived to show when, or indeed if, choking can occur for different elasticity-permeability combinations.

In this talk, I develop the Hopf algebra of renormalization, as established by Connes and Kreimer. I then use the correspondence between commutative Hopf algebras and affine groups to show that the energy scale dependence of the renormalized theory can be expressed as a Maurer Cartan connection on the renormalization group.

1)      The Hardt-Lin's problem and a new approximation of a relaxed energy for harmonic maps.

We introduce a new approximation for  the relaxed energy $F$ of the Dirichlet energy and prove that the minimizers of the approximating functional converge to a minimizer $u$ of the relaxed energy for harmonic maps, and that $u$ is  partially regular without using the concept of Cartesian currents.

2)  Partial regularity in liquid crystals  for  the Oseen-Frank model:  a new proof of the result of Hardt, Kinderlehrer and Lin.

Hardt, Kinderlehrer and Lin (\cite {HKL1}, \cite {HKL2}) proved that a minimizer $u$ is smooth on some open subset
$\Omega_0\subset\Omega$ and moreover $\mathcal H^{\b} (\Omega\backslash \Omega_0)=0$ for some positive $\b <1$, where
$\mathcal H^{\b}$ is the Hausdorff measure.   We will present a new proof of Hardt, Kinderlehrer and Lin.

 3)      Global existence of solutions of the Ericksen-Leslie system for  the Oseen-Frank model.

The dynamic flow of liquid crystals is described by the Ericksen-Leslie system. The Ericksen-Leslie system is a system of  the Navier-Stokes equations coupled with the gradient flow for the Oseen-Frank model,   which generalizes the heat flow for harmonic maps  into the $2$-sphere.   In this talk, we will outline a proof of global existence of solutions of the Ericksen-Leslie system for a general Oseen-Frank  model in 2D.

The dynamic flow of liquid crystals is described by the Ericksen-Leslie system. The Ericksen-Leslie system is a system of  the Navier-Stokes equations coupled with the gradient flow for the Oseen-Frank model,   which generalizes the heat flow for harmonic maps  into the $2$-sphere.   In this talk, we will outline a proof of global existence of solutions of the Ericksen-Leslie system for a general Oseen-Frank  model in 2D.

I shall discuss joint work with Mladen Bestvina in which we prove that the group of simplicial automorphisms of the complex of free factors for a
free group $F$ is exactly $Aut(F)$, provided that $F$ has rank at least $3$. I shall begin by sketching the fruitful analogy between automorphism groups of free groups, mapping class groups, and arithmetic lattices, particularly $SL_n({\mathbb{Z}})$. In this analogy, the free factor complex, introduced by Hatcher and Vogtmann, appears as the natural analogue in the $Aut(F)$ setting of the spherical Tits building associated to $SL_n $ and of the curve complex associated to a mapping class group. If $n>2$, Tits' generalisation of the Fundamental Theorem of Projective Geometry (FTPG) assures us that the automorphism group of the building is $PGL_n({\mathbb{Q}})$. Ivanov proved an analogous theorem for the curve complex, and our theorem complements this. These theorems allow one to identify the abstract commensurators of $GL_n({\mathbb{Z}})$, mapping class groups, and $Out(F)$, as I shall explain.

tba

The Renormalization Group (RG) was pioneered by the physicist Kenneth Wilson in the early 70's and since then it has become a fundamental tool in physics. RG remains the most general philosophy for understanding how many models in statistical mechanics behave near their critical point but implementing RG analysis in a mathematically rigorous way remains quite challenging.

I will describe how analysis of RG flows translate into statements about continuum limits, universality, and cross-over phenomena - as a concrete example I will speak about some joint work with Abdelmalek Abdesselam and Gianluca Guadagni.

The moduli space of Higgs bundles on a hyperbolic Riemann surface is a complex analytic variety which has a hyperkahler metric on its smooth locus. As such it has several associated symmetry groups including the group of complex analytic automorphisms and the group of isometries. I will discuss the classification of these and some other related groups.

Motivated by the study of supersymmetric backgrounds with non-trivial fluxes, we provide a formulation of supergravity in the language of generalised geometry, as first introduced by Hitchin, and its extensions. This description both dramatically simplifies the equations of the theory by making the hidden symmetries manifest, and writes the bosonic sector geometrically as a direct analogue of Einstein gravity. Further, a natural analogue of special holonomy manifolds emerges and coincides with the conditions for supersymmetric backgrounds with flux, thus formulating these systems as integrable geometric structures.
 

In this talk we present a new type of Soblev norm defined in the space of functions of continuous paths. Under the Wiener probability measure the corresponding norm is suitable to prove the existence and uniqueness for a large type of system of path dependent quasi-linear parabolic partial differential equations (PPDE). We have establish 1-1 correspondence between this new type of PPDE and the classical backward SDE (BSDE). For fully nonlinear PPDEs, the corresponding Sobolev norm is under a sublinear expectation called G-expectation, in the place of Wiener expectation. The canonical process becomes a new type of nonlinear Brownian motion called G-Brownian motion. A similar 1-1 correspondence has been established. We can then apply the recent results of existence, uniqueness and principle of comparison for BSDE driven by G-Brownian motion to obtain the same result for the PPDE.

Let $K\subset {\mathbb R}$ be a compact definable set in an o-minimal structure over $\mathbb R$, e.g. a semi-algebraic or a real analytic set. A definable family $\{S_\delta\ |  0<\delta\in{\mathbb R}\}$ of compact subsets of $K$, is called a monotone family if $S_\delta\subset S_\eta$ for all sufficiently small $\delta>\eta>0$. The main result in the talk is that when $\dim K=2$ or $\dim K=n=3$ there exists a definable triangulation of $K$ such that for each (open) simplex $\Lambda$ of the triangulation and each small enough $\delta>0$, the intersections $S_\delta\cap\Lambda$ is equivalent to one of five (respectively, nine) standard families in the standard simplex (the equivalence relation and a standard family will be formally defined). As a consequence, we prove the two-dimensional case of the topological conjecture on approximation of definable sets by compact families.

This is joint work with Andrei Gabrielov (Purdue).

The moduli space of G-Higgs bundles carries a natural Hyperkahler structure, through which we can study Lagrangian subspaces (A-branes) or holomorphic subspaces (B-branes) with respect to each structure. Notably, these A and B-branes have gained significant attention in string theory.

We shall begin the talk by first introducing G-Higgs bundles for reductive Lie groups and the associated Hitchin fibration, and sketching how to realize Langlands duality through spectral data. We shall then look at particular types of branes (BAA-branes) which correspond to very interesting geometric objects, hyperholomorphic bundles (BBB-branes). 

The presentation will be introductory and my goal is simply to sketch some of the ideas relating these very interesting areas. 

In 1989, Selberg defined what came to be known as the "Selberg class" of $L$-functions, giving rise to a new subfield of analytic number theory in the intervening quarter century. Despite its popularity, a few things have always bugged me about the definition of the Selberg class. I will discuss these nitpicks and describe some modest attempts at overcoming them, with new applications.

New simple methods of simulating multivariate diffusion bridges, approximately and exactly, are presented. Diffusion bridge simulation plays a fundamental role in simulation-based likelihood inference for stochastic differential equations. By a novel application of classical coupling methods, the new approach generalizes the one-dimensional bridge-simulation method proposed by Bladt and Sørensen (2014) to the multivariate setting. A method of simulating approximate, but often very accurate, diffusion bridges is proposed. These approximate bridges are used as proposal for easily implementable MCMC algorithms that produce exact diffusion bridges. The new method is more generally applicable than previous methods because it does not require the existence of a Lamperti transformation, which rarely exists for multivariate diffusions. Another advantage is that the new method works well for diffusion bridges in long intervals because the computational complexity of the method is linear in the length of the interval. The usefulness of the new method is illustrated by an application to Bayesian estimation for the multivariate hyperbolic diffusion model.

The lecture is based on joint work presented in Bladt, Finch and Sørensen (2014).References:

Bladt, M. and Sørensen, M. (2014): Simple simulation of diffusion bridges with application to likelihood inference for diffusions. Bernoulli, 20, 645-675.

Bladt, M., Finch, S. and Sørensen, M. (2014): Simulation of multivariate diffusion bridges. arXiv:1405.7728, pp. 1-30.

Particle-based stochastic reaction diffusion methods have become a 
popular approach for studying the behavior of cellular processes in 
which both spatial transport and noise in the chemical reaction process 
can be important. While the corresponding deterministic, mean-field 
models given by reaction-diffusion PDEs are well-established, there are 
a plethora of different stochastic models that have been used to study 
biological systems, along with a wide variety of proposed numerical 
solution methods.

In this talk I will motivate our interest in such methods by first 
summarizing several applications we have studied, focusing on how the 
complicated ultrastructure within cells, as reconstructed from X-ray CT 
images, might influence the dynamics of cellular processes. I will then 
introduce our attempt to rectify the major drawback to one of the most 
popular particle-based stochastic reaction-diffusion models, the lattice 
reaction-diffusion master equation (RDME). We propose a modified version 
of the RDME that converges in the continuum limit that the lattice 
spacing approaches zero to an appropriate spatially-continuous model. 
Time-permitting, I will discuss several questions related to calibrating 
parameters in the underlying spatially-continuous model.

Some problems in scientific computing, like the forward simulation of electromagnetic waves in geophysical prospecting, can be
solved via approximation of f(A)b, the action of a large matrix function f(A) onto a vector b. Iterative methods based on rational Krylov
spaces are powerful tools for these computations, and the choice of parameters in these methods is an active area of research.
We provide an overview of different approaches for obtaining optimal parameters, with an emphasis on the exponential and resolvent function, and the square root. We will discuss applications of the rational Arnoldi method for iteratively generating near-optimal absorbing boundary layers for indefinite Helmholtz problems, and for rational least squares vector fitting.

We consider the layer potentials associated with operators $L=-\mathrm{div}A \nabla$ acting in the upper half-space $\mathbb{R}^{n+1}_+$, $n\geq 2$, where the coefficient matrix $A$ is complex, elliptic, bounded, measurable, and $t$-independent. A "Calder\'{o}n--Zygmund" theory is developed for the boundedness of the layer potentials under the assumption that solutions of the equation $Lu=0$ satisfy interior De Giorgi-Nash-Moser type estimates. In particular, we prove that $L^2$ estimates for the layer potentials imply sharp $L^p$ and endpoint space estimates. The method of layer potentials is then used to obtain solvability of boundary value problems. This is joint work with Steve Hofmann and Marius Mitrea.

This talk will give an almost complete proof of the h-cobordism theorem, paying special attention to the sources of the dimensional restrictions in the theorem. If time allows, the alterations needed to prove its cousin, the s-cobordism theorem, will also be sketched.

Manifolds have been a central object of study for over a century, and the classification of them has been a core theme for the whole of this time. This talk will give an overview of the successes and failures in this effort, with some illustrative examples.

D-finite functions are solutions of linear differential equations with polynomial coefficients.  They have drawn a lot of attention, both in Computer Algebra--because of their numerous (algorithmic) closure properties--but also in Numerical Analysis, because their defining ODEs can be numerically solved very efficiently.  In this talk, I will show how a mix of symbolic and numerical methods yields fast and well-conditioned spectral methods on various domains and using different bases of functions.

The Number Field Sieve is the current practical and theoretical state of the art algorithm for factoring. Unfortunately, there has been no rigorous analysis of this type of algorithm. We randomise key aspects of the number theory, and prove that in this variant congruences of squares are formed in expected time $L(1/3, 2.88)$. These results are tightly coupled to recent progress on the distribution of smooth numbers, and we provide additional tools to turn progress on these problems into improved bounds.

It is well-known that a matrix $A$ is Hurwitz stable if and only if there exists a positive definite solution to the Lyapunov matrix equation $A X + X A^* = B$, where $B$ is Hermitian negative definite. We present a verified numerical algorithm to rigorously prove the stability of a given matrix $A$ in the presence of rounding errors.  The computational cost of the algorithm is cubic and it is fast since we can cast almost all operations in level 3 BLAS for which interval arithmetic can be implemented very efficiently.  This is a joint work with Andreas Frommer and the results are already published in ETNA in 2013.

1)      The Hardt-Lin's problem and a new approximation of a relaxed energy for harmonic maps.

We introduce a new approximation for  the relaxed energy $F$ of the Dirichlet energy and prove that the minimizers of the approximating functional converge to a minimizer $u$ of the relaxed energy for harmonic maps, and that $u$ is  partially regular without using the concept of Cartesian currents.

2)  Partial regularity in liquid crystals  for  the Oseen-Frank model:  a new proof of the result of Hardt, Kinderlehrer and Lin.

Hardt, Kinderlehrer and Lin (\cite {HKL1}, \cite {HKL2}) proved that a minimizer $u$ is smooth on some open subset
$\Omega_0\subset\Omega$ and moreover $\mathcal H^{\b} (\Omega\backslash \Omega_0)=0$ for some positive $\b <1$, where
$\mathcal H^{\b}$ is the Hausdorff measure.   We will present a new proof of Hardt, Kinderlehrer and Lin.

 3)      Global existence of solutions of the Ericksen-Leslie system for  the Oseen-Frank model.

The dynamic flow of liquid crystals is described by the Ericksen-Leslie system. The Ericksen-Leslie system is a system of  the Navier-Stokes equations coupled with the gradient flow for the Oseen-Frank model,   which generalizes the heat flow for harmonic maps  into the $2$-sphere.   In this talk, we will outline a proof of global existence of solutions of the Ericksen-Leslie system for a general Oseen-Frank  model in 2D.

In this talk, we consider two disparate questions involving wave equations: (1) how singularities of solutions of subconformal focusing nonlinear wave equations form, and (2) when solutions of (linear and nonlinear) wave equations are determined by their data at infinity. In particular, we will show how tools from solving the second problem - a new family of global nonlinear Carleman estimates - can be used to establish some new results regarding the first question. Previous theorems by Merle and Zaag have established both upper and lower bounds on the local H¹-norm near noncharacteristic blow-up points for subconformal focusing NLW. In our main result, we show that this H¹-norm cannot concentrate along past timelike cones emanating from the blow-up point, i.e., that a significant amount of the action must occur near the corresponding past null cones.

These are joint works with Spyros Alexakis.

The  study of closed geodesics on a Riemannian manifold is a classical and important part of differential geometry. In 1969 Gromoll and Meyer used Morse - Bott theory to give a topological condition on the loop space of compact manifold M which ensures that any Riemannian metric on M has an infinite number of closed geodesics.  This makes a very close connection between closed geodesics and the topology of loop spaces.  

Nowadays it is known that there is a rich algebraic structure associated to the topology of loop spaces — this is the theory of string homology initiated by Chas and Sullivan in 1999.  In recent work, in collaboration with John McCleary, we have used the ideas of string homology to give new results on the existence of an infinite number of closed  geodesics. I will explain some of the key ideas in our approach to what has come to be known as the closed geodesics problem.

Spectral volume and surface measures via the Dixmier trace for local symmetric Dirichlet spaces with Weyl type eigenvalue asymptotics

The purpose of this talk is to present the author's recent results of on an

operator theoretic way of looking atWeyl type Laplacian eigenvalue asymptotics

for local symmetric Dirichlet spaces.

For the Laplacian on a d-dimensional Riemannian manifoldM, Connes' trace

theorem implies that the linear functional  coincides with

(a constant multiple of) the integral with respect to the Riemannian volume

measure of M, which could be considered as an operator theoretic paraphrase

of Weyl's Laplacian eigenvalue asymptotics. Here  denotes a Dixmier trace,

which is a trace functional de_ned on a certain ideal of compact operators on

a Hilbert space and is meaningful e.g. for compact non-negative self-adjoint

operators whose n-th largest eigenvalue is comparable to 1/n.

The first main result of this talk is an extension of this fact in the framework

of a general regular symmetric Dirichlet space satisfying Weyl type asymptotics

for the trace of its associated heat semigroup, which was proved for Laplacians

on p.-c.f. self-simiar sets by Kigami and Lapidus in 2001 under a rather strong

assumption.

Moreover, as the second main result of this talk it is also shown that, given a

local regular symmetric Dirichlet space with a sub-Gaussian heat kernel upper

bound and a (sufficiently regular) closed subset S, a “spectral surface measure"

on S can be obtained through a similar linear functional involving the Lapla-

cian with Dirichlet boundary condition on S. In principle, corresponds to the

second order term for the eigenvalue asymptotics of this Dirichlet Laplacian, and

when the second order term is explicitly known it is possible to identify  For

example, in the case of the usual Laplacian on Rd and a Lipschitz hypersurface S,is a constant multiple of the usual surface measure on S.

Maximal couplings are couplings of Markov processes where the tail probabilities of the coupling time attain the total variation lower bound (Aldous bound) uniformly for all time. Markovian couplings are coupling strategies where neither process is allowed to look into the future of the other before making the next transition. These are easier to describe and play a fundamental role in many branches of probability and analysis. Hsu and Sturm proved that the reflection coupling of Brownian motion is the unique Markovian maximal coupling (MMC) of Brownian motions starting from two different points. Later, Kuwada proved that to have a MMC for Brownian motions on a Riemannian manifold, the manifold should have a reflection structure, and thus proved the first result connecting this purely probabilistic phenomenon (MMC) to the geometry of the underlying space.

Kodaira dimension provides a very successful classification scheme for complex manifolds. The notion was extended to symplectic 4-manifolds. In this talk, we will define the Kodaira dimension for 3-manifolds through Thurston’s eight geometries. This is compatible with other Kodaira dimensions in the sense of “additivity”. This idea could be extended to dimension 4. Finally, we will see how it is sitting in a potential classification of 4-manifolds by exploring its relations with various Kodaira dimensions and other invariants like Gromov norm.

The chiral scalar superfield has interesting BRST cohomology, but the relevant cohomology objects all  have spinor indices. So they cannot occur in an action. They need to be coupled to a chiral dotted spinor superfield. Until now, this has been very problematic, since no sensible action for a chiral dotted spinor superfield was known.  The most obvious such action contains higher derivatives and tachyons.

Now,  a sensible  action has been found. When coupled to the cohomology, this action removes the supersymmetry charge from the theory while maintaining the rigidity and power of supersymmetry.The simplest example of this phenomenon has exactly the fermion content of the Leptons or the Quarks.  The mechanism has the potential to get around the cosmological constant problem, and also the problem of the sum rules of spontaneously broken supersymmetry.

One of the main obstacles to forecasting sea level rise over the coming centuries is the problem of predicting changes in the flow of ice sheets, and in particular their fast-flowing outlet glaciers. While numerical models of ice sheet flow exist, they are often hampered by a lack of input data, particularly concerning the bedrock topography beneath the ice. Measurements of this topography are relatively scarce, expensive to obtain, and often error-prone. In contrast, observations of surface elevations and velocities are widespread and accurate.

In an ideal world, we could combine surface observations with our understanding of ice flow to invert for the bed topography. However, this problem is ill-posed, and solutions are both unstable and non-unique. Conventionally, this problem is circumvented by the use of regularization terms in the inversion, but these are often arbitrary and the numerical methods are still somewhat unstable.

One philosophically appealing option is to apply a fully Bayesian framework to the problem. Although some success has been had in this area, the resulting distributions are extremely difficult to work with, both from an interpretive standpoint and a numerical one. In particular, certain forms of prior information, such as constraints on the bedrock slope and roughness, are extremely difficult to represent in this framework.

A more profitable avenue for exploration is a semi-Bayesian approach, whereby a classical inverse method is regularized using terms derived from a Bayesian model of the problem. This allows for the inclusion of quite sophisticated forms of prior information, while retaining the tractability of the classical inverse problem. In particular, we can account for the severely non-Gaussian error distribution of many of our measurements, which was previously impossible.

We study the problem of maximizing expected utility from terminal wealth in a semi-static market composed of derivative securities, which we assume can be traded only at time zero, and of stocks, which can be
traded continuously in time and are modeled as locally-bounded semi-martingales.

Using a general utility function defined on the positive real line, we first study existence and uniqueness of the solution, and then we consider the dependence of the outputs of the utility maximization problem on the price of the derivatives, investigating not only stability but also differentiability, monotonicity, convexity and limiting properties.

Let ${\cal E}$ be a family of elliptic curves over a base variety defined over $\mathbb C$. An additive extension ${\cal G}$ of ${\cal E}$ is a family of algebraic groups which fits into an exact sequence of group schemes $0\rightarrow {\mathbb G}_{\rm a}\rightarrow {\cal G}\rightarrow {\cal E}\rightarrow 0$. We can define the special subvarieties of ${\cal G}$ to be families of algebraic groups over the same base contained in ${\cal G}$. The relative Manin-Mumford conjecture suggests that the intersection of a curve in ${\cal G}$ with the special subvarieties of dimension 0 is contained in a finite union of special subvarieties.

To prove this we can assume that the family ${\cal E}$ is the Legendre family and then follow the strategy employed by Masser-Zannier for their proof of the relative Manin-Mumford conjecture for the fibred product of two legendre families. This has applications to classical problems such as the theory of elementary integration and Pell's equation in polynomials.

I will introduce simple homotopy theory and then discuss relations between some conjectures in 2 dimensional simple homotopy theory and the 3 and 4 dimensional Poincaré conjectures.

In order:

1. Michael Dallaston, "Modelling channelization under ice shelves"

2. Jeevanjyoti Chakraborty, "Growth, elasticity, and diffusion in 
lithium-ion batteries"

3. Roberta Minussi, "Lattice Boltzmann modelling of the generation and 
propagation of action potential in neurons"

Fix a prime $p$. In this talk, we will discuss the $p$-adic properties of the *coefficients* of the characteristic power series of $U_{p}$ acting on spaces of overconvergent $p$-adic modular forms. These coefficients are, by a theorem of Coleman, power series in the weight variable over $Z_{p}$.  Our first goal will be to show that in tame level one, the simplest case, every coefficient is non-zero mod $p$ and then to give some idea of the (finitely many) roots of each coefficient. The second goal will be to explain how it the previous result fails in higher levels, along with possible salvages. This will include revisiting the tame level one case. The progress we've made has applications, and lends understanding, to recent work being made elsewhere on the geometric structure of the eigencurve "near its boundary". This is joint work with Rob Pollack.

Gaussian quadrature rules are of theoretical and practical interest because of their role in numerical integration and interpolation. For general weighting functions, their computation can be performed with the Golub-Welsch algorithm or one of its refinements. However, for the specific case of Gauss-Legendre quadrature, computation methods based on asymptotic series representations of the Legendre polynomials have recently been proposed. 
For large quadrature rules, these methods provide superior accuracy and speed at the cost of generality. We provide an overview of the progress that was made with these asymptotic methods, focusing on the ideas and asymptotic formulas that led to them. 
Finally, the limited generality will be discussed with Gauss-Jacobi quadrature rules as a prominent possibility for extension.

The Nottingham Group of a finite field is an object of great interest in profinite group theory, owing to its extreme structural properties and the relative ease with which explicit computations can be made within it. In this talk I shall explore both of these themes, before describing some new work on efficient short-word approximation in the Nottingham Group, based on the profinite Solovay-Kitaev procedure. Time permitting, I shall give an application to the dynamics of compositions of random power series.