Past

The Cohen-Lenstra heuristics, postulated in the early 80s, conceptually explained numerous phenomena in the behaviour of ideal class groups of number fields that had puzzled mathematicians for decades, by proposing a probabilistic model: the probability that the class group of an imaginary quadratic field is isomorphic to a given group $A$ is inverse proportional to $\#\text{Aut}(A)$. This is a very natural model for random algebraic objects. But the probability weights for more general number fields, while agreeing well with experiments, look rather mysterious. I will explain how to recover the original heuristic in a very conceptual way by phrasing it in terms of Arakelov class groups instead. The main difficulty that one needs to overcome is that Arakelov class groups typically have infinitely many automorphisms. We build up a theory of commensurability of modules, of groups, and of rings, in order to remove this obstacle. This is joint work with Hendrik Lenstra.

This talk covers two topics: (1) Phenotype change, where we consider the steady-fitness states, in a model developed by Korobeinikov and Dempsey (2014), in which the phenotype is modelled on a continuous scale providing a structured variable to quantify the phenotype state. This enables thresholds for survival/extinction to be established in terms of fitness.

Topic (2) looks at the steady-size distribution of an evolving cohort of cells, such as tumour cells in vitro, and therein establishes thresholds for growth or decay of the cohort. This is established using a new class of non-local (but linear) singular eigenvalue problems which have point spectra, like the traditional Sturm-Liouville problems.  The first eigenvalue gives the threshold required. But these problems are first order unless dispersion is added to incorporate random perturbations. But the same idea will apply here also.  Current work involves binary asymmetrical division of cells, simultaneous with growth. It has implications to cancer biology, helping biologists to conceptualise non-local effects and the part they may play in cancer. This is developed in Zaidi et al (2015).

Acknowledgement. The support of Gravida (NCGD) is gratefully acknowledged.

References

Korobeinikov A & Dempsey C. A continuous phenotype space model of RNA virus evolution within a host. Mathematical Biosciences and Engineering 11, (2014), 919-927.

Zaidi AA, van-Brunt B, & Wake GC. A model for asymmetrical cell division Mathematical Biosciences and Engineering (June 2015).

Although Toeplitz matrices are often dense, matrix-vector products with Toeplitz matrices can be quickly performed via circulant embedding and the fast Fourier transform. This makes their solution by preconditioned Krylov subspace methods attractive. 

For a wide class of symmetric Toeplitz matrices, symmetric positive definite circulant preconditioners that cluster eigenvalues have been proposed. MINRES or the conjugate gradient method can be applied to these problems and descriptive convergence theory based on eigenvalues guarantees fast convergence. 

In contrast, although circulant preconditioners have been proposed for nonsymmetric Toeplitz systems, guarantees of fast convergence are generally only available for CG for the normal equations (CGNE). This is somewhat unsatisfactory because CGNE has certain drawbacks, including slow convergence and a larger condition number. In this talk we discuss a simple alternative symmetrization of nonsymmetric Toeplitz matrices, that allows us to use MINRES to solve the resulting linear system. We show how existing circulant preconditioners for nonsymmetric Toeplitz matrices can be straightforwardly adapted to this situation and give convergence estimates similar to those in the symmetric case.

In this talk I present a recent result about the free-boundary problem for 2D current-vortex sheets in ideal incompressible magneto-hydrodynamics near the transition point between the linearized stability and instability. In order to study the dynamics of the discontinuity near the onset of the instability, Hunter and Thoo have introduced an asymptotic quadratically nonlinear integro-differential equation for the amplitude of small perturbations of the planar discontinuity. We study such amplitude equation and prove its nonlinear well-posedness under a stability condition given in terms of a longitudinal strain of the fluid along the discontinuity. This is a joint work with A.Morando and P.Trebeschi.

This talk will be an introduction to the weird and wonderful world of Thompson's groups $F$, $T$ and $V$. For example, the group $T$ was the first known finitely presented infinite simple group, $V$ has a finitely presented subgroup with co-NP-complete word problem, and whether or not $F$ is amenable is an infamous open problem.

With the general election looming upon I will discuss the various different kinds of voting system that one could implement in such an election. I will show that these can give very different answers to the same set of voters. I will then discuss Arrow's Impossibility Theorem which shows that no voting system is compatible with 4 simple axioms which may be desireable.

Tropicalization replaces a variety by a polyhedral complex that is a "combinatorial shadow" of the original variety.  This allows algebraic geometric problems to be attacked using combinatorial and
polyhedral techniques.  While this idea has proved surprisingly effective over the last decade, it has so far been restricted to the study of varieties and algebraic cycles.  I will discuss joint work with Felipe Rincon, building on work of Jeff and Noah Giansiracusa, to understand tropicalizing schemes, and more generally the concept of a tropical scheme.

Graphons and permutons are analytic objects associated with convergent sequences of graphs and permutations, respectively. Problems from extremal combinatorics and theoretical computer science led to a study of graphons and permutons determined by finitely many substructure densities, which are referred to as finitely forcible. The talk will contain several results on finite forcibility, focusing on the relation between finite forcibility of graphons and permutons. We also disprove a conjecture of Lovasz and Szegedy about the dimension of the space of typical vertices of finitely forcible graphons. The talk is based on joint work with Roman Glebov, Andrzej Grzesik and Dan Kral.

We will begin by discussing the risk parity portfolio selection problem, which aims to find  portfolios for which the contributions of risk from all assets are equally weighted. The risk parity may be satisfied over either individual assets or groups of assets. We show how convex optimization techniques can find a risk parity solution in the nonnegative  orthant, however, in general cases the number of such solutions can be anywhere between zero and  exponential in the dimension. We then propose a nonconvex least-squares formulation which allows us to consider and possibly solve the general case. 

Motivated by this problem we present several alternating direction schemes for specially structured nonlinear nonconvex problems. The problem structure allows convenient 2-block variable splitting.  Our methods rely on solving convex subproblems at each iteration and converge to a local stationary point. Specifically, discuss approach  alternating directions method of multipliers and the alternating linearization method and we provide convergence rate results for both classes of methods. Moreover, global optimization techniques from polynomial optimization literature are applied to complement our local methods and to provide lower bounds.

Some physical and mathematical theories have the unfortunate feature that if one takes them at face value, many quantities of interest appear to be infinite! Various techniques, usually going under the common name of “renormalisation” have been developed over the years to address this, allowing mathematicians and physicists to tame these infinities. We will tip our toes into some of the mathematical aspects of these techniques and we will see how they have recently been used to make precise analytical statements about the solutions of some equations whose meaning was not even clear until recently.

There is a tight fit between type theories à la Martin-Löf and constructive set theories such as Constructive Zermelo-Fraenkel set theory, CZF, and its extension as well as classical Kripke-Platek set theory and extensions thereof. The technology for determining their (exact) proof-theoretic strength was developed in the 1990s. The situation is rather different when it comes to type theories (with universes) having the impredicative type of propositions Prop from the Calculus of Constructions that features in some powerful proof assistants. Aczel's sets-as-types interpretation into these type theories gives rise to  rather unusual set-theoretic axioms: negative power set and negative separation. But it is not known how to determine the proof-theoretic strengths of intuitionistic set theories with such axioms via familiar classical set theories (though it is not difficult to see that ZFC plus infinitely many inaccessibles provides an upper bound). The first part of the talk will be a survey of known results from this area. The second part will be concerned with the rather special computational and proof-theoretic behavior of such theories.

In this talk we discuss a utility-risk portfolio selection problem. By considering the first order condition for the objective function, we derive a primitive static problem, called Nonlinear Moment Problem, subject to a set of constraints involving nonlinear functions of “mean-field terms”, to completely characterize the optimal terminal wealth. Under a mild assumption on utility, we establish the existence of the optimal solutions for both utility-downside-risk and utility-strictly-convex-risk problems, their positive answers have long been missing in the literature. In particular, the existence result in utility-downside-risk problem is in contrast with that of mean-downside-risk problem considered in Jin-Yan-Zhou (2005) in which they prove the non-existence of optimal solution instead and we can show the same non-existence result via the corresponding Nonlinear Moment Problem. This is joint work with K.C. Wong (University of Hong Kong) and S.C.P. Yam (Chinese University of Hong Kong).

Hardy and Littlewood's approximate functional equation for quadratic Weyl sums (theta sums) provides, by iterative application, a powerful tool for the asymptotic analysis of such sums. The classical Jacobi theta function, on the other hand, satisfies an exact functional equation, and extends to an automorphic function on the Jacobi group. In the present study we construct a related, almost everywhere non-differentiable automorphic function, which approximates quadratic Weyl sums up to an error of order one, uniformly in the summation range. This not only implies the approximate functional equation, but allows us to replace Hardy and Littlewood's renormalization approach by the dynamics of a certain homogeneous flow. The great advantage of this construction is that the approximation is global, i.e., there is no need to keep track of the error terms accumulating in an iterative procedure. Our main application is a new functional limit theorem, or invariance principle, for theta sums. The interesting observation here is that the paths of the limiting process share a number of key features with Brownian motion (scale invariance, invariance under time inversion, non-differentiability), although time increments are not independent and the value distribution at each fixed time is distinctly different from a normal distribution. Joint work with Francesco Cellarosi.

It is well known that low-Reynolds-number flows ($R_e\ll1$) have unique solutions, but this statement may not be true if complex solutions are permitted.

We begin by considering Stokes series, where a general steady velocity field is expanded as a power series in the Reynolds number. At each order, a linear problem determines the coefficient functions, providing an exact closed form representation of the solution for all Reynolds numbers. However, typically the convergence of this series is limited by singularities in the complex $R_e$ plane. 

We employ a generalised Pade approximant technique to continue analytically the solution outside the circle of convergence of the series. This identifies other solutions branches, some of them complex. These new solution branches can be followed as they boldly go where no flow has gone before. Sometimes these complex solution branches coalesce giving rise to real solution branches. It is shown that often, an unforced, nonlinear complex "eigensolution" exists, which implies a formal nonuniqueness, even for small and positive $R_e$.

Extensive reference will be made to Dean flow in a slowly curved pipe, but also to flows between concentric, differentially rotating spheres, and to convection in a slot. In addition, certain fundamental exact solutions are shown to possess extra complex solutions.

by Jonathan Mestel and Florencia Boshier

Numerical simulation tools for fluid and solid mechanics are often based on the discretisation of coupled systems of partial differential equations, which can easily be identified in terms of physical
conservation laws.  In contrast, much physical insight is often gained from the equivalent formulation of the relevant energy or free-energy functional, possibly subject to constraints.  Motivated by the
nonlinear static and dynamic behaviour of nematic liquid crystals and of magnetosensitive elastomers, we propose a finite-element framework for minimising these free-energy functionals, using Lagrange multipliers to enforce additional constraints.  This talk will highlight challenges, limitations, and successes, both in the formulation of these models and their use in numerical simulation.
This is joint work with PhD students Thomas Benson, David Emerson, and Dong Han, and with James Adler, Timothy Atherton, and Luis Dorfmann.

We describe the cohomology of moduli spaces of points on schemes over Abelian varieties and give explicit calculations for schemes in dimensions less that three. The construction of Gulbrandsen allows one to consider virtual motives in dimension three. In particular we see a new proof of his conjectures on the Euler numbers of generalized Kummer schemes recently proven by Shen. Joint work in progress with Junliang Shen.

A fundamental theorem of Wilson states that, for every graph $F$, every sufficiently large $F$-divisible clique has an $F$-decomposition. Here $G$ has an $F$-decomposition if the edges of $G$ can be covered by edge-disjoint copies of $F$ (and $F$-divisibility is a trivial necessary condition for this). We extend Wilson's theorem to graphs which are allowed to be far from complete (joint work with B. Barber, D. Kuhn, A. Lo).

I will also discuss some results and open problems on decompositions of dense graphs and hypergraphs into Hamilton cycles and perfect matchings.

I will talk about recent joint work with Amin Gholampour, Richard Thomas and Yukinobu Toda, on an algebraic-geometric proof of the S-duality conjecture in superstring theory, made formerly by physicists Gaiotto, Strominger, Yin, regarding the modularity of DT invariants of sheaves supported on hyperplane sections of the quintic Calabi-Yau threefold. Our strategy is to first use degeneration and localization techniques to reduce the threefold theory to a certain intersection theory over relative Hilbert scheme of points on surfaces and then prove modularity; More precisely, together with Gholampour we have proven that the generating series, associated to the top intersection numbers of the Hibert scheme of points, relative to an effective divisor, on a smooth quasi-projective surface is a modular form. This is a generalization of the result of Okounkov-Carlsson for absolute Hilbert schemes. These intersection numbers, together with the generating series of Noether-Lefschetz numbers, will provide the ingrediants to prove modularity of the above DT invariants over the quintic threefold.

In this talk, we use Carleman type techniques to address uniqueness of self-shrinkers of mean curvature flow with given asymptotic behaviors.

In this talk I will describe two instances of Langlands functoriality concerning the group $\mathrm{Sp}_{2n}$. I will then very briefly explain how this enables one to attach Galois representations to automorphic representations of (inner forms of) $\mathrm{Sp}_{2n}$. 

Multiplicative chaos theory originated from the study of turbulence by Kolmogorov in the 1940s and it was mathematically founded by Kahane in the 1980s. Recently the theory has drawn much of attention due to its connection to SLEs and statistical physics.  In this talk I shall present some recent development of multiplicative chaos theory, as well as its applications to Liouville quantum gravity.

In this talk I will show how given a finitely generated relatively hyperbolic group G, one can construct a finite generating set X of G for which (G,X) has a number of metric properties, provided that the parabolic subgroups have these properties. I will discuss the applications of these properties to the growth series, language of geodesics, biautomatic structures and conjugacy problem. This is joint work with Yago Antolin.

We consider the problem of large-scale regression where both the number of predictors, p, and the number of observations, n, may be in the order of millions or more. Computing a simple OLS or ridge regression estimator for such data, though potentially sensible from a purely statistical perspective (if n is large enough), can be a real computational challenge. One recent approach to tackling this problem in the common situation where the matrix of predictors is sparse, is to first compress the data by mapping it to an n by L matrix with L << p, using a scheme called b-bit min-wise hashing (Li and König, 2011). We study this technique from a theoretical perspective and obtain finite-sample bounds on the prediction error of regression following such data compression, showing how it exploits the sparsity of the data matrix to achieve good statistical performance. Surprisingly, we also find that a main effects model in the compressed data is able to approximate an interaction model in the original data. Fitting interactions requires no modification of the compression scheme, but only a higher-dimensional mapping with a larger L.
This is joint work with Nicolai Meinshausen (ETH Zürich).

From a geometric viewpoint the irregular Riemann-Hilbert correspondence can be viewed as a machine that takes as input a simple
`additive' symplectic/Poisson manifold and it outputs a more complicated `multiplicative' symplectic/Poisson manifold. In the
simplest nontrivial example it converts the linear Poisson manifold Lie(G)^* into the dual Poisson Lie group G^* (which is the Poisson
manifold underlying the Drinfeld-Jimbo quantum group). This talk will firstly describe some more recent (and more complicated) examples of
such `nonperturbative symplectic/Poisson manifolds', i.e. symplectic spaces of Stokes/monodromy data or `wild character varieties'. Then
the natural generalisations (`fission algebras') of the deformed multiplicative preprojective algebras that occur will be discussed, some
of which are known to be related to Cherednik algebras.

Recently, as part of a project to find CY manifolds for which both the Hodge numbers (h^{11}, h^{21}) are small, manifolds have been found with Hodge numbers (4,1) and (1,1). The one-dimensional special geometries of their complex structures are more complicated than those previously studied. I will review these, emphasising the role of the fundamental period and Picard-Fuchs equation. Two arithmetic aspects arise: the first is the role of \zeta(3) in the monodromy matrices and the second is the fact, perhaps natural to a number theorist, that through a study of the CY manifolds over finite fields, modular functions can be associated to the singular manifolds of the family. This is a report on joint work with Volker Braun, Xenia de la Ossa and Duco van Straten.

Contraction cracks form captivating patterns such as those seen in dried mud or the polygonal networks that cover the polar regions of Earth and Mars. These patterns can be controlled, for example in the artistic craquelure sometimes found in pottery glazes. More practically, a growing zoo of patterns, including parallel arrays of cracks, spiral cracks, wavy cracks, lenticular or en-passant cracks, etc., are known from simple experiments in thin films – essentially drying paint – and are finding application in surfaces with engineered properties. Through such work we are also learning how natural crack patterns can be interpreted, for example in the use of dried blood droplets for medical or forensic diagnosis, or to understand how scales develop on the heads of crocodiles.

I will discuss mud cracks, how they form, and their use as a simple laboratory analogue system. For flat mud layers I will show how sequential crack formation leads to a rectilinear crack network, with cracks meeting each other at roughly 90°. By allowing cracks to repeatedly form and heal, I will describe how this pattern evolves into a hexagonal pattern. This is the origin of several striking real-world systems: columnar joints in starch and lava; cracks in gypsum-cemented sand; and the polygonal terrain in permafrost. Finally, I will turn to look at crack patterns over uneven substrates, such as paint over the grain of wood, or on geophysical scales involving buried craters, and identify when crack patterns are expected to be dominated by what lies beneath them. In exploring all these different situations I will highlight the role of energy release in selecting the crack patterns that are seen.

Donaldson-Thomas theory for Calabi-Yau 3-folds is a complexification of Chern-Simons theory. In this talk, I will discuss joint work with Naichung Conan Leung on the complexification of Donaldson theory.

Unordered configuration spaces on (connected) manifolds are basic objects
that appear in connection with many different areas of topology. When the
manifold M is non-compact, a theorem of McDuff and Segal states that these
spaces satisfy a phenomenon known as homological stability: fixing q, the
homology groups H_q(C_k(M)) are eventually independent of k. Here, C_k(M)
denotes the space of k-point configurations and homology is taken with
coefficients in Z. However, this statement is in general false for closed
manifolds M, although some conditional results in this direction are known.

I will explain some recent joint work with Federico Cantero, in which we
extend all the previously known results in this situation. One key idea is
to introduce so-called "replication maps" between configuration spaces,
which in a sense replace the "stabilisation maps" that exist only in the
case of non-compact manifolds. One corollary of our results is to recover a
"homological periodicity" theorem of Nagpal -- taking homology with field
coefficients and fixing q, the sequence of homology groups H_q(C_k(M)) is
eventually periodic in k -- and we obtain a much simpler estimate for the
period. Another result is that homological stability holds with Z[1/2]
coefficients whenever M is odd-dimensional, and in fact we improve this to
stability with Z coefficients for 3- and 7-dimensional manifolds.

The Network and Criminality Workshop will explore the capacity of mathematics and computation to extract insight on network structures relevant to crime, riots, terrorism, etc. It will include presentations on current work (both application-oriented and on methods that can be applied in the future) and active discussion on how to address existing challenges.

Invited speakers (in alphabetical order) are as follows:

Prof. Alex Arenas, Professor of Computer Science & Mathematics, URV, http://deim.urv.cat/~alexandre.arenas/

Prof. Henri Berestycki, Professor of Mathematics, EHESS, http://en.wikipedia.org/wiki/Henri_Berestycki

Prof. Andrea Bertozzi, Professor of Mathematics, UCLA, http://www.math.ucla.edu/~bertozzi/

Dr. Paolo Campana, Research Fellow, Oxford, http://www.sociology.ox.ac.uk/academic-staff/paolo-campana.html

Toby Davies, Graduate Student,  UCL, http://www.bartlett.ucl.ac.uk/casa/people/mphil-phd-students/Toby_Davies

Dr. Hannah Fry, Lecturer in the mathematics of cities, UCL, https://iris.ucl.ac.uk/iris/browse/profile?upi=HMFRY30

Dr. Yves van Gennip, Lecturer in Mathematics, Nottingham, http://www.nottingham.ac.uk/mathematics/people/y.vangennip

Prof. Sandra González-Bailón, Assistant Professor at UPenn, http://dimenet.asc.upenn.edu/people/sgonzalezbailon/

Prof. Federico Varese, Professor of Criminology, Oxford, http://www.law.ox.ac.uk/profile/federico.vareserecep

If you are interested in attending this workshop, please register by following this link: https://www.maths.ox.ac.uk/node/13764/.

We exhibit a construction in noncommutative nonnoetherian algebra that should be understood as a positive characteristic analogue of the Bernstein-Sato polynomial or b-function. Recall that the b-function is a polynomial in one variable attached to an analytic function f. It is well-known to be related to the singularities of f and is useful in continuing a certain type of zeta functions, associated with f. We will briefly recall the complex theory and then emphasize the arithmetic aspects of our construction.

We propose a non-perturbative formulation of structure constants of single trace operators in planar N=4 SYM.  We match our results with both weak and strong coupling data available in the literature. Based on work with Benjamin Basso and Pedro Vieira.

In this talk we discuss a utility-risk portfolio selection problem. By considering the first order condition for the objective function, we derive a primitive static problem, called Nonlinear Moment Problem, subject to a set of constraints involving nonlinear functions of “mean-field terms”, to completely characterize the optimal terminal wealth. Under a mild assumption on utility, we establish the existence of the optimal solutions for both utility-downside-risk and utility-strictly-convex-risk problems, their positive answers have long been missing in the literature. In particular, the existence result in utility-downside-risk problem is in contrast with that of mean-downside-risk problem considered in Jin-Yan-Zhou (2005) in which they prove the non-existence of optimal solution instead and we can show the same non-existence result via the corresponding Nonlinear Moment Problem. This is joint work with K.C. Wong (University of Hong Kong) and S.C.P. Yam (Chinese University of Hong Kong).

For this workshop, we have identified two subject of interest for us in the field of particle technology, one the wet granulation is a size enlargement process of converting small-diameter solid particles (typically powders) into larger-diameter agglomerates to generate a specific size, the other one the mechanical centrifugal air classifier is employed when the particle size that you need to separate is too fine to screen.

Optimization methods for large-scale machine learning must confront a number of challenges that are unique to this discipline. In addition to being scalable, parallelizable and capable of handling nonlinearity (even non-convexity), they must also be good learning algorithms. These challenges have spurred a great amount of research that I will review, paying particular attention to variance reduction methods. I will propose a new algorithm of this kind and illustrate its performance on text and image classification problems.

Ice streams are narrow bands of rapidly sliding ice within an otherwise

slowly flowing continental ice sheet. Unlike the rest of the ice sheet,

which flows as a typical viscous gravity current, ice streams experience

weak friction at their base and behave more like viscous 'free films' or

membranes. The reason for the weak friction is the presence of liquid

water at high pressure at the base of the ice; the water is in turn

generated as a result of dissipation of heat by the flow of the ice

stream. I will explain briefly how this positive feedback can explain the

observed (or inferred, as the time scales are rather long) oscillatory

behaviour of ice streams as a relaxation oscillation. A key parameter in

simple models for such ice stream 'surges' is the width of an ice stream.

Relatively little is understood about what controls how the width of an

ice stream evolves in time. I will focus on this problem for most of the

talk, showing how intense heat dissipation in the margins of an ice stream

combined with large heat fluxes associated with a switch in thermal

boundary conditions may control the rate at which the margin of an ice

stream migrates. The relevant mathematics involves a somewhat non-standard

contact problem, in which a scalar parameter must be chosen to control the

location of the contact region. I will demonstrate how the problem can be

solved using the Wiener-Hopf method, and show recent extensions of this

work to more realistic physics using a finite element discretization.

A compact space is a Rosenthal compactum if it can be embedded into the space of Baire class 1 functions on a Polish space. Those objects have been well studied in functional analysis and set theory. In this talk, I will explain the link between them and the model-theoretic notion of NIP and how they can be used to prove new results in model theory on the topology of the space of types.
 

Quiver varieties and their quantizations feature prominently in
geometric representation theory. Multiplicative quiver varieties are
group-like versions of ordinary quiver varieties whose quantizations
involve quantum groups and $q$-difference operators. In this talk, we will
define and give examples of representations of quivers, ordinary quiver
varieties, and multiplicative quiver varieties. No previous knowledge of
quivers will be assumed. If time permits, we will describe some phenomena
that occur when quantizing multiplicative quiver varieties at a root of
unity, and work-in-progress with Nicholas Cooney.

I will review some classical problems in number theory concerning the statistical distribution of the primes, square-free numbers and values of the divisor function; for example, fluctuations in the number of primes in short intervals and in arithmetic progressions.  I will then explain how analogues of these problems in the function field setting can be resolved by expressing them in terms of matrix integrals.