Related papers: CMBFAST for spatially closed universes
We review recent developments in the field of string cosmology with particular emphasis on open problems having to do mainly with geometric asymptotics and singularities. We discuss outstanding issues in a variety of currently popular…
If they exist, networks of superconducting cosmic strings are capable of injecting copious amounts of electromagnetic energy into the background over a broad range of frequencies. We study this injection both analytically, as well as…
The next generation of cosmological surveys will operate over unprecedented scales, and will therefore provide exciting new opportunities for testing general relativity. The standard method for modelling the structures that these surveys…
This paper presents a systematic and accurate treatment of the evolution of cosmological perturbations in self-interacting dark matter models, for particles which decoupled from the primordial plasma while relativistic. We provide a…
Understanding fault types can lead to novel approaches to debugging and runtime verification. Dealing with complex faults, particularly in the challenging area of embedded systems, craves for more powerful tools, which are now becoming…
We propose a multiscale method for elliptic problems on complex domains, e.g. domains with cracks or complicated boundary. For local singularities this paper also offers a discrete alternative to enrichment techniques such as XFEM. We…
Several cosmological measurements have attained significant levels of maturity and accuracy over the last decade. Continuing this trend, future observations promise measurements of the statistics of the cosmic mass distribution at an…
Given a standard model to test, an experiment can be designed to: (i) measure the standard model parameters; (ii) extend the standard model; or (iii) look for evidence of deviations from the standard model. To measure (or extend) the…
The use of techniques from loop quantum gravity for cosmological models may solve some difficult problems in quantum cosmology. The solutions under a number of circumstances have been well studied. We will analyse the behaviour of solutions…
Geometric modeling by constraints, whose applications are of interest to communities from various fields such as mechanical engineering, computer aided design, symbolic computation or molecular chemistry, is now integrated into standard…
On finite structures, there is a well-known connection between the expressive power of Datalog, finite variable logics, the existential pebble game, and bounded hypertree duality. We study this connection for infinite structures. This has…
Cosmological perturbations are considered in $f(T)$ and in scalar-torsion $f(\varphi)T$ teleparallel models of gravity. Full sets of linear perturbation equations are accurately derived and analysed at the relevant limits. Interesting…
The strong constraints of conformal symmetry cause any nearly-conformal sector to blueshift tensor fluctuations in cosmology. Hidden sectors with approximate conformal symmetry, which may be quite large, are a well-motivated extension of…
This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification (CPBPV). The CPBPV framework uses constraint stores to represent the…
Fixed-parameter algorithms have been successfully applied to solve numerous difficult problems within acceptable time bounds on large inputs. However, most fixed-parameter algorithms are inherently \emph{sequential} and, thus, make no use…
We discuss Cosmic Microwave Background constraints on the causal set theory of quantum gravity, which has made testable predictions about the nature of dark energy. We flesh out previously discussed heuristic constraints by showing how the…
In this paper, we show how the restriction of the Quantum Geometric Tensor to manifolds of states that can be generated through local interactions provides a new tool to understand the consequences of locality in physics. After a review of…
We study the possibility for constraining the topology of the Universe by means of the matched circles statistic applied to polarised cosmic microwave background (CMB) anisotropy maps. The advantages of using the CMB polarisation maps in…
We forecast the ability of cosmic microwave background (CMB) temperature and polarization datasets to constrain theories of eternal inflation using cosmic bubble collisions. Using the Fisher matrix formalism, we determine both the overall…
Weak lensing of galaxies by large scale structure can potentially measure cosmological quantities as accurately as the cosmic microwave background (CMB). However, the relation between observables and fundamental parameters is more complex…