Zobrazeno 1 - 10
of 360
pro vyhledávání: '"SIMPSON, ALEX"'
We introduce Clerical, a programming language for exact real-number computation that combines first-order imperative-style programming with a limit operator for computation of real numbers as limits of Cauchy sequences. We address the semidecidabilit
Externí odkaz:
http://arxiv.org/abs/2409.11946
Autor:
Simpson, Alex
Publikováno v:
39th Annual ACM/IEEE Symposium on Logic in Computer Science, July 8--11, 2024, Tallinn, Estonia. ACM, New York NY, USA
We propose a semantic foundation for logics for reasoning in settings that possess a distinction between equality of variables, a coarser equivalence of variables, and a notion of conditional independence between variables. We show that such relation
Externí odkaz:
http://arxiv.org/abs/2405.11073
Autor:
Simpson, Alex
This thesis operates within the framework of general relativity without curvature singularities. The motivation for this framework is explored, and several conclusions are drawn with a look towards future research. There are many ways to excise curva
Externí odkaz:
http://arxiv.org/abs/2304.07383
Loosely inspired by the somewhat fanciful notion of detecting an arbitrarily advanced alien civilization, we consider a general-relativistic thin-shell Dyson mega-sphere completely enclosing a central star-like object, and perform a full general-rela
Externí odkaz:
http://arxiv.org/abs/2207.02465
Herein we explore the non-equatorial constant-$r$ ("quasi-circular") geodesics (both timelike and null) in the Painleve-Gullstrand variant of the Lense-Thirring spacetime recently introduced by the current authors. Even though the spacetime is not sp
Externí odkaz:
http://arxiv.org/abs/2202.09010
Recently, the current authors have formulated and extensively explored a rather novel Painleve-Gullstrand variant of the slow-rotation Lense-Thirring spacetime, a variant which has particularly elegant features -- including unit lapse, intrinsically
Externí odkaz:
http://arxiv.org/abs/2112.05228
Autor:
Simpson, Alex, Visser, Matt
We analyse a rotating regular black hole with asymptotically Minkowski core. This Kerr-like geometry possesses the full "Killing tower" of nontrivial Killing tensor, Killing-Yano tensor, and principal tensor. The Hamilton-Jacobi equation, the Klein-G
Externí odkaz:
http://arxiv.org/abs/2112.04647
Autor:
Simpson, Alex, Visser, Matt
We present a highly tractable non-singular modification of the Kerr geometry, dubbed the "eye of the storm" -- a rotating regular black hole with an asymptotically Minkowski core. This is achieved by "exponentially suppressing" the mass parameter in
Externí odkaz:
http://arxiv.org/abs/2111.12329
Autor:
Simpson, Alex
Key results from the literature pertaining to a class of nonsingular black hole mimickers are explored. The family of candidate spacetimes is for now labelled the `black-bounce' family, stemming from the original so-called `Simpson--Visser' spacetime
Externí odkaz:
http://arxiv.org/abs/2110.05657