Eigenvector-based initial ranging process for OFDMA uplink systems

Abstract

At the contention-based synchronization, e.g., initial ranging process, it is crucial to identify multiple users through ranging codes and estimate the corresponding parameters such as timing offset and frequency offset. This paper presents an improved parameter estimation and pairing algorithm for initial ranging process in orthogonal frequency-division multiple access (OFDMA) uplink systems by exploiting multidimensional harmonic retrieval (HR) technique. Unlike most existing techniques that estimate each parameters independently and associate the ranging codes with the estimated parameters manually, the proposed method estimates multiple user’s ranging code, timing and frequency offsets simultaneously, and pair up all the multiple parameters automatically. The simulation results confirm that the proposed technique not only improves the ranging code detection capability and adjusts the acquisition range of the estimators but also increases the maximum number of resolvable users for given samples.

1 Introduction

In general orthogonal frequency-division multiple access (OFDMA) uplink systems, to maintain the orthogonality among multiple users, the signals from all active users should arrive at the base station (BS) synchronously [1]. In order to align the signals of multiple users, contention-based random access procedure, called as initial ranging process, should be performed in the beginning in order to identify multiple users as well as to estimate the corresponding timing and/or frequency offsets for the adjustment/alignment [2, 3]. So, code identification as well as multiuser timing estimation are the main tasks of the BS in contention-based synchronization processes.

On the contention-based synchronization process, the same time/frequency resources are shared by multiple users, so the multiple access interference (MAI) limits the performance of ranging detectors. Consequently, it is essential to deal with MAI of ranging subscriber stations (RSSs) to achieve the reliable initial ranging performance.

In the beginning, the existing ranging detection methods simply treat the MAI as noise, which results in the performance degradation as the number of RSSs increases due to the limitation by the amount of MAI [4–6]. To decrease the effect of the accumulated MAI on the ranging process, Ruan et al. [7] proposed a successive multiuser detection (SMUD) algorithm which detects the channel paths of active ranging signals and cancels their interference for further detection. In order to alleviate the high computational complexity of SMUD, the low-complexity method is proposed in [8], and in order to increase the resilience to MAI, a generalized likelihood ratio test (GLRT) approach is also exploited to derive a two-stage interference cancellation scheme [9]. However, it is shown that still SMUD and interference cancellation-based methods are vulnerable for MAI, and the code detection and parameter estimation performance are severely degraded as the number of active RSSs increases due to accumulated residual MAI [10].

In order to reduce the chance undergoing severe amount of MAI and exploiting the frequency selectivity of the fading channels, subchannel-based frame structure is proposed which allocate a smaller number of subcarriers to each ranging opportunity so that most of the RSSs are expected to transmit on disjoint sets of subcarriers with alleviated interference to each other [11–15].

With the improved parameter estimation capability, subspace decomposition-based approaches are exploited to accommodate the detection of multiple RSSs simultaneously [14, 15]. However, in order to achieve the code detection and parameter estimation at the same time, the allowable parameter estimation range is strictly limited. In order to bind the detected ranging codes with the estimated timing or frequency offsets, the methods either sacrifice the estimation performance by inserting the code sequence in the estimated parameters [14] or perform exhaustive full search by correlating all sets of ranging codes and offsets at the BS [11, 15]. Bacci et al. introduced a game-theoretic approach to derive an energy-efficient method for contention-based synchronization problem [16]. The ranging process is formulated as a noncooperative game for each terminal to determine the transmit power and detection strategy in a selfish way to maximize the detection probability with the minimum energy consumption.

The topic of multidimensional harmonic retrieval (HR) problems are encountered in a variety of signal processing applications including radar, sonar, seismology, communications, MIMO wireless channel, and the different types of schemes are utilized for the application [17–21]. Among these, principal-singular-vector utilization for modal analysis (PUMA) is used as the computationally attractive solution in HR [17]; however, it may not work properly when there are identical frequencies in one or more dimensions. On the other hand, the improved multidimensional folding (IMDF) scheme, which uses eigenvector instead of eigenvalue for estimating frequencies, can resolve identical frequency scenarios by introducing the randomness on the sample data [18, 19]. These IMDF algorithms introduced more relaxed identifiability bound, i.e., increased number of resolvable frequencies for the given sample data [19]. In order to improve the performance, the approaches with the use of higher-order singular value decomposition (HOSVD) and/or structured least squares technique are introduced in [20, 21]. Instead of using stacking matrix form, the HOSVD method captured the structure inherent in the received data at the expense of a high computational complexity [20, 21]. It was shown in [20] that the general computational complexity of the tensor-based approach (HOSVD) is higher than that of the matrix based one (IMDF) even with the computationally efficient subspace estimation methods.

In order to improve the ranging process performance as well as to incorporate the superiority of HR technique with reasonable complexity, the preliminary design utilizing IMDF approach was first introduced in [22]. However, since the single snapshot IMDF approach [18] is simply exploited in [22], the automatic pairing property and multiple resource element utilization were not fully exploited in [22], which results in the limited number of resolvable RSSs as well as the limited detection and estimation performance improvement without proper two-dimensional code design.

Since the multiple snapshot approach is quite well aligned with the inherent OFDMA subchannel allocation concept, we propose an improved ranging technique using IMDF with finite snapshots [19] for the initial ranging process. It enables for all the detected ranging codes, the estimated timing offsets and frequency offsets of multiple users to be automatically paired, so extra ranging code and offset association process, which usually requires high computational complexity, can be avoided.

Even though our approach is based on the IMDF algorithm, but it is not a trivial application of the IMDF algorithm to the ranging process. On the top of the IMDF methodology, our novel contribution is twofold.

First, we properly formulate initial ranging signals into finite snapshots such that automatic pairing property can be fully exploited during the procedure, which brings the improved performance as well as the reduced pairing complexity. Moreover, the maximum number of resolvable RSSs that the BS can distinguish can be also increased by applying multidimensional folding (MDF) algorithm.

Next, with the virtue of the automatic paring property, two-dimensional ranging code is newly proposed. The new code index pair design, ranging code extraction and detection procedure, decision boundary for the circular code index pair, and redefined detection events using the code index pair with multiset theory are introduced. According to the new code index pair concept, the enlarged timing and/or frequency offset acquisition range is also derived.

The rest of this paper is organized as follows: Section 2 explains an OFDMA uplink system model in a contention-based synchronization (initial ranging) process. Section 3 explains the proposed harmonic retrieval algorithm with multidimensional folding for extracting the code, timing offset, and frequency offset of active RSSs. In addition, the proposed two-dimensional code design and code detection/evaluation methodology is described. In Section 4, the statistical characteristics of the proposed algorithm, which utilizes IMDF method, is derived to show the identifiability for the number of resolvable RSSs and to confirm the acquisition range of the proposed algorithms on the timing offset and frequency offset. Section 5 evaluates the performance of the proposed method and investigates the comparison with the existing algorithms. Section 6 presents our conclusion.

Throughout this paper, upper (lower) boldface letters will be used for matrices (column vectors). A^∗, A^T, A^H, and A^† denote the conjugate, transpose, Hermitian transpose, and pseudo inverse of A, respectively. We will use ⊗ for the Kronecker product, ⊙ for the Khatri-Rao (columnwise Kronecker) product [23], I _n for a n×n identify matrix, 0_m×n for an m×n zero matrix, [ a] _n for the nth element of a, and [ A]_m,n for the (m,n)th element of A, D(a) for a diagonal matrix with a as its diagonal.

2 System model

2.1 Ranging process overview

Figure 1 shows the brief signal flow on the initial ranging process. First of all, each RSS catches the downlink synchronization signal to detect its relative frame timing position and to estimate its absolute carrier frequency offset. Since every RSS can compare and compensate its frequency to the reference one from the BS, the coarse frequency synchronization can be completed before the initial ranging trial is started. Therefore, the residual frequency offset error due to the imperfect estimation is only remained for each RSS as shown in Figure 1.

Figure 1

Initial ranging process signal flow and timing.

On the other hand, the absolute frame timing of BS is unknown to each RSS since the propagation delay is unknown to each RSS (refer Figure 1). Therefore, each RSS only estimates its relative downlink frame timing position at first. Next, each RSS transmits its own initial ranging sequence, which is locked on the estimated frame timing, to the BS with the network access request. Once BS receives the sequences from multiple RSSs, the BS should identify multiple RSSs and estimate every RSS’s timing offset and residual frequency offset independently. Finally, from the given estimate, the BS provides the timing and frequency feedback info to the identified RSSs with the network grant message. Consequently, it is crucial on the initial ranging process for BS to identify as many as RSSs and to estimate their timing and frequency offsets as accurate as possible.

The whole transceiver block diagram of the ranging process is shown in Figure 2, and the detailed procedure on how to construct the ranging sequence with the code and to perform the code detection and timing/frequency estimation is described in the following.

Figure 2

Transceiver block diagram of the initial ranging process.

2.2 Resource allocation for ranging process

Let us consider an OFDMA uplink system employing N subcarriers. Among the whole subcarriers, virtual subcarriers are placed at both edges of the spectrum to prevent the spectrum aliasing. Except the virtual subcarriers, the useful subcarriers are grouped by multiple subchannels, and these subchannels are assigned to multiple users (subscribers) for transmission. Typically, each subchannel is divided into Q subbands composed of a set of V adjacent subcarriers [14, 15, 24]. When one transmission block consists of M consecutive OFDMA symbols, let us define a bunch of consecutive V subcarriers (one subband) and M OFDMA symbols as a tile.

Now, among multiple subchannels, let us assume that each RSS only uses a set of R subchannels for ranging with M consecutive OFDMA symbols, and then the total number of subcarriers used for ranging is N _R =RQV.

After the fast Fourier transform (FFT) at the receiver, the received data at the qth tile of the ranging subchannel is written as:

(1)

with ∀q∈ [ 1,Q],∀v∈ [ 1,V],∀m∈ [ 1,M]. In (1), K is the number of active RSSs participating the ranging process, and v and m denote the subcarrier and OFDMA symbol index within the tile, respectively. H _k [ x],x∈ [ 0,N-1] is the channel frequency response of the kth RSS on the xth subcarrier position.

Since there is no big frequency offset difference between stations after the coarse frequency offset synchronization, the inter-carrier-interference (ICI) term caused by the residual frequency offset is ignored for the simplicity in (1) whereas the accumulated phase rotation term caused by frequency offset is still included.

In (1), the length of one OFDMA symbol is N _T =N+N _G with N _G guard interval for ranging symbols, and i _q is the starting subcarrier index for the qth tile, and θ _k and ε _k denote the timing and frequency offsets of the kth RSS, respectively. [W _q ]_v,m is a complex additive white Gaussian noise (AWGN) with zero mean and variance . C _k is the code sequence matrix for the kth RSS.

Here, let us assume that θ _k ∈ [ 0,θ_max] and ε _k ∈ [ -ε_max,ε_max] where θ_max and ε_max are defined as the maximum allowable timing offset and and absolute frequency offset of the system, respectively.

2.3 Code design

Let us design the code sequence for the kth RSS user as:

(2)

Here, C _T and C _F are defined as the design parameters to determine the two-dimensional code index pair grid. Note that C _T and C _F can be properly chosen according to RSS’s timing and frequency distributions. Let us define a _k = [ t _k f _k ]^T as a two-tuple for the code index pair of the kth user where t _k ∈ [ 0,C _T ) is the code index at the timing offset domain and f _k ∈ [ 0,C _F ) is the one at the frequency offset domain, respectively. The tuple a _k is chosen from the whole code index pair set , i.e., .

Since the subband size in one tile is designed to be smaller than the channel coherence bandwidth [14, 15], H _k [ x]≈H _k [ x+1] within the tile. Therefore, by averaging V subcarriers, the received output can be expressed as an average channel response as follows:

(3)

where [h _q ] _k is the average of the phase-rotated channel response for the kth user at the qth tile written as:

In (3), the code sequence of the kth user, [ C _k ]_v,m, is absorbed into the effective timing and frequency offsets as η _k and ξ _k , and this effective timing and frequency offsets of the kth user are given by:

(4)

(5)

3 MDF estimation using multiple tiles

In order to exploit automatic pairing property of HR, we formulate the received signal as a two-dimensional (2-D) mixture form and then apply MDF estimation method [18] for estimating timing and frequency offsets of RSSs as well as detecting RSSs codes simultaneously.

3.1 2-D mixture model

Let us recall the received symbols at the qth tile is . Given (3), X _q can be written as 2-D mixture matrix form as:

(6)

where and are the transpose of Vandermonde matrices with the common ratios and for each column to represent the timing and frequency offsets of K RSSs, respectively.

For simplicity, let us define the (v,m)th element of the matrix X _q as x_q,v,m, i.e., x_q,v,m= [ X _q ]_v,m. Then, from the given Eq. 6, we can define the sample vector form , which is:

(7)

where is the vector form of the noise matrix W _q . Since the received signal is formed as undamped 2-D exponentials for each tile, we can apply MDF algorithm [18] for each tile at the initial ranging process.

3.2 MDF algorithm using multiple tiles

3.2.1 Smoothing operation

As shown in (6) and (7), the observed symbols at each tile can be described as the special form of the multiple harmonic combinations. Based on this structure, we even apply smoothing operator in order to fully utilize this special characteristics of the observed symbols and improve the estimation performance.

Let us define a set of two-dimensional selection matrices given by:

(8)

where V₁,V₂ and M₁,M₂ are positive integers satisfying V₁+V₂=V+1 and M₁+M₂=M+1.

Using (7) and (8), let us define smoothing operator and the smoothed matrix for the sample vector as:

(9)

where . Here, we show an explicit expression of using x_q,v,m in order to figure out the smoothing operator:

with :

In the absence of noise, it is already verified in [18], Lemma 2 that (9) can be decomposed into harmonic matrices as follows:

(10)

where:

(11)

(12)

with V₁+V₂=V+1 and M₁+M₂=M+1. and , are the transpose of Vandermonde matrices with the common ratios and .

For the noisy case, the perturbation analysis can be applied to derive the theoretical MSEs of one realization of timing and frequency offset estimation [19], Equations (33) to (47). However, since timing offset θ _k and frequency offset ε _k are all unknown random variables in the ranging process, the theoretical performance analysis on the deterministic realization of η _k and ξ _k would be meaningless on the whole. Therefore, for the simplicity, the noiseless case is used on the derivation while the noisy case is revisited on the simulation experiment.

In (10), in order to further explore the data structure, we operate the backward smoothing as well as forward smoothing on the sample vector x _q in (7). Let us define a backward sample vector where Π _n is an n×n backward permutation matrix. By using the property of harmonics, it is easily verified that:

(13)

where and with β _k =(V-1)η _k +(M-1)ξ _k [19]. Since (13) has the same harmonic matrix form as (7), we can use both forward and backward sample vectors to estimate the phase. In the similar way like (9), can be also obtained by backward smoothing operation:

(14)

3.2.2 Multiple tile combination

Let us define the forward and backward channel matrices as:

(15)

(16)

where , . Whereas [22] uses each tile independently for the code detection and timing/frequency offset estimation, now all channel responses and signals from multiple tiles are stacked and utilized together to create just one augmented matrix . Therefore, it would be more robust for the noisy scenario due to multiple tile usage.

After calculating the smoothed matrices and for each tile, we collect all the smoothed matrices in order to perform MDF algorithm [19]:

(17)

(18)

(19)

where and as follows:

3.2.3 Eigenvector-based estimation

is of rank K almost surely. Therefore, the singular value decomposition (SVD) of yields:

(20)

where U _s has K columns that together span the column space of . Since the same space is spanned by the columns of G₁ from (19), there exists K×K nonsingular matrix L^-1 such that U _s =G₁L^-1.

U _s can be partitioned into two submatrices U₁ and U₂ (refer (46) and (47) in Appendix). Then, L can be obtained from the eigenvalue decomposition of up to column scaling and permutation ambiguity, i.e., L _sp =LΛΔ where L _sp is a practically obtained eigenvector including column scaling and permutation ambiguity, Λ is a nonsingular diagonal column scaling matrix, and Δ is a permutation matrix [18, 19]. This part is maybe most computationally complex part of the whole calculation, and the major computational load complexity to acquire L _sp is calculated as [19–21].

Once we obtain L _sp , we can retrieve up to column scaling and permutation ambiguity as:

(21)

where P _sp is a practically calculated matrix which consists of Khatri-Rao product of two Vandermonde matrices with are K columns up to column scaling and permutation ambiguity. Here, the original stacking matrix P is defined as:

(22)

(23)

where and , i.e., . In P, the phase rotation components caused by timing offset and frequency offset appear in the same column of the P. In other words, for a fixed kth column, and appear simultaneously in the same column of P. Consequently, thanks to this combined structure, we can estimate K RSS’s timing offset and frequency offset at the same time by dividing suitably chosen elements of the P.

The detailed procedure on how to obtain the above P _sp and L _sp from U _s is described in Appendix.

3.3 Effective timing offset and frequency offset estimation

Even though P _sp contains the column scaling ambiguity Λ, it is immaterial for estimating the timing and frequency offset of each user. It is because the timing and frequency offset of each user is obtained by phase differential term. Therefore, the scaling effect on the matrix is diminished. In addition, each timing offset with frequency offset is even automatically paired without heavy computational search for the pairing.

The effective timing offset on the kth column can be estimated as:

(24)

and the effective timing offset from the kth column can be obtained by:

(25)

In the similar way, the effective frequency offset on the kth column can be estimated as:

(26)

and the effective frequency offset from the kth column can be obtained by:

(27)

Note that still we have the the permutation ambiguity issue on the estimation, i.e., unknown Δ. Since the user (column) identification along with timing and frequency estimation should be performed accordingly in the ranging process, therefore it is crucial to identify each column correctly and to remove the permutation ambiguity clearly. This can be done by the proposed code extraction and code detection process.

3.4 Code extraction

Recall the effective timing and frequency offsets are composed of the code index as well as actual timing and frequency offsets as shown in (4) and (5). Since and are automatically paired, the paired ranging code, timing offset, and frequency offset of the kth RSS can be detected and estimated simultaneously by using the effective timing and frequency offsets.

Followed by (4) and (5), let us define the extracted code index pair b _k as:

(28)

where . By plugging (4) and (5) in (28), b _k is derived as follows:

(29)

where and . Since the timing offset θ _k only has the positive values, by introducing the bias ΔT on the extracted code index pair, the disturbance due to timing offset can be spread out around the original code index point t _k . Consequently, by observing b _k , we can retrieve the code index pair (t _k ,f _k ) accordingly.

3.5 Code detection

Now, the new code detection methodology and the decision boundary/criterion for the circularly repeated code index pair are introduced using multiset theory. In addition, the code detection events are newly redefined for the multidimensional code, e.g., phantom code, collided code, missing code, false-alarmed code, and correctly detected code in this section.

Figure 3 illustrates the example of code index pair set , decision boundary, and decision region for C _T =C _F =5. As discussed before, from the automatic pairing property of HR, it is possible to build up the two-dimensional code index pair.

Figure 3

Code tuple example. with C _T =C _F =5.

From b _k , the code index pair can be extracted as follows:

(30)

where is the decision region for the code index pair . Since the code index is circularly repeated per design parameter C _T and C _F , the modified maximum likelihood approach which reflects the repeated lattice structure can be applied for extracting the code index pair as follows:

(31)

(32)

where κ(k) is the detected code index for the kth received tuple (kth extracted column), is the set of all integers, and is the square of the two-norm. Once all of K code index pair is detected, and then, it should be investigated from the detected code index pairs whether or not it contains the phantom code index pair which means the index pair is duplicated more than one time.

In order to redefine the code detection events using code tuple, let us assume and as the transmitted and the detected code index pair multisets (or bag), respectively, i.e., and . In contrast to set concept, the members of the multiset are allowed to appear more than once. Here is an example to figure out the different events on the detection procedure:

(33)

(34)

This illustrates the case that six active RSSs are participated on ranging process, and two of the RSSs pick up the same code index pair a₁ and transmit (), and the BS detects the six code index pairs from the received tuple (). The multiset indicator function of a subset of a multiset is:

(35)

defined by:

(36)

where is the nonnegative integer set and μ(x) denotes the number of occurrences of x in the set. Now, let us take a look at different events on the code detection procedure.

3.5.1 Phantom code

Let us define phantom code that one code index pair is observed more than once at . The index set of the phantom code is defined as:

(37)

with κ(k) defined in (31). Since a₁ and a₂ are detected more than once in (34), here, . The phantom code can be detected at the receiver, so this code index can be opted out during the detection procedure.

3.5.2 Collided code

Collided code is defined such that one code index pair is utilized more than once at , which is the case when more than two RSSs choose the same code for the ranging. The index set of the collided code is defined as:

(38)

From the example, is defined as . Typically, it is hard to detect the collided code at the receiver side, but with the virtue of automatic pairing property in HR, if each RSS has different timing offsets and/or frequency offsets, it has a chance to remove this collided code as phantom code at the receiver side (like the example). Therefore, HR can avoid the false detection of the collided code effectively.

3.5.3 Missing code

Let us redefine missing code such that the transmitted code index pair is not detected at the receiver side except collided code, which is denoted as:

(39)

From the example, the missing code is shown as .

3.5.4 False-alarmed code

False-alarmed code means that the wrong code index pair, which is never transmitted, is detected at the receiver side. There is no way to classify the false-alarmed code at the receiver, so it usually degrades the detection and estimation performance of the system. The false-alarmed code can be calculated as:

(40)

Here, .

3.5.5 Correctly detected code

After excluding the phantom code, all the remained codes are treated as detected codes including the false-alarmed code. However, in order for the accurate evaluation of the code detection performance, let us newly define the correctly detected code which only counts the code truly transmitted and accurately received as:

(41)

From the example, the correctly detected code is calculated as .

On the whole, the index set of detected codes is described as {3} while the index multiset of misdetected codes including both and is {1,1,2,4,5}. Finally, the index set of false-detected codes is defined as {6}. Note {1} appears twice on the misdetected multiset since already carries the two collided code.

3.6 Actual timing and frequency estimation

Among K extracted code index pairs, the phantom code is firstly excluded, and only remaining code index pairs, , participate the actual timing and frequency estimation. So, the timing and frequency offsets are calculated only for the κ(k^∗)th RSSs . Based on (4) and (25), the estimated actual timing offset for the κ(k^∗)th RSS from the k^∗th received tuple is given by:

(42)

and it would be compared with if it is successfully identified without false-alarm () and the offset is accurate estimated.

In the same way, the estimated actual frequency offset for the kth RSS is written by:

(43)

and it would be also compared with if it is successfully identified without false-alarm ().

4 Statistical characteristics

4.1 Identifiability

When the estimator uses the timing offset dimension as a primary dimension, the maximum number of RSSs, which is almost surely uniquely identifiable, is derived as [19], Equation (31):

(44)

Actually, (44) can be easily induced from (19) since the matrix size of G₁ and would determine the overall rank.

By adjusting the smoothing factors V₁,V₂,M₁, and M₂, the code detection and timing and frequency offset estimation performance can be improved as well as K_uid can be increased.

4.2 Acquisition range

Basically, the transmitted code index pair is twisted by the timing and frequency offsets. So, large timing and/or frequency offsets can cause the misdetection and/or false detection. Therefore, for the reliable code detection, it is essential to limit the allowable timing and/or frequency offset ranges.

In principle, once resides on the correct decision region, i.e., , the timing and frequency offsets of the κ(k^∗)th RSS can be successfully recovered from the k^∗th received tuple, (refer Figure 3), and depending on the individual , and , the maximum allowable timing and frequency offset ranges, θ_max and ε_max, can be changed. Meanwhile, from (4) and (5), the guaranteed acquisition range not to make ambiguity at the code detection without any noise term can be derived as:

(45)

where θ_max and ε_max stand for the maximum allowable timing and frequency offsets, respectively. So, from the inequality, it is available to adjust the maximum ranges of timing offset and frequency offset accordingly by enlarging one of the allowable ranges while shrinking another ranges at the same time. Remark that even though the acquisition range is derived as a lower bound by taking only a portion of the decision region in (45), the maximum allowable ranges θ_max and ε_max are larger than the one introduced in MUSIC [15] and ESPRIT [14]. For example, with the same C _T =C _F =5, the maximum ranges of MUSIC and ESPRIT were defined as and while the ranges of the proposed HR can be picked up as and (whose range is enlarged by more than 10%) when we just treat the importance of both timing offset and frequency offset ranges equivalently with from the Figure 3.

5 Simulation results

The overall system model and simulation parameters are based on the IEEE 802.16m and 3GPP LTE environments in [2, 3]. The total bandwidth is 10 MHz, and N=1024. Let us assume that each ranging subchannel is composed of Q=3 tiles with V=6 consecutive subcarriers, while M=5 OFDMA blocks are presented in ranging subchannels. In order to corporate with wide bandwidth, extended vehicular A (EVA) channel model is applied to evaluate the performance [25].

The timing and frequency offset ranges are designed for θ _k ∈ [ 0,114) and ε _k ∈[-0.02,0.02] which correspond to the system more than 1 km cell radius considering the round-trip delay, e.g., dense small cell, and 135 km/h Doppler frequency at f _c =2.4 GHz. Note that all the simulation results reflect the ICI caused by residual frequency offset even though it is neglected in (1) for the simplicity.

The code design parameters C _T and C _F are set as C _T =C _F =7 for the proposed HR algorithm.

To verify the superiority of the proposed algorithm in terms of the code detection and offset estimation performance, the ranging algorithms using MUSIC [15] and ESPRIT [14] are also compared under a common simulation setup. In addition, the ranging algorithm exploiting Zadoff-Chu sequence structure [2, 26] is also compared as a reference under almost the same environment. Here, to evaluate the code detection performance solely, no collided code is assumed at the transmitter for all the algorithms, i.e., like [14, 15], which means all transmitted code index pair is exclusive to each other. The overall simulation parameters and frame structure are shown in Table 1, Table 2, and Figure 4.

Table 1 Common parameters for the simulation, [[2],[3]]

Table 2 Contention-based initial ranging capability with the number of RSSs

Figure 4

Transmitted frame structure. Two different frame structures are described, harmonic retrieval (HR) and Zadoff-Chu (ZC) sequence algorithm. MUSIC and ESPRIT use the same frame structure as HR.

5.1 Smoothing factor decision and identifiability comparison

Let us recall that the smoothing operator enlarges the observed data matrix to the smoothed data matrix by choosing appropriate smoothing factors V₁,V₂ and M₁,M₂ with the condition V₁+V₂=V+1 and M₁+M₂=M+1. Therefore, the size of smoothed data matrix depends on the smoothing factors. In fact, this smoothing factor could affect the code detection and offset estimation performance as well as the maximum number of distinguishable RSSs.

As shown in (44), K_uid is determined by (V₁,V₂) and (M₁,M₂) pair values, and Figure 5a shows the variation of this K_uid according to V₁ and M₁ for given Q=3, V=6, and M=5. First, we investigated most popularly obtained number in K_uid distribution, which is K_uid=12 as shown in Figure 5a. Then, from the given four cases with K_uid=12, i.e., {(V₁,M₁)|(4,4),(5,3),(6,4),(5,5)}, the smoothing factor combination which shows better performance on the whole is picked up, which is (V₁,M₁)=(4,4).

Figure 5

The number of identifiable RSSs, K _uid with (a) different smoothing factor configuration or (b) different algorithms.

In addition, Figure 5b shows the trend on the maximum number of identifiable RSSs according to the number of subcarriers for fixed number of OFDM symbols M=5. As seen in the figure, the maximum number of RSSs which MUSIC and/or ESPRIT can support is limited by M even though we allocate more subcarriers for the ranging whereas the number of RSSs for HR can keep increasing without limitation. This addresses that the proposed HR technique can be popularly exploited on the scenarios such that high volume of users and/or devices should be separated at the same time at the dense small cell.

5.2 Misdetection probability

Figure 6 describes the misdetection probability for four code detection algorithms with respect to signal-to-noise ratio (SNR) with the number of active RSSs R·K=12 and 24. The notation for each code detector and offset estimator is expressed in the Table 3.

Figure 6

Misdetection probability, P _miss with (a) R · K =12 or (b) R · K =24 RSSs.

Table 3 Code detection and offset estimation notation

As seen in the figures, the proposed HRCD shows good P_miss performance. It is because automatic pairing property in HR improves the performance of code indices detection. Even though ESPRIT code detector (ECD) also exploits two independent estimates of the code indices to make a decision, the misdetection frequently occurs for ECD due to the discrepant code indices for two independent estimations. In addition, it is shown in Figure 6a,b that ZCCD has very poor performance regardless of SNR. It is because the orthogonality property of Zadoff-Chu sequence can sustain only with small number of RSSs. Different multipath fading channels as well as asynchronous timing/frequency offsets among multiple RSSs deteriorate the ZCCD detection performance dramatically.

Note that in Figure 6b, MUSIC and ESPRIT misdetection performance cannot be evaluated for R·K=24 since it exceeds the maximum number of RSSs which MUSIC and/or ESPRIT can support, which is the limiting factor of MUSIC and ESPRIT algorithms.

5.3 False detection probability

Figure 7 depicts the false detection probability of different algorithms with RSSs R·K=12 and 24. The performance trend is almost the same as the misdetection probability. Since the false detection probability of MCD and ZCCD is very poor, we expect that the overall estimation performance can be also degraded by the false detection accordingly.

Figure 7

False detection probability, P _false with (a) R · K =12 or (b) R · K =24 RSSs.

5.4 Timing and frequency offset estimation accuracy

Figures 8 and 9 show the error variance performances of the timing and frequency offset estimation given the correctly detected codes, respectively, i.e., and . The performance is evaluated with different numbers of active RSS users in the system. Note that the performance evaluation on the timing and frequency estimation is only performed for the corrected detected code index pairs, i.e., . Unlike other methods, the proposed algorithm with HR can link the k^∗th received tuple to the code index κ(k^∗) directly without any brute-force code index search effort due to automatic pairing property.As seen in the Figure 8, HRTE outperforms other timing estimators over the whole SNR ranges regardless of the number of active users. Since it is crucial to obtain the timing misalignment information of each RSS on the initial ranging process, these curve confirm that the proposed HRTE can sustain the great performance even with high contention volume.

Figure 8

Timing estimation error variance, , with (a) R · K =12 or (b) R · K =24 RSSs.

Figure 9

Frequency estimation error variance, , with (a) R · K =12 or (b) R · K =24 RSSs.

In Figure 9, it is shown that HRFE outperforms MFE and EFE over the whole range, and HRFE becomes better than ZCFE with SNR increase. Even though HRFE shows worse performance on low SNR ranges compared to ZCFE, but please remark that this estimation error variance is only evaluated for the successfully corrected code sets, i.e., . Therefore, if we consider the poor false-alarm and missing probability performance of ZCCD shown in Figure 7 (more than 10% of false-alarm and missing), the overall ZCFE performance will be severely degraded on the whole.

On the whole, the performance of other algorithms undergo severe performance degradation because wrongly detected code index disturbs timing and frequency offset estimation. However, the proposed HRTE and HRFE algorithm more robust to the wrongly detected code effect.

6 Conclusions

First, the proposed method utilizing IMDF scheme supports the flexible subcarrier allocation usage. Basically, the proposed algorithm can be applied for the subcarrier allocation based on small tile and/or resource block structure whereas Zadoff-Chu sequence algorithm requires only the subband allocation, which should consist of consecutive subcarriers. Since the proposed algorithm also supports frequency noncontiguous combination of multiple tiles, actually it would even bring the performance improvement on the proposed scheme due to the enriched frequency diversity experience on the sample data. In addition, tile concept is compliant to the state-of-the-art wireless cellular systems, e.g., IEEE 802.16m and 3GPP LTE-Advanced [2, 3], so this scheme can be adopted directly to the practical system without any painful remedy on the frame and resource allocation structure.

Next, the proposed method using IMDF scheme fully utilizes the resources to distinguish multiple RSSs as many as possible. In the practical scenario which only a few OFDMA symbols are utilized in the ranging process, the proposed HR algorithm can still increase K_uid by adjusting the number of tiles Q and the number of subcarriers V. Note that the number of RSSs in MUSIC and ESPRIT is easily restricted by the limited number of OFDMA symbols. Consequently, it confirms that the HR algorithm can smartly utilize the given data matrix to distinguish many RSSs simultaneously.

From the simulation results, it is shown that the proposed method outperforms the other algorithms in terms of the code detection and offset estimation while supporting more number of RSSs. Especially, the newly designed and introduced two-dimensional code index pair with the aid of automatic pairing property enables for the algorithm to increase the minimum Euclidean distance between two code index pairs and improve the acquisition range and detection/estimation performance accordingly. Consequently, this HR method can be proper for the dense network ranging process such as small cell, Machine-type communications, device-to-device communications.

Appendix

Let us define two selection matrices S₁ and S₂ as:

where and .

Then, for the given U _s from (20), we obtain two equal-sized matrices U₁ and U₂ by:

(46)

(47)

According to the property of Khatri-Rao product: (A⊗B)(C⊙D)=AC⊙BD, by plugging (11) and U _s =G₁L^-1 into (46) and (47), it can be verified that:

where and . Assuming that the elements of e _η are distinct, L can be obtained from the eigenvalue decomposition of up to column scaling and permutation ambiguity [18], i.e., the eigenvalue decomposition of gives:

(48)

where L _sp =LΛΔ and Λ is a nonsingular diagonal column scaling matrix and Δ is a permutation matrix. Once we obtain L _sp , we can retrieve P up to column scaling and permutation ambiguity:

(49)