Academia.eduAcademia.edu

Outline

Phase Retrieval with Sparse Phase Constraint

2020, SIAM Journal on Mathematics of Data Science

https://doi.org/10.1137/19M1266800

Abstract

In this paper, we propose and investigate the phase retrieval problem with the a priori constraint that the phase is sparse (SPR), which encompasses a number of practical applications, for instance, in characterizing phase-only objects such as microlenses, in phase-contrast microscopy, in optical path difference microscopy, and in Fourier ptychography, where the phase object occupies a small portion of the whole field. The considered problem is strictly more general than the sparse signal recovery problem, which assumes the sparsity of the signal because the sparsity of the signal trivially implies the sparsity of the phase, but the converse is not true. As a result, existing solution algorithms in the literature of sparse signal recovery cannot be applied to SPR and there is an appeal for developing new solution methods for it. In this paper, we propose a new regularization scheme which efficiently captures the sparsity constraint of SPR. The idea behind the proposed approach is to perform a metric projection of the current estimated signal onto the set of all the signals whose phase satisfies the sparsity constraint. The main challenge here is that the latter set is not convex and its associated projector in general does not admit a closed form. One novelty of our analysis is to establish an explicit form of that projector when restricted to those points which are relevant to the solutions of SPR. Note that this result is fundamentally different from the widely known calculation form for projections onto intensity constraint sets. Based on this new result, we propose an efficient solution method, named the sparsity regularization on phase (SROP) algorithm, for the SPR problem in the challenging setting where only one point-spread-function image is given, and we analyze its convergence. The algorithm is the combination of the Gerchberg-Saxton (GS) algorithm with the projection step described above. In view of the GS algorithm being equivalent to the alternating projection for an associated two-set feasibility, the SROP algorithm is shown to be the cyclic projection for an associated three-set feasibility, one of the sets being analyzed in this paper for the first time. Analyzing regularity properties of the involved sets, we obtain convergence results for the SROP algorithm based on our recent convergence theory for the cyclic projection method. Numerical results show clear effectiveness and efficiency of the proposed solution approach for the SPR problem.

References (25)

  1. H. H. Bauschke, P. L. Combettes, and D. R. Luke, Phase retrieval, error reduction algorithm, and Fienup variants: A view from convex optimization, J. Opt. Soc. Amer. A, 19 (2002), pp. 1334--1345, https://doi.org/10.1364/JOSAA.19.001334.
  2. H. H. Bauschke, D. R. Luke, H. M. Phan, and X. Wang, Restricted normal cones and sparsity optimization with affine constraints, Found. Comput. Math., 14 (2014), pp. 63--83, https://doi.org/ 10.1007/s10208-013-9161-0.
  3. E. Brunner, C. C. de Visser, and M. Verhaegen, Nonlinear spline wavefront reconstruction from Shack-Hartmann intensity measurements through small aberration approximations, J. Opt. Soc. Amer. A, 34 (2017), pp. 1535--1549, https://doi.org/10.1364/JOSAA.34.001535.
  4. A. L. Dontchev and R. T. Rockafellar, Implicit Functions and Solution Mappings, 2nd ed., Springer- Verlag, New York, 2014, https://doi.org/10.1007/978-1-4939-1037-3.
  5. J. R. Fienup, Phase retrieval algorithms: A comparison, Appl. Opt., 21 (1982), pp. 2758--2769, https: //doi.org/10.1364/AO.21.002758.
  6. J. R. Fienup, Phase retrieval algorithms: A personal tour, Appl. Opt., 52 (2013), pp. 45--56, https: //doi.org/10.1364/AO.52.000045.
  7. R. W. Gerchberg and W. O. Saxton, A practical algorithm for the determination of phase from image and diffraction plane pictures, Optik, 35 (1972), pp. 237--246.
  8. R. Hesse and D. R. Luke, Nonconvex notions of regularity and convergence of fundamental algo- rithms for feasibility problems, SIAM J. Optim., 23 (2013), pp. 2397--2419, https://doi.org/10.1137/ 120902653.
  9. R. Hesse, D. R. Luke, and P. Neumann, Alternating projections and Douglas--Rachford for sparse affine feasibility, IEEE Trans. Signal. Process., 62 (2014), pp. 4868--4881, https://doi.org/10.1109/ TSP.2014.2339801.
  10. A. Y. Kruger, About regularity of collections of sets, Set-Valued Anal., 14 (2006), pp. 187--206, https: //doi.org/10.1007/s11228-006-0014-8.
  11. A. Y. Kruger, D. R. Luke, and N. H. Thao, About subtransversality of collections of sets, Set-Valued Var. Anal., 25 (2017), pp. 701--729, https://doi.org/10.1007/s11228-017-0436-5.
  12. A. Y. Kruger, D. R. Luke, and N. H. Thao, Set regularities and feasibility problems, Math. Program., 168 (2018), pp. 279--311, https://doi.org/10.1007/s10107-016-1039-x.
  13. A. Y. Kruger and N. H. Thao, Quantitative characterizations of regularity properties of collections of sets, J. Optim. Theory Appl., 164 (2015), pp. 41--67, https://doi.org/10.1007/s10957-014-0556-0.
  14. D. R. Luke, Finding best approximation pairs relative to a convex and prox-regular set in a Hilbert space, SIAM J. Optim., 19 (2008), pp. 714--739, https://doi.org/10.1137/070681399.
  15. D. R. Luke, J. V. Burke, and R. G. Lyon, Optical wavefront reconstruction: Theory and numerical methods, SIAM Rev., 44 (2002), pp. 169--224, https://doi.org/10.1137/S003614450139075.
  16. D. R. Luke, M. Teboulle, and N. H. Thao, Necessary conditions for linear convergence of iter- ated expansive, set-valued mappings, Math. Program., 180 (2020), pp. 1--31, https://doi.org/10.1007/ s10107-018-1343-8.
  17. D. R. Luke, N. H. Thao, and M. K. Tam, Quantitative convergence analysis of iterated expansive, set- valued mappings, Math. Oper. Res., 43 (2018), pp. 1143--1176, https://doi.org/10.1287/moor.2017. 0898.
  18. B. S. Mordukhovich, Variational Analysis and Generalized Differentiation. I. Basic Theory, Grundleh- ren Math. Wiss. 330, Springer-Verlag, Berlin, 2006, https://doi.org/10.1007/3-540-31247-1.
  19. S. Mukherjee and C. Seelamantula, An iterative algorithm for phase retrieval with sparsity con- straints: Application to frequency domain optical coherence tomography, in Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), 2012, pp. 553--556, https://doi.org/10.1109/ICASSP.2012.6287939.
  20. E. J. R. Pauwels, A. Beck, Y. C. Eldar, and S. Sabach, On Fienup methods for sparse phase retrieval, IEEE Trans. Signal Process., 66 (2018), pp. 982--991, https://doi.org/10.1109/TSP.2017. 2780044.
  21. R. A. Poliquin, R. T. Rockafellar, and L. Thibault, Local differentiability of distance functions, Trans. Amer. Math. Soc., 352 (2000), pp. 5231--5249, https://doi.org/10.1090/ S0002-9947-00-02550-2.
  22. R. T. Rockafellar and R. J. Wets, Variational Analysis, Grundlehren Math. Wiss. 317, Springer- Verlag, Berlin, 1998, https://doi.org/10.1007/978-3-642-02431-3.
  23. Y. Shechtman, A. Beck, and Y. C. Eldar, GESPAR: Efficient phase retrieval of sparse signals, IEEE Trans. Signal Process., 62 (2014), pp. 928--938, https://doi.org/10.1109/TSP.2013.2297687.
  24. Y. Shechtman, Y. C. Eldar, O. Cohen, H. N. Chapman, J. Miao, and M. Segev, Phase retrieval with application to optical imaging: A contemporary overview, IEEE Signal Process. Mag., 32 (2015), pp. 87--109, https://doi.org/10.1109/MSP.2014.2352673.
  25. N. H. Thao, A convergent relaxation of the Douglas--Rachford algorithm, Comput. Optim. Appl., 70 (2018), pp. 841--863, https://doi.org/10.1007/s10589-018-9989-y.