Chapter Summary

Chapter 6 Summary: Caire's Unified Forward Model

Key Points

• 1.

  The Born-approximation scattering integral can be analyzed in two equivalent ways: View A (Diffraction Tomography) — each measurement samples the scene's spatial Fourier transform at a k-space point; View B (Radar/Wireless) — each Tx-Rx pair performs matched filtering and coherent combination. Both derive from the same physics.

• 2.

  Scene discretization on a grid of $Q$ voxels converts the continuous Born integral into the linear observation model $\mathbf{y} = \mathbf{A}\mathbf{c} + \mathbf{w}$, where $\mathbf{A} \in \mathbb{C}^{MNK \times Q}$ is the sensing matrix encoding all propagation physics. This is the central equation of the book.

• 3.

  A first-order Taylor expansion of the propagation distances around the target center $\mathbf{p}_{0}$ decomposes the round-trip phase into transmitter and receiver wavenumber vectors $\boldsymbol{\kappa}_s$ and $\boldsymbol{\kappa}_r$. The combined wavenumber $\kappa_{\mathbf{s},\mathbf{r}} = \boldsymbol{\kappa}_s + \boldsymbol{\kappa}_r$ identifies the k-space point sampled by each measurement.

• 4.

  The Ewald sphere gives the geometric locus of accessible k-space points: a sphere of radius $\kappa$ for each transmitter direction. Multi-static, multi-frequency configurations tile k-space by sweeping over different Ewald spheres.

• 5.

  The Fourier Diffraction Theorem states that each Born-approximation measurement directly equals (up to known factors) the spatial Fourier transform of the reflectivity at the corresponding k-space point — the RF analogue of the Fourier Slice Theorem in X-ray CT.

• 6.

  Range resolution is $\Delta r = \text{c}/(2W)$ (determined by bandwidth), while cross-range resolution is $\Delta x = \lambda/(2\sin(\theta_{\max}/2))$ (determined by angular aperture). The diffraction limit $\lambda/2$ is achieved only with full angular coverage.

• 7.

  The imaging grid spacing is bounded by the spatial Nyquist condition $\Delta p \leq \lambda_{\min}/2$, but in practice is set to the achievable resolution to balance accuracy and computational cost. The Manzoni-Caire tessellation analysis provides systematic tools for designing the array geometry to maximize k-space coverage.