Showing 1–10 of 10 results for author: Beran, T

The equivalence of smooth and synthetic notions of timelike sectional curvature bounds

Authors: Tobias Beran, Michael Kunzinger, Argam Ohanyan, Felix Rott

Abstract: Timelike sectional curvature bounds play an important role in spacetime geometry, both for the understanding of classical smooth spacetimes and for the study of Lorentzian (pre-)length spaces introduced in \cite{kunzinger2018lorentzian}. In the smooth setting, a bound on the sectional curvature of timelike planes can be formulated via the Riemann curvature tensor. In the synthetic setting, bounds… ▽ More Timelike sectional curvature bounds play an important role in spacetime geometry, both for the understanding of classical smooth spacetimes and for the study of Lorentzian (pre-)length spaces introduced in \cite{kunzinger2018lorentzian}. In the smooth setting, a bound on the sectional curvature of timelike planes can be formulated via the Riemann curvature tensor. In the synthetic setting, bounds are formulated by comparing various geometric configurations to the corresponding ones in constant curvature spaces. The first link between these notions in the Lorentzian context was established in \cite{harris1982triangle}, which was instrumental in the proof of powerful results in spacetime geometry \cite{beem1985toponogov, beem1985decomposition, galloway2018existence}. For general semi-Riemannian manifolds, the equivalence between sectional curvature bounds and synthetic bounds was established in \cite{alexander2008triangle}, however in this approach the sectional curvatures of both timelike and spacelike planes have to be considered. In this article, we fill a gap in the literature by proving the full equivalence between sectional curvature bounds on timelike planes and synthetic timelike bounds on strongly causal spacetimes. As an essential tool, we establish Hessian comparison for the time separation and signed distance functions. △ Less

Submitted 26 March, 2024; originally announced March 2024.

Comments: 15 pages

MSC Class: 53B30; 53C23; 53B50

Bonnet-Myers rigidity theorem for globally hyperbolic Lorentzian length spaces

Authors: Tobias Beran

Abstract: We prove a synthetic Bonnet-Myers rigidity theorem for globally hyperbolic Lorentzian length spaces with global curvature bounded below by $K<0$ and an open distance realizer of length $L=\fracπ{\sqrt{|K|}}$. In the course of the proof, we show that the space necessarily is a warped product with war** function $\cos:(-\fracπ{2},\fracπ{2})\to\mathbb{R}_+$. We prove a synthetic Bonnet-Myers rigidity theorem for globally hyperbolic Lorentzian length spaces with global curvature bounded below by $K<0$ and an open distance realizer of length $L=\fracπ{\sqrt{|K|}}$. In the course of the proof, we show that the space necessarily is a warped product with war** function $\cos:(-\fracπ{2},\fracπ{2})\to\mathbb{R}_+$. △ Less

Submitted 3 February, 2024; v1 submitted 30 January, 2024; originally announced January 2024.

Comments: Updated bibliography, included funding statement. 44 pages, 7 figures. arXiv admin note: substantial text overlap with arXiv:2209.14724

MSC Class: 53C50; 53C23; 53B30

Characterizing intrinsic Lorentzian length spaces via $τ$-midpoints

Authors: Tobias Beran, Felix Rott

Abstract: In metric geometry, the question of whether a distance metric is given by the length of curves can be decided via the existence of midpoints with respect to the metric $d$. We adapt a similar characterization to the setting of Lorentzian pre-length spaces. In particular, we show that a given space is strictly intrinsic provided it has $τ$-midpoints and merely intrinsic provided it has approximate… ▽ More In metric geometry, the question of whether a distance metric is given by the length of curves can be decided via the existence of midpoints with respect to the metric $d$. We adapt a similar characterization to the setting of Lorentzian pre-length spaces. In particular, we show that a given space is strictly intrinsic provided it has $τ$-midpoints and merely intrinsic provided it has approximate $τ$-midpoints. Our approach is based on the null distance of C. Sormani and C. Vega. △ Less

Submitted 22 September, 2023; originally announced September 2023.

Comments: 16 pages, 1 figure

MSC Class: 53C23; 51K10

A Toponogov globalisation result for Lorentzian length spaces

Authors: Tobias Beran, John Harvey, Lewis Napper, Felix Rott

Abstract: In the synthetic geometric setting introduced by Kunzinger and Sämann, we present an analogue of Toponogov's Globalisation Theorem which applies to Lorentzian length spaces with lower (timelike) curvature bounds. Our approach utilises a "cat's cradle" construction akin to that which appears in several proofs in the metric setting. On the road to our main result, we also provide a lemma regarding t… ▽ More In the synthetic geometric setting introduced by Kunzinger and Sämann, we present an analogue of Toponogov's Globalisation Theorem which applies to Lorentzian length spaces with lower (timelike) curvature bounds. Our approach utilises a "cat's cradle" construction akin to that which appears in several proofs in the metric setting. On the road to our main result, we also provide a lemma regarding the subdivision of triangles in spaces with a local lower curvature bound and a synthetic Lorentzian version of the Lebesgue Number Lemma. Several properties of time functions and the null distance on globally hyperbolic Lorentzian length spaces are also highlighted. We conclude by presenting several applications of our results, including versions of the Bonnet--Myers Theorem and Splitting Theorem for Lorentzian length spaces with local lower curvature bounds, as well as discussion of stability of curvature bounds under Gromov--Hausdorff convergence. △ Less

Submitted 22 September, 2023; originally announced September 2023.

Comments: 37 pages, 7 figures

Report number: DMUS-MP-23/14 MSC Class: 53C50 (Primary) 53C23; 53B30; 51K10; 53C80 (Secondary)

On curvature bounds in Lorentzian length spaces

Authors: Tobias Beran, Michael Kunzinger, Felix Rott

Abstract: We introduce several new notions of (sectional) curvature bounds for Lorentzian pre-length spaces: On the one hand, we provide convexity/concavity conditions for the (modified) time separation function, and, on the other hand, we study four-point conditions, which are suitable also for the non-intrinsic setting. Via these concepts we are able to establish (under mild assumptions) the equivalence o… ▽ More We introduce several new notions of (sectional) curvature bounds for Lorentzian pre-length spaces: On the one hand, we provide convexity/concavity conditions for the (modified) time separation function, and, on the other hand, we study four-point conditions, which are suitable also for the non-intrinsic setting. Via these concepts we are able to establish (under mild assumptions) the equivalence of all previously known formulations of curvature bounds. In particular, we obtain the equivalence of causal and timelike curvature bounds as introduced in Kunzinger and Sämann (Ann. Glob. Anal. Geom. 54(3):399-447, 2018). △ Less

Submitted 6 July, 2024; v1 submitted 21 September, 2023; originally announced September 2023.

Comments: Final version, 50 pages, 4 figures

MSC Class: 53C23; 51K10; 53C50; 53B30

Alexandrov's Patchwork and the Bonnet-Myers Theorem for Lorentzian length spaces

Authors: Tobias Beran, Lewis Napper, Felix Rott

Abstract: We present key initial results in the study of global timelike curvature bounds within the Lorentzian pre-length space framework. Most notably, we construct a Lorentzian analogue to Alexandrov's Patchwork, thus proving that suitably nice Lorentzian pre-length spaces with local upper timelike curvature bound also satisfy a corresponding global upper bound. Additionally, for spaces with global lower… ▽ More We present key initial results in the study of global timelike curvature bounds within the Lorentzian pre-length space framework. Most notably, we construct a Lorentzian analogue to Alexandrov's Patchwork, thus proving that suitably nice Lorentzian pre-length spaces with local upper timelike curvature bound also satisfy a corresponding global upper bound. Additionally, for spaces with global lower bound on their timelike curvature, we provide a Bonnet-Myers style result, constraining their finite diameter. Throughout, we make the natural comparisons to the metric case, concluding with a discussion of potential applications and ongoing work. △ Less

Submitted 26 September, 2023; v1 submitted 22 February, 2023; originally announced February 2023.

Comments: 34 pages, 6 figures

Report number: DMUS-MP-23/01 MSC Class: 53C50; 53C23; 53B30; 51K10

The splitting theorem for globally hyperbolic Lorentzian length spaces with non-negative timelike curvature

Authors: Tobias Beran, Argam Ohanyan, Felix Rott, Didier Solis

Abstract: In this work, we prove a synthetic splitting theorem for globally hyperbolic Lorentzian length spaces with global non-negative timelike curvature containing a complete timelike line. Just like in the case of smooth spacetimes, we construct complete, timelike asymptotes which, via triangle comparison, can be shown to fit together to give timelike lines. To get a control on their behaviour, we intro… ▽ More In this work, we prove a synthetic splitting theorem for globally hyperbolic Lorentzian length spaces with global non-negative timelike curvature containing a complete timelike line. Just like in the case of smooth spacetimes, we construct complete, timelike asymptotes which, via triangle comparison, can be shown to fit together to give timelike lines. To get a control on their behaviour, we introduce the notion of parallelity of timelike lines in the spirit of the splitting theorem for Alexandrov spaces and show that asymptotic lines are all parallel. This helps to establish a splitting of a neighbourhood of the given line. We then show that this neighbourhood has the timelike completeness property and is hence inextendible, which globalises the local result. △ Less

Submitted 9 November, 2022; v1 submitted 29 September, 2022; originally announced September 2022.

Comments: 43 pages, 6 figures. Updates in V2: local and global versions of the main theorem are incorporated in a single statement. Minor fixes throughout the document

MSC Class: 53C50; 53C23; 53B30

Hyperbolic angles in Lorentzian length spaces and timelike curvature bounds

Authors: Tobias Beran, Clemens Sämann

Abstract: Within the synthetic-geometric framework of Lorentzian (pre-)length spaces developed in Kunzinger and Sämann (Ann. Glob. Anal. Geom. 54(3):399--447, 2018) we introduce a notion of a hyperbolic angle, an angle between timelike curves and related concepts like timelike tangent cone and exponential map. This provides valuable technical tools for the further development of the theory and paves the way… ▽ More Within the synthetic-geometric framework of Lorentzian (pre-)length spaces developed in Kunzinger and Sämann (Ann. Glob. Anal. Geom. 54(3):399--447, 2018) we introduce a notion of a hyperbolic angle, an angle between timelike curves and related concepts like timelike tangent cone and exponential map. This provides valuable technical tools for the further development of the theory and paves the way for the main result of the article, which is the characterization of timelike curvature bounds (defined via triangle comparison) with an angle monotonicity condition. Further, we improve on a geodesic non-branching result for spaces with timelike curvature bounded below. △ Less

Submitted 13 December, 2022; v1 submitted 19 April, 2022; originally announced April 2022.

Comments: 71 pages, 15 figures; v3: minor changes suggested by the referee

MSC Class: 28A75; 51K10; 53C23; 53C50; 53B30; 53C80; 83C99

Journal ref: JLMS 107, Issue 5, 1583--1923 (2023)

Gluing constructions for Lorentzian length spaces

Authors: Tobias Beran, Felix Rott

Abstract: We introduce an analogue to the amalgamation of metric spaces into the setting of Lorentzian pre-length spaces. This provides a very general process of constructing new spaces out of old ones. The main application in this work is an analogue of the gluing theorem of Reshetnyak for CAT($k$) spaces, which roughly states that gluing is compatible with upper curvature bounds. We formulate the theorem… ▽ More We introduce an analogue to the amalgamation of metric spaces into the setting of Lorentzian pre-length spaces. This provides a very general process of constructing new spaces out of old ones. The main application in this work is an analogue of the gluing theorem of Reshetnyak for CAT($k$) spaces, which roughly states that gluing is compatible with upper curvature bounds. We formulate the theorem in terms of (strongly causal) spacetimes viewed as Lorentzian length spaces. △ Less

Submitted 24 January, 2022; originally announced January 2022.

Comments: 39 pages, 14 figures

MSC Class: 53C23 (Primary); 53C50; 53B30; 51F99; 51K10 (Secondary)

Improvements to deep convolutional neural networks for LVCSR

Authors: Tara N. Sainath, Brian Kingsbury, Abdel-rahman Mohamed, George E. Dahl, George Saon, Hagen Soltau, Tomas Beran, Aleksandr Y. Aravkin, Bhuvana Ramabhadran

Abstract: Deep Convolutional Neural Networks (CNNs) are more powerful than Deep Neural Networks (DNN), as they are able to better reduce spectral variation in the input signal. This has also been confirmed experimentally, with CNNs showing improvements in word error rate (WER) between 4-12% relative compared to DNNs across a variety of LVCSR tasks. In this paper, we describe different methods to further imp… ▽ More Deep Convolutional Neural Networks (CNNs) are more powerful than Deep Neural Networks (DNN), as they are able to better reduce spectral variation in the input signal. This has also been confirmed experimentally, with CNNs showing improvements in word error rate (WER) between 4-12% relative compared to DNNs across a variety of LVCSR tasks. In this paper, we describe different methods to further improve CNN performance. First, we conduct a deep analysis comparing limited weight sharing and full weight sharing with state-of-the-art features. Second, we apply various pooling strategies that have shown improvements in computer vision to an LVCSR speech task. Third, we introduce a method to effectively incorporate speaker adaptation, namely fMLLR, into log-mel features. Fourth, we introduce an effective strategy to use dropout during Hessian-free sequence training. We find that with these improvements, particularly with fMLLR and dropout, we are able to achieve an additional 2-3% relative improvement in WER on a 50-hour Broadcast News task over our previous best CNN baseline. On a larger 400-hour BN task, we find an additional 4-5% relative improvement over our previous best CNN baseline. △ Less

Submitted 10 December, 2013; v1 submitted 5 September, 2013; originally announced September 2013.

Comments: 6 pages, 1 figure

MSC Class: 65K05; 90C15; 90C90