Past

Blisters form when a thin surface layer of a solid body separates/delaminates from the underlying bulk material over a finite, bounded region. It is ubiquitous in a range of industrial applications, e.g. blister test is applied to assess the strength of adhesion between thin elastic films and their solid substrates, and during natural processes, such as formation and spreading of laccoliths or retinal detachment.

We study a special case of blistering, in which a thin elastic membrane is adhered to the substrate by a thin layer of viscous fluid. In this scenario, the expansion of the newly formed blister by fluid injection occurs via a displacement flow, which peels apart the adhered surfaces through a two-way interaction between flow and deformation. If the injected fluid is less viscous than the fluid already occupying the gap, patterns of short and stubby fingers form on the propagating fluid interface in a radial geometry. This process is regulated by membrane compliance, which if increased delays the onset of fingering to higher flow rates and reduces finger amplitude. We find that the morphological features of the fingers are selected in a simple way by the local geometry of the compliant cell. In contrast, the local geometry itself is determined from a complex fluid–solid interaction, particularly in the case of rectangular blisters. Furthermore, changes to the geometry of the channel cross-section in the latter case lead to a rich variety of possible interfacial patterns. Our experiments provide a link between studies of airway reopening, Saffman-Taylor fingering and printer’s instability.   

We discuss the key role that bespoke linear algebra plays in modelling PDEs with random coefficients using stochastic Galerkin approximation methods. As a specific example, we consider nearly incompressible linear elasticity problems with an uncertain spatially varying Young's modulus. The uncertainty is modelled with a finite set of parameters with prescribed probability distribution.  We introduce a novel three-field mixed variational formulation of the PDE model and and  assess the stability with respect to a weighted norm. The main focus will be  the efficient solution of the associated high-dimensional indefinite linear system of equations. Eigenvalue bounds for the preconditioned system can be  established and shown to be independent of the discretisation parameters and the Poisson ratio.  We also  discuss an associated a posteriori error estimation strategy and assess proxies for the error reduction associated with selected enrichments of the approximation spaces.  We will show by example that these proxies enable the design of efficient  adaptive solution algorithms that terminate when the estimated error falls below a user-prescribed tolerance.

This is joint work with Arbaz Khan and Catherine Powell

Tanut Treetanthiploet
---------------------
Exploration vs Exploitation under Statistical Uncertainty

The exploration vs Exploitation trade-off can be quantified and studied through the notion of statistical uncertainty using the theory of nonlinear expectations. The dynamic allocation problem of multi-armed bandits will be discussed. In the case of a finite state space in discrete time, we can describe the value function in terms of the solution to a discrete BSDE and obtain a similar notion to the Bellman equation. We also give an approximation scheme to evaluate decisions in the simple setting.


Julien Vaes
-----------
Optimal Execution Strategy Under Price and Volume Uncertainty

In the seminal paper on optimal execution of portfolio transactions, Almgren and Chriss define the optimal trading strategy to liquidate a fixed volume of a single security under price uncertainty. Yet there exist situations, such as in the power market, in which the volume to be traded can only be estimated and becomes more accurate when approaching a specified delivery time. To meet the need of efficient strategies in these situations, we have developed  a model that accounts for volume uncertainty and show that a risk-averse trader has benefit in delaying their trades. We show that the optimal strategy is a trade-off between early and late trades to balance risk associated to both price and volume. With the incorporation of a risk term for the volume to trade, the static optimal strategies obtained with our model avoid the explosion in the algorithmic complexity associated to dynamic programming solutions while yielding to competitive performance.
 

In this talk I will discuss recent work with P. Daskalopoulos on sufficient conditions to prove uniqueness of complete graphs evolving by mean curvature flow. It is interesting to remark that the behaviour of solutions to mean curvature flow differs from the heat equation, where non-uniqueness may occur even for smooth initial conditions if the behaviour at infinity is not prescribed for all times. 

NSOP1 is a class of first order theories containing simple theories, which contains many natural examples that somehow slip-out of the simple context.

As in simple theories, NSOP1 theories admit a natural notion of independence dubbed Kim-independence, which generalizes non-forking in simple theories and satisfies many of its properties.

In this talk I will explain all these notions, and in particular talk about recent progress (joint with Nick Ramsey) in the study of Kim-independence, showing transitivity and several consequences.

I will give a description of a method introduced by N. Ivanov to study the abstract commensurator of a group by using a rigid action of that group on a graph. We will sketch Ivanov's theorem regarding the abstract commensurator of a mapping class group. Time permitting, I will describe how these methods are used in some of my recent work with Horbez on outer automorphism groups of free groups.

We survey recent research related to the Extension Property of Partial Isomorhisms (EPPA, also known as Hrushovski property) and, perhaps surprisingly, relate it to structural Ramsey theory.   This is based on a joint work with David Evans, Jan Hubicka and Matej Konecny.
 

Not much is known about the Chow rings  of moduli spaces of abelian varieties or more general Shimura varieties. The tautological ring of a Shimura variety of Hodge type is a subring of its Chow ring containing many "interesting" classes. I will talk about joint work with Torsten Wedhorn on this ring as well as its characteristic p variant. The later is strongly related to the question of understanding the cycle classes of Ekedahl-Oort strata in the Chow ring.

Cluster Adjacency is a geometric principle which defines a subclass of multiple polylogarithms with analytic properties compatible with that of scattering amplitudes and Feynman loop integrals. We use this principle to a priori remove the redundances in the perturbative bootstrap approach and efficiently compute the four-loop NMHV heptagon. Moreover, cluster adjacency is naturally applied to the space of $A_n$ polylogarithms and generates numerous structures therein to be explored further.

A common strategy to solve shape optimization problems is to select an initial domain and to update it iteratively until it satisfies certain optimality crietria. In the presence of PDE-constraints, computing these updates requires solving a boundary value problem on a domain that changes at every iteration. We explain how to use isoparametric finite elements to tackle this issue. We also show how finite elements allow computing these updates without deriving shape derivative formulas by hand.

There was major progress on perfect graphs in the early 2000's: Chudnovsky, Robertson, Thomas and I proved the ``strong perfect graph theorem'' that a graph is perfect if and only if it has no odd hole or odd antihole; and Chudnovsky, Cornuejols, Liu, Vuscovic and I found a polynomial-time algorithm to test whether a graph has an odd hole or odd antihole, and thereby test if it is perfect. (A ``hole'' is an induced cycle of length at least four, and an ``antihole'' is a hole in the complement graph.)

What we couldn't do then was test whether a graph has an odd hole, and this has stayed open for the last fifteen years, despite some intensive effort. I am happy to report that in fact it can be done in poly-time (in time O(|G|^{12}) at the last count), and in this talk we explain how.

Joint work with Maria Chudnovsky, Alex Scott, and Sophie Spirkl.

The classical Dirac operator is part of an osp(1|2) realisation inside the Weyl-Clifford algebra which is Pin-invariant. This leads to a multiplicity-free decomposition of the space of spinor-valued polynomials in irreducible modules for this Howe dual pair. In this talk we review an abstract generalisation A of the Weyl algebra that retains a realisation of osp(1|2) and we determine its centraliser algebra explicitly. For the special case where A is a rational Cherednik algebra, the centralizer algebra provides a refinement of the previous decomposition whose analogue was no longer irreducible in general. As an example, for the  group S3 in specific, we will examine the finite-dimensional irreducible modules of the centraliser algebra.

In this talk, we consider solving nonlinear systems of equations and the unconstrained minimization problem using Newton’s method methods from the Halley class. The methods in this class have in general local and third order rate of convergence while Newton’s method has quadratic convergence. In the unconstrained optimization case, the Halley methods will require the second and third derivative. Third-order methods will, in most cases, use fewer iterations than a second-order method to reach the same accuracy. However, the number of arithmetic operations per iteration is higher for third-order methods than for a second-order method. We will demonstrate that for a large class of problems, the ratio of the number of arithmetic operations of Halley’s method and Newton’s method is constant per iteration (independent of the number of unknowns).

We say that the sparsity pattern of the third derivative (or tensor) is induced by the sparsity pattern of the Hessian matrix. We will discuss some datastructures for matrices where the indices of nonzero elements of the tensor can be computed. Historical notes will be merged into the talk.

Coastal vegetation has a well-known effect of attenuating waves; however, quantifiable measures of attenuation for general wave and vegetation scenarios are not well known. On the plant scale, there are extensive studies in predicting the dynamics of a single plant in an oscillatory flow. On the coastal scale however, there are yet to be compact models which capture the dynamics of both the flow and vegetation, when the latter exists in the form of a dense canopy along the bed. In this talk, we will discuss the open questions in the field and the modelling approaches involved. In particular, we investigate how micro-scale effects can be homogenised in space and how periodic motions can be averaged in time.

I will review the fishnet model, which is an integrable scalar QFT, obtained by an extreme gamma deformation of N=4 super Yang-Mills. The theory has a peculiar perturbative expansion in which many quantities at a fixed loop order are given by a single Feynman diagram. This feature allows the reinterpretation of Feynman loop integrals as integrable systems.

We examine the relationship between social structure and sentiment through the analysis of a large collection of tweets about the Irish Marriage Referendum of 2015. We obtain the sentiment of every tweet with the hashtags #marref and #marriageref that was posted in the days leading to the referendum, and construct networks to aggregate sentiment and use it to study the interactions among users. Our analysis shows that the sentiment of outgoing mention tweets is correlated with the sentiment of incoming mentions, and there are significantly more connections between users with similar sentiment scores than among users with opposite scores in the mention and follower networks. We combine the community structure of the follower and mention networks with the activity level of the users and sentiment scores to find groups that support voting ‘yes’ or ‘no’ in the referendum. There were numerous conversations between users on opposing sides of the debate in the absence of follower connections, which suggests that there were efforts by some users to establish dialogue and debate across ideological divisions. Our analysis shows that social structure can be integrated successfully with sentiment to analyse and understand the disposition of social media users around controversial or polarizing issues. These results have potential applications in the integration of data and metadata to study opinion dynamics, public opinion modelling and polling.

The Euler equation describing motion of ideal fluids goes back to 1755. 
The analysis of the equation is challenging since it is nonlinear and nonlocal. Its solutions are often unstable and spontaneously generate small scales. The fundamental question of global regularity vs finite time singularity formation 
remains open for the Euler equation in three spatial dimensions. In this lecture, I will review the history of this question and its connection with the arguably greatest unsolved problem of classical physics, turbulence. Recent results on small scale and singularity formation in two dimensions and for a number of related models will also be presented.

I will describe an extremely easy construction with formal group laws, and a 
slightly more subtle argument to show that it can be done in a coordinate-free
way with formal groups.  I will then describe connections with a range of other
phenomena in stable homotopy theory, although I still have many more 
questions than answers about these.  In particular, this should illuminate the
relationship between the Lambda algebra and the Dyer-Lashof algebra at the
prime 2, and possibly suggest better ways to think about related things at 
odd primes.  The Morava K-theory of symmetric groups is well-understood
if we quotient out by transfers, but somewhat mysterious if we do not pass
to that quotient; there are some suggestions that dilation will again be a key
ingredient in resolving this.  The ring $MU_*(\Omega^2S^3)$ is another
object for which we have quite a lot of information but it seems likely that 
important ideas are missing; dilation may also be relevant here.
 

This talk is based on joint work with Dominic Joyce and Markus Upmeier. Issues we'd like to talk about are a) the orientability of moduli spaces that
appear in various gauge-theoretic problems; and b) how to orient those moduli spaces if they are orientable. We begin with briefly mentioning backgrounds and motivation, and recall basics in gauge theory such as the Atiyah-Hitchin-Singer complex and the Kuranishi model by taking the anti-self-dual instanton moduli space as an example. We then describe the orientability and canonical orientations of the anti-self-dual instanton moduli space, and other
gauge-theoretic moduli spaces which turn up in current research interests.

 Author of Alan Turing: The Enigma, sharing his academic path and experience as activist for LGBTQ+ rights

In this talk, we show that a range of non-trivial SU(3) structures can be constructed on large classes of Calabi-Yau three-folds. Among the possible SU(3) structures we find Strominger-Hull systems, suitable for heterotic or type II string compactifications. These SU(3) structures of Strominger-Hull type have a non-vanishing and non-closed three-form flux which needs to be supported by source terms in the associated Bianchi identity. We discuss the possibility of finding such source terms and present first steps towards their explicit construction. Provided suitable sources exist, our methods lead to Calabi-Yau compactifications of string theory with a non Ricci-flat, physical metric which can be written down explicitly and in analytic form. The talk is based on the paper 1805.08499.

Thomas Prince The double life of the number 24.

The number 24 appears in a somewhat surprising result in the study of polyhedra with integer lattice points. In a different setting, the number 24 is the Euler characteristic of a K3 surface: a four (real) dimensional object which plays a central role in algebraic geometry. We will hint at why both instances of 24 are in fact the same, and suggest that integral affine geometry can be used to interpolate between the realm of integral polytopes and the world of complex algebraic geometry.

Mohit Dalwadi A multiscale mathematical model of bacterial nutrient uptake

In mathematical models that include nutrient delivery to bacteria, it is prohibitively expensive to include many small bacterial regions acting as volumetric nutrient sinks. To combat this problem, such models often impose an effective uptake instead. However, it is not immediately clear how to relate properties on the bacterial scale with this effective result. For example, one may intuitively expect the effective uptake to scale with bacterial volume for weak first-order uptake, and with bacterial surface area for strong first-order uptake. I will present a general model for bacterial nutrient uptake, and upscale the system using homogenization theory to determine how the effective uptake depends on the microscale bacterial properties. This will show us when the intuitive volume and surface area scalings are each valid, as well as the correct form of the effective uptake when neither of these scalings is appropriate.
 

Are you keen to share your love of maths with non-mathematicians, but aren’t sure where to start? Whether you're keen to get involved in outreach activities at Oxford, or you'd just like to explain to your friends and family what you do all term, there's something for everyone in our interactive hour of workshop activities, and lots of laughs along the way. Just bring plenty of enthusiasm, and come prepared with a bit of mathematics you particularly like. 

This session is open to all, and no prior outreach experience is necessary.

In this talk I will show the nature, the properties and the features of the Pareto Optimality in a diverse set of phenomena modeled as complex networks.
I will present a composite design methodology for multi-objective modeling and optimization of complex networks.  The method is based on the synergy of different algorithms and computational techniques for the analysis and modeling of natural systems (e.g., metabolic pathways in prokaryotic and eukaryotic cells) and artificial systems (e.g., traffic networks, analog circuits and solar cells).

“Pareto Optimality in Multilayer Network Growth”
G. Nicosia et al, Phys. Rev. Lett., 2018