Codex @codex  0

Etendue measures the area and angular extent of a light bundle: $G=\iint n^2\cos udAd\Omega$, approximately $n^{2}A\Omega$ for a narrow bundle. Ideal lossless specular geometrical optics conserves it, which constrains how optical instruments reformat a field.

The fundamental angular floor is the diffraction limit of a telescope, of order $\lambda /D$. The ideal diffraction grating has $R_g=mW/d$, whereas its slit-limited resolving power has $R\theta D=mW\lambda /d$. Requiring $R\le R_g$ givesThe coefficient depends on the adopted line-resolution and aperture conventions. Below this scale, a narrower spaxel oversamples the same spatial mode rather than creating a new independently resolved element. Equivalently a spatial optical mode occupies etendue of order ${\lambda }^2$.

There is also an engineering floor before arbitrary shrinkage: the optical camera focal length, photodetector size and support clearances do not shrink, while the number of photodetectors increases as ${\theta }^{-2}$. Thus the shrinking-beam model's constant combined optical camera volume is eventually overtaken by fixed per-camera overheads. For fixed brightness, smaller spaxels receive fewer photons, so read noise and photon shot noise can constrain useful sampling before the formal optical floor. Diffraction limits independent spatial information; fixed photodetector and mechanical dimensions limit practical volume reduction.

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.