This paper is the third and final component of a three-part effort on observers contracting a Riemannian distance between the state of the system and its estimate. In Part I, we showed that such a contraction property holds if the system dynamics and the Riemannian metric satisfy two key conditions: a differential detectability property and a geode...
Motivated by the cosmic censorship conjecture in mathematical relativity, we establish the precise mass lower bound for an asymptotically flat Riemannian 3-manifold with nonnegative scalar curvature and minimal surface boundary, in terms of angular momentum and charge. In particular this result does not require the restrictive assumptions of simple...
We prove existence of all possible bi-axisymmetric near-horizon geometries of 5-dimensional minimal supergravity. These solutions possess the cross-sectional horizon topology $S^3$, $S^1\times S^2$, or $L(p,q)$ and come with prescribed electric charge, two angular momenta, and a dipole charge (in the ring case). Moreover, we establish uniqueness of...
Published in General Relativity and Gravitation
A lower bound for the ADM mass is established in terms of angular momentum, charge, and horizon area in the context of maximal, axisymmetric initial data for the Einstein–Maxwell equations which satisfy the weak energy condition. If, on the horizon, the given data agree to a certain extent with the associated model Kerr–Newman data, then the inequa...
Published in Annales Henri Poincaré
We establish a class of area–angular momentum–charge inequalities satisfied by stable marginally outer trapped surfaces in 5-dimensional minimal supergravity which admit a U(1)2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgr...
We analyse the geometry of generic Minkowski N = 1, D = 4 flux compactifications in string theory, the default backgrounds for string model building. In M-theory they are the natural string theoretic extensions of G2 holonomy manifolds. In type II theories, they extend the notion of Calabi-Yau geometry and include the class of flux backgrounds base...
Let Γ be a discrete group of isometries acting on the complex hyperbolic n-space HCn. In this note, we prove that if Γ is convex-cocompact, torsion-free, and the critical exponent δ(Γ) is strictly lesser than 2, then the complex manifold HCn/Γ is Stein. We also discuss several related conjectures.
We explain the existence of a smooth $HP^2$-bundle over $S^4$ whose total space has nontrivial $\hat{A}$-genus. Combined with an argument going back to Hitchin, this answers a question of Schick and implies that the space of Riemannian metrics of positive sectional curvature on a closed manifold can have nontrivial higher rational homotopy groups. ...
We propose an efficient algorithm to visualise symmetries in neural networks. Typically, models are defined with respect to a parameter space, where non-equal parameters can produce the same input-output map. Our proposed method, GENNI, allows us to efficiently identify parameters that are functionally equivalent and then visualise the subspace of ...
We relate the sub-Riemannian geometry on the group of rigid motions of the plane to `bicycling mathematics'. We show that this geometry's geodesics correspond to bike paths whose front tracks are either non-inflectional Euler elasticae or straight lines, and that its infinite minimizing geodesics (or `metric lines') correspond to bike paths whose f...
