C3

We model a tokamak fusion reaction, combining Maxwell's equations with the Navier-Stokes equations, the heat equation and the Seebeck effect giving a model of thermoelectric magnetohydrodynamics (TEMHD). At leading order, we showed that the free surface must be flat, that the pressure is constant, and that the temperature decouples from the governing equations relating the fluid velocity and magnetic field. We also find that the fluid flow is driven entirely by the temperature gradient normal to the free surface. Using singular perturbation methods we obtained velocity profiles which exhibit so-called Hartmann layers and thicker side layers. The role of the aspect ratio has been seldom considered in classical MHD duct flow literature as a varying parameter. Here, we show it's importance and derive a relationship between the aspect ratio and Hartmann number that maximises flow rate of fluid down the duct.

Shortwave radiation penetrating beneath an ice-sheet surface can cause internal melting and the formation of a near-surface porous layer known as the weathering crust, a dynamic hydrological system that provides home to impurities and microbial life. We develop a mathematical model, incorporating thermodynamics and population dynamics, for the evolution of such layers. The model accounts for conservation of mass and energy, for internal and surface-absorbed radiation, and for logistic growth of a microbial species mediated by nutrients that are sourced from the melting ice. I will discuss one-dimensional steadily melting solutions of the model, which suggest a range of changes in behaviour of the weathering crust and its microbial community in response to climate change. In addition, time-dependent solutions of the model give insight into the formation and removal of the weathering crust in frequently changing weather conditions.

PDEs frequently exhibit certain physical structures that guide their behaviour, e.g. energy/helicity dissipation, Hamiltonians, and material conservation. Preserving these structures during numerical discretisation is essential.

Although the finite-element method has proven powerful in constructing such models, incorporating inhomogeneous(/non-zero) boundary conditions has been a significant challenge. We propose a technique that addresses this issue, deriving structure-preserving models for diverse inhomogeneous problems.

Moreover, this technique enables the derivation of novel structure-preserving timesteppers for time-dependent problems. Analogies can be drawn with the other workhorse of modern structure-preserving methods: symplectic integrators.

In this talk I will discuss Onsager's conjecture for energy conservation. Moreover, in 1949 Onsager conjectured that weak solutions to the incompressible Euler equations, that were Hölder continuous with Hölder exponent greater than 1/3, conserved kinetic energy. Onsager also conjectured that there were weak solutions that were Hölder continuous with Hölder exponent less than 1/3 that didn't conserve kinetic energy. I will discuss the results regarding the former, focusing mainly on the case where the spacial domain is bounded with C^2 boundary, as proved by Bardos and Titi.

Although tensor products and their symmetrisation have appeared in mathematical literature since at least the mid-nineteenth century, they rarely appear in the function-theoretic operator theory literature. In this talk, I will introduce the symmetric and antisymmetric tensor products from an operator theoretic point of view. I will present results concerning some of the most fundamental operator-theoretic questions in this area, such as finding the norm and spectrum of the symmetric tensor products of operators. I will then work through some examples of symmetric tensor products of familiar operators, such as the unilateral shift, the adjoint of the shift, and diagonal operators.

Wreath-like product groups were introduced recently and used to construct the first positive examples of rigidity conjectures of Connes and Jones. In this talk, I will review those examples, as well as discuss some ideas to construct examples with other rigidity phenomena by modifying the wreath-like product construction.

This is a continuation of https://www.maths.ox.ac.uk/node/61240

In the operator algebraic approach to quantum field theory, the DHR category is a braided tensor category describing topological point defects of a theory with at least 1 (+1) dimensions. A single von Neumann algebra with no extra structure can be thought of as a 0 (+1) dimensional quantum field theory. In this case, we would not expect a braided tensor category of point defects since there are not enough dimensions to implement a braiding. We show, however, that one can think of central sequence algebras as operators localized ``at infinity", and apply the DHR recipe to obtain a braided tensor category of bimodules of a von Neumann algebra M, which is a Morita invariant. When M is a II_1 factor, the braided subcategory of automorphic objects recovers Connes' chi(M) and Jones' kappa(M). We compute this for II_1 factors arising naturally from subfactor theory and show that any Drinfeld center of a fusion category can be realized. Based on joint work with Quan Chen and Dave Penneys.

In view of Takesaki-Takai duality, we can go back and forth between C*-dynamical systems of an abelian group and ones of its Pontryagin dual by taking crossed products. In this talk, I present a similar duality between actions on C*-algebras of two constructions of locally compact quantum groups: one is the bicrossed product due to Vaes-Vainerman, and the other is the double crossed product due to Baaj-Vaes. I will explain the situation by illustrating the example coming from groups. If time permits, I will also discuss its consequences in the case of quantum doubles.