Past

TBC

We discuss shock reflection problem for compressible gas dynamics, von Neumann conjectures on transition between regular and Mach reflections. Then we describe recent results on existence and uniqueness of regular reflection solutions for potential flow equation, and discuss some techniques involved in the proof. The approach is to reduce the shock reflection problem to a free boundary problem, and prove existence and uniqueness by a version of method of continuity. This involves apriori estimates of solutions in the elliptic region of the equation of mixed type, with ellipticity degenerating on some part of the boundary. For the proof of uniqueness, an important property of solutions is convexity of the free boundary. We will also discuss some open problems.

This talk is based on joint works with G.-Q. Chen and W. Xiang.

In the Boussinesq framework, velocity couples to density fluctuations whereas in magnetohydrodynamic turbulence, the velocity field is coupled to the magnetic field. Both systems support waves (inertia-gravity in the presence of rotation, or Alfvén), with anisotropic dispersion relations. What kind of turbulence regimes result from the interactions between waves and nonlinear eddies in such flows? And what is delimiting these regimes?

I shall sketch the phenomenological framework for rotating stratified turbulence within which one is led to scaling laws in terms of the Froude number, Fr=U/[LN], which measures the relative celerity of gravity waves and nonlinear eddies, with U and L characteristic velocity and length scale, and N the Brunt-V\"ais\"al\"a frequency. These laws apply to the mixing efficiency of such flows, indicating the relative roles of the buoyancy flux due to the waves, and of the measured kinetic and potential energy dissipation rates. Various measures of mixing are found to follow power laws in terms of the Froude number, and may differ for the three regimes that can be identified, namely the wave-dominated, wave-eddy balance and eddy-dominated domains [1]. In particular, in the intermediate regime, the effective dissipation varies linearly with Fr, in agreement with simple wave-turbulence arguments. This analysis is inspired by and corroborates results from a large parametric study using direct numerical simulations (DNS) on grids of 1024^3 points, as well as from atmospheric and oceanic observations.

Such scaling laws can be related to previous DNS results concerning the existence for the energy of bi-directional constant-flux cascades to both the small scales and to the large scales, due to the presence of rotation in such flows, as measured for example in the ocean. These dual energy cascades lead to an alteration, and a decrease, of the mixing and available energy to be dissipated in the small scales [2]. Some perspectives might also be given at the end of the talk.

[1] A. Pouquet, D. Rosenberg, R. Marino & C. Herbert, Scaling laws for mixing and dissipation in unforced rotating stratified turbulence. J. Fluid Mechanics 844, 519, 2018.
[2] R. Marino, A. Pouquet & D. Rosenberg, Resolving the paradox of oceanic large-scale balance and small-scale mixing. Physical Review Letters 114, 114504, 2015.

Motivic homotopy theory gives a way of viewing algebraic varieties and topological spaces as objects in the same category, where homotopies are parametrised  by the affine line.  In particular, there is a notion of $\mathbb A^1$ contractible varieties.  Affine spaces are $\mathbb A^1$ contractible by definition.  The Koras-Russell threefold KR defined by the equation $x + x^2y + z^2 + t^3 = 0$ in $\mathbb A^4$ is the first nontrivial example of an $\mathbb A^1$ contractible smooth affine variety.  We will discuss this example in some detail, and speculate on whether one can use motivic homotopy theory to distinguish between KR and $\mathbb A^3$.

The tree amplituhedron A(n, k, m) is a geometric object generalizing the positive Grassmannian, which was introduced by Arkani-Hamed and Trnka in 2013 in order to give a geometric basis for the computation of scattering amplitudes in N=4 supersymmetric Yang-Mills theory. I will give a gentle introduction to the amplituhedron, and then describe what it looks like in various special cases. For example, one can use the theory of sign variation and matroids to show that the amplituhedron A(n, k, 1) can be identified with the complex of bounded faces of a cyclic hyperplane arrangement. I will also present some conjectures relating the amplituhedron A(n, k, m) to combinatorial objects such as non-intersecting lattice paths and plane partitions. This is joint work with Steven Karp, and part of it is additionally joint work with Yan Zhang.

As we have learned over the last 10 years, many exact results for various observables in three-dimensional N=2 supersymmetric theories can be extracted from the computation of "supersymmetric partition functions" on curved three-manifold M_3, for instance on M_3= S^3 the three-sphere. Typically, such computations must be carried anew for each M_3 one might want to consider, and the technical difficulties mounts as the topology of M_3 gets more involved. In this talk, I will explain a different approach that allows us to compute the partition function on "almost" any half-BPS geometry. The basic idea is to relate different topologies by the insertion of certain half-BPS line defects, the "geometry-changing line operators." I will also explain how our formalism can be related to the Beem-Dimofte-Pasquetti holomorphic blocks. [Talk based on a paper to appear in a week, with Heeyeon Kim and Brian Willett.]
 

Poor economies not only produce less; they typically produce things that involve fewer inputs and fewer intermediate steps. Yet the supply chains of poor countries face more frequent disruptions - delivery failures, faulty parts, delays, power outages, theft, government failures - that systematically thwart the production process.

To understand how these disruptions affect economic development, we model an evolving input-output network in which disruptions spread contagiously among optimizing agents. The key finding is that a poverty trap can emerge: agents adapt to frequent disruptions by producing simpler, less valuable goods, yet disruptions persist. Growing out of poverty requires that agents invest in buffers to disruptions. These buffers rise and then fall as the economy produces more complex goods, a prediction consistent with global patterns of input inventories. Large jumps in economic complexity can backfire. This result suggests why "big push" policies can fail, and it underscores the importance of reliability and of gradual increases in technological complexity.

The World population is growing at about 80 million per year.  As time goes by, there is necessarily less space per person. Perhaps this is why the scientific community seems to be obsessed with folding things.  In this lecture Dick James presents a mathematical approach to “rigid folding” inspired by the way atomistic structures form naturally - their features at a molecular level imply desirable features for macroscopic structures as well, especially 4D structures.  Origami structures even suggest an unusual way to look at the Periodic Table.

Richard D. James is Distinguished McKnight University Professor at the University of Minnesota.

Please email @email to register.

The Oxford Mathematics Public Lectures are generously supported by XTX Markets.

Over 50 years ago, Bondi, Sachs, Newman, Penrose and others laid down foundations for the theory of gravitational waves in full non-linear general relativity. In particular, numerical simulations of binary mergers used in the recent discovery of gravitational waves are based on this theory. However, over the last 2-3 decades, observations have also revealed that the universe is accelerating in a manner consistent with the presence of a positive cosmological constant $\Lambda$. Surprisingly, it turns out that even the basic notions of the prevailing theory of gravitational waves --the Bondi news, the radiation field, the Bondi-Sachs 4-momentum-- do not easily generalize to this context, {\it no matter how small $\Lambda$ is.} Even in the weak field limit, it took a hundred years to find an appropriate generalization of Einstein's celebrated quadrupole formula to accommodate a positive cosmological constant. I will summarize the main issues and then sketch the current state of the art.
 

I am going to report on some developments in regularity theory of nonlinear, degenerate equations, with special emphasis on estimates involving linear and nonlinear potentials. I will cover three main cases: degenerate nonlinear equations, systems, non-uniformly elliptic operators. 

In this talk, we shall provide a comprehensive variational principle that allows one to apply critical point theory on closed proper subsets of a given Banach space and yet, to obtain critical points with respect to the whole space.
This variational principle has many applications in partial differential equations while unifies and generalizes several results in nonlinear Analysis such as the fixed point theory, critical point theory on convex sets and the principle of symmetric criticality.

A proper simply connected one-ended metric space is call semi-stable if any two proper rays are properly homotopic.  A finitely presented group is called semi-stable if the universal cover of its presentation 2-complex is semi-stable.  
It is conjectured that every finitely presented group is semi-stable.  We will examine the known results for the cases where the group in question is relatively hyperbolic or CAT(0). 
 

Signed permutation modules of symmetric groups and Iwahori-hecke algebras
 

Mathematical models based on first principles can describe the interaction between electrical, mechanical and fluid-dynamical processes occurring in the heart. This is a classical multi-physics problem. Appropriate numerical strategies need to be devised to allow for an effective description of the fluid in large and medium size arteries, the analysis of physiological and pathological conditions, and the simulation, control and shape optimisation of assisted devices or surgical prostheses. This presentation will address some of these issues and a few representative applications of clinical interest.

There are many interesting problems surrounding the unit group U(RG) of the ring RG, where R is a commutative ring and G is a finite group. Of particular interest are the finite subgroups of U(RG). In the seventies, Zassenhaus conjectured that any u in U(ZG) is conjugate, in the group U(QG), to an element of the form +/-g, where g is an element of the group G. This came to be known as the "(first) Zassenhaus conjecture". I will talk about the recent construction of a counterexample to this conjecture (this is joint work with L. Margolis), and recent work on related questions in the modular representation theory of finite groups.

A granular material forms a distinct and fascinating phase in physics -- sand acts as a fluid as grains flow through your fingers, the fallen grains form a solid heap on the floor or may suspend in the wind like a gas.

The main challenge of studying granular materials is the development of constitutive models valid across scales, from the micro-scale (collisions between individual particles), via the meso-scale (flow structures inside avalanches) to the macro-scale (dunes, heaps, chute flows).

In this talk, I am highlighting three recent projects from my laboratory, each highlighting physical behavior at a different scale. First, using the property of birefringence, we are quantifying both kinetic and dynamic properties in an avalanche of macroscopic particles and measure rheological properties. Secondly, we explore avalanches on an erodible bed that display an intriguing dynamic intermittency between regimes. Lastly, we take a closer look at aqueous (water-driven) dunes in a novel rotating experiment and resolve an outstanding scaling controversy between migration velocity and dune dimension.

Ultrasound (US) imaging is one of the first steps in a continuum of pregnancy care. During the fetal period, the brain undergoes dramatic structural changes, many of which are informative of healthy maturation. The resolution of modern US machines enables us to observe and measure brain structures, as well as detect cerebral abnormalities in fetuses from as early as 18 weeks. Recent breakthroughs in machine learning techniques for image analysis introduce opportunities to  develop bespoke methods to track spatial and temporal patterns of fetal brain development. My work focuses on the design of appropriate data-driven techniques to extract developmental information from standard clinical US images of the brain.

We would like to introduce a few different setups of martingale optimal transport problem in dimension greater than one. Optimal correlations of martingales become an interesting issue, and each problem has its own unique feature in this regard

Abstract: In 2016 Ayyer, Prasad and Spallone proved that the restriction to 
S_{n-1} of any odd degree irreducible character of S_n has a unique irreducible 
constituent of odd degree.
This result was later generalized by Isaacs, Navarro Olsson and Tiep.
In this talk I will survey some recent developments on this topic.

Manin’s conjecture predicts the asymptotic behavior of the number of rational points of bounded height on Fano varieties over number fields. We prove this conjecture for a family of nonsplit singular quartic del Pezzo surfaces over arbitrary number fields. For the proof, we parameterize the rational points on such a del Pezzo surface by integral points on a nonuniversal torsor (which is determined explicitly using a Cox ring of a certain type), and we count them using a result of Barroero-Widmer on lattice points in o-minimal structures. This is joint work in progress with Marta Pieropan.

This talk will be a general introduction to perverse sheaves and their applications to the study of algebraic varieties, with a view towards enumerative geometry. It is aimed at non-experts.

We will start by considering constructible sheaves and local systems, and how they relate to the notion of stratification: this offers some insight in the relationship with intersection cohomology, which perverse sheaves generalise in a precise sense.

We will then introduce some technical notions, like t-structures, perversities, and intermediate extensions, in order to define perverse sheaves and explore their properties.

Time permitting, we will consider the relevant example of nearby and vanishing cycle functors associated with a critical locus, their relationship with the (hyper)-cohomology of the Milnor fibre and how this is exploited to define refined enumerative invariants in Donaldson-Thomas theory.

We present several instances of applications of machine
learning technologies in mathematical Finance including pricing,
hedging, calibration and filtering problems. We try to show that
regularity theory of the involved equations plays a crucial role
in designing such algorithms.

(based on joint works with Hans Buehler, Christa Cuchiero, Lukas
Gonon, Wahid Khosrawi-Sardroudi, Ben Wood)

Locomotion strategies employed by unicellular organism are a rich source of inspiration for studying mechanisms for shape control. They are particularly interesting because they are invisible to the naked eye, and offer surprising new solutions to the question of how shape can be controlled.

In recent years, we have studied locomotion and shape control in Euglena gracilis. This unicellular protist is particularly intriguing because it can adopt different motility strategies: swimming by flagellar propulsion, or crawling thanks to large amplitude shape changes of the whole body (a behavior known as metaboly). We will survey our most recent findings within this stream of research.

Random matrices now play a role in many areas of theoretical, applied, and computational mathematics. Therefore, it is desirable to have tools for studying random matrices that are flexible, easy to use, and powerful. Over the last fifteen years, researchers have developed a remarkable family of results, called matrix concentration inequalities, that balance these criteria. This talk offers an invitation to the field of matrix concentration inequalities and their applications.

We will study the l1-homology of the 2-class in one relator groups. We will see that there are many qualitative and quantitive similarities between the l1-norm of the top dimensional class and the stable commutator length of the defining relation. As an application we construct manifolds with small simplicial volume.

This work in progress is joint with Clara Loeh.

Every topological space is metrisable once the symmetry axiom is abandoned and the codomain of the metric is allowed to take values in a suitable structure tailored to fit the topology (and every completely regular space is similarly metrisable while retaining symmetry). This result was popularised in 1988 by Kopperman, who used value semigroups as the codomain for the metric, and restated in 1997 by Flagg, using value quantales. In categorical terms, each of these constructions extends to an equivalence of categories between the category Top and a category of all L-valued metric spaces (where L ranges over either value semigroups or value quantales) and the classical \epsilon-\delta notion of continuous mappings. Thus, there are (at least) two metric formalisms for topology, raising the questions: 1) is any of the two actually useful for doing topology? and 2) are the two formalisms equally powerful for the purposes of topology? After reviewing Flagg's machinery I will attempt to answer the former affirmatively and the latter negatively. In more detail, the two approaches are equipotent when it comes to point-to-point topological consideration, but only Flagg's formalism captures 'higher order' topological aspects correctly, however at a price; there is no notion of product of value quantales. En route to establishing Flagg's formalism as convenient, it will be shown that both fine and coarse variants of homology and homotopy arise as left and right Kan extensions of genuinely metrically constructed functors, and a topologically relevant notion of tensor product of value quantales, a surrogate for the non-existent products, will be described. 


 

The Czech lands were the most industrial part of the Austrian-Hungarian monarchy, broken up at the end of the WW1. As such, Czechoslovakia inherited developed industry supported by developed system of tertiary education, and Czech and German universities and technical universities, where the first chairs for applied mathematics were set up. The close cooperation with the Skoda company led to the establishment of joint research institutes in applied mathematics and spectroscopy in 1929 (1934 resp.).

The development of industry was followed by a gradual introduction of social insurance, which should have helped to settle social contracts, fight with pauperism and prevent strikes. Social insurance institutions set up mathematical departments responsible for mathematical and statistical modelling of the financial system in order to ensure its sustainability. During the 1920s and 1930s Czechoslovakia brought its system of social insurance up to date. This is connected with Emil Schoenbaum, internationally renowned expert on insurance (actuarial) mathematics, Professor of the Charles University and one of the directors of the General Institute of Pensions in Prague.

After the Nazi occupation in 1939, Czech industry was transformed to serve armament of the Wehrmacht and the social system helped the Nazis to introduce the carrot and stick policy to keep weapons production running up to early 1945. There was also strong personal discontinuity, as the Jews and political opponents either fled to exile or were brutally persecuted.

Both in the real and in the p-adic case, I will talk about recent results about C^r-parameterizations and their diophantine applications.  In both cases, the dependence on r of the number of parameterizing C^r maps plays a role. In the non-archimedean case, we get as an application new bounds for rational points of bounded height lying on algebraic varieties defined over finite fields, sharpening the bounds by Sedunova, and making them uniform in the finite field. In the real case, some results from joint work with Pila and Wilkie, and also beyond this work, will be presented, 
in relation to several questions raised by Yomdin. The non-archimedean case is joint work with Forey and Loeser. The real case is joint work with Pila and Wilkie, continued by my PhD student S. Van Hille.  Some work with Binyamini and Novikov in the non-archimedean context will also be mentioned. The relations with questions by Yomdin is joint work with Friedland and Yomdin. 

We present the linearized metrizability problem in the context of parabolic geometries and subriemannian geometry, generalizing the metrizability problem in projective geometry studied by R. Liouville in 1889. We give a general method for linearizability and a classification of all cases with irreducible defining distribution where this method applies. These tools lead to natural subriemannian metrics on generic distributions of interest in geometric control theory.

(Joint work with Coralia Cartis) The problem of finding the most extreme value of a function, also known as global optimization, is a challenging task. The difficulty is associated with the exponential increase in the computational time for a linear increase in the dimension. This is known as the ``curse of dimensionality''. In this talk, we demonstrate that such challenges can be overcome for functions with low effective dimensionality --- functions which are constant along certain linear subspaces. Such functions can often be found in applications, for example, in hyper-parameter optimization for neural networks, heuristic algorithms for combinatorial optimization problems and complex engineering simulations.
We propose the use of random subspace embeddings within a(ny) global minimisation algorithm, extending the approach in Wang et al. (2013). We introduce a new framework, called REGO (Random Embeddings for GO), which transforms the high-dimensional optimization problem into a low-dimensional one. In REGO, a new low-dimensional problem is formulated with bound constraints in the reduced space and solved with any GO solver. Using random matrix theory, we provide probabilistic bounds for the success of REGO, which indicate that this is dependent upon the dimension of the embedded subspace and the intrinsic dimension of the function, but independent of the ambient dimension. Numerical results demonstrate that high success rates can be achieved with only one embedding and that rates are for the most part invariant with respect to the ambient dimension of the problem.
 

The last remaining open problem from Erdős and Rényi's original paper on random graphs is the following: for q at least 3, what is the largest d so that the random graph G(n,d/n) is q-colorable with high probability?  A lot of interesting work in probabilistic combinatorics has gone into proving better and better bounds on this q-coloring threshold, but the full answer remains elusive.  However, a non-rigorous method from the statistical physics of glasses - the cavity method - gives a precise prediction for the threshold.  I will give an introduction to the cavity method, with random graph coloring as the running example, and describe recent progress in making parts of the method rigorous, emphasizing the role played by tools from extremal combinatorics.  Based on joint work with Amin Coja-Oghlan, Florent Krzakala, and Lenka Zdeborová.

Decomposition (aka unital 2-Segal) spaces are simplicial ∞-groupoids with a certain exactness property: they take pushouts of active (end-point preserving) along inert (distance preserving) maps in the simplicial category Δ to pullbacks. They encode the information needed for an 'objective' generalisation of the notion of incidence (co)algebra of a poset, and motivating examples include the decomposition spaces for (derived) Hall algebras, the Connes-Kreimer algebra of trees and Schmitt's algebra of graphs. In this talk I will survey recent activity in this area, including some work in progress on a categorification of (Hopf) bialgebroids.
This is joint work with Imma Gálvez and Joachim Kock.
 

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. In this talk, I will discuss how dimensionality reduction methods such as block coordinates and sketching can be used to improve solver scalability for bundle adjustment problems.

For a nonlinear elliptic system coming from a nonlinear Schroedinger system, the interaction between components is represented by a symmetric matrix. The construction of possibly lower energy nontrivial solutions and the complete description of dependence of the solutions on the matrix are quite challenging tasks. Especially, we are interested in the case that intra-species interaction forces are fixed and inter-species forces are very large, that is, the diagonal part of the symmetric matric is fixed and the non-diagonal entries are very large. In this case, depending on the network between components by repulsive or attractive forces, several different types of patterns may appear. I would like to explain our recent studies on the problem with three components and touch a possible exploration on the general n-components problem.

Topological field theories give rise to a wealth of algebraic structures, extending
the E_n algebra expressing the "topological OPE of local operators". We may interpret these algebraic structures as defining (slightly noncommutative) algebraic varieties and stacks, called moduli stacks of vacua, and relations among them. I will discuss some examples of these structures coming from the geometric Langlands program and their applications. Based on joint work with Andy Neitzke and Sam Gunningham. 

We will discuss the percolation model on the hexagonal grid. In 2001 S. Smirnov proved conformal invariance of its scaling limit through the use of a tricky auxiliary combinatorial construction.

We present a more conceptual approach, implying that the construction in question can be thought of as geometrically natural one.

The main goal of the talk is to make it believable that not all nice and useful objects in the field have been already found.

No background is required.

We present sharp gradient estimates for the solution of the filtering equation and report on its applications in a high order cubature method for the nonlinear filtering problem.

A C^k-extension of a smooth and connected Lorentzian manifold (M,g) is an isometric embedding of M into a proper subset of a connected Lorentzian manifold (N,h) of the same dimension, where the Lorentzian metric h is C^k regular. If no such extension exists, then we say that (M,g) is C^k-inextendible. The study of low-regularity inextendibility criteria for Lorentzian manifolds is motivated by the strong cosmic censorship conjecture in general relativity.

The Schwarzschild spacetime is manifestly inextendible as a Lorentzian manifold with a C^2 regular metric. In this talk I will describe how one
proves the stronger statement that the maximal analytic Schwarzschild spacetime is inextendible as a Lorentzian manifold with a continuous metric.

In the last years complex networks tools contributed to provide insights on the structure of research, through the study of collaboration, citation and co-occurrence networks. The network approach focuses on pairwise relationships, often compressing multidimensional data structures and inevitably losing information. In this paper we propose for the first time a simplicial complex approach to word co-occurrences, providing a natural framework for the study of higher-order relations in the space of scientific knowledge. Using topological methods we explore the conceptual landscape of mathematical research, focusing on homological holes, regions with low connectivity in the simplicial structure. We find that homological holes are ubiquitous, which suggests that they capture some essential feature of research practice in mathematics. Holes die when a subset of their concepts appear in the same article, hence their death may be a sign of the creation of new knowledge, as we show with some examples. We find a positive relation between the dimension of a hole and the time it takes to be closed: larger holes may represent potential for important advances in the field because they separate conceptually distant areas. We also show that authors' conceptual entropy is positively related with their contribution to homological holes, suggesting that polymaths tend to be on the frontier of research.

In this talk I will discuss how computational algebraic geometry and topology can be useful for studying questions arising in systems biology. In particular I will focus on the problem of comparing models and data through the lens of computational algebraic geometry and statistics. I will provide concrete examples of biological signalling systems that are better understood with the developed methods.

Please note that this will be held at Tsuzuki Lecture Theatre, St Annes College, Oxford.

Please note that you will need to register for this event via https://www.eventbrite.co.uk/e/qbiox-colloquium-trinity-term-2018-ticke…

Cancer causing mutations must become permanently fixed within tissues. 

Please note that this will be held at Tsuzuki Lecture Theatre, St Annes College, Oxford.

Please note that you will need to register for this event via https://www.eventbrite.co.uk/e/qbiox-colloquium-trinity-term-2018-ticke…

1600-1645 - Philip Maini
1645-1705 - Edward Morrissey
1705-1725 - Heather Harrington
1725-1800 - Drinks and networking

The talks will be followed by a drinks reception.

Tickets can be obtained from https://www.eventbrite.co.uk/e/qbiox-colloquium-trinity-term-2018-ticke….
(As ever, tickets are not necessary, but they do help in judging catering requirements.)

PHILIP MAINI

Does mathematics have anything to do with biology? In this talk, I will review a number of interdisciplinary collaborations in which I have been involved over the years that have coupled mathematical modelling with experimental studies to try to advance our understanding of processes in biology and medicine. Examples will include somatic evolution in tumours, collective cell movement in epithelial sheets, cell invasion in neural crest, and pattern formation in slime mold. These are examples where verbal reasoning models are misleading and insufficient, while mathematical models can enhance our intuition.

EDWARD MORRISEY

Fixation and spread of somatic mutations in adult human colonic epithelium Cancer causing mutations must become permanently fixed within tissues. I will describe how, by visualizing somatic clones, we investigated the means and timing with which this occurs in the human colonic epithelium. Modelling the effects of gene mutation, stem cell dynamics and subsequent lateral expansion revealed that fixation required two sequential steps. First, one of around seven active stem cells residing within each colonic gland has to be mutated. Second, the mutated stem cell has to replace neighbours to populate the entire gland. This process takes many years because stem cell replacement is infrequent (around once every 9 months). Subsequent clonal expansion due to gland fission is also rare for neutral mutations. Pro-oncogenic mutations can subvert both stem cell replacement to accelerate fixation and clonal expansion by gland fission to achieve high mutant allele frequencies with age. The benchmarking and quantification of these behaviours allows the advantage associated with different gene specific mutations to be compared and ranked irrespective of the cellular mechanisms by which they are conferred. The age related mutational burden of advantaged mutations can be predicted on a gene-by-gene basis to identify windows of opportunity to affect fixation and limit spread.

HEATHER HARRINGTON

Comparing models with data using computational algebra In this talk I will discuss how computational algebraic geometry and topology can be useful for studying questions arising in systems biology. In particular I will focus on the problem of comparing models and data through the lens of computational algebraic geometry and statistics. I will provide concrete examples of biological signalling systems that are better understood with the developed methods.

It is at first sight surprising that a minimizer of an integral of the calculus of variations may make the integrand infinite somewhere.

This talk will discuss some examples of this phenomenon, how it can be related to material defects, and related open questions from nonlinear elasticity and the theory of liquid crystals.

In this talk, I will review a number of interdisciplinary collaborations in which I have been involved over the years that have coupled mathematical
modelling with experimental studies to try to advance our understanding of processes in biology and medicine. Examples will include somatic evolution in
tumours, collective cell movement in epithelial sheets, cell invasion in neural crest, and pattern formation in slime mold. These are examples where
verbal reasoning models are misleading and insufficient, while mathematical models can enhance our intuition.

Please note that this will be held at Tsuzuki Lecture Theatre, St Annes College, Oxford.

Please note that you will need to register for this event via https://www.eventbrite.co.uk/e/qbiox-colloquium-trinity-term-2018-ticke…