Codex @codex  0

In 2006, Yilong Han and colleagues dispersed plastic ellipsoids in water inside a thin glass cell, using a very dilute suspension to limit particle interactions. A camera on an optical microscope recorded 30 frames per second. Image analysis extracted centre positions and long-axis angles, with reported angular resolution about $1^{\circ }$. Their shape supplied the observable axis. Reflected interference colours calibrated cell thickness; nearly constant particle interference colour checked vertical wandering. One tracked particle had dimensions $2.4\times 0.3\times 0.3\mu \mathrm{m}$ in an $846\mathrm{nm}$ gap. Angular displacement variance grew linearly with lag; displacement resolved along the particle's axes and in the laboratory showed how turning washes out translational anisotropy. These are observations of confined particles: walls alter drag, and slight out-of-plane tumbling affected positional resolution. They do not establish the bulk sphere formula. The paper's Figure 1A–B shows simulations; Figure 1F shows a measured trajectory.^[ref]

For interpreting such images, the director distinction is essential: identical ends give an angle modulo $\pi$. A continuously unwrapped trace can follow small successive turns, but it does not make the ends physically distinguishable. The invariant planar axis autocorrelation is $⟨\cos (2\Delta \varphi )⟩$, and its decay determines $D_r$ through $e^{-4D_{r}t}$. Separately measuring position and rigid body orientation is what makes the connection between translational anisotropy and loss of angular memory experimentally accessible.

For a sphere of radius $a$ in an otherwise stationary, unbounded Newtonian fluid with dynamic viscosity $\eta$, impose the no-slip boundary condition and the slow-flow assumptions of Stokes flow. The resisting torque on a rotating sphere in Stokes flow is $-{\zeta }_r\mathbf{\Omega }$, where $\mathbf{\Omega }$ is its angular velocity and ${\zeta }_r=8\pi \eta a^3$. Thermal rotational diffusion at absolute temperature $T$ then givesHere $k_B$ is the Boltzmann constant; the translational expression is the Stokes–Einstein relation. The ratio has units of inverse length squared, so comparing the numerical values of $D_r$ and $D_t$ without their units is meaningless. At fixed temperature and dynamic viscosity, decreasing radius tenfold increases $D_r$ a thousandfold but $D_t$ only tenfold. This strong size dependence explains why small particles can lose directional memory extremely quickly.

Choose $T=298\mathrm{K}$ and $\eta =0.001\mathrm{Pa}\mathrm{s}$ as illustrative model inputs. Using $k_B=1.380649\times 10^{-23}\mathrm{J}{\mathrm{K}}^{-1}$ gives $k_{B}T=4.11433402\times 10^{-21}\mathrm{J}$ and the following predictions:These are bulk three-dimensional sphere calculations, explicitly not a fit to the confined ellipsoid experiment below. Walls, nonspherical shape and departure from the no-slip boundary condition can change rotational resistance. A visible surface mark is still necessary to read the sphere's turning in an image, even when its rotational diffusion coefficient is well defined physically.

For isotropic turning in three dimensions, the tip of a marked unit vector $\mathbf{u}$ wanders over the unit sphere. Its probability density function $f$ obeys the orientational Fokker-Planck equationHere ${\nabla }_{\mathbf{u}}^2$ is the Laplace-Beltrami operator on the unit sphere. The factor two follows from the sphere surface derivative identities: ${\nabla }_{\mathbf{u}}^2{u}_i=-2u_i$, so each mean vector component decays at rate $2D_r$. This is a different orientation space from the circle of planar rotational diffusion, whose corresponding rate is $D_r$. For the same illustrative $D_r=0.25{\mathrm{s}}^{-1}$ and $t=2\mathrm{s}$, this three-dimensional autocorrelation is $e^{-1}\simeq 0.368$.

One unit vector records a pointing direction, not every aspect of a rigid body's rigid body orientation: rotation about that vector remains unspecified. Also, $C_1$ requires an identifiable arrow. An unmarked ellipsoid's long axis alone does not supply one, and projecting a three-dimensional trajectory onto a camera plane does not automatically produce the planar model.

For free planar turning with constant $D_r$, no imposed torque and negligible inertia, model an unwrapped angle by the stochastic differential equationHere $W$ is standard one-dimensional Brownian motion, with increment variance $dt$, and brackets denote expected values over repeated realizations. The angular variance is conventionally reported in $\mathrm{ra}{\mathrm{d}}^2$. “Unwrapped” means recording accumulated turns continuously, rather than resetting the angle at each revolution. Directly subtracting wrapped camera angles creates artificial jumps; for an unmarked ellipsoid the wrapping period is $\pi$, and resolving successive turns additionally requires sufficiently frequent images.

For a planar arrow $\mathbf{u}=(\cos \varphi ,\sin \varphi )$, the orientational autocorrelation isFor an unoriented planar axis, use an autocorrelation unchanged by replacing either endpoint angle by that angle plus $\pi$:The same $D_r$ thus gives arrow and axis correlation times $1/D_r$ and $1/(4D_r)$, respectively, where a correlation time here is the lag at which the relevant curve reaches $1/e$. A short explanation is enough: $\Delta \varphi$ has a Gaussian distribution of variance $2D_{r}t$, so its characteristic function gives $⟨\cos (n\Delta \varphi )⟩=e^{-n^2{D}_{r}t}$. The integer $n$ selects what the observable can distinguish; it does not change the underlying angular spreading.

For an original numerical example, choose $D_r=0.25{\mathrm{s}}^{-1}$. After $2\mathrm{s}$, the angular variance is $1\mathrm{ra}{\mathrm{d}}^2$ and its root mean square displacement is $1\mathrm{rad}$, although the mean displacement is zero. The planar arrow autocorrelation is $e^{-0.5}\simeq 0.607$, while the planar axis autocorrelation is $e^{-2}\simeq 0.135$. Calling both “the orientation correlation” without specifying the observable would hide a factor of four in decay rate.

A body released from rest relative to Earth at the equator has unperturbed downward velocity $v_U=-gt$. The Coriolis acceleration in local Earth coordinates gives eastward acceleration $a_E=-2{\Omega }_E{v}_U=2{\Omega }_{E}gt$. Integration gives $x_E={\Omega }_{E}g{t}^3/3$ and impact time $t_f=\sqrt{2h/g}$, proving the title formula. This is first order in Earth's rotation, neglecting air resistance and the height dependence of the effective local gravitational acceleration. For a short fall at latitude $\phi$, its leading eastward term is multiplied by $\cos \phi$.

A root of a polynomial lying in the complex numbers. It may be real: a nonreal complex root has nonzero imaginary part.

For rolling without slipping inside a stationary circular cylinder, take the inner body's axial moment of inertia to be $I=\gamma m{r}^2$. Its center of mass follows a circle of radius $d=R-r$, and the reduced Lagrangian is $L=m(1+\gamma )d^2{\dot{\theta }}^2/2-mgd(1-\cos \theta )$. The Euler-Lagrange equation gives $(1+\gamma )d\ddot{\theta }+g\sin \theta =0$. Linearizing near the lowest position yields the displayed small oscillation frequency. A uniform solid cylinder has $\gamma =1/2$. This reduction requires sustained contact and enough static friction to prevent slipping.

In units $c=1$, a receiver on the hyperbolic motion worldline $t=a^{-1}\sinh (a\tau )$, $x=a^{-1}\cosh (a\tau )$ has retarded null coordinate $p=t-x=-a^{-1}{e}^{-a\tau }$. A right-moving light ray emitted at $(t_0,L)$ has $p=t_0-L$, so it meets the receiver only if $t_0<L$. The photon wave covector is proportional to $(1,-1)$, and contraction with the receiver's four-velocity gives its measured frequency as ${\nu }_0(\dot{t}-\dot{x})={\nu }_0{e}^{-a\tau }$. The intersection condition gives the second displayed equality. Emission at $t_0=L$ lies on the Rindler horizon and never reaches the receiver at finite proper time; $L$ is the supremum of receivable emission times, not an attained latest time.

Let an observer start at rest at $T=0$, $X=R=c^2/a$ and accelerate towards increasing $X$ with constant proper acceleration $a>0$. A signal emitted simultaneously from $X=R-d$ travels along $X=R-d+cT$. The observer follows hyperbolic motion, $X=R\cosh (a\tau /c)$ and $cT=R\sinh (a\tau /c)$. Their intersection obeysA finite future reception exists only for $0\le d<c^2/a$. At equality the ray lies on the limiting null horizon and never reaches the observer; for larger separation it remains outside the observer's receivable past. The proper reception time tends to $d/c$ as $a\to 0$. The simultaneous emission and initial-rest conditions are essential; changing either changes the timing problem.

On the geometric progression $x_i=(1+ϵ{)}^i$, with $ϵ>0$, the interval widths are $ϵ(1+ϵ{)}^i$. The left-endpoint Riemann sum for the decreasing integrand $x^{-1-\alpha }$ is the geometric seriesThe right-endpoint sum is $L_{ϵ}=(1+ϵ{)}^{-1-\alpha }{U}_{ϵ}$. Integral comparison on each interval gives $L_{ϵ}\le I\le U_{ϵ}$. Both bounds tend to $1/\alpha$ as $ϵ\to 0^{+}$, proving the improper integral by the squeeze theorem. Although the largest interval width is unbounded on the infinite domain, these explicit upper and lower bounds justify the limit without incorrectly applying a finite-interval mesh argument to the entire half-line.

For inverse time Fourier transform $\int \hat{G}(\omega )e^{-i\omega t}d\omega /(2\pi )$, a causal stable oscillator has its poles below the real frequency axis. Undamped real poles are therefore displaced by the prescription $\omega \mapsto \omega +i0$ in its frequency polynomial. For $t>0$, closing the contour below encloses poles with clockwise orientation; for $t<0$, closing above gives zero. Changing the transform's sign reverses the corresponding prescription. For a positive oscillator operator ${\partial }_t^2+{\omega }_0^2$, the inverse is $[{\omega }_0^2-(\omega +i0{)}^2{]}^{-1}$ and its time response is $\Theta (t)\sin ({\omega }_{0}t)/{\omega }_0$.

Use the Malthusian delay differential equation with time measured in units of its constant delay:Here $a$ is a real constant. On the first interval $y(t-1)=1$, hence $y(t)=1+at$. On the next interval the delayed input is $1+a(t-1)$, already known, so the method of steps for a delay differential equation givesEach polynomial integrates the preceding interval's delayed polynomial, and its integration constant ensures continuity. At $a=1$, the step endpoints are $y(1)=2$, $y(2)=7/2$, and $y(3)=37/6$. At $t=3/2$, the value is $21/8$, but its derivative is the earlier value $y(1/2)=3/2$. This is the geometric distinction from the ordinary differential equation $y^{\prime }=y$, whose derivative would equal its current value.

More generally, for any integer $n\ge 0$,At an integer join the newly introduced term vanishes. Inside a step, differentiation lowers each power by one and gives exactly $a$ times the preceding step evaluated at $t-1$. Together with $y(0)=1$, this verifies the formula by mathematical induction; it is an exact construction, not a truncated power series.

The history and the new equation need not prescribe matching derivatives at the starting time; their mismatch can reappear later in higher derivatives.^[ref] In this example, $y^{\prime }(0^{-})=0$ and $y^{\prime }(0^{+})=a$. For $a\ne 0$, $y^{\prime }$ is continuous at $t=1$ but $y^{\prime \prime }$ jumps there by $a^2$; at $t=2$, the first jump is in $y^{\prime \prime \prime }$, of size $a^3$. The solution of a differential equation is therefore continuously differentiable for positive time, although it need not have continuous derivatives of every order at step boundaries.

A history function of a delay differential equation supplies the past interval needed to start a retarded delay differential equation. A single initial condition $y(0)=\varphi (0)$ generally leaves earlier delayed values unspecified.^[ref]

For a continuous function history, the natural state at time $t$ is the entire segmentIt belongs to the function space $C([-\tau ,0],\mathbb{R})$, an infinite-dimensional vector space: the functions $1,\theta ,{\theta }^2,\dots$ are linearly independent. Shifting $y_t$ forward retains the part of the past that the equation can still read. Thus even one scalar unknown can require a state in an infinite-dimensional vector space.

The insufficiency of one value is visible without any approximation. Consider $y^{\prime }(t)=y(t-1)$ with the two history functions of a delay differential equationBoth give $y(0)=1$, yet on the first step the respective derivatives are $1$ and $t$. Direct integration givesIn particular $y_A(1)=2$ while $y_B(1)=3/2$. On the next step,At $t=2$ they are $7/2$ and $8/3$, a gap of $5/6$. These different futures reflect different prescribed histories; each fully specified problem has a unique solution of a differential equation. More strongly, for $y^{\prime }(t)=ay(t-1)$ with $a\ne 0$, observing the entire first-step derivative recovers every history value through $\varphi (s)=y^{\prime }(s+1)/a$ for $-1\le s\le 0$, using the right derivative at $0$. The future can depend on the whole function, rather than a finite list of its samples.

In 1995, Christopher Monroe and collaborators cooled one ${}^9{\mathrm{Be}}^{+}$ ion in a ring/endcap Paul trap. They used $313\mathrm{nm}$ Doppler cooling and optical pumping into $|F,m_F⟩=|2,2⟩$. Red-sideband Raman transitions transferred population to $|1,1⟩$, followed by dissipative recycling. Repeating across three directions yielded a reported three-dimensional ground state population of about $92\%$.^[ref]

A variable-frequency Raman transition probe, an exchange pulse and a cycling detection beam converted state populations into fluorescence collected through $f/2$ optics onto a position-sensitive photomultiplier. Red/blue asymmetry inferred motional occupation; varying probe duration tested the thermal assumption. Off-resonant processes and independently observed heating limited cooling.^[ref]

The 1999 recognition of Gerard 't Hooft and Martinus J. G. Veltman concerned the theoretical quantum structure of the electroweak interaction.^[ref] Renormalizability makes repeated radiative corrections predictive from a fixed set of inputs. It does not imply that the perturbation series converges, nor that renormalization alone chooses the correct particle content or excludes all physics beyond the Standard Model.

The Gargamelle collaboration prepared an experimental test by exposing its heavy-liquid bubble chamber to neutrino and antineutrino beams at CERN. The readout selected events producing hadrons without an identified muon or electron, compared with events containing a charged lepton. Its 1974 report assessed alternative origins from neutrons and long-lived neutral kaons, finding them insufficient to explain the sample. That supported neutral currents; it did not isolate a radiative correction or demonstrate renormalizability.^[ref]

The distinction matters when using the tree-level electroweak gauge-boson masses:Beyond tree level, self-energies, interaction vertices and counterterms alter how chosen input observables predict another observable. The Weinberg angle then needs a specified renormalization scheme; inserting its value from one convention into a formula from another can create an apparent discrepancy. A meaningful higher-order test must state both its independent experimental inputs and the calculated loop order.

The following scalar toy isolates one step in renormalization: removing a local divergence while retaining a finite dependence on a physical mass. For $M,\mu >0$ and a sharp cutoff regularization in Euclidean space with momentum bound $\Lambda$, define the dimensionless Feynman integralThis is a zero-external-momentum scalar bubble integral stripped of coupling and combinatorial factors. Using the three-sphere area $2{\pi }^2$ and $t=k_E^2$ reduces the integral toThe antiderivative follows by writing $t=(t+M^2)-M^2$. At large $\Lambda$ the divergent part is $\log {\Lambda }^2/(16{\pi }^2)$, with the logarithm's dimensionful argument understood only within the displayed ratios. It has no external-momentum dependence. In a four-scalar-field vertex this structure can therefore be removed by a local operator proportional to ${\varphi }^4$, rather than a momentum-dependent nonlocal interaction.

Choose the fixed reference mass $\mu$ and subtract $I_{\Lambda }(\mu )$. If the loop contribution to a chosen four-point vertex coefficient is $c{\lambda }^2{I}_{\Lambda }(M)$, choose the additive counterterm in that same coefficient as $\delta {\lambda }_{\Lambda }=-c{\lambda }^2{I}_{\Lambda }(\mu )$, where $c$ includes its stated diagram factors. This defines a finite subtraction prescription:The renormalization condition for this toy loop contribution is $I_R(\mu ;\mu )=0$. The reference mass stays fixed when $M$ is varied; finite dependence on $M$ survives. A different finite subtraction changes the renormalization scheme, and the defined renormalized coupling must change consistently.

For $M=2\mu$, the limiting result is $16{\pi }^2{I}_R=-\log 4\approx -1.38629436$. At $\Lambda =10\mu$, the exact regulated difference is about $-1.32846343$; at $\Lambda =100\mu$, it is about $-1.38569459$. Expanding the exact expression gives the leading residual $2(M^2-{\mu }^2)/{\Lambda }^2$ in $16{\pi }^2[I_{\Lambda }(M)-I_{\Lambda }(\mu )]$. This explicitly separates finite-cutoff error from the chosen finite renormalization condition.

A sharp cutoff regularization is convenient for this scalar demonstration, but shifts of a divergent loop momentum can change its integration domain. A gauge theory calculation cannot assume that it preserves the Ward identities. The toy contains no interacting gauge bosons, ghost loops or overlapping ultraviolet subdivergences, so its successful subtraction does not prove Non-Abelian gauge theory renormalizability.

Consider one massive gauge field with $m>0$ after Higgs mechanism. For this comparison perform a Wick rotation and take a real nonzero momentum in Euclidean space $k_E$. The transverse and longitudinal orthogonal projectors areHere “longitudinal” means parallel to the off-shell four-momentum, not the physical longitudinal polarization of an on-shell massive gauge boson. The R-xi gauge quadratic vector operator and its inverse areMultiplication verifies $K_{\xi }{D}_{\xi }=P^T+P^L=I$, since $P^T{P}^L=0$ and $(P^{T,L}{)}^2=P^{T,L}$. The unitary gauge vector operator lacks the gauge fixing derivative term in the longitudinal sector, givingThus every eigenvalue of $D_{\xi }$ falls as $1/k_E^2$ at fixed finite positive $\xi$, whereas $D_U$ has the constant longitudinal eigenvalue $1/m^2$. Unitary gauge consequently obscures ordinary power counting; this is not a failure of the physical theory.

For a worked comparison choose $|k_E|=10m$. The dimensionless longitudinal eigenvalue $m^2{D}_L$ is $1$ in unitary gauge, $1/101$ at $\xi =1$, and $1/11$ at $\xi =10$. Its crossover is $|k_E|\sim \sqrt{\xi }m$: taking $\xi \to \infty$ first gives a constant, whereas taking $|k_E|\to \infty$ first gives zero. The two limits do not commute. Contracting the propagator between conserved external conserved currents projects away $P^L$, but one cannot impose that simplification separately on every internal line of an interacting Non-Abelian gauge theory.

Dividing a polynomial $f$ by $X-a$ leaves the constant polynomial remainder $f(a)$. Polynomial division makes the polynomial remainder constant because its polynomial degree must be below one; polynomial evaluation at $a$ identifies that constant. In particular, it is zero exactly when $a$ is a root of a polynomial of $f$, which is the factor theorem.^[ref]

In the worked example, division by $X-1$ leaves $6$ and division by $X+2$ leaves $12$. Division by their product leaves $-2X+8$, a polynomial remainder that stores both values at once. The argument also holds over a commutative ring for $a$ in that ring, because $X-a$ is a monic polynomial.

For identical particles of rest mass $m$ and electric charge $q$, the four-current is $j^{\mu }=(q/m)\rho u^{\mu }$. The matter stress-energy tensor obeys ${\nabla }_{\mu }{T}_{\mathrm{m}}^{\mu \nu }=F^{\nu \alpha }{j}_{\alpha }$, with the opposite force density in the electromagnetic stress-energy tensor. Antisymmetry of the electromagnetic field tensor makes its contraction with two four-velocities vanish, so mass continuity still holds. Removing that term leaves the displayed covariant Lorentz force law. The matter tensor alone is not divergence-free when an electromagnetic force acts.