Past Forthcoming Seminars

16 November 2017
16:00
to
17:30
Giovanni Samaey
Abstract

We present a framework for the design, analysis and application of computational multiscale methods for slow-fast high-dimensional stochastic processes. We call these processes "microscopic'', and assume existence of an approximate "macroscopic'' model that captures the slow behaviour of a selected set of macroscopic state variables. The methodology combines short bursts of microscopic simulation with extrapolation at the macroscopic level. The methodology requires the careful study of a few key algorithmic ingredients. First, we need to properly initialise the microscopic system, based on a given macroscopic state and (possibly) a prior microscopic state that contains additional information about the system. Second, we need to control the variance of the noise that originates from the microscopic Monte Carlo simulation. Third, we need to analyse stability of the extrapolation step. We will discuss these aspects on two types of model problems -- scale-separated SDEs and kinetic equations -- and show the efficacity of the resulting methods in diverse applications, ranging from tumor growth to fusion energy.

  • Industrial and Applied Mathematics Seminar
16 November 2017
14:00
Professor Miguel Anjos
Abstract

Maintenance activities help prevent costly power generator breakdowns but because generators under maintenance are typically unavailable, the impact of maintenance schedules is significant and their cost must be accounted for when planning maintenance. In this paper we address the generator maintenance scheduling problem in hydropower systems. While this problem has been widely studied, specific operating conditions of hydroelectric systems have received less attention. We present a mixed-integer linear programming model that considers the time windows of the maintenance activities, as well as the nonlinearities and disjunctions of the hydroelectric production functions. Because the resulting model is hard to solve, we also propose an extended formulation, a set reduction approach that uses logical conditions for excluding unnecessary set elements from the model, and valid inequalities. Computational experiments using a variety of instances adapted from a real hydropower system in Canada support the conclusion that the extended formulation with set reduction achieves the best results in terms of computational time and optimality gap. This is joint work with Jesus Rodriguez, Pascal Cote and Guy Desaulniers.

  • Computational Mathematics and Applications Seminar
15 November 2017
11:00
Sam Shepherd
Abstract

Outer Space is an important object in Geometric Group Theory and can be described from two viewpoints: as a space of marked graphs and a space of actions on trees. The latter viewpoint can be used to prove that Outer Space is contractible; and this fact together with some arguments using the first viewpoint enables us to say something about the Outer Automorphism group of a free group - I will sketch both these proofs.

14 November 2017
17:00
Gregory Debruyne
Abstract

The classical Ingham-Karamata Tauberian theorem has many applications in different fields of mathematics, varying from number theory to $C_0$-semigroup theory and is considered to be one of the most important Tauberian theorems. We will discuss how to obtain remainder estimates in the theorem if one strengthens the assumptions on the Laplace transform. Moreover, we will give new (re­mainder) versions of this theorem under the more general one-sided Tauberian condition of $\rho(x) \ge −f(x)$ where $f$ is an arbitrary function satisfying some regularity assumptions. The talk is based on collaborative work with Jasson Vindas.

  • Functional Analysis Seminar
14 November 2017
16:00
Tony Royle
Abstract

The birth of fixed-wing, powered flight in the first decade of the twentieth century brought with it significant potential for pilots to return to Earth by unintended, often fatal, means. I will discuss the nature of the contemporary mathematical and engineering debates associated with these facets of flight, and the practical steps taken to facilitate safer aircraft and more robust operating procedures.

  • History of Mathematics
14 November 2017
15:45
Sven Meinhardt
Abstract

I will introduce a cohomology theory which combines topological and algebraic concepts. Interpretations of certain cohomology groups will be given. We also generalise the construction of the second Stiefel-Whitney class of a line bundle. As I will explain in my talk, the refined Stiefel-Whitney class of the canonical bundle on certain moduli stacks provides an obstruction for the construction of cohomological Hall algebras.

  • Algebraic Geometry Seminar
14 November 2017
14:30
Abstract

The edge isoperimetric problem for a graph G is to find, for each n, the minimum number of edges leaving any set of n vertices.  Exact solutions are known only in very special cases, for example when G is the usual cubic lattice on Z^d, with edges between pairs of vertices at l_1 distance 1.  The most attractive open problem was to answer this question for the "strong lattice" on Z^d, with edges between pairs of vertices at l_infty distance 1.  Whilst studying this question we in fact solved the edge isoperimetric problem asymptotically for every Cayley graph on Z^d.  I'll talk about how to go from the specification of a lattice to a corresponding near-optimal shape, for both this and the related vertex isoperimetric problem, and sketch the key ideas of the proof. Joint work with Joshua Erde.

  • Combinatorial Theory Seminar
14 November 2017
14:30
Florian Wechsung
Abstract

The design of shapes that are in some sense optimal is a task faced by engineers in a wide range of disciplines. In shape optimisation one aims to improve a given initial shape by iteratively deforming it - if the shape is represented by a mesh, then this means that the mesh has to deformed. This is a delicate problem as overlapping or highly stretched meshes lead to poor accuracy of numerical methods.

In the presented work we consider a novel mesh deformation method motivated by the Riemannian mapping theorem and based on conformal mappings.

  • Numerical Analysis Group Internal Seminar
14 November 2017
14:15
Abstract

Pseudo-reductive groups are smooth connected linear algebraic groups over a field k whose k-defined unipotent radical is trivial. If k is perfect then all pseudo-reductive groups are reductive, but if k is imperfect (hence of characteristic p) then one gets a strictly larger collection of groups. They come up in a number of natural situations, not least when one wishes to say something about the simple representations of all smooth connected linear algebraic groups. Recent work by Conrad-Gabber-Prasad has made it possible to reduce the classification of the simple representations of pseudo-reductive groups to the split reductive case. I’ll explain how. This is joint work with Mike Bate.

Pages