7.5 Packing Universes In Spacetime 

All experience is an arch wherethrough 
Gleams that untraveled world whose margin fades 
Forever and forever when I move. 
Tennyson, 1842 

One of the interesting aspects of the Minkowski metric is that every lightcone (in principle) contains infinitely many nearlycomplete lightcones. Consider just a single spatial dimension in which an infinite number of point particles are moving away from each other with mutual velocities as shown below: 



Each particle finds itself midway between its two nearest neighbors, which are receding at nearly the speed of light, so that each particle can be regarded as the origin of a nearlycomplete lightcone. On the other hand, all of these particles emanate from a single point, and the entire infinite set of points (and nearlycomplete lightcones) resides within the future lightcone of that single point. 

More formally, a complete lightcone in a flat Lorentzian xt plane comprises the boundary of all points reachable from a given point P along world lines with speeds less than 1 relative to any and every inertial worldline through P. Also, relative to any specific inertial frame W we can define an "ecomplete lightcone" as the region reachable from P along world lines with speeds less than (1e) relative to W, for some arbitrarily small e > 0. A complete lightcone contains infinitely many epsiloncomplete lightcones, as illustrated above by the infinite linear sequence of particles in space, each receding with a speed of (1e) relative to its closest neighbors. Since we can never observe something infinitely redshifted, it follows that our observable universe can fit inside an ecomplete lightcone just as well as in a truly complete lightcone. Thus a single lightcone in infinite flat Lorentzian spacetime encompasses infinitely many mutually exclusive euniverses. 

If we arbitrarily select one of the particles as the "rest" particle P_{0}, and number the other particles sequentially, we can evaluate the velocities of the other particles with respect to the inertial coordinates of P_{0}, whose velocity is v_{0} = 0. If each particle has a mutual velocity u relative to each of its nearest neighbors, then obviously P_{1} has a speed v_{1} = u. The speed of P_{2} is u relative to P_{1}, and its speed relative to P_{0} is given by the relativistic speed composition formula v_{2} = (v_{1} + u)/(uv_{1} + 1). In general, the speed of P_{k} can be computed recursively based on the speed of P_{k1} using the formula 

_{} 

This is just a linear fractional function, so we can use the method described in Section 2.6 to derive the explicit formula 

_{} 

Similarly, in full 3+1 dimensional spacetime we can consider packing ecomplete lightspheres inside a complete lightsphere. A flash of light at point P in flat Lorentzian spacetime emanates outward in a spherical shell as viewed from any inertial worldline through P. We arbitrarily select one such worldline W_{0} as our frame of reference, and let the slices of simultaneity relative to this frame define a time parameter t. The points of the worldline W_{0} can be regarded as the stationary center of a 3D expanding sphere at each instant t. On any given timeslice t we can set up orthogonal space coordinates x,y,z relative to W_{0} and normalize the units so that the radius of the expanding lightsphere at time t equals 1. In these terms the boundary of the lightsphere is just the sphere 

_{} 

Now let W_{1} denote another inertial worldline through the point P with a velocity v = v_{1} relative to W_{0}, and consider the region R_{1} surrounding W_{1} consisting of the points reachable from P with speeds not exceeding u = u_{1} relative to W_{1}. The region R_{1} is spherical and centered on W_{1} relative to the frame of W_{1}, but on any timeslice t (relative to W_{0}) the region R_{1} has an ellipsoidal shape. If v is in the z direction then the crosssectional boundary of R_{1} on the xy plane is given parametrically by 

_{} _{} 

as q ranges from 0 to 2p. The entire boundary is just the surface of rotation of this ellipse about the z axis. If v_{1} has a magnitude of (1  e) for some arbitrarily small e > 0, and if we set u_{1} = v_{1}, then as e goes to zero the boundary of the region R_{1} approaches the limiting ellipsoid 

_{} 

Similarly if W_{2} is an inertial worldline with speed v_{2} = v_{1} in the negative z direction relative to W_{0}, then the boundary of the region R_{2} consisting of the points reachable from P with speeds not exceeding u_{2} = v_{2} approaches the limiting ellipsoid 

_{} 

The regions R_{1} and R_{2} are mutually exclusive, meeting only at the point of contact [0,0,0]. Each of these regions can be called an "ecomplete" lightsphere. 

Interestingly, beginning with R_{1} and R_{2} we can construct a perfect tetrahedral packing of eight epsiloncomplete lightspheres by placing six more spheres in a hexagonal ring about the z axis with centers in the xy plane, such that each sphere just touches R_{1} and R_{2} and its two adjacent neighbors in the ring. Each of these six spheres represents a region reachable from P with speeds less than u_{1} relative to one of six worldlines whose speeds are (1  4e) relative to W_{0}. The normalized boundaries of these six ellipsoids on a timeslice t are given by 

_{} 

for k = 0,1,..,5. In the limit as epsilon goes to zero the hexagonal cluster of espheres touching any given esphere becomes vanishingly small with respect to the given sphere's frame of reference, so we approach the condition that this hexagonal pattern tessellates the entire surface of each esphere in a perfectly symmetrical tetrahedral packing of identical epsiloncomplete lightspheres. A crosssectional sideview and topview of this configuration are shown below. 


These considerations show that we can regard a single light cone as a cosmological model, taking advantage of the complete symmetry in Minkowski spacetime. Milne was the first to discuss this model in detail. He postulated a cloud of particles expanding in flat spacetime from a single event O, with a distribution of velocities such that the mutual velocities between neighboring particles was the same for every particle, just as in the onedimensional case described at the beginning of this section. With respect to any particular system of inertial coordinates t,x,y,z whose origin is at the event O, the cloud of particles is spherically symmetrical with radially outward speed v = r/t. The density of the particles is also spherically symmetrical, but it is not isotropic. To determine the density with respect to the inertial coordinates t,x,y,z, we first consider the density in the radial direction at a point on the x axis at time t. If we let u denote the mutual speed between neighboring particles, then the speed v_{n} of the nth particle away from the center is 

_{} 

where x_{n} is the radial distance of the nth particle along the x axis. Solving for n gives 

_{} 

Differentiating with respect to x gives the density of particles in the x directions 

_{} 

This confirms that the onedimensional density at the spatial origin drops in proportion to 1/t. Also, by symmetry, the densities in the transverse directions y and z at any point are given by this same expression as a function of the proper time t = t _{}at that point 

_{} 

This shows that the densities in the transverse directions are less than in the radial direction by a factor of _{}. Neglecting the anisotropy, the number of particles in a volume element dxdydz at a radial distance r from the spatial origin at time t is proportional to 

_{} 

This distribution applies to every inertial system or coordinates with origin at O, so this cosmology looks the same, and is spherically symmetrical, with respect to the rest frame of each individual particle. 

The above analysis was based on a foliation of spacetime into slices of constantt for some particular system of inertial coordinates, but this is not the only possible foliation, nor even the most natural. From a cosmological standpoint we might adopt as our time coordinate at each point the proper time of uniform worldline extending from O to that point. This would give hyperboloid spacelike surfaces consisting of the locus of all the points with a fixed proper age from the origin event O. One of these spacelike slices is illustrated by the "t = k" line in the figure below. 



Rindler points out that if t = k is the epoch at which the density of the expanding cloud drops low enough so that matter and thermal radiation decouple, we should expect at the present event "p" to be receiving an isotropic and highly redshifted "background radiation" along the dotted lightlike line from that decoupling surface as shown in the figure. As our present event p advances into the future we expect to see a progressively more redshifted (i.e., lower temperature) background radiation. This simplistic model gives a surprisingly good representation of the 3°K microwave radiation that is actually observed. 

It's also worth noting that if we adopt the hyperboloid foliation the universe of this expanding cloud is spatially infinite. We saw in Section 1.7 that the absolute radial distance along this surface from the spatial center to a point at r is 

_{} 

where r^{2} = x^{2} + y^{2} + z^{2} in terms of the inertial coordinates of the central spatial point. Furthermore, we can represent this hyperboloid spatial surface as existing over the flat Euclidean xy plane with the elevation _{}. By making the elevation imaginary, we capture the indefinite character of the surface. In the limit near the origin we can expand h to give 

_{} 

So, according to the terminology of Section 5.3, we have a surface tangent to the xy plane at the origin with elevation given by h = ax^{2} + bxy + cy^{2} where a = c = i/2t and b = 0. Consequently the Gaussian curvature of this spatial surface is K = 4ac  b^{2} = 1/t^{2}. By symmetry the same analysis is applicable at every point on the surface, so this surface has constant negative curvature. This applies to any twodimensional spatial tangent plane in the threedimensional space at each point for constant t. 

We can also evaluate the metric on this twodimensional spacelike slice, by writing the total differential of h 

_{} 

Squaring this and adding the result to (dx)^{2} + (dy)^{2} gives the line element for this surface in terms of the tangent xy plane coordinates projected onto the surface 

_{} 
