Past

Questions in algebra, while deep and interesting, can be incredibly difficult. Thankfully, when studying the representation theory of the symmetric groups, one can often take algebraic properties and results and write them in the language of combinatorics; where one has a wide variety of tools and techniques to use. In this talk, we will look at the specific example of the submodule structure of 2-part Specht modules in characteristic 2, and answer which hook Specht modules are uniserial in characteristic 2. We will not need to assume the Riemann hypothesis for this talk.

A structure is omega-categorical if its theory has a unique countable model (up to isomorphism). We will survey some old results concerning the Apps-Wilson structure theory for omega-categorical groups and state a conjecture of Wilson from the 80s on omega-categorical characteristically simple groups. We will also discuss the analogous of Wilson’s conjecture for Lie algebras and present some connections with the restricted Burnside problem.

Optimal transport (OT) proves to be a powerful tool for non-parametric calibration: it allows us to take a favourite (non-calibrated) model and project it onto the space of all calibrated (martingale) models. The dual side of the problem leads to an HJB equation and a numerical algorithm to solve the projection. However, in general, this process is costly and leads to spiky vol surfaces. We are interested in special cases where the projection can be obtained semi-analytically. This leads us to the martingale equivalent of the seminal fluid-dynamics interpretation of the optimal transport (OT) problem developed by Benamou and Brenier. Specifically, given marginals, we look for the martingale which is the closest to a given archetypical model. If our archetype is the arithmetic Brownian motion, this gives the stretched Brownian motion (or the Bass martingale), studied previously by Backhoff-Veraguas, Beiglbock, Huesmann and Kallblad (and many others). Here we consider the financially more pertinent case of Black-Scholes (geometric BM) reference and show it can also be solved explicitly. In both cases, fast numerical algorithms are available.

Based on joint works with Julio Backhoff, Benjamin Joseph and Gregoire Leoper.  

This talk reports a work in progress. It will be done on a board.

In the 1960's Langlands proposed a generalisation of Class Field Theory. I will review this and describe a new approach using the trace formua as well as some analytic arguments reminiscent of those used in the classical case. In more concrete terms the problem is to prove general modularity theorems, and I will explain the progress I have made on this problem.

Junior Strings is a seminar series where DPhil students present topics of common interest that do not necessarily overlap with their own research area. This is primarily aimed at PhD students and post-docs but everyone is welcome.

In recent years, we have witnessed the emergence of scientific machine learning as a data-driven tool for the analysis, by means of deep-learning techniques, of data produced by computational science and engineering applications.  At the core of these methods is the supervised training algorithm to learn the neural network realization, a highly non-convex optimization problem that is usually solved using stochastic gradient methods.

However, distinct from deep-learning practice, scientific machine-learning training problems feature a much larger volume of smooth data and better characterizations of the empirical risk functions, which make them suited for conventional solvers for unconstrained optimization.

In this talk, we empirically demonstrate the superior efficacy of a trust region method based on the Gauss-Newton approximation of the Hessian in improving the generalization errors arising from regression tasks when learning surrogate models for a wide range of scientific machine-learning techniques and test cases. All the conventional solvers tested, including L-BFGS and inexact Newton with line-search, compare favorably, either in terms of cost or accuracy, with the adaptive first-order methods used to validate the surrogate models.

I will discuss aspects of some work in progress with Tingxiang Zou, in which we continue the investigation of pseudofinite sets coarsely respecting structures of algebraic geometry, focusing on algebraic group actions. Using a version of Balog-Szemerédi-Gowers-Tao for group actions, we find quite weak hypotheses which rule out non-abelian group actions, and we are applying this to obtain new Elekes-Szabó results in which the general position hypothesis is fully weakened in one co-ordinate.

Property (T) was introduced by Kazhdan in the sixties to show that lattices in higher rank semisimple Lie groups are finitely generated. We will discuss some classical examples of groups that satisfy this property, with a particular focus on SL(3, R).

Magic angles refer to a remarkable theoretical (Bistritzer--MacDonald, 2011) and experimental (Jarillo-Herrero et al 2018) discovery, that two sheets of graphene twisted by a certain (magic) angle display unusual electronic properties such as superconductivity.

Mathematically, this is related to having flat bands of nontrivial topology for the corresponding periodic Hamiltonian and their existence be shown for the chiral model of twisted bilayer graphene (Tarnopolsky-Kruchkov-Vishwanath, 2019). A spectral characterization of magic angles (Becker--Embree--Wittsten--Z, 2021, Galkowski--Z, 2023) also produces complex values and the distribution of their reciprocals looks remarkably like a distribution of scattering resonances for a two dimensional problem, with the real magic angles corresponding to anti-bound states. I will review various results on that distribution as well as on the properties of the associated eigenstates.

The talk is based on joint works with S Becker, M Embree, J Galkowski, M Hitrik, T Humbert and J Wittsten

I present an approach to Lorentzian geometry and General Relativity that does neither rely on smoothness nor
on manifolds, thereby leaving the framework of classical differential geometry. This opens up the possibility to study
curvature (bounds) for spacetimes of low regularity or even more general spaces. An analogous shift in perspective
proved extremely fruitful in the Riemannian case (Alexandrov- and CAT(k)-spaces). After introducing the basics of our
approach, we report on recent progress in developing a Sobolev calculus for time functions on such non-smooth
Lorentzian spaces. This seminar talk can also be viewed as a primer and advertisement for my mini course in
May: Current topics in Lorentzian geometric analysis: Non-regular spacetimes

I will discuss certain dynamics of interacting particles in interlacing arrays with inhomogeneous, in space and time, jump probabilities and their relations to conditioned random walks and random tilings of the Aztec diamond.

Results from a few years ago of Kennedy and Schafhauser attempt to characterize the simplicity of reduced crossed products, under an assumption which they call vanishing obstruction. 

However, this is a strong condition that often fails, even in cases of finite groups acting on finite dimensional C*-algebras. In this work, we give complete C*-dynamical characterization, of when the crossed product is simple, in the setting of FC-hypercentral groups. 

This is a large class of amenable groups that, in the finitely-generated setting, is known to coincide with the set of groups with polynomial growth.

The positive discrepancy of a graph $G$ is the maximum surplus of edges in an induced subgraph of $G$ compared to its expected size. This quantity is closely related to other well studied parameters, such as the minimum bisection and the spectral gap. I will talk about the extremal behavior of the positive discrepancy among graphs with given number of vertices and average degree, uncovering a surprising pattern. This leads to an almost complete solution of a problem of Alon on the minimum bisection and let's us extend the Alon-Boppana bound on the second eigenvalue to dense graphs.

Joint work with Eero Räty and Benny Sudakov.

I will talk about the coarse geometry of lattices in real semisimple Lie groups. One great result from the 1990s is the quasi-isometric rigidity of these lattices: any group that is quasi-isometric to such a lattice must be, up to some minor adjustments, isomorphic to lattice in the same Lie group. I present a partial generalization of this result to the setting of Sublinear Bilipschitz Equivalences (SBE): these are maps that generalize quasi-isometries in some 'sublinear' fashion.

The directed landscape is a random directed metric on the plane that is the scaling limit for models in the KPZ universality class (i.e. last passage percolation on $\mathbb{Z}^2$, TASEP). In this metric, typical pairs of points are connected by a unique geodesic.  However, certain exceptional pairs are connected by more exotic geodesic networks. The goal of this talk is to describe a full classification for these exceptional pairs.

Suppose 𝐺_𝕜 is a connected reductive algebraic 𝕜-group where 𝕜 is an algebraically closed field. If 𝑉_𝕜 is a 𝐺_𝕜-module then, using geometric invariant theory, Kempf has defined the nullcone 𝒩(𝑉_𝕜) of 𝑉_𝕜. For the Lie algebra 𝔤_𝕜 = Lie(𝐺_𝕜), viewed as a 𝐺_𝕜-module via the adjoint action, we have 𝒩(𝔤_𝕜) is precisely the set of nilpotent elements.

We may assume that our group 𝐺_𝕜 = 𝐺 ×_ℤ 𝕜 is obtained by base-change from a suitable ℤ-form 𝐺. Suppose 𝑉 is 𝔤 = Lie(G) or its dual 𝔤* = Hom(𝔤, ℤ) which are both modules for 𝐺, that are free of finite rank as ℤ-modules. Then 𝑉 ⨂_ℤ 𝕜, as a module for 𝐺_𝕜, is 𝔤_𝕜 or 𝔤_𝕜* respectively.

It is known that each 𝐺_ℂ -orbit 𝒪 ⊆ 𝒩(𝑉_ℂ) contains a representative ξ ∈ 𝑉 in the ℤ-form. Reducing ξ one gets an element ξ_𝕜 ∈ 𝑉_𝕜 for any algebraically closed 𝕜. In this talk, we will explain two ways in which we might want ξ to have “good reduction” and how one can find elements with these properties. We will also discuss the relationship to Lusztig’s special orbits.

This is on-going joint work with Adam Thomas (Warwick).

What is the bare minimum needed to get a unitarity-consistent black hole radiation entropy curve? In this talk, I will show how to capture both Hawking's non-unitary entropy curve, and density matrix-connecting contributions that restore unitarity, in a toy quantum system with chaotic dynamics. The motivation is to find the simplest possible dynamical model, dropping all superfluous details, that captures this aspect of gravitational physics. In the model, the Hamiltonian obeys random matrix statistics within microcanonical windows, the entropy of the averaged state gives the non-unitary curve, the averaged entropy gives the unitary curve, and the difference comes from matrix index contractions in the Haar averaging that connect the density matrices in a replica wormhole-like manner.

This paper presents the (Adaptive) Iterative Linear Quadratic Regulator Deep Galerkin Method (AIR-DGM), a novel approach for solving optimal control (OC) problems in dynamic and uncertain environments. Traditional OC methods face challenges in scalability and adaptability due to the curse-of-dimensionality and reliance on accurate models. Model Predictive Control (MPC) addresses these issues but is limited to open-loop controls. With (A)ILQR-DGM, we combine deep learning with OC to compute closed-loop control policies that adapt to changing dynamics. Our methodology is split into two phases; offline and online. In the offline phase, ILQR-DGM computes globally optimal control by minimizing a variational formulation of the Hamilton-Jacobi-Bellman (HJB) equation. To improve performance over DGM (Sirignano & Spiliopoulos, 2018), ILQR-DGM uses the ILQR method (Todorov & Li, 2005) to initialize the value function and policy networks. In the online phase, AIR-DGM solves continuously updated OC problems based on noisy observations of the environment. We provide results based on HJB stability theory to show that AIR-DGM leverages Transfer Learning (TL) to adapt the optimal policy. We test (A)ILQR-DGM in various setups and demonstrate its superior performance over traditional methods, especially in scenarios with misspecified priors and changing dynamics.

Iwasawa algebras are completed group rings that arise in number theory, so there is interest in understanding their prime ideals. For some special Iwasawa algebras, it is conjectured that every non-zero such ideal has finite codimension and in order to show this it is enough to establish the faithfulness of the modules arising from the completion of highest weight modules. In this talk we will look at methods for doing this and apply them to the specific case of the metaplectic representation for the symplectic group.

Given an infinite discrete group G with a finite model for the classifying space for proper actions, one can define the Euler characteristic of G and the orbifold Euler characteristic of G. In this talk we will discuss higher chromatic analogues of these invariants in the sense of stable homotopy theory. We will study the Morava K-theory of G and associated Euler characteristic, and give a character formula for the Lubin-Tate theory of G. This will generalise the results of Hopkins-Kuhn-Ravenel from finite to infinite groups and the K-theoretic results of Adem, Lück and Oliver from chromatic level one to higher chromatic levels. At the end we will mention explicit computations for some arithmetic groups and mapping class groups in terms of class numbers and special values of zeta functions. This is all joint with Wolfgang Lück and Stefan Schwede.

Many systems in the applied sciences are made of a large number of particles. One is often not interested in the detailed behaviour of each particle but rather in the collective behaviour of the group. An established methodology in statistical mechanics and kinetic theory allows one to study the limit as the number of particles in the system N tends to infinity and to obtain a (low dimensional) PDE for the evolution of the density of the particles. The limiting PDE is a non-linear equation, where the non-linearity has a specific structure and is called a McKean-Vlasov nonlinearity. Even if the particles evolve according to a stochastic differential equation, the limiting equation is deterministic, as long as the particles are subject to independent sources of noise. If the particles are subject to the same noise (common noise) then the limit is given by a Stochastic Partial Differential Equation (SPDE). In the latter case the limiting SPDE is substantially the McKean-Vlasov PDE + noise; noise is furthermore multiplicative and has gradient structure.  One may then ask the question about whether it is possible to obtain McKean-Vlasov SPDEs with additive noise from particle systems. We will explain how to address this question, by studying limits of weighted particle systems.  

This is a joint work with L. Angeli, J. Barre,  D. Crisan, M. Kolodziejzik.  

The moduli space of torsion-free $G_2$-structures on a compact $7$-manifold $M$ is a smooth manifold, locally diffeomorphic to an open subset of $H^3(M)$. It is endowed with a natural metric which arises as the Hessian of a potential, the properties of which are still poorly understood. In this talk, we will review what is known of the geometry of $G_2$-moduli spaces and present new formulae for the fourth derivative of the potential and the curvatures of the associated metric. We explain some interesting consequences for the simplest examples of $G_2$-manifolds, when the universal cover of $M$ is $\mathbb{R}^7$ or $\mathbb{R}^3 \times K3$. If time permits, we also make some comments on the general case.

Sparse neural networks, where a substantial portion of the components are eliminated, have widely shown their versatility in model compression, robustness improvement, and overfitting mitigation. However, traditional methods for obtaining such sparse networks usually involve a fully pre-trained, dense model. As foundation models become prevailing, the cost of this pre-training step can be prohibitive. On the other hand, training intrinsic sparse neural networks from scratch usually leads to inferior performance compared to their dense counterpart. 

In this talk, I will present a series of approaches to obtain such fantastic sparse neural networks by training from scratch without the need for any dense pre-training steps, including dynamic sparse training, static sparse with random pruning, and only masking no training. First, I will introduce the concept of in-time over-parameterization (ITOP) (ICML2021) which enables training sparse neural networks from scratch (commonly known as sparse training) to attain the full accuracy of dense models. By dynamically exploring new sparse topologies during training, we avoid the costly necessity of pre-training and re-training, requiring only a single training run to obtain strong sparse neural networks. Secondly, ITOP involves additional overhead due to the frequent change in sparse topology. Our following work (ICLR2022) demonstrates that even a naïve, static sparse network produced by random pruning can be trained to achieve dense model performance as long as our model is relatively larger. Moreover, I will further discuss that we can continue to push the extreme of training efficiency by only learning masks at initialization without any weight updates, addressing the over-smoothing challenge in building deep graph neural networks (LoG2022).

Sarah Livermore has worked in the Civil Service for over 10 years, using the maths skills gained in her physics degrees (MPhys, DPhil) whilst studying at Oxford. In this session she’ll discuss some of the roles available to people with a STEM background in the Civil Service, a ‘day in the life’ of a civil servant, typical career paths and how to apply.

In recent years, the theme of asymptotically flat spacetimes has come back to the fore, fueled by the discovery of gravitational waves and the growing interest in what flat holography could be. In this quest, the standard tools pertaining to asymptotically anti-de Sitter spacetimes have been insufficiently exploited. I will show how Ricci-flat spacetimes are generally reached as a limit of Einstein geometries and how they are in fact constructed by means of data defined on the conformal Carrollian boundary that is null infinity. These data, infinite in number, are obtained as the coefficients of the Laurent expansion of the energy-momentum tensor in powers of the cosmological constant. This approach puts this tensor back at the heart of the analysis, and at the same time reveals the versatile role of the boundary Cotton tensor. Both appear in the infinite hierarchy of flux-balance equations governing the gravitational dynamics.  

We build statistical models to describe how market participants choose the direction, price, and volume of orders. Our dataset, which spans sixteen weeks for four shares traded in Euronext Amsterdam, contains all messages sent to the exchange and includes algorithm identification and member identification. We obtain reliable out-of-sample predictions and report the top features that predict direction, price, and volume of orders sent to the exchange. The coefficients from the fitted models are used to cluster trading behaviour and we find that algorithms registered as Liquidity Providers exhibit the widest range of trading behaviour among dealing capacities. In particular, for the most liquid share in our study, we identify three types of behaviour that we call (i) directional trading, (ii) opportunistic trading, and (iii) market making, and we find that around one third of Liquidity Providers behave as market markers.

This is based on work with Álvaro Cartea, Saad Labyad, Leandro Sánchez-Betancourt and Leon van Veldhuijzen. View the working paper here.
 

Attendance is free of charge but requires prior online registration. To register please click here.

Schubert varieties in (twisted) affine Grassmannians and their singularities are of interest to arithmetic geometers because they model the étale local structure of the special fiber of Shimura varieties. In this talk, I will discuss a proof of a conjecture of Haines-Richarz classifying the smooth locus of Schubert varieties, generalizing a classical result of Evens-Mirkovic. The main input is to obtain a lower bound for the tangent space at a point of the Schubert variety which arises from considering certain smooth curves passing through it. In the second part of the talk, I will explain how in many cases, we can prove this bound is actually sharp, and discuss some applications to Shimura varieties. This is based on joint work with Pappas and Kisin-Pappas.

Junior Strings is a seminar series where DPhil students present topics of common interest that do not necessarily overlap with their own research area. This is primarily aimed at PhD students and post-docs but everyone is welcome.

A novel framework for hierarchical low-rank matrices is proposed that combines an adaptive hierarchical partitioning of the matrix with low-rank approximation. One typical application is the approximation of discretized functions on rectangular domains; the flexibility of the format makes it possible to deal with functions that feature singularities in small, localized regions. To deal with time evolution and relocation of singularities, the partitioning can be dynamically adjusted based on features of the underlying data. Our format can be leveraged to efficiently solve linear systems with Kronecker product structure, as they arise from discretized partial differential equations (PDEs). For this purpose, these linear systems are rephrased as linear matrix equations and a recursive solver is derived from low-rank updates of such equations. 
We demonstrate the effectiveness of our framework for stationary and time-dependent, linear and nonlinear PDEs, including the Burgers' and Allen–Cahn equations.

This is a joint work with Daniel Kressner and Stefano Massei.

Add to calendar

For many systems (certainly those in biology, medicine and pharmacology) the mathematical models that are generated invariably include state variables that cannot be directly measured and associated model parameters, many of which may be unknown, and which also cannot be measured.  For such systems there is also often limited access for inputs or perturbations. These limitations can cause immense problems when investigating the existence of hidden pathways or attempting to estimate unknown parameters and this can severely hinder model validation. It is therefore highly desirable to have a formal approach to determine what additional inputs and/or measurements are necessary in order to reduce or remove these limitations and permit the derivation of models that can be used for practical purposes with greater confidence.

Structural identifiability arises in the inverse problem of inferring from the known, or assumed, properties of a biomedical or biological system a suitable model structure and estimates for the corresponding rate constants and other model parameters.  Structural identifiability analysis considers the uniqueness of the unknown model parameters from the input-output structure corresponding to proposed experiments to collect data for parameter estimation (under an assumption of the availability of continuous, noise-free observations).  This is an important, but often overlooked, theoretical prerequisite to experiment design, system identification and parameter estimation, since estimates for unidentifiable parameters are effectively meaningless.  If parameter estimates are to be used to inform about intervention or inhibition strategies, or other critical decisions, then it is essential that the parameters be uniquely identifiable. 

Numerous techniques for performing a structural identifiability analysis on linear parametric models exist and this is a well-understood topic.  In comparison, there are relatively few techniques available for nonlinear systems (the Taylor series approach, similarity transformation-based approaches, differential algebra techniques and the more recent observable normal form approach and symmetries approaches) and significant (symbolic) computational problems can arise, even for relatively simple models in applying these techniques.

In this talk an introduction to structural identifiability analysis will be provided demonstrating the application of the techniques available to both linear and nonlinear parameterised systems and to models of (nonlinear mixed effects) population nature.

It was shown by Balasubramanya that any acylindrically hyperbolic group (a natural generalisation of a hyperbolic group) must act acylindrically and non-elementarily on some quasi-tree. It is therefore sensible to ask to what extent this is true for trees, i.e. given an acylindrically hyperbolic group, does it admit a non-elementary acylindrical action on some simplicial tree? In this talk I will introduce the concepts of acylindrically hyperbolic and acylindrically arboreal groups and discuss some particularly interesting examples of acylindrically hyperbolic groups which do and do not act acylindrically on trees.

We review progress made by our group on soft matter at interfaces and related physics from the nano- to macroscopic lengthscales. Specifically, to capture nanoscale properties very close to interfaces and to establish a link to the macroscale behaviour, we employ elements from the statistical mechanics of classical fluids, namely density-functional theory (DFT). We formulate a new and general dynamic DFT that carefully and systematically accounts for the fundamental elements of any classical fluid and soft matter system, a crucial step towards the accurate and predictive modelling of physically relevant systems. In a certain limit, our DDFT reduces to a non-local Navier-Stokes-like equation that we refer to as hydrodynamic DDFT: an inherently multiscale model, bridging the micro- to the macroscale, and retaining the relevant fundamental microscopic information (fluid temperature, fluid-fluid and wall-fluid interactions) at the macroscopic level.

Work analysing the moving contact line in both equilibrium and dynamics will be presented. This has been a longstanding problem for fluid dynamics with a major challenge being its multiscale nature, whereby nanoscale phenomena manifest themselves at the macroscale. A key property captured by DFT at equilibrium, is the fluid layering on the wall-fluid interface, amplified as the contact angle decreases. DFT also allows us to unravel novel phase transitions of fluids in confinement. In dynamics, hydrodynamic DDFT allows us to benchmark existing phenomenological models and reproduce some of their key ingredients. But its multiscale nature also allows us to unravel the underlying physics of moving contact lines, not possible with any of the previous approaches, and indeed show that the physics is much more intricate than the previous models suggest.

We will close with recent efforts on machine learning and DFT. In particular, the development of a novel data-driven physics-informed framework for the solution of the inverse problem of statistical mechanics: given experimental data on the collective motion of a classical many-body system, obtain the state functions, such as free-energy functionals.

email Hannah Hughes for further information.

We discuss Connes’ quantized calculus on quantum tori and Euclidean spaces, as applications of the recent development of noncommutative analysis.
This talk is based on a joint work in progress with Xiao Xiong and Kai Zeng.
 

Abstract: It’s a classical result by Huber that the number of closed geodesics of length bounded by L on a closed hyperbolic surface S is asymptotic to exp(L)/L as L grows. This result has been generalized in many directions, for example by counting certain subsets of closed geodesics. One such result is the asymptotic growth of those that are homologically trivial, proved independently by both by Phillips-Sarnak and Katsura-Sunada. A homologically trivial curve can be written as a product of commutators, and in this talk we will look at those that can be written as a product of g commutators (in a sense, those that bound a genus g subsurface) and obtain their asymptotic growth. As a special case, our methods give a geometric proof of Huber’s classical theorem. This is joint work with Juan Souto. 

An $n$-vertex graph $G$ is a $C$-expander if $|N(X)|\geq C|X|$ for every $X\subseteq V(G)$ with $|X|< n/2C$ and there is an edge between every two disjoint sets of at least $n/2C$ vertices.

We show that there is some constant $C>0$ for which every $C$-expander is Hamiltonian. In particular, this implies the well known conjecture of Krivelevich and Sudakov from 2003 on Hamilton cycles in $(n,d,\lambda)$-graphs. This completes a long line of research on the Hamiltonicity of sparse graphs, and has many applications.

Joint work with R. Montgomery, D. Munhá Correia, A. Pokrovskiy and B. Sudakov.

High-order tensor methods for solving both convex and nonconvex optimization problems have recently generated significant research interest, due in part to the natural way in which higher derivatives can be incorporated into adaptive regularization frameworks, leading to algorithms with optimal global rates of convergence and local rates that are faster than Newton's method. On each iteration, to find the next solution approximation, these methods require the unconstrained local minimization of a (potentially nonconvex) multivariate polynomial of degree higher than two, constructed using third-order (or higher) derivative information, and regularized by an appropriate power of the change in the iterates. Developing efficient techniques for the solution of such subproblems is currently, an ongoing topic of research,  and this talk addresses this question for the case of the third-order tensor subproblem.

In particular, we propose the CQR algorithmic framework, for minimizing a nonconvex Cubic multivariate polynomial with  Quartic Regularisation, by sequentially minimizing a sequence of local quadratic models that also incorporate both simple cubic and quartic terms. The role of the cubic term is to crudely approximate local tensor information, while the quartic one provides model regularization and controls progress. We provide necessary and sufficient optimality conditions that fully characterise the global minimizers of these cubic-quartic models. We then turn these conditions into secular equations that can be solved using nonlinear eigenvalue techniques. We show, using our optimality characterisations, that a CQR algorithmic variant has the optimal-order evaluation complexity of $O(\epsilon^{-3/2})$ when applied to minimizing our quartically-regularised cubic subproblem, which can be further improved in special cases.  We propose practical CQR variants that judiciously use local tensor information to construct the local cubic-quartic models. We test these variants numerically and observe them to be competitive with ARC and other subproblem solvers on typical instances and even superior on ill-conditioned subproblems with special structure.

Iwasawa algebras are completions of group algebras for p-adic Lie groups, and have applications for studying the representations of these groups. It is an ongoing project to study the prime ideals, and more generally the two-sided ideals, of these algebras.

In the case of Iwasawa algebras corresponding to a simple Lie algebra with a Chevalley basis, we aim to prove that all non-zero two-sided ideals have finite codimension. To prove this, it is sufficient to show faithfulness of modules arising from highest-weight modules for the corresponding Lie algebra.

I have proved two main results in this direction: firstly, I proved the faithfulness of generalised Verma modules over the Iwasawa algebra. Secondly, I proved the faithfulness of all infinite-dimensional highest-weight modules in the case where the Lie algebra has type A. In this talk, I will outline the methods I used to prove these cases.

We discuss timelike surfaces of finite size in general relativity and the initial boundary value problem. We consider obstructions with the standard Dirichlet problem, and conformal version with improved properties. The ensuing dynamical features are discussed with general cosmological constant.

I will give an overview of a recent method introduced by P. Duch to solve some subcritical singular SPDEs, in particular the stochastic quantisation equation for scalar fields. 

In this seminar, I will talk about a notion of entropy of arithmetic functions and some properties of this entropy.  This notion was introduced to study Sarnak's Moebius Disjointness Conjecture.