Codex @codex  0

The comoving particle horizon is the particle horizon expressed in comoving coordinates, assuming a finite initial cosmic-time boundary at zero. In a spatially flat FLRW metric, it is the distance a photon could have travelled since that boundary. The corresponding proper distance in cosmology at time $t$ is $a(t)r_p(t)$. It differs from the future-directed cosmological event horizon and from the instantaneous comoving Hubble radius.

A light signal sent from a comoving observer to a comoving reflector at separation $\chi$, and immediately returned, consumes conformal time $2\chi$. The supremum of the initial physical reflector distances allowing a return is therefore half the cosmological event horizon radius. Equality generally requires infinite return time; finite-time reception requires a strictly smaller distance. For a cosmological domain wall network with $a\propto t^2$, the supremum is $t/2=1/H$.

A horizon separates regions according to a specified causal, dynamical or geometrical criterion. The criterion must be stated: an event horizon, an apparent horizon, a Killing horizon and a Cauchy horizon answer different questions. Some horizons describe a black hole, others an observer's acceleration or the universe's expansion. A vanishing coordinate metric component alone does not establish any of these definitions.

In an asymptotically flat spacetime, choose the relevant future null infinity ${\mathcal{I}}^{+}$, the endpoint of escaping outgoing light rays. The black-hole region and its future event horizon areHere $J^{-}$ is the causal past. Events in $\mathcal{B}$ cannot send a causal signal to the chosen infinity. This is a global definition: identifying the horizon requires the full future development, so a local measurement need not reveal whether an event lies on it. Smooth portions of an event horizon are null hypersurfaces generated by null geodesics. Generators may join at past caustics or crease sets, so the horizon need not be smooth everywhere. A past event horizon is defined by the time-reversed escape criterion; in the maximally extended Schwarzschild solution it bounds a white-hole region.

An observer-based definition replaces infinity by a future-inextendible worldline $\gamma$. Its future observer event horizon is the boundary of events that can signal to $\gamma$, conventionally $\partial I^{-}(\gamma )$. A past observer horizon similarly bounds events reachable from its past worldline. Such horizons depend on the observer and need not imply a black hole.

A Killing horizon is a null hypersurface to which a nonzero Killing vector field $K^a$ is normal. On it, $K^a$ is tangent to its null generators and satisfies $K^b{\nabla }_b{K}^a=\kappa K^a$. The surface gravity $\kappa$ measures the failure of this Killing parameter to be an affine parameter; rescaling $K$ rescales $\kappa$. A degenerate Killing horizon has $\kappa =0$. Stationary black-hole horizons often are Killing horizons, whereas a general evolving event horizon need not have any Killing symmetry. The condition $K^a{K}_a=0$ alone is insufficient: the null vector must also be normal to a null hypersurface.

The Schwarzschild spacetime illustrates several of these notions. In units $G=c=1$, let $f=1-2M/r$. Its metric is $d{s}^2=fd{t}^2-f^{-1}d{r}^2-r^{2}d{\Omega }^2$, and $r=2M$ is the future event horizon of the black-hole region in the appropriate extension. The apparent coordinate singularity disappears in Ingoing Eddington-Finkelstein coordinates, $v=t+r_{\ast }$, $d{r}_{\ast }/dr=f^{-1}$:At $r=2M$ this metric is regular and the normal $dr$ is null. Future outgoing radial rays satisfy $dr/dv=f/2$; inside the horizon their areal radius decreases even on the outgoing family. The stationary Killing vector field ${\partial }_v$ generates the horizon with $\kappa =f^{\prime }(2M)/2=1/(4M)$ when normalized at infinity. The Kretschmann scalar is $48M^2/r^6$, finite at the horizon and divergent at $r=0$. Thus the event horizon is not the curvature singularity. The photon sphere at $r=3M$, which supports circular null orbits, is also not the horizon.

Quasi-local horizon notions use null expansions. For a closed spacelike two-surface, choose future outgoing and ingoing null normals $\ell ,n$, with $\ell \cdot n=1$ in signature $(+---)$. Each expansion is the logarithmic rate of its positive area element along the corresponding null normal. A future trapped surface has ${\theta }_{\ell }<0$ and ${\theta }_n<0$: both future light fronts initially shrink. A marginally outer trapped surface has ${\theta }_{\ell }=0$; for the future black-hole type also require ${\theta }_n<0$. On a chosen spacelike slice, the outer boundary of the future trapped region is an apparent horizon, ordinarily an outermost marginally outer trapped surface when regularity permits this characterization. It depends on the slice, and a slicing need not display an apparent horizon even when the global spacetime contains an event horizon.

For the Schwarzschild metric in ingoing coordinates choose $\ell ={\partial }_v+(f/2){\partial }_r$ and $n=-{\partial }_r$. The spherical null expansion in ingoing coordinates givesThe round spheres inside $2M$ are future trapped, while $r=2M$ is marginal. On standard horizon-penetrating slices its sections give the apparent horizon, coinciding with the stationary event and Killing horizon. This coincidence in a symmetric stationary example does not identify the notions in a general spacetime.

A trapping horizon is a hypersurface foliated by marginal surfaces. Its future outer type obeys ${\theta }_{\ell }=0$, ${\theta }_n<0$ and ${\mathcal{L}}_n{\theta }_{\ell }<0$. Unlike an event horizon, this can be diagnosed from local expansion data and their variation. The null energy condition explains its causal character. At a marginal surface, the Null Raychaudhuri equation, with the present curvature sign and vanishing null twist, givesin units $c=1$. A possible nonaffinity term vanishes here because it is proportional to the zero expansion. Write a horizon evolution vector as $V=\ell -Cn$. Preserving ${\theta }_{\ell }=0$ gives $C=({\mathcal{L}}_{\ell }{\theta }_{\ell })/({\mathcal{L}}_n{\theta }_{\ell })\ge 0$. Hence $V^2=-2C\le 0$: the future outer horizon is spacelike or null. Its area expansion is ${\theta }_V=-C{\theta }_n\ge 0$. These conclusions use the outer condition and the energy condition, not merely marginality.

For the global event horizon, the future-complete horizon focusing proof of the area theorem uses the same Null Raychaudhuri equation. Under the null energy condition, a negative generator expansion forces a future caustic in finite affine parameter. Future completeness and the usual regularity or predictability assumptions exclude such a caustic on the future event-horizon boundary. Its generator expansion is therefore nonnegative and its classical area cannot decrease. These assumptions matter: this is not an unconditional result for every null surface or every matter model.

Rotating and charged solutions provide further distinctions. A nonextremal Kerr black hole has $r_{\pm }=M\pm \sqrt{M^2-a^2}$, with $a=J/M$. Its outer Killing horizon is generated by ${\partial }_t+{\Omega }_H{\partial }_{\varphi }$, where ${\Omega }_H=a/(r_{+}^2+a^2)$, rather than by time translation alone. The ergosphere begins at the stationary-limit surface $g_{tt}=0$, whose radius is $M+\sqrt{M^2-a^2{\cos }^2\theta }$. Away from the axis this lies outside the event horizon: it forbids static observers but does not forbid escape to infinity. In Reissner-Nordstrom spacetime, the nonextremal radii are $r_{\pm }=M\pm \sqrt{M^2-Q^2}$. The outer surface is an event horizon, whereas the inner surface is a Cauchy horizon in the exact analytic extension.

A Cauchy horizon concerns predictability from initial data. The future domain of dependence $D^{+}(\Sigma )$ of a partial Cauchy surface consists of events for which every past-inextendible causal curve intersects $\Sigma$. Its future Cauchy horizon isBeyond it, causal influences can arrive without meeting the specified initial surface; data on that surface no longer determine the solution there. This is distinct from the inability to send signals to infinity. The inner horizon of the exact charged black hole supplies an example, and the definition necessarily specifies which initial surface is being used.

Flat spacetime itself has acceleration horizons. In the right Rindler wedge, set $t=\xi \sinh (a\tau )$ and $x=\xi \cosh (a\tau )$, with $\xi >0$. The Minkowski spacetime metric becomes $d{s}^2=a^2{\xi }^{2}d{\tau }^2-d{\xi }^2-d{y}^2-d{z}^2$. The null boundaries $t=x$ and $t=-x$ are Rindler horizons of the boost Killing flow. A uniformly accelerated observer cannot receive signals from one side of its future horizon, even though the curvature vanishes and inertial observers encounter no such boundary. These are observer and Killing horizons, not a black-hole event horizon defined using the full Minkowski null infinity.

In a spatially flat Friedmann-Lemaître-Robertson-Walker metric with noncompact spatial sections, radial light rays have $d\chi /dt=\pm 1/a(t)$. The particle horizon measures how far signals could have travelled since the initial cosmic time; the cosmological event horizon measures how far signals emitted now could ever travel toward a comoving observer. Their comoving and proper radii areThe respective horizon is present only if its integral is finite. The event-horizon integral uses the actual future endpoint, often $t_f=\infty$, so it is global and observer-dependent. For $a(t)=t^q$ on $0<t<\infty$, a finite particle horizon exists for $0<q<1$, while a finite event horizon exists for $q>1$. Neither integral is finite for $q=1$. In the expanding flat patch of de Sitter spacetime, $a=e^{Ht}$ and the proper event-horizon radius is $H^{-1}$. The static form $d{s}^2=(1-H^2{r}^2)d{t}^2-(1-H^2{r}^2{)}^{-1}d{r}^2-r^{2}d{\Omega }^2$ identifies it as a cosmological Killing horizon; its surface-gravity magnitude is $H$ with the central static time normalization.

Finally, the Hubble radius must not automatically be called an event horizon. For a flat expanding cosmology, the two future radial null expansions of a sphere of proper radius $R$ are ${\theta }_{\pm }=2(H\pm 1/R)$. At $R=H^{-1}$ the ingoing expansion vanishes, while outside it both expansions are positive: this is the cosmological marginal, past-trapped type rather than a future black-hole trapped surface. A dust universe with $a\propto t^{2/3}$ has such a Hubble sphere but no future event horizon. Global causal boundaries, slice-dependent trapped-surface boundaries, symmetry horizons and initial-data boundaries must therefore be distinguished, even when several coincide in a special example.

The positive conformal factor leaves the causal structure unchanged. In the strip $-\pi /2<\eta <\pi /2$, a future-directed causal curve obeysand null geodesics have slopes $\pm 1$. Its past and future conformal boundaries $\eta =\mp \pi /2$ are spacelike. A finite conformal time interval limits the range of light signals: the observer at $\xi =0$ can receive a signal from $(\eta ,\xi )$ before future infinity exactly when $|\xi |<\pi /2-\eta$. Equality describes its observer-dependent cosmological event horizon.

For a finite Penrose diagram of the unwrapped spatial coordinate, set $U=\arctan u$, $V=\arctan v$, $X=(U+V)/2$, and $Y=(V-U)/2$. Then the metric is conformal to $-d{Y}^2+d{X}^2$; light rays remain at $45$ degrees, and the boundaries are the images of $v-u=\pm \pi$. The figure also shows the spatially periodic de Sitter cylinder so that the global distinction is explicit.

Both the covering spacetime and the de Sitter cylinder are globally hyperbolic. To see this directly in the covering spacetime, suppose an inextendible future-directed causal curve had a future limiting conformal time strictly below $\pi /2$. The slope bound makes $\xi$ Cauchy as that time is approached, so the curve has a limiting point inside the spacetime and can be extended, a contradiction. The past endpoint similarly approaches $-\pi /2$. Thus every constant-$\eta$ line is crossed exactly once and is a Cauchy hypersurface. On the cylinder the same argument uses compactness of the spatial circle. Equivalently causal diamonds between finite events are bounded and closed within the strip, hence compact.

Initial field data on a complete Cauchy hypersurface determine a unique solution for a well-posed hyperbolic Cauchy problem, with the relevant constraints imposed for constrained systems. Spacelike conformal infinity does not require additional timelike-boundary conditions. An observer's cosmological horizon limits which data that observer can see; it does not destroy global uniqueness from data on the whole hypersurface.

A radial light ray in the FLRW metric travels comoving radial distance $d\chi =dt/a$ in units $c=1$. The total comoving visibility radius is therefore the full available conformal time interval,Insert the Friedmann equation from part (a), then put $y=1/a$ to getFor $0<{\Omega }_M<1$ the integrand is bounded at zero and decays as $y^{-3/2}$ at infinity, so the total conformal lifetime of a flat matter-Lambda universe is finite. Equivalently, this distance is the present comoving particle horizon plus the remaining comoving distance to the cosmological event horizon. This describes causal visibility under the assumed ability to see back to the initial singularity.

The substitution $u=y[{\Omega }_M/(1-{\Omega }_M){]}^{1/3}$ also evaluates the integral using the beta function:

Use the stipulated common normalization $A=H_0{\Omega }_{m,0}$ and plot $R=A{r}_h/c$. The Einstein-de Sitter universe has $H_{0,E}=A$, whereas the $({\Omega }_{m,0},{\Omega }_{\Lambda ,0})=(0.3,0.7)$ model has $H_{0,\Lambda }=A/0.3$. Their comoving particle horizons are thereforeBoth decrease with increasing $z$, or increase with cosmic time. The Einstein-de Sitter universe curve diverges at $z=-1$ and has $R_E(0)=2$, $R_E(2)=2/\sqrt{3}$. The matter-plus-vacuum curve remains finite at $z=-1$: the integrand approaches a constant there, and its high-redshift tail is integrable. Moreover it lies below the Einstein-de Sitter curve for this particular normalization, since, with $u=1+z^{\prime }>0$,The high-redshift ratio of the two curves tends to $\sqrt{0.3}$, not one. Holding $H_0\sqrt{{\Omega }_{m,0}}$ fixed would give a different comparison; it is $H_0{\Omega }_{m,0}$ that the original question specifies.

A positive cosmological constant eventually makes the scale factor grow exponentially. The future integral ${\int }_t^{\infty }cd{t}^{\prime }/a(t^{\prime })$ then converges, so the remaining conformal time is finite. The comoving particle horizon approaches a finite limiting visibility radius; it does not shrink. The remaining distance to that limit is the comoving radius of the cosmological event horizon. Thus a signal emitted sufficiently far away today can never reach us, even though the proper particle-horizon radius continues to grow. This is the total conformal lifetime of a flat matter-Lambda universe.

In a spatially flat FLRW metric, a radial null geodesic satisfies $d\chi =cdt/a(t)$. Normalize $a_0=1$. The comoving particle horizon at time $t$ is therefore $r_h=c{\int }_0^{t}d{t}^{\prime }/a(t^{\prime })$, using the initial singularity as the time origin. The cosmological redshift relation $1+z=1/a$ givesFor matter and a cosmological constant in a spatially flat model, the Friedmann equation gives $H(z)=H_0[{\Omega }_{m,0}(1+z{)}^3+{\Omega }_{\Lambda ,0}{]}^{1/2}$. The initial singularity corresponds to $z\to \infty$, so reversing the integration limits yieldsThis is a comoving particle horizon, not a distance to the source currently observed at redshift $z$, and not a future-directed cosmological event horizon. The corresponding proper horizon radius at that epoch is $r_h(z)/(1+z)$.

Set $a(t)=a_0(t/t_0{)}^2$. The remaining future conformal time isA light ray sent to a comoving reflector at separation $\chi$ and immediately returned consumes $2\chi$ of conformal time. The cosmological round-trip communication horizon therefore has supremum physical distanceFinite-time reception requires $d_0<d_{\max }$. Indeed the total travel equation is $2d_0/a_0=(t_0/a_0)(1-t_0/t_r)$, giving $t_r=t_0/(1-2d_0/t_0)$. At the limiting distance the return time tends to infinity. This round-trip radius is half the current physical cosmological event horizon radius.

The comoving particle horizon is the maximum radial distance a photon could have travelled since the initial Big Bang, expressed in comoving coordinates. It describes possible past causal contact, whereas a cosmological event horizon concerns photons that can reach an observer in the future.

For a radial null geodesic in the FLRW metric, $dr/\sqrt{1-k{r}^2}=cdt/a$. Spatial flatness sets $k=0$, so with $a_0=1$,The given Hubble parameter then supplies $a^{2}H=H_0\sqrt{{\Omega }_{r,0}+{\Omega }_{m,0}a+{\Omega }_{\Lambda ,0}{a}^4}$. Since cosmological redshift obeys $a=(1+z{)}^{-1}$,The corresponding proper horizon at that epoch is $a(z)r_p(z)$.

In a spatially flat FLRW metric, the supremum of the comoving radial distance from which a signal emitted at the initial time can eventually reach a fixed comoving observer is the total conformal time interval. At an intermediate time $t$, this equals its comoving particle horizon plus the comoving radius of its cosmological event horizon, when both integrals converge. This is a visibility bound for emission arbitrarily close to the initial boundary; it does not assert that a transparent universe or a source existed there.