Related papers: Cosmic Logic: a Computational Model
Quantified CTL (QCTL) is a well-studied temporal logic that extends CTL with quantification over atomic propositions. It has recently come to the fore as a powerful intermediary framework to study logics for strategic reasoning. We extend…
As the next generation of large galaxy surveys come online, it is becoming increasingly important to develop and understand the machine learning tools that analyze big astronomical data. Neural networks are powerful and capable of probing…
There is a persistent state of confusion regarding the account of the quantum origin of the seeds of cosmological structure during inflation. In fact, a recent article (C. Kiefer & D. Polarski, ArXiv: 0810.0087 [astro-ph]) addresses the…
In the mini-superspace approximation to cosmology, the canonical measure can be used to compute probabilities when a cutoff is introduced in the phase space to regularize the divergent measure. However, the region initially constrained by a…
The standard concordance model of the Universe is based on the cosmological constant as the driver of accelerating expansion. This concordance model is being subjected to a growing range of inter-locking observations. In addition to using…
Quantum cosmology has traditionally been studied at the level of symmetry-reduced minisuperspace models, analyzing the behavior of wave functions. However, in the absence of a complete full setting of quantum gravity and detailed knowledge…
Suppose the usual description of spacetime as a 4-dimensional manifold with a Lorentzian metric breaks down at Planck energies. Can we still construct sensible theoretical models of the universe? Are they testable? Do they lead to a…
We give a number of formal proofs of theorems from the field of computable analysis. Many of our results specify executable algorithms that work on infinite inputs by means of operating on finite approximations and are proven correct in the…
When quantum mechanics was developed in the '20s of the last century another revolution in physics was just starting. It began with the discovery that the universe is expanding. For a long time quantum mechanics and cosmology developed…
In Quantum Physics, a measurement is represented by a projection on some closed subspace of a Hilbert space. We study algebras of operators that abstract from the algebra of projections on closed subspaces of a Hilbert space. The properties…
We consider general relativity with a cosmological constant as a perturbative expansion around a completely solvable diffeomorphism invariant field theory. This theory is the $\Lambda\to\infty$ limit of general relativity. This allows an…
We introduce a new family of primordial cosmological perturbations that are not described by traditional power spectra. At the linear level, these perturbations live in the kernel of the spatial Laplacian operator, and thus we call them…
In the first of this pair of papers, it was proven that that no physical computer can correctly carry out all computational tasks that can be posed to it. The generality of this result follows from its use of a novel definition of…
The present paper introduces a novel notion of `(effective) computability', called viability, of strategies in game semantics in an intrinsic (i.e., without recourse to the standard Church-Turing computability), non-inductive and…
The one-way quantum computer (QCc) is a universal scheme of quantum computation consisting only of one-qubit measurements on a particular entangled multi-qubit state, the cluster state. The computational model underlying the QCc is…
We describe a statistical model to estimate the covariance matrix of matter tracer two-point correlation functions with cosmological simulations. Assuming a fixed number of cosmological simulation runs, we describe how to build a…
Limitation of computational resources is considered as a universal principle that for simulation is as fundamental as physical laws are. It claims that all experimentally verifiable implications of physical laws can be simulated by the…
The assumption that a complete description of an early state of the universe does not privilege any position or direction in space leads to a unified account of probability in cosmology, macroscopic physics, and quantum mechanics. Such a…
A physical system is determined by a finite set of initial conditions and "laws" represented by equations. The system is computable if we can solve the equations in all instances using a "finite body of mathematical knowledge". In this…
In a previous paper, we provided a formal definition for the concept of computational irreducibility (CIR), i.e. the fact for a function f from N to N that it is impossible to compute f(n) without following approximately the same path than…