Physical and Relativistic Numerical Cosmology
 226 Downloads
Abstract
In order to account for the observable Universe, any comprehensive theory or model of cosmology must draw from many disciplines of physics, including gauge theories of strong and weak interactions, the hydrodynamics and microphysics of baryonic matter, electromagnetic fields, and spacetime curvature, for example. Although it is difficult to incorporate all these physical elements into a single complete model of our Universe, advances in computing methods and technologies have contributed significantly towards our understanding of cosmological models, the Universe, and astrophysical processes within them. A sample of numerical calculations addressing specific issues in cosmology are reviewed in this article: from the Big Bang singularity dynamics to the fundamental interactions of gravitational waves; from the quarkhadron phase transition to the large scale structure of the Universe. The emphasis, although not exclusively, is on those calculations designed to test different models of cosmology against the observed Universe.
Keywords
Cosmological Model Gravitational Wave Cosmic Microwave Background Radiation Cosmic Microwave Background Radiation Anisotropy Rich Cluster1 Introduction
Numerical investigations of cosmological spacetimes can be categorized into two broad classes of calculations, distinguished by their computational (or even philosophical) goals: 1) geometrical and mathematical principles of cosmological models, and 2) physical and astrophysical cosmology. In the former, the emphasis is on the geometric framework in which astrophysical processes occur, namely the cosmological expansion, shear, and singularities of the many models allowed by the theory of general relativity. In the latter, the emphasis is on the cosmological and astrophysical processes in the real or observable Universe, and the quest to determine the model which best describes our Universe. The former is pure in the sense that it concerns the fundamental nonlinear behavior of the Einstein equations and the gravitational field. The latter is more complex as it addresses the composition, organization and dynamics of the Universe from the small scales (fundamental particles and elements) to the large (galaxies and clusters of galaxies). However the distinction is not always so clear, and geometric effects in the spacetime curvature can have significant consequences for the evolution and observation of matter distributions.
Any comprehensive model of cosmology must therefore include nonlinear interactions between different matter sources and spacetime curvature. A realistic model of the Universe must also cover large dynamical spatial and time scales, extreme temperature and density distributions, and highly dynamic atomic and molecular matter compositions. In addition, due to all the varied physical processes of cosmological significance, one must draw from many disciplines of physics to model curvature anisotropies, gravitational waves, electromagnetic fields, nucleosynthesis, particle physics, hydrodynamic fluids, etc. These phenomena are described in terms of coupled nonlinear partial differential equations and must be solved numerically for general inhomogeneous spacetimes. The situation appears extremely complex, even with current technological and computational advances. As a result, the codes and numerical methods that have been developed to date are designed to investigate very specific problems with either idealized symmetries or simplifying assumptions regarding the metric behavior, the matter distribution/composition or the interactions among the matter types and spacetime curvature.
It is the purpose of this article to review various published numerical cosmological calculations; from the very early Universe to the present; from the purely geometrical dynamics of the vacuum field to the quarkhadron phase transition and the large scale structure of the Universe. There are two major sections: § 2 where brief summaries of early Universe and fully relativistic cosmological calculations are presented; and § 3 which focuses on structure formation in the postcombination epoch and on testing cosmological models against observations.
2 Relativistic Cosmology
2.1 Singularities
2.1.1 Mixmaster Dynamics
Belinsky, Lifshitz and Khalatnikov (BLK) [12, 13] and Misner [48] discovered that the Einstein equations in the vacuum homogeneous Bianchi type IX (or Mixmaster) cosmology exhibit complex behavior and are sensitive to initial conditions as the Big Bang singularity is approached. In particular, the solutions near the singularity are described qualitatively by a discrete map [11, 12] representing different sequences of Kasner spacetimes and, because this map is chaotic, the Mixmaster dynamics is presumed to be chaotic as well.
BLK conjectured that local Mixmaster oscillations might be the generic behavior for singularities in more general classes of spacetimes [13]. However, this conjecture has yet to be established.
2.1.2 AVTD behavior
As noted in § 2.1.1, an interesting and (as yet) unresolved issue is whether or not the generic cosmological singularity is locally of a Mixmaster or BLK type, with a complex oscillatory behavior as the singularity is approached. Most of the other Bianchi models, including the Kasner solutions, are characterized by either open or no potentials in the Hamiltonian framework [55], and exhibit essentially monotonic or Asymptotically Velocity Term Dominated (AVTD) behavior, the opposite dynamics to the complex BLK oscillations.
Considering inhomogeneous spacetimes, Isenberg and Moncrief [38] proved that the singularity in the polarized Gowdy model is AVTD type. This has also been conjectured to be the case for more general Gowdy models, and numerical simulations of onedimensional plane symmetric Gowdy spacetimes support the notion. Furthermore, a symplectic numerical method [16, 50] has been applied to investigate the AVTD conjecture in even more general spacetimes, namely T^{3} × R spacetimes with U (1) symmetry [15]. Although there are concerns about the solutions due to difficulties in resolving the steep spatial gradients near the singularity, the numerical calculations find no evidence of BLK oscillations. Berger [15] attributes this to several possibilities: 1) the BLK conjecture is false; 2) the simulations have not been run long enough; 3) Mixmaster behavior is present but hidden in the variables; or 4) the initial data is insufficiently generic. In any case, further investigations are needed to confirm either the BLK or AVTD conjectures.
2.2 Inflation
The inflation paradigm is frequently invoked to explain the flatness (Ω ≈ 1) of the Universe, attributing it to an era of exponential expansion at about 10^{−34} seconds after the Big Bang. The mechanism of inflation is generally taken to be an effective cosmological constant from the dominant stressenergy of the inflation scalar field that regulates GUT symmetry breaking, particle creation, and the reheating of the Universe. In order to study whether inflation can occur for arbitrary anisotropic and inhomogeneous data, many numerical simulations have been carried out with different symmetries, matter types and perturbations. A sample of such calculations are described in the following paragraphs.
2.2.1 Plane Symmetry
KurkiSuonio et al. [41] extended the planar cosmology code of Centrella and Wilson [24, 25] (see § 2.5) to include a scalar field and simulate the onset of inflation in the early Universe starting with an inhomogeneous Higgs field. Their results suggest that whether inflation occurs or not can be sensitive to the shape of the potential. In particular, if the shape is flat enough, even large initial fluctuations of the Higgs field do not prevent inflation. They considered two different forms of the potential: a flat ColemanWeinberg type which is very flat close to the false vacuum and does inflate; and a rounder “ϕ^{4}” type which, for their parameter combinations, does not.
2.2.2 Spherical Symmetry
Goldwirth and Piran [33] studied the onset of inflation with inhomogeneous initial conditions for closed, spherically symmetric spacetimes containing a massive scalar field and radiation field sources (described by a massless scalar field). In all the cases they considered, the radiation field damps quickly and only an inhomogeneous massive scalar field remains to inflate the Universe. They find that small inhomogeneities tend to reduce the amount of inflation and large initial inhomogeneities can even suppress the onset of inflation. Their calculations indicate that the scalar field must have “suitable” initial values over a domain of several horizon lengths in order for inflation to begin.
2.2.3 Bianchi V
Anninos et al. [5] investigated the simplest Bianchi model (type V) background that admits velocities or tilt in order to address the question of how the Universe can choose a uniform reference frame at the exit from inflation, since the deSitter metric does not have a preferred frame. They find that inflation does not isotropize the Universe in the short wavelength limit. However if inflation persists, the wave behavior eventually freezes in and all velocities go to zero at least as fast as tanh β ∼ R^{−1}, where β is the relativistic tilt angle (a measure of velocity), and R is a typical scale associated with the radius of the Universe. Their results indicate that the velocities eventually go to zero as inflation carries all spatial variations outside the horizon, and that the answer to the posed question is that memory is retained and the Universe is never really deSitter.
2.2.4 Λ + Gravity Waves
In addition to the inflation field, one can consider other sources of inhomogeneity, such as gravitational waves. Although linear waves in deSitter space will decay exponentially and disappear, it is unclear what will happen if strong waves exist. Shinkai & Maeda [58] investigated the cosmic nohair conjecture with gravitational waves and a cosmological constant in 1D plane symmetric vacuum spacetimes, setting up Gaussian pulse wave data with amplitudes 0.02Λ ≤ max(√I) ≤ 80Λ and widths 0.08l_{ H } ≤ l ≤ 2.5l_{ H }, where I is the invariant constructed from the 3Riemann tensor and l_{ H } = √3/Λ is the horizon scale. They also considered colliding plane waves with amplitudes 40Λ ≤ max(√I) ≤ 125Λ and widths 0.08l_{ H } ≤ l ≤ 0.1l_{ H }. They find that for any large amplitude and/or small width inhomogeneity in their parameter sets, the nonlinearity of gravity has little effect and the spacetime always evolves into a deSitter spacetime.
2.2.5 ThreeD Inhomogeneous Spacetimes
The previous paragraphs discussed results from highly symmetric spacetimes, but the possibility of inflation remains to be established for more general inhomogeneous and nonperturbative data. To this end, KurkiSuonio et al. [42] investigated fully threedimensional inhomogeneous spacetimes with a chaotic inflationary potential V(ϕ) = λϕ^{4}/4. They considered basically two types of runs: small and large scale. In the small scale run, the grid length was initially set equal to the Hubble length so the inhomogeneities are well inside the horizon and the dynamical time scale is shorter than the expansion or Hubble time. As a result, the perturbations oscillate and damp while the field evolves and the spacetime inflates. In the large scale run, the inhomogeneities are outside the horizon and they do not oscillate. They maintain their shape without damping and, because larger values of ϕ lead to faster expansion, the inhomogeneity in the expansion becomes steeper in time since the regions of large ϕ and high inflation stay correlated. Both runs have sufficient inflation to solve the flatness problem.
2.3 QuarkHadron Phase Transition
The standard picture of cosmology assumes that a phase transition (associated with chiral symmetry breaking after the electroweak transition) occurred at approximately 10^{−5} seconds after the Big Bang to convert a plasma of free quarks and gluons into hadrons. Although this transition can be of significant cosmological importance, it is not known with certainty whether it is of first order or higher, and what the astrophysical consequences of such a transition might be on the formation of baryon number inhomogeneities, primordial nucleosynthesis, and the generation of primordial magnetic fields.
Rezolla et al. [53] considered a first order phase transition and the nucleation of hadronic bubbles in a supercooled quarkgluon plasma, solving the relativistic Lagrangian equations for disconnected and evaporating quark regions during the final stages of the phase transition. They numerically investigated a single isolated quark drop with an initial radius large enough so that surface effects can be neglected. The droplet evolves as a selfsimilar solution until it evaporates to a sufficiently small radius that surface effects break the similarity solution and increase the evaporation rate. Their simulations indicate that, in neglecting longrange energy and momentum transfer (by electromagnetically interacting particles) and assuming that the baryon number is transported with the hydrodynamical flux, the baryon number concentration is similar to what is predicted by chemical equilibrium calculations.
KurkiSuonio and Laine [43] studied the growth of bubbles and the decay of droplets using a spherically symmetric code that accounts for a phenomenological model of the microscopic entropy generated at the phase transition surface. Incorporating the small scale effects of the finite wall width and surface tension, but neglecting entropy and baryon flow through the droplet wall, they demonstrate the dynamics of nucleated bubble growth and quark droplet decay. They also find that evaporating droplets do not leave behind a global rarefaction wave to dissipate any previously generated baryon number inhomogeneity.
2.4 Nucleosynthesis
Observations of the light elements produced during Big Bang nucleosynthesis following the quark/hadron phase transition (roughly 10^{−2}–10^{2} seconds after the Big Bang) are generally consistent with the standard model of our Universe (see §3.1). However, it is interesting to investigate other more general models to assert the role of shear and curvature on the nucleosynthesis process.
Rothman and Matzner [54] considered primordial nucleosynthesis in anisotropic cosmologies, solving the strong reaction equations leading to ^{4}He. They find that the concentration of ^{4}He increases with increasing shear due to time scale effects and the competition between dissipation and enhanced reaction rates from photon heating and neutrino blue shifts. Their results have been used to place a limit on anisotropy at the epoch of nucleosynthesis. KurkiSuonio and Matzner [44] extended this work to include 30 strong 2particle reactions involving nuclei with mass numbers A ≤ 7, and to demonstrate the effects of anisotropy on the cosmologically significant isotopes ^{2}H, ^{3}He, ^{4}He and ^{7}Li as a function of the baryon to photon ratio. They conclude that the effect of anisotropy on ^{2}H and ^{3}He is not significant, and the abundances of ^{4}He and ^{7}Li increase with anisotropy in accord with [54].
Furthermore, it is possible that neutron diffusion, the process whereby neutrons diffuse out from regions of very high baryon density just before nucleosynthesis, can affect the neutron to proton ratio in such a way as to enhance deuterium and reduce ^{4}He compared to a homogeneous model. However, plane symmetric, general relativistic simulations with neutron diffusion [45] show that the neutrons diffuse back into the high density regions once nucleosynthesis begins there — thereby wiping out the effect. As a result, although inhomogeneities influence the element abundances, they do so at a much smaller degree then previously speculated. The numerical simulations also demonstrate that, because of the back diffusion, a cosmological model with a critical baryon density cannot be made consistent with helium and deuterium observations, even with substantial baryon inhomogeneities and the anticipated neutron diffusion effect.
2.5 Plane Symmetric Gravitational Waves
Gravitational waves are an inevitable product of the general Einstein equations, and one can expect a wide spectrum of wave signals propagating through our Universe due to shear anisotropies, primordial metric and matter fluctuations, collapsing matter structures, ringing black holes, and colliding neutron stars, for example. The discussion here is restricted to the pure vacuum field dynamics and the fundamental nonlinear behavior of gravitational waves in numerically generated cosmological spacetimes.
Centrella and Matzner [22, 23] studied a class of plane symmetric cosmologies representing gravitational inhomogeneities in the form of shocks or discontinuities separating two vacuum expanding Kasner cosmologies. By a suitable choice of parameters, the constraint equations can be satisfied at the initial time with an Euclidean 3surface and an algebraic matching of parameters across the different Kasner regions that gives rise to a discontinuous extrinsic curvature tensor. They performed both numerical calculations and analytical estimates using a Green’s function analysis to establish and verify (despite the numerical difficulties in evolving discontinuous data) certain aspects of the solutions, including gravitational wave interactions, the formation of tails, and the singularity behavior of colliding waves in expanding vacuum cosmologies.
Shortly thereafter, Centrella and Wilson [24, 25] developed a more general plane symmetric code for cosmology, adding also hydrodynamic sources. In order to simplify the resulting differential equations, they adopted a diagonal 3metric of the form γ_{ ij } = A(t, z)^{2}[1, h(t, z)^{2}, 1], which is maintained in time with a proper choice of shift vector. The hydrodynamic equations are solved using artificial viscosity methods for shock capturing and Barton’s method for monotonic transport [62]. The evolutions are fully constrained (solving both the momentum and Hamiltonian constraints at each time step) and use the mean curvature slicing condition. This work was subsequently extended by Anninos et al. [2, 4], implementing more robust numerical methods and an improved parametric treatment of the initial value problem.
In applications of these codes, Centrella [21] investigated nonlinear gravity waves in Minkowski space and compared the full numerical solutions against a first order perturbation solution to benchmark certain numerical issues such as numerical damping and dispersion. A second order perturbation analysis was also used to model the transition into the nonlinear regime. Anninos et al. [3] considered small and large perturbations in the axisymmetric Kasner models. Carrying out a second order perturbation expansion and computing the NewmanPenrose (NP) scalars, Riemann invariants and BelRobinson vector, they demonstrated, for their particular class of spacetimes, that the nonlinear behavior is in the Coulomb (or background) part represented by the NP scalar Ψ_{2}, and not in the gravitational wave component. For standingwave perturbations, the dominant second order effects in their variables are an enhanced monotonic increase in the background expansion rate, and the generation of oscillatory behavior in the background spacetime with frequencies equal to the harmonics of the first order standingwave solution.
2.6 Regge Calculus Model
A unique approach to numerical cosmology (and numerical relativity in general) is the method of Regge Calculus in which spacetime is represented as a complex of 4dimensional, geometrically flat simplices. The principles of Einstein’s theory are applied directly to the simplicial geometry to form the curvature, action and field equations, in contrast to the finite difference approach where the continuum field equations are differenced on a discrete mesh. A 3dimensional code implementing Regge Calculus techniques was developed recently by Gentle and Miller [32] and applied to the Kasner cosmological model. They also describe a procedure to solve the constraint equations for time asymmetric initial data on two spacelike hypersurfaces constructed from tetrahedra, since full 4dimensional regions or lattices are used. The new method is analogous to York’s procedure [63] where the conformal metric, trace of the extrinsic curvature, and momentum variables are all freely specifiable.
Although additional work is needed to apply (and develop) Regge Calculus techniques to more general spacetimes, the early results of Gentle and Miller are promising. In particular, their evolutions have reproduced the continuum Kasner solution, achieved second order convergence, and sustained numerical stability.
3 Physical Cosmology
The phrase “physical cosmology” is generally associated with the large (galaxy and cluster) scale structure of the postcombination epoch where gravitational effects are modeled approximately by Newtonian physics on an uniformly expanding, matter dominated FriedmannRobertsonLemaîtreWalker (FLRW) background. A discussion of the large scale structure is included in this review since any viable model of our Universe which allows a regime where strongly general relativistic effects are important must match onto the weakly relativistic (or Newtonian) regime. Also, since certain aspects of this regime are directly observable, one can hope to constrain or rule out various cosmological models and/or parameters.
Due to the vast body of literature on numerical simulations of the postcombination epoch, it is possible to mention only a small fraction of all the published papers. Hence, the following summary is limited to cover just a few aspects of computational physical cosmology, and in particular those that can potentially be used to discriminate between cosmological model parameters, even within the realm of the standard model.
3.1 The Standard Model

the expansion of the Universe as verified by the redshifts in galaxy spectra and quantified by measurements of the Hubble constant,

the deceleration parameter observed in distant galaxy spectra (although uncertainties about galactic evolution, intrinsic luminosities, and standard candles prevent even a crude estimate),

the large scale isotropy and homogeneity of the Universe based on temperature anisotropy measurements of the microwave background radiation and peculiar velocity fields of galaxies (although the light distribution from bright galaxies seems more tenuous),

the age of the Universe which yields roughly consistent estimates between the lookback time to the Big Bang in the FLRW model and observed data such as the oldest stars, radioactive elements, and cooling of white dwarf stars,

the cosmic microwave background radiation suggests that the Universe began from a hot Big Bang and the data is consistent with a black body at temperature 2.75 K,

the abundance of light elements such as ^{2}H, ^{3}He, ^{4}He and ^{7}Li, as predicted from the FLRW model, are consistent with observations and provides a bound on the baryon density and baryontophoton ratio,

the present mass density, as determined from measurements of luminous matter and galactic rotation curves, can be accounted for by the FLRW model with a single density parameter to specify the metric topology,

the distribution of galaxies and larger scale structures can be reproduced by numerical simulations in the context of inhomogeneous perturbations of the FLRW models.
3.2 Newtonian Order Perturbations
The large (galaxy and cluster) scale inhomogeneities are generally described by Newtonian order, scalar type perturbations of the FLRW spacetimes, assuming spatial scales much smaller than the horizon radius, peculiar velocities small compared to the speed of light, and a gravitational potential that is both much smaller than unity (in geometric units) and slowly varying in time. A comprehensive review of the theory of cosmological perturbations can be found in [51].
Many numerical techniques have been developed to solve the hydrodynamic and collisionless particle equations in this limit. For the hydrodynamic equations, the methods range from Eulerian finite difference techniques [8, 18, 56] to unstructured particle methods [29, 34]. For the collisionless particle or dark matter equations, the canonical choices are treecodes or PM and P^{3}M methods [36], although many variants have been developed to optimize computational performance and accuracy, including grid and particle refinement methods. The reader is referred to [39] for a comparison of several different numerical methods applied to a common problem of structure formation. A method for solving nonequilibrium, multispecies chemical reaction flows together with the hydrodynamic equations in a background FLRW model is described in [1, 9].
3.3 Microwave Background
The Cosmic Microwave Background Radiation (CMBR), which is a direct relic of the early Universe, currently provides the deepest probe of cosmological structures and imposes severe constraints on the various proposed matter evolution scenarios and cosmological parameters. Although the CMBR is a unique and deep probe of both the thermal history of the early Universe and the primordial perturbations in the matter distribution, the associated anisotropies are not exclusively primordial in nature. Important modifications to the CMBR spectrum can arise from large scale coherent structures due to the gravitational redshifting of the photons through the SachsWolfe effect, even well after the photons decouple from the matter at redshift z ∼ 10^{3}. Also, if the intergalactic medium reionizes sometime after the decoupling, say from an early generation of stars, the increased rate of Thomson scattering off the free electrons will erase subhorizon scale temperature anisotropies, while creating secondary Doppler shift anisotropies. To make meaningful comparisons between numerical models and observed data, all of these effects (and others, see for example §3.3.3) must be incorporated selfconsistently into the numerical models and to high accuracy in order to resolve the weak signals.
3.3.1 RayTracing Methodology
Many computational analyses based on linear perturbation theory have been carried out to estimate the temperature anisotropies in the sky (for example see [46] and the references cited in [37]). Although such linearized approaches yield reasonable results, they are not wellsuited to discussing the expected imaging of the developing nonlinear structures in the microwave background. An alternative raytracing approach has been developed by Anninos et al. [6] to introduce and propagate individual photons through the evolving nonlinear matter structures. They solve the geodesic equations of motion and subject the photons to Thomson scattering in a probabilistic way and at a rate determined by the local density of free electrons in the model. Since the temperature fluctuations remain small, the equations of motion for the photons are treated as in the linearized limit, and the anisotropies are computed according to ΔT/T = δz/(1 + z), where 1 + z = (k^{ u }u_{ μ })_{ e }/(k^{ u }u_{ μ })_{ r }, and the photon wave vector k^{ u } and matter rest frame fourvelocity u_{ μ } are evaluated at the emission (e) and reception (r) points. Applying their procedure to a Hot Dark Matter (HDM) model of structure formation, Anninos et al. [6] find the parameters for this model are severely constrained by the COBE data such that Ω_{0}h^{2} ≈ 1, where Ω_{0} and h are the density and Hubble parameters.
3.3.2 Effects of Reionization
In models where the InterGalactic Medium (IGM) does not reionize, the probability of scattering after the photonmatter decoupling epoch is low, and the SachsWolfe effect dominates the anisotropies at angular scales larger than a few degrees. However if reionization occurs, the scattering probability increases substantially and the matter structures, which develop large bulk motions relative to the comoving background, induce Doppler shifts on the scattered CMBR photons and leave an imprint of the surface of last scattering. The induced fluctuations on subhorizon scales in reionization scenarios can be a significant fraction of the primordial anisotropies, as observed by Tuluie et al. [61]. They considered two possible scenarios of reionization: A model that suffers early and gradual (EG) reionization of the IGM as caused by the photoionizing UV radiation emitted by the decaying HDM, and the late and sudden (LS) scenario as might be applicable to the case of an early generation of star formation activity at high redshifts. Considering the HDM model with Ω_{0} = 1 and h = 0.55, which produces CMBR anisotropies above current COBE limits when no reionization is included, they find that the EG scenario effectively reduces the anisotropies to the levels observed by COBE and generates smaller Doppler shift anisotropies than the LS model. The LS scenario of reionization is not able to reduce the anisotropy levels below the COBE limits, and can even give rise to greater Doppler shifts than expected at decoupling.
3.3.3 Secondary Anisotropies
In addition to the effects discussed in the previous paragraphs, many other sources of secondary anisotropies (such as gravitational lensing, the Vishniac effect and the SunyaevZel’dovich effect) can also be significant. See reference [37] for a more complete list and thorough discussion of the different sources of CMBR anisotropies.
3.4 Gravitational Lensing
Observations of gravitational lenses [57] provide measures of the abundance and strength of nonlinear potential fluctuations along the lines of sight to distant objects. Since these calculations are sensitive to the gravitational potential, they may be more reliable than galaxy and velocity field measurements as they are not subject to the same ambiguities associated with biasing effects. Also, since different cosmological models predict different mass distributions, especially at the higher redshifts, lensing calculations can potentially be used to confirm or discard competing cosmological models.
As an alternative to solving the computationally demanding lens equations, Cen et al. [20] developed a more efficient scheme to identify regions with surface densities capable of generating multiple images accurately for splittings larger than three arcseconds. They applied this technique to a standard CDM model with Ω_{0} = 1, and found that this model predicts more large angle splittings (> 8″) than are known to exist in the observed Universe. Their results suggest that the standard CDM model should be excluded as a viable model of our Universe. A similar analysis for a flat low density CDM model with a cosmological constant (\({\Omega _0} = 0.3,\,\Lambda/3H_0^2 = 0{.}7\)) suggests a lower and perhaps acceptable number of lensing events. However, an uncertainty in their studies is the nature of the lenses at and below the resolution of the numerical grid. They model the lensing structures as simplified Singular Isothermal Spheres (SIS) with no distinctive cores.
Large angle splittings are generally attributed to larger structures such as clusters of galaxies, and there are indications that clusters have small but finite core radii r_{ core } ∼ 20–30h^{−1} kpc, where h is the Hubble parameter. Core radii of this size can have an important effect on the probability of multiple imaging. Flores and Primack [31] considered the effects of assuming two different kinds of splitting sources: isothermal spheres with small but finite core radii \(\rho \propto {({r^2} + r_{core}^2)^{ 1}}\), and spheres with a Hernquist density profile ρ ∝ r^{−1}(r + a)^{−3}, where r_{ core } ∼ 20–30h^{−1} kpc and a ∼ 300h^{−1} kpc. They find that the computed frequency of largeangle splittings, when using the nonsingular profiles, can potentially decrease by more than an order of magnitude relative to the SIS case and can bring the standard CDM model into better agreement with observations. They stress that lensing events are sensitive to both the cosmological model (essentially the number density of lenses) and to the inner lens structure, making it difficult to probe the models until the structure of the lenses, both observationally and numerically, is better known.
3.5 Lyα Forest
The Lyα forest represents the optically thin (at the Lyman edge) component of Quasar Absorption Systems (QAS), a collection of absorption features in QSO spectra extending back to high redshifts. QAS are effective probes of the matter distribution and the physical state of the Universe at early epochs when structures such as galaxies are still forming and evolving. Although stringent observational constraints have been placed on competing cosmological models at large scales by the COBE satellite and over the smaller scales of our local Universe by observations of galaxies and clusters, there remains sufficient flexibility in the cosmological parameters that no single model has been established conclusively. The relative lack of constraining observational data at the intermediate to high redshifts (0 < z < 5), where differences between competing cosmological models are more pronounced, suggests that QAS can potentially yield valuable and discriminating observational data.
3.6 Galaxy Clusters
Clusters of galaxies are the largest gravitationally bound systems known to be in quasiequilibrium. This allows for reliable estimates to be made of their mass as well as their dynamical and thermal attributes. The richest clusters, arising from 3σ density fluctuations, can be as massive as 10^{14}–10^{15} solar masses, and the environment in these structures is composed of shock heated gas with temperatures of order 10^{7}–10^{8} degrees Kelvin which emits thermal bremsstrahlung and line radiation at Xray energies. Also, because of their spatial size ∼ 1h^{−1} Mpc and separations of order 50h^{−1} Mpc, they provide a measure of nonlinearity on scales close to the perturbation normalization scale 8h^{−1} Mpc. Observations of the substructure, distribution, luminosity, and evolution of galaxy clusters are therefore likely to provide signatures of the underlying cosmology of our Universe, and can be used as cosmological probes in the easily observable redshift range 0 ≤ z ≤ 1.
3.6.1 Internal Structure
Thomas et al. [59] have investigated the internal structure of galaxy clusters formed in high resolution Nbody simulations of four different cosmological models, including standard, open, and flat but low density universes. They find that the structure of relaxed clusters is similar in the critical and low density universes, although the critical density models contain relatively more disordered clusters due to the freezeout of fluctuations in open universes at late times. The profiles of relaxed clusters are very similar in the different simulations since most clusters are in a quasiequilibrium state inside the virial radius and follow the universal density profile of Navarro et al. [52]. There does not appear to be a strong cosmological dependence in the profiles as suggested by previous studies of clusters formed from pure power law initial density fluctuations [27]. However, because more young and dynamically evolving clusters are found in critical density universes, Thomas et al. suggest that it may be possible to discriminate among the density parameters by looking for multiple cores in the substructure of the dynamic cluster population. They note that a statistical population of 20 clusters can distinguish between open and critically closed universes.
3.6.2 Number Density Evolution
The evolution of the number density of rich clusters of galaxies can be used to compute Ω_{0} and σ_{8} (the power spectrum normalization on scales of 8h^{−1} Mpc) when numerical simulation results are combined with the constraint \({\sigma _8}\Omega _0^{0.5} \approx 0.5\), derived from observed presentday abundances of rich clusters. Bahcall et al. [10] computed the evolution of the cluster mass function in five different cosmological model simulations and find that the number of high mass (Comalike) clusters in flat, low σ_{8} models (ie. the standard CDM model with σ_{8} ≈ 0.5) decreases dramatically by a factor of approximately 10^{3} from z = 0 to z ≈ 0.5. For low Ω_{0}, high σ_{8} models, the data results in a much slower decrease in the number density of clusters over the same redshift interval. Comparing these results to observations of rich clusters in the real Universe, which indicate only a slight evolution of cluster abundances to redshifts z ≈ 0. 5–1, they conclude that critically closed standard CDM and Mixed Dark Matter (MDM) models are not consistent with the observed data. The models which best fit the data are the open models with low bias (Ω_{0} = 0.3 ± 0.1 and σ_{8} = 0.85 ± 0.5), and flat low density models with a cosmological constant (Ω_{0} = 0.34 ± 0.13 and Ω_{0} + Λ = 1).
3.6.3 XRay Luminosity function
The evolution of the Xray luminosity function, and the size and temperature distribution of rich clusters of galaxies are all potentially important discriminants of cosmological models. Bryan et al. [17] investigated these properties in a high resolution numerical simulation of a standard CDM model normalized to COBE. Although the results are highly sensitive to grid resolution (see [7] for a discussion of the effects from resolution constraints on the properties of rich clusters), their primary conclusion, that the standard CDM model predicts too many bright Xray emitting clusters and too much integrated Xray intensity, is robust since an increase in resolution will only exaggerate these problems.
4 Conclusion
This review is intended to provide a flavor of the variety of numerical cosmological calculations that have been performed to investigate different phenomena throughout the history of our Universe. The topics discussed range from the strong field dynamical behavior of spacetime geometry at early times near the Big Bang singularity and the epoch of inflation, to the late time evolution of large scale matter fluctuations and the formation of clusters of galaxies. Although many problems have been addressed, the complexity of the varied physical processes in the extreme time, spatial, and dynamical scales of our Universe guarantees that many more interesting and unresolved issues remain. Indeed, even the background cosmological model which best describes our Universe is essentially unknown. The topology of our Universe, the generic singularity behavior, the fundamental nonlinear field and gravitational wave interactions, the existence and role of a cosmological constant, the correct structure formation scenario, and the origin and spectrum of primordial fluctuations, for example, are uncertain. However the field of numerical cosmology has matured, in the development of computational techniques, the modeling of microphysics, and in taking advantage of current computing technologies, to the point that it is now possible to perform reliable comparisons of numerical models with observed data.
References
 [1]Abel, T., Anninos, P., Zhang, Y. and Norman, M.L., “Modeling primordial gas in numerical cosmology”, New Astronomy, 2, 181–207 (1997).ADSCrossRefGoogle Scholar
 [2]Anninos, P., Centrella, J.M. and Matzner, R.A., “Nonlinear solutions for initial data in the vacuum Einstein equations in plane symmetry”, Phys. Rev. D, 39, 2155–2171 (1989).ADSMathSciNetCrossRefGoogle Scholar
 [3]Anninos, P., Centrella, J.M. and Matzner, R.A., “Nonlinear wave solutions to the planar vacuum Einstein equations”, Phys. Rev. D, 43, 1825–1838 (1991).ADSCrossRefGoogle Scholar
 [4]Anninos, P., Centrella, J.M. and Matzner, R.A., “Numerical methods for solving the planar vacuum Einstein equations”, Phys. Rev. D, 43, 1808–1824 (1991).ADSCrossRefGoogle Scholar
 [5]Anninos, P., Matzner, R.A., Rothman, T. and Ryan, M., “How does inflation isotropize the Universe?”, Phys. Rev. D, 43, 3821–3832 (1991).ADSCrossRefGoogle Scholar
 [6]Anninos, P., Matzner, R.A., Tuluie, R. and Centrella, J.M., “Anisotropies of the Cosmic Background Radiation in a Hot Dark Matter Universe”, Astrophys. J., 382, 71–78 (1991).ADSCrossRefGoogle Scholar
 [7]Anninos, P. and Norman, M.L., “Hierarchical Numerical Cosmology: Resolving XRay Clusters”, Astrophys. J., 459, 12–26 (1996).ADSCrossRefGoogle Scholar
 [8]Anninos, P., Norman, M.L. and Clarke, D.A., “Hierarchical Numerical Cosmology with Hydrodynamics: Methods and Code Tests”, Astrophys. J., 436, 11–22 (1994).ADSCrossRefGoogle Scholar
 [9]Anninos, P., Zhang, Y., Abel, T. and Norman, M.L., “Cosmological hydrodynamics with multispecies chemistry and nonequilibrium ionization and cooling”, New Astronomy, 2, 209–224 (1997).ADSCrossRefGoogle Scholar
 [10]Bahcall, N.A., Fan, X. and Cen, R., “Constraining Q with Cluster Evolution”, Astrophys. J. Lett., 485, L53–L56 (1997). Online version (accessed 3 September 1997): http://arXiv.org/abs/astroph/9706018.ADSCrossRefGoogle Scholar
 [11]Barrow, J.D., “Chaos in the Einstein Equations”, Phys. Rev. Lett., 46, 963–966 (1981).ADSMathSciNetCrossRefGoogle Scholar
 [12]Belinskii, V.A., Khalatnikov, I.M. and Lifshitz, E.M., “Oscillatory Approach to a Singular Point in the Relativistic Cosmology”, Adv. Phys., 19, 525–573 (1970).ADSCrossRefGoogle Scholar
 [13]Belinskii, V.A., Lifshitz, E.M. and Khalatnikov, I.M., “Oscillatory Approach to the Singularity Point in Relativistic Cosmology”, Sov. Phys. Usp., 13, 745–765 (1971).ADSCrossRefGoogle Scholar
 [14]Berger, B.K., “Comments on the Computation of Liapunov Exponents for the Mixmaster Universe”, Gen. Relativ. Gravit., 23, 1385–1402 (1991).ADSMathSciNetCrossRefGoogle Scholar
 [15]Berger, B.K., “Numerical Investigation of Cosmological Singularities”, eprint, (December 1995). URL (accessed 3 September 1997): http://arXiv.org/abs/grqc/9512004.
 [16]Berger, B.K. and Moncrief, V., “Numerical Investigations of Cosmological Singularities”, Phys. Rev. D, 48, 4676–4687 (1993).ADSMathSciNetCrossRefGoogle Scholar
 [17]Bryan, G.L., Cen, R., Norman, M.L., Ostriker, J.P. and Stone, J.M., “XRay Clusters from a HighResolution Hydrodynamic PPM Simulation of the Cold Dark Matter Universe”, Astrophys. J., 428, 405–418 (1994).ADSCrossRefGoogle Scholar
 [18]Bryan, G.L., Norman, M.L., Stone, J.M., Cen, R. and Ostriker, J.P., “A Piecewise Parabolic Method for Cosmological Hydrodynamics”, Computer Phys. Commun., 89, 149–168 (1995).ADSCrossRefMATHGoogle Scholar
 [19]Burd, A.B., Buric, N. and Ellis, G.F.R., “A Numerical Analysis of Chaotic Behavior in Bianchi IX Models”, Gen. Relativ. Gravit., 22, 349–363 (1990).ADSMathSciNetCrossRefMATHGoogle Scholar
 [20]Cen, R., Gott, J.R., Ostriker, J.P. and Turner, E.L., “Strong Gravitational Lensing Statistics as a Test of Cosmogonic Scenarios”, Astrophys. J., 423, 1–11 (1994).ADSCrossRefGoogle Scholar
 [21]Centrella, J.M., “Nonlinear Gravitational Waves and Inhomogeneous Cosmologies”, in Centrella, J.M., ed., Dynamical Spacetimes and Numerical Relativity, Proceedings of the Workshop held at Drexel University, October 7–11, 1985, pp. 123–150, (Cambridge University Press, Cambridge, New York, 1986).Google Scholar
 [22]Centrella, J.M. and Matzner, R.A., “PlaneSymmetric Cosmologies”, Astrophys. J., 230, 311–324 (1979).ADSMathSciNetCrossRefGoogle Scholar
 [23]Centrella, J.M. and Matzner, R.A., “Colliding gravitational waves in expanding cosmologies”, Phys. Rev. D, 25, 930–941 (1982).ADSCrossRefGoogle Scholar
 [24]Centrella, J.M. and Wilson, J.R., “Planar numerical cosmology. I. The differential equations”, Astrophys. J., 273, 428–435 (1983).ADSCrossRefGoogle Scholar
 [25]Centrella, J.M. and Wilson, J.R., “Planar numerical cosmology. II. The difference equations and numerical tests”, Astrophys. J. Suppl. Ser., 54, 229–249 (1984).ADSCrossRefGoogle Scholar
 [26]Charlton, J., Anninos, P., Zhang, Y. and Norman, M.L., “Probing Lyα Absorbers in Cosmological Simulations with Double Lines of Sight”, Astrophys. J., 485, 26–38 (1997).ADSCrossRefGoogle Scholar
 [27]Crone, M.M., Evrard, A.E. and Richstone, D.O., “The Cosmological Dependence of Cluster Density Profiles”, Astrophys. J., 434, 402–416 (1994).ADSCrossRefGoogle Scholar
 [28]Dave, R., Hernquist, L., Weinberg, D.H. and Katz, N., “Voight Profile Analysis of the Lyα Forest in a Cold Dark Matter Universe”, Astrophys. J., 477, 21–26 (1997).ADSCrossRefGoogle Scholar
 [29]Evrard, A.E., “Beyond NBody: 3D Cosmological Gas Dynamics”, Mon. Not. R. Astron. Soc., 235, 911–934 (1988).ADSCrossRefMATHGoogle Scholar
 [30]Ferraz, K., Francisco, G. and Matsas, G.E.A., “Chaotic and Nonchaotic Behavior in the Mixmaster Dynamics”, Phys. Lett. A, 156, 407–409 (1991).ADSCrossRefGoogle Scholar
 [31]Flores, R.A. and Primack, J.R., “Cluster Cores, Gravitational Lensing, and Cosmology”, Astrophys. J. Lett., 457, L5–L9 (1996).ADSCrossRefGoogle Scholar
 [32]Gentle, A.P. and Miller, W.A., “A fully (3+1)dimensional Regge calculus model of the Kasner cosmology”, Class. Quantum Grav., 15, 389–405 (1998). Online version (accessed 3 September 1997): http://arXiv.org/abs/grqc/9706034.ADSMathSciNetCrossRefMATHGoogle Scholar
 [33]Goldwirth, D.S. and Piran, T., “Inhomogeneity and the Onset of Inflation”, Phys. Rev. Lett., 64, 2852–2855 (1990).ADSCrossRefGoogle Scholar
 [34]Hernquist, L. and Katz, N., “Performance Characteristics of Tree Codes”, Astrophys. J. Suppl. Ser., 64, 715–734 (1989).CrossRefGoogle Scholar
 [35]Hobill, D.W., Bernstein, D.H., Welge, M. and Simkins, D., “The Mixmaster cosmology as a dynamical system”, Class. Quantum Grav., 8, 1155–1171 (1991).ADSMathSciNetCrossRefMATHGoogle Scholar
 [36]Hockney, R.W. and Eastwood, J.W., Computer Simulation Using Particles, (IOP Publishing, Bristol, 1988).CrossRefMATHGoogle Scholar
 [37]Hu, W., Scott, D., Sugiyama, N. and White, M., “Effect of physical assumptions on the calculation of microwave background anisotropies”, Phys. Rev. D, 52, 5498–5515 (1995).ADSCrossRefGoogle Scholar
 [38]Isenberg, J.A. and Moncrief, V., “Asymptotic Behaviour of the Gravitational Field and the Nature of Singularities in Gowdy Spacetimes”, Ann. Phys. (N.Y.), 199, 84–122 (1990).ADSMathSciNetCrossRefMATHGoogle Scholar
 [39]Kang, H., Ostriker, J.P., Cen, R., Ryu, D., Hernquist, L., Evrard, A.E., Bryan, G.L. and Norman, M.L., “A Comparison of Cosmological Hydrodynamic Codes”, Astrophys. J., 430, 83–100 (1994).ADSCrossRefGoogle Scholar
 [40]Kolb, E.W. and Turner, M.S., The Early Universe, Frontiers in Physics, 69, (AddisonWesley, Reading, 1990).MATHGoogle Scholar
 [41]KurkiSuonio, H., Centrella, J.M., Matzner, R.A. and Wilson, J.R., “Inflation from Inhomogeneous Initial Data in a OneDimensional BackReacting Cosmology”, Phys. Rev. D, 35, 435–448 (1987).ADSCrossRefGoogle Scholar
 [42]KurkiSuonio, H., Laguna, P. and Matzner, R.A., “Inhomogeneous Inflation: Numerical Evolution”, Phys. Rev. D, 48, 3611–3624 (1993).ADSCrossRefGoogle Scholar
 [43]KurkiSuonio, H. and Laine, M., “On Bubble Growth and Droplet Decay in Cosmological Phase Transitions”, Phys. Rev. D, 54, 7163–7171 (1996).ADSCrossRefGoogle Scholar
 [44]KurkiSuonio, H. and Matzner, R.A., “Anisotropy and Cosmic Nucleosynthesis of Light Isotopes Including ^{7}Li”, Phys. Rev. D, 31, 1811–1814 (1985).ADSCrossRefGoogle Scholar
 [45]KurkiSuonio, H., Matzner, R.A., Centrella, J.M., Rothman, T. and Wilson, J.R., “Inhomogeneous Nucleosynthesis with Neutron Diffusion”, Phys. Rev. D, 38, 1091–1099 (1988).ADSCrossRefGoogle Scholar
 [46]Ma, C.P. and Bertschinger, E., “Cosmological Perturbation Theory in the Synchronous and Conformal Newtonian Gauges”, Astrophys. J., 455, 7–25 (1995). Online version (accessed 3 September 1997): http://arXiv.org/abs/astroph/9506072.ADSCrossRefGoogle Scholar
 [47]MiraldaEscudé, J., Cen, R., Ostriker, J.P. and Rauch, M., “The Lyα Forest from Gravitational Collapse in the Cold Dark Matter + Λ Model”, Astrophys. J., 471, 582–616 (1996).ADSCrossRefGoogle Scholar
 [48]Misner, C.W., “Mixmaster Universe”, Phys. Rev. Lett., 22, 1071–1074 (1969).ADSCrossRefMATHGoogle Scholar
 [49]Misner, C.W., Thorne, K.S. and Wheeler, J.A., Gravitation, (W.H. Freeman, San Francisco, 1973).Google Scholar
 [50]Moncrief, V., “FiniteDifference Approach to Solving Operator Equations of Motion in Quantum Theory”, Phys. Rev. D, 28, 2485–2490 (1983).ADSMathSciNetCrossRefGoogle Scholar
 [51]Mukhanov, V.F., Feldman, H.A. and Brandenberger, R.H., “Theory of cosmological perturbations”, Phys. Rep., 215, 203–333 (1992).ADSMathSciNetCrossRefGoogle Scholar
 [52]Navarro, J.F., Frenk, C.S. and White, S.D.M., “A Universal Density Profile from Hierarchical Clustering”, Astrophys. J., 490, 493–508 (1997). Online version (accessed 3 September 1997): http://arXiv.org/abs/astroph/9611107.ADSCrossRefGoogle Scholar
 [53]Rezzolla, L., Miller, J.C. and Pantano, O., “Evaporation of Quark Drops During the Cosmological QuarkHadron Transition”, Phys. Rev. D, 52, 3202–3213 (1995).ADSCrossRefGoogle Scholar
 [54]Rothman, T. and Matzner, R.A., “Nucleosynthesis in Anisotropic Cosmologies Revisited”, Phys. Rev. D, 30, 1649–1668 (1984).ADSCrossRefGoogle Scholar
 [55]Ryan Jr, M.P. and Shepley, L.C., Homogeneous Relativistic Cosmologies, Princeton Series in Physics, (Princeton University Press, Princeton, 1975).Google Scholar
 [56]Ryu, D., Ostriker, J.P., Kang, H. and Cen, R., “A Cosmological Hydrodynamic Code Based on the Total Variation Diminishing Scheme”, Astrophys. J., 414, 1–19 (1993).ADSCrossRefGoogle Scholar
 [57]Schneider, P., Ehlers, J. and Falco, E.E., Gravitational Lenses, Astronomy and Astrophysics Library, (Springer, Berlin; New York, 1992).Google Scholar
 [58]Shinkai, H. and Maeda, K., “Can Gravitational Waves Prevent Inflation”, Phys. Rev. D, 48, 3910–3913 (1993).ADSCrossRefGoogle Scholar
 [59]Thomas, P.A. et al., “The structure of galaxy clusters in various cosmologies”, Mon. Not. R. Astron. Soc., 296(4), 1061–1071 (June 1998). Online version (accessed 3 September 1997): http://arXiv.org/abs/astroph/9707018.ADSCrossRefGoogle Scholar
 [60]Tuluie, R., Laguna, P. and Anninos, P., “Cosmic Microwave Background Anisotropies from the ReesSciama Effect in Ω_{0} ≤ 1 Universes”, Astrophys. J., 463, 15–25 (1996).ADSCrossRefGoogle Scholar
 [61]Tuluie, R., Matzner, R.A. and Anninos, P., “Anisotropies of the Cosmic Background Radiation in a Reionized Universe”, Astrophys. J., 446, 447–456 (1995).ADSCrossRefGoogle Scholar
 [62]Wilson, J.R., “A Numerical Method for Relativistic Hydrodynamics”, in Smarr, L.L., ed., Sources of Gravitational Radiation, Proceedings of the Battelle Seattle Workshop, July 24–August 4, 1978, pp. 423–445, (Cambridge University Press, Cambridge; New York, 1979).Google Scholar
 [63]York Jr, J.W., “Kinematics and Dynamics of General Relativity”, in Smarr, L.L., ed., Sources of Gravitational Radiation, Proceedings of the Battelle Seattle Workshop, July 24–August 4, 1978, pp. 83–126, (Cambridge University Press, Cambridge; New York, 1979).Google Scholar
 [64]Zhang, Y., Meiksin, A., Anninos, P. and Norman, M.L., “Spectral Analysis of the Lyα Forest in a Cold Dark Matter Cosmology”, Astrophys. J., 485, 496–516 (1997).ADSCrossRefGoogle Scholar