L6

Characterising intractable high-dimensional random variables is one of the fundamental challenges in stochastic computation. We develop a deep transport map that is suitable for sampling concentrated distributions defined by an unnormalised density function. We approximate the target distribution as the push-forward of a reference distribution under a composition of order-preserving transformations, in which each transformation is formed by a tensor train decomposition. The use of composition of maps moving along a sequence of bridging densities alleviates the difficulty of directly approximating concentrated density functions. We propose two bridging strategies suitable for wide use: tempering the target density with a sequence of increasing powers, and smoothing of an indicator function with a sequence of sigmoids of increasing scales. The latter strategy opens the door to efficient computation of rare event probabilities in Bayesian inference problems.

Numerical experiments on problems constrained by differential equations show little to no increase in the computational complexity with the event probability going to zero, and allow to compute hitherto unattainable estimates of rare event probabilities for complex, high-dimensional posterior densities.
 

Elkem is developing a new method for categorising the reactivity between silicon carbide (SiC) powder and silicon monoxide gas (SiO(g)). Experiments have been designed which pass SiO gas through a powdered bed of SiC inside of a heated crucible, resulting in a reaction between the two. The SiO gas is produced via a secondary reaction outside of the SiC bed. Both reactions require specific temperature and pressure constraints to occur. Therefore, we would like to mathematically model the temperature distribution and gas flow within the experimental set-up to provide insight into how we can control the process.

Complexities arise from:

• Endothermic reactions causing heat sinks
• Competing reactions beyond the two we desire
• Dynamically changing properties of the bed, such as permeability

The Camassa--Holm (CH) equation is a nonlocal equation that manifests supercritical behaviour in ``wave-breaking" and non-uniqueness. In this talk, I will discuss the existence of global (dissipative weak martingale) solutions to the CH equation with multiplicative, gradient type noise, derived as an inviscid limit. The goal of the talk is twofold. The stochastic CH equation will be used to illustrate aspects of a stochastic compactness and renormalisation method which is popularly used to derive well-posedness and continuous dependence results in SPDEs. I shall also discuss how a lack of temporal compactness introduces fundamental difficulties in the case of the stochastic CH equation.

This talk is based on joint works with L. Galimbert and H. Holden, both at NTNU, and with K.H. Karlsen at the University of Oslo. 

We will show asymptotic analysis for hydrodynamic system, as Navier-Stokes-Fourier system, as a useful tool in in the situation when certain parameters in the system – called characteristic numbers – vanish or become infinite. The choice of proper scaling, namely proper system of reference units, the parameters determining the behaviour of the system under consideration allow to eliminate unwanted or unimportant for particular phenomena modes of motion. The main goal of many studies devoted to asymptotic analysis of various physical systems is to derive a simplified set of equations - simpler for mathematical or numerical analysis. Such systems may be derived in a very formal way, however we will concentrate on rigorous mathematical analysis. I will concentrate on low Mach number limits with so called ill-prepared data and I will present some results which concerns passage from compressible to incompressible models of fluid flow emphasising difficulties characteristic for particular problems. In particular we will discuss Navier-Stokes-Fourier system on varying domains, a multi-scale problem for viscous heat-conducting fluids in fast rotation and the incompressible limit of compressible finitely extensible nonlinear bead-spring chain models for dilute polymeric fluids.

Dispersion relations for S-matrices and CFT correlators translate UV consistency into bounds on IR observables. In this talk, I will begin with briefly introducing dispersionrelations in 2D flat space which will guide the analogous discussion in AdS₂/CFT₁. I will introduce a set of functionals acting on the 1D CFT. These will allow us to prove bounds on higher-derivative couplings in weakly coupled non-gravitational EFTs in AdS₂. At the leading order in the bulk-point limit, the bounds agree with the flat-space result. Furthermore we can compute the leading universal effect of finite AdS radius on the bounds.

The Chabauty-Kim method is an effective algorithm for finding the $S$-integral points of hyperbolic curves by directly using the hyperbolicity in group-cohomological arguments. Central objects in the theory are affine spaces known as a Selmer schemes. We'll introduce the CK method and Selmer schemes, and demonstrate some additional structures possessed by Selmer schemes which can aid in implementing the CK method.
 

The Balog-Szemerédi-Gowers theorem is a powerful tool in additive combinatorics, that allows one to roughly convert any “large energy” estimate into a “small sumset” estimate. This has found applications in a lot of results in additive combinatorics and other areas. In this talk, we will provide a friendly introduction and overview of this result, and then discuss some proof ideas. No hardcore additive combinatorics pre-requisites will be assumed.

As one of the largest retailers in the world, Tesco relies on automated forecasting to help with decision making. A common issue with forecasts is that of the cold start problem; that we must make forecasts for new products that have no history to learn from. Lack of historical data becomes a real problem as it prevents us from knowing how products react to events, and if their sales react to the time of year. We might consider using similar products as a way to produce a starting forecast, but how should we define what ‘similar’ means, and how should we evolve this model as we start getting real live data? We’ll present some examples to hopefully start a fruitful discussion.

This talk is motivated by work on the existence theory for viscoelasticity of Kelvin-Voigt type with non-convex stored energies (joint with K. Koumatos (U. of Sussex), C. Lattanzio and S. Spirito (U. of LAquila)), which shows propagation of H1-regularity for the deformation gradient of weak solutions for semiconvex stored energies. It turns out that weak solutions with deformation gradient in H1 are in fact unique in two-space dimensions, providing a striking analogy to corresponding results in the theory of 2D Euler equations with bounded vorticity.

While weak solutions still exist for initial data in L2, oscillations on the deformation gradi- ent can now persist and propagate in time. This can be seen via a counterexample indicating that for non-monotone stress-strain relations in 1-d oscillations of the strain lead to solutions with sustained oscillations. The existence of sustained oscillations in hyperbolic-parabolic system is then studied in several examples motivated by viscoelasticity and thermoviscoelas- ticity. Sufficient conditions for persistent oscillations are developed for linear problems, and examples in some nonlinear systems of interest. In several space dimensions oscillatory exam- ples are associated with lack of rank-one convexity of the stored energy. Nonlinear examples in models with thermal effects are also developed.