Past

The Morita Frobenius number of an algebra is the number of Morita equivalence classes of its Frobenius twists. Morita Frobenius numbers were introduced by Kessar in 2004 in the context of Donovan’s Conjecture in block theory. I will present the latest results of a project in which we aim to calculate the Morita Frobenius numbers of the blocks of quasi-simple finite groups. I will also discuss the importance of a recent result of Bonnafe-Dat-Rouquier for our methods, and explain the relationship between Morita Frobenius numbers and Donovan’s Conjecture. 

In various research fields such as machine learning, compressed sensing and operations research, optimization problems which seek sparsity of solutions by the cardinality constraint or rank constraint are studied. We formulate such problems as DC (Difference of two Convex functions) optimization problems and apply DC Algorithm (DCA) to them. While a subproblem needs to be solved in each DCA iteration, its closed-form solution can be easily obtained by soft-thresholding operation. Numerical experiments demonstrate the efficiency of the proposed DCA in comparison with existing methods.
This is a joint work with J. Gotoh (Chuo Univ.) and K. Tono (U. Tokyo). 

Quantization is the study of the interface between commutative and
noncommutative geometry. There are myriad approaches to it, mostly presented
as ad hoc recipes. I shall discuss the motivating ideas, and the relations
between some of the methods, especially the relation between 'deformation'
and 'geometric' quantization.

What makes an intersection likely or unlikely? A simple dimension count shows that two varieties of dimension r and s are non "likely" to intersect if r < codim s, unless there are some special geometrical relations among them. A series of conjectures due to Bombieri-Masser-Zannier, Zilber and Pink rely on this philosophy. I will speak about a joint work with F. Barroero (Basel) in this framework in the special case of a curve in a family of elliptic curves. The proof is based on Pila-Zannier method, combining diophantine ingredients with a refinement of a theorem of Pila and Wilkie about counting rational points in sets definable in o-minimal structures.
   Everyone welcome!
 

A familiar technique in PDE theory is to use mollification to adjust a function controlled in some weak norm into a smooth function with corresponding control on its $C^k$ norm. It would be extremely useful to be able to do the same sort of regularisation for Riemannian metrics, and one might hope to use Ricci flow to do this. However, attempting to do so throws up some fundamental problems concerning the well-posedness of Ricci flow. I will explain some recent developments that allow us to use Ricci flow in this way in certain important cases. In particular, the Ricci flow will now allow us to adjust a `noncollapsed’ 3-manifold with a lower bound on its Ricci curvature through a family of such manifolds, without disturbing the Riemannian distance function too much, and so that we instantly obtain uniform bounds on the full curvature tensor and all its derivatives. These ideas lead to the resolution of some long-standing open problems in geometry.

No previous knowledge of Ricci flow will be assumed, and differential geometry prerequisites will be kept to a minimum.

Joint work with Miles Simon.
 

If we fix a rectangle in the affine real space and if we choose at random a real polynomial with given degree d, the probability P(d) that a component of its vanishing locus crosses the rectangle in its length is clearly positive. But is P(d) uniformly bounded from below when d increases? I will explain a positive answer to a very close question involving real analytic functions. This is a joint work with Vincent Beffara.

 

Any closed 3-manifold can be obtained by glueing two handle bodies along their boundary. For a fixed such glueing, any other differs by changing the glueing map by an element in the mapping class group. Beginning with an idea of Dunfield and Thurston, we can use a random walk on the mapping class group to construct random 3-manifolds. I will report on recent work on the structure of such manifolds, in particular in view of tower of coverings and their topological growth: Torsion homology growth, the minimal degree of a cover with positive Betti number, expander families. I will in particularly explain the connection to some open questions about the mapping class group.

The Ising model is one of the most classical statistical mechanics model, which has seen spectacular mathematical and physical developments for almost a century. The description of its scaling limit at the phase transition is at the center of a fascinating (conjectured) connection between statistical mechanics and field theories. I will discuss how recent mathematical progress allows one to make the connection between the two-dimensional Ising model and Conformal Field Theory rigorous. If time allows, I will discuss the insight this gives one into related models and field theories.

Based off joint works with S. Benoist, D. Chelkak, H. Duminil-Copin, R. Gheissari, K. Izyurov, F. Johansson-Viklund, K. Kytölä, S. Park and S. Smirnov

Instanton bundles were introduced by Atiyah, Drinfeld, Hitchin and Manin in the late 1970s as the holomorphic counterparts, via twistor
theory, to anti-self-dual connections (a.k.a. instantons) on the sphere S^4. We will revise some recent results regarding some of the basic
geometrical features of their moduli spaces, and on its possible degenerations. We will describe the singular loci of instanton sheaves,
and how these lead to new irreducible components of the moduli space of stable sheaves on the projective space.

Localization and holography are powerful approaches to the computation of supersymmetric observables. The computations may, however, include divergences. Therefore, one needs renormalization schemes preserving supersymmetry. I will consider minimal gauged supergravity in five dimensions to demonstrate that the standard holographic renormalization scheme breaks supersymmetry, and propose a set of non-standard boundary counterterms that restore supersymmetry. I will then show that for a certain class of solutions the improved on-shell action correctly reproduces an intrinsic observable of four-dimensional SCFTs, the supersymmetric Casimir energy.

The law of quadratic reciprocity and the celebrated connection between modular forms and elliptic curves over Q are both examples of reciprocity laws. Constructing new reciprocity laws is one of the goals of the Langlands program, which is meant to connect number theory with harmonic analysis and representation theory.

In this talk, I will survey some recent progress in establishing new reciprocity laws, relying on the Galois representations attached to torsion classes which occur in the cohomology of arithmetic hyperbolic 3-manifolds. I will outline joint work in progress on better understanding these Galois representations, proving modularity lifting theorems in new settings, and applying this to elliptic curves over imaginary quadratic fields.

Regenerative medicine offers great hope in curing many currently untreatable diseases. Tissue engineering and stem cell therapy are the two main components of regenerative medicine. In this talk, I will discuss how engineering can make contributions to this highly interdisciplinary field, including biomaterials as 3D scaffolds, bioreactor design, and stem cell bioprocessing.

We give a description of the spectra of $\hat{\mathbb Z}$ and of the
finite adeles using  ultraproducts. In describing the prime ideals and the
localizations, ultrapowers of the group $\mathbb Z$ and ultraproducts of
rings of $p$-adic integers are used.

We adopt the paradigm of understanding how the heart develops during pregnancy as a first principal to inform on adult heart repair and regeneration. Our target for cell-based repair is the epicardium and epicardium-derived cells (EPDCs) which line the outside of the forming heart and contribute vascular endothelial and smooth muscle cells to the coronary vasculature, interstitial fibroblasts and cardiomyocytes. The epicardium can also act as a source of signals to condition the growth of the underlying embryonic heart muscle. In the adult heart, whilst the epicardium is retained, it is effectively quiescent. We have sought to extrapolate the developmental potential of the epicardium to the adult heart following injury by stimulating dormant epicardial cells to give rise to new muscle and vasculature. In parallel, we seek to modulate the local environment into which the new cells emerge: a cytotoxic mixture of inflammation and fibrosis which prevents cell engraftment and integration with survived heart tissue. To this end we manipulate the lymphatic vessels in the heart given that, elsewhere in the body, the lymphatics survey the immune system and modulate inflammation at peripheral injury sites. We recently described the development of the cardiac lymphatic vasculature and revealed in the adult heart that they undergo increased vessel sprouting (lymphangiogenesis) in response to injury, to improve function, remodelling and fibrosis. We are currently investigating whether increased lymphangiogenesis functions to clear immune cells and constrain the reparative response for optimal healing.

For a smooth projective scheme Y over W(k) we consider an element in the motivic Chow group of the reduction Y_m over the truncated Witt ring W_m(k) and give a "Hodge" criterion - using the crystalline cycle class in relative crystalline cohomology - for the element to the lift to the continuous Chow group of Y. The result extends previous work of Bloch-Esnault-Kerz on the p-adic variational Hodge conjecture to a relative setting. In the course of the proof we derive two new results on the relative de Rham-Witt complex and its Nygaard filtration, and work with relative syntomic complexes to define relative motivic complexes for a smooth, formal lifting of Y_m over W(W_m(k)).

Road travel is taking longer each year in the UK. This has been true for the last four years. Travel times have increased by 4% in the last two years. Applying the principle finding of the Eddington Report 2006, this change over the last two years will cost the UK economy an additional £2bn per year going forward even without further deterioration. Additional travel times are matched by a greater unreliability of travel times.

Knowing demand and road capacity, can we predict travel times?

We will look briefly at previous partial solutions and the abundance of motorway data in the UK. Can we make a breakthrough to achieve real-time predictions?

In recent years, Ardakov and Wadsley have been interested in extending the classical theory of Beilinson-Bernstein localisation to different contexts. The classical proof relies on fundamental geometric properties of the dual nilcone of a semisimple Lie algebra; in particular, finding a nice desingularisation of the nilcone and demonstrating that it is normal. I will attempt to explain the relationship between these properties and the proof, and discuss some areas of my own work, which focuses on proving analogues of these results in the case where the characteristic of the ground field K is bad.

I will discuss results on the characterization of minimal weights of mod-p Hilbert modular forms using results on stratifications of Hilbert Modular Varieties.  This is joint work with Fred Diamond.

Bubble Dynamics

We shall discuss certain generalisations of the Rayleigh Plesset equation for bubble dynamics

Self-assembly of a filament by curvature-inducing proteins

We explore a simplified macroscopic model of membrane shaping by means of curvature-sensing proteins. Equations describing the interplay between the shape of a freely floating filament in a fluid and the adhesion kinetics of proteins are derived from mechanical principles. The constant curvature solutions that arise from this system are studied using weakly nonlinear analysis. We show that the stability of the filament’s shape is completely characterized by the parameters associated with protein recruitment and establish that in the bistable regime, proteins aggregate on the filament forming regions of high and low curvatures. This pattern formation is then followed by phase-coarsening that resolves on a time-scale dependent on protein diffusion and drift across the filament, which contend to smooth and maintain the pattern respectively. The model is generalized for multiple species of proteins and we show that the stability of the assembled shape is determined by a competition between proteins attaching on opposing sides.

Thomas Piketty's influential book “Capital in the Twenty-First Century” documents the marked and unequivocal rise of income and wealth inequality observed across the developed world 
in the last three decades. His extrapolations into the distant future are much more controversial and has 
has been subject to various criticisms from both mainstreams and heterodox economists. This motivates the search for an alternative standpoint incorporating 
heterodox insights such as endogenous money and the lessons from the Cambridge capital controversies. We argue that the Goodwin-Keen approach paves the road towards such an alternative.
We first consider a modified Goodwin-Keen model driven by consumption by households, instead of investment by firms, leading to the same qualitative features 
of the original Keen 1995 model, namely the existence of an undesirable equilibrium characterized by infinite private debt ratio and zero employment, 
in addition to a desirable one with finite debt and non-zero employment. By further subdividing the household sector into workers and investors, we are able to investigate their relative 
income and wealth ratios for in the context of these two long-run equilibria, providing a testable link between asymptotic inequality and private debt accumulation.

We report on recent developments in the study of nonlocal operators. The central object of the talk are quadratic forms similar to those that define Sobolev spaces of fractional order. These objects are naturally linked to Markov processes via the theory of Dirichlet forms. We provide regularity results for solutions to corresponding integrodifferential equations. Our emphasis is on forms with singularand anisotropic measures. Some of the objects under consideration are related to the Boltzmann equation, which leads to an interesting question of comparability of quadrativ forms. The talk is based on recent results joint with B. Dyda and with K.-U. Bux and T. Schulze.

Generalising previous definability results in global fields using
quaternion algebras, I will present a technique for first-order
definitions in finite extensions of Q(t). Applications include partial
answers to Pop's question on Isomorphism versus Elementary Equivalence,
and some results on Anscombe's and Fehm's notion of embedded residue.

Inspired by the theory of JSJ decomposition for 3-manifolds, one can define the JSJ decomposition of a group as a maximal canonical way of cutting it up into simpler pieces using amalgamated products and HNN extensions. If the group in question has some sort of non-positive curvature property then one can define a boundary at infinity for the group, which captures its large scale geometry. The JSJ decomposition of the group is then reflected in the treelike structure of the boundary. In this talk I will discuss this connection in the case of hyperbolic groups and explain some of the ideas used in its proof by Brian Bowditch.

Classical modular functions and forms may be evaluated numerically using truncations of the q-series of the Dedekind eta-function or of Jacobi theta-constants. We show that the special structure of the exponents occurring in these series makes it possible to evaluate their truncations to N terms with N+o(N) multiplications; the proofs use elementary number theory and sometimes rely on a Bateman-Horn type conjecture. We furthermore obtain a baby-step giant-step algorithm needing only a sublinear number of multiplications, more precisely O (N/log^r N) for any r>0. Both approaches lead to a measurable speed-up in practical precision ranges, and push the cross-over point for the asymptotically faster arithmetic- geometric mean algorithm even further.

(joint work with William Hart and Fredrik Johansson) ​

In this talk I will describe another strong link between the behaviour of a 3-manifold and the behaviour of its fundamental group- specifically the theorem that the group splits as a free product if and only if the 3-manifold may be divided into two parts using a 2-sphere inducing this splitting. This theorem is for some reason known as Kneser's conjecture despite having been proved half a century ago by Stallings.

Given a Mori Dream Space X, we construct via tropicalisation a model dominating all the small Q-factorial modifications of X. Via this construction we recover a Minkowski basis for the Newton-Okounkov bodies of Cartier divisors on X and hence generators of the movable cone of X. 
This is joint work with Stefano Urbinati.
 

In the ongoing programme to classify noncommutative projective surfaces (connected graded noetherian domains of Gelfand-Kirillov dimension three) a natural question is:  what are the minimal models within a birational class?  It is not even clear a priori what the correct definition is of a minimal model in this context.

We show that a generic Sklyanin algebra (a noncommutative analogue of P^2) satisfies the surprising property that it has no birational connected graded noetherian overrings, and explain why this is a reasonable definition of 'minimal model.' We show also that the noncommutative versions of P^1xP^1 and of the Hirzebruch surface F_2 are minimal.
This is joint work in progress with Dan Rogalski and Toby Stafford.

 

I shall report on recent progress, in Australia and Germany, on the empirical evaluation of special values of L-functions by minors of period matrices whose elements include Feynman integrals from diagrams with up to 20 loops. Previously such relations were known only for diagrams with up to 6 loops.
 

For mapping class groups of surfaces it is well-understood that their homology stability is closely related to the fact that they give rise to an infinite loop space. Indeed, they define an operad whose algebras group complete to infinite loop spaces.

In recent work with Basterra, Bobkova, Ponto and Yaekel we define operads with homology stability (OHS) more generally and prove that they are infinite loop space operads in the above sense. The strong homology stability results of Galatius and Randal-Williams for moduli spaces of manifolds can be used to construct examples of OHSs. As a consequence the map to K-theory defined by the action of the diffeomorphisms on the middle dimensional homology can be shown to be a map of infinite loop spaces.

If a dynamical system has a conservation law, i.e. a constant along the trajectory of the motion, the study of its evolution along the trajectories of a perturbed system becomes interesting. Conservation laws can be seen everywhere, especially at the level of probability distributions of a reduced dynamic.  We explain this with a number of models, in which we see a singular perturbation problem and identify a conservation law, the latter is used to seek out the correct scale to work with and to reduce the complexity of the system. The reduced dynamic consists of a family of  ODEs with rapidly oscillating right hands side from which in the limit we obtain a Markov process. For stochastic completely integrable system, the limit describes the evolution of the level sets of the family of Hamiltonian functions over a very large time scale.

The Yang-Mills heat equation is the gradient flow corresponding to the Yang-Mills functional. It was initially introduced by S. K. Donaldson to study the existence of irreducible Yang-Mills connections on the projective plane. In this talk, we will consider this equation over compact three-manifolds with boundary. It is a nonlinear weakly parabolic equation, but we will see how one can prove long-time existence and uniqueness of solutions by gauge symmetry breaking. We will also demonstrate some strong regularization results for the solution and see how they lead to detailed short-time asymptotic estimates, as well as the long-time convergence of the Wilson loop functions. 

Mean Curvature Flow (MCF) is a canonical way to deform sub-manifolds to minimal sub-manifolds. It also improves the geometric properties of sub-manifolds along the flow. The condition of being Lagrangian is preserved for smooth solutions of MCF in a Kahler-Einstein manifold. We call it Lagrangian mean curvature flow (LMCF) when requires slices of the flow to be Lagrangian.

Unfortunately, singularities may occur and cause obstructions to continue MCF in general. It is thus very important to understand the singularities, particularly isolated singularities of the flow. Isolated singularity models on soliton solutions that include self-similar solutions and translating solutions. In this talk, I will report some of my work with my collaborators on studying singularities of LMCF. It includes soliton solutions with different important properties and an in-progress joint project with Dominic Joyce that aims to understand how singularities form and construct examples to demonstrate these behaviours.

We begin by reviewing the “Gravity = Gauge x Gauge” paradigm that has emerged over the last decade. In particular, we will consider the origin of gravitational scattering amplitudes, symmetries and classical solutions in terms of the product of two Yang-Mills theories. Motivated by these developments we begin to address the classification of gravitational theories admitting a “factorisation” into a product of gauge theories. Progress in this direction leads us to twin supergravity theories - pair of supergravities with distinct supersymmetries, but identical bosonic sectors - from the perspective of Yang-Mills squared. 

Do you find yourself agreeing to things when actually you want more – or less? In this session we will look at how to be clear about what you want, and how to use assertiveness and negotiation skills and strategies to achieve win-win outcomes when working with others. 

Many northern hemisphere climate records show a series of rapid climate changes - Dansgaard-Oesgher (D-O) cycles - that recurred on centennial to millennial timescales throughout most of the last glacial period.  They consist of sudden warming jumps of order 10°C, followed generally by a slow cooling lasting a few centuries, and then a rapid temperature drop into a cold period of similar length.  Most explanations for D-O events call on changes in the strength of the Atlantic meridional overturning circulation (AMOC), but the mechanism for triggering and pacing such changes is uncertain. Changes in freshwater delivery to the ocean are assumed to be important. 

Here, we investigate whether the proposed AMOC changes could have occurred as part of a natural relaxation oscillation, in which runoff from the northern hemisphere ice sheets varies in response to each warming and cooling event, and in turn provides the freshwater delivery that controls the ocean circulation.  In this mechanism the changes are buffered and paced by slow changes in salnity of the Arctic ocean.  We construct a simple model to investigate whether the timescales and magnitudes make this a viable mechanism.  

Oxford Nanopore Technologies aim to enable the analysis of any living thing, by any person, in any environment. The world's first and only nanopore DNA
sequencer, the MinION is a portable, real time, long-read, low cost device that has been designed to bring easy biological analyses to anyone, whether in
scientific research, education or a range of real world applications such as disease/pathogen surveillance, environmental monitoring, food chain
surveillance, self-quantification or even microgravity biology. Gordon will talk the about the technology, applications and future direction.
Stuart will talk about the nanopore signal, computational methods and informatics challenges associated with reading DNA directly.

Speaker: Yixuan Wang
Titile: Minimum resting time with market orders
Abstract:  Regulators have been discussing possible rules to control high frequency trading and decrease market speed, and minimum resting time is one of them. We develop a simple mathematical model, and derive an asymptotic expression of the expected PnL, which is also the performance criteria that a market maker would like to maximize by choosing the optimal depth at which she posts the limit order. We investigate the comparative statistics of the optimal depth with each parameters, an in particular the comparative statistics show that the minimum resting time will decrease the market liquidity, forcing the market makers to post limit orders of volume 1.


Speaker: Marco Pangallo
Title: Does learning converge in generic games?
Abstract: In game theory, learning has often been proposed as a convincing method to achieve coordination on an equilibrium. But does learning converge, and to what? We start investigating the drivers of instability in the simplest possible non-trivial setting, that is generic 2-person, 2-strategy normal form games. In payoff matrices with a unique mixed strategy equilibrium the players may follow the best-reply cycle and fail to converge to the Nash Equilibrium (NE): we rather observe limit cycles or low-dimensional chaos. We then characterize the cyclic structure of games with many moves as a combinatorial problem: we quantify exactly how many best-reply configurations give rise to cycles or to NE, and show that acyclic (e.g. coordination, potential, supermodular) games become more and more rare as the number of moves increases (a fortiori if the payoffs are negatively correlated and with more than two players).  In most games the learning dynamics ends up in limit cycles or high-dimensional chaotic attractors, preventing the players to coordinate. Strategic interactions would then be governed by learning in an ever-changing environment, rather than by rational and fully-informed equilibrium thinking.
Collaborators: J. D. Farmer, T. Galla, T. Heinrich, J. Sanders

to come

Using some new results in probabilistic recognition of black box groups
(Joint work with Sukru Yalcinkaya), I will discuss some emerging
structures that beg for a model-theoretic analysis.

In this talk on joint work with REBECCA BELLOVIN we discuss the “local ε-isomorphism” conjecture of Fukaya and Kato for (crystalline) families of G_{Q_p}-representations. This can be regarded as a local analogue of the global Iwasawa main conjecture for families, extending earlier work of Kato for rank one modules, of Benois and Berger for crystalline representations with respect to the cyclotomic extension as well as of Loeffler, Venjakob and Zerbes for crystalline representations with respect to abelian p-adic Lie extensions of Q_p. Nakamura has shown Kato’s - conjecture for (ϕ,\Gamma)-modules over the Robba ring, which means in particular only after inverting p, for rank one and trianguline families. The main ingredient of (the integrality part of) the proof consists of the construction of families of Wach modules generalizing work of Wach and Berger and following Kisin’s approach via a corresponding moduli space.
 

We consider impatient decision makers when their assets' prices are in undesirable low regions for a significant amount of time, and they are risk averse to negative price jumps. We wish to study the unusual reactions of investors under such adverse market conditions. In mathematical terms, we study the optimal exercising of an American call option in a random time-horizon under spectrally negative Lévy models. The random time-horizon is modeled by an alarm of the so-called Omega default clock in insurance, which goes off when the cumulative amount of time spent by the asset price in an undesirable low region exceeds an independent exponential random time. We show that the optimal exercise strategies vary both quantitatively and qualitatively with the levels of impatience and nervousness of the investors, and we give a complete characterization of all optimal exercising thresholds. 

In variational imaging and other inverse problem modeling, regularisation plays a major role. In recent years, high order regularizers such as the total generalised variation, the mean curvature and the Gaussian curvature are increasingly studied and applied, and many improved results over the widely-used total variation model are reported.
Here we first introduce the fractional order derivatives and the total fractional-order variation which provides an alternative  regularizer and is not yet formally analysed. We demonstrate that existence and uniqueness properties of the new model can be analysed in a fractional BV space, and, equally, the new model performs as well as the high order regularizers (which do not yet have much theory). 
In the usual framework, the algorithms of a fractional order model are not fast due to dense matrices involved. Moreover, written in a Bregman framework, the resulting Sylvester equation with Toeplitz coefficients can be solved efficiently by a preconditioned solver. Further ideas based on adaptive integration can also improve the computational efficiency in a dramatic way.
 Numerical experiments will be given to illustrate the advantages of the new regulariser for both restoration and registration problems.