20th European Signal Processing Conference (EUSIPCO 2012) Bucharest, Romania, August 27 - 31, 2012 PERFORMANCE BOUND FOR TIME DELAY AND AMPLITUDE ESTIMATION FROM LOW RATE SAMPLES OF PULSE TRAINS Ciprian R. Comsa *,†, Alexander M. Haimovich † * Telecommunications Dept, “Gheorghe Asachi” Technical University of Iasi, Romania † ECE Dept, New Jersey Institute of Technology, USA ABSTRACT The problem considered is estimating the time delays and amplitudes of a train of pulses of known shape. It was recently shown that in the absence of noise, if the pulses are short relative to the interval separating them, the stream of pulses can be sampled at rates lower than the Nyquist rate without any loss of information. This paper investigates the performance of time delay and amplitude estimation from samples taken at low (sub-Nyquist) rates when the stream of pulses is affected by additive white Gaussian noise. To this end, the Cramér-Rao bound (CRB) is developed. For a particular setup, the CRB for time delay estimation is inverse proportional to the cube of the sampling rate, while the CRB for amplitude estimation is inverse proportional to the sampling rate. Numerical simulations confirm this result. Index Terms — Cramér-Rao bound, time delay and amplitude estimation, low rate sampling, pulse train 1. INTRODUCTION In many applications, signals can be uniquely described by a small number of parameters. For example, in radar and wireless communications signal can be constituted of a stream of short pulses of known shape, stream that is defined by the time delays and amplitudes of the pulses. Estimation of these parameters is the subject of this work. Time delay estimation and amplitude estimation are conventionally performed from samples taken at rates higher than the Nyquist rate, which is twice the signal’s bandwidth. This approach is required when the only knowledge on the signal is that it is bandlimited. Other priors on signal structure can lead to more efficient sampling. An interesting class of structured signals was considered in [1], where the signals have a finite number of degrees of freedom per unit time. These signals were termed to have finite rate of innovation (FRI). A special case of FRI signals consists of a stream of pulses of known shape per time interval . For such a stream, any of its segments of length is uniquely determined by no more than 2 parameters, i.e., time delays and amplitudes. It is then © EURASIP, 2012 - ISSN 2076-1465 455 said that the signal’s local rate of innovation is finite and equals 2 ⁄ . For streams of pulses of short duration relative to the reference interval , standard sampling methods require very high sampling rates. However, the rate of innovation per interval is much smaller than the number of samples taken at the Nyquist rate. This observation was exploited to set the grounds for sampling at rates lower than the Nyquist rate. To this end, a mechanism to sample at low rates streams of Diracs can be found in [1], and the references therein. A scheme for recovering the original stream from the samples was also proposed. More recent work, [2, 3], generalizes the approach to sampling at low rates streams of pulses of known arbitrary shape, rather than just Diracs, by considering a multichannel sampling setup. Although the proposed multichannel sampling scheme allows perfect recovery of the original signal from its noiseless samples, it was found in [4] that in the presence of noise the performance of the signal recovery from low rate samples deteriorates significantly relative to the signal recovery from samples taken at the Nyquist rate. However, with low rate sampling, increasing the sampling rate above the rate of innovation brings substantial performance improvement. This work considers low rate sampling of streams of pulses as in [2, 3], but rather than recover the signal itself, the goal is to estimate specific signal parameters, specifically, delay and amplitude. The signal recovery in [2, 3] is equivalent to estimating all the unknown signal parameters, e.g., time delays and corresponding amplitudes. By contrast, estimation of individual parameters may be performed independently, e.g., delay estimation does not require the estimation of amplitudes, and thus its performance may vary with system parameters differently than that of signal recovery. The paper is organized as follows: Section 2 provides the system model for a multichannel sampling scheme. In Section 3, CRB expressions are developed for TDE and amplitude estimation. Discussion of our results vis-à-vis other work is included. Section 4 contains numerical results, and conclusions wrap up the paper. 2. SYSTEM MODEL a). T The problem considered c is estimation of a vector th hat pparameterizes a FRI segmeent of length fro om ssamples taken at low rates from f a noisy observation o . T To give practiccal relevance to o the problem considered, is viewed as the t product of o transmitting g a signal ∑ , , thhrough a multipath channeel w where are the complex valued amplitu udes and the t tiime delays asssociated with h each propag gation path. The T consists of a train of trransmitted sign nal o pulses. That is, is emitted periodically att a a pulse of kno own shape cconstant rate 1⁄ , after being g modulated by y some arbitraary, . Vector kknown sequencce contain ns then the tim me ddelays and am mplitudes as th he unknowns that t parameteriize thhe signal . It is assum med that ≫ , for any a ∈ 1, … , . Also, the multtipath channel is assumed tim me innvariant. Thuss, the amplitud des do not change c from one o 1 , innterval Ι to another. Additionally, A the t rreceived signal is shift invariaant, i.e., the tim me delays also do nnot change from m one intervall Ι to anotherr, with respect to thhe beginning of o each intervaal. The received d signal is then na ccomplex valued d, noisy semi-p periodic train of o pulses: N K y t ak n g t k nT t , b). Fig. 1. a). System moodel; b). Filter--bank samplingg block. main multichannnel sampling methods weree proposed Two m recentlyy in the literatture, i.e., the ffilter-bank metthod in [2] and thee modulator-baank method in [3]. The moduulator-bank samplinng scheme cann be used to trreat different F FRI signals under the assumptioon that the puulse is compactly supportted and pulsess do not overlaap boundaries of interval Ι . In contrast, thee filter-bank sampling sccheme can accomm modate arbitrrary pulse sshapes , including infinitee-length functiions. Also, thhe filter-bank scheme is well suuited for sam mpling long ( → ∞) sem mi-periodic signals of form (1). F For the rest of the paper, the filter-bank samplinng is assumed,, with the note that similar annalysis can be carriied out for the modulator-bannk scheme. The filter-bank schheme is illustrated in Fig. 1bb. On each branch,, the signal is filtered by ∗ , followedd by actual ⁄ . The signall model is handled easier samplinng at a rate 1⁄ in the frequency dom main. For lonng observationn intervals, →∞ ∞, the discreete-time Fourrier transform m (DTFT), ≜∑ ∈ , cann be applied. With this, (2) becoomes (1) ( n 1 k 1 ⁄ . The signal is an w where nd . ddefined by time t delays and by am mplitudes of length is defined by H However, any segment of oonly time delays and amplitudes. Moreover, with w , the whole observ kknowledge of the sequence ved ssignal , of length , is defined by tim me delays and a amplitudes . Thus signall is FRI. The receiveed signal is affected by complex valu ued aadditive white Gaussian noiise (AWGN), , of pow wer sspectral density y (PSD) Φ . For later use,, let Φ ⁄ ddenote the pow wer of the noisee after passing through an ideal loow pass filter of o cut-off frequ uency 1⁄2 . The system model m for the problem p considered is depictted inn Fig. 1a. The T continuous-time signal is passsed thhrough a Sam mpling block to o obtain the set of samples . B Based on samp ples , an estim mate of is obtained o with the t E Estimation blo ock. For the Sampling S block k a multichann nel sstructure is con nsidered. With a multichanneel sampling settup is convolveed with thhe signal diffferent functio ons ∗ , …, ∗ , and th he output of each channel is ssampled at a rate 1⁄ , [2, 3]. The set of sam mples is given by b ∗ , 1, 1 …, . (3) where , and and , , , noise , denote the Foourier transforrms of , aand sampling ffilters ∗ , respectively. Note that, ∑ based oon (1), , where iss the Fourier trransform of . Focuusing, as propposed in [2], oon sampling ffilters with finite support in thee frequency doomain, e.g., coontained in ⁄ , ⁄ , (33) becomes the rangge ∗ P ∗ , m (2) ( ∗ , (4) q1 ⁄ . T The system is said s to have a total sampling rate r where 456 2 1 ⁄2 ⁄ . Note thatt all the expressions in the frequency domain are 2 ⁄ periodic and is restricted to the interval 0, 2 ⁄ . from all the If is a column vector collecting sampling channels, , where is a matrix of elements 3. CRAMER-RAO BOUND The performance of an estimate of a vector parameter from a set of measurements is typically measured by its mean squared error (MSE). A lower bound on the MSE is often used instead to gain insight into the factors affecting the MSE. The Cramér-Rao bound (CRB) is a lower bound on the MSE of any unbiased estimate of . For the problem at hand, the available measurements are the samples , obtained as (5) by a filter-bank low rate sampling scheme in (1) is applied to the FRI signal of (1). Since assumed known, the unknown parameter vector is is the ,…, , ,…, , ,…, , where Re real part of and is the imaginary part of . The CRB on the MSE of an element of is given by the - element of a matrix , i.e., CRB , . By definition, the matrix is the inverse of the Fisher Information Matrix (FIM), whose elements are given by [8], (5) ∗ , ,… , is a diag matrix of elements , , diag ,… ,… , is the DTFT of , is a column vector collecting elements , and is a column vector collecting elements . Although it not explicitly evident in the notation, note the of the all the arrays in (5) except . dependence on Also note that the unknown time delays are embedded in and , while the unknown amplitudes are in the amplitudes . Matrices and are known. We briefly review the operations performed within the Estimation block, as proposed in. First, (5) is normalized by , with . Thus, let . By denoting and (dependence on continues to be implicit) and taking the inverse DTFT, . , (8) where ; is the probability density function (pdf) of the sample vector , parameterized by . The CRB for the signal reconstruction from low rate samples was discussed in [4]. In contrast, we are concerned here with parameter estimation, rather than estimation of the signal itself. Insight into the performance is developed from closed-form results for a particular setting, as stipulated in Theorem 1 below. We make the following two assumptions: (A1) The pulse shape shape is ideal, in the sense that 1 for ∈ 2 , 2 and 0 everywhere else. (A2) Φ is the DTFT , where is assumed constant and of the sequence , and Φ known within the frequency range of interest. With this, we ⁄ . Note define the signal to noise ratio (SNR) as Φ that if is a long bipolar sequence, where the 1 and 1 symbols are equiprobable, it can be further shown , [9]. that Φ (6) Matrix has a Vandermonde structure and thus super-resolution techniques, [5, 6], traditionally used in spectral estimation, can be employed with (6) to estimate the time delays , where the number of multipaths is a priori known, [2]. Once is known, the vector can be found using the linear relation , where is the Moore-Penrose pseudo-inverse of . Further, with knowledge of the sequence , the amplitudes can be determined. In the absence of noise , the filter-bank sampling scheme supports recovery of the signal only if the number of samples per interval is at least 2 . The number of samples cannot exceed the number at Nyquist rate, 2 , where is the single side bandwidth of the pulse shape (if band-limited), [2, 7]. Combined, these lead to condition 2 2 for the filter-bank scheme to work. Also note that the values of are obtained in (6) by taking the inverse DTFT of . Thus, the matrix needs to be stable invertible. One example of sampling filters satisfying this condition is , 2 ⁄ , for ∈ 0, otherwise. ; ln , Theorem 1. Let in (5) consist of the low rate samples of a semi-periodic stream of pulses in AWGN noise, of form (1). Under assumptions (A1) and (A2), with the choice (7) of the sampling filters, and for a multipath free environment, i.e., 1, the CRBs for delay and amplitude estimation from low rate samples are: 3 2 CRB CRB (7) 1 | | 1 1 , . Proof: See Appendix for a sketch of the proof. 457 (9) (10) dB CRB MSE MSE ⁄ ⁄ dB Sim CRB dB , 20 Fig. 4. Delay estimattion errors as ffunction of the number of samplinng filters. dB dB F Fig. 2. Accuraccy of delay esttimation versuss SNR. Sim MSE MSE CRB CRB dB , 2 20 Fig. 5. Amplitude estimation errrors as functiion of the numberr of sampling ffilters. F Fig. 3. Accuraccy of amplitud de estimation veersus SNR. D Discussion. The CRB exp pression (9) shows that the t pperformance of delay estimaation improvess with the SN NR, i.e., the CRB decreases as the t SNR increeases. The sam me oobservation hollds for the CRB B of amplitudee estimation (10). IInterestingly, the CRB of deelay estimation n decreases with w thhe cube of the t number of o sampling filters, f i.e., it is pproportional to . This meeans that increaasing the numb ber oof sampling fiilters quickly improves the performance of ddelay estimatiion. In contrrast, the CRB B of amplitu ude eestimation is proportional only to . If we deno ote ⁄ , and d employ the assumption a thaat | | 1, the t 1⁄ C CRB can be written as 3⁄2 for dellay eestimation and 1⁄ for f amplitude estimation. With W thhese definition ns, the expresssion for the CR RB has the sam me fform as the CR RB for delay esstimation in co ontinuous sign nals ddeveloped in [1 10], where the term is referred to as ppostintegration SNR. This iss justified by the fact that the t pproduct is the processing gain du ue to the tim me bbandwidth prod duct of the sig gnal. Thus we observe that the t vvariation with of the CR RB of delay esstimation can be ssplit into the effect of ban ndwidth an nd the effect of pprocessing gain n P. In the casse of amplitud de estimation, the t C CRB is influenced only by thee SNR gain. 1 , and 10 . Results shhown are averraged over 1000 ruuns in which the noise havee been chosenn randomly (sourcee location was kept fixed). IIt may be noticed that at SNR, the M high S MSE from simulations aapproaches asympttotically the CR RB. This conffirms that the C CRB given by (9) is a tight loweer bound. Withh the logarithm mic scaling used inn Fig. 2, the CR RB decreases llinearly with sslope -3. In contrasst, at low SN NR, maximum m likelihood estimation experieences a threshhold effect, ii.e., the MSE E increases steeply . This is beecause, as thhe SNR decrreases, the estimattion enters a soo called “large--errors” region, where the noise vvalues become dominant overr the signal. Foor the given FRI prooblem addressed in this worrk, time delay values are boundeed by andso are the errorss, resulting in tthe plateau region evident at the low end of thee SNR scale. IIn Fig. 3, it is obserrved that for tthe same setupp as delay estim mation, the MSE off amplitude esttimation variess linearly with slope -1. Bas ed on (9) aand (10), the performance of delay varies frrom 2 to estimattion improves with when 2 , while the amplitude eestimation peerformance improvves only with . When 2 , the estimation perform mance of the ffilter-bank scheme equals thhe one of a single ffilter scheme w working at Nyqquist rate [1]. T This can be observeed in Fig. 4, annd Fig. 5, wheere for low ratee sampling the sim mulated MSE annd CRB are pllotted against tthe number of samppling filters . The CRB forr Nyquist rate for 10is thhe same as thhe CRB for llow rate samppling with 20 0. 4. 4 NUMERICA AL EXAMPLES T The MSE off delay estim mation (CRB and maximu um liikelihood simu ulations) as a function of SNR S is shown in F Fig. 2 for 100 symbolls, 10 sam mpling channeels, 458 everywhere else, determines that matrix is an identity matrix. This leads to further simplification of (13) to (14). ,…, , ,…, , ,…, In (14) we use ∑ and to determine the elements of the FIM. Particularizing it for 1, 5. CONCLUSIONS Performance of time delay and amplitude estimation from low rate samples of pulse trains has been addressed. In particular, the CRB expression for the case of using a filterbank sampling scheme was developed. With some simplifying assumptions, closed form expressions were determined for multipath free signal. The estimation performance in noise was shown to deteriorate significantly if the number of samples taken is the one indicated by the rate of innovation rather than by the Nyquist rate. Specifically, with the simplifying assumptions considered, the CRB is inverse proportional to the cube of the number of sampling filters for delay estimation and to the number of sampling filters for amplitude estimation. P 2 2 1 2 3T 2 0 0 0 1 0 . 0 0 1 With (15), the equations of Theorem 1 can be easily derived. Moreover, it can be shown that for 2, for well separated multipaths, the CRB for the time delay and amplitude of any th component is also given by Theorem 1. 6. APPENDIX 7. REFFERENCES Due to space considerations, we can provide in this appendix only a sketch of the proof of Theorem 1. We start by expressing the pdf ; used in (8) in terms of the signal model (1) 1 ; , det [1] T. Blu, P. L. Dragotti, M. Vetterli, P. Marziliano, and L. Coulot, "Sparse Sampling of Signal Innovations," IEEE Signal Processing Magazine, vol. 25, pp. 31-40, 2008. [2] K. Gedalyahu and Y. C. Eldar, "Time-Delay Estimation From Low-Rate Samples: A Union of Subspaces Approach," IEEE Transactions on Signal Processing, vol. 58, pp. 3017-3031, 2010. [3] K. Gedalyahu, R. Tur, and Y. C. Eldar, "Multichannel Sampling of Pulse Streams at the Rate of Innovation," IEEE Transactions on Signal Processing, vol. 59, pp. 1491-1504, 2011. [4] Z. Ben-Haim, T. Michaeli, and Y. C. Eldar, "Performance Bounds and Design Criteria for Estimating Finite Rate of Innovation Signals," Arxiv preprint arXiv:1009.2221, 2010. [5] X. Li and K. Pahlavan, "Super-Resolution TOA Estimation with Diversity for Indoor Geolocation," IEEE Transactions on Wireless Communications, vol. 3, pp. 224-234, 2004. [6] P. Stoica and A. Nehorai, "MUSIC, maximum likelihood, and Cramer-Rao bound," IEEE Transactions on Acoustics, Speech and Signal Processing, vol. 37, pp. 720-741, 1989. [7] W. U. Bajwa, K. Gedalyahu, and Y. C. Eldar, "Identification of Parametric Underspread Linear Systems and Super-Resolution Radar," IEEE Transactions on Signal Processing, vol. 59, pp. 2548-2561, 2011. [8] S. M. Kay, Fundamentals of Statistical Signal Processing: Estimation theory: Prentice-Hall PTR, 1993. [9] L. W. Couch II, Digital and analog communication systems: Prentice Hall PTR, 2000. [10] A. Weiss and E. Weinstein, "Fundamental limitations in passive time delay estimation--Part I: Narrow-band systems," IEEE Transactions on Acoustics, Speech and Signal Processing, vol. 31, pp. 472-486, 1983. [11] M. L. Fowler and X. Hu, "Signal models for TDOA/FDOA estimation," IEEE Transactions on Aerospace and Electronic Systems, vol. 44, pp. 1543-1550, 2008. [12] A. Zeira and A. Nehorai, "Frequency domain Cramer-Rao bound for Gaussian processes," IEEE Transactions on Acoustics, Speech and Signal Processing, vol. 38, pp. 1063-1066, 1990. (11) 1 ,…, , 1 ,…, , where and the observation interval is limited to 0, . The denotes the covariance matrix of the matrix noise vector 1 ,…, . Equation (15.52) from [8] is applied to (11), together with the observation that the covariance matrix does not depend on parameter [11], to reduce (8) to 2Re , (12) ⁄ Re d (13) ⁄ ⁄ 1 ∗ d . Re (14) ⁄ Term (13) is obtained from (12) by replacing the data vector by the vector of its Fourier coefficients (obtained by applying the DTFT to , when → ∞) and following a is a reasoning similar to that in [12]. Matrix given by the DTFT of the matrix of elements , cross-correlation 1 ,…, of sequences (15) 1 ,…, and . With the choice (7) of sampling filters, ⁄ | ,…| diag | is Furthermore, the choice of an ideal pulse shape sense that 1 for ∈ , and | . , in the 0 459