Gradient Descent Provably Solves Nonlinear Tomographic Reconstruction

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: Fridovich-Keil, Sara, Valdivia, Fabrizio, Wetzstein, Gordon, Recht, Benjamin, Soltanolkotabi, Mahdi
Formato: Preprint
Publicado: 2023
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866915884357910528
author Fridovich-Keil, Sara
Valdivia, Fabrizio
Wetzstein, Gordon
Recht, Benjamin
Soltanolkotabi, Mahdi
author_facet Fridovich-Keil, Sara
Valdivia, Fabrizio
Wetzstein, Gordon
Recht, Benjamin
Soltanolkotabi, Mahdi
contents In computed tomography (CT), the forward model consists of a linear Radon transform followed by an exponential nonlinearity based on the attenuation of light according to the Beer-Lambert Law. Conventional reconstruction often involves inverting this nonlinearity and then solving a linear inverse problem. However, this nonlinear measurement preprocessing is poorly conditioned in the vicinity of high-density materials, such as metal. This preprocessing makes CT reconstruction methods numerically sensitive and susceptible to artifacts near high-density regions. In this paper, we study a technique where the signal is directly reconstructed from raw measurements through the nonlinear forward model. Though this optimization is nonconvex, we show that gradient descent provably converges to the global optimum at a geometric rate, perfectly reconstructing the underlying signal with a near minimal number of random measurements. We also prove similar results in the under-determined setting where the number of measurements is significantly smaller than the dimension of the signal. This is achieved by enforcing prior structural information about the signal through constraints on the optimization variables. We illustrate the benefits of direct nonlinear CT reconstruction with cone-beam CT experiments on synthetic and real 3D volumes, in which metal artifacts are reduced compared to standard linear reconstruction methods. Our experiments also demonstrate that logarithmic preprocessing alone is sufficient to produce metal artifacts, even in the absence of other causes such as beam hardening.
format Preprint
id arxiv_https___arxiv_org_abs_2310_03956
institution arXiv
publishDate 2023
record_format arxiv
spellingShingle Gradient Descent Provably Solves Nonlinear Tomographic Reconstruction
Fridovich-Keil, Sara
Valdivia, Fabrizio
Wetzstein, Gordon
Recht, Benjamin
Soltanolkotabi, Mahdi
Computer Vision and Pattern Recognition
Optimization and Control
Medical Physics
In computed tomography (CT), the forward model consists of a linear Radon transform followed by an exponential nonlinearity based on the attenuation of light according to the Beer-Lambert Law. Conventional reconstruction often involves inverting this nonlinearity and then solving a linear inverse problem. However, this nonlinear measurement preprocessing is poorly conditioned in the vicinity of high-density materials, such as metal. This preprocessing makes CT reconstruction methods numerically sensitive and susceptible to artifacts near high-density regions. In this paper, we study a technique where the signal is directly reconstructed from raw measurements through the nonlinear forward model. Though this optimization is nonconvex, we show that gradient descent provably converges to the global optimum at a geometric rate, perfectly reconstructing the underlying signal with a near minimal number of random measurements. We also prove similar results in the under-determined setting where the number of measurements is significantly smaller than the dimension of the signal. This is achieved by enforcing prior structural information about the signal through constraints on the optimization variables. We illustrate the benefits of direct nonlinear CT reconstruction with cone-beam CT experiments on synthetic and real 3D volumes, in which metal artifacts are reduced compared to standard linear reconstruction methods. Our experiments also demonstrate that logarithmic preprocessing alone is sufficient to produce metal artifacts, even in the absence of other causes such as beam hardening.
title Gradient Descent Provably Solves Nonlinear Tomographic Reconstruction
topic Computer Vision and Pattern Recognition
Optimization and Control
Medical Physics
url https://arxiv.org/abs/2310.03956