-
Introducing the DREAMS Project: DaRk mattEr and Astrophysics with Machine learning and Simulations
Authors:
Jonah C. Rose,
Paul Torrey,
Francisco Villaescusa-Navarro,
Mariangela Lisanti,
Tri Nguyen,
Sandip Roy,
Kassidy E. Kollmann,
Mark Vogelsberger,
Francis-Yan Cyr-Racine,
Mikhail V. Medvedev,
Shy Genel,
Daniel Anglés-Alcázar,
Nitya Kallivayalil,
Bonny Y. Wang,
Belén Costanza,
Stephanie O'Neil,
Cian Roche,
Soumyodipta Karmakar,
Alex M. Garcia,
Ryan Low,
Shurui Lin,
Olivia Mostow,
Akaxia Cruz,
Andrea Caputo,
Arya Farahi
, et al. (5 additional authors not shown)
Abstract:
We introduce the DREAMS project, an innovative approach to understanding the astrophysical implications of alternative dark matter models and their effects on galaxy formation and evolution. The DREAMS project will ultimately comprise thousands of cosmological hydrodynamic simulations that simultaneously vary over dark matter physics, astrophysics, and cosmology in modeling a range of systems -- f…
▽ More
We introduce the DREAMS project, an innovative approach to understanding the astrophysical implications of alternative dark matter models and their effects on galaxy formation and evolution. The DREAMS project will ultimately comprise thousands of cosmological hydrodynamic simulations that simultaneously vary over dark matter physics, astrophysics, and cosmology in modeling a range of systems -- from galaxy clusters to ultra-faint satellites. Such extensive simulation suites can provide adequate training sets for machine-learning-based analyses. This paper introduces two new cosmological hydrodynamical suites of Warm Dark Matter, each comprised of 1024 simulations generated using the Arepo code. One suite consists of uniform-box simulations covering a $(25~h^{-1}~{\rm M}_\odot)^3$ volume, while the other consists of Milky Way zoom-ins with sufficient resolution to capture the properties of classical satellites. For each simulation, the Warm Dark Matter particle mass is varied along with the initial density field and several parameters controlling the strength of baryonic feedback within the IllustrisTNG model. We provide two examples, separately utilizing emulators and Convolutional Neural Networks, to demonstrate how such simulation suites can be used to disentangle the effects of dark matter and baryonic physics on galactic properties. The DREAMS project can be extended further to include different dark matter models, galaxy formation physics, and astrophysical targets. In this way, it will provide an unparalleled opportunity to characterize uncertainties on predictions for small-scale observables, leading to robust predictions for testing the particle physics nature of dark matter on these scales.
△ Less
Submitted 1 May, 2024;
originally announced May 2024.
-
Brightest Cluster Galaxy Offsets in Cold Dark Matter
Authors:
Cian Roche,
Michael McDonald,
Josh Borrow,
Mark Vogelsberger,
Xuejian Shen,
Volker Springel,
Lars Hernquist,
Ruediger Pakmor,
Sownak Bose,
Rahul Kannan
Abstract:
The distribution of offsets between the brightest cluster galaxies of galaxy clusters and the centroid of their dark matter distributions is a promising probe of the underlying dark matter physics. In particular, since this distribution is sensitive to the shape of the potential in galaxy cluster cores, it constitutes a test of dark matter self-interaction on the largest mass scales in the univers…
▽ More
The distribution of offsets between the brightest cluster galaxies of galaxy clusters and the centroid of their dark matter distributions is a promising probe of the underlying dark matter physics. In particular, since this distribution is sensitive to the shape of the potential in galaxy cluster cores, it constitutes a test of dark matter self-interaction on the largest mass scales in the universe. We examine these offsets in three suites of modern cosmological simulations; IllustrisTNG, MillenniumTNG and BAHAMAS. For clusters above $10^{14}\rm{M_\odot}$, we examine the dependence of the offset distribution on gravitational softening length, the method used to identify centroids, redshift, mass, baryonic physics, and establish the stability of our results with respect to various nuisance parameter choices. We find that offsets are overwhelmingly measured to be smaller than the minimum converged length scale in each simulation, with a median offset of $\sim 1\rm{kpc}$ in the highest resolution simulation considered, TNG300-1, which uses a gravitational softening length of $1.48\rm{kpc}$. We also find that centroids identified via source extraction on smoothed dark matter and stellar particle data are consistent with the potential minimum, but that observationally relevant methods sensitive to cluster strong gravitational lensing scales, or those using the the "light traces mass" approach, in this context meaning gas is used as a tracer for the potential, can overestimate offsets by factors of $\sim10$ and $\sim30$, respectively. This has the potential to reduce tensions with existing offset measurements which have served as evidence for a nonzero dark matter self-interaction cross section.
△ Less
Submitted 26 April, 2024; v1 submitted 1 February, 2024;
originally announced February 2024.
-
The Escape Velocity Profile of the Milky Way from Gaia DR3
Authors:
Cian Roche,
Lina Necib,
Tongyan Lin,
Xiaowei Ou,
Tri Nguyen
Abstract:
The escape velocity profile of the Milky Way offers a crucial and independent measurement of its underlying mass distribution and dark matter properties. Using a sample of stars from Gaia DR3 with 6D kinematics and strict quality cuts, we obtain an escape velocity profile of the Milky Way from 4 kpc to 11 kpc in Galactocentric radius. To infer the escape velocity in radial bins, we model the tail…
▽ More
The escape velocity profile of the Milky Way offers a crucial and independent measurement of its underlying mass distribution and dark matter properties. Using a sample of stars from Gaia DR3 with 6D kinematics and strict quality cuts, we obtain an escape velocity profile of the Milky Way from 4 kpc to 11 kpc in Galactocentric radius. To infer the escape velocity in radial bins, we model the tail of the stellar speed distribution with both traditional power law models and a new functional form that we introduce. While power law models tend to rely on extrapolation to high speeds, we find our new functional form gives the most faithful representation of the observed distribution. Using this for the escape velocity profile, we constrain the properties of the Milky Way's dark matter halo modeled as a Navarro-Frenck-White profile. Combined with constraints from the circular velocity at the solar position, we obtain a concentration and mass of $c_{200\rm{c}}^{\rm{DM}} = 13.9^{+6.2}_{-4.3}$ and $\rm{M}_{200\rm{c}}^{\rm{DM}} = 0.55^{+0.15}_{-0.14}\times 10^{12} M_\odot$. This corresponds to a total Milky Way mass of $\rm{M}_{200\rm{c}} = 0.64^{+0.15}_{-0.14}\times 10^{12} M_\odot$, which is on the low end of the historic range of the Galaxy's mass, but in line with other recent estimates.
△ Less
Submitted 31 January, 2024;
originally announced February 2024.
-
Mixed-Order Meshes through rp-adaptivity for Surface Fitting to Implicit Geometries
Authors:
Ketan Mittal,
Veselin A. Dobrev,
Patrick Knupp,
Tzanio Kolev,
Franck Ledoux,
Claire Roche,
Vladimir Z. Tomov
Abstract:
Computational analysis with the finite element method requires geometrically accurate meshes. It is well known that high-order meshes can accurately capture curved surfaces with fewer degrees of freedom in comparison to low-order meshes. Existing techniques for high-order mesh generation typically output meshes with same polynomial order for all elements. However, high order elements away from cur…
▽ More
Computational analysis with the finite element method requires geometrically accurate meshes. It is well known that high-order meshes can accurately capture curved surfaces with fewer degrees of freedom in comparison to low-order meshes. Existing techniques for high-order mesh generation typically output meshes with same polynomial order for all elements. However, high order elements away from curvilinear boundaries or interfaces increase the computational cost of the simulation without increasing geometric accuracy. In prior work, we have presented one such approach for generating body-fitted uniform-order meshes that takes a given mesh and morphs it to align with the surface of interest prescribed as the zero isocontour of a level-set function. We extend this method to generate mixed-order meshes such that curved surfaces of the domain are discretized with high-order elements, while low-order elements are used elsewhere. Numerical experiments demonstrate the robustness of the approach and show that it can be used to generate mixed-order meshes that are much more efficient than high uniform-order meshes. The proposed approach is purely algebraic, and extends to different types of elements (quadrilaterals/triangles/tetrahedron/hexahedra) in two- and three-dimensions.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
Exact Parallel Waves in General Relativity
Authors:
Cian Roche,
Amir Babak Aazami,
Carla Cederbaum
Abstract:
We conduct a review of the basic definitions and the principal results in the study of wavelike spacetimes, that is spacetimes whose metric models massless radiation moving at the speed of light, focusing in particular on those geometries with parallel rays. In particular, we motivate and connect their various definitions, outline their coordinate descriptions and present some classical results in…
▽ More
We conduct a review of the basic definitions and the principal results in the study of wavelike spacetimes, that is spacetimes whose metric models massless radiation moving at the speed of light, focusing in particular on those geometries with parallel rays. In particular, we motivate and connect their various definitions, outline their coordinate descriptions and present some classical results in their study in a language more accessible to modern readers, including the existence of "null coordinates" and the construction of Penrose limits. We also present a thorough summary of recent work on causality in pp-waves, and describe progress in addressing an open question in the field - the Ehlers-Kundt conjecture.
△ Less
Submitted 28 November, 2022; v1 submitted 7 July, 2022;
originally announced July 2022.
-
Artificial Intelligence Ethics: An Inclusive Global Discourse?
Authors:
Cathy Roche,
Dave Lewis,
P. J. Wall
Abstract:
It is widely accepted that technology is ubiquitous across the planet and has the potential to solve many of the problems existing in the Global South. Moreover, the rapid advancement of artificial intelligence (AI) brings with it the potential to address many of the challenges outlined in the Sustainable Development Goals (SDGs) in ways which were never before possible. However, there are many qu…
▽ More
It is widely accepted that technology is ubiquitous across the planet and has the potential to solve many of the problems existing in the Global South. Moreover, the rapid advancement of artificial intelligence (AI) brings with it the potential to address many of the challenges outlined in the Sustainable Development Goals (SDGs) in ways which were never before possible. However, there are many questions about how such advanced technologies should be managed and governed, and whether or not the emerging ethical frameworks and standards for AI are dominated by the Global North. This research examines the growing body of documentation on AI ethics to examine whether or not there is equality of participation in the ongoing global discourse. Specifically, it seeks to discover if both countries in the Global South and women are underrepresented in this discourse. Findings indicate a dearth of references to both of these themes in the AI ethics documents, suggesting that the associated ethical implications and risks are being neglected. Without adequate input from both countries in the Global South and from women, such ethical frameworks and standards may be discriminatory with the potential to reinforce marginalisation.
△ Less
Submitted 23 August, 2021;
originally announced August 2021.
-
Testing Progenitor Models Using the Late-Time Light Curve of Supernova 1992A
Authors:
Cian Roche,
Peter Garnavich
Abstract:
The dominant radioactive energy source powering Type Ia supernova light curves is expected to switch from the decay of $^{56}$Co to $^{57}$Co at very late epochs. We use archival HST images of SN1992A obtained more than 900 days after explosion to constrain its cobalt isotopic abundance ratio and compare it to the well-studied event SN2011fe. We confirm the $^{57}$Co / $^{56}$Co ratio for SN2011fe…
▽ More
The dominant radioactive energy source powering Type Ia supernova light curves is expected to switch from the decay of $^{56}$Co to $^{57}$Co at very late epochs. We use archival HST images of SN1992A obtained more than 900 days after explosion to constrain its cobalt isotopic abundance ratio and compare it to the well-studied event SN2011fe. We confirm the $^{57}$Co / $^{56}$Co ratio for SN2011fe of $0.026\pm 0.004$ found by arXiv:1608.01155, consistent with a "double degenerate" progenitor scenario. For SN1992A, we find a ratio of $0.034\pm 0.010$, but the large uncertainty does not allow us to differentiate between progenitor models
△ Less
Submitted 18 November, 2020;
originally announced November 2020.
-
Should Terminology Principles be re-examined?
Authors:
Christophe Roche
Abstract:
Operationalization of terminology for IT applications has revived the Wusterian approach. The conceptual dimension once more prevails after taking back seat to specialised lexicography. This is demonstrated by the emergence of ontology in terminology. While the Terminology Principles as defined in Felber manual and the ISO standards remain at the core of traditional terminology, their computationa…
▽ More
Operationalization of terminology for IT applications has revived the Wusterian approach. The conceptual dimension once more prevails after taking back seat to specialised lexicography. This is demonstrated by the emergence of ontology in terminology. While the Terminology Principles as defined in Felber manual and the ISO standards remain at the core of traditional terminology, their computational implementation raises some issues. In this article, while reiterating their importance, we will be re-examining these Principles from a dual perspective: that of logic in the mathematical sense of the term and that of epistemology as in the theory of knowledge. We will thus be clarifying and describing some of them so as to take into account advances in knowledge engineering (ontology) and formal systems (logic). The notion of ontoterminology, terminology whose conceptual system is a formal ontology, results from this approach.
△ Less
Submitted 16 September, 2016;
originally announced September 2016.
-
Reduction of Singularities of Three-Dimensional Line Foliations
Authors:
Felipe Cano,
Claude Roche,
Mark Spivakovsky
Abstract:
We give a birational reduction of singularities for one dimensional foliations in ambient spaces of dimension three. To do this, we first prove the existence of a Local Uniformization in the sense of Zariski. The reduction of singularities is then obtained by a gluing procedure for Local Uniformization similar to Zariski's one, using an axiomatization of Zariski's work by Olivier Piltant.
We give a birational reduction of singularities for one dimensional foliations in ambient spaces of dimension three. To do this, we first prove the existence of a Local Uniformization in the sense of Zariski. The reduction of singularities is then obtained by a gluing procedure for Local Uniformization similar to Zariski's one, using an axiomatization of Zariski's work by Olivier Piltant.
△ Less
Submitted 7 September, 2010;
originally announced September 2010.
-
Dire n'est pas concevoir
Authors:
Christophe Roche
Abstract:
The conceptual modelling built from text is rarely an ontology. As a matter of fact, such a conceptualization is corpus-dependent and does not offer the main properties we expect from ontology. Furthermore, ontology extracted from text in general does not match ontology defined by expert using a formal language. It is not surprising since ontology is an extra-linguistic conceptualization whereas…
▽ More
The conceptual modelling built from text is rarely an ontology. As a matter of fact, such a conceptualization is corpus-dependent and does not offer the main properties we expect from ontology. Furthermore, ontology extracted from text in general does not match ontology defined by expert using a formal language. It is not surprising since ontology is an extra-linguistic conceptualization whereas knowledge extracted from text is the concern of textual linguistics. Incompleteness of text and using rhetorical figures, like ellipsis, modify the perception of the conceptualization we may have. Ontological knowledge, which is necessary for text understanding, is not in general embedded into documents.
△ Less
Submitted 10 February, 2010;
originally announced February 2010.
-
Le terme et le concept : fondements d'une ontoterminologie
Authors:
Christophe Roche
Abstract:
Most definitions of ontology, viewed as a "specification of a conceptualization", agree on the fact that if an ontology can take different forms, it necessarily includes a vocabulary of terms and some specification of their meaning in relation to the domain's conceptualization. And as domain knowledge is mainly conveyed through scientific and technical texts, we can hope to extract some useful i…
▽ More
Most definitions of ontology, viewed as a "specification of a conceptualization", agree on the fact that if an ontology can take different forms, it necessarily includes a vocabulary of terms and some specification of their meaning in relation to the domain's conceptualization. And as domain knowledge is mainly conveyed through scientific and technical texts, we can hope to extract some useful information from them for building ontology. But is it as simple as this? In this article we shall see that the lexical structure, i.e. the network of words linked by linguistic relationships, does not necessarily match the domain conceptualization. We have to bear in mind that writing documents is the concern of textual linguistics, of which one of the principles is the incompleteness of text, whereas building ontology - viewed as task-independent knowledge - is concerned with conceptualization based on formal and not natural languages. Nevertheless, the famous Sapir and Whorf hypothesis, concerning the interdependence of thought and language, is also applicable to formal languages. This means that the way an ontology is built and a concept is defined depends directly on the formal language which is used; and the results will not be the same. The introduction of the notion of ontoterminology allows to take into account epistemological principles for formal ontology building.
△ Less
Submitted 8 January, 2008;
originally announced January 2008.