Past

Calcination describes the heat treatment of anthracite particles in a furnace to produce a partially-graphitised material which is suitable for use in electrodes and for other met- allurgical applications. Electric current is passed through a bed of anthracite particles, here referred to as a coke bed, causing Ohmic heating and high temperatures which result in the chemical and structural transformation of the material.

Understanding the behaviour of such mechanisms on the scale of a single particle is often dealt with through the use of computational models such as DEM (Discrete Element Methods). However, because of the great discrepancy between the length scale of the particles and the length scale of the furnace, we can exploit asymptotic homogenisation theory to simplify the problem.  

In this talk, we will present some results relating to the electrical and thermal conduction through granular material which define effective quantities for the conductivities by considering a microscopic representative volume within the material. The effective quantities are then used as parameters in the homogenised macroscopic model to describe calcination of anthracite. 

Neural networks underpin both biological intelligence and modern AI systems, yet there is relatively little theory for how the observed behavior of these networks arises. Even the connectivity of neurons within the brain remains largely unknown, and popular deep learning algorithms lack theoretical justification or reliability guarantees.  In this talk, we consider paths towards a more rigorous understanding of neural networks. We characterize and, where possible, prove essential properties of neural algorithms: expressivity, learning, and robustness. We show how observed emergent behavior can arise from network dynamics, and we develop algorithms for learning more about the network structure of the brain.

In this work with P.--E. Jabin, we are interested in quantitative estimates for advective equations with an anelastic constraint in presence of vacuum. More precisely, we derive a stability estimate and obtain the existence of renormalized solutions. The method itself introduces weights which sole a dual equation and allow to propagate appropriatly weighted norms on the initial solution. In a second time, a control on where those weights may vanish allow to deduce global and precise quantitative regularity estimates.

We present a state-sum construction of TFTs on r-spin surfaces which
uses a combinatorial model of r-spin structures. We give an example of
such a TFT which computes the Arf invariant for r even. We use the
combinatorial model and this TFT to calculate diffeomorphism classes of
r-spin surfaces with parametrized boundary.

I will explain our recent description of the fundamental degrees of freedom underlying a generalized Kahler structure. For a usual Kahler
structure, it is well-known that the geometry is determined by a complex structure, a Kahler class, and the choice of a positive(1,1)-form in this class, which depends locally on only a single real-valued function: the Kahler potential. Such a description for generalized Kahler geometry has been sought since it was discovered in1984. We show that a generalized Kahler structure of symplectic type is determined by a pair of holomorphic Poisson manifolds, a
holomorphic symplectic Morita equivalence between them, and the choice of a positive Lagrangian brane bisection, which depends locally on
only a single real-valued function, which we call the generalized Kahler potential. To solve the problem we make use of, and generalize,
two main tools: the first is the notion of symplectic Morita equivalence, developed by Weinstein and Xu to study Poisson manifolds;
the second is Donaldson's interpretation of a Kahler metric as a real Lagrangian submanifold in a deformation of the holomorphic cotangent bundle.

The coefficients of the low energy expansion of closed string amplitudes transform as automorphic functions under En(Z) U-duality groups.
 The seminar will give an overview of some features of the coefficients of low order terms in this expansion, which involve a fascinating interplay between multiple zeta values and certain elliptic and hyperelliptic generalisations, Langlands Eisenstein series for the En groups, and the ultraviolet behaviour of maximally supersymmetric supergravity. 

Claudia Scheimbauer

Title: Quantum field theory meets higher categories

Abstract: Studying physics has always been a driving force in the development of many beautiful pieces of mathematics in many different areas. In the last century, quantum field theory has been a central such force and there have been several fundamentally different approaches using and developing vastly different mathematical tools. One of them, Atiyah and Segal's axiomatic approach to topological and conformal quantum field theories, provides a beautiful link between the geometry of "spacetimes” (mathematically described as cobordisms) and algebraic structures. Combining this approach with the physical notion of "locality" led to the introduction of the language of higher categories into the topic. The Cobordism Hypothesis classifies "fully local" topological field theories and gives us a recipe to construct examples thereof by checking certain algebraic conditions generalizing the existence of the dual of a vector space. I will give an introduction to the topic and very briefly mention on my own work on these "extended" topological field theories.

Alberto Paganini

Title: Shape Optimization with Finite Elements

Abstract: Shape optimization means looking for a domain that minimizes a target cost functional. Such problems are commonly solved iteratively by constructing a minimizing sequence of domains. Often, the target cost functional depends on the solution to a boundary value problem stated on the domain to be optimized. This introduces the difficulty of solving a boundary value problem on a domain that changes at each iteration. I will suggest how to address this issue using finite elements and conclude with an application from optics.

I will discuss some properties of delay differential equations in which the delay is not prescribed a-priori but is determined from a threshold condition. Sometimes the delay depends on the solution of the differential equation and its history. A scenario giving rise to a threshold type delay is that larval insects sometimes experience halting or slowing down of development, known as diapause, perhaps as a consequence of intra-specific competition among larvae at higher densities. Threshold delays can result in population dynamical models having some unusual properties, for example, if the model has an Allee effect then diapause may cause extinction in some parameter regimes even where the initial population is high.

Please  note that this talk is only suitable for Mathematicians.

Persistent homology is an algebraic tool for quantifying topological features of shapes and functions, which has recently found wide applications in data and shape analysis. In the first and introductory part of this talk I recall the underlying ideas and basic concepts of this very active field of research. In the second part, I plan to sketch a concrete application of this concept to digital image processing. 

We will briefly revisit Voronoi summation in its classical form and mention some of its many applications in number theory. We will then show how to use the global Whittaker model to create Voronoi type formulae. This new approach allows for a wide range of weights and twists. In the end we give some applications to the subconvexity problem of degree two $L$-functions. 

The Witten-Reshetikhin-Turaev invariant Z(X,K) of a closed oriented three-manifold X containing a knot K, was originally introduced by Witten in order to extend the Jones polynomial of knots  in terms of Chern-Simons theory. Classically, the Jones polynomial is defined for a knot inside the three-sphere in  a combinatorial manner. In Witten's approach, the Jones polynomial J(K) emerge as the expectation value of a certain observable in Chern-Simons theory, which makes sense when K is embedded in any closed oriented three-manifold X. Moreover; he proposed that these invariants should be extendable to so-called topological quantum field theories (TQFT's). There is a catch; Witten's ideas relied on Feynman path integrals, which made them unrigorous from a mathematical point of view. However; TQFT's extending the Jones polynomial were subsequently constructed mathematically through combinatorial means by Reshetikhin and Turaev. In this talk, I shall expand slightly on the historical motivation of WRT invariants, introduce the formalism of TQFT's, and present some of the open problems concerning WRT invariants. The guiding motif will be the analogy between TQFT and quantum field theory.

We present a widely applicable approach to solving (multi-marginal, martingale) optimal transport and related problems via neural networks. The core idea is to penalize the optimization problem in its dual formulation and reduce it to a finite dimensional one which corresponds to optimizing a neural network with smooth objective function. We present numerical examples from optimal transport, and bounds on the distribution of a sum of dependent random variables. As an application we focus on the problem of risk aggregation under model uncertainty. The talk is based on joint work with Stephan Eckstein and Mathias Pohl.

Statements in media about record wave heights being measured are more and more common, the latest being about a record wave of almost 24m in the Southern Ocean on 9 May 2018. We will review some of these wave measurements and the various techniques to measure waves. Then we will explain the various mechanisms that can produce extreme waves both in wave tanks and in the ocean. We will conclude by providing the mechanism that, we believe, explains some of the famous extreme waves. Note that extreme waves are not necessarily rogue waves and that rogue waves are not necessarily extreme waves.

In the past few decades, power grids across the world have become dependent on markets that aim to efficiently match supply with demand at all times via a variety of pricing and auction mechanisms. These markets are based on models that capture interactions between producers, transmission and consumers. Energy producers typically maximize profits by optimally allocating and scheduling resources over time. A dynamic equilibrium aims to determine prices and dispatches that can be transmitted over the electricity grid to satisfy evolving consumer requirements for energy at different locations and times. Computation allows large scale practical implementations of socially optimal models to be solved as part of the market operation, and regulations can be imposed that aim to ensure competitive behaviour of market participants.

Questions remain that will be outlined in this presentation.

Firstly, the recent explosion in the use of renewable supply such as wind, solar and hydro has led to increased volatility in this system. We demonstrate how risk can impose significant costs on the system that are not modeled in the context of socially optimal power system markets and highlight the use of contracts to reduce or recover these costs. We also outline how battery storage can be used as an effective hedging instrument.

Secondly, how do we guarantee continued operation in rarely occuring situations and when failures occur and how do we price this robustness?

Thirdly, how do we guarantee appropriate participant behaviour? Specifically, is it possible for participants to develop strategies that move the system to operating points that are not socially optimal?

Fourthly, how do we ensure enough transmission (and generator) capacity in the long term, and how do we recover the costs of this enhanced infrastructure?
 

In this talk I will start with a brief overview of the Cauchy problem for the Einstein equations of general relativity, and in particular the nonlinear stability of the trivial Minkowski solution in wave gauge as shown by Lindblad and Rodnianski. I will then discuss the Kaluza Klein spacetime of the form $R^{1+3} \times K$ where $K$ is the $n-$torus with the flat metric.  An interesting question to ask is whether this solution to the Einstein equations, viewed as an initial value problem, is stable to small perturbations of the initial data. Motivated by this problem, I will outline how the proof of stability in a restricted class of perturbations in fact follows from the work of Lindblad and Rodnianski, and discuss the physical justification behind this restriction. 

Elements of a finitely generated group have a natural notion of length: namely the length of a shortest word over the generators that represents the element. This allows us to study the growth of such groups by considering the size of spheres with increasing radii. One current area of interest is the rationality or otherwise of the formal power series whose coefficients are the sphere sizes. I will describe a combinatorial way to study this series for the class of virtually abelian groups, introduced by Benson in the 1980s, and then outline its applications to other types of growth series.

The Neumann-Poincare (NP) operator (or the double layer potential) has classically been used as a tool to solve the Dirichlet and Neumann problems of a domain. It also serves as a prominent example in non-self adjoint spectral theory, due to its unexpected behaviour for domains with singularities. Recently, questions from materials science have revived interest in the spectral properties of the NP operator on domains with rough features. I aim to give an overview of recent developments, with particular focus on the NP operator's action on the energy space of the domain. The energy space framework ties together Poincare’s efforts to solve the Dirichlet problem with the operator-theoretic symmetrisation theory of Krein. I will also indicate recent work for domains in 3D with conical points. In this situation, we have been able to describe the spectrum both for boundary data in $L^2$ and for data in the energy space. In the former case, the essential spectrum consists of the union of countably many self-intersecting curves in the plane, and outside of this set the index may be computed as the winding number with respect to the essential spectrum. In the latter case the essential spectrum consists of a real interval.

This lecture will give a brief review of the theory of non-abelian reciprocity maps and their applications to Diophantine geometry, and pose some questions for model-theorists.
 

Given a smooth variety X containing a smooth divisor Y, the relative Gromov-Witten invariants of (X,Y) are defined as certain counts of algebraic curves in X with specified orders of tangency to Y. Their intrinsic interest aside, they are an important part of any Gromov-Witten theorist’s toolkit, thanks to their role in the celebrated “degeneration formula.” In recent years these invariants have been significantly generalised, using techniques in logarithmic geometry. The resulting “log Gromov-Witten invariants” are defined for a large class of targets, and in particular give a rigorous definition of relative invariants for (X,D) where D is a normal crossings divisor. Besides being more general, these numbers are  intimately related to constructions in Mirror Symmetry, via the Gross-Siebert program. In this talk, we will describe a recursive formula for computing the invariants of (X,D) in genus zero. The result relies on a comparison theorem which expresses the log Gromov-Witten invariants as classical (i.e. non log-geometric) objects.
 

In this talk we address the numerical approximation of Mean Field Games with local couplings. For finite difference discretizations of the Mean Field Game system, we follow a variational approach, proving that the schemes can be obtained as the optimality system of suitably defined optimization problems. In order to prove the existence of solutions of the scheme with a variational argument, the monotonicity of the coupling term is not used, which allow us to recover general existence results. Next, assuming next that the coupling term is monotone, the variational problem is cast as a convex optimization problem for which we study and compare several proximal type methods. These algorithms have several interesting features, such as global convergence and stability with respect to the viscosity parameter. We conclude by presenting numerical experiments assessing the performance of the proposed methods. In collaboration with L. Briceno-Arias (Valparaiso, CL) and F. J. Silva (Limoges, FR).

Let $\mathfrak g$ be a semisimple Lie algebra.  A $\mathfrak g$-algebra is an associative algebra $R$ on which $\mathfrak g$ acts by derivations.  There are several significant examples.  Let $V$ a finite dimensional $\mathfrak g$ module and take  $R=\mathrm{End} V$ or $R=D(V)$ being the ring of derivations on  $V$ . Again take $R=U(\mathfrak g)$.   In all these cases  $ S=U(\mathfrak g)\otimes R$ is again a $\mathfrak g$-algebra.  Finally let $T$ denote the subalgebra of invariants of $S$.
 
For the first choice of $R$ above the representation theory of $T$ can be rather explicitly described in terms of Kazhdan-Lusztig polynomials.  In the second case the simple $T$ modules can be described in terms of the simple $D(V)$ modules.  In the third case it is shown that all simple $T$ modules are finite dimensional, despite the fact that $T$ is not a PI ring,  except for the case $\mathfrak  g =\mathfrak {sl}(2)$.