-
Linearised Calderón problem: Reconstruction of unbounded perturbations in 3D
Authors:
Henrik Garde,
Markus Hirvensalo
Abstract:
Recently an algorithm was given in [Garde & Hyvönen, SIAM J. Math. Anal., 2024] for exact direct reconstruction of any $L^2$ perturbation from linearised data in the two-dimensional linearised Calderón problem. It was a simple forward substitution method based on a 2D Zernike basis. We now consider the three-dimensional linearised Calderón problem in a ball, and use a 3D Zernike basis to obtain a…
▽ More
Recently an algorithm was given in [Garde & Hyvönen, SIAM J. Math. Anal., 2024] for exact direct reconstruction of any $L^2$ perturbation from linearised data in the two-dimensional linearised Calderón problem. It was a simple forward substitution method based on a 2D Zernike basis. We now consider the three-dimensional linearised Calderón problem in a ball, and use a 3D Zernike basis to obtain a method for exact direct reconstruction of any $L^3$ perturbation from linearised data. The method is likewise a forward substitution, hence making it very efficient to numerically implement. Moreover, the 3D method only makes use of a relatively small subset of boundary measurements for exact reconstruction, compared to a full $L^2$ basis of current densities.
△ Less
Submitted 25 March, 2024;
originally announced March 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.
-
Reconstruction of cracks in Calderón's inverse conductivity problem using energy comparisons
Authors:
Henrik Garde,
Michael Vogelius
Abstract:
We derive exact reconstruction methods for cracks consisting of unions of Lipschitz hypersurfaces in the context of Calderón's inverse conductivity problem. Our first method obtains upper bounds for the unknown cracks, bounds that can be shrunk to obtain the exact crack locations upon verifying certain operator inequalities for differences of the local Neumann-to-Dirichlet maps. This method can si…
▽ More
We derive exact reconstruction methods for cracks consisting of unions of Lipschitz hypersurfaces in the context of Calderón's inverse conductivity problem. Our first method obtains upper bounds for the unknown cracks, bounds that can be shrunk to obtain the exact crack locations upon verifying certain operator inequalities for differences of the local Neumann-to-Dirichlet maps. This method can simultaneously handle perfectly insulating and perfectly conducting cracks, and it appears to be the first rigorous reconstruction method capable of this. Our second method assumes that only perfectly insulating cracks or only perfectly conducting cracks are present. Once more using operator inequalities, this method generates approximate cracks that are guaranteed to be subsets of the unknown cracks that are being reconstructed.
△ Less
Submitted 17 August, 2023; v1 submitted 11 May, 2023;
originally announced May 2023.
-
The LuViRA Dataset: Synchronized Vision, Radio, and Audio Sensors for Indoor Localization
Authors:
Ilayda Yaman,
Guoda Tian,
Martin Larsson,
Patrik Persson,
Michiel Sandra,
Alexander Dürr,
Erik Tegler,
Nikhil Challa,
Henrik Garde,
Fredrik Tufvesson,
Kalle Åström,
Ove Edfors,
Steffen Malkowsky,
Liang Liu
Abstract:
We present a synchronized multisensory dataset for accurate and robust indoor localization: the Lund University Vision, Radio, and Audio (LuViRA) Dataset. The dataset includes color images, corresponding depth maps, inertial measurement unit (IMU) readings, channel response between a 5G massive multiple-input and multiple-output (MIMO) testbed and user equipment, audio recorded by 12 microphones,…
▽ More
We present a synchronized multisensory dataset for accurate and robust indoor localization: the Lund University Vision, Radio, and Audio (LuViRA) Dataset. The dataset includes color images, corresponding depth maps, inertial measurement unit (IMU) readings, channel response between a 5G massive multiple-input and multiple-output (MIMO) testbed and user equipment, audio recorded by 12 microphones, and accurate six degrees of freedom (6DOF) pose ground truth of 0.5 mm. We synchronize these sensors to ensure that all data is recorded simultaneously. A camera, speaker, and transmit antenna are placed on top of a slowly moving service robot, and 89 trajectories are recorded. Each trajectory includes 20 to 50 seconds of recorded sensor data and ground truth labels. Data from different sensors can be used separately or jointly to perform localization tasks, and data from the motion capture (mocap) system is used to verify the results obtained by the localization algorithms. The main aim of this dataset is to enable research on sensor fusion with the most commonly used sensors for localization tasks. Moreover, the full dataset or some parts of it can also be used for other research areas such as channel estimation, image classification, etc. Our dataset is available at: https://github.com/ilaydayaman/LuViRA_Dataset
△ Less
Submitted 26 April, 2024; v1 submitted 10 February, 2023;
originally announced February 2023.
-
Discrete approximations to Dirichlet and Neumann Laplacians on a half-space and norm resolvent convergence
Authors:
Horia Cornean,
Henrik Garde,
Arne Jensen
Abstract:
We extend recent results on discrete approximations of the Laplacian in $\mathbf{R}^d$ with norm resolvent convergence to the corresponding results for Dirichlet and Neumann Laplacians on a half-space. The resolvents of the discrete Dirichlet/Neumann Laplacians are embedded into the continuum using natural discretization and embedding operators. Norm resolvent convergence to their continuous count…
▽ More
We extend recent results on discrete approximations of the Laplacian in $\mathbf{R}^d$ with norm resolvent convergence to the corresponding results for Dirichlet and Neumann Laplacians on a half-space. The resolvents of the discrete Dirichlet/Neumann Laplacians are embedded into the continuum using natural discretization and embedding operators. Norm resolvent convergence to their continuous counterparts is proven with a quadratic rate in the mesh size. These results generalize with a limited rate to also include operators with a real, bounded, and Hölder continuous potential, as well as certain functions of the Dirichlet/Neumann Laplacians, including any positive real power.
△ Less
Submitted 1 February, 2023; v1 submitted 3 November, 2022;
originally announced November 2022.
-
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.
-
Discrete approximations to Dirac operators and norm resolvent convergence
Authors:
Horia D. Cornean,
Henrik Garde,
Arne Jensen
Abstract:
We consider continuous Dirac operators defined on $\mathbf{R}^d$, $d\in\{1,2,3\}$, together with various discrete versions of them. Both forward-backward and symmetric finite differences are used as approximations to partial derivatives. We also allow a bounded, Hölder continuous, and self-adjoint matrix-valued potential, which in the discrete setting is evaluated on the mesh. Our main goal is to…
▽ More
We consider continuous Dirac operators defined on $\mathbf{R}^d$, $d\in\{1,2,3\}$, together with various discrete versions of them. Both forward-backward and symmetric finite differences are used as approximations to partial derivatives. We also allow a bounded, Hölder continuous, and self-adjoint matrix-valued potential, which in the discrete setting is evaluated on the mesh. Our main goal is to investigate whether the proposed discrete models converge in norm resolvent sense to their continuous counterparts, as the mesh size tends to zero and up to a natural embedding of the discrete space into the continuous one. In dimension one we show that forward-backward differences lead to norm resolvent convergence, while in dimension two and three they do not. The same negative result holds in all dimensions when symmetric differences are used. On the other hand, strong resolvent convergence holds in all these cases. Nevertheless, and quite remarkably, a rather simple but non-standard modification to the discrete models, involving the mass term, ensures norm resolvent convergence in general.
△ Less
Submitted 18 June, 2022; v1 submitted 15 March, 2022;
originally announced March 2022.
-
Simplified reconstruction of layered materials in EIT
Authors:
Henrik Garde
Abstract:
This short note considerably simplifies a reconstruction method by the author (Comm. PDE, 45(9):1118--1133, 2020), for reconstructing piecewise constant layered conductivities (PCLC) from partial boundary measurements in electrical impedance tomography. Theory from monotonicity-based reconstruction of extreme inclusions eliminates most of the bookkee** related to multiple components of each laye…
▽ More
This short note considerably simplifies a reconstruction method by the author (Comm. PDE, 45(9):1118--1133, 2020), for reconstructing piecewise constant layered conductivities (PCLC) from partial boundary measurements in electrical impedance tomography. Theory from monotonicity-based reconstruction of extreme inclusions eliminates most of the bookkee** related to multiple components of each layer, and also simplifies the involved test operators. Moreover, the method no longer requires a priori lower and upper bounds to the unknown conductivity values.
△ Less
Submitted 21 November, 2021; v1 submitted 28 July, 2021;
originally announced July 2021.
-
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.
-
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.
-
Norm resolvent convergence of discretized Fourier multipliers
Authors:
Horia Cornean,
Henrik Garde,
Arne Jensen
Abstract:
We prove norm estimates for the difference of resolvents of operators and their discrete counterparts, embedded into the continuum using biorthogonal Riesz sequences. The estimates are given in the operator norm for operators on square integrable functions, and depend explicitly on the mesh size for the discrete operators. The operators are a sum of a Fourier multiplier and a multiplicative potent…
▽ More
We prove norm estimates for the difference of resolvents of operators and their discrete counterparts, embedded into the continuum using biorthogonal Riesz sequences. The estimates are given in the operator norm for operators on square integrable functions, and depend explicitly on the mesh size for the discrete operators. The operators are a sum of a Fourier multiplier and a multiplicative potential. The Fourier multipliers include the fractional Laplacian and the pseudo-relativistic free Hamiltonian. The potentials are real, bounded, and Hölder continuous. As a side-product, the Hausdorff distance between the spectra of the resolvents of the continuous and discrete operators decays with the same rate in the mesh size as for the norm resolvent estimates. The same result holds for the spectra of the original operators in a local Hausdorff distance.
△ Less
Submitted 31 May, 2021; v1 submitted 30 October, 2020;
originally announced October 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.
-
Reconstruction of piecewise constant layered conductivities in electrical impedance tomography
Authors:
Henrik Garde
Abstract:
This work presents a new constructive uniqueness proof for Calderón's inverse problem of electrical impedance tomography, subject to local Cauchy data, for a large class of piecewise constant conductivities that we call "piecewise constant layered conductivities" (PCLC). The resulting reconstruction method only relies on the physically intuitive monotonicity principles of the local Neumann-to-Diri…
▽ More
This work presents a new constructive uniqueness proof for Calderón's inverse problem of electrical impedance tomography, subject to local Cauchy data, for a large class of piecewise constant conductivities that we call "piecewise constant layered conductivities" (PCLC). The resulting reconstruction method only relies on the physically intuitive monotonicity principles of the local Neumann-to-Dirichlet map, and therefore the method lends itself well to efficient numerical implementation and generalization to electrode models. Several direct reconstruction methods exist for the related problem of inclusion detection, however they share the property that "holes in inclusions" or "inclusions-within-inclusions" cannot be determined. One such method is the monotonicity method of Harrach, Seo, and Ullrich, and in fact the method presented here is a modified variant of the monotonicity method which overcomes this problem. More precisely, the presented method abuses that a PCLC type conductivity can be decomposed into nested layers of positive and/or negative perturbations that, layer-by-layer, can be determined via the monotonicity method. The conductivity values on each layer are found via basic one-dimensional optimization problems constrained by monotonicity relations.
△ Less
Submitted 14 April, 2020; v1 submitted 16 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.
-
Magnetic pseudodifferential operators represented as generalized Hofstadter-like matrices
Authors:
Horia D. Cornean,
Henrik Garde,
Benjamin Støttrup,
Kasper S. Sørensen
Abstract:
First, we reconsider the magnetic pseudodifferential calculus and show that for a large class of non-decaying symbols, their corresponding magnetic pseudodifferential operators can be represented, up to a global gauge transform, as generalized Hofstadter-like, bounded matrices. As a by-product, we prove a Calderón-Vaillancourt type result. Second, we make use of this matrix representation and prov…
▽ More
First, we reconsider the magnetic pseudodifferential calculus and show that for a large class of non-decaying symbols, their corresponding magnetic pseudodifferential operators can be represented, up to a global gauge transform, as generalized Hofstadter-like, bounded matrices. As a by-product, we prove a Calderón-Vaillancourt type result. Second, we make use of this matrix representation and prove sharp results on the spectrum location when the magnetic field strength $b$ varies. Namely, when the operators are self-adjoint, we show that their spectrum (as a set) is at least $1/2$-Hölder continuous with respect to $b$ in the Hausdorff distance. Third, when the magnetic perturbation comes from a constant magnetic field we show that their spectral edges are Lipschitz continuous in $b$. The same Lipschitz continuity holds true for spectral gap edges as long as the gaps do not close.
△ Less
Submitted 19 December, 2018; v1 submitted 16 September, 2018;
originally announced September 2018.
-
A local directional growth estimate of the resolvent norm
Authors:
Horia D. Cornean,
Henrik Garde,
Arne Jensen,
Hans Konrad Knörr
Abstract:
We study the resolvent norm of a certain class of closed linear operators on a Hilbert space, including unbounded operators with compact resolvent. It is shown that for any point in the resolvent set there exist directions in which the norm grows at least quadratically with the distance from this point. This provides a new proof not using the maximum principle that the resolvent norm of the consid…
▽ More
We study the resolvent norm of a certain class of closed linear operators on a Hilbert space, including unbounded operators with compact resolvent. It is shown that for any point in the resolvent set there exist directions in which the norm grows at least quadratically with the distance from this point. This provides a new proof not using the maximum principle that the resolvent norm of the considered class cannot have local maxima. Finally, we give new criteria for the existence of local non-degenerate minima of the resolvent norm and provide examples of (un)bounded non-normal operators having this property.
△ Less
Submitted 13 August, 2018;
originally announced August 2018.
-
The regularized monotonicity method: detecting irregular indefinite inclusions
Authors:
Henrik Garde,
Stratos Staboulis
Abstract:
In inclusion detection in electrical impedance tomography, the support of perturbations (inclusion) from a known background conductivity is typically reconstructed from idealized continuum data modelled by a Neumann-to-Dirichlet map. Only few reconstruction methods apply when detecting indefinite inclusions, where the conductivity distribution has both more and less conductive parts relative to th…
▽ More
In inclusion detection in electrical impedance tomography, the support of perturbations (inclusion) from a known background conductivity is typically reconstructed from idealized continuum data modelled by a Neumann-to-Dirichlet map. Only few reconstruction methods apply when detecting indefinite inclusions, where the conductivity distribution has both more and less conductive parts relative to the background conductivity; one such method is the monotonicity method of Harrach, Seo, and Ullrich. We formulate the method for irregular indefinite inclusions, meaning that we make no regularity assumptions on the conductivity perturbations nor on the inclusion boundaries. We show, provided that the perturbations are bounded away from zero, that the outer support of the positive and negative parts of the inclusions can be reconstructed independently. Moreover, we formulate a regularization scheme that applies to a class of approximative measurement models, including the Complete Electrode Model, hence making the method robust against modelling error and noise. In particular, we demonstrate that for a convergent family of approximative models there exists a sequence of regularization parameters such that the outer shape of the inclusions is asymptotically exactly characterized. Finally, a peeling-type reconstruction algorithm is presented and, for the first time in literature, numerical examples of monotonicity reconstructions for indefinite inclusions are presented.
△ Less
Submitted 19 December, 2018; v1 submitted 20 May, 2017;
originally announced May 2017.
-
Comparison of linear and non-linear monotononicity-based shape reconstruction using exact matrix characterizations
Authors:
Henrik Garde
Abstract:
Detecting inhomogeneities in the electrical conductivity is a special case of the inverse problem in electrical impedance tomography, that leads to fast direct reconstruction methods. One such method can, under reasonable assumptions, exactly characterize the inhomogeneities based on monotonicity properties of either the Neumann-to-Dirichlet map (non-linear) or its Fréchet derivative (linear). We…
▽ More
Detecting inhomogeneities in the electrical conductivity is a special case of the inverse problem in electrical impedance tomography, that leads to fast direct reconstruction methods. One such method can, under reasonable assumptions, exactly characterize the inhomogeneities based on monotonicity properties of either the Neumann-to-Dirichlet map (non-linear) or its Fréchet derivative (linear). We give a comparison of the non-linear and linear approach in the presence of measurement noise, and show numerically that the two methods give essentially the same reconstruction in the unit disk domain. For a fair comparison, exact matrix characterizations are used when probing the monotonicity relations to avoid errors from numerical solution to PDEs and numerical integration. Using a special factorization of the Neumann-to-Dirichlet map also makes the non-linear method as fast as the linear method in the unit disk geometry.
△ Less
Submitted 29 January, 2017; v1 submitted 12 February, 2016;
originally announced February 2016.
-
Distinguishability revisited: depth dependent bounds on reconstruction quality in electrical impedance tomography
Authors:
Henrik Garde,
Kim Knudsen
Abstract:
The reconstruction problem in electrical impedance tomography is highly ill-posed, and it is often observed numerically that reconstructions have poor resolution far away from the measurement boundary but better resolution near the measurement boundary. The observation can be quantified by the concept of distinguishability of inclusions. This paper provides mathematically rigorous results supporti…
▽ More
The reconstruction problem in electrical impedance tomography is highly ill-posed, and it is often observed numerically that reconstructions have poor resolution far away from the measurement boundary but better resolution near the measurement boundary. The observation can be quantified by the concept of distinguishability of inclusions. This paper provides mathematically rigorous results supporting the intuition. Indeed, for a model problem lower and upper bounds on the distinguishability of an inclusion are derived in terms of the boundary data. These bounds depend explicitly on the distance of the inclusion to the boundary, i.e. the depth of the inclusion. The results are obtained for disk inclusions in a homogeneous background in the unit disk. The theoretical bounds are verified numerically using a novel, exact characterization of the forward map as a tridiagonal matrix.
△ Less
Submitted 26 January, 2017; v1 submitted 11 February, 2016;
originally announced February 2016.
-
Convergence and regularization for monotonicity-based shape reconstruction in electrical impedance tomography
Authors:
Henrik Garde,
Stratos Staboulis
Abstract:
The inverse problem of electrical impedance tomography is severely ill-posed, meaning that, only limited information about the conductivity can in practice be recovered from boundary measurements of electric current and voltage. Recently it was shown that a simple monotonicity property of the related Neumann-to-Dirichlet map can be used to characterize shapes of inhomogeneities in a known backgrou…
▽ More
The inverse problem of electrical impedance tomography is severely ill-posed, meaning that, only limited information about the conductivity can in practice be recovered from boundary measurements of electric current and voltage. Recently it was shown that a simple monotonicity property of the related Neumann-to-Dirichlet map can be used to characterize shapes of inhomogeneities in a known background conductivity. In this paper we formulate a monotonicity-based shape reconstruction scheme that applies to approximative measurement models, and regularizes against noise and modelling error. We demonstrate that for admissible choices of regularization parameters the inhomogeneities are detected, and under reasonable assumptions, asymptotically exactly characterized. Moreover, we rigorously associate this result with the complete electrode model, and describe how a computationally cheap monotonicity-based reconstruction algorithm can be implemented. Numerical reconstructions from both simulated and real-life measurement data are presented.
△ Less
Submitted 16 February, 2016; v1 submitted 5 December, 2015;
originally announced December 2015.
-
3D Reconstruction for Partial Data Electrical Impedance Tomography Using a Sparsity Prior
Authors:
Henrik Garde,
Kim Knudsen
Abstract:
In electrical impedance tomography the electrical conductivity inside a physical body is computed from electro-static boundary measurements. The focus of this paper is to extend recent result for the 2D problem to 3D. Prior information about the sparsity and spatial distribution of the conductivity is used to improve reconstructions for the partial data problem with Cauchy data measured only on a…
▽ More
In electrical impedance tomography the electrical conductivity inside a physical body is computed from electro-static boundary measurements. The focus of this paper is to extend recent result for the 2D problem to 3D. Prior information about the sparsity and spatial distribution of the conductivity is used to improve reconstructions for the partial data problem with Cauchy data measured only on a subset of the boundary. A sparsity prior is enforced using the $\ell_1$ norm in the penalty term of a Tikhonov functional, and spatial prior information is incorporated by applying a spatially distributed regularization parameter. The optimization problem is solved numerically using a generalized conditional gradient method with soft thresholding. Numerical examples show the effectiveness of the suggested method even for the partial data problem with measurements affected by noise.
△ Less
Submitted 19 December, 2014;
originally announced December 2014.
-
Sparsity prior for electrical impedance tomography with partial data
Authors:
Henrik Garde,
Kim Knudsen
Abstract:
This paper focuses on prior information for improved sparsity reconstruction in electrical impedance tomography with partial data, i.e. data measured only on subsets of the boundary. Sparsity is enforced using an $\ell_1$ norm of the basis coefficients as the penalty term in a Tikhonov functional, and prior information is incorporated by applying a spatially distributed regularization parameter. T…
▽ More
This paper focuses on prior information for improved sparsity reconstruction in electrical impedance tomography with partial data, i.e. data measured only on subsets of the boundary. Sparsity is enforced using an $\ell_1$ norm of the basis coefficients as the penalty term in a Tikhonov functional, and prior information is incorporated by applying a spatially distributed regularization parameter. The resulting optimization problem allows great flexibility with respect to the choice of measurement boundaries and incorporation of prior knowledge. The problem is solved using a generalized conditional gradient method applying soft thresholding. Numerical examples show that the addition of prior information in the proposed algorithm gives vastly improved reconstructions even for the partial data problem. The method is in addition compared to a total variation approach.
△ Less
Submitted 22 December, 2014; v1 submitted 26 May, 2014;
originally announced May 2014.