Past

Using the fact that certain exotic spheres do not admit Lagrangian embeddings into $T^*{\mathcal S}^{n+1}$, as proven by Abouzaid and Ekholm-Smith, we produce non-trivial homotopy classes of the group of compactly supported symplectomorphisms of $T^*{\mathcal S}^n$. In particular, we show that the Hamiltonian isotopy class of the symplectic Dehn twist depends on the parametrisation used in the construction.  Related results are also obtained for $T^*({\mathcal S}^n \times {\mathcal S}^1)$.

Joint work with Jonny Evans.

We present advances in several fundamental fields of computer vision: image segmentation, object tracking, stereo reconstruction for depth map estimation and full 3D multi-view reconstruction. The basic method applied to these fields is convex relaxation. Convex relaxation methods allow for global optimization of numerous energy functionals and provide a step towards less user input and more automation. We will show how the respective computer vision problems can be formulated in this convex optimization framework. Efficient parallel implementations of the arising numerical schemes using graphics processing units allow for interactive applications.

We study the properties of finite graphs in which the ball of radius $r$ around each vertex induces a graph isomorphic to some fixed graph $F$. (Such a graph is said to be $r$-locally-$F$.) This is a natural extension of the study of regular graphs, and of the study of graphs of constant link. We focus on the case where $F$ is $\mathbb{L}^d$, the $d$-dimensional integer lattice. We obtain a characterisation of all the finite graphs in which the ball of radius $3$ around each vertex is isomorphic to the ball of radius $3$ in $\mathbb{L}^d$, for each integer $d$. These graphs have a very rigidly proscribed global structure, much more so than that of $(2d)$-regular graphs. (They can be viewed as quotient lattices in certain 'flat orbifolds'.) Our results are best possible in the sense that '3' cannot be replaced with '2'. Our proofs use a mixture of techniques and results from combinatorics, algebraic topology and group theory. We will also discuss some results and open problems on the properties of a random n-vertex graph which is $r$-locally-$F$. This is all joint work with Itai Benjamini (Weizmann Institute of Science). 

We investigate an X-ray imaging system that fires multiple point sources of radiation simultaneously from close proximity to a probe. Radiation traverses the probe in a non-parallel fashion, which makes it necessary to use tomosynthesis as a preliminary step to calculating a 2D shadowgraph. The system geometry requires imaging techniques that differ substantially from planar X-rays or CT tomography. We present a proof of concept of such an imaging system, along with relevant artefact removal techniques.  This work is joint with Kishan Patel.

      I will show uniqueness result for BV solutions of scalar conservation laws with discontinuous flux in several space dimensions. The proof is based on the notion of kinetic solution and on a careful analysis of the entropy dissipation along the discontinuities of the flux.
 

The idea of A-free group, where A is a discrete ordered abelian group, has been introduced by Myasnikov, Remeslennikov and Serbin. It generalises the construction of free groups. A proof will be outlined that a group is A-free for some A if and only if it acts freely and without inversions on a \lambda-tree, where \lambda is an arbitrary ordered abelian group.

Vector bundles over a compact manifold can be defined via transition 
functions to a linear group. Often one imposes 
conditions on this structure group. For example for real vector bundles on 
may  ask that all 
transition functions lie in the special orthogonal group to encode 
orientability. Commutative K-theory arises when we impose the condition 
that the transition functions commute with each other whenever they are 
simultaneously defined.

We will introduce commutative K-theory and some natural variants of it, 
and will show that they give rise to  new generalised 
cohomology theories.

This is joint work with Adem, Gomez and Lind building on previous work by 
Adem, F. Cohen, and Gomez.

The Taylor expansion of a controlled differential equation suggests that the solution at time 1 depends on the driving path only through the latter's iterated integrals up to time 1, if the vector field is infinitely differentiable. Hambly and Lyons proved that this remains true for Lipschitz vector fields if the driving path has bounded total variation. We extend the Hambly-Lyons result for weakly geometric rough paths in finite dimension. Joint work with X. Geng, T. Lyons and D. Yang.    

Mathematical imaging is not only a multidisciplinary research area but also a major cross-discipline subject within mathematical sciences as  image analysis techniques involve differential geometry, optimization, nonlinear partial differential equations (PDEs), mathematical analysis, computational algorithms and numerical analysis. Segmentation refers to the essential problem in imaging and vision  of automatically detecting objects in an image.

In this talk I first review some various models and techniques in the variational framework that are used for segmentation of images, with the purpose of discussing the state of arts rather than giving a comprehensive survey. Then I introduce the practically demanding task of detecting local features in a large image and our recent segmentation methods using energy minimization and  PDEs. To ensure uniqueness and fast solution, we reformulate one non-convex functional as a convex one and further consider how to adapt the additive operator splitting method for subsequent solution. Finally I show our preliminary work to attempt segmentation of blurred images in the framework of joint deblurring and segmentation.

This talk covers joint work with Jianping Zhang, Lavdie Rada, Bryan Williams, Jack Spencer (Liverpool, UK), N. Badshah and H. Ali (Pakistan). Other collaborators in imaging in general include T. F. Chan, R. H. Chan, B. Yu,  L. Sun, F. L. Yang (China), C. Brito (Mexico), N. Chumchob (Thailand),  M. Hintermuller (Germany), Y. Q. Dong (Denmark), X. C. Tai (Norway) etc. [Related publications from   http://www.liv.ac.uk/~cmchenke ]

Mathematical imaging is not only a multidisciplinary research area but also a major cross-discipline subject within mathematical sciences as  image analysis techniques involve differential geometry, optimization, nonlinear partial differential equations (PDEs), mathematical analysis, computational algorithms and numerical analysis. Segmentation refers to the essential problem in imaging and vision  of automatically detecting objects in an image.

In this talk I first review some various models and techniques in the variational framework that are used for segmentation of images, with the purpose of discussing the state of arts rather than giving a comprehensive survey. Then I introduce the practically demanding task of detecting local features in a large image and our recent segmentation methods using energy minimization and  PDEs. To ensure uniqueness and fast solution, we reformulate one non-convex functional as a convex one and further consider how to adapt the additive operator splitting method for subsequent solution. Finally I show our preliminary work to attempt segmentation of blurred images in the framework of joint deblurring and segmentation.

This talk covers joint work with Jianping Zhang, Lavdie Rada, Bryan Williams, Jack Spencer (Liverpool, UK), N. Badshah and H. Ali (Pakistan). Other collaborators in imaging in general include T. F. Chan, R. H. Chan, B. Yu,  L. Sun, F. L. Yang (China), C. Brito (Mexico), N. Chumchob (Thailand),  M. Hintermuller (Germany), Y. Q. Dong (Denmark), X. C. Tai (Norway) etc.

[Related publications from   http://www.liv.ac.uk/~cmchenke ]

The aim of this two-day workshop is to bring together mathematicians, biologists and researchers from other disciplines whose work involves stochastic and multiscale phenomenon, to identify common methodologies to studying such systems, both from a numerical and analytical perspective.   Relevant topics include asymptotic methods for PDEs; multiscale analysis of stochastic dynamical systems; mean-field limits of collective dynamics.  Numerical methods, mathematical theory and applications (with a specific focus on biology) will all be discussed.  The workshop will take place on the 1st and 2nd of September, at the Mathematical Institute, Oxford University.   Please visithttps://sites.google.com/site/stochmultiscale2014/ for more information and to register.

The aim of this two-day workshop is to bring together mathematicians, biologists and researchers from other disciplines whose work involves stochastic and multiscale phenomenon, to identify common methodologies to studying such systems, both from a numerical and analytical perspective.   Relevant topics include asymptotic methods for PDEs; multiscale analysis of stochastic dynamical systems; mean-field limits of collective dynamics.  Numerical methods, mathematical theory and applications (with a specific focus on biology) will all be discussed.  The workshop will take place on the 1st and 2nd of September, at the Mathematical Institute, Oxford University.   Please visithttps://sites.google.com/site/stochmultiscale2014/ for more information and to register.

Economic dispatch is a critical part of electricity planning and 
operation. Enhancing the dispatch problem to improve its robustness 
in the face of equipment failures or other contingencies is standard 
practice, but extremely time intensive, leading to restrictions on 
the richness of scenarios considered. We model post-contingency 
corrective actions in the security-constrained economic dispatch 
and consider multiple stages of rescheduling to meet different 
security constraints. The resulting linear program is not solvable
by traditional LP methods due to its large size. We devise and 
implement a series of algorithmic enhancements based on the Benders'
decomposition method to ameliorate the computational difficulty.
In addition, we propose a set of online measures to diagnose
and correct infeasibility issues encountered in the solution process.

The overall solution approach is able to process the ``N-1'' 
contingency list in ten minutes for all large network cases
available for experiments. Extensions to the nonlinear setting will 
be discussed via a semidefinite relaxation.

July 5

9:30-10:30

Robert Langlands (IAS, Princeton)

Problems in the theory of automorphic forms: 45 years later 

11:00-12:00

Christopher Deninger (Univ. Münster)

Zeta functions and foliations     

 13:30-14:30          

Christophe Soulé (IHES, Bures-sur-Yvette)

 A singular arithmetic Riemann-Roch theorem           

14:40-15:40

Minhyong Kim (Univ. Oxford)

 Non-abelian reciprocity laws and Diophantine geometry

 16:10-17:10  

Constantin Teleman (Berkeley/Oxford)           

Categorical representations and Langlands duality 

July 6

 9:30-10:30

Ted Chinburg (Univ. Pennsylvania, Philadelphia)

 Higher Chern classes in Iwasawa theory

11:00-12:00          

Yuri Tschinkel (Courant Institute, New York)

Introduction to almost abelian anabelian geometry

13:30-14:30

Ralf Meyer (Univ. Göttingen)

Groupoids and higher groupoids

14:40-15:40

Dennis Gaitsgory (Harvard Univ., Boston)

Picard-Lefschetz oscillators for Drinfeld-Lafforgue compactifications

16:10-17:10

François Loeser (Univ. Paris 6-7)

Motivic integration and representation theory

July 7

9:00-10:00

Matthew Morrow (Univ. Bonn)                                                  

On the deformation theory of algebraic cycles

10:30-11:30

Fedor Bogomolov (Courant Institute, New York/Univ. Nottingham)

On the section conjecture in anabelian geometry                 

13:15-14:15                                                                      

Kevin Buzzard (ICL, London)

p-adic Langlands correspondences

14:45-15:45                                                                      

Masatoshi Suzuki (Tokyo Institute of Technology)

Translation invariant subspaces and GRH for zeta functions

16:00-17:00

Edward Frenkel (Univ. California Berkeley)

"Love and Math", the Langlands programme - Public presentation

July 8

9:15-10:15

Mikhail Kapranov (Kavli IMPU, Tokyo)

Lie algebras and E_n-algebras associated to secondary polytopes                                 

10:45-11:45          

Sergey Oblezin (Univ. Nottingham)

Whittaker functions, mirror symmetry and the Langlands correspondence

13:30-14:30                                                                      

Edward Frenkel (Univ. California Berkeley)

The Langlands programme and quantum dualities

14:40-15:40                                                                                              

Dominic Joyce (Univ. Oxford)

Derived symplectic geometry and categorification

16:10-17:10  

Urs Schreiber (Univ. Nijmegen, The Netherlands)

Correspondences of cohesive linear homotopy types and quantization