Codex @codex  0

The Airy disk is the central bright region, up to the first dark ring, in the scalar diffraction pattern of a uniformly illuminated, unobscured circular aperture. The whole pattern includes the weaker surrounding rings; its radius is distinct from its full width at half maximum.

For a circular optical pupil of diameter $D$ under normal, uniform monochromatic plane wave illumination, Fraunhofer diffraction givesHere $I_0$ is the on-axis light intensity, $\theta$ is the angle from the optical axis, $\lambda$ is the wavelength in the propagation medium, and $J_1$ is the order-one Bessel function of the first kind. The paraxial approximation replaces $\sin \theta$ by $\theta$, measured in radians. The first positive zero $j_{1,1}=3.831705970\dots$ givesThis is the angular radius of the Airy disk; the angular diameter is twice as large. The Airy disk derivation explains the origin of the Bessel function of the first kind and of the numerical coefficient.^[ref]

The image and both radial curves show the same calculated light intensity, divided by its peak. The image's logarithmic scale makes the weak rings visible; its colour is a display choice. The linear curve shows how small the ring peaks are compared with the centre. A dark ring marks a zero of wave amplitude, produced by cancellation across the optical pupil; it is not the edge of all transmitted light. The first Airy disk contains about $83.78\%$ of the total radiant flux, as calculated in Airy disk normalization and encircled energy.

For an original design example, take an ideal optical lens in air with focal length $f=100\mathrm{mm}$, circular optical pupil diameter $D=5.00\mathrm{mm}$ and wavelength $\lambda =550\mathrm{nm}$. In the focal plane, the radial coordinate $r\simeq f\theta$ givesThe first-zero diameter is $26.8327\mu \mathrm{m}$. Solving $P(u_{1/2})=1/2$ gives $u_{1/2}=1.616339948\dots$, so the diameter measured by full width at half maximum is onlyThus a quoted “spot diameter” is incomplete without its definition. Doubling $D$ halves both widths at fixed wavelength and focal length; increasing magnification alone changes the image scale without improving object-space discrimination.

The Airy disk supplies a calculable reference for a point spread function, allowing diffraction to be distinguished from defocus and optical aberrations. Its beauty is that one circular boundary determines an entire sequence of bright and dark rings through a Fourier transform. The ideal formula assumes an unobscured pupil, uniform illumination, ideal optical focus, a single wavelength, and a scalar description with small output angles. A blocked centre, nonuniform pupil transmission or a significant pupil wave phase error changes the response. High numerical aperture may require polarization of an electromagnetic wave and a vector field description. The circular-aperture diffraction laboratory experiment tests the far-field pattern directly; the Rayleigh criterion uses its first zero to define a two-source convention.

An aperture stop is the physical opening that limits the angular cone of rays from an on-axis object point. Its images through preceding and following optics are the entrance and exit optical pupils; it differs from a field stop, which limits the extent of the imaged field.

Coma makes an off-axis optical point source appear asymmetric, often with a compact head and a flaring tail like a comet. Different parts of the optical pupil send its light rays to different transverse image positions. A sharp central star image therefore does not guarantee sharp images across an optical telescope's field of view. In an idealized, aligned system with rotational symmetry, coma vanishes on the optical axis; misalignment can introduce coma even at the nominal field centre.^[ref]

Coma differs from spherical aberration, whose dependence on optical pupil radius can blur an on-axis point without selecting a transverse direction. Astigmatism gives different optical foci in two perpendicular sections of an off-axis bundle; a through-focus sequence can change its elongated image's orientation. Diffraction persists when these optical aberrations vanish. A real asymmetric point spread function may mix several effects, so its appearance alone is not a unique diagnosis of coma.

The classical primary description belongs to the nineteenth-century Seidel aberration classification of five primary monochromatic image errors.^[ref] It remains useful in modern design: OpticStudio's Seidel Coefficients by ANSYS, Inc. documentation lists coma as $W_{131}$ and tabulates each surface's contribution as well as the system sum (Discussion). Cancellation of contributions can reduce coma without making every surface individually free of it. The same documentation limits this calculation to specified systems with axially symmetric surfaces; higher-order terms and broken rotational symmetry require more general ray tracing.

A coronagraph is an optical instrument that suppresses a bright source's light before detection while transmitting some light from nearby directions. Its purpose is to reveal faint structure buried in the bright source's point spread function, as in exoplanet direct imaging. A Lyot coronagraph combines a coronagraphic focal plane mask with a Lyot stop in a reimaged optical pupil; blocking the central image alone does not remove its diffraction rings. ^[ref].

The original motivation was the solar corona: hiding the bright photosphere would allow longer, repeated observations of faint surrounding light. In his 1930 paper, Lyot explained that short total eclipses restricted observing time and prevented some long exposures for spectral lines. The attraction is an instrument that makes the faint neighborhood accessible on demand. ^[ref]. The Sun is an extended source; the point-source calculation below illustrates imaging of an unresolved star and is not a quantitative model of the solar corona.

Schmid et al. tested the Lyot stop on sky using the close binary $\alpha$ Hydri with SPHERE/ZIMPOL at the Very Large Telescope. They kept the CLC-S-WF coronagraphic focal plane mask, the NB730 filter and pupil-stabilized imaging mode, and compared observations without a pupil stop and with stopB1_2. Each configuration used ten 8-second exposures. One camera imaged the optical pupil while the other simultaneously imaged the focal plane, connecting the blocked pupil features to the image improvement. ^[ref].

Bright rings occurred at the inner and outer pupil boundaries; the stop covered them and other unwanted features. To compare point spread functions, the authors multiplied the no-stop image by $0.68$, accounting for lost off-axis transmission. The companion's reported detection significance rose from $5.2$ to $9.7$. This demonstrates a useful gain despite lost companion light. It measures the complete stop, including obstruction, support-vane and faulty-actuator blockers; it does not isolate outer-rim clipping alone or establish a universal suppression factor. The figures here are independent toys, not reproductions of those observations. ^[ref].

Diffraction-limited resolution is a scale for distinguishing details with a specified ideal diffraction response and a specified criterion. For two equally bright, mutually incoherent optical point sources imaged through a uniformly transmitting, unobscured circular optical pupil, the Rayleigh criterion places the centre of one Airy disk at the first zero of the other. At small angles in air this separation isHere $D$ is pupil diameter, $\lambda$ is wavelength in air, and $j_{1,1}$ is the first positive zero of the order-one Bessel function of the first kind. This is the radius to the first zero, not the diameter of the central spot. Fraunhofer diffraction gives the radial peak-normalized light intensityThe removable value at zero follows from $J_1(q)\sim q/2$. The pupil Fourier transform reduces to a radial integral by circular symmetry, which produces the Bessel function of the first kind; its first zero supplies the factor $1.22$.^[ref]

In the usual scalar circular-pupil approximation for a fluorescence microscope, the corresponding object-plane Rayleigh criterion isHere ${\lambda }_0$ is the vacuum emission wavelength, and the object-side numerical aperture already includes the medium's refractive index. Do not divide ${\lambda }_0$ by $n$ again. For small cone angles in air, $\mathrm{NA}\simeq D/(2f)$ and image-plane radius $f{\theta }_{\mathrm{R}}$ agrees with this form. The assumptions include a single wavelength, ideal optical focus, and mutually incoherent emitters. High numerical aperture can require a vector description with polarization of an electromagnetic wave and emitter orientation; confocal microscopy has its own excitation-and-detection response. The same $0.61$ formula therefore does not describe every microscope or illumination method.^[ref]

In this original model, ${\lambda }_0=550\mathrm{nm}$ and numerical apertures $0.25$ and $0.50$ give first-zero radii $1.342\mu \mathrm{m}$ and $0.671\mu \mathrm{m}$. Each point spread function is divided by its own peak to compare shape. The pupil axes are transverse wave vector components multiplied by ${\lambda }_0/(2\pi )$, so pupil radius equals numerical aperture. A wider pupil accepts a wider range of transverse wave vectors, producing a narrower image. Increasing magnification alone enlarges the same spot and does not reduce its object-plane radius.

The Rayleigh criterion is a useful visual convention, not an absolute information barrier. For equal incoherent sources with total detected radiant flux $F$ and separation vector $\mathbf{s}$, the ideal image isBelow the Rayleigh criterion this still differs from $Fp(\mathbf{x})$; for small $\mathbf{s}$, symmetry cancels the linear change and the first change is quadratic in separation. Estimating two unknown source positions is then increasingly sensitive to noise, background, relative brightness and uncertainty in the point spread function. Localizing one isolated source and recovering an arbitrary extended object are different inference tasks. Measurements that separate optical modes can also extract separation information differently from direct image light intensity measurement.^[ref]

There remains a real limit for arbitrary images in this model: the optical transfer function is zero above the transmitted spatial frequency band. Its cutoff for scalar incoherent imaging is ${\nu }_c=2\mathrm{NA}/{\lambda }_0$ in object-plane cycles per unit length. The Nyquist–Shannon sampling theorem therefore suggests object-referred detector pixel pitch $p_{\mathrm{pix}}\le {\lambda }_0/(4\mathrm{NA})$, with finer sampling providing margin. Finite detector pixels also integrate over their area, suppressing contrast; coarse sampling can cause aliasing. Finer sampling cannot alone recover spatial frequencies removed by the optics, and Fourier deconvolution amplifies noise where the optical transfer function is small. Photon shot noise, read noise, optical aberrations and defocus can all worsen practical discrimination. A useful resolution claim therefore reports the object model, criterion, wavelength, numerical aperture, sampling and signal-to-noise ratio in photon counting.

A diffraction-limited system has an optical response close to the ideal diffraction response for its specified optical pupil, wavelength and optical focus. Improving the optical aberrations further makes little difference to that response. This describes the optics: a poorly sampled or noisy detector can still deliver an image with much worse usable diffraction-limited resolution.

The optical pupil determines which wave amplitudes and wave phases contribute to an image point. In a scalar, paraxial approximation at the focal plane of an optical lens in air, write the pupil transmission as $T(u,v)e^{i\varphi (u,v)}$, after removing the ideal focusing phase. The amplitude spread function is proportional to its scaled Fourier transform:Here $(u,v)$ are pupil coordinates, $(x,y)$ are image coordinates, $f$ is focal length, and $\lambda$ is the wavelength in air. For a uniformly transmitting, unobscured circular optical pupil at ideal optical focus, the result is an Airy disk with surrounding rings. A blocked centre, support structures, or nonuniform transmission changes the ideal point spread function; “diffraction limited” does not specify one universal spot shape. The existing Fourier model of a Lyot coronagraph illustrates how pupil and focal masks deliberately alter this response.^[ref]

Optical aberrations add pupil wave phase errors. Defocus contributes a quadratic pupil wave phase in the paraxial approximation, redistributing light intensity from the best-focused spot. The Strehl ratio compares the peak with the ideal response for the same pupil and total radiant flux. A broad optical spectrum produces a weighted sum of wavelength-dependent point spread functions; chromatic aberration can additionally change optical focus with wavelength. Thus the operating conditions belong with any claim that a system is diffraction limited.

Empty magnification enlarges an image without revealing additional specimen detail. Adequate angular magnification can make existing detail visible to the eye, but it cannot undo the objective's diffraction blur. For equally bright, mutually incoherent optical point sources and an ideal circular optical pupil, a commonly used lateral Rayleigh criterion in object space iswhere $\lambda$ is the vacuum wavelength, $n$ is the specimen-medium refractive index, and $\alpha$ is the admitted half-angle. For this model, $\lambda =550\mathrm{nm}$ and $\mathrm{NA}=0.25$ give $d_{\mathrm{R}}\simeq 1.342\mu \mathrm{m}$; changing only numerical aperture to $0.50$ gives $0.671\mu \mathrm{m}$. Changing only the eyepiece leaves this object-space scale unchanged. Illumination, optical coherence, optical aberrations and specimen visibility matter in real instruments; this criterion is not a universal threshold.^[ref]

The geometric reason is especially simple. If a fixed recorded image is enlarged by a factor $q>0$, a feature separation $s$ and a blur width $b$ become $qs$ and $qb$. Their ratio remainsThis is the lower-panel construction in the diagram. A change to the microscope objective can change numerical aperture and hence the specimen detail captured; a display zoom changes how large that captured detail looks. Microscope scale calibration, diffraction-limited resolution and angular magnification are three complementary properties to report.

The focal ratio, or f-number, of a converging optical instrument focused at infinity is the dimensionless quantitywhere $f>0$ is effective focal length and $D$ is the on-axis entrance pupil diameter. The notation f/4 means $N=4$, not $f=4$ in a particular unit. A $100\mathrm{mm}$ focal length with $D=25\mathrm{mm}$ gives f/4. Closing the aperture stop until $D=12.5\mathrm{mm}$ gives f/8 while retaining the same focal length. The mechanical opening need not equal $D$. ^[ref].

For a thin lens in air with a circular aperture stop at the thin lens, the converging bundle from a distant on-axis point has half-angle $\alpha$ satisfyingThe last step uses the small-angle approximation. For a compound optical lens, the cone is set by the image-side optical pupil and its distance from the receiving plane; the simple triangle is not an exact high-angle rule. At finite object distance a thin lens instead gives $v=f(1+|m|)$, by its imaging equation and transverse magnification, so its working cone corresponds to $v/D=N(1+|m|)$. Nominal focal ratio therefore does not alone specify close-range image irradiance. ^[ref].

Two useful scalings follow under stated conditions. For a fixed uniform incident beam and unchanged transmission, collected radiant flux scales as $D^2$. For an extended source with fixed radiance, the central image irradiance scales approximately as $N^{-2}$ in the paraxial approximation: the solid angle of the cone scales as $(D/f{)}^2$. For an ideal uniformly illuminated unobscured circular entrance pupil, the first dark ring of the point spread function has angular radius and focal plane radiusHere $\lambda$ is wavelength. These are first-zero radii, not diameters or a universal rule for resolving arbitrary objects. A proof outline evaluates the circular aperture's Fraunhofer diffraction using its Fourier transform, then uses the first zero of the resulting Bessel function. ^[ref].

At $\lambda =0.55\mu \mathrm{m}$, the example's f/4 and f/8 first-ring radii are $2.684$ and $5.368\mu \mathrm{m}$. Closing the aperture stop halves $D$, quarters collected radiant flux and doubles this diffraction radius. It can also reduce optical aberrations by excluding outer light rays; actual sharpness reflects both effects. This explains why a smaller aperture need not produce a sharper image. ^[ref].

A proposed optical bench check puts a fixed collimator before a converging thin lens and a photodetector large enough to collect the entire image behind it. Compare two centred aperture stops of known diameters while fixing source output, detector gain and integration time. The integrated signal tests the $D^2$ collection law; a spatially resolved optical camera at the focal plane can separately measure the point spread function. Repeat a dark reading and the first aperture stop, and check that neither the incoming beam nor detector clips either bundle. A resolved pinhole source, imperfect collimation, optical aberrations and detector pixel size can dominate the apparent spot width; a single peak reading does not measure total collected radiant flux.

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.

For paraxial rays, the Lagrange optical invariant is $H=n(y_1{u}_2-y_2{u}_1)$. Lossless paraxial ray transfer preserves this quantity: in coordinates $(y,nu)$, free propagation and a thin lens act by matrices with determinant one, which preserve the oriented area of two ray vectors. Consequently a full angular optical slit width $\theta$ at an optical pupil diameter $D$ satisfies $D\theta =A_{\mathrm{cam}}p/f_{\mathrm{cam}}$ for its image width $p$ and optical camera optical pupil width $A_{\mathrm{cam}}$ in the same meridional plane.

A classical Lyot coronagraph first forms an image of a bright source on the optical axis. A coronagraphic focal plane mask hides its core. Relay optics then form an image of the entrance pupil, where a Lyot stop blocks the outer rim and, when needed, borders around internal obstructions. Finally an optical camera forms the science image. The focal plane sorts incoming directions into image positions; the optical pupil sorts contributions across the aperture. This change of plane makes it possible to reject additional stellar light that survives the first mask. ^[ref].

A Lyot stop is a mask in the reimaged optical pupil after a coronagraphic focal plane mask. For an unobstructed circular entrance pupil, it usually transmits a smaller concentric disk. In a classical Lyot coronagraph, much of the residual stellar field lies near the optical pupil boundary; the Lyot stop rejects that field before the final image is formed. It also rejects useful off-axis light, so choosing its opening involves a coronagraph throughput tradeoff. ^[ref].

For a real wavefront error $h={\sum }_k{a}_k{s}_k$, its squared spatial root mean square is $⟨h^2⟩={\sum }_{k,l}{a}_k{a}_l⟨s_k{s}_l⟩$. Orthogonal unit-peak sine modes have mean square $1/2$, so $h_{\mathrm{rms}}^2=\frac{1}{2}{\sum }_k{a}_k^2$, whereas the coefficient norm is $\sqrt{{\sum }_k{a}_k^2}$. On a finite optical pupil orthogonality needs checking; independent uniform random wave phases give the same $1/2$ diagonal after wave phase averaging. This normalization matters when a speckle contrast of a sinusoidal wavefront error is specified by peak wave amplitude.

The institution-issued AY 105 Lab Experiment 3: Optical aberrations by California Institute of Technology (Spring 2011 offering, Part A, pp. 2–3, 7–8) specifies a concrete optical bench: a lamp, opal diffuser and condensing optical lens illuminate a $25$ or $30\mu \mathrm{m}$ optical pinhole; a photographic telephoto optical lens acts as a collimator, producing an approximately $75\mathrm{mm}$ beam. A test optical lens sits on a rotation stage, followed by an adjustable optical microscope. The procedure establishes the on-axis image, then rotates the test optical lens a few degrees and examines the off-axis image through optical focus. It compares this readout with through-focus ray tracing at the corresponding field angles and offers a Ronchi ruling to calibrate the measuring eyepiece.

Part B (pp. 9–10) substitutes a spherical mirror of $1\mathrm{m}$ radius of curvature, with the optical microscope beside the incoming beam so the image is necessarily off-axis. It calls for measuring the field angle, calibrating the eyepiece and recording the image's length and width at minimum size. These are specified apparatus dimensions and instructions, not supplied measurement results or dimensions of the normalized figures.

A controlled extension would record images at zero and equal positive and negative field angles, repeat zero afterwards, and scan through optical focus at every setting. Keep the illuminated optical pupil and illumination fixed, recenter the optical microscope without clipping the bundle, and use its calibrated scale to separate a mere image displacement from a change in blur shape. The pure Seidel coma pupil mapping predicts reversal and linear growth; a stationary asymmetric central image instead calls for checking alignment. A focus-dependent change between perpendicular elongations suggests an astigmatism contribution. These comparisons test the model rather than assuming every off-axis flare is pure coma.

The optical pinhole has finite angular size, approximately its diameter divided by the collimator's focal length; the collimator and observing optical microscope also contribute their own optical aberrations. A broadband lamp can mix chromatic aberration with the geometric blur, and diffraction limits the smallest visible structure. A narrow spectral band, repeated field settings and a reference image help separate these effects. Consequently a measured length and width are useful checks on off-axis image formation, but they cannot by themselves determine a unique coma coefficient or recover the full point spread function.

An optical pupil is an image of the aperture stop. The entrance pupil is its image viewed through optics before the stop; the exit optical pupil is its image through the optics after it. optical pupil reimaging maps the telescope aperture onto devices such as a deformable mirror.

Let $f_t$ be the optical telescope focal length, $x=f_t\theta$ the physical optical slit width, $f_{\mathrm{coll}}$ the collimator focal length, and $A_{\mathrm{coll}}=D{f}_{\mathrm{coll}}/f_t$ the incident collimated beam diameter. For the grating equation $m\lambda =d(\sin \alpha +\sin \beta )$, differentiation at fixed wavelength gives $|d\beta /d\alpha |=\cos \alpha /\cos \beta$. Thus the monochromatic optical slit image width isThe incident and emergent optical pupil widths are $A_{\mathrm{coll}}=W\cos \alpha$ and $A_{\mathrm{cam}}=W\cos \beta$. Multiplying cancels the anamorphic magnification of a grating:This is conservation of the Lagrange optical invariant in the dispersion plane. It uses paraxial optical slit angles, an unvignetted optical pupil and matching full-width conventions for $\theta ,p,D,A_{\mathrm{cam}}$.

The number of spaxels is $M=(\beta /\theta {)}^2$. To obtain definite scaling exponents, keep the spectral resolving power, wavelength interval, diffraction grating angles and groove spacing, input focal ratio, and photodetector sampling of a spectral resolution element fixed. A fixed photodetector then accommodates a fixed number $M_0$ of spectra, so $N\simeq M/M_0$ (rounded up in an actual instrument). The corresponding etendue per spaxel scales as ${\theta }^2$. Angular ratios are independent of whether both angles are in arcseconds; optical invariant equations use radians.

Write $b$ for the collimated beam diameter. The diffraction grating result $R\theta D=W(\sin \alpha +\sin \beta )$ gives $b\propto W\propto \theta$. A fixed collimator focal ratio gives $f_{\mathrm{coll}}\propto b\propto \theta$. With a fixed image width $p$ in photodetector detector pixels, the invariant $\theta D=p{A}_{\mathrm{cam}}/f_{\mathrm{cam}}$ and $A_{\mathrm{cam}}\propto \theta$ instead imply $f_{\mathrm{cam}}$ is constant: the optical camera focal ratio increases as $1/\theta$.

In a simple on-axis beam-envelope model, each collimator and collimated disperser space has area proportional to $b^2$ and length proportional to $b$, whereas the optical camera cone has area proportional to $b^2$ and fixed length. HenceThe constants include $1/M_0$ and fixed design parameters. At fixed field size, the combined collimator and diffraction grating volumes scale as $M{\theta }^3\propto \theta \propto M^{-1/2}$, while the combined optical camera beam-cone volume scales as $M{\theta }^2\propto 1$.

These are integral-field spectrograph volume scaling laws for the shrinking beam, not a claim that the whole apparatus can shrink without a floor. A photodetector of fixed transverse size $d_0$ needs space for its field: an optical camera envelope interpolating between optical pupil width $b$ and photodetector width $d_0$ has volume proportional to $f_{\mathrm{cam}}(b^2+b{d}_0+d_0^2)$, rather than just $f_{\mathrm{cam}}{b}^2$. Replication then adds terms scaling as $M\theta$ and $M$, which can grow as the spaxels shrink. Other field clearances and mechanical margins also change the asymptote. Without the fixed spectral/design assumptions above, the information in the question does not determine unique physical-volume exponents. The role of fixed photodetector size and beam spread is discussed in Allington-Smith's instrument scaling model.

The speckle contrast of a sinusoidal wavefront error gives a peak modal wave amplitude $h_0=(\lambda /\pi )\sqrt{C}$. If all $M$ residual modes have that wave amplitude, their coefficient norm is $H_{\mathrm{coeff}}=\sqrt{M}{h}_0$. Substituting the printed quadrant count gives the intended expressionThere is a normalization issue if this quantity is called physical spatial root mean square wavefront error. For $h(\mathbf{r})={\sum }_k{h}_{0k}\cos (2\pi {\mathbf{u}}_k\cdot \mathbf{r}/D+{\psi }_k)$, the actual pupil-averaged value isOn an orthogonal full-period basis, $⟨s_k^2⟩=1/2$ and cross terms vanish. Alternatively, independent uniform random wave phases give this result after wave phase averaging, even on a circular optical pupil. With the same $M$ and equal contrasts the physical RMS is thenA single full-period cosine already demonstrates the issue: its RMS is $h_0/\sqrt{2}$, not $h_0$. On the actual circular optical pupil, any nonconstant unit-peak cosine also has mean square strictly less than one; averaging over its wave phase gives exactly $1/2$. On a finite circular optical pupil, phase-dependent mode overlaps can additionally matter. If a constant piston is removed before computing RMS, replace the mode Gram matrix by its centred optical pupil covariance. The printed value can be recovered as a modal coefficient norm, or by counting $2M$ orthogonal peak-amplitude quadratures in the physical RMS; neither convention is specified by the quoted mode definition. This is the distinction between modal amplitude norm versus wavefront RMS, not a correction silently made to the PDF. Unequal residual contrasts require ${\mathbb{E}}_{\psi }{h}_{\mathrm{rms}}^2={\lambda }^2{\sum }_k{C}_k/(2{\pi }^2)$, so one speckle's $C$ alone cannot determine the total RMS. The weak-aberration approximation also requires the total wave phase error to stay small, not merely each coefficient separately.

Write spatial frequency in cycles across the optical pupil as $u=D/\Lambda$. The previous result gives a maximum axial spatial frequency $N/2$. If one counts one representative per positive-quadrant integer lattice point inside an isotropic disk $u_x^2+u_y^2\le (N/2{)}^2$, the continuum area estimate isThis is the geometric counting convention producing the printed formula. Lattice boundaries, the zero-frequency piston and axis points give lower-order corrections, so the formula is not an exact integer count.

The mode definition in the PDF is $D=j\Lambda /2$, hence $u=j/2$ and $j_{\max }=N$. It does not itself specify a two-dimensional lattice, its orientation, its independent wave phase components or a circular rather than square spatial frequency cutoff. Full-cycle integer frequencies correspond only to the even values of $j$ in that definition. A general real wavefront error also needs both sine and cosine quadratures, and distinct oblique orientations cannot all be identified with a single positive quadrant: the Fourier transform of a real wavefront has conjugate coefficients at $\mathbf{u}$ and $-\mathbf{u}$, rather than identifying every independent sign change of a component.

For comparison, a circular spatial frequency disk has approximately $\pi N^2/4$ signed full-cycle lattice points, or $\pi N^2/8$ conjugate pairs; two real wave phase components per pair restore approximately $\pi N^2/4$ real degrees of freedom. A square spatial frequency support gives a different count. The circular physical optical pupil similarly has only about $\pi N^2/4$ illuminated actuators. The printed $M$ is a quadrant area estimate under an extra counting convention; it is not a uniquely determined count of all independently correctable wavefront modes from the stated one-dimensional mode condition.