Use of a radial convolution kernel in the non-uniform Fourier transform
Mark BYDDER1, Wafaa Zaaraoui1, and Jean-Philippe Ranjeva1

1Aix Marseille Université, MARSEILLE, France

Synopsis

Non-Cartesian reconstructions typically perform a convolution to interpolate irregularly spaced samples onto a regular grid. The number of coefficients in the convolution trades-off accuracy with speed. A radially symmetric convolution kernel provides a favorable trade-off as compared to a separable kernel with the same number of coefficients.

Purpose

Reconstruction of non-Cartesian data involves estimating values at regular grid-points from data points acquired at arbitrary points. A typical method of reconstruction involves non-uniform Fourier transform, which performs fast Fourier transform (FFT) and convolution-resampling1. The computational cost increases dramatically from 2D to 3D and much work has been done to trade this off against accuracy2-4.

The computational cost depends primarily on two parameters: the oversampling factor for the regular grid (u) and the window width used in the convolution (J). Reducing u reduces the cost of the FFT while reducing J reduces the cost of the convolution. Implementations typically use a convolution kernel that is separable along each dimension, which results in a total number of Jd convolution coefficients per data point, where d is the dimensionality. For 3D problem sizes typically encountered (see Table), the computational cost of the convolution-resampling can greatly exceed that of the FFT step.

The present study investigates the use of a radial convolution kernel, rather than separable, as a way of reducing the number of convolution coefficients and hence the overall computational cost of the non-uniform Fourier transform.

Methods

The methodology used here is similar to that described in Ref 2. The zeroth-order Kaiser-Bessel kernel was fine-tuned over its free parameter (alpha) for different J, u and convolution kernel type (f), which was calculated in two ways.

Separable: convolution coefficients were generated for the nearest J grid-points along each dimension as f(dx) × f(dy) × f(dz) at distances -J/2 < dx, dy, dz < J/2 from the sampled data point.

Radial: convolution coefficients were generated for grid-points within a radial distance dr = sqrt(dx2 + dy2 + dz2) < J/2 of the sampled data point according to f(dr).

Clearly the radial kernel only includes grid-points inside a sphere of radius J/2 whereas the separable kernel includes points with a cube of side J. The corresponding reduction in number of coefficients is around π/6 or ~50%. Convolutions were effected as a sparse matrix multiply and deapodisation was performed using the FFT of the kernel. All computations were performed in Matlab 2014b on a Xeon workstation.

To assess accuracy, k-space data were generated at uniform random sampling points for the 3D Shepp Logan phantom5 using a discrete Fourier transform (exact, slow) and the non-uniform Fourier transform (approximate, fast). The maximum percentage error between the two was the metric used to evaluate the accuracy of the latter.

Results

The Figure shows the maximum percentage error as a function of the kernel parameter for radial and separable kernels. The vertical dashed line indicates the recommended value from Ref 2 (alpha = 2.34 × J). It can be seen that this parameter is suitable for both radial and separable kernels (note: the precise location of the minimum is dependent on the initialization of the random samples). It is also apparent that the radial kernel exhibits errors up to 2 times larger than the separable kernel for a given value of J.

To give a concrete comparison: with J = 5 (separable) the number of non-zeros in the convolution matrix is 125 000 000 and the minimum error is 0.0028%. With J = 5 (radial) the number of non-zeros is 65 447 671 and the minimum error is 0.0048%. With J = 4 (separable) the number of non-zeros is 64 000 000 and the minimum error is 0.034%. Hence, for the same number of coefficients, the error with the radial kernel is around 7 times lower.

Discussion

Although the radial kernel has larger errors than the separable kernel, it benefits from a factor of 2 reduction in the computational cost of the convolution due to having half the number of coefficients. For values of J of practical interest (say J = 3–6) the radial kernel has roughly the same number of coefficients as a separable kernel of width J-1, while the error is several times lower. This indicates that the radial convolution kernel offers a favorable trade-off of accuracy and computation time for non-uniform Fourier transforms.

Acknowledgements

No acknowledgement found.

References

1. Jackson JI, Meyer CH, Nishimura DG. Selection of a Convolution Function for Fourier Inversion Using Gridding. IEEE Transactions on Medical Imaging 1991; 10(2): 473-478

2. Fessler JA, Sutton BP. Nonuniform Fast Fourier Transforms Using Min-Max Interpolation. IEEE Transactions on Signal Processing 2003; 51(2): 560-574

3. Matej S, Fessler JA, Kazantsev I.G. Iterative Tomographic Image Reconstruction Using Fourier-Based Forward and Back-Projectors. IEEE Transactions on Medical Imaging 2004; 23(4): 401-412

4. Beatty PJ, Nishimura DG, Pauly JM. Rapid Gridding Reconstruction With a Minimal Oversampling Ratio. IEEE Transactions on Medical Imaging 2005; 24(6): 799-808

5. Schabel MC. 3D Shepp-Logan phantom. http://www.mathworks.com/matlabcentral/fileexchange/9416-3d-shepp-logan-phantom

Figures

FIGURE: Maximum interpolation error as a function of the parameters used in the non-uniform Fourier transform: Kaiser-Bessel parameter (alpha), window width (J) and oversampling factor (u). The vertical line is 2.34 × J (Ref 2).

TABLE: Computation time for the FFT and convolution steps during non-uniform Fourier transform for several typical parameter choices.



Proc. Intl. Soc. Mag. Reson. Med. 24 (2016)
1763