C3

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.

Baseline T cell infiltration and the spatial distribution of T cells within a tumour has been found to be a significant indicator of patient outcomes. This observation, coupled with the increasing availability of spatially-resolved imaging data of individual cells within the tumour tissue, motivates the development of mathematical models which capture the spatial dynamics of T cells. Agent-based models allow the simulation of complex biological systems with detailed spatial resolution, and generate rich spatio-temporal datasets. In order to fully leverage the information contained within these simulated datasets, spatial statistics provide methods of analysis and insight into the biological system modelled, by quantifying inherent spatial heterogeneity within the system. We present a cellular automaton model of interactions between tumour cells and cytotoxic T cells, and an analysis of the model dynamics, considering both the temporal and spatial evolution of the system. We use the model to investigate some of the standard assumptions made in these models, to assess the suitability of the models to accurately describe tumour-immune dynamics.

A Hele-Shaw Newton's cradle: Circular bubbles in a Hele-Shaw channel. (Daniel Booth)

We present a model for the motion of approximately circular bubbles in a Hele-Shaw cell. The bubble velocity is determined by a balance between the hydrodynamic pressures from the external flow and the drag due to the thin films above and below the bubble. We find that the qualitative behaviour depends on a dimensionless parameter and is found to agree well with experimental observations.  Furthermore, we show how the effects of interaction with cell boundaries and/or other bubbles also depend on the value of this dimensionless parameter For example, in a train of three identical bubbles travelling along the centre line, the middle bubble either catches up with the one in front or is caught by the one behind, forming what we term a Hele-Shaw Newton's cradle.
 

Reciprocity in Fluids (Matthew Cotton)

Reciprocity is a useful, and often underused, way to calculate integrated quantities when a to solution to a related problem is known. In the remaining time, I will overview these ideas and give some example use cases