Sparse Reconstructions for Inverse PDE Problems

We are concerned with the numerical solution of linear parameter identification problems for parabolic PDE, written as an operator equation $Ku=f$. The target object $u$ is assumed to have a sparse expansion with respect to a wavelet system $Psi={psi_lambda}$ in space-time, being equivalent to a priori information on the regularity of $u=mathbf u^ opPsi$ in a certain scale of Besov spaces $B^s_{p,p}$. For the recovery of the unknown coefficient array $mathbf u$, we miminize a Tikhonov-type functional begin{equation*} min_{mathbf u}|Kmathbf u^ opPsi-f^delta|^2+alphasum_{lambda}omega_lambda|u_lambda|^p end{equation*} by an associated thresholded Landweber algorithm, $f^delta$ being a noisy version of $f$. Since any application of the forward operator $K$ and its adjoint involves the numerical solution of a PDE, perturbed versions of the iteration have to be studied. In particular, for reasons of efficiency, adaptive applications of $K$ and $K^*$ are indispensable cite{Ra07}. By a suitable choice of the respective tolerances and stopping criteria, also the adaptive iteration could recently be shown to have regularizing properties cite{BoMa08a} for $p>1$. Moreover, the sequence of iterates linearly converges to the minimizer of the functional, a result which can also be proved for the special case $p=1$, see [DaFoRa08]. We illustrate the performance of the resulting method by numerical computations for one- and two-dimensional inverse heat conduction problems. References: [BoMa08a] T. Bonesky and P. Maass, Iterated soft shrinkage with adaptive operator evaluations, Preprint, 2008 [DaFoRa08] S. Dahlke, M. Fornasier, and T. Raasch, Multiscale Preconditioning for Adaptive Sparse Optimization, in preparation, 2008 [Ra07] T.~Raasch, Adaptive wavelet and frame schemes for elliptic and parabolic equations, Dissertation, Philipps-Universit"at Marburg, 200

Video Compressive Sensing for Dynamic MRI

We present a video compressive sensing framework, termed kt-CSLDS, to accelerate the image acquisition process of dynamic magnetic resonance imaging (MRI). We are inspired by a state-of-the-art model for video compressive sensing that utilizes a linear dynamical system (LDS) to model the motion manifold. Given compressive measurements, the state sequence of an LDS can be first estimated using system identification techniques. We then reconstruct the observation matrix using a joint structured sparsity assumption. In particular, we minimize an objective function with a mixture of wavelet sparsity and joint sparsity within the observation matrix. We derive an efficient convex optimization algorithm through alternating direction method of multipliers (ADMM), and provide a theoretical guarantee for global convergence. We demonstrate the performance of our approach for video compressive sensing, in terms of reconstruction accuracy. We also investigate the impact of various sampling strategies. We apply this framework to accelerate the acquisition process of dynamic MRI and show it achieves the best reconstruction accuracy with the least computational time compared with existing algorithms in the literature.Comment: 30 pages, 9 figure

08492 Abstracts Collection -- Structured Decompositions and Efficient Algorithms

From 30.11. to 05.12.2008, the Dagstuhl Seminar 08492 ``Structured Decompositions and Efficient Algorithms \u27\u27 was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

Wavelet methods for a weighted sparsity penalty for region of interest tomography

We consider region of interest (ROI) tomography of piecewise constant functions. Additionally, an algorithm is developed for ROI tomography of piecewise constant functions using a Haar wavelet basis. A weighted ℓp–penalty is used with weights that depend on the relative location of wavelets to the region of interest. We prove that the proposed method is a regularization method, i.e., that the regularized solutions converge to the exact piecewise constant solution if the noise tends to zero. Tests on phantoms demonstrate the effectiveness of the method.FWF, T 529-N18, Mumford-Shah models for tomography IINSF, 1311558, Tomography and Microlocal AnalysisFWF, W 1214, Doktoratskolleg "Computational Mathematics

Compressed Sensing Based Reconstruction Algorithm for X-ray Dose Reduction in Synchrotron Source Micro Computed Tomography

Synchrotron computed tomography requires a large number of angular projections to reconstruct tomographic images with high resolution for detailed and accurate diagnosis. However, this exposes the specimen to a large amount of x-ray radiation. Furthermore, this increases scan time and, consequently, the likelihood of involuntary specimen movements. One approach for decreasing the total scan time and radiation dose is to reduce the number of projection views needed to reconstruct the images. However, the aliasing artifacts appearing in the image due to the reduced number of projection data, visibly degrade the image quality. According to the compressed sensing theory, a signal can be accurately reconstructed from highly undersampled data by solving an optimization problem, provided that the signal can be sparsely represented in a predefined transform domain. Therefore, this thesis is mainly concerned with designing compressed sensing-based reconstruction algorithms to suppress aliasing artifacts while preserving spatial resolution in the resulting reconstructed image. First, the reduced-view synchrotron computed tomography reconstruction is formulated as a total variation regularized compressed sensing problem. The Douglas-Rachford Splitting and the randomized Kaczmarz methods are utilized to solve the optimization problem of the compressed sensing formulation. In contrast with the first part, where consistent simulated projection data are generated for image reconstruction, the reduced-view inconsistent real ex-vivo synchrotron absorption contrast micro computed tomography bone data are used in the second part. A gradient regularized compressed sensing problem is formulated, and the Douglas-Rachford Splitting and the preconditioned conjugate gradient methods are utilized to solve the optimization problem of the compressed sensing formulation. The wavelet image denoising algorithm is used as the post-processing algorithm to attenuate the unwanted staircase artifact generated by the reconstruction algorithm. Finally, a noisy and highly reduced-view inconsistent real in-vivo synchrotron phase-contrast computed tomography bone data are used for image reconstruction. A combination of prior image constrained compressed sensing framework, and the wavelet regularization is formulated, and the Douglas-Rachford Splitting and the preconditioned conjugate gradient methods are utilized to solve the optimization problem of the compressed sensing formulation. The prior image constrained compressed sensing framework takes advantage of the prior image to promote the sparsity of the target image. It may lead to an unwanted staircase artifact when applied to noisy and texture images, so the wavelet regularization is used to attenuate the unwanted staircase artifact generated by the prior image constrained compressed sensing reconstruction algorithm. The visual and quantitative performance assessments with the reduced-view simulated and real computed tomography data from canine prostate tissue, rat forelimb, and femoral cortical bone samples, show that the proposed algorithms have fewer artifacts and reconstruction errors than other conventional reconstruction algorithms at the same x-ray dose

Low Complexity Regularization of Linear Inverse Problems

Inverse problems and regularization theory is a central theme in contemporary signal processing, where the goal is to reconstruct an unknown signal from partial indirect, and possibly noisy, measurements of it. A now standard method for recovering the unknown signal is to solve a convex optimization problem that enforces some prior knowledge about its structure. This has proved efficient in many problems routinely encountered in imaging sciences, statistics and machine learning. This chapter delivers a review of recent advances in the field where the regularization prior promotes solutions conforming to some notion of simplicity/low-complexity. These priors encompass as popular examples sparsity and group sparsity (to capture the compressibility of natural signals and images), total variation and analysis sparsity (to promote piecewise regularity), and low-rank (as natural extension of sparsity to matrix-valued data). Our aim is to provide a unified treatment of all these regularizations under a single umbrella, namely the theory of partial smoothness. This framework is very general and accommodates all low-complexity regularizers just mentioned, as well as many others. Partial smoothness turns out to be the canonical way to encode low-dimensional models that can be linear spaces or more general smooth manifolds. This review is intended to serve as a one stop shop toward the understanding of the theoretical properties of the so-regularized solutions. It covers a large spectrum including: (i) recovery guarantees and stability to noise, both in terms of $\ell^2$-stability and model (manifold) identification; (ii) sensitivity analysis to perturbations of the parameters involved (in particular the observations), with applications to unbiased risk estimation ; (iii) convergence properties of the forward-backward proximal splitting scheme, that is particularly well suited to solve the corresponding large-scale regularized optimization problem

Reports about 8 selected benchmark cases of model hierarchies : Deliverable number: D5.1 - Version 0.1

Based on the multitude of industrial applications, benchmarks for model hierarchies will be created that will form a basis for the interdisciplinary research and for the training programme. These will be equipped with publically available data and will be used for training in modelling, model testing, reduced order modelling, error estimation, efficiency optimization in algorithmic approaches, and testing of the generated MSO/MOR software. The present document includes the description about the selection of (at least) eight benchmark cases of model hierarchies.EC/H2020/765374/EU/Reduced Order Modelling, Simulation and Optimization of Coupled Systems/ROMSO