Past

Moduli spaces attempt to classify all mathematical objects of a particular type, for example algebraic curves or vector bundles, and record how they 'vary in families'. Often they are constructed using Geometric Invariant Theory (GIT) as a quotient of a parameter space by a group action. A common theme is that in order to have a nice (eg Hausdorff) space one must restrict one's attention to a suitable subclass of 'stable' objects, in effect leaving certain badly behaved objects out of the classification. Assuming no prior familiarity, I will elucidate the structure of instability in GIT, and explain how recent progress in non-reductive GIT allows one to construct moduli spaces for these so-called 'unstable' objects. The particular focus will be on the application of this principle to the GIT construction of the moduli space of stable curves, leading to moduli spaces of curves of fixed singularity type.
 

Hash Proof Systems or Smooth Projective Hash Functions (SPHFs) are a
form of implicit arguments introduced by Cramer and Shoup at
Eurocrypt’02. They have found many applications since then, in
particular for authenticated key exchange or honest-verifier
zero-knowledge proofs. While they are relatively well understood in
group settings, they seem painful to construct directly in the lattice
setting.
Only one construction of an SPHF over lattices has been proposed, by
Katz and Vaikuntanathan at Asiacrypt’09. But this construction has an
important drawback: it only works for an ad-hoc language of ciphertexts.
Concretely, the corresponding decryption procedure needs to be tweaked,
now requiring q many trapdoor inversion attempts, where q is the modulus
of the underlying Learning With Error (LWE) problem.
Using harmonic analysis, we explain the source of this limitation, and
propose a way around it. We show how to construct SPHFs for standard
languages of LWE ciphertexts, and explicit our construction over a
tag-CCA2 encryption scheme à la Micciancio-Peikert (Eurocrypt’12).

If there is enough time, we will conclude with applications of these
SPHFs to password-authenticated key exchange, honest-verifier
zero-knowledge and a variant of witness encryption.

There are many natural questions one can ask about presentations of finite groups- for instance, given two presentations of the same group with the same number of generators, must the number of relations also be equal? This question, and closely related ones, are unsolved. However if one asks the same question in the category of profinite groups, surprisingly strong properties hold- including a positive answer to the above question. I will make this statement precise and give the proof of this and similar results due to Alex Lubotzky.

Lagrangian Floer cohomology groups are extremely hard compute in most situations. In this talk I’ll describe two ways to extract information about the self-Floer cohomology of a monotone Lagrangian possessing certain kinds of symmetry, based on the closed-open string map and the Oh spectral sequence. The focus will be on a particular family of examples, where the techniques can be combined to deduce some unusual properties.

A central theorem in combinatorics is Sperner’s Theorem, which determines the maximum size of a family in the Boolean lattice that does not contain a 2-chain. Erdos later extended this result and determined the largest family not containing a k-chain. Erdos and Katona and later Kleitman asked how many such chains must appear in families whose size is larger than the corresponding extremal result.

This question was resolved for 2-chains by Kleitman in 1966, who showed that amongst families of size M in the Boolean lattice, the number of 2-chains is minimized by a family whose sets are taken as close to the middle layer as possible. He also conjectured that the same conclusion should hold for all k, not just 2. The best result on this question is due to Das, Gan and Sudakov who showed roughly that Kleitman’s conjecture holds for families whose size is at most the size of the k+1 middle layers of the Boolean lattice. Our main result is that for every fixed k and epsilon, if n is sufficiently large then Kleitman’s conjecture holds for families of size at most (1-epsilon)2^n, thereby establishing Kleitman’s conjecture asymptotically (in a sense). Our proof is based on ideas of Kleitman and Das, Gan and Sudakov.

Joint work with Jozsef Balogh.

We present some dimensionality reduction techniques for global optimization algorithms, in order to increase their scalability. Inspired by ideas in machine learning, and extending the approach of random projections in Zhang et al (2016), we present some new algorithmic approaches for global optimisation with theoretical guarantees of good behaviour and encouraging numerical results.
 

Derivative-free optimisation (DFO) algorithms are a category of optimisation methods for situations when one is unable to compute or estimate derivatives of the objective, such as when the objective has noise or is very expensive to evaluate. In this talk I will present a flexible DFO framework for unconstrained nonlinear least-squares problems, and in particular discuss its performance on noisy problems.

In this talk we consider the limiting behaviour of the strong solution of the Navier--Stokes equation as the viscosity goes to zero, on a three--dimensional region with curved boundary. Under the Navier and kinematic boundary conditions, we show that the solution converges to that of the Euler equation (in suitable topologies). The proof is based on energy estimates and differential--geometric considerations. This is a joint work with Profs. Gui-Qiang Chen and Zhongmin Qian, both at Oxford. 

Some recent applications of supertwistors to superparticle mechanics will be reviewed.
First: Supertwistors allow a simple quantization of the  N-extended 4D massless superparticle, and peculiarities of massless 4D supermultiplets can then be explained by considering the quantum fate of a classical ``worldline CPT'' symmetry. For N=1 there is a global CPT anomaly, which explains why there is no CPT self-conjugate supermultiplet. For N=2 there is no anomaly but a Kramers degeneracy explains the doubling of states in the CPT self-conjugate hypermultiplet.
Second: the bi-supertwistor formulation of the N-extended massive superparticle in 3D, 4D and 6D makes manifest a ``hidden’’ 2N-extended supersymmetry. It also has a simple expression in terms of hermitian 2x2 matrices over the associative division algebras R,C,H.
Third: omission of the mass-shell constraint in this 3D,4D,6D bi-supertwistor action yields, as suggested  by holography, the action for a supergraviton in 4D,5D,7D AdS. Application to the near horizon AdSxS geometries of the M2,D3 and M5 brane confirms that the graviton supermultiplet has 128+128 polarisation states. 

I will report some recent analytical results on microstructures in low-hysteresis shape memory alloys. The modelling assumption is that the width of the thermal hysteresis is closely related to the minimal energy that is necessary to build a martensitic nucleus in an austenitic matrix. This energy barrier is typically modeled by (singularly perturbed) nonconvex elasticity functionals. In this talk, I will discuss recent results on the resulting variational problems, including stress-free inclusions and microstructures in the case of almost compatible phases. This talk is partly based on joint works with S. Conti, J. Diermeier, M. Klar, and D. Melching.

The theory of connections on curves and Hitchin systems is something like a “global theory of Lie groups”, where one works over a Riemann surface rather than just at a point. We’ll describe how one can take this analogy a few steps further by attempting to make precise the class of rich geometric objects that appear in this story (including the non-compact case), and discuss their classification, outlining a theory of “Dynkin diagrams” as a step towards classifying some examples of such objects.

Erik Panzer

Feynman integrals, graph polynomials and zeta values

Where do particle physicists, algebraic geometers and number theorists meet?

Feynman integrals compute how elementary particles interact and they are fundamental for our understanding of collider experiments. At the same time, they provide a rich family of special functions that are defined as period integrals, including special values of certain L functions.

In the talk I will give the definition of Feynman integrals via graph polynomials and discuss some examples that evaluate to values of the Riemann zeta function. Then I will discuss some of the interesting questions in this field and mention some of the techniques that are used to study these.

[[{"fid":"47855","view_mode":"media_square","fields":{"format":"media_square","field_file_image_alt_text[und][0][value]":"Yuji Nakatsukasa","field_file_image_title_text[und][0][value]":"Yuji Nakatsukasa"},"type":"media","attributes":{"alt":"Yuji Nakatsukasa","title":"Yuji Nakatsukasa","height":"258","width":"258","class":"media-element file-media-square"}}]]

Yuji Nakatsukasa

Computing matrix eigenvalues

The numerical linear algebra community solves two main problems: linear systems, and eigenvalue problems. They are both vastly important; it would not be too far-fetched to say that most (continuous) problems in scientific computing eventually boil down to one or both of these.

This talk focuses on eigenvalue problems. I will first describe some of their applications, such as Google's PageRank, PCA, finding zeros and poles of functions, and global optimization. I will then turn to algorithms for computing eigenvalues, namely the classical QR algorithm---which is still the basis for state-of-the-art. I will emphasize that the underlying mathematics is (together with the power method and numerical stability analysis) rational approximation theory.

Proteomics is seen as the next logical step after genomics to understand life processes at the molecular level. With increasing capabilities of modern mass spectrometers the deep proteome (>8000 proteins detected) has become widely accessible, only to be replaced recently by the "Ultra-deep proteome" with ~14000 proteins detected in a single cell line. Furthermore, new data search algorithms and sample preparation methods allow not only to achieve comprehensive sequence coverage for the majority of proteins, but also to detect protein variations and single amino acid polymorphisms in proteins, further linking genomic variation to protein phenotypes. The combination of genomic and proteomic information on individual (patient) level could mark the beginning of the "Post-Proteomic Era".

Please register via https://www.eventbrite.co.uk/e/qbiox-colloquium-trinity-term-2017-ticke…

The ability to study the transcriptome, proteome – and other aspects – of many individual cells represents one of the most important technical breakthroughs and tools in biology and medical science of the past few years. They are revolutionising study of biological systems and human disease, enabling for example: hypothesis-free identification of rare pathogenic (or protective) cell subsets in chronic diseases, routine monitoring of patient immune phenotypes and direct discovery of mole cular targets in rare cell populations. In parallel, new computational and analytical approaches are being intensively developed to analyse the vast data sets generated by these technologies. However, there is still a huge gap between our ability to generate the data, analyse their technical soundness and actually interpret them. The QBIOX network may provide for a unique opportunity to complement recent investments in Oxford technical capabilities in single-cell technologies with the development of revolutionary, visionary ways of interpreting the data that would help Oxford researchers to compete as leaders in this field.

Please register via https://www.eventbrite.co.uk/e/qbiox-colloquium-trinity-term-2017-ticke…

We consider the differentiability of definable functions in tame expansions
of algebraically closed valued fields.
As the Frobenius inverse shows such a function may be nowhere
differentiable.
We prove differentiability almost everywhere in valued fields of
characteristic 0
that are C-minimal, definably complete and such that, in the valuation
group,
definable functions are strongly eventually linear.
This is joint work with Pablo Cubides-Kovacsics.

Manifolds with ordinary boundary/corners have found their presence in differential geometry and PDEs: they form Man^b or Man^c category; and for boundary value problems, they are nice objects to work on. Manifolds with analytical corners -- a-corners for short -- form a larger category Man^{ac} which contains Man^c, and they can in some sense be viewed as manifolds with boundary at infinity.
In this talk I'll walk you through the definition of manifolds with corners and a-corners, and give some examples to illustrate how the new definition will help.

Understanding the outcome of a collision between liquid drops (merge or bounce?) as well their impact and spreading over solid surfaces (splash or spread?) is key for a host of processes ranging from 3d printing to cloud formation. Accurate experimental observation of these phenomena is complex due to the small spatio-temporal scales or interest and, consequently, mathematical modelling and computational simulation become key tools with which to probe such flows.

Experiments show that the gas surrounding the drops can have a key role in the dynamics of impact and wetting, despite the small gas-to-liquid density and viscosity ratios. This is due to the formation of gas microfilms which exert their influence on drops through strong lubrication forces.  In this talk, I will describe how these microfilms cannot be described by the Navier-Stokes equations and instead require the development of a model based on the kinetic theory of gases.  Simulation results obtained using this model will then be discussed and compared to experimental data.

Dynatomic curves parametrize n-periodic orbits of a one-parameter family of polynomial dynamical systems. These curves lack the structure of their arithmetic-geometric analogues (modular curves of level n) but can be studied dynamically.  Morton and Silverman conjectured a dynamical analogue of the uniform boundedness conjecture (theorems of Mazur, Merel), asserting uniform bounds for the number of rational periodic points for such a family.  I will discuss recent work towards the function field version of their conjecture, including results on the reduction mod p of dynatomic curves for the quadratic polynomial family z^2+c.

For many applications in science and engineering, the ability to efficiently and accurately approximate solutions to elliptic PDEs dictates what physical phenomena can be simulated numerically.  In this seminar, we present a high-order accurate discretization technique for variable coefficient PDEs with smooth coefficients.  The technique comes with a nested dissection inspired direct solver that scales linearly or nearly linearly with respect to the number of unknowns.  Unlike the application of nested dissection methods to classic discretization techniques, the constant prefactors do not grow with the order of the discretization.  The discretization is robust even for problems with highly oscillatory solutions.  For example, a problem 100 wavelengths in size can be solved to 9 digits of accuracy with 3.7 million unknowns on a desktop computer.  The precomputation of the direct solver takes 6 minutes on a desktop computer.  Then applying the computed solver takes 3 seconds.  The recent application of the algorithm to inverse media scattering also will be presented.

I will  address the study of decay rates of solutions to dissipative equations. The characterization of these rates will first be given for a wide class of linear systems by the decay character, which is a number associated to the initial datum that describes the behavior of the datum near the origin in frequency space. The understanding of the behavior of the linear  combined with the decay character and the Fourier Splitting method is then used to obtain some  upper and lower bounds for decay of solutions to appropriate dissipative nonlinear equations, both in the incompressible and compressible case. 

I will talk about a result on meromorphic continuation of Euler products over primes p of definable p-adic or motivic integrals, and applications to zeta functions of groups. If time permitting, I'll state an analogue for counting rational points of bounded height in some adelic homogeneous spac