The strong cosmic censorship conjecture is a fundamental open problem in classical general relativity, first put forth by Roger Penrose in the early 70s. This is essentially the question of whether general relativity is a deterministic theory. Perhaps the most exciting arena where the validity of the conjecture is challenged is the interior of rotating black holes, and there has been a lot of work in the past 50 years in identifying mechanisms ensuring that at least some formulation of the conjecture be true. It turns out that when a nonzero cosmological constant Λ is added to the Einstein equations, these underlying mechanisms change in an unexpected way, and the validity of the conjecture depends on a detailed understanding of subtle aspects of black hole scattering theory, surprisingly involving, in the case of negative Λ, some number theory. Does strong cosmic censorship survive the challenge of non-zero Λ? This talk will try to address this Question!

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.