-
Finite element approximation for quantitative photoacoustic tomography in a diffusive regime
Authors:
Giovanni S. Alberti,
Siyu Cen,
Zhi Zhou
Abstract:
In this paper, we focus on the numerical analysis of quantitative photoacoustic tomography. Our goal is to reconstruct the optical coefficients, i.e., the diffusion and absorption coefficients, using multiple internal observational data. The foundation of our numerical algorithm lies in solving an inverse diffusivity problem and a direct problem associated with elliptic equations. The stability of…
▽ More
In this paper, we focus on the numerical analysis of quantitative photoacoustic tomography. Our goal is to reconstruct the optical coefficients, i.e., the diffusion and absorption coefficients, using multiple internal observational data. The foundation of our numerical algorithm lies in solving an inverse diffusivity problem and a direct problem associated with elliptic equations. The stability of the inverse problem depends critically on a non-zero condition in the internal observations, a condition that can be met using randomly chosen boundary excitation data. Utilizing these randomly generated boundary data, we implement an output least squares formulation combined with finite element discretization to solve the inverse problem. In this scenario, we provide a rigorous error estimate in $L^2(Ω)$ norm for the numerical reconstruction using a weighted energy estimate, inspired by the analysis of a newly proposed conditional stability result. The resulting error estimate serves as a valuable guide for selecting appropriate regularization parameters and discretization mesh sizes according to the noise levels present in the data. Several numerical experiments are presented to support our theoretical results and illustrate the effectiveness of our numerical scheme.
△ Less
Submitted 8 May, 2025;
originally announced May 2025.
-
Compressed sensing for inverse problems II: applications to deconvolution, source recovery, and MRI
Authors:
Giovanni S. Alberti,
Alessandro Felisi,
Matteo Santacesaria,
S. Ivan Trapasso
Abstract:
This paper extends the sample complexity theory for ill-posed inverse problems developed in a recent work by the authors [`Compressed sensing for inverse problems and the sample complexity of the sparse Radon transform', J. Eur. Math. Soc., to appear], which was originally focused on the sparse Radon transform. We demonstrate that the underlying abstract framework, based on infinite-dimensional co…
▽ More
This paper extends the sample complexity theory for ill-posed inverse problems developed in a recent work by the authors [`Compressed sensing for inverse problems and the sample complexity of the sparse Radon transform', J. Eur. Math. Soc., to appear], which was originally focused on the sparse Radon transform. We demonstrate that the underlying abstract framework, based on infinite-dimensional compressed sensing and generalized sampling techniques, can effectively handle a variety of practical applications. Specifically, we analyze three case studies: (1) The reconstruction of a sparse signal from a finite number of pointwise blurred samples; (2) The recovery of the (sparse) source term of an elliptic partial differential equation from finite samples of the solution; and (3) A moderately ill-posed variation of the classical sensing problem of recovering a wavelet-sparse signal from finite Fourier samples, motivated by magnetic resonance imaging. For each application, we establish rigorous recovery guarantees by verifying the key theoretical requirements, including quasi-diagonalization and coherence bounds. Our analysis reveals that careful consideration of balancing properties and optimized sampling strategies can lead to improved reconstruction performance. The results provide a unified theoretical foundation for compressed sensing approaches to inverse problems while yielding practical insights for specific applications.
△ Less
Submitted 3 January, 2025;
originally announced January 2025.
-
Learning sparsity-promoting regularizers for linear inverse problems
Authors:
Giovanni S. Alberti,
Ernesto De Vito,
Tapio Helin,
Matti Lassas,
Luca Ratti,
Matteo Santacesaria
Abstract:
This paper introduces a novel approach to learning sparsity-promoting regularizers for solving linear inverse problems. We develop a bilevel optimization framework to select an optimal synthesis operator, denoted as $B$, which regularizes the inverse problem while promoting sparsity in the solution. The method leverages statistical properties of the underlying data and incorporates prior knowledge…
▽ More
This paper introduces a novel approach to learning sparsity-promoting regularizers for solving linear inverse problems. We develop a bilevel optimization framework to select an optimal synthesis operator, denoted as $B$, which regularizes the inverse problem while promoting sparsity in the solution. The method leverages statistical properties of the underlying data and incorporates prior knowledge through the choice of $B$. We establish the well-posedness of the optimization problem, provide theoretical guarantees for the learning process, and present sample complexity bounds. The approach is demonstrated through examples, including compact perturbations of a known operator and the problem of learning the mother wavelet, showcasing its flexibility in incorporating prior knowledge into the regularization framework. This work extends previous efforts in Tikhonov regularization by addressing non-differentiable norms and proposing a data-driven approach for sparse regularization in infinite dimensions.
△ Less
Submitted 20 December, 2024;
originally announced December 2024.
-
The learned range test method for the inverse inclusion problem
Authors:
Shiwei Sun,
Giovanni S. Alberti
Abstract:
We consider the inverse problem consisting of the reconstruction of an inclusion $B$ contained in a bounded domain $Ω\subset\mathbb{R}^d$ from a single pair of Cauchy data $(u|_{\partialΩ},\partial_νu|_{\partialΩ})$, where $Δu=0$ in $Ω\setminus\overline B$ and $u=0$ on $\partial B$. We show that the reconstruction algorithm based on the range test, a domain sampling method, can be written as a neu…
▽ More
We consider the inverse problem consisting of the reconstruction of an inclusion $B$ contained in a bounded domain $Ω\subset\mathbb{R}^d$ from a single pair of Cauchy data $(u|_{\partialΩ},\partial_νu|_{\partialΩ})$, where $Δu=0$ in $Ω\setminus\overline B$ and $u=0$ on $\partial B$. We show that the reconstruction algorithm based on the range test, a domain sampling method, can be written as a neural network with a specific architecture. We propose to learn the weights of this network in the framework of supervised learning, and to combine it with a pre-trained classifier, with the purpose of distinguishing the inclusions based on their distance from the boundary. The numerical simulations show that this learned range test method provides accurate and stable reconstructions of polygonal inclusions. Furthermore, the results are superior to those obtained with the standard range test method (without learning) and with an end-to-end fully connected deep neural network, a purely data-driven method.
△ Less
Submitted 1 November, 2024;
originally announced November 2024.
-
On low frequency inference for diffusions without the hot spots conjecture
Authors:
Giovanni S. Alberti,
Douglas Barnes,
Aditya Jambhale,
Richard Nickl
Abstract:
We remove the dependence on the `hot-spots' conjecture in two of the main theorems of the recent paper of Nickl (2024, Annals of Statistics). Specifically, we characterise the minimax convergence rates for estimation of the transition operator $P_{f}$ arising from the Neumann Laplacian with diffusion coefficient $f$ on arbitrary convex domains with smooth boundary, and further show that a general…
▽ More
We remove the dependence on the `hot-spots' conjecture in two of the main theorems of the recent paper of Nickl (2024, Annals of Statistics). Specifically, we characterise the minimax convergence rates for estimation of the transition operator $P_{f}$ arising from the Neumann Laplacian with diffusion coefficient $f$ on arbitrary convex domains with smooth boundary, and further show that a general Lipschitz stability estimate holds for the inverse map $P_f\mapsto f$ from $H^2\to H^2$ to $L^1$.
△ Less
Submitted 25 October, 2024;
originally announced October 2024.
-
On $L^\infty$ stability for wave propagation and for linear inverse problems
Authors:
Rima Alaifari,
Giovanni S. Alberti,
Tandri Gauksson
Abstract:
Stability is a key property of both forward models and inverse problems, and depends on the norms considered in the relevant function spaces. For instance, stability estimates for hyperbolic partial differential equations are often based on energy conservation principles, and are therefore expressed in terms of $L^2$ norms. The focus of this paper is on stability with respect to the $L^\infty$ nor…
▽ More
Stability is a key property of both forward models and inverse problems, and depends on the norms considered in the relevant function spaces. For instance, stability estimates for hyperbolic partial differential equations are often based on energy conservation principles, and are therefore expressed in terms of $L^2$ norms. The focus of this paper is on stability with respect to the $L^\infty$ norm, which is more relevant to detect localized phenomena. The linear wave equation is not stable in $L^\infty$, and we design an alternative solution method based on the regularization of Fourier multipliers, which is stable in $L^\infty$. Furthermore, we show how these ideas can be extended to inverse problems, and design a regularization method for the inversion of compact operators that is stable in $L^\infty$. We also discuss the connection with the stability of deep neural networks modeled by hyperbolic PDEs.
△ Less
Submitted 15 October, 2024;
originally announced October 2024.
-
Localization of point scatterers via sparse optimization on measures
Authors:
Giovanni S. Alberti,
Romain Petit,
Matteo Santacesaria
Abstract:
We consider the inverse scattering problem for time-harmonic acoustic waves in a medium with pointwise inhomogeneities. In the Foldy-Lax model, the estimation of the scatterers' locations and intensities from far field measurements can be recast as the recovery of a discrete measure from nonlinear observations. We propose a "linearize and locally optimize" approach to perform this reconstruction.…
▽ More
We consider the inverse scattering problem for time-harmonic acoustic waves in a medium with pointwise inhomogeneities. In the Foldy-Lax model, the estimation of the scatterers' locations and intensities from far field measurements can be recast as the recovery of a discrete measure from nonlinear observations. We propose a "linearize and locally optimize" approach to perform this reconstruction. We first solve a convex program in the space of measures (known as the Beurling LASSO), which involves a linearization of the forward operator (the far field pattern in the Born approximation). Then, we locally minimize a second functional involving the nonlinear forward map, using the output of the first step as initialization. We provide guarantees that the output of the first step is close to the sought-after measure when the scatterers have small intensities and are sufficiently separated. We also provide numerical evidence that the second step still allows for accurate recovery in settings that are more involved.
△ Less
Submitted 24 July, 2024; v1 submitted 1 February, 2024;
originally announced February 2024.
-
Compressed sensing for inverse problems and the sample complexity of the sparse Radon transform
Authors:
Giovanni S. Alberti,
Alessandro Felisi,
Matteo Santacesaria,
S. Ivan Trapasso
Abstract:
Compressed sensing allows for the recovery of sparse signals from few measurements, whose number is proportional to the sparsity of the unknown signal, up to logarithmic factors. The classical theory typically considers either random linear measurements or subsampled isometries and has found many applications, including accelerated magnetic resonance imaging, which is modeled by the subsampled Fou…
▽ More
Compressed sensing allows for the recovery of sparse signals from few measurements, whose number is proportional to the sparsity of the unknown signal, up to logarithmic factors. The classical theory typically considers either random linear measurements or subsampled isometries and has found many applications, including accelerated magnetic resonance imaging, which is modeled by the subsampled Fourier transform. In this work, we develop a general theory of infinite-dimensional compressed sensing for abstract inverse problems, possibly ill-posed, involving an arbitrary forward operator. This is achieved by considering a generalized restricted isometry property, and a quasi-diagonalization property of the forward map.
As a notable application, for the first time, we obtain rigorous recovery estimates for the sparse Radon transform (i.e., with a finite number of angles $θ_1,\dots,θ_m$), which models computed tomography, in both the parallel-beam and the fan-beam settings. In the case when the unknown signal is $s$-sparse with respect to an orthonormal basis of compactly supported wavelets, we prove stable recovery under the condition \[ m\gtrsim s, \] up to logarithmic factors.
△ Less
Submitted 3 May, 2024; v1 submitted 7 February, 2023;
originally announced February 2023.
-
Non-zero constraints in elliptic PDE with random boundary values and applications to hybrid inverse problems
Authors:
Giovanni S. Alberti
Abstract:
Hybrid inverse problems are based on the interplay of two types of waves, in order to allow for imaging with both high resolution and high contrast. The inversion procedure often consists of two steps: first, internal measurements involving the unknown parameters and some related quantities are obtained, and, second, the unknown parameters have to be reconstructed from the internal data. The recon…
▽ More
Hybrid inverse problems are based on the interplay of two types of waves, in order to allow for imaging with both high resolution and high contrast. The inversion procedure often consists of two steps: first, internal measurements involving the unknown parameters and some related quantities are obtained, and, second, the unknown parameters have to be reconstructed from the internal data. The reconstruction in the second step requires the solutions of certain PDE to satisfy some non-zero constraints, such as the absence of nodal or critical points, or a non-vanishing Jacobian.
In this work, we consider a second-order elliptic PDE and show that it is possible to satisfy these constraints with overwhelming probability by choosing the boundary values randomly, following a sub-Gaussian distribution. The proof is based on a new quantitative estimate for the Runge approximation, a result of independent interest.
△ Less
Submitted 13 October, 2022; v1 submitted 2 May, 2022;
originally announced May 2022.
-
Learning the optimal Tikhonov regularizer for inverse problems
Authors:
Giovanni S. Alberti,
Ernesto De Vito,
Matti Lassas,
Luca Ratti,
Matteo Santacesaria
Abstract:
In this work, we consider the linear inverse problem $y=Ax+ε$, where $A\colon X\to Y$ is a known linear operator between the separable Hilbert spaces $X$ and $Y$, $x$ is a random variable in $X$ and $ε$ is a zero-mean random process in $Y$. This setting covers several inverse problems in imaging including denoising, deblurring, and X-ray tomography. Within the classical framework of regularization…
▽ More
In this work, we consider the linear inverse problem $y=Ax+ε$, where $A\colon X\to Y$ is a known linear operator between the separable Hilbert spaces $X$ and $Y$, $x$ is a random variable in $X$ and $ε$ is a zero-mean random process in $Y$. This setting covers several inverse problems in imaging including denoising, deblurring, and X-ray tomography. Within the classical framework of regularization, we focus on the case where the regularization functional is not given a priori but learned from data. Our first result is a characterization of the optimal generalized Tikhonov regularizer, with respect to the mean squared error. We find that it is completely independent of the forward operator $A$ and depends only on the mean and covariance of $x$. Then, we consider the problem of learning the regularizer from a finite training set in two different frameworks: one supervised, based on samples of both $x$ and $y$, and one unsupervised, based only on samples of $x$. In both cases, we prove generalization bounds, under some weak assumptions on the distribution of $x$ and $ε$, including the case of sub-Gaussian variables. Our bounds hold in infinite-dimensional spaces, thereby showing that finer and finer discretizations do not make this learning problem harder. The results are validated through numerical simulations.
△ Less
Submitted 22 November, 2021; v1 submitted 11 June, 2021;
originally announced June 2021.
-
Compressed sensing photoacoustic tomography reduces to compressed sensing for undersampled Fourier measurements
Authors:
Giovanni S. Alberti,
Paolo Campodonico,
Matteo Santacesaria
Abstract:
Photoacoustic tomography (PAT) is an emerging imaging modality that aims at measuring the high-contrast optical properties of tissues by means of high-resolution ultrasonic measurements. The interaction between these two types of waves is based on the thermoacoustic effect. In recent years, many works have investigated the applicability of compressed sensing to PAT, in order to reduce measuring ti…
▽ More
Photoacoustic tomography (PAT) is an emerging imaging modality that aims at measuring the high-contrast optical properties of tissues by means of high-resolution ultrasonic measurements. The interaction between these two types of waves is based on the thermoacoustic effect. In recent years, many works have investigated the applicability of compressed sensing to PAT, in order to reduce measuring times while maintaining a high reconstruction quality. However, in most cases, theoretical guarantees are missing. In this work, we show that in many measurement setups of practical interest, compressed sensing PAT reduces to compressed sensing for undersampled Fourier measurements. This is achieved by applying known reconstruction formulae in the case of the free-space model for wave propagation, and by applying the theories of Riesz bases and nonuniform Fourier series in the case of the bounded domain model. Extensive numerical simulations illustrate and validate the approach.
△ Less
Submitted 16 October, 2020;
originally announced October 2020.
-
Inverse problems on low-dimensional manifolds
Authors:
Giovanni S. Alberti,
Ángel Arroyo,
Matteo Santacesaria
Abstract:
We consider abstract inverse problems between infinite-dimensional Banach spaces. These inverse problems are typically nonlinear and ill-posed, making the inversion with limited and noisy measurements a delicate process. In this work, we assume that the unknown belongs to a finite-dimensional manifold: this assumption arises in many real-world scenarios where natural objects have a low intrinsic d…
▽ More
We consider abstract inverse problems between infinite-dimensional Banach spaces. These inverse problems are typically nonlinear and ill-posed, making the inversion with limited and noisy measurements a delicate process. In this work, we assume that the unknown belongs to a finite-dimensional manifold: this assumption arises in many real-world scenarios where natural objects have a low intrinsic dimension and belong to a certain submanifold of a much larger ambient space. We prove uniqueness and Hölder and Lipschitz stability results in this general setting, also in the case when only a finite discretization of the measurements is available. Then, a Landweber-type reconstruction algorithm from a finite number of measurements is proposed, for which we prove global convergence, thanks to a new criterion for finding a suitable initial guess.
These general results are then applied to several examples, including two classical nonlinear ill-posed inverse boundary value problems. The first is Calderón's inverse conductivity problem, for which we prove a Lipschitz stability estimate from a finite number of measurements for piece-wise constant conductivities with discontinuities on an unknown triangle. A similar stability result is then obtained for Gel'fand-Calderón's problem for the Schrödinger equation, in the case of piece-wise constant potentials with discontinuities on a finite number of non-intersecting balls.
△ Less
Submitted 23 April, 2022; v1 submitted 1 September, 2020;
originally announced September 2020.
-
Radon Transform: Dual Pairs and Irreducible Representations
Authors:
Giovanni S. Alberti,
Francesca Bartolucci,
Filippo De Mari,
Ernesto De Vito
Abstract:
We illustrate the general point of view developed in [SIAM J. Math. Anal., 51(6), 4356-4381] that can be described as a variation of Helgason's theory of dual $G$-homogeneous pairs $(X,Ξ)$ and which allows us to prove intertwining properties and inversion formulae of many existing Radon transforms. Here we analyze in detail one of the important aspects in the theory of dual pairs, namely the injec…
▽ More
We illustrate the general point of view developed in [SIAM J. Math. Anal., 51(6), 4356-4381] that can be described as a variation of Helgason's theory of dual $G$-homogeneous pairs $(X,Ξ)$ and which allows us to prove intertwining properties and inversion formulae of many existing Radon transforms. Here we analyze in detail one of the important aspects in the theory of dual pairs, namely the injectivity of the map label-to-manifold $ξ\to\hatξ$ and we prove that it is a necessary condition for the irreducibility of the quasi-regular representation of $G$ on $L^2(Ξ)$. We further explain how the theory in [SIAM J. Math. Anal., 51(6), 4356-4381] applies to the classical Radon and X-ray transforms in $\mathbb R^3$.
△ Less
Submitted 4 February, 2020;
originally announced February 2020.
-
Calderón's Inverse Problem with a Finite Number of Measurements II: Independent Data
Authors:
Giovanni S. Alberti,
Matteo Santacesaria
Abstract:
We prove a local Lipschitz stability estimate for Gel'fand-Calderón's inverse problem for the Schrödinger equation. The main novelty is that only a finite number of boundary input data is available, and those are independent of the unknown potential, provided it belongs to a known finite-dimensional subspace of $L^\infty$. A similar result for Calderón's problem is obtained as a corollary. This im…
▽ More
We prove a local Lipschitz stability estimate for Gel'fand-Calderón's inverse problem for the Schrödinger equation. The main novelty is that only a finite number of boundary input data is available, and those are independent of the unknown potential, provided it belongs to a known finite-dimensional subspace of $L^\infty$. A similar result for Calderón's problem is obtained as a corollary. This improves upon two previous results of the authors on several aspects, namely the number of measurements and the stability with respect to mismodeling errors. A new iterative reconstruction scheme based on the stability result is also presented, for which we prove exponential convergence in the number of iterations and stability with respect to noise in the data and to mismodeling errors.
△ Less
Submitted 23 March, 2020; v1 submitted 29 January, 2020;
originally announced January 2020.
-
Infinite-dimensional inverse problems with finite measurements
Authors:
Giovanni S. Alberti,
Matteo Santacesaria
Abstract:
We present a general framework to study uniqueness, stability and reconstruction for infinite-dimensional inverse problems when only a finite-dimensional approximation of the measurements is available. For a large class of inverse problems satisfying Lipschitz stability we show that the same estimate holds even with a finite number of measurements. We also derive a globally convergent reconstructi…
▽ More
We present a general framework to study uniqueness, stability and reconstruction for infinite-dimensional inverse problems when only a finite-dimensional approximation of the measurements is available. For a large class of inverse problems satisfying Lipschitz stability we show that the same estimate holds even with a finite number of measurements. We also derive a globally convergent reconstruction algorithm based on the Landweber iteration. This theory applies to nonlinear ill-posed problems such as electrical impedance tomography, inverse scattering and quantitative photoacoustic tomography, under the assumption that the unknown belongs to a finite-dimensional subspace.
△ Less
Submitted 7 December, 2020; v1 submitted 24 June, 2019;
originally announced June 2019.
-
Combining the Runge approximation and the Whitney embedding theorem in hybrid imaging
Authors:
Giovanni S. Alberti,
Yves Capdeboscq
Abstract:
This paper addresses enforcing non-vanishing constraints for solutions to a second order elliptic partial differential equation by appropriate choices of boundary conditions. We show that, in dimension $d\geq2$, under suitable regularity assumptions, the family of $2d$ solutions such that their Jacobian has maximal rank in the domain is both open and dense. The case of less regular coefficients is…
▽ More
This paper addresses enforcing non-vanishing constraints for solutions to a second order elliptic partial differential equation by appropriate choices of boundary conditions. We show that, in dimension $d\geq2$, under suitable regularity assumptions, the family of $2d$ solutions such that their Jacobian has maximal rank in the domain is both open and dense. The case of less regular coefficients is also addressed, together with other constraints, which are relevant for applications to recent hybrid imaging modalities. Our approach is based on the combination of the Runge approximation property and the Whitney projection argument [Greene and Wu, Ann. Inst. Fourier (Grenoble), 25(1, vii):215-235, 1975]. The method is very general, and can be used in other settings.
△ Less
Submitted 8 May, 2019; v1 submitted 3 April, 2019;
originally announced April 2019.
-
On the randomised stability constant for inverse problems
Authors:
Giovanni S. Alberti,
Yves Capdeboscq,
Yannick Privat
Abstract:
In this paper we introduce the randomised stability constant for abstract inverse problems, as a generalisation of the randomised observability constant, which was studied in the context of observability inequalities for the linear wave equation. We study the main properties of the randomised stability constant and discuss the implications for the practical inversion, which are not straightforward…
▽ More
In this paper we introduce the randomised stability constant for abstract inverse problems, as a generalisation of the randomised observability constant, which was studied in the context of observability inequalities for the linear wave equation. We study the main properties of the randomised stability constant and discuss the implications for the practical inversion, which are not straightforward.
△ Less
Submitted 7 April, 2020; v1 submitted 27 March, 2019;
originally announced March 2019.
-
Unitarization and Inversion Formulae for the Radon Transform between Dual Pairs
Authors:
Giovanni S. Alberti,
Francesca Bartolucci,
Filippo De Mari,
Ernesto De Vito
Abstract:
We consider the Radon transform associated to dual pairs $(X,Ξ)$ in the sense of Helgason, with $X=G/K$ and $Ξ=G/H$, where $G=\mathbb{R}^d\rtimes K$, $K$ is a closed subgroup of ${\rm GL}(d,\mathbb{R})$ and $H$ is a closed subgroup of $G$. Under some technical assumptions, we prove that if the quasi regular representations of $G$ acting on $L^2(X)$ and $L^2(Ξ)$ are irreducible, then the Radon tran…
▽ More
We consider the Radon transform associated to dual pairs $(X,Ξ)$ in the sense of Helgason, with $X=G/K$ and $Ξ=G/H$, where $G=\mathbb{R}^d\rtimes K$, $K$ is a closed subgroup of ${\rm GL}(d,\mathbb{R})$ and $H$ is a closed subgroup of $G$. Under some technical assumptions, we prove that if the quasi regular representations of $G$ acting on $L^2(X)$ and $L^2(Ξ)$ are irreducible, then the Radon transform admits a unitarization intertwining the two representations. If, in addition, the representations are square integrable, we provide an inversion formula for the Radon transform based on the voice transform associated to these representations.
△ Less
Submitted 30 October, 2018;
originally announced October 2018.
-
Essential spectrum for Maxwell's equations
Authors:
Giovanni S. Alberti,
Malcolm Brown,
Marco Marletta,
Ian Wood
Abstract:
We study the essential spectrum of operator pencils associated with anisotropic Maxwell equations, with permittivity $\varepsilon$, permeability $μ$ and conductivity $σ$, on finitely connected unbounded domains. The main result is that the essential spectrum of the Maxwell pencil is the union of two sets: namely, the spectrum of the pencil $\mathrm{div}((ω\varepsilon + i σ) \nabla\,\cdot\,)$, and…
▽ More
We study the essential spectrum of operator pencils associated with anisotropic Maxwell equations, with permittivity $\varepsilon$, permeability $μ$ and conductivity $σ$, on finitely connected unbounded domains. The main result is that the essential spectrum of the Maxwell pencil is the union of two sets: namely, the spectrum of the pencil $\mathrm{div}((ω\varepsilon + i σ) \nabla\,\cdot\,)$, and the essential spectrum of the Maxwell pencil with constant coefficients. We expect the analysis to be of more general interest and to open avenues to investigation of other questions concerning Maxwell's and related systems.
△ Less
Submitted 24 April, 2018;
originally announced April 2018.
-
Calderón's Inverse Problem with a Finite Number of Measurements
Authors:
Giovanni S. Alberti,
Matteo Santacesaria
Abstract:
We prove that an $L^\infty$ potential in the Schrödinger equation in three and higher dimensions can be uniquely determined from a finite number of boundary measurements, provided it belongs to a known finite dimensional subspace $\mathcal W$. As a corollary, we obtain a similar result for Calderón's inverse conductivity problem. Lipschitz stability estimates and a globally convergent nonlinear re…
▽ More
We prove that an $L^\infty$ potential in the Schrödinger equation in three and higher dimensions can be uniquely determined from a finite number of boundary measurements, provided it belongs to a known finite dimensional subspace $\mathcal W$. As a corollary, we obtain a similar result for Calderón's inverse conductivity problem. Lipschitz stability estimates and a globally convergent nonlinear reconstruction algorithm for both inverse problems are also presented. These are the first results on global uniqueness, stability and reconstruction for nonlinear inverse boundary value problems with finitely many measurements. We also discuss a few relevant examples of finite dimensional subspaces $\mathcal W$, including bandlimited and piecewise constant potentials, and explicitly compute the number of required measurements as a function of $\dim \mathcal W$.
△ Less
Submitted 12 March, 2018;
originally announced March 2018.
-
Dynamic Spike Super-resolution and Applications to Ultrafast Ultrasound Imaging
Authors:
Giovanni S. Alberti,
Habib Ammari,
Francisco Romero,
Timothée Wintz
Abstract:
We consider the dynamical super-resolution problem consisting in the recovery of positions and velocities of moving particles from low-frequency static measurements taken over multiple time steps. The standard approach to this issue is a two-step process: first, at each time step some static reconstruction method is applied to locate the positions of the particles with super-resolution and, second…
▽ More
We consider the dynamical super-resolution problem consisting in the recovery of positions and velocities of moving particles from low-frequency static measurements taken over multiple time steps. The standard approach to this issue is a two-step process: first, at each time step some static reconstruction method is applied to locate the positions of the particles with super-resolution and, second, some tracking technique is applied to obtain the velocities. In this paper we propose a fully dynamical method based on a phase-space lifting of the positions and the velocities of the particles, which are simultaneously reconstructed with super-resolution. We provide a rigorous mathematical analysis of the recovery problem, both for the noiseless case and in presence of noise (in the discrete setting). Several numerical simulations illustrate and validate our method, which shows some advantage over existing techniques. We then discuss the application of this approach to the dynamical super-resolution problem in ultrafast ultrasound imaging: blood vessels' locations and blood flow velocities are recovered with super-resolution.
△ Less
Submitted 30 November, 2018; v1 submitted 8 March, 2018;
originally announced March 2018.
-
Infinite dimensional compressed sensing from anisotropic measurements and applications to inverse problems in PDE
Authors:
Giovanni S. Alberti,
Matteo Santacesaria
Abstract:
We consider a compressed sensing problem in which both the measurement and the sparsifying systems are assumed to be frames (not necessarily tight) of the underlying Hilbert space of signals, which may be finite or infinite dimensional. The main result gives explicit bounds on the number of measurements in order to achieve stable recovery, which depends on the mutual coherence of the two systems.…
▽ More
We consider a compressed sensing problem in which both the measurement and the sparsifying systems are assumed to be frames (not necessarily tight) of the underlying Hilbert space of signals, which may be finite or infinite dimensional. The main result gives explicit bounds on the number of measurements in order to achieve stable recovery, which depends on the mutual coherence of the two systems. As a simple corollary, we prove the efficiency of nonuniform sampling strategies in cases when the two systems are not incoherent, but only asymptotically incoherent, as with the recovery of wavelet coefficients from Fourier samples. This general framework finds applications to inverse problems in partial differential equations, where the standard assumptions of compressed sensing are often not satisfied. Several examples are discussed, with a special focus on electrical impedance tomography.
△ Less
Submitted 25 May, 2019; v1 submitted 30 October, 2017;
originally announced October 2017.
-
Critical Points for Elliptic Equations with Prescribed Boundary Conditions
Authors:
Giovanni S. Alberti,
Guillaume Bal,
Michele Di Cristo
Abstract:
This paper concerns the existence of critical points for solutions to second order elliptic equations of the form $\nabla\cdot σ(x)\nabla u=0$ posed on a bounded domain $X$ with prescribed boundary conditions. In spatial dimension $n=2$, it is known that the number of critical points (where $\nabla u=0$) is related to the number of oscillations of the boundary condition independently of the (posit…
▽ More
This paper concerns the existence of critical points for solutions to second order elliptic equations of the form $\nabla\cdot σ(x)\nabla u=0$ posed on a bounded domain $X$ with prescribed boundary conditions. In spatial dimension $n=2$, it is known that the number of critical points (where $\nabla u=0$) is related to the number of oscillations of the boundary condition independently of the (positive) coefficient $σ$. We show that the situation is different in dimension $n\geq3$. More precisely, we obtain that for any fixed (Dirichlet or Neumann) boundary condition for $u$ on $\partial X$, there exists an open set of smooth coefficients $σ(x)$ such that $\nabla u$ vanishes at least at one point in $X$. By using estimates related to the Laplacian with mixed boundary conditions, the result is first obtained for a piecewise constant conductivity with infinite contrast, a problem of independent interest. A second step shows that the topology of the vector field $\nabla u$ on a subdomain is not modified for appropriate bounded, sufficiently high-contrast, smooth coefficients $σ(x)$.
These results find applications in the class of hybrid inverse problems, where optimal stability estimates for parameter reconstruction are obtained in the absence of critical points. Our results show that for any (finite number of) prescribed boundary conditions, there are coefficients $σ(x)$ for which the stability of the reconstructions will inevitably degrade.
△ Less
Submitted 8 May, 2017; v1 submitted 21 November, 2016;
originally announced November 2016.
-
Recent Progress in Shearlet Theory: Systematic Construction of Shearlet Dilation Groups, Characterization of Wavefront Sets, and New Embeddings
Authors:
Giovanni S. Alberti,
Stephan Dahlke,
Filippo De Mari,
Ernesto De Vito,
Hartmut Führ
Abstract:
The class of generalized shearlet dilation groups has recently been developed to allow the unified treatment of various shearlet groups and associated shearlet transforms that had previously been studied on a case-by-case basis. We consider several aspects of these groups: First, their systematic construction from associative algebras, secondly, their suitability for the characterization of wavefr…
▽ More
The class of generalized shearlet dilation groups has recently been developed to allow the unified treatment of various shearlet groups and associated shearlet transforms that had previously been studied on a case-by-case basis. We consider several aspects of these groups: First, their systematic construction from associative algebras, secondly, their suitability for the characterization of wavefront sets, and finally, the question of constructing embeddings into the symplectic group in a way that intertwines the quasi-regular representation with the metaplectic one. For all questions, it is possible to treat the full class of generalized shearlet groups in a comprehensive and unified way, thus generalizing known results to an infinity of new cases. Our presentation emphasizes the interplay between the algebraic structure underlying the construction of the shearlet dilation groups, the geometric properties of the dual action, and the analytic properties of the associated shearlet transforms.
△ Less
Submitted 10 May, 2016;
originally announced May 2016.
-
Mathematical Analysis of Ultrafast Ultrasound Imaging
Authors:
Giovanni S. Alberti,
Habib Ammari,
Francisco Romero,
Timothée Wintz
Abstract:
This paper provides a mathematical analysis of ultrafast ultrasound imaging. This newly emerging modality for biomedical imaging uses plane waves instead of focused waves in order to achieve very high frame rates. We derive the point spread function of the system in the Born approximation for wave propagation and study its properties. We consider dynamic data for blood flow imaging, and introduce…
▽ More
This paper provides a mathematical analysis of ultrafast ultrasound imaging. This newly emerging modality for biomedical imaging uses plane waves instead of focused waves in order to achieve very high frame rates. We derive the point spread function of the system in the Born approximation for wave propagation and study its properties. We consider dynamic data for blood flow imaging, and introduce a suitable random model for blood cells. We show that a singular value decomposition method can successfully remove the clutter signal by using the different spatial coherence of tissue and blood signals, thereby providing high-resolution images of blood vessels, even in cases when the clutter and blood speeds are comparable in magnitude. Several numerical simulations are presented to illustrate and validate the approach.
△ Less
Submitted 1 October, 2016; v1 submitted 15 April, 2016;
originally announced April 2016.
-
Hölder regularity for Maxwell's equations under minimal assumptions on the coefficients
Authors:
Giovanni S. Alberti
Abstract:
We prove global Hölder regularity for the solutions to the time-harmonic anisotropic Maxwell's equations, under the assumptions of Hölder continuous coefficients. The regularity hypotheses on the coefficients are minimal. The same estimates hold also in the case of bianisotropic material parameters.
We prove global Hölder regularity for the solutions to the time-harmonic anisotropic Maxwell's equations, under the assumptions of Hölder continuous coefficients. The regularity hypotheses on the coefficients are minimal. The same estimates hold also in the case of bianisotropic material parameters.
△ Less
Submitted 9 April, 2018; v1 submitted 13 April, 2016;
originally announced April 2016.
-
The Linearized Inverse Problem in Multifrequency Electrical Impedance Tomography
Authors:
Giovanni S. Alberti,
Habib Ammari,
Bangti Jin,
Jin-Keun Seo,
Wenlong Zhang
Abstract:
This paper provides an analysis of the linearized inverse problem in multifrequency electrical impedance tomography. We consider an isotropic conductivity distribution with a finite number of unknown inclusions with different frequency dependence, as is often seen in biological tissues. We discuss reconstruction methods for both fully known and partially known spectral profiles, and demonstrate in…
▽ More
This paper provides an analysis of the linearized inverse problem in multifrequency electrical impedance tomography. We consider an isotropic conductivity distribution with a finite number of unknown inclusions with different frequency dependence, as is often seen in biological tissues. We discuss reconstruction methods for both fully known and partially known spectral profiles, and demonstrate in the latter case the successful employment of difference imaging. We also study the reconstruction with an imperfectly known boundary, and show that the multifrequency approach can eliminate modeling errors and recover almost all inclusions. In addition, we develop an efficient group sparse recovery algorithm for the robust solution of related linear inverse problems. Several numerical simulations are presented to illustrate and validate the approach.
△ Less
Submitted 17 July, 2016; v1 submitted 13 February, 2016;
originally announced February 2016.
-
Continuous and discrete frames generated by the evolution flow of the Schrödinger equation
Authors:
Giovanni S. Alberti,
Stephan Dahlke,
Filippo De Mari,
Ernesto De Vito,
Stefano Vigogna
Abstract:
We study a family of coherent states, called Schrödingerlets, both in the continuous and discrete setting. They are defined in terms of the Schrödinger equation of a free quantum particle and some of its invariant transformations.
We study a family of coherent states, called Schrödingerlets, both in the continuous and discrete setting. They are defined in terms of the Schrödinger equation of a free quantum particle and some of its invariant transformations.
△ Less
Submitted 9 December, 2016; v1 submitted 15 October, 2015;
originally announced October 2015.
-
Absence of Critical Points of Solutions to the Helmholtz Equation in 3D
Authors:
Giovanni S. Alberti
Abstract:
The focus of this paper is to show the absence of critical points for the solutions to the Helmholtz equation in a bounded domain $Ω\subset\mathbb{R}^{3}$, given by \[ \left\{ \begin{array}{l} -\rm{div}(a\,\nabla u_ω^{g})-ωqu_ω^{g}=0\quad\text{in $Ω$,}\\ u_ω^{g}=g\quad\text{on $\partialΩ$.} \end{array}\right. \] We prove that for an admissible $g$ there exists a finite set of frequencies $K$ in a…
▽ More
The focus of this paper is to show the absence of critical points for the solutions to the Helmholtz equation in a bounded domain $Ω\subset\mathbb{R}^{3}$, given by \[ \left\{ \begin{array}{l} -\rm{div}(a\,\nabla u_ω^{g})-ωqu_ω^{g}=0\quad\text{in $Ω$,}\\ u_ω^{g}=g\quad\text{on $\partialΩ$.} \end{array}\right. \] We prove that for an admissible $g$ there exists a finite set of frequencies $K$ in a given interval and an open cover $\overlineΩ=\cup_{ω\in K}Ω_ω$ such that $|\nabla u_ω^{g}(x)|>0$ for every $ω\in K$ and $x\inΩ_ω$. The set $K$ is explicitly constructed. If the spectrum of the above problem is simple, which is true for a generic domain $Ω$, the admissibility condition on $g$ is a generic property.
△ Less
Submitted 5 May, 2016; v1 submitted 2 July, 2015;
originally announced July 2015.
-
Disjoint sparsity for signal separation and applications to hybrid inverse problems in medical imaging
Authors:
Giovanni S. Alberti,
Habib Ammari
Abstract:
The main focus of this work is the reconstruction of the signals $f$ and $g_{i}$, $i=1,...,N$, from the knowledge of their sums $h_{i}=f+g_{i}$, under the assumption that $f$ and the $g_{i}$'s can be sparsely represented with respect to two different dictionaries $A_{f}$ and $A_{g}$. This generalizes the well-known "morphological component analysis" to a multi-measurement setting. The main result…
▽ More
The main focus of this work is the reconstruction of the signals $f$ and $g_{i}$, $i=1,...,N$, from the knowledge of their sums $h_{i}=f+g_{i}$, under the assumption that $f$ and the $g_{i}$'s can be sparsely represented with respect to two different dictionaries $A_{f}$ and $A_{g}$. This generalizes the well-known "morphological component analysis" to a multi-measurement setting. The main result of the paper states that $f$ and the $g_{i}$'s can be uniquely and stably reconstructed by finding sparse representations of $h_{i}$ for every $i$ with respect to the concatenated dictionary $[A_{f},A_{g}]$, provided that enough incoherent measurements $g_{i}$ are available. The incoherence is measured in terms of their mutual disjoint sparsity.
This method finds applications in the reconstruction procedures of several hybrid imaging inverse problems, where internal data are measured. These measurements usually consist of the main unknown multiplied by other unknown quantities, and so the disjoint sparsity approach can be directly applied. As an example, we show how to apply the method to the reconstruction in quantitative photoacoustic tomography, also in the case when the Grüneisen parameter, the optical absorption and the diffusion coefficient are all unknown.
△ Less
Submitted 30 August, 2015; v1 submitted 16 February, 2015;
originally announced February 2015.
-
On local non-zero constraints in PDE with analytic coefficients
Authors:
Giovanni S. Alberti,
Yves Capdeboscq
Abstract:
We consider the Helmholtz equation with real analytic coefficients on a bounded domain $Ω\subset\mathbb{R}^{d}$. We take $d+1$ prescribed boundary conditions $f^{i}$ and frequencies $ω$ in a fixed interval $[a,b]$. We consider a constraint on the solutions $u_ω^{i}$ of the form $ζ(u_ω^{1},\ldots,u_ω^{d+1},\nabla u_ω^{1},\ldots,\nabla u_ω^{d+1})\neq0$, where $ζ$ is analytic, which is satisfied in…
▽ More
We consider the Helmholtz equation with real analytic coefficients on a bounded domain $Ω\subset\mathbb{R}^{d}$. We take $d+1$ prescribed boundary conditions $f^{i}$ and frequencies $ω$ in a fixed interval $[a,b]$. We consider a constraint on the solutions $u_ω^{i}$ of the form $ζ(u_ω^{1},\ldots,u_ω^{d+1},\nabla u_ω^{1},\ldots,\nabla u_ω^{d+1})\neq0$, where $ζ$ is analytic, which is satisfied in $Ω$ when $ω=0$. We show that for any $Ω^{\prime}\SubsetΩ$ and almost any $d+1$ frequencies $ω_{k}$ in $[a,b]$, there exist $d+1$ subdomains $Ω_{k}$ such that $Ω^{\prime}\subset\cup_{k}Ω_{k}$ and $ζ(u_{ω_{k}}^{1},\ldots,u_{ω_{k}}^{d+1},\nabla u_{ω_{k}}^{1},\ldots,\nabla u_{ω_{k}}^{d+1})\neq0$ in $Ω_{k}$. This question comes from hybrid imaging inverse problems. The method used is not specific to the Helmholtz model and can be applied to other frequency dependent problems.
△ Less
Submitted 7 January, 2015;
originally announced January 2015.
-
Multi-frequency acousto-electromagnetic tomography
Authors:
Giovanni S. Alberti,
Habib Ammari,
Kaixi Ruan
Abstract:
This paper focuses on the acousto-electromagnetic tomography, a recently introduced hybrid imaging technique. In a previous work, the reconstruction of the electric permittivity of the medium from internal data was achieved under the Born approximation assumption. In this work, we tackle the general problem by a Landweber iteration algorithm. The convergence of such scheme is guaranteed with the u…
▽ More
This paper focuses on the acousto-electromagnetic tomography, a recently introduced hybrid imaging technique. In a previous work, the reconstruction of the electric permittivity of the medium from internal data was achieved under the Born approximation assumption. In this work, we tackle the general problem by a Landweber iteration algorithm. The convergence of such scheme is guaranteed with the use of a multiple frequency approach, that ensures uniqueness and stability for the corresponding linearized inverse problem. Numerical simulations are presented.
△ Less
Submitted 15 October, 2014;
originally announced October 2014.
-
Enforcing local non-zero constraints in PDEs and applications to hybrid imaging problems
Authors:
Giovanni S. Alberti
Abstract:
We study the boundary control of solutions of the Helmholtz and Maxwell equations to enforce local non-zero constraints. These constraints may represent the local absence of nodal or critical points, or that certain functionals depending on the solutions of the PDE do not vanish locally inside the domain. Suitable boundary conditions are classically determined by using complex geometric optics sol…
▽ More
We study the boundary control of solutions of the Helmholtz and Maxwell equations to enforce local non-zero constraints. These constraints may represent the local absence of nodal or critical points, or that certain functionals depending on the solutions of the PDE do not vanish locally inside the domain. Suitable boundary conditions are classically determined by using complex geometric optics solutions. This work focuses on an alternative approach to this issue based on the use of multiple frequencies. Simple boundary conditions and a finite number of frequencies are explicitly constructed independently of the coefficients of the PDE so that the corresponding solutions satisfy the required constraints. This theory finds applications in several hybrid imaging modalities: some examples are discussed.
△ Less
Submitted 25 August, 2015; v1 submitted 12 June, 2014;
originally announced June 2014.
-
On multiple frequency power density measurements II. The full Maxwell's equations
Authors:
Giovanni S. Alberti
Abstract:
We shall give conditions on the illuminations $\varphi_{i}$ such that the solutions to Maxwell's equations \[ \left\{ \begin{array}{l} {\rm curl} E^{i}=iωμH^{i}\qquad\text{in }Ω,\\ {\rm curl} H^{i}=-i(ω\varepsilon+iσ)E^{i}\qquad\text{in }Ω,\\ E^{i}\timesν=\varphi_{i}\timesν\qquad\text{on }\partialΩ, \end{array}\right. \] satisfy certain non-zero qualitative properties inside the domain $Ω$, provid…
▽ More
We shall give conditions on the illuminations $\varphi_{i}$ such that the solutions to Maxwell's equations \[ \left\{ \begin{array}{l} {\rm curl} E^{i}=iωμH^{i}\qquad\text{in }Ω,\\ {\rm curl} H^{i}=-i(ω\varepsilon+iσ)E^{i}\qquad\text{in }Ω,\\ E^{i}\timesν=\varphi_{i}\timesν\qquad\text{on }\partialΩ, \end{array}\right. \] satisfy certain non-zero qualitative properties inside the domain $Ω$, provided that a finite number of frequencies $ω$ are chosen in a fixed range. The illuminations are explicitly constructed. This theory finds applications in several hybrid imaging problems, where unknown parameters have to be imaged from internal measurements. Some of these examples are discussed. This paper naturally extends a previous work of the author [Inverse Problems 29 (2013) 115007], where the Helmholtz equation was studied.
△ Less
Submitted 13 January, 2015; v1 submitted 29 November, 2013;
originally announced November 2013.
-
Elliptic regularity theory applied to time harmonic anisotropic Maxwell's equations with less than Lipschitz complex coefficients
Authors:
Giovanni S. Alberti,
Yves Capdeboscq
Abstract:
The focus of this paper is the study of the regularity properties of the time harmonic Maxwell's equations with anisotropic complex coefficients, in a bounded domain with $C^{1,1}$ boundary. We assume that at least one of the material parameters is $W^{1,3+δ}$ for some $δ>0$. Using regularity theory for second order elliptic partial differential equations, we derive $W^{1,p}$ estimates and Hölder…
▽ More
The focus of this paper is the study of the regularity properties of the time harmonic Maxwell's equations with anisotropic complex coefficients, in a bounded domain with $C^{1,1}$ boundary. We assume that at least one of the material parameters is $W^{1,3+δ}$ for some $δ>0$. Using regularity theory for second order elliptic partial differential equations, we derive $W^{1,p}$ estimates and Hölder estimates for electric and magnetic fields up to the boundary. We also derive interior estimates in bi-anisotropic media.
△ Less
Submitted 18 February, 2015; v1 submitted 1 July, 2013;
originally announced July 2013.
-
On Multiple Frequency Power Density Measurements
Authors:
Giovanni S. Alberti
Abstract:
We shall give a priori conditions on the illuminations $φ_i$ such that the solutions to the Helmholtz equation $-div(a \nabla u^i)-k q u^i=0$ in Ω, $u^i=φ_i$ on $\partialΩ$, and their gradients satisfy certain non-zero and linear independence properties inside the domain Ω, provided that a finite number of frequencies k are chosen in a fixed range. These conditions are independent of the coefficie…
▽ More
We shall give a priori conditions on the illuminations $φ_i$ such that the solutions to the Helmholtz equation $-div(a \nabla u^i)-k q u^i=0$ in Ω, $u^i=φ_i$ on $\partialΩ$, and their gradients satisfy certain non-zero and linear independence properties inside the domain Ω, provided that a finite number of frequencies k are chosen in a fixed range. These conditions are independent of the coefficients, in contrast to the illuminations classically constructed by means of complex geometric optics solutions. This theory finds applications in several hybrid problems, where unknown parameters have to be imaged from internal power density measurements. As an example, we discuss the microwave imaging by ultrasound deformation technique, for which we prove new reconstruction formulae.
△ Less
Submitted 24 September, 2013; v1 submitted 8 January, 2013;
originally announced January 2013.
-
Reproducing subgroups of Sp(2,R). Part II: admissible vectors
Authors:
Giovanni S. Alberti,
Filippo De Mari,
Ernesto De Vito,
Lucia Mantovani
Abstract:
In part I we introduced the class ${\mathcal E}_2$ of Lie subgroups of $Sp(2,\R)$ and obtained a classification up to conjugation (Theorem 1.1). Here, we determine for which of these groups the restriction of the metaplectic representation gives rise to a reproducing formula. In all the positive cases we characterize the admissible vectors with a generalized Calderón equation. They include product…
▽ More
In part I we introduced the class ${\mathcal E}_2$ of Lie subgroups of $Sp(2,\R)$ and obtained a classification up to conjugation (Theorem 1.1). Here, we determine for which of these groups the restriction of the metaplectic representation gives rise to a reproducing formula. In all the positive cases we characterize the admissible vectors with a generalized Calderón equation. They include products of 1D-wavelets, directional wavelets, shearlets, and many new examples.
△ Less
Submitted 12 December, 2012;
originally announced December 2012.
-
Reproducing subgroups of $Sp(2,\mathbb{R})$. Part I: algebraic classification
Authors:
Giovanni S. Alberti,
Luca Balletti,
Filippo De Mari,
Ernesto De Vito
Abstract:
We classify the connected Lie subgroups of the symplectic group $Sp(2,\mathbb{R})$ whose elements are matrices in block lower triangular form. The classification is up to conjugation within $Sp(2,\mathbb{R})$. Their study is motivated by the need of a unified approach to continuous 2D signal analyses, as those provided by wavelets and shearlets.
We classify the connected Lie subgroups of the symplectic group $Sp(2,\mathbb{R})$ whose elements are matrices in block lower triangular form. The classification is up to conjugation within $Sp(2,\mathbb{R})$. Their study is motivated by the need of a unified approach to continuous 2D signal analyses, as those provided by wavelets and shearlets.
△ Less
Submitted 2 November, 2015; v1 submitted 30 September, 2011;
originally announced September 2011.
