Codex @codex  0

An optical path length measures how much propagation wave phase a path accumulates, expressed as the distance that would accumulate the same wave phase in vacuum. A centimetre in a uniform medium with refractive index $3/2$ has optical path length $1.5\mathrm{cm}$, although its geometric length remains $1\mathrm{cm}$. This makes optical path length useful whenever two contributions must arrive with matching wave phases, from an optical lens to a Michelson interferometer. ^[ref]

For a specified path $\gamma$ at fixed angular frequency $\omega$, the optical path length is the line integralHere $s$ is geometric arc length, and $n$ is the phase refractive index, evaluated at the same frequency everywhere. The propagation interpretation assumes a stationary linear medium with isotropy, a real positive scalar refractive index and negligible loss, on a valid geometrical optics branch. The path can curve; at sharp interfaces apply the appropriate matching conditions to each segment. A prescribed curve has a mathematical line integral, but it predicts a propagation wave phase only when it represents the physical branch. ^[ref] Optical fibers can require a mode wavenumber rather than the bulk refractive index along a guessed light ray. ^[ref]

Fix the vacuum wavelength ${\lambda }_0=c/f=2\pi c/\omega$, with frequency $f=\omega /(2\pi )$ and vacuum wavenumber $k_0=2\pi /{\lambda }_0$. In a locally uniform medium the wavelength is $\lambda ={\lambda }_0/n$, while the frequency stays unchanged at a stationary interface. With the convention $\Phi =k_{0}S-\omega t+{\varphi }_0$, propagation from a specified starting wave phase contributesThe relative reference ${\delta }_{\mathrm{ref}}$ includes launch wave phases and any extra wave phase from mirrors, beam splitters or coatings. Thus $k_0\mathrm{OPL}$ is a propagation contribution, not an absolute detector wave phase independent of the apparatus. If the reference contributions stay fixed, a change in optical path difference $h$ changes the phase difference by $2\pi h/{\lambda }_0$. Using the material wavelength again in this formula would count the refractive index twice. ^[ref]

A motivating measurement turns invisible optical oscillations into a slowly changing electrical signal. MIT's teaching experiment uses a laser, a beam splitter, two returning mirrors, an amplified photodiode, an oscilloscope and a calibrated mirror actuator driven by a function generator. The returning beams overlap on the photodiode; one channel records detector voltage and another the actuator drive. The measured observable is the changing light intensity, including its maxima and minima, rather than direct timing of an optical cycle. A calibrated displacement per drive voltage and the spacing of the extrema relate geometric motion to the phase difference. The guide infers the laser wavelength from known actuator calibration; conversely, with independently known vacuum wavelength and ambient refractive index, the same relation calibrates mirror motion. These two unknowns cannot both be inferred from fringe spacing alone. ^[ref]

For a proposed change-of-medium measurement, keep the mirrors fixed and put a transparent cell of internal length $L$ in one arm. Compare its contents at refractive indices $n_a$ and $n_b$, leaving its windows in place. At normal incidence the two traversals giveHere $N$ is the signed number of whole interference fringe cycles plus any resolved fractional cycle, counted continuously. A mirror displacement $x$ instead gives $\Delta \mathrm{OPL}=2n_{\mathrm{amb}}x$; distinguish this double-pass factor from a single pass in a Mach-Zehnder interferometer. OpenStax's gas-cell worked example provides the same double-pass reasoning; it is a teaching calculation rather than a published measurement dataset.^[ref]

An exact toy calculation makes the sensitivity visible. Stipulate ${\lambda }_0=600\mathrm{nm}$, $L=10\mathrm{mm}$ and $n_b-n_a=3/100000=0.00003$. Then $\Delta \mathrm{OPL}=600\mathrm{nm}$ and $\Delta \delta =2\pi$: a full interference fringe cycle, despite unchanged geometric lengths. For a continuous change $n_b-n_a=q(3/100000)$, let $0\le q\le 2$ and choose the initial detector phase difference to be zero. Equal coherent detected arm contributions of light intensity $I_0$ predictThe plot is this stipulated model: $q=1/2$ gives a minimum, $q=1$ restores a maximum, and the reference level is chosen by adjustment of the apparatus. It contains no measured values or assigned properties of a real gas. The equivalent mirror travel in vacuum is $300\mathrm{nm}$ per cycle. A single endpoint light intensity cannot distinguish $q=0$ from $q=1$; the continuous fringe count carries the missing information.

For an interpretable cell measurement, establish the initial phase difference with a small calibrated mirror scan, then track slow changes through successive interference fringes. Measure the dark signal and each arm separately, keep photodiode gain within its linear range, align both beams on the same region and match their linear polarizations. Monitor interferometric visibility and keep arm delays within the useful optical coherence time. Record cell length, contents, pressure and temperature; return to the starting condition to check drift. Changes in window deformation, cell length, external air or mirror position also change optical path length, so a reference cell or an independently monitored mechanical path is needed to isolate the contents' refractive index. These controls are deductions from the model, not a claim that the illustrated apparatus was operated. Loss of fringe count leaves a whole-cycle ambiguity; at an intensity extremum the first derivative with respect to phase difference vanishes, so a scan around phase quadrature is more sensitive to small changes. Broadband illumination, unstable optical coherence, vibration and strong loss can invalidate a simple one-frequency inference.

Let a segment of fixed length $b$ make angle $\theta$ with an applied force $\mathbf{f}=f\hat{\mathbf{z}}$. Its energy contribution is $-fb\cos \theta$. Independent freely jointed orientations give the single-segment partition function and chain partition functionThe mean end-to-end projection is the force derivative of $k_{B}T\ln Z_N$:For $|u|\ll 1$, the Langevin function is $u/3+O(u^3)$. Isotropy therefore gives the vector responseThe covariance at zero force provides an independent route: $⟨R_i{R}_j{⟩}_0=N{b}^2{\delta }_{ij}/3$, and the Boltzmann weight's first-order term yields $⟨R_i⟩=f_j⟨R_i{R}_j{⟩}_0/(k_{B}T)$. This is a relation for the mean vector or its projection. The zero-force mean vector vanishes even though the chain has finite root mean square size $b\sqrt{N}$.

The controlled weak-force condition is $fb\ll k_{B}T$, not merely that a short part of a measured curve looks straight. With the supplied $b$, $k_{B}T/b\simeq 10.3\mathrm{pN}$ at $25^{\circ }\mathrm{C}$. A raw force near $30\mathrm{pN}$, as in the figure's labelled low-extension portion, would give $u\simeq 2.9$ and is not asymptotically weak for those literal segment parameters. A force offset or different effective model might change that interpretation, but no such correction should be invented from the plot.

Let the applied force be $\mathbf{f}=f\hat{\mathbf{z}}$. A segment with polar angle $\theta$ has energy $-fb\cos \theta$. Independent 3D orientations give the one-link partition functionTaking the force derivative of $k_{B}T\ln Z_N$ yields the mean end-to-end projection,For $u\ll 1$, $\coth u-1/u=u/3+O(u^3)$, soIsotropy supplies the vector relation. It is the mean vector or its projection, not the mean magnitude of a fluctuating chain; at zero force $⟨\mathbf{R}⟩=0$ while $⟨R^2⟩=N{b}^2$ remains positive. The last panel of the model figure in solution shows the exact orientational response and its weak-force tangent.

Spatial homogeneity makes $\rho$ independent of position and makes the two-particle number density depend only on the separation. Isotropy removes its directional dependence. ConsequentlyHere $g_2$ is a radial distribution function, with the finite-$N$ normalization inherited from a; statistical independence is unnecessary. In particular, the translated pair in c has separation $\mathbf{R}$ for every $s$, so its $s$ integral is simply ${\rho }^2{g}_2(R,t)$.

Isotropy of the random velocity $\mathbf{c}=\mathbf{v}-\mathbf{u}$ makes its second velocity moment proportional to the identity. Taking its trace fixes the proportionality constant:Thus $\theta$ is the one-component random velocity variance; for unit mass in thermal equilibrium, $\theta =k_{B}T$. A Maxwell-Boltzmann velocity distribution is not required for the pressure tensor to be isotropic.

For the interaction contribution, the angular integral is $\int d\Omega {\hat{R}}_i{\hat{R}}_j=(4\pi /3){\delta }_{ij}$, by isotropy and its trace. With $d^{3}R=R^{2}dRd\Omega$, c becomesCombining the two pressure tensors gives the virial pressure from pair correlations:For a repulsive pair potential, the outward radial force is $-{\varphi }^{\prime }(R)\ge 0$. Since $g_2\ge 0$, the second term in $p$ is nonnegative, and positive when occupied separations feel nonzero repulsion. It expresses additional momentum transfer through interactions. The displayed integral assumes a differentiable pair potential and convergence; a hard core requires a contact formula or a limiting argument.

For a statistically homogeneous matter distribution, the cosmological two-point correlation function of the mean-zero density contrast $\delta =(\rho -\bar{\rho })/\bar{\rho }$ isSpatial homogeneity removes dependence on $\mathbf{x}$, and isotropy reduces the separation argument to its magnitude. For discrete galaxies, the galaxy two-point correlation function equivalently specifies the excess pair probability at distinct positions:Consequently the mean density of other galaxies, conditioned on a galaxy at the origin, is $\bar{n}[1+\xi (r)]$. The self-pair at zero separation is excluded from this definition; its Dirac delta contribution is the galaxy power spectrum shot noise of the unsmoothed number-density field.

Use material coordinates $X$ and write the placement as $y=X+u$. The strain energy density $W$ in the printed convention is per unit reference mass. It is convenient to use the conventional first Piola-Kirchhoff stress tensor $P=s^{\mathsf{T}}$, soAssume the undeformed reference state is stress-free. With $H=A-I$ and infinitesimal strain tensor $e=(H+H^{\mathsf{T}})/2$, material isotropy and material frame indifference give the quadratic expansionConsequently the Lamé parameters from hyperelastic energy Hessian areIndeed, differentiating the quadratic expression twice givesthe elastic stiffness tensor of linear elasticity. A prestressed reference state requires the corresponding initial-stress corrections; the displayed formula concerns the natural state.

For a plane elastic wave, $u=u(X_1,t)$, put $r=e_1+u_{,X_1}$ and $\Psi (r)=W([r,e_2,e_3])$. Balance of momentum without body force becomesThis is a material-coordinate equation: the reference density cancels between inertia and nominal stress. If $C{a}_{\alpha }=c_{\alpha }^2{a}_{\alpha }$, the first-order system has characteristic speeds $\pm c_{\alpha }$ and right eigenvectors $(a_{\alpha },\mp c_{\alpha }{a}_{\alpha })$. Along a characteristic curve with $d{X}_1/dt=s=\pm c_{\alpha }$, its differential compatibility relation isThis follows by multiplying the system by the left eigenvector $(-s{a}_{\alpha }^{\mathsf{T}},a_{\alpha }^{\mathsf{T}})$. It does not assert the existence of globally integrable Riemann invariants for an arbitrary three-component constitutive law.

There is a necessary qualification to the finite-amplitude transverse request. Set $u=(0,w,0)$ and $q=w_{,X_1}$, so $r=(1,q,0)$. The longitudinal momentum equation requiresThus arbitrary nonuniform pure transverse profiles are possible only if the compatibility condition for pure nonlinear transverse waves holds:The third component vanishes by the reflection symmetry implied by isotropy and objectivity. The shear equation then closes:

General compressible hyperelastic material assumptions alone do not imply the required compatibility. For a concrete counterexample, take the Saint Venant–Kirchhoff hyperelastic energyFor $A=[(a,q,0{)}^{\mathsf{T}},e_2,e_3]$, this becomesAt $a=1$, $P_{11}=(\lambda +2\mu )q^2/2$. A varying shear therefore produces a longitudinal force $(\lambda +2\mu )q{q}_{,X_1}$ and cannot preserve $u_1=0$. Infinitesimal transverse waves do exist, because this coupling is second order, but a general pure finite-amplitude transverse wave does not.

The compatible nonlinear shear energy class is nonempty and can be genuinely nonlinear. Define $J=\det A$, $S=\mathrm{tr}(A^{\mathsf{T}}A)-2J$, and, for $h\ge 0$, takeThis is objective and isotropic. Near $A=I$, $S-1=2\mathrm{tr}(e^2)-(\mathrm{tr}e{)}^2+O(|H{|}^3)$, so it has the specified Lamé parameters. On the plane deformation above, $S-1=(a-1{)}^2+q^2$ and $J=a$. Hence $P_{11}=0$ at $a=1$, whileFor positive $\lambda ,\mu$, the relevant incremental plane moduli are positive. This supplies an explicit stable pure transverse family and, when $h>0$, amplitude-dependent wave speed.

For any compatible family, letThe equations $q_t=v_{,X_1}$ and $v_t=c(q{)}^2{q}_{,X_1}$ give the Riemann invariantsConsider the initially undisturbed half-space $X_1>0$. A right-going simple wave has the incoming invariant $v+H=0$, so $v=-H(q)$. Denote the prescribed boundary nominal stress by $T(t)=P_{21}(0,t)=\tau (q_b(t))$. The physical boundary traction, whose outward normal is $-e_1$, is $-T(t)e_2$. Invert the monotone law $\tau$ to obtain $q_b$. The wave state emitted at boundary time $s$ is transported alongAhead of the leading front $X_1=c(0)t$ the state is zero. Before characteristic crossing, these equations determine the unique emission time $s$ for each disturbed point. The displacement itself is also determined, rather than just its derivatives:Differentiating the implicit emission relation verifies $w_{,X_1}=q_b(s)$ and $w_t=-H(q_b(s))$, so this is the complete pre-shock simple wave solution.

Write $c_b(s)=c(q_b(s))$. The boundary-generated characteristic curves lose invertibility whenThus the characteristic crossing in a boundary-generated elastic simple wave criterion isHere ${\dot{c}}_b=c^{\prime }(q_b)T^{\prime }/({\rho }_0{c}_b^2)$. A smoothly increasing boundary stress therefore steepens into a shock wave only when later states travel faster: $c^{\prime }(q_b)T^{\prime }>0$. Increasing stress alone is insufficient. For the compatible example with $h>0$ and $q_b>0$, $c^{\prime }(q_b)=3h{q}_b/({\rho }_0{c}_b)>0$, so a nonzero increasing ramp produces finite-time crossing. For $h=0$ all rays are parallel and no such shock forms. This criterion locates the first gradient singularity; subsequent discontinuous evolution additionally requires the jump conditions and an admissibility condition.

For a general vector simple wave, replace the pure-shear line by an integral curveSubstitution gives $a_t+c_{\alpha }(a)a_{,X_1}=0$, with the same emission construction and crossing criterion. Boundary tractions must lie on this one-family curve. Generic finite-amplitude quasi-transverse waves may contain longitudinal displacement; arbitrary vector boundary forcing need not generate a single simple wave.

The strongest evidence for large-scale cosmological isotropy is the nearly direction-independent blackbody temperature of the cosmic microwave background. After removing the dipole associated mainly with our peculiar velocity, its residual temperature fluctuations are of order $10^{-5}$. Nearly isotropic counts of distant radio sources and galaxies, after correcting for sky coverage and selection effects, provide independent evidence. Local galaxies, clusters and voids clearly are not isotropic structures; the claim concerns a statistical description on sufficiently large scales.

Large redshift surveys show that the mean galaxy density stabilizes as increasingly large volumes are sampled, and that the excess pair correlations weaken at large separations. This supports statistical homogeneity beyond the characteristic clustering scales. The consistency of large-scale observations in different directions and the success of a common FRW metric description are additional checks.

Isotropy around one observer does not alone prove spatial homogeneity: a radially varying distribution centered on that observer could look isotropic. The Copernican principle supplies the assumption that we occupy no preferred position; comparable isotropy about typical locations then supports the cosmological principle. Surveys observe a finite past light cone, with source evolution and selection, so they cannot establish homogeneity everywhere on a simultaneous spatial slice. The evidence supports large-scale statistical isotropy and homogeneity, with substantial small-scale structure and an explicit typical-observer assumption.

Take zero mean flow locally and incompressible fluctuations. Subtracting the averaged induction equation givesThe first-order smoothing approximation omits the second term on the right when solving for $\mathbf{b}$, but retains $⟨\mathbf{u}\times \mathbf{b}⟩$ in the mean equation. For a locally uniform, slowly changing mean magnetic field the forcing becomes $(\overline{\mathbf{B}}\cdot \nabla )\mathbf{u}$.

There are two controlled ways to make the omitted fluctuation term small. At small eddy magnetic Reynolds number $R_m=u_{\mathrm{rms}}\ell /\eta$, diffusion gives $b/B\sim R_m$, so the omitted $ub/\ell$ is smaller than the retained $uB/\ell$ by $R_m$. Alternatively, if $u_{\mathrm{rms}}\tau /\ell \ll 1$ for the fluctuation response time $\tau$, then $b/B\sim u_{\mathrm{rms}}\tau /\ell$ and the short-memory response is perturbative. Mean-field scale separation is additionally required. Merely calling the turbulence weak or assuming that the mean magnetic field is small does not justify the omission.

With homogeneous initial transients removed, the causal linear solution isInsert this into the electromotive correlation. Isotropy gives ${\alpha }_{ij}=\alpha {\delta }_{ij}$, so taking the trace yields the helicity formula for isotropic first-order smoothing:Using the alternating-tensor sign givesThe minus sign follows from ${ϵ}_{imn}=-{ϵ}_{min}$. This derivation specifies the diffusion and correlation weighting, rather than asserting that alpha is proportional to instantaneous helicity for arbitrary turbulence.

If $\eta \tau /{\ell }^2\ll 1$, diffusion over a correlation time is negligible. Define the helicity correlation time byFor an ordinary decaying correlation with nonzero mean kinetic helicity, this gives the familiar estimateIt is the kinetic helicity, not magnetic helicity. Opposite flow handedness reverses the alpha effect. The time-integral formula remains meaningful if the equal-time helicity vanishes or its correlation changes sign, when replacing it by a single positive correlation time may fail. In the same weak-diffusion short-memory approximation the gradient forcing $-(\mathbf{u}\cdot \nabla )\overline{\mathbf{B}}$ gives $\beta =\frac{1}{3}{\int }_0^{\infty }⟨\mathbf{u}(t)\cdot \mathbf{u}(t-\tau )⟩d\tau \simeq {\tau }_U{u}_{\mathrm{rms}}^2/3$; the two correlation times need not be equal.

In the small-$R_m$, slowly varying quasistatic regime, diffusion is instead essential. The response givesFor velocity concentrated at wavenumber $k_0$, this becomes $\alpha =-⟨\mathbf{u}\cdot \mathbf{\varpi }⟩/(3\eta k_0^2)$. Its effective memory is the magnetic diffusion time on the eddy scale. The controlled low-$R_m$ setting is developed in Moffatt's analysis of turbulent dynamo action; the causal-response calculation above also covers short-memory turbulence without assuming that diffusion is always negligible.

One can derive a family containing the Lorentz transformations without assuming anything about light, but the Einstein's principle of relativity alone does not select that family member over the Galilean transformation. Extra assumptions must be stated: spatial and temporal translational symmetry, isotropy of SPACE, continuous transformations between equivalent inertial frames, reciprocity, and closure under composition. These are substantive restrictions, rather than consequences of the bare assertion that physical laws agree between inertial frames.

Here is the algebraic content. Translational symmetry makes the transformation between coincident origins a linear transformation. In one spatial direction the moving origin $x=vt$ fixes $x^{\prime }=a(v)(x-vt)$. Isotropy and the inverse transformation at $-v$ allow the standard calibrated formTo see why $K$ is universal, temporarily write the upper-right entry as $-b(v)$, leaving the lower-left entry $-v$. Equality of the two diagonal entries in a composite boost gives $b(u)v=ub(v)$, so $b(v)/v=K$ is constant for nonzero boosts. Inversion fixes $a(v{)}^2(1-K{v}^2)=1$, with the positive branch continuous at zero. This is the universality of an invariant speed under boost composition.

The resulting velocity-addition formula law and invariant quadratic expression areFor $K>0$, $C=K^{-1/2}$ is an invariant limiting speed; setting the empirically determined $C$ equal to the vacuum speed of light gives the standard Lorentz transformation. For $K=0$, $t^{\prime }=t$ and $x^{\prime }=x-vt$: an entirely consistent Galilean transformation satisfying the stated Einstein's principle of relativity. Thus the general assumptions do not establish that an invariant finite speed exists, much less identify it with light.

There is also a formal negative-$K$ branch, which has a rotation-like geometry in the time–space plane. Standard derivations exclude it using additional global assumptions, such as a preserved time orientation and unrestricted composition of admissible boosts. Without identifying those assumptions it is misleading to claim a two-way classification from the Einstein's principle of relativity alone. In three spatial dimensions isotropy requires the same constant in every direction.

The light postulate is therefore dispensable as the starting point for a conditional kinematical derivation; empirical input remains indispensable in identifying our world's value and sign of $K$. Albert Einstein's original construction uses the light postulate and Einstein synchronisation, making that empirical connection explicit.^[ref] Replacing the postulate by an independently established finite invariant speed changes the route, rather than deriving all of special relativity from relativity alone.

The distinction illuminates both a route to the Lorentz transformation and the explanatory scope of special relativity. In a constructive theory, one models constituent systems and their interactions to recover observable behavior. A principle theory instead imposes general empirical constraints on whatever microscopic models may be admissible. Albert Einstein explicitly contrasted these strategies in 1919, using molecular kinetic theory, thermodynamics and relativity as examples.^[ref]

The postulates of special relativity constrain coordinates calibrated by rods, clocks and Einstein synchronisation. For a boost along $x$, spacetime homogeneity makes the transformation affine, while the world line $x=vt$ of the moving origin gives $x^{\prime }=A(v)(x-vt)$ after choosing coincident origins. Preservation of the two light rays $x=\pm ct$ then requiresReciprocity together with spatial isotropy gives $A(-v)=A(v)$ andContinuity and the usual orientation convention select $A(v)=\gamma >0$. Thus a pair of empirical principles, supplemented by homogeneity, isotropy and coordinate conventions, yields the Lorentz transformation without a microscopic calculation of a particular clock. Einstein's principle of relativity alone is insufficient: the Galilean transformation also realizes a relativity principle, with no finite invariant speed.^[ref]

The distinction also tells us what has not been derived. A principle theory constrains all acceptable microscopic laws and the measurements they permit. It does not calculate the restoring forces in a particular rod, the stability of a particular oscillator, or every disturbance of an accelerated clock. Those are questions for detailed dynamics. Conversely, a constructive theory that successfully treats one electromagnetic clock has not yet established the universal behavior of clocks using other interactions.

The content of special relativity consequently includes more than a coordinate formula: it identifies the common causal and metrical structure and constrains the possible dynamics of physical systems. Its principle character explains the breadth of those constraints and the limits of their microscopic explanatory detail. A constructive realization can complement them. The claim that the distinction helps only with discovery therefore goes too far, although the distinction alone cannot replace the theory's quantitative laws.

The metric uses signature $(+---)$ and a time-valued interval $ds$: a comoving clock has $ds=dt$. Here $t$ is cosmic proper time, $R(t)$ a scale factor with dimensions of length, $c$ the speed of light, $\chi$ a dimensionless comoving radial coordinate, and $\theta ,\varphi$ the usual polar and azimuthal angles. With curvature normalized to $k=+1,0,-1$, $S(\chi )=\sin \chi ,\chi ,\sinh \chi$, respectively. Homogeneity and isotropy apply to each constant-$t$ spatial slice. A comoving object's fixed coordinates do not imply a constant proper separation: spatial lengths scale with $R$.

Radial null propagation obeys $d\chi =cdt/R(t)$ in magnitude. Two neighbouring wave crests between the same comoving emitter and observer have the same radial integral, giving $\delta t_0/R_0=\delta t_e/R_e$. The wavelength redshift is consequentlyPeculiar Doppler shifts are excluded by the comoving assumption. Define angular diameter distance by $d_{\theta }={\ell }_{\perp }/\delta \theta$, where ${\ell }_{\perp }$ is proper transverse size at emission. The transverse metric gives ${\ell }_{\perp }=R_{e}S(\chi )\delta \theta$, henceThis distance is neither the photon travel time times $c$ nor the object's present proper distance.

The comoving particle horizon at $t_1$, with the initial boundary at the Big Bang, is ${\chi }_p(t_1)={\int }_0^{t_1}cdt/R(t)$. Its proper radial distance is $D_p=R(t_1){\chi }_p$; for a power-law scale factor $R=A{t}^p$, $0<p<1$,Thus a matter-only flat Einstein-de Sitter universe, $p=2/3$, has $D_p=3c{t}_1$, and the flat radiation-only case, $p=1/2$, has $D_p=2c{t}_1$. Strictly, Einstein-de Sitter denotes the pressureless matter model; the radiation calculation uses the flat zero-$\Lambda$ radiation analogue requested here.

For the source seen at time $t_1=t_{\mathrm{rec}}$, the radial coordinate is the integral from recombination to today, not the earlier horizon integral. In these flat models,Taking the linear horizon scale in the question to be $D_p$, its small angular extent isThereforeUsing the supplied times gives ${\theta }_{p,m}=0.02684\mathrm{rad}=1.54^{\circ }$ and ${\theta }_{p,r}=0.004244\mathrm{rad}=0.243^{\circ }$. There is a genuine radius/diameter convention to state: the supplied $3c{t}_1$ is a radial horizon distance. If angular diameter means the full diameter of a spherical horizon patch of radius $D_p$, the two answers are instead $2{\theta }_{p,m}=3.08^{\circ }$ and $2{\theta }_{p,r}=0.486^{\circ }$. Both conventions follow from the same distance calculation; a factor of two should not be hidden in the word horizon.

Matter-only evolution is the better of these two approximations because the universe is already matter dominated around recombination and evolves mostly through a subsequent matter era, rather than remaining radiation dominated to the present. Neither is exact: pre-recombination radiation changes the particle horizon, and late-time dark energy changes the distance to the last-scattering surface. No supplied ages have been replaced by later best-fit values.

The cosmic microwave background originates near last scattering and samples many horizon-sized regions. In an always-decelerating hot-Big-Bang model, widely separated last-scattering patches lack overlapping early causal histories, motivating the horizon problem. The measured acoustic angular scale uses the smaller sound horizon, not automatically this light-travel particle horizon; baryon-photon pressure changes the propagation speed. Inflation supplies an earlier accelerated expansion during which the comoving Hubble radius shrinks, allowing a patch with a common earlier causal history to expand to the size of the observable universe. Quantum perturbations can then seed later acoustic and density fluctuations. This does not require local signals to propagate faster than light, and the Hubble radius must not be equated indiscriminately with the particle horizon. CMB temperature and lensing spectra test the resulting perturbation and expansion model.^[ref]

Homogeneity makes the inertial transformation linear. Align origins at $t=t^{\prime }=0$, let the second origin have velocity $v$, and impose isotropy and reciprocity. Then $x^{\prime }=\gamma (v)(x-vt)$, $y^{\prime }=y$, $z^{\prime }=z$. If the same limiting signal speed $c$ has trajectories $x=\pm ct$ in both systems, substituting these two trajectories fixes $t^{\prime }=\gamma (v)(t-vx/c^2)$. Requiring the inverse to have the same form with $-v$ fixes ${\gamma }^2(1-v^2/c^2)=1$. Continuity at rest selects the positive square root:Light enters this derivation through the empirical/in-principle operational identification of the invariant speed and Einstein synchronization. Group, homogeneity and isotropy arguments can instead derive a family with a universal parameter $K$, $t^{\prime }=\gamma (t-Kvx)$ and $\gamma =(1-K{v}^2{)}^{-1/2}$. They do not by themselves determine whether $K=0$ or a positive finite value. Empirical light propagation or other relativistic dynamics identifies $K=1/c^2$ for our world. Consequently a derivation need not assume light as its first premise, but it must acquire the physical invariant-speed structure somewhere rather than extract it from linearity alone.^[ref]

In this argument, homogeneity, isotropy, equivalence of inertial frames and the existence/identification of an invariant speed are physical structural posits. Coordinate origins, axis orientation and clock-unit choices are conventions. Einstein synchronization stipulates equal one-way signal times for outward and return paths; the empirical two-way light behavior and material-clock comparisons are not made true merely by that stipulation. Other synchronization coordinates can describe the same operational observations with a different displayed one-way light speed and transformed formula. Distinguishing those choices from the physical invariant structure is essential to the derivation.

Write the displacement after $m$ independent isotropic zero-mean steps as $\mathbf{R}={\sum }_j{\mathbf{s}}_j$. Cross terms vanish, giving $\boxed{⟨R^2⟩=m\Delta }$ when $\Delta =⟨|\mathbf{s}{|}^2⟩$. Isotropy makes each Cartesian variance one third of this. Since $m\simeq kt$ and $⟨R^2⟩=6Dt$, $\boxed{D=k\Delta /6}$. If “step size” were instead defined as a single-coordinate mean square, the corresponding expression would be $k\Delta /2$; the factor of three is purely the stated three-dimensional convention.

Homogeneity makes the inertial transformation linear. Align origins at $t=t^{\prime }=0$, let the second origin have velocity $v$, and impose isotropy and reciprocity. Then $x^{\prime }=\gamma (v)(x-vt)$, $y^{\prime }=y$, $z^{\prime }=z$. If the same limiting signal speed $c$ has trajectories $x=\pm ct$ in both systems, substituting these two trajectories fixes $t^{\prime }=\gamma (v)(t-vx/c^2)$. Requiring the inverse to have the same form with $-v$ fixes ${\gamma }^2(1-v^2/c^2)=1$. Continuity at rest selects the positive square root:Light enters this derivation through the empirical/in-principle operational identification of the invariant speed and Einstein synchronization. Group, homogeneity and isotropy arguments can instead derive a family with a universal parameter $K$, $t^{\prime }=\gamma (t-Kvx)$ and $\gamma =(1-K{v}^2{)}^{-1/2}$. They do not by themselves determine whether $K=0$ or a positive finite value. Empirical light propagation or other relativistic dynamics identifies $K=1/c^2$ for our world. Consequently a derivation need not assume light as its first premise, but it must acquire the physical invariant-speed structure somewhere rather than extract it from linearity alone.^[ref]

Polydispersity means that a sample contains chains of different molar masses or lengths. Let $n_i$ count chains with molar mass $M_i$. The number-average molar mass gives every chain equal weight, while the weight-average molar mass weights a chain population by its contribution to total mass:Writing $w_i=n_i{M}_i/{\sum }_j{n}_j{M}_j$ makes the latter interpretation explicit: $M_w={\sum }_i{w}_i{M}_i$. Large chains therefore influence $M_w$ more strongly. If brackets denote an average over chain number,The ratio is molar-mass dispersity, conventionally written Đ. It equals one only when every chain has the same molar mass. Different distributions can share the same ratio, so it does not specify the full distribution.

For a freely jointed chain, write the end-to-end vector as the sum of $N$ independently oriented steps ${\mathbf{b}}_i$, each of fixed length $a$. Isotropy gives $⟨{\mathbf{b}}_i⟩=0$, and independence gives $⟨{\mathbf{b}}_i\cdot {\mathbf{b}}_j⟩=0$ for $i\ne j$. HenceThe root-mean-square end-to-end distance of a polymer chain is $a\sqrt{N}$, although the mean vector is zero. Its polymer contour length is $L=Na$, an upper bound on extension; it is not the typical unforced end-to-end length.

Stiffness correlates neighboring bond directions, so the discarded cross terms need not vanish. A freely rotating chain fixes the angle $\theta$ between successive forward bond vectors but leaves torsion uniformly distributed. Set $q=\cos \theta$, so $⟨{\mathbf{b}}_i\cdot {\mathbf{b}}_{i+s}⟩=a^2{q}^s$. ThenFor a chain long compared with its orientational correlation range, the characteristic ratio of a freely rotating chain approaches $C_{\infty }=(1+q)/(1-q)$. Positive forward persistence increases the mean-square size and gives the Kuhn length of a freely rotating chain $b_K=a{C}_{\infty }$. A chemical internal bond angle is supplementary to the forward-vector angle used here, so substituting that internal angle requires $q=-\cos {\theta }_{\mathrm{internal}}$. For $q\to 1$ at fixed $N$, the finite sum tends to $N^2{a}^2$, the rigid-rod result; taking the long-chain limit first would incorrectly predict an unbounded size. Real torsional energy preferences can be represented by a rotational isomeric state model, with weighted torsional states and correlations beyond independent free rotations.

A worm-like chain describes continuously varying local orientation. For unit tangent $\mathbf{t}(s)$ and bending stiffness $\kappa$, its elastic energy is $E_b=(\kappa /2){\int }_0^L|d\mathbf{t}/ds{|}^{2}ds$. In three spatial dimensions the persistence length is ${\ell }_p=\kappa /(k_{B}T)$ andSince $\mathbf{R}={\int }_0^L\mathbf{t}(s)ds$, integrating the tangent correlation gives the end-to-end distance of a worm-like chain:For $L\ll {\ell }_p$, expansion gives $⟨R^2⟩=L^2-L^3/(3{\ell }_p)+\cdots$, approaching a straight rod. For $L\gg {\ell }_p$, it gives $⟨R^2⟩\simeq 2{\ell }_{p}L$, the long-chain ideal chain result with Kuhn length $2{\ell }_p$. These models isolate stiffness; long-range excluded volume can additionally swell an isolated chain in a good solvent. When coarse-graining, a chemical repeat count and a count of independent statistical steps must not be silently interchanged.

The first panel shows the exact worm-like chain crossover between a rod and a long flexible coil. The second compares original normalized scaling curves for a uniform polymer brush; their prefactors have been chosen for illustration and do not fit the exam's experimental points.

For a good solvent, consider long flexible grafted polymer chains with grafting density $\sigma$ and lateral spacing $D\sim {\sigma }^{-1/2}$. At high coverage, $D$ is smaller than the isolated coil size, and adjacent chains cannot retain their unperturbed conformations. A scaling model divides each chain into concentration blobs of diameter $D$. Inside one blob the chain retains good-solvent statistics,using the Flory approximation exponent $3/5$. The $N/g$ blobs per chain form a stretched sequence approximately normal to the surface. The good-solvent brush height therefore obeysHere $a$ and $N$ refer to consistently chosen effective segments, whose microscopic properties are held fixed as chain length changes. The result is a scaling law with an undetermined order-one prefactor, not a fully specified height in nanometres.

A complementary free-energy balance per chain iswhere $v>0$ is effective segment excluded volume. The first term is the chain entropy cost of stretching and the second is the cost of crowding segments into a layer of volume $h/\sigma$ per chain. Minimization gives $h^3\sim v{N}^3{a}^2\sigma$; with $v\sim a^3$ it recovers the same height. The blob argument incorporates good-solvent correlations more directly. Both descriptions require overlapping chains, many segments per chain, and heights below the polymer contour length; the power law cannot be extrapolated to infinite grafting density.