-
The power of prediction: spatiotemporal Gaussian process modeling for predictive control in slope-based wavefront sensing
Authors:
Jalo Nousiainen,
Juha-Pekka Puska,
Tapio Helin,
Nuutti Hyvönen,
Markus Kasper
Abstract:
Time-delay error is a significant error source in adaptive optics (AO) systems. It arises from the latency between sensing the wavefront and applying the correction. Predictive control algorithms reduce the time-delay error, providing significant performance gains, especially for high-contrast imaging. However, the predictive controller's performance depends on factors such as the WFS type, the me…
▽ More
Time-delay error is a significant error source in adaptive optics (AO) systems. It arises from the latency between sensing the wavefront and applying the correction. Predictive control algorithms reduce the time-delay error, providing significant performance gains, especially for high-contrast imaging. However, the predictive controller's performance depends on factors such as the WFS type, the measurement noise, the AO system's geometry, and the atmospheric conditions.
This work studies the limits of prediction under different imaging conditions through spatiotemporal Gaussian process models. The method provides a predictive reconstructor that is optimal in the least-squares sense, conditioned on the fixed times series of WFS data and our knowledge of the atmosphere. We demonstrate that knowledge is power in predictive AO control. With an SHS-based extreme AO instrument, perfect knowledge of Frozen Flow evolution (wind and Cn2 profile) leads to a reduction of the residual wavefront phase variance up to a factor of 3.5 compared to a non-predictive approach. If there is uncertainty in the profile or evolution models, the gain is more modest. Still, assuming that only effective wind speed is available (without direction) led to reductions in variance by a factor of 2.3.
We also study the value of data for predictive filters by computing the experimental utility for different scenarios to answer questions such as: How many past data frames should the prediction filter consider, and is it always most advantageous to use the most recent data? We show that within the scenarios considered, more data consistently increases prediction accuracy. Further, we demonstrate that given a computational limitation on how many past frames we can use, an optimized selection of $n$ past frames leads to a 10-15% additional improvement in RMS over using the n latest consecutive frames of data.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Linearization-based direct reconstruction for EIT using triangular Zernike decompositions
Authors:
Antti Autio,
Henrik Garde,
Markus Hirvensalo,
Nuutti Hyvönen
Abstract:
This work implements and numerically tests the direct reconstruction algorithm introduced in [Garde & Hyvönen, SIAM J. Math. Anal., 2024] for two-dimensional linearized electrical impedance tomography. Although the algorithm was originally designed for a linearized setting, we numerically demonstrate its functionality when the input data is the corresponding change in the current-to-voltage bounda…
▽ More
This work implements and numerically tests the direct reconstruction algorithm introduced in [Garde & Hyvönen, SIAM J. Math. Anal., 2024] for two-dimensional linearized electrical impedance tomography. Although the algorithm was originally designed for a linearized setting, we numerically demonstrate its functionality when the input data is the corresponding change in the current-to-voltage boundary operator. Both idealized continuum model and practical complete electrode model measurements are considered in the numerical studies, with the examined domain being either the unit disk or a convex polygon. Special attention is paid to regularizing the algorithm and its connections to the singular value decomposition of a truncated linearized forward map, as well as to the explicit triangular structures originating from the properties of the employed Zernike polynomial basis for the conductivity.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
Bayesian experimental design for head imaging by electrical impedance tomography
Authors:
N. Hyvönen,
A. Jääskeläinen,
R. Maity,
A. Vavilov
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…
▽ More
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.
△ Less
Submitted 16 December, 2023;
originally announced December 2023.
-
Bayesian experimental design for linear elasticity
Authors:
Sarah Eberle-Blick,
Nuutti Hyvönen
Abstract:
This work considers Bayesian experimental design for the inverse boundary value problem of linear elasticity in a two-dimensional setting. The aim is to optimize the positions of compactly supported pressure activations on the boundary of the examined body in order to maximize the value of the resulting boundary deformations as data for the inverse problem of reconstructing the Lamé parameters ins…
▽ More
This work considers Bayesian experimental design for the inverse boundary value problem of linear elasticity in a two-dimensional setting. The aim is to optimize the positions of compactly supported pressure activations on the boundary of the examined body in order to maximize the value of the resulting boundary deformations as data for the inverse problem of reconstructing the Lamé parameters inside the object. We resort to a linearized measurement model and adopt the framework of Bayesian experimental design, under the assumption that the prior and measurement noise distributions are mutually independent Gaussians. This enables the use of the standard Bayesian A-optimality criterion for deducing optimal positions for the pressure activations. The (second) derivatives of the boundary measurements with respect to the Lamé parameters and the positions of the boundary pressure activations are deduced to allow minimizing the corresponding objective function, i.e., the trace of the covariance matrix of the posterior distribution, by a gradient-based optimization algorithm. Two-dimensional numerical experiments are performed to demonstrate the functionality of our approach.
△ Less
Submitted 5 September, 2023;
originally announced September 2023.
-
Bayesian design of measurements for magnetorelaxometry imaging
Authors:
Tapio Helin,
Nuutti Hyvönen,
Jarno Maaninen,
Juha-Pekka Puska
Abstract:
The aim of magnetorelaxometry imaging is to determine the distribution of magnetic nanoparticles inside a subject by measuring the relaxation of the superposition magnetic field generated by the nanoparticles after they have first been aligned using an external activation magnetic field that has subsequently been switched off. This work applies techniques of Bayesian optimal experimental design to…
▽ More
The aim of magnetorelaxometry imaging is to determine the distribution of magnetic nanoparticles inside a subject by measuring the relaxation of the superposition magnetic field generated by the nanoparticles after they have first been aligned using an external activation magnetic field that has subsequently been switched off. This work applies techniques of Bayesian optimal experimental design to (sequentially) selecting the positions for the activation coil in order to increase the value of data and enable more accurate reconstructions in a simplified measurement setup. Both Gaussian and total variation prior models are considered for the distribution of the nanoparticles. The former allows simultaneous offline computation of optimized designs for multiple consecutive activations, while the latter introduces adaptability into the algorithm by using previously measured data in choosing the position of the next activation. The total variation prior has a desirable edge-enhancing characteristic, but with the downside that the computationally attractive Gaussian form of the posterior density is lost. To overcome this challenge, the lagged diffusivity iteration is used to provide an approximate Gaussian posterior model and allow the use of the standard Bayesian A- and D-optimality criteria for the total variation prior as well. Two-dimensional numerical experiments are performed on a few sample targets, with the conclusion that the optimized activation positions lead, in general, to better reconstructions than symmetric reference setups when the target distribution or region of interest are nonsymmetric in shape.
△ Less
Submitted 31 May, 2023;
originally announced May 2023.
-
Series reversion for electrical impedance tomography with modeling errors
Authors:
Henrik Garde,
Nuutti Hyvönen,
Topi Kuutela
Abstract:
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 el…
▽ More
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.
△ Less
Submitted 18 May, 2023; v1 submitted 12 September, 2022;
originally announced September 2022.
-
Linearised Calderón problem: Reconstruction and Lipschitz stability for infinite-dimensional spaces of unbounded perturbations
Authors:
Henrik Garde,
Nuutti Hyvönen
Abstract:
We investigate a linearised Calderón problem in a two-dimensional bounded simply connected $C^{1,α}$ domain $Ω$. After extending the linearised problem for $L^2(Ω)$ perturbations, we orthogonally decompose $L^2(Ω) = \oplus_{k=0}^\infty \mathcal{H}_k$ and prove Lipschitz stability on each of the infinite-dimensional $\mathcal{H}_k$ subspaces. In particular, $\mathcal{H}_0$ is the space of square-in…
▽ More
We investigate a linearised Calderón problem in a two-dimensional bounded simply connected $C^{1,α}$ domain $Ω$. After extending the linearised problem for $L^2(Ω)$ perturbations, we orthogonally decompose $L^2(Ω) = \oplus_{k=0}^\infty \mathcal{H}_k$ and prove Lipschitz stability on each of the infinite-dimensional $\mathcal{H}_k$ subspaces. In particular, $\mathcal{H}_0$ is the space of square-integrable harmonic perturbations. This appears to be the first Lipschitz stability result for infinite-dimensional spaces of perturbations in the context of the (linearised) Calderón problem. Previous optimal estimates with respect to the operator norm of the data map have been of the logarithmic-type in infinite-dimensional settings. The remarkable improvement is enabled by using the Hilbert-Schmidt norm for the Neumann-to-Dirichlet boundary map and its Fréchet derivative with respect to the conductivity coefficient. We also derive a direct reconstruction method that inductively yields the orthogonal projections of a general $L^2(Ω)$ perturbation onto the $\mathcal{H}_k$ spaces, hence reconstructing any $L^2(Ω)$ perturbation.
△ Less
Submitted 14 February, 2024; v1 submitted 21 April, 2022;
originally announced April 2022.
-
Reconstruction of singular and degenerate inclusions in Calderón's problem
Authors:
Henrik Garde,
Nuutti Hyvönen
Abstract:
We consider the reconstruction of the support of an unknown perturbation to a known conductivity coefficient in Calderón's problem. In a previous result by the authors on monotonicity-based reconstruction, the perturbed coefficient is allowed to simultaneously take the values $0$ and $\infty$ in some parts of the domain and values bounded away from $0$ and $\infty$ elsewhere. We generalise this re…
▽ More
We consider the reconstruction of the support of an unknown perturbation to a known conductivity coefficient in Calderón's problem. In a previous result by the authors on monotonicity-based reconstruction, the perturbed coefficient is allowed to simultaneously take the values $0$ and $\infty$ in some parts of the domain and values bounded away from $0$ and $\infty$ elsewhere. We generalise this result by allowing the unknown coefficient to be the restriction of an $A_2$-Muckenhoupt weight in parts of the domain, thereby including singular and degenerate behaviour in the governing equation. In particular, the coefficient may tend to $0$ and $\infty$ in a controlled manner, which goes beyond the standard setting of Calderón's problem. Our main result constructively characterises the outer shape of the support of such a general perturbation, based on a local Neumann-to-Dirichlet map defined on an open subset of the domain boundary.
△ Less
Submitted 29 March, 2022; v1 submitted 14 June, 2021;
originally announced June 2021.
-
Approximation error method for imaging the human head by electrical impedance tomography
Authors:
Valentina Candiani,
Nuutti Hyvönen,
Jari P. Kaipio,
Ville Kolehmainen
Abstract:
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 err…
▽ More
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 electrodes, on (absolute) impedance tomography measurements is in turn modeled by the approximation error method. This enables reliably reconstructing the conductivity perturbation caused by the stroke in an average head model, instead of the actual head, relative to its average conductivity levels. The functionality of a certain edge-preferring reconstruction algorithm for locating the stroke is demonstrated via numerical experiments based on simulated three-dimensional data.
△ Less
Submitted 11 June, 2021;
originally announced June 2021.
-
Series reversion in Calderón's problem
Authors:
Henrik Garde,
Nuutti Hyvönen
Abstract:
This work derives explicit series reversions for the solution of Calderón's problem. The governing elliptic partial differential equation is $\nabla\cdot(A\nabla u)=0$ in a bounded Lipschitz domain and with a matrix-valued coefficient. The corresponding forward map sends $A$ to a projected version of a local Neumann-to-Dirichlet operator, allowing for the use of partial boundary data and finitely…
▽ More
This work derives explicit series reversions for the solution of Calderón's problem. The governing elliptic partial differential equation is $\nabla\cdot(A\nabla u)=0$ in a bounded Lipschitz domain and with a matrix-valued coefficient. The corresponding forward map sends $A$ to a projected version of a local Neumann-to-Dirichlet operator, allowing for the use of partial boundary data and finitely many measurements. It is first shown that the forward map is analytic, and subsequently reversions of its Taylor series up to specified orders lead to a family of numerical methods for solving the inverse problem with increasing accuracy. The convergence of these methods is shown under conditions that ensure the invertibility of the Fréchet derivative of the forward map. The introduced numerical methods are of the same computational complexity as solving the linearised inverse problem. The analogous results are also presented for the smoothened complete electrode model.
△ Less
Submitted 1 December, 2021; v1 submitted 7 May, 2021;
originally announced May 2021.
-
Edge-promoting adaptive Bayesian experimental design for X-ray imaging
Authors:
Tapio Helin,
Nuutti Hyvönen,
Juha-Pekka Puska
Abstract:
This work considers sequential edge-promoting Bayesian experimental design for (discretized) linear inverse problems, exemplified by X-ray tomography. The process of computing a total variation type reconstruction of the absorption inside the imaged body via lagged diffusivity iteration is interpreted in the Bayesian framework. Assuming a Gaussian additive noise model, this leads to an approximate…
▽ More
This work considers sequential edge-promoting Bayesian experimental design for (discretized) linear inverse problems, exemplified by X-ray tomography. The process of computing a total variation type reconstruction of the absorption inside the imaged body via lagged diffusivity iteration is interpreted in the Bayesian framework. Assuming a Gaussian additive noise model, this leads to an approximate Gaussian posterior with a covariance structure that contains information on the location of edges in the posterior mean. The next projection geometry is then chosen through A-optimal Bayesian design, which corresponds to minimizing the trace of the updated posterior covariance matrix that accounts for the new projection. Two and three-dimensional numerical examples based on simulated data demonstrate the functionality of the introduced approach.
△ Less
Submitted 1 April, 2021;
originally announced April 2021.
-
Electrodeless electrode model for electrical impedance tomography
Authors:
J. Dardé,
N. Hyvönen,
T. Kuutela,
T. Valkonen
Abstract:
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 geom…
▽ More
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. Such an approach enables reconstructing the boundary admittivity, i.e. the locations and strengths of the contacts, at the same time and with analogous methods as the interior admittivity. The functionality of the new model is verified by two-dimensional numerical experiments based on water tank data.
△ Less
Submitted 3 February, 2021;
originally announced February 2021.
-
Sequentially optimized projections in X-ray imaging
Authors:
Martin Burger,
Andreas Hauptmann,
Tapio Helin,
Nuutti Hyvönen,
Juha-Pekka Puska
Abstract:
This work applies Bayesian experimental design to selecting optimal projection geometries in (discretized) parallel beam X-ray tomography assuming the prior and the additive noise are Gaussian. The introduced greedy exhaustive optimization algorithm proceeds sequentially, with the posterior distribution corresponding to the previous projections serving as the prior for determining the design param…
▽ More
This work applies Bayesian experimental design to selecting optimal projection geometries in (discretized) parallel beam X-ray tomography assuming the prior and the additive noise are Gaussian. The introduced greedy exhaustive optimization algorithm proceeds sequentially, with the posterior distribution corresponding to the previous projections serving as the prior for determining the design parameters, i.e. the imaging angle and the lateral position of the source-receiver pair, for the next one. The algorithm allows redefining the region of interest after each projection as well as adapting parameters in the (original) prior to the measured data. Both A and D-optimality are considered, with emphasis on efficient evaluation of the corresponding objective functions. Two-dimensional numerical experiments demonstrate the functionality of the approach.
△ Less
Submitted 22 June, 2020;
originally announced June 2020.
-
Inverse heat source problem and experimental design for determining iron loss distribution
Authors:
Antti Hannukainen,
Nuutti Hyvönen,
Lauri Perkkiö
Abstract:
Iron loss determination in the magnetic core of an electrical machine, such as a motor or a transformer, is formulated as an inverse heat source problem. The sensor positions inside the object are optimized in order to minimize the uncertainty in the reconstruction in the sense of the A-optimality of Bayesian experimental design. This paper focuses on the problem formulation and an efficient numer…
▽ More
Iron loss determination in the magnetic core of an electrical machine, such as a motor or a transformer, is formulated as an inverse heat source problem. The sensor positions inside the object are optimized in order to minimize the uncertainty in the reconstruction in the sense of the A-optimality of Bayesian experimental design. This paper focuses on the problem formulation and an efficient numerical solution of the discretized sensor optimization and source reconstruction problems. A semirealistic linear model is discretized by finite elements and studied numerically.
△ Less
Submitted 26 October, 2020; v1 submitted 23 March, 2020;
originally announced March 2020.
-
Mimicking relative continuum measurements by electrode data in two-dimensional electrical impedance tomography
Authors:
Henrik Garde,
Nuutti Hyvönen
Abstract:
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…
▽ More
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 zero faster than any negative power of the number of electrodes. The results are first proven for the unit disk via trigonometric interpolation and quadrature rules, and they are subsequently extended to more general domains with the help of conformal map**s.
△ Less
Submitted 7 September, 2020; v1 submitted 28 January, 2020;
originally announced January 2020.
-
Monotonicity-based reconstruction of extreme inclusions in electrical impedance tomography
Authors:
Valentina Candiani,
Jérémi Dardé,
Henrik Garde,
Nuutti Hyvönen
Abstract:
The monotonicity-based approach has become one of the fundamental methods for reconstructing inclusions in the inverse problem of electrical impedance tomography. Thus far the method has not been proven to be able to handle extreme inclusions that correspond to some parts of the studied domain becoming either perfectly conducting or perfectly insulating. The main obstacle has arguably been establi…
▽ More
The monotonicity-based approach has become one of the fundamental methods for reconstructing inclusions in the inverse problem of electrical impedance tomography. Thus far the method has not been proven to be able to handle extreme inclusions that correspond to some parts of the studied domain becoming either perfectly conducting or perfectly insulating. The main obstacle has arguably been establishing suitable monotonicity principles for the corresponding Neumann-to-Dirichlet boundary maps. In this work, we tackle this shortcoming by first giving a convergence result in the operator norm for the Neumann-to-Dirichlet map when the conductivity coefficient decays to zero and/or grows to infinity in some given parts of the domain. This allows passing the necessary monotonicity principles to the limiting case. Subsequently, we show how the monotonicity method generalizes to the definite case of reconstructing either perfectly conducting or perfectly insulating inclusions, as well as to the indefinite case where the perturbed conductivity can take any values between, and including, zero and infinity.
△ Less
Submitted 22 August, 2020; v1 submitted 26 September, 2019;
originally announced September 2019.
-
Optimal depth-dependent distinguishability bounds for electrical impedance tomography in arbitrary dimension
Authors:
Henrik Garde,
Nuutti Hyvönen
Abstract:
The inverse problem of electrical impedance tomography is severely ill-posed. In particular, the resolution of images produced by impedance tomography deteriorates as the distance from the measurement boundary increases. Such depth dependence can be quantified by the concept of distinguishability of inclusions. This paper considers the distinguishability of perfectly conducting ball inclusions ins…
▽ More
The inverse problem of electrical impedance tomography is severely ill-posed. In particular, the resolution of images produced by impedance tomography deteriorates as the distance from the measurement boundary increases. Such depth dependence can be quantified by the concept of distinguishability of inclusions. This paper considers the distinguishability of perfectly conducting ball inclusions inside a unit ball domain, extending and improving known two-dimensional results to an arbitrary dimension $d \geq 2$ with the help of Kelvin transformations. The obtained depth-dependent distinguishability bounds are also proven to be optimal.
△ Less
Submitted 2 October, 2019; v1 submitted 29 April, 2019;
originally announced April 2019.
-
On regularity of the logarithmic forward map of electrical impedance tomography
Authors:
Henrik Garde,
Nuutti Hyvönen,
Topi Kuutela
Abstract:
This work considers properties of the logarithm of the Neumann-to-Dirichlet boundary map for the conductivity equation in a Lipschitz domain. It is shown that the map** from the (logarithm of) the conductivity, i.e. the (logarithm of) the coefficient in the divergence term of the studied elliptic partial differential equation, to the logarithm of the Neumann-to-Dirichlet map is continuously Fréc…
▽ More
This work considers properties of the logarithm of the Neumann-to-Dirichlet boundary map for the conductivity equation in a Lipschitz domain. It is shown that the map** from the (logarithm of) the conductivity, i.e. the (logarithm of) the coefficient in the divergence term of the studied elliptic partial differential equation, to the logarithm of the Neumann-to-Dirichlet map is continuously Fréchet differentiable between natural topologies. Moreover, for any essentially bounded perturbation of the conductivity, the Fréchet derivative defines a bounded linear operator on the space of square integrable functions living on the domain boundary, although the logarithm of the Neumann-to-Dirichlet map itself is unbounded in that topology. In particular, it follows from the fundamental theorem of calculus that the difference between the logarithms of any two Neumann-to-Dirichlet maps is always bounded on the space of square integrable functions. All aforementioned results also hold if the Neumann-to-Dirichlet boundary map is replaced by its inverse, i.e. the Dirichlet-to-Neumann map.
△ Less
Submitted 7 November, 2019; v1 submitted 15 April, 2019;
originally announced April 2019.
-
Computational framework for applying electrical impedance tomography to head imaging
Authors:
Valentina Candiani,
Antti Hannukainen,
Nuutti Hyvönen
Abstract:
This work introduces a computational framework for applying absolute electrical impedance tomography to head imaging without accurate information on the head shape or the electrode positions. A library of fifty heads is employed to build a principal component model for the typical variations in the shape of the human head, which leads to a relatively accurate parametrization for head shapes with o…
▽ More
This work introduces a computational framework for applying absolute electrical impedance tomography to head imaging without accurate information on the head shape or the electrode positions. A library of fifty heads is employed to build a principal component model for the typical variations in the shape of the human head, which leads to a relatively accurate parametrization for head shapes with only a few free parameters. The estimation of these shape parameters and the electrode positions is incorporated in a regularized Newton-type output least squares reconstruction algorithm. The presented numerical experiments demonstrate that strong enough variations in the internal conductivity of a human head can be detected by absolute electrical impedance tomography even if the geometric information on the measurement configuration is incomplete to an extent that is to be expected in practice.
△ Less
Submitted 14 February, 2019;
originally announced February 2019.
-
An inverse boundary value problem for the $p$-Laplacian
Authors:
Antti Hannukainen,
Nuutti Hyvönen,
Lauri Mustonen
Abstract:
This work tackles an inverse boundary value problem for a $p$-Laplace type partial differential equation parametrized by a smoothening parameter $τ\geq 0$. The aim is to numerically test reconstructing a conductivity type coefficient in the equation when Dirichlet boundary values of certain solutions to the corresponding Neumann problem serve as data. The numerical studies are based on a straightf…
▽ More
This work tackles an inverse boundary value problem for a $p$-Laplace type partial differential equation parametrized by a smoothening parameter $τ\geq 0$. The aim is to numerically test reconstructing a conductivity type coefficient in the equation when Dirichlet boundary values of certain solutions to the corresponding Neumann problem serve as data. The numerical studies are based on a straightforward linearization of the forward map, and they demonstrate that the accuracy of such an approach depends nontrivially on $1 < p < \infty$ and the chosen parametrization for the unknown coefficient. The numerical considerations are complemented by proving that the forward operator, which maps a Hölder continuous conductivity coefficient to the solution of the Neumann problem, is Fréchet differentiable, excluding the degenerate case $τ=0$ that corresponds to the classical (weighted) $p$-Laplace equation.
△ Less
Submitted 28 March, 2018;
originally announced March 2018.
-
Detecting stochastic inclusions in electrical impedance tomography
Authors:
Andrea Barth,
Bastian Harrach,
Nuutti Hyvönen,
Lauri Mustonen
Abstract:
This work considers the inclusion detection problem of electrical impedance tomography with stochastic conductivities. It is shown that a conductivity anomaly with a random conductivity can be identified by applying the Factorization Method or the Monotonicity Method to the mean value of the corresponding Neumann-to-Dirichlet map provided that the anomaly has high enough contrast in the sense of e…
▽ More
This work considers the inclusion detection problem of electrical impedance tomography with stochastic conductivities. It is shown that a conductivity anomaly with a random conductivity can be identified by applying the Factorization Method or the Monotonicity Method to the mean value of the corresponding Neumann-to-Dirichlet map provided that the anomaly has high enough contrast in the sense of expectation. The theoretical results are complemented by numerical examples in two spatial dimensions.
△ Less
Submitted 13 June, 2017;
originally announced June 2017.
-
Generalized linearization techniques in electrical impedance tomography
Authors:
Nuutti Hyvönen,
Lauri Mustonen
Abstract:
Electrical impedance tomography aims at reconstructing the interior electrical conductivity from surface measurements of currents and voltages. As the current-voltage pairs depend nonlinearly on the conductivity, impedance tomography leads to a nonlinear inverse problem. Often, the forward problem is linearized with respect to the conductivity and the resulting linear inverse problem is regarded a…
▽ More
Electrical impedance tomography aims at reconstructing the interior electrical conductivity from surface measurements of currents and voltages. As the current-voltage pairs depend nonlinearly on the conductivity, impedance tomography leads to a nonlinear inverse problem. Often, the forward problem is linearized with respect to the conductivity and the resulting linear inverse problem is regarded as a subproblem in an iterative algorithm or as a simple reconstruction method as such. In this paper, we compare this basic linearization approach to linearizations with respect to the resistivity or the logarithm of the conductivity. It is numerically demonstrated that the conductivity linearization often results in compromised accuracy in both forward and inverse computations. Inspired by these observations, we present and analyze a new linearization technique which is based on the logarithm of the Neumann-to-Dirichlet operator. The method is directly applicable to discrete settings, including the complete electrode model. We also consider Fréchet derivatives of the logarithmic operators. Numerical examples indicate that the proposed method is an accurate way of linearizing the problem of electrical impedance tomography.
△ Less
Submitted 30 May, 2017;
originally announced May 2017.
-
Smoothened complete electrode model
Authors:
Nuutti Hyvönen,
Lauri Mustonen
Abstract:
This work reformulates the complete electrode model of electrical impedance tomography in order to enable more efficient numerical solution. The model traditionally assumes constant contact conductances on all electrodes, which leads to a discontinuous Robin boundary condition since the gaps between the electrodes can be described by vanishing conductance. As a consequence, the regularity of the e…
▽ More
This work reformulates the complete electrode model of electrical impedance tomography in order to enable more efficient numerical solution. The model traditionally assumes constant contact conductances on all electrodes, which leads to a discontinuous Robin boundary condition since the gaps between the electrodes can be described by vanishing conductance. As a consequence, the regularity of the electromagnetic potential is limited to less than two square-integrable weak derivatives, which negatively affects the convergence of, e.g., the finite element method. In this paper, a smoothened model for the boundary conductance is proposed, and the unique solvability and improved regularity of the ensuing boundary value problem are proven. Numerical experiments demonstrate that the proposed model is both computationally feasible and also compatible with real-world measurements. In particular, the new model allows faster convergence of the finite element method.
△ Less
Submitted 6 July, 2017; v1 submitted 23 March, 2017;
originally announced March 2017.
-
Enhancing D-bar reconstructions for electrical impedance tomography with conformal maps
Authors:
Nuutti Hyvönen,
Lassi Päivärinta,
Janne P. Tamminen
Abstract:
We present a few ways of using conformal maps in the reconstruction of two-dimensional conductivities in electrical impedance tomography. First, by utilizing the Riemann map** theorem, we can transform any simply connected domain of interest to the unit disk where the D-bar method can be implemented most efficiently. In particular, this applies to the open upper half-plane. Second, in the unit d…
▽ More
We present a few ways of using conformal maps in the reconstruction of two-dimensional conductivities in electrical impedance tomography. First, by utilizing the Riemann map** theorem, we can transform any simply connected domain of interest to the unit disk where the D-bar method can be implemented most efficiently. In particular, this applies to the open upper half-plane. Second, in the unit disk we may choose a region of interest that is magnified using a suitable Möbius transform. To facilitate the efficient use of conformal maps, we introduce input current patterns that are named conformally transformed truncated Fourier basis; in practice, their use corresponds to positioning the available electrodes close to the region of interest. These ideas are numerically tested using simulated continuum data in bounded domains and simulated point electrode data in the half-plane. The connections to practical electrode measurements are also discussed.
△ Less
Submitted 24 February, 2017;
originally announced February 2017.
-
Thermal tomography with unknown boundary
Authors:
Nuutti Hyvönen,
Lauri Mustonen
Abstract:
Thermal tomography is an imaging technique for deducing information about the internal structure of a physical body from temperature measurements on its boundary. This work considers time-dependent thermal tomography modeled by a parabolic initial/boundary value problem without accurate information on the exterior shape of the examined object. The adaptive sparse pseudospectral approximation metho…
▽ More
Thermal tomography is an imaging technique for deducing information about the internal structure of a physical body from temperature measurements on its boundary. This work considers time-dependent thermal tomography modeled by a parabolic initial/boundary value problem without accurate information on the exterior shape of the examined object. The adaptive sparse pseudospectral approximation method is used to form a polynomial surrogate for the dependence of the temperature measurements on the thermal conductivity, the heat capacity, the boundary heat transfer coefficient and the body shape. These quantities can then be efficiently reconstructed via nonlinear, regularized least squares minimization employing the surrogate and its derivatives. The functionality of the resulting reconstruction algorithm is demonstrated by numerical experiments based on simulated data in two spatial dimensions.
△ Less
Submitted 24 July, 2017; v1 submitted 21 November, 2016;
originally announced November 2016.
-
Compensation for geometric modeling errors by electrode movement in electrical impedance tomography
Authors:
Nuutti Hyvönen,
Helle Majander,
Stratos Staboulis
Abstract:
Electrical impedance tomography aims at reconstructing the conductivity inside a physical body from boundary measurements of current and voltage at a finite number of contact electrodes. In many practical applications, the shape of the imaged object is subject to considerable uncertainties that render reconstructing the internal conductivity impossible if they are not taken into account. This work…
▽ More
Electrical impedance tomography aims at reconstructing the conductivity inside a physical body from boundary measurements of current and voltage at a finite number of contact electrodes. In many practical applications, the shape of the imaged object is subject to considerable uncertainties that render reconstructing the internal conductivity impossible if they are not taken into account. This work numerically demonstrates that one can compensate for inaccurate modeling of the object boundary in two spatial dimensions by estimating the locations and sizes of the electrodes as a part of a reconstruction algorithm. The numerical studies, which are based on both simulated and experimental data, are complemented by proving that the employed complete electrode model is approximately conformally invariant, which suggests that the obtained reconstructions in mismodeled domains reflect conformal images of the true targets. The numerical experiments also confirm that a similar approach does not, in general, lead to a functional algorithm in three dimensions.
△ Less
Submitted 8 September, 2016; v1 submitted 25 May, 2016;
originally announced May 2016.
-
Polynomial collocation for handling an inaccurately known measurement configuration in electrical impedance tomography
Authors:
Nuutti Hyvönen,
Vesa Kaarnioja,
Lauri Mustonen,
Stratos Staboulis
Abstract:
The objective of electrical impedance tomography is to reconstruct the internal conductivity of a physical body based on measurements of current and potential at a finite number of electrodes attached to its boundary. Although the conductivity is the quantity of main interest in impedance tomography, a real-world measurement configuration includes other unknown parameters as well: the information…
▽ More
The objective of electrical impedance tomography is to reconstruct the internal conductivity of a physical body based on measurements of current and potential at a finite number of electrodes attached to its boundary. Although the conductivity is the quantity of main interest in impedance tomography, a real-world measurement configuration includes other unknown parameters as well: the information on the contact resistances, electrode positions and body shape is almost always incomplete. In this work, the dependence of the electrode measurements on all aforementioned model properties is parametrized via polynomial collocation. The availability of such a parametrization enables efficient simultaneous reconstruction of the conductivity and other unknowns by a Newton-type output least squares algorithm, which is demonstrated by two-dimensional numerical experiments based on both noisy simulated data and experimental data from two water tanks.
△ Less
Submitted 1 July, 2016; v1 submitted 1 April, 2016;
originally announced April 2016.
-
Efficient inclusion of total variation type priors in quantitative photoacoustic tomography
Authors:
Antti Hannukainen,
Nuutti Hyvönen,
Helle Majander,
Tanja Tarvainen
Abstract:
Quantitative photoacoustic tomography is an emerging imaging technique aimed at estimating the distribution of optical parameters inside tissues from photoacoustic images, which are formed by combining optical information and ultrasonic propagation. This optical parameter estimation problem is ill-posed and needs to be approached within the framework of inverse problems. Photoacoustic images are t…
▽ More
Quantitative photoacoustic tomography is an emerging imaging technique aimed at estimating the distribution of optical parameters inside tissues from photoacoustic images, which are formed by combining optical information and ultrasonic propagation. This optical parameter estimation problem is ill-posed and needs to be approached within the framework of inverse problems. Photoacoustic images are three-dimensional and high-resolution. Furthermore, high-resolution reconstructions of the optical parameters are targeted. Therefore, in order to provide a practical method for quantitative photoacoustic tomography, the inversion algorithm needs to be able to perform successfully with problems of prominent size. In this work, an efficient approach for the inverse problem of quantitative photoacoustic tomography is proposed, assuming an edge-preferring prior for the optical parameters. The method is based on iteratively combining priorconditioned LSQR with a lagged diffusivity step and a linearisation of the measurement model, with the needed multiplications by Jacobians performed in a matrix-free manner. The algorithm is tested with three-dimensional numerical simulations. The results show that the approach can be used to produce accurate and high quality estimates of absorption and diffusion in complex three-dimensional geometries with moderate computation time and cost.
△ Less
Submitted 1 June, 2016; v1 submitted 9 December, 2015;
originally announced December 2015.
-
Edge-promoting reconstruction of absorption and diffusivity in optical tomography
Authors:
Antti Hannukainen,
Lauri Harhanen,
Nuutti Hyvönen,
Helle Majander
Abstract:
In optical tomography a physical body is illuminated with near-infrared light and the resulting outward photon flux is measured at the object boundary. The goal is to reconstruct internal optical properties of the body, such as absorption and diffusivity. In this work, it is assumed that the imaged object is composed of an approximately homogeneous background with clearly distinguishable embedded…
▽ More
In optical tomography a physical body is illuminated with near-infrared light and the resulting outward photon flux is measured at the object boundary. The goal is to reconstruct internal optical properties of the body, such as absorption and diffusivity. In this work, it is assumed that the imaged object is composed of an approximately homogeneous background with clearly distinguishable embedded inhomogeneities. An algorithm for finding the maximum a posteriori estimate for the absorption and diffusion coefficients is introduced assuming an edge-preferring prior and an additive Gaussian measurement noise model. The method is based on iteratively combining a lagged diffusivity step and a linearization of the measurement model of diffuse optical tomography with priorconditioned LSQR. The performance of the reconstruction technique is tested via three-dimensional numerical experiments with simulated measurement data.
△ Less
Submitted 28 May, 2015;
originally announced May 2015.
-
Construction of invisible conductivity perturbations for the point electrode model in electrical impedance tomography
Authors:
Lucas Chesnel,
Nuutti Hyvönen,
Stratos Staboulis
Abstract:
We explain how to build invisible isotropic conductivity perturbations of the unit conductivity in the framework of the point electrode model for two-dimensional electrical impedance tomography. The theoretical approach, based on solving a fixed point problem, is constructive and allows the implementation of an algorithm for approximating the invisible perturbations. The functionality of the metho…
▽ More
We explain how to build invisible isotropic conductivity perturbations of the unit conductivity in the framework of the point electrode model for two-dimensional electrical impedance tomography. The theoretical approach, based on solving a fixed point problem, is constructive and allows the implementation of an algorithm for approximating the invisible perturbations. The functionality of the method is demonstrated via numerical examples.
△ Less
Submitted 21 December, 2014;
originally announced December 2014.
-
Stochastic Galerkin finite element method with local conductivity basis for electrical impedance tomography
Authors:
Nuutti Hyvönen,
Matti Leinonen
Abstract:
The objective of electrical impedance tomography is to deduce information about the conductivity inside a physical body from electrode measurements of current and voltage at the object boundary. In this work, the unknown conductivity is modeled as a random field parametrized by its values at a set of pixels. The uncertainty in the pixel values is propagated to the electrode measurements by numeric…
▽ More
The objective of electrical impedance tomography is to deduce information about the conductivity inside a physical body from electrode measurements of current and voltage at the object boundary. In this work, the unknown conductivity is modeled as a random field parametrized by its values at a set of pixels. The uncertainty in the pixel values is propagated to the electrode measurements by numerically solving the forward problem of impedance tomography by a stochastic Galerkin finite element method in the framework of the complete electrode model. For a given set of electrode measurements, the stochastic forward solution is employed in approximately parametrizing the posterior probability density of the conductivity and contact resistances. Subsequently, the conductivity is reconstructed by computing the maximum a posteriori and conditional mean estimates as well as the posterior covariance. The functionality of this approach is demonstrated with experimental water tank data.
△ Less
Submitted 27 April, 2015; v1 submitted 5 December, 2014;
originally announced December 2014.
-
Edge-enhancing reconstruction algorithm for three-dimensional electrical impedance tomography
Authors:
Lauri Harhanen,
Nuutti Hyvönen,
Helle Majander,
Stratos Staboulis
Abstract:
Electrical impedance tomography is an imaging modality for extracting information on the conductivity distribution inside a physical body from boundary measurements of current and voltage. In many practical applications, it is a priori known that the conductivity consists of embedded inhomogeneities in an approximately constant background. This work introduces an iterative reconstruction algorithm…
▽ More
Electrical impedance tomography is an imaging modality for extracting information on the conductivity distribution inside a physical body from boundary measurements of current and voltage. In many practical applications, it is a priori known that the conductivity consists of embedded inhomogeneities in an approximately constant background. This work introduces an iterative reconstruction algorithm that aims at finding the maximum a posteriori estimate for the conductivity assuming an edge-preferring prior. The method is based on applying (a single step of) priorconditioned lagged diffusivity iteration to sequential linearizations of the forward model. The algorithm is capable of producing reconstructions on dense unstructured three-dimensional finite element meshes and with a high number of measurement electrodes. The functionality of the proposed technique is demonstrated with both simulated and experimental data in the framework of the complete electrode model, which is the most accurate model for practical impedance tomography.
△ Less
Submitted 5 June, 2014;
originally announced June 2014.
-
Optimizing electrode positions in electrical impedance tomography
Authors:
Nuutti Hyvönen,
Aku Seppänen,
Stratos Staboulis
Abstract:
This work considers finding optimal positions for the electrodes within the Bayesian paradigm based on available prior information on the conductivity; the aim is to place the electrodes so that the posterior density of the (discretized) conductivity, i.e., the conditional density of the conductivity given the measurements, is as localized as possible. To make such an approach computationally feas…
▽ More
This work considers finding optimal positions for the electrodes within the Bayesian paradigm based on available prior information on the conductivity; the aim is to place the electrodes so that the posterior density of the (discretized) conductivity, i.e., the conditional density of the conductivity given the measurements, is as localized as possible. To make such an approach computationally feasible, the complete electrode forward model of impedance tomography is linearized around the prior expectation of the conductivity, allowing explicit representation for the (approximate) posterior covariance matrix. Two approaches are considered: minimizing the trace or the determinant of the posterior covariance. The introduced optimization algorithm is of the steepest descent type, with the needed gradients computed based on appropriate Fréchet derivatives of the complete electrode model. The functionality of the methodology is demonstrated via two-dimensional numerical experiments.
△ Less
Submitted 10 September, 2014; v1 submitted 29 April, 2014;
originally announced April 2014.
-
A note on analyticity properties of far field patterns
Authors:
Roland Griesmaier,
Nuutti Hyvönen,
Otto Seiskari
Abstract:
In scattering theory the far field pattern describes the directional dependence of a time-harmonic wave scattered by an obstacle or inhomogeneous medium, when observed sufficiently far away from these objects. Considering plane wave excitations, the far field pattern can be written as a function of two variables, namely the direction of propagation of the incident plane wave and the observation di…
▽ More
In scattering theory the far field pattern describes the directional dependence of a time-harmonic wave scattered by an obstacle or inhomogeneous medium, when observed sufficiently far away from these objects. Considering plane wave excitations, the far field pattern can be written as a function of two variables, namely the direction of propagation of the incident plane wave and the observation direction, and it is well-known to be separately real analytic with respect to each of them. We show that the far field pattern is in fact a jointly real analytic function of these two variables.
△ Less
Submitted 11 October, 2012;
originally announced October 2012.
-
Simultaneous reconstruction of outer boundary shape and admittivity distribution in electrical impedance tomography
Authors:
Jérémi Dardé,
Nuutti Hyvönen,
Aku Seppänen,
Stratos Staboulis
Abstract:
The aim of electrical impedance tomography is to reconstruct the admittivity distribution inside a physical body from boundary measurements of current and voltage. Due to the severe ill-posedness of the underlying inverse problem, the functionality of impedance tomography relies heavily on accurate modelling of the measurement geometry. In particular, almost all reconstruction algorithms require t…
▽ More
The aim of electrical impedance tomography is to reconstruct the admittivity distribution inside a physical body from boundary measurements of current and voltage. Due to the severe ill-posedness of the underlying inverse problem, the functionality of impedance tomography relies heavily on accurate modelling of the measurement geometry. In particular, almost all reconstruction algorithms require the precise shape of the imaged body as an input. In this work, the need for prior geometric information is relaxed by introducing a Newton-type output least squares algorithm that reconstructs the admittivity distribution and the object shape simultaneously. The method is built in the framework of the complete electrode model and it is based on the Fréchet derivative of the corresponding current-to-voltage map with respect to the object boundary shape. The functionality of the technique is demonstrated via numerical experiments with simulated measurement data.
△ Less
Submitted 14 May, 2012;
originally announced May 2012.
-
Point measurements for a Neumann-to-Dirichlet map and the Calderón problem in the plane
Authors:
Nuutti Hyvönen,
Petteri Piiroinen,
Otto Seiskari
Abstract:
This work considers properties of the Neumann-to-Dirichlet map for the conductivity equation under the assumption that the conductivity is identically one close to the boundary of the examined smooth, bounded and simply connected domain. It is demonstrated that the so-called bisweep data, i.e., the (relative) potential differences between two boundary points when delta currents of opposite signs a…
▽ More
This work considers properties of the Neumann-to-Dirichlet map for the conductivity equation under the assumption that the conductivity is identically one close to the boundary of the examined smooth, bounded and simply connected domain. It is demonstrated that the so-called bisweep data, i.e., the (relative) potential differences between two boundary points when delta currents of opposite signs are applied at the very same points, uniquely determine the whole Neumann-to-Dirichlet map. In two dimensions, the bisweep data extend as a holomorphic function of two variables to some (interior) neighborhood of the product boundary. It follows that the whole Neumann-to-Dirichlet map is characterized by the derivatives of the bisweep data at an arbitrary point. On the diagonal of the product boundary, these derivatives can be given with the help of the derivatives of the (relative) boundary potentials at some fixed point caused by the distributional current densities supported at the same point, and thus such point measurements uniquely define the Neumann-to-Dirichlet map. This observation also leads to a new, truly local uniqueness result for the so-called Calderón inverse conductivity problem.
△ Less
Submitted 2 April, 2012;
originally announced April 2012.