Fri, 11 Mar 2016

11:00 - 12:00
C1

On the birational invariance of the BCOV torsion of Calabi-Yau threefold (joint with V. Maillot)

Damian Rössler
(Oxford)
Abstract

Fang, Lu and Yoshikawa conjectured a few years ago that a certain string-theoretic invariant (originally introduced by the physicists M. Bershadsky, S. Cecotti, H. Ooguri, and C. Vafa) of Calabi-Yau threefolds is a birational invariant. This conjecture can be viewed as a "secondary" analog (in dimension three) of the birational invariance of Hodge numbers of Calabi-Yau varieties established by Batyrev and Kontsevich. Using the arithmetic Riemann-Roch theorem, we prove a weak form of this conjecture. 

Thu, 10 Mar 2016

16:00 - 17:00
C5

Quasi-Abelian Categories in Analytic Geometry

Jack Kelly
(Oxford)
Abstract

In this talk I will give several perspectives on the role of
quasi-abelian categories in analytic geometry. In particular, I will 
explain why a certain completion of the category of Banach spaces is a
convenient setting for studying sheaves of topological vector spaces on
complex manifolds. Time permitting, I will also argue why this category
may be a good candidate for a functor of points approach to (derived)
analytic geometry.

Thu, 10 Mar 2016

16:00 - 17:00
L5

On the number of nodal domains of toral eigenfunctions

Igor Wigman
(King's College London)
Abstract

We study the number of nodal domains of toral Laplace eigenfunctions. Following Nazarov-Sodin's results for random fields and Bourgain's de-randomisation procedure we establish a precise asymptotic result for "generic" eigenfunctions. Our main results in particular imply an optimal lower bound for the number of nodal domains of generic toral eigenfunctions.

Thu, 10 Mar 2016

16:00 - 17:30
L4

The eigenvalues and eigenvectors of the sample covariance matrix of heavy-tailed multivariate time series

Thomas Mikosch
(Dept of Mathematical Sciences University of Copenhagen)
Abstract

This is joint work with Richard A. Davis (Columbia Statistics) and Johannes Heiny (Copenhagen). In recent years the sample covariance matrix of high-dimensional vectors with iid entries has attracted a lot of attention. A deep theory exists if the entries of the vectors are iid light-tailed; the Tracy-Widom distribution typically appears as weak limit of the largest eigenvalue of the sample covariance matrix. In the heavy-tailed case (assuming infinite 4th moments) the situation changes dramatically. Work by Soshnikov, Auffinger, Ben Arous and Peche shows that the largest eigenvalues are approximated by the points of a suitable nonhomogeneous Poisson process. We follows this line of research. First, we consider a p-dimensional time series with iid heavy-tailed entries where p is any power of the sample size n. The point process of the scaled eigenvalues of the sample covariance matrix converges weakly to a Poisson process. Next, we consider p-dimensional heavy-tailed time series with dependence through time and across the rows. In particular, we consider entries with a linear dependence or a stochastic volatility structure. In this case, the limiting point process is typically a Poisson cluster process. We discuss the suitability of the aforementioned models for large portfolios of return series. 

Thu, 10 Mar 2016

16:00 - 17:00
L3

Dynamic homogenisation

Richard Craster
(ICL)
Abstract

The aim of this talk is to describe effective media for wave propagation through periodic, or nearly periodic, composites. Homogenisation methods are well-known and developed for quasi-static and low frequency regimes. The aim here is to move to situations of more practical interest where the frequencies are high, in some sense, and to compare the results of the theory with large scale simulations.

Thu, 10 Mar 2016
12:00
L6

Sharp decay estimates for waves on black holes and Price's law

Dejan Gajic
(Cambridge)
Abstract
Price’s law postulates inverse-power polynomial decay rates for solutions to the wave equation on Schwarzschild backgrounds with respect to appropriately normalized null coordinates. Polynomial decay rates as a lower bound are known in the physics literature as “late-time power law tails”. I will discuss new physical space methods for proving sharp decay rates for solutions to the wave equation on a class of asymptotically flat, stationary, spherically symmetric spacetimes, establishing in particular the upper bounds and lower bounds in Price’s law on Schwarzschild. This work has been done jointly with Yannis Angelopoulos and Stefanos Aretakis.
Wed, 09 Mar 2016

16:00 - 17:00
C3

Manifolds with odd Euler characteristic

Renee Hoekzema
(Oxford)
Abstract

Orientable manifolds can only have an odd Euler characteristic in dimensions divisible by 4. I will prove the analogous result for spin and string manifolds, where the dimension can only be a multiple of 8 and 16 respectively. The talk will require very little background. I'll go over the definition of spin and string structures, discuss cohomology operations and Poincare duality.

Wed, 09 Mar 2016
16:00
C2

Normal spanning trees in uncountable graphs

Max Pitz
(Hamburg)
Abstract

"In a paper from 2001, Diestel and Leader characterised uncountable graphs with normal spanning trees through a class of forbidden minors. In this talk we investigate under which circumstances this class of forbidden minors can be made nice. In particular, we will see that there is a nice solution to this problem under Martin’s Axiom. Also, some connections to the Stone-Chech remainder of the integers, and almost disjoint families are uncovered.”

Wed, 09 Mar 2016
15:00
L4

More Efficient Structure-Preserving Signatures: Or Bypassing the Lower Bounds

Essam Ghadafi
(University College London)
Abstract

Structure-preserving signatures are an important cryptographic primitive that is useful for the design of modular cryptographic protocols. In this work, we show how to bypass most of the existing lower bounds in the most efficient Type-III bilinear group setting. We formally define a new variant of structure-preserving signatures in the Type-III setting and present a number of fully secure schemes with signatures half the size of existing ones. We also give different constructions including constructions of optimal one-time signatures. In addition, we prove lower bounds and provide some impossibility results for the variant we define. Finally, we show some applications of the new constructions.

Tue, 08 Mar 2016

15:45 - 16:45
L4

The wall-crossing formula and spaces of quadratic differentials

Tom Bridgeland
(Sheffield)
Abstract

The wall-crossing behaviour of Donaldson-Thomas invariants in CY3 categories is controlled by a beautiful formula involving the group of automorphisms of a symplectic algebraic torus. This formula invites one to solve a certain Riemann-Hilbert problem. I will start by explaining how to solve this problem in the simplest possible case (this is undergraduate stuff!). I will then talk about a more general class of examples of the wall-crossing formula involving moduli spaces of quadratic differentials.

Tue, 08 Mar 2016
14:30
L3

Homogenized boundary conditions and resonance effects in Faraday cages

Dave Hewett
(University of Oxford)
Abstract

The Faraday cage effect is the phenomenon whereby electrostatic and electromagnetic fields are shielded by a wire mesh "cage". Nick Trefethen, Jon Chapman and I recently carried out a mathematical analysis of the two-dimensional electrostatic problem with thin circular wires, demonstrating that the shielding effect is not as strong as one might infer from the physics literature. In this talk I will present new results generalising the previous analysis to the electromagnetic case, and to wires of arbitrary shape. The main analytical tool is the asymptotic method of multiple scales, which is used to derive continuum models for the shielding, involving homogenized boundary conditions on an effective cage boundary. In the electromagnetic case one observes interesting resonance effects, whereby at frequencies close to the natural frequencies of the equivalent solid shell, the presence of the cage actually amplifies the incident field, rather than shielding it. We discuss applications to radiation containment in microwave ovens and acoustic scattering by perforated shells. This is joint work with Ian Hewitt.

Tue, 08 Mar 2016
14:30
L6

Parking in Trees and Mappings - Enumerative Results and a Phase Change Behaviour

Marie-Louise Lackner
(Technical University of Vienna)
Abstract
Parking functions were originally introduced in the context of a hashing procedure and have since then been studied intensively in combinatorics. We apply the concept of parking functions to rooted labelled trees and functional digraphs of mappings (i.e., functions $f : [n] \to [n]$). The nodes are considered as parking spaces and the directed edges as one-way streets: Each driver has a preferred parking space and starting with this node he follows the edges in the graph until he either finds a free parking space or all reachable parking spaces are occupied. If all drivers are successful we speak about a parking function for the tree or mapping. Via analytic combinatorics techniques we study the total number $F_{n,m}$ and $M_{n,m}$ of tree and mapping parking functions, respectively, i.e. the number of pairs $(T,s)$ (or $(f,s)$), with $T$ a size-$n$ tree (or $f : [n] \to [n]$ an $n$-mapping) and $s \in [n]^{m}$ a parking function for $T$ (or for $f$) with $m$ drivers, yielding exact and asymptotic results. We describe the phase change behaviour appearing at $m=\frac{n}{2}$ for $F_{n,m}$ and $M_{n,m}$, respectively, and relate it to previously studied combinatorial contexts. Moreover, we present a bijective proof of the occurring relation $n F_{n,m} = M_{n,m}$.
Tue, 08 Mar 2016

14:15 - 15:30
L4

Strongly dense subgroups of semisimple algebraic groups.

Emmanuel Breuillard
(Orsay and Munster)
Abstract

A subgroup Gamma of a semisimple algebraic group G is called strongly dense if every subgroup of Gamma is either cyclic or Zariski-dense. I will describe a method for building strongly dense free subgroups inside a given Zariski-dense subgroup  Gamma of G, thus providing a refinement of the Tits alternative. The method works for a large class of G's and Gamma's. I will also discuss connections with word maps and expander graphs. This is joint work with Bob Guralnick and Michael Larsen.

Tue, 08 Mar 2016

12:00 - 13:15
L4

Boundary Conditions, Mirror Symmetry and Symplectic Duality

Dr Mat Bullimore
(Oxford)
Abstract

 In the last few years, it has become clear that there are striking connections between supersymmetry and geometric representation theory.  In this talk, I will discuss boundary conditions in three dimensional gauge theories with N = 4 supersymmetry.  I will then outline a physical understanding of a remarkable conjecture in representation theory known as `symplectic duality.

Mon, 07 Mar 2016

16:00 - 17:00
L4

Macroscopic transport: ballistic, diffusive, super diffusive

Stefano Olla
(Ceremade)
Abstract

In acoustic materials (non null sound velocity), there is a clear separation of scale between the relaxation to mechanical equilibrium, governed by Euler equations, and the slower relaxation to thermal equilibrium, governed by heat equation if thermal conductivity is finite. In one dimension in acoustic systems, thermal conductivity is diverging and the thermal equilibrium is reached by a superdiffusion governed by a fractional heat equation. In non-acoustic materials it seems that there is not such separation of scales, and thermal and mechanical equilibriums are reached at the same time scale, governed by a Euler-Bernoulli beam equation. We prove such macroscopic behaviors in chains of oscillators with dynamics perturbed by a random local exchange of momentum, such that energy and momentum are conserved. (Works in collaborations with T. Komorowski).

Mon, 07 Mar 2016
15:45
L6

Anosov representations and proper actions

Fanny Kassel
(University of Lille 1)
Abstract
 
Anosov representations of word hyperbolic groups into semisimple Lie groups provide a generalization of convex cocompact representations to higher real rank. I will explain how these representations can be used to construct properly discontinuous actions on homogeneous spaces. In certain cases, all properly discontinuous actions of quasi-isometrically embedded groups come from this construction. This is joint work with F. Guéritaud, O. Guichard, and A. Wienhard. 
Mon, 07 Mar 2016

15:45 - 16:45
C4

Superhedging Approach to Robust Finance and Local Times

David Proemel
(ETH Zurich)
Abstract

Using Vovk's game-theoretic approach to mathematical finance and probability, it is possible to obtain new results in both areas.We first prove that one can make an arbitrarily large profit by investing in those one-dimensional paths which do not possess a local time of finite p-variation.  Additionally, we provide pathwise Tanaka formulas suitable for our local times and for absolutely continuous functions with sufficient regular derivatives. In the second part we derive a model-independent super-replication theorem in continuous time. Our result covers a broad range of exotic derivatives, including look-back options, discretely monitored Asian options, and options on realized variance.
 This talk is based on joint works with M. Beiglböck, A.M.G. Cox, M. Huesmann and N. Perkowski.


 

Mon, 07 Mar 2016

14:15 - 15:15
C4

Singular SPDEs on manifolds

Joscha Diehl
(TU Berlin)
Abstract

 

We show how the theories of paracontrolled distributions and regularity structures can be implemented on manifolds, to solve singular SPDEs like the parabolic Anderson model.

This is ongoing work with Bruce Driver (UCSD) and Antoine Dahlqvist (Cambridge)

 

 

Mon, 07 Mar 2016

12:00 - 13:00
L5

3d N=2 dualities with monopoles

Sara Pasquetti
(Surrey)
Abstract

I will present several new  3d N=2 dualities with super-potentials involving monopole operators. Some of the theories that I will discuss describe systems of D3 branes ending on pq-webs. In these cases  3d mirror symmetry is a consequence of S-duality.

 

Fri, 04 Mar 2016

15:30 - 16:30
L2

Hurricanes and Climate Change

Professor Kerry Emanuel
(MIT)
Abstract

In his talk, Kerry will explore the pressing practical problem of how hurricane activity will respond to global warming, and how hurricanes could in turn be influencing the atmosphere and ocean

Fri, 04 Mar 2016

13:00 - 14:00
L6

MLMC for reflected diffusions

Mike Giles
(Mathematical Insitute, Oxford)
Abstract

This talk will discuss work-in-progress on the numerical approximation
of reflected diffusions arising from applications in engineering, finance
and network queueing models.  Standard numerical treatments with
uniform timesteps lead to 1/2 order strong convergence, and hence
sub-optimal behaviour when using multilevel Monte Carlo (MLMC).

In simple applications, the MLMC variance can be improved by through
a reflection "trick".  In more general multi-dimensional applications with
oblique reflections an alternative method uses adaptive timesteps, with
smaller timesteps when near the boundary.  In both cases, numerical
results indicate that we obtain the optimal MLMC complexity.

This is based on joint research with Eike Muller, Rob Scheichl and Tony
Shardlow (Bath) and Kavita Ramanan (Brown).

Fri, 04 Mar 2016

12:00 - 13:00
L1

The effect of domain shape on reaction-diffusion equations

Henri Berestycki
(EHESS)
Abstract

I will discuss some reaction-diffusion equations of bistable type motivated by biology and medicine. The aim is to understand the effect of the shape of the domain on propagation or on blocking of advancing waves. I will first describe the motivations of these questions and present a result about the existence of generalized “transition waves”. I will then discuss various geometric conditions that lead to either blocking, or partial propagation, or complete propagation. These questions involve new qualitative results for some non-linear elliptic and parabolic partial differential equations. I report here on joint work with Juliette Bouhours and Guillemette Chapuisat.

Fri, 04 Mar 2016

11:00 - 12:00
C1

TBA

Minhyong Kim
Fri, 04 Mar 2016

10:00 - 11:00
L4

Fault prediction from time series data

Mike Newman
(Thales)
Abstract

On the railway network, for example, there is a large base of installed equipment with a useful life of many years.  This equipment has condition monitoring that can flag a fault when a measured parameter goes outside the permitted range.  If we can use existing measurements to predict when this would occur, preventative maintenance could be targeted more effectively and faults reduced.  As an example, we will consider the current supplied to a points motor as a function of time in each operational cycle.

Thu, 03 Mar 2016
17:30
L6

Real Closed Fields and Models of Peano Arithmetic

Salma Kuhlmann
(Konstanz)
Abstract

We say that a real closed field is an IPA-real closed field if it admits an integer part (IP) which is a model of Peano Arithmetic (PA). In [2] we prove that the value group of an IPA-real closed field must satisfy very restrictive conditions (i.e. must be an exponential group in the residue field, in the sense of [4]). Combined with the main result of [1] on recursively saturated real closed fields, we obtain a valuation theoretic characterization of countable IPA-real closed fields. Expanding on [3], we conclude the talk by considering recursively saturated o-minimal expansions of real closed fields and their IPs.


References:
[1] D'Aquino, P. - Kuhlmann, S. - Lange, K. : A valuation theoretic characterization ofrecursively saturated real closed fields ,
Journal of Symbolic Logic, Volume 80, Issue 01, 194-206 (2015)
[2] Carl, M. - D'Aquino, P. - Kuhlmann, S. : Value groups of real closed fields and
fragments of Peano Arithmetic, arXiv: 1205.2254, submitted
[3] D'Aquino, P. - Kuhlmann, S : Saturated o-minimal expansions of real closed fields, to appear in Algebra and Logic (2016)
[4] Kuhlmann, S. :Ordered Exponential Fields, The Fields Institute Monograph Series, vol 12. Amer. Math. Soc. (2000)
 

Thu, 03 Mar 2016

16:00 - 17:00
C5

Cox rings

Nina Otter
(Oxford)
Thu, 03 Mar 2016

16:00 - 17:00
L2

Hecke eigenvalue congruences and experiments with degree-8 L-functions

Neil Dummigan
(University of Sheffield)
Abstract

I will describe how the moduli of various congruences between Hecke eigenvalues of automorphic forms ought to show up in ratios of critical values of $\text{GSP}_2 \times \text{GL}_2$ L-functions. To test this experimentally requires the full force of Farmer and Ryan's technique for approximating L-values given few coefficients in the Dirichlet series.

Thu, 03 Mar 2016

16:00 - 17:30
L4

Stochastic Dependence ,Extremal Risks and Optimal Payoffs

Ludger Rüschendorf
(Mathematische Stochastik Albert-Ludwigs University of Freiburg)
Abstract

We describe the possible influence of stochastic 
dependence on the evaluation of
the risk of joint portfolios and establish relevant risk bounds.Some 
basic tools for this purpose are  the distributional transform,the 
rearrangement method and extensions of the classical Hoeffding -Frechet 
bounds based on duality theory.On the other hand these tools find also 
essential applications to various problems of optimal investments,to the 
construction of cost-efficient payoffs as well as to various optimal 
hedging problems.We
discuss in detail the case of optimal payoffs in Levy market models as 
well as utility optimal payoffs and hedgings
with state dependent utilities.

Thu, 03 Mar 2016

16:00 - 17:00
L3

Non-linear continuum models for planar extensible beams and pantographic lattices of beams: Heuristic homogenization, experimental and numerical examples of equilibrium in large deformation

Francesco dell'Isola
(Universita di Roma)
Abstract
There are relatively few results in the literature of non-linear beam theory: we recall here the very first classical results by Euler–Bernoulli and the researches stemming from von Kármán for moderately large rotations but small strains. In this paper, we consider a discretized springs model for extensible beams and propose a heuristic homogenization technique of the kind first used by Piola. The homogenized energy obtained has some peculiar features which we start to describe by solving numerically some exemplary deformation problems. Furthermore we consider pantographic structures constituted by the introduced nonlinear beams and study some planar deformation problems. Numerical solutions for these 2D problems are obtained via minimization of energy and are compared via some experimental measurements, in which the importance of elongation phenomena are clearly pointed out. In the conclusions we indicate a list of some mathematical problems which seems worth of consideration. 
 
Indeed Already Piola in 1848 introduces for microscopically discrete systems to be described via a continuum model: i) the micro-macro kinematical map, ii) the identification of micro- macro work functional and iii) the consequent determination of macro-constitutive equations in terms of the micro properties of considered mechanical system.
 
Piola uses, following the standards of his time, a rigorous mathematical deduction process and considers separately one dimensional, two dimensional and three dimensional continua as continua whose reference configuration is a curve, a surface or a regular connected subset of Euclidean three dimensional space. This subdivision of the presented matter is also followed by Cosserat Brothers: how to detect the influence on their works exerted by Piola’s pioneering ones is a historical problem which deserves further in-depth studies.
 
In the present paper we follow the spirit of Piola while looking for Lagrange density functions for a class of non-linear one dimensional continua in planar motion: we focus on modeling phenomena in which both extensional and bending deformations are of relevance.
 
Usually in literature the simultaneous extension and bending deformation of a beam is not considered: however when considering two dimensional continua embedding families of fibers as a model of some specific microstructured mechanical systems (as fiber fabrics or pantographic sheets ) the assumption that the fibers cannot extend while bending is not phenomenologically well-grounded. Therefore, we are led in the second part of the present paper to present some two dimensional continua in which the second gradient of in plane displacement (involving so called geodesic bending) appears in the expression of deformation energy.
 
The modeling assumptions are, in both cases, based on a physically reasonable discrete microstructure of used beams: in engineering literature these microstructures, constituted by extensional and rotational springs and possibly rigid bars, were introduced in order to get discrete Lagrangian approximation of continuum models in linearized regimes.
 
A natural development, involving the study of spatial placements of one dimensional or two dimensional continua or the introduction of three dimensional continua embedding reinforcement fibers will be subject of further investigations.
 
The study of pantographic sheets by means of a micro model based on Cauchy first gradient continuum models involves the choice of relatively small length scale, implying the introduction of numerical models involving finite elements with several millions of degrees of freedom: the computational burden of such models makes their use, at least in the mid term horizon, absolutely inappropriate. The higher gradient reduced order model presented in this paper involves a rather more effective numerical modeling whose performances (as will be shown in a forthcoming paper Giorgio et al. in preparation) are however absolutely comparable.
 
However the problem of formulating intermediate meso modeling, involving a class of Generalised Beam Theories, will be necessarily to be confronted: for instance the deformation of beam sections involving warping, Poisson effects, elastic necking or large shear or twist deformation can definitively be studied via reduced order models not resorting to the most detailed micro Cauchy first gradient models.
 
One should also remark that higher gradient continuum models may require novel integration schemes, more suitable to their intrinsic structure: we expect that isogeometric methods may further increase the effectiveness of the reduced models we present here, especially when completely spatial models will be considered .
Thu, 03 Mar 2016

14:00 - 15:00
Rutherford Appleton Laboratory, nr Didcot

Sparse iterative solvers on GPGPUs and applications

Dr Salvatore Filippone
(Cranfield University)
Abstract

We will review the basic building blocks of iterative solvers, i.e. sparse matrix-vector multiplication, in the context of GPU devices such 
as the cards by NVIDIA; we will then discuss some techniques in preconditioning by approximate inverses, and we will conclude with an 
application to an image processing problem from the biomedical field.

Thu, 03 Mar 2016
12:00
L6

Some regularity results for classes of elliptic systems with "structure"

Lisa Beck
(Universitat Ausburg)
Abstract
We address regularity properties of (vector-valued) weak solutions to quasilinear elliptic systems, for the special situation that the inhomogeneity grows naturally in the gradient variable of the unknown (which is a setting appearing for various applications). It is well-known that such systems may admit discontinuous and even unbounded solutions, when no additional structural assumption on the inhomogeneity or on the leading elliptic operator or on the solution is imposed. In this talk we discuss two conceptionally different types of such structure conditions. First, we consider weak solutions in the space $W^{1,p}$ in the limiting case $p=n$ (with $n$ the space dimension), where the embedding into the space of continuous functions just fails, and we assume on the inhomogeneity a one-sided condition. Via a double approximation procedure based on variational inequalities, we establish the existence of a weak solution and prove simultaneously its continuity (which, however, does not exclude in general the existence of irregular solutions). Secondly, we consider diagonal systems (with $p=2$) and assume on the inhomogeneity sum coerciveness. Via blow-up techniques we here establish the existence of a regular weak solution and Liouville-type properties. All results presented in this talk are based on joint projects with Jens Frehse (Bonn) and Miroslav Bulíček (Prague).
Thu, 03 Mar 2016
11:00
C5

'Additive extensions and Pell's equation in polynomials'.

H.Schmidt
(Oxford)
Abstract

We will discuss families of Pell's equation in polynomials 
with one complex parameter. In particular the relation between 
the generic equation and its specializations. Our emphasis will
be on families with a triple zero. Then additive extensions enter 
the picture. 

Wed, 02 Mar 2016

16:00 - 17:00
C3

Group Cohomology and Quasi-Isometries

Alex Margolis
(Oxford)
Abstract

I will present a basic overview of finiteness conditions, group cohomology, and related quasi-isometry invariance results. In particular, I will show that if a group satisfies certain finiteness conditions, group cohomology with group ring coefficients encodes some structure of the `homology at infinity' of a group. This is seen for hyperbolic groups in the work of Bestvina-Mess, which relates the group cohomology to the Čech cohomology of the boundary.

Wed, 02 Mar 2016
15:00

Cryptographic Algorithms Used in Trusted Platform Modules

Liqun Chen
(Hewlett Packard Labs)
Abstract

Trusted Platform Modules (TPMs) are currently used in large numbers of computers. In this talk, I will discuss the cryptographic algorithms supported by the current version of the Trusted Platform Modules (Version 1.2) and also those due to be included in the new version  (Version 2.0).  After briefly introducing the history of TPMs, and the difference between these two generations TPMs, I will focus on the challenges faced in developing Direct Anonymous Attestation (DAA) an algorithmic scheme designed to preserve privacy and included in TPMs.

Tue, 01 Mar 2016

15:45 - 16:45
L4

Topological Fukaya category and homological mirror symmetry

Nicolo Sibilla
(UBC Vancouver)
Abstract

The topological Fukaya category is a combinatorial model of the Fukaya category of exact symplectic manifolds which was first proposed by Kontsevich. In this talk I will explain work in progress (joint with J. Pascaleff and S. Scherotzke) on gluing techniques for the topological Fukaya category that are closely related to Viterbo functoriality. I will emphasize applications to homological mirror symmetry for three-dimensional CY LG models, and to Bondal's and Fang-Liu-Treumann-Zaslow's coherent constructible correspondence for toric varieties.  

Tue, 01 Mar 2016

15:00 - 16:00
L1

A "Simple" Answer to a "Not Quite Simple" Problem - The Prequel to A "Simple" Question

Kesavan Thanagopal
(Oxford University)
Abstract

In this seminar, I aim to go through the "main prequel" of the talk I gave during the first Advanced Class of this term, and provide a "simple" answer to Abraham Robinson's original question that he posed in 1973 regarding the (un)decidability of finitely generated extensions of undecidable fields. I will provide a quick introduction to, and some classical results from, the mathematical discipline of Field Arithmetic, and using these results show that one can construct undecidable (large) fields that have finitely generated extensions which are decidable. Of course, as I had mentioned in the advanced class, a counterexample to the "simple" question that I have been working on unfortunately does not seem to lie within this class of large fields. If time permits, I will provide a sneak peek into the possible "sequel" by briefly talking about what the main issue of solving the "simple" problem is, and how a "hide-and-seek" method might come in handy in tackling that problem.

Tue, 01 Mar 2016
14:30
L3

Kerdock matrices and the efficient quantization of subsampled measurements

Andrew Thompson
(University of Oxford)
Abstract

Kerdock matrices are an attractive choice as deterministic measurement matrices for compressive sensing. I'll explain how Kerdock matrices are constructed, and then show how they can be adapted to one particular  strategy for quantizing measurements, in which measurements exceeding the desired dynamic range are rejected.

Tue, 01 Mar 2016
14:30
L6

Ramsey Classes and Beyond

Jaroslav Nešetřil
(Charles University, Prague)
Abstract

Ramsey classes may be viewed as the top of the line of Ramsey properties. Classical and not so classical examples of Ramsey classes of finite structures were recently extended by many new examples which make the characterisation of Ramsey classes  realistic (and in many cases known). Particularly I will cover recent  joint work with J. Hubicka.
 

Tue, 01 Mar 2016

14:15 - 15:30
L4

There And Back Again: A Localization's Tale.

Sian Fryer
(Leeds)
Abstract

The prime spectrum of a quantum algebra has a finite stratification in terms
of a set of distinguished primes called H-primes, and we can study these
strata by passing to certain nice localizations of the algebra.  H-primes
are now starting to show up in some surprising new areas, including
combinatorics (totally nonnegative matrices) and physics, and we can borrow
techniques from these areas to answer questions about quantum algebras and
their localizations.    In particular, we can use Grassmann necklaces -- a
purely combinatorial construction -- to study the topological structure of
the prime spectrum of quantum matrices.