Past

Our meeting will be a relaxed opportunity to have informal discussions about issues facing minorities in academia and mathematics over lunch. In particular, if anyone would like to suggest a topic to start a discussion about (either in advance or on the day) then please feel free to do this, and it could be a spring board for organised sessions on the same topics in future terms!

Higgs bundles are pairs of holomorphic vector bundles and holomorphic 1-forms taking values in the endomorphisms of the bundle. Their moduli spaces carry a natural Hyperkahler structure, through which one can study Lagrangian subspaces (A-branes) or holomorphic subspaces (B-branes). Notably, these A and B-branes have gained significant attention in string theory. After introducing Higgs bundles and the associated Hitchin fibration, we shall look at  natural constructions of families of different types of branes, and relate these spaces to the study of 3-manifolds, surface group representations and mirror symmetry.

Plumes are a characteristic feature of convective flow through porous media. Their dynamics are an important part of numerous geological processes, ranging from mixing in magma chambers to the convective dissolution of sequestered carbon dioxide. In this talk, I will discuss models for the spread of convective plumes in a heterogeneous porous environment. I will focus particularly on the effect of thin, roughly horizontal, low-permeability barriers to flow, which provide a generic form of heterogeneity in geological settings, and are a particularly widespread feature of sedimentary formations. With the aid of high-resolution numerical simulations, I will explore how a plume spreads and flows in the presence of one or more of these layers, and will briefly consider the implications of these findings in physical settings.

In this interactive workshop, we'll discuss what mathematicians are looking for in written solutions.  How can you set out your ideas clearly, and what are the standard mathematical conventions?  Please bring a pen or pencil! 

This session is likely to be most relevant for first-year undergraduates, but all are welcome.

Transdifferentiation, the process of converting from one cell type to another without going through a pluripotent state, has great promise for regenerative medicine. The identification of key transcription factors for reprogramming is limited by the cost of exhaustive experimental testing of plausible sets of factors, an approach that is inefficient and unscalable. We developed a predictive system (Mogrify) that combines gene expression data with regulatory network information to predict the reprogramming factors necessary to induce cell conversion. We have applied Mogrify to 173 human cell types and 134 tissues, defining an atlas of cellular reprogramming. Mogrify correctly predicts the transcription factors used in known transdifferentiations. Furthermore, we validated several new transdifferentiations predicted by Mogrify, including both into and out of the same cell type (keratinocytes). We provide a practical and efficient mechanism for systematically implementing novel cell conversions, facilitating the generalization of reprogramming of human cells. Predictions are made available via http://mogrify.net to help rapidly further the field of cell conversion.

At first glance the Interdistrict shipping problem resembles a transportation problem.  N sources with M destinations with k Stock keeping units (SKU’s); however, we want to solve for the optimal shipping frequency between each node while determining the flow of each SKU across the network.  As the replenishment quantity goes up, the shipping frequency goes down and the inventory holding cost goes up (AWI = Replenishment Qty/2 + SS).  Safety stock also increases as frequency decreases.  The relationship between replenishment quantity and shipping frequency is non-linear (frequency = annual demand/replenishment qty).  The trucks which are used to transfer the product have finite capacity and the cost to drive the truck between 2 locations is constant regardless of how many containers are actually on the truck up to the max capacity.  Each product can have a different footprint of truck capacity.  Cross docking is allowed.  (i.e. a truck may travel from Loc A to loc B carrying products X and Y.  At loc B, the truck unloads product X, picks up product Z, and continues to location C.  The key here is that product Y does not incur any handling costs at Loc B while products X and Z do.)

The objective function seeks to minimize the total costs ( distribution + handling + inventory holding costs)  for all locations, for all SKU’s, while determining how much of each product should flow across each arc such that all demand is satisfied.

We will see some results and conjectures on the zeta and multizeta values in the function field context, and see how they relate to homological-homotopical objects, such as t-motives, iterated extensions, and to Hopf algebras, big Galois representations.

In this talk, I will present an incomplete equilibrium model to determine the price of an annuity.  A finite number of agents receive stochastic income streams and choose between consumption and investment in the traded annuity.  The novelty of this model is its ability to handle running consumption and general income streams.  In particular, the model incorporates mean reverting income, which is empirically relevant but historically too intractable in equilibrium.  The model is set in a Brownian framework, and equilibrium is characterized and proven to exist using a system of fully coupled quadratic BSDEs.  This work is joint with Gordan Zitkovic.

Conical symplectic resolutions are one of the main objects in the contemporary mix of algebraic geometry and representation theory, 

known as geometric representation theory. They cover many interesting families of objects such as quiver varieties and hypertoric

varieties, and some simpler such as Springer resolutions. The last findings [Braverman, Finkelberg, Nakajima] say that they arise

as Higgs/Coulomb moduli spaces, coming from physics. Most of the gadgets attached to conical symplectic resolutions are rather

algebraic, such as their quatizations and $\mathcal{O}$-categories. We are rather interested in the symplectic topology of them, in particular 

finding smooth exact Lagrangians that appear in the central fiber of the (defining) resolution, as they are objects of the Fukaya category.

Many types of patterns emerging spontaneously can be observed in systems involving thin elastic plates and subjected to external or internal stresses (compression, differential growth, shearing, tearing, etc.). These mechanical systems can sometime be seen as model systems for more complex natural systems and allow to study in detail elementary emerging patterns. One of the simplest among such systems is a bilayer composed of a thin plate resting on a thick deformable substrate. Upon slight compression, periodic undulations (wrinkles) with a well-defined wavelength emerge at the level of the thin layer. We will show that, as the compression increases, this periodic state is unstable and that a second order transition to a localized state (fold) occurs when the substrate is a dense fluid.

Since the legendary 1972 encounter of H. Montgomery and F. Dyson at tea time in Princeton, a statistical correspondence of the non-trivial zeros of the Riemann Zeta function with eigenvalues of high-dimensional random matrices has emerged. Surrounded by many deep conjectures, there is a striking analogyto the energy levels of a quantum billiard system with chaotic dynamics. Thanks 
to extensive calculation of Riemann zeros by A. Odlyzko, overwhelming numerical evidence has been found for the quantum analogy. The statistical accuracy provided by an enormous dataset of more than one billion zeros reveals distinctive finite size effects. Using the physical analogy, a precise prediction of these effects was recently accomplished through the numerical evaluation of operator determinants and their perturbation series (joint work with P. Forrester and A. Mays, Melbourne).
 

We will consider an extension of the Eisenberg-Noe model of financial contagion to allow for time dynamics in both discrete and continuous time. Mathematical results on existence and uniqueness of firm wealths under discrete and continuous-time will be provided. The financial implications of time dynamics will be considered, with focus on how the dynamic clearing solutions differ from those of the static Eisenberg-Noe model.
 

In this talk I will present the recent developments in the topic of existence of solutions to the two-fluid systems. I will discuss the application of approach developed by P.-L. Lions and E. Feireisl and explain the limitations of this technique in the context of multi-component flow models. A particular example of such a model is two-fluids Stokes system with single velocity field and two densities, and with an algebraic pressure law closure. The existence result that uses the compactness criterion introduced for the Navier-Stokes system by D. Bresch and P.-E. Jabin will be presented. I will also mention an innovative construction of solutions relying on the G. Crippa and C. DeLellis stability estimates for the transport equation.

Graph products are a class of groups that 'interpolate' between direct and free products, and generalise the notion of right-angled Artin groups. Given a property that free products (and maybe direct products) are known to satisfy, a natural question arises: do graph products satisfy this property? For instance, it is known that graph products act on tree-like spaces (quasi-trees) in a nice way (acylindrically), just like free products. In the talk we will discuss a construction of such an action and, if time permits, its relation to solving systems of equations over graph products.

In this talk, we shall introduce various identities among partitions of integers, and how these can be expressed via formal power series. In particular, we shall look at the Rogers Ramanujan identities of power series, and discuss possible combinatorial proofs using partitions and Durfree squares.

This is a survey on recent advances in classical decidability issues for local and global fields and for some canonical infinite extensions of those.

In this informal talk, I describe the kinds of functions relevant to scattering amplitudes in perturbative, four-dimensional quantum field theories. In particular, I will argue that generic amplitudes are non-polylogarithmic (beyond one loop), but that there is an upper bound to their geometric complexity. Moreover, I show a veritable `bestiary' of examples which saturate this bound in complexity---including three, all-loop families of integrals defined in massless $\phi^4$ theory which can, at best, be represented as dilogarithms integrated over (2L-2)-dimensional Calabi-Yau manifolds. 

This work deals with exploiting the low-dimensional hierarchical structure of speech signals towards the  goal  of  improving  acoustic  modelling using deep neural networks (DNN).  To this aim the work employ tools from sparsity aware signal processing under novel frameworks to enrich  the  acoustic  information  present  in  DNN posterior features. 

We will discuss some recent results with Martin Bridson about 
Sidki's construction X(G). In particular, if G is a finitely presented
group then X(G) is a finitely presented group. We will discuss as well the
result that if G has polynomial isoperimetric function and the maximal
metabelian quotient of G is virtually nilpotent then X(G) has polynomial
isoperimetric function. Part of the arguments we will use have homological
nature.

Convex and in particular semidefinite relaxations (SDP) for non-convex continuous quadratic optimisation can provide tighter bounds than traditional linear relaxations. However, using SDP relaxations directly in Branch&Cut is impeded by lack of warm starting and inefficiency when combined with other cut classes, i.e. the reformulation-linearization technique. We present a general framework based on machine learning for a strong linear outer-approximation that can retain most tightness of such SDP relaxations, in the form of few strong low dimensional linear cuts selected offline. The cut selection complexity is taken offline by using a neural network estimator (trained before installing solver software) as a selection device for the strongest cuts. Lastly, we present results of our method on QP/QCQP problem instances.

Recovery of reaction pathways under the DCSC framework.

Graphs are a central object of study in various scientific fields, such as discrete mathematics, theoretical computer science and network science. These graphs are typically studied using combinatorial, algebraic or probabilistic methods, each of which highlights the properties of graphs in a unique way. I will discuss a novel approach to study graphs: the simplex geometry (a simplex is a generalized triangle). This perspective, proposed by Miroslav Fiedler, introduces techniques from (simplex) geometry into the field of graph theory and conversely, via an exact correspondence. We introduce the graph-simplex correspondence, identify a number of basic connections between graph characteristics and simplex properties, and suggest some applications as example.

Reference: https://arxiv.org/abs/1807.06475
 

The study of isolated systems has been vastly successful in the context of vanishing cosmological constant, Λ=0. However, there is no physically useful notion of asymptotics for the universe we inhabit with Λ>0.  The full non-linear framework is still under development, but some interesting results at the linearized level have been obtained. I will focus on the conceptual subtleties that arise at the linearized level and discuss the quadrupole formula for gravitational radiation as well as some recent developments.