Functional Penalised Basis Pursuit on Spheres

Abstract

In this paper, we propose a unified theoretical and practical spherical approximation framework for functional inverse problems on the hypersphere. More specifically, we consider recovering spherical fields directly in the continuous domain using functional penalised basis pursuit problems with gTV regularisation terms. Our framework is compatible with various measurement types as well as non-differentiable convex cost functionals. Via a novel representer theorem, we characterise their solution sets in terms of spherical splines with sparse innovations. We use this result to derive an approximate canonical spline-based discretisation scheme, with vanishing approximation error. To solve the resulting finite-dimensional optimisation problem, we propose an efficient and provably convergent primal-dual splitting algorithm. We illustrate the versatility of our framework on real-life examples from the field of environmental sciences.

arXiv commentSupplementary material: https://matthieumeo.github.io/

References in corpus (11)

• HEALPix -- a Framework for High Resolution Discretization, and Fast Analysis of Data Distributed on the Sphere
• Geometric deep learning: going beyond Euclidean data
• Measurement of areas on a sphere using Fibonacci and latitude-longitude lattices
• Strictly and non-strictly positive definite functions on spheres
• The rate of convergence of Nesterov's accelerated forward-backward method is actually faster than $1/k^2$
• The Sliding Frank-Wolfe Algorithm and its Application to Super-Resolution Microscopy
• Splines are Universal Solutions of Linear Inverse Problems with Generalized-TV regularization
• Locally stationary spatio-temporal interpolation of Argo profiling float data
• Image Reconstruction Techniques in Neutron and Gamma-Ray Spectroscopy: Improving Lunar Prospector Data
• TV-based Reconstruction of Periodic Functions
• Periodic Splines and Gaussian Processes for the Resolution of Linear Inverse Problems

Cited by in corpus (3)

• A Fast and Scalable Polyatomic Frank-Wolfe Algorithm for the LASSO
• On the Uniqueness of Solutions for the Basis Pursuit in the Continuum
• Sampling theorems for inverse problems on Riemannian manifolds