Filter Recovery in Infinite Spatially Invariant Evolutionary System Via Spatiotemporal Trade Off Sui Tang Department of Mathematics Vanderbilt University Nashville, TN Email: sui.tang@vanderbilt.edu Abstract—We consider the problem of spatiotemporal sampling in an evolutionary process x(n) = An x where an unknown operator A driving an unknown initial state x is to be recovered from a combined set of coarse spatial samples {x|Ω0 , x(1) |Ω1 , · · ·, x(N ) |ΩN }. In this paper, we will study the case of infinite dimensional spatially invariant evolutionary process, where the unknown initial signals x are modeled as `2 (Z) and A is an unknown spatial convolution operator given by a filter a ∈ `1 (Z) so that Ax = a ∗ x. We show that {x|Ωm , x(1) |Ωm , · · ·, x(N ) |Ωm : N ≥ 2m − 1, Ωm = mZ} contains enough information to recover the Fourier spectrum of a typical low pass filter a, if x is from a dense subset of `2 (Z). The idea is based on a nonlinear, generalized Prony method similar to [2]. We provide an algorithm for the case when a and x are both compactly supported. Finally, We perform the accuracy analysis based on the spectral properties of the operator A and the initial state x and verify them in several numerical experiments. I. I NTRODUCTION A. The dynamical sampling problem In situations of practical interest, physical systems evolve in time under the action of well-behaved operators such as diffusion processes. Sampling of such an evolving system is done by sensors or measurement devices that are placed at various locations and can be activated at different times. For practical reasons, we aim to reconstruct any states in the evolutionary process using as few sensors as possible, but allow one to take samples at different time levels. This setting has not been studied within the classical approach in sampling theory, where the samples are taken simultaneously at only one time level. Dynamical sampling is a newly proposed sampling framework. It involves studying the time-space patterns formed by the locations of the measurement devices and the times of their activation. Mathematically speaking, suppose x is an initial distribution that is evolving in time satisfying the evolution rule: x t = At x where {At }t∈[0,∞) is a family of evolution operators satisfying the condition A0 = I. Dynamical sampling asks the question: when do coarse samplings taken at varying times {x|Ω0 , (At1 x)|Ω1 , . . . , (AtN x)|ΩN } contain the same information as a finer sampling taken at the earliest time? One goal of dynamical sampling is to find all spatiotemporal sampling sets (χ, τ ) = {Ωt , t ∈ τ } such that certain classes of signals x can be recovered from the spatiotemporal samples xt (Ωt ), t ∈ τ . In the above cases, the evolution operators are assumed to be known. It has been well-studied in the context of various evolutionary systems in a very general setting, see [3], [12], [8], [9], [10]. Another important problem arises when the evolution operators are themselves unknown or partially known. In this case, we are interested in finding all spatiotemporal sampling sets and certain classes of evolution operators so that the family {At }t∈[0,∞) or their spectrum can be identified. We call such a problem the unsupervised system identification problem in dynamical sampling. B. Problem Statement We are going to introduce the notion of infinite dimensional spatially invariant evolutionary system and uniform spatiotemporal sampling problem. Let x ∈ `2 (Z) be an unknown initial spatial signal and the evolution operator A be given by an unknown convolution filter a ∈ `1 (Z) such that Ax = a ∗ x. At time t = n ∈ N, the signal x has evolved to be xn = An x = an ∗ x, where an = a ∗ a · · · ∗ a. We call this evolutionary system spatially invariant. In this paper, we are interested in the recovery of unknown filter a that drives the evolutionary process. Without loss of generality, let m be a positive odd integer (m > 1) and denote by Sm : `2 (Z) → `2 (Z) the sampling operator on Ωm = mZ, i.e., (Sm x)(k) = x(mk). At time level t = l, we have partial observations yl = Sm (al ∗ x) (1) The special case we are going to consider can be stated as follows: Under what conditions on a, m, N, x can a be recovered from the spatiotemporal samples {yl : l = 0, · · · , N − 1}, or equivalently, from {x|Ωm , (a ∗ x)|Ωm , · · · , (aN −1 ∗ x)|Ωm }? In [2], Aldroubi and Kristal consider the recovery of unknown d × d matrix B and unknown initial state x ∈ `2 (Zd ) from coarse spatial samples of its successive states {B k x, k = 0, 1, · · · }. Given an initial sampling set Ω ⊂ Zd = {1, · · · , d}, they employ a new method related to Krylov subspace methods to show how large li should be to recover all the eigenvalues of B that can possibly be recovered from spatiotemporal samples {B k x(i) : i ∈ Ω, k = 0, 1, · · · , li − 1}. Our setup is very similar to the special case of regular invariant dynamical sampling problem in [2]. In this special case, they employ a generalization of the well-known Prony method that uses these regular undersampled spatiotemporal data first for the recovery of the Fourier spectrum of the correlating filter. Since the filter is a typical low pass filter with symmetry and monotonicity condition, it is completely determined by its Fourier spectrum. By using techniques developed in [10], one can recover the initial state. In this paper, we will address the infinite dimensional analog of this special case. The remainder of the paper is organized as follows: In section II, we discuss the noise free case, and propose a generalized Prony method to show that we can reconstruct a via spatiotemporal samples {yl }N l=1 , provided N ≥ 2m − 1. In section III, we provide accuracy analysis of the generalized Prony method and the estimation results are formulated in the rigid `∞ norm. In section IV, we do several numerical stimulations to verify some estimation results. Finally, we summarize the work in section V. C. Notations Let us introduce some relevant notations. Let M = (mij ) be a n × n matrix, the infinity norm of M, is defined by n X ||M ||∞ = max ( |mij |) 1≤i≤n j=1 For a vector z = (zi ) ∈ Cn , we define the infinity norm ||zz ||∞ = max |zi |. It is easy to see that i=1,··· ,n ||M ||∞ = max ||Mzz ||∞ z ||∞ =1 z ∈Cn ,||z We use z T and M T to denote their nonconjugate transpose. II. N OISE - FREE RECOVERY We consider the recovery of a frequently encountered case in applications when the filter a ∈ `1 (Z) is a typical low pass filter and â(ξ) is real, symmetric and strictly decreasing on [0, 12 ]. The symmetry reflects the fact that there is often no preferential direction for physical kernels and monotonicity is a reflection of energy dissipation. Without loss of generality, we also assume a is a normalized filter, i.e., |â(ξ)| ≤ 1, â(0) = 1. Let µ denote the Lebesgue measure on T, and X be a subclass of `2 (Z) defined by X = {x ∈ `2 (Z) : µ({ξ ∈ T : x̂(ξ) = 0}) = 0} Clearly, X is a dense class of `2 (Z) under the norm topology. In noise free scenario, our first result shows, provided our initial state x ∈ X, that we can completely determine a via a series of consecutive uniform undersampled states. Theorem 1. Let x ∈ X be the initial signal and the evolution operator A be a convolution operator given by a ∈ `1 (Z) so that â(ξ) is real, symmetric, and strictly decreasing on [0, 21 ]. Then a can be exactly recovered from measurements y0 , · · · , y2m−1 defined in (1). 2m−1 Proof. We show that the regular subsampled data {yl }l=0 contains enough information to recover the Fourier spectrum of a on T up to a measure zero set. It is easy to show there exists a measurable set E with µ(E) = 1 such that for each ξ ), · · · , x̂( ξ+m−1 )} is non-vanishing. For each ξ ∈ E, {x̂( m m 1 ξ ∈ E − {0, 2 }, define the Hankel matrix ŷ0 (ξ) ŷ1 (ξ) ... ŷm−1 (ξ) ŷ1 (ξ) ŷ2 (ξ) ... ŷm (ξ) Hm (ξ) = (2) .. .. .. . . ··· . ŷm−1 (ξ) ŷm (ξ) ... ŷ2m−2 (ξ) and the vector b m (ξ) = (ŷm (ξ), · · · , ŷ2m−1 (ξ))T Cm , we can show that there is a unique q (ξ) (q0 (ξ), · · · , qm−1 (ξ))T ∈ Cm such that Hm (ξ)qq (ξ) = −bbm (ξ) ∈ = (3) Form the Prony polynomial pξ [z] = z m + qm−1 (ξ)z m−1 + · · · + q0 (ξ) , it turns out pξ [z] has m distinct roots {â( ξ+i m ) : i = 0, · · · , m − 1}. Due to symmetry and monotonicity condition of â, we can find the roots of pξ [z] and order them appropriately to get {â( ξ+i m ) : i = 0, · · · , m − 1}. Therefore, we can recover â(ξ) except for a measure zero set. The conclusion follows by applying inverse Fourier transformation on â. Theorem 1 addresses the infinite dimensional analog of Theorem 4.1 in [2]. Once a is recovered, we can recover x using techniques developed in [8]. In general, for any a ∈ `1 (Z), one can show the recovery of range of â on the Torus except for a measure zero set only with minor modifications of the above proof. Definition 1. Let a = (a(n))n∈Z , the support set of a is defined by Supp(a) = {k ∈ Z : a(k) 6= 0}. If Supp(a) is a finite set, a is said to be a finite impulse response filter. The term finite impulse response arises because the filter output is computed as a weighted, finite term sum, of past, present, and perhaps future values of the filter input. If a is a finite impulse response filter with support contained in {−r, −r + 1, · · · , r}, we can get the following results immediately. Corollary 1. In addition to the assumptions of Theorem 1, if a is a finite impulse response filter supported in {−r, −r + 1, · · · , r}, then it is enough to recover {â(ηi ) : i = 1, · · · , r} at r distinct locations via equation (3). The proof of Theorem 1 doesn’t give a practical method in general, since it involves computing the Fourier transformation of infinite seuqences and solving the roots of uncountablely many polynomials. However, if we know in prior Supp(a) and Supp(x) are contained in {−r, −r + 1, · · · , r} for some r ∈ N+ , then {yl }2m−1 consists of sequences supported in l=0 {−2mr, · · · , 2mr}. We are able to compute {ŷl (ξ)}2m−1 for l=0 any ξ ∈ T. In this case, the proof of Theorem 1 essentially provides an algorithm for the recovery of the Fourier spectrum of a. We summarize it as follows: Algorithm II.1. Input: Choose ξ ∈ T − {0, 12 } 2m−1 1) From measurements {yl }2m−1 l=0 , compute {ŷl (ξ)}l=0 . Form the Hankel matrix Hm (ξ) and b m (ξ) as in (2). Test the rank of Hm (ξ), if rank(Hm (ξ)) = m, solve q (ξ) via the following equation. Hm (ξ)qq (ξ) = −bbm (ξ) 2) For q (ξ), form the Prony polynomial pξ [z] = m−1 P zm + ql (ξ)z l . Find roots of pξ [z] and order its lower degree coefficients. Hence, for a small perturbation, although the roots of the perturbed polynomial p̃ξ may not be real, we can order them according to their modulus and have a one to one correspondence with the roots of pξ . Definition 2. Let ξ ∈ T − {0, 12 }, consider the set {â( ξ+i m ) : i = 0, · · · , m − 1} that consists of m distinct nodes. 1) For 0 ≤ k ≤ m − 1, the “distance” between â( ξ+k m ) with other m − 1 nodes is measured by the quantity l=0 δk (ξ) = them to get {â( ξim+i ) : i = 0, · · · , m − 1}. Q j6=k 0≤j≤m−1 Output:{â( ξ+i m ) : i = 0, · · · , m − 1}. Remark 1. Note in this case, Hm (ξ) is not invertible only at finitely many locations of T, Hm (ξ) is invertible with probability 1. Let {ξi : i = 1, · · · K} be a subset of T satisfying the k for k = 0, · · · , m − 1, and Km > condition |ξi − ξj | = 6 m ξ +i r. Assume we have recovered {â( jm ) : i = 0, · · · , m − 1, j = 1, · · · , K} via Algorithm II.1, by Corollary 1, we can completely determine a. III. ACCURACY A NALYSIS In previous sections, we show that if we are able to compute the spectral data {ŷl (ξ)}2m−1 at ξ, we can recover the l=0 Fourier spectrum {â( ξ+i ) : i = 0, · · · , m − 1} by Algorithm m II.1. However, a critical issue remains. We need to analyze the accuracy of solution achieved by Algorithm II.1. The motivation to study the accuracy comes from two aspects. On one hand, for the case when one or both of a and x are not compactly supported, although we only have access to a finite section of each exact measurement yl ∈ `2 (Z) for practical reasons , we may have a good approximation ỹl of yl , so that ||yb̃l (ξ) − ŷl (ξ)||∞ ≤ l 1. Consequently, we can employ Algorithm II.1 to compute an approximation of the Fourier spectrum of a. A natural question to ask is how large the error will be between the approximate solutions and the actual solutions. On the other hand, even for the case when both x and a are compactly supported, what if we have noise in the 2m−1 process of computing {ŷl (ξ)}l=0 ? We can summarize our accuracy analysis problem in the following: Assume the measurements are given by {ỹl }2m−1 compared l=0 to (1) so that ||ŷl (ξ) − yb̃l (ξ)||∞ ≤ l for all ξ ∈ T. Given an estimate = maxl |l |, how large can the error in the reconstructed parameters in Step I and Step II of Algorithm II.1 be in the worst case in terms of , and the true parameters. Our accuracy analysis will consist of two steps. Suppose our measurements are perturbed from {yl }2m−1 to {ỹl }2m−1 l=0 l=0 . For any ξ, we first measure the perturbation of q (ξ) in terms of `∞ norm. This step is linear and standard. Then we measure the perturbation of the roots. It is well known that the roots of a polynomial are continuously dependent on the small change of 1 ξ+k |â( ξ+j m ) − â( m )| 2) For 0 ≤ k ≤ m, the kth elementary symmetric function generated by the m nodes is denoted by 1 if k=0, P ξ+j2 ξ+jk ξ+j1 σk (ξ) = â( m )â( m ) · · · â( m ) otherwise. 0≤j1 <···<jk ≤m−1 (4) For 0 ≤ k, i ≤ m − 1, the kth elementary symmetric function generated by m − 1 nodes with â( ξ+i m ) missing (i) is denoted by σk (ξ). Proposition 1. Let the perturbed measurements {ỹl }2m−1 be l=0 b̃ given with error satisfying ||yl (ξ) − yˆl (ξ)||∞ ≤ for all l. Let H̃m (ξ) and b̃bm (ξ) be formed by {yb̃l (ξ)}2m−1 in the same way l=0 as in (2). Assume Hm (ξ) is invertible and is sufficient small so that H̃m (ξ) is also invertible. Denote by q̃q (ξ) the solution of H̃m (ξ)q̃q (ξ) = −b̃bm (ξ). Form the Prony polynomial p̃ξ by ˆ ξ+i ) : i = 0, · · · , m − 1} be its roots , then q̃q (ξ) and let {ã( m we have the following estimates as → 0. −1 ||qq (ξ) − q̃q (ξ)||∞ < ||Hm (ξ)||∞ (1 + mβ1 (ξ)) + O(2 ) (5) where β1 (ξ) = max |σk (ξ)|. As a result, we achieve the k=1,··· ,m following first order estimation ξ+i ξ+i −1 )−â( )| < Ci (ξ)(1+mβ1 (ξ))||Hm (ξ)||∞ +O(2 ) m m (6) m−1 P k ξ+i where Ci (ξ) = δi (ξ) · ( |â ( m )|). ˆ |ã( k=0 Therefore it is important to understand the relation between −1 the behavior of ||Hm (ξ)||∞ and our system parameters, i.e, −1 m, a and x. Next, we are going to estimate ||Hm (ξ)||∞ and reveal their connection with the spectral properties of a and x. Theorem 2. Assume Hm (ξ) is invertible, then we have the lower bound estimation −1 ||Hm (ξ)||∞ ≥ m2 where β2 (i, ξ) = estimation max max i=0,··· ,m−1 k=0,··· ,m−1 β2 (i, ξ)δi (ξ) |x̂( ξ+i m )| (7) |σki (ξ)|, and the upper bound Ac c ur ac y of s olut ion,log ǫ = −14 20 10 Q (δi (ξ) −1 ||Hm (ξ)||∞ 2 <m max (1 + j6=i i=0,··· ,m−1 2 |â( ξ+j m )|)) |x̂( ξ+i m )| 15 10 10 10 (8) Corollary 2. If |x̂(ξ)| ≤ M for every ξ ∈ T, then −1 −1 ||Hm (ξ)||∞ → ∞ as m → ∞. In fact, ||Hm (ξ)||∞ ≥ m−1 O(2 ). 5 10 0 10 −5 10 −10 |∆ 0 ( ξ ) | 10 IV. NUMERICAL EXPERIMENT |δ 0 ( ξ ) δ 2 ( ξ ) | −15 10 4 In this section, we provide some simple numerical simulations to verify some theoretical accuracy estimations in section III. 10 6 8 10 10 10 12 10 14 10 10 16 18 10 10 20 10 |δ 0 ( ξ ) δ 2 ( ξ ) | (a) Dependence on the distances between nodes Accuracy of solution −4 10 A. Experiment Setup −6 Suppose our filter a is supported in {−2, · · · , 2}. For example, â(ξ) = 0.1 + 0.8cos(2πξ) + 0.1cos(4πξ), x is dirac at the center so that x̂(ξ) = 1, and m = 3. 1) Choose ξ1 , ξ2 , · · · , ξd , and calculate ŷl (ξi ) and the perturbed yb̃l (ξi ) = ŷl (ξi ) + l for l = 0, · · · , 5, where yl is defined as in (1) and l 1. 2) Use Algorithm II.1 to calculate the roots of pξi and the perturbed roots of p̃ξ respectively, then compute ˆ ξi +k ) − â( ξi +k )|. |∆k (ξi )| = |ã( m m 10 −8 10 −10 10 −12 10 |∆ 1 ( ξ ) | |∆ 2 ( ξ ) | |∆ 0 ( ξ ) | ǫ 1 ǫ2 −14 10 −16 10 −14 −13 10 −12 10 −11 10 −10 10 −9 10 10 |ǫ| (b) Depdendence on the measurements error B. Experiment Results 1) Sharpness of estimation (6) and (8). Fix m and x, our estimation (6) and (8) suggest that the error |∆k (ξ)| = ˆ ξ+k ) − â( ξ+k )| in the worst possible case could be |ã( m m proportional to δk (ξ)δ(ξ)2 . In this experiment, we choose six points ξ1 < · · · < ξ6 < 12 such that δ0 (ξi )δ(ξi ) grows geometrically at rate 103 , and set the noise level ∼ 10−14 . In Figure 1(a), we plot the value of ∆0 (ξi ) = ˆ ξi ) − â( ξi )| for i = 1, · · · , 6. We can see that ∆0 (ξi ) |ã( 3 3 grows propotionally to the gowth of δ0 (ξ)δ 2 (ξ), which verified the sharpness of estimation(6) and (8). 2) Dependence of ∆k (ξ) on the measurement error . In this experiment, we fix some 0 < ξ < 21 , we only change the magnitude of the error = max l such l=0,··· ,5 √ that grows geometrically at rate 10 and keep other parameters unchanged. We plot the value of ∆k (ξ) = ˆ ξ+k ) − â( ξ+k )| of different noise levels. The results |ã( 3 3 are presented in Figure 1(b), we show that |∆k (ξ)| ∼ O() for k = 0, 1, 2. −1 3) The infinity norm of Hm (ξ). In this experiment, we choose m = 2, 3, · · · , 6 and ξ = 0.3. We compute and −1 plot the value of ||Hm (ξ)||∞ for different m. The results −1 are presented in Figure 1(c). It is shown that ||Hm (ξ)||∞ grows geometrically. V. C ONCLUSION In this paper, we investigate the conditions under which we can recover a typical low pass convolution filter a ∈ `1 (Z) and a vector x ∈ `2 (Z) from the combined regular subsampled version of the vector x, · · · , AN −1 x defined in (1), where 4 10 3 10 2 10 1 10 −1 ||H m ( ξ ) || ∞ 0 10 2 2.5 3 3.5 4 4.5 5 5.5 6 m (c) The infinity norm of −1 Hm (ξ) Fig. 1. Experiment Results Ax = a ∗ x. A generalized Prony method is proposed to show that {x|Ωm , x(1) |Ωm , · · ·, x(N ) |Ωm : N ≥ 2m − 1, Ωm = mZ} contains enough information to recover a almost surely. Our accuracy estimates are formulated in very simple geometric terms involving Fourier spectral function of a, x and m, shedding some light on the structure of the problem. Our results suggest that when the generalized Prony method is used, the parameters of the problem are coupled to each other, in the sense that the accuracy of recovering the nodes {â( ξ+i m ) : i = 0, · · · , m − 1} depends on the values of all the parameters at once. This unfavorable behavior is reflected by our numerical experiments in section IV. For example, the accuracy of recovering the node â( ξ+k m ) not only depends on its separation with other nodes δk (ξ)(see Defintion 2), but also depends on the minimum separation δ(ξ) = max k=0,··· ,m−1 δk (ξ) among the nodes. The classical Prony method performs poorly when noisy sampled data are given. In our case, we have similar issues, since our Hankel matrix Hm (ξ) is ill conditioned. In practice, we can employ denoising techniques to process sampled data such as Cadzow denoising algorithm to make the method more robust to noise. However, we believe that a full answer to our somewhat rigid `∞ formulation of the accuracy problem may contribute to the understanding of limitations of using Prony type methods in spatiotemporal sampling. VI. FUTURE WORK Finding stable solution of Prony-type systems is generally considered to be a difficult problem, and in recent years many algorithms have been devised for this task, such as nonlinear least squares, ESPRIT. We believe these algorithms can be adapted to our case and make our solution become more robust to noise, which we posit as our future work. ACKNOWLEDGMENT The author would like to thank Akram Aldroubi for his endless encouragements and insightful comments in the process of creating this work. The author also thanks Llya Kristal and Yang Wang for their helpful discussions related to this work. The author is indebted to anonymous referees for their useful comments to improve the quality of the presentation of this paper. This research was supported in part by NSF Grant DMS-1322099. R EFERENCES [1] S. Tang, A Generalized Prony Method for Filter Recovery in Evolutionary System via Spatiotemporal Trade Off. Preprint. ArXiv:1502.0274. [2] A. Aldroubi and I. Krishtal, Krylov subspace methods in dynamical sampling. ArXiv:1412.1538. [3] A. Aldroubi, U. Molter, C. Cabrelli and S. Tang, Dynamical Sampling. ArXiv 1409.8333. [4] B. Adcock and A. Hansen, A generalized sampling theorem for stable reconstructions in arbitrary bases, J. Fourier Anal. Appl. 18 (2012), no. 4, pp. 685–716. [5] A. Aldroubi, I. Krishtal and E. Weber, Finite dimensional dynamical sampling: an overview. Excursions in harmonic analysis. Vol 3, Appl. Numer. Harmon. Anal., Birkhäuser/Springer, New York, 2015(R. Balan, M. Begue, J. Benedetto, W. Czaja and K. Okodujou, editors). To appear. [6] S.Borodchov, D.Hardin, and E.B.Saff, Minimal Discrete Energy on the Sphere and other Manifolds, Springer, to appear. [7] Qiyu Sun, Nonuniform average sampling and reconstruction of signals with finite rate of innovation, SIAM J. Math. Anal. 38 (2006/07), no. 5, pp. 1389–1422 (electronic). [8] A. Aldroubi, J. Davis and I. Krishtal, Exact Reconstruction of Signals in Evolutionary Systems Via Spatiotemporal Trade-off. Journal of Fourier Analysis and Applications, Volume 21, Issue 1, February 2015, pp. 11– 31. [9] R. Aceska, A. Aldroubi, J. Davis and A. Petrosyan, Dynamical sampling in shift invariant spaces. In Commutative and Noncommutative Harmonic Analysis and Applications( A. Mayeli, A. Iosevich, P. Jorgensen, G. Ólafsson, editors). Contemporary Mathematics, American Mathematical Society, Providence, Vol 603(2013), pp. 139–148. [10] A. Aldroubi, J. Davis, and I. Krishtal.: Dynamical Sampling: Time Space Trade-off, Appl. Comput.Harmon. Anal., to appear. [11] D. Batenkov and Y. Yomdin, On the accuracy of solving confluent Prony systems. SIAM J.Appl.Math., 73(1), pp. 134–154, 2013. [12] R. Aceska and S. Tang, Dynamical sampling in hybrid shift invariant spaces. In Operator Methods in Wavelets, Tilings, and Frame(V. Furst, K. Kornelsen, E. Weber, editors), Contemporary Mathematics, American Mathematics Society, Providence, Vol 626(2014). To appear. [13] A. Hormati, O. Roy, Y. Lu and M. Vetterli, Distributed Sampling of Signals Linked by Sparse Filtering: Theory and Applications. IEEE Transactions on Signal Processing, VOL. 58, NO. 3, MARCH 2010,pp. 1095– 1109. [14] Y. Lu and M. Vetterli, Spatial super-resolution of a diffusion field by temporal oversampling in sensor networks. In Acoustics, Speech and Signal Processing, 2009. ICASSP 2009. IEEE International Conference on, april 2009, pp. 2249 –2252. [15] T. Blu, P. L. Dragotti, M. Vetterli, P. Marziliano and L. Coulot, Sparse sampling of signal innovations. Signal Processing Magazine, IEEE, 25 (2008), pp. 31–40. [16] R. Badeau, B. David and G. Richard, High-Resolution Spectral Analysis of Mixtures of Complex Exponentials Modulated by Polynomials. IEEE Transactions on Signal Processing, VOL54, NO. 4, APRIL 2006, pp 1341–1350. [17] A. Aldroubi and K. Gröchenig, Nonuniform sampling and reconstruction in shift-invariant spaces, SIAM Rev., 43 (2001), pp. 585–620. [18] A. Eisinberg, G. Franzé and P. Pugliese, Vandermonde matrices on Chebyshev points. Linear Algebra and its Applications, Volume 283, Issues 13, 1 November 1998, pp. 205–219. [19] A. Timan, Theory of Approximation of Functions of a Real Variable. Courier Dover Publications, (1963), pp. 37. [20] W. Gautschi, Norm estimates for inverses of Vandermonde matrices. Numer. Math., vol 23, 1975, pp. 337–347. [21] W. Gautschi, How (Un)stable Are Vandermonde Systems. Asymptotic and computational analysis (Winnipeg, MB, 1989) Lecture Notes in Pure and Appl. Math., vol. 124, Dekker, New York, 1990, pp. 193–210.