where x is an M-dimensional spatial coordinate and k is an M-dimensional spatial frequency coordinate, phase retrieval consists in finding the phase that for a measured amplitude satisfies a set of constraints. Important applications of phase retrieval include X-ray crystallography, transmission electron microscopy and coherent diffractive imaging, for which . (Fienup 1982:2759) Uniqueness theorems for both 1-D and 2-D cases of the phase retrieval problem, including the phaseless 1-D inverse scattering problem, were proved by Klibanov and his collaborators (see References).
Error reduction algorithm
The error reduction is a generalisation of the Gerchberg–Saxton algorithm. It solves for from measurements of . It uses iteration of a four-step process. For the 'th iteration the steps are as follows:
Step (1): , , and are estimates of, respectively, , and . In the first step undergoes Fourier transformation:
Step (2): The experimental value of , calculated from the diffraction pattern via the signal equation, is then substituted for , giving an estimate of the Fourier transformation:
where the ' denotes that the object is temporary, for further calculations.
Step (3): the estimate of the Fourier transformation is inverse Fourier transformed:
Stop (4): then must be changed so that the new estimate of the object, satisfies the object constraints. is therefore defined piecewise as:
where is the domain in which does not satisfy the object constraints. A new estimate is obtained and the four step process can be repeated iteratively.
This process is continued until both the Fourier constraint and object constraint are satisfied. Theoretically, the process will always lead to a convergence (Fienup 1982:2761), but the large number of iterations needed to produce a satisfactory image (generally >2000) results in the error-reduction algorithm being unsuitably inefficient for sole use in practical applications.
Hybrid input-output algorithm
The hybrid input-output algorithm is a modification of the error-reduction algorithm - the first three stages are identical. However, no longer acts as an estimate of , but the input function corresponding to the output function , which is an estimate of (Fienup 1982:2762). In the fourth step, when the function violates the object constraints, the value of is forced towards zero, but optimally not to zero. The chief advantage of the hybrid input-output algorithm is that the function contains feedback information concerning previous iterations, reducing the probability of stagnation.
Here is a feedback parameter which can take a value between 0 and 1. For most applications, gives optimal results.
For a two dimensional phase retrieval problem, there is a degeneracy of solutions as and its conjugate have the same Fourier modulus. This leads to "image twinning" in which the phase retrieval algorithm stagnates producing an image with features of both the object and its conjugate (Fienup and Wackerman, 1986:1900). The shrinkwrap technique periodically updates the estimate of the support by low-pass ﬁltering the current estimate of the object amplitude (by convolution with a Gaussian) and applying a threshold, leading to a reduction in the image ambiguity (Marchesini et al., 2003).
- Fienup, J.R. (1 August 1982). "Phase retrieval algorithms: a comparison.". Applied Optics 21 (15): 2758–2769. Bibcode:1982ApOpt..21.2758F. doi:10.1364/AO.21.002758.
- Fienup, J. R. and Wackerman, C.C. (3 July 1986). "Phase-retrieval stagnation problems and solutions". Journal of the Optical Society of America 3 (11): 1897–1907. Bibcode:1986JOSAA...3.1897F. doi:10.1364/josaa.3.001897.
- Marchesini, S. He, H. Chapman, H. N. Hau-Riege, S. P. Noy, A. Howells, M. R. Weierstall, U. Spence, J.C.H. (2003). "X-ray image reconstruction from a diffraction pattern alone". Phys. Rev. B 68: 140101(R). arXiv:cond-mat/0306449. Bibcode:2003PhRvB..68b0101C. doi:10.1103/PhysRevB.68.140101.
- Klibanov, M. V. (1985). "On uniqueness of the determination of a compactly supported function from the modulus of its Fourier transform". Soviet Math. Doklady 32: 668–670.
- Klibanov, M.V. (1987). "Determination of a function with compact support from the absolute value of its Fourier transform and an inverse scattering problem". Differential Equations 22: 1232–1240.
- Klibanov, M.V. (1987). "Inverse scattering problems and restoration of a function from the modulus of its Fourier transform". Siberian Math J. 27: 708–719. doi:10.1007/bf00969199.
- Klibanov, M. V. (1989). "Uniqueness of the determination of distortions of a crystal lattice by the X-ray diffraction in a continuous dynamical model". Differential Equations 25: 520–527.
- Klibanov, M.V. and Sacks, P.E. (1992). "Phaseless inverse scattering and the phase problem in optics". J. Math. Phys. 33: 2813––3821. Bibcode:1992JMP....33.3813K. doi:10.1063/1.529990.
- Klibanov, M. V., Sacks, P.E. (1994). "Use of partial knowledge of the potential in the phase problem of inverse scattering". J. Comput. Phys. 112: 273–281. Bibcode:1994JCoPh.112..273K. doi:10.1006/jcph.1994.1099.
- Klibanov, M. V., Sacks, P.E., Tikhonravov, A.V. (1995). "The phase retrieval problem". Inverse Problems 11: 1–28. Bibcode:1995InvPr..11....1K. doi:10.1088/0266-5611/11/1/001.
- Klibanov, M. V. (2006). "On the recovery of a 2-D function from the modulus of its Fourier transform". J. Math. Anal. Appl. 323: 818–843. doi:10.1016/j.jmaa.2005.10.079.