MONDAY 2 October 2017 (4pm, B3:03): Hinke Osinga (Auckland) Shaken but not stirred: using mathematics in earthquakes
06 October 2017: Matthias Schacht (Hamburg) Extremal problems for uniformly dense hypergraphs
Extremal problems for hypergraphs concern the maximum density of large k-uniform hypergraphs H that do not contain a copy of a given k-uniform hypergraph F. Determining or estimating this maximum density is a classical and central problem in extremal combinatorics. While for k=2 this problem is well understood, due to the work of Turán and of Erdös and Stone, only very little is known for k-uniform hypergraphs for k>2. We consider a variation of the problem, where the large hypergraphs H satisfy additional hereditary density conditions. Questions of this type were suggested by Erdös and Sós about 30 years ago. We present recent results in that direction, which were obtained in joint with Reiher and Rödl.
One of the first major breakthroughs in scientific computing occurred just after World War II when a group of mathematicians and scientists came together to create the world’s first numerical weather prediction on one of the world's earliest computers. Perhaps the most important mathematical lessons learned from this endeavour was that there is an intimate relationship between the underlying mathematical structure of the governing equations and their numerical approximation.
A new grand challenge is on our doorstep, the challenge of next generation computers, which have been designed in new ways to address physical limitations in the manufacture of transistors and energy consumption. To run well on these new computer architectures weather and climate modeling algorithms will be required to exploit on the order of hundred-million-way parallelism. This degree of parallelism far exceeds anything possible even in today's most sophisticated models.
In this talk I will discuss one of the mathematical issues that leads to computational limitations for climate and weather prediction models – oscillatory stiffness in the PDEs that leads to time scale separation. I will discuss the historical context of the first mathematical discoveries of how nonlinear phenomenon give rise to low-frequency solutions and its relationship to fast singular limits studied in PDE’s analysis and numerical analysis. I will discuss some of the latest research directions aimed at quantifying and discretising the low-frequency part of the solutions, strategies that are aimed at addressing the limitations inherent in fast singular limits. Finally, I will close by describing potential research directions where mathematics and statistics could provide solutions.
20 October 2017: Anibal Rodriguez-Bernal (Madrid Complutense) Reaction diffusion equations in R^N, function spaces and asymptotic behavior
Starting from basic arguments with ODEs, we will review the importance of considering reaction diffusion equations PDEs in the Euclidean space R^N. We will also discuss possible functional settings to search for solutions and some of their advantages and inconveniences. We will finally discuss questions related to asymptotic behavior of solutions for large times and present results on how linear diffusion and nonlinear reaction must collaborate for solutions to have well defined asymptotic states in terms of a global attractor.
03 November 2017: Weiyi Zhang (Warwick) From smooth to almost complex
An almost complex manifold is a smooth manifold equipped with a smooth linear complex structure on each tangent space. Every complex or symplectic manifold is an almost complex manifold, but not vice versa.
Transversality is the notion of general position in manifold topology. If two submanifolds intersect transversely in some ambient manifold, then their intersection is a manifold. We will discuss differential topology of almost complex manifolds, explain how to use transversality statements for smooth manifolds to formulate and prove corresponding results for an arbitrary almost complex manifold. The examples include intersection of almost complex manifolds, pseudoholomorphic maps and zero locus of certain harmonic forms.
10 November 2017: Bertrand Rémy (Ecole Polytechnique) On some non-linear (and simple) groups acting on exotic buildings
We will propose an introduction to geometric group theory through one basic question, namely producing simple infinite groups. The idea is to use suitable metric spaces, with sufficiently many symmetries to admit nice group actions. The reason why geometric arguments are requested is due to the fact that finitely generated matrix groups are, in some sense, too nice to be simple.
17 November 2017: Kate Smith-Miles (University of Melbourne) Optimization in the Darkness of Uncertainty: when you don't know what you don't know, and what you do know isn't much!
Many industrial optimisation problems involve the challenging task of efficiently searching for optimal decisions from a huge set of possible combinations. The optimal solution is the one that best optimises a set of objectives or goals, such as maximising productivity while minimising costs. If we have a nice mathematical equation for how each objective depends on the decisions we make, then we can usually employ standard mathematical approaches, such as calculus, to find the optimal solution. But what do we do when we have no idea how our decisions affect the objectives, and thus no equations? What if all we have is a small set of experiments, where we have tried to measure the effect of some decisions? How do we make use of this limited information to try to find the best decisions?
This talk will present a common industrial optimisation problem, known as expensive black box optimisation, through a case study from the manufacturing sector. For problems like this, calculus can’t help, and trial and error is not an option! We will introduce some methods and tools for tackling expensive black-box optimisation. Finally, we will discuss new methodologies for assessing the strengths and weaknesses of optimisation methods, to ensure the right method is selected for the right problem.
24 November 2017: Ulrike Tillmann (Oxford) Topological field theories in homotopy theory
The axiomatic definition of conformal and topological field theories by Segal and Atiyah in the late 1980s has inspired many mathematicians working in geometry and topology. In this lecture I will explain the homotopy theoretic approach to topological field theory, survey some of the major results, and provide new evidence that the stable homotopy category is a natural target category.