Testable uniqueness conditions for empirical assessment of undersampling levels in total variation-regularized X-ray CT

作者: Jakob Sauer Jørgensen , Dirk A. Lorenz , Christian Kruschel

DOI: 10.1080/17415977.2014.986724

关键词: Sampling (signal processing)AlgorithmComputed tomographyPrior probabilityUnderdetermined systemComputer scienceUniquenessCompressed sensingUndersamplingVariation (game tree)

摘要: We study recoverability in fan-beam computed tomography (CT) with sparsity and total variation priors: how many underdetermined linear measurements suffice for recovering images of given sparsity? Results from compressed sensing (CS) establish such conditions example random measurements, but not CT. Recoverability is typically tested by checking whether a solution recovers the original. This approach cannot guarantee uniqueness decision therefore depends on optimization algorithm. propose new computational methods to test verifying conditions. Using both reconstruction testing, we empirically number CT sufficient recovery classes sparse images. demonstrate an average-case relation between sampling observe sharp phase transition as known CS, never established In addition assessing mor...

参考文章(33)
Simon Foucart, Holger Rauhut, A Mathematical Introduction to Compressive Sensing ,(2013)
Emil Y. Sidky, Xiaochuan Pan, Chien-Min Kao, Accurate image reconstruction from few-views and limited-angle data in divergent-beam CT Journal of X-ray Science and Technology. ,vol. 14, pp. 119- 139 ,(2006)
Paul Tseng, Applications of splitting algorithm to decomposition in convex programming and variational inequalities Siam Journal on Control and Optimization. ,vol. 29, pp. 119- 138 ,(1991) , 10.1137/0329006
Emil Y Sidky, Xiaochuan Pan, Image reconstruction in circular cone-beam computed tomography by constrained, total-variation minimization Physics in Medicine and Biology. ,vol. 53, pp. 4777- 4807 ,(2008) , 10.1088/0031-9155/53/17/021
Markus Haltmeier, Stable Signal Reconstruction via $\ell^1$ -Minimization in Redundant, Non-Tight Frames IEEE Transactions on Signal Processing. ,vol. 61, pp. 420- 426 ,(2013) , 10.1109/TSP.2012.2222396
Markus Haltmeier, Block-sparse analysis regularization of ill-posed problems via l 2,1 -minimization international conference on methods and models in automation and robotics. pp. 520- 523 ,(2013) , 10.1109/MMAR.2013.6669964
Ernie Esser, Xiaoqun Zhang, Tony F. Chan, A General Framework for a Class of First Order Primal-Dual Algorithms for Convex Optimization in Imaging Science SIAM Journal on Imaging Sciences. ,vol. 3, pp. 1015- 1046 ,(2010) , 10.1137/09076934X