Abstract

Orthogonal frequency division multiplexing (OFDM) is the key technique of the communication system. In this paper, coprime array is designed in OFDM system to obtain joint direction of arrival (DOA) and carrier frequency offset (CFO) estimates. The proposed system can achieve beamforming and adaptive signal processing, reduce the multipath fading, and attain angle diversity. Meanwhile, coprime array has the advantages of extended array aperture, increased degrees of freedom, and reduced mutual coupling effect, which is adaptable in OFDM system. Moreover, this paper proposes a low-complexity parameter algorithm with superior performance, which first exploits propagator method (PM) as the initialization and then parallel factor (PARAFAC) method is employed for the accurate DOA and CFO estimation. Simulation results verify the effectiveness of the OFDM coprime array system and the proposed low-complexity multiparameter algorithm.

1. Introduction

Array signal processing is to arrange several sensors into sensor array to collect spatial signals and output discrete observation data related to signal sources [1]. Compared with the wireless communication model with only a single receiving antenna, antenna arrays can provide spatial angle diversity and are widely used in radar, sonar, seismic detection, and radio astronomy [2, 3]. Direction of arrival (DOA) estimation is an important processing step in the signal processing of array antenna or sensor systems. The process is to estimate the spatial position of the signal of interest based on the signal received by the antenna/sensor array. Since Howells proposed an adaptive sidelobe canceller [4], a large number of scholars have developed various DOA methods in the past few decades, such as traditional spectrum estimation and subspace spectrum estimation. The dimensions of DOA estimation have also expanded from one-dimensional DOA estimation to multiparameter joint estimation, such as typical elevation/azimuth two-dimensional DOA estimation, while emerging technologies such as compressed sensing [5, 6] and deep neural network [7] have been introduced to achieve superresolution channel estimation and DOA estimate.

With the development of array signal processing, more and more attention has been paid to the modification of array manifold. The idea of the coprime linear array (CLA) is introduced in [810], and an equivalent virtual array with a larger aperture can be generated through the difference of multiple subarray data [1117]. The spacing of these subarrays meets the coprime relationship. The coprime array proposed by Vaidyanathan and Pal is composed of two subarrays with and array elements, respectively. The distances between adjacent elements in the two subarrays are and , respectively. The whole coprime array can obtain degrees of freedom by generating the virtual sensors. Reference [11] introduces compressed sensing into coprime array to achieve DOA estimation. First, a random compressed sensing core compresses the received signal into low-dimensional measurement values, and then, the compressed measurement values are utilized to achieve high-resolution DOA estimation as well as maintain the enlarged array aperture produced by the relatively prime array. A search-free DOA estimation method for coprime array is proposed in [12], which avoids spectral peak search and thus reduces the computational complexity significantly. Reference [13] investigates the problem of joint DOD and DOA with bistatic MIMO radar using tensor decomposition. Reference [14] proposes an improved coprime array model. Compared with the general coprime array, the number of elements required can be greatly reduced under the goal of achieving the same virtual aperture and degree of freedom. The array manifolds can be used in subspace classes or DOA estimation algorithms based on compressed sensing. Reference [15] studied the impact of bit quantization technology widely used in massive MIMO on the DOA estimation performance of nested arrays and coprime arrays and pointed out that the sparse arrays can yield better DOA estimation performance by exploiting 1-bit quantization.

Orthogonal frequency division multiplexing (OFDM) has superior ability to resist multipath fading and can support multiuser access, which represents an efficient technique for mobile communications. However, because even a small frequency offset estimation error can cause interference between OFDM subcarriers [18, 19], resulting in a substantial decline in the performance of the OFDM system, accurate carrier frequency offset (CFO) estimation is critical to the practical application of OFDM systems. Therefore, CFO estimation has attracted the attention of a large number of researchers. Generally speaking, CFO estimation algorithms can be divided into nonblind CFO estimation algorithm and blind CFO algorithm. Nonblind CFO estimation algorithms include pilot-based CFO estimation [20] and training sequence-based CFO estimation [21, 22] and CFO estimation methods based on cyclic prefix [23]. Blind CFO estimation algorithms include CFO estimation based on MUSIC [24], CFO estimation based on ESPRIT [25], blind CFO estimation algorithm based on PM [26], and Capon [27] blind CFO estimation algorithm, kurtosis-based and constant modulus-based CFO estimation [28, 29], and cycle statistics-based CFO estimation [30] algorithm. Compared with the methods in [21, 22, 24], blind CFO estimation methods have higher bandwidth efficiency. Some subspace-based blind estimation methods such as MUSIC and ESPRIT can achieve high-precision CFO estimation. However, they require a virtual carrier and will bring a certain loss of spectral efficiency. For non-Gaussian sources, reference [28] uses kurtosis to measure non-Gaussianity, while references [29, 30] use other properties of the source, such as constant mode and cyclic stability. In addition, the trilinear decomposition technique [31] is also widely used in the field of CFO estimation and can achieve accurate estimation.

However, according to the current researches, there are few effective algorithms for joint estimation of DOA and CFO in OFDM system. Considering the fact that the extended and sparse coprime array avoids compact array structure, where severe mutual coupling effects of half-wavelength-based array are alleviated, and the OFDM model offers the possibility of the joint estimation of DOA and CFO, we combine the advantages of coprime array and OFDM systems to achieve high-precision DOA and CFO joint estimation in this paper. In terms of algorithms, we propose a low-complexity joint parameter algorithm based on the traditional PM and trilinear decomposition parallel factor algorithm. PM is employed to obtain the coarse estimates as initialization, which possesses low complexity since there is no need to perform eigenvalue decomposition on the covariance matrix or singular value decomposition of received data.

Considering that the conventional trilinear decomposition has a large amount of calculation due to the large number of iterations, the proposed algorithm employs the estimates obtained by PM as the initial iteration value, which reduces the number of iterations of the trilinear decomposition and thereby reduces the computational complexity remarkably.

To sum up, the contributions of this paper are concluded as follows: (1)We model the problem of spatial-frequency estimation for OFDM system with parallel factor (PARAFAC)(2)We employ coprime array to obtain joint CFO and DOA estimates. Compared with uniform linear array (ULA), coprime array has extended array aperture and reduced mutual coupling effect(3)A low-complexity multiparameter estimation algorithm is proposed to reduce the computational burden, where PM is utilized as the coarse initialization and PARAFAC algorithm as the accuracy estimates. Benefiting from the initialization, the number of iterations can be greatly reduced and the computational complexity can be substantially reduced

1.1. Notations

We use lowercase (uppercase) bold character to denote vector (matrix). is transpose of a matrix or vector. denotes matrix inverse and denotes matrix pseudoinverse, respectively. represents the Khatri-Rao product. symbolizes a diagonal matrix that uses the elements of the matrix as its diagonal element. denotes Frobenius norm and represents the trace of the matrix, which is the sum of the elements on the main diagonal of the matrix.

2. Preliminaries

2.1. Data Model

Assuming that each antenna is affected by the same carrier frequency offset, an OFDM system with an array of antennas is established. Among the subcarriers of OFDM, subcarriers are used for data communication, and the other are virtual carriers. The length of the system cyclic prefix (CP) is sampling intervals, where is greater than the maximum delay spread. The output signal has been inserted into the cyclic prefix before being transmitted through the multipath fading channel. Define the baseband signal received at the reference point as where represents the fading of the -th path and is the maximum multipath delay.

After removing the cyclic prefix, the output signal of the -th antenna can be expressed as [32] where represents the -th idle and denotes the carrier frequency offset. symbolizes the carrier frequency offset matrix. denotes the frequency domain channel response vector of the -th receiving antenna. is the frequency domain channel response of the -th subcarrier at the -th receiving antenna, where denotes the number of multipath channels and represents the -th channel fading between the -th receiving antenna and the transmitting antenna. Taking the channel fading of element at the origin as the reference, the channel fading of the -th element is , where is the distance between -th element and the reference, denotes the direction of arrival angle, and represents the wavelength. Without loss of generality, assuming that the channel parameters remain unchanged during idle intervals, the source matrix can be defined as .

Define , and can be written as where and means to extract rows from a matrix and form a diagonal matrix. is a Vandermonde matrix and can be specified by

Then, the output signals of all antennas can be expressed as

In the presence of noise, the received signal model is where represents the received noise of the -th antenna.

2.2. Coprime Array Structure

Consider a pair of uniform linear arrays collocated at the origin, extended to the same direction with and sensor elements, respectively, where and are coprime integers. For the first linear subarray with sensor elements, the interval between adjacent sensor elements is , and for the second linear subarray with sensor elements, the interval between adjacent sensor elements is . The two subarrays share the first sensor element at the origin; hence, the total number of sensor element is . Figure 1 depicts the typical array structure model of coprime array.

Compared with the traditional half-wavelength uniform linear array with spacing between adjacent elements of half wavelength, coprime array has extended array aperture and low mutual coupling effect. Parameter estimation performance is greatly improved due to the sparse array structure. The ambiguity problem can be solved according to the coprime characteristic.

Proof. Assume that there are far-field signals impinging on the array with . Suppose there is an ambiguous angle except for , and can result in the same array manifold, which means the following relationship exists [33]: where and . Then, there may have the equation that . In other words that is Since and are coprime numbers, no pair satisfies (8). Therefore, does not exist.☐

3. Joint Parameter Estimation Algorithm

In this section, we first exploit PM to obtain the coarse initialization, and the PARAFAC is employed to get the accurate DOA and CFO estimates. Hence, the times of iterations can be reduced greatly.

3.1. PM

This section introduces the PM which is utilized as the initialization of CFO. In the case of noise, the received signal in (6) can be expressed as where and denotes the noise received of -th antenna. is the direction matrix described in (4).

It can be known from (4) that the direction matrix is a Vandermonde matrix, and CFO estimation can be carried out by using the propagation method. The direction matrix can be divided into where is full rank, . There is a linear factor between the two matrices, denoted by where is the propagator matrix.

Define the matrix as where is an identity matrix. According to (10) and (12), the following expression can be obtained

The first and last rows of are represented by and , and the first and next rows of are represented by and , respectively. According to Equation (13), we have where . Subsequently, we can deduce the following relation:

Define . Since and have the same eigenvalues, can be obtained by eigen decomposition of , and then, the estimate of can be obtained:

3.2. PARAFAC Algorithm
3.2.1. Trilinear Decomposition

One of the commonly used data detection methods for trilinear models is the trilinear alternating least squares (TALS) algorithm [11]. The basic ideas of the algorithm are as follows: (1) each residual matrix is updated based on least squares; (2) start to update another matrix; (3) repeat the above steps until the result converges. The TALS algorithm is described as follows. According to the signal model,

The cost function in iterative decomposition is where represents the Frobenius norm. are received signals with noise. Based on the least square criterion, the matrix can be updated by where represents pseudoinverse in (19). represents the estimate of the matrix . Similarly, according to the second form of slicing in the parallel factor method , which is denoted as

Based on (20), we construct the least squares fitting as where are the signal slices containing noise. The least squares of can be updated to where represents the estimate of matrix .

The conditional least squares are used to update the matrices and until the algorithm converges, and the updated results are shown in Equations (19) and (22). The channel matrix and source matrix in frequency domain can be obtained according to the TALS algorithm. The TALS algorithm is optimal in the case of additive Gaussian noise [34]. The advantages of the algorithm include easy to implement, good convergence, and easy to extend to high order data. The main drawback is that the convergence process is sometimes slow [35]. In order to accelerate the convergence rate, the algorithm proposed in this paper obtains the estimation of matrix according to (16).

3.2.2. DOA Estimation

The channel is modeled as a finite impulse response (FIR) filter of length . The frequency domain channel vector is processed through IFFT to get the time domain channel response vector, . According to the frequency domain channel matrix , the time domain channel matrix is shown as follows: where .

In order to get the direction matrix , we need to normalize the matrix . The direction vector of DOA is as follows.

According to (24), we can obtain where means to get its imaginary part of a complex number and represents the natural logarithm. Equation (25) should be arithmetic progression sequence. can be estimated by the least squares principle, and then, DOAs can be estimated according to .

The frequency domain channel matrix can be estimated according to the TALS algorithm. By performing IFFT processing of , the time domain channel response matrix can be obtained. The direction matrix can be obtained by normalizing the matrix , which also solves the scale ambiguity problem. Suppose that the estimation result of the direction vector is (the -th column of the estimated direction matrix ), then according to (25), can be obtained by processing . can be estimated according to the least squares principle.

Least squares fitting result is where

The solution for by least square is

We define , (28) can be simplified as . Because the matrix is a constant matrix in practical application, the computation of can be greatly reduced.

Finally, the DOA estimates are obtained by

3.2.3. CFO Estimation

According to (4), the -th column of is , and from that, we define

The specific expression of is as follows: where , CFO can be estimated based on the LS criterion. The scale ambiguity problem can be solved by dividing each element of (the -th column of matrix ) by (the first member of vector ). According to (31), can be obtained. Then, we use the LS criterion to measure the CFO.

Define LS fitting as , where , , and is an estimate of . Subsequently, we can obtain the LS solution for :

Then, we can estimate . Subsequently, the CFO estimation can be achieved by

3.3. Performance Analysis

In this paper, a PM-PARAFAC algorithm is proposed for OFDM systems with array antenna, by which CFO and DOA can be estimated jointly. In this section, we provide the main steps of the proposed algorithm, complexity analysis, and the advantages of the algorithm.

The detailed steps are shown as follows.

Step 1. According to the received signal , the initial value of CFO estimation is obtained by PM.

Step 2. According to (16), the initial estimation of matrix is obtained.

Step 3. The source matrix and the frequency domain channel matrix are initialized, respectively.

Step 4. According to (19), the source matrix is updated by LS.

Step 5. According to (22), the frequency domain channel matrix is updated by LS.

Step 6. Repeat Step 4 to Step 5 until convergence.

Step 7. Estimate DOA and CFO estimates by frequency domain channel matrix and matrix, respectively.

The calculation complexity of the proposed algorithm and the other three algorithms to be compared is shown in Table 1, where and are the number of subcarriers and channels employed by the OFDM system and denotes the number of snapshots.

, , , , , and .

Finally, we summarize the merits of the proposed PM-PARAFAC algorithm as follows: (a)The proposed algorithm initializes the CFO estimation by PM. It needs no eigen decomposition which takes a great amount of calculation burden(b)Joint DOA and CFO estimates can be obtained by the PARAFAC algorithm. The estimation accuracy is relatively high and the initialization reduces the number of iterations(c)The principle of coprime array keeps the ambiguity-free characteristic, which requires no extra pairing steps and avoids paring failure

4. Simulation Results

We perform some simulations to confirm the effectiveness of the proposed PM-PARAFAC algorithm in the section. First, we compare the proposed algorithm with PM and ESPRIT algorithms to highlight the prominent performance of the proposed algorithm. Then, we demonstrate the effectiveness of CFO estimation by comparing the proposed algorithm with COMFAC and PARAFAC algorithms. Finally, we compare the DOA estimation performance of the proposed algorithm with uniform linear array and coprime array. In the following simulations, root mean square error (RMSE) is employed to evaluate the performance, which is defined as where and are the estimated values of and during the simulation and is the number of independent simulations.

4.1. CFO Performance Estimation with Different Algorithms

We simulate the RMSE of CFO with the proposed CLA and the proposed algorithm in Figure 2, where , , , and . Compared with the PM, the proposed algorithm improves the estimation accuracy by the cascading PARAFAC algorithm with the initial estimation of CFO.

4.2. DOA Performance Estimation with Different Algorithms

In Figure 3, we verify the effectiveness of DOA estimation with the proposed algorithm, where , , , , and . As depicted in Figure 3, the proposed PM-PARAFAC algorithm outperforms the other three algorithms. Neither PARAFAC nor COMFAC alone can reach the performance of this algorithm because it does not narrow the iteration range through initialization.

4.3. CFO Performance Estimation with Different Arrays

Figure 4 demonstrates the CFO performance of the proposed algorithm with uniform linear array and coprime array, where , , , , and . Coprime array shows better performance in RMSE due to its extended array aperture and large degrees of freedom.

4.4. DOA Performance Estimation with Different Arrays

Figure 5 depicts the RMSE of DOA estimation of the proposed algorithm with uniform linear array and coprime array, where , , , , and . It is indicated explicitly that the coprime array outperforms the uniform linear array in RMSE.

5. Conclusions

In this paper, we apply OFDM system to the coprime array to obtain the joint estimation of DOA and CFO. The coprime array structure extends the array aperture, reduces mutual coupling effect, and has the ability of achieving ambiguity-free estimates. Meanwhile, the proposed PM-PARAFAC algorithm uses the CFO initialization estimation of the PM algorithm to obtain high-precision estimates while easing the computational burden. Both theoretical analysis and simulation results substantiate the superiority of this algorithm.

Data Availability

The data used to support the findings of this study are included within the article.

Conflicts of Interest

The authors declare that there are no conflicts of interest.

Acknowledgments

This work is supported by Application of Beidou and ultrawideband high-precision positioning technology in ubiquitous power Internet of things (51230N19000T).