Bayesian experimental design for head imaging by electrical impedance tomography (2312.10383v1)
Abstract: This work considers the optimization of electrode positions in head imaging by electrical impedance tomography. The study is motivated by maximizing the sensitivity of electrode measurements to conductivity changes when monitoring the condition of a stroke patient, which justifies adopting a linearized version of the complete electrode model as the forward model. The algorithm is based on finding a (locally) A-optimal measurement configuration via gradient descent with respect to the electrode positions. The efficient computation of the needed derivatives of the complete electrode model is one of the focal points. Two algorithms are introduced and numerically tested on a three-layer head model. The first one assumes a region of interest and a Gaussian prior for the conductivity in the brain, and it can be run offline, i.e., prior to taking any measurements. The second algorithm first computes a reconstruction of the conductivity anomaly caused by the stroke with an initial electrode configuration by combining lagged diffusivity iteration with sequential linearizations, which can be interpreted to produce an approximate Gaussian probability density for the conductivity perturbation. It then resorts to the first algorithm to find new, more informative positions for the available electrodes with the constructed density as the prior.
- Alexanderian, A. Optimal experimental design for infinite-dimensional Bayesian inverse problems governed by PDEs: A review. Inverse Problems (2021), 043001.
- On Bayesian A- and D-optimal experimental designs in infinite dimensions. Bayesian Anal. 11, 3 (2016), 671–695.
- A-optimal design of experiments for infinite-dimensional Bayesian linear inverse problems with regularized l0subscript𝑙0l_{0}italic_l start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT-sparsification. SIAM J. Sci. Comput. 36, 5 (2014), A2122–A2148.
- A fast and scalable method for A-optimal design of experiments for infinite-dimensional Bayesian nonlinear inverse problems. SIAM J. Sci. Comput. 38, 1 (2016), A243–A272.
- Bardsley, J. M. Computational uncertainty quantification for inverse problems, vol. 19 of Computational Science & Engineering. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2018.
- Borcea, L. Electrical impedance tomography. Inverse problems 18 (2002), R99–R136.
- Sequentially optimized projections in x-ray imaging. Inverse Problems 37 (2014), 0750006.
- Hypermodels in the Bayesian imaging framework. Inverse Problems 24 (2008), 034013.
- Computational framework for applying electrical impedance tomography to head imaging. SIAM J. Sci. Comput. 41 (2019), B1034–B1060.
- Approximation error method for imaging the human head by electrical impedance tomography. Inverse Problems 37, 12 (2021), 125008.
- Neural networks for classification of stroke in electrical impedance tomography on a 3D head model. Mathematics in Engineering 4 (2022), 1–22.
- Bayesian experimental design: A review. Stat. Sci. (1995), 273–304.
- On the convergence of the lagged diffusivity fixed point method in total variation image restoration. SIAM J. Numer. Anal. 36, 2 (1999), 354–367.
- Electrical impedance tomography. SIAM Rev. 41 (1999), 85–101.
- Electrode models for electric current computed tomography. IEEE Trans. Biomed. Eng. 36 (1989), 918–924.
- Inverse acoustic and electromagnetic scattering theory, second ed., vol. 93 of Applied Mathematical Sciences. Springer-Verlag, Berlin, 1998.
- Fine-tuning electrode information in electrical impedance tomography. Inverse Probl. Imag. 6 (2012), 399–421.
- Contact adapting electrode model for electrical impedance tomography. SIAM J. Appl. Math. 82 (2022), 427–229.
- Convergence of an iterative method for total variation denoising. SIAM J. Numer. Anal. 34, 5 (1997), 1779–1791.
- Stability estimates for the expected utility in Bayesian optimal experimental design. Inverse Problems 39 (2022), 125008.
- The dielectric properties of biological tissues: II. Measurements in the frequency range 10 Hz to 20 GHz. Phys. Med. Biol. 41 (1996), 2251.
- Justification of point electrode models in electrical impedance tomography. Math. Models Methods Appl. Sci. 21 (2011), 1395–1413.
- Inverse heat source problem and experimental design for determining iron loss distribution. SIAM J. Sci. Comput 43 (2021), B243–B270.
- Edge-enhancing reconstruction algorithm for three-dimensional electrical impedance tomography. SIAM J. Sci. Comput. 37 (2015), B60–B78.
- Bayesian design of measurements for magnetorelaxometry imaging. Inverse Problems (2023), 125020.
- Edge-promoting adaptive Bayesian experimental design for x-ray imaging. SIAM J. Sci. Comput. 44 (2022), B506–B530.
- Optimal Experimental Design for the Large-Scale Nonlinear Ill-Posed Problem of Impedance Imaging, in ‘Large-Scale Inverse Problems and Quantification of Uncertainty’. Wiley, 2010.
- Smoothened complete electrode model. SIAM J. Appl. Math. 77 (2017), 2250–2271.
- Generalized linearization techniques in electrical impedance tomography. Numer. Math. 140 (2018), 95–120.
- Optimizing electrode positions in electrical impedance tomography. SIAM J. Appl. Math. 74 (2014), 1831–1851.
- Statistical and Computational Inverse Problems, vol. 160. Springer Science & Business Media, 2006.
- Posterior covariance related optimal current patterns in electrical impedance tomography. Inverse Problems 20 (2004), 919–936.
- Optimal current patterns in dynamical electrical impedance tomography imaging. Inverse Problems 23 (2007), 1201–1214.
- Optimal Bayesian experimental design for electrical impedance tomography in medical imaging. Comput. Methods Appl. Mech. Eng. 373 (2021), 113489.
- Estimation of in vivo human brain-to-skull conductivity ratio from simultaneous extra-and intra-cranial electrical potential recordings. Clin. Neurophysiol. 116 (2005), 456–465.
- Can one use total variation prior for edge-preserving bayesian inversion? Inverse Problems 20, 5 (2004), 1537.
- The conductivity of brain tissue: Comparison of results in vivo and in vitro measurement. In Proceedings of the 23rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (Instanbul, Turkey, October 2001), vol. 4, IEEE, pp. 910–912.
- Investigational effect of brain-scalp distance on the efficacy of transcranial magnetic stimulation treatment in depression. IEEE Trans. Magn. 52 (2016), 1–4.
- Variation in reported human head tissue electrical conductivity values. Brain Topogr. 32 (2019), 825–858.
- Numerical optimization, second ed. Springer, New York, 2006.
- The conductivity of the human skull: results of in vivo and in vitro measurements. IEEE Trans. Biomed. Eng. 47 (2000), 1487–1492.
- Modern Bayesian experimental design. arXiv preprint arXiv:2302.14545 (2023).
- Nonlinear total variation based noise removal algorithms. Physica D 60 (1992), 259–268.
- A review of modern computational algorithms for Bayesian optimal design. Int. Stat. Rev. 84, 1 (2016), 128–154.
- Optimizing electrode positions in 2-D electrical impedance tomography using deep learning. IEEE Trans. Instrum. Meas. 69, 9 (2020), 6030–6044.
- Existence and uniqueness for electrode models for electric current computed tomography. SIAM J. Appl. Math. 52 (1992), 1023–1040.
- 8 - monitoring hemorrhagic strokes using eit. In Bioimpedance and Spectroscopy, P. Annus and M. Min, Eds. Academic Press, 2021, pp. 271–298.
- Uhlmann, G. Electrical impedance tomography and Calderón’s problem. Inverse Problems 25 (2009), 123011.
- Vauhkonen, M. Electrical impedance tomography with prior information, vol. 62. Kuopio University Publications C (Dissertation), 1997.
- Three-dimensional electrical impedance tomography based on the complete electrode model. IEEE Trans. Biomed. Eng. 46 (1999), 1150–1160.
- Iterative methods for total variation denoising. SIAM J. Sci. Comput. 17 (1996), 227–238.