本文将 Calderón 问题的级数反演推广到含未知内部与接触导纳率的真实电极测量，构造不同阶数的 EIT 反演方法，并用 Bayesian 正则化处理非单射参数化及建模误差。
摘要：
本工作将 [Garde and Hyvönen, Math. Comp. 91:1925-1953] 中关于 Calderón 问题级数反演的结果推广到真实电极测量情形，其中被测物体的内部导纳率以及电极—物体界面处的接触导纳率均被视为未知量。前向算子将内部导纳率和接触导纳率映射为线性电极电流—电位映射，文中首先证明该算子是解析的。通过反演相应的 Taylor 级数，得到一族不同阶数的数值方法，用于求解电阻抗层析成像的反问题，并且可以对未知的内部和边界导纳率采用不同的参数化。只有当所采用的未知量有限维参数化使前向映射的 Fréchet 导数具有单射性时，才能确立这些方法的功能性与收敛性；但我们还借助由 Bayesian 反演所启发的正则化，启发式地将这些方法推广到更一般的设置。该正则化方法的性能通过基于模拟数据的三维数值示例进行测试。数值研究的重点是与电极形状和接触导纳相关的建模误差所产生的影响。
英文摘要：
This work extends the results of [Garde and Hyvönen, Math. Comp. 91:1925-1953] on series reversion for Calderón's problem to the case of realistic electrode measurements, with both the internal admittivity of the investigated body and the contact admittivity at the electrode-object interfaces treated as unknowns. The forward operator, sending the internal and contact admittivities to the linear electrode current-to-potential map, is first proven to be analytic. A reversion of the corresponding Taylor series yields a family of numerical methods of different orders for solving the inverse problem of electrical impedance tomography, with the possibility to employ different parametrizations for the unknown internal and boundary admittivities. The functionality and convergence of the methods is established only if the employed finite-dimensional parametrization of the unknowns allows the Fréchet derivative of the forward map to be injective, but we also heuristically extend the methods to more general settings by resorting to regularization motivated by Bayesian inversion. The performance of this regularized approach is tested via three-dimensional numerical examples based on simulated data. The effect of modeling errors related to electrode shapes and contact admittances is a focal point of the numerical studies.
This work considers electrical impedance tomography imaging of the human head, with the ultimate goal of locating and classifying a stroke in emergency care. One of the main difficulties in the envisioned application is that the electrode locations and the shape of the head are not precisely known, leading to significant imaging artifacts due to impedance tomography being sensitive to modeling errors. In this study, the natural variations in the geometry of the head and skull are modeled based on a library of head anatomies. The effect of these variations, as well as that of misplaced electrod…
Electrical impedance tomography is an imaging modality for extracting information on the interior structure of a physical body from boundary measurements of current and voltage. This work studies a new robust way of modeling the contact electrodes used for driving current patterns into the examined object and measuring the resulting voltages. The idea is to not define the electrodes as strict geometric objects on the measurement boundary, but only to assume approximate knowledge about their whereabouts and let a boundary admittivity function determine the actual locations of the current inputs…
An Analysis of Finite Element Approximation in Electrical Impedance Tomography
Center for Industrial Mathematics, University of Bremen（不来梅大学工业数学中心）；Department of Mathematics, University of California, Riverside（加州大学河滨分校数学系）；School of Mathematics and Statistics, Wuhan University（武汉大学数学与统计学院）
This work investigates the electrical impedance tomography (EIT) problem when only limited boundary measurements are available, which is known to be challenging due to the extreme ill-posedness. Based on the direct sampling method (DSM), we propose deep direct sampling methods (DDSMs) to locate inhomogeneous inclusions in which two types of deep neural networks (DNNs) are constructed to approximate the index function(functional): fully connected neural network(FNN) and convolutional neural network (CNN). The proposed DDSMs are easy to be implemented, capable of incorporating multiple Cauchy da…
A path integral Monte Carlo method (PIMC) based on Feynman-Kac formula for mixed boundary conditions of elliptic equations is proposed to solve the forward problem of electrical impedance tomography (EIT) on the boundary to obtain electrical potentials. The forward problem is an important part for iterative algorithms of the inverse problem of EIT, which has attracted continual interest due to its applications in medical imaging and material testing of materials. By simulating reflecting Brownian motion with walk-on-sphere techniques and calculating its corresponding local time, we are able to…
Determining physical properties inside an object without access to direct measurements of target regions can be formulated as a specific type of \textit{inverse problem}. One of such problems is applied in \textit{Electrical Impedance Tomography} (EIT). In general, EIT can be posed as a minimization problem and solved by iterative methods, which require knowledge of derivatives of the objective function. In practice, this can be challenging because analytical closed-form solutions for them are hard to derive and implement efficiently. In this paper, we study the effectiveness of \textit{automa…
As second-order methods, Gauss--Newton-type methods can be more effective than first-order methods for the solution of nonsmooth optimization problems with expensive-to-evaluate smooth components. Such methods, however, often do not converge. Motivated by nonlinear inverse problems with nonsmooth regularization, we propose a new Gauss--Newton-type method with inexact relaxed steps. We prove that the method converges to a set of disjoint critical points given that the linearisation of the forward operator for the inverse problem is sufficiently precise. We extensively evaluate the performance o…
This paper introduces a new approach for solving electrical impedance tomography (EIT) problems using deep neural networks. The mathematical problem of EIT is to invert the electrical conductivity from the Dirichlet-to-Neumann (DtN) map. Both the forward map from the electrical conductivity to the DtN map and the inverse map are high-dimensional and nonlinear. Motivated by the linear perturbative analysis of the forward map and based on a numerically low-rank property, we propose compact neural network architectures for the forward and inverse maps for both 2D and 3D problems. Numerical result…
This work establishes a framework for solving inverse boundary problems with the geodesic based quadratic Wasserstein distance ($W_{2}$). A general form of the Fréchet gradient is systematically derived by optimal transportation (OT) theory. In addition, a fast algorithm based on the new formulation of OT on $\mathbb{S}^{1}$ is developed to solve the corresponding optimal transport problem. The computational complexity of the algorithm is reduced to $O(N)$ from $O(N^{3})$ of the traditional method. Combining with the adjoint-state method, this framework provides a new computational approach fo…
This paper introduces a constructive method for approximating relative continuum measurements in two-dimensional electrical impedance tomography based on data originating from either the point electrode model or the complete electrode model. The upper bounds for the corresponding approximation errors explicitly depend on the number (and size) of the employed electrodes as well as on the regularity of the continuum current that is mimicked. In particular, if the input current and the object boundary are infinitely smooth, the discrepancy associated with the point electrode model converges to ze…
In computational PDE-based inverse problems, a finite amount of data is collected to infer unknown parameters in the PDE. In order to obtain accurate inferences, the collected data must be informative about the unknown parameters. How to decide which data is most informative and how to efficiently sample it, is the notoriously challenging task of optimal experimental design (OED). In this context, the best, and often infeasible, scenario is when the full input-to-output (ItO) map, i.e., an infinite amount of data, is available: This is the typical setting in many theoretical inverse problems, …
Objective: To present the first 3D CGO-based absolute EIT reconstructions from experimental tank data. Approach: CGO-based methods for absolute EIT imaging are compared to traditional TV regularized non-linear least squares reconstruction methods. Additional robustness testing is performed by considering incorrect model\textbf{}ing of domain shape. Main Results: The CGO-based methods are fast, and show strong robustness to incorrect domain modeling comparable to classic difference EIT imaging and fewer boundary artefacts than the TV regularized non-linear least squares reference reconstruction…
