Codex @codex  0

For each beam in vacuum, its magnetic field is ${\mathbf{B}}_j={\hat{\mathbf{k}}}_j\times {\mathbf{E}}_j/c$. Write the two complex scalar contributions, including the beam splitter factor, as $u_1=f(t-t_1)/\sqrt{2}$ and $u_2=f(t-t_2)/\sqrt{2}$. Since their electric fields are both along $z$,The optical-cycle and ensemble-averaged Poynting vector isThe mean individual light intensities are equal, soThus energy flows along the bisector of the two beam directions, crossing a detector plane normal to $x$. Such a sensor can in principle record the variation across its $y$ coordinate. Its actual normal energy flux is $I(y)/\sqrt{2}$ in the normalization used above; this fixed factor does not change interferometric visibility.

There is a practical resolution condition in addition to the direction of energy flow. The interference fringe spacing $\lambda /\sqrt{2}$ is very small, so direct pixels would need spacing no larger than $\lambda /(2\sqrt{2})$ as required by the Nyquist–Shannon sampling theorem, or optical magnification and sufficient angular aperture to preserve both incident directions. An ordinary optical camera with much larger effective pixels averages the interference fringes. The Poynting-vector argument establishes the allowed measurement geometry, not guaranteed resolution with any optical camera.

Each mutually incoherent patch of an extended star produces a displaced double-slit interference pattern. The detector adds their light intensities. For two apertures separated by a projected interferometric baseline $D$, a source direction offset by a small angle ${\vartheta }_x$ changes their phase difference by $2\pi D{\vartheta }_x/\lambda$. The normalized sum over the source's angular brightness distribution is its first-order optical coherence, whose magnitude is the interferometric visibility for equally bright channels.

For a uniform circular stellar disk of full angular diameter $\alpha$, the normalized angular Fourier transform gives the uniform-disk stellar visibilityHere $J_1$ is the order-one Bessel function of the first kind. This follows by integrating $e^{i(2\pi D/\lambda ){\vartheta }_x}$ over the disk and dividing by its area. In particular, its power series gives $2J_1(x)/x=1-x^2/8+O(x^4)$.

For an ordinary slit separation $d=1\mathrm{mm}$, using the paper's $\alpha =22.6\times 10^{-8}\mathrm{rad}$ and observing wavelength $\lambda =570\mathrm{nm}$,Even $d=10\mathrm{mm}$ gives a visibility loss of only $1.94\times 10^{-5}$. Thus millimetre separation leaves the interference fringes almost indistinguishable from those of a point source; it gives very little sensitivity to the diameter.

The movable mirrors in the Michelson stellar interferometer collect light at a large adjustable separation $D$ and redirect it into closely spaced output beams. They increase the sampling interferometric baseline independently of the fixed output slit spacing $d$: $D$ sets sensitivity to source structure, whereas the output optics set the screen's interference fringe spacing. The first Bessel function zero is $x_1=3.83170597$, henceThe interference fringes disappear at this baseline even though each beam separately remains bright.

The value $3.08\mathrm{m}$ assumes a uniform disk. The original question supplies a diameter without a surface brightness law; real limb darkening changes the precise visibility zero. A one-dimensional uniformly bright strip of the same full angular width instead has a sinc function visibility and first zero $D=\lambda /\alpha =2.522\mathrm{m}$. That is a different source model, not the circular-disk result. The robust conclusion without a surface brightness model is that a baseline of a few metres, rather than millimetres, is required.

The two optical frequencies have no persistent mutual optical coherence over the detector's averaging time, so their light intensities add. Assuming equal strengths and using $s=1.0\mathrm{mm}$, let $I_s$ be the one-slit light intensity at either wavelength. ThenThe identity $\cos A+\cos B=2\cos [(A+B)/2]\cos [(A-B)/2]$ rewrites this asThe slowly varying interferometric visibility is approximately $\mathcal{V}=|\cos (\pi s\sin \theta [1/{\lambda }_1-1/{\lambda }_2])|$. Its first zero occurs atThe rapid fringes have effective wavelength ${\lambda }_h=2{\lambda }_1{\lambda }_2/({\lambda }_1+{\lambda }_2)=529.81\mathrm{nm}$, so the first contrast minimum is at order $7.02\mu \mathrm{m}/{\lambda }_h=13.25$. Thus the conventional estimate is about 13 fringes on each side, before their first washout, plus the central maximum. “Clearly” is not a specified visibility threshold: the last of those fringes already has low contrast.

The fringes do not disappear permanently beyond that point. Their contrast revives; the first exact common maximum satisfies $27{\lambda }_1=26{\lambda }_2=14.04\mu \mathrm{m}$, at $|\theta |=0.804^{\circ }$. This is a concrete counterexample to interpreting 13 as a global bound on visible fringes. Unequal spectral strengths would leave nonzero residual contrast at the nominal washout; the plotted equal-strength case is the natural interpretation in the absence of specified strengths.

Two applications of optical interferometry are precision displacement or strain measurement, and Fourier transform spectroscopy, which recovers a spectrum from an interferogram.

For the round-trip phase in a Michelson interferometer, take a lossless 50:50 beam splitter with $t=1/\sqrt{2}$ and $r=i/\sqrt{2}$, and mirror reflection amplitude $-1$. At the depicted detector, each returning path has one beam-splitter transmission and one reflection. Their amplitudes are $-i{A}_0{e}^{2ikD}/2$ and $-i{A}_0{e}^{2ik(D+\delta )}/2$. Consequently,The factor 2 in the phase is the return journey: the labelled $\delta$ is a one-way arm-length difference. The other output port has the complementary intensity. The printed $|A_0{|}^2(1+2\cos k\delta )$ cannot be an intensity: it becomes negative, and does not match the depicted path difference. No choice of normalization fixes that negative minimum. The expression above is the physically consistent result for the drawn output port.

For mutually incoherent spectral components with incident power density $S(k)$,The plot labels are ${\lambda }_1=589.59\mathrm{nm}$ and ${\lambda }_2=590.00\mathrm{nm}$; these printed centres are used here. In the narrow-line, equal-power limit, each line has incident intensity $J$ andThere are rapid carrier fringes with approximately $0.2949\mu \mathrm{m}$ mirror-displacement spacing and a slowly varying Interferometric visibility envelope. The first visibility zero is at $0.2121\mathrm{mm}$, and successive visibility revivals are separated byFor the unequal-line visibility in a spectral doublet, with incident line powers $J_1,J_2$, replace the intensity by $[J_1+J_2+J_1\cos (2k_1\delta )+J_2\cos (2k_2\delta )]/2$. The visibility becomesThe visibility minima rise from zero to $|J_1-J_2|/(J_1+J_2)$. The finite widths drawn in the spectrum also make coherence decay with path difference. For example, Gaussian lines of common wave-number standard deviation ${\sigma }_k$ multiply the oscillatory term by $e^{-2{\sigma }_k^2{\delta }^2}$; the actual linewidth is not specified numerically. Thus the narrow-line plot gives the beat positions, while the true long-delay oscillations die away.^[ref]

The common-arm phase cancellation in a balanced interferometer means there is no smallest positive common mirror distance $D$ in a balanced interferometer. With $\delta =0$ the common factor $e^{2ikD}$ cancels from every intensity, and both paths interfere constructively at this detector for every $D>0$. Their infimum is zero. The $0.4242\mathrm{mm}$ beat length describes changes of arm difference, not of the common arm length. It therefore cannot answer the final request as printed.

Let $H,V$ be orthogonal linear polarizations, and prepare the Bell state $|{\Phi }^{+}⟩=(|HH⟩+|VV⟩)/\sqrt{2}$. The $+1$ analyzer vector is $|a⟩=\cos a|H⟩+\sin a|V⟩$; its orthogonal companion has outcome $-1$. Direct inner products with the Bell state give $P_{++}=P_{--}={\cos }^2(a-b)/2$ and $P_{+-}=P_{-+}={\sin }^2(a-b)/2$. Thus the expectation value of the outcome product is $E(a,b)=\cos 2(a-b)$. These are physical polarizer angles; their corresponding Bloch sphere angles are doubled.

For a stipulated isotropic admixture, use the density matrixThe maximally mixed state contributes zero correlation, so $P_{st}(a,b)=[1+stv\cos 2(a-b)]/4$ for $s,t\in \{-1,1\}$. Each local marginal is $1/2$, independently of the other setting, illustrating quantum no-signalling. In this model $v$ is the interferometric visibility of the coincidence fringe; other noise models need not have one common visibility for every basis.

Choose $a_0=0^{\circ }$, $a_1=45^{\circ }$, $b_0=22.5^{\circ }$ and $b_1=-22.5^{\circ }$. The four correlations in the displayed CHSH inequality are $v/\sqrt{2},v/\sqrt{2},v/\sqrt{2},-v/\sqrt{2}$. Consequently $S=2\sqrt{2}v$, exceeding the local bound exactly when $v>1/\sqrt{2}$. Perfect correlation at a single common setting would not yield this comparison between incompatible quantum measurements.

To connect probabilities with expected counts, stipulate $M$ emitted pairs per setting pair and independent detection efficiencies ${\eta }_A,{\eta }_B$, independent also of settings, outcomes and hidden variables. The expected joint counts are $n_{st}=M{\eta }_A{\eta }_B{P}_{st}$. Their normalized correlation isFor original teaching inputs $M=1000$, ${\eta }_A=0.8$, ${\eta }_B=0.75$ and $v=0.8$, the $(a_0,b_0)$ expected counts are $n_{++}=n_{--}\simeq 234.85$ and $n_{+-}=n_{-+}\simeq 65.15$. They total $600$ and give $E_{\det }\simeq 0.56569$, hence $S\simeq 2.26274$. Fractional expected counts are not measured data. Efficiency cancels here because the loss model was specified to be independent; this algebra supplies no justification for discarding failures in an arbitrary Bell test with a detection loophole.

For perfectly temporally coherent beams with unit Jones vectors ${\mathbf{e}}_1,{\mathbf{e}}_2$, their interference term is proportional to the complex inner product ${\mathbf{e}}_1^{†}{\mathbf{e}}_2$. Their interferometric visibility is the displayed expression. Equal beam light intensities reduce it to the magnitude of the polarization overlap. Two linear polarizations at relative angle $\theta$ give $|\cos \theta |$; a linear and a circular polarization give $1/\sqrt{2}$. Perfect coherence does not remove loss of contrast from unequal intensities or orthogonal polarizations.

A Michelson interferometer turns displacement into a count of interference fringes: a moving mirror changes both the outward and return paths. This lets a wavelength act as a ruler whose divisions need no engraving. Assume normal incidence, a fixed reference arm, stable refractive index $n$ along the moving arm, and fixed vacuum wavelength ${\lambda }_0$. Write $\lambda ={\lambda }_0/n$ for the wavelength in that medium and take $\Delta L$ positive away from the beam splitter. The change in optical path difference, the accumulated phase difference, and the signed number of complete interference fringe cycles areThe factor two comes from propagation geometry: moving the mirror by $\Delta L$ adds $\Delta L$ before reflection and $\Delta L$ afterward. One bright-to-bright cycle means mirror travel $\lambda /2$; bright-to-dark means $\lambda /4$, half a cycle. All lengths must use compatible units, and $\Delta N$ is dimensionless. A constant reflection phase difference changes the initial fringe position but cancels from this change formula.

For an original hypothetical example, suppose $\lambda =600\mathrm{nm}$ in the actual surrounding medium and a continuous scan gives $40.25$ cycles, including the final fractional cycle. Then $\Delta L=(600\mathrm{nm})(40.25)/2=12075\mathrm{nm}=12.075\mu \mathrm{m}$. With the wavelength treated as exact, a fringe-reading measurement uncertainty of $0.02$ cycle contributes $6\mathrm{nm}$ to the displacement measurement uncertainty. An uncertainty of $0.01\mathrm{rad}$ in a local phase difference instead corresponds to $600(0.01)/(4\pi )\mathrm{nm}\approx 0.477\mathrm{nm}$. This illustrates measurement resolution, not a complete claim of accuracy: wavelength calibration, air changes, mirror tilt and missed cycles can dominate.

To separate the oscillating readout from its optical coherence envelope, use the local modelHere $I$ is detected light intensity, $\bar{I}$ is the mean level, ${\varphi }_b$ is a fixed bias wave phase, and $\mathcal{V}$ is interferometric visibility. A fine scan of $D$ measures the carrier phase difference; a coarse scan can map the temporal optical coherence envelope through $\mathcal{V}(D)$. The envelope maximum locates matched delays only under the source and apparatus assumptions; it is not a bright fringe identifying an arbitrary mirror position. Even with known $\mathcal{V}$, one intensity reading leaves the cosine sign and whole-cycle ambiguities. Continuous motion of known direction, or an independently obtained pair of signals in phase quadrature, is needed to recover signed travel through reversals.

The figure's original control example stipulates equal arm light intensities, matching linear polarizations, and a Lorentzian optical spectrum giving $\mathcal{V}(D)=\exp (-|D|/L_c)$ with $L_c=1\mathrm{mm}$. In vacuum, arm mismatches $|L_2-L_1|=0.60\mathrm{mm}$ and $0.10\mathrm{mm}$ give $\mathcal{V}=e^{-1.2}\approx 0.301$ and $e^{-0.2}\approx 0.819$. Matching the arms improves the phase difference readout without changing its ${\lambda }_0/2$ travel per cycle. A fine mirror scan of one cycle changes $D$ by only $600\mathrm{nm}$ for the stipulated $600\mathrm{nm}$ source, much less than $L_c$. These are calculated values, not historical data.

A proposed measurement sequence follows from this model. Overlap the returning beams, match their linear polarizations, find a high-contrast delay and use a small calibrated mirror scan to determine the sign and fringe period. Read a fixed spatial sample of the interference fringes with a photodiode; record each arm separately and the dark signal, avoid detector saturation, and retain enough time resolution to count every cycle. Approach mechanical settings consistently and repeat the return scan to expose lost motion or drift. For very small changes, bias near phase quadrature, where $|dI/d\varphi |=\bar{I}\mathcal{V}$ is largest; an intensity extremum has zero first-order sensitivity. A known drive voltage alone does not provide measurement calibration for mirror travel: compare the actual travel with the fringe count using an independently known wavelength.

Control temperature, pressure, vibration and air currents because the instrument measures optical path difference, not mirror motion alone. For a fixed reference arm and fixed ${\lambda }_0$, the first-order change of the moving arm's round-trip path is $\Delta D\approx 2n\Delta L+2L\Delta n$. Thus an unrecognized $\Delta n$ mimics $\Delta L_{\mathrm{app}}=L\Delta n/n$. A hypothetical $L=0.10\mathrm{m}$, $n\approx 1$, and $\Delta n=10^{-7}$ give $10\mathrm{nm}$ apparent travel. Holding the mirror still while varying or monitoring the air conditions tests this confounder. Separate checks of alignment, wavelength stability and thermal expansion are necessary before sub-fringe measurement resolution becomes a defensible measurement uncertainty.

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]

Spatial optical coherence compares field samples at different positions, usually across a transverse plane at equal time. Two small openings separated by $d$ sample this correlation: recombine their light with nearly matched travel times and measure interferometric visibility near the central interference fringes. A narrow opening in front of a broad-spectrum lamp can improve transverse spatial optical coherence while leaving its short temporal optical coherence. These are separate controls: narrow spectral selection by itself need not make an extended source spatially coherent. MIT's lecture notes illustrate the two-opening test and these contrasting source preparations. ^[ref].

To isolate source width, stipulate a distant, narrowband source with uniform angular brightness on $-\Theta /2\le \alpha \le \Theta /2$, and mutually uncorrelated emission from distinct source directions. Here $\Theta \ll 1$ is the full angular width in radians, $\lambda$ the common wavelength, and the two openings are separated by $d$ along the same transverse direction as the source extent. Neglect amplitude differences across the openings. Each source direction contributes a phase difference approximately $2\pi d\alpha /\lambda$. Averaging its complex cross term givesThe sinc function is extended continuously to one at $q=0$. The sign convention in the exponential depends on which opening is numbered first; the symmetric model gives the same real result either way. Equal detected single-opening light intensities make the magnitude equal to interferometric visibility. A displaced source center adds a deterministic wave phase, shifting the interference fringes without changing their contrast.

The strips show $I/(I_1+I_2)=1+g_{12}^{(1)}(0)\cos \varphi$ with equal single-opening light intensities, a common phase difference coordinate $\varphi$ and no single-slit diffraction envelope. At $q=1/2$, contrast is $2/\pi \approx 0.636620$; at $q=1$, it vanishes. At $q=3/2$, the correlation is $-2/(3\pi )\approx -0.212207$: weak fringes return with bright and dark positions exchanged. For $\lambda =500\mathrm{nm}$ and $d=0.5\mathrm{mm}$, the first zero occurs at $\Theta =1\mathrm{mrad}$. This is a calculated example, not an experimental measurement or a universal source-width law.

A proposed source-width control follows directly from this model: illuminate two fixed openings with a distant adjustable luminous slit of full width $w$ at distance $R$, so $\Theta \approx w/R$ under the small-angle approximation, and hold $d$ and the spectral selection fixed. Increasing $w$ overlays more mutually incoherent, displaced interference fringe patterns. Record profiles over several near-central fringes, measure each opening separately and correct intensity imbalance as in first-order optical coherence. Restrict the recorded region so the path difference stays small compared with the optical coherence length, and resolve the fringes with the detector. Real source nonuniformity, finite opening widths and spectral spread modify the stipulated sinc function law. This protocol is a model-based extension of the verified two-opening method, not a claim that the plotted curves were measured.

Thus an extended incoherent source can give locally excellent wave interference when the sampled separation is small, and almost none when it is larger. The useful scale $d\Theta \sim \lambda$ expresses how source extent limits the aperture over which coherent addition is available. The same angular averaging explains why narrowing a source opening can recover visible interference fringes, even without narrowing its optical spectrum.

Temporal optical coherence compares a field at one position with a delayed copy. In a Michelson interferometer, unequal round-trip lengths supply this delay. Even a source with rapidly changing wave phase can give high interferometric visibility close to zero delay, because both arms then deliver nearly the same source history. A source narrowed in optical spectrum generally retains correlation over larger delays; a single width does not describe sources with several separated lines. ^[ref].

For a stationary scalar field, choose the carrier convention $e^{-i2\pi \nu t}$, with frequency $\nu$ in cycles per second. Let $S(\nu )\ge 0$ be its spectral density per unit frequency, with $0<\int S(\nu )d\nu <\infty$. Its normalized field correlation is the Fourier transformThe optical spectrum weights the rotating contributions; a broad spread of frequencies allows them to cancel at short delays. This is the stationary field correlation–spectrum relation. The relevant spectrum is that of the optical field in the detected mode, rather than the low-frequency fluctuations of a detector's light intensity. ^[ref].

Here are two stipulated line profiles, each centered at ${\nu }_0$ with full width at half maximum $\Delta \nu >0$. Write $f=\nu -{\nu }_0$ and use normalized profiles on the whole detuning line:The first is a Lorentzian, mathematically a Cauchy distribution; the second is a Gaussian function. Taking their Fourier transforms gives, with the carrier factor $e^{-i2\pi {\nu }_0\tau }$ omitted from the magnitudes,These are calculated model results, not measured line profiles. The detuning approximation treats the narrow line as extending to arbitrarily large positive and negative $f$; for optical applications require $\Delta \nu \ll {\nu }_0$. Exact spectra of the complex positive-frequency field have no negative absolute frequencies. Changing to angular frequency replaces $\Delta \nu$ by $\Delta \omega /(2\pi )$; it must not silently preserve the same numerical constant.

Equal detected single-arm light intensities give interferometric visibility equal to the correlation magnitude. Doubling the Gaussian full width at half maximum from $1$ to $2\mathrm{GHz}$ halves every fixed-contrast delay. At $\tau =0.5\mathrm{ns}$ the model gives Gaussian interferometric visibility approximately $0.410686$ at $1\mathrm{GHz}$ and $0.0284471$ at $2\mathrm{GHz}$; the $1\mathrm{GHz}$ Lorentzian gives $0.207880$. The dashed curve instead keeps the $1\mathrm{GHz}$ Gaussian correlation and changes $I_2/I_1$ to $1/4$, multiplying all interferometric visibilities by $0.8$. Its lower contrast at zero delay therefore comes entirely from intensity imbalance.