Discrete tomography by convex-concave regularization and D.C. programming

We present a novel approach to the tomographic reconstruction of binary objects from few projection directions within a limited range of angles. A quadratic objective functional over binary variables comprising the squared projection error and a prior penalizing non-homogeneous regions, is supplemented with a concave functional enforcing binary solutions. Application of a primal-dual subgradient algorithm to a suitable decomposition of the objective functional into the difference of two convex functions leads to an algorithm which provably converges with parallel updates to binary solutions. Numerical results demonstrate robustness against local minima and excellent reconstruction performance using five projections within a range of 90^@?. Our approach is applicable to quite general objective functions over binary variables with constraints and thus applicable to a wide range of problems within and beyond the field of discrete tomography.

[1]  Christoph Schnörr,et al.  A Linear Programming Approach to Limited Angle 3D Reconstruction from DSA Projections , 2004, Methods of Information in Medicine.

[2]  W. Gander,et al.  A D.C. OPTIMIZATION ALGORITHM FOR SOLVING THE TRUST-REGION SUBPROBLEM∗ , 1998 .

[3]  Peter L. Hammer,et al.  Discrete Applied Mathematics , 1993 .

[5]  Gabor T. Herman,et al.  Bayesian image reconstruction using image-modeling Gibbs priors , 1998, Int. J. Imaging Syst. Technol..

[6]  Yair Censor,et al.  Binary steering in discrete tomography reconstruction with sequential and simultaneous iterative algorithms , 2001 .

[7]  Gabor T. Herman,et al.  Binary tomography on the hexagonal grid using Gibbs priors , 1998, Int. J. Imaging Syst. Technol..

[8]  Guy Demoment,et al.  Image reconstruction and restoration: overview of common estimation structures and problems , 1989, IEEE Trans. Acoust. Speech Signal Process..

[9]  Robert J. Vanderbei,et al.  The Discrete Radon Transform and Its Approximate Inversion Via Linear Programming , 1997, Discret. Appl. Math..

[10]  Peter Gritzmann,et al.  Discrete Tomography: Determination of Finite Sets by X-Rays , 1995, Universität Trier, Mathematik/Informatik, Forschungsbericht.

[11]  Le Thi Hoai An,et al.  A D.C. Optimization Algorithm for Solving the Trust-Region Subproblem , 1998, SIAM J. Optim..

[12]  R. Horst,et al.  Global Optimization: Deterministic Approaches , 1992 .

[13]  Frank Natterer,et al.  Mathematical methods in image reconstruction , 2001, SIAM monographs on mathematical modeling and computation.

[14]  R.H.T. Bates,et al.  Image Restoration and Construction , 1986 .

[15]  Pham Dinh Tao,et al.  Duality in D.C. (Difference of Convex functions) Optimization. Subgradient Methods , 1988 .

[16]  丸山 徹 Convex Analysisの二,三の進展について , 1977 .

[17]  Sven de Vries,et al.  Approximating Binary Images from Discrete X-Rays , 2000, SIAM J. Optim..

[18]  Sven de Vries,et al.  Success and failure of certain reconstruction and uniqueness algorithms in discrete tomography , 1998, Int. J. Imaging Syst. Technol..

[19]  Ken D. Sauer,et al.  Multiscale Bayesian Methods for Discrete Tomography , 1999 .

[20]  G. Herman,et al.  Discrete tomography : foundations, algorithms, and applications , 1999 .

[21]  D. Bertsekas On the Goldstein-Levitin-Polyak gradient projection method , 1974, CDC 1974.

[22]  Attila Kuba,et al.  Discrete Tomography: A Historical Overview , 1999 .

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