Gaik Ambartsoumian, Mohammad J. Latifi Jebelli, Rohit K. Mishra
SIAM Journal on Imaging Sciences, Volume 17, Issue 1, Page 595-631, March 2024. Abstract.The paper discusses numerical implementations of various inversion schemes for generalized V-line transforms on vector fields introduced in [G. Ambartsoumian, M. J. Latifi, and R. K. Mishra, Inverse Problems, 36 (2020), 104002]. It demonstrates the possibility of efficient recovery of an unknown vector field from five different types of data sets, with and without noise. We examine the performance of the proposed algorithms in a variety of setups, and illustrate our results with numerical simulations on different phantoms.
SIAM 影像科学杂志》第 17 卷第 1 期第 595-631 页,2024 年 3 月。 摘要:本文讨论了[G. Ambartsoumian, M. J. Latifi, and R. K. Mishra, Inverse Problems, 36 (2020), 104002]中介绍的矢量场广义 V 线变换的各种反演方案的数值实现。它展示了从有噪声和无噪声的五种不同类型数据集中高效恢复未知向量场的可能性。我们检验了所提算法在各种设置下的性能,并通过在不同模型上的数值模拟说明了我们的结果。
{"title":"Numerical Implementation of Generalized V-Line Transforms on 2D Vector Fields and their Inversions","authors":"Gaik Ambartsoumian, Mohammad J. Latifi Jebelli, Rohit K. Mishra","doi":"10.1137/23m1573112","DOIUrl":"https://doi.org/10.1137/23m1573112","url":null,"abstract":"SIAM Journal on Imaging Sciences, Volume 17, Issue 1, Page 595-631, March 2024. <br/> Abstract.The paper discusses numerical implementations of various inversion schemes for generalized V-line transforms on vector fields introduced in [G. Ambartsoumian, M. J. Latifi, and R. K. Mishra, Inverse Problems, 36 (2020), 104002]. It demonstrates the possibility of efficient recovery of an unknown vector field from five different types of data sets, with and without noise. We examine the performance of the proposed algorithms in a variety of setups, and illustrate our results with numerical simulations on different phantoms.","PeriodicalId":49528,"journal":{"name":"SIAM Journal on Imaging Sciences","volume":null,"pages":null},"PeriodicalIF":2.1,"publicationDate":"2024-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140055286","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SIAM Journal on Imaging Sciences, Volume 17, Issue 1, Page 501-539, March 2024. Abstract. Many imaging problems can be formulated as mapping problems. A general mapping problem aims to obtain an optimal mapping that minimizes an energy functional subject to the given constraints. Existing methods to solve the mapping problems are often inefficient and can sometimes get trapped in local minima. An extra challenge arises when the optimal mapping is required to be diffeomorphic. In this work, we address the problem by proposing a deep-learning framework based on the Quasiconformal (QC) Teichmüller theories. The main strategy is to learn the Beltrami coefficient (BC) that represents a mapping as the latent feature vector in the deep neural network. The BC measures the local geometric distortion under the mapping, with which the interpretability of the deep neural network can be enhanced. Under this framework, the diffeomorphic property of the mapping can be controlled via a simple activation function within the network. The optimal mapping can also be easily regularized by integrating the BC into the loss function. A crucial advantage of the proposed framework is that once the network is successfully trained, the optimized mapping corresponding to each input data information can be obtained in real time. To examine the efficacy of the proposed framework, we apply the method to the diffeomorphic image registration problem. Experimental results outperform other state-of-the-art registration algorithms in both efficiency and accuracy, which demonstrate the effectiveness of our proposed framework to solve the mapping problem.
{"title":"A Deep Learning Framework for Diffeomorphic Mapping Problems via Quasi-conformal Geometry Applied to Imaging","authors":"Qiguang Chen, Zhiwen Li, Lok Ming Lui","doi":"10.1137/22m1516099","DOIUrl":"https://doi.org/10.1137/22m1516099","url":null,"abstract":"SIAM Journal on Imaging Sciences, Volume 17, Issue 1, Page 501-539, March 2024. <br/> Abstract. Many imaging problems can be formulated as mapping problems. A general mapping problem aims to obtain an optimal mapping that minimizes an energy functional subject to the given constraints. Existing methods to solve the mapping problems are often inefficient and can sometimes get trapped in local minima. An extra challenge arises when the optimal mapping is required to be diffeomorphic. In this work, we address the problem by proposing a deep-learning framework based on the Quasiconformal (QC) Teichmüller theories. The main strategy is to learn the Beltrami coefficient (BC) that represents a mapping as the latent feature vector in the deep neural network. The BC measures the local geometric distortion under the mapping, with which the interpretability of the deep neural network can be enhanced. Under this framework, the diffeomorphic property of the mapping can be controlled via a simple activation function within the network. The optimal mapping can also be easily regularized by integrating the BC into the loss function. A crucial advantage of the proposed framework is that once the network is successfully trained, the optimized mapping corresponding to each input data information can be obtained in real time. To examine the efficacy of the proposed framework, we apply the method to the diffeomorphic image registration problem. Experimental results outperform other state-of-the-art registration algorithms in both efficiency and accuracy, which demonstrate the effectiveness of our proposed framework to solve the mapping problem.","PeriodicalId":49528,"journal":{"name":"SIAM Journal on Imaging Sciences","volume":null,"pages":null},"PeriodicalIF":2.1,"publicationDate":"2024-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140036956","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SIAM Journal on Imaging Sciences, Volume 17, Issue 1, Page 476-500, March 2024. Abstract.Via chirp functions from fractional Fourier transforms, we introduce fractional Riesz potentials related to chirp functions, which are further used to give a new image encryption method with double phase coding. In a comparison with the image encryption method based on fractional Fourier transforms, via a series of image encryption and decryption experiments, we demonstrate that the symbols of fractional Riesz potentials related to chirp functions and the order of fractional Fourier transforms essentially provide greater flexibility and information security. We also establish the relations of fractional Riesz potentials related to chirp functions with fractional Fourier transforms, fractional Laplace operators, and fractional Riesz transforms, and we obtain their boundedness on rotation invariant spaces.
{"title":"Fractional Fourier Transforms Meet Riesz Potentials and Image Processing","authors":"Zunwei Fu, Yan Lin, Dachun Yang, Shuhui Yang","doi":"10.1137/23m1555442","DOIUrl":"https://doi.org/10.1137/23m1555442","url":null,"abstract":"SIAM Journal on Imaging Sciences, Volume 17, Issue 1, Page 476-500, March 2024. <br/>Abstract.Via chirp functions from fractional Fourier transforms, we introduce fractional Riesz potentials related to chirp functions, which are further used to give a new image encryption method with double phase coding. In a comparison with the image encryption method based on fractional Fourier transforms, via a series of image encryption and decryption experiments, we demonstrate that the symbols of fractional Riesz potentials related to chirp functions and the order of fractional Fourier transforms essentially provide greater flexibility and information security. We also establish the relations of fractional Riesz potentials related to chirp functions with fractional Fourier transforms, fractional Laplace operators, and fractional Riesz transforms, and we obtain their boundedness on rotation invariant spaces.","PeriodicalId":49528,"journal":{"name":"SIAM Journal on Imaging Sciences","volume":null,"pages":null},"PeriodicalIF":2.1,"publicationDate":"2024-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140006573","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SIAM Journal on Imaging Sciences, Volume 17, Issue 1, Page 415-440, March 2024. Abstract. In this paper we consider the generalized Radon transform [math] in the plane. Let [math] be a piecewise smooth function, which has a jump across a smooth curve [math]. We obtain a formula, which accurately describes view aliasing artifacts away from [math] when [math] is reconstructed from the data [math] discretized in the view direction. The formula is asymptotic, it is established in the limit as the sampling rate [math]. The proposed approach does not require that [math] be band-limited. Numerical experiments with the classical Radon transform and generalized Radon transform (which integrates over circles) demonstrate the accuracy of the formula.
{"title":"Analysis of View Aliasing for the Generalized Radon Transform in [math]","authors":"Alexander Katsevich","doi":"10.1137/23m1554746","DOIUrl":"https://doi.org/10.1137/23m1554746","url":null,"abstract":"SIAM Journal on Imaging Sciences, Volume 17, Issue 1, Page 415-440, March 2024. <br/> Abstract. In this paper we consider the generalized Radon transform [math] in the plane. Let [math] be a piecewise smooth function, which has a jump across a smooth curve [math]. We obtain a formula, which accurately describes view aliasing artifacts away from [math] when [math] is reconstructed from the data [math] discretized in the view direction. The formula is asymptotic, it is established in the limit as the sampling rate [math]. The proposed approach does not require that [math] be band-limited. Numerical experiments with the classical Radon transform and generalized Radon transform (which integrates over circles) demonstrate the accuracy of the formula.","PeriodicalId":49528,"journal":{"name":"SIAM Journal on Imaging Sciences","volume":null,"pages":null},"PeriodicalIF":2.1,"publicationDate":"2024-02-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139949296","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SIAM Journal on Imaging Sciences, Volume 17, Issue 1, Page 441-475, March 2024. Abstract. High-dimensional deep features extracted by convolutional neural networks have nonlocal self-similarity. However, incorporating this nonlocal prior of deep features into deep network architectures with an interpretable variational framework is rarely explored. In this paper, we propose a learnable nonlocal self-similarity deep feature network for image denoising. Our method is motivated by the fact that the high-dimensional deep features obey a mixture probability distribution based on the Parzen–Rosenblatt window method. Then a regularizer with learnable nonlocal weights is proposed by considering the dual representation of the log-probability prior of the deep features. Specifically, the nonlocal weights are introduced as dual variables that can be learned by unrolling the associated numerical scheme. This leads to nonlocal modules (NLMs) in newly designed networks. Our method provides a statistical and variational interpretation for the nonlocal self-attention mechanism widely used in various networks. By adopting nonoverlapping window and region decomposition techniques, we can significantly reduce the computational complexity of nonlocal self-similarity, thus enabling parallel computation of the NLM. The solution to the proposed variational problem can be formulated as a learnable nonlocal self-similarity network for image denoising. This work offers a novel approach for constructing network structures that consider self-similarity and nonlocality. The improvements achieved by this method are predictable and partially controllable. Compared with several closely related denoising methods, the experimental results show the effectiveness of the proposed method in image denoising.
{"title":"Learnable Nonlocal Self-Similarity of Deep Features for Image Denoising","authors":"Junying Meng, Faqiang Wang, Jun Liu","doi":"10.1137/22m1536996","DOIUrl":"https://doi.org/10.1137/22m1536996","url":null,"abstract":"SIAM Journal on Imaging Sciences, Volume 17, Issue 1, Page 441-475, March 2024. <br/> Abstract. High-dimensional deep features extracted by convolutional neural networks have nonlocal self-similarity. However, incorporating this nonlocal prior of deep features into deep network architectures with an interpretable variational framework is rarely explored. In this paper, we propose a learnable nonlocal self-similarity deep feature network for image denoising. Our method is motivated by the fact that the high-dimensional deep features obey a mixture probability distribution based on the Parzen–Rosenblatt window method. Then a regularizer with learnable nonlocal weights is proposed by considering the dual representation of the log-probability prior of the deep features. Specifically, the nonlocal weights are introduced as dual variables that can be learned by unrolling the associated numerical scheme. This leads to nonlocal modules (NLMs) in newly designed networks. Our method provides a statistical and variational interpretation for the nonlocal self-attention mechanism widely used in various networks. By adopting nonoverlapping window and region decomposition techniques, we can significantly reduce the computational complexity of nonlocal self-similarity, thus enabling parallel computation of the NLM. The solution to the proposed variational problem can be formulated as a learnable nonlocal self-similarity network for image denoising. This work offers a novel approach for constructing network structures that consider self-similarity and nonlocality. The improvements achieved by this method are predictable and partially controllable. Compared with several closely related denoising methods, the experimental results show the effectiveness of the proposed method in image denoising.","PeriodicalId":49528,"journal":{"name":"SIAM Journal on Imaging Sciences","volume":null,"pages":null},"PeriodicalIF":2.1,"publicationDate":"2024-02-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139949362","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SIAM Journal on Imaging Sciences, Volume 17, Issue 1, Page 389-414, March 2024. Abstract. Receptive profiles of the primary visual cortex (V1) cortical cells are very heterogeneous and act by differentiating the stimulus image as operators changing from point to point. In this paper we aim to show that the distribution of cells in V1, although not complete to reconstruct the original image, is sufficient to reconstruct the perceived image with subjective constancy. We show that a color constancy image can be reconstructed as the solution of the associated inverse problem, which is a Poisson equation with heterogeneous differential operators. At the neural level the weights of short-range connectivity constitute the fundamental solution of the Poisson problem adapted point by point. A first demonstration of convergence of the result towards homogeneous reconstructions is proposed by means of homogenization techniques.
{"title":"The Cortical V1 Transform as a Heterogeneous Poisson Problem","authors":"Alessandro Sarti, Mattia Galeotti, Giovanna Citti","doi":"10.1137/23m1555958","DOIUrl":"https://doi.org/10.1137/23m1555958","url":null,"abstract":"SIAM Journal on Imaging Sciences, Volume 17, Issue 1, Page 389-414, March 2024. <br/> Abstract. Receptive profiles of the primary visual cortex (V1) cortical cells are very heterogeneous and act by differentiating the stimulus image as operators changing from point to point. In this paper we aim to show that the distribution of cells in V1, although not complete to reconstruct the original image, is sufficient to reconstruct the perceived image with subjective constancy. We show that a color constancy image can be reconstructed as the solution of the associated inverse problem, which is a Poisson equation with heterogeneous differential operators. At the neural level the weights of short-range connectivity constitute the fundamental solution of the Poisson problem adapted point by point. A first demonstration of convergence of the result towards homogeneous reconstructions is proposed by means of homogenization techniques.","PeriodicalId":49528,"journal":{"name":"SIAM Journal on Imaging Sciences","volume":null,"pages":null},"PeriodicalIF":2.1,"publicationDate":"2024-02-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139921622","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Antonio Corbo Esposito, Luisa Faella, Gianpaolo Piscitelli, Vincenzo Mottola, Ravi Prakash, Antonello Tamburrino
SIAM Journal on Imaging Sciences, Volume 17, Issue 1, Page 351-388, March 2024. Abstract. This paper refers to an imaging problem in the presence of nonlinear materials. Specifically, the problem we address falls within the framework of Electrical Resistance Tomography and involves two different materials, one or both of which are nonlinear. Tomography with nonlinear materials is in the early stages of development, although breakthroughs are expected in the not-too-distant future. The original contribution this work makes is that the nonlinear problem can be approximated by a weighted [math]-Laplace problem. From the perspective of tomography, this is a significant result because it highlights the central role played by the [math]-Laplacian in inverse problems with nonlinear materials. Moreover, when [math], this result allows all the imaging methods and algorithms developed for linear materials to be brought into the arena of problems with nonlinear materials. The main result of this work is that for “small” Dirichlet data, (i) one material can be replaced by a perfect electric conductor and (ii) the other material can be replaced by a material giving rise to a weighted [math]-Laplace problem.
{"title":"The [math]-Laplace “Signature” for Quasilinear Inverse Problems","authors":"Antonio Corbo Esposito, Luisa Faella, Gianpaolo Piscitelli, Vincenzo Mottola, Ravi Prakash, Antonello Tamburrino","doi":"10.1137/22m1527192","DOIUrl":"https://doi.org/10.1137/22m1527192","url":null,"abstract":"SIAM Journal on Imaging Sciences, Volume 17, Issue 1, Page 351-388, March 2024. <br/> Abstract. This paper refers to an imaging problem in the presence of nonlinear materials. Specifically, the problem we address falls within the framework of Electrical Resistance Tomography and involves two different materials, one or both of which are nonlinear. Tomography with nonlinear materials is in the early stages of development, although breakthroughs are expected in the not-too-distant future. The original contribution this work makes is that the nonlinear problem can be approximated by a weighted [math]-Laplace problem. From the perspective of tomography, this is a significant result because it highlights the central role played by the [math]-Laplacian in inverse problems with nonlinear materials. Moreover, when [math], this result allows all the imaging methods and algorithms developed for linear materials to be brought into the arena of problems with nonlinear materials. The main result of this work is that for “small” Dirichlet data, (i) one material can be replaced by a perfect electric conductor and (ii) the other material can be replaced by a material giving rise to a weighted [math]-Laplace problem.","PeriodicalId":49528,"journal":{"name":"SIAM Journal on Imaging Sciences","volume":null,"pages":null},"PeriodicalIF":2.1,"publicationDate":"2024-02-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139757625","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SIAM Journal on Imaging Sciences, Volume 17, Issue 1, Page 334-350, March 2024. Abstract.Data-driven reduced order models (ROMs) have recently emerged as an efficient tool for the solution of inverse scattering problems with applications to seismic and sonar imaging. One requirement of this approach is that it uses the full square multiple-input/multiple-output (MIMO) matrix-valued transfer function as the data for multidimensional problems. The synthetic aperture radar (SAR), however, is limited to the single-input/single-output (SISO) measurements corresponding to the diagonal of the matrix transfer function. Here we present a ROM-based Lippmann–Schwinger approach overcoming this drawback. The ROMs are constructed to match the data for each source-receiver pair separately, and these are used to construct internal solutions for the corresponding source using only the data-driven Gramian. Efficiency of the proposed approach is demonstrated on 2D and 2.5D (3D propagation and 2D reflectors) numerical examples. The new algorithm not only suppresses multiple echoes seen in the Born imaging but also takes advantage of their illumination of some back sides of the reflectors, improving the quality of their mapping.
SIAM 影像科学期刊》第 17 卷第 1 期第 334-350 页,2024 年 3 月。摘要:数据驱动的降阶模型(ROMs)最近已成为解决反向散射问题的有效工具,并应用于地震和声纳成像。这种方法的一个要求是使用全平方多输入/多输出(MIMO)矩阵值传递函数作为多维问题的数据。然而,合成孔径雷达(SAR)仅限于与矩阵传递函数对角线相对应的单输入/单输出(SISO)测量。在此,我们提出了一种基于 ROM 的李普曼-施温格方法来克服这一缺点。构建 ROM 的目的是分别匹配每对信号源-接收器的数据,然后仅使用数据驱动的格拉米安为相应的信号源构建内部解决方案。在二维和 2.5 维(三维传播和二维反射体)数值示例中演示了所提方法的效率。新算法不仅抑制了 Born 成像中出现的多重回波,还利用了它们对反射体某些背面的照亮,提高了反射体映射的质量。
{"title":"Reduced Order Modeling Inversion of Monostatic Data in a Multi-scattering Environment","authors":"Vladimir Druskin, Shari Moskow, Mikhail Zaslavsky","doi":"10.1137/23m1564365","DOIUrl":"https://doi.org/10.1137/23m1564365","url":null,"abstract":"SIAM Journal on Imaging Sciences, Volume 17, Issue 1, Page 334-350, March 2024. <br/>Abstract.Data-driven reduced order models (ROMs) have recently emerged as an efficient tool for the solution of inverse scattering problems with applications to seismic and sonar imaging. One requirement of this approach is that it uses the full square multiple-input/multiple-output (MIMO) matrix-valued transfer function as the data for multidimensional problems. The synthetic aperture radar (SAR), however, is limited to the single-input/single-output (SISO) measurements corresponding to the diagonal of the matrix transfer function. Here we present a ROM-based Lippmann–Schwinger approach overcoming this drawback. The ROMs are constructed to match the data for each source-receiver pair separately, and these are used to construct internal solutions for the corresponding source using only the data-driven Gramian. Efficiency of the proposed approach is demonstrated on 2D and 2.5D (3D propagation and 2D reflectors) numerical examples. The new algorithm not only suppresses multiple echoes seen in the Born imaging but also takes advantage of their illumination of some back sides of the reflectors, improving the quality of their mapping.","PeriodicalId":49528,"journal":{"name":"SIAM Journal on Imaging Sciences","volume":null,"pages":null},"PeriodicalIF":2.1,"publicationDate":"2024-02-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139757753","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Dominik Narnhofer, Andreas Habring, Martin Holler, Thomas Pock
SIAM Journal on Imaging Sciences, Volume 17, Issue 1, Page 301-333, March 2024. Abstract.In this work, a method for obtaining pixelwise error bounds in Bayesian regularization of inverse imaging problems is introduced. The proposed method employs estimates of the posterior variance together with techniques from conformal prediction in order to obtain coverage guarantees for the error bounds, without making any assumption on the underlying data distribution. It is generally applicable to Bayesian regularization approaches, independent, e.g., of the concrete choice of the prior. Furthermore, the coverage guarantees can also be obtained in case only approximate sampling from the posterior is possible. With this in particular, the proposed framework is able to incorporate any learned prior in a black-box manner. Guaranteed coverage without assumptions on the underlying distributions is only achievable since the magnitude of the error bounds is, in general, unknown in advance. Nevertheless, experiments with multiple regularization approaches presented in the paper confirm that, in practice, the obtained error bounds are rather tight. For realizing the numerical experiments, a novel primal-dual Langevin algorithm for sampling from nonsmooth distributions is also introduced in this work, showing promising results in practice. While a proof of convergence for this primal-dual algorithm is still open, the theoretical guarantees of the proposed method do not require a guaranteed convergence of the sampling algorithm.
{"title":"Posterior-Variance–Based Error Quantification for Inverse Problems in Imaging","authors":"Dominik Narnhofer, Andreas Habring, Martin Holler, Thomas Pock","doi":"10.1137/23m1546129","DOIUrl":"https://doi.org/10.1137/23m1546129","url":null,"abstract":"SIAM Journal on Imaging Sciences, Volume 17, Issue 1, Page 301-333, March 2024. <br/> Abstract.In this work, a method for obtaining pixelwise error bounds in Bayesian regularization of inverse imaging problems is introduced. The proposed method employs estimates of the posterior variance together with techniques from conformal prediction in order to obtain coverage guarantees for the error bounds, without making any assumption on the underlying data distribution. It is generally applicable to Bayesian regularization approaches, independent, e.g., of the concrete choice of the prior. Furthermore, the coverage guarantees can also be obtained in case only approximate sampling from the posterior is possible. With this in particular, the proposed framework is able to incorporate any learned prior in a black-box manner. Guaranteed coverage without assumptions on the underlying distributions is only achievable since the magnitude of the error bounds is, in general, unknown in advance. Nevertheless, experiments with multiple regularization approaches presented in the paper confirm that, in practice, the obtained error bounds are rather tight. For realizing the numerical experiments, a novel primal-dual Langevin algorithm for sampling from nonsmooth distributions is also introduced in this work, showing promising results in practice. While a proof of convergence for this primal-dual algorithm is still open, the theoretical guarantees of the proposed method do not require a guaranteed convergence of the sampling algorithm.","PeriodicalId":49528,"journal":{"name":"SIAM Journal on Imaging Sciences","volume":null,"pages":null},"PeriodicalIF":2.1,"publicationDate":"2024-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139757707","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SIAM Journal on Imaging Sciences, Volume 17, Issue 1, Page 273-300, March 2024. Abstract. Intensity-based image registration is critical for neuroimaging tasks, such as 3D reconstruction, times-series alignment, and common coordinate mapping. The gradient-based optimization methods commonly used to solve this problem require a careful selection of step-length. This limitation imposes substantial time and computational costs. Here we propose a gradient-independent rigid-motion registration algorithm based on the majorization-minimization (MM) principle. Each iteration of our intensity-based MM algorithm reduces to a simple point-set rigid registration problem with a closed form solution that avoids the step-length issue altogether. The details of the algorithm are presented, and an error bound for its more practical truncated form is derived. The performance of the MM algorithm is shown to be more effective than gradient descent on simulated images and Nissl stained coronal slices of mouse brain. We also compare and contrast the similarities and differences between the MM algorithm and another gradient-free registration algorithm called the block-matching method. Finally, extensions of this algorithm to more complex problems are discussed.
SIAM 影像科学杂志》第 17 卷第 1 期第 273-300 页,2024 年 3 月。 摘要基于强度的图像配准对于三维重建、时间序列配准和共坐标映射等神经成像任务至关重要。通常用于解决这一问题的基于梯度的优化方法需要仔细选择步长。这一限制带来了大量的时间和计算成本。在此,我们提出了一种与梯度无关的刚性运动配准算法,该算法基于大化最小化(MM)原理。我们基于强度的 MM 算法的每次迭代都会简化为一个简单的点集刚性配准问题,其闭合形式解完全避免了步长问题。本文介绍了该算法的细节,并推导出更实用的截断形式的误差边界。在模拟图像和 Nissl 染色的小鼠大脑冠状切片上,MM 算法的性能比梯度下降算法更有效。我们还比较了 MM 算法和另一种无梯度配准算法(即块匹配法)之间的异同。最后,我们还讨论了该算法在更复杂问题上的扩展。
{"title":"A Majorization-Minimization Algorithm for Neuroimage Registration","authors":"Gaiting Zhou, Daniel Tward, Kenneth Lange","doi":"10.1137/22m1516907","DOIUrl":"https://doi.org/10.1137/22m1516907","url":null,"abstract":"SIAM Journal on Imaging Sciences, Volume 17, Issue 1, Page 273-300, March 2024. <br/> Abstract. Intensity-based image registration is critical for neuroimaging tasks, such as 3D reconstruction, times-series alignment, and common coordinate mapping. The gradient-based optimization methods commonly used to solve this problem require a careful selection of step-length. This limitation imposes substantial time and computational costs. Here we propose a gradient-independent rigid-motion registration algorithm based on the majorization-minimization (MM) principle. Each iteration of our intensity-based MM algorithm reduces to a simple point-set rigid registration problem with a closed form solution that avoids the step-length issue altogether. The details of the algorithm are presented, and an error bound for its more practical truncated form is derived. The performance of the MM algorithm is shown to be more effective than gradient descent on simulated images and Nissl stained coronal slices of mouse brain. We also compare and contrast the similarities and differences between the MM algorithm and another gradient-free registration algorithm called the block-matching method. Finally, extensions of this algorithm to more complex problems are discussed.","PeriodicalId":49528,"journal":{"name":"SIAM Journal on Imaging Sciences","volume":null,"pages":null},"PeriodicalIF":2.1,"publicationDate":"2024-02-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139757631","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}