论文标题
在盒子里验证宇宙
Validating the Universe in a Box
论文作者
论文摘要
宇宙中大规模结构形成和演变的计算机模拟是现代宇宙学企业不可或缺的。建立这些仿真的可靠性极具挑战性，这主要是由于认知不透明性。在这种情况下，通过需要从模拟各种集合中收敛输出来定义的鲁棒性分析不足以确定模拟有效性。取而代之的是，我们提出了一种结构化代码验证的替代路径，该途径应用了消除推理来隔离和减少可能的错误源，这是某些宇宙学家已经探索的潜在路径。
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.
