Abstract
We discuss an implementation of an efficient algorithm for the numerical computation of Fourier transforms of bandlimited functions defined on the rotation group SO(3). The implementation is freely available on the web. The algorithm described herein uses O(B 4) operations to compute the Fourier coefficients of a function whose Fourier expansion uses only (the O(B 3)) spherical harmonics of degree at most B. This compares very favorably with the direct O(B 6) algorithm derived from a basic quadrature rule on O(B 3) sample points. The efficient Fourier transform also makes possible the efficient calculation of convolution over SO(3) which has been used as the analytic engine for some new approaches to searching 3D databases (Funkhouser et al., ACM Trans. Graph. 83–105, [2003]; Kazhdan et al., Eurographics Symposium in Geometry Processing, pp. 167–175, [2003]). Our implementation is based on the “Separation of Variables” technique (see, e.g., Maslen and Rockmore, Proceedings of the DIMACS Workshop on Groups and Computation, pp. 183–237, [1997]). In conjunction with techniques developed for the efficient computation of orthogonal polynomial expansions (Driscoll et al., SIAM J. Comput. 26(4):1066–1099, [1997]), our fast SO(3) algorithm can be improved to give an algorithm of complexity O(B 3log 2 B), but at a cost in numerical reliability. Numerical and empirical results are presented establishing the empirical stability of the basic algorithm. Examples of applications are presented as well.
Similar content being viewed by others
References
Biedenharn, L.C., Louck, J.D.: Angular Momentum in Quantum Mechanics. Addison-Wesley, Reading (1981)
Chirikjian, G.S., Kyatkin, A.B.: Engineering Applications of Noncommutative Harmonic Analysis: With Emphasis on the Rotation and Motion Groups. CRC Press, Boca Raton (2001)
Courant, R., Hilbert, D.: Methods of Mathematical Physics. Interscience Publishers, New York (1953)
Crowther, R.A.: The fast rotation function. In: Rossman, M.G. (ed.) The Molecular Replacement Method, pp. 173–178. Gordon and Breach, New York (1972)
Dilts, G.A.: Computation of spherical harmonic expansion coefficients via FFTs. J. Comput. Phys. 57(3), 439–453 (1985)
Driscoll, J.R., Healy, D.: Computing Fourier transforms and convolutions on the 2-sphere (extended abstract). In: Proc. 34th IEEE FOCS (1989), pp. 344–349. Adv. in Appl. Math., vol. 15, pp. 202–250 (1994)
Driscoll, J.R., Healy, D., Rockmore, D.: Fast discrete polynomial transforms with applications to data analysis for distance transitive graphs. SIAM J. Comput. 26(4), 1066–1099 (1997)
Edmonds, A.R.: Angular Momentum in Quantum Mechanics. Princeton University Press, Princeton (1957)
Data Announcement 88-MGG-02: Digital relief of the Surface of the Earth. NOAA, National Geophysical Data Center, Boulder, Colorado (1988)
FFTW is a free collection of fast C routines for computing the Discrete Fourier Transform in one or more dimensions. It includes complex, real, symmetric, and parallel transforms, and can handle arbitrary array sizes efficiently; FFTW is available at www.fftw.org
Funkhouser, T., Min, P., Kazhdan, M., Chen, J., Halderman, A., Dobkin, D., Jacobs, D.: A search engine for 3D models. ACM Trans. Graph. 83–105 (2003)
Garcia, J., Valles, J.J., Ferreira, C.: Detection of three-dimensional objects under arbitrary rotations based on range images. Optic Express 11(25), 3352 (2003)
Gentleman, W.M., Sande, G.: Fast Fourier Transforms—for fun and profit. Proc. 1966 Fall Joint Computer Conference AFIPS 29, 563–578
Hansen, J.E.: Spherical Near-Field Antenna Measurements. Peter Peregrinus, London (1988)
Healy, D., Kim, P.: An empirical Bayes approach to directional data and efficient computation on the sphere. Ann. Stat. 24(1), 232–254 (1996)
Healy, D., Hendriks, H., Kim, P.: Spherical deconvolution with application to geometric quality assurance. Technical Report, Department of Mathematics and Computer Science, Dartmouth College (1993)
Healy, D.M., Kostelec, P., Rockmore, D.: Towards safe and effective high-order Legendre transforms with applications to FFTs for the 2-sphere. Adv. Comput. Math. 21(1–2), 59–105 (2004)
Healy, D., Rockmore, D., Kostelec, P., Moore, S.: FFTs for the 2-Sphere—Improvements and Variations. J. Fourier Anal. Appl. 9(4), 341–385 (2003)
Kazhdan, M., Funkhouser, T., Rusinkiewicz, S.: Rotation invariant spherical harmonic representation of 3D shape descriptors. In: Kobbelt, L., Schröder, P., Hoppe, H. (eds.) Eurographics Symposium in Geometry Processing, pp. 167–175 (2003)
Kostelec, P.J., Maslen, D.K., Healy, D.M., Rockmore, D.N.: Computational harmonic analysis for tensor fields on the two-sphere. J. Comput. Phys. 162, 514–535 (2000)
Kovacs, J.A., Wriggers, W.: Fast rotational matching. Acta Crystallogr. D Biol. Crystallogr. 58(8), 1282–1286 (2002)
Maslen, D.: Efficient computation of Fourier transform on compact groups. J. Fourier Anal. Appl. 4(1), 19–52 (1998)
Maslen, D., Rockmore, D., Generalized FFTs. In: Finkelstein, L., Kantor, W. (eds.) Proceedings of the DIMACS Workshop on Groups and Computation, June 7–10, 1995, pp. 183–237 (1997)
Maslen, D., Rockmore, D.: Separation of variables and the computation of Fourier transforms on finite groups, I. J. Am. Math. Soc. 10(1), 169–214 (1997)
The National Geophysical Data Center (NGDC), located in Boulder, Colorado, is a part of the US Department of Commerce (USDOC), National Oceanic & Atmospheric Administration (NOAA), National Environmental Satellite, Data and Information Service (NESDIS). They are one of three NOAA National Data Centers, www.ngdc.noaa.gov
Nikiforov, A.F., Suslov, S.K., Uvarov, V.B.: Classical Orthogonal Polynomials of a Discrete Variable, Springer Series in Computational Physics. Springer, Berlin (1991)
Oppenheim, A.V., Schafer, R.: Digital Signal Processing. Prentice-Hall, Englewood Cliffs (1975)
Risbo, T.: Fourier transform summation of Legendre series and D-functions. J. Geod. 70, 383–396 (1996)
Rokhlin, V., Tygert, M.: Fast algorithms for spherical harmonic expansions. SIAM J. Comput. 27(6), 1903–1928 (2006)
The Princeton Shape Retrieval and Analysis Group, www.cs.princeton.edu/gfx/proj/shape/, whose goal is to “… investigate issues in shape-based retrieval and analysis of 3D models,” has developed a 3D search engine as part of their work, shape.cs.princeton.edu
SpharmonicKit is a freely available collection of C programs for doing Legendre and scalar spherical transforms. Developed at Dartmouth College by S. Moore, D. Healy, D. Rockmore, and P. Kostelec, available at www.cs.dartmouth.edu/~geelong/sphere/
The SOFT Package is a freely available collection of C programs for doing Wigner-d transforms, as well as forward and inverse Fourier transforms of functions defined on the Rotation Group, SO(3). The package also includes example routines for correlating functions defined on S 2, The package is available at www.cs.dartmouth.edu/~geelong/soft/
Varshalovich, D.A., Moskalev, A.N., Khersonskii, V.K.: Quantum Theory of Angular Momentum. World Scientific Publishing, Singapore (1988)
Vilenkin, N.J.: Special Functions and the Theory of Group Representations, Translations of Mathematical Monographs, vol. 22. Am. Math. Soc., Providence (1968)
Wandelt, B.D., Górski, K.M.: Fast convolution on the sphere. Phys. Rev. D 63, 123002 (2001)
Wigner, E.P.: On matrices which reduce Kronecker products of representations of S.R. groups, unpublished (1951)
Wigner, E.P.: Group Theory and its Application to the Quantum Mechanics of Atomic Spectra. Academic Press, New York (1959)
Zelobenko, D.P.: Compact Lie groups and their representations, Transl. Math. Monogr., vol. 40. Am. Math. Soc., Providence (1973)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Thomas Strohmer.
First author was supported by NSF ITR award; second author was supported by NSF Grant 0219717 and the Santa Fe Institute.
Rights and permissions
About this article
Cite this article
Kostelec, P.J., Rockmore, D.N. FFTs on the Rotation Group. J Fourier Anal Appl 14, 145–179 (2008). https://doi.org/10.1007/s00041-008-9013-5
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00041-008-9013-5
Keywords
- Fast Fourier transform
- Rotation group
- Spherical harmonics
- Wigner D-function
- Discrete polynomial transform
- Pattern matching