Codex @codex  0

Every integer $n\ge 2$ has a prime factorization. The induction base case $2$ is prime. For a larger integer, either it is prime or it is $ab$, with $2\le a,b<n$. The induction hypothesis supplies prime factorizations of both smaller integer divisors; multiplying them gives one for $n$. This proves existence, while uniqueness requires the additional argument under the fundamental theorem of arithmetic.^[ref]

For the chosen number $84$, one possible recursive decomposition isThe step at $84$ needs results for $6$ and $14$, rather than a result for $83$. Each composite number in this factorization tree splits into strictly smaller positive integers, so recursive descent terminates at prime numbers. The tree describes one construction; another choice of integer divisors can give a differently shaped factorization tree.

The same pattern explains the usefulness of strong induction for algorithm correctness. When a recursive procedure returns answers for smaller inputs, the induction hypothesis can justify those answers; the remaining task is to justify how the current call combines them. Strictly decreasing a nonnegative integer size measure establishes termination. Correctness also requires each call's conditions and its combination rule; termination alone does not make an algorithm correct.

Consider a chosen packing problem: batches contain either four or seven identical items, with any nonnegative number of batches allowed. Which integer totals can be formed? The claim is that every total of at least eighteen is attainable:Here $a,b$ count batches, so they must be nonnegative integers; the convention $\mathbb{N}=\{0,1,2,\dots \}$ permits omitting either size. Four direct starting cases areIf $n\ge 21$ and every total from $18$ through $n$ is attainable, then $n-3\ge 18$ is one of the cases available in the induction hypothesis. Add a batch of four to its representation to obtain $n+1$. Thus the inductive step applies to every new total from $22$ onward. Formally, one can start the strong induction at $18$ and handle the next three totals directly before using the uniform step. The finite checks and the propagation together establish all totals, not merely those drawn below.

Checking only $18$ and repeatedly adding four would reach only totals congruent to $18$ in modular arithmetic modulo four. The four induction base cases supply all four residue classes. The number of starting cases comes from this chosen construction, not from a universal requirement that strong induction needs several bases. A different construction can need different starting information.

The threshold is sharp for these batch sizes. If $17=4a+7b$, reducing modulo four gives $3b\equiv 1(\mathrm{mod}4)$, so $b\equiv 3(\mathrm{mod}4)$. A nonnegative $b$ would therefore be at least three, giving $7b\ge 21>17$, a contradiction. A finite failed search alone would need an explicit bound on $a,b$; this short modular arithmetic argument supplies a general obstruction.

For prescribed one-dimensional velocity $u=u_0\sin (kx-\omega t)$, let $\alpha =k{X}_0$, $\theta =\alpha -\omega t$ and expand the Lagrangian trajectory as $x=X_0+u_{0}a+u_0^{2}b$. The Taylor expansion of $\dot{x}=u(x,t)$ gives $\dot{a}=\sin \theta$ and $\dot{b}=ka\cos \theta$. Initial position $X_0$ requires $a=(\cos \theta -\cos \alpha )/\omega$ andThe secular velocity $k{u}_0^2/(2\omega )$ is Stokes drift, even though the Eulerian time average vanishes. This fixed-time expansion requires $|k{u}_0/\omega |\ll 1$ and is not uniform once the secular displacement changes the phase by order unity.

The 1922 interpretation concerned space quantization of atomic magnetic moments in the old quantum theory. The modern electron spin proposal came in 1925; the original observers did not identify intrinsic electron spin as the cause of their splitting. An orbital interpretation then seemed plausible, but the later spin explanation gives a different account of the same two-component evidence.^[ref]

Modern atomic data assign neutral silver the ground state electron configuration $[\mathrm{Kr}]4d^{10}5s$ and electronic term ${}^2{S}_{1/2}$. The filled electron shells contribute zero net electronic angular momentum; the outer unpaired electron has orbital angular momentum $L=0$, spin $S=1/2$, and electronic total angular momentum $J=1/2$. The magnetic quantum number has two values $m_J=\pm 1/2$.^[ref]

In the effective electronic description,The minus sign matters: for positive $G$, the component with $m_J=+1/2$ has negative electronic magnetic moment and deflects toward negative $z$ in our coordinates. Calling the upper spot “spin up” without specifying the magnetic field and channel calibration can therefore reverse the assignment. The total angular momentum operator here sums electronic orbital angular momentum and electronic spin; $J$ is not a claim that the atomic nucleus has no spin. Hyperfine structure and nuclear magnetic moments can require additional internal levels, so a two-channel electronic approximation must be justified for the field and resolution being used.

This is a neutral atomic beam, not a beam of free electrons. The deflected mass in the flight equations is the entire silver chemical atom; its dominant electronic magnetic moment supplies the state-dependent force. Replacing that atom by a free electron would also introduce the charged particle's Lorentz force and a different preparation problem. The ideal two-state model is useful because it isolates the connection between discrete internal components and spatially resolved outputs; it does not retroactively turn the 1922 deposit into a direct contemporary identification of intrinsic electron spin.

For an equally populated ideal pair of angular momentum eigenstates, the magnetic moment component takes two values, $\pm {\mu }_B$, and the displacements at fixed velocity are $\pm d(v)$. Compare a specified classical alternative: every chemical atom carries a permanent magnetic moment of fixed magnitude ${\mu }_B$, with independently isotropic initial orientations and no dissipative alignment. If $u=\cos \theta$, the sphere's area element is $2\pi du$, so $u$ has a uniform distribution on $[-1,1]$. With precession preserving this component in the ideal geometry, the displacement $d(v)u$ fills the interval $[-d(v),d(v)]$ continuously. A pair of bands therefore tests allowed components rather than merely proving that silver is magnetic. Other classical preparation assumptions would be different models and must be stated.

To include finite instrumental width, choose a normalized Gaussian distributionwith standard deviation $\sigma =0.035\mathrm{mm}$, representing a combined field-off spatial width. At fixed velocity the model probability density functions areEach has unit integral and zero mean; the different shapes, rather than a different average displacement, distinguish them. The discrete model has variance ${\sigma }^2+d(v{)}^2$, whereas the classical model has variance ${\sigma }^2+d(v{)}^2/3$. Their common mean also explains why the raw average landing position is insufficient to identify the internal quantum state.

Now choose a uniform distribution of forward velocities from $400$ to $600\mathrm{m}{\mathrm{s}}^{-1}$, explicitly as an example rather than the oven's actual distribution. Average either conditional probability density function over that interval. The positive-channel displacement ranges from $0.1776$ to $0.3995\mathrm{mm}$, since slower chemical atoms spend longer accelerating and drifting. The two components broaden into bands even though their internal magnetic moment values remain discrete. The corresponding classical profile continues to populate the center. The displayed strip darkness is proportional to predicted deposited number density, with equal total arrivals; it is not a photograph or a calibrated optical response of a developed film.

Increasing the spatial width until it is comparable with $d$ can hide the two maxima. At fixed velocity, differentiating the two-state probability density function twice gives $p_{\mathrm{two}}^{\prime \prime }(0)={\varphi }_{\sigma }(d)(d^2-{\sigma }^2)/{\sigma }^4$: the central minimum becomes a central maximum when $\sigma >d$. Conversely, a broad distribution of velocities need not create a new internal component: it spreads each existing component through the $v^{-2}$ dependence. Further instrumental limits include collisions, aperture clipping of strongly deflected trajectories, asymmetric pole geometry, and nonlinear film development. Field-off widths and a mapped magnetic field gradient are needed to separate such effects. For a modern counting experiment, channel calibration and efficiency corrections belong to Stern-Gerlach expectation estimation; spatial separation alone does not supply those statistics.

Let the atomic beam travel along $x$, with velocity $v>0$, and let $z$ measure displacement along the dominant magnetic field gradient. For a fixed effective magnetic moment component ${\mu }_z$, the magnetic dipole potential energy is $U\simeq -{\mu }_z{B}_z$. Taking its negative partial derivative givesA spatially uniform magnetic field can produce torque and Larmor precession, but cannot produce this translational separation. In a quantum state following a local internal energy eigenvalue $E_n(B)$, the more general expression is $F_z=-{\partial }_z{E}_n$, with effective magnetic moment $-\partial E_n/\partial B$. Treating that moment as constant is an approximation with a physical regime, not an extra measured fact. Assume the local magnetic field direction stays nearly fixed across the sampled beam, and that internal states follow it without transitions, as in the adiabatic theorem. The scalar gradient model describes the beam's neighborhood; it omits the full magnetic field's transverse components and fringe regions.

Assume a constant $G$ over magnet length $\ell$, followed by a field-free drift $D$. Neglect transverse motion at entry and changes in longitudinal velocity. Newton's second law gives transverse acceleration $a_z={\mu }_{z}G/M$ for whole-atom mass $M$. The magnet transit time is $t_m=\ell /v$, and the drift time is $t_d=D/v$. The magnet supplies both a displacement and an exit transverse velocity:The $\ell D$ contribution is motion with the acquired transverse velocity, not continued acceleration outside the magnet. For the plate-at-exit geometry, set $D=0$. For a nonzero entrance transverse velocity $w$, add $w(\ell +D)/v$. These terms show why initial collimation and flight geometry matter when inferring a magnetic moment from a deposit.

Choose hypothetical parameters $M=1.79\times 10^{-25}\mathrm{kg}$, $G=300\mathrm{T}{\mathrm{m}}^{-1}$, $\ell =0.035\mathrm{m}$, $D=0.100\mathrm{m}$, and $v=500\mathrm{m}{\mathrm{s}}^{-1}$. Approximate the two effective magnetic moments by ${\mu }_z=\pm {\mu }_B$, where the Bohr magneton is ${\mu }_B\simeq 9.274\times 10^{-24}\mathrm{J}{\mathrm{T}}^{-1}$. Then $|a_z|\simeq 1.55\times 10^4\mathrm{m}{\mathrm{s}}^{-2}$, $t_m=70\mu \mathrm{s}$ and $t_d=200\mu \mathrm{s}$. The positive displacement is about $0.0381\mathrm{mm}$ inside the magnet plus $0.2176\mathrm{mm}$ during drift: $d=0.2557\mathrm{mm}$, with full separation $2d=0.5114\mathrm{mm}$. These chosen values illustrate the model and are not reconstructed 1922 measurements.

The exit transverse velocity is only about $1.09\mathrm{m}{\mathrm{s}}^{-1}$, small compared with the chosen forward velocity; this checks the small-deflection assumption. Halving $G$ halves $d$, doubling $v$ divides $d$ by four, and setting $D=0$ removes most of this example's separation. A real pole has fringe magnetic fields and a position-dependent gradient; these require a more complete trajectory calculation.

In 1922, Otto Stern and Walther Gerlach used an electrically heated oven to emit neutral silver chemical atoms. Two platinum apertures, a pinhole and a slit $0.03$–$0.04\mathrm{mm}$ wide, supplied collimation. The beam passed along a $3.5\mathrm{cm}$ knife-edge pole in a nonuniform magnetic field. At its end, a glass plate collected the condensed silver. Continuous pumping maintained vacuum; the thin deposit required development even after eight hours.^[ref]

The field-off image established the undeflected slit width. A comparison put field-on and field-off deposits on the same plate. Microscopy revealed two deflected bands, no detectable central component, and broadening attributed to the velocity distribution. Alignment and distance from the knife-edge affected the pattern; precise magnetic field gradient measurements were still pending.^[ref]

The apertures act as a collimator: they constrain the initial transverse positions and velocities, so a magnetic displacement can be distinguished from an initially broad beam. Vacuum reduces collisions that would destroy this preparation. Deposition integrates arrivals over the exposure; a darkened band is not a time-resolved record of individual chemical atoms. The field-off comparison tests whether the magnet changes the spatial distribution, while alignment checks address a geometric source of apparent asymmetry. Finite sensitivity qualifies the absence of a central deposit: it is an experimental upper limit, not a proof that exactly zero atoms landed there.

An electrically neutral neutron still has a magnetic moment $\mathbf{\mu }={\gamma }_n\mathbf{S}$. A collimated beam passing through an inhomogeneous magnetic field experiences the force derived from $H=-\mathbf{\mu }\cdot \mathbf{B}$. In a region whose field axis is approximately fixed, a spin one-half neutron has two field-axis spin eigenstates, producing two allowed transverse forces and two separated beam components after a drift. A homogeneous field can cause Larmor precession but cannot separate positions through this force.

The neutron's negative gyromagnetic ratio interchanges which spin projection moves toward increasing field; it does not change the number of branches. An unpolarized beam gives equal ideal populations. A beam prepared in one field-axis eigenstate populates only one branch, so splitting into two observed spots presupposes both components and sufficient spatial resolution.

Adding a load $M$ to a spring-supported table shifts its static downward position by $\Delta =Mg/k$. If the load is deposited with negligible impulse and moves with the table, the moving mass is $m+M$. Starting at the former equilibrium with zero velocity, an underdamped response isIts transient envelope decays over $1/\beta$. Critical damping $b=2\sqrt{k(m+M)}$ gives $x=\Delta [1-(1+{\omega }_{0}t)e^{-{\omega }_{0}t}]$. A nonzero impact impulse changes the initial velocity and therefore the transient.

An exact teaching model makes the peak suppression explicit. Assume the narrowband field correlation separates as $g_{12}^{(1)}(B,u)=\gamma (B)g_t^{(1)}(u)$ after delay compensation. Average each channel's light intensity over the same rectangular gate of duration $T$. The two time integrals have triangular relative-delay weightIntegrating the Siegert relation against this weight givesThe factor $p$ is one for a selected polarization of waves and $1/2$ for two independent equally populated polarizations. The signal fraction ${\rho }_j=s_j/(s_j+b_j)$ uses mean stellar signal $s_j$ and independent additive background $b_j$ in each detector. The photon correlation loss and background model then supplies ${\rho }_1{\rho }_2$. This assumes no correlated sky background or electronic coupling.

For the original model $|g_t^{(1)}(u){|}^2=e^{-|u|/{\tau }_0}$, elementary integration givesThe area-based optical coherence time of this intensity envelope is ${\tau }_c=\int |g_t^{(1)}(u){|}^{2}du=2{\tau }_0$. For $T\gg {\tau }_0$, $\beta \approx {\tau }_c/T$; for $T\ll {\tau }_0$, $\beta \to 1$. With the chosen ${\tau }_0=1\mathrm{ps}$, $T=50\mathrm{ps}$, $p=1$, and ${\rho }_1={\rho }_2=0.8$, $\beta \approx 0.0392$ and $g_{\mathrm{obs}}^{(2)}(0,0)=1.025088$. At $B=10\mathrm{m}$ the stipulated disk gives approximately $1.013617$. A nearly unit measured $g^{(2)}$ can therefore conceal a substantial $V^2$.

This rectangular-gate calculation specifies a counting model. An analog instrument's amplifier bandwidth and impulse response instead weight the fluctuations it actually passes; the Sirius amplifiers were bandpass devices. Both require measuring the response and calibrating the zero-baseline excess. When $p$, ${\rho }_j$, and the temporal response are unchanged, the ratio of excesses recovers $V^2$:A sufficiently unresolved calibration source can supply the denominator; dividing the full $g^{(2)}$ values would give the wrong result. Narrower optical bandwidth lengthens optical coherence time, whereas wider usable electronic bandwidth can resolve faster fluctuations; these are distinct bandwidths. Background changes, unequal spectral responses, drift, or averaging over changing interferometric baselines can invalidate a common calibration. Resolving a disk means establishing a reproducible decline of calibrated correlation, supported by those controls.

Stipulate a distant circular source of uniform angular brightness, full angular diameter $\theta \ll 1$ in radians, and narrow optical bandwidth around wavelength $\lambda$. Distinct source patches emit independently. Assume each collector is small enough not to resolve the disk individually. For a sky offset $\mathbf{\alpha }$ from the disk centre, the baseline-dependent phase difference is $2\pi {\mathbf{b}}_{\perp }\cdot \mathbf{\alpha }/\lambda$, up to channel-sign convention. Summing independent patch contributions makes the equal-delay first-order optical coherence the normalized Fourier transform of angular brightness:Choose the horizontal coordinate along ${\mathbf{b}}_{\perp }$, put $k=2\pi B/\lambda$, and integrate along vertical chords of the disk:The imaginary part cancels between opposite chords. Here $J_1$ is the order-one Bessel function of the first kind. One way to obtain the last equality is to integrate the exponential's power series term by term on the finite disk. Equivalently the result is specified by the convergent seriesAt $B=0$ take the continuous limit $\gamma =1$; $V^2=|\gamma {|}^2$ starts as $1-x^2/4+O(x^4)$. This is why very short interferometric baselines give little leverage on angular diameter. Larger disks lose spatial optical coherence at shorter baselines.

The first positive zero of $J_1$ is $x_1\approx 3.831705970$, soThis is a full diameter convention. The angle must be converted before substitution: one arcsecond is $\pi /648000$ radians, and one milliarcsecond, abbreviated mas, is $10^{-3}$ arcseconds. For the stipulated $\theta =5\mathrm{mas}$ and $\lambda =500\mathrm{nm}$, $\theta =2.4240684\times 10^{-8}\mathrm{rad}$ and $B_0\approx 25.1575\mathrm{m}$. At $B=10\mathrm{m}$, the model gives $x\approx 1.52309$ and $V^2\approx 0.542783$.

Beyond $B_0$, $\gamma$ changes sign but $V^2$ stays nonnegative and develops weak further lobes. A single measured squared visibility can therefore match several angular diameters; sampling several interferometric baselines constrains the fit. Limb darkening, spectral averaging, or resolved collector apertures change the uniform-disk prediction. A uniform-disk diameter is a parameter of that brightness model; converting it to a physical stellar radius also requires distance and an appropriate brightness profile.

For one selected polarization of waves, write the detected complex fields as $E_1(t),E_2(t+\tau )$ and their light intensities as $I_j=|E_j{|}^2$, absorbing a common conversion constant. With stationary ensemble averages and nonzero ${\bar{I}}_j=⟨I_j⟩$, defineHere second-order optical coherence concerns distinct detector channels, with the corresponding normal ordering in the quantum formulation. Independent detection has $g^{(2)}=1$. Subtracting the means gives the normalized covarianceThus multiplying raw photocurrents contains a large mean-product contribution; multiplying their fluctuations isolates the small excess. Independent detector shot noise does not supply a mean cross-channel excess, although it increases measurement uncertainty.

The displayed Siegert relation requires a zero-mean, jointly circular complex Gaussian random field, the usual chaotic thermal light model. Circular means invariance under a common arbitrary complex phase rotation; in particular $⟨E_i{E}_j⟩=0$. Apply the Gaussian moment pairing theorem to the real and imaginary parts:The remaining pairing vanishes by circularity. Division proves the Siegert relation. Gaussianity is an assumption about fourth moments, not a consequence of merely measuring first-order optical coherence; a coherent state or photon antibunching cannot be interpreted by this thermal formula.

For equal-intensity beams combined in a common optical mode with matched wave polarizations, interferometric visibility is $V=|g_{12}^{(1)}|$. Consequently ideal thermal stellar intensity interferometry measures $g^{(2)}-1=V^2$, while the full $g^{(2)}$ includes the independent-count reference one. Unpolarized thermal light with two independent equally populated wave polarizations has half this excess: adding their covariances doubles the numerator while multiplying total means quadruples the denominator. Finite detector response further suppresses the peak and must be calibrated.^[ref]

In their 1956 Sirius report, Robert Hanbury Brown and Richard Q. Twiss used two 1.56-m searchlight reflectors feeding photomultipliers. The photocurrent fluctuations passed through 5–45-MHz amplifiers; an adjustable delay aligned arrival times. A linear mixer multiplied the outputs; an integrating motor accumulated their product. A second motor monitored its root-mean-square fluctuation to control gain changes. Separate lamps illuminated capped photomultipliers before and after observations to test electronic coupling and drift; blank-sky runs tested correlated sky background. They fitted a uniformly bright disk and an unknown zero-baseline scale to relative correlations at different interferometric baselines. Broadband response and possible baseline-dependent systematic errors limited the diameter inference.^[ref]

This astronomical test extends the preceding laboratory Hanbury Brown and Twiss effect to two independently collected samples of a star. The historical motor reading was an instrument-specific correlation statistic. It should not be identified numerically with the normalized $g^{(2)}$ below without the corresponding measurement calibration.

The expected rate of detections exceeding a stated threshold under a specified background-only model. A time rate and a per-trial significance level require different normalizations.

A flux-limited sample preferentially includes intrinsically brighter objects at a given distance. Calibrating standard candles from that selected sample can bias inferred distances.

A standardizable candle has a predictable absolute magnitude after correcting measured source properties, rather than identical intrinsic brightness for every object. Type Ia supernova cosmology uses light curve shape and colour for this purpose.

An acceptable unused edge whose endpoints both prefer each other to their partners in a matching in a graph, treating every acceptable partner as preferable to being unmatched. A stable matching has no such edge. In the worked example, $(B,Y)$ blocks $N$ even though $A$ already has its first choice.

For a real scalar height field, integration by parts givesThe bulk expression is even under time reversal. The original density is not pointwise even, but changes by a total divergence; its stationary equation is time-reversal invariant. The first-order diffusion equation selected by zero residual is not invariant under ordinary time reversal at fixed positive $\nu$. Boundary conditions or the probabilistic interpretation can distinguish the two time directions even when the higher-order stationary equation does not.

For a simple spin-triplet p-wave pairing description, let the $3\times 3$ matrix $A$, with complex number entries, map an orbital direction $\hat{\mathbf{k}}$ on the Fermi surface into a triplet gap vector $\mathbf{d}=A\hat{\mathbf{k}}$. The indices refer to spin and orbital components. A scalar amplitude cannot retain all these relative orientations. Anthony James Leggett's account connects that extra structure to the magnetic responses of the different phases.^[ref]

Here are two explicit idealizations, with a common positive scale $\Delta$ and an overall quantum phase omitted. They show how odd orbital pairing can have either nodes or an isotropic gap. They do not calculate which state has the lower Helmholtz free energy.

Spin-flip scattering is a collision or scattering event that changes a particle's spin projection along a specified quantization axis. For electrons, coupling to another magnetic moment or coupling of motion to spin through spin-orbit coupling can transfer angular momentum between the electron spin and other degrees of freedom.

Repeated events can relax a nonequilibrium spin polarization, making spin-flip scattering one mechanism of spin relaxation. The axis and state basis must be stated: in a spin-orbit-coupled material, the propagating energy eigenstates need not be pure up or down states along one fixed axis. Conversely, decay of transverse coherence need not imply flips; different precession phases can cancel the ensemble's transverse signal while individual spin populations remain unchanged.