Abstract
In this work, we consider the problem of recovering an ensemble of Diracs on the sphere from its projection onto spaces of spherical harmonics. We show that under an appropriate separation condition on the unknown locations of the Diracs, the ensemble can be recovered through total variation norm minimization. The proof of the uniqueness of the solution uses the method of ‘dual’ interpolating polynomials and is based on Candès and Fernandez-Granda (Commun Pure Appl Math 67:906–956, 2014), where the theory was developed for trigonometric polynomials. We also show that in the special case of nonnegative ensembles, a sparsity condition is sufficient for exact recovery.
Similar content being viewed by others
References
Alem, Y., Chae, D., Kennedy, R.: Sparse signal recovery on the sphere: optimizing the sensing matrix through sampling. In: 2012 6th International Conference on Signal Processing and Communication Systems (ICSPCS), pp. 1–6. IEEE (2012)
Atkinson, K., Han, W.: Spherical Harmonics and Approximations on the Unit Sphere: An Introduction. Lecture Notes in Mathematics, vol. 2044. Springer, Berlin (2012)
Arridge, S.: Optical tomography in medical imaging. Inverse Prob. 15, R41–R91 (1999)
Audet, P.: Directional wavelet analysis on the sphere: application to gravity and topography of the terrestrial planets. J. Geophys. Res. Planets (1991–2012), 116(E1) (2011).
Ben Hagai, I., Fazi, F., Rafaely, B.: Generalized sampling expansion for functions on the sphere. IEEE Trans. Sig. Proc. 60(11), 5870–5879 (2012)
Bendory, T., Dekel, S., Feuer, A.: Exact recovery of non-uniform splines from the projection onto spaces of algebraic polynomials. J. Approx. Theory 182, 7–17 (2014)
Bendory, T., Dekel, S., Feuer, A.: Super-resolution on the sphere via semi-definite programming (submitted)
Candès, E., Fernandez-Granda, C.: Towards a mathematical theory of super-resolution. Commun. Pure Appl. Math. 67, 906–956 (2014)
Cohen-Tannoudji, C., Diu, B., Laloë, F.: Quantum mechanics. Hermann (1977)
Dai, F., Xu, Y.: Approximation Theory and Harmonic Analysis on Spheres and Balls. Springer, Berlin (2013)
De Castro, Y., Gamboa, F.: Exact reconstruction using beurling minimal extrapolation. J. Math. Anal. Appl. 395, 336–354 (2012)
Donoho, D., Tanner, J.: Sparse nonnegative solutions of undermined linear equations by linear programming. PNAS 102, 9446–9451 (2005)
Klosko, S.M., Wagner, C.A.: Spherical harmonic representation of the gravity field from dynamic satellite data. Planet. Space Sci. 30(1), 5–28 (1982)
Komatsu, E., Smith, K., Dunkley, J., Bennett, C., Gold, B., Hinshaw, G., Jarosik, N., Larson, D., Nolta, M., Page, L., Spergel, D., Halpern, M., Hill, R., Kogut, A., Limon, M., Meyer, S., Odegard, N., Tucker, G., Weiland, J., Wollack, E., Wright, E.: Seven-year Wilkinson Microwave Anisotropy Probe (WMAP) observations: cosmological interpretation. Astrophys. J. Suppl. Ser. 192(2), 18 (2011)
Horn, R., Johnson, C.: Matrix Analysis. Cambridge University Press, Cambridge (1990)
MacRobert, T.: Spherical harmonics: an elementary treatise on harmonic functions. Bull. Am. Math. Soc. 34, 779–780 (1928)
McEwen, J., Wiaux, Y.: A novel sampling theorem on the sphere. IEEE Trans. Signal Process. 59, 5876–5887 (2011)
McEwen, J., Puy, G., Thiran, J., Vandergheynst, P., Van De Ville, D., Wiaux, Y.: Sparse image reconstruction on the sphere: implications of a new sampling theorem. arXiv preprint. arXiv:1205.1013 (2012)
Meyer, J.: Beamforming for a circular microphone array mounted on spherically shaped objects. J. Acoust. Soc. Am. 109, 185 (2001)
Meyer, J., Agnello, T.: Spherical microphone array for spatial sound recording. In: Audio Engineering Society Convention, vol. 115. Audio Engineering Society (2003)
Narcowich, F., Petrushev, P., Ward, J.: Decomposition of besov and Triebel–Lizorkin spaces on the sphere. J. Funct. Anal. 238, 530–564 (2006)
Rauhut, H., Ward, R.: Sparse recovery for spherical harmonic expansions. In: Proceedings of SAMPTA (2011)
Rafaely, B.: Analysis and design of spherical microphone arrays. IEEE Trans. Speech Audio Process. 13(1), 135–143 (2005)
Rudin, W.: Real and Complex Analysis, 3rd edn. McGraw-Hill, New York (1987)
Sloan, P.: Stupid spherical harmonics (sh) tricks. In: Game Developers Conference (2008)
Taguchi, K., Zeng, G., Gullberg, G.: Cone-beam image reconstruction using spherical harmonics. Phys. Med. Biol. 46(6), N127 (2001)
Zhang, F.: The Schur Complement and its applications, vol. 4. Springer, Berlin (2005)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Yuan Xu.
Rights and permissions
About this article
Cite this article
Bendory, T., Dekel, S. & Feuer, A. Exact Recovery of Dirac Ensembles from the Projection Onto Spaces of Spherical Harmonics. Constr Approx 42, 183–207 (2015). https://doi.org/10.1007/s00365-014-9263-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00365-014-9263-1
Keywords
- Super resolution
- Signal recovery
- Sparse spike trains
- \(l1\) minimization
- Dual certificates
- Interpolation
- Semidefinite programming