-
Adjoint Method in PDE-based Image Compression
Authors:
Zakaria Belhachmi,
Thomas Jacumin
Abstract:
We consider a shape optimization based method for finding the best interpolation data in the compression of images with noise. The aim is to reconstruct missing regions by means of minimizing a data fitting term in an $L^p$-norm between original images and their reconstructed counterparts using linear diffusion PDE-based inpainting. Reformulating the problem as a constrained optimization over sets…
▽ More
We consider a shape optimization based method for finding the best interpolation data in the compression of images with noise. The aim is to reconstruct missing regions by means of minimizing a data fitting term in an $L^p$-norm between original images and their reconstructed counterparts using linear diffusion PDE-based inpainting. Reformulating the problem as a constrained optimization over sets (shapes), we derive the topological asymptotic expansion of the considered shape functionals with respect to the insertion of small ball (a single pixel) using the adjoint method. Based on the achieved distributed topological shape derivatives, we propose a numerical approach to determine the optimal set and present numerical experiments showing, the efficiency of our method. Numerical computations are presented that confirm the usefulness of our theoretical findings for PDE-based image compression.
△ Less
Submitted 10 October, 2024; v1 submitted 6 February, 2023;
originally announced February 2023.
-
Iterative Approach to Image Compression with Noise : Optimizing Spatial and Tonal Data
Authors:
Zakaria Belhachmi,
Thomas Jacumin
Abstract:
We consider some iterative methods for finding the best interpolation data in the images compression with noise. The interpolation data consists of the set of pixels and their grey/color values. The aim in the iterative approach is to allow the change of the data dynamically during the inpainting process for a reconstruction of the image that includes the enhancement and denoising effects. The gov…
▽ More
We consider some iterative methods for finding the best interpolation data in the images compression with noise. The interpolation data consists of the set of pixels and their grey/color values. The aim in the iterative approach is to allow the change of the data dynamically during the inpainting process for a reconstruction of the image that includes the enhancement and denoising effects. The governing PDE model of this approach is a fully parabolic problem where the set of stored pixels is time dependent. We consider the semi-discrete dynamical system associated to the model which gives rise to an iterative method where the stored data are modified during the iterations for best outcomes. Finding the compression sets follows from a shape-based analysis within the $Γ$-convergence tools, in particular well suited topological asymptotic and a ``fat pixels'' approach are considered to obtain an analytic characterization of the optimal sets in the sense of shape optimization theory. We perform the analysis and derive several iterative algorithms that we implement and compare to obtain the most efficient strategies of compression and inpainting for noisy images. Some numerical computations are presented to confirm the theoretical findings. Finally, we propose a modified model that allows the inpainting data to change with the iteration and compare the resulting new method to the ``probabilistic'' ones from the state-of-the-art.
△ Less
Submitted 29 September, 2022;
originally announced September 2022.
-
Optimal Interpolation Data for PDE-based Compression of Images with Noise
Authors:
Zakaria Belhachmi,
Thomas Jacumin
Abstract:
We introduce and discuss shape-based models for finding the best interpolation data in the compression of images with noise. The aim is to reconstruct missing regions by means of minimizing a data fitting term in the $L^2$-norm between the images and their reconstructed counterparts using time-dependent PDE inpainting. We analyze the proposed models in the framework of the $Γ$-convergence from two…
▽ More
We introduce and discuss shape-based models for finding the best interpolation data in the compression of images with noise. The aim is to reconstruct missing regions by means of minimizing a data fitting term in the $L^2$-norm between the images and their reconstructed counterparts using time-dependent PDE inpainting. We analyze the proposed models in the framework of the $Γ$-convergence from two different points of view. First, we consider a continuous stationary PDE model, obtained by focusing on the first iteration of the discretized time-dependent PDE, and get pointwise information on the "relevance" of each pixel by a topological asymptotic method. Second, we introduce a finite dimensional setting of the continuous model based on "fat pixels" (balls with positive radius), and we study by $Γ$-convergence the asymptotics when the radius vanishes. Numerical computations are presented that confirm the usefulness of our theoretical findings for non-stationary PDE-based image compression.
△ Less
Submitted 22 February, 2022;
originally announced February 2022.
-
Choosing The Best Interpolation Data in Images with Noise
Authors:
Zakaria Belhachmi,
Thomas Jacumin
Abstract:
We introduce and discuss shape based models for finding the best interpolation data in compression of images with noise. The aim is to reconstruct missing regions by means of minimizing data fitting term in the $L^2$-norm between the images and their reconstructed counterparts. We analyse the proposed models in the framework of the $Γ$-convergence from two different points of view. First, we consi…
▽ More
We introduce and discuss shape based models for finding the best interpolation data in compression of images with noise. The aim is to reconstruct missing regions by means of minimizing data fitting term in the $L^2$-norm between the images and their reconstructed counterparts. We analyse the proposed models in the framework of the $Γ$-convergence from two different points of view. First, we consider a continuous stationary PDE model and get pointwise information on the "relevance" of each pixel by a topological asymptotic method. Second, we introduce a finite dimensional setting into the continuous model based on fat pixels (balls with positive radius), and we study by $Γ$-convergence the asymptotics when the radius vanishes. We extend the method to time-dependent based reconstruction and discuss several strategies for choosing the interpolation data within masks that might be improved over the iterations. Numerical computations are presented that confirm the usefulness of our theoretical findings for stationary and non-stationary PDE-based image compression.
△ Less
Submitted 4 November, 2020;
originally announced November 2020.
-
The bidomain problem as a gradient system
Authors:
Zakaria Belhachmi,
Ralph Chill
Abstract:
We consider a general, nonlinear version of the bidomain system. Using the gradient structure of this system, but also the notion of $j$-subgradient, we prove wellposedness of the bidomain system in the energy space and provide first numerical experiments.
We consider a general, nonlinear version of the bidomain system. Using the gradient structure of this system, but also the notion of $j$-subgradient, we prove wellposedness of the bidomain system in the energy space and provide first numerical experiments.
△ Less
Submitted 23 April, 2018;
originally announced April 2018.
-
Photoacoustic Tomography With Spatially Varying Compressibility and Density
Authors:
Zakaria Belhachmi,
Thomas Glatz,
Otmar Scherzer
Abstract:
This paper investigates photoacoustic tomography with two spatially varying acoustic parameters, the compressibility and the density. We consider the reconstruction of the absorption density parameter (imaging parameter of Photoacoustics) with complete and partial measurement data. We investigate and analyze three different numerical methods for solving the imaging problem and compare the results.
This paper investigates photoacoustic tomography with two spatially varying acoustic parameters, the compressibility and the density. We consider the reconstruction of the absorption density parameter (imaging parameter of Photoacoustics) with complete and partial measurement data. We investigate and analyze three different numerical methods for solving the imaging problem and compare the results.
△ Less
Submitted 4 January, 2016; v1 submitted 23 December, 2015;
originally announced December 2015.
-
A Direct Method for Photoacoustic Tomography with Inhomogeneous Sound Speed
Authors:
Zakaria Belhachmi,
Thomas Glatz,
Otmar Scherzer
Abstract:
The standard approach for photoacoustic imaging with variable speed of sound is time reversal, which consists in solving a well-posed final-boundary value problem for the wave equation backwards in time. This paper investigates the iterative Landweber regularization algorithm, where convergence is guaranteed by standard regularization theory, notably also in cases of trapping sound speed or for sh…
▽ More
The standard approach for photoacoustic imaging with variable speed of sound is time reversal, which consists in solving a well-posed final-boundary value problem for the wave equation backwards in time. This paper investigates the iterative Landweber regularization algorithm, where convergence is guaranteed by standard regularization theory, notably also in cases of trapping sound speed or for short measurement times. We formulate and solve the direct and inverse problem on the whole Euclidean space, what is common in standard photoacoustic imaging, but not for time-reversal algorithms, where the problems are considered on a domain enclosed by the measurement devices. We formulate both the direct and adjoint photoacoustic operator as the solution of an interior and an exterior differential equation which are coupled by transmission conditions. The prior is solved numerically using a Galerkin scheme in space and finite difference discretization in time, while the latter consists in solving a boundary integral equation. We therefore use a BEM-FEM approach for numerical solution of the forward operators. We analyze this method, prove convergence, and provide numerical tests. Moreover, we compare the approach to time reversal.
△ Less
Submitted 16 December, 2015; v1 submitted 7 July, 2015;
originally announced July 2015.
-
Application of the $j$-subgradient in a problem of electropermeabilisation
Authors:
Ralph Chill,
Zakaria Belhachmi
Abstract:
We study a coupled elliptic-parabolic Poincaré-Steklov system arising in electrical cell activity in biological tissues. By using the notion of $j$-subgradient, we show that this system has a gradient structure and thus obtain wellposedness. We further exploit the gradient structure for the discretisation of the problem and provide numerical experiments.
We study a coupled elliptic-parabolic Poincaré-Steklov system arising in electrical cell activity in biological tissues. By using the notion of $j$-subgradient, we show that this system has a gradient structure and thus obtain wellposedness. We further exploit the gradient structure for the discretisation of the problem and provide numerical experiments.
△ Less
Submitted 12 December, 2014;
originally announced December 2014.
