-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
First order perturbations of the Einstein-Straus and Oppenheimer-Snyder models
Authors:
Marc Mars,
Filipe C. Mena,
Raül Vera
Abstract:
We derive the linearly perturbed matching conditions between a Schwarzschild spacetime region with stationary and axially symmetric perturbations and a FLRW spacetime with arbitrary perturbations. The matching hypersurface is also perturbed arbitrarily and, in all cases, the perturbations are decomposed into scalars using the Hodge operator on the sphere. This allows us to write down the matchin…
▽ More
We derive the linearly perturbed matching conditions between a Schwarzschild spacetime region with stationary and axially symmetric perturbations and a FLRW spacetime with arbitrary perturbations. The matching hypersurface is also perturbed arbitrarily and, in all cases, the perturbations are decomposed into scalars using the Hodge operator on the sphere. This allows us to write down the matching conditions in a compact way. In particular, we find that the existence of a perturbed (rotating, stationary and vacuum) Schwarzschild cavity in a perturbed FLRW universe forces the cosmological perturbations to satisfy constraints that link rotational and gravitational wave perturbations. We also prove that if the perturbation on the FLRW side vanishes identically, then the vacuole must be perturbatively static and hence Schwarzschild. By the dual nature of the problem, the first result translates into links between rotational and gravitational wave perturbations on a perturbed Oppenheimer-Snyder model, where the perturbed FLRW dust collapses in a perturbed Schwarzschild environment which rotates in equilibrium. The second result implies in particular that no region described by FLRW can be a source of the Kerr metric.
△ Less
Submitted 27 May, 2008;
originally announced May 2008.