Comoving and proper distances¶

A scale-factor relation between comoving separation and proper spatial separation at a specified cosmic time.

Version: v1 · 2026-10-17 · History
Domain-specific #: 14095
Domain group: Natural Sciences
Origin domain: Astronomy & Astrophysics
Subdomain: FLRW Cosmology → Astronomy & Astrophysics
Aliases: Comoving Distance and Proper Distance

Core Idea¶

In a specified expanding FLRW cosmology, comoving distance describes a spatial separation in coordinates that factor out homogeneous expansion. Proper distance describes the corresponding physical spatial separation along a chosen path on a slice of constant cosmic time. For a matched separation and coordinate convention, D_proper(t) = a(t) D_comoving(t), where a(t) is the scale factor at that time.^[1]^[2] The equation relates two descriptions of the same simultaneous spatial path. It does not turn an observed redshift, by itself, into a model-free physical distance.

For objects carried by the Hubble flow, their comoving separation stays fixed while the scale factor changes their proper separation. A simulation particle with peculiar motion may change comoving coordinates too; the conversion still applies to its matched separation at each chosen time.^[1]^[2] Setting a(t₀)=1 makes comoving and present-epoch proper distances numerically equal in a common convention. That equality is a normalization choice, rather than a distinct cosmological mechanism.^[1]

Structural Signature¶

Chosen FLRW time slice and spatial path → comoving separation × epoch-specific scale factor → corresponding proper separation. Four roles make the relation identifiable:

Specified time slice and path. A proper spatial length is attached to an epoch and a matching spatial path. Pairing a source's emission event with an observer's reception event instead gives a light-cone question, not the simultaneous separation on which this equation operates.^[1]
Comoving separation. The coordinate-based length supplies the distance from which homogeneous expansion has been factored out. It is fixed across epochs for ideal Hubble-flow objects; it need not be fixed between moving simulation particles.^[1]^[3]^[2]
Scale factor at that epoch. The time-dependent a(t) carries the homogeneous expansion and specifies how the matched comoving path corresponds to physical length. Without an epoch-specific factor, a comoving length alone does not give the proper length then.^[1]^[2]
Proper same-slice separation. This is the physical spatial distance yielded by the conversion. A coordinate grid and scale factor without a specified physical output would not express the named two-distance relation.^[1]^[2]

What It Is Not¶

The relation is not a claim that all cosmological distances are interchangeable. Hogg distinguishes line-of-sight comoving distance D_C from transverse comoving distance D_M; they can differ with spatial curvature. The corresponding same-slice radial path must be kept distinct from an angular or flux-based distance.^[1] In particular, a coordinate equation written for the flat-coordinate simulation cases is not evidence that one may substitute D_M for D_C in an arbitrary curved model.

It is not the redshift integral itself. In a chosen FLRW model, an observed redshift can be used to infer a radial D_C by integrating c/H(z). That calculation obtains one input for a later distance comparison; it does not define every comoving separation, and Hogg's exposition reports no new empirical measurement.^[1]

It is also not a rule that galaxies or simulated particles have no local motion. Peculiar motion changes their comoving coordinates. Nor does the equation define a proper distance between non-simultaneous emission and observation events: the physical separation here is measured along a spatial path at one cosmic time.^[1]^[2]

Scope of Application¶

Radial cosmography. In Hogg's explanatory FLRW calculation, redshift and a specified expansion history give a model-dependent radial comoving distance D_C. A chosen epoch then lets the analyst discuss the corresponding radial proper spatial separation along the matched path.^[1] Keeping the inference and the spatial conversion as distinct steps prevents a light-travel interval from being mislabeled a same-time physical length.

Numerical cosmology. GADGET-2 evolves particle positions in comoving coordinates under a time-dependent expansion factor. The pkdgrav3 implementation explicitly writes physical position as a(t) times comoving position and separates Hubble expansion from peculiar velocity.^[3]^[2] At a selected simulation time, matched position differences express comoving and physical separations. The code cases provide a use unlike Hogg's distance-inference exposition, while staying in FLRW cosmology.

The scope is the conversion of a matched spatial separation in a stated cosmological slicing. Angular-diameter and luminosity distances are neighboring observational measures with additional definitions; neither is simply the proper-distance output of this entry.^[1]

Clarity¶

The first ambiguity is what is held fixed. For pure Hubble flow, comoving coordinates remain fixed as a(t) changes; physical separation need not. For particles with peculiar motion, comoving separation itself can change between time slices.^[1]^[2] The relation converts the two descriptions at each time and does not say which trajectory a particle follows.

The second ambiguity is which distance is being compared. Hogg's D_C follows a radial model calculation using redshift. D_M is a transverse measure with curvature dependence. Proper distance here is a spatial length on an explicitly selected cosmic-time slice.^[1] Naming the path and time keeps a number derived from a light-cone observation from being treated as though it were a directly measured simultaneous separation.

Manages Complexity¶

One evolving factor organizes the homogeneous expansion part of a family of spatial separations. Instead of storing a separate physical length for every epoch of a Hubble-flow pair, one may retain its comoving separation and evaluate a(t) at the epoch of interest.^[1] In simulation work, comoving particle positions let the background expansion appear in the coordinate conversion and dynamical equations while particle motion is still evolved explicitly.^[3]^[2]

That compression has a condition: coordinate convention, cosmic time, and spatial path must match. It does not remove the need to choose an expansion model for redshift-based inference, account for curvature when distinguishing radial and transverse distances, or track peculiar motion when it changes coordinate separation.^[1]^[2]

Abstract Reasoning¶

Start with a proposed distance statement and ask: Which FLRW model, which cosmic-time slice, and which spatial path? If the comoving and proper quantities refer to the same path at that time, multiplying by a(t) gives their relation. If one quantity was inferred from a redshift, identify the model-based radial D_C calculation separately from the subsequent same-slice conversion.^[1]

This also exposes errors before calculation. Using a fixed comoving particle separation to predict future proper distance is justified only when the objects follow the Hubble flow; peculiar motion changes the coordinate separation.^[1]^[2] Replacing radial D_C with transverse D_M without checking curvature changes the represented path, so an apparently simple scale-factor multiplication no longer answers the original question.^[1]

Knowledge Transfer¶

The same conversion is used for unlike tasks within cosmology: an author-worked radial distance inference and the internal coordinate system of numerical particle simulations.^[1]^[3]^[2] What transfers literally is the FLRW distinction between homogeneous expansion, comoving spatial labels, and physical length at an epoch. The redshift integral is particular to the first use; particle trajectories and peculiar velocities matter to the second.

The abstract idea of relating two representations by a conversion factor has wider mathematical uses, but the named distance pair depends on FLRW geometry and cosmological time. Its broader parts are already captured by Distance and Function Mapping; the named FLRW relation is not itself established as an additional cross-domain Prime.

Examples¶

Hogg's worked line-of-sight calculation¶

Hogg explains how, in a specified FLRW model, one obtains radial comoving distance D_C by integrating over redshift. This is an author-written explanatory calculation, not a report of a newly observed galaxy distance.^[1] Once D_C is known in that model, selecting a cosmic-time slice permits the corresponding radial proper spatial separation to be expressed through its scale factor. The observed light propagates along a light cone,^[1] while the proper separation is considered along a spatial path on the selected slice. The two steps should not be collapsed.

Mapped back: the time slice and path are the chosen FLRW epoch and radial spatial path; comoving separation is the model-inferred D_C; scale factor is a(t) on that slice; proper separation is the corresponding same-slice radial physical length. Hogg's D_M distinction limits substitution in curved geometry.^[1]

Particle separations in GADGET-2 and pkdgrav3¶

GADGET-2 represents cosmological particle positions in comoving coordinates with expansion in its evolution equations. The pkdgrav3 method gives the explicit physical-position relation x_phys(t)=a(t)x_comoving(t), while distinguishing expansion velocity from peculiar velocity.^[3]^[2] For a matched particle-position difference at a selected simulation time, the physical difference follows by applying that factor in the implementation's coordinate convention. A later difference may also reflect particle motion on the comoving grid.

Mapped back: the time slice and path are a selected simulation epoch and its matched coordinate separation; comoving separation comes from the particle positions; scale factor is the simulation's a(t); proper separation is the corresponding physical spatial difference. This is a simulation representation, not a redshift-derived source distance.^[3]^[2]

Structural Tensions¶

The cited sources do not establish an intrinsic trade-off among the four roles of this relation. Specifying a slice and matching path, choosing a compatible coordinate convention, and applying its scale factor are simultaneous requirements rather than objectives that must be balanced against one another. Hogg distinguishes radial from transverse comoving distance,^[1] and the simulation treatment distinguishes background expansion from peculiar motion.^[2] Those are boundary checks, not evidence that one constitutive role must be sacrificed for another.

There can be task-level choices about cosmological model, simulation representation, or which observational distance a question asks for. Those choices determine whether this relation is applicable; they do not create a general tension inherent in the relation itself. Diagnostic: Are both quantities the same spatial path at a named epoch, or has a light-cone or transverse observational distance entered the comparison?

Structural–Framed Character¶

This entry has a formal structural core inside a cosmological frame: the same-slice scale-factor relation used in explanatory cosmography and simulation coordinates.^[1]^[3]^[2] Evaluative weight: the relation describes distances, while whether a model is good enough is a separate judgment. Human-practice dependence: analysts choose normalization, coordinates, the epoch, and the path; the FLRW relation constrains the result once those choices are stated. Institutional origin: neither a survey nor a simulation package defines the identity, although both provide uses. Vocabulary travel: multiplication by a factor and a coordinate change travel beyond cosmology, whereas comoving separation, FLRW slicing, and proper cosmological distance carry domain-specific meaning. Import versus recognition: applying the equation requires recognizing a matched same-time separation; writing it next to an arbitrary redshift or angular distance does not make that match true.

Its character: a well-defined distance relation within FLRW cosmology whose mathematical form is simple but whose spatial interpretation depends on cosmological coordinates and time slicing.

Structural Core vs. Domain Accent¶

The skeletal form is a relation between two representations of one spatial separation through a time-dependent factor. The domain-bound mechanism is homogeneous FLRW expansion: comoving coordinates factor that background change out, and a(t) restores physical length along a matched same-time path.^[1]^[2] Hogg's redshift inference, GADGET-2's particle dynamics, pkdgrav3's velocity split, and a present-day normalization are accents of particular uses or conventions, not additional necessary roles.

The named entry remains domain-specific because removing FLRW slicing, comoving cosmological coordinates, and proper spatial length leaves a generic conversion analogy. Its appearances in explanatory cosmography and simulation show two applications within one physical domain. A concrete future-Prime test would ask whether a reference-to-current-distance relation in a deforming solid, or in a noncosmological moving fluid coordinate system, retains the same time-slice, reference separation, expansion factor, and physical-separation roles with comparable diagnostic power. Those unlike-domain cases have not been established by the cited cosmology sources, so the named FLRW relation does not become a new Prime. Its Distance constituent and Function Mapping genus remain represented by the two Prime parents.

This entry is part of Distance and is a kind of Function (Mapping).

Distance supplies two necessary constituents: a comoving separation and its corresponding proper separation. Each has endpoints, a path and frame, a scale, and limits. The named relation contains those distances but is not itself one Distance measure. The Distance parent carries Comparison through its own typed separation operation; this conversion does not require a second direct Comparison link.

Function Mapping supplies a different genus. With cosmological model, epoch, coordinate convention, and matched path fixed or included in the input, the scale-factor rule assigns one proper length to each admissible comoving length. Its explicit domain and single-valued output make this a particular mapping, while a general Function Mapping need not involve cosmology or distance. Transformation is nearby but adds active restructuring that mere re-expression of the same spatial path does not establish.

Angular diameter distance is a distinct cosmological observational measure. Hogg's D_C/D_M distinction shows why a transverse measure cannot silently replace the radial comoving path in this conversion.^[1] Standard ruler concerns an object or scale used to infer cosmological distances; the conversion here can inform analysis of such distances without being the ruler itself.

Relationships to Other Abstractions¶

Current abstraction Comoving and proper distances Domain-specific

Parents (2) — more general patterns this builds on

Comoving and proper distances is a kind of Function (Mapping) Prime

A context-explicit scale-factor rule maps each admissible comoving separation to one proper separation.
Comoving and proper distances is part of Distance Prime

Matched comoving and proper distances are necessary constituents of the cosmological conversion relation.

Hierarchy paths (2) — routes to 2 parentless roots

Comoving and proper distances → Function (Mapping)

Show alternative path (1)

Neighborhood in Abstraction Space¶

Comoving and proper distances sits in a sparse region of the domain-specific corpus (88^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2721 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-17

Not to Be Confused With¶

Line-of-sight D_C versus transverse D_M: both are called comoving, but curvature can make their values differ; the spatial path must be specified.^[1]
Light-travel time or light-cone interval: redshift-based distance inference uses arriving light, while proper separation here is evaluated on one cosmic-time slice.^[1]
Angular-diameter or luminosity distance: each has an observational definition beyond this same-slice coordinate conversion.^[1]
Peculiar velocity: it changes motion relative to the comoving grid; it is not the scale-factor conversion itself.^[2]
A mandatory a(t₀)=1 normalization: a common convention, not a separate physical role.^[1]

References¶

[1] Hogg, David W. (2000), “Distance measures in cosmology,” arXiv:astro-ph/9905116v4, author-written explanatory paper. Consulted §4, equations 14–15, on radial comoving distance and same-epoch scaling; §5, equation 16 and following nomenclature, on transverse comoving distance and curvature. Hogg describes the paper as a cheat sheet; it does not report a new distance measurement. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u ↩v ↩w ↩x ↩y ↩z ↩27 ↩28 ↩29 ↩30 ↩31

[2] Isaac Alonso Asensio, Claudio Dalla Vecchia, Douglas Potter, and Joachim Stadel (2022), “Mesh-free hydrodynamics in pkdgrav3 for galaxy formation simulations,” arXiv:2211.12243v1, original methods paper. Consulted §2.3.9 for physical and comoving position definitions and the Hubble/peculiar-velocity split. Its flat-coordinate simulation relation is not asserted for arbitrary curved transverse distances. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r

[3] Volker Springel (2005), “The cosmological simulation code GADGET-2,” Monthly Notices of the Royal Astronomical Society 364, 1105–1134, doi:10.1111/j.1365-2966.2005.09655.x, original research article. Consulted §2.1, equation 1 and surrounding paragraph, for comoving particle coordinates and time-dependent expansion, and §2.2 after equation 17 for internal comoving variables. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g