University of Oxford

The Robin-Schensted-Knuth insertion algorithm provides a bijection between non-negative integer matrices and pairs of semistandard Young tableau. However, by relaxing the conditions on the correspondence, it allows us to define the Poirer-Reutenauer bialgebra, which exactly describes the algebra of symmetric functions viewed as generated by the Schur polynomials. This gives an interesting combinatorial decomposition of symmetric products of Schur polynomials, called a Littlewood Richardson rule, which we will discuss. We will then power through as many generalisations as I have time for: Hecke insertion and stable Grothendieck polynomials, shifted insertion and Schur P-functions, and shifted Hecke insertion and weak shifted stable Grothendieck polynomials

Deficiency is a measure of how complicated the presentations of a particular group need to be; it is defined as the maximum of the number of generators minus the number of relators (over all finite presentations of the group). This talk will introduce the basics of deficiency, give a deft example of Swan which illustrates why our understanding of deficiency is deficient, and conclude with some new examples that defy this defeatism: finite $p$-groups can have any deficiency you could (reasonably) wish for.

For a prime number p, we will consider completed group algebras, or Iwasawa algebras, of the form kG, for G a complete p-valued group of finite rank, k a field of characteristic p. Classifying the ideal structure of Iwasawa algebras has been an ongoing project within non-commutative algebra and representation theory, and we will discuss ideas related to this topic based on previous work and try to extend it. An important concept in studying ideals of group algebras is the notion of controlling ideals, where we say a closed subgroup H of G controls a right ideal I of kG if I is generated by a subset of kH. It was proved by Konstantin Ardakov in 2012 that for G nilpotent, every faithful prime ideal of kG is controlled by the centre of G, and it follows that the prime spectrum of kG can be realised as the disjoint union of commutative strata. I am hoping to extend this to a more general case, perhaps to when G is solvable. A key step in the proof is to consider a faithful prime ideal P in kG, and an automorphism of G, trivial mod centre, that fixes P. By considering the Mahler expansion of the automorphism, and approximating the coefficients, we can examine sequences of bounded k-linear functions of kG, and study their convergence. If we find that they converge to an appropriate quantized divided power, we can find proper open subgroups of G that control P. I have extended this notion to larger classes of automorphisms, not necessarily trivial mod centre, using which this proof can be replicated, and in some cases extended to when G is abelian-by-procyclic. I will give some examples, for G with small rank, for which these ideas yield results.

Recent work in regularity structures has provided a robust solution theory for a wide class of singular SPDEs. While much progress has been made on understanding the analytic and algebraic aspects of renormalisation of the driving signal, the action of the renormalisation group on the equation still needed to be performed by hand. In this talk, we aim to give a systematic description of the renormalisation procedure directly on the level of the PDE, which allows for explicit computation of the form of the renormalised equation. Joint work with Yvain Bruned, Ajay Chandra, and Martin Hairer.

Understanding the evolution of a solidification front is important in the study of solidification processes. Mathematically, self-similar solutions exist to the Stefan problem when the liquid domain is assumed semi-infinite, and such solutions have been extensively studied in the literature. However, in the case where the liquid region is finite and sufficiently small, such of solutions no longer hold, as in this case two solidification fronts will move toward each other and interact. We present an asymptotic analysis for the two-front Stefan problem with a small amount of constitutional supercooling and compare the asymptotic results with numerical simulations. We finally discuss ongoing work on the same problem near the time when the two fronts are close to colliding.
---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

Silicon is produced from quartz rock in electrode-heated furnaces by using carbon as a reduction agent. We present a model of the heat and mass transfer in an experimental pilot furnace and perform an asymptotic analysis of this model. First, by prescribing a steady state temperature profile in the furnace we explore the leading order reactions in different spatial regions. We next utilise the dominant behaviour when temperature is prescribed to reduce the full model to two coupled partial differential equations for the time-variable temperature profile within the furnace and the concentration of solid quartz. These equations account for diffusion, an endothermic reaction, and the external heating input to the system. A moving boundary is found and the behaviour on either side of this boundary explored in the asymptotic limit of small diffusion. We note how the simplifications derived may be useful for industrial furnace operation.

What can maths tell us about this topic? Do mathematicians even have a seat at the table, and should we? What do we know about directed networks and dynamical systems that can contribute to this?

We consider the implications of the mathematical modelling and analysis of neurone-to-neurone dynamical complex networks. We explain how the dynamical behaviour of relatively small scale strongly connected networks lead naturally to non-binary information processing and thus to multiple hypothesis decision making, even at the very lowest level of the brain’s architecture. This all looks a like a a loose  coupled array of  k-dimensional clocks. There are lots of challenges for maths here. We build on these ideas to address the "hard problem" of consciousness - which other disciplines say is beyond any mathematical explanation for ever! 

We discuss how a proposed “dual hierarchy model”, made up from both externally perceived, physical, elements of increasing complexity, and internally experienced, mental elements (which we argue are equivalent to feelings), may support a leaning and evolving consciousness. We introduce the idea that a human brain ought to be able to re-conjure subjective mental feelings at will. An immediate consequence of this model  is that finite human brains must always be learning and forgetting and that any possible subjective internal feeling that might be fully idealised only with a countable infinity of facets, could never be learned completely a priori by zombies or automata: it may be experienced more and more fully by an evolving human brain (yet never in totality, not even in a lifetime). 

Networks of interacting oscillators give rise to collective dynamics such as localized frequency synchrony. In networks of neuronal oscillators, for example, the location of frequency synchrony could encode information. We discuss some recent persistence results for certain dynamically invariant sets called weak chimeras, which show localized frequency synchrony of oscillators. We then explore how the network structure and interaction allows for dynamic switching of the spatial location of frequency synchrony: these dynamics are induced by stable heteroclinic connections between weak chimeras. Part of this work is joined with Peter Ashwin (Exeter).

Symmetry has played a critical role both for composers and in the creation of musical instruments. From Bach’s Goldberg Variations to Schoenberg’s Twelve-tone rows, composers have exploited symmetry to create variations on a theme. But symmetry is also embedded in the very way instruments make sound. The lecture will culminate in a reconstruction of nineteenth-century scientist Ernst Chladni's exhibition that famously toured the courts of Europe to reveal extraordinary symmetrical shapes in the vibrations of a metal plate.

The lecture will be preceded by a demonstration of the Chladni plates with the audience encouraged to participate. Each of the 16 plates will have their own dials to explore the changing input and can accommodate 16 players at a time. Participants will be able to explore how these shapes might fit together into interesting tessellations of the plane. The ultimate idea is to create an aural dynamic version of the walls in the Alhambra.

The lecture will start at 5pm, but the demonstration will be available from 2.30pm.

Please email @email to register

A variety of groups is an equationally defined class of groups, namely the class of groups in which each of a set of "laws" (or "identical relations") holds. Examples include the abelian groups (defined by the law $xy = yx$), the groups of exponent dividing $d$ (defined by the law $x^d$), the nilpotent groups of class at most some fixed integer, and the solvable groups of derived length at most some fixed integer. This talk will give an introduction to varieties of groups, and then conclude with recent work on determining for certain varieties whether, for fixed coprime $m$ and $n$, a group $G$ is in the variety if and only if the power subgroups $G^m$ and $G^n$ (generated by the $m$-th and $n$-th powers) are in the variety.