Related papers: Validating the Universe in a Box
Formal verification has been successfully developed in computer science for verifying combinatorial classes of models and specifications. In like manner, formal verification methods have been developed for dynamical systems. However, the…
We propose and investigate probabilistic guarantees for the adversarial robustness of classification algorithms. While traditional formal verification approaches for robustness are intractable and sampling-based approaches do not provide…
Modern cosmological observations allow us to study in great detail the evolution and history of the large scale structure hierarchy. The fundamental problem of accurate constraints on the cosmological parameters, within a given cosmological…
Numerical simulations are a versatile tool providing insight into the complicated process of structure formation in cosmology. This process is mainly governed by gravity, which is the dominant force on large scales. To date, a century after…
In this short review we study the state of the art of the great problems in cosmology and their interrelationships. The reconciliation of these problems passes undoubtedly through the idea of a quantum universe.
Simulations of large-scale structure in the universe have played a vital role in observational cosmology since 1980's in particular. Their important role will definitely continue to be true in the 21st century. Rather the requirements for…
After two decades of direct dynamical simulation of large-scale structure in the universe, it is safe to say the subject is now mature. Still, there are parts of the problem that are less well developed than others. In general, the…
Many fields of science rely on software systems to answer different research questions. For valid results researchers need to trust the results scientific software produces, and consequently quality assurance is of utmost importance. In…
More than a speculative technology, quantum computing seems to challenge our most basic intuitions about how the physical world should behave. In this thesis I show that, while some intuitions from classical computer science must be…
The interplay between process behaviour and spatial aspects of computation has become more and more relevant in Computer Science, especially in the field of collective adaptive systems, but also, more generally, when dealing with systems…
The study of the properties of cosmic structures in the universe is one of the most fascinating subject of the modern cosmology research. Far from being predicted, the large scale structure of the matter distribution is a very recent…
Over the past 27 years, quantum computing has seen a huge rise in interest from both academia and industry. At the current rate, quantum computers are growing in size rapidly backed up by the increase of research in the field. Significant…
Galaxy simulations have come a long way from the early days of simple N-body calculations, which considered only gravitational interactions, to the complex, multi-physics models used today. Beginning with initial conditions representative…
If our universe has appeared in a result of Big Bang or something like this, whether we have reasons to deny an existence of other universes appearing by the same or similar way? An objection that there is no anything like it, is doubtful,…
Connecting cosmological simulations to real-world observational programs is often complicated by a mismatch in geometry: while surveys often cover highly irregular cosmological volumes, simulations are customarily performed in a periodic…
Building models that comply with the invariances inherent to different domains, such as invariance under translation or rotation, is a key aspect of applying machine learning to real world problems like molecular property prediction,…
Various techniques have been used in recent years for verifying quantum computers, that is, for determining whether a quantum computer/system satisfies a given formal specification of correctness. Barrier certificates are a recent novel…
Large-scale structure of Universe includes galaxy clusters connected by filaments. Voids occupy the rest of cosmic volume. The search of any dependencities in filament structure can give answer to more general questions about origin of…
Building software-driven systems that are easily understood becomes a challenge, with their ever-increasing complexity and autonomy. Accordingly, recent research efforts strive to aid in designing explainable systems. Nevertheless, a common…
Loop quantum gravity is a mature theory. To proceed to explicit calculations in cosmology, it is necessary to make assumptions and simplifications based on the symmetries of the cosmological setting. Symmetry reduction is especially…