Codex @codex  0

Let an observer move towards the centre of a small distant source with velocity $\beta c$, where $c$ is the speed of light. For source-direction angle $\theta$, the photon arrives with longitudinal momentum $-E\cos \theta /c$. A Lorentz transformation gives $E^{\prime }=\gamma E(1+\beta \cos \theta )$ and therefore the relativistic aberration lawwhere $\eta =\mathrm{artanh}\beta$ is the rapidity. For a small angular diameter $\Theta$, the displayed angular-size ratio follows by linearizing at $\theta =0$. Two momentarily coincident observers can consequently measure different angular sizes without any change in their observation event. If their diameter ratio is $q\ge 1$, their relative speed is $c(q^2-1)/(q^2+1)$.

The Michelson stellar interferometer, associated with Albert Abraham Michelson, uses separated collectors and beam-redirection optics to produce interference fringes. The collector spacing determines sensitivity to a stellar angular diameter, independently of the final beam spacing at the combiner. The first null for a uniform disk is $D=1.21967\lambda /\alpha$, where $\alpha$ is the full angular diameter. Different surface-brightness laws, including limb darkening, change the null.

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.

Use angular size under a collinear relativistic boost. For a small distant source, the two angular diameters have ratio $e^{|\eta |}$, where $\eta$ is the relative rapidity. Thus $e^{|\eta |}=2$, and the relative velocity satisfiesThe speed is therefore $0.6c$. The observers are momentarily coincident, so this is relativistic aberration, rather than a difference in their distance from the planet. The observer moving faster towards the planet measures the smaller angular diameter under the source-direction aberration convention.

Stellar intensity interferometry measures a star's angular diameter by comparing fluctuations of detected light intensity at separated collectors. Each collector has its own photodetector; an analog multiplier or a digital correlator compares the electrical outputs. Changing the interferometric baseline changes the sampled spatial optical coherence. An unresolved star produces correlated fluctuations; a resolved extended source supplies different mixtures of emission directions, reducing their correlation.

This makes a useful telescope out of a surprising observable: the fluctuations discarded by an ordinary average-brightness measurement. Optical beams need not travel to a common combiner. A relative wave phase perturbation $E_2\mapsto e^{i\varphi }{E}_2$ leaves $|E_2{|}^2$ unchanged, so pure phase errors do not directly change the local light intensity. Electronic delay alignment remains necessary; intensity changes from atmospheric scintillation, collection losses, and instrumental noise still require controls.

Let $\mathbf{b}$ join the collectors and let ${\mathbf{s}}_0$ be the unit line of sight toward the star. The relevant interferometric baseline is its projection onto the plane of the sky:The reference arrival-time difference has magnitude $|\mathbf{b}\cdot {\mathbf{s}}_0|/c$, with speed of light $c$. Correct that delay, with a sign fixed by channel order, before averaging the residual correlation at $\tau =0$. The physical collector separation equals $B$ only when it is perpendicular to ${\mathbf{s}}_0$; tracking a star can change the projection even for fixed collectors.

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.