 Research
 Open access
 Published:
Predictive precoding based on the Grassmannian manifold for UAVenabled cacheassisted B5G communication systems
EURASIP Journal on Wireless Communications and Networking volume 2020, Article number: 128 (2020)
Abstract
The unmanned aerial vehicle (UAV) can extend the network coverage and improve the system throughput for 5th generation (5G) communication systems; hence, it receives a lot of attention recently. This paper considers the problem of channel predictive precoding for UAVenabled cacheassisted B5G multiinput multioutput (MIMO) systems. A novel channel precoder predictor is proposed, in which the prediction is conducted on a nonlinear vector space—Grassmannian manifold. The predictor at the receiver utilizes the current and previous channel matrices to solve the precoder at the next time and then feeds it back to the transmitter for precoding. More specifically, two submatrices are extracted from the channel right singular matrices and modeled as two points on the Grassmannian manifold. Then, the geodesic between the two points is conducted. Unlike the conventional method in which the tangent vector at the previous point is parallel transported along the geodesic, we predict the next point by use of the geodesic equation directly. We analyze the computational complexity of the proposed method and demonstrate the superiority of the proposed method by comparing with the conventional one. Besides, we adopt a general Ricean channel model in the UAV MIMO system, where both the Kronecker model and Jake’s model are incorporated. The effects of various channel model parameters on the system performance in terms of the chordal error of channel predictor and the optimum step are thoroughly investigated.
1 Introduction
In recent years, there has been a rapid progress in the wireless communication [1–3], and many wireless transmission techniques have been proposed to meet the requirement of ultrareliable and lowlatency [4–7]. The unmanned aerial vehicle (UAV), an aerial platform developed with modern communication technologies, is an unmanned and reusable aircraft powered by electricity or fuel. The UAV has wide applications and can be used in intelligence investigation, disaster relief and rescue, precise target location and tracking, etc. The UAV can increase the coverage area of 5th generation (5G) network and increase the capacity of 5G systems and user equipments (UEs) as well. Therefore, it has received a lot of attention by the industry and academia.
UAV communications usually adopt the mmWave band, since the multiinput multioutput (MIMO) technology is easy to use in this band [8, 9]. The MIMO system, equipped with multiple antennas at both the transmitter and receiver, makes use of spatial resources adequately and has high data throughput and reliable communication quality. Channel tracking/prediction is always a research hot spot in MIMO systems. Channel state information (CSI) is indispensable for the data decoding at the receiver, which is often obtained by channel estimation. Usually, it is completed with the aide of the pilot signal sent by the transmitter frequently. However, by doing so, quite a part of the channel resources are occupied by the pilot signal, especially for fast fading channels. To reduce the length of the pilot signal on the whole, channel tracking or prediction was proposed by some literature [10]. These methods include the Kalman filterbased method [10], extended Kalman filterbased method [11], sequential Monte Carlo filterbased method [12], and particle filterbased method [13]. Recently, there are some works on the channel tracking in UAV MIMO systems. In [14], a channel tracking method for UAV MIMO communication systems was proposed and investigated, in which the method explores the characteristics of timevarying UAV channels with the beam squint effect. In [15], to improve the quality of the UAV navigation, the authors designed a channel tracking algorithm for its flight control system, where the timevarying spatial channel is characterized by a 3D geometrybased channel model and the algorithm incorporates the outputs of multiple sensors in order to reduce the training overhead and energy consumption.
On the other front, channel predictive information can be feeded back to the transmitter for preprocessing in order to improve the system performance in terms of the capacity or the biterrorrate (BER) [16]. For instance, in [16], the authors proposed a subspacebased channel tracking scheme for precoded MIMO orthogonal frequency division multiplexing (MIMOOFDM) systems. The predictive CSI was used for precoding at the transmitter to improve the system throughput. With the development of UAV communications, it can be foreknown that there will be a large amount of data to be transmitted interactively between UAVs and ground base stations/terminals. For instance, with the development of forestry informatization, forestry resource management needs more data support. The UAV is suitable for collecting forestry data and sending them back to the ground control center. Besides, the UAV can be used for data offloading of possibly overloaded cellular base stations in hot spots such as sports venues and cinemas. It can also be used for periodic data distribution/collection in largescale Internet of Things networks. Large amount of data transmission requires temporary storage space. The caching technique prestores the data during the offpeak traffic and improves 5G system performance in many aspects [17–19]. With the aid of cache, it is convenient for the UAV to store data for its own use or forward data to other UAVs or ground terminals [20–22]. Clearly, the feedback information of channel prediction can also be used for UAV MIMO systems to improve the quality of data transmission.
Most previous work above is conducted based on the linear vector space, i.e., Euclidean space, which can be viewed as a linear manifold. Recently, with the rise of information geometry, a few channel tracking methods based on the nonlinear manifold were proposed and investigated [23–26]. For instance, in [23], the authors first modeled the column spaces spanned by the right singular matrix of the MIMO channel as a point of Grassmannian manifold, and then proposed a method to track the movement of the point as well as an adaptive codebook for precoding. In [26], for the timevarying MIMO system, the authors proposed a predictive quantizer for the eigenvectors of the Gramian matrix that is created from the channel matrix, in which the quantizer operates on the compact Stiefel manifold. In this paper, we mainly predict a submatrix of the channel right singular matrix, which is created by selecting a few columns of the channel right singular matrix. The submatrix has more rows than columns and can be modeled as a point of Grassmannian manifold. When the channel is time varying, it is reasonable to assume that this submatrix moves along the geodesic within a short period of time. Therefore, we intend to use the theory and results of Grassmannian manifold in the channel prediction.
For the prediction methods based on Grassmannian manifold, a key parameter in the design is the choice of the search step. However, most previous work did not investigate the parameter thoroughly. Furthermore, considering the complexity of the practical UAV MIMO channel, this article incorporates both the time correlation and spatial correlation of the channel and studies the effects of various system parameters on the chordal error performance. The contributions of this article are briefly listed as follows:
 1
We propose a novel channel predictive precoding method which is based on the geodesic equation on the Grassmannian manifold and analyze its computational complexity as well as the conventional one. Compared with the conventional method, although the complexity of the two methods is the same, the proposed method has better prediction performance in terms of the channel chordal error.
 2
We adopt a general Ricean channel model which incorporates the time and spatial correlation by combining the Kronecker model and Jake’s model. The effects of various system parameters on the system performance in terms of the chordal error of channel predictor as well as the choice of optimal step are thoroughly investigated.
 3
In the Appendix, we prove a corollary which is inferred from the geodesic equation and is helpful to verify the correctness of the geodesic equation from two points on the Grassmannian manifold.
The rest of this paper is organized as follows. The closedloop UAVenabled MIMO system model is described in Section 2. The process of channel precoding prediction and the corresponding problem of interest are illustrated in Section 3. The effect of various system parameters on the performance of the prediction algorithm is presented in Section 4, followed by conclusions in Section 5.
Notations: Boldface lowercase letters denote vectors, and boldface uppercase letters denote matrices. The notation E(.) represents the statistical expectation; \(\mathbb {C}^{\textit {m}\times \textit {n}}\) and \(\mathbb {U}^{\textit {m}\times \textit {n}}\) represent the space consisting of m×n complex matrices and the space consisting of m×n orthogonal complex matrices, respectively. For a vector x, \( \mathbf {x} \sim {\mathbb {CN}} \left ({{\boldsymbol {\mu }},{\mathbf {R}}} \right) \) represents that x follows a complex Gaussian distribution with mean μ and covariance matrix R; for a matrix X, the notations X^{1/2}, X^{H}, and Tr(X) denote its square root, Hermitian transpose, and trace, respectively; besides, I_{m} is an m×m identity matrix, I_{m,n} with n<m is created by selecting the first n columns of I_{m}, and U_{m} is an m×m unitary matrix.
2 The closedloop UAVenabled MIMO system model
2.1 The UAV MIMO channel
As shown in Fig. 1, we consider a UAVenabled MIMO system, where the base station (BS) and the UAV are equipped with N_{T} and N_{R} antennas, respectively [27, 28]. Both the BS and UAV are equipped with cache storage units. With the aid of cache, the UAV can store data conveniently for its own use or forward them to other UAVs/ground terminals at the next time. Figure 1a is the original system diagram, from which we see that there exists the line of sight (LOS) path between BS and UAV; due to the reflections of high buildings, trees, or others, there also exist nonLOS (NLOS) paths. Hence, the channel between BS and UAV is modeled as a Ricean fading channel.
For the UAV MIMO channel \({\mathbf {H}}(t)\in {\mathbb {C}}^{N_{R}\times N_T}\), we not only consider its time variation, but also the spatial correlation. In [29], a spatialtemporal correlated channel model was proposed; however, only transmitter correlation was considered. Herein, we also incorporate the receiver correlation of the channel. Consequently, the UAV MIMO channel is modeled as:
In Eq. (1), the NLOS path H_{NLOS}(t) is further expressed as:
where θ_{T} and θ_{R} denote the transmitter and receiver correlation matrix of the channel, respectively; K_{Rice} is the Ricean factor. \({{\mathbf {H}}_{\omega } }\left (t \right) \buildrel \Delta \over = \left ({{h_{ij}}\left (t \right)} \right) \in \mathbb {C}^{N_{R} \times N_T}\) and it is a random matrix that has i.i.d complex Gaussian random variables with zero mean and unit variance. The autocorrelation of each entry follows Jake’s model and it is given by:
in which the function J_{0}(.) is the wellknown Bessel function of the first kind, f_{d} is the Doppler shift, for the NLOS path, which is due to the motions of the UAV, scatters, etc.
Assuming that both BS and the UAV adopt the linear antenna array, the LOS path H_{LOS}(t) is expressed as [30]:
where fd′ is Doppler shift for the LOS path, which is due to the motion of the UAV; d_{R} and d_{T} are the antenna spacing at BS and the UAV, respectively; λ is the wavelength; and α and β are the angles of arrival and departure, respectively.
Note that the channel defined in Eq. (1) is assumed to be flat fading. If the paths are resolvable, we can incorporate the OFDM technique and transform the frequency selective channel into a flat fading one.
Remark: Concerning the angles of arrival and departure, the definitions are explained as follows. Take the angle of arrival as an example. As in Fig. 2, a plane electromagnetic wave arrives at the uniform linear antenna array. We adopt the definition of [30] and define α as the direction of arrival (DOA), i.e., the angle between the incident direction of the electromagnetic wave and the xaxis. Consequently, the time delay between the two adjacent antennas is d_{R}cos(α)/λ, which determines the form of the steering vector x_{R}. Whereas in [15], the authors define α^{′} as the DOA. Consequently, the time delay between the two adjacent antennas is d_{R}sin(α^{′})/λ. Clearly, the two definitions are equivalent since sin(α^{′})=cos(α). Besides, it is worth noting that the latter requires the assumption that the incident direction of the wave is only in the xy plane but the former does not require any assumptions. Therefore, we adopt the former definition.
2.2 The system operation
Before transmission, the user signal \({\mathbf {x}}\left (t \right) \in \mathbb {C}^{N_{s}\times 1}\), sent by the transmitter, is multiplied by a precoding matrix \({\mathbf {W}}\left (t \right) \in {\mathbb {U}^{{N_T} \times {N_S}}}\), where t is the time index and N_{S} is the number of data streams. After passing through fading channels, the signal at the receiver can be formulated as:
in which x(t) has independent data streams with its autocorrelation function being \({\mathrm E}\left [ {{\mathbf {x}}\left (t \right){{\mathbf {x}}^{H}}\left (t \right)} \right ] = {{\mathbf {I}}_{{N_S}}}\), and \({\mathbf {n}}\left (t \right) \sim {\mathbb {CN}} \left ({\mathbf {0}},\sigma _{n}^{2} {\mathbf {I}}_{N_{R} \times N_R} \right)\) is the AWGN noise [31, 32], where the effect of noise on the communication systems can be found in [33, 34]. Notation \({\mathbf {H}}\left (t \right) \in \mathbb {C}^{N_{R} \times N_T} \) denotes the MIMO flat fading channel, where the fading scenarios can be found in [35–37].
Assume that the channel estimation is ideal and the receiver has perfect channel state information (CSI) [38–40], H(t). If the channel is quasistatic fading, which means that two adjacent channel matrices can be viewed as identical, i.e., H(t+1)≈H(t), the optimal precoder at time (t+1) is given by:
where \({{\mathbf {U}}_d} \in \mathbb {U}^{{N_S} \times N_S}\) is an arbitrary unitary matrix and \({{\mathbf {V}}_d}\left (t \right) \in {\mathbb {U}^{{N_T} \times {N_S}}}\) is conducted by selecting the first N_{S} columns of V(t), which comes from singular value decomposition (SVD) of H(t), expressed as:
The precoder expressed by (6) can not only maximize the system asymptotic capacity at high signal to noise ratio (SNR), but also minimize the mean square error of data detection.
However, if the channel is fast fading, the precoder at current time t is no longer optimal for the next time t+1. In this case, as in Fig. 1b, we need a predictor, which produces a predicted precoder \({{\mathbf {\widetilde {V}}}_d}\left (t + 1 \right)\) for time t+1 by the use of V_{d}(t) and V_{d}(t−1), where the definition of V_{d}(t−1) is similar to V_{d}(t). Consequently, the precoder at time t+1 is given by:
Clearly, the smaller the distance between \({{\mathbf {\widetilde V}}_d}\left ({t + 1} \right)\) and V_{d}(t+1), the better the prediction performance. We use the chordal distance to measure their distance, the details of which will be given in the next section.
In addition, in the process of channel prediction, there is a key parameter termed as the step parameter. An aim of this article is to study the effect of various channel settings on the optimal step parameter as well as the expected chordal distance (error).
3 Channel prediction precoding method
3.1 Preliminaries of the Grassmannian manifold
Grassmannian manifold, denoted as \({\mathbb {G}}\left ({{N_T},{N_S}} \right)\) with N_{S}<N_{T}, is important in mathematical differential geometry and has many engineering applications such as channel tracking [41, 42], image identification [43], and emotion recognition [44] in recent years. It is the set of all N_{S}dimensional linear subspaces of an ndimensional space. The corresponding definition is given by:
where [X] is an equivalent class that is a set defined by \(\left [ {\mathbf {X}} \right ] \!\buildrel \Delta \over = \!\left \{\! {{\mathbf {X}}{{\mathbf {U}}_{{N_S}}}\!:\!{{\mathbf {U}}_{{N_S}}}\,{\text {is}}\,{\text {unitary}}}\! \right \}\). For the sake of convenience, we might as well write \({\mathbf {X}} \in {\mathbb {G}}\left ({{N_T},{N_S}} \right)\), meaning that X is an equivalent class whose columns span the same pdimensional subspace [16, 45]. For two points \({{\mathbf {X}}_1},{{\mathbf {X}}_2} \in {\mathbb {G}}\left ({{N_T},{N_S}} \right)\), the chordal distance is usually used to measure their distance and it is defined as [14, 23]:
where ∥·∥_{F} denotes the Frobenius norm.
Besides, the concept of geodesic plays an important role in information geometry. The term geodesic comes from geodesy, the science of measuring the Earth. Initially, a geodesic was the shortest route between two points on the Earth’s surface. Now, it is generalized and defined as the shortest route between two points of a manifold. The geodesic emanating from X_{1} to X_{2} is expressed as [41, 42]:
where \({{\mathbf {Q}}_1} \in {\mathbb {U}^{{N_T} \times {N_T}}} = \left ({{{\mathbf {X}}_1}\;{\mathbf {X}}_{1}^ \bot } \right)\), and \({\mathbf {X}}_{1}^ \bot \in {\mathbb {U}^{{N_T} \times \left ({{N_T}  {N_S}} \right)}}\) is some orthogonal basis of the orthogonal complement of X_{1}. The matrix \({\mathbf {B}} \in {\mathbb {C}^{{N_T} \times {N_T}}}\) is skew Hermitian, and it has the following form:
where \({\mathbf {A}} \in {\mathbb {C}^{\left ({{N_T}  {N_S}} \right) \times {N_S}}}\) is referred to as the velocity matrix. The matrix A can be further written as:
where Φ is diagonal with its elements φ_{i}, 1≤i≤N_{S}. The matrices \({\mathbf {U}}_{1} \in {\mathbb {U}^{{N_S} \times {N_S}}}\) and \({\mathbf {U}}_{2} \in {\mathbb {U}^{\left ({{N_T}  {N_S}} \right) \times {N_S}}}\) come from the cosinesine decomposition of a specially constructed matrix [41, 42]:
in which C is diagonal with its entries cosφ_{i} on the diagonal; S is also diagonal with its entries sinφ_{i}, on the diagonal, 1≤i≤N_{S}; and V_{1} is the right singular matrix of the SVD of \({\mathbf {X}}_{1}^{H}{{\mathbf {X}}_2}\), which can also be inferred from Eq. (14).
With Eqs. (12)–(14), the key matrix B will be created and the geodesic Eq. 11 can be finally given afterwards. According to the original definition of X(s), we have the following corollary:
We believe that the above is important since it can verify the correctness of the geodesic equation; however, it was not proved in [41, 42]. Herein, we supply a proof which is shown in the Appendix.
3.2 Review of the conventional channel prediction method [41]
The matrix V_{d}(t) can be viewed as a point of Grassmannian manifold. It is reasonable to assume that the matrix V_{d}(t) moves or changes along the geodesic within a short period of time. The conventional prediction obtains the next point mainly by two steps: (1) parallel transport the tangent matrix at V_{d}(t−1) and (2) construct a new geodesic for prediction.
First, given two points V_{d}(t) and V_{d}(t−1), the tangent matrix at the point V_{d}(t−1), in the direction of the next point V_{d}(t), is given by [41]:
where \({\mathbf {V}}_{d}^ \bot \left ({t  {\mathrm {1}}} \right) \in {\mathbb {U}^{{N_T} \times \left ({{N_T}  {N_S}} \right)}}\) is some orthogonal basis of orthogonal complement of V_{d}(t−1), \({\mathbf {A}}\left ({t  1} \right) \in {\mathbb {C}^{\left ({{N_T}  {N_S}} \right) \times {N_S}}}\) is the velocity matrix, and other details are easy to deduce by referring to the previous subsection.
Then, we transport the tangent matrix \({\mathbf {\Delta }}\left ({t  1} \right) \in {\mathbb {C}^{{N_T} \times {N_S}}}\) parallel along the geodesic between V_{d}(t) and V_{d}(t−1), and obtain a new tangent matrix [45]:
where 0≤s_{0}≤1 is the step parameter and \({{\mathbf {U}}_F}{{\mathbf {\Lambda }}_F}{\mathbf {V}}_{F}^{H}\) is the compact SVD of the matrix Δ(t−1). It is clear that \({\mathbf {\widetilde {\Delta }}}\left ({t,{\mathrm {0}}} \right) = {\mathbf {\Delta }}\left ({t  1} \right)\) and \({\mathbf {\widetilde \Delta }}\left ({t,{\mathrm {1}}} \right)\) is the tangent matrix at the point V_{d}; we shall transport the tangent matrix Δ(t−1) parallel from V_{d}(t−1) to V_{d}(t), which means s_{0}=1.
Finally, the predictive point on the manifold at time t+1, \({\mathbf {\overline {V}}}_{d}^{{\text {Conv}}}\left ({t,s} \right)\), can be derived as [23, 41, 45]:
where \({{\mathbf {U}}_E}{{\mathbf {\Lambda }}_E}{\mathbf {V}}_{E}^{H}\) is the compact SVD of the matrix \({\mathbf {\widetilde {\Delta } }}\left ({t,{\mathrm {1}}} \right)\) and s is the step parameter which can be further optimized. The optimal step s_{OPT} can be found by solving the following equation:
Once the optimal step is found, we substitute it into (18) to obtain \({\mathbf {\widetilde {V}}}_{d}^{{\text {Conv}}}\left ({t + 1} \right) \buildrel \Delta \over = {\mathbf {\overline {V}}}_{d}^{{\text {Conv}}}\left ({t,{s_{OPT}}} \right)\).
3.3 The proposed channel prediction method
In this subsection, we propose a novel channel prediction method, in which the next point is predicted by use of the geodesic from V_{d}(t−1) to V_{d}(t) directly. First, according to the previous subsection A, the geodesic emanating from V_{d}(t−1) to V_{d}(t) is expressed as:
where \({{\mathbf {Q}}_1}\left ({t  1} \right) \in {\mathbb {U}^{{N_T} \times {N_T}}} = \left ({{\mathbf {V}}_{d} \left ({t  {\mathrm {1}}} \right) {\mathbf {V}}_{d}^ \bot \left ({t  {\mathrm {1}}} \right)} \right)\); \({\mathbf {V}}_{d}^ \bot \left ({t  {\mathrm {1}}} \right)\) and B(t−1) have similar definitions in the previous subsection A. Clearly, F(t−1,0)=V_{d}(t−1) and F(t−1,1)=V_{d}(t).
Second, the predictive point on the manifold at time t+1 is given by:
Similarly, the optimal step s_{OPT} in the above formula can be found by solving Eq. (19). Note that the function \({\mathbf {\overline {V}}}_{d}^{{\text {Conv}}}\left ({t,s} \right)\) in Eq. (19) shall be replaced with F(t−1,s+1). Once it is found, the precoding matrix or predictive precoder is solved by \({\mathbf {\widetilde {V}}}_{d}^{{\text {Prop}}}\left ({t + 1} \right) \buildrel \Delta \over = {\mathbf {F}}\left ({t  1,{s_{OPT}} + 1} \right)\).
The complete prediction process is summarized by Algorithm 1.
Note that in the calculation of the matrix function exp[B(t−1)s], we shall use the following matrix series [46]:
3.4 Computational complexity
Usually, the number of floating point flops is used to measure of the complexity of an algorithm. We define a flop as one floating point operation and it has computational complexity O(1). Note that the matrix product X_{1}X_{2} requires O(mnk) flops, where \({\mathbf X}_{1} \in \mathbb C^{m\times n}\) and \({\mathbf X}_{2} \in \mathbb C^{n\times k}\); for an n×n matrix, both its inverse and eigendecomposition operations require O(n^{3}) flops; for an m×n matrix with m≥n, the complexity of its singular value decomposition (SVD) is O(m^{2}n) if the complete left singular matrix is needed; otherwise, it is O(mn^{2}) [47].
To begin with, we analyze the computational complexity of the proposed method. Initially, the two points V_{d}(t−1) and V_{d}(t) are generated from the SVD of H(t−1) and H(t), respectively. Since the left singular matrices are not needed, this operation has complexity of \(O\left (n_{max}n_{min}^{2}\right)\), where n_{max}=max(N_{T},N_{R}),n_{min}=min(N_{T},N_{R}). Then, it is found that step 1 requires \(O\left (N_{T}^{2} N_{S}\right)\) flops and step 2 requires \(O\left (N_{T}^{3}\right)\) flops; step 3 requires \(O\left (N_{S}^{2} N_{T}\right) + O(N_{S}^3) +O\left [\left (N_TN_{S}\right)N_{T} N_S)\right ]=O\left (N_{T}^{2} N_{S}\right)\) flops, since N_{S}≤N_{T}; and step 4 requires \(O\left (N_TN_S)N_{S}^{2}\right)\) flops. For the calculation of exp[B(t−1)s] in step 5, by using the techniques in the Appendix, we have that:
With the above, given s, solving F(t−1,s) has complexity of \(O\left (N_{T} N_{S}^{2} + N_{T}^{2} N_{S}\right)=O\left (N_{T}^{2} N_{S}\right)\). Assuming that the minimal search interval that stands for the accuracy of s_{OPT} is ξ, 1/ξ times of calculating F(t−1,s) are required to find s_{OPT}. Hence, step 5 has complexity of \( O\left (N_{T}^{2} N_S/ \xi \right)\). In summary, the complexity of the proposed method is \(O\left (n_{max}n_{min}^{2}\right)+ O\left (N_{T}^{3}\right)+O\left (N_{T}^{2} N_S/ \xi \right)=O\left [\left (n_{max}n_{min}^{2}\right)+ N_{T}^{2} \left (N_T+N_S/ \xi \right)\right ]\), where n_{max}=max(N_{T},N_{R}),n_{min}=min(N_{T},N_{R}).
Then, we analyze the complexity of the conventional method briefly. Initially, we also need the two points V_{d}(t−1) and V_{d}(t). In step 1, to generate Vd⊥(t−1), assume that the same method as in the subsection C is used. Further, we note that for an m×n matrix with m≥n, the compact SVD has complexity of O(mn^{2}) because the full right singular matrix is not needed. Paying attention to the above points, it is easy to find that the complexity of the conventional method is the same as the proposed method.
4 Results and discussion
In this section, computer simulation is deployed to investigate the performance of the prediction algorithm. The UAV MIMO channel samples are generated according to the channel model in Section 2. Specifically, a 4×4 UAV MIMO system with N_{S} = 2 is adopted. For the transmitter and receiver correlation matrices, θ_{T} and θ_{R}, the wellknown exponential correlation model is adopted [48], in which the (i,j)th entry of the correlation matrix is ρ^{i−j}, and the constant ρ is the spatial correlation coefficient. We further denote the correlated coefficients at the transmitter and receiver as ρ_{T} and ρ_{R}, respectively. The angles of arrival and departure α and β are set to 30^{∘} and 20^{∘}, respectively; the antenna spacing d_{T}=d_{R}=λ. Besides, the Doppler shifts for the LOS path and NLOS path are set to be identical, i.e., fd′=f_{d}.
4.1 Performance comparison between the proposed method and the conventional one
Figure 3 compares the chordal error performance of the conventional method with that of the proposed one, where ρ_{T} = 0.2 and ρ_{R} = 0.3. Two cases are considered: f_{d}T=0.02 and K_{Rice}=0 dB for case 1 and f_{d}T=0.05 and K_{Rice}=10 dB for case 2, where f_{d}T is the normalized Doppler shift, f_{d} is the Doppler shift, and T is the sample interval. Observe that given s>0, the chordal error for the proposed method is always less than that for the conventional method. For case 1 in Fig. 3a, the minimum chordal error for the conventional method is about −15.42 dB at s=0.9; the minimum chordal error for the proposed one is −18.01 dB at s=1.0 and it is less than −15.42 dB. Therefore, the proposed method is superior to the conventional method. Similar phenomena can be observed in Fig. 3b.
Figure 4 compares two methods with different values of normalized Doppler shift f_{d}T, in which ρ_{T} = 0.2, ρ_{R} = 0.3, and K_{Rice} = 0 dB. Observe that for both methods, given the step parameter s, increasing f_{d}T results in increasing chordal error. Increasing f_{d}T also has the optimal step parameter s_{OPT} decrease. For instance, for the proposed method, the optimal steps are about 1, 0.9, and 0.6, for f_{d}T =0.01, 0.05, and 0.1, respectively. Similar to Fig. 3, the proposed method has better performance than the conventional method, no matter whether the normalized Doppler shift is large or not.
4.2 The effects of a few key system parameters
Figure 5 shows the optimal step parameter s_{OPT} with different normalized Doppler shifts. The system settings are consistent with those in Fig. 4. Observe that for increasing normalized Doppler shift, s_{OPT} decreases from 1 to 0.6 gradually. The optimal step s_{OPT} is found by solving Eq. (19), where the searching step is set to 0.1, and hence, the curve shows a stepwise downward trend.
Figures 6 and 7 present the effects of ρ_{T} and ρ_{R} on the chordal error, respectively. For both figures, f_{d}T = 0.05 and K_{Rice} = 0 dB. Further, we set ρ_{R} = 0.2 for Fig. 6 and ρ_{T} = 0.2 for Fig. 5, respectively. From Fig. 6, we observe that given the step parameter s, increasing ρ_{T} will decrease the chordal error and also decrease the optimal s. For instance, given s = 0.5, the chordal errors for ρ_{T} = 0, 0.2, 0.4, 0.6, and 0.8 are −9.2 dB, −9.8 dB, −11.0 dB, −12.8 dB, and −15.8 dB, respectively; the optimal s decreases from 0.9 to 0.8 slightly when increasing ρ_{T} from 0 to 0.8. In Fig. 7, increasing the correlation coefficient also reduces the chordal error, but conversely, the optimal s increases from 0.8 to 0.9 slightly with increasing ρ_{R}. Therefore, these results indicate that both ρ_{T} and ρ_{R} are negatively related to the chordal error; ρ_{T} is slightly negatively related to the optimal step parameter, whereas the opposite is true for ρ_{R}.
Figure 8 depicts the effect of the Ricean factor K_{Rice} on the chordal error, where f_{d}T = 0.05, ρ_{T} = 0.2, and ρ_{R} = 0.3. Observe that given s, larger K_{Rice} results in smaller chordal error. This is possibly because that the increase of K_{Rice} reduces the randomness of the UAV channel variation and tracking the LOS path is easier than the NLOS path. In addition, the optimal step s_{OPT} is about 0.9 and nearly unaffected by K_{Rice}.
5 Conclusions
This article studies the problem of channel predictive precoding in UAV MIMO systems. A novel predictive precoding method that is based on the geodesic in the Grassmannia manifold is proposed. Instead of transporting the tangent vector parallel along the geodesic, the proposed method predicts the next point by use of the geodesic equation directly. We compare the proposed method with the conventional one by simulation and analyze their computational complexity. Besides, the effects of various system parameters, including time and spatial correlated coefficients and the Ricean factor, on the chordal error of the predictor are also thoroughly investigated.
The results reveal the following. First, the normalized Doppler shift is positively related to the chordal error, whereas the transmitter and receiver correlation coefficients and the Ricean factor are negatively related to the chordal error. Second, the normalized Doppler shift is negatively related to the optimal step parameter; the transmitter correlation coefficient is slightly negatively related to the optimal step parameter, whereas the opposite is true for the receiver correlation coefficient. Third, with the same computational complexity, the proposed predictive algorithm is superior to the conventional method in terms of the channel predictive error—the channel chordal error. The above research results will provide a reference for possible system implementation in the future.
A further study is to investigate the effect of channel estimation errors on the predictor, where the two channel estimates include the previous and current estimates which are not assumed to be ideal. How to design a robust predictor is worthy of researching. Another possible study is to incorporate the codebook quantizer into the predictor design.
6 Appendix
6.1 Proof of Eq. (15)
First, the matrix function exp(B) can be expanded as:
Since
and
the formula (A−1) can be simplified as:
Then, we have:
Further manipulation of (A−5) results in:
With (14), we have:
According to the definition of Grassmannia manifold, \({{\mathbf {X}}_2}{{\mathbf {V}}_1}{\mathbf {U}}_{1}^{H}\) is equivalent to X_{2}. Therefore, Eq. (15) holds.
Availability of data and materials
The authors state the data availability in this manuscript.
Abbreviations
 UAV:

unmanned aerial vehicle
 MIMO:

multiinput multioutput
 5G:

5th generation
 CSI:

channel state information
 BER:

biterrorrate
 MIMOOFDM:

MIMO orthogonal frequency division multiplexing
 BS:

base station
 LOS:

line of sight
 NLOS:

nonLOS
 SNR:

signal to noise ratio
 SVD:

singular value decomposition
References
X. Lai, Distributed secure switchandstay combining over correlated fading channels. IEEE Trans. Inf. Forensics Secur.14(8), 2088–2101 (2019).
X. Lai, W. Zou, DF relaying networks with randomly distributed interferers. IEEE Access. 5:, 18909–18917 (2017).
W. Wu, F. Zhou, P. Li, P. Deng, B. Wang, V. C. M. Leung, in 2019 IEEE International Conference on Communications (ICC). Energyefficient secure NOMAenabled mobile edge computing networks (IEEEShanghai, China, 2019), pp. 1–6.
Z. Zhao, A novel framework of threehierarchical offloading optimization for MEC in industrial IoT networks. IEEE Trans. Ind. Inform.PP(99), 1–12 (2019).
J. Xia, Cacheaided mobile edge computing for b5g wireless communication networks. EURASIP J. Wirel. Commun. Netw.PP(99), 1–5 (2019).
W. Wu, B. Wang, Y. Zeng, H. Zhang, Z. Yang, Z. Deng, Robust secure beamforming for wireless powered fullduplex systems with selfenergy recycling. IEEE Trans. Veh. Technol. 66(11), 10055–10069 (2017).
W. Wu, F. Zhou, R. Q. Hu, B. Wang, Energyefficient resource allocation for secure NOMAenabled mobile edge computing networks. IEEE Trans. Commu.68(1), 493–505 (2020).
B. Lu, Interference suppression by exploiting wireless cache in relaying networks. Phys. Commun.PP:, 1–10 (2020).
S. Lai, Intelligent secure communication for cognitive networks with multiple primary transmit power. IEEE Access. PP(99), 1–7 (2020).
C. Komninakis, C. Fragouli, A. H. Sayed, R. D. Wesel, Multiinput multioutput fading channel tracking and equalization using Kalman estimation. IEEE Trans. Sig. Process. 50(5), 1065–1076 (2002). https://doi.org/10.1109/78.995063.
J. Zhao, F. Gao, W. Jia, J. Zhao, W. Zhang, in 2017 IEEE International Conference on Communications (ICC). Channel tracking for massive MIMO systems with spatialtemporal basis expansion model (IEEEParis, 2017), pp. 1–5. https://doi.org/10.1109/ICC.2017.7996914.
X. Y. Yu, J. Wang, L. X. Yang, Timevarying channel tracking using sequential Monte Carlo filter in MIMO systems. J. Circ. Syst.11(3), 18–21 (2006).
D. Zhengcong, L. Lixin, X. Lijun, in 2009 International Conference on Communication Software and Networks. MIMO timevarying channel tracking with a polynomial channel model via particle filtering (IEEEChengdu, 2009), pp. 73–76. https://doi.org/10.1109/ICCSN.2009.26.
J. Zhao, F. Gao, L. Kuang, Q. Wu, W. Jia, Channel tracking with flight control system for UAV mmwave mimo communications. IEEE Commun. Lett.22(6), 1224–1227 (2018). https://doi.org/10.1109/LCOMM.2018.2824800.
J. Zhao, W. Jia, Efficient channel tracking strategy for mmwave UAV communications. Electron. Lett.54(21), 1218–1220 (2018). https://doi.org/10.1049/el.2018.6159.
C. Tu, B. Champagne, in 2009 IEEE International Conference on Acoustics, Speech and Signal Processing. Subspace tracking of fast timevarying channels in precoded MIMOOFDM systems (IEEEBrighton, 2009), pp. 2565–2568. https://doi.org/10.1109/ICASSP.2009.4960146.
J. Xia, Secure cacheaided multirelay networks in the presence of multiple eavesdroppers. IEEE Trans. Commun.67(11), 7672–7685 (2019).
J. Xia, When distributed switchandstay combining meets buffer in iot relaying networks. Phys. Commun.PP:, 1–9 (2019).
X. Lin, Probabilistic caching placement in uavassisted heterogeneous wireless networks. Phys. Commun.33:, 54–61 (2019).
L. Fan, N. Zhao, X. Lei, Q. Chen, N. Yang, G. K. Karagiannidis, Outage probability and optimal cache placement for multiple amplifyandforward relay networks. IEEE Trans. Veh. Technol.67(12), 12373–12378 (2018).
F. Shi, Secure probabilistic caching in random multiuser multiuav relay networks. Phys. Commun.32:, 31–40 (2019).
X. Lin, MARLbased distributed cache placement for wireless networks. IEEE Access. 7:, 62606–62615 (2019).
F. L. T. Li, C. Li, Manifoldbased predictive precoding for the timevarying channel using differential geometry. Wirel. Netw.22(8), 2773–2783 (2016).
W. Huang, Multiantenna processing based relaying networks aided by wireless caching. Phys. Commun.PP:, 1–10 (2020).
Y. Guo, Array signal processing assisted intelligent offloading strategy design in mobile edge computing networks for IoTbased smart city. IEEE Access. PP(99), 1–7 (2020).
S. Schwarz, M. Rupp, Predictive quantization on the Stiefel manifold. IEEE Sig. Process. Lett.22(2), 234–238 (2015). https://doi.org/10.1109/LSP.2014.2354258.
K. He, Generic deep learning based linear detectors for MIMO systems over correlated noise environments. IEEE Access. PP(99), 1–9 (2020).
R. Zhao, Deep reinforcement learning based mobile edge computing for intelligent internet of things. IEEE Access. PP(99), 1–8 (2020).
F. Jiang, Y. Wang, C. Y. Yang, Performance analysis of downlink multiuser MIMO systems based on spatialtemporal correlated channels. J. Sig. Process.23(4A), 390–393 (2007).
D. Tse, P. Viswanath, Fundamentals of Wireless Communications (Cambridge University Press, Cambridge, 2004).
Y. Xu, Qlearning based physicallayer secure game against multiagent attacks. IEEE Access. 7:, 49212–49222 (2019).
C. Li, W. Zhou, Enhanced secure transmission against intelligent attacks. IEEE Access. 7:, 53596–53602 (2019).
D. Deng, Link selection in bufferaided cooperative networks for green IoT. IEEE Access. PP(99), 1–8 (2020).
X. Wang, Joint resource allocation for cognitive OFDMNOMA systems with energy harvesting in green IoT. IEEE Access. PP(99), 1–8 (2020).
G. Liu, Deep learning based channel prediction for edge computing networks towards intelligent connected vehicles. IEEE Access. 7:, 114487–114495 (2019).
J. Xia, Intelligent secure communication for internet of things with statistical channel state information of attacker. IEEE Access. 7(1), 144481–144488 (2019).
K. He, A MIMO detector with deep learning in the presence of correlated interference. IEEE Trans. Veh. Technol.PP(99), 1–5 (2019).
C. Li, Y. Xu, Protecting secure communication under UAV smart attack with imperfect channel estimation. IEEE Access. 6(1), 76395–76401 (2018).
Z. Zhao, Intelligent mobile edge computing with pricing in internet of things. IEEE Access. PP(99), 1–8 (2020).
C. Li, Cacheenabled physicallayer secure game against smart uavassisted attacks in b5g noma networks. EURASIP Journal on Wireless Communications and Networking. PP(99), 1–5 (2019).
J. Yang, D. B. Williams, Transmission subspace tracking for MIMO systems with lowrate feedback. IEEE Trans. Commun.55(8), 1629–1639 (2007). https://doi.org/10.1109/TCOMM.2007.902598.
D. Zhu, Y. Zhang, G. Wang, M. Lei, Grassmannian subspace prediction for precoded spatial multiplexing MIMO with delayed feedback. IEEE Sig.Process. Lett.18(10), 555–558 (2011). https://doi.org/10.1109/LSP.2011.2162947.
H. Hu, Sparse discriminative multimanifold Grassmannian analysis for face recognition with image sets. IEEE Trans. Circ. Syst. Video Technol.25(10), 1599–1611 (2015). https://doi.org/10.1109/TCSVT.2014.2367357.
T. Connie, M. K. O. Goh, A. B. J. Teoh, A Grassmannian approach to address view change problem in gait recognition. IEEE Trans. Cybernet.47(6), 1395–1408 (2017). https://doi.org/10.1109/TCYB.2016.2545693.
A. Edelman, T. A. Arias, S. T. Smith, The geometry of algorithms with orthogonality constraints. SIAM J. Matrix Anal. Appl.20(2), 303–353 (1998).
R. A. Horn, C. R. Johnson, Matrix Analysis (Cambridge University Press, Cambridge, 2012).
G. H. Golub, C. F. Van Loan, Matrix Computations, 4th Edition (The Johns Hopkins University Press, Baltimore, 2013).
K. Lee, Y. Lee, Effect of antenna correlation on capacity of opportunistic eigenbeamforming in Rayleigh fading channels. Electron. Lett.46(20), 1365–1366 (2010). https://doi.org/10.1049/el.2010.2195.
Acknowledgements
Not applicable.
Funding
This work is supported by National Natural Science Foundation of China (61601275, 61471229), National Science Foundation of Guangdong Province (2019A1515011950, 2016A030313068), and Personnel Training Project of Guangzhou University (RP2020122).
Author information
Authors and Affiliations
Contributions
Dr. W. Zhou deduced most of the formulas and made most of the simulation experiments. Dr. X. Li verified the formulas and modeled the UAVenabled MIMO system. Prof. H. Wu, Dr. Y. Xu, Dr. Q. Zhou, and Dr. Y. Rao analyzed the communication scenarios, arranged the data, analyzed computation complexity of the algorithm, and helped to revise this paper, respectively. All authors read and approved the final manuscript.
Corresponding authors
Ethics declarations
Competing interests
The authors declare that there is no conflict of interest regarding the publication of this paper.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Zhou, W., Li, X., Wu, H. et al. Predictive precoding based on the Grassmannian manifold for UAVenabled cacheassisted B5G communication systems. J Wireless Com Network 2020, 128 (2020). https://doi.org/10.1186/s13638020017313
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13638020017313