Abstract

In this paper, distributed constant level detection in wireless sensor networks (WSNs) is investigated. The permuted linear model with a scalar parameter and additive heteroscedastic Gaussian noise is introduced, where the associations between the observations and the sensors are assumed to be unknown. Several detectors such as the approximations of the generalized likelihood ratio test (GLRT) detector, mean detector, and energy detector are proposed, and their receiver operating characteristics (ROCs) are evaluated. Numerical simulations are performed, and it is shown that the performance degradation of the GLRT detector is small, compared to the permutation known as Neyman-Pearson (NP) detector.

1. Introduction

Decentralized estimation and detection in wireless sensor networks (WSNs) has attracted considerable attention in the past decades [111]. Early in [1], an overall description of decentralized detection was presented. Years later, a two-part review summed up the basic results of distributed detection more detailedly [2, 3]. In part I, the authors reviewed the fundamentals and discussed several important issues, including the computational complexity, network design with general topologies, and applications in different areas. In part II, further works on new ideas of asymptotically optimum, nonparametric, robust, and sequential centralized detection are investigated. Advancements in these directions provide more efficient detection schemes by optimizing more general performance criteria.

In general, observations collected from WSNs can be mathematically expressed as a linear noisy model. The most common assumption in existing literature is that the observation matrix is perfectly known and the observations are perfectly labeled. Then the unknown signal can be detected or directly recovered from the observations by the least squares methods. One variant of the scenario is that there exists model uncertainty where multiplicative noise is introduced [7, 8, 1215]. A more complex scenario corresponds to the case that the observation coefficients are partially known, which is also known as unlabeled sensing [1622]. In this setup, the detection problem from unlabeled data is closely related to the problem of parameter estimation. To obtain the generalized likelihood ratio test (GLRT), usually one has to estimate both the permutation matrix and the unknown parameters via numerical algorithms. In [16], a branch and bound global optimization algorithm combined with the signal’s sparsity information is utilized, and numerical results demonstrate that permutation matrix can be recovered correctly under certain circumstances. In [17], it is shown that the underlying signal can be recovered correctly with probability one, given that the sensing matrix is a random matrix with i.i.d. entries and the number of measurements is twice as many as that of unknowns. Taking the observation noises into account, it has been shown that recovery of the permutation matrix depends sharply on the signal-to-noise ratio, the number of measurements, and the estimated parameters [18]. One important variant of the above problem is the unlabeled ordered sampling problem, i.e., only a subset of measurements is kept and the relative order is preserved, an alternating minimization algorithm is proposed, and phase transition phenomenon was revealed in [19]. In [20], the permutated linear regression problem with a scalar parameter and additive heteroscedastic Gaussian noise is studied, and an alternating minimization algorithm is proposed to jointly recover the permutation matrix and the underlying parameter. In [23], signal amplitude estimation and detection from unlabeled binary samples are studied, and the number of quantizers needed to recover the permutation matrix is provided. It is noteworthy that the unlabeled sensing problems appear on many applications such as archaeological measurements, time jitter in sampling, and multitarget tracking [2426].

In this paper, the problem of distributed constant level detection from unlabeled network observations is studied. Technically, it would be a tough task to accurately associate enormous observations generated by heterogeneous sensors in the big data era, which directly motivates the present work. More explicitly, we consider the case that the association between the sensors and the observed data is unknown while the time association is accurate. The goal is to detect whether the desired scalar signal is present or absent based on the permutated data. Compared to the deterministic detection problem discussed in [27], we are faced with a unknown signal contaminated by additive noises. More importantly, the detection problem is considered in a sensing communication model, where each sensor transmits the unlabeled noisy data to the fusion center (FC) for decision making. While theoretical analysis for parameter estimation under the same model has been published in [20], unknown scalar detection is still an open problem to be addressed. We fill this lack in this work and main contribution of the presented paper is the valuable solutions to the detection problem as well as the proposed methods to improve the detection performance.

2. Problem Setup

The system model is described in this section, under which the ML estimation with reference to the observations and the clairvoyant detector are derived. As mentioned earlier, we study the detection problem from permuted data in WSNs. Considering such a detection scenario, there are N sensors collecting the data of a noisy scalar parameter θ. Given that i and j denote the sensor and the time index, respectively, we suppose that the randomness in the unknown scalar signal X can be summarized in the following binary hypothesis testing problem: where is the unknown scalar signal and . Then all sensors transmit the noisy data to the fusion center (FC) through a channel. Here, we suppose that the channel between the ith sensor and the FC is time-invariant, and the channel coefficient is denoted by hi. Then the observations after the transmission Yij can be expressed as follows: where υij is an i.i.d. noise sequence satisfying and is independent of Wij.

Assume that FC only knows that Yij belongs to one sensor, i.e., the time association is accurate and imposes a preprocess procedure on the raw data as follows:

Under hypothesis , equation (3) can be simplified as follows: where e is defined as follows:

Let e = [e1,⋯ ,eN]T. It follows that ,where W is a diagonal matrix whose diagonal element is . Since data is unlabeled and it follows that where is the unlabeled observations of y, and Π is an unknown N × N permutation matrix which disorders the rows of the labeled observations. As a consequence, the detection problem can be formulated as follows:

It is noted that if the permutation matrix is recovered as , then the ML estimation of θ is as follows:

2.1. Clairvoyant Detector from Labeled Observations with the Knowledge of θ

If the parameters θ and Π are both known, the optimal detection statistic in the Neyman-Pearson sense is as follows: where the thresholdγ is chosen such that the false alarm probability is set to a desired level. This detector is usually referred as the clairvoyant detector, and the corresponding detection probability is as follows: where is the tail probability of the standard normal distribution, Q−1 (·) denotes its inverse, and PFA is the false alarm probability. Because the test statistic has the same PDF as the classical mean-shifted Gauss-Gauss problem, the deflection coefficient d2 characterizes the detection performance and it can be defined as follows:

Here, the deflection coefficient d2 of the clairvoyant detector is as follows:

If N is large and , by Jensen’s inequality, we have the following:

Note that the upper bound approximation is tight in the case of being zero.

2.2. Signal Detection from Labeled Observations without the Knowledge of θ

For the case of unknown amplitude θ and known permutation matrix Π, it can be shown that a uniformly most powerful (UMP) test does not exist. As a consequence, we resort to a suboptimal GLRT detector. The GLRT decides if where is the MLE of θ assuming is true. Consequently, we obtain the GLRT as follows: which is a correlator that accounts for the unknown sign of θ by taking the sign of its absolute value. The detection probability can be calculated as follows [27]:

3. Detection with Permuted Observations

In this section, we investigate the detection problem (7) under the circumstance that both the desired parameter θ and nuisance parameter Π are unknown. In order to detect the presence of the signal, the recovery of the permutation matrix is indispensable. But the joint optimization of both unknowns is difficult due to the nonconvexity of Π. To circumvent the dilemma, the joint optimization problem will be decomposed into two subproblems. To be more specific, previously, we first analyze the problem of detection with labeled observations in Section 2.1 and Section 2.2. Now in Subsection 3.1, we solve the detection problem from permuted observations with the knowledge of θ. Finally in Subsection 3.2, the complete detection problem (7) is studied.

3.1. Signal Detection from Permuted Observations with Knowledge of θ

Now we consider the case that the signal θ and the channel coefficients are known while the observations collected from the sensors are permutated. Under this assumption, we first propose an approximated GLRT as follows [27]: w he re t he s ea rc hi ng s pa ce o f p os si bl e permutation matrix set is N!. Under either hypothesis or , or can be decomposed as . For problem it can be easily shown that the permutation matrix can be found by sorting (element-wise square) according to h2. For problem which is decomposed as , one can swap the elements of to minimize the objective function for a given θ to obtain a smaller objective function value, which involves O(N2) computation complexity.

In order to construct a more computational efficient detector, the linear approach is further incorporated to eliminate the effects of the permutation matrix. Observe that given any permutation matrix Π1,Π2 and observation , AΠ1 = AΠ2 holds if the rows of the matrix A have constant entries. As a consequence, the linear approach reduces to the simple mean detector as follows: where

T he f al se alarm and detection probability are, respectively, as follows: Moreover, the receiver operating characteristic (ROC) of the detector can be expressed as follows: DefineFrom (13) and (25), the SNR loss incurred by the mean detector w.r.t. the clairvoyant is obtained as follows:

If , i.e., h is a constant vector, the loss is zero, which implies that the detector uses the mean statistic performer as well as the optimal clairvoyant detector. This is obvious because the permutation has no effect on the observation given a constant h. For zero mean vector h (μh = 0), the loss achieves its maximum 1. This is because the mean detector can not detect the signal given the mean of h is zero. Before ending the present subsection, we slightly digress to emphasize that the result presented in (26) is accurate for , while holds approximately for the general nonzero small .

3.2. Signal Detection from Permuted Observations without Knowledge of θ

For the complete detection problem (7), we should jointly optimize the parameters θ and Π. In [20], an alternating minimization algorithm is proposed to find the maximum likelihood estimation of θ and Π. The alternating minimization algorithm works as follows: Given , we update the permutation matrix and obtain . Then we fix the permutation matrix as and update θ. The alternative steps are repeated until the algorithm converges. In this paper, we use the above approach to evaluate the performance of an approximation of the GLRTas follows: Notice that although the optimality of the proposed algorithm is not guaranteed, the algorithm appears to work well when the desired parameter θ is accurately estimated. As the number of sensors N increases, the probability of perfect permutation matrix recovery decreases [18]. On the other hand, numerical simulations have shown that the accuracy of the estimation of θ improves with increasing N [20]. As a consequence, it is interesting to evaluate the performance in terms of N, which will be addressed by performing numerical experiments in the followingsection.

In [28], it has been proved that in the absence of additive noise V, the permutation matrix can be recovered exactly. Taking into consideration that a reasonable initial point of θ can be chosen as follows: We then use the initial estimation θinit to iteratively update the permutation matrix and unknown θ.

In addition, if the channel information is also missing, the test statistic would be a function of observations y such as the previous mean detector. Utilizing the second order information yields the following energy detector: The performance of the energy detector will also be evaluated via Monte Carlo (MC) simulations.

4. Numerical Simulation

In this section, various numerical simulations are conducted to evaluate the performances of the proposed detectors; the first three experiments are performed in both the high noise level and low noise level scenarios, separately. For the first simulation, the results are presented in the form of ROC curves, i.e., PD versus PFA. Next, the relationship between the detection probability PD and the observation time K is investigated, where the false alarm probability is set to a desired level. Then, the detection probability PD versus the number of the sensors N is studied, where the false alarm probability is also set to a desired level. Finally, the probability PPer of successfully recovering the permutation matrix Π versus the noise level SNRw and SNRυ is demonstrated, where , , and PPer is defined as follows: where is the estimated permutation matrix, and Π0 denotes the true one. We set θ = 1 unless stated otherwise. The channel coefficients hi are drawn from the i.i.d. Gaussian distribution and is averaged such that . The performances of various detectors except the clairvoyant and the labeled GLRT detectors are evaluated via MC simulations, and the trial number of MC simulations is 10,000. For simplicity, the approximations of the detectors are referred without the prefix ”approximation” in this section.

4.1. ROC Curves
4.1.1. High Noise Level

The results are presented in Figure 1with various values of μh and under high noise level scenario. The parameters are set as follows: N = 20, K = 5, , and . The four subgraphs in Figure 1 refer to , , , and , respectively. From Figure 1(a), it can be seen that the labeled GLRT detector performs similarly to that of the unlabeled detector with the knowledge of θ; both detectors detect better than unlabeled detector without the knowledge of θ, which demonstrates that the label information play an important role in reliable signal detection when the variance is comparable to the mean of h. For unlabeled detectors, it can be shown that the mean detector is very attractive because of its simple implementation and competitive performance. It is also noted that the unlabeled detector with known θ has a similar detection performance to that of the mean detector. From Figure 1(b), it can be seen that the performance of the energy detector is comparable to the other unlabeled data-based detectors; all these three detectors perform inferior to that of the labeled detector. Another observation gleaned from Figure 1(a) is that the mean detector is the worst detector for zero mean channel coefficients, which coincides well with the theoretical analysis presented in Section 2. In the case of constant channel coefficients, the clairvoyant detector, the mean detector, and the unlabeled GLRT with known θ detector have equal performance, and the performance of the labeled GLRT detector exhibits the same performance as the unlabeled GLRT with unknown θ detector, as can be seen from Figure 1(c). What we can conclude from Figure 1(d) is that the unlabeled GLRT detector without the knowledge of θ has the similar performance to that of the mean detector, and both detectors perform worse than the unlabeled detector with the known θ.

4.1.2. Low Noise Level

The simulation parameters are the same as that of the above high noise level except , . When the noise level is low, the conclusions from Figure 2 are basically the same as those of the high noise level. But the detection probability PD reaches 1 more quickly with the benefit of the improved SNR.

4.2. PD versus K
4.2.1. High Noise Level

Next, we investigate the detection performances versus the observation time K in the scenario of high noise level, where N = 40, PFA = 0.05, , and . Since increasing K will decrease the variance of the equivalent noise e defined in (7), it can be expected that the detection performance of almost all the detectors will improve as K increases. Actually, numerical experiments indicate the intuitive conjecture (see Figure 3). The only exception is that the mean detector does not work under zero-mean channel coefficients; therefore, increasing K does not bring any gains. It is also noted that the detection probabilities of the mean detector and the energy detector occasionally decrease in subgraph (d) with the increase of K.

4.2.2. Low Noise Level

The simulation parameters are the same as those of the high noise level except , . When the noise level is low, the conclusions from Figure 4 are basically the same as those of the high noise level. But the detection probability PD reaches 1 more quickly and the curves are more smooth and monotonous.

4.3. PD versus N
4.3.1. High Noise Level

In the third subsection, the detection performances versus the number of sensors N for various channel coefficients are plotted in Figure 5 in the scenario of high noise level, where K = 5 and PFA = 0.05, , , respectively, for all cases. As can be seen from Figure 5, the overall tendency is that PD keeps rising with the increase of N, but the curves are not strictly monotonous when is large. In particular, the detection probabilities of the energy detector occasionally decrease in subgraph (d) with the increase of N. One reasonable interpretation is that although larger sensor network can provide more observations for signal detection, the growing size of the permutation matrix simultaneously brings more uncertainties. These two factors together produce the slight fluctuation.

4.3.2. Low Noise Level

When the noise level is low, i.e., , the conclusions from Figure 6 are basically the same as those of the high noise level. But the detection probability PD reaches 1 more quickly and the curves are more smooth and monotonous.

4.4. PPer versus SNR

In this subsection, the probability of successfully recovering the permutation matrix Π versus the SNRw and SNRυ is plotted in Figure 7 of the unlabeled GLRT with known θ detector and in Figure 8 of the unlabeled GLRT with unknown θ detector, where the number of sensors N and the signals K is set to be 20 and 5, separately. For , it can be seen that distinguishing the permutation matrix is meaningless and the results are not plotted. The probability is closer to 1 if the color of the region is closer to black. What we can conclude from Figure 7 and Figure 8 is that, for both detectors, only in the very high-SNR scenarios, the probability is 1. As the SNR decreases, the recovery probability will quickly reach 0, implying the transition phase is very sharp. Furthermore, both SNRw and SNRυ in the previous numerical experiments are less than − 10 dB, which means that the permutation matrix is not recovered correctly. This result also demonstrates that detecting the signal is much easier than recovering the permutation matrix.

5. Conclusion

In this paper, distributed constant level detection based on unlabeled network observations is studied. Detection statistics are established for unlabeled and labeled GLRT, mean detector, and energy detector. Theoretical analyses of the various detectors are provided, and their performances are evaluated by performing MC simulations. Numerical results demonstrate that behaviour of the proposed detectors versus the numbers of sensors and the observation time are basically positive related. The unlabeled GLRT detector often performs better than the energy detector. Meanwhile, the performance degradation of the unlabeled GLRT detector is small, comparable to that of the labeled detector.

Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

Conflicts of Interest

The authors declare that they have no conflicts of interest.