Pub Date : 2025-11-28Epub Date: 2025-11-14DOI: 10.1088/1361-6420/ae1bcd
Souvik Roy, Suvra Pal
This paper presents a novel methodological framework to obtain superior reconstructions in limited data photoacoustic tomography. The proposed framework exploits the presence of Cauchy data on an accessible part of the observation domain and uses a Nash game-theoretic framework to complete the missing data on the inaccessible region. To solve the game-theoretic problem, a gradient-free sequential quadratic Hamiltonian scheme, which is based on Pontryagin's maximum principle characterization, is combined with physics-informed neural networks to obtain the initial guess, leading to a robust and accurate reconstruction scheme. Numerical simulations with various phantoms, choice of accessible observation domains, and noise, demonstrate the effectiveness of our proposed framework to obtain high contrast and resolution reconstructions.
{"title":"A PINN-driven game-theoretic framework in limited data photoacoustic tomography.","authors":"Souvik Roy, Suvra Pal","doi":"10.1088/1361-6420/ae1bcd","DOIUrl":"10.1088/1361-6420/ae1bcd","url":null,"abstract":"<p><p>This paper presents a novel methodological framework to obtain superior reconstructions in limited data photoacoustic tomography. The proposed framework exploits the presence of Cauchy data on an accessible part of the observation domain and uses a Nash game-theoretic framework to complete the missing data on the inaccessible region. To solve the game-theoretic problem, a gradient-free sequential quadratic Hamiltonian scheme, which is based on Pontryagin's maximum principle characterization, is combined with physics-informed neural networks to obtain the initial guess, leading to a robust and accurate reconstruction scheme. Numerical simulations with various phantoms, choice of accessible observation domains, and noise, demonstrate the effectiveness of our proposed framework to obtain high contrast and resolution reconstructions.</p>","PeriodicalId":50275,"journal":{"name":"Inverse Problems","volume":"41 11","pages":"115011"},"PeriodicalIF":2.1,"publicationDate":"2025-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12615996/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145543328","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-04-01Epub Date: 2025-03-14DOI: 10.1088/1361-6420/adbd6a
Yizun Lin, Yongxin He, C Ross Schmidtlein, Deren Han
This paper presents an accelerated preconditioned proximal gradient algorithm (APPGA) for effectively solving a class of positron emission tomography (PET) image reconstruction models with differentiable regularizers. We establish the convergence of APPGA with the generalized Nesterov (GN) momentum scheme, demonstrating its ability to converge to a minimizer of the objective function with rates of and in terms of the function value and the distance between consecutive iterates, respectively, where is the power parameter of the GN momentum. To achieve an efficient algorithm with high-order convergence rate for the higher-order isotropic total variation (ITV) regularized PET image reconstruction model, we replace the ITV term by its smoothed version and subsequently apply APPGA to solve the smoothed model. Numerical results presented in this work indicate that as increase, APPGA converges at a progressively faster rate. Furthermore, APPGA exhibits superior performance compared to the preconditioned proximal gradient algorithm and the preconditioned Krasnoselskii-Mann algorithm. The extension of the GN momentum technique for solving a more complex optimization model with multiple nondifferentiable terms is also discussed.
本文提出了一种加速预条件近端梯度算法(APPGA),用于有效求解一类带有可微正则子的正电子发射断层扫描(PET)图像重建模型。我们用广义Nesterov (GN)动量格式建立了APPGA的收敛性,证明了其收敛速度分别为0 1 / k 2 ω和0 1 / k ω的目标函数的最小值,其中ω∈(0,1]是GN动量的幂参数。为了实现高阶各向同性总变分(ITV)正则化PET图像重建模型的高阶收敛率算法,我们将ITV项替换为其平滑版本,然后应用APPGA对平滑模型进行求解。本文的数值结果表明,随着ω∈(0,1)的增大,APPGA的收敛速度逐渐加快。此外,与预条件近端梯度算法和预条件Krasnoselskii-Mann算法相比,APPGA表现出更优越的性能。讨论了GN动量技术在求解具有多个不可微项的更复杂优化模型中的推广。
{"title":"An accelerated preconditioned proximal gradient algorithm with a generalized Nesterov momentum for PET image reconstruction.","authors":"Yizun Lin, Yongxin He, C Ross Schmidtlein, Deren Han","doi":"10.1088/1361-6420/adbd6a","DOIUrl":"10.1088/1361-6420/adbd6a","url":null,"abstract":"<p><p>This paper presents an accelerated preconditioned proximal gradient algorithm (APPGA) for effectively solving a class of positron emission tomography (PET) image reconstruction models with differentiable regularizers. We establish the convergence of APPGA with the generalized Nesterov (GN) momentum scheme, demonstrating its ability to converge to a minimizer of the objective function with rates of <math><mi>o</mi> <mfenced><mrow><mn>1</mn> <mo>/</mo> <msup><mrow><mi>k</mi></mrow> <mrow><mn>2</mn> <mi>ω</mi></mrow> </msup> </mrow> </mfenced> </math> and <math><mi>o</mi> <mfenced><mrow><mn>1</mn> <mo>/</mo> <msup><mrow><mi>k</mi></mrow> <mrow><mi>ω</mi></mrow> </msup> </mrow> </mfenced> </math> in terms of the function value and the distance between consecutive iterates, respectively, where <math><mi>ω</mi> <mo>∈</mo> <mo>(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo>]</mo></math> is the power parameter of the GN momentum. To achieve an efficient algorithm with high-order convergence rate for the higher-order isotropic total variation (ITV) regularized PET image reconstruction model, we replace the ITV term by its smoothed version and subsequently apply APPGA to solve the smoothed model. Numerical results presented in this work indicate that as <math><mi>ω</mi> <mo>∈</mo> <mo>(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo>]</mo></math> increase, APPGA converges at a progressively faster rate. Furthermore, APPGA exhibits superior performance compared to the preconditioned proximal gradient algorithm and the preconditioned Krasnoselskii-Mann algorithm. The extension of the GN momentum technique for solving a more complex optimization model with multiple nondifferentiable terms is also discussed.</p>","PeriodicalId":50275,"journal":{"name":"Inverse Problems","volume":"41 4","pages":""},"PeriodicalIF":2.1,"publicationDate":"2025-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12456403/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145139132","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-12-01Epub Date: 2024-11-20DOI: 10.1088/1361-6420/ad910a
Evan Scope Crafts, Mark A Anastasio, Umberto Villa
Quantitative photoacoustic computed tomography (qPACT) is an emerging medical imaging modality that carries the promise of high-contrast, fine-resolution imaging of clinically relevant quantities like hemoglobin concentration and blood-oxygen saturation. However, qPACT image reconstruction is governed by a multiphysics, partial differential equation (PDE) based inverse problem that is highly non-linear and severely ill-posed. Compounding the difficulty of the problem is the lack of established design standards for qPACT imaging systems, as there is currently a proliferation of qPACT system designs for various applications and it is unknown which ones are optimal or how to best modify the systems under various design constraints. This work introduces a novel computational approach for the optimal experimental design of qPACT imaging systems based on the Bayesian Cramér-Rao bound (CRB). Our approach incorporates several techniques to address challenges associated with forming the bound in the infinite-dimensional function space setting of qPACT, including priors with trace-class covariance operators and the use of the variational adjoint method to compute derivatives of the log-likelihood function needed in the bound computation. The resulting Bayesian CRB based design metric is computationally efficient and independent of the choice of estimator used to solve the inverse problem. The efficacy of the bound in guiding experimental design was demonstrated in a numerical study of qPACT design schemes under a stylized two-dimensional imaging geometry. To the best of our knowledge, this is the first work to propose Bayesian CRB based design for systems governed by PDEs.
{"title":"Optimizing quantitative photoacoustic imaging systems: the Bayesian Cramér-Rao bound approach.","authors":"Evan Scope Crafts, Mark A Anastasio, Umberto Villa","doi":"10.1088/1361-6420/ad910a","DOIUrl":"10.1088/1361-6420/ad910a","url":null,"abstract":"<p><p>Quantitative photoacoustic computed tomography (qPACT) is an emerging medical imaging modality that carries the promise of high-contrast, fine-resolution imaging of clinically relevant quantities like hemoglobin concentration and blood-oxygen saturation. However, qPACT image reconstruction is governed by a multiphysics, partial differential equation (PDE) based inverse problem that is highly non-linear and severely ill-posed. Compounding the difficulty of the problem is the lack of established design standards for qPACT imaging systems, as there is currently a proliferation of qPACT system designs for various applications and it is unknown which ones are optimal or how to best modify the systems under various design constraints. This work introduces a novel computational approach for the optimal experimental design of qPACT imaging systems based on the Bayesian Cramér-Rao bound (CRB). Our approach incorporates several techniques to address challenges associated with forming the bound in the infinite-dimensional function space setting of qPACT, including priors with trace-class covariance operators and the use of the variational adjoint method to compute derivatives of the log-likelihood function needed in the bound computation. The resulting Bayesian CRB based design metric is computationally efficient and independent of the choice of estimator used to solve the inverse problem. The efficacy of the bound in guiding experimental design was demonstrated in a numerical study of qPACT design schemes under a stylized two-dimensional imaging geometry. To the best of our knowledge, this is the first work to propose Bayesian CRB based design for systems governed by PDEs.</p>","PeriodicalId":50275,"journal":{"name":"Inverse Problems","volume":"40 12","pages":"125012"},"PeriodicalIF":2.0,"publicationDate":"2024-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11577155/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142689375","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-12-01Epub Date: 2024-12-13DOI: 10.1088/1361-6420/ad98bc
Lauri Oksanen, Tianyu Yang, Yang Yang
We develop a linearized boundary control method for the inverse boundary value problem of determining a density in the acoustic wave equation. The objective is to reconstruct an unknown perturbation in a known background density from the linearized Neumann-to-Dirichlet map. A key ingredient in the derivation is a linearized Blagoves̆c̆enskiĭ's identity with a free parameter. When the linearization is at a constant background density, we derive two reconstructive algorithms with stability estimates based on the boundary control method. When the linearization is at a non-constant background density, we establish an increasing stability estimate for the recovery of the density perturbation. The proposed reconstruction algorithms are implemented and validated with several numerical experiments to demonstrate the feasibility.
针对声波方程中确定密度的反边值问题,提出了一种线性化边界控制方法。目的是从线性诺伊曼-狄利克雷映射中重建已知背景密度中的未知扰动。推导过程中的一个关键因素是具有自由参数的线性化Blagoves - c - enskii恒等式。在背景密度恒定的情况下,基于边界控制方法导出了两种具有稳定性估计的重构算法。当线性化在非恒定背景密度下时,我们建立了密度扰动恢复的渐增稳定性估计。通过数值实验验证了所提出的重构算法的可行性。
{"title":"Linearized boundary control method for density reconstruction in acoustic wave equations.","authors":"Lauri Oksanen, Tianyu Yang, Yang Yang","doi":"10.1088/1361-6420/ad98bc","DOIUrl":"10.1088/1361-6420/ad98bc","url":null,"abstract":"<p><p>We develop a linearized boundary control method for the inverse boundary value problem of determining a density in the acoustic wave equation. The objective is to reconstruct an unknown perturbation in a known background density from the linearized Neumann-to-Dirichlet map. A key ingredient in the derivation is a linearized Blagoves̆c̆enskiĭ's identity with a free parameter. When the linearization is at a constant background density, we derive two reconstructive algorithms with stability estimates based on the boundary control method. When the linearization is at a non-constant background density, we establish an increasing stability estimate for the recovery of the density perturbation. The proposed reconstruction algorithms are implemented and validated with several numerical experiments to demonstrate the feasibility.</p>","PeriodicalId":50275,"journal":{"name":"Inverse Problems","volume":"40 12","pages":"125031"},"PeriodicalIF":2.0,"publicationDate":"2024-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11638760/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142830681","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-18DOI: 10.1088/1361-6420/ad797b
Kevin Ganster, Eric Todd Quinto and Andreas Rieder
The term Kirchhoff migration refers to a collection of approximate linearized inversion formulas for solving the inverse problem of seismic tomography which entails reconstructing the Earth’s subsurface from reflected wave fields. A number of such formulas exists, the first dating from the 1950 s. As far as we know, these formulas have not yet been mathematically compared with respect to their imaging properties. This shortcoming is to be alleviated by the present work: we systematically discuss the advantages and disadvantages of the formulas in 2D from a microlocal point of view. To this end we consider the corresponding imaging operators in an unified framework as pseudodifferential or Fourier integral operators. Numerical examples illustrate the theoretical insights and allow a visual comparison of the different formulas.
{"title":"A microlocal and visual comparison of 2D Kirchhoff migration formulas in seismic imaging *","authors":"Kevin Ganster, Eric Todd Quinto and Andreas Rieder","doi":"10.1088/1361-6420/ad797b","DOIUrl":"https://doi.org/10.1088/1361-6420/ad797b","url":null,"abstract":"The term Kirchhoff migration refers to a collection of approximate linearized inversion formulas for solving the inverse problem of seismic tomography which entails reconstructing the Earth’s subsurface from reflected wave fields. A number of such formulas exists, the first dating from the 1950 s. As far as we know, these formulas have not yet been mathematically compared with respect to their imaging properties. This shortcoming is to be alleviated by the present work: we systematically discuss the advantages and disadvantages of the formulas in 2D from a microlocal point of view. To this end we consider the corresponding imaging operators in an unified framework as pseudodifferential or Fourier integral operators. Numerical examples illustrate the theoretical insights and allow a visual comparison of the different formulas.","PeriodicalId":50275,"journal":{"name":"Inverse Problems","volume":"29 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2024-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142258276","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-12DOI: 10.1088/1361-6420/ad76d4
Martin Hanke
In 1996 Seo proved that two appropriate pairs of current and voltage data measured on the surface of a planar homogeneous object are sufficient to determine a conductive polygonal inclusion with known deviating conductivity. Here we show that the corresponding linearized forward map is injective, and from this we deduce Lipschitz stability of the solution of the original nonlinear inverse problem. We also treat the case of an insulating polygonal inclusion, in which case a single pair of Cauchy data is already sufficient for the same purpose.
{"title":"Lipschitz stability of an inverse conductivity problem with two Cauchy data pairs","authors":"Martin Hanke","doi":"10.1088/1361-6420/ad76d4","DOIUrl":"https://doi.org/10.1088/1361-6420/ad76d4","url":null,"abstract":"In 1996 Seo proved that two appropriate pairs of current and voltage data measured on the surface of a planar homogeneous object are sufficient to determine a conductive polygonal inclusion with known deviating conductivity. Here we show that the corresponding linearized forward map is injective, and from this we deduce Lipschitz stability of the solution of the original nonlinear inverse problem. We also treat the case of an insulating polygonal inclusion, in which case a single pair of Cauchy data is already sufficient for the same purpose.","PeriodicalId":50275,"journal":{"name":"Inverse Problems","volume":"23 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2024-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142210256","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-12DOI: 10.1088/1361-6420/ad75b0
Jiajia Yu, Quan Xiao, Tianyi Chen and Rongjie Lai
In this paper, we introduce a bilevel optimization framework for addressing inverse mean-field games, alongside an exploration of numerical methods tailored for this bilevel problem. The primary benefit of our bilevel formulation lies in maintaining the convexity of the objective function and the linearity of constraints in the forward problem. Our paper focuses on inverse mean-field games characterized by unknown obstacles and metrics. We show numerical stability for these two types of inverse problems. More importantly, we, for the first time, establish the identifiability of the inverse mean-field game with unknown obstacles via the solution of the resultant bilevel problem. The bilevel approach enables us to employ an alternating gradient-based optimization algorithm with a provable convergence guarantee. To validate the effectiveness of our methods in solving the inverse problems, we have designed comprehensive numerical experiments, providing empirical evidence of its efficacy.
{"title":"A bilevel optimization method for inverse mean-field games *","authors":"Jiajia Yu, Quan Xiao, Tianyi Chen and Rongjie Lai","doi":"10.1088/1361-6420/ad75b0","DOIUrl":"https://doi.org/10.1088/1361-6420/ad75b0","url":null,"abstract":"In this paper, we introduce a bilevel optimization framework for addressing inverse mean-field games, alongside an exploration of numerical methods tailored for this bilevel problem. The primary benefit of our bilevel formulation lies in maintaining the convexity of the objective function and the linearity of constraints in the forward problem. Our paper focuses on inverse mean-field games characterized by unknown obstacles and metrics. We show numerical stability for these two types of inverse problems. More importantly, we, for the first time, establish the identifiability of the inverse mean-field game with unknown obstacles via the solution of the resultant bilevel problem. The bilevel approach enables us to employ an alternating gradient-based optimization algorithm with a provable convergence guarantee. To validate the effectiveness of our methods in solving the inverse problems, we have designed comprehensive numerical experiments, providing empirical evidence of its efficacy.","PeriodicalId":50275,"journal":{"name":"Inverse Problems","volume":"10 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2024-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142210255","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-11DOI: 10.1088/1361-6420/ad75af
Angelina Senchukova, Felipe Uribe and Lassi Roininen
Many inverse problems focus on recovering a quantity of interest that is a priori known to exhibit either discontinuous or smooth behavior. Within the Bayesian approach to inverse problems, such structural information can be encoded using Markov random field priors. We propose a class of priors that combine Markov random field structure with Student’s t distribution. This approach offers flexibility in modeling diverse structural behaviors depending on available data. Flexibility is achieved by including the degrees of freedom parameter of Student’s t distribution in the formulation of the Bayesian inverse problem. To facilitate posterior computations, we employ Gaussian scale mixture representation for the Student’s t Markov random field prior, which allows expressing the prior as a conditionally Gaussian distribution depending on auxiliary hyperparameters. Adopting this representation, we can derive most of the posterior conditional distributions in a closed form and utilize the Gibbs sampler to explore the posterior. We illustrate the method with two numerical examples: signal deconvolution and image deblurring.
许多逆问题的重点是恢复一个先验已知表现出不连续或平滑行为的相关量。在逆问题的贝叶斯方法中,这种结构信息可以用马尔可夫随机场先验来编码。我们提出了一类将马尔可夫随机场结构与 Student's t 分布相结合的先验。这种方法可以根据可用数据,灵活地模拟各种结构行为。灵活性是通过在贝叶斯逆问题的表述中加入 Student's t 分布的自由度参数来实现的。为了方便后验计算,我们采用了高斯尺度混合表示法来表示 Student's t 马尔科夫随机场先验,这样就可以根据辅助超参数将先验表达为条件高斯分布。采用这种表示方法,我们可以以封闭形式推导出大部分后验条件分布,并利用吉布斯采样器探索后验。我们用两个数值示例来说明该方法:信号解卷积和图像去模糊。
{"title":"Bayesian inversion with Student’s t priors based on Gaussian scale mixtures","authors":"Angelina Senchukova, Felipe Uribe and Lassi Roininen","doi":"10.1088/1361-6420/ad75af","DOIUrl":"https://doi.org/10.1088/1361-6420/ad75af","url":null,"abstract":"Many inverse problems focus on recovering a quantity of interest that is a priori known to exhibit either discontinuous or smooth behavior. Within the Bayesian approach to inverse problems, such structural information can be encoded using Markov random field priors. We propose a class of priors that combine Markov random field structure with Student’s t distribution. This approach offers flexibility in modeling diverse structural behaviors depending on available data. Flexibility is achieved by including the degrees of freedom parameter of Student’s t distribution in the formulation of the Bayesian inverse problem. To facilitate posterior computations, we employ Gaussian scale mixture representation for the Student’s t Markov random field prior, which allows expressing the prior as a conditionally Gaussian distribution depending on auxiliary hyperparameters. Adopting this representation, we can derive most of the posterior conditional distributions in a closed form and utilize the Gibbs sampler to explore the posterior. We illustrate the method with two numerical examples: signal deconvolution and image deblurring.","PeriodicalId":50275,"journal":{"name":"Inverse Problems","volume":"10 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2024-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142210297","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-11DOI: 10.1088/1361-6420/ad75b1
Yohann De Castro, Vincent Duval and Romain Petit
This work is concerned with the recovery of piecewise constant images from noisy linear measurements. We study the noise robustness of a variational reconstruction method, which is based on total (gradient) variation regularization. We show that, if the unknown image is the superposition of a few simple shapes, and if a non-degenerate source condition holds, then, in the low noise regime, the reconstructed images have the same structure: they are the superposition of the same number of shapes, each a smooth deformation of one of the unknown shapes. Moreover, the reconstructed shapes and the associated intensities converge to the unknown ones as the noise goes to zero.
{"title":"Exact recovery of the support of piecewise constant images via total variation regularization","authors":"Yohann De Castro, Vincent Duval and Romain Petit","doi":"10.1088/1361-6420/ad75b1","DOIUrl":"https://doi.org/10.1088/1361-6420/ad75b1","url":null,"abstract":"This work is concerned with the recovery of piecewise constant images from noisy linear measurements. We study the noise robustness of a variational reconstruction method, which is based on total (gradient) variation regularization. We show that, if the unknown image is the superposition of a few simple shapes, and if a non-degenerate source condition holds, then, in the low noise regime, the reconstructed images have the same structure: they are the superposition of the same number of shapes, each a smooth deformation of one of the unknown shapes. Moreover, the reconstructed shapes and the associated intensities converge to the unknown ones as the noise goes to zero.","PeriodicalId":50275,"journal":{"name":"Inverse Problems","volume":"48 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2024-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142210287","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-11DOI: 10.1088/1361-6420/ad7495
Florian Bossmann, Jianwei Ma and Wenze Wu
Identifying and tracking objects over multiple observations is a frequent task in many applications. Traffic monitoring requires the tracking of vehicles or pedestrians in video data and geophysical exploration relies on identifying seismic wave fronts from data of multiple sensors, only to mention two examples. In many cases, the object changes its shape or position within the given data from one observation to another. Vehicles can change their position and angle relative to the camera while seismic waves have different arrival times, frequencies, or intensities depending on the sensor position. This complicates the task at hand. In a previous work, the authors presented a new algorithm to solve this problem—object reconstruction using K-approximation (ORKA). This algorithm is hindered by two conflicting limitations: the tracked movement is limited by the sampling grid while the complexity increases exponentially with the resolution. We introduce an iterative variant of the ORKA algorithm that is able to overcome this conflict. We also give a brief introduction on the original ORKA algorithm. Knowledge of the previous work is thus not required. We give theoretical error bounds and a complexity analysis which we validate with several numerical experiments. Moreover, we discuss the influence of different parameter choices in detail. The results clearly show that the iterative approach can outperform ORKA in both accuracy and efficiency. On the example of video processing we show that the new method can be applied where the original algorithm is too time and memory intensive. Furthermore, we demonstrate on seismic exploration data that we are now able to recover much finer details on the wave front movement then before.
在许多应用中,识别和跟踪多个观测对象是一项经常性任务。交通监控需要跟踪视频数据中的车辆或行人,地球物理勘探需要从多个传感器的数据中识别地震波前沿,这只是其中的两个例子。在许多情况下,从一次观测到另一次观测,物体在给定数据中的形状或位置都会发生变化。车辆相对于摄像机的位置和角度会发生变化,而地震波的到达时间、频率或强度则会因传感器位置的不同而不同。这使得手头的工作变得更加复杂。在之前的一项研究中,作者提出了一种解决这一问题的新算法--使用 K 近似法(ORKA)进行目标重建。该算法受到两个相互冲突的限制的阻碍:跟踪运动受到采样网格的限制,而复杂度则随着分辨率的增加呈指数增长。我们介绍了 ORKA 算法的迭代变体,它能够克服这一矛盾。我们还简要介绍了原始 ORKA 算法。因此不需要了解以前的工作。我们给出了理论误差范围和复杂性分析,并通过几个数值实验进行了验证。此外,我们还详细讨论了不同参数选择的影响。结果清楚地表明,迭代法在精度和效率上都优于 ORKA。以视频处理为例,我们表明新方法可以应用于原始算法时间和内存消耗过大的地方。此外,我们还在地震勘探数据上证明,我们现在能够恢复比以前更精细的波前运动细节。
{"title":"fg-ORKA: fast and gridless reconstruction of moving and deforming objects in multidimensional data","authors":"Florian Bossmann, Jianwei Ma and Wenze Wu","doi":"10.1088/1361-6420/ad7495","DOIUrl":"https://doi.org/10.1088/1361-6420/ad7495","url":null,"abstract":"Identifying and tracking objects over multiple observations is a frequent task in many applications. Traffic monitoring requires the tracking of vehicles or pedestrians in video data and geophysical exploration relies on identifying seismic wave fronts from data of multiple sensors, only to mention two examples. In many cases, the object changes its shape or position within the given data from one observation to another. Vehicles can change their position and angle relative to the camera while seismic waves have different arrival times, frequencies, or intensities depending on the sensor position. This complicates the task at hand. In a previous work, the authors presented a new algorithm to solve this problem—object reconstruction using K-approximation (ORKA). This algorithm is hindered by two conflicting limitations: the tracked movement is limited by the sampling grid while the complexity increases exponentially with the resolution. We introduce an iterative variant of the ORKA algorithm that is able to overcome this conflict. We also give a brief introduction on the original ORKA algorithm. Knowledge of the previous work is thus not required. We give theoretical error bounds and a complexity analysis which we validate with several numerical experiments. Moreover, we discuss the influence of different parameter choices in detail. The results clearly show that the iterative approach can outperform ORKA in both accuracy and efficiency. On the example of video processing we show that the new method can be applied where the original algorithm is too time and memory intensive. Furthermore, we demonstrate on seismic exploration data that we are now able to recover much finer details on the wave front movement then before.","PeriodicalId":50275,"journal":{"name":"Inverse Problems","volume":"58 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2024-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142210289","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}