A Relation between Distance and Radial Velocity among Extra-Galactic Nebulae

The Lean argument has no shortcut from measured radial velocities to a universal cosmological law. Data construction precedes calibration, calibration precedes validation, and validation precedes the restricted conclusion. Only after that conclusion do two distinct downstream uses appear: NGC 7619 is checked for consistency, while a de Sitter reading is retained only as possible. A final route packages all six substantive stages.

The data route begins with a valid observational description and 46 available radial velocities. It selects 24 nebulae for which individual distances are judged most reliable. The Cepheid zero point fixes the scale; resolved stars, brightest stars, and cluster mean luminosities supply distance criteria. The brightest-star criterion is encoded as rough and cautious, not exact.

The source-map provenance describes the historical construction as using Cepheids, novae, brightest resolved stars, and cluster luminosities. The proposition-valued setup groups that material more coarsely into a Cepheid zero point, resolved-star criteria, a separately qualified brightest-star criterion, and cluster means; it does not create a standalone nova predicate.

The first supplied calculation records that the data indicate a linear correlation. Distance is included as a term in the solar-motion equations, the p. 170 equation of condition is retained with a visible fit residual, and a proportional velocity–distance model is selected. Only after that model is established does a second calculation solve the 24 nebulae individually and collect them into 9 directional-distance groups. A third calculation then adopts the round intermediate coefficient.

The formal route keeps EstablishedProportionalModel and EstablishedIndividualAndGroupedFit separate. The individual and grouped equations use their own solar selections and residual profiles, and both samples are explicitly inhabited. the_established_fit_retains_distinct_solar_solutions_and_actual_residuals derives distinct individual, grouped, and adopted selections from their reported speeds and identifies the actual residuals after the corresponding solar subtraction. The numerical reductions remain inputs: the original does not give all sky coordinates, the nine group memberships, or a fitting algorithm.

distance_weighted_model_does_not_supply_two_reported_solutions and two_reported_solutions_do_not_supply_adopted_round_calibration make the two new route boundaries model-theoretic rather than merely narrative.

The distance scale is set by external calibration, not by agreement of the radial fits alone. Hubble identifies the Cepheid period-luminosity zero point as the ultimate scale input. The individual and grouped fits reuse observations; their agreement is not independent validation.

The formalization now constructs an actual family of calibrated distances and coefficients. The transformation keeps each selected solar solution and velocity data fixed. The individual, grouped, and adopted solutions each retain their own coefficient and solar correction.

Fit-only rescaling freedom does not mean every rescaling is admissible after the Cepheid calibration is supplied. The equality concerns the computed radial readout, including its distance effect and solar-corrected residual. It is not an exact universal velocity-distance law.

What a distance anchor adds

A nonzero exact distance anchor removes this rescaling freedom, not every other source of fit uncertainty. A controlled positive reference distance instead bounds the scale change. A positive lower scale bound then controls the reciprocal coefficient change.

An inhabited calibration counterexample

These two-object data are diagnostics, not historical measurements or a revised Hubble constant. They use positive distances, the actual angular solar projection, and nonzero residuals. Both calibrations satisfy the same finite residual tolerance.

The two fit solutions produce distinct residual profiles. Their reported means are real values 150 kilometres per second for individual nebulae and 110 kilometres per second for groups; reported_residual_means_retain_distinct_values checks that they are numerically unequal before the two profiles receive separate peculiar-motion interpretations. The route then selects four Virgo objects inside the individual sample, retains that they are the most distant objects, and records that their shared cluster motion influences the fitted relation. More distant data are explicitly needed to reduce the relative importance of such motions. Only then does the route add two external consistencies with different sample scopes: a mean check on all 22 additional nebulae, and a velocity-derived absolute-magnitude comparison that excludes one low-velocity object from that pool because its peculiar motion must be large compared with the distance effect. A distance can still be assigned for which its motion and magnitude remain in range, so the exclusion does not establish an exception to the relation.

individual_residuals_do_not_supply_grouped_peculiar_motion, uncounted_virgo_influence_does_not_supply_four_object_scope, two_megaparsec_virgo_subset_does_not_imply_farthest_parent_members, small_unsigned_velocity_does_not_supply_dominant_peculiar_motion, and twenty_two_object_mean_check_does_not_supply_low_velocity_exclusion_scope block five tempting compressions: one residual interpretation is not the other, a generic Virgo-influence label is not yet the four-object qualification, an actual two-megaparsec Virgo member can coexist with a three-megaparsec parent object, a small positive observed velocity does not imply a dominant peculiar residual, and the all-22 mean check does not itself establish the separate velocity-derived comparison scope.

The qualified assessment says that a roughly linear relation with the adopted coefficient is established for the selected sample and dominates its velocity distribution. At the same time, observational uncertainty remains qualified, the distance range is restricted, an exact universal relation is explicitly not established, future data may change the significance, and detailed consequences are premature.

Hubble next records the first definite distant-object result, NGC 7619. The calculation applies the already adopted coefficient, compares the inferred distance and absolute magnitude with the independently estimated cluster distance, and retains only that the object is thoroughly consistent with the present conclusions.

The interpretation route records three propositions: a de Sitter effect is considered possible for the fitted relation, it is not established, and the interpretation invokes two sources of spectral displacement. The Lean status adapter turns the first two propositions into a formal tentative status.

The paper-local framework instantiates a reusable nebular distance–velocity calibration model. Its selected objects are the description, 24-nebula sample, distance and velocity data, proportional relation, adopted coefficient, and observational regime. The qualified paper conclusion supplies the shared setup, proportional calibration, uncertainty and restricted-range assessment, and rough-linear interpretation, then proves that those qualified ingredients hold together directly at one selected model.

The source-facing adapter distinguishes the qualified relation from the route that explains it. hubble_source_inputs_make_shared_calibration_route_applicable constructs the raw shared route from the observational setup, distance-weighted model selection, separate two-solution calculation, adopted-coefficient calculation, independent validation, and qualified assessment. hubble_source_inputs_realize_structural_qualified_calibration_explanation explains only the scoped rough relation. HubbleQualifiedCalibrationDerivationObtains retains that sample-model-fit-adoption-validation-assessment provenance; hubble_source_derivation_makes_shared_calibration_route_applicable reconstructs the route from it, and hubble_source_inputs_realize_source_structural_qualified_calibration_explanation preserves it without turning the result into a cosmological cause. The evidence projection remains separately visible as qualified_conclusion_supports_shared_relation_model.