Past

The 3d/3d correspondence is about the correspondence between 3d N=2 supersymmetric gauge theories and the 3d complex Chern-Simons theory on a 3-manifold.

In this talk I will describe codimension 2 and 4 supersymmetric defects in this correspondence, by a combination of various existing techniques, such as state-integral models, cluster algebras, holographic dual, and 5d SYM.

Studies of thermal convection in planetary interiors have largely focused on convection above the critical Rayleigh number. However, convection in planetary mantles and crusts can also occur under subcritical conditions. Subcritical convection exhibits phenomena which do not exist above the critical Rayleigh number. One such phenomenon is spatial localization characterized by the formation of stable, spatially isolated convective cells. Spatial localization occurs in a broad range of viscosity laws including temperature-dependent viscosity and power-law viscosity and may explain formation of some surface features observed on rocky and icy bodies in the Solar System.

If you do not know quasicircles, you will understand what they are.
If you hate quasicircles, you will change your mind.
If you already love quasicircles, they will astonish you once more.

Recently, a series of unprecedented leaks by Edward Snowden had made it possible for the first time to get a glimpse into the actual capabilities and limitations of the techniques used by the NSA and GCHQ to eavesdrop to computers and other communication devices. In this talk, I will survey some of the things we have learned, and discuss possible countermeasures against these capabilities.

Seminar series `Symmetries and Correspondences'

We give a classification of open Klein topological conformal field theories in terms of Calabi-Yau $A_\infty$-categories endowed with an involution. Given an open Klein topological conformal field theory, there is a universal open-closed extension whose closed part is the involutive version of the Hochschild chains associated to the open part.

Already Serre's "Cohomologie Galoisienne" contains an exercise regarding the following condition on a field F: For every finite field extension E of F and every n, the index of the n-th powers (E*)^n in the multiplicative group E* is finite. Model theorists recently got interested in this condition, as it is satisfied by every superrosy field and also by every strongly2 dependent field, and occurs in a conjecture of Shelah-Hasson on NIP fields. I will explain how it relates to the better known condition that F is bounded (i.e. F has only finitely many extensions of degree n, for any n - in other words, the absolute Galois group of F is a small profinite group) and why it is not preserved under elementary equivalence. Joint work with Franziska Jahnke.

*** Note unusual day and time ***

I will describe a categorical approach to analytic geometry using the theory of quasi-abelian closed symmetric monoidal categories which works both for Archimedean and non-Archimdedean base fields. In particular I will show how the weak G-topologies of (dagger) affinoid subdomains can be characterized by homological method. I will end by briefly saying how to generalize these results for characterizing open embeddings of Stein spaces. This project is a collaboration with Oren Ben-Bassat and Kobi Kremnizer.

We will discuss our approach to global analytic geometry, based on overconvergent power series and functors of functions. We will explain how slight modifications of it allow us to develop a derived version of global analytic geometry. We will finish by discussing applications to the cohomological study of arithmetic varieties.

I will talk in down to earth terms about several main features of this theory.

We describe how p-adic height pairings allow us to find integral points on hyperelliptic curves, in the spirit of Kim's nonabelian Chabauty program. In particular, we discuss how to carry out this ``quadratic Chabauty'' method over quadratic number fields (joint work with Amnon Besser and Steffen Mueller) and present related ideas to find rational points on bielliptic genus 2 curves (joint work with Netan Dogra).

There has been a great deal of attention paid to "Big Data" over the last few years.  However, often as not, the problem with the analysis of data is not as much the size as the complexity of the data.  Even very small data sets can exhibit substantial complexity.  There is therefore a need for methods for representing complex data sets, beyond the usual linear or even polynomial models.  The mathematical notion of shape, encoded in a metric, provides a very useful way to represent complex data sets.  On the other hand, Topology is the mathematical sub discipline which concerns itself with studying shape, in all dimensions.  In recent years, methods from topology have been adapted to the study of data sets, i.e. finite metric spaces.  In this talk, we will discuss what has been
done in this direction and what the future might hold, with numerous examples.

As the fundamental unit of life, the biological cell is a natural focus for computational simulations of growing cell population and tissues. However, models developed at the cellular scale can also be integrated into more complex multiscale models in order to examine complex biological and physical process that scan scales from the molecule to the organ.

This seminar will present a selection of the cellular scale agent-based modelling that has taken place at the University of Sheffield (where one software agent represents one biological cell) and how such models can be used to examine collective behaviour in cellular systems. Finally some of the issues in extending to multiscale models and the theoretical and computational methodologies being developed in Sheffield and by the wider community in this area will be presented.

G’s Growers supply salad and vegetable crops throughout the UK and Europe; primarily as a direct supplier to supermarkets. We are currently working on a project to improve the availability of Iceberg Lettuce throughout the year as this has historically been a very volatile crop. It is also by far the highest volume crop that we produce with typical weekly sales in the summer season being about 3m heads per week.

In order to continue to grow our business we must maintain continuous supply to the supermarkets. Our current method for achieving this is to grow more crop than we will actually harvest. We then aim to use the wholesale markets to sell the extra crop that is grown rather than ploughing it back in and then we reduce availability to these markets when the availability is tight.

We currently use a relatively simple computer Heat Unit model to help predict availability however we know that this is not the full picture. In order to try to help improve our position we have started the IceCAM project (Iceberg Crop Adaptive Model) which has 3 aims.

1. Forecast crop availability spikes and troughs and use this to have better planting programmes from the start of the season.
2. Identify the growth stages of Iceberg to measure more accurately whether crop is ahead or behind expectation when it is physically examined in the field.
3. The final utopian aim would be to match the market so that in times of general shortage when price are high we have sufficient crop to meet all of our supermarket customer requirements and still have spare to sell onto the markets to benefit from the higher prices. Equally when there is a general surplus we would only look to have sufficient to supply the primary customer base.

We believe that statistical mathematics can help us to solve these problems!!

Accurate simulation of coastal and hydraulic structures is challenging due to a range of complex processes such as turbulent air-water flow and breaking waves. Many engineering studies are based on scale models in laboratory flumes, which are often expensive and insufficient for fully exploring these complex processes. To extend the physical laboratory facility, the US Army Engineer Research and Development Center has developed a computational flume capability for this class of problems. I will discuss the turbulent air-water flow model equations, which govern the computational flume, and the order-independent, unstructured finite element discretization on which our implementation is based. Results from our air-water verification and validation test set, which is being developed along with the computational flume, demonstrate the ability of the computational flume to predict the target phenomena, but the test results and our experience developing the computational flume suggest that significant improvements in accuracy, efficiency, and robustness may be obtained by incorporating recent improvements in numerical methods.

Key Words:

Multiphase flow, Navier-Stokes, level set methods, finite element methods, water waves