Past

A particularly active area of research in modern algebraic number theory is the study of a class of numbers, called periods. In their simplest form, periods are integrals of rational functions over domains defined by rational in equations. They form a ring, which encompasses all algebraic numbers, logarithms thereof and \pi. They arise in the study of modular forms, cohomology and quantum field theory, and conjecturally have a sort of Galois theory.

We will take a whirlwind tour of these numbers, before discussing non-periods. In particular, we will sketch the construction of an explicit non-period, often forgotten about.

We analyse under which conditions equilibration between two competing effects, repulsion modelled by nonlinear diffusion and attraction modelled by nonlocal interaction, occurs. I will discuss several regimes that appear in aggregation diffusion problems with homogeneous kernels. I will first concentrate in the fair competition case distinguishing among porous medium like cases and fast diffusion like ones. I will discuss the main qualitative properties in terms of stationary states and minimizers of the free energies. In particular, all the porous medium cases are critical while the fast diffusion are not. In the second part, I will discuss the diffusion dominated case in which this balance leads to continuous compactly supported radially decreasing equilibrium configurations for all masses. All stationary states with suitable regularity are shown to be radially symmetric by means of continuous Steiner symmetrisation techniques. Calculus of variations tools allow us to show the existence of global minimizers among these equilibria. Finally, in the particular case of Newtonian interaction in two dimensions they lead to uniqueness of equilibria for any given mass up to translation and to the convergence of solutions of the associated nonlinear aggregation-diffusion equations towards this unique equilibrium profile up to translations as time tends to infinity. This talk is based on works in collaboration with S. Hittmeir, B. Volzone and Y. Yao and with V. Calvez and F. Hoffmann.

If k is a field of characteristic zero, a theorem of Lurie and Pridham establishes an equivalence between formal moduli problems and differential graded Lie algebras over k. We generalise this equivalence in two different ways to arbitrary ground fields by using “partition Lie algebras”. These mysterious new gadgets are intimately related to the genuine equivariant topology of the partition complex, which allows us to access the operations acting on their homotopy groups (relying on earlier work of Dyer-Lashof, Priddy, Goerss, and Arone-B.). This is joint work with Mathew.

Unlike standard bivariate diffusion models, the rough Bergomi model by Bayer, Friz, and Gatheral (2016) allows to parsimoniously recover key stylized facts of market implied volatility surfaces such as the exploding power-law behaviour of the at-the-money volatility skew as time to maturity goes to zero. However, falling into the class of so-called rough stochastic volatility models sparked by Alo`s, Leo ́n, and Vives (2007); Fukasawa (2011, 2017); Gatheral, Jaisson, and Rosenbaum (2018), its non-Markovianity poses serious mathematical and computational challenges. To date, calibrating rough Bergomi remained prohibitively expensive since standard calibration routines rely on the repetitive evaluation of the map from model parameters to Black-Scholes implied volatility, which in the case of rough Bergomi involves a costly Monte Carlo simulation (Bennedsen, Lunde, & Pakkanen, 2017; McCrickerd & Pakkanen, 2018; Bayer et al., 2016; Horvath, Jacquier, & Muguruza, 2017). In this paper, we resolve the issue by combining a standard Levenberg-Marquardt calibration routine with a neural network regression, replacing expensive MC simulations with cheap forward runs of a network trained to approximate the implied volatility map. Some numerical results show the prowess of this approach.

TBC

In this talk, we consider the question of exact (boundary) controllability of wave equations: whether one can steer their solutions from any initial state to any final state using appropriate boundary data. In particular, we discuss new and fully general results for linear wave equations on time-dependent domains with moving boundaries. We also discuss the novel geometric Carleman estimates that are the main tools for proving these controllability results

The meeting on Monday 15th October will be on Impostor Syndrome. In this meeting we will discuss what impostor syndrome is, what might be the causes of it, and some advice for people who are struggling with it. For anyone who wants to read up on what it is and some different types of impostor syndrome in advance, we recommend this blog post: https://www.themuse.com/advice/5-different-types-of-imposter-syndrome-a…. If you have a smart phone or tablet that you can bring with you, we encourage you to, as we will have some anonymous voting, and the more of you that can join in, the better!

We hope to see many of you there again: Quillen Room (N3.12), Monday 1-2pm.

Superstring scattering amplitudes in genus one have a low-energy expansion in terms of certain real analytic modular forms, called modular graph functions (D'Hoger, Green, Gürdogan and Vanhove). I will sketch the proof that these functions belong to a family of iterated integrals of modular forms (a generalization of Eichler integrals), recently introduced by Francis Brown, which explains many of their properties. The main tools are elliptic multiple polylogarithms (Brown and Levin), single-valued versions thereof, and elliptic multiple zeta values (Enriquez).

Consider a network of agents connected by communication links, where each agent holds a real value. The gossip problem consists in estimating the average of the values diffused in the network in a distributed manner. Current techniques for gossiping are designed to deal with worst-case scenarios, which is irrelevant in applications to distributed statistical learning and denoising in sensor networks. We design second-order gossip methods tailor-made for the case where the real values are i.i.d. samples from the same distribution. In some regular network structures, we are able to prove optimality of our methods, and simulations suggest that they are efficient in a wide range of random networks. Our approach of gossip stems from a new acceleration framework using the family of orthogonal polynomials with respect to the spectral measure of the network graph (joint work with Raphaël Berthier, and Pierre Gaillard).

What should you expect in intercollegiate classes?  What can you do to get the most out of them?  In this session, experienced class tutors will share their thoughts, and a current student will offer tips and advice based on their experience.  

All undergraduate and masters students welcome, especially Part B and MSc students attending intercollegiate classes. (Students who attended the Part C/OMMS induction event will find significant overlap between the advice offered there and this session!)
 

In 1927 Polya proved that the Riemann Hypothesis is equivalent to the hyperbolicity of Jensen polynomials for Riemann’s Xi-function. This hyperbolicity has only been proved for degrees d=1, 2, 3. For each d we prove the hyperbolicity of all but (perhaps) finitely many Jensen polynomials. We obtain a general theorem which models such polynomials by Hermite polynomials. This theorem also allows us to prove a conjecture of Chen, Jia, and Wang on the partition function. This result can be thought of as a proof of GUE for the Riemann zeta function in derivative aspect. This is joint work with Michael Griffin, Larry Rolen, and Don Zagier.
 

In my talk I will briefly introduce model-free approach to mathematical finance, which uses Vovk's outer measure. Then, using pathwise BDG inequality obtained by Beigbloeck and Siorpaes and modification of Vovk's measure, I will present and prove a model-free version of this inequality for continuous price paths. Finally, I will discuss possible applications, like the existence and uniqueness of solutions of SDEs driven by continuous, model-free price paths. The talk will be based on the joint work with Farai Mhlanga and Lesiba Galane (University of Limpopo, South Africa)

The desire to “freely suspend the constituents of matter” in order to study their behavior can be traced back over 200 years to the diaries of Lichtenberg. From radio-frequency ion traps to optical tweezing of colloidal particles, existing methods to trap matter in free space or solution rely on the use of external fields that often strongly perturb the integrity of a macromolecule in solution. We recently introduced the ‘electrostatic fluidic trap’, an approach that exploits equilibrium thermodynamics to realise stable, non-destructive confinement of single macromolecules in room temperature fluids, and represents a paradigm shift in a nearly century-old field. The spatio-temporal dynamics of a single electrostatically trapped object reveals fundamental information on its properties, e.g., size and electrical charge. We have demonstrated the ability to measure the electrical charge of a single macromolecule in solution with a precision much better than a single elementary charge. Since the electrical charge of a macromolecule in solution is in turn a strong function of its 3D conformation, our approach enables for the first time precise, general measurements of the relationship between 3D structure and electrical charge of a single macromolecule, in real time. I will present our most recent advances in this emerging area of molecular measurement and show how such high-precision measurement at the nanoscale may be able to unveil the presence of previously unexpected phenomena in intermolecular interactions in solution.

The present work concerns the approximation of the solution map associated to the parametric Helmholtz boundary value problem, i.e., the map which associates to each (real) wavenumber belonging to a given interval of interest the corresponding solution of the Helmholtz equation. We introduce a single-point Least Squares (LS) rational Padé-type approximation technique applicable to any meromorphic Hilbert space-valued univariate map, and we prove the uniform convergence of the Padé approximation error on any compact subset of the interval of interest that excludes any pole. We also present a simplified and more efficient version, named Fast LS-Padé, applicable to Helmholtz-type parametric equations with normal operators.

The LS-Padé techniques are then employed to approximate the frequency response map associated to various parametric time-harmonic wave problems, namely, a transmission/reflection problem, a scattering problem and a problem in high-frequency regime. In all cases we establish the meromorphy of the frequency response map. The Helmholtz equation with stochastic wavenumber is also considered. In particular, for Lipschitz functionals of the solution, and their corresponding probability measures, we establish weak convergence of the measure derived from the LS-Padé approximant to the true one. Two-dimensioanl numerical tests are performed, which confirm the effectiveness of the approximation method.As of the dates

 Joint work with: Francesca Bonizzoni and  Ilaria Perugia (Uni. Vienna), Davide Pradovera (EPFL)

Novel machine learning techniques based on deep learning, i.e., the data-driven manipulation of neural networks, have reported remarkable results in many areas such as image classification, game intelligence, or speech recognition. Driven by these successes, many scholars have started using them in areas which do not focus on traditional machine learning tasks. For instance, more and more researchers are employing neural networks to develop tools for the discretisation and solution of partial differential equations. Two reasons can be identified to be the driving forces behind the increased interest in neural networks in the area of the numerical analysis of PDEs. On the one hand, powerful approximation theoretical results have been established which demonstrate that neural networks can represent functions from the most relevant function classes with a minimal number of parameters. On the other hand, highly efficient machine learning techniques for the training of these networks are now available and can be used as a black box. In this talk, we will give an overview of some approaches towards the numerical treatment of PDEs with neural networks and study the two aspects above. We will recall some classical and some novel approximation theoretical results and tie these results to PDE discretisation. Afterwards, providing a counterpoint, we analyse the structure of network spaces and deduce considerable problems for the black box solver. In particular, we will identify a number of structural properties of the set of neural networks that render optimisation over this set especially challenging and sometimes impossible. The talk is based on joint work with Helmut Bölcskei, Philipp Grohs, Gitta Kutyniok, Felix Voigtlaender, and Mones Raslan

Cubulating a group means finding a proper cocompact action on a CAT(0) cube complex. I will describe how cubulating a group tells us some nice properties of the group, and explain a general strategy for finding cubulations.

In this talk I will introduce Hilbert's 10th Problem (H10) and the model-theoretic notions necessary to explore this problem from the perspective of mathematical logic. I will give a brief history of its proof, talk a little about its connection to decidability and definability, then close by speaking about generalisations of H10 - what has been proven and what has yet to be discovered.

Johann Sebastian Bach was the most mathematical of composers. Oxford Mathematician and Cambridge organ scholar James Sparks will explain just how mathematical and City of London Sinfonia will elaborate with a special performance of the Goldberg Variations. 

---

James Sparks - Bach and the Cosmos (30 minutes)

City of London Sinfonia - J S Bach arr. Sitkovetsky, Goldberg Variations (70 minutes)

Alexandra Wood - Director/Violin

--

Please email @email to register

Watch live:
https://www.facebook.com/OxfordMathematics
https://www.livestream.com/oxuni/Bach-Cosmos

The Oxford Mathematics Public Lectures are generously supported by XTX Markets

Abstract: The universal algorithm is a Turing machine program that can in principle enumerate any finite sequence of numbers, if run in the right model of PA, and furthermore, can always enumerate any desired extension of that sequence in a suitable end-extension of that model. The universal finite set is a set-theoretic analogue, a locally verifiable definition that can in principle define any finite set, in the right model of set theory, and can always define any desired finite extension of that set in a suitable top-extension of that model. Recent work has uncovered a $\Sigma_1$-definable version that works with respect to end-extensions. I shall give an account of all three results, which have a parallel form, and describe applications to the model theory of arithmetic and set theory. Post questions and commentary on my blog at http://jdh.hamkins.org/parallels-in-universality-oxford-math-logic-semi…;

Let $G$ be a regular graph of degree $d$ and let $A\subset V(G)$. Say that $A$ is $\eta$-closed if the average degree of the subgraph induced by $A$ is at least $\eta d$. This says that if we choose a random vertex $x\in A$ and a random neighbour $y$ of $x$, then the probability that $y\in A$ is at least $\eta$. In recent joint work with Tim Gowers, we were aiming to obtain a qualitative description of closed subsets of the Cayley graph $\Gamma$ whose vertex set is $\mathbb{F}_2^{n_1}\otimes \dots \otimes \mathbb{F}_2^{n_d}$ with two vertices joined by an edge if their difference is of the form $u_1\otimes \cdots \otimes u_d$. For the matrix case (that is, when $d=2$), such a description was obtained by Khot, Minzer and Safra, a breakthrough that completed the proof of the 2-to-2 conjecture. We have formulated a conjecture for higher dimensions, and proved it in an important special case. In this talk, I will sketch this proof. Also, we have identified a statement about $\eta$-closed sets in Cayley graphs on arbitrary finite Abelian groups that implies the conjecture and can be considered as a "highly asymmetric Balog-Szemerédi-Gowers theorem" when it holds. I will present an example to show that this statement is not true for an arbitrary Cayley graph. It remains to decide whether the statement can be proved for the Cayley graph $\Gamma$.

The next generation emissive displays including quantum dot LED(QLED) and organic LED(OLED) could be efficiently manufactured by inkjet printing, where nano-scale droplets are injected in banked substrate and after evaporation they leave layers of thin film that forms pixels of a display. This novel manufacturing method would greatly reduce cost and improve reliability. However, it is observed in practice that the deposit becomes much thicker near the bank edge and emission is faint there. This motivated the project and in this talk, we will mathematically model the phenomeno, understand its origin and investigate ways of making more uniform deposit by means of simulation.

Abstract regular polytopes are finite quotients of Coxeter complexes
with string diagram, satisfying a natural intersection property, see
e.g. [MMS2002]. They arise in a number of geometric and group-theoretic
contexts. The first class of such objects, beyond the
well-understood examples coming from finite and affine Coxeter groups,
are locally toroidal cases, e.g.  extensions of quotients of the affine
F_4 complex [3,3,4,3].  In 1996 P.McMullen & E.Schulte constructed a
number of examples of locally toroidal abstract regular polytopes of
type [3,3,4,3,3], and conjectured completeness of their list. We
construct counterexamples to the conjecture using a Y-shaped
presentation for a subgroup of the Monster, and discuss various
related questions.
 

When solving stochastic partial differential equations (SPDEs) driven by additive spatial white noise the efficient sampling of white noise realizations can be challenging. In this talk we present a novel sampling technique that can be used to efficiently compute white noise samples in a finite element and multilevel Monte Carlo (MLMC) setting.
After discretization, the action of white noise on a test function yields a Gaussian vector with the FEM mass matrix as covariance. Sampling such a vector requires an expensive Cholesky factorization and for this reason P0 representations, for which the mass matrix is diagonal, are generally preferred in the literature. This however has other disadvantages. In this talk we introduce an alternative factorization that is naturally parallelizable and has linear cost and memory complexity (in the number of mesh elements).
Moreover, in a MLMC framework the white noise samples must be coupled between subsequent levels so as to respect the telescoping sum. We show how our technique can be used to enforce this coupling even in the case in which the hierarchy is non-nested via a supermesh construction. We conclude the talk with numerical experiments that demonstrate the efficacy of our method. We observe optimal convergence rates for the finite element solution of the elliptic SPDEs of interest. In a MLMC setting, a good coupling is enforced and the telescoping sum is respected.