On the Uniqueness of Solutions for the Basis Pursuit in the Continuum

TL;DR

This paper characterizes the uniqueness of solutions for a continuous-domain basis pursuit problem, linking it to the spectral properties of a Toeplitz matrix derived from low-frequency Fourier data.

Contribution

It provides a complete characterization of when the basis pursuit in the continuum has unique or multiple solutions based on the spectrum of a specific matrix.

Findings

Unique solution if the matrix is neither positive nor negative definite.

Multiple solutions exist with infinitely many Dirac masses when the matrix is positive or negative definite.

The solution structure depends on the eigenvalues of the associated Toeplitz matrix.

Abstract

This paper studies the continuous-domain inverse problem of recovering Radon measures on the one-dimensional torus from low-frequency Fourier coefficients, where Kc is the cutoff frequency. Our approach consists in minimizing the total-variation norm among all Radon measures that are consistent with the observations. We call this problem the basis pursuit in the continuum (BPC). We characterize the solution set of (BPC) in terms of uniqueness and describe its sparse solutions which are sums of few signed Dirac masses. The characterization is determined by the spectrum of a Toeplitz and Hermitian-symmetric matrix that solely depends on the observations. More precisely, we prove that (BPC) has a unique solution if and only if this matrix is neither positive definite nor negative definite. If it has both a positive and negative eigenvalue, then the unique solution is the sum of at most 2Kc Dirac masses, with at least one positive and one negative weight. If this matrix is positive (respectively negative) semi-definite and rank deficient, then the unique solution is composed of a number of Dirac masses equal to the rank of the matrix, all of which have nonnegative (respectively nonpositive) weights. Finally, in cases where (BPC) has multiple solutions, we demonstrate that there are infinitely many solutions composed of Kc+1 Dirac masses, with nonnegative (respectively nonpositive) weights if the matrix is positive (respectively negative) definite.