[figure]font=footnotesize
Sensitivity fields and parameter estimation
from dielectric objects
Abstract
The quantitative phase image formation process is posed as a problem of parameter estimation from intensity measurements. This approach is inclusive of traditional pixel-oriented imaging, where the sought parameters are the pixel values. The resulting optimization process to find the parameters is then seen to depend on the Sensitivity Field: this is the gradient of the scattered field with respect to the parameters, and it turns out to obey a scattering relationship that is analogous to that of the original scattered field. Examples are given from several regimes of scattering strength.
1 Introduction
“Quantitative Phase Imaging” has become, not least thanks to the tireless work of our late colleague and friend Gabi Popescu [1], whose memory this special issue honors, a standard and popular sub-discipline of Imaging Science. It is the topic of dedicated technical meetings and special sessions within bigger conferences, and of course numerous theses and government grants. Taken at face value, the topical term suggests as its ultimate goal the numerically accurate reconstruction of the spatial details of electromagnetic field’s phase.
The question of phase, and of its meaning and utility for imaging, dates back to at least eighty years ago. This was when the origins of present optical, x-ray and electron microscopy methods were being set by Lawrence Bragg and others. In the words of Denis Gabor [2]:
“[…] Bragg’s method, in which a lattice is reconstructed by diffraction from an X-ray diffraction pattern, can be applied only to a rather exceptional class of periodic structures. It is customary to explain this by saying that diffraction diagrams contain information on the intensities only, but not on the phases. The formulation is somewhat unlucky, as it suggests at once that since phases are unobservables, this state of affairs must be accepted. In fact, not only that part of the phase which is unobservable drops out of conventional diffraction patterns, but also the part which corresponds to geometrical and optical properties of the object, and which in principle could be determined by comparison with a standard reference wave.”
Already in this introductory paragraph, and many times subsequently in this remarkable paper, Gabor makes the point that the phase is not a goal in its own right, but rather as the means to recover more information about the object of interest.
Of course, one important difference between Gabor’s time and ours is that then image interpretation was done entirely manually; therefore, it was reassuring for the human processors, scientists and their assistants alike, to be operating on visually detailed images whose fidelity to the true scene would be somehow guaranteed. Nowadays, image exploitation is largely automated, and yet we still treat the processing algorithms “anthropomorphically”; that is, in equal need of spatial richness and accuracy. Even more importantly, the intervening development of Information Theory—with considerable contributions by Gabor himself—has taught us that the information content of an object is limited by its statistical variation. Spatial variability that is irrelevant to a specific information retrieval task is, at best, unnecessarily resource demanding and, in some cases, it may be outright harmful.
As an example, consider the task of localizing a blob-like object whose blob shape is already known. The anthropomorphic way would be to image the blob as accurately as possible, and then find its center of mass. In the 1960’s this would have involved calculators and rulers. Nowadays, with a computer one might first try to “improve” the image as much as possible with regularizing filters and the like; and then apply a centroid or similar algorithm. This seems like a lot of work just to get out a single coordinate—the center of mass. Moreover, even though my students and I followed this exact same approach before and showed that at least our specific instance was accurate [3, 4], in general there is no guarantee that the image “improvement algorithm” is bias-free.
On the other hand, it is possible to imagine methods of determining the center of mass that are impervious to shape specifics. In fact, one of the earliest “optical computing” methods, the van der Lugt correlator [5, sec. 8.4], does just that. Thus, it is evident that a gap exists between the traditional imaging mentality that prioritizes exquisite spatial detail even if only a few parameters are to be extracted from it; and the information theoretic-driven view that acknowledges the sparsity of the sought-after description and orients the retrieval method accordingly.
My purpose in the present paper is to bridge this gap by recasting spatial imaging as a problem of parameter estimation. This includes fully spatially resolved images as special cases. When the parameters of interest are significantly fewer than the number of pixels, certain efficiencies become possible for imaging system design: it is no accident that the parametric view is popular in modalities deprived of the benefit of high pixel-count spatial reconstructions, e.g. the geosciences.
The core development of the parametric approach is in Section 2. It consists of formulating an optimization functional on the detected intensity—which is always the case, even if the estimate of a phase-like quantity is to be sought after later as an intermediate product. Taking gradients on the functional reveals the need for a Sensitivity Field, which is simply defined as the gradient of the detected field to the sought-after parameters. The Sensitivity Field is an artificial, mathematical construct; however, it turns out to obey propagation rules similar to the physical fields whose gradients it represents.
Section 3 derives the Sensitivity Fields for three regimes that are commonly assumed in light-matter interaction: the thin-film approximation, the first Born (or Wolf) kernel, and strong scattering approaches such as the Lippmann-Schwinger equation and the Beam Propagation Method. Interestingly, the Sensitivity Fields themselves scatter similar to and driven by the electromagnetic fields they originated from. These results are analogous, albeit not entirely identical to sensitivity and adjoint analysis of dynamical systems. [6, 7]
Before diving into the technical details, let me note what the paper is not attempting to do. First, it is not meant to be an exhaustive analysis of electromagnetic scattering models, and it could not credibly be in such a short space. Several excellent textbooks cover this topic in detail [8]. The purpose of using a few such scattering models is to show how their Sensitivity Functions are derived.
Second, my goal here is not to compare the validity or fidelity of different parametric descriptions or scattering models. The former requires a careful formulation of detection noise statistics, which is beyond the scope of the present paper. The basics of the latter are in the aforementioned textbooks, and still subject to active research. [9] Lastly, in Section 2 I only use a simple quadratic—that is, optimal for additive Gaussian statistics only—loss function to derive the sensitivity. Examining the behavior of the Sensitivity Field with alternative loss functions, e.g. adversarial, and more generally adoption of modern optimization methods would be interesting topics for follow-up work.
2 Parameter estimation from spatial images
2.1 Intensity detection and the sensitivity field
![Refer to caption](https://cdn.statically.io/img/arxiv.org/extracted/5701592/general-scattering-geometry.png)
The geometry to be used in the subsequent analysis is shown in Figure [ Make.] Let denote the incident electromagnetic field as function of the Cartesian spatial coordinate ; and let denote the refractive index of the object whose parameters are of interest. The refractive index is assumed to be real, i.e. signifying a pure dielectric object. The parameters may be thought of as “controlling” the spatial distribution of the refractive index; some examples are given in Section 2.5 below.
The resulting scattered field is denoted as and transduced at pixel locations where the intensities
(1) |
are recorded. The vector
(2) |
is “the ideal measurement,” where denotes the transpose. The right-hand side in (1) is the the physical model for light propagation through the object for any choice of parameters . It is also known as the “forward operator.” In optical systems usually the ’s are arranged on a planar 2D lattice of pixels, but in other modalities, e.g. in geo-imaging, they may be randomly placed.
In a noiseless measurement and with perfect knowledge of , eq. 1 holds with strict equality. In practice, a noisy measurement will be instead recorded; and the parameter vector is to be determined. To carry out this latter task, define a loss function such as
(3) |
It is useful to reiterate that inside the square bracket the first term is the noisy measurement, whereas the second term is the forward model, parameterized according to . The quadratic loss function is optimal in the maximum likelihood sense for additive Gaussian detection statistics. Other classical choices, e.g. for Poisson (shot-noise) statistics, or more modern ones such as adversarial loss are possible, but I will not work them out in detail in this paper.
The optimal parameter vector is found from solving the minimization problem
(4) |
If additional prior information on the parameters can be captured in the form or a regularizer , then the minimization problem is modified as the unconstrained
(5) |
or the inequality-constrained
(6) |
In either option, is acting as a regularization parameter. In the interest of brevity, the regularized forms (5-6) are largely left unexploited in this paper.
Existence and uniqueness of minima need to be analyzed on a case-by-case basis, depending on the forward problem and its parameterization. If a minimum does exist, it may be found in a number of ways: e.g. genetic algorithms, gradient-based methods, etc. The simplest among the latter, the gradient descent, proceeds iteratively as
(7) |
Here, denotes the iteration index and is the learning rate. The gradient term is obtained from (3) as
(8) |
It is evidently convenient at this point to introduce the Sensitivity Field
(9) |
which is simply the gradient of the scattered field with respect to the chosen parameterization; and the local error term
(10) |
In terms of these two newly defined quantities, the loss function gradient is written more compactly as
(11) |
2.2 Multiple exposures
![Refer to caption](https://cdn.statically.io/img/arxiv.org/extracted/5701592/general-scattering-multi-detect.png)
For the sake of completeness, I develop this notation a little bit further for the numerous methods that employ multiple exposures onto the same object. Popular examples are confocal microscopy, transport of intensity, ptychography, computed (Radon) tomography, optical diffraction tomography, optical coherence tomography, etc. A drawing suggestive of rotations between exposures, as in tomography, is shown in Figure 2. Let denote the counter of exposures, entered as superscript in the other notations. Thus, is the coordinate of the -th detector pixel at the -th exposure, is the illuminatioun at the -th exposure, etc. The loss function is then expressed as
(12) |
Here, for full generality we have weighed different exposures with the positive numbers . These express relative confidence, for example noisier exposures might receive lower weights.
All the derivations from the previous section follow similarly, finally obtaining
(13) |
This formulation is appealing because it is compatible with tensorial formulations in computing platforms such as Python and Julia.
2.3 Holographic detection and the sensitivity field
![Refer to caption](https://cdn.statically.io/img/arxiv.org/extracted/5701592/general-scattering-holography.png)
In the holographic configuration, rather than detecting the intensity scattered field itself, one interferes it with a reference field . Thus, the intensity at the -th pixel is the interferogram
(14) |
It is also common in experiments for the reference power to be much stronger than the scattered field; that is, everywhere. We then obtain
(15) |
Whether (15) is an improvement over the reference-free version (11) depends on the nature of the scattered field. For slowly-varying fields, the reference term acts as an amplification factor on the sensitivity, which should be beneficial. On the other hand, the high frequencies in the scattered field would make the interference vary too rapidly, and that might lead to local minima in the loss function. A detailed comparison of direct vs. holographic intensity detection is beyond the scope of this paper, but certainly very interesting for future work.
2.4 Partially coherent illumination
So far the illumination has been assumed to be temporally and spatially coherent. To account for spatial partial coherence, one should replace the field in (1) with
(16) |
Here, is the spatial correlation function of the scattered field, more usually referred to as mutual intensity, at a general pair of spatial coordinates , . This may also be expressed in terms of the coherent modes [ Ref] as
(17) |
The ideal measurement then is
(18) |
Expression (16) or (18) is then to be substituted in the loss function (3) and subsequent formulae. In the interest of keeping the present paper confined, a full analysis of parameter estimation under partially coherent illumination is left for future work.
2.5 On the choice of parameterization
The following three examples elucidate how the parameterization choice influences the formulation of the estimation problem.
-
1)
Traditional pixel-oriented spatial imaging. Conceding that at best one may only hope to recover a bandlimited version of the refractive index, let
denote a sampling lattice at the object space, and
(19) The coefficients are what traditionally one might call the spatial pixel values of the (quantitative) phase in 2D, or of the refractive index reconstruction in 3D. By assembling these values into the parameter vector
one can see that the minimum of (3), if it exists, will correspond to the traditional spatial “quantitative phase image.”
Figure 4: Geometry for estimating the displacement of a known blob shape . -
2)
Localization of a known shape. Returning to the localization example from the Introduction section, suppose that
(20) where is a known shape, and it is desired to localize it; i.e., the only unknown is the displacement . This geometry is shown in Figure 4. The parameterization with respect to displacement is
If, moreover, the imaging system is spatially shift-invariant, then (11) reduces to
(21) The problem has become one of finding the best fit displacement coordinate vector to the forward model for the intensity measurements. As long as (or for planar blobs) this estimation problem is overdetermined.
-
3)
Spatial representation in terms of basis functions. Compressive Sensing relies on the existence of a set of basis functions where the object can be represented efficiently. For the refractive index as object, this is expressed as
(22) where most of the coefficients should turn out to be zero. Such sparse bases are discovered by unsupervised learning, e.g. dictionaries [ Ref] The pixel-sampled parameterization (19) is seen to be a special albeit not necessarily sparse version of (22). The parameter vector is similarly chosen as
Now a regularized approach such as (5) or (6) suggests itself, with a suitable choice of sparsity-promoting regularizer, e.g.
3 Sensitivity Fields for some scattering models
The Sensitivity Field (9) in general may be obtained numerically by automatic differentiation. Instead, it is worthwhile to derive explicit expressions for a few common cases of scattering strengths: the thin-film object, the single-event scatterer or First Born approximation, and the multiple scattering regime. The derivations are simple and yield results with a certain intuitive appeal. Moreover, they may provide insights about convergence and fidelity in future real-life applications.
The starting point is the spatially modulated scalar Helmholtz wave equation
(23) |
where is the free-space wavenumber and the appropriate element of the electric field vector. Eq. 23 already neglects polarization effects due to propagation at large numerical apertures and optical anisotropy.
3.1 Point-spread functions
Before developing the Sensitivity Fields, one important detail needs to be taken care of. In the following, denotes the optical system’s Green function, also known as impulse response and point-spread function (PSF). Some typical Green’s functions are listed below and may be replaced in any of the scattering formulae of subsequent Sections, as appropriate.
-
•
The free-space Green’s function
(24) which is an ideal spherical wavefront. Since an ideal point source does not exist, this expression does not represent a physically realizable solution to the Helmholtz equation (23) for electromagnetic fields; closest to a realistic solution is the dipole field [ Ref.] Nevertheless, for numerical apertures less than the ideal spherical wave approximation works quite well.
-
•
The paraxial free-space Green’s function, also referred to as the Fresnel kernel
(25) -
•
The ideal in-focus diffraction-limited system PSF
(26) where is the radius of the diffraction-limited spot and is the same function as in [ Ref specific equation in Goodman].
3.2 “Phase objects” and the thin-film approximation
Loosely speaking, a phase object is generally understood as a spatial material distribution that interacts with light in such a way as to impart phase delay only on the wavefield; no attenuation is to be imparted anywhere. A good approximation for such an object is an infinitessimally thin film yet with a thickness along the optical axis that is modulated as as function of the lateral spatial coordinates ; and whose index of refraction is purely real, and also modulated. This configuration is depicted in Figure 5.
It is customary to define the optical path difference (OPD)
(27) |
and say that the wavefront itself is modulated along the lateral dimensions according to the OPD. That is, the field emanated directly after the rightmost edge of the thin transparency, at the vertical dashed line in Figure 5, is
(28) |
A brief proof of (28) including the list of conditions that have to be met for it to be acceptable is in the Appendix.
![Refer to caption](https://cdn.statically.io/img/arxiv.org/extracted/5701592/thin-film-approx.png)
Past the sample, the field propagates either in free space or through an optical system till it reaches the detector. In both cases, we denote the point-spread function as , as discussed in Section 3.1. The final field on the detector is
(29) |
Note that for applications utilizing the thin film approach, such as imaging of biological cells, it may be necessary to parameterize both refractive index and thickness. This is even though they cannot be decoupled from a single intensity measurement and in the absence of other priors, as is evident from (27).
Leaving this issue aside, the Sensitivity Field is readily obtained as
(30) |
where the “Sensivity illumination” field is
(31) | ||||
(32) |
Evidently, the Sensitivity Field is the same as the field produced by the same object when the illumination is modulated by the OPD sensitivity . This interesting symmetry will recur in Section 3.3 with the first Rytov approximation (43) and in Section 3.4 with the Lippmann-Schwinger integral equation (45).
Alternatively, the terms within the integral may be regrouped as
(33) |
where now the phase transmissivity is
(34) |
Due to the imaginary part in this expression, this is no longer a pure “phase object;” it includes an amplitude modulation. An analogous result occurs in Section 3.3 with the first Born approximation (38).
3.3 First Born and First Rytov approximations
The Born series is a rigorous, if not necessarily stable numerically method to obtain a solution for the scattered field in (23). Keeping the first term only implies that multiple scattering is negligible. This results from the substitution
(35) |
for the total field, and the approximation
(36) |
Here,
(37) |
is the scattering potential. Result (36) is known as the First Born approximation or Born integral and more recently it has started being referred to as the Wolf transform. [ Ref Wolf 1967]
It is straightforward to obtain the Sensitivity Field for the First Born approximation as
(38) |
where the modified potential
(39) |
Here, as in (33), the Sensitivity Field is produced by the same illumination as the original scattered field but with a modified scattering potential.
One alternative to the Born series is the Rytov perturbation expansion, which starts by the transformation . To a first-order approximation then the scattered field is obtained as
(40) | ||||
(41) |
This result is known as the Rytov approximation or Rytov integral. Consequently, its Sensitivity Field is
(42) | ||||
(43) |
is the sensitivity illumination field and is again given by (39). In this case, as in (30), the Sensitivity Field results from a modified illumination acting on the same scattering potential as in the original scattered field.
3.4 Multiple scattering via the Lippmann-Schwinger equation
The Lippmann-Schwinger integral equation captures multiple scattering orders and is formally equivalent with, albeit usually better behaved numerically than the Born series. The scattered field is obtained from
(44) |
The scattering potential is the same as in (37).
Taking gradients on both sides, the Sensitivity Field for the Lippmann-Schwinger integral equation is found to satisfy
(45) |
where the Sensitivity illumination field is
(46) |
Once again one arrives at a situation like (32) and (43), where the Sensitivity Field is scattered by the same potential as the original scattered field with an illumination that results from the original scattered field modulated by the gradient of the scattering potential.
3.5 Multiple scattering via the Beam Propagation Method
If back scattering may be neglected, then a popular alternative is the Beam Propagation Method. In [9] it was shown that the Beam Propagation Method approximates the Lippmann-Schwinger equation solution well for weakly scattering objects, and the error grows as the fourth power of the maximum scattering angle, i.e. the spatial bandwidth of the scatterer.
In BPM, the object is divided into multiple slices oriented perpendicular to the directional axis . Each slice is treated like a thin transparency, and subsequently the field is forward-propagated as if through free space to the next slice. That is,
(47) |
The recursion is initialized with
(48) |
the incident illumination. Since the field from a given slice can reach the next slice at a considerably large angle, usually the ideal spherical wave kernel (24) is used in BPM.
The sensitivity analysis on (47) was carried out in [ Ref Kamilov] leading to an elegant analogy between the sensitivity equation (11) for BPM and backpropagation in neural networks. Even though these papers considered only the pixel-oriented spatial imaging parameterization, #1 in Section 2.5, it is straightforward to generalize them to other parameterizations.
4 Conclusions
There are two main messages from this paper. The first is that treating the quantitative phase imaging problem as one of parameter estimation allows some interesting generealizations that are less “anthropomorphic.” Thus, perhaps accuracy improvements and efficiency savings may result. The parametric approach is inclusive of the traditional spatial imaging way of thinking, as the reader has seen in case #1 of Section 2.5.
The second main point is the Sensitivity Field. It results in straightforward fashion from taking gradients on the loss function, eqs. 3-9, with respect to the sought parameters. Superficially, thanks to automatic differentiation it may appear that there is no reason to carry out all the derivations of Sensitivity Fields in Section 3. I beg to disagree. The results reveal an interesting intuition: the Sensitivity Fields are either produced by the same given scattering potential but with a modified Sensitivity Illumination field that is computed from the original scattered field, as in eqs. 30, 42, 45; or by the same illumination field but instead with a scattering potential that is the gradient of the original potential, as in eqs. 33 and 38. Such analogies are well known in the community of feedback control [6, 7] and have led to interesting innovations. [10]
Acknowledgments
This research was funded by the U. S. Air Force Office of Scientific Research through the Multi-University Research Initiative (MURI) “Searching for what’s new: the systematic development of dynamic x-ray microscopy,” grant No. FA9550-23-1-0284; and by Singapore’s National Research Foundation through the Intra-Create thematic grant “Retinal Analytics through Machine learning aiding Physics” (RAMP), grant No. NRF2019-THE002-0006. The author is grateful to Steven G. Johnson of the MIT Mathematics Department; Chris Jacobsen of the Northwester University Physics Department; Shen Zuowei and Ji Hui of the National University of Singapore’s Department of Mathematical Sciences; Fabian Bräu, Bingyao Tan, Michael Girard, Leopold Schmetterer and Aung Tin of the Singapore Eye Research Institute; Sandip Mondal of SMART; and Qihang Zhang of Tsinghua University for helpful discussions.
Appendix: Derivation of the thin film approximation
Starting with the space-variant Helmholtz equation (23), we elect a directional optical beam along the axis as
(49) |
Here, is a slow-varying modulation , i.e.
(50) |
Substituting (49) into (23) we obtain
(51) |
We now make the strong assumption
(52) | ||||
(53) |
In Geometrical and Hamiltonian optics, condition (53) is also known as a “guide medium.” The remaining terms in (51) then have the solution
(54) |
where is the incident field. To bring this into an even more recognizable form, we further assume a weak refractive index modulation
(55) |
Then (54) becomes
(56) |
In the exponent, we recognize the optical path difference
(57) |
Clearly, the thin dielectric object under these approximations imparts a pure phase modulation on the incident field. This is a key consequence and justification for the term “phase object.”
To summarize, the phase object or thin film approximation (56) relies on all of the following assumptions to be true:
-
(i)
The refractive index is independent of the axial variable , according to (53).
-
(ii)
The refractive index modulation is small relative to the surrounding medium, according to (55).
- (iii)
where the spatial derivatives are with respect to . Without going into a full analysis of these expressions, one might just point out that as the depth increases, so does the potential of (58-60) becoming violated. The same holds for the lateral bandwidth of the incident illumination and the modulation .
Remarkably, biological cells seem to satisfy these smoothness conditions most of the time. This is probably why QPI has been fairly succesful in visualizing them and identifying correlates to biological functions. On the other hand, it is also cutomary to apply the thin film approximation to certain artificial objects that seem to break it, e.g. if they include sharp edges. This is the case for almost all binary optics and 3D-printed dielectric objects, for example. Even more remarkably, the thin-film approximation even then seems to predict the output of the overall optical system in good agreement with experiments.
It is possible that such objects in their physical realization are not actually as sharp as their models assume. Moreover, usually the light scattered from the highly sloped edges is directed outside the aperture of the optical system. Its absence from the detected intensity would appear to cause no damage other than smoothening; which may just be ignored or corrected by use of prior knowledge, i.e. an edge-enhancing regularizer such as Total Variation (TV).
References
- [1] YongKeun Park, C. Depeursinge, and G. Popescu, “Quantitative phase imaging in biomedicine,” Nat. Photonics 12, 578–589 (2018).
- [2] D. Gabor, “Microscopy by reconstructed wave-fronts,” Proc. Roy. Soc. A 197, 454–487 (1949).
- [3] Yi Liu, Lei Tian, J. W. Lee, H. Yuan Hao Huang, M. S. Triantafyllou, and G. Barbastathis, “Scanning-free compressive holography for object localization with subpixel accuracy,” Opt. Lett. 37, 3357–3359 (2012).
- [4] Yi Liu, Lei Tian, Chih-Hung Hsieh, and G. Barbastathis, “Compressive holographic two-dimensional localization with subpixel accuracy,” Opt. Express 22, 9774–9782 (2014).
- [5] J. W. Goodman, Introduction to Fourier Optics (Mc Graw–Hill, 1996), 2nd ed.
- [6] L. S. Pontryagin, V. G. Boltyanskii, R. V. Gamkrelidze, and E. F. Mishchenko, “The mathematical theory of optimal processes,” in “Classics of Soviet Mathematics,” , vol. 4 of L. S. Pontryagin selected works, L. W. Neustadt, ed. (CRC Press, 1986, original in 1961).
- [7] Yang Cao, Shengtai Li, L. Petzold, and R. Serban, “Adjoint sensitivity analysis for differential-algebraic equations: the adjoint DAE system and its numerical solution,” SIAM J. Sci. Comput. 24, 1076–1089 (2003).
- [8] V. I. Tatarski, Wave propagation in a turbulent medium (McGraw-Hill, New York, 1961).
- [9] Subeen Pang and G. Barbastathis, “Unified treatment of exact and approximate scalar electromagnetic wave scattering,” Phys. Rev. E 106, 045301 (2022).
- [10] Ricky T. Q. Chen, Y. Rubanova, J. Bettencourt, and D. Duvenaud, “Neural ordinary differential equations,” arXiv:1806.07366 (2019).