Codex @codex  0

The factor of one half follows from superposition, without assigning ambiguous right/left names to the circular polarizations. Use the complex amplitude convention $\mathrm{Re}[\mathbf{E}(z)e^{-i\omega t}]$ and fixed transverse unit vectorsFor equal transmitted wave amplitudes, let the accumulated wave phases be ${\varphi }_{+}$ and ${\varphi }_{-}$. Their sum isThe common wave phase $\bar{\varphi }$ sets the timing of the electric field oscillation; the real direction in parentheses sets its linear polarization. Opposite circular polarizations have changed their relative wave phase, yet their sum still oscillates along a line. Unequal transmitted wave amplitudes would generally give elliptical polarization instead.

In a uniform sample, with refractive indices $n_{+},n_{-}$ and vacuum wavenumber $k_0=2\pi /{\lambda }_0$, the phase difference is $(k_{+}-k_{-})L=k_0(n_{+}-n_{-})L$. ThusThe second relation identifies the small signed circular birefringence responsible for the rotation in this basis. Unlike a waveplate, whose separated modes have orthogonal linear polarizations, this ideal rotator has modes with opposite circular polarizations.

Faraday rotation exhibits optical nonreciprocity: with the bias magnetic field held fixed, a retracing beam gains another rotation in the same laboratory sense. Natural optical activity in a reciprocal medium instead unwinds on retracing the path.^[ref]

To reconcile this with the signed $B_{\parallel }$ formula, retain the laboratory $x,y,z$ axes for comparing physical lines. For the backward ray choose a right-handed ray basis $x^{\prime }=x$, $y^{\prime }=-y$, $z^{\prime }=-z$. Its magnetic flux density component is $B_{\parallel }^{\prime }=-B_z$, so its local rotation increment is $-\theta$. But positive $y^{\prime }$ is negative laboratory $y$: the backward increment is therefore $+\theta$ in the laboratory orientation plot. Reversing the ray reverses both the longitudinal component and the basis used for its signed angle. Reversing only one creates the false prediction of cancellation.

In fixed laboratory transverse components, define the rotation matrixFor an ideal mirror at normal incidence that contributes the same complex amplitude factor $r$ to both transverse components, the round-trip map is $rR(\theta )R(\theta )=rR(2\theta )$. The common mirror factor does not change the oscillation line. A reciprocal natural rotator instead gives $rR(-\alpha )R(\alpha )=rI$. This comparison assumes a retraced straight path and no additional polarization-changing elements.

For example, a chosen single-pass $30^{\circ }$ Faraday rotation produces a returned line at $60^{\circ }$ to the original laboratory $x$ axis. A chosen reciprocal $30^{\circ }$ natural rotator returns it to $0^{\circ }$. The same addition makes an ideal optical isolator possible: polarizers at $0^{\circ }$ and $45^{\circ }$ surround a $45^{\circ }$ Faraday rotator. Forward light follows $0^{\circ }\to 45^{\circ }$ and passes. Returning light selected at $45^{\circ }$ reaches $90^{\circ }$ at the entrance polarizer and is rejected by Malus's law. Real transmission loss and incomplete extinction limit the isolation.

Consider an ideal coherent monochromatic wave from an unresolved source on the optical axis, a uniform circular entrance pupil of diameter $D$, and ideal relay optics without wavefront errors. In the scalar Fraunhofer diffraction approximation, a Fourier transform carries the pupil's complex amplitude into the image plane. Choose dimensionless pupil coordinates $\mathbf{x}$ in units of $D$ and angular coordinates $\mathbf{u}=D\mathbf{\theta }/\lambda$, where $\lambda$ is the wavelength. DefineThe coronagraphic focal plane mask has transmission $M=1-W$, with $W=1$ inside the occulting disk and $W=0$ outside. Thus the field immediately after the mask is $MA$. Outside the disk $M=1$, so the local wave intensity is still $|A{|}^2$: hiding the core has left those rings intact. Reimaging an unlimited pupil giveswhere $\ast$ is convolution, $L$ is the Lyot stop transmission, and the proportionality constant in the irradiance is omitted. Coordinate reversals from physical relay optics are absorbed into the coordinate choice. These equations use wave amplitudes throughout propagation; applying a Fourier transform to wave intensity would give a different and incorrect model. This is the pupil/image calculation described by Sivaramakrishnan et al.; the circular disk and numerical choices below are our illustrative specialization. ^[ref].

The subtraction explains the beauty of the arrangement: in much of the interior, the original pupil field and the convolution term nearly cancel. Near a boundary, that cancellation is incomplete. The Lyot stop can therefore block a region containing disproportionately much unwanted light. A hard-edged coronagraphic focal plane mask has a transform with extended tails, so the interior need not be perfectly dark. With an unlimited relay, $L=1$ gives $A_{\mathrm{final}}=MA$ exactly: no further ring suppression occurs. A stop covering the full original optical pupil instead uses $L=P$ and already clips field outside the optical pupil; an undersized Lyot stop clips more of the remaining rim.

The toy uses a coronagraphic focal plane mask of angular radius $3\lambda /D$ and a Lyot stop of diameter $0.8D$. The discrete Fourier transform grid has $1024\times 1024$ samples, with 128 across $D$ and angular sampling $0.125\lambda /D$; it approximates the continuous equations on a finite periodic domain. The plot averages wave intensity in annuli of width $0.25\lambda /D$. Over the annulus $4\le |\mathbf{u}|\le 10$, the mean wave intensity divided by the direct stellar peak is approximately $1.40\times 10^{-4}$ without a coronagraph, the same with only the focal mask and an unlimited relay, $4.44\times 10^{-5}$ with the mask and full pupil, and $1.66\times 10^{-6}$ with the mask and $0.8D$ Lyot stop. Thus the undersized opening reduces this particular annular mean about 27-fold relative to the full-pupil comparison. It does not suppress every direction by that factor, and these values do not predict a real instrument's detection limit.

The ideal toy excludes a central obstruction, support vanes, scattering of light, wavefront errors, atmospheric effects, a spread of wavelengths, pointing drift and detector noise. It also contains only the star: no simulated planet or solar corona. For a far off-axis source whose image misses the coronagraphic focal plane mask, the continuous geometric coronagraph throughput of the $0.8D$ opening tends to $0.8^2=0.64$ relative to the full disk. Rejecting stellar light therefore costs some desired light as well. Enlarging the coronagraphic focal plane mask narrows the characteristic scale of its pupil-plane transform by the scaling property of the Fourier transform, but also hides a larger neighborhood of the source.

Fraunhofer diffraction is the far-field approximation for diffraction: contributions from an aperture reach a selected observation direction with approximately linear path-dependent wave phases. Adding their complex amplitudes gives a Fourier transform of the field across the aperture. It also describes the appropriate rear focal plane of an ideal optical lens under coherent plane-wave illumination. The diffraction grating examples use this regime. ^[ref]; ^[ref].

For a slit of width $a$, wavelength $\lambda$ and screen distance $L$, sufficient conditions near the forward direction areThe last two statements are equivalent: the important comparison is with $a^2/\lambda$, rather than just with the slit width. For a finite rectangular aperture, check the corresponding condition for both transverse dimensions. The single-slit diffraction calculation treats the transverse cut associated with width $a$. ^[ref].

A short explanation is that the distance from slit coordinate $x$ to an observation point at distance $R$ and angle $\theta$ isThe linear term supplies the phase difference; the quadratic term supplies a wave phase error of order $a^2/(\lambda R)$, since the wavenumber is $2\pi /\lambda$. Near the forward direction $R\approx L$, so the stated condition makes this error small. This is why a distant screen permits the simple single-slit diffraction formula. ^[ref].

The frequency response gives the change in complex amplitude of a sustained oscillation under a linear time-invariant system. If the impulse response is finite or has absolute summability, substituting $x[n]=e^{\mathrm{i}\omega n}$ into its discrete convolution yieldsThus $|H(\omega )|$ is the amplitude gain and its complex argument is the phase change. Real sinusoids follow by taking real or imaginary parts. Here $\omega$ is radians per sample; $\omega =2\pi f$ for $f$ cycles per sample. A physical sampling rate converts that normalized frequency into cycles per second.

For a trailing moving average,with removable singularities evaluated from the finite sum. In particular $H(0)=1$. For $M=5$ and $\omega =2\pi /5$, the five roots of unity sum to zero, so the oscillation is canceled. At small positive frequencies in the first pass region, the real sine ratio is positive and the phase factor gives a delay of $(M-1)/2$ samples.

Increasing $M$ moves the first zero to $\omega =2\pi /M$, narrowing the main region of large gain. It does not create an ideal low-frequency cutoff: later side lobes transmit some higher-frequency components, and suppressing a component is only helpful when that component is unwanted. The frequency plot is the same operation as the delayed-sample average; the five-vector diagram explains one exact zero geometrically.

Fresnel diffraction describes diffraction when the quadratic propagation wave phase across an aperture must be retained. Its Fresnel propagator becomes the Fraunhofer diffraction description when that curvature is negligible.

A Fresnel diffraction pattern is a map of how propagation changes the wave interference of light from an aperture. It can resemble the opening, develop bright and dark structure near its edges, and eventually approach a Fraunhofer diffraction pattern. The controlling comparison involves wavelength, opening size and propagation distance together; a distance large compared with the opening need not give the far field.

For a monochromatic wave, use time dependence $e^{-i\omega t}$, wavenumber $k=2\pi /\lambda$ and complex amplitude $U$. Let $U_0(\xi ,\eta )$ be the transmitted field immediately behind an aperture in the plane $z=0$. In a homogeneous medium, the scalar paraxial approximation givesThis is the two-transverse-coordinate Fresnel propagator, with its carrier $e^{ikz}$ restored. It adds complex amplitudes before taking their squared complex modulus to obtain light intensity. It is a scalar paraxial approximation, rather than a full vector solution of Maxwell equations.^[ref]

The source in this constructed geometry supplies a plane wave; the observation screen is a plane perpendicular to the optical axis. The right panel isolates the aperture-dependent wave phase that distinguishes Fresnel diffraction from Fraunhofer diffraction. Its vertical scale is in radians, and the drawing's lengths are schematic.

Keeping this wave phase is useful when transporting a field between nearby optical components: both the shape and the complex amplitude matter for subsequent wave interference. A particularly striking feature is that propagation can create a dark centre even from a uniformly illuminated symmetric aperture; the incident wave amplitudes need not be unequal for their outgoing contributions to cancel.

Consider a uniform plane wave of unit complex amplitude transmitted by an ideal optical slit of full width $D$. Treat the field as invariant along the optical slit height: this is one-dimensional transverse Fresnel propagation, so the prefactor is $1/\sqrt{i\lambda z}$, rather than the two-dimensional prefactor $1/(i\lambda z)$. Removing the carrier $e^{ikz}$ givesHere $I_{\mathrm{inc}}$ is incident irradiance. This infinitely long slit model describes a transverse cut away from the ends of a sufficiently long physical slit; its finite conserved quantity is transmitted power per unit optical slit height.

Put $t=\xi /D$ and $q=xD/(\lambda z)$. Substitution reduces the integral toThis form separates the pattern's shape from its physical scale. Reflection $t\mapsto -t$ proves $A(-q,N_D)=A(q,N_D)$, so the light intensity is an even function of $x$. At $N_D=0$, direct integration gives $A(q,0)=\sin (\pi q)/(\pi q)$, with limit one at $q=0$. Hence the Fraunhofer diffraction comparison is the squared sinc function. In this paragraph the unnormalized sinc function takes argument $\pi q$.

For an original example, choose wavelength $\lambda =633\mathrm{nm}$ and full width $D=0.400\mathrm{mm}$. At $z=0.0200\mathrm{m}$, $N_D\simeq 12.6382$, $N_a\simeq 3.15956$ and the edge-to-centre wave phase change is $9.92604$ radians. At $z=2.00\mathrm{m}$, $N_D\simeq 0.126382$, $N_a\simeq 0.0315956$ and that wave phase change is only $0.0992604$ radians. Even the nearer screen is fifty slit widths away; that geometric comparison alone misses its strong Fresnel diffraction.

These are numerical predictions from the displayed scalar integral, using the composite trapezoidal rule, rather than measured profiles. Each curve is divided by its own peak light intensity; the two horizontal scales differ. At 2 cm the computed central irradiance is about $1.14812I_{\mathrm{inc}}$, with brighter off-axis maxima. At 2 m it is about $0.126272I_{\mathrm{inc}}$ and is the peak. The dashed Fraunhofer diffraction curve has its own central normalization; its first zeros are at $x=\pm \lambda z/D=\pm 3.165\mathrm{mm}$. The finite-distance Fresnel diffraction curve remains slightly nonzero there.

Normalization hides the brightness change, but not the change in shape. The Fourier transform propagation multiplier has unit complex modulus, so Plancherel theorem givesThis is conservation of transmitted power per unit height in the ideal scalar model. An integral over only the displayed screen interval misses the tails; a peak-normalized profile is not a unit-integral probability density. Spreading and decreasing brightness together preserve the transmitted power.

A holographic object wave is the object-dependent field arriving at the recording surface, including the propagation from the object. Its complex amplitude generally differs from the transmission function at the object itself. Distinguishing these two planes is essential when refocusing a hologram.

Take stationary scalar monochromatic waves of the same frequency and polarization of an electromagnetic wave, with time convention $e^{-i\omega t}$. Write their complex amplitudes at the recording plane as $R=A_R{e}^{i{\varphi }_R}$ and $O=A_O{e}^{i{\varphi }_O}$, absorbing the common conversion to irradiance into the units. An exposure short enough to avoid fringe motion but long compared with an optical period recordsThe two cross terms are where relative wave phase enters the measured light intensity. Blocking the holographic reference wave leaves $|O{|}^2$ and removes them. Loss of mutual optical coherence, incompatible polarization of an electromagnetic wave or motion that averages the relative wave phase similarly reduces fringe contrast. These are useful controls for distinguishing a hologram from an ordinary brightness record. One local cosine value does not uniquely determine a wave phase; known reference structure and separation of the cross terms supply the additional information in the example below.

Model a thin weakly modulated recording by its amplitude transmittanceHere $t_0$ and $\beta$ are real constants in a local linear response to exposure at a fixed exposure time. They describe a chosen amplitude modulation model, not a universal photographic response; an absorbing negative may have $\beta <0$. Keep $0\le t\le 1$ for this passive real-transmission model. Ignore material thickness, saturation, shrinking, clipping and changes of wavelength. Illuminating the processed record with the original $R$ gives, immediately after the plate,This follows by multiplying the preceding identity by $R$; no wave phase detector has been assumed. If $|R|$ is uniform, the desired term reproduces $O$ up to a constant. A nonuniform $|R{|}^2$ weights the recovered field. With a strong holographic reference wave, the $|O{|}^{2}R$ contamination is small relative to $|R{|}^{2}R$, but it is retained in this identity. Subsequent diffraction propagates each term: reproduction at the plate is the starting boundary field, not yet a focused image.

The schematic uses a plane wave reference and one optical point source to separate the functions. The top row records $R+O$; the bottom removes the object and illuminates the developed hologram with $R$. Dashed extensions identify the desired virtual image; the conjugate component converges toward a real image. All three outgoing components coexist. The coloured paths distinguish terms, not different wavelengths; distances and strengths are schematic. This functional drawing is not a reconstruction of the historical apparatus.

Holography records the wave interference between a holographic object wave and a known holographic reference wave, then uses that record to reconstruct a wavefront. The record is a hologram. A photographic plate or photodetector measures light intensity; the relative wave phase is encoded in the positions and contrast of interference fringes, rather than measured directly as an optical oscillation. Reillumination makes the recorded pattern act as a diffraction grating that produces an image-bearing field.

The useful change of viewpoint is to preserve a field that can propagate again, instead of only a focused brightness picture. Recovered complex amplitude permits refocusing with the Fresnel propagator; a spatially extended hologram can also supply different viewing directions. The recoverable information is limited by the collected aperture, recorded spatial frequencies, optical coherence and separation of unwanted diffraction orders.

The Huygens-Fresnel principle describes propagation by coherent addition of secondary-wave contributions from a wavefront or aperture. Their complex amplitudes, including relative wave phases, must be summed before calculating light intensity. The Fresnel propagator follows by retaining quadratic propagation wave phase in the paraxial approximation.

Wave interference is the reinforcement or cancellation that occurs when overlapping wave amplitudes add by the superposition principle. For two monochromatic waves of the same frequency, mutual optical coherence means that their relative wave phase is stable during the observation. Equal wave phases give constructive interference; a half-cycle phase difference gives the destructive interference intensity minimum. Wave amplitudes add before their squares determine wave intensity. ^[ref].

Consider two overlapping beams in a homogeneous medium, with the same polarization of an electromagnetic wave and individual local time-averaged light intensities $I_1,I_2$. Their phase difference $\delta$ is measured in radians. In the scalar detection convention, the combined local time-averaged wave intensity isThe last term records wave interference; adding $I_1+I_2$ alone misses it. The formula describes irradiance when both fields propagate along the same direction, or when the same detector geometry factor is included in all three intensities. For crossing beams it describes the squared electric field response, proportional to scalar wave intensity; a specified component of the Poynting vector also requires the propagation geometry. The ideal crossing plane waves below make that distinction explicit.

For equal individual light intensities $I_1=I_2=I_0>0$, the cosine half-angle identity givesThe constructive interference intensity is $4I_0$ at $\delta =0$ modulo $2\pi$, and the destructive interference intensity is zero at $\delta =\pi$ modulo $2\pi$. At phase quadrature, $\delta =\pi /2$, it is $2I_0$. With $I_1=1$ and $I_2=0.25$ in the same arbitrary wave intensity unit, the maximum is $2.25$, the minimum is $0.25$, and the phase quadrature value is $1.25$: unequal wave amplitudes cannot cancel completely.

Both curves use the same wave intensity unit and a horizontal angle in radians. The dashed levels are the averages over a full phase difference cycle. Equal beams have interferometric visibility one; the unequal example has interferometric visibility $0.8$.

A spatially varying phase difference turns the same law into interference fringes. Take two ideal plane electromagnetic waves with common wavelength $\lambda$, equal individual light intensities $I_0$, and propagation directions at angles $+\theta$ and $-\theta$ from the $z$ axis in the $xz$ plane, with $0<\theta <\pi /2$. Both have linear polarization along $y$, perpendicular to both propagation directions. Choose equal initial wave phases; their wavevectors and phase difference areHere $k$ is the wavenumber and $\omega$ the angular frequency. The common $z$ and time terms cancel, so the interference fringes stay at fixed $x$ for every $z$. Their interference fringe spacing isSet the length unit to $\lambda$, so that $\lambda =1$, and take $\theta =30^{\circ }=\pi /6$: then $\Lambda =1$. The constructive interference intensity bands lie at integer $x/\lambda$; the destructive interference intensity bands lie at half-integer $x/\lambda$.

The grid covers $-3\le x/\lambda \le 3$ and $0\le z/\lambda \le 4$; both axes are dimensionless lengths in wavelength units. The colour scale is $I/I_0$ from zero to four, using the same single-beam normalization as the equal-beam curve above. This is an ideal plane wave superposition, with no slits or point sources and no near-field approximation. For these $y$-polarized plane electromagnetic waves in vacuum, the longitudinal time-averaged Poynting vector obeys $⟨S_z⟩=I\cos \theta$; the plotted scalar $I$ therefore differs from the irradiance through a plane normal to $z$ by that common factor. This relation follows by adding the magnetic fields as well as the electric fields.

The bright peaks do not create energy. Averaging over one interference fringe spacing, or equivalently over one full phase difference cycle, givesbecause the integral of the cosine is zero, with sine as its antiderivative. Equal beams thus average to $2I_0$, despite bright bands at $4I_0$. For the crossing-wave geometry, the average longitudinal energy flux is correspondingly $2I_0\cos \theta$. Bright and dark regions redistribute the incoming energy; conservation of energy concerns the full energy flux, rather than the height of one peak.

Wave interference is useful because phase differences convert small changes in optical path length into measurable changes of wave intensity, as in a Mach-Zehnder interferometer. Its beauty is that the same superposition principle produces both complete cancellation and fourfold brightening; adding more coherent contributions also produces the narrow peaks of a diffraction grating. Feynman's treatment connects this many-source pattern directly to addition of complex amplitudes. ^[ref].

A short proof outline uses local real fields $E_j(t)=A_j\cos (\omega t+{\varphi }_j)$ with parallel linear polarizations. Write $I=C⟨(E_1+E_2{)}^2{⟩}_t$ and $I_j=C{A}_j^2/2$ for the same positive conversion factor $C$. Averaging over many wave periods while the phase difference stays fixed uses $⟨{\cos }^2(\omega t+{\varphi }_j){⟩}_t=1/2$ and $⟨\cos (\omega t+{\varphi }_1)\cos (\omega t+{\varphi }_2){⟩}_t=\cos \delta /2$, giving the stated law. Equivalently, add the complex amplitudes and take the squared complex modulus. ^[ref].

For different fixed linear polarizations in a common transverse plane, the cross term acquires the dot product of their real unit vectors, equal to $\cos \alpha$ for relative angle $\alpha$. Orthogonal linear polarizations remove the cross term in polarization-insensitive scalar detection; different orientations generally only reduce it. A common polarizer can select overlapping components and recover wave interference. Likewise, rapid random variation of the phase difference removes the observed cross term only when the detector's time average has $⟨e^{i\delta (t)}{⟩}_t=0$. Slowly varying wave phases can instead move resolved interference fringes, and biased or incompletely sampled wave phases can leave residual contrast. Finite optical coherence therefore depends on the observation time as well as the fields.

Interferometric visibility measures the contrast of a scanned interference fringe. For the mutually coherent, equally polarized two-beam model in wave interference, with fixed individual wave intensities and $I_1+I_2>0$, the constructive interference intensity and destructive interference intensity giveEqual nonzero wave intensities give $\mathcal{V}=1$; $I_1=1,I_2=0.25$ give $\mathcal{V}=0.8$. Unequal wave intensities can therefore reduce interferometric visibility even with perfect mutual optical coherence. Random phase differences or distinguishable wave polarizations can reduce it further; zero contrast alone does not identify the cause. Both intensities zero leave the ratio undefined.

For normalized paths with complex amplitudes $\alpha ,\beta$ and identical internal states, the output probability is $1/2+\mathrm{Re}({\alpha }^{\ast }\beta e^{i\theta })$, so $\mathcal{V}=2|\alpha \beta |$. A photon polarization fringe alone determines transverse quantum coherence but not the sign of the population difference.

// Target: optics.bigb

Consider an original two-path model with a locally flat ground baseline $d$ and a symmetric equivalent return height $h$. Replace the skywave by two straight segments traveling at the speed of light $c$, and replace the ground wave by a straight segment of length $d$. Their lengths and positive excess distance areThis is an equivalent geometric construction, not a metallic layer overhead. It neglects the curvature of Earth, refraction within the return region, ground-induced wave phase shifts and optical dispersion.

For received complex amplitudes $A_g$ and $A_s$, absorb their constant relative wave phase into ${\varphi }_0$ and choose their magnitudes nonnegative. An ideal detector reading proportional to squared received field hasAssume $\Delta L$ and ${\varphi }_0$ are independent of frequency across the sweep, with slowly changing amplitudes. Consecutive maxima differ by $2\pi$ in phase difference, soThe often-used approximation $\Delta f\simeq c/\Delta L$ therefore carries a frequency-independent-path assumption. Counting $N$ complete fringe periods between $f_1$ and $f_2$ gives $\Delta L\simeq Nc/|f_2-f_1|$; equivalently, $N=\Delta L|1/{\lambda }_2-1/{\lambda }_1|$ when the vacuum wavelength is $\lambda =c/f$. Count whole periods, not maxima plus minima as though each were a whole period.

Choose $d=150\mathrm{km}$ and $h=100\mathrm{km}$, with $c\simeq 3.00\times 10^8\mathrm{m}{\mathrm{s}}^{-1}$. Then $L_s=250\mathrm{km}$, $\Delta L=100\mathrm{km}$ and $\Delta f=3.00\mathrm{kHz}$. A $12.0\mathrm{kHz}$ sweep covers four full fringe periods. Conversely, the inferred equivalent height isThese chosen values illustrate the inversion; they are not a transcription of the 1924 measurements. With $A_g=1$ and $A_s=0.7$, the normalized reading ranges from $(1-0.7{)}^2=0.09$ to $(1+0.7{)}^2=2.89$: incomplete cancellation does not remove the distance information.

For a sweep with linearly changing frequency $f(t)=f_0+\dot{f}t$ and two constant delays ${\tau }_s>{\tau }_g$, the received instantaneous frequency difference has magnitude $|\dot{f}|({\tau }_s-{\tau }_g)$. In this model ${\tau }_s-{\tau }_g=\Delta L/c$, giving a beat frequency $|\dot{f}|\Delta L/c$. Equivalently, traversing each $\Delta f$ of the sweep crosses one fringe. This calculation requires a sufficiently slow sweep that propagation, tuning and amplitude changes can be treated consistently; it is not a beat between two independent transmitters.

More generally, measure the total phase difference $\Phi (f)$, including propagation and any reflection or apparatus contribution. Define the differential group delayFor a locally monotone wave phase with slowly varying derivative, the local spacing is $\Delta f\simeq 1/|\Delta {\tau }_g|$. If $\Phi =2\pi fD(f)/c+{\varphi }_r(f)$, this becomesHere $D(f)$ is a phase-equivalent optical path difference, not necessarily the geometric excess distance $\Delta L$. A drifting ionosphere, several simultaneous skywaves, changing wave polarization, a frequency-dependent reflection wave phase or significant loss can invalidate the simple constant-spacing inversion.

A Jones vector records the two transverse complex amplitudes of a completely polarized monochromatic wave. Multiplication by a common nonzero complex number preserves its polarization of waves, while changing overall amplitude and phase. With the convention $\mathbf{\Psi }(t)=\mathrm{Re}[\mathbf{J}{e}^{i\omega t}]$, $\mathbf{J}=(1,2i{)}^{\mathsf{T}}$ gives $(\cos \omega t,-2\sin \omega t)$, an ellipse with the longer axis along $y$. Handedness labels require both a viewing direction and a naming convention.

The logarithmic wave perturbation measures relative complex amplitude and phase through $\psi ={\psi }_i{e}^{\chi }$. A continuous branch requires nonzero incident and total fields in the region considered. For the Helmholtz equation with scattering potential convention $L_0\psi =-V\psi$, its equation is $(\Delta +2\nabla \log {\psi }_i\cdot \nabla )\chi +\nabla \chi \cdot \nabla \chi =-V$. The dot product is bilinear, not a squared modulus.

Magnetoconvection is thermal convection coupled to the evolution and forces of a magnetic field. Conserved magnetic flux can supply a slow field that must be retained along with the convective complex amplitude, rather than being eliminated into a single local amplitude equation.

Conservation relations for resonant, lossless wave mixing. For sum-frequency generation with ${\omega }_3={\omega }_1+{\omega }_2$, the intensities obey $I_1^{\prime }/{\omega }_1=I_2^{\prime }/{\omega }_2=-I_3^{\prime }/{\omega }_3$. Thus $I_1/{\omega }_1+I_3/{\omega }_3$ and $I_2/{\omega }_2+I_3/{\omega }_3$ are constant. Their difference gives a third, dependent invariant. Adding the intensity derivatives yields conservation of energy.

The exchange interpretation divides each intensity by its photon energy $\hslash {\omega }_j$. One conversion removes a photon from each lower-frequency mode and adds one to the upper mode. For classical coupled-wave equations, differentiating the squared complex amplitudes gives the same common exchange rate multiplied by $({\omega }_1,{\omega }_2,-{\omega }_3)$. Loss or externally replenished pumps require corresponding source terms.

Mechanical impedance is the ratio of a driving force complex amplitude to the resulting velocity complex amplitude at a specified point and in a specified direction. Its units are $\mathrm{N}\mathrm{s}{\mathrm{m}}^{-1}$. The direction of the force, the time convention and whether one is describing a travelling component or a total field must be stated. A positive real travelling-wave mechanical impedance transfers mean power $⟨P⟩=Z|v{|}^2/2$ when $|v|$ is the peak velocity wave amplitude.

A Michelson interferometer divides light at a beam splitter, reflects the two arms at mirrors and recombines the returning fields. For vacuum arm lengths ${\ell }_1,{\ell }_2$, the delay magnitude is $|\tau |=2|{\ell }_2-{\ell }_1|/c$. At each coarse delay, a small mirror scan produces maxima and minima of the detected light intensity. A photodiode and its electrical readout resolve these changes; the scan should cover several carrier cycles while changing $|g^{(1)}|$ negligibly. MIT's laboratory guide uses a mirror actuator, photodiode and electrical drive to scan interference fringes and extract interferometric visibility.^[ref]

A verified motivating experiment is Shaoul Ezekiel's MIT demonstration of source-spectrum control. A polarizer selects one or several lines from a laser whose adjacent lines have orthogonal linear polarizations. A sampled beam goes to a scanning Fabry–Pérot interferometer to check the optical spectrum; the main beam enters a Michelson interferometer, and a lens projects its interference fringes onto a screen. With one selected line the fringes retain good contrast through the demonstrated delay range. With several lines their contrast falls and returns as the arm length changes. At a fixed delay with poor contrast, selecting one line restores it; at matched arms both selections give good contrast. This control isolates the role of spectral composition rather than simply the arm position. The presentation is a qualitative demonstration, not a calibrated linewidth measurement. ^[ref].

A deliberately simpler two-line model explains the return of contrast. Take two stationary, mutually uncorrelated monochromatic contributions of equal power at ${\nu }_0\pm \delta \nu /2$. Their normalized wave-field correlation isfor equal detected single-arm light intensities. At $\tau =1/(2\delta \nu )$ the two contributions' interference fringes cancel on averaging; at $\tau =1/\delta \nu$ they agree again. This is a deduction from the stipulated spectrum, not a fit to Ezekiel's two- or three-line source. Finite individual linewidths eventually damp these revivals.

For a quantitative version of the experiment, the visibility law suggests explicit controls. Measure each arm separately at every coarse delay, subtract the detector's dark signal and any measured background, then normalize by $2\sqrt{I_1{I}_2}/(I_1+I_2)$. Keep the returning beams aligned on the same detector region with parallel linear polarizations; keep detector gain fixed and avoid saturation. Resolve the small mirror scan electrically, rather than averaging over its moving interference fringes. Repeat scans to identify vibration or drift. These controls follow from the averaging and mode-matching assumptions in first-order optical coherence; loss of contrast alone cannot distinguish source decorrelation from apparatus motion, misalignment or insufficient spatial resolution. The finite travel range gives access only to a finite range of delays.

The practical gain is that wave interference measures field correlations even when the detector cannot follow the optical oscillation itself. A long optical coherence length allows unequal-arm measurements; a short one localizes high contrast near matched delays. The beautiful feature is that both fading and reappearance of interference fringes are sums of the same rotating complex amplitudes.