A Novel Convex Relaxation for Non-binary Discrete Tomography

We present a novel convex relaxation and a corresponding inference algorithm for the non-binary discrete tomography problem, that is, reconstructing discrete-valued images from few linear measurements. In contrast to state of the art approaches that split the problem into a continuous reconstruction problem for the linear measurement constraints and a discrete labeling problem to enforce discrete-valued reconstructions, we propose a joint formulation that addresses both problems simultaneously, resulting in a tighter convex relaxation. For this purpose a constrained graphical model is set up and evaluated using a novel relaxation optimized by dual decomposition. We evaluate our approach experimentally and show superior solutions both mathematically (tighter relaxation) and experimentally in comparison to previously proposed relaxations.

[1]  Gitta Kutyniok,et al.  Compressed Sensing for Finite-Valued Signals , 2016, 1609.09450.

[2]  Gerhard J. Woeginger,et al.  Fast algorithms for the maximum convolution problem , 1994, Oper. Res. Lett..

[3]  Gabor T. Herman,et al.  Automated estimation of the parameters of Gibbs priors to be used in binary tomography , 2001, Electron. Notes Theor. Comput. Sci..

[4]  Bruno M. Carvalho,et al.  Binary Tomography for Triplane Cardiography , 1999, IPMI.

[5]  A. Mohammad-Djafari Gauss-Markov-Potts Priors for Images in Computer Tomography Resulting to Joint Optimal Reconstruction and segmentation , 2009 .

[6]  Christoph Schnörr,et al.  Discrete tomography by convex-concave regularization and D.C. programming , 2005, Discret. Appl. Math..

[7]  Kees Joost Batenburg,et al.  An evolutionary algorithm for discrete tomography , 2005, Discret. Appl. Math..

[8]  D. Sontag 1 Introduction to Dual Decomposition for Inference , 2010 .

[9]  Christoph Schnörr,et al.  Discrete Tomography by Continuous Multilabeling Subject to Projection Constraints , 2016, GCPR.

[10]  Kees Joost Batenburg,et al.  A Network Flow Algorithm for Reconstructing Binary Images from Continuous X-rays , 2008, Journal of Mathematical Imaging and Vision.

[11]  Tomás Werner,et al.  A Linear Programming Approach to Max-Sum Problem: A Review , 2007, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[12]  Florent Krzakala,et al.  Belief-propagation reconstruction for discrete tomography , 2012, ArXiv.

[13]  Kees Joost Batenburg,et al.  DART: A Practical Reconstruction Algorithm for Discrete Tomography , 2011, IEEE Transactions on Image Processing.

[14]  T. Schülea,et al.  Discrete tomography by convex – concave regularization and D . C . programming , 2005 .

[15]  慧 廣瀬 A Mathematical Introduction to Compressive Sensing , 2015 .

[16]  Brendan J. Frey,et al.  Fast Exact Inference for Recursive Cardinality Models , 2012, UAI.

[17]  Christoph Schnörr,et al.  TomoGC: Binary Tomography by Constrained GraphCuts , 2015, GCPR.

[18]  Tommi S. Jaakkola,et al.  Introduction to dual composition for inference , 2011 .

[19]  Stéphane Roux,et al.  Efficient Binary Tomographic Reconstruction , 2013, Journal of Mathematical Imaging and Vision.

[20]  Christoph Schnörr,et al.  A Linear Programming Relaxation for Binary Tomography with Smoothness Priors , 2003, Electron. Notes Discret. Math..