Past

We consider numerical methods for solving  time dependent partial differential equations with convection-diffusion terms and anti-diffusive fractional operator of order $\alpha \in (1,2)$. These equations are motivated by two distinct applications: a dune morphodynamics model and a signal filtering method. 
We propose numerical schemes based on local discontinuous Galerkin methods to approximate the solutions of these equations. Numerical stability and convergence of these schemes are investigated. 
Finally numerical experiments are given to illustrate qualitative behaviors of solutions for both applications and to confirme the convergence results. 

Numerous problems in extremal hypergraph theory ask to determine the maximal size of a k-uniform hypergraph on n vertices that does not contain an 'enlarged' copy H^+ of a fixed hypergraph H. These include well-known  problems such as the Erdős-Sós 'forbidding one intersection' problem and the Frankl-Füredi 'special simplex' problem.

In this talk we present a general approach to such problems, using a 'junta approximation method' that originates from analysis of Boolean functions. We prove that any (H^+)-free hypergraph is essentially contained in a 'junta' -- a hypergraph determined by a small number of vertices -- that is also (H^+)-free, which effectively reduces the extremal problem to an easier problem on juntas. Using this approach, we obtain, for all C<k<n/C, a complete solution of the extremal problem for a large class of H's, which includes  the aforementioned problems, and solves them for a large new set of parameters.

Based on joint works with David Ellis and Nathan Keller
 

We introduce and analyze a discontinuous Galerkin method for the Oseen equations in two dimension spaces. The boundary conditions are mixed and they are assumed to be of three different types:
the vorticity  and the normal component of the velocity are given on a first part of the boundary, the pressure and the tangential component of the velocity are given on a second part of the boundary and the Dirichlet condition is given on the remainder part . We establish a priori error estimates in the energy norm for the velocity and in the L2 norm for the pressure. An a posteriori error estimate is also carried out yielding optimal convergence rate. The analysis is based on rewriting the method in a non-consistent manner using lifting operators in the spirit of Arnold, Brezzi, Cockburn and Marini.

We discuss the recent achievements in the attractors theory for damped wave equations in bounded domains which are related with Strichartz type estimates. In particular, we present the results related with the well-posedness and asymptotic smoothness of the solution semigroup in the case of critical quintic nonlinearity. The non-autonomous case will be also considered.
 

When studying a group, it is natural and often useful to try to cut it up 
onto simpler pieces. Sometimes this can be done in an entirely canonical 
way analogous to the JSJ decomposition of a 3-manifold, in which the 
collection of tori along which the manifold is cut is unique up to isotopy. 
It is a theorem of Brian Bowditch that if the group acts nicely on a metric 
space with a negative curvature property then a canonical decomposition can 
be read directly from the large-scale geometry of that space. In this talk 
we shall explore an algorithmic consequence of this relationship between 
the large-scale geometry of the group and is algebraic decomposition.

I present recently developed iterated residue formulas for tautological integrals over Hilbert schemes of points on  smooth  manifolds. Applications include curve and hypersurface counting formulas. Joint work with Andras Szenes.

 Suppose A is a nice abelian category (such as coherent sheaves coh(X) on a smooth complex projective variety X, or representations mod-CQ of a quiver Q) or T is a nice triangulated category (such as D^bcoh(X) or D^bmod-CQ) over C. Let M be the moduli stack of objects in A or T. Consider the homology H_*(M) over some ring R.
  Given a little extra data on M, for which there are natural choices in our examples, I will explain how to define the structure of a graded vertex algebra on H_*(M). By a standard construction, one can then define a graded Lie algebra from the vertex algebra; roughly speaking, this is a Lie algebra structure on the homology H_*(M^{pl}) of a "projective linear” version M^{pl} of the moduli stack M.
  For example, if we take T = D^bmod-CQ, the vertex algebra H_*(M) is the lattice vertex algebra attached to the dimension vector lattice Z^{Q_0} of Q with the symmetrized intersection form. The degree zero part of the graded Lie algebra contains the associated Kac-Moody algebra.
  The construction appears to be new, but is connected with a lot of work in Geometric Representation Theory, to do with Ringel-Hall-type algebras and their representations, such as the results of Grojnowski-Nakajima on Hilbert schemes. The vertex algebra construction is enormously general, and applies in huge classes of examples. There is a differential-geometric version too.
  The question I am hoping someone in the audience will answer is this: what is the physical interpretation of these vertex algebras?
  It is in some sense an "even Calabi-Yau” construction: when applied to coh(X) or D^bcoh(X), it is most natural for X a Calabi-Yau 2-fold or Calabi-Yau 4-fold, and is essentially trivial for X a Calabi-Yau 3-fold. I discovered it when I was investigating wall-crossing for Donaldson-Thomas type invariants for Calabi-Yau 4-folds. So perhaps one should look for an explanation in the physics of Calabi-Yau 2-folds or 4-folds, with M the moduli space of boundary conditions for the associated SCFT.

DNA computing is emerging as a versatile technology that promises a vast range of applications, including biosensing, drug delivery and synthetic biology. DNA logic circuits can be achieved in solution using strand displacement reactions, or by decision-making molecular robots-so called 'walkers'-that traverse tracks placed on DNA 'origami' tiles.

 Similarly to conventional silicon technologies, ensuring fault-free DNA circuit designs is challenging, with the difficulty compounded by the inherent unreliability of the DNA technology and lack of scientific understanding. This lecture will give an overview of computational models that capture DNA walker computation and demonstrate the role of quantitative verification and synthesis in ensuring the reliability of such systems. Future research challenges will also be discussed.

Leandro Sánchez Betancourt
--------------------------
The Cost of Latency: Improving Fill Ratios in Foreign Exchange Markets

Latency is the time delay between an exchange streaming market data to a trader, the trader processing information and deciding to trade, and the exchange receiving the order from the trader.  Liquidity takers  face  a  moving target problem as a consequence of their latency in the marketplace -- they send marketable orders that aim at a price and quantity they observed in the LOB, but by the time their order was processed by the Exchange, prices (and/or quantities) may have worsened, so the  order  cannot  be  filled. If liquidity taking orders can walk the limit order book (LOB), then orders that arrive late may still be filled at worse prices. In this paper we show how to optimally choose the discretion of liquidity taking orders to walk the LOB. The optimal strategy balances the tradeoff between the costs of walking the LOB and targeting  a desired percentage of filled orders over a period of time.  We employ a proprietary data set of foreign exchange trades to analyze the performance of the strategy. Finally, we show the relationship between latency and the percentage of filled orders, and showcase the optimal strategy as an alternative investment to reduce latency.

Jasdeep Kalsi
-------------
An SPDE model for the Limit Order Book

I will introduce a microscopic model for the Limit Order Book in a static setting i.e. in between price movements. Here, order flow at different price levels is given by Poisson processes which depend on the relative price and the depth of the book. I will discuss how reflected SPDEs can be obtained as scaling limits of such models. This motivates an SPDE with reflection and a moving boundary as a model for the dynamic Order Book. An outline for how to prove existence and uniqueness for the equation will be presented, as well as some simple simulations of the model.

Steady state chemical reaction models can be thought of as algebraic varieties whose properties are determined by the network structure. In experimental set-ups we often encounter the problem of noisy data points for which we want to find the corresponding steady state predicted by the model. Depending on the network there may be many such points and the number of which is given by the euclidean distance degree (ED degree). In this talk I show how certain properties of networks relate to the ED degree and how the runtime of numerical algebraic geometry computations scales with the ED degree.

Let $P$ be a random polynomial of degree $d$ such that the leading and constant coefficients are 1 and the rest of the coefficients are independent random variables taking the value 0 or 1 with equal probability. Odlyzko and Poonen conjectured that $P$ is irreducible with probability tending to 1 as $d$ grows.  I will talk about an on-going joint work with Emmanuel Breuillard, in which we prove that GRH implies this conjecture. The proof is based on estimates for the mixing time of random walks on $\mathbb{F}_p$, where the steps are given by the maps $x \rightarrow ax$ and $x \rightarrow ax+1$ with equal probability.

Title: Generalized McKean-Vlasov stochastic control problems.

Abstract: I will consider McKean-Vlasov stochastic control problems 
where the cost functions and the state dynamics depend upon the joint 
distribution of the controlled state and the control process. First, I 
will provide a suitable version of the Pontryagin stochastic maximum 
principle, showing that, in the present general framework, pointwise 
minimization of the Hamiltonian with respect to the control is not a 
necessary optimality condition. Then I will take a different 
perspective, and present a variational approach to study a weak 
formulation of such control problems, thereby establishing a new 
connection between those and optimal transport problems on path space.

The talk is based on a joint project with J. Backhoff-Veraguas and R. Carmona.

Elastic gridshells arise from the buckling of an initially planar grid of rods. Architectural elastic gridshells first appeared in the 1970’s. However, to date, only a limited number of examples have been constructed around the world, primarily due to the challenges involved in their structural design. Yet, elastic gridshells are highly appealing: they can cover wide spans with low self-weight, they allow for aesthetically pleasing shapes and their construction is typically simple and rapid. A more mundane example is the classic pasta strainer, which, with its remarkably simple design, is a must-have in every kitchen.

This talk will focus on the geometry-driven nature of elastic gridshells. We use a geometric model based on the theory of discrete Chebyshev nets (originally developed for woven fabric) to rationalize their actuated shapes. Validation is provided by precision experiments and rod-based simulations. We also investigate the linear mechanical response (rigidity) and the non-local behavior of these discrete shells under point-load indentation. Combining experiments, simulations, and scaling analysis leads to a master curve that relates the structural rigidity to the underlying geometric and material properties. Our results indicate that the mechanical response of elastic gridshells, and their underlying characteristic forces, are dictated by Euler's elastica rather than by shell-related quantities. The prominence of geometry that we identify in elastic gridshells should allow for our results to transfer across length scales: from architectural structures to micro/nano–1-df mechanical actuators and self-assembly systems.

[[{"fid":"51243","view_mode":"small_image_100px_h","fields":{"format":"small_image_100px_h","field_file_image_alt_text[und][0][value]":"","field_file_image_title_text[und][0][value]":""},"type":"media","attributes":{"class":"media-element file-small-image-100px-h"}}]]

In this talk we will introduce and analyse a class of robust numerical methods for nonlocal possibly nonlinear diffusion and convection-diffusion equations. Diffusion and convection-diffusion models are popular in Physics, Chemistry, Engineering, and Economics, and in many models the diffusion is anomalous or nonlocal. This means that the underlying “particle" distributions are not Gaussian, but rather follow more general Levy distributions, distributions that need not have second moments and can satisfy (generalised) central limit theorems. We will focus on models with nonlinear possibly degenerate diffusions like fractional Porous Medium Equations, Fast Diffusion Equations, and Stefan (phase transition) Problems, with or without convection. The solutions of these problems can be very irregular and even possess shock discontinuities. The combination of nonlinear problems and irregular solutions makes these problems challenging to solve numerically.
The methods we will discuss are monotone finite difference quadrature methods that are robust in the sense that they “always” converge. By that we mean that under very weak assumptions, they converge to the correct generalised possibly discontinuous generalised solution. In some cases we can also obtain error estimates. The plan of the talk is: 1. to give a short introduction to the models, 2. explain the numerical methods, 3. give results and elements of the analysis for pure diffusion equations, and 4. give results and ideas of the analysis for convection-diffusion equations. 
 

In 2012 Eskin, Fisher and Whyte proved there was a locally finite vertex transitive graph which was not quasi-isometric to any connected locally finite Cayley Graph. This motivates the study of vertex transitive graphs from a geometric group theory point of view. We will discus how concepts and problems from group theory generalise to this setting. Constructing one framework in which problems can be framed so that techniques from group theory can be applied. This is work in progress with Agelos Georgakopoulos.

TBA

Part of the series 'What do historians of mathematics do?'

In this talk, we will survey the movement of mathematical ideas in the 17th century. We will explore, in particular, the mathematical cultures of Paris, Amsterdam, Rome, Cape Town, Goa, Kyoto, Beijing, and London, as well as the journey of mathematical knowledge on a global scale. As it will be an ambitious task to complete a round-the-world history tour in an hour, the focus will be on East Asia. By employing the digital humanities technique, this presentation will use digital media to effectively show historical sources and help the audience imagine the world as a “round” entity when we discuss a global history of mathematics.

I will present a variation of positive model theory which addresses the issues of approximations of conventional geometric structures by sequences of Zariski structures as well as approximation by sequences of finite structures. In particular I am interested in applications to quantum mechanics.

I will report on a progress in defining and calculating oscillating in- tegrals of importance in quantum physics. This is based on calculating Gauss sums of order higher or equal to 2 over rings Z/mZ for very specific m. 

Some natural moduli problems give rise to stacks with infinite stabilizers. I will report on recent work with Dan Edidin where we give a canonical sequence of saturated blow-ups that makes the stabilizers finite. This generalizes earlier work in GIT by Kirwan and Reichstein, and on toric stacks by Edidin-More. Time permitting, I will also mention a recent application to generalized Donaldson-Thomas invariants by Kiem-Li-Savvas.

We construct a space of vector fields that are normal to differentiable curves in the plane. Its basis functions are defined via saddle point variational problems in reproducing kernel Hilbert spaces (RKHSs). First, we study the properties of these basis vector fields and show how to approximate them. Then, we employ this basis to discretise shape Newton methods and investigate the impact of this discretisation on convergence rates.

We prove that the dimension of every poset whose comparability graph has maximum degree $\Delta$ is at most $\Delta\log^{1+o(1)} \Delta$. This result improves on a 30-year old bound of F\"uredi and Kahn, and is within a $\log^{o(1)}\Delta$ factor of optimal. We prove this result via the notion of boxicity. The boxicity of a graph $G$ is the minimum integer $d$ such that $G$ is the intersection graph of $d$-dimensional axis-aligned boxes. We prove that every graph with maximum degree $\Delta$ has boxicity at most $\Delta\log^{1+o(1)} \Delta$, which is also within a $\log^{o(1)}\Delta$ factor of optimal. We also show that the maximum boxicity of graphs with Euler genus $g$ is $\Theta(\sqrt{g \log g})$, which solves an open problem of Esperet and Joret and is tight up to a $O(1)$ factor. This is joint work with Alex Scott (arXiv:1804.03271).

Structure from Motion (SfM) is a problem which asks: given photos of an object from different angles, can we reconstruct the object in 3D? This problem is important in computer vision, with applications including urban planning and autonomous navigation. A key part of SfM is bundle adjustment, where initial estimates of 3D points and camera locations are refined to match the images. This results in a high-dimensional nonlinear least-squares problem, which is typically solved using the Gauss-Newton method. In this talk, I will discuss how dimensionality reduction methods such as block coordinates and randomised sketching can be used to improve the scalability of Gauss-Newton for bundle adjustment problems.

Over the past decade, the randomized singular value decomposition (RSVD)
algorithm has proven to be an efficient, reliable alternative to classical
algorithms for computing low-rank approximations in a number of applications.
However, in cases where no information is available on the singular value
decay of the data matrix or the data matrix is known to be close to full-rank,
the RSVD is ineffective. In recent years, there has been great interest in
randomized algorithms for computing full factorizations that excel in this
regime.  In this talk, we will give a brief overview of some key ideas in
randomized numerical linear algebra and introduce a new randomized algorithm for
computing a full, rank-revealing URV factorization.

I will present a procedure for perturbatively constructing the field content of gravitational theories from a convolutive product of two Yang-Mills theories. A dictionary "gravity=YM * YM" is developed, reproducing the symmetries and dynamics of the gravity theory from those of the YM theories. I will explain the unexpected, yet crucial role played by the BRST ghosts of the YM system in the construction of gravitational fields. The dictionary is expected to develop into a solution-generating technique for gravity.
 

Wikipedia has more than 40 million articles in 280 languages. It represents a decent coverage of human knowledge.
Even with its biases it can tell us a lot about what's important for people. London has an article in 238 languages and
Swansea has in 73 languages. Is London more "culturally" important than Swansea? Probably. 
We use this information and look at various factors that could help us model "cultural" importance of a city and hence
try to find the driving force behind sister city relationships.
We also look at creating cultural maps of different cities, finding the artsy/hipster, academic, political neighbourhoods of a city.

Hilbert's 19th problem asks if minimizers of "natural" variational integrals are smooth. For the past century, this problem inspired fundamental regularity results for elliptic and parabolic PDES. It also led to the construction of several beautiful counterexamples to regularity. The dichotomy of regularity vs. singularity is related to that of single PDE (the scalar case) vs. system of PDEs (the vectorial case), and low dimension vs. high dimension. I will discuss some interesting recent counterexamples to regularity in low-dimensional vectorial cases, and outstanding open problems. Parts of this are joint works with A. Figalli and O. Savin.

Stochastic analysis on a Riemannian manifold is a well developed area of research in probability theory.

We will discuss some recent developments on stochastic analysis on a manifold whose Riemannian metric evolves with time, a typical case of which is the Ricci flow. Familiar results such as stochastic parallel transport, integration by parts formula, martingale representation theorem, and functional inequalities have interesting extensions from

time independent metrics to time dependent ones. In particular, we will discuss an extension of Beckner’s inequality on the path space over a Riemannian manifold with time-dependent metrics. The classical version of this inequality includes the Poincare inequality and the logarithmic Sobolev inequality as special cases.

I will prove that the knot Floer homology group
HFK-hat(K, g-1) for a genus g fibered knot K is isomorphic to a
variant of the fixed points Floer homology of an area-preserving
representative of its monodromy. This is a joint work with Gilberto
Spano.
 

A C^infinity scheme is a version of a scheme that uses a maximal spectrum. The category of C^infinity schemes contains the category of Manifolds as a full subcategory, as well as being closed under fibre products. In other words, this category is equipped to handle intersection singularities of smooth spaces.

While originally defined in the set up of Synthetic Differential Geometry, C^infinity schemes have more recently been used to describe derived manifolds, for example, the d-manifolds of Joyce. There are applications of this in Symplectic Geometry, such as the describing the moduli space of J-holomorphic forms.

In this talk, I will describe the category of C^infinity schemes, and how this idea can be extended to manifolds with corners. If time, I will mention the applications of this in derived geometry.

The signature of a parametric curve is a sequence of tensors whose entries are iterated integrals, and they are central to the theory of rough paths in stochastic analysis.  For some special families of curves, such as polynomial paths and piecewise-linear paths, their parametrized signature tensors trace out algebraic varieties in the space of all tensors. We introduce these varieties and examine their fundamental properties, while highlighting their intimate connection to the problem of recovering a path from its signature. This is joint work with Peter Friz and Bernd Sturmfels. 

I will overview my research for a general math audience.

 First I will present the biological questions and motivate why systems biology needs computational algebraic biology and topological data analysis. Then I will present the mathematical methods I've developed to study these biological systems. Throughout I will provide examples.

Jan Sbierski

Title: On the unique evolution of solutions to wave equations

Abstract: An important aspect of any physical theory is the ability to predict the future of a system in terms of an initial configuration. This talk focuses on wave equations, which underlie many physical theories. We first present an example of a quasilinear wave equation for which unique predictability in fact fails and then turn to conditions which guarantee predictability. The talk is based on joint work with Felicity Eperon and Harvey Reall.

Andrew Krause

Title: Surprising Dynamics due to Spatial Heterogeneity in Reaction-Diffusion Systems

Abstract: Since Turing's original work, Reaction-Diffusion systems have been used to understand patterning processes during the development of a variety of organisms, as well as emergent patterns in other situations (e.g. chemical oscillators). Motivated by understanding hair follicle formation in the developing mouse, we explore the use of spatial heterogeneity as a form of developmental tuning of a Turing pattern to match experimental observations of size and wavelength modulation in embryonic hair placodes. While spatial heterogeneity was nascent in Turing's original work, much work remains to understand its effects in Reaction-Diffusion processes. We demonstrate novel effects due to heterogeneity in two-component Reaction-Diffusion systems and explore how this affects typical spatial and temporal patterning. We find a novel instability which gives rise to periodic creation, translation, and destruction of spikes in several classical reaction-diffusion systems and demonstrate that this periodic spatiotemporal behaviour appears robustly away from Hopf regimes or other oscillatory instabilities. We provide some evidence for the universal nature of this phenomenon and use it as an exemplar of the mostly unexplored territory of explicit heterogeneity in pattern formation.
 

Classical work of Jeffery from 1922 established how at low Reynolds number, ellipsoids in steady shear flow undergo periodic motion with non-uniform rotation rate, termed 'Jeffery orbits'.  I will present two problems where Jeffery orbits play a critical role in understanding the transport and aggregation of rod-shaped organisms.  I will discuss the trapping of motile chemotactic bacteria in high shear, and the sedimentation rate of negatively buoyant plankton. 

In this talk I will present a unified approach for the effect of fast rotation and dispersion as an averaging mechanism for, on the one hand, regularizing and stabilizing certain evolution equations, such as the Navier-Stokes and Burgers equations. On the other hand, I will  also present some results in which large dispersion acts as a destabilizing mechanism for the long-time dynamics of certain dissipative evolution equations, such as the Kuramoto-Sivashinsky equation. In addition, I will present some new results concerning two- and three-dimensional turbulent flows with high Reynolds numbers in periodic domains, which exhibit ``Landau-damping" mechanism due to large spatial average in the initial data.

Single parameter persistent homology has proven to be a useful data analytic tool and single parameter persistence modules enjoy a concise description as a barcode, a complete invariant. [Bubenik, 2012] derived a topological summary closely related to the barcode called the persistence landscape which is amenable to statistical analysis and machine learning techniques.

The theory of multidimensional persistence modules is presented in [Carlsson and Zomorodian, 2009] and unlike the single parameter case where one may associate a barcode to a module, there is not an analogous complete discrete invariant in the multiparameter setting. We propose an incomplete invariant derived from the rank invariant associated to a multiparameter persistence module, which generalises the single parameter persistence landscape in [Bubenik, 2012] and satisfies similar stability properties with respect to the interleaving distance. Our invariant naturally lies in a Banach Space and so is naturally endowed with a distance function, it is also well suited to statistical analysis since there is a uniquely defined mean associated to multiple landscapes. We shall present computational examples in the 2-parameter case using the RIVET software presented in [Lesnick and Wright, 2015].

Let $f_1,\dots,f_k$ be real polynomials with no constant term and degree at most $d$. We will talk about work in progress showing that there are integers $n$ such that the fractional part of each of the $f_i(n)$ is very small, with the quantitative bound being essentially optimal in the $k$-aspect. This is based on the interplay between Fourier analysis, Diophantine approximation and the geometry of numbers. In particular, the key idea is to find strong additive structure in Fourier coefficients.

In this talk we present a framework for discretely compounding
interest rates which is based on the forward price process approach.
This approach has a number of advantages, in particular in the current
market environment. Compared to the classical Libor market models, it
allows in a natural way for negative interest rates and has superb
calibration properties even in the presence of persistently low rates.
Moreover, the measure changes along the tenor structure are simplified
significantly. This property makes it an excellent base for a
post-crisis multiple curve setup. Two variants for multiple curve
constructions will be discussed.

As driving processes we use time-inhomogeneous Lévy processes, which
lead to explicit valuation formulas for various interest rate products
using well-known Fourier transform techniques. Based on these formulas
we present calibration results for the two model variants using market
data for caps with Bachelier implied volatilities.

Tubing issues: 

- Moving a sphere in a narrow pipe

What is the force required to move an object inside a narrow elastic pipe? The constriction by the tube induces a normal force on the sphere. In the case of solid friction, the pulling force may  be simply deduced from Coulomb’s law. How does is such force modified by the addition of a lubricant? This coupled problem between elasticity and viscous flow results in a non-linear dependence of the force with the traction speed.

[[{"fid":"51328","view_mode":"media_portrait_small","fields":{"format":"media_portrait_small","field_file_image_alt_text[und][0][value]":"","field_file_image_title_text[und][0][value]":""},"type":"media","attributes":{"height":"300","width":"258","class":"media-element file-media-portrait-small"}}]]

- Baromorphs

When a bicycle tyre is inflated the cross section of the pipe increases much more than its circumference. Can we use this effect to induce non-isotropic growth in a plate?  We developed, through standard casting techniques, flat plates imbedded with a network of channels of controlled geometry. How are such plates deformed as pressure is applied to this network? Using a simplified mechanical model, 3D complex shapes can be programmed and dynamically actuated. 

[[{"fid":"51329","view_mode":"media_portrait_small","fields":{"format":"media_portrait_small","field_file_image_alt_text[und][0][value]":"","field_file_image_title_text[und][0][value]":""},"type":"media","attributes":{"height":"300","width":"258","class":"media-element file-media-portrait-small"}}]]

A very common problem in Science is that we have some Data Observations and we are interested in either approximating the function underlying the data or computing some quantity of interest about this function.  This talk will discuss what are best algorithms for such tasks and how we can evaluate the performance of any such algorithm.
 

We consider the discrete Bilaplacian on a cube in two and three dimensions with zero boundary data and prove estimates for its Green's function that are sharp up to the boundary. The main tools in the proof are Caccioppoli estimates and a compactness argument which allows one to transfer estimate for continuous PDEs to the discrete setting. One application of these estimates is to understand the so-called membrane model from statistical physics, and we will outline how these estimates can be applied to understand the phenomenon of entropic repulsion. We will also describe some connections to numerical analysis, in particular another approach to these estimates based on convergence estimates for finite difference schemes.

tba

Symplectic cohomology is a Floer cohomology invariant of compact symplectic manifolds 
with contact type boundary, or of open symplectic manifolds with a certain geometry 
at the infinity. It is a graded unital K-algebra related to quantum cohomology, 
and for cotangent bundle, it recovers the homology of a loop space. During the talk 
I will define symplectic cohomology and show some of the results on its (non) vanishing. 
Time permitting, I will also mention natural TQFT algebraic structure on it.

There is currently a large interest in the applications of the Blockchain technology. After the well known success of the cryptocurrency Bitcoin, several other real-world applications of Blockchain technology have been proposed, often raising privacy concerns. We will discuss the potential of advanced cryptographic tools in relaxing the tension between pros and cons of this technology.

The Simonyi Lecture is an annual lecture under the auspices of the Charles Simonyi Professor for the Public Understanding of Science, Marcus du Sautoy. It is not part of the Oxford Mathematics Public Lectures series but its themes and topics touch not only on mathematics but the wider natural sciences and beyond. All are very welcome and there is no need to register.

---

In this year’s Simonyi Lecture Geoffrey West discusses universal laws that govern everything from growth to mortality in plants, animals, cities and companies. These remarkable laws originate in the networks that sustain life from circulatory to social systems and help us address big, urgent questions from population explosion, urbanization, lifespan and cancer, to the accelerating pace of life and global sustainability. Why do we stop growing and live about 100 years rather than 1000, or just two like mice? Why do we sleep eight hours a day and not three like elephants? Why do all companies and people die whereas cities keep growing? How are these related to innovation, wealth creation, and “singularities”? And is any of this sustainable? 

Geoffrey West is a theoretical physicist whose primary interests have been in fundamental questions in physics, biology and social organizations  West is a distinguished professor at the Sante Fe Institute, where he served as the president from 2004-2008. He is author of the recent best-selling book 'Scale'.