Nonlinear parametric inverse problems appear in several prominent applications; one such application is diffuse optical tomography (DOT) in medical image reconstruction. Such inverse problems present huge computational challenges, mostly due to the need for solving a sequence of large-scale discretized, parametrized partial differential equations in the forward model. In this paper, we show how interpolatory parametric model reduction can significantly reduce the cost of the inversion process in DOT by drastically reducing the computational cost of solving the forward problems. The key observation is that function evaluations for the underlying optimization problem may be viewed as transfer function evaluations along the imaginary axis; a similar observation holds for Jacobian evaluations as well. This motivates the use of system-theoretic model order reduction methods. We discuss the construction and use of interpolatory parametric reduced models as surrogates for the full forward model. Within the DOT setting, these surrogate models can approximate both the cost functional and the associated Jacobian with very little loss of accuracy while significantly reducing the cost of the overall inversion process. Four numerical examples illustrate the efficiency of the proposed approach.
Introduction.Nonlinear inverse problems, as exemplified by medical image reconstruction or identification and localization of anomalous regions (e.g., tumors in the body [21], contaminant pools in the earth [38], or cracks in a material sample [55]), are commonly encountered yet remain very expensive to solve. In such inverse problems, one wishes to recover information identifying an unknown spatial distribution (the image) of some quantity of interest within a given medium that is not directly observable. For example, identifying anomalous regions of electrical conductivity in a sample of muscle tissue aids in identification and localization of potential tumor sites.The principal tool linking the images that are sought to correlated data that may be observed and measured is a mathematical model, the forward model. Within the context considered here, forward models are large-scale, discretized, two-or threedimensional, partial differential equations. These forward models constitute the functions to be evaluated for the underlying optimization problem that fits images of interest to observed data, so it is necessary to resolve these large-scale forward problems many times in order to to recover and reconstruct an image to some desired resolution. This constitutes the largest single computational impediment to effective, practical use of some imaging modalities, and low-quality image resolution is an all too common and regrettable outcome. Rapid advances in technology make it possible