Past

[[{"fid":"51386","view_mode":"default","fields":{"format":"default"},"type":"media","attributes":{"class":"file media-element file-default"},"link_text":"Barbara Mahler"}]]

In the late 1880's Goursat investigated what we now call rigid local systems, classically described as linear differential equations without accessory parameters. In this talk I will discuss some arithmetic and geometric aspects of certain particular cases of Goursat's in rank four. For example, I will discuss what are likely to be all cases where the monodromy group is finite. This is joint work with Danylo Radchenko.

Markoff triples are integer solutions  of the equation $x^2+y^2+z^2=3xyz$ which arose in Markoff's spectacular and fundamental work (1879) on diophantine approximation and has been henceforth ubiquitous in a tremendous variety of different fields in mathematics and beyond.  After reviewing some of these, we will discuss  joint work with Bourgain and Sarnak on the connectedness of the set of solutions of the Markoff equation modulo primes under the action of the group generated by Vieta involutions, showing, in particular,  that for almost all primes the induced graph is connected.  Similar results for composite moduli enable us to establish certain new arithmetical properties of Markoff numbers, for instance the fact that almost all of them are composite.
Time permitting, we will also discuss recent joint work with Magee and Ronan on the asymptotic formula for integer points on Markoff-Hurwitz surfaces  $x_1^2+x_2^2 + \dots + x_n^2 = x_1 x_2 \dots x_n$, giving an interpretation for the exponent of growth in terms of certain conformal measure on the projective space.
 

Equivariant cohomology is adapted from ordinary cohomology to better capture the action of a group on a topological space. In Floer theory, given an autonomous Hamiltonian, there is a natural action of the circle on 1-periodic flowlines given by time translation. Combining these two ideas leads to the definition of  $S^1$-equivariant symplectic cohomology. In this talk, I will introduce these ideas and explain how they are related. I will not assume prior knowledge of Floer theory.

We discuss two Freidlin-Wentzell large deviation principles for McKean-Vlasov equations (MV-SDEs) in certain path space topologies. The equations have a drift of polynomial growth and an existence/uniqueness result is provided. We apply the Monte-Carlo methods for evaluating expectations of functionals of solutions to MV-SDE with drifts of super-linear growth.  We assume that the MV-SDE is approximated in the standard manner by means of an interacting particle system and propose two importance sampling (IS) techniques to reduce the variance of the resulting Monte Carlo estimator. In the "complete measure change" approach, the IS measure change is applied simultaneously in the coefficients and in the expectation to be evaluated. In the "decoupling" approach we first estimate the law of the solution in a first set of simulations without measure change and then perform a second set of simulations under the importance sampling measure using the approximate solution law computed in the first step. 

In laboratories around the world, scientists use magnetic stirrers to mix solutions and dissolve powders. It is well known that at high drive rates the stir bar jumps around erratically with poor mixing, leading to its nick-name 'flea'. Investigating this behaviour, we discovered a state in which the flea levitates stably above the base of the vessel, supported by magnetic repulsion between flea and drive magnet. The vertical motion is oscillatory and the angular motion a superposition of rotation and oscillation. By solving the coupled vertical and angular equations of motion, we characterised the flea’s behaviour in terms of two dimensionless quantities: (i) the normalized drive speed and (ii) the ratio of magnetic to viscous forces. However, Earnshaw’s theorem states that levitation via any arrangement of static magnets is only possible with additional stabilising forces. In our system, we find that these forces arise from the flea’s oscillations which pump fluid radially outwards, and are only present for a narrow range of Reynold's numbers. At slower, creeping flow speeds, only viscous forces are present, whereas at higher speeds, the flow reverses direction and the flea is no longer stable. We also use both the levitating and non-levitating states to measure rheological properties of the system.

We first consider multilevel Monte Carlo and stochastic collocation methods for determining statistical information about an output of interest that depends on the solution of a PDE with inputs that depend on random parameters. In our context, these methods connect a hierarchy of spatial grids to the amount of sampling done for a given grid, resulting in dramatic acceleration in the convergence of approximations. We then consider multifidelity methods for the same purpose which feature a variety of models that have different fidelities. For example, we could have coarser grid discretizations, reduced-order models, simplified physics, surrogates such as interpolants, and, in principle, even experimental data. No assumptions are made about the fidelity of the models relative to the “truth” model of interest so that unlike multilevel methods, there is no a priori model hierarchy available. However, our approach can still greatly accelerate the convergence of approximations.

The Vlasov-Poisson system is a kinetic equation that models collisionless plasma. A plasma has a characteristic scale called the Debye length, which is typically much shorter than the scale of observation. In this case the plasma is called ‘quasineutral’. This motivates studying the limit in which the ratio between the Debye length and the observation scale tends to zero. Under this scaling, the formal limit of the Vlasov-Poisson system is the Kinetic Isothermal Euler system. The Vlasov-Poisson system itself can formally be derived as the limit of a system of ODEs describing the dynamics of a system of N interacting particles, as the number of particles approaches infinity. The rigorous justification of this mean field limit remains a fundamental open problem. In this talk we present the rigorous justification of the quasineutral limit for very small but rough perturbations of analytic initial data for the Vlasov-Poisson equation in dimensions 1, 2, and 3. Also, we discuss a recent result in which we derive the Kinetic Isothermal Euler system from a regularised particle model. Our approach uses a combined mean field and quasineutral limit.

One of the main themes in geometric group theory is Gromov's program to classify finitely generated groups up to quasi-isometry. We show that under certain situations, a quasi-isometry preserves commensurator subgroups. We will focus on the case where a finitely generated group G contains a coarse PD_n subgroup H such that G=Comm(H). Such groups can be thought of as coarse fibrations whose fibres are cosets of H; quasi-isometries of G coarsely preserve these fibres. This  generalises work of Whyte and Mosher--Sageev--Whyte.

Nash-Williams showed that the collection of locally finite trees under the topological minor relation results in a BQO. Naturally, two interesting questions arise:

1.      What is the number \lambda of topological types of locally finite trees?

2.       What are the possible sizes of an equivalence class of locally finite trees?

 For (1), clearly, \omega_0 \leq \lambda \leq c and Matthiesen refined it to \omega_1 \leq \lambda \leq c. Thus, this question becomes non-trivial in the absence of the Continuum Hypothesis. In this paper we address both questions by showing - entirely within ZFC - that for a large collection of locally finite trees that includes those with countably many rays:

- \lambda = \omega_1, and

- the size of an equivalence class can only be either 1 or c.

TBA

In joint work with Gareths Boxall and Jones we prove a poly-logarithmic bound for the number of rational points on the graph of functions on the disc that exhibit a certain decay. I will present an application of this counting theorem to the arithmetic of dynamical systems. It concerns fields generated by the solutions of equations of the form $P^{\circ n}(z) = P^{\circ n}(y)$ for a polynomial $P$ of degree $D \geq 2$ where $y$ is a fixed algebraic number. The general goal is to show that the degree of such fields grows like a power of $D^n$.    

We give a description of the category of ordinary K3 surfaces over a finite field in terms of linear algebra data over Z. This gives an analogue for K3 surfaces of Deligne's description of the category of ordinary abelian varieties over a finite field, and refines earlier work by N.O. Nygaard and J.-D. Yu. Two important ingredients in the proof are integral p-adic Hodge theory, and a description of CM points on Shimura stacks in terms of associated Galois representations. References: arXiv:1711.09225, arXiv:1707.01236.

It is difficult to determine when a graph G can be edge-covered by edge-disjoint copies of a fixed graph F. That is, when it has an F-decomposition. However, if G is large and has a high minimum degree then it has an F-decomposition, as long as some simple divisibility conditions hold. Recent research allows us to prove bounds on the necessary minimum degree by studying a relaxation of this problem, where a fractional decomposition is sought.

I will show how a relatively simple random process can give a good approximation to a fractional decomposition of a dense graph, and how it can then be made exact. This improves the best known bounds for this problem.
 

In this talk, first we  address the convergence issues of a standard finite volume element method (FVEM) applied to simple elliptic problems. Then, we discuss discontinuous finite volume element methods (DFVEM) for elliptic problems  with emphasis on  computational and theoretical  advantages over the standard FVEM. Further, we present a natural extension of DFVEM employed for the elliptic problem to the Stokes problems. We also discuss suitability of these methods for the approximation of incompressible miscible displacement problems.
 

Fake accounts detection and users’ polarization are two very well known topics concerning the social media sphere, that have been extensively discussed and analyzed, both in the academic literature and in everyday life. Social bots are autonomous accounts that are explicitly created to increase the number of followers of a target user, in order to inflate its visibility and consensus in a social media context. For this reason, a great variety of methods for their detection have been proposed and tested. Polarisation, also known as confirmation bias, is instead the common tendency to look for information that confirms one's preexisting beliefs, while ignoring opposite ones. Within this environment, groups of individuals characterized by the same system of beliefs are very likely to form. In the present talk we will first review part of the literature discussing both these topics. Then we will focus on a new dataset collecting tweets from the last Italian parliament elections in 2018 and some preliminary results will be discussed.

After outlining the principles of Algebraic Quantum Field Theory (AQFT) I will describe the generalization of Hochschild cohomology that is relevant to describing deformations in AQFT. An interaction is described by a cohomology class.

Answering a question of Milnor, Grigorchuk constructed in the early eighties the
first examples of groups of intermediate growth, that is, finitely generated
groups with growth strictly between polynomial and exponential.
In  joint work with Laurent Bartholdi, we show that under a mild regularity assumption, any function greater than exp(n^a), where `a' is a solution of the equation
  2^(3-3/x)+ 2^(2-2/x)+2^(1-1/x)=2,
is a growth function of some group. These are the first examples of groups
of intermediate growth where the asymptotic of  the growth function is known.
Among applications of our results is the fact that any group of locally subexponential growth
can be embedded as a subgroup of some group of intermediate growth (some of these latter groups cannot be  subgroups in Grigorchuk groups).

In a recent work with Tianyi Zheng, we  provide  near optimal lower bounds
for Grigorchuk torsion groups, including the first Grigorchuk group. Our argument is by a construction of random walks with non-trivial Poisson boundary, defined by 
a measure with power law decay.

We consider a collisionless kinetic equation describing the probability density of particles moving in a one-dimensional domain subject to partly diffusive reflection at the boundary. It was shown in 2017 by Mokhtar-Kharroubi and Rudnicki that for large times such systems either converge to an invariant density or, if no invariant density exists, exhibit a so-called “sweeping phenomenon” in which the mass concentrates near small velocities. This dichotomy is obtained by means of subtle arguments relying on the theory of positive operator semigroups. In this talk I shall review some of these results before discussing how, under suitable assumptions both on the boundary operators (which in particular ensure that an invariant density exists) and on the initial density, one may even obtain estimates on the rate at which the system converges to its equilibrium. This is joint work with Mustapha Mokhtar-Kharroubi (Besançon).

I will present a mathematical model for the genetic evolution of a population which is divided in discrete colonies along a linear habitat, and for which the population size of each colony is random and constant in time. I will show that, under reasonable assumptions on the distribution of the population sizes, over large spatial and temporal scales, this population can be described by the solution to a stochastic partial differential equation with constant coefficients. These coefficients describe the effective diffusion rate of genes within the population and its effective population density, which are both different from the mean population density and the mean diffusion rate of genes at the microscopic scale. To do this, I will present a duality technique and a new convergence result for coalescing random walks in a random environment.

Recent tools make it possible to partition the space of rational Dehn 
surgery slopes for a knot (or in some cases a link) in a 3-manifold into 
domains over which the Heegaard Floer homology of the surgered manifolds 
behaves continuously as a function of slope. I will describe some 
techniques for determining the walls of discontinuity separating these 
domains, along with efforts to interpret some aspects of this structure 
in terms of the behaviour of co-oriented taut foliations. This talk 
draws on a combination of independent work, previous joint work with 
Jake Rasmussen, and work in progress with Rachel Roberts.

In this paper, we investigate the limit properties of frequency of empirical averages when random variables are described by a set of probability measures and obtain a law of large numbers for upper-lower probabilities. Our result is an extension of the classical Kinchin's law of large numbers, but the proof is totally different.

keywords: Law of large numbers,capacity, non-additive probability, sub-linear expectation, indepence

paper by: Zengjing Chen School of Mathematics, Shandong University and Qingyang Liu Center for Economic Research, Shandong University

3d N=2 Chern-Simons-matter theories have a large variety of boundary conditions that preserve 2d N=(0,2) supersymmetry, and support chiral algebras. I'll discuss some examples of how the chiral algebras transform across dualities. I'll then explain how to construct duality interfaces in 3d N=2 theories, and relate dualities *of* duality interfaces to "Pachner moves" in triangulations of 4-manifolds. Based on recent and upcoming work with K. Costello, D. Gaiotto, and N. Paquette.

ATP-sensitive potassium (KATP) channels are critical for coupling changes in blood glucose to insulin secretion. Gain-of-function mutations in KATP channels cause a rare inherited form of diabetes that manifest soon after birth (neonatal diabetes). This talk shows how understanding KATP channel function has enabled many neonatal diabetes patients to switch from insulin injections to sulphonylurea drugs that block KATP channel activity, with considerable improvement in their clinical condition and quality of life.   Using a mouse model of neonatal diabetes, we also found that as little as 2 weeks of diabetes led to dramatic changes in gene expression, protein levels and metabolite concentrations. This reduced glucose-stimulated ATP production and insulin release. It also caused substantial glycogen storage and β-cell apoptosis. This may help explain why older neonatal diabetes patients with find it more difficult to transfer to drug therapy, and why the drug dose decreases with time in many patients. It also suggests that altered metabolism may underlie both the progressive impairment of insulin secretion and reduced β-cell mass in type 2 diabetes.

Joint work with Abdul-Lateef Haji-Ali

This talk will discuss efficient numerical methods for estimating the probability of a large portfolio loss, and associated risk measures such as VaR and CVaR. These involve nested expectations, and following Bujok, Hambly & Reisinger (2015) we use the number of samples for the inner conditional expectation as the key approximation parameter in the Multilevel Monte Carlo formulation. The main difference in this case is the indicator function in the definition of the probability. Here we build on previous work by Gordy & Juneja (2010) who analyse the use of a fixed number of inner samples, and Broadie, Du & Moallemi (2011) who develop and analyse an adaptive algorithm. I will present the algorithm, outline the main theoretical results and give the numerical results for a representative model problem. I will also discuss the extension to real portfolios with a large number of options based on multiple underlying assets.

We will discuss the algebraicity of two quantities central to the computation of persistent homology. We will also connect persistent homology and algebraic optimization. Namely, we will express the degree corresponding to the distance variable of the offset hypersurface in terms of the Euclidean distance degree of the starting variety, obtaining a new way to compute these degrees. Finally, we will describe the non-properness locus of the offset construction and use this to describe the set of points that are topologically interesting (the medial axis and center points of the bounded components of the complement of the variety) and relevant to the computation of persistent homology.

We will discuss a basic framework to deal with coherent sheaves on schemes over $\mathbb{Z}$, involving infinite-dimensional results on the geometry of numbers. As an application, we will discuss basic results, old and new, on arithmetic ampleness, such as Serre vanishing, Nakai-Moishezon, and Bertini. This is joint work with Jean-Benoît Bost.

There are a huge number of nonlinear partial differential equations that do not have analytic solutions.   Often one can find similarity solutions, which reduce the number of independent variables, but still leads, generally, to a nonlinear equation.  This can, only sometimes, be solved analytically.  But always the solution is independent of the initial conditions.   What role do they play?   It is generally stated that the similarity  solution agrees with the (not determined) exact solution when (for some variable say t) obeys t >> t_1.   But what is  t_1?   How does it depend on the initial conditions?  How large must  t be for the similarity solution to be within 15, 10, 5, 1, 0.1, ….. percent of the real solution?   And how does this depend on the parameters and initial conditions of the problem?   I will explain how two such typical, but somewhat different, fundamental problems can be solved, both analytically and numerically,  and compare some of the results with small scale laboratory experiments, performed during the talk.  It will be suggested that many members of the audience could take away the ideas and apply them in their own special areas.

This talk is concerned with quantitative periodic homogenization in domains with boundaries. The quantitative analysis near boundaries leads to the study of boundary layers correctors, which have in general a nonperiodic structure. The interaction between the boundary and the microstructure creates geometric resonances, making the study of the asymptotics or continuity properties particularly challenging. The talk is based on work with S. Armstrong, T. Kuusi and J.-C. Mourrat, as well as work by Z. Shen and J. Zhuge

In the 80s, Hatcher and Thurston introduced the pants graph as a tool to prove that the mapping class group of a closed, orientable surface is finitely presented. The pants graph remains relevant for the study of the mapping class group, sitting between the marking graph and the curve graph. More precisely, there is a sequence of natural coarse lipschitz maps taking the marking graph via the pants graph to the curve graph.

A second motivation for studying the pants graph comes from Teichmüller theory. Brock showed that the pants graph can be interpreted as a combinatorial model for Teichmüller space with the Weil-Petersson metric.

In this talk I will introduce the pants graph, discuss some of its properties and state a few open questions.

Post-quantum cryptography has been one of the most active subfields of
cryptography in the last few years. This is especially true today as
standardization efforts are currently underway, with no less than 69
candidate cryptographic schemes proposed.

In this talk, I will present one of these schemes: Falcon, a signature
scheme based on the NTRU class of structured lattices. I will focus on
mathematical aspects of Falcon: for example how we take advantage of the
algebraic structure to speed up some operations, or how relying on the
most adequate probability divergence can go a long way in getting more
efficient parameters "for free". The talk will be concluded with a few
open problems.

Varieties admitting Frobenius splittings exhibit very nice properties.
For example, many nice properties of toric varieties can be deduced from
the fact that they are Frobenius split. Varieties admitting a diagonal
splitting exhibit even nicer properties. In this talk I will give an
overview over the consequences of the existence of such splittings and
then discuss criteria for toric varieties to be diagonally split.

The vast majority of the world's electricity is generated by converting thermal energy into electric energy by use of a steam turbine. Siemens are one of the worlds leading manufacturers of such
turbines, and aim to design theirs to be as efficient as possible. Using an internally built software, Siemens can estimate the efficiency which would result from a turbine design. In this presentation, we present the approaches that have been taken to improve turbine design using mathematical optimisation software. In particular, we focus on the failings of the approach currently taken, the obstacles in place which make solving this problem difficult, and the approach we intend to take to find a locally optimal solution.

This talk will review the main Tikhonov and Bayesian smoothing formulations of inverse problems for dynamical systems with partially observed variables and parameters. The main contenders: strong-constraint, weak-constraint and penalty function formulations will be described. The relationship between these formulations and associated optimisation problems will be revealed.  To close we will indicate techniques for maintaining sparsity and for quantifying uncertainty.

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.