Validating the Universe in a Box
arXiv:2001.09101
Abstract
Computer simulations of the formation and evolution of large scale structure in the universe are integral to the enterprise of modern cosmology. Establishing the reliability of these simulations has been extremely challenging, primarily because of epistemic opacity. In this setting, robustness analysis defined by requiring converging outputs from a diverse ensemble of simulations is insufficient to determine simulation validity. Instead, we propose an alternative path of structured code validation that applies eliminative reasoning to isolate and reduce possible sources of error, a potential path that is already being explored by some cosmologists.
arXiv comment13 pages. Accepted for publication in Philosophy of Science for the PSA2018 symposium proceedings issue
References in corpus (5)
- Simulating the joint evolution of quasars, galaxies and their large-scale distribution
- Cosmology and Fundamental Physics with the Euclid Satellite
- The Kinematics of the Ultra-Faint Milky Way Satellites: Solving the Missing Satellite Problem
- Dark Matter Substructure in Numerical Simulations: A Tale of Discreteness Noise, Runaway Instabilities, and Artificial Disruption
- Three problems about multi-scale modelling in cosmology