 Research
 Open Access
 Published:
Distributed estimation in wireless sensor networks with semiorthogonal MAC
EURASIP Journal on Wireless Communications and Networking volume 2016, Article number: 214 (2016)
Abstract
This paper is concerned with distributed estimation of a scalar parameter using a wireless sensor network (WSN) that employs a large number of sensors operating under limited bandwidth resource. A semiorthogonal multipleaccess (MA) scheme is proposed to transmit observations from K sensors to a fusion center (FC) via N orthogonal channels, where K≥N. The K sensors are divided into N groups, where the sensors in each group simultaneously transmit on one orthogonal channel (and hence the transmitted signals are directly superimposed at the FC as opposed to be coherently combined). Under such a semiorthogonal multiple access channel (MAC), performance of the linear minimum mean squared error (LMMSE) estimation is analyzed in terms of two indicators: the channel noise suppression capability and the observation noise suppression capability. The analysis is performed for two versions of the proposed semiorthogonal MA scheme: fixed sensor grouping and adaptive sensor grouping. In particular, the semiorthogonal MAC with fixed sensor grouping is shown to have the same channel noise suppression capability and two times the observation noise suppression capability when compared to the orthogonal MAC under the same bandwidth resource. For the semiorthogonal MAC with adaptive sensor grouping, it is determined that N=4 is the most favorable number of orthogonal channels when taking into account both performance and feedback requirement. In particular, the semiorthogonal MAC with adaptive sensor grouping is shown to perform very close to that of the hybrid MAC, while requiring only log2N=2 bits of information feedback instead of the exact channel phase for each sensor.
Introduction
Wireless sensor networks (WSNs) have found applications in diverse areas such as environmental data gathering [1], industrial monitoring [2] and monitoring of smart electricity grids [3], and mobile robots and autonomous vehicles [4]. Such widespread applications of WSNs are made possible by advances in wireless communications and highspeed lowpower electronics, which makes WSNs inexpensive, compact and versatile [5]. All these applications of WSNs are based on the same fundamental task of sampling (i.e., observing) some signal parameter using sensors geographically distributed over a field and estimating the parameter of interest using a central processing unit (fusion center). Such a signal processing task is generally known as distributed estimation.
To perform distributed estimation using a WSN, each sensor makes an observation of the quantity of interest, generates a local signal, and then sends it to a fusion center (FC) via a wireless fading channel. Based on the data collected from the sensors, the FC produces a final estimate of the desired quantity according to some fusion rule. An important design consideration for a WSN is the transmission method from the sensors to the fusion center, which can be analog or digital. With analog transmission, each sensor amplifies and forwards its observation to the FC. On the other hand, for digital transmission, each sensor performs source and channel coding before transmitting the encoded information over the fading channel (see [6] and references therein). According to the studies in [7–17], analog transmission generally outperforms digital transmission. This is because the fidelity of the source’s parameter is always compromised in the source coding (quantization) process required for digital transmission, while it is preserved with analog transmission. As such, this paper also focuses on distributed estimation in WSNs based on analog transmission.
There are many factors that affect the performance of distributed estimation. These include the accuracy of sensors’ observations (which is usually modeled as observation noise), the available bandwidth and power resources, the fading characteristics of the wireless channels between sensors and the FC, the fusion rule used by the FC, and the type of multiple access channel (MAC)^{1} used to communicate the sensors’ observations to the FC. To date, there are three types of MAC commonly considered for distributed estimation: coherent, orthogonal, and hybrid. For these MACs, it is required that the responses of all wireless channels connecting the sensors to FC be estimated at the FC (typically via the use of training signals) and used in the distributed estimation algorithm. Such channel estimation at the FC is assumed to be perfect for all the MACs considered in this paper. On the other hand, whether the sensors require any channel state information (CSI) depends on the type of MAC.
For the coherent MAC studied in [8], the sensors’ observations are coherently combined and transmitted to the FC on one channel. Although the coherent MAC appears to be very bandwidth efficient, it requires that each sensor needs to know the wireless channel response from it to the FC so that synchronization among sensors can be established. This requirement presents a serious challenge in a practical implementation of the coherent MAC since the channel responses need to be measured at the FC and fed back to the sensors. Such a feedback overhead can be very significant for a large WSN. The impact of imperfect synchronization corresponding to phase errors is investigated in [18], where a masterslave architecture is also proposed to reduce the synchronization overhead. It should also be pointed out that phase modulation is investigated in [19] for coherent transmission of sensor observations to the FC, but without the important consideration of fading.
In contrast to the coherent MAC, for the orthogonal MAC examined in [7], all K sensors in the network transmit their observations to the FC via K orthogonal channels, which can be realized with orthogonal frequencydivision or timedivision multiplexing. The orthogonal MAC does not require synchronization among sensors, and hence is more favorable for implementation. The major disadvantage of the orthogonal MAC is that it requires larger transmission bandwidth or latency to accommodate K orthogonal channels. More recently, a hybrid MAC is investigated in [17], where all sensors are divided into groups and the coherent MAC is used for sensors within each group, whereas the orthogonal MAC is used across different groups. A flexible tradeoff between the coherent and orthogonal MACs can therefore be obtained by changing the number of groups and the number of sensors in each group. However, in such a hybrid MAC, synchronization among sensors within the same group is still required and the amount of channel information feedback from the FC to the sensors is the same as that of the coherent MAC.
This paper proposes and investigates the use of another type of MAC, referred to as a semiorthogonal MAC for distributed estimation. The proposed semiorthogonal multiple access (MA) scheme aims to improve the performance of distributed estimation under a limited bandwidth constraint. Specifically, considered is a scenario where N orthogonal channels are shared by K sensors to transmit the their observations to the FC, where the N is much smaller than K due to bandwidth constraint. While the semiorthogonal MA scheme is designed based on the similar idea of sensor grouping in [17], the key difference is that, in the proposed MA scheme, the sensors in one group transmit simultaneously without the expensive phase synchronization operation. This means that the signals from sensors within one group are directly superimposed instead of coherently combined as in the hybrid MAC.
The proposed semiorthogonal MA scheme can be implemented with either fixed or adaptive sensor grouping. In fixed sensor grouping, each sensor transmits on fixed orthogonal channels. In general, more than one orthogonal channel can be allocated to one sensor. However, it shall be shown that such channel allocation causes correlation among the equivalent channel responses ^{2} and degrades the estimation performance. As such, fixed sensor grouping should be done in such a way that the groups are disjoint. For adaptive sensor grouping, sensors are grouped according to the ranges (i.e., subregions) that their channel phases fall into. The extra cost for implementing adaptive sensor grouping is only log2N bits of feedback information from the FC to each sensor to indicate channel allocation. This amount of feedback overhead is significantly smaller than the phase values (real numbers) of the channel responses required in the coherent and hybrid MA schemes. It will be shown that, compared to fixed sensor grouping, the estimation performance achieved with adaptive grouping is improved by a large margin. In fact, the performance of the semiorthogonal MA scheme with adaptive grouping is very close to the performance of the hybrid MA scheme under the same bandwidth and power constraints and the same number of sensors.
There has been extensive study of distributed estimation using a WSN. To put the novelty and contributions of the current work in context, key papers on distributed estimation that are related to the study in the present paper are discussed next. The seminal work in [20] analyzes the fundamental tradeoffs between the number of sensors, their total transmit power, the number of degree of freedom of the source, the spatiotemporal communication bandwidth, and the endtoend distortion under a coherent MAC. An important result established in [20] is that, for typical situations, the distortion goes down at best like 1/K, where K is the number of sensors. For the case of a simple “Gaussian” sensor network, where a single memoryless Gaussian source is observed by many sensors subject to independent Gaussian observation noises and the sensors are linked to a fusion center via a coherent Gaussian MAC, it is shown in [10] that uncoded transmission is strictly optimal, rather than only in the scaling law sense of 1/K. The system model of distributed estimation considered in the present paper is similar to the simple Gaussian sensor network in [10], albeit the novel semiorthogonal MAC is used instead of the coherent MAC. In fact, it is shown in ([21] Chapter 5) that the semiorthogonal MAC with adaptive sensor grouping achieves the optimal scaling law.
It should be pointed out that designing optimal transmit power/energy allocation strategies for WSNs has been an active area of research in recent years. For example, reference [7] considers a WSN with the orthogonal MAC and derives the optimal power allocation policies in a way that the total distortion is minimized subject to a sum power constraint at the sensors. The work in [22] considers the same orthogonal MAC as [7] but instead of minimizing the total distortion, total transmission power is minimized under distortion constraints. Wu and Wang [23] studies power allocation taking into account sensing noise uncertainty, whereas the optimal power allocation for linear estimation over coherent MAC has been considered in [8]. All the studies on power allocation in [7, 8, 22, 23] focus on sensors equipped with conventional batteries with fixed energy storages. More recently, reference [5] addresses the problem of optimal power allocation to efficiently estimate a random source using distributed wireless sensors equipped with energy harvesting technology. Since this paper focuses on the impact of different MACs, the simple equal power allocation shall be considered throughout.^{3}
Before closing this section, it is important to stress that in a truly distributed estimation framework, the objective is to coordinate all the sensors so that without communicating with one another, they collectively maximize the quality of estimation at the FC [24]. In contrast to such truly distributed estimation, collaborative estimation is considered in [25], where the network is divided into a set of sensor clusters, with collaboration allowed among sensors within the same cluster, but not across clusters. It is shown in [25] that when the channels to the FC are orthogonal and costfree collaboration is possible within each cluster, the optimum collaboration strategy is to perform the inference in each cluster and use the best available channel to transmit the estimated parameter (local message) to the FC. The optimum power allocation among the clusters is also found in [25] and shown to operate in a waterfilling manner. Kar and Varshney [24] considers a similar sensor collaboration paradigm as in [25] but using a coherent MAC for communications from sensors to FC. The authors obtained the optimum cumulative powerdistortion tradeoff when a fixed but otherwise costfree collaboration topology is used and addressed the design of collaborative topologies where finite costs are involved in collaboration. Instead of having all the sensors collaboratively observe an (single) underlying scalar parameter, reference [26] derives an optimum power allocation scheme among collaborative sensors for the case that the sensors observe individual signals that are spatially correlated. While it is intuitively expected that sensor collaboration helps to reduce the distortion of the estimated parameter(s) at the FC, it comes at significant costs of providing reliable communication links among the collaborative sensors as well as extra signal processing (linear combination of shared observations) for each sensor cluster. As such, sensor collaboration is not considered in the present paper.
The remaining of this paper is organized as follows. Section 2 describes the system model of distributed estimation under the coherent, orthogonal, hybrid, and semiorthogonal MACs. Section 3 proposes two sensor grouping approaches for the semiorthogonal MAC. Section 4 analyzes and compare the estimation performance under the various MACs. Section 5 presents numerical results and discussion. Section 6 concludes the paper.
System model
Figure 1 shows a system model of distributed estimation using a WSN. Here, a scalar Gaussian random variable s is observed in a memoryless fashion by K sensors and each observation is subject to white Gaussian noise. The observation of the ith sensor can be expressed as
where the source signal s and observation noise v _{ i } are treated as random variables with zero mean and variances \({\sigma ^{2}_{s}}\) and \( {\sigma ^{2}_{v}}\), respectively. The observation signaltonoise ratio (SNR) is defined as \(\gamma _{\mathrm {o}} = \frac {\sigma ^{2}_{s}}{\sigma ^{2}_{v}}\).
Using analog modulation, the ith sensor simply amplifies x _{ i } with a gain a _{ i } and transmits the result to the FC. The total transmit power in this WSN is \(P_{\text {tot}}=\sum ^{K}_{i=1} {a^{2}_{i}} \left (\sigma ^{2}_{s} + \sigma ^{2}_{v}\right)\). The communication channels from sensors to the FC are considered to be wireless fading channels. Let \(h_{i}= r_{i} {\mathrm e}^{j \varphi _{i}}\), i=1,…,K, represent the channel response from sensor i to the FC. These channel responses are modeled as independent and identically distributed (i.i.d.) complex Gaussian random variables with zero mean and unit variance, denoted as \(\mathcal {CN}(0,1)\). This also means that the magnitude r _{ i } and phase φ _{ i } are independent random variables with Rayleigh and uniform distributions, respectively. On each wireless fading channel, the transmitted signal is disturbed by additive white Gaussian noise (AWGN). The AWGN sample, denoted as ω, is modeled as a complex Gaussian random variable with zero mean and variance \(\sigma ^{2}_{\omega }\). The channel SNR is defined as \(\gamma _{\mathrm {c}} = \frac {P_{\text {tot}}}{\sigma ^{2}_{\omega }}\).
The received signal at the FC is generally denoted by y=[y _{1},y _{2},…,y _{ N }]. The dimension N and expression of y in terms of a _{ i }, x _{ i }, h _{ i } and ω depend on the type of multiple access channel (MAC) realized from the sensors to the FC. This is elaborated in the below subsections. Regardless of the type of MAC, the task of the FC is to estimate the underlying source signal based on the received signal y. Using the linear minimum mean square error (LMMSE) estimator [27] and assuming that all the channel responses are available at the FC, the estimation of s is \(\check {s} = \mathbf {C}_{s \mathbf {y}} \mathbf {C}^{1}_{\mathbf {y} \mathbf {y}} \, \mathbf {y}\), where C _{ s y } is the covariance between s and y and C _{ y y } is the covariance of y. The corresponding MSE is \(\epsilon ={\sigma _{s}^{2}}\mathbf {C}_{s \mathbf {y}} \mathbf {C}^{1}_{\mathbf {y} \mathbf {y}} \mathbf {C}_{\mathbf {y} s}\), which depends on the specific realizations of channel responses h _{ i }’s. The longterm performance of a WSN is evaluated using the average MSE (AMSE), defined as \(\text {AMSE} = \mathcal {E} \left \{ \epsilon \right \}\), where the expectation is taken over channel response realizations.
Coherent MAC
With the coherent MAC [8], after the phases of channel responses are compensated at sensors, signals from all sensors are essentially transmitted on one (equivalent) channel. Thus, the dimension of y is N=1, i.e., the received signal at FC is a scalar. To realize phase compensation at the transmitters, the phase values of the wireless channel responses need to be sent from the FC to all sensors, which represents a large amount of feedback. After phase compensation, the transmitted signal at the ith sensor is \(x_{i} = a_{i} \left (s+v_{i} \right) {\mathrm e}^{j \varphi _{i}}\). Under timing synchronization among the sensors, all the useful information resides in the real part of the received signal at the FC, which can be expressed as^{4}
The LMMSE estimator and the corresponding MSE are given as
Orthogonal MAC
With the orthogonal MAC [7], K sensors transmit their observations to the FC via K orthogonal channels. The orthogonal MAC does not require feedback of channel responses from the FC to the sensors, and hence is more favorable for implementation. However, the key disadvantage of the orthogonal MAC is that it requires a larger transmission bandwidth or longer latency to realize multiple orthogonal channels. At the FC, the channel phase on each wireless channel is compensated first. After such phase compensation, all the useful information is found in the real parts of the processed signals. On the ith wireless channel, by taking the real part of the complex baseband signal, one has
where \(\bar {r}_{i} = a_{i} r_{i}\), \(\bar {v}_{i} = a_{i} v_{i} r_{i}\) and \(\bar {\omega }_{i} = \mathcal {R} \left \{ \omega {\mathrm e}^{j \varphi _{i}} \right \}\).
Let y=[y _{1},y _{2},…,y _{ K }]^{⊤}, \(\bar {\mathbf {r}}=\left [ \bar {r}_{1}, \bar {r}_{2}, \ldots, \bar {r}_{K} \right ]^{\top }\), \(\bar {\mathbf {v}}=\left [ \bar {v}_{1}, \bar {v}_{2}, \ldots, \bar {v}_{K} \right ]^{\top }\) and \(\bar {\boldsymbol {\omega }}=\left [ \bar {\omega }_{1}, \bar {\omega }_{2}, \ldots, \bar {\omega }_{K} \right ]^{\top }\). Then Eq. (5) turns to \(\mathbf {y} = \bar {\mathbf {r}} s + \bar {\mathbf {v}} + \bar {\boldsymbol {\omega }}\). It then follows that the LMMSE estimator of s based on y is
where
The corresponding MSE distortion is
Hybrid MAC
With the hybrid MAC considered in [17], all sensors are divided into groups and the coherent MAC is used for sensors within each group, whereas the orthogonal MAC is used across different groups. This MAC provides a solution for scenarios where there are N (a small number due to bandwidth constraint) orthogonal channels that are shared by K sensors, where K≥N. In this hybrid MAC, to obtain coherent combination in each group, channel phase information feedback from the FC to the sensors is still required and the amount of feedback is the same as that of the coherent MAC. In addition, the required transmission bandwidth in this MAC depends on the number of sensor groups.
After phase compensation, the transmitted signal at the ith sensor is \(x_{i} = a_{i} \left (s+v_{i} \right) {\mathrm e}^{j \varphi _{i}}\). Under timing synchronization among the sensors in the same group, on the nth equivalent channel, all the useful information is in the real part of the received signal at the FC, which can be expressed as
where Ω _{ n } is the index set of sensors in the nth group, \(\bar {r}_{n} = \sum _{i \in \Omega _{n}} a_{i} r_{i}\), \(\bar {v}_{n} = \sum _{i \in \Omega _{n}} a_{i} v_{i} r_{i}\) and \(\bar {\omega }_{n} = \mathcal {R} \left \{ \omega _{n} \right \}\). Let y=[y _{1},y _{2},…,y _{ N }]^{⊤}, \(\bar {\mathbf {r}}=\left [ \bar {r}_{1}, \bar {r}_{2}, \ldots, \bar {r}_{N} \right ]^{\top }\), \(\bar {\mathbf {v}}=\left [ \bar {v}_{1}, \bar {v}_{2}, \ldots, \bar {v}_{N} \right ]^{\top }\) and \(\bar {\boldsymbol {\omega }}=\left [ \bar {\omega }_{1}, \bar {\omega }_{2}, \ldots, \bar {\omega }_{N} \right ]^{\top }\), then similar to the orthogonal MAC, the LMMSE estimator of s based on y is
where
and \(\mathbf {\Sigma }_{\bar {\omega }}\) is still the same as (8). The corresponding MSE distortion is
Semiorthogonal MAC
The semiorthogonal MAC can be considered as a direct competitor of the hybrid MAC in the sense that they are both suitable for the scenarios where there are N orthogonal channels that are shared by K sensors, where K≥N. The key novelty in realizing the semiorthogonal MAC is that the ith sensor transmits to the FC according to a lengthN vector \(\mathbf {g}^{(i)}=\left [ g^{\left (i \right)}_{1},g^{\left (i \right)}_{2},\ldots,g^{\left (i \right)}_{N} \right ]\), whose element is either 0 or 1. The set of g ^{(i)}’s gives an allocation of N orthogonal channels to K sensors. For the ith sensor, if the nth element of g ^{(i)} is 1, then the ith sensor transmits on the nth orthogonal channel.^{5} Under timing synchronization among the sensors, the received signal on the nth orthogonal channel at the FC is
where ω _{ n }’s are the i.i.d. (over n) complex AWGN components with zero mean and variance \(\sigma ^{2}_{\omega }\).
Equation (14) can be rewritten as
where \(\hat {h}_{n}=\sum \limits ^{K}_{i=1} a_{i}g^{\left (i \right)}_{n}h_{i}\) and \(\hat {v}_{n}=\sum \limits ^{K}_{i=1} a_{i}v_{i}g^{\left (i \right)}_{n}h_{i}\) are defined as the equivalent channel response and equivalent observation noise of the nth orthogonal channel, respectively. Since y _{ n } is complex, while s is real, the phase of the equivalent channel response \(\hat {h}_{n}\) is compensated to obtain
The above phase compensation discards halves of observation noise and channel noise. It is pointed out that the phase compensation of the equivalent channel response is performed at the FC. Therefore, no phase information is needed at the sensors and feedback of channel phase information is not required.
Let \(\bar {\mathbf {y}}=\left [ \bar {y}_{1}, \bar {y}_{2}, \ldots, \bar {y}_{N} \right ]^{\top }\), \(\bar {\mathbf {h}}=\left [ \bar {h}_{1}, \bar {h}_{2}, \ldots, \bar {h}_{N} \right ]^{\top }\), \(\bar {\mathbf {v}}=\left [ \bar {v}_{1}, \bar {v}_{2}, \ldots, \bar {v}_{N} \right ]^{\top }\) and \(\bar {\boldsymbol {\omega }}=\left [ \bar {\omega }_{1}, \bar {\omega }_{2}, \ldots, \bar {\omega }_{N} \right ]^{\top }\). Then one has \(\bar {\mathbf {y}} = \bar {\mathbf {h}} s + \bar {\mathbf {v}} + \bar {\boldsymbol {\omega }}\). The LMMSE estimation of s based on \(\bar {\mathbf {y}}\) is^{6}
where
and \(\mathbf {\Sigma }_{\bar {\omega }}\) is still the same as (8). The corresponding MSE distortion is
The above expression clearly shows that the estimation performance under a semiorthogonal MAC strongly depends on how N orthogonal channels are shared by K sensors, i.e., how the sensors are grouped. The two sensor grouping strategies proposed in the next section are based on the two performance indicators established as follows. First, setting \({\sigma ^{2}_{v}}=0\) gives \(\mathbf {\Sigma }_{\bar {\mathbf {v}}}=\boldsymbol {0}\) and the MSE distortion becomes
where
The parameter α indicates the impact of channel noise on the MSE performance. The larger α is, the lesser the impact is.
On the other hand, setting \(\sigma ^{2}_{\omega }=0\) gives \(\mathbf {\Sigma }_{\bar {\omega }}=\boldsymbol {0}\) and the MSE distortion is
where
In this case, the parameter β indicates the impact of observation noise on the MSE performance. The larger β is, the lesser the impact is.
Sensor grouping methods for semiorthogonal MAC
Fixed sensor grouping
Fixed sensor grouping means that the assignment of orthogonal channels, once decided, does not change during the communication phase. When assigning N orthogonal channels to K sensors, where K≥N, an obvious question arises: Should more than one orthogonal channel be assigned to a single sensor and will this improve the MSE performance of distributed estimation?
To answer the above question, let us first examine a simple scenario where there are two orthogonal channels (N=2) with K _{1} sensors transmitting on each of them. Under equal power allocation, the gain factor is \(a_{i} = \bar {a} = \sqrt {\frac {P_{\text {tot}}}{2 K_{1} \left ({\sigma ^{2}_{s}} + {\sigma ^{2}_{v}} \right)}}\). Note that there are M= max(2K _{1}−K,0) sensors that transmit on both orthogonal channels. Treating the equivalent channel responses \(\hat {h}_{1} = \bar {a} \sum \limits ^{K}_{i=1} g^{(i)}_{1} h_{i}\) and \(\hat {h}_{2} = \bar {a} \sum \limits ^{K}_{i=1} g^{(i)}_{2} h_{i}\) as random variables, the correlation coefficient between \(\hat {h}_{1}\) and \(\hat {h}_{2}\) is easily found to be \(\rho =\frac {M}{K_{1}}\). If there is no sensor transmitting on both orthogonal channels, M=0 and the above correlation coefficient will be zero. However, such scenario requires that K=2K _{1} and all K sensors are equally divided into two disjoint groups with sensors in each group transmitting on one orthogonal channel.
Next, define \(\tilde {h}_{1}=\frac {1}{\sqrt {2 K_{1}}} \sum ^{K}_{i=1} g^{(i)}_{1} h_{i}\) and \(\tilde {h}_{2}=\frac {1}{\sqrt {2 K_{1}}} \sum ^{K}_{i=1} g^{(i)}_{2} h_{i}\), which are basically the scaled versions of \(\bar {h}_{1}\) and \(\bar {h}_{2}\) defined in (16). Then, the parameter α is \(\alpha =  \tilde {h}_{1} ^{2} +  \tilde {h}_{2} ^{2}\). Since each of \(\tilde {h}_{1}\) and \(\tilde {h}_{2}\) is a \(1/\sqrt {2K_{1}}\) times the sum of K _{1} i.i.d. complex Gaussian random variables, each with zero mean and unit variance, it is a complex Gaussian random variable with zero mean and variance 1/2. It follows immediately that the expected value of α is \(\mathcal {E}\{\alpha \}=1\). To find the expression for β, express \(\tilde {h}_{1}\) and \(\tilde {h}_{2}\) as \(\tilde {h}_{1}=\frac {m_{1}}{\sqrt {2}} \mathrm {e}^{j \phi _{1}}\) and \(\tilde {h}_{2}=\frac {m_{2}}{\sqrt {2}} \mathrm {e}^{j \phi _{2}}\). Then, Appendix A shows that, when K approaches infinity, \(\beta =\frac {2 \left [ {m^{2}_{1}}  2 \rho \cos \left (\phi _{1}  \phi _{2} \right) m_{1} m_{2} + {m^{2}_{2}} \right ]}{1  \rho ^{2} \cos ^{2} \left (\phi _{1}  \phi _{2} \right)}\). The expectation of β is more tedious to obtain, and it is given in (61) of Appendix A.
Table 1 tabulates the values of \(\mathcal {E}\{\beta \}\) versus ρ, obtained by theory and simulation. The theoretical and simulation results match very well. As can be seen, while \(\mathcal {E} \left \{ \alpha \right \}\) is a constant 1, \(\mathcal {E} \left \{ \beta \right \}\) is a monotonicallydecreasing function of ρ. This means that, while the correlation among the equivalent channel responses does not affect the channel noise suppression capability, it reduces the observation noise suppression capability. Overall, the correlation among the equivalent channel responses degrades the estimation performance, and hence should be avoided. This can be done by not assigning more than one orthogonal channel to each sensor.
For N>2, it is not easy to determine channel allocation among sensors and perform the corresponding correlation analysis among the equivalent channel responses of the orthogonal channels. Instead, the following example of ad hoc channel allocation scheme shall be investigated. Assume that K is an integer multiple of N. If \(\frac {\left (n1\right)K}{N}+K_{1} \leq K\), then the nth orthogonal channel is shared by sensors with indices in the set of \(\left \{ \frac {\left (n1\right)K}{N}+1, \ldots,\frac {\left (n1\right)K}{N}+K_{1} \right \}\). If \(\frac {\left (n1\right)K}{N}+K_{1} > K\), then the set of sensor indices is \(\left \{ 1, \ldots, \frac {\left (n1\right)K}{N}+K_{1}K \right \} \cup \left \{ \frac {\left (n1\right)K}{N}+1, \ldots, K \right \}\). With such a channel assignment, as long as \(K_{1}>\frac {K}{N}\), some sensors will transmit on more than one orthogonal channel and the correlation among the equivalent channel responses of orthogonal channels is not zero. As K _{1} increases from \(\frac {K}{N}\) to K, more and more sensors transmit on more than one orthogonal channel and the correlation among the equivalent channel responses increases from 0 to 1. Therefore, K _{1} can be adjusted for different levels of correlation among the equivalent channel responses.
With the above channel allocation scheme, the parameter α defined in (22) can be expressed as \(\alpha =\frac {1}{N}\sum _{n=1}^{N} \tilde {h}_{n}^{2}\), where \(\tilde {h}_{n}\) is \(\frac {1}{\sqrt {K_{1}}}\) of the sum of K _{1} i.i.d. zeromean unitvariance complex Gaussian random variables. It then follows that the expected value of α also equals to 1 in this case. Since the analytical expression of \(\mathcal {E} \left \{ \beta \right \}\) is not available, simulation results are obtained and shown in Fig. 2 for three settings of (N=2, K=16), (N=4, K=32) and (N=8, K=64). In obtaining these simulation results, the power allocation is performed such that each sensor transmission on one orthogonal channel consumes the same power of P _{tot}/(NK _{1}). It is observed from Fig. 2 that as K _{1} increases, \(\mathcal {E} \left \{ \beta \right \}\) generally decreases, although not monotonically. The nonmonotonic decrease of \(\mathcal {E} \left \{ \beta \right \}\) versus increasing K _{1} is due to the ad hoc channel assignment and power allocation described above. In particular, the adopted power allocation is quite “nonuniform” in the sense that the total power allocated to a given sensor is proportional to the number of orthogonal channels assigned to it. Depending on K _{1}, this number ranges from 1 to N for each sensor, whereas a larger K _{1} reduces the power level P _{tot}/(NK _{1}) allocated for each sensor transmission. The most important observation of this figure is that \(\mathcal {E} \left \{ \beta \right \}\) takes on the largest value when \(K_{1}=\frac {K}{N}\) as expected.
From the above theoretical derivations and simulation results, it can be concluded that only one orthogonal channel should be assigned to each sensor. In other words, all sensors are divided into disjoint groups and those sensors in the same group transmit on one orthogonal channel. Moreover, the fixed sensor grouping proposed here is such that all sensors are equally divided into groups, i.e., the nth group is \(\Omega _{n} = \left \{ \frac {\left (n1\right)K}{N}+1, \ldots, \frac {nK}{N} \right ]\).
Adaptive sensor grouping
With the fixed sensor grouping described in the previous subsection, the parameter α can be written as
where each α _{ n } is affected only by the channel responses of sensors transmitting on the nth orthogonal channel. Therefore α _{ n } can be interpreted as an indicator of the channel noise suppression capability of the nth orthogonal channel. Similarly, the parameter β can be expressed as
where β _{ n } is also affected only by the channel responses of sensors transmitting on the nth orthogonal channel, and it can be interpreted as the indicator of the observation noise suppression capability of the nth orthogonal channel.
The above simple observation suggests that if all sensors can be properly grouped according to their channel responses, larger α _{ n } and β _{ n } can be obtained for each orthogonal channel and thus the overall channel noise suppression and observation noise suppression capabilities of the semiorthogonal MAC will be improved.
Intuitively, sensors with channel responses of similar phases should be grouped together to get better channel noise suppression and observation noise suppression. Will this “similar phase” grouping strategy work and how to define “similar phase”? To answer this question, examine a scenario that one sensor with channel response of magnitude 1 and phase 0 transmits on an orthogonal channel. Both the indicators of the channel noise suppression and observation noise suppression of this orthogonal channel are 1. Next, add another sensor with channel response of magnitude r (r<1) and phase 𝜗 (0≤𝜗≤π) to form a group^{7}. Then the two indicators of this orthogonal channel change to:
where ϕ is the phase of the equivalent channel response and \(\tan \phi = \frac {r \sin \vartheta }{r \cos \vartheta + 1}\).
If α _{ n }>1, the added sensor is said to be constructive for channel noise suppression and if β _{ n }>1, the added sensor is constructive for observation noise suppression. Note that if the added sensor transmits on an orthogonal channel alone, then α _{ n }=r ^{2} and β _{ n }=1. This means that if the added sensor is constructive, sensor grouping improves performance of individual sensors (i.e., without being grouped).
To determine if the added sensor is constructive for channel noise suppression and/or observation noise suppression, it is straightforward to show from (27) and (28) that
The above analysis leads to the following three regions of 𝜗:

If 𝜗 is in region A, i.e., \(0\leq \vartheta <\arccos \left (\frac {r}{2} \right)\), the added sensor is constructive for both channel noise suppression and observation noise suppression. Note that region A includes \(\left [ 0, \frac {\pi }{2} \right ]\), regardless of the value of r.

If 𝜗 is in region B, i.e., \(\arccos \left (\frac {r}{2} \right)\leq \vartheta <\arccos \left (r \right)\), the added sensor is destructive for channel noise suppression, but constructive for observation noise suppression.

If 𝜗 is in region C, i.e., arccos(−r)≤𝜗<π, the added sensor is destructive for both channel noise suppression and observation noise suppression.
At this point, the question raised at the beginning of this section has been answered for grouping two sensors. In summary, if the phase difference between the channel responses of the two sensors is in the region of \(\left [ 0, \frac {\pi }{2} \right ]\), sensor grouping is beneficial. However, if the phase difference is larger than \(\frac {\pi }{2}\), grouping sensors on the same orthogonal channel may be destructive for either channel noise suppression or observation noise suppression, or for both of them, and sensor grouping may give worse performance. Therefore, if the semiorthogonal MAC is employed with N=2 or N=3 and if the whole phase region of 2π is partitioned into N=2 or N=3 equal subregions (each of length π or 2π/3), then grouping the sensors with channel phases in the same subregion to transmit on the same orthogonal channel might not always be beneficial. However, if the semiorthogonal MAC is used with N≥4 and the whole phase region is partitioned into N equal subregions (each of length \(\frac {2 \pi }{N}\)), then grouping the sensors with channel phases in the same subregion always picks constructive sensors in one group and therefore performance improvement is guaranteed^{8}.
In summary, for N≥4, adaptive sensor grouping is always beneficial and is done such that all sensors whose channel phases fall into the same nth region \(\left [\frac {2 \pi \left (n1 \right)}{N}, \frac {2 \pi n}{N}\right ]\) transmit on the nth orthogonal channel. This adaptive sensor grouping is analyzed in more detail in the next section.
Performance analysis
In general, with the same number of sensors, different MACs yield different values of \(\mathcal {E} \left (\alpha \right)\) and \(\mathcal {E} \left (\beta \right)\), implying different capabilities of channel noise suppression and observation noise suppression. This section analyzes in detail the estimation performance of the semiorthogonal MAC under fixed and adaptive sensor grouping and also compare with the coherent MAC, orthogonal MAC and hybrid MAC. The analysis and comparison are carried out for equal power allocation, i.e., \(a_{i}=\bar {a}=\sqrt {P_{\text {tot}} / K \left ({\sigma ^{2}_{s}}+{\sigma ^{2}_{v}} \right)}\).
Orthogonal, coherent, and hybrid MACs
Under equal power allocation, the MMSE distortions obtained with the LMMSE estimator for the orthogonal, coherent, and hybrid MACs can be shown to be:
and
For the orthogonal MAC, it is easily seen that \(\mathcal {E}_{\text {orth}} \left (\alpha \right) = \mathcal {E} \left (\sum ^{K}_{i=1} \frac {\left  h_{i} \right ^{2}}{K} \right) = 1\) and \(\mathcal {E}_{\text {orth}} \left (\beta \right) = K\).
For the coherent MAC, \(\mathcal {E}_{\text {coh}}\left (\alpha \right) = \mathcal {E} \left [ \left (\sum ^{K}_{i=1} \frac {\left  h_{i} \right }{\sqrt {K}} \right)^{2} \right ]\) and \(\mathcal {E}_{\text {coh}} \left (\beta \right) = \mathcal {E} \left [ \frac {\left (\sum ^{K}_{i=1} \frac {\left  h_{i} \right }{\sqrt {K}} \right)^{2}}{ \frac {1}{K} \left (\sum ^{K}_{i=1} \left  h_{i} \right ^{2} \right)} \right ]\). As K→∞, according to the central limit theorem, \(\sum ^{K}_{i=1} \frac {\left  h_{i} \right }{\sqrt {K}}\) is a Gaussian random variable with mean \(\sqrt {K} \mathcal {E} \left (\left  h_{i} \right  \right)\) and variation \(\mathcal {D} \left (\left  h_{i} \right  \right)\). Since h _{ i } is a Rayleigh distributed random variable with pdf \(f_{\left  h_{i} \right } \left (\left  h_{i} \right  \right) = 2 \left  h_{i} \right  \text {exp} \left ( \left  h_{i} \right ^{2} \right)\), it follows that \(\mathcal {E} \left (\left  h_{i} \right  \right) = \sqrt {\frac {\pi }{4}}\) and \(\mathcal {D} \left (\left  h_{i} \right  \right) = 1  \frac {\pi }{4}\). Thus
Similarly, it can be shown for the hybrid MAC that
Semiorthogonal MAC with fixed sensor grouping
For the parameter α, one has \(\mathcal {E}_{\mathrm {semiF}} \left \{ \alpha \right \} = \mathcal {E} \left \{ \sum ^{N}_{n=1} \left  \frac {\sum _{i \in \Omega _{n}} h_{i}}{\sqrt {K}} \right ^{2} \right \} = 1\), which is the same as for the case of the orthogonal MAC.
The expected value of β is difficult to obtain for arbitrary values of K and N. To gain some insight, the pdf of β is obtained by simulation and plotted in Fig. 3 for various values of \(\frac {K}{N}\). The corresponding values of \(\mathcal {E}_{\mathrm {semiF}}\{\beta \}\) are shown in Table 2. Figure 3 clearly shows that, as long as \(\frac {K}{N}>1\), there is a high probability that the value of β is larger than N=4. Furthermore, the larger the ratio \(\frac {K}{N}\) is, the more likely β takes on a larger value.
When K→∞, it is shown in Appendix B that that β follows a Gamma distribution with parameters a=N and b=2. As a consequence, \(\mathcal {E}_{\mathrm {semiF}} \left \{ \beta \right \}=2N\). This result means that, for a WSN with a large number of sensors, the semiorthogonal MAC is two times better than the orthogonal MAC in the observation noise suppression capability.
Semiorthogonal MAC with adaptive sensor grouping
As discussed in Section 3.2, adaptive sensor grouping is beneficial when N≥4. To implement the adaptive sensor grouping, the nth subregion of the phase partition is [𝜗 _{1},𝜗 _{2}), where \(\vartheta _{1} = \frac {2 \pi \left (n1 \right)}{N}\) and \(\vartheta _{2} = \frac {2 \pi n}{N}\). Let h _{ i }=x+jy and focus on the case that the phase of h _{ i } falls into the first subregion [0,2π/N). With N equallength subregions of the phase, the probability that the phase of a channel response falls into a specific subregion is 1/N. Thus, the joint pdf of x and y is simply
where x>0 and x tan𝜗 _{1}<y<x tan𝜗 _{2}. Based on this joint pdf, it is simple to show that when K→∞, the means and variances of x and y are
and
Let \(\tilde {h}_{n} = \sum _{i \in \Omega _{n}} \frac {h_{i}}{\sqrt {K}} = \tilde {x}_{n} + j \tilde {y}_{n} = m_{n} {\mathrm e}^{j \phi _{n}}\). Then, according to the central limit theorem, when K→∞, \(\tilde {x}_{n}\) and \(\tilde {y}_{n}\) are i.i.d Gaussian random variables with means and variances
It then follows that
Therefore,
On the other hand,
As K→∞, it can be shown that ϕ _{ n } can be substituted by \(\frac {\vartheta _{1} + \vartheta _{2}}{2}\) and κ takes on the following value:
Therefore
Numerical results and discussions
Table 3 compares \(\mathcal {E} \left \{ \alpha \right \}\) and \(\mathcal {E} \left \{ \beta \right \}\) among different MACs for a fixed number of sensors, K. To put these numbers in perspective, the number of orthogonal channels, N, and the amount of feedback required by each type of MAC are also indicated in the table. The theoretical and simulation results of \(\mathcal {E} \left \{ \alpha \right \}\) and \(\mathcal {E} \left \{ \beta \right \}\) are plotted in Figs. 4 and 5, respectively. Observe that when K is large enough, the theoretical results agree very well with the simulation results. For small K, the simulation result is better than the theoretical result for \(\mathcal {E} \left \{ \alpha \right \}\) of the semiorthogonal MAC with fixed sensor grouping. As for \(\mathcal {E} \left \{ \beta \right \}\), there are differences between the theoretical and simulation results of the hybrid MAC, and the semiorthogonal MAC (with either fixed or adaptive sensor grouping). This observation suggests that for these three MACs, a sufficiently large number of sensors is required to achieve the asymptotic performance.
For the semiorthogonal MAC with adaptive sensor grouping and N=4, as K→∞, \(\mathcal {E} \left \{ \alpha \right \}\) and \(\mathcal {E} \left \{ \beta \right \}\) increases in the order of K, and thus the average MSE distortion goes to zero. This phenomenon is the same as those of both the coherent and hybrid MACs. However, for the orthogonal MAC and the semiorthogonal MAC with fixed sensor grouping, the average MSE distortion converges to a fixed value as K increases. This is because \(\mathcal {E} \left \{ \alpha \right \}=1\), regardless of K, for these two MACs.
The semiorthogonal MAC with adaptive sensor grouping can achieve the same performance at low γ _{c} and even better performance at high γ _{c} as compared to the coherent MAC. However, the semiorthogonal MAC requires N=4 times the number of orthogonal channels and about five times the number of sensors. Nevertheless, it does not require channel phase information feedback. Furthermore, the semiorthogonal MAC with adaptive sensor grouping can performs very close to the hybrid MAC. According to the simulation results in Fig. 4, for \(\mathcal {E} \left \{ \alpha \right \}\), the semiorthogonal MAC is better for small K but worse for large K. With about K=16, the two MACs have the same \(\mathcal {E} \left \{ \alpha \right \}\). For \(\mathcal {E} \left \{ \beta \right \}\), the semiorthogonal MAC performs nearly the same as the hybrid MAC for all values of K. Again, it is important to point out that channel phase information feedback is needed in the hybrid MAC.
It is of interest to investigate the impact of the number of orthogonal channels N on the estimation performance under the semiorthogonal MAC with adaptive sensor grouping. To this end, the theoretical quantities \(\frac {\mathcal {E} \left \{ \alpha \right \}}{K}\) and \(\frac {\mathcal {E} \left \{ \beta \right \}}{K}\) are plotted versus N for a sufficient large K (K=128N) in Fig. 6, where the simulation results are also provided to verify the theoretical derivations. As can be seen, as N increases from 4, \(\frac {\mathcal {E} \left \{ \alpha \right \}}{K}\) decreases while \(\frac {\mathcal {E} \left \{ \beta \right \}}{K}\) stays nearly the same. Therefore with a fixed K, if N increases, which means more orthogonal channels and each with fewer sensors transmitting on, the channel noise suppression capability degrades, while the observation noise suppression capability is practically unchanged. The degradation of the channel noise suppression capability due to having more orthogonal channels is reasonable, because with more orthogonal channels, the FC needs to collect and process a larger number of received signal samples that are disturbed by independent AWGN noise components, resulting in a larger noise power overall. On the other hand, the observation noise suppression capability is determined only by the number of sensors, independent of the number of orthogonal channels.
It is pointed out that Fig. 6 also provides the results for N=2. Compared to N=4, although there are fewer orthogonal channels and thus smaller (overall) noise power for N=2, using N=2 has almost the same channel noise suppression capability as using N=4. In addition, the observation noise suppression capability for N=2 is much weaker than that for N=4. These phenomenons are consistent with the analysis in Section 3.2. In general, N=4 is the best choice for the semiorthogonal MAC with adaptive sensor grouping, which achieves the largest performance improvement while requiring the least transmission bandwidth.
The qualities \(\frac {\mathcal {E}\left \{\alpha \right \}}{K}\) and \(\frac {\mathcal {E} \left \{\beta \right \} }{K}\) are also plotted in Fig. 6 for the hybrid MAC. The advantage of the hybrid MAC over the semiorthogonal MAC with adaptive sensor grouping is most obvious for N=2. Again, this is because with N=2, destructive superposition of signals from two sensors happens in the semiorthogonal MAC, while it is never the case in the hybrid MAC. As N increases, the subregions of channel phases become narrow, and the direct superposition behaves more and more like the coherent combination. For N=8, the two MACs have nearly the same performance.
Regarding the bandwidth requirement (in terms of the number of orthogonal channels), the hybrid and semiorthogonal MACs are much more efficient than the orthogonal MAC. The coherent MAC is the most bandwidth efficient since only one channel is used. For the orthogonal MAC and the semiorthogonal MAC with fixed sensor grouping, no feedback of channel phases from the FC to the sensors is required. For the coherent MAC, due to the requirement of coherent combination among sensors, channel phases need to be transmitted from the FC to the sensors. The exact number of bits used for such information feedback depends on the capability of the feedback channel and the required accuracy, but this is certainly a large amount of overhead. For the hybrid MAC, because coherent combination among sensors in each group is required, the amount of channel information feedback from the FC to the sensors is still the same as that of the coherent MAC. For the semiorthogonal MAC with adaptive sensor grouping, the FC needs to send only log2N bits to inform each sensor the orthogonal channel to transmit on.
The simulation results of average MSE achieved by the five MACs under comparison are plotted in Fig. 7. When K=N=4, the coherent MAC obviously outperforms the other 4 MACs at low γ _{c}, which is due to its outstanding capability on channel noise suppression. In this case, the hybrid MAC and the semiorthogonal MAC with fixed sensor grouping are equivalent to the orthogonal MAC. The semiorthogonal MAC with adaptive sensor grouping performs a little better than the orthogonal MAC.
With K increasing from K=4 to K=16, the performance improvements are significant, except for the semiorthogonal MAC with fixed sensor grouping. In particular, the performance of the semiorthogonal MAC with adaptive sensor grouping is the same as that of the hybrid MAC, which is consistent with the theoretical derivation, and it is between those of the orthogonal MAC and the coherent MAC.
When K is further increased to K=80, the performance of the semiorthogonal MAC with fixed sensor grouping stays nearly the same as the performance with K=16. On the other hand, the performance of the semiorthogonal MAC with adaptive sensor grouping improves significantly. The semiorthogonal MAC with adaptive sensor grouping and K=80 achieves the same (at low γ _{c}) or even better (at high γ _{c}) performance compared to the coherent MAC with K=16. In addition, with K=80, the hybrid MAC only slightly outperforms the semiorthogonal MAC at low γ _{c}. All the simulation results match with the theoretical analysis presented before.
Finally, the average MSE performances of the semiorthogonal MAC with adaptive sensor grouping are compared for N=4 and N=8. As shown in Fig. 8, at low γ _{c}, for the network with K=80, using N=8 cannot achieve the same performance as using N=4. If K increases to 140 for N=8, then the performance is the same as that of having N=4 and K=80. This is consistent with the previous theoretical and simulation results, which are \(\frac {\mathcal {E} \left \{\alpha \right \}}{K} \approx 0.16\) for N=4 and \(\frac {\mathcal {E} \left \{\alpha \right \}}{K} \approx 0.094\) for N=8.
Conclusions
For WSNs consisting of a sufficient large number of sensors but operating under limited bandwidth resource, a novel semiorthogonal multiple access scheme was proposed for transmission from K sensors to the FC over N orthogonal channels, where K≥N. The paper thoroughly analyzed the performance of distributed estimation over such a semiorthogonal MAC with either fixed or adaptive sensor grouping and compared with the performance achieved with other related MACs. Compared to the orthogonal MAC operating under the same bandwidth, the semiorthogonal MAC with fixed sensor grouping has the same channel noise suppression capability, but twice the observation noise suppression capability as K approaches infinity. This is achieved with no requirement of information feedback from the FC to sensors. For the semiorthogonal MAC with adaptive sensor grouping, it is determined that N=4 is the most favorable number of orthogonal channels when taking into account both performance and feedback requirement. In particular, the semiorthogonal MAC with adaptive sensor grouping is shown to perform very close to that of the hybrid MAC under the same bandwidth and number of sensors, while requiring only two bits of information feedback instead of the exact channel phase for each sensor.
The present paper considers estimating a single source signal. In general, when the number of sources increases, the amount of information to transmit from the sensors to the FC increases, which translates to a larger transmission bandwidth, or equivalently a larger number of orthogonal channels. If the sources are uncorrelated, the proposed semiorthogonal transmission framework can be applied individually for each source signal. However, if the source signals are correlated, the correlation information should be used in the development of joint semiorthogonal multiple access schemes and this is left for further research.
Endnotes
^{1} To be consistent with existing literature, the term MAC is also used in this paper, although it is more appropriate to use the term “multiple access scheme” when discussing different communication methods between the sensors and FC.
^{2} The definition and meaning of equivalent channel responses will be made clearer in Section 3.
^{3} The interested reader is referred to [28] for a novel power allocation solution under the semiorthogonal MAC, which is shown to improve the estimation performance when compared to equal power allocation, especially at low channel signaltonoise ratios.
^{4} For complex scalars, vectors and matrices, \(\mathcal {R} \left \{ \cdot \right \}\) denotes the real part and \(\mathcal {I} \left \{ \cdot \right \}\) denotes the imaginary part.
^{5} This allocation is similar to the transmission in an overloaded codedivision multiple access (CDMA) systems [29, 30] if one views vector g ^{(i)} as the signature vector of sensor i.
^{6} For random variables, \(\mathcal {E} \left \{ \cdot \right \}\) and \(\mathcal {D} \left \{ \cdot \right \}\) denote expectation and variance, respectively.
^{7} If the channel response of the added sensor is of magnitude larger than 1, then it can be taken as the first sensor and the other sensor is taken as the added sensor.
^{8} Since the phases of wireless channel responses are modeled as uniform, one does not expect any benefit to use nonuniform phase partitions.
Appendix A
To obtain the expression for β, first one has (recall (18) for the definition of θ _{ n,l })
When K and K _{1} approach infinity, one has \(\sum ^{K}_{i=1} \frac {g^{(i)}_{1} g^{(i)}_{2}}{2 K_{1}} \mathcal {R}^{2} \left \{ h_{i} \right \} = \frac {M}{2 K_{1}} \mathcal {E} \left \{ \mathcal {R}^{2} \left \{ h_{i} \right \} \right \} = \frac {\rho }{2} \frac {1}{2} = \frac {\rho }{4}\), \(\sum ^{K}_{i=1} \frac {g^{(i)}_{1} g^{(i)}_{2}}{2 K_{1}} \mathcal {I}^{2} \left \{ h_{i} \right \} = \frac {\rho }{4}\), and \(\sum ^{K}_{i=1} \frac {g^{(i)}_{1} g^{(i)}_{2}}{2 K_{1}} \mathcal {R} \left \{ h_{i} \right \} \mathcal {I} \left \{ h_{i} \right \} = 0\).It then follows that
Similarly, one can show that \(\theta _{2,1} = \theta _{1,2} = \frac {{\sigma ^{2}_{v}} P_{\text {tot}}}{{\sigma ^{2}_{s}}+{\sigma ^{2}_{v}}} \frac {\rho }{4} \cos \left (\phi _{1}  \phi _{2} \right)\) and \(\theta _{1,1} = \theta _{2,2} = \frac {{\sigma ^{2}_{v}} P_{\text {tot}}}{4 \left ({\sigma ^{2}_{s}}+{\sigma ^{2}_{v}} \right)} \). Therefore,
Let \(m_{1} \mathrm {e}^{j \phi _{1}} = r_{1} + j t_{1}\) and \(m_{2} \mathrm {e}^{j \phi _{2}} = r_{2} + j t_{2}\). Then \(m_{1} = \sqrt {{r^{2}_{1}} + {t^{2}_{1}}}\), \(m_{2} = \sqrt {{r^{2}_{2}} + {t^{2}_{2}}}\), \(\phi _{1} = \arctan \left (\frac {t_{1}}{r_{1}} \right)\), \(\phi _{2} = \arctan \left (\frac {t_{2}}{r_{2}} \right)\). According to the central limit theorem, \(m_{1} \mathrm {e}^{j \phi _{1}}\) and \(m_{2} \mathrm {e}^{j \phi _{2}}\) are two complex Gaussian random variables with zero mean and unit variance. Furthermore, the correlation coefficient between \(m_{1} \mathrm {e}^{j \phi _{1}}\) and \(m_{2} \mathrm {e}^{j \phi _{2}}\) is ρ. Thus the joint pdf of r _{1}, r _{2}, t _{1} and t _{2} is
Also,
It then follows that
Let x= cos(ϕ _{1}−ϕ _{2}) and y=ϕ _{2}. Then
and
Next,
where
If −1<x<0, then
If 0<x<1, then
The functions γ(a,x) and Γ(a,x) are incomplete gamma functions [31]. Since \( x \Gamma \left (\frac {3}{2}, \frac {\rho ^{2} x^{2} {m^{2}_{2}}}{1 \rho ^{2}} \right)\) and \( x \left (1 \rho ^{2} x^{2} \right) \Gamma \left (\frac {1}{2}, \frac {\rho ^{2} x^{2} {m^{2}_{2}}}{1 \rho ^{2}} \right)\) are odd functions of x and the integral with respect to x is from −1 to 1, the two terms integrate to zero. Then one has
where
One also can compute
and similarly,
where F(α,β,γ,z) is the Gauss hypergeometric function [31]. Thus
Appendix B
Under equal power allocation, the expression of β _{ n } for the semiorthogonal MAC with fixed sensor grouping simplifies to
Let \(\tilde {h}_{n} = \sum _{i \in \Omega _{n}} \sqrt {\frac {N}{K}} h_{i} = m_{n} \mathrm {e}^{j \phi _{n}}\). Then \(\tilde {h}_{n}\) is a circularly symmetric complex Gaussian random variables with zero mean and variance 1. The numerator of β _{ n }, \( \tilde {h}_{n} ^{2}\), is of exponential distribution with parameter λ=1, whose pdf is
Since \(\hat {h}_{n}\) has the same phase as \(\tilde {h}_{n}\), so the denominator of β _{ n } turns to
When K→∞, according to the strong law of large numbers, (64) turns to
Therefore, when K→∞, \(\beta _{n} = 2  \tilde {h}_{n} ^{2}\) is exponentially distributed with parameter λ=2, whose pdf is
Finally, it is well known that the sum of N independent and identically distributed (i.i.d.) exponential random variables with parameter λ=2 is a Gamma random variable with parameters a=N and b=2. For completeness, the pdf of the Gamma distribution is as follows:
where \(\Gamma \left (a \right) = \int ^{\infty }_{0} x^{a1} \mathrm {e}^{x} {\mathrm d} x\) is the Gamma function. If a is an integer, then Γ(a)=(a−1)!.
References
 1
IF Akyildiz, W Su, Y Sankarasubramaniam, E Cayirci, A survey on sensor networks. IEEE Commun. Mag. 40:, 102–114 (2002).
 2
VC Gungor, GP Hancke, Industrial wireless sensor networks: challenges, design principles, and technical approaches. IEEE Trans. Ind. Electron. 56:, 4258–4265 (2009).
 3
VC Gungor, B Lu, GP Hancke, Opportunities and challenges of wireless sensor networks in smart grid. IEEE Trans. Ind. Electron. 57:, 3557–3564 (2010).
 4
CY Chong, SP Kumar, Sensor networks: evolution, opportunities and challenges. Proc. IEEE. 91:, 1247–1256 (2003).
 5
M Nourian, S Dey, A Ahlen, Distortion minimization in multisensor estimation with energy harvesting. IEEE J. Select. Areas in Commun. 33(3), 524–539 (2015).
 6
JJ Xiao, A Ribeiro, ZQ Luo, G Giannakis, Distributed compressionestimation using wireless sensor networks. IEEE Signal Proc. Mag. 23:, 27–41 (2006).
 7
S Cui, JJ Xiao, ZQ Luo, A Goldsmith, HV Poor, Estimation diversity and energy efficiency in distributed sensing. IEEE Trans. Signal Process. 55:, 4683–4695 (2007).
 8
JJ Xiao, S Cui, ZQ Luo, A Goldsmith, Linear coherent decentralized estimation. IEEE Trans. Signal Process. 56:, 757–770 (2008).
 9
M Gastpar, M Vetterli, in Lecture Notes in Computer Science, 2634. Sourcechannel communication in sensor networks (SpringerNew York, 2003), pp. 162–177.
 10
M Gastpar, Uncoded transmission is exactly optimal for a simple Gaussian “sensor” network. IEEE Trans. Inform. Theory. 54:, 5247–5251 (2008).
 11
K Liu, H ElGamal, A Sayeed, in IEEE/SP 13th Workshop on Statist. Singal Process. On optimal parametric field estimation in sensor networks (IEEE/SP 13thWorkshop on Statist. Singal ProcessBordeaux, 2005), pp. 1170–1175.
 12
W Bajwa, A Sayeed, R Nowak, in 4th Int. Symp. Inf. Process. Sens. Netw. Matched sourcechannel communication for field estimation in wireless sensor network (Los Angeles, 2005), pp. 332–339.
 13
MK Banavar, C Tepedelenlioglu, A Spanias, Estimation over fading channels with limited feedback using distributed sensing. IEEE Trans. Signal Process. 58:, 414–425 (2010).
 14
H Senolm, C Tepedelenlioglu, Performance of distributed estimation over unknown parallel fading channels. IEEE Trans. Signal Process. 56:, 6057–6068 (2008).
 15
TJ Goblick, Theoretical limitation on the transmission of data from analog sources. IEEE Trans. Inform. Theory. IT11:, 558–567 (1965).
 16
M Gastpar, B Rimoldi, M Vetterli, To code or not to code: lossy sourcechannel communication revisited. IEEE Trans. Inform. Theory. 49:, 1147–1158 (2003).
 17
JC Liu, CD Chung, Distributed estimation in a wireless sensor network using hybrid mac. IEEE Trans. Veh. Technol. 60:, 3424–3435 (2011).
 18
R Mudumbai, G Barriac, U Madhow, On the feasibility of distributed beamforming in wireless networks. IEEE Trans. Wireless Commun. 6:, 1754–1763 (2007).
 19
C Tepedelenlioglu, On the asymptotic efficiency of distributed estimation systems with constant modulus signals over multipleaccess channels. IEEE Trans. Inform. Theory. 57:, 7125–7130 (2011).
 20
M Gastpar, M Vetterli, Power, spatiotemporal bandwidth, and distortion in large sensor networks. IEEE Trans. Inform. Theory. 23:, 745–754 (2005).
 21
Su J, Distributed estimation in wireless sensor networks under semiorthogonal MAC. M.Sc. Thesis, University of Saskatchewan, Canada, 2014.
 22
I Bahceci, AK Khandani, Linear estimation of correlated data in wireless sensor networks with optimum power allocation and analog modulation. 56:, 1146–1156 (2008).
 23
JY Wu, TY Wang, Power allocation for robust distributed bestlinear unbiased estimation against sensing noise variance uncertainty. IEEE Trans. Wireless Commun. 12:, 2853–2869 (2013).
 24
S Kar, PK Varshney, Linear coherent estimation with spatial collaboration. IEEE Trans. Inform. Theory. 59:, 3532–3553 (2013).
 25
J Fang, H Li, Power constrained distributed estimation with clusterbased sensor collaboration. IEEE Trans. Wireless Commun. 8:, 3822–3832 (2009).
 26
M Fanaei, MC Valenti, A Jamalipour, NA Schmid, in Proc. IEEE Acoustics, Speech and Signal Process. Optimal power allocation for distributed BLUE estimation with linear spatial collaboration (Florence, 2014), pp. 5452–5456.
 27
SM Kay, Fundamentals of statistical signal processing: estimation theory (PrenticeHall, Inc., Englewood Cliffs, 1993).
 28
J Su, HH Nguyen, HD Tuan, in Canadian Workshop on Information Theory. Power allocation for distributed estimation in sensor networks with semiorthogonal MAC (St. John’s, 2015).
 29
VAP Viswanath, DNC Tse, Optimal sequences, power control and user capacity of synchronous CDMA systems with linear MMSE multiuser receiver. IEEE Trans. Inform. Theory. 45:, 1968–1983 (1999).
 30
HH Nguyen, E Shwedyk, Bandwidth constrained signature waveforms for maximizing the network capacity of synchronous CDMA systems. IEEE Trans. Commun. 49:, 961–965 (2001).
 31
IS Gradshteyn, IM Ryzhik, Table of Integrals, Series, and Products (Academic Press, New Jersey, 2007).
Acknowledgements
This work was supported by a Discovery Grant from the Natural Sciences and Engineering Council of Canada (NSERC). The authors would like to thank the anonymous reviewers for many constructive comments, which greatly helped in improving the clarity of this paper.
Authors’ contributions
The work was carried out by the first author when she was a graduate student under the academic supervision of the second author. Both authors read and approved the final manuscript.
Competing interests
The authors declare that they have no competing interests.
Author information
Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License(http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Su, J., Nguyen, H.H. Distributed estimation in wireless sensor networks with semiorthogonal MAC. J Wireless Com Network 2016, 214 (2016). https://doi.org/10.1186/s136380160716z
Received:
Accepted:
Published:
Keywords
 Wireless sensor networks
 Distributed estimation
 Multiple access channel
 Multiple access scheme