Showing 1–50 of 92 results for author: Mars, M

Using conditional GANs for convergence map reconstruction with uncertainties

Authors: Jessica Whitney, Tobías Liaudat, Matt Price, Matthijs Mars, Jason D. McEwen

Abstract: Understanding the large-scale structure of the Universe and unravelling the mysteries of dark matter are fundamental challenges in contemporary cosmology. Reconstruction of the cosmological matter distribution from lensing observables, referred to as 'mass-map**' is an important aspect of this quest. Mass-map** is an ill-posed problem, meaning there is inherent uncertainty in any convergence m… ▽ More Understanding the large-scale structure of the Universe and unravelling the mysteries of dark matter are fundamental challenges in contemporary cosmology. Reconstruction of the cosmological matter distribution from lensing observables, referred to as 'mass-map**' is an important aspect of this quest. Mass-map** is an ill-posed problem, meaning there is inherent uncertainty in any convergence map reconstruction. The demand for fast and efficient reconstruction techniques is rising as we prepare for upcoming surveys. We present a novel approach which utilises deep learning, in particular a conditional Generative Adversarial Network (cGAN), to approximate samples from a Bayesian posterior distribution, meaning they can be interpreted in a statistically robust manner. By combining data-driven priors with recent regularisation techniques, we introduce an approach that facilitates the swift generation of high-fidelity, mass maps. Furthermore, to validate the effectiveness of our approach, we train the model on mock COSMOS-style data, generated using Colombia Lensing's kappaTNG mock weak lensing suite. These preliminary results showcase compelling convergence map reconstructions and ongoing refinement efforts are underway to enhance the robustness of our method further. △ Less

Submitted 21 May, 2024; originally announced June 2024.

Comments: 2 pages, 1 figure, submitted for conference proceedings for '58th Recontres de Moriond', 2024

Learned radio interferometric imaging for varying visibility coverage

Authors: Matthijs Mars, Marta M. Betcke, Jason D. McEwen

Abstract: With the next generation of interferometric telescopes, such as the Square Kilometre Array (SKA), the need for highly computationally efficient reconstruction techniques is particularly acute. The challenge in designing learned, data-driven reconstruction techniques for radio interferometry is that they need to be agnostic to the varying visibility coverages of the telescope, since these are diffe… ▽ More With the next generation of interferometric telescopes, such as the Square Kilometre Array (SKA), the need for highly computationally efficient reconstruction techniques is particularly acute. The challenge in designing learned, data-driven reconstruction techniques for radio interferometry is that they need to be agnostic to the varying visibility coverages of the telescope, since these are different for each observation. Because of this, learned post-processing or learned unrolled iterative reconstruction methods must typically be retrained for each specific observation, amounting to a large computational overhead. In this work we develop learned post-processing and unrolled iterative methods for varying visibility coverages, proposing training strategies to make these methods agnostic to variations in visibility coverage with minimal to no fine-tuning. Learned post-processing techniques are heavily dependent on the prior information encoded in training data and generalise poorly to other visibility coverages. In contrast, unrolled iterative methods, which include the telescope measurement operator inside the network, achieve state-of-the-art reconstruction quality and computation time, generalising well to other coverages and require little to no fine-tuning. Furthermore, they generalise well to realistic radio observations and are able to reconstruct the high dynamic range of these images. △ Less

Submitted 14 May, 2024; originally announced May 2024.

Transverse expansion of the metric at null hypersurfaces I. Uniqueness and application to Killing horizons

Authors: Marc Mars, Gabriel Sánchez-Pérez

Abstract: This is the first in a series of two papers where we analyze the transverse expansion of the metric on a general null hypersurface. In this paper we obtain general geometric identities relating the transverse derivatives of the ambient Ricci tensor and the transverse expansion of the metric at the null hypersurface. We also explore the case where the hypersurface exhibits a generalized symmetry ge… ▽ More This is the first in a series of two papers where we analyze the transverse expansion of the metric on a general null hypersurface. In this paper we obtain general geometric identities relating the transverse derivatives of the ambient Ricci tensor and the transverse expansion of the metric at the null hypersurface. We also explore the case where the hypersurface exhibits a generalized symmetry generator, namely a privileged vector field in the ambient space which, at the hypersurface, is null and tangent (including the possibility of zeroes). This covers the Killing, homothetic, or conformal horizon cases, and, more generally, any situation where detailed information on the deformation tensor of the symmetry generator is available. Our approach is entirely covariant, independent on any field equations, and does not make any assumptions regarding the topology or dimension of the null hypersurface. As an application we prove that the full transverse expansion of the spacetime metric at a non-degenerate Killing horizon (also allowing for bifurcation surfaces) is uniquely determined in terms of abstract data on the horizon and the tower of derivatives of the ambient Ricci tensor at the horizon. In particular, the transverse expansion of the metric in $Λ$-vacuum spacetimes admitting a non-degenerate horizon is uniquely determined in terms of abstract data at the horizon. △ Less

Submitted 8 May, 2024; originally announced May 2024.

Comments: 42 pages

Null hypersurface data and ambient vector fields: Killing horizons of order zero/one

Authors: Miguel Manzano, Marc Mars

Abstract: In this work, we study null hypersurfaces admitting a privileged vector field $η$ which is null and tangent at the hypersurface. We derive an identity that relates the deformation tensor of $η$ with tensor fields codifying the intrinsic and extrinsic geometry of the hypersurface. This is done without imposing restrictions either on the topology of the hypersurface or on the (possibly empty) subset… ▽ More In this work, we study null hypersurfaces admitting a privileged vector field $η$ which is null and tangent at the hypersurface. We derive an identity that relates the deformation tensor of $η$ with tensor fields codifying the intrinsic and extrinsic geometry of the hypersurface. This is done without imposing restrictions either on the topology of the hypersurface or on the (possibly empty) subset of points where $η$ vanishes. We introduce a generalized notion of surface gravity $κ$ that extends smoothly the usual one to the fixed points. We also analyze the properties of the Lie derivative of the Levi-Civita connection along $η$. This analysis allows us to introduce three new notions of abstractly defined horizons (i.e. not necessarily viewed as embedded submanifolds) that we then compare with the standard concepts of non-expanding, weakly isolated and isolated horizons. The former generalize the latter to completely general topologies and to horizons admitting fixed points. Finally, we study the structure of the fixed points on these new horizons. △ Less

Submitted 3 July, 2024; v1 submitted 18 March, 2024; originally announced March 2024.

Comments: 23 pages

Abstract null geometry, energy-momentum map and applications to the constraint tensor

Authors: Marc Mars

Abstract: We introduce and study the notion of null manifold. This is a smooth manifold ${\mathcal N}$ endowed with a degenerate metric $γ$ with one-dimensional radical at every point. We also define the notion of ruled null manifold, which is a special case of null manifolds. We prove that ruled null manifolds are in one-to-one correspondence with equivalence classes of null metric hypersurface data. This… ▽ More We introduce and study the notion of null manifold. This is a smooth manifold ${\mathcal N}$ endowed with a degenerate metric $γ$ with one-dimensional radical at every point. We also define the notion of ruled null manifold, which is a special case of null manifolds. We prove that ruled null manifolds are in one-to-one correspondence with equivalence classes of null metric hypersurface data. This correspondence is used to endow any null manifold $({\mathcal N},γ)$ with a family of torsion-free connections related to each other by a well-defined gauge group. The whole construction allows one to define and use geometric notions on arbitrary null manifolds. The paper has a second part where we introduce a canonical map on any null metric hypersurface data and use its algebraic properties to define a canonical decomposition of any symmetric (0,2)-covariant tensor. This decomposition, together with two new differential operators compatible with this splitting, are used to decompose the constraint tensor in full generality and at the purely abstract level. This leads to a hierarchical structure of the (detached) Einstein vacuum null constraint equations without the need of introducing special coordinates or special foliations. The results are applied to study null shells arising from the matching of two spacetimes across null boundaries. The equations governing such objects are obtained in hierarchical form without imposing any topological, gauge or coordinate conditions on the shell. △ Less

Submitted 12 February, 2024; originally announced February 2024.

Comments: 34 pages, no figures

Hypersurface data: General properties and Birkhoff theorem in spherical symmetry

Authors: Marc Mars

Abstract: The notions of (metric) hypersurface data were introduced in [Mars,2013] as a tool to analyze, from an abstract viewpoint, hypersurfaces of arbitrary signature in pseudo-riemannian manifolds. In this paper, general geometric properties of these notions are studied. In particular, the properties of the gauge group inherent to the geometric construction are analyzed and the metric hypersurface conne… ▽ More The notions of (metric) hypersurface data were introduced in [Mars,2013] as a tool to analyze, from an abstract viewpoint, hypersurfaces of arbitrary signature in pseudo-riemannian manifolds. In this paper, general geometric properties of these notions are studied. In particular, the properties of the gauge group inherent to the geometric construction are analyzed and the metric hypersurface connection and its corresponding curvature tensor are studied. The results set up the stage for various potential applications. The particular but relevant case of spherical symmetry is considered in detail. In particular, a collection of gauge invariant quantities and a radial covariant derivative is introduced, such that the constraint equations of the Einstein field equations with matter can be written in a very compact form. The general solution of these equations in the vacuum case and Lorentzian ambient signature is obtained, and a generalization of the Birkhoff theorem to this abstract hypersurface setting is derived. △ Less

Submitted 12 February, 2024; originally announced February 2024.

Comments: 31 pages, no figures

Journal ref: Mediterranean Journal of Mathematics, Vol. 17, Art. num. 206 (2020)

Scalable Bayesian uncertainty quantification with data-driven priors for radio interferometric imaging

Authors: Tobías I. Liaudat, Matthijs Mars, Matthew A. Price, Marcelo Pereyra, Marta M. Betcke, Jason D. McEwen

Abstract: Next-generation radio interferometers like the Square Kilometer Array have the potential to unlock scientific discoveries thanks to their unprecedented angular resolution and sensitivity. One key to unlocking their potential resides in handling the deluge and complexity of incoming data. This challenge requires building radio interferometric imaging methods that can cope with the massive data size… ▽ More Next-generation radio interferometers like the Square Kilometer Array have the potential to unlock scientific discoveries thanks to their unprecedented angular resolution and sensitivity. One key to unlocking their potential resides in handling the deluge and complexity of incoming data. This challenge requires building radio interferometric imaging methods that can cope with the massive data sizes and provide high-quality image reconstructions with uncertainty quantification (UQ). This work proposes a method coined QuantifAI to address UQ in radio-interferometric imaging with data-driven (learned) priors for high-dimensional settings. Our model, rooted in the Bayesian framework, uses a physically motivated model for the likelihood. The model exploits a data-driven convex prior, which can encode complex information learned implicitly from simulations and guarantee the log-concavity of the posterior. We leverage probability concentration phenomena of high-dimensional log-concave posteriors that let us obtain information about the posterior, avoiding MCMC sampling techniques. We rely on convex optimisation methods to compute the MAP estimation, which is known to be faster and better scale with dimension than MCMC sampling strategies. Our method allows us to compute local credible intervals, i.e., Bayesian error bars, and perform hypothesis testing of structure on the reconstructed image. In addition, we propose a novel blazing-fast method to compute pixel-wise uncertainties at different scales. We demonstrate our method by reconstructing radio-interferometric images in a simulated setting and carrying out fast and scalable UQ, which we validate with MCMC sampling. Our method shows an improved image quality and more meaningful uncertainties than the benchmark method based on a sparsity-promoting prior. QuantifAI's source code: https://github.com/astro-informatics/QuantifAI. △ Less

Submitted 28 June, 2024; v1 submitted 30 November, 2023; originally announced December 2023.

Comments: 30 pages, 14 figures, 10 tables, code available at https://github.com/astro-informatics/QuantifAI

On staticity of bifurcate Killing horizons

Authors: Piotr T. Chruściel, Marc Mars

Abstract: We show that bifurcate Killing horizons with closed torsion form, in spacetimes of arbitrary dimension satisfying a Ricci-structure condition, arise from static Killing vectors. The result applies in particular to $Λ$-vacuum spacetimes. We show that bifurcate Killing horizons with closed torsion form, in spacetimes of arbitrary dimension satisfying a Ricci-structure condition, arise from static Killing vectors. The result applies in particular to $Λ$-vacuum spacetimes. △ Less

Submitted 27 September, 2023; originally announced September 2023.

Comments: 20 pages, no figures

Abstract Formulation of the Spacetime Matching Problem and Null Thin Shells

Authors: Miguel Manzano, Marc Mars

Abstract: The formalism of hypersurface data is a framework to study hypersurfaces of any causal character abstractly (i.e. without the need of viewing them as embedded in an ambient space). In this paper we exploit this formalism to study the general problem of matching two spacetimes in a fully abstract manner, as this turns out to be advantageous over other approaches in several respects. We then concent… ▽ More The formalism of hypersurface data is a framework to study hypersurfaces of any causal character abstractly (i.e. without the need of viewing them as embedded in an ambient space). In this paper we exploit this formalism to study the general problem of matching two spacetimes in a fully abstract manner, as this turns out to be advantageous over other approaches in several respects. We then concentrate on the case when the boundaries are null and prove that the whole matching is determined by a diffeomorphism $\varphi$ on the abstract data set. By exploiting the gauge structure of the formalism we find explicit expressions for the gravitational/matter-energy content of any null thin shell. The results hold for arbitrary topology. A particular case of interest is when more than one matching is allowed. Assuming that one such matchings has already been solved, we provide explicit expressions for the gravitational/matter-energy content of any other shell in terms of the known one. This situation covers, in particular, all cut-and-paste constructions, where one can simply take as known matching the trivial re-attachment of the two regions. We include, as an example, the most general matching of two regions of the (anti-)de Sitter or Minkowski spacetime across a totally geodesic null hypersurface. △ Less

Submitted 26 September, 2023; originally announced September 2023.

Comments: 35 pages

The Constraint Tensor: General Definition and Properties

Authors: Miguel Manzano, Marc Mars

Abstract: The formalism of hypersurface data allows one to study hypersurfaces of any causal character abstractly (i.e. without viewing them as embedded in an ambient space). The intrinsic and extrinsic geometry of a hypersurface is encoded in a data set $\mathcal{D}$. In this work we codify at the abstract level information about the ambient Ricci tensor by introducing the so-called constraint tensor… ▽ More The formalism of hypersurface data allows one to study hypersurfaces of any causal character abstractly (i.e. without viewing them as embedded in an ambient space). The intrinsic and extrinsic geometry of a hypersurface is encoded in a data set $\mathcal{D}$. In this work we codify at the abstract level information about the ambient Ricci tensor by introducing the so-called constraint tensor $\mathcal{R}$. We provide its abstract definition in terms of general data $\mathcal{D}$, without imposing any topological assumptions and in a fully covariant manner. Moreover, we work in arbitrary (hypersurface data) gauge. We prove that, in the embedded case, $\mathcal{R}$ corresponds to a certain combination of components of the ambient Riemann and Ricci tensors and that, at null points, it coincides with the pull-back of the ambient Ricci tensor. The null case, which is of special interest, is studied in detail. One of the interesting outcomes is the construction of several geometric quantities with remarkably simple gauge behaviour on any transverse submanifold $S$ of the data. △ Less

Submitted 26 September, 2023; originally announced September 2023.

Comments: 37 pages

New characterization of Robertson-Walker geometries involving a single timelike curve

Authors: Marc Mars, Raül Vera

Abstract: Our aim in this paper is two-fold. We establish a novel geometric characterization of the Roberson-Walker (RW) spacetime and, along the process, we find a canonical form of the RW metric associated to an arbitrary timelike curve and an arbitrary space frame. A known characterization establishes that a spacetime foliated by constant curvature leaves whose orthogonal flow (the cosmological flow) is… ▽ More Our aim in this paper is two-fold. We establish a novel geometric characterization of the Roberson-Walker (RW) spacetime and, along the process, we find a canonical form of the RW metric associated to an arbitrary timelike curve and an arbitrary space frame. A known characterization establishes that a spacetime foliated by constant curvature leaves whose orthogonal flow (the cosmological flow) is geodesic, shear-free, and with constant expansion on each leaf, is RW. We generalize this characterization by relaxing the condition on the expansion. We show it suffices to demand that the spatial gradient and Laplacian of the expansion on a single arbitrary timelike curve vanish. In General Relativity these local conditions are equivalent to demanding that the energy flux measured by the cosmological flow, as well as its divergence, are zero on a single arbitrary timelike curve. The proof allows us to construct canonically adapted coordinates to the arbitrary curve, thus well-fitted to an observer with an arbitrary motion with respect to the cosmological flow. △ Less

Submitted 26 July, 2023; originally announced July 2023.

Comments: 27 pages, no figures

Fast emulation of anisotropies induced in the cosmic microwave background by cosmic strings

Authors: Matthew A. Price, Matthijs Mars, Matthew M. Docherty, Alessio Spurio Mancini, Augustin Marignier, Jason. D. McEwen

Abstract: Cosmic strings are linear topological defects that may have been produced during symmetry-breaking phase transitions in the very early Universe. In an expanding Universe the existence of causally separate regions prevents such symmetries from being broken uniformly, with a network of cosmic string inevitably forming as a result. To faithfully generate observables of such processes requires computa… ▽ More Cosmic strings are linear topological defects that may have been produced during symmetry-breaking phase transitions in the very early Universe. In an expanding Universe the existence of causally separate regions prevents such symmetries from being broken uniformly, with a network of cosmic string inevitably forming as a result. To faithfully generate observables of such processes requires computationally expensive numerical simulations, which prohibits many types of analyses. We propose a technique to instead rapidly emulate observables, thus circumventing simulation. Emulation is a form of generative modelling, often built upon a machine learning backbone. End-to-end emulation often fails due to high dimensionality and insufficient training data. Consequently, it is common to instead emulate a latent representation from which observables may readily be synthesised. Wavelet phase harmonics are an excellent latent representations for cosmological fields, both as a summary statistic and for emulation, since they do not require training and are highly sensitive to non-Gaussian information. Leveraging wavelet phase harmonics as a latent representation, we develop techniques to emulate string induced CMB anisotropies over a 7.2 degree field of view, with sub-arcminute resolution, in under a minute on a single GPU. Beyond generating high fidelity emulations, we provide a technique to ensure these observables are distributed correctly, providing a more representative ensemble of samples. The statistics of our emulations are commensurate with those calculated on comprehensive Nambu-Goto simulations. Our findings indicate these fast emulation approaches may be suitable for wide use in, e.g., simulation based inference pipelines. We make our code available to the community so that researchers may rapidly emulate cosmic string induced CMB anisotropies for their own analysis. △ Less

Submitted 14 March, 2024; v1 submitted 10 July, 2023; originally announced July 2023.

Comments: code available at https://github.com/astro-informatics/stringgen

Learned Interferometric Imaging for the SPIDER Instrument

Authors: Matthijs Mars, Marta M. Betcke, Jason D. McEwen

Abstract: The Segmented Planar Imaging Detector for Electro-Optical Reconnaissance (SPIDER) is an optical interferometric imaging device that aims to offer an alternative to the large space telescope designs of today with reduced size, weight and power consumption. This is achieved through interferometric imaging. State-of-the-art methods for reconstructing images from interferometric measurements adopt pro… ▽ More The Segmented Planar Imaging Detector for Electro-Optical Reconnaissance (SPIDER) is an optical interferometric imaging device that aims to offer an alternative to the large space telescope designs of today with reduced size, weight and power consumption. This is achieved through interferometric imaging. State-of-the-art methods for reconstructing images from interferometric measurements adopt proximal optimization techniques, which are computationally expensive and require handcrafted priors. In this work we present two data-driven approaches for reconstructing images from measurements made by the SPIDER instrument. These approaches use deep learning to learn prior information from training data, increasing the reconstruction quality, and significantly reducing the computation time required to recover images by orders of magnitude. Reconstruction time is reduced to ${\sim} 10$ milliseconds, opening up the possibility of real-time imaging with SPIDER for the first time. Furthermore, we show that these methods can also be applied in domains where training data is scarce, such as astronomical imaging, by leveraging transfer learning from domains where plenty of training data are available. △ Less

Submitted 15 January, 2024; v1 submitted 24 January, 2023; originally announced January 2023.

Comments: 21 pages, 14 figures

Journal ref: RAS Techniques and Instruments, Volume 2, Issue 1, January 2023, Pages 760-778

Covariant definition of Double Null Data and geometric uniqueness of the characteristic initial value problem

Authors: Marc Mars, Gabriel Sánchez-Pérez

Abstract: The characteristic Cauchy problem of the Einstein field equations has been recently addressed from a completely abstract viewpoint by means of hypersurface data and, in particular, via the notion of double null data. However, this definition was given in a partially gauge-fixed form. In this paper we generalize the notion of double null data in a fully diffeomorphism and gauge covariant way, and s… ▽ More The characteristic Cauchy problem of the Einstein field equations has been recently addressed from a completely abstract viewpoint by means of hypersurface data and, in particular, via the notion of double null data. However, this definition was given in a partially gauge-fixed form. In this paper we generalize the notion of double null data in a fully diffeomorphism and gauge covariant way, and show that the definition is complete by proving that no extra conditions are needed to embed the double null data in some spacetime. The second aim of the paper is to show that the characteristic Cauchy problem satisfies a geometric uniqueness property. Specifically, we introduce a natural notion of isometry at the abstract level such that two double null data that are isometric in this sense give rise to isometric spacetimes. △ Less

Submitted 30 May, 2023; v1 submitted 6 January, 2023; originally announced January 2023.

Comments: 36 pages, 1 figure

Journal ref: Journal of Physics A: Mathematical and Theoretical, Volume 56, Number 25, 2023

Analyticity of stationary spacetimes from maximal hypersurfaces

Authors: Piotr T. Chruściel, Marc Mars

Abstract: The standard method of proving analyticity of stationary vacuum metrics invokes the quotient-space version of Einstein equations. We verify that the same conclusion can be obtained using the KID equations on maximal surfaces. The standard method of proving analyticity of stationary vacuum metrics invokes the quotient-space version of Einstein equations. We verify that the same conclusion can be obtained using the KID equations on maximal surfaces. △ Less

Submitted 22 December, 2022; originally announced December 2022.

Comments: 11 pages, no figures

Covariant classification of conformal Killing vectors of locally conformally flat $n$-manifolds with an application to Kerr-de Sitter

Authors: Marc Mars, Carlos Peón-Nieto

Abstract: We obtain a coordinate independent algorithm to determine the class of conformal Killing vectors of a locally conformally flat $n$-metric $γ$ of signature $(r,s)$ modulo conformal transformations of $γ$. This is done in terms of endomorphisms in the pseudo-orthogonal Lie algebra $\mathfrak{o}(r+1,s+1)$ up to conjugation of the its group $O(r+1,s+1)$. The explicit classification is worked out in fu… ▽ More We obtain a coordinate independent algorithm to determine the class of conformal Killing vectors of a locally conformally flat $n$-metric $γ$ of signature $(r,s)$ modulo conformal transformations of $γ$. This is done in terms of endomorphisms in the pseudo-orthogonal Lie algebra $\mathfrak{o}(r+1,s+1)$ up to conjugation of the its group $O(r+1,s+1)$. The explicit classification is worked out in full for the Riemannian $γ$ case ($r = 0, s = n$). As an application of this result, we prove that the set of five dimensional, $(Λ>0)$-vacuum, algebraically special metrics with non-degenerate optical matrix, previously studied by Bernardi de Freitas, Godazgar and Reall, is in one-to-one correspondence with the metrics in the Kerr-de Sitter-like class. This class exists in all dimensions and its defining properties involve only properties at $\mathscr{I}$. The equivalence between two seemingly unrelated classes of metrics points towards interesting connections between the algebraically special type of the bulk spacetime and the conformal geometry at null infinity △ Less

Submitted 6 October, 2022; v1 submitted 4 July, 2022; originally announced July 2022.

Comments: 25 pages, 3 figures

Double Null Data and the Characteristic Problem in General Relativity

Authors: Marc Mars, Gabriel Sánchez-Pérez

Abstract: General hypersurfaces of any causal character can be studied abstractly using the hypersurface data formalism. In the null case, we write down all tangential components of the ambient Ricci tensor in terms of the abstract data. Using this formalism, we formulate and solve in a completely abstract way the characteristic Cauchy problem of the Einstein vacuum field equations. The initial data is deta… ▽ More General hypersurfaces of any causal character can be studied abstractly using the hypersurface data formalism. In the null case, we write down all tangential components of the ambient Ricci tensor in terms of the abstract data. Using this formalism, we formulate and solve in a completely abstract way the characteristic Cauchy problem of the Einstein vacuum field equations. The initial data is detached from any spacetime notion, and it is fully diffeomorphism and gauge covariant. The results of this paper put the characteristic problem on a similar footing as the standard Cauchy problem in General Relativity. △ Less

Submitted 6 January, 2023; v1 submitted 30 May, 2022; originally announced May 2022.

Comments: The presentation of the proof of Theorem 7.15 has been improved. Several typos has been amended. Some long computations has been moved to appendices

Journal ref: Journal of Physics A: Mathematical and Theoretical, 2023

General matching across Killing horizons of zero order

Authors: Miguel Manzano, Marc Mars

Abstract: Null shells are a useful geometric construction to study the propagation of infinitesimally thin concentrations of massless particles or impulsive waves. After recalling the necessary and sufficient conditions obtained in [28] that allow for the matching of two spacetimes with null embedded hypersurfaces as boundaries, we will address the problem of matching across Killing horizons of zero order i… ▽ More Null shells are a useful geometric construction to study the propagation of infinitesimally thin concentrations of massless particles or impulsive waves. After recalling the necessary and sufficient conditions obtained in [28] that allow for the matching of two spacetimes with null embedded hypersurfaces as boundaries, we will address the problem of matching across Killing horizons of zero order in the case when the symmetry generators are to be identified. The results are substantially different depending on whether the boundaries are non-degenerate or degenerate, and contain or not fixed points (in particular, in the former case the shells have zero pressure but non-vanishing energy density and energy flux in general). We will present the explicit form of the so-called step function in each situation. We will then concentrate on the case of actual Killing horizons admitting a bifurcation surface, where a complete description of the shell and its energy-momentum tensor can be obtained. We will conclude particularizing to the matching of two spacetimes with spherical, plane or hyperbolic symmetry without imposing this symmetry on the shell itself. △ Less

Submitted 18 May, 2022; originally announced May 2022.

Comments: 38 pages, 2 figures

Classification of Kerr-de Sitter-like spacetimes with conformally flat $\mathscr{I}$ in all dimensions

Authors: Marc Mars, Carlos Peón-Nieto

Abstract: Using asymptotic characterization results of spacetimes at conformal infinity, we prove that Kerr-Schild-de Sitter spacetimes are in one-to-one correspondence with spacetimes in the Kerr-de Sitter-like class with conformally flat $\mathscr{I}$. Kerr-Schild-de Sitter are spacetimes of Kerr-Schild form with de Sitter background that solve the $(Λ>0)$-vacuum Einstein equations and admit a smooth conf… ▽ More Using asymptotic characterization results of spacetimes at conformal infinity, we prove that Kerr-Schild-de Sitter spacetimes are in one-to-one correspondence with spacetimes in the Kerr-de Sitter-like class with conformally flat $\mathscr{I}$. Kerr-Schild-de Sitter are spacetimes of Kerr-Schild form with de Sitter background that solve the $(Λ>0)$-vacuum Einstein equations and admit a smooth conformal compactification sharing $\mathscr{I}$ with the background metric. Kerr-de Sitter-like metrics with conformally flat $\mathscr{I}$ are a generalization of the Kerr-de Sitter metrics, defined originally in four spacetime dimensions and extended here to all dimensions in terms of their initial data at null infinity. We explicitly construct all metrics in this class as limits or analytic extensions of Kerr-de Sitter. The structure of limits is inferred from corresponding limits of the asymptotic data, which appear to be hard to guess from the spacetime metrics. △ Less

Submitted 17 September, 2021; originally announced September 2021.

Comments: 46 pages, 1 figure

Recognition of food-texture attributes using an in-ear microphone

Authors: Vasileios Papapanagiotou, Christos Diou, Janet van den Boer, Monica Mars, Anastasios Delopoulos

Abstract: Food texture is a complex property; various sensory attributes such as perceived crispiness and wetness have been identified as ways to quantify it. Objective and automatic recognition of these attributes has applications in multiple fields, including health sciences and food engineering. In this work we use an in-ear microphone, commonly used for chewing detection, and propose algorithms for reco… ▽ More Food texture is a complex property; various sensory attributes such as perceived crispiness and wetness have been identified as ways to quantify it. Objective and automatic recognition of these attributes has applications in multiple fields, including health sciences and food engineering. In this work we use an in-ear microphone, commonly used for chewing detection, and propose algorithms for recognizing three food-texture attributes, specifically crispiness, wetness (moisture), and chewiness. We use binary SVMs, one for each attribute, and propose two algorithms: one that recognizes each texture attribute at the chew level and one at the chewing-bout level. We evaluate the proposed algorithms using leave-one-subject-out cross-validation on a dataset with 9 subjects. We also evaluate them using leave-one-food-type-out cross-validation, in order to examine the generalization of our approach to new, unknown food types. Our approach performs very well in recognizing crispiness (0.95 weighted accuracy on new subjects and 0.93 on new food types) and demonstrates promising results for objective and automatic recognition of wetness and chewiness. △ Less

Submitted 20 May, 2021; originally announced May 2021.

Free data at spacelike $\mathscr{I}$ and characterization of Kerr-de Sitter in all dimensions

Authors: Marc Mars, Carlos Peón-Nieto

Abstract: We study the free data in the Fefferman-Graham expansion of asymptotically Einstein metrics with non-zero cosmological constant. We prove that if $\mathscr{I}$ is conformally flat, the rescaled Weyl tensor at $\mathscr{I}$ agrees up to a constant with the free data at $\mathscr{I}$ , namely the traceless part of the $n$-th order coefficient of the expansion. In the non-conformally flat case, the r… ▽ More We study the free data in the Fefferman-Graham expansion of asymptotically Einstein metrics with non-zero cosmological constant. We prove that if $\mathscr{I}$ is conformally flat, the rescaled Weyl tensor at $\mathscr{I}$ agrees up to a constant with the free data at $\mathscr{I}$ , namely the traceless part of the $n$-th order coefficient of the expansion. In the non-conformally flat case, the rescaled Weyl tensor is generically divergent at $\mathscr{I}$ but one can still extract the free data in terms of the difference of the Weyl tensors of suitably constructed metrics, in full generality when the spacetime dimension $D$ is even and provided the so-called obstruction tensor at $\mathscr{I}$ is identically zero when $D$ is odd. These results provide a geometric definition of the data, particularly relevant for the asymptotic Cauchy problem of even dimensional Einstein metrics with positive $Λ$ and also for the odd dimensional analytic case irrespectively of the sign of $Λ$. We establish a Killing initial data equation at spacelike $\mathscr{I}$ in all dimension for analytic data. These results are used to find a geometric characterization of the Kerr-de Sitter metrics in all dimensions in terms of its geometric data at null infinity. △ Less

Submitted 3 November, 2021; v1 submitted 14 May, 2021; originally announced May 2021.

Comments: 25 pages, matches published version

Null shells: general matching across null boundaries and connection with cut-and-paste formalism

Authors: M. Manzano, M. Mars

Abstract: Null shells are a useful geometric construction to study the propagation of infinitesimally thin concentrations of massless particles or impulsive waves. In this paper, we determine and study the necessary and sufficient conditions for the matching of two spacetimes with respective null embedded hypersurfaces as boundaries. Whenever the matching is possible, it is shown to depend on a diffeomorphi… ▽ More Null shells are a useful geometric construction to study the propagation of infinitesimally thin concentrations of massless particles or impulsive waves. In this paper, we determine and study the necessary and sufficient conditions for the matching of two spacetimes with respective null embedded hypersurfaces as boundaries. Whenever the matching is possible, it is shown to depend on a diffeomorphism between the set of null generators in each boundary and a scalar function, called step function, that determines a shift of points along the null generators. Generically there exists at most one possible matching but in some circumstances this is not so. When the null boundaries are totally geodesic, the point-to-point identification between them introduces a freedom whose nature and consequences are analyzed in detail. The expression for the energy-momentum tensor of a general null shell is also derived. Finally, we find the most general shell (with non-zero energy, energy flux and pressure) that can be generated by matching two Minkowski regions across a null hyperplane. This allows us to show how the original Penrose's cut-and-paste construction fits and connects with the standard matching formalism. △ Less

Submitted 11 February, 2021; originally announced February 2021.

Comments: 35 pages, 3 figures

Skew-symmetric endomorphisms in $\mathbb{M}^{1,n}$: A unified canonical form with applications to conformal geometry

Authors: Marc Mars, Carlos Peón-Nieto

Abstract: We show the existence of families of orthonormal, future directed bases which allow to cast every skew-symmetric endomorphism of $\mathbb{M}^{1,n}$ ($\mathrm{SkewEnd}(\mathbb{M}^{1,n})$) in a single canonical form depending on a minimal number of parameters. This canonical form is shared by every pair of elements in $\mathrm{SkewEnd}(\mathbb{M}^{1,n})$ differing by an orthochronous Lorentz transfo… ▽ More We show the existence of families of orthonormal, future directed bases which allow to cast every skew-symmetric endomorphism of $\mathbb{M}^{1,n}$ ($\mathrm{SkewEnd}(\mathbb{M}^{1,n})$) in a single canonical form depending on a minimal number of parameters. This canonical form is shared by every pair of elements in $\mathrm{SkewEnd}(\mathbb{M}^{1,n})$ differing by an orthochronous Lorentz transformation, i.e. it defines the orbits of the orthochronous Lorentz group under the adjoint action on its algebra. Using this form, we obtain the quotient topology of $\mathrm{SkewEnd}(\mathbb{M}^{1,n})/O^+(1,n)$. From known relations between $\mathrm{SkewEnd}(\mathbb{M}^{1,n})$ and the conformal Killing vector fields (CKVFs) of the sphere $\mathbb{S}^n$, a canonical form for CKVFs follows immediately. This form is used to find adapted coordinates to an arbitrary CKVF that covers all cases at the same time. We do the calculation for even $n$ and obtain the case of odd $n$ as a consequence. Finally, we employ the adapted coordinates to obtain a wide class of TT-tensors for $n=3$, which provide Cauchy data at conformally flat null infinity $\mathscr{I}$. Specifically, this class of data is characterized for generating $Λ>0$-vacuum spacetimes with two-symmetries, one of which axial, admitting a conformally flat $\mathscr{I}$. The class of data is infinite dimensional, depending on two arbitrary functions of one variable as well as a number of constants. Moreover, it contains the data for the Kerr-de Sitter spacetime, which we explicitly identify within. △ Less

Submitted 22 December, 2020; originally announced December 2020.

Comments: 45 pages, 2 figures

AI on the Bog: Monitoring and Evaluating Cranberry Crop Risk

Authors: Peri Akiva, Benjamin Planche, Aditi Roy, Kristin Dana, Peter Oudemans, Michael Mars

Abstract: Machine vision for precision agriculture has attracted considerable research interest in recent years. The goal of this paper is to develop an end-to-end cranberry health monitoring system to enable and support real time cranberry over-heating assessment to facilitate informed decisions that may sustain the economic viability of the farm. Toward this goal, we propose two main deep learning-based m… ▽ More Machine vision for precision agriculture has attracted considerable research interest in recent years. The goal of this paper is to develop an end-to-end cranberry health monitoring system to enable and support real time cranberry over-heating assessment to facilitate informed decisions that may sustain the economic viability of the farm. Toward this goal, we propose two main deep learning-based modules for: 1) cranberry fruit segmentation to delineate the exact fruit regions in the cranberry field image that are exposed to sun, 2) prediction of cloud coverage conditions and sun irradiance to estimate the inner temperature of exposed cranberries. We develop drone-based field data and ground-based sky data collection systems to collect video imagery at multiple time points for use in crop health analysis. Extensive evaluation on the data set shows that it is possible to predict exposed fruit's inner temperature with high accuracy (0.02% MAPE). The sun irradiance prediction error was found to be 8.41-20.36% MAPE in the 5-20 minutes time horizon. With 62.54% mIoU for segmentation and 13.46 MAE for counting accuracies in exposed fruit identification, this system is capable of giving informed feedback to growers to take precautionary action (e.g. irrigation) in identified crop field regions with higher risk of sunburn in the near future. Though this novel system is applied for cranberry health monitoring, it represents a pioneering step forward for efficient farming and is useful in precision agriculture beyond the problem of cranberry overheating. △ Less

Submitted 8 November, 2020; originally announced November 2020.

Comments: IEEE Winter Conference on Applications of Computer Vision (WACV) 2021

Existence and uniqueness of compact rotating configurations in GR in second order perturbation theory

Authors: Marc Mars, Borja Reina, Raül Vera

Abstract: Existence and uniqueness of rotating fluid bodies in equilibrium is still poorly understood in General Relativity (GR). Apart from the limiting case of infinitely thin disks, the only known global results in the stationary rotating case (Heilig [14] and Makino [21] [arXiv:1705.07392]) show existence in GR nearby a Newtonian configuration (under suitable additional restrictions). In this work we pr… ▽ More Existence and uniqueness of rotating fluid bodies in equilibrium is still poorly understood in General Relativity (GR). Apart from the limiting case of infinitely thin disks, the only known global results in the stationary rotating case (Heilig [14] and Makino [21] [arXiv:1705.07392]) show existence in GR nearby a Newtonian configuration (under suitable additional restrictions). In this work we prove existence and uniqueness of rigidly (slowly) rotating fluid bodies in equilibrium to second order in perturbation theory in GR. The most widely used perturbation framework to describe slowly rigidly rotating stars in the strong field regime is the Hartle-Thorne model. The model involves a number of hypotheses, some explicit, like equatorial symmetry or that the perturbation parameter is proportional to the rotation, but some implicit, particularly on the structure and regularity of the perturbation tensors and the conditions of their matching at the surface. In this work, with basis on the gauge results obtained in [25], the Hartle-Thorne model is fully derived from first principles and only assuming that the perturbations describe a rigidly rotating finite perfect fluid ball (with no layer at the surface) with the same barotropic equation of state as the static ball. Rigidly rotating fluid balls are analyzed consistently in second order perturbation theory by imposing only basic differentiability requirements and boundedness. Our results prove in particular that, at this level of approximation, the spacetime must be indeed equatorially symmetric and is fully determined by two parameters, namely the central pressure and the uniform angular velocity of the fluid. △ Less

Submitted 24 July, 2020; originally announced July 2020.

Comments: 81 pages, no figures

Gauge fixing and regularity of axially symmetric and axistationary second order perturbations around spherical backgrounds

Authors: Marc Mars, Borja Reina, Raül Vera

Abstract: Perturbation theory in geometric theories of gravitation is a gauge theory of symmetric tensors defined on a Lorentzian manifold (the background spacetime). The gauge freedom makes uniqueness problems in perturbation theory particularly hard as one needs to understand in depth the process of gauge fixing before attempting any uniqueness proof. This is the first paper of a series of two aimed at de… ▽ More Perturbation theory in geometric theories of gravitation is a gauge theory of symmetric tensors defined on a Lorentzian manifold (the background spacetime). The gauge freedom makes uniqueness problems in perturbation theory particularly hard as one needs to understand in depth the process of gauge fixing before attempting any uniqueness proof. This is the first paper of a series of two aimed at deriving an existence and uniqueness result for rigidly rotating stars to second order in perturbation theory in General Relativity. A necessary step is to show the existence of a suitable choice of gauge and to understand the differentiability and regularity properties of the resulting gauge tensors in some "canonical form", particularly at the centre of the star. With a wider range of applications in mind, in this paper we analyse the fixing and regularity problem in a more general setting. In particular we tackle the problem of the Hodge-type decomposition into scalar, vector and tensor components on spheres of symmetric and axially symmetric tensors with finite differentiability down to the origin, exploiting a strategy in which the loss of differentiability is as low as possible. Our primary interest, and main result, is to show that stationary and axially symmetric second order perturbations around static and spherically symmetric background configurations can indeed be rendered in the usual "canonical form" used in the literature while loosing only one degree of differentiability and kee** all relevant quantities bounded near the origin. △ Less

Submitted 24 July, 2020; originally announced July 2020.

Comments: 60 pages, no figures

Skew-symmetric endomorphisms in $\mathbb{M}^{1,3}$: A unified canonical form with applications to conformal geometry

Authors: Marc Mars, Carlos Peón-Nieto

Abstract: We derive a canonical form for skew-symmetric endomorphisms $F$ in Lorentzian vector spaces of dimension three and four which covers all non-trivial cases at once. We analyze its invariance group, as well as the connection of this canonical form with duality rotations of two-forms. After reviewing the relation between these endomorphisms and the algebra of conformal Killing vectors of… ▽ More We derive a canonical form for skew-symmetric endomorphisms $F$ in Lorentzian vector spaces of dimension three and four which covers all non-trivial cases at once. We analyze its invariance group, as well as the connection of this canonical form with duality rotations of two-forms. After reviewing the relation between these endomorphisms and the algebra of conformal Killing vectors of $\mathbb{S}^2$, $\mathrm{CKill}(\mathbb{S}^2)$, we are able to also give a canonical form for an arbitrary element $ ξ\in \mathrm{CKill}(\mathbb{S}^2)$ along with its invariance group. The construction allows us to obtain explicitly the change of basis that transforms any given $F$ into its canonical form. For any non-trivial $ ξ$ we construct, via its canonical form, adapted coordinates that allow us to study its properties in depth. Two applications are worked out: we determine explicitly for which metrics, among a natural class of spaces of constant curvature, a given $ξ$ is a Killing vector and solve all local TT (traceless and transverse) tensors that satisfy the Killing Initial Data equation for $ξ$. In addition to their own interest, the present results will be a basic ingredient for a subsequent generalization to arbitrary dimensions. △ Less

Submitted 18 June, 2020; originally announced June 2020.

Comments: 35 pages, 2 figures

BigO: A public health decision support system for measuring obesogenic behaviors of children in relation to their local environment

Authors: Christos Diou, Ioannis Sarafis, Vasileios Papapanagiotou, Leonidas Alagialoglou, Irini Lekka, Dimitrios Filos, Leandros Stefanopoulos, Vasileios Kilintzis, Christos Maramis, Youla Karavidopoulou, Nikos Maglaveras, Ioannis Ioakimidis, Evangelia Charmandari, Penio Kassari, Athanasia Tragomalou, Monica Mars, Thien-An Ngoc Nguyen, Tahar Kechadi, Shane O' Donnell, Gerardine Doyle, Sarah Browne, Grace O' Malley, Rachel Heimeier, Katerina Riviou, Evangelia Koukoula , et al. (6 additional authors not shown)

Abstract: Obesity is a complex disease and its prevalence depends on multiple factors related to the local socioeconomic, cultural and urban context of individuals. Many obesity prevention strategies and policies, however, are horizontal measures that do not depend on context-specific evidence. In this paper we present an overview of BigO (http://bigoprogram.eu), a system designed to collect objective behav… ▽ More Obesity is a complex disease and its prevalence depends on multiple factors related to the local socioeconomic, cultural and urban context of individuals. Many obesity prevention strategies and policies, however, are horizontal measures that do not depend on context-specific evidence. In this paper we present an overview of BigO (http://bigoprogram.eu), a system designed to collect objective behavioral data from children and adolescent populations as well as their environment in order to support public health authorities in formulating effective, context-specific policies and interventions addressing childhood obesity. We present an overview of the data acquisition, indicator extraction, data exploration and analysis components of the BigO system, as well as an account of its preliminary pilot application in 33 schools and 2 clinics in four European countries, involving over 4,200 participants. △ Less

Submitted 6 May, 2020; originally announced May 2020.

Comments: Accepted version to be published in 2020, 42nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), Montreal, Canada

Finding Berries: Segmentation and Counting of Cranberries using Point Supervision and Shape Priors

Authors: Peri Akiva, Kristin Dana, Peter Oudemans, Michael Mars

Abstract: Precision agriculture has become a key factor for increasing crop yields by providing essential information to decision makers. In this work, we present a deep learning method for simultaneous segmentation and counting of cranberries to aid in yield estimation and sun exposure predictions. Notably, supervision is done using low cost center point annotations. The approach, named Triple-S Network, i… ▽ More Precision agriculture has become a key factor for increasing crop yields by providing essential information to decision makers. In this work, we present a deep learning method for simultaneous segmentation and counting of cranberries to aid in yield estimation and sun exposure predictions. Notably, supervision is done using low cost center point annotations. The approach, named Triple-S Network, incorporates a three-part loss with shape priors to promote better fitting to objects of known shape typical in agricultural scenes. Our results improve overall segmentation performance by more than 6.74% and counting results by 22.91% when compared to state-of-the-art. To train and evaluate the network, we have collected the CRanberry Aerial Imagery Dataset (CRAID), the largest dataset of aerial drone imagery from cranberry fields. This dataset will be made publicly available. △ Less

Submitted 24 April, 2020; v1 submitted 17 April, 2020; originally announced April 2020.

Comments: to be published in proceeding of CVPR 2020 in the Agriculture Vision Workshop

Multiple Killing Horizons: the initial value formulation for $Λ$-vacuum

Authors: Marc Mars, Tim-Torben Paetz, José M. M. Senovilla

Abstract: In Class. Quantum Grav. 35 (2018) 155015 we have introduced the notion of "Multiple Killing Horizon" and analyzed some of its general properties. Multiple Killing Horizons are Killing horizons for two or more linearly independent Killing vectors simultaneously. In this paper we focus on the vacuum case, possibly with cosmological constant, and study the emergence of Multiple Killing Horizons in te… ▽ More In Class. Quantum Grav. 35 (2018) 155015 we have introduced the notion of "Multiple Killing Horizon" and analyzed some of its general properties. Multiple Killing Horizons are Killing horizons for two or more linearly independent Killing vectors simultaneously. In this paper we focus on the vacuum case, possibly with cosmological constant, and study the emergence of Multiple Killing Horizons in terms of characteristic initial value problems for two transversally intersecting null hypersurfaces. As a relevant outcome, a more general definition of Near Horizon Geometry is put forward. This new definition avoids the use of Gaussian null coordinates associated to the corresponding degenerate Killing vector and thereby allows for inclusion of its fixed points. △ Less

Submitted 25 May, 2019; originally announced May 2019.

Comments: 43 pages

Multiple Killing Horizons and Near Horizon Geometries

Authors: Marc Mars, Tim-Torben Paetz, José M. M. Senovilla

Abstract: Near Horizon Geometries with multiply degenerate Killing horizons $\mathcal{H}$ are considered, and their degenerate Killing vector fields identified. We prove that they all arise from hypersurface-orthogonal Killing vectors of any cut of $\mathcal{H}$ with the inherited metric -- cuts are spacelike co-dimension two submanifolds contained in $\mathcal{H}$. For each of these Killing vectors on a gi… ▽ More Near Horizon Geometries with multiply degenerate Killing horizons $\mathcal{H}$ are considered, and their degenerate Killing vector fields identified. We prove that they all arise from hypersurface-orthogonal Killing vectors of any cut of $\mathcal{H}$ with the inherited metric -- cuts are spacelike co-dimension two submanifolds contained in $\mathcal{H}$. For each of these Killing vectors on a given cut, there are three different possibilities for the Near Horizon metric which are presented explicitly. The structure of the metric for Near Horizon Geometries with multiple Killing horizons of order $m\geq 3$ is thereby completely determined, and in particular we prove that the cuts on $\mathcal{H}$ must be warped products with maximally symmetric fibers (ergo of constant curvature). The question whether multiple degenerate Killing horizons may lead to inequivalent Near Horizon Geometries by using different degenerate Killings is addressed, and answered on the negative: all Near Horizon geometries built from a given multiple degenerate Killing horizon (using different degenerate Killings) are isometric. △ Less

Submitted 7 July, 2018; originally announced July 2018.

Comments: 29 pages

Multiple Killing Horizons

Authors: Marc Mars, Tim-Torben Paetz, José M. M. Senovilla

Abstract: Killing horizons which can be such for two or more linearly independent Killing vectors are studied. We provide a rigorous definition and then show that the set of Killing vectors sharing a Killing horizon is a Lie algebra $\mathcal{A}_{\mathcal{H}}$ of dimension at most the dimension of the spacetime. We prove that one cannot attach different surface gravities to such multiple Killing horizons, a… ▽ More Killing horizons which can be such for two or more linearly independent Killing vectors are studied. We provide a rigorous definition and then show that the set of Killing vectors sharing a Killing horizon is a Lie algebra $\mathcal{A}_{\mathcal{H}}$ of dimension at most the dimension of the spacetime. We prove that one cannot attach different surface gravities to such multiple Killing horizons, as they have an essentially unique non-zero surface gravity (or none). $\mathcal{A}_{\mathcal{H}}$ always contains an Abelian (sub)-algebra ---whose elements all have vanishing surface gravity--- of dimension equal to or one less than dim $\mathcal{A}_{\mathcal{H}}$. There arise only two inequivalent possibilities, depending on whether or not there exists the non-zero surface gravity. We show the connection with Near Horizon geometries, and also present a linear system of PDEs, the master equation, for the proportionality function on the horizon between two Killing vectors of a multiple Killing horizon, with its integrability conditions. We provide explicit examples of all possible types of multiple Killing horizons, as well as a full classification of them in maximally symmetric spacetimes. △ Less

Submitted 8 March, 2018; originally announced March 2018.

Comments: 41 pages

The limit of Kerr-de Sitter spacetime with infinite angular-momentum parameter $a$

Authors: Marc Mars, Tim-Torben Paetz, José M. M. Senovilla

Abstract: We consider the limit $a\rightarrow \infty$ of the Kerr-de Sitter spacetime. The spacetime is a Petrov type-D solution of the vacuum Einstein field equations with a positive cosmological constant $Λ$, vanishing Mars-Simon tensor and conformally flat scri. It possesses an Abelian 2-dimensional group of symmetries whose orbits are spacelike or timelike in different regions, and it includes, as a par… ▽ More We consider the limit $a\rightarrow \infty$ of the Kerr-de Sitter spacetime. The spacetime is a Petrov type-D solution of the vacuum Einstein field equations with a positive cosmological constant $Λ$, vanishing Mars-Simon tensor and conformally flat scri. It possesses an Abelian 2-dimensional group of symmetries whose orbits are spacelike or timelike in different regions, and it includes, as a particular case, de Sitter spacetime. The global structure of the solution is analyzed in detail, with particular attention to its Killing horizons: they are foliated by non-compact marginally trapped surfaces of finite area, and one of them `touches' the curvature singularity, which resembles a null 2-dimensional surface. Outside the region between these horizons there exist trapped surfaces that again are non-compact. The solution contains, apart from $Λ$, a unique free parameter which can be related to the angular momentum of the non-singular horizon in a precise way. A maximal extension of the (axis of the) spacetime is explicitly built. We also analyze the structure of scri, whose topology is $\mathbb{R}^3$. △ Less

Submitted 23 November, 2017; originally announced November 2017.

Comments: 24 pages

Journal ref: Phys. Rev. D 97, 024021 (2018)

The Fingerprints of Black Holes - Shadows and their Degeneracies

Authors: Marc Mars, Claudio F. Paganini, Marius A. Oancea

Abstract: We show that, away from the axis of symmetry, no continuous degeneration exists between the shadows of observers at any point in the exterior region of any Kerr-Newman black hole spacetime of unit mass. Therefore, except possibly for discrete changes, an observer can, by measuring the black holes shadow, determine the angular momentum and the charge of the black hole under observation, as well as… ▽ More We show that, away from the axis of symmetry, no continuous degeneration exists between the shadows of observers at any point in the exterior region of any Kerr-Newman black hole spacetime of unit mass. Therefore, except possibly for discrete changes, an observer can, by measuring the black holes shadow, determine the angular momentum and the charge of the black hole under observation, as well as the observer's radial position and angle of elevation above the equatorial plane. Furthermore, his/her relative velocity compared to a standard observer can also be measured. On the other hand, the black hole shadow does not allow for a full parameter resolution in the case of a Kerr-Newman-Taub-NUT black hole, as a continuous degeneration relating specific angular momentum, electric charge, NUT charge and elevation angle exists in this case. △ Less

Submitted 6 October, 2017; originally announced October 2017.

Comments: 23 pages, 0 figures

Classification of Kerr-de Sitter-like spacetimes with conformally flat Scri

Authors: Marc Mars, Tim-Torben Paetz, José M. M. Senovilla

Abstract: We provide a classification of $Λ>0$-vacuum spacetimes which admit a Killing vector field with respect to which the associated "Mars-Simon tensor" (MST) vanishes and having a conformally flat $\mathcal{J}^-$ (or $\mathcal{J}^+$). To that end, we also give a complete classification of conformal Killing vector fields on the $3$-sphere $\mathbb{S}^3$ up to Möbius transformations shedding light on the… ▽ More We provide a classification of $Λ>0$-vacuum spacetimes which admit a Killing vector field with respect to which the associated "Mars-Simon tensor" (MST) vanishes and having a conformally flat $\mathcal{J}^-$ (or $\mathcal{J}^+$). To that end, we also give a complete classification of conformal Killing vector fields on the $3$-sphere $\mathbb{S}^3$ up to Möbius transformations shedding light on the two fundamental constants that characterize the family of Kerr-de Sitter-like spacetimes, which turn out to be well-defined geometrical invariants. The topology of $\mathcal{J}$ is determined in every case, and a characterization result at $\mathcal{J}$ of the Kerr-de Sitter family presented. △ Less

Submitted 31 October, 2016; originally announced October 2016.

Comments: 63 pages

A Semantic Analyzer for the Comprehension of the Spontaneous Arabic Speech

Authors: Mourad Mars, Mounir Zrigui, Mohamed Belgacem, Anis Zouaghi

Abstract: This work is part of a large research project entitled "Oréodule" aimed at develo** tools for automatic speech recognition, translation, and synthesis for Arabic language. Our attention has mainly been focused on an attempt to improve the probabilistic model on which our semantic decoder is based. To achieve this goal, we have decided to test the influence of the pertinent context use, and of th… ▽ More This work is part of a large research project entitled "Oréodule" aimed at develo** tools for automatic speech recognition, translation, and synthesis for Arabic language. Our attention has mainly been focused on an attempt to improve the probabilistic model on which our semantic decoder is based. To achieve this goal, we have decided to test the influence of the pertinent context use, and of the contextual data integration of different types, on the effectiveness of the semantic decoder. The findings are quite satisfactory. △ Less

Submitted 8 October, 2016; originally announced October 2016.

Comments: Advances in Computer Science and Engineering. 12 pages 6 figures

Journal ref: Journal: Research in Computing Science Vol34, 2008, pp. 129-140, ISSN: 1870-4069

Spacetime characterizations of $Λ$-vacuum metrics with a null Killing 2-form

Authors: Marc Mars, José M. M. Senovilla

Abstract: An exhaustive list of four-dimensional $Λ$-vacuum spacetimes admitting a Killing vector whose self-dual Killing two-form ${\cal F}$ is null is obtained assuming that the self-dual Weyl tensor is proportional to the tensor product of ${\cal F}$ by itself. Our analysis complements previous results concerning the case with non-null ${\cal F}$. We analyze both cases with $Λ$ vanishing or not. In the l… ▽ More An exhaustive list of four-dimensional $Λ$-vacuum spacetimes admitting a Killing vector whose self-dual Killing two-form ${\cal F}$ is null is obtained assuming that the self-dual Weyl tensor is proportional to the tensor product of ${\cal F}$ by itself. Our analysis complements previous results concerning the case with non-null ${\cal F}$. We analyze both cases with $Λ$ vanishing or not. In the latter case we prove that $Λ< 0$ must hold necessarily, and we find a characterization of the Einstein spacetimes conformal to pp-waves. In the former case we obtain spacetime characterizations of vacuum plane waves and of the stationary vacuum Brinkmann spacetimes. At the light of the full set of results, old and new, we reformulate the case with non-null ${\cal F}$ and $Λ= 0$. We finally present a table collecting the results for both null, and non-null, ${\cal F}$. △ Less

Submitted 25 April, 2016; originally announced April 2016.

Comments: 31 pages, one Table, no figures

Characterization of (asymptotically) Kerr-de Sitter-like spacetimes at null infinity

Authors: Marc Mars, Tim-Torben Paetz, José M. M. Senovilla, Walter Simon

Abstract: We investigate solutions $(\mathcal{M}, g)$ to Einstein's vacuum field equations with positive cosmological constant $Λ$ which admit a smooth past null infinity $\mathcal{J}^-$ à la Penrose and a Killing vector field whose associated Mars-Simon tensor (MST) vanishes. The main purpose of this work is to provide a characterization of these spacetimes in terms of their Cauchy data on $\mathcal{J}^-$.… ▽ More We investigate solutions $(\mathcal{M}, g)$ to Einstein's vacuum field equations with positive cosmological constant $Λ$ which admit a smooth past null infinity $\mathcal{J}^-$ à la Penrose and a Killing vector field whose associated Mars-Simon tensor (MST) vanishes. The main purpose of this work is to provide a characterization of these spacetimes in terms of their Cauchy data on $\mathcal{J}^-$. Along the way, we also study spacetimes for which the MST does not vanish. In that case there is an ambiguity in its definition which is captured by a scalar function $Q$. We analyze properties of the MST for different choices of $Q$. In doing so, we are led to a definition of "asymptotically Kerr-de Sitter-like spacetimes", which we also characterize in terms of their asymptotic data on $\mathcal{J}^-$. △ Less

Submitted 19 December, 2016; v1 submitted 18 March, 2016; originally announced March 2016.

Comments: 49 pages. v2: Revised version with some changes with respect to the published paper in order to amend a mistake in the statements of theorems 4 and 6 in arXiv:1307.5018v2 (corrected in v3). The validity of all results remains unaltered

On the Penrose inequality along null hypersurfaces

Authors: Marc Mars, Alberto Soria

Abstract: The null Penrose inequality, i.e. the Penrose inequality in terms of the Bondi energy, is studied by introducing a funtional on surfaces and studying its properties along a null hypersurface $Ω$ extending to past null infinity. We prove a general Penrose-type inequality which involves the limit at infinity of the Hawking energy along a specific class of geodesic foliations called Geodesic Asymptot… ▽ More The null Penrose inequality, i.e. the Penrose inequality in terms of the Bondi energy, is studied by introducing a funtional on surfaces and studying its properties along a null hypersurface $Ω$ extending to past null infinity. We prove a general Penrose-type inequality which involves the limit at infinity of the Hawking energy along a specific class of geodesic foliations called Geodesic Asymptotic Bondi (GAB), which are shown to always exist. Whenever, this foliation approaches large spheres, this inequality becomes the null Penrose inequality and we recover the results of Ludvigsen-Vickers and Bergqvist. By exploiting further properties of the functional along general geodesic foliations, we introduce an approach to the null Penrose inequality called Renormalized Area Method and find a set of two conditions which implies the validity of the null Penrose inequality. One of the conditions involves a limit at infinity and the other a condition on the spacetime curvature along the flow. We investigate their range of applicability in two particular but interesting cases, namely the shear-free and vacuum case, where the null Penrose inequality is known to hold from the results by Sauter, and the case of null shells propagating in the Minkowski spacetime. Finally, a general inequality bounding the area of the quasi-local black hole in terms of an asymptotic quantity intrinsic of $Ω$ is derived. △ Less

Submitted 19 November, 2015; originally announced November 2015.

Comments: 32 pages, 0 figures

The asymptotic behaviour of the Hawking energy along null asymptotically flat hypersurfaces

Authors: Marc Mars, Alberto Soria

Abstract: In this work we obtain the limit of the Hawking energy of a large class of foliations along general null hypersurfaces $Ω$ satisfying a weak notion of asymptotic flatness. The foliations are not required to be either geodesic or approaching large spheres at infinity. The limit is obtained in terms of a reference background geodesic foliation approaching large spheres and a positive function, const… ▽ More In this work we obtain the limit of the Hawking energy of a large class of foliations along general null hypersurfaces $Ω$ satisfying a weak notion of asymptotic flatness. The foliations are not required to be either geodesic or approaching large spheres at infinity. The limit is obtained in terms of a reference background geodesic foliation approaching large spheres and a positive function, constant along the null generators on $Ω$, which describes the relation between the two foliations at infinity. The integrand in the limit expression has interesting covariance and invariance properties with respect to change of background foliation. The standard result that the Hawking energy tends to the Bondi energy under suitable circumstances is recovered in this framework. △ Less

Submitted 4 June, 2015; originally announced June 2015.

Comments: 29 pages, no figures

MSC Class: 83C30; 83C40

Regularization of geodesics in static spherically symmetric Kerr-Schild spacetimes

Authors: Pablo Galindo, Marc Mars

Abstract: We describe a method to analyze causal geodesics in static and spherically symmetric spacetimes of Kerr-Schild form which, in particular, allows for a detailed study of the geodesics in the vicinity of the central singularity by means of a regularization procedure based on a generalization of the McGehee regularization for the motion of Newtonian point particles moving in a power-law potential. Th… ▽ More We describe a method to analyze causal geodesics in static and spherically symmetric spacetimes of Kerr-Schild form which, in particular, allows for a detailed study of the geodesics in the vicinity of the central singularity by means of a regularization procedure based on a generalization of the McGehee regularization for the motion of Newtonian point particles moving in a power-law potential. The McGehee regularization was used by Belbruno and Pretorius to perform a dynamical system regularization of the central singularity of the motion of massless test particles in the Schwarzschild spacetime. Our generalization allows us to consider causal (timelike or null) geodesics in any static and spherically symmetric spacetime of Kerr-Schild form. As an example, we apply these results to causal geodesics in the Schwarzschild and Reissner-Nordström spacetimes. △ Less

Submitted 2 December, 2014; originally announced December 2014.

Comments: 6 pages, 2 figures. To appear in the Proceedings of the Spanish Relativity Meeting 2014

McGehee regularization of general SO(3)-invariant potentials and applications to stationary and spherically symmetric spacetimes

Authors: Pablo Galindo, Marc Mars

Abstract: The McGehee regularization is a method to study the singularity at the origin of the dynamical system describing a point particle in a plane moving under the action of a power-law potential. It was used by Belbruno and Pretorius to perform a dynamical system regularization of the singularity at the center of the motion of massless test particles in the Schwarzschild spacetime. In this paper, we ge… ▽ More The McGehee regularization is a method to study the singularity at the origin of the dynamical system describing a point particle in a plane moving under the action of a power-law potential. It was used by Belbruno and Pretorius to perform a dynamical system regularization of the singularity at the center of the motion of massless test particles in the Schwarzschild spacetime. In this paper, we generalize the McGehee transformation so that we can regularize the singularity at the origin of the dynamical system describing the motion of causal geodesics (timelike or null) in any stationary and spherically symmetric spacetime of Kerr-Schild form. We first show that the geodesics for both massive and massless particles can be described globally in the Kerr-Schild spacetime as the motion of a Newtonian point particle in a suitable radial potential and study the conditions under which the central singularity can be regularized using an extension of the McGehee method. As an example, we apply these results to causal geodesics in the Schwarzschild and Reissner-Nordström spacetimes. Interestingly, the geodesic trajectories in the whole maximal extension of both spacetimes can be described by a single two-dimensional phase space with non-trivial topology. This topology arises from the presence of excluded regions in the phase space determined by the condition that the tangent vector of the geodesic be causal and future directed. △ Less

Submitted 29 May, 2014; originally announced May 2014.

Comments: LaTeX file, 37 pages, 11 figures

Journal ref: Class. Quantum Grav. 31 (2014) 245008

Time flat surfaces and the monotonicity of the spacetime Hawking mass II

Authors: Hubert L. Bray, Jeffrey L. Jauregui, Marc Mars

Abstract: In this sequel paper we give a shorter, second proof of the monotonicity of the Hawking mass for time flat surfaces under spacelike uniformly area expanding flows in spacetimes that satisfy the dominant energy condition. We also include a third proof which builds on a known formula and describe a class of sufficient conditions of divergence type for the monotonicity of the Hawking mass. These flow… ▽ More In this sequel paper we give a shorter, second proof of the monotonicity of the Hawking mass for time flat surfaces under spacelike uniformly area expanding flows in spacetimes that satisfy the dominant energy condition. We also include a third proof which builds on a known formula and describe a class of sufficient conditions of divergence type for the monotonicity of the Hawking mass. These flows of surfaces may have connections to the problem in general relativity of bounding the total mass of a spacetime from below by the quasi-local mass of spacelike 2-surfaces in the spacetime. △ Less

Submitted 13 February, 2014; originally announced February 2014.

Comments: 19 pages, 1 figure

MSC Class: 53C20 (Primary); 83C99 (Secondary)

Journal ref: Annales Henri Poincaré, Vol. 17, No. 6 (2016), pp. 1457-1475

Geometry of normal graphs in Euclidean space and applications to the Penrose inequality in Minkowski

Authors: Marc Mars, Alberto Soria

Abstract: The Penrose inequality in Minkowski is a geometric inequality relating the total outer null expansion and the area of closed, connected and spacelike codimension-two surfaces S in the Minkowski spacetime, subject to an additional convexity assumption. In a recent paper, Brendle and Wang find a sufficient condition for the validity of this Penrose inequality in terms of the geometry of the orthogon… ▽ More The Penrose inequality in Minkowski is a geometric inequality relating the total outer null expansion and the area of closed, connected and spacelike codimension-two surfaces S in the Minkowski spacetime, subject to an additional convexity assumption. In a recent paper, Brendle and Wang find a sufficient condition for the validity of this Penrose inequality in terms of the geometry of the orthogonal projection of S onto a constant time hyperplane. In this work, we study the geometry of hypersurfaces in n-dimensional euclidean space which are normal graphs over other surfaces and relate the intrinsic and extrinsic geometry of the graph with that of the base hypersurface. These results are used to rewrite Brendle and Wang's condition explicitly in terms of the time height function of S over a hyperplane and the geometry of the projection of S along its past null cone onto this hyperplane. We also include, in an Appendix, a self-contained summary of known and new results on the geometry of projections along the Killing direction of codimension two-spacelike surfaces in a strictly static spacetime. △ Less

Submitted 19 July, 2013; originally announced July 2013.

Comments: 15 pages, 1 figure, Latex

A spacetime characterization of the Kerr-NUT-(A)de Sitter and related metrics

Authors: Marc Mars, José M. M. Senovilla

Abstract: A characterization of the Kerr-NUT-(A)de Sitter metric among four dimensional Λ-vacuum spacetimes admitting a Killing vector is obtained in terms of the proportionality of the self-dual Weyl tensor and a natural self-dual double two-form constructed from the Killing vector. This result recovers and extends a previous characterization of the Kerr and Kerr-NUT metrics. The method of proof is based o… ▽ More A characterization of the Kerr-NUT-(A)de Sitter metric among four dimensional Λ-vacuum spacetimes admitting a Killing vector is obtained in terms of the proportionality of the self-dual Weyl tensor and a natural self-dual double two-form constructed from the Killing vector. This result recovers and extends a previous characterization of the Kerr and Kerr-NUT metrics. The method of proof is based on (i) the presence of a second Killing vector field which is built in terms of geometric information arising from the previous Killing vector exclusively, and (ii) the existence of an interesting underlying geometric structure involving a Riemannian submersion of a conformally related metric, both of which may be of independent interest. △ Less

Submitted 19 December, 2016; v1 submitted 18 July, 2013; originally announced July 2013.

Comments: 43 pages. No figures. v2: Statement of main theorem added in the Introduction. Section 4 divided into subsections. Minor additional changes. v3: Theorems 1 and 6 corrected to include a hypothesis that was not made explicit in version v1 and v2 and in the published paper. Relevant changes are highlighted in blue color. Some typos also amended

Review on exact and perturbative deformations of the Einstein-Straus model: uniqueness and rigidity results

Authors: Marc Mars, Filipe C. Mena, Raül Vera

Abstract: The Einstein-Straus model consists of a Schwarzschild spherical vacuole in a Friedman-Lemaître-Robertson-Walker (FLRW) dust spacetime (with or without Λ). It constitutes the most widely accepted model to answer the question of the influence of large scale (cosmological) dynamics on local systems. The conclusion drawn by the model is that there is no influence from the cosmic background, since the… ▽ More The Einstein-Straus model consists of a Schwarzschild spherical vacuole in a Friedman-Lemaître-Robertson-Walker (FLRW) dust spacetime (with or without Λ). It constitutes the most widely accepted model to answer the question of the influence of large scale (cosmological) dynamics on local systems. The conclusion drawn by the model is that there is no influence from the cosmic background, since the spherical vacuole is static. Spherical generalizations to other interior matter models are commonly used in the construction of lumpy inhomogeneous cosmological models. On the other hand, the model has proven to be reluctant to admit non-spherical generalizations. In this review, we summarize the known uniqueness results for this model. These seem to indicate that the only reasonable and realistic non-spherical deformations of the Einstein-Straus model require perturbing the FLRW background. We review results about linear perturbations of the Einstein-Straus model, where the perturbations in the vacuole are assumed to be stationary and axially symmetric so as to describe regions (voids in particular) in which the matter has reached an equilibrium regime. △ Less

Submitted 16 July, 2013; originally announced July 2013.

Comments: 29 pages, 1 figure

Constraint equations for general hypersurfaces and applications to shells

Authors: Marc Mars

Abstract: Hypersurfaces of arbitrary causal character embedded in a spacetime are studied with the aim of extracting necessary and sufficient free data on the submanifold suitable for reconstructing the spacetime metric and its first derivative along the hypersurface. The constraint equations for hypersurfaces of arbitrary causal character are then computed explicitly in terms of this hypersurface data, thu… ▽ More Hypersurfaces of arbitrary causal character embedded in a spacetime are studied with the aim of extracting necessary and sufficient free data on the submanifold suitable for reconstructing the spacetime metric and its first derivative along the hypersurface. The constraint equations for hypersurfaces of arbitrary causal character are then computed explicitly in terms of this hypersurface data, thus providing a framework capable of unifying, and extending, the standard constraint equations in the spacelike and in the characteristic cases to the general situation. This may have interesting applications in well-posedness problems more general than those already treated in the literature. As a simple application of the constraint equations for general hypersurfaces, we derive the field equations for shells of matter when no restriction whatsoever on the causal character of the shell is imposed. △ Less

Submitted 19 March, 2013; originally announced March 2013.

Comments: 34 pages, no figures

Arabic CALL system based on pedagogically indexed text

Authors: Mohamed Achraf Ben Mohamed, Dhaou El Ghoul, Mohamed Amine Nahdi, Mourad Mars, Mounir Zrigui

Abstract: This article introduces the benefits of using computer as a tool for foreign language teaching and learning. It describes the effect of using Natural Language Processing (NLP) tools for learning Arabic. The technique explored in this particular case is the employment of pedagogically indexed corpora. This text-based method provides the teacher the advantage of building activities based on texts ad… ▽ More This article introduces the benefits of using computer as a tool for foreign language teaching and learning. It describes the effect of using Natural Language Processing (NLP) tools for learning Arabic. The technique explored in this particular case is the employment of pedagogically indexed corpora. This text-based method provides the teacher the advantage of building activities based on texts adapted to a particular pedagogical situation. This paper also presents ARAC: a Platform dedicated to language educators allowing them to create activities within their own pedagogical area of interest. △ Less

Submitted 10 July, 2012; originally announced July 2012.

Comments: The 2011 International Conference on Artificial Intelligence (ICAI'11), 2011, WORLDCOMP'11, Las Vegas, Nevada, USA

Global and uniqueness properties of stationary and static spacetimes with outer trapped surfaces

Authors: Marc Mars, Martin Reiris

Abstract: Global properties of maximal future Cauchy developments of stationary, m-dimensional asymptotically flat initial data with an outer trapped boundary are analyzed. We prove that, whenever the matter model is well posed and satisfies the null energy condition, the future Cauchy development of the data is a black hole spacetime. More specifically, we show that the future Killing development of the ex… ▽ More Global properties of maximal future Cauchy developments of stationary, m-dimensional asymptotically flat initial data with an outer trapped boundary are analyzed. We prove that, whenever the matter model is well posed and satisfies the null energy condition, the future Cauchy development of the data is a black hole spacetime. More specifically, we show that the future Killing development of the exterior of a sufficiently large sphere in the initial data set can be isometrically embedded in the maximal Cauchy development of the data. In the static setting we prove, by working directly on the initial data set, that all Killing prehorizons are embedded whenever the initial data set has an outer trapped boundary and satisfies the null energy condition. By combining both results we prove a uniqueness theorem for static initial data sets with outer trapped boundary. △ Less

Submitted 4 June, 2012; originally announced June 2012.

Comments: 38 pages, 2 figures, Latex

Stability of MOTS in totally geodesic null horizons

Authors: Marc Mars

Abstract: Closed sections of totally geodesic null hypersurfaces are marginally outer trapped surfaces (MOTS), for which a well-defined notion of stability exists. In this paper we obtain the explicit form for the stability operator for such MOTS and analyze in detail its properties in the particular case of non-evolving horizons, which include both isolated and Killing horizons. We link these stability pro… ▽ More Closed sections of totally geodesic null hypersurfaces are marginally outer trapped surfaces (MOTS), for which a well-defined notion of stability exists. In this paper we obtain the explicit form for the stability operator for such MOTS and analyze in detail its properties in the particular case of non-evolving horizons, which include both isolated and Killing horizons. We link these stability properties with the surface gravity of the horizon and/or to the existence of minimal sections. The results are used, in particular, to obtain an area-angular momentum inequality for sections of axially symmetric horizons in four spacetime dimensions, which helps clarifying the relationship between two different approaches to this inequality existing in the literature. △ Less

Submitted 8 May, 2012; originally announced May 2012.

Comments: 29 pages, no figures