 Original Article
 Open access
 Published:
Iterative analytic extension in tomographic imaging
Visual Computing for Industry, Biomedicine, and Art volume 5, Article number: 4 (2022)
Abstract
If a spatialdomain function has a finite support, its Fourier transform is an entire function. The Taylor series expansion of an entire function converges at every finite point in the complex plane. The analytic continuation theory suggests that a finitesized object can be uniquely determined by its frequency components in a very small neighborhood. Trying to obtain such an exact Taylor expansion is difficult. This paper proposes an iterative algorithm to extend the measured frequency components to unmeasured regions. Computer simulations show that the proposed algorithm converges very slowly, indicating that the problem is too illposed to be practically solvable using available methods.
Introduction
In medical or industrial imaging, a stable image reconstruction depends on sufficient data acquisition. The data acquisition geometry required for a stable reconstruction is different from that demanded theoretically. As pointed out in Naterer’s book [1], a stable reconstruction in parallelbeam imaging requires the angular detector coverage of 180°. However, it is theoretically possible to perform limitedangle tomography, for example, with a smaller angular coverage of just 10°. As stated in ref. [1], it is an extremely illposed problem to reconstruct an image from a very small angular coverage. In other words, it is practically impossible to stably reconstruct an image with a very small angular coverage with noisy measurements. The illcondition characters were mathematically established by studying the spectrum of the singular values of the limited data tomography [1].
The theoretical foundation of image reconstruction with a very small angular coverage is the PaleyWiener theorem (see Theorem 7.2.1 in ref. [2]) and analytic extension (or continuation) (see Chapter V in ref. [3]). The PaleyWiener theorem states that if a function has a finite support, then its Fourier transform is an entire function. In complex analysis, an entire function, also known as an integral function, is a complexvalued function that is holomorphic (analytic) on the whole complex plane. An entire function F has a power series expansion (i.e., Taylor expansion) in z that converges at every finite point in the complex plane:
where z_{0} is any complex number. This Taylor expansion plays an important role in analytic extension. The concept of analytic extension implies that if an entire function F(z) is known at a point z_{0} and its neighborhood, its Taylor series is known and consequently F(z) is determined on entire complex plane by this Taylor series expansion. This theory looks good on paper but is pretty much useless in practice because we do not know how to obtain the various orders of the derivatives of F(z) exactly, for the finite difference approximation is not accurate enough.
Let f(x) be a one dimensional (1D) function with a finite support on [−A, A]. Its 1D Fourier transform is
where ω is a real number representing the radian frequency, and F(ω) is a complex function with a single real variable ω. If we replace ω by a complex variable z = u + iv, Formula (2) becomes an entire function defined on the complex plane:
It can be verified (see Appendix) that the Cauchy–Riemann equations are satisfied and F(z) in Formula (3) is indeed an entire function on the complex plane [4]. If F(z) is measured at a point’s neighborhood, for example, at z = 0, F(z) is determined on the whole complex plane, and hence f(x) is determined (in theory).
Figure 1 shows a two dimensional (2D) Fourier space. The shaded wedge areas are measured. The center of the Fourier space is the low frequency region. The outer area is the high frequency region. Along the horizontal dashed line shown in Fig. 1, the lower frequency components are measured, while the higher frequency components are not measured. On the other hand, if we draw a vertical line (not passing through the origin), the higher frequency components are measured, while the lower frequency components are not measured along this vertical line.
In tomographic imaging, the line integrals along one direction of a 2D section can be considered as a 1D function with a finite support. A collection of such 1D functions at various angles forms the sinogram. We take the 1D Fourier transform rowbyrow of the sinogram and map them to the 2D Fourier space according to the Fourier Slice Theorem (i.e., the Central Slice Theorem) [5]. The 2D Fourier space is completely covered if the scanning angular coverage is 180°. If the angular coverage is a smaller, only wedgeshaped regions are measured in the 2D Fourier space as shown in Fig. 1, where the dashed line illustrates the 1D Fourier transform F of a sinewaveencoded 1D lineintegrals with a finite support. The 1D function F is an entire function and is partially available. We wish to estimate the unmeasured parts of F. In a rowbyrow manner, the whole 2D Fourier space is estimated, and the spatial domain counterpart can be reconstructed. In this case, the lowfrequency components are measured, and the highfrequency components are to be estimated.
Alternatively, we can draw a vertical. We will have a different estimation problem. The highfrequency components are measured, and the lowfrequency components are to be estimated.
Methods
Problem statement
The problem we are going to solve in this paper is described as follows. We assume that the spatialdomain object has a finite support. The Fourier transform of this object is determined by is partial measurements in the Fourier domain. The goal is to estimate the frequency components in the unmeasured regions.
Proposed algorithm
Since the Taylor expansion method is not practical, we need to develop something more practical. We are inspired by an iterative algorithm in the theory of antenna synthesis [6] and propose an iterative algorithm to extend F from measured region to unmeasured regions. The algorithm is an ad hoc “projections onto convex sets” (POCS) algorithm [7]. The POCS algorithms are a family of iterative algorithms that bounce back and forth between different domains, to enforce the solution to satisfy the restrictions in every domain.
The proposed algorithm is an iterative procedure, alternating between the Fourier domain and the spatial domain in each iteration. In the spatial domain, this object is denoted as f. The Fourier transform of this object is denoted as F in the Fourier domain.
The partial measurements of the object are acquired in the Fourier domain. In the proposed iterative algorithm, an initial condition is set in the Fourier domain by assuming the unmeasured data be zero. At this point, the object is referred to as “projecting onto the Fourier domain,” which implies that the Fourierdomain constraints are satisfied. This is the halfway through the first iteration.
The second half of the first iteration is performed in the spatial domain. We take the inverse Fourier transform of the Fourierdomain data prepared in the first half, to obtain an image in the spatial domain. After the inverse Fourier transform, the spatialdomain image is complex, having both the real part and the imaginary part. We require that the spatialdomain image is nonnegative and has a finite support. To make the image nonnegative, we take the Euclidean norm of the data, which is the squareroot of the sum of the real part square and the imaginary part square. If the support is known, set the image values to zero outside the support. At this point, the object is referred to as “projecting onto the spatial domain,” which implies that the spatialdomain constraints are satisfied. This is the second halfway through the first iteration. The first iteration is completed.
We must realize that the second half way’s action may alter the results from the action in the first half. In other words, the Fourierdomain requirements may be no longer satisfied. This is the reason that the second iteration is required.
After the first half of the second iteration, the Fourierdomain constraints are satisfied. Unfortunately, the spatialdomain requirements may be somewhat destroyed. Then the second half is performed for the second iteration, to make the spatialdomain constraints satisfied.
Hopefully, after many iterations, both the Fourierdomain constraints and the spatialdomain constraints are somewhat satisfied.
In summary, the suggested algorithm consists of the following steps with spatialdomain function f(x) and Fourierdomain counterpart F(ω). Initially, the Fourierdomain function F(ω) is set to 0.
Step 1: In the Fourier domain, enforce F(ω) to the known measured value if F(ω) is measured at ω. Otherwise, the value of F(ω) remains the same as before.
Step 2: Take the inverse Fourier transform of the function F(ω) obtained in step 1. Set f(x) to the norm of the inverse Fourier transform of F(ω).
Step 3: Take the Fourier transform of the f(x) obtained in step 2, obtaining a new Fourierdomain function F(ω). Go back to step 1.
[Repeat the above 3 steps].
Step 1 enforces the Fourierdomain measurements. Step 2 enforces the spatialdomain real and nonnegativity constraints. This algorithm is much easier to implement than the Taylor expansion method. The Fourier transform and the inverse Fourier transform can be readily implemented by the fast Fourier transform and the inverse fast Fourier transform [8]. Figure 2 shows a flowchart for the proposed algorithm.
Results
A noiseless 2D SheppLogan phantom computer simulation was performed [9]. The image size was 256 × 256. The simulation was only performed in the vertical (y) direction. The measured frequency components with absolute index values from zero up to 15. Various iteration numbers were tested. The images for the noiseless study are shown in Fig. 3. The image with the initial condition was obtained by using the 15 lowest frequency components. The restored images in the second row were obtained by the proposed iterative algorithm. The corresponding mean squared errors (MSEs) for the images are listed in Table 1. No noise was added to the measurements in Fig. 3.
Noisy study results with Gaussian white noise are shown in Fig. 4. The signaltonoise ratio was set at ten. These noisy images indicate that the reconstruction problem with incomplete data is extremely unstable and may not find any applications in the real world.
The algorithm was very slow to converge. In other words, we do not see many changes or improvements between iterations. Due to incomplete data, the images did not converge to the true image. The very slow convergence trend can also be observed from the MSE values in Tables 1 and 2, for the noiseless and noisy cases, respectively. When the iteration was as high as 10^{8}, the algorithm was still not converged. This slow convergence is an indicator that the inverse problem is severely illposed.
A 1D function simulation was performed with 10^{8} iterations. This 1D function was ‘randomly’ generated, consisting of 1024 points, as shown in Fig. 5. Its frequency spectrum (i.e., the magnitude of its Fourier transform) is shown in Fig. 6. In the frequency domain, 30 lowest frequency points were measured. We first took the 1024point Fourier transform of the simulated true 1D ‘random’ function. The Fourier transform of the initial condition (shown as Fig. 7) was obtained by setting all 1024 – 30 = 994 frequency components to zero except the 30 lowest frequency points. The result after 10^{7} iterations is shown in Fig. 8. The curves in Figs. 5, 7, and 8 are in the spatial domain; the curve in Fig. 6 is in the frequency domain.
No noise was added to the 1D data. The convergence rate was very slow, as indicated by the MSEs are listed in Table 3. However, one can observe some improvements from the initial condition to the 10^{8}th iteration result. If a little noise is added (with a signaltonoise ratio being ten), the results (as shown in Fig. 9) from high iterations are very noisy and not usable.
Another 1D function simulation was also performed with 10^{7} iterations. This different 1D function was a Gaussian curve, consisting of 1024 points. Figures 10, 11, 12, 13 and 14 are the counterparts of Figs. 5, 6, 7, 8 and 9, respectively. Table 4 is the counterpart of Table 3. Table 4 reports much better results than Table 3.
The restoration of the first curve used 30 measurements in the frequency domain; the restoration of the first curve used 15 measurements in the frequency domain. It is interesting to notice that the restoration of the second curve is much more accurate than the first curve, by using half amount of measurements.
When comparing the frequency spectra Fig. 6 vs Fig. 11, the spectrum in Fig. 11 is smoother, while the spectrum in Fig. 6 has many sharp oscillations. This observation indicates that the illcondition of the function extension depends on the function itself.
All computer simulations were performed on a Linux server with an Intel® Xeon® CPU, 2.40 GHz, and a RAM of 128 GB. The algorithm has a slow convergence rate and does not converge to the true values. The algorithm is terminated when a specified iteration number is reached. The computation times are reported in Tables 1 and 2.
Discussion
To our knowledge, the previous algorithms assumed unmeasured data to be zero. In other words, the results of the previous algorithm are our initial images in the proposed algorithm. Ref. [10] made an attempt to estimate the unmeasured data through oversampling in the measured region. However, the method in ref. [10] does not apply here, because our data is not oversampled in the measured range.
After a large number of iterations, the results are not much different from the initial data. This implies a very slow convergence rate if the algorithm converges at all. This can be considered as an illcondition effect. It is an open question if there exists a strategy to improve the illcondition without measuring more data. Measuring more data is an obvious method to make a problem less illposed.
Conclusions
We propose an iterative algorithm trying to extend the measured frequency components to unmeasured frequency components. The algorithm is in the POCS form, alternating between the spatial and frequency domains. In the frequency domain, it enforces the measured frequency components. In the spatial domain, it enforces the real and nonnegativity constraints.
The computer simulations imply that the convergence rate of this iterative algorithm is very slow. A very slow convergence rate is a sign that the problem of the analytic continuation is severely illposed [6]. Due to the slow convergence rate, there are not many changes and improvements over iterations. In the noiseless cases, the final image looks similar to the initial image; almost no high frequency components are recovered. When there is little noise, the results are too noisy to be useful. The illcondition nature of the problem depends on the function itself. For some betterbehaved functions, more accurate results can be obtained with fewer measurements than some worsebehaved functions. Complete recovering the unmeasured data seems hopeless with the methods we know so far. The problem is still open.
Availability of data and materials
Not applicable.
Abbreviations
 1D:

One dimensional
 2D:

Two dimensional
 MSE:

Mean squared error
 POCS:

Projections onto convex set
References
Natterer F, Wübbeling F (2001) Mathematical methods in image reconstruction. SIAM monographs on mathematical modelling and computation 5, SIAM, Philadelphia, pp 472–482. https://doi.org/10.1137/1.9780898718324
Strichartz RS (1994) A guide to distribution theory and fourier transforms. CRC Press, Boca Raton
Gamelin TW (2001) Complex analysis. Springer, New York. https://doi.org/10.1007/9780387216072
Martin D, Ahlfors LV (1966) Complex analysis. McGrawHill, New York
Zeng GL (2010) Medical image reconstruction: a conceptual tutorial. SpringerVerlag, Berlin, Heidelberg. https://doi.org/10.1007/9783642053689
Ramm AG (1991) Inversion of limitedangle tomographic data. Comp Math Appl 22(4–5):101–111. https://doi.org/10.1016/08981221(91)90135Q
Bauschke HH, Borwein JM (1996) On projection algorithms for solving convex feasibility problems. SIAM Rev 38(3):367–426. https://doi.org/10.1137/S0036144593251710
Heideman MT, Johnson DH, Burrus CS (1984) Gauss and the history of the fast Fourier transform. IEEE ASSP Mag 1(4):14–21. https://doi.org/10.1109/MASSP.1984.1162257
Shepp LA, Logan BF (1974) The Fourier reconstruction of a head section. IEEE Trans Nucl Sci 21(3):21–43. https://doi.org/10.1109/TNS.1974.6499235
Zeng GL, Li Y (2021) Analytic continuation and incomplete data tomography. J Radiol Imaging 5(2):5–11. https://doi.org/10.14312/23998172.20212
Acknowledgements
Not applicable.
Funding
This research is partially supported by NIH, No. R15EB024283.
Author information
Authors and Affiliations
Contributions
GLZ is the only author. The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author has any competing interests in the manuscript.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
Verification that the F(z) defined in Formula (3) is an entire function.
Here, the F(z) defined in Formula (3) is rewritten as
Let z = x + iy, Formula (A1) becomes
where
It is straightforward to verify that
Formulas A5A8 satisfy the CauchyRiemann equations
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Zeng, G.L. Iterative analytic extension in tomographic imaging. Vis. Comput. Ind. Biomed. Art 5, 4 (2022). https://doi.org/10.1186/s42492021000995
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s42492021000995