Abstract
We present an adaptive Kaczmarz method for solving the inverse problem in electrical impedance tomography and determining the conductivity distribution inside an object from electrical measurements made on the surface. To best characterize an unknown conductivity distribution and avoid inverting the Jacobian-related term JTJ which could be expensive in terms of computation cost and memory in large scale problems, we propose solving the inverse problem by applying the optimal current patterns for distinguishing the actual conductivity from the conductivity estimate between each iteration of the block Kaczmarz algorithm. With a novel subset scheme, the memory-efficient reconstruction algorithm which appropriately combines the optimal current pattern generation with the Kaczmarz method can produce more accurate and stable solutions adaptively as compared to traditional Kaczmarz and Gauss-Newton type methods. Choices of initial current pattern estimates are discussed in the paper. Several reconstruction image metrics are used to quantitatively evaluate the performance of the simulation results.
Keywords: electrical impedance tomography, image reconstruction, optimal current pattern
1. Introduction
Electrical impedance tomography (EIT) is an imaging modality that determines the internal conductivity distribution based on the measurements made on an object's surface. It is a non-invasive imaging technique with non-ionizing radiation, low cost instrumentation and easy portability (Saulnier 2001). These advantages over other medical imaging techniques make it favorable for clinical applications such as monitoring lung and heart functions in the thorax, and detecting breast cancer (Holder 2005). In EIT, a set of current patterns is applied to electrodes placed on the surface of the object, and the resulting electrode voltages are measured. The reconstruction problem is an ill-posed inverse problem, therefore, in order to obtain an accurate internal conductivity distribution, appropriate reconstruction methods and current patterns have to be chosen.
Different reconstruction methods proposed to solve the non-linear least-squares problem in EIT inversion can be categorized as direct methods and iterative methods (Holder 2005, Mueller and Siltanen 2012). A direct method, the NOSER algorithm (Cheney et al 1990), uses only one step of the minimization to solve the least-squares problem in EIT, and it is considered to be a fast but less accurate algorithm. In contrast, iterative methods tend to search for more accurate solutions by iteration. However, these methods, such as Gauss Newton (Yorkey et al 1987), can be expensive in terms of computation and memory storage in large scale problems (Vauhkonen 2004, Horesh 2005).
The choice of current patterns will have a great impact on a system's distinguishability. Distinguishability, and the optimal current patterns needed to achieve a maximum of this distinguishability, was introduced by Isaacson in 1986 to provide a quantitative measure of the ability of a system to distinguish between two conditions based on the measurements. A system with limited measurement precision that uses current patterns with high distinguishability, called optimal current patterns in the previous and current papers, is more likely to detect small conductivity changes in an object. A procedure to generate a complete set of optimal current patterns using the Adaptive Current Tomography (ACT) system is given in Isaacson et al in 1996. Note that different notions of optimal current patterns have been introduced such as a statistical criterion to minimize the total variance of the estimation for the resistance or conductance matrix (Demidenko et al 2005). We use the definitions and notions of optimal current patterns designed to maximize the distinguishability as introduced in the 1986 work of Isaacson in what follows.
The objective of the present work is to design an efficient reconstruction algorithm which can adaptively improve the accuracy of the reconstructed images using optimal current patterns. The Kaczmarz method, also known as the Algebraic Reconstruction Technique (ART), is an efficient iterative algorithm to solve the non-linear least-squares problem by recursively solving each row of the system (Kaczmarz 1937, Gordon 1970), and it is widely used in applications ranging from signal processing to medical imaging (Herman 2009, Byrne 2009). Similarly, the generalized block Kaczmarz method partitions the system into subsets and recursively solves the subsets during iterations. In order to best characterize an unknown conductivity in a cost-efficient manner, we introduce an adaptive Kaczmarz method, which solves the inverse problem by applying the optimal current patterns for distinguishing the actual conductivity from the conductivity estimate between each iteration of the block Kaczmarz algorithm. With an ordered subset scheme, the novel reconstruction method appropriately combines the optimal current pattern generation with the block Kaczmarz method and produces accurate solutions without inverting large dimensional matrices during the computation.
The idea of the ordered subset is also applied to the field of transmission tomography's maximum likelihood problem and is shown to be an improvement over the original algorithm (Erdogan et al 1999).
The paper is organized as follows: first we review both the Kaczmarz method and the procedure to generate the optimal current patterns in EIT. Next, an ordered subset scheme is proposed and the adaptive Kaczmarz method is introduced. Simulations are conducted for a two-dimensional (2D) unit radius circular tank with different targets, including lung and heart phantoms. Reconstructed images are evaluated quantitatively using several image quality metrics. The adaptive Kaczmarz method is then tested on experimental data collected on a 2D phantom. We show that the adaptive Kaczmarz method is able to produce stable and accurate solutions cost-efficiently as compared to other methods.
2. Method
In this paper the inverse problem of EIT is viewed as a least-squares problem. Specifically, the goal is to minimize the objective functional in the least-square sense:
(1) |
where ‖ · ‖2 denotes the L2 norm, ρ is the piecewise constant conductivity distribution, U(ρ) are the voltages that are predicted by a forward model given that the conductivity distribution in the body is ρ, and V are the measured voltages on the electrodes.
2.1. Kaczmarz Method
The Kaczmarz method is an iterative algorithm to solve the least-squares problem (1) by recursively solving each row (a single current excitation pattern in the EIT case) of the system (Natterer et al 2001, Vauhkonen 2004). In the EIT application, an iteration is defined to be a single execution to pass through all applied current patterns and the corresponding voltage measurements. Further iterations are followed with the initial solution taken to be the one provided by the previous iteration. At the kth iteration of the ith current excitation, the algorithm projects the solution ρk,i−1 obtained from the (i − 1)th excitation onto the solution space of < jk,i,ρk,i−1 >= Vi, that is
(2) |
where i = 1, 2,…, L − 1 is the current index, L is the total number of electrodes, ak,i is the step length at iteration k for current i, jk,i is the ith row of the Jacobian matrix J obtained at iteration k, λk,i is the regularization parameter, and Vi and Ui(ρk,i−1) are the measured and predicted voltages corresponding to the ith current pattern given the conductivity distribution is ρk,i−1. The approach to select the rows of J at each iteration is either to go through the rows in order or to pick out the index i uniformly at random (Strohmer et al 2009) if we do not have prior information about the current patterns.
Although the Kaczmarz method is well suited for many medical imaging reconstruction problems, its original form might not be a good choice in EIT, where the reconstruction problem is very ill-posed and underdetermined. It is not adequate to obtain an accurate solution update from only a single set of measurements and its corresponding current pattern. In order to overcome the problem, two or more sets of measurements and current patterns can be grouped into blocks to provide an acceptable solution. Hence the block version of the Kaczmarz method should be used.
The block Kaczmarz method (Elfving 1980, Eggermont et al 1981, Byrne 1996) also starts with an initial estimate and a proper partition scheme to divide the Jacobian matrix J into n subsets. At the kth iteration of the ith subset, the algorithm projects the solution ρk,i−1 onto the solution space of < Jk,i, ρk,i−1>= Vi, that is
(3) |
The update step of the block Kaczmarz method looks similar to equation (2) but with a different interpretation. The index i = 1,…,n is the subset index, ak,i is the step length at iteration k for subset i, Jk,i is the row submatrix of the Jacobian obtained at iteration k corresponding to the ith subset, Vi and Ui(ρk,i−1) are the measured and predicted voltages corresponding to the ith subset given the conductivity distribution is ρk,i−1.
2.2. Ordered Subset Scheme and Optimal Current Generation
The block Kaczmarz method requires that the complete set of both current patterns and measurements should be appropriately divided into subsets to improve the performance of the traditional Kaczmarz method. One subset scheme is to partition the complete set in the order that the current patterns are applied and sequentially pick the block at each iteration. We call this the sequential subset scheme. Another subset scheme, which randomly picks the block from a pre-partioned complete set at each iteration, is called the randomized subset scheme (Needell et al 2012).
We propose a novel subset scheme so that we can partition and order the subsets of current patterns and measurements by their ability to characterize the conductivity distribution. Specifically, we partition the current patterns and measurements so that the pair is the best subset to distinguish the actual conductivity distribution from our conductivity estimate, the pair is the second best subset and so on. By ordering the subsets of current patterns and measurements in this way, the best “blockwise” conductivity estimate from the current subset will be obtained and passed down as the starting point to the next subset. Compared to the randomized or sequential subset scheme, the ordered subset scheme can accelerate the convergence by avoiding the situation where the conductivity estimates from the first few iterations are suboptimal.
To obtain the ordered subset of the current patterns, the complete set of the “best” current patterns should be generated and partitioned according to the size of each subset Ii. The “best” is in the sense that the current patterns can best distinguish the actual conductivity distribution from a conductivity distribution estimate, meaning we are looking or the best I that satisfies max , where V and U(ρ(0)) are the measured voltages and the predicted voltages given a conductivity estimate ρ(0). The procedure of finding the optimal current patterns is described in Algorithm 1.
|
Algorithm 1: Producing the optimal current patterns |
|
Input: orthonormal current matrix: T, conductivity estimate ρ(0) |
Initialize T̂= T; |
repeat |
|
|
The algorithm usually converges within 3 iterations. The optimal current patterns represent the modes of the system and the larger the eigenvalue associated with a given pattern, the stronger the mode and the better that pattern's ability to distinguish the actual conductivity distribution from the estimate. By sorting the eigenvalues of P in descending order, it is guaranteed that the new current patterns T̂ are ordered by each excitation's ability to distinguish the conductivity distribution. Denote the desired subset size to be S and the number of all subsets to be n = (L − 1) mod S + 1, the ith current subset can be obtained , and the ith measured voltage subset can be obtained . With the ordered subset scheme, the image can be reconstructed by the block Kaczmarz method described in equation (3).
2.3. Adaptive Kaczmarz method with Ordered Subsets
An adaptive Kaczmarz method with ordered subsets is proposed based on the block Kaczmarz method and optimal current pattern generation. It begins with an initial guess for the current patterns I(0) and an initial guess for the conductivity distribution ρ(0) and proceeds to generate the optimal current patterns I(1) to best distinguish the actual conductivity distribution from the guess ρ(0). Then I(1) with the ordered subset scheme is used to solve for the conductivity distribution with one-iteration of the Kaczmarz method to obtain ρ(1). The more accurate conductivity estimate ρ(1) is used for the next iteration to find the optimal current patterns I(2) to best distinguish the actual conductivity distribution from the more accurate estimate ρ(1), which are then used to solve for ρ(2). Therefore, a new conductivity estimate and a set of optimal current patterns are obtained adaptively at each iteration. The iteration continues until a reasonable conductivity estimate is obtained, or in the best case, the conductivity estimate and the actual conductivity are not distinguishable from the voltage difference. The algorithm is described in Algorithm 2.
In the algorithm, regularization with the identity matrix is needed due to the rank-deficiency of . When prior information, e.g. smoothness, of the solution is known, other regularization matrices, which are widely used in the Tikhonov regularization, can also be applied in the adaptive Kaczmarz method. The generalized update step is
(4) |
where Q is a regularization matrix and W is a weighting matrix. Regularization parameter λi is fixed during iterations. The derivation is based on the analogous Gauss-Newton update step and the matrix inverse lemma and is shown in Appendix A.
|
Algorithm 2: Adaptive Kaczmarz method |
|
Input: orthonormal current matrix T, initial conductivity guess ρ(0), number of iterations m |
Initialize T̂ = T, ρ = ρ(0); |
for k =1:mdo |
a. repeat |
|
the current pattern converges; |
b. Obtained the ordered subsets , , the row submatrix J = {J1, J2, …, Jn}, ρ0 = ρ; |
c. for i=1:ndo |
end |
d. ρ = ρn; |
end |
Output: conductivity distribution ρ |
|
Instead of iterating using one current pattern in the block Kaczmarz method, the adaptive Kaczmarz method updates adaptively both the optimal current patterns and a more accurate conductivity distribution estimate at each iteration. Hence, we are able to use the best conductivity estimate when we solve for the current patterns, and the best current patterns when we solve for the conductivity. It is empirically observed that an accurate and stable solution can be obtained within 5 iterations.
Note that the Gauss Newton method with the update step at iteration k has the form of
(5) |
The relationship between the Gauss Newton update step and the Kaczmarz update step is shown in Appendix A. This relationship can be expressed as
when both the weighting matrix and the regularization matrix are identity matrices and there is no row partition in the Kaczmarz method. The term has the size of M × M and the term has the size of N × N, where M is the number of the elements in the finite element inverse mesh (the number of columns of Jk) and N is the number of measurements (the number of rows of Jk). Since the cost to invert a matrix is O(n3), when M > N the Kaczmarz method is preferable because it inverts a smaller matrix at each step and when N > M, Gauss Newton is preferable because has a smaller dimension. In many realistic EIT problems, the dimension of is considerably smaller than the dimension of since thousands of conductivity voxels have to be determined. This limits the use of the Gauss Newton algorithm to relatively small scale problems. In the 2D two-target simulation shown in the next section, Gauss Newton method inverts JTJ with a dimension of 2992 × 2992 at each update step, while the adaptive Kaczmarz method inverts with a dimension of 192 × 192 assuming the inverse mesh has 2992 elements and the subset size used in the Kaczmarz is 6. In terms of memory requirement, the Gauss Newton method with 10 iterations requires 231.4 Megabytes, while the adaptive Kaczmarz method with 10 iterations requires only 31.2 Megabytes, which is about 6 times less than Gauss Newton. Moreover, the ordered subset scheme in the adaptive Kaczmarz splits the complete set into blocks and allows separated and parallel computation, which will further reduce the memory storage and the computational time. The advantage of the adaptive Kaczmarz in terms of computation cost and memory requirement will be reflected even more in large scale realistic problems, especially in 3D cases.
3. Results
In this section, reconstructed images using different methods are shown and evaluated. Simulations are conducted in EIDORS (Adler and Lionheart 2006) with a forward finite-element model created by Netgen (Schoberl 1997). A normalized 2D circular tank with unit radius and 32 equally-spaced square electrodes is modeled. The complete electrode model is assumed with each electrode's length to be and the contact impedance to be 0.0001 Ω. Meshes are refined around the square electrodes to improve the accuracy of the model. The inverse mesh (2992 elements) is designed to be coarser than the forward mesh (70394 elements) to avoid an inverse crime. The subset size used in the block Kaczmarz and the adaptive Kaczmarz method is 6. The iteration number used in all methods is 10.
3.1. Comparison of different subset schemes
In this simulation, two circular targets with radius rtarget = 0.15 are placed inside the unit radius tank. The conductor is placed at (0.4, −0.35) with conductivity 2 S/m, and the insulator is placed at the location (−0.3,0.2) with the conductivity 0 S/m. Trigonometric current patterns, which are the optimal current patterns for the homogeneous case, are used with the maximum amplitude of 1 mA. The default order of the applied current patterns is defined by specifying the ith current pattern at electrode l as
(6) |
where M is the maximum current amplitude, L = 32 is the total number of the electrodes, and is the angle of the center of the lth electrode.
Images are reconstructed using the non-adaptive block Kaczmarz method with the sequential subset scheme, the randomized subset scheme, and the proposed ordered subset scheme. This simulation serves as a guidance for choosing an appropriate partition scheme for the block Kaczmarz method. The subset size , meaning 6 current excitations and the corresponding measurements are grouped in a single subset. The sequential subset scheme and the ordered subset scheme are described in the previous section. For the randomized subset scheme, we test both the case when the subsets are formed using sequential patterns and the case when the subsets are formed using ordered patterns. At each update step of the Kaczmarz method, a subset is then drawn uniformly at random from the partition. The results are shown in Figure 1.
Figure 1.
Reconstructed images for the case of two targets. Difference images are reconstructed using the non-adaptive block Kaczmarz method with different subset schemes.
It is observed in Figure 1 that the reconstructed image with the ordered subset scheme is more accurate than the images with other schemes. Reconstructed images with the randomized scheme and the sequential scheme have target deformation and artifacts on different levels, while the image with the ordered subset more accurately reflects the actual target's location, size, and shape.
3.2. One target reconstruction with measurement truncation
This simulation is conducted to demonstrate the distinguishability improvement of the adaptive Kaczmarz over its non-adaptive version and to compare different choices for the initial current estimate for the adaptive Kaczmarz method.
A circular target with conductivity 1 S/m with radius of 0.015 is placed at the center of the tank (0, 0). Voltages measured on the electrodes are truncated after 4 digits to model a limited measurement precision. This approach to modeling the limited precision of an EIT measurement system is considered to be more appropriate than adding the Gaussian noise to the measurement channels. Adjacent pair, opposite pair, and trigonometric current patterns are applied using the block Kaczmarz and the adaptive Kaczmarz methods. The maximum current is set to be 1 mA for adjacent pair and opposite pair. Two cases are tested for the trigonometric patterns. In one case, the amplitude is set to be 1 mA (same max amplitude as the adjacent pattern) and, in the other case, the amplitude is set to be 0.25 mA (same applied power as the adjacent pattern). Truncation is scaled according to the measured voltages' dynamic range, modeling the case where the full scale of the analog-to-digital converter is adjusted to equal the maximum measured voltage.
The reconstructed images from the non-adaptive block Kaczmarz method and adaptive Kaczmarz method are shown in Figure 2. Due to their smaller distinguishability, adjacent pair and opposite pair patterns are unable to detect the small target in the center of the tank, while the trigonometric pattern can detect the target even with the same applied power as the adjacent pair. The adaptive Kaczmarz method improves the reconstructions over the non-adaptive version, especially for the cases starting with adjacent pair and opposite pair current pattern. The algorithm generates the optimal patterns at each iteration, improving the ability to detect the small conductivity changes in the center. Figure 3 illustrates this point using the first adjacent pair pattern. Before the optimal current pattern generation, the voltage difference between the inhomogeneous case and the homogeneous case is zero due to the truncation after 4 digits, meaning that it is not possible to distinguish the actual conductivity distribution from the homogeneous background with 4 digits of precision. In contrast, after the optimal current pattern generation step, the current converges to the trigonometric shape pattern and the distinguishability is improved, as shown by the fact that the voltage difference has a trigonometric shape and is detectable. It is worth noting that the voltage difference is detectable (nonzero) without optimal current generation if 6 or more digits of precision are allowed.
Figure 2.
Reconstructed difference images for the case of one centered target with voltage measurements truncated after 4 digits. The images in the top row are reconstructed using the non-adaptive block Kaczmarz method with 5 iterations. The images in the bottom row are reconstructed using the adaptive Kaczmarz method with 5 iterations. The current patterns applied in the top row and used to initialize the adaptive method in the bottom row are labeled for each image.
Figure 3.
Comparison of the first adjacent current pattern before the optimal current generation (upper) and after the optimal current generation (lower). Plots of the current pattern, the measured voltages (truncated after 4 digits), and the voltage difference (truncated after 4 digits) are shown.
The adaptive algorithm can start with any orthogonal current pattern set and will converge to the optimal patterns. The convergence will be accelerated by starting with a near optimal current pattern set. For the 2D circular tank, the trigonometric patterns are optimal for the homogeneous case and are a good starting point for the algorithm.
3.3. Two-target reconstruction
In this section, the non-adaptive block Kaczmarz method, the Gauss Newton method, the adaptive Kaczmarz method, the adaptive Gauss Newton method, and the GREIT method (Adler A et al 2009) are compared for their reconstruction images. The adaptive Gauss Newton method combines the Gauss Newton method and the optimal current pattern generation in a similar way as the adaptive Kaczmarz method does, where the optimal current pattern are adaptively determined between each iteration. The GREIT method reconstructs the image by forming a linear image reconstruction matrix encoded with a set of performance requirements. The two-target model used earlier is once again used and the current patterns (initial for the adaptive cases) are the trigonometric patterns with a maximum amplitude of 1 mA. The reconstructed images using different methods are shown in Figure 4. Note that the GREIT method reconstructs the image onto a 64 × 64 grid, which is different from the inverse mesh used in other methods. The improvement of the adaptive Kaczmarz method and the adaptive Gauss Newton method over their non-adaptive versions can be easily observed.
Figure 4.
Reconstructed images for the case of two targets. Difference images are reconstructed using Kaczmarz, Gauss Newton, adaptive Kaczmarz, adaptive Gauss Newton, and GREIT method.
These images are further compared using several consensus figures of merit described in (Adler A et al 2009):
Position Error is defined to be PE = rt − rq where is the target position and is the center of gravity (CoG) of the reconstructed target.
Blurring Error is defined to be , where AreaSim is the target area and AreaRecon is defined to be the area that has a reconstructed value ≥ 50% of the peak amplitude.
Peak Amplitude is defined to be the biggest pixel values of the reconstructed target.
Amplitude Response is defined to be the sum of the pixels value in AreaRecon.
The measures are applied to the reconstructed conductor target produced by different methods. The simulated conductor target position is at (0.4,−0.35), its area is π(0.15)2, and its peak value is 2. The comparison of different methods is shown in Table 1.
Table 1.
Comparison of different methods. AR stands for amplitude response, PE stands position error, BE stands for blurring error, and PV stands for peak value.
AR | PE | BE | PV | |
---|---|---|---|---|
Gauss Newton | 0.0222 | 0.0202 | 3.0261 | 0.4499 |
Kaczmarz | 0.0199 | −0.0166 | 2.6690 | 0.7336 |
Adaptive Gauss Newton | 0.0233 | −0.0166 | 1.8037 | 0.7974 |
Adaptive Kaczmarz | 0.0233 | 0.0032 | 1.5262 | 0.9351 |
GREIT | 0.2026 | 0.2806 | 2.2420 | 5.6727 |
From the error table, it is observed that the adaptive Kaczmarz has the smallest position error and blurring error among all methods. Moreover, the peak value of the adaptive Kaczmarz is the closest to the true peak value 2. GREIT method has the best amplitude response performance since it uses training data to make sure the amplitude response of the same target will be constant regardless of its location.
3.4. 2D lung and heart simulated phantom
The third simulation is to test the adaptive Kaczmarz method with more complicated targets in the unit 2D circular region. A lung and heart phantom is created by using ellipses and a circle. To make the phantom more realistic, the right ellipse is slight bigger than the left ellipse, and the circle is located closer to the left ellipse. The background conductivity is 0.424 S/m, the conductivity of the lungs is 0.240 S/m, and the heart conductivity is 0.750 S/m. Trigonometric current pattern is applied with a maximum amplitude of 1mA. Reconstructed images of Gauss Newton, Kaczmarz method, adaptive Gauss Newton, and the adaptive Kaczmarz methods are compared in Figure 5. It is observed that the adaptive Kaczmarz method more accurately recovers the shapes and relative locations of the lung-heart phantom. The reconstructed image shows fewer artifacts, especially near the center of the tank.
Figure 5. Reconstructed images of the 2D Lung and Heart Phantom from simulated data.
3.5. 2D lung and heart experimental phantom
The adaptive Kaczmarz method is then tested on experimental data collected on a phantom which consisted of agar heart and lungs in a saline bath in a 2D circular tank of radius 15 cm with 32 electrodes of size 1.6 cm high and 2.5 cm wide. The conductivity of the saline is 0.424 S/m, the conductivity of the agar lungs is 0.240 S/m, and the conductivity of the agar heart is 0.750 S/m. A photo of the configuration is shown in Figure 6. The data was collected using the ACT3 system (Edic et al 1995) at Rensselaer Polytechnic Institute. Trigonometric current patterns are applied with a maximum amplitude of 0.2 mA. Reconstructed images of the adaptive Kaczmarz method and the adaptive Gauss Newton are shown in Figure 6. It is observed that both methods have similar performance, accurately recovering the relative size and position of heart and lungs with small artifacts from the experimental data.
Figure 6. Reconstructed images of the 2D Lung and Heart Phantom from experimental data.
4. Discussion and Conclusion
We introduce the adaptive Kaczmarz method to solve the inversion problem in electrical impedance tomography. This cost-efficient method appropriately combines the block Kaczmarz method and optimal current pattern generation to produce accurate and stable solutions. Unlike the Gauss Newton method, the adaptive Kaczmarz method avoids the expense of inverting some large scale matrices and is quite memory-efficient. The simulation results show that the adaptive Kaczmarz algorithm is able to provide more accurate 2D reconstruction images within a few iterations than the Gauss Newton method.
The ordered subset scheme, which partitions and orders the subsets by the ability to distinguish the actual conductivity distribution from the conductivity estimate, is coupled with optimal pattern generation to improve the Kaczmarz method. Besides its improvement in reconstructing images, the ordered subset scheme provides two alternative directions to further increase the efficiency of the algorithm: 1) in the case when we know that some subsets or the corresponding current patterns contribute little information to refining the solution, it is reasonable to discard them in order to accelerate the algorithm. In some of our simulations, it is observed that with proper partitioning, using only the first half of the subsets or less, we were still able to obtain reconstruction as good as with the complete subsets. 2) The subset scheme splits the complete set into blocks and allows separated and parallel computation, which will further reduce the memory requirement and speed up the algorithm.
Future efforts will involve further improvement in the efficiency of the algorithm and the generalization to the 3D case.
Acknowledgments
This work is supported by a grant from the National Institute of Health under the grant number 1R01HL 109854-01.
We would also like to thank the referees for their insightful comments and suggestions on including reconstruction results from experimental data, clarifying the comparison of the Kaczmarz method and the Gauss Newton method, and pointing out different notions of optimal current patterns.
Appendix A. Derivation of the update step equation of the Kacmarz method with regularization
Define the search direction to be di at ith subset, the measurements corresponding to ith subset to be Vi, the predicted voltage corresponding to ith subset given the conductivity estimate from (i − 1)th subset to be Ui(ρi−1), the row submatrix of the Jacobian corresponding to ith subset to be Ji, λi to be the regularization parameter, W to be the weighting matrix, and Q to be the regularization matrix. The Gauss Newton update step would be
By using the Matrix Inverse Lemma:
We can rewrite di
When W = I, . We can use this search direction in our Kaczmarz method update step. When computing the inverse of the regularization matrix Q, sometimes (Q + rI)−1 is used instead.
References
- Adler A, Lionheart WRB. Uses and abuses of EIDORS: an extensible software base for EIT. Physiol Meas. 2006;27:S25–42. doi: 10.1088/0967-3334/27/5/S03. [DOI] [PubMed] [Google Scholar]
- Adler A, et al. GREIT: a unified approach to 2D linear EIT reconstruction of lung images. Physiol Meas. 2009;30:S35–55. 169–791. doi: 10.1088/0967-3334/30/6/S03. [DOI] [PubMed] [Google Scholar]
- Byrne CL. Block-iterative methods for image reconstruction from projections. IEEE Trans Image Process. 1996;5:792–794. doi: 10.1109/83.499919. [DOI] [PubMed] [Google Scholar]
- Byrne CL. Block-iterative algorithms. International Transactions in Operations Research. 2009;16:427–463. [Google Scholar]
- Cheney M, Isaacson D, Newell JC, Simske C, Goble JC. NOSER: an algorithm for solving the inverse conductivity problem. Int J Imaging Syst & Technol. 1990;2:66–75. doi: 10.1002/ima.1850020203. [DOI] [PMC free article] [PubMed] [Google Scholar]
- Demidenko E, Hartov A, Soni N, Paulsen KD. On optimal current patterns for electrical impedance tomography. IEEE Trans Biomed Eng. 2005;52:238–248. doi: 10.1109/TBME.2004.840506. [DOI] [PubMed] [Google Scholar]
- Edic P, Saulnier GJ, Newell JC, Isaacson D. A real-time electrical impedance tomography. IEEE Trans Biomed Eng. 1995;42:849–859. doi: 10.1109/10.412652. [DOI] [PubMed] [Google Scholar]
- Eggermont PPB, Herman GT, Lent A. Iterative algorithms for large partitioned linear systems, with applications to image reconstruction. Linear Algebra Appl. 1981;40:37–67. [Google Scholar]
- Elfving T. Block-iterative methods for consistent and inconsistent linear equations. Numer Math. 1980;35:112. [Google Scholar]
- Erdogan H, Fessler JA. Ordered subsets algorithms for transmission tomography. Phys Med Biol. 1999;44:2835–2851. doi: 10.1088/0031-9155/44/11/311. [DOI] [PubMed] [Google Scholar]
- Gordon R, Bender R, Herman GT. Algebraic reconstruction techniques (ART) for three-dimensional electron microscopy and X-ray photography. J Theoret Biol. 1970;29:471–481. doi: 10.1016/0022-5193(70)90109-8. [DOI] [PubMed] [Google Scholar]
- Herman GT. Fundamentals of Computerized Tomography: Image Reconstruction from Projections. New York: Springer; 2009. [Google Scholar]
- Holder DS. Electrical Impedance Tomography: Methods, History, and Applications. London: Institute of Physics Publishing; 2005. [Google Scholar]
- Horesh L, Schweiger M, Arridge SR, Holder DS. Large scale non-linear 3D reconstruction algorithms for electrical impedance tomography of the human brain. Conf on Applied Inverse Problems(Royal Agricultural College, Conference Centre) 2005 [Google Scholar]
- Hudson HM, Larkin RS. Accelerated image reconstruction using ordered subsets of projection data. IEEE Trans Med Imaging. 1994;13:601. doi: 10.1109/42.363108. [DOI] [PubMed] [Google Scholar]
- Isaacson D. Distinguishability of conductivities by electric current computed tomography. IEEE Trans Med Imaging. 1986;5:92–5. doi: 10.1109/TMI.1986.4307752. [DOI] [PubMed] [Google Scholar]
- Isaacson D, Cheney M. Process for producing optimal current patterns for electrical impedance tomography US Patent. 1996:5588429. [Google Scholar]
- Kaczmarz S. Angenäherte auflösung von systemen linearer gleichungen. Bull Int Acad Polon Sci Lett Ser A. 1937:335–357. [Google Scholar]
- Mueller JL, Siltanen S. Linear and Nonlinear Inverse Problems with Practical Applications. Philadelphia: SIAM; 2012. [Google Scholar]
- Natterer F, Wübbeling F. Mathematical Methods in Image Reconstruction. Philadelphia: SIAM; 2001. [Google Scholar]
- Needell D, Tropp JA. Paved with good intentions: analysis of a randomized block Kaczmarz method. Preprint 2012 [Google Scholar]
- Saulnier GJ, Blue RS, Newell JC, Isaacson D, Edic PM. Electrical Impedance Tomography. IEEE Signal Processing Magazine. 2001;18:31–43. [Google Scholar]
- Schöberl J. NETGEN - an advancing front 2D/3D-mesh generator based on abstract rules. Comput Vis Sci. 1997;1:41–52. [Google Scholar]
- Strohmer T, Vershynin R. A randomized Kaczmarz algorithm with exponential convergence. J Four Ana and App. 2009;15:262–278. [Google Scholar]
- Vauhkonen PJ. Image Reconstruction in Three-Dimensional Electrical Impedance Tomography. University of Kuopio; 2004. PhD Thesis. [Google Scholar]
- Yorkey TJ, Webster JG, Tompkins WJ. Comparing reconstruction algorithms for electrical impedance tomography. IEEE Trans Biomed Eng. 1987;34:843–52. doi: 10.1109/tbme.1987.326032. [DOI] [PubMed] [Google Scholar]