相关论文: A regularisation approach to causality theory for …

We present a systematic study of causality theory on Lorentzian manifolds with continuous metrics. Examples are given which show that some standard facts in smooth Lorentzian geometry, such as light-cones being hypersurfaces, are wrong when…

We extend the validity of the Penrose singularity theorem to spacetime metrics of regularity $C^{1,1}$. The proof is based on regularisation techniques, combined with recent results in low regularity causality theory.

We provide a detailed proof of Hawking's singularity theorem in the regularity class $C^{1,1}$, i.e., for spacetime metrics possessing locally Lipschitz continuous first derivatives. The proof uses recent results in $C^{1,1}$-causality…

We show that the Hawking--Penrose singularity theorem, and the generalisation of this theorem due to Galloway and Senovilla, continue to hold for Lorentzian metrics that are of $C^{1, 1}$-regularity. We formulate appropriate weak versions…

Continuing recent efforts in extending the classical singularity theorems of General Relativity to low regularity metrics, we give a complete proof of both the Hawking and the Penrose singularity theorem for $C^1$-Lorentzian metrics - a…

We investigate regularization of riemannian metrics by mollification. Assuming both-sided bounds on the Ricci tensor and a lower injectivity radius bound we obtain a uniform estimate on the change of the sectional curvature. Actually, our…

We extend both the Hawking-Penrose Theorem and its generalisation due to Galloway and Senovilla to Lorentzian metrics of regularity $C^1$. For metrics of such low regularity, two main obstacles have to be addressed. On the one hand, the…

We introduce an analogue of the theory of length spaces into the setting of Lorentzian geometry and causality theory. The r\^ole of the metric is taken over by the time separation function, in terms of which all basic notions are…

On the occasion of Sir Roger Penrose's 2020 Nobel Prize in Physics, we review the singularity theorems of General Relativity, as well as their recent extension to Lorentzian metrics of low regularity. The latter is motivated by the quest to…

We consider the usual causal structure $(I^+,J^+)$ on a spacetime, and a number of alternatives based on Minguzzi's $D^+$ and Sorkin and Woolgar's $K^+$, in the case where the spacetime metric is continuous, but not necessarily smooth. We…

We prove a low-regularity version of Hawking's singularity theorem for Lorentzian metrics in $W^{1,p}$ with Riemann curvature in $L^p$, where $p>2n$ and $n$ the dimension of spacetime. This extends previous results beyond the Lipschitz…

We establish the global $C^{1, \alpha}$-regularity for functions in solution classes, whenever ellipticity constants are sufficiently close. As an application, we derive the global regularity result concerning the parabolic normalized…

We derive all possible causality conditions for conformally flat Lorentzian metrics on the two-dimensional cylinder.

We prove a Gannon-Lee theorem for non-globally hyperbolic Lo\-rentzian metrics of regularity $C^1$, the most general regularity class currently available in the context of the classical singularity theorems. Along the way we also prove that…

We establish volume comparison results for balls in Riemannian manifolds with $C^{1,1}$-metrics with a lower bound on the Ricci tensor and for the evolution of spacelike, acausal, causally complete hypersurfaces with an upper bound on the…

In General Relativity the metric can be recovered from the structure of the lightcones and a measure giving the volume element. Since the causal structure seems to be simpler than the Lorentzian manifold structure, this suggests that it is…

We develop a technique for normalization for $\infty$-type theories. The normalization property helps us to prove a coherence theorem: the initial model of a given $\infty$-type theory is $0$-truncated. The coherence theorem justifies…

Inspired by some Lorentzian versions of the notion of metric and length space introduced by Kunzinger and S\"amman, and more recently, by M\"uller, and Minguzzi and S\"uhr, we revisit the notion of Lorentzian metric space in order to later…

We give an up-to-date perspective with a general overview of the theory of causal properties, the derived causal structures, their classification and applications, and the definition and construction of causal boundaries and of causal…

We propose and analyze a regularization approach for structured prediction problems. We characterize a large class of loss functions that allows to naturally embed structured outputs in a linear space. We exploit this fact to design…