Sparse Recovery Beyond Compressed Sensing: Separable Nonlinear Inverse Problems

05/12/2019
by   Brett Bernstein, et al.
0

Extracting information from nonlinear measurements is a fundamental challenge in data analysis. In this work, we consider separable inverse problems, where the data are modeled as a linear combination of functions that depend nonlinearly on certain parameters of interest. These parameters may represent neuronal activity in a human brain, frequencies of electromagnetic waves, fluorescent probes in a cell, or magnetic relaxation times of biological tissues. Separable nonlinear inverse problems can be reformulated as underdetermined sparse-recovery problems, and solved using convex programming. This approach has had empirical success in a variety of domains, from geophysics to medical imaging, but lacks a theoretical justification. In particular, compressed-sensing theory does not apply, because the measurement operators are deterministic and violate incoherence conditions such as the restricted-isometry property. Our main contribution is a theory for sparse recovery adapted to deterministic settings. We show that convex programming succeeds in recovering the parameters of interest, as long as their values are sufficiently distinct with respect to the correlation structure of the measurement operator. The theoretical results are illustrated through numerical experiments for two applications: heat-source localization and estimation of brain activity from electroencephalography data.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

03/18/2020

Compressed Sensing with Invertible Generative Models and Dependent Noise

We study image inverse problems with invertible generative priors, speci...
04/16/2019

Complex Field-Trainable ISTA for Linear and Nonlinear Inverse Problems

Complex-field linear/nonlinear inverse problems are central issues in wi...
02/26/2019

GAN-based Projector for Faster Recovery in Compressed Sensing with Convergence Guarantees

A Generative Adversarial Network (GAN) with generator G trained to model...
11/05/2021

Impact of the Sensing Spectrum on Signal Recovery in Generalized Linear Models

We consider a nonlinear inverse problem 𝐲= f(𝐀𝐱), where observations 𝐲∈ℝ...
03/09/2015

Learning Co-Sparse Analysis Operators with Separable Structures

In the co-sparse analysis model a set of filters is applied to a signal ...
09/02/2020

Thermal Source Localization Through Infinite-Dimensional Compressed Sensing

We propose a scheme utilizing ideas from infinite dimensional compressed...
09/09/2019

Sparse linear regression with compressed and low-precision data via concave quadratic programming

We consider the problem of the recovery of a k-sparse vector from compre...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

1 Introduction

1.1 Separable Nonlinear Inverse Problems

The inverse problem of extracting information from nonlinear measurements is a fundamental challenge in many applied domains, including geophysics, microscopy, astronomy, medical imaging, and signal processing. In this work, we focus on separable nonlinear (SNL) problems [40, 41], where the data are modeled as samples from a linear combination of functions that depend nonlinearly on certain quantities of interest. Depending on the application, these quantities may represent neuronal activity in a human brain, oscillation frequencies of electromagnetic waves, locations of fluorescent probes in a cell, magnetic-resonance relaxation times of biological tissues, or positions of celestial objects in the sky.

Deconvolution
Super-resolution
Heat-Source Localization
Figure 1: Illustration of three inverse problems that can be modeled as SNL problems: deconvolution in reflection seismology (the convolution kernel is a Ricker wavelet [72]), super-resolution of spectral lines, and heat-source localization. The left column shows the continuous measurements for three parameters . The right column shows the data samples corresponding to an example where the coefficients are set to . For super-resolution, only the real part of the data is shown.
Parameter space
Figure 2: Localization of brain-activity sources from EEG data is an SNL problem. The image in the top left corner shows the position of three sources in a human brain, situated in the occipital (), temporal () and frontal () lobes. The remaining three images show the EEG data corresponding to each of these sources, obtained from 256 sensors located on the surface of the head (see Section 4.2 for more details).

Mathematically, the goal in an SNL problem is to estimate parameters , …, from samples of a function

(1.1)

where , …, are unknown coefficients. The dependence between each component and the corresponding parameter at a particular value of is governed by a nonlinear map . For simplicity of exposition, we assume that is one-dimensional and is a real-valued function, but the framework can be directly extended to multidimensional and complex-valued measurements. The data are samples of at locations , …,

(1.2)

where , . Each

is a feature vector associated to one of the parameters

. Without loss of generality, we assume that the feature vectors are normalized, i.e. for all . The following examples illustrate the importance of SNL problems in a range of applications.

  • Deconvolution of point sources: Deconvolution consists of estimating a signal from samples of its convolution with a fixed kernel . When the signal is modeled as a superposition of point sources or spikes, representing fluorescent probes in microscopy [5, 48], celestial bodies in astronomy [69] or interfaces between geological layers in seismography [76], this is an SNL problem where , …, are the locations of the spikes. In that case, is a shifted copy of the convolution kernel , as illustrated in the top row of Figure 1.

  • Spectral super-resolution: Super-resolving the spectrum of a multisinusoidal signal from samples taken over a short period of time is an important problem in communications, radar, and signal processing [79]. This is an SNL problem where is a complex exponential with frequency (see the second row of Figure 1).

  • Heat-source localization: Finding the position of several heat sources in a material with known conductivity from temperature measurements is an SNL problem where is the Green’s function of the heat equation parametrized by the location of a particular heat source [52]. The bottom row of Figure 1 shows an example (see Section 4.1 for more details).

  • Estimation of neural activity: Electroencephalography measurements of the electric potential field on the surface of the head can be used to detect regions of focalized activity in the brain [62]. The data are well approximated by an SNL model where the parameters are the locations of these regions [58]. The function represents the potential at a specific location on the scalp, which originates from neural activity at position in the brain. This function can be computed by solving the Poisson differential equation taking into account the geometry and electric properties of the head [64]. Figure 2 shows an example. See Section 4.2 for more details.

  • Quantitative magnetic-resonance imaging: The magnetic-resonance relaxation times and of biological tissues govern the local fluctuations of the magnetic field measured by MR imaging systems [63]. MR fingerprinting is a technique to estimate these parameters by fitting an SNL model where each component corresponds to a different tissue [54, 57, 84]. In this case, the parameter encodes the values of and and the function can be computed by solving the Bloch differential equations [7].

1.2 Reformulation as a Sparse-Recovery Problem

A natural approach to estimate the parameters of an SNL model is to solve the nonlinear least-squares problem,

(1.3)

Unfortunately, the resulting cost function is typically nonconvex and has local minima, as illustrated by the simple example in Figure 3. Consequently, local-descent methods do not necessarily recover the true parameters, even in the absence of noise, and global optimization becomes intractable unless is very small.

Alternatively, we can reformulate the SNL problem as a sparse-recovery problem and leverage -norm minimization to solve it. This approach was pioneered in the 1970s by geophysicists working on spike deconvolution in the context of reflection seismology [86, 22, 50, 74, 24]. Since then, it has been applied to many SNL problems such as acoustic sensing [94, 4], radar [68, 85], electroencephalography (EEG) [77, 92], positron emission tomography (PET) [45, 70, 47], direction of arrival [55, 8], quantitative magnetic resonance imaging  [57, 84], and source localization [52, 56, 66]. Our goal is to provide a theory of sparse recovery via convex optimization explaining the empirical success of this approach.

Figure 3: Nonlinear least-squares cost functions associated to deterministic SNL problems often have non-optimal local minima. The graph depicts the landscape of the nonlinear least squares cost function associated to a deconvolution problem, where the data is generated by convolving a Ricker wavelet [72] with a single spike located . In addition to the global minimum at there are several spurious local minima.

Let us represent the parameters , …, of an SNL model as a superposition of Dirac measures or spikes in , interpreted as a -dimensional parameter space, (1.2),

(1.4)

where denotes a Dirac measure supported at . Intuitively, the atomic measure is a signal that encodes the parameters of interest and their corresponding coefficients. The data described by Equation 1.2 can now be expressed as

(1.5)

The SNL problem is equivalent to recovering from these linear measurements. The price we pay for linearizing is that the linear inverse problem is extremely underdetermined: has dimension , but lives in a continuous space of infinite dimensionality! To solve the problem, we need to exploit the assumption that the data only depends on a small number of parameters or, equivalently, that is sparse.

For an SNL problem to be well posed, , …, should be the only set of or less parameters such that Equation 1.2 holds. In that case, is the solution to the sparse-recovery problem

(1.6)
subject to

where minimization occurs over the set of measures in

. The cardinality of the support of an atomic measure is a nonconvex function, which is notoriously challenging to minimize. A fundamental insight underlying many approaches to sparse estimation in high-dimensional statistics and signal processing is that one can bypass this difficulty by replacing the nonconvex function with a convex counterpart. In particular, minimizing the

norm instead of the cardinality function has proven to be very effective in many applications.

In order to analyze the application of -norm minimization to SNL problems, we consider a continuous setting, where the optimization variable is a measure supported on a continuous domain. The goal is to obtain an analysis that is valid for arbitrarily fine discretizations of the domain. This is important because, as we will see below, a fine discretization results in a highly-correlated linear operator, which violates the usual assumptions made in the literature on sparse recovery.

In the case of measures supported on a continuous domain, the continuous counterpart of the norm is the total-variation (TV) norm [73, 37]111Not to be confused with the total variation of a piecewise-constant function used in image processing.. Indeed, the TV norm of the atomic measure in Equation 1.4 equals the norm of its coefficients . Just as the norm is the dual norm of the norm, the TV norm is defined by

(1.7)

where the supremum is taken over all continuous functions in the unit -norm ball. Replacing the cardinality function by this sparsity-promoting norm yields the following convex program

(1.8)
subject to

The goal of this paper is to understand when the solution to Problem (1.8) exactly recovers the parameters of an SNL model.

1.3 Compressed Sensing

Section 1.2 shows that solving an SNL problem is equivalent to recovering a sparse signal from linear underdetermined measurements. This is reminiscent of compressed sensing [25, 19, 39]. In its most basic formulation, the goal of compressed sensing is to estimate a signal with nonzeros from linear measurements given by , where and . Remarkably, exact recovery of is still possible under certain conditions on the matrix , even though the linear system is underdetermined.

Overdetermined linear inverse problems are said to be ill posed when the measurement matrix is ill conditioned. This occurs when there exist vectors that lie close to the null space of the matrix, or equivalently when a subset of its columns is highly correlated. Analogously, the compressed-sensing problem is ill posed if any sparse subset of columns is highly correlated, because this implies that sparse vectors lie close to the null space. Early works on compressed sensing derive recovery guarantees assuming a bound on the maximum correlation between the columns of the measurement matrix (sometimes called incoherence). They prove that tractable algorithms such as -norm minimization and greedy techniques achieve exact recovery as long as the maximum correlation is of order for sparsity levels of up to order  [26, 29, 44, 87], even if the data are corrupted by additive noise [28, 88]. These results were subsequently strengthened to sparsity levels of order (up to logarithmic factors) [25, 61, 17, 6, 11] under stricter assumptions on the conditioning of sparse subsets of columns in the measurement matrix, such as the restricted-isometry property [17]

or the restricted-eigenvalue condition 

[6].

Figure 4: Columns and intercolumn correlations for a typical compressed-sensing matrix with i.i.d. standard Gaussian entries. The notation denotes the th column of . Note that is small whenever .

The question is whether compressed-sensing theory applies to SNL problems. Let us consider an SNL problem where the parameter space is discretized to yield a finite-dimensional version of the sparse-recovery problem described in Section 1.2. The measurement model in Equation 1.9 can then be expressed as

(1.9)
(1.10)

is a measurement matrix whose columns correspond to the feature vectors of , …, , which denote the points of the discretized parameter space. The signal is the discrete version of in Equation 1.4: a sparse vector, such that when for some and otherwise. For compressed-sensing theory to apply here, the intercolumn correlations of should be very low. Figure 4 shows the intercolumn correlations of a typical compressed-sensing matrix: each column is almost uncorrelated with every other column. Figures 6 and 5 show the correlation function

(1.11)

for the different SNL problems discussed in Section 1.1. The intercolumn correlations of the measurement matrix in the corresponding discretized SNL problems are given by samples of at the locations of the remaining grid points , . The contrast with the intercolumn structure of the compressed-sensing matrix is striking: nearby columns in all SNL measurement matrices are very highly correlated. This occurs under any reasonable discretization of the parameter space; discretizing very coarsely would result in inaccurate parameter estimates, defeating the whole point of solving the SNL problem.

Deconvolution
Super-resolution
Heat-Source Localization
Figure 5: Correlation structure of the measurement operators arising in deconvolution, super-resolution, and heat-source localization. The left column shows the discrete data for three parameter values. The right column gives the absolute values of the corresponding correlation functions .

                                                                                   

Figure 6: Example of correlation functions for the electroencephalography brain-activity localization problem. Each column shows three views of the correlation function , , corresponding to one of the neural-activity sources shown in Figure 2.

The difference between the correlation structure of the measurement matrix in compressed-sensing and SNL problems is not surprising. The entries of compressed-sensing matrices are random

. As a result, small subsets of columns are almost uncorrelated with high probability. In contrast, matrices in discretized SNL problems arise from a deterministic model tied to an underlying continuous parameter space and to a function

that is typically smooth. Since when , nearby columns are highly correlated. These matrices do not satisfy any of the properties of the conditioning of sparse submatrices commonly assumed in compressed sensing. In conclusion, the answer to our previous question is a resounding no: compressed-sensing theory does not apply to SNL problems.

1.4 Beyond Sparsity and Randomness: Separation and Correlation Decay

The fact that compressed-sensing theory does not apply to SNL problems involving deterministic measurements is not a theoretical artifact. Sparsity is not a strong enough condition to ensure that such SNL problems are well posed. If is smooth, which is usually the case in applications, the features corresponding to parameters that are clustered in the parameter space are highly correlated. This can be seen in the correlation plots of Figures 6 and 5. As a result, different sparse combinations of features may yield essentially the same data. For a detailed analysis of this issue in the context of super-resolution and deconvolution of point sources we refer the reader to Section 3.2 in [13] (see also [59] and [78]) and Section 2.1 in [3], respectively.

Additional assumptions beyond sparsity are necessary to establish recovery guarantees for SNL problems. At the very least, the features , …, in the data cannot be too correlated. For arbitrary SNL problems it is challenging to define simple conditions to preclude this from happening. However, in most practical situations, SNL problems exhibit correlation decay, meaning that the correlation function defined in Equation 1.11 is bounded by a decaying function away from . This is a natural property: the more separated two parameters and are in the parameter space, the less correlated we expect their features and to be. All the examples in Section 1.1 have correlation decay (see Figures 5 and 6).

For SNL problems with correlation decay there is a simple way of ensuring that the features corresponding to the true parameters , …, are not highly correlated: imposing a minimum separation between them in the parameter space. The main contribution of this paper is showing that this is in fact sufficient to guarantee that TV-norm minimization achieves exact recovery, under some additional conditions on the derivatives of the correlation function.

1.5 Organization

In Section 2 we propose a theoretical framework for the analysis of sparse estimation in the context of SNL inverse problems. We focus on the case for simplicity, but our results can be extended to higher dimensions, as described in Section 3.5. Our main results are Theorems 2.6 and 2.4, which establish exact-recovery results for SNL problems with correlation decay under a minimum separation on the true parameters. Section 3 contains the proof of these results, which are based on a novel dual-certificate construction. Section 4 illustrates the theoretical results through numerical experiments for two applications: heat-source localization and estimation of brain activity from electroencephalography data.

2 Main Results

2.1 Correlation decay

In this section we formalize the notion of correlation decay by defining several conditions on the correlation function and on its derivatives. Throughout we assume that the problem is one dimensional ().

To alleviate notation we define

(2.1)

for and , where is the th derivative of . Recall that we assume for all . This implies and for all . Plots of these derivatives are shown in Figure 8 for the deconvolution, super-resolution, and heat-source localization problems. Our conditions take the form of bounds in different regions of the parameter space: a near region, an intermediate region, and a far region, as depicted in Figure 7.

Figure 7: Illustration of the near, intermediate and decay conditions on the correlation function defined in Section 2.1. This example shows a correlation function arising in deconvolution.

In the near region the correlation can be arbitrarily close to one, but is locally bounded by a quadratic function.

Condition 2.1 (Near Condition).

The correlation function satisfies the near condition if

(2.2)
(2.3)

hold for all in , where , and are positive constants.

Equation (2.2) requires correlations to be concave locally, which is natural since the maximum of is attained at . Equation (2.3) is a regularity condition that requires to vary smoothly as we change the center . The normalization quantity captures how sensitive the features are to perturbations. If this quantity is small for some then we require more regularity from because is harder to distinguish from nearby points using the measurements .

In the intermediate region the correlation function is bounded but can otherwise fluctuate arbitrarily. In addition, we require a similar constraint on its derivative with respect to the position of the center .

Condition 2.2 (Intermediate Condition).

The correlation function satisfies the intermediate condition if

(2.4)
(2.5)

hold for and , where are defined as in the near condition, and are positive constants.

Deconvolution
Super-resolution
Heat-Source Localization
Figure 8: Derivatives of the correlation functions arising in deconvolution, super-resolution, and heat-source localization. In all cases the correlation function is locally concave and all derivatives exhibit decaying tails. In the case of super-resolution the tail decay is not summable, but can be made summable by applying a window function to the measurements.

In the decay region the correlation and its derivatives are bounded by a decaying function.

Condition 2.3 (Decay Condition).

The correlation function satisfies the decay condition with decay constant if

(2.6)
(2.7)

hold for and , where , , and are positive constants.

The choice of exponential decay is for concreteness, and can be replaced by a different summable decay bound222In the case of super-resolution, the decay is not summable, but can be made summable by applying a window to the data, which is standard practice in spectral super-resolution [46].. Figure 8 shows the derivatives of the correlation functions for several SNL problems.

2.2 Exact Recovery for SNL Problems with Uniform Correlation Decay

In this section we focus on SNL problems where the correlation function of the measurement operator is approximately translation invariant, meaning that has similar properties for any value of . Examples of such SNL problems include super-resolution, deconvolution, and heat-source localization if the conductivity is approximately uniform. We prove that TV-norm minimization recovers a superposition of Dirac measures exactly as long as the support satisfies a separation condition related to the decay properties of the correlation function and its derivatives.

Figure 9: Illustration of the minimum-separation condition required by Theorem 2.4.
Theorem 2.4.

Let be the support of the measure defined in Equation 1.4. Assume that the correlation functions , , satisfy Conditions 2.3, 2.2 and 2.1 for fixed constants , , , , and . Then is the unique solution to Problem (1.8) as long as the minimum separation of satisfies

(2.8)

where

(2.9)
(2.10)

and the constants are chosen so that

(2.11)

Note that the condition in Equation 2.11 is only needed to simplify the statement and proof of our results.

Theorem 2.4 establishes that TV minimization recovers the true parameters of an SNL problem when the support separation is larger than a constant that is proportional to the rate of decay of the correlation function and its derivatives. This separation is measured from the edges of the intermediate regions, as depicted in Figure 9. In stark contrast to compressed-sensing theory, the result holds for correlation functions that are arbitrarily close to one in the near regions, and may have arbitrary bounded fluctuations in the intermediate regions.

Our result requires conditions on the correlation functions centered at the true support , and also on their derivatives. The decay conditions on the derivatives constrain the correlation structure of the measurement operator when we perturb the position of the true parameters. For example, they implicitly bound pairwise correlations centered in a small neighborhood of the support. Exploring to what extent these conditions are necessary is an interesting question for future research.

Figure 10: Support-centered correlations with varying decay parameters for the heat-source localization problem. The vertical dashed lines indicate the locations of for , whereas the curved dashed lines indicate the exponential decay bounds. As we move from left to right along the -axis the thermal conductivity is decreasing, which causes the correlation functions to become narrower.

2.3 Exact Recovery for SNL Problems with Nonuniform Correlation Decay

The measurement operators associated to many SNL problems of practical interest have nonuniform correlations. Figures 6 and 5 show that this is the case for heat-source localization with spatially-varying conductivity, and for estimation of brain-activity from EEG data. Our goal in this section is to establish recovery guarantees for such problems.

The conditions on the correlation structure of the measurement operator required by Theorem 2.4 only pertain to the correlation functions centered at the true parameters. In order to generalize the result, we allow the correlation function centered at each parameter to satisfy the conditions in Section 2.1 with different constants. This makes it possible for the correlation to have near and intermediate regions of varying widths around each element of the support, as well as different decay constants in the far region. Our main result is that TV-norm minimization achieves exact recovery for SNL problems with nonuniform correlation structure, as long as the support satisfies a minimum-separation condition dependent on the corresponding support-centered correlation functions.

Let be the support of our signal of interest, and assume satisfies the decay conditions in Section 2.1 with parameters , , and , which are different for all . Extending the notation, we let and denote the endpoints of the near and decay regions, respectively. Intuitively, when and are small, the corresponding correlation function is “narrower” and should require less separation than “wider” correlation functions with large values of and . This is illustrated in Figure 10, where we depict for the heat-source localization problem at three different values of . The decay becomes more pronounced towards the right due to the changing thermal conductivity of the underlying medium. For the problem to be well posed, one would expect to require more separation from other active sources than , which in turn should require more than . We confirm this intuition through numerical experiments in Section 4.1. To make it mathematically precise, we define the following generalized notion of support separation.

Definition 2.5 (Generalized support Separation).

Suppose for all that satisfies Condition 2.3 with parameters and . Define the normalized distance for by

(2.12)

Assume that is ordered so that . has separation if for all with .

The normalized distance is measured between the edges of the decay regions of and , and normalized by the level of decay. This allows sharply decaying correlation functions to be in close proximity with one another. We require to prevent the parameters from becoming too clustered. If we only require the weaker condition , and if grows very quickly with , then we could have for all . This causes too much overlap between the correlation functions.

Figure 11: Illustration of the generalized support-separation condition in Definition 2.5.
Figure 12: Non-trivial configuration allowed by Definition 2.5. The central parameter has weaker decay, and thus requires more separation from the other parameters.

Figure 12 gives an example of parameters and correlation functions that satisfy the conditions of Definition 2.5. The following theorem establishes exact-recovery guarantees under a condition on the generalized support separation.

Theorem 2.6.

Suppose that for all that satisfies Conditions 2.3, 2.2 and 2.1 and (2.11) with constants , , , , and . Note that and are the same for each . Then the true measure defined in (1.4) is the unique solution to Problem (1.8) when has separation (as determined by Definition 2.5) satisfying (2.8), (2.9), and (2.10).

The proof of Theorem 2.6, which implies Theorem 2.4, is given in Section 3. The theorem establishes that TV minimization recovers the true parameters of SNL problems with nonuniform correlation decays when the generalized support separation is larger than a constant. Equivalently, exact recovery is achieved as long as each true parameter is separated from the rest by a distance that is proportional to the rate of decay of the correlation function centered at . The separation is measured from the edges of the intermediate regions, which can also vary in width as depicted in Figure 9. The result matches our intuition about SNL problems: the parameters can be recovered as long as they yield measurements that are not highly correlated. As mentioned previously, the theorem requires decay conditions on the derivatives of the correlation function, which constrain the correlation structure of the measurement operator.

2.4 Robustness to Noise

In practice, measurements are always corrupted by noisy perturbations. Noise can be taken into account in our measurement model (1.2) by incorporating an additive noise vector :

(2.13)

To adapt the TV-norm minimization problem (1.8) to such measurements, we relax the data consistency constraint from an equality to an inequality:

(2.14)
subject to

where is a parameter that must be tuned according to the noise level. Previous works have established robustness guarantees for TV-norm minimization applied to specific SNL problems such as super-resolution [34, 14] and deconvolution [3] at small noise levels. These proofs are based on dual certificates. Combining the arguments in [34, 3] with our dual-certificate construction in Section 3 yields robustness guarantees for general SNL problems in terms of support recovery at high signal-to-noise regimes. We omit the details, since the proof would essentially mimic the ones in [34, 3].

2.5 Discretization

The continuous optimization problem (2.14) can be solved by applying -norm minimization after discretizing the parameter space. This is a very popular approach in practice for a variety of SNL problems [55, 86, 94, 77, 84]. If the true parameters lie on the discretization grid, then our exact-recovery results translate immediately. The following corollary is a discrete version of Theorem 2.6.

Corollary 2.7.

Assume lies on a known discretized grid so that . Furthermore, suppose the conditions of Theorem 2.6 hold so that as defined in (1.4) is the unique solution to Problem (1.8). Define the dictionary by

(2.15)

Then the -norm minimization problem

(2.16)

has a unique solution satisfying

(2.17)

for .

Proof.

If the support of in Problem (1.8) is restricted to lie on , then Problems (1.8) and (2.16) are the same. Thus must be smaller than for any such that . By assumption is supported on , so the result follows. ∎

Of course, the true parameters may not lie on the grid used to solve the -norm minimization problem. The proof techniques used to derive robustness guarantees for super-resolution and deconvolution in [34, 3] can be leveraged to provide some control over the discretization error. Performing a more accurate analysis of discretization error for SNL problems is an interesting direction for future research.

2.6 Related Work

2.6.1 Sparse Recovery via Convex Programming from Deterministic Measurements

In [27], Donoho and Elad develop a theory of sparse recovery from generic measurements based on the spark and coherence of the measurement matrix . The spark is defined to be the smallest positive value such that has linearly dependent columns. The coherence, which we denote by , is the maximum absolute correlation between any two columns of . The authors show that exact recovery is achieved by -minimization when the number of true parameters is less than . As discussed in Section 1.3, these arguments are inapplicable to the finely-discretized parameter spaces occurring in SNL problems since neighboring columns of have correlations approaching one. In [30], the authors provide a support-dependent condition for exact recovery of discrete vectors. Using our notation, they require that where

(2.18)

Here for ranges over the columns of that do not correspond to the true parameters. This condition is also inapplicable for matrices arising in our problems of interest because approaches one (or larger) for finely-discretized parameter spaces. Sharper exact-recovery guarantees in subsequent works [21, 25, 61, 17, 6, 11] require randomized measurements, and therefore do not hold for deterministic SNL problems as explained in Section 1.3.

2.6.2 Convex Programming Applied to Specific SNL Problems

In [13, 35], the authors establish exact recovery guarantees for super-resolution via convex optimization by leveraging parameter separation (see Section 1.4). Subsequent works build upon these results to study the robustness of this methodology to robustness [83, 34, 14, 32], missing data [81]

, and outliers 

[36]. A similar analysis is carried out in [3] for deconvolution. The authors establish a sampling theorem for Gaussian and Ricker-wavelet convolution kernels, which characterizes what sampling patterns yield exact recovery under a minimum-separation condition. Other works have analyzed the Gaussian deconvolution problem under nonnegativity constraints [75, 33], and also for randomized measurements [67]. All of these works exploit the properties of specific measurement operators. In contrast, the present paper establishes a general theory that only relies on the correlation structure of the measurements. The works that are closer to this spirit are [2, 82], which analyze deconvolution via convex programming for generic convolution kernels. The results in [2] require quadratically decaying bounds on the first three derivatives of the convolution kernel. In [82], the authors prove exact recovery assuming bounds on the first four derivatives of the autocorrelation function of the convolution kernel. In contrast to these works, our results allow for discrete irregular sampling and for measurement operators that are not convolutional, which is necessary to analyze applications such as heat-source localization or estimation of brain activity.

2.6.3 Other Methodologies

SNL parameter recovery can be formulated as a nonlinear least squares problem [41]. For a fixed value of the parameters , the optimal coefficients in (1.1) have a closed form solution. This makes it possible to minimize the nonlinear cost function with respect to directly, a technique known as variable projection [40]. As shown in Figure 3, a downside to this approach is that it may converge to suboptimal local minima, even in the absence of noise.

Prony’s method [23, 79] and the finite-rate-of-innovation (FRI) framework [91, 31] can be applied to tackle SNL problems, as long one can recast them as spectral super-resolution problems. This provides a recovery method that avoids discretizing the parameter space. The FRI framework has also been applied to arbitrary non-bandlimited convolution kernels [89] and nonuniform sampling patterns [65], but without exact-recovery guarantees. These techniques have been recently extended by Dragotti and Murray-Bruce [60] to physics-driven SNL problems. By approximating complex exponentials with weighted sums of Green’s functions, they are able to recast parameter recovery as a related spectral super-resolution problem that approximates the true SNL problem.

3 Proof of Exact-Recovery Results

3.1 Dual Certificates

To prove Theorem 2.6 we construct a certificate that guarantees exact recovery.

Proposition 3.1 (Proof in Appendix A).

Let denote the support of the signed atomic measure . Assume that for any sign pattern there is a such that satisfies

(3.1)
(3.2)

Then is the unique solution to problem (1.8).

To prove exact recovery of a signal we need to show that it is possible to interpolate the sign pattern of its amplitudes, which we denote by

, on its support using an interpolating function that is expressible as a linear combination of the coordinates of . The coefficient vector of this linear combination, denoted by , is known as a dual certificate in the literature because it certifies recovery and is a solution to the Lagrange dual of problem (1.8):

(3.3)

Dual certificates have been widely used to derive guarantees for inverse problems involving random measurements, including compressed sensing [18, 16], matrix completion [10] and phase retrieval [12]

. In such cases, the certificates are usually constructed by leveraging concentration bounds and other tools from probability theory 

[90]. In contrast, our setting is completely deterministic. More recently, dual certificates have been proposed for specific deterministic problems such as super-resolution [13] and deconvolution [3]. Our goal here is to provide a construction that is valid for generic SNL models with correlation decay.

3.2 Correlation-Based Dual Certificates

Our main technical contribution is a certificate that only depends on the correlation function of the measurement operator. In contrast, certificate constructions in previous works on SNL problems [13, 3, 2] typically rely on problem-specific structure, with the exception of [82] which proposes a certificate for time-invariant problems based on autocorrelation functions.

In our SNL problems of interest the function mapping the parameters of interest to the data is assumed to be continuous and smooth. As a result, Equations 3.2 and 3.1 imply that any valid interpolating function reaches a local extremum at each . Equivalently, satisfies the following interpolation equations for all :

(3.4)
(3.5)

Inspired by this observation, we define

(3.6)

where , , are chosen so that satisfies the interpolation equations. Crucially, this choice of coefficients yields an interpolation function that is a linear combination of correlation functions centered at ,

(3.7)
(3.8)

In essence, we interpolate the sign pattern of the signal on its support using support-centered correlations. Since and , Equations 3.8 and 3.4 imply when and decay as grows large and the support is sufficiently separated. The term that depends on can be interpreted as a correction to the derivatives of so that (3.5) is satisfied. The normalizing factor used in (3.8) makes this explicit:

(3.9)

for . Figure 13 illustrates the construction for the heat-source localization problem. The construction is inspired by previous interpolation-based certificates tailored to super-resolution [13] and deconvolution [3].

Figure 13: The image shows the interpolating function defined in Equation 3.8 for the heat-source localization problem. The function is a linear combination of (red curves) and (orange curves) for .

In the remainder of this section we show that our proposed construction yields a valid certificate if the conditions of Theorem 2.6 hold. In Section 3.3 we prove Lemma 3.2, which establishes that the interpolation equations have a unique solution and therefore satisfies (3.1).

Lemma 3.2.

Under the assumptions of Theorem 2.6 there exist which uniquely solve Equations 3.5 and 3.4.

In Section 3.4 we prove Lemma 3.3, which establishes that satisfies (3.2). This completes the proof of Theorem 2.6.

Lemma 3.3.

Let be the coefficients obtained in Lemma 3.2. Under the assumptions of Theorem 2.6 , the interpolating function defined in (3.8) satisfies for .

3.3 Proof of Lemma 3.2

To simplify notation we define the th normalized correlation and its derivatives by

(3.10)

for and , where is defined in Equation 2.1. Using this notation we have

(3.11)
(3.12)

To prove Lemma 3.2 we establish the following stronger result, which also gives useful bounds on and . Throughout we assume that satisfies Conditions 2.3, 2.2 and 2.1 and (2.11) with parameters , , , , and , and that has separation .

Lemma 3.4.

Let . If then there are which uniquely solve equations (3.4) and (3.5). Furthermore, we have

To prove Lemma 3.4 we begin by rewriting Equations (3.4) and (3.5) in block matrix-vector form for the function defined in Equation 3.8:

(3.13)

where

is the identity matrix, and

satisfies

(3.14)

for and . To see why agrees with equations (3.4) and (3.5), note that

(3.15)

The atoms are normalized– for all – which implies

For the same reason it follows that .

Our plan is to bound the norm of each . If these norms are sufficiently small then the matrix in Equation 3.13 is nearly the identity, and the desired result follows from a linear-algebraic argument. Define by

(3.16)

where and . Here we think of as a point close to , so captures the cumulative correlation from the other, more distant elements of . We expect to be small when has sufficient decay and is well separated. For a matrix let denote the infinity-norm defined by

(3.17)

equals the maximum sum of absolute values in any row of . We have

(3.18)

The following lemma shows that equation (3.13) is invertible when is sufficiently bounded.

Lemma 3.5 (Proof in Appendix B).

Suppose

(3.19)
(3.20)

Then the matrix in (3.13) is invertible and

(3.21)
(3.22)
(3.23)

To apply Lemma 3.5 we must first bound for . By the decay and separation conditions (Condition 2.3 and Definition 2.5), lies in the exponentially decaying tail of , for . This gives

(3.24)
(3.25)
(3.26)
(3.27)

where and the distance is defined in Definition 2.5. As this bound is independent of , we have

(3.28)

for . In terms of the conditions of Lemma 3.5, we obtain