This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Massive MIMO Channels with Inter-User Angle Correlation: Open-Access Dataset, Analysis and Measurement-Based Validation

Xu Du and Ashutosh Sabharwal The authors are with the Department of Electrical and Computer Engineering, Rice University, Houston, TX, 77005 (e-mails: [email protected], [email protected]). This work was partially supported by NSF grants 1827940, 2016727 and 2120363, and a grant from Qualcomm, Inc. Xu Du presented part of this paper as a section in his thesis defense at Rice University in [1].
Abstract

In practical propagation environments, different massive MIMO users can have correlated angles in spatial paths. In this paper, we study the effect of angle correlation on inter-user channel correlation via a combination of measurement and analysis. We show three key results. First, we collect a massive MIMO channel dataset for examining the inter-user channel correlation in a real-world propagation environment; the dataset is now open-access. We observed channel correlation higher than 0.480.48 for all close-by users. Additionally, over 3030% of far-away users, even when they are tens of wavelengths apart, have inter-user channel correlation that is at least twice higher than the correlation in the i.i.d. Rayleigh fading channel. Second, we compute the inter-user channel correlation in closed-form as a function of inter-user angle correlation, the number of base-station antennas, and base-station inter-antenna spacing. Our analysis shows that inter-user angle correlation increases the inter-user channel correlation. Inter-user channel correlation reduces with a larger base-station array aperture, i.e., more antennas and larger inter-antenna spacing. Third, we explain the measurements with numerical experiments to show that inter-user angle correlation can result in significant inter-user channel correlation in practical massive MIMO channels.

I Introduction

Massive multiple-input multiple-output (MIMO) is one of the key 55G components due to its potential benefits, including increased spectral efficiency [2, 3], wider coverage region [4, 5, 6], decreased channel variation [4, 5], reduced interference [4, 5], improved reliability [7], and simplified physical layer precoding [2]. A commonly adopted model of massive MIMO, often labeled as “favorable propagation” [8, 9, 2, 10], assumes that the user channels are (near-)orthogonal to each other when the base-station is equipped with more than tens of antennas. This model follows if we assume that the channel between each transmit-receive antenna pair is generated by an independent and identically distributed (i.i.d.) process.

The inter-user channel orthogonality is a critical assumption behind many desirable properties of massive MIMO. And inter-user channel correlation can reduce throughput [9, 11, 4, 5], increase interference [12, 4, 5], lower reliability [9, 4, 7], and raise precoding complexity [2, 3, 4, 5]. For the i.i.d. Rayleigh fading channel, it is well-known that the user channels become orthogonal to each other as the number of base-station antennas increases. The inter-user channel correlation reduces at rate 1/M1/\sqrt{M}, where MM is the number of base-station antennas. For line-of-sight (LOS) channels with various array configurations, past work [10, 13, 11] demonstrates that the inter-user channel correlation reduces at rate O(1/M)O\left(1/\sqrt{M}\right) if the spatial paths have statistically independent angles. Therefore, if the user channels are statistically independent or consist of paths with statistically independent angles, user channels should be near-orthogonal for practical massive MIMO systems with more than tens of base-station antennas. As we move away from the independently distributed user channel assumption, relatively little is known about the massive MIMO inter-user channel correlation.

Refer to caption
Figure 1: The figure illustrates a two-user massive MIMO downlink channel consisting of three path pairs with inter-user angle correlation. Two users are in geo-location proximity to each other. The solid blue (dashed red) lines represent spatial paths from the base-station towards User 11 (User 22). In this figure, the inter-user angles are close for three reasons: common scatterers, geo-location proximity, and keyhole effect. Section IV will prove that such inter-user angles-of-departure correlation can lead to significant inter-user channel correlation in practical massive MIMO systems. Note that the angles-of-arrival at the users can be distinct. And this paper does not assume correlation among the angles-of-arrival at the users.

However, in practical propagation environments, paths of different users could have correlated angles. Fig. 1 depicts an example of a two-user channel consists of three paths to each user. In Fig. 1, the spatial path pairs have correlated angles due to three reasons. The first reason for inter-user angle correlation is sharing common scatterers, where two-user paths share almost the same Angle-of-Departure (AoD) from the base-station. The second pair is LOS paths, which have correlated angles because the users are close by to each other. Finally, the third pair paths have correlated angles due to the spatial keyhole [4, Chapter 7.3], which is pictured by a slot through a wall. The keyholes can lead to close-by angles for even far-away users. In summary, the inter-user angle correlation can exist in practical propagation environments.

The above examples motivate the question how does inter-user angle correlation impact the inter-user channel correlation? Towards that end, our main contributions are as follows:

  1. 1.

    We collect a diverse massive MIMO channel dataset with a 6464-antenna planar array. Our evaluation includes line-of-sight (LOS) and non-line-of-sight (NLOS) propagation environments with more than 11,50011,500 unique user channel vectors from 225225 different locations. The measured channel dataset is publicly available at [14]. With a 6464-antenna base-station array, the channel correlation between all close-by users is higher than 0.480.48. In our dataset, close-by users’ channel correlation reduces very slowly when the number of base-station antennas is larger than 3636. For far-away users, 30.5630.56% user pairs have channel correlation that is at least twice higher than the correlation in the i.i.d. Rayleigh fading channel. The observed user correlation is near-constant across the measured 2020 MHz Orthogonal Frequency-Division Multiplexing (OFDM) band.

  2. 2.

    We compute the inter-user channel correlation for massive MIMO with inter-user angle correlation by using a spatial channel model. We characterize the channel correlation in closed-form to explain the measurement findings. In the special case, when at least one inter-user path pair always share an exact angle, the inter-user channel correlation converges to a positive constant that does not reduce with the number of base-station antennas MM. For space-constrained systems where the base-station inter-antenna spacing decreases inversely proportionally with MM, the inter-user channel correlation also converges to a positive constant as MM increases to infinity. In all other cases with fixed base-station inter-antenna spacing, the inter-user channel correlation will converge to zero as MM\to\infty. The inter-user channel correlation increases with the inter-user angle correlation, and reduces with the base-station inter-antenna spacing. Therefore, increasing the base-station array aperture with more antennas or larger inter-antenna spacing can reduce the inter-user angle correlation induced inter-user channel correlation.

  3. 3.

    We use numerical experiments to explain the measurement and verify the inter-user correlation analysis in LOS and NLOS environments. The simulation results demonstrate the analysis accuracy in both finite-array and large-array regimes. Numerical experiments confirm that inter-user angle correlation increases inter-user channel correlation. The simulations further verify our theoretical prediction that increasing the base-station array aperture can offset the inter-user channel correlation induced by inter-user angle correlation.

Related Work: One of the early measurements [15] demonstrated that the average inter-user channel correlation of far-away users reduces as the number of base-station antennas increases. By measuring tens of close-by user channels with uniform linear array [16, 17, 18], uniform cylindrical array [16, 19], uniform rectangular planar array[20, 21], recent channel measurements find that the channels of close-by users might have high correlation.

Therefore, the inter-user channel correlation had been observed to behave differently for users with different physical distances. During our measurements, we observed high channel correlation not only for all close-by users, but also for 30.5630.56% far-away user pairs. Using spatial signal processing, we find that the inter-user angle proximity is a likely cause of high inter-user channel correlation for both close-by and far-away users.

Past work [4, 10, 13, 22] analyzed the inter-user channel correlation in the LOS environment without inter-user angle correlation for a base-station with the uniform linear array. Recent work [23, 12] extended the past work to consider the effect of limited base-station linear array aperture. Section IV presents a generalized inter-user channel correlation analysis for a multi-carrier OFDM system in a multi-path environment with inter-user channel correlation, and the uniform planar array. Compared to [4, 10, 13, 23, 22], Section IV captures the effect of the inter-user angle correlation, multi-path, cross subcarrier channel correlation variation, and the two-dimension array. The generalization enables the explanation of the measurement findings. And the existing analysis can be viewed as specialized versions of Section IV.

There is also prior research [24, 25, 26, 27, 18, 28] on modeling the time-variant channels along the trajectory of a single mobile user by considering the spatial scattering clusters. In each scattering cluster, the simulator [24, 25, 26, 27, 18, 28] randomly generates multi-path components according to specific large-scale parameters. This research stream is usually referred to as the “spatially consistent channel” and is justified by fitting to channel measurements. For example, QuaDRiGa [26] adopted the simulation-based approach to model the time-variant channel of a MIMO downlink mobile user. And NYUSIM [27] modeled the mm-wave bands that are up to 140140 GHz. Reference inside[18, 28, 26] provides more details about this research stream. As this paper focuses on the inter-user channel correlation measurement and analysis, Section IV leverages a spatial channel model to explain the over-the-air findings. We consider it a future direction to improve the analysis in Section IV by adopting a different channel model, like the spatially consistent channel models.

Finally, there exists massive MIMO work that suppresses the intra-cell and inter-cell interference in the spatial domain by optimized beamforming design [5, 4, 29, 2, 3, 9], improved channel estimation quality [5, 4, 9], and interference-aware user grouping [5, 4, 29, 30, 9]. This paper focuses on the inter-user channel correlation measurement and analysis. And the impact on massive MIMO system design is a crucial direction beyond the scope of this paper.

The paper is organized as follows. Section II describes the system model. We next present a channel measurement campaign and characterize the inter-user channel correlation over-the-air in Section III. Section IV explains the measurement findings by computing the inter-user channel correlation for systems with inter-user angle correlation. Section V uses numerical experiments to verify the analytical results in Section IV. Finally, Section VI concludes the main findings of this paper.

Notations: Boldface represents vectors and matrices. We use |||\cdot| to denote the magnitude of a complex number. And the l2l_{2}-norm of a complex vector is \|\cdot\|. The space of the real number is \mathbb{R} and \mathbb{C} is the complex space. The complex Gaussian distribution is denoted by 𝒞𝒩\mathcal{CN}. The conjugate transpose and the trace of a matrix 𝐇\mathbf{H} are denoted as 𝐇H\mathbf{H}^{H} and tr𝐇\mathrm{tr}\mathbf{H}, respectively. The diagonal matrix is diag()\operatorname{diag}\left(\cdot\right), and an MM-element all-ones vector is 𝟏M\mathbf{1}_{M}. For a random variable XX, the expected value and variance are denoted by 𝔼[X]\mathbb{E}\left[X\right] and Var[X]\operatorname{Var}\left[X\right], respectively.

II System Model

II-A System Setup

We consider a single-cell massive MIMO OFDM downlink system with an MM-antenna base-station and KK single-antenna mobile users. The channel consists of NN OFDM subcarriers. We assume that the base-station is time synchronized with the KK users. For subcarrier nn, the downlink channel is 𝐆𝐇n\mathbf{G}\mathbf{H}_{n}, where 𝐆=diag(γ1,γ2,,γK)\mathbf{G}=\operatorname{diag}\left(\sqrt{\gamma_{1}},\sqrt{\gamma_{2}},\dots,\sqrt{\gamma_{K}}\right) is the large-scale channel gains and 𝐇nK×M\mathbf{H}_{n}\in\mathbb{C}^{K\times M} denotes the small-scale fading for Subcarrier nn. The downlink channel of User kk, 𝐡k,nM\mathbf{h}_{k,n}\in\mathbb{C}^{M}, is the kk-th row of the small fading channel matrix, whose norm satisfies 𝐡k,n=M\left\|\mathbf{h}_{k,n}\right\|=\sqrt{M}. The base-station adopts downlink beamforming to serve all KK users at the same time. Let the downlink beamforming matrix be 𝐕nM×K\mathbf{V}_{n}\in\mathbb{C}^{M\times K}. The received signals by users then equal

𝐲n=𝐆𝐇n𝐕n𝐬n+𝐰n,n=1,,N.\mathbf{y}_{n}=\mathbf{G}\mathbf{H}_{n}\mathbf{V}_{n}\mathbf{s}_{n}+\mathbf{w}_{n},\quad n=1,\dots,N.\leavevmode\nobreak\ (1)

The 𝐰nK\mathbf{w}_{n}\in\mathbb{C}^{K} is the additive noise, whose elements follow independent standard complex Gaussian distribution 𝒞𝒩(0,1)\mathcal{CN}\left(0,1\right). Each symbol in the signal sequences 𝐬\mathbf{s} follows 𝒞𝒩(0,1)\mathcal{CN}\left(0,1\right). And the total transmission power is PP, which equals 𝔼[tr𝐕n𝐕nH]\mathbb{E}\left[\mathrm{tr}\mathbf{V}_{n}\mathbf{V}_{n}^{H}\right].

Prior to the data transmission, the base-station estimates the downlink channel 𝐇^nK×M\hat{\mathbf{H}}_{n}\in\mathbb{C}^{K\times M} for beamforming. A popular massive MIMO channel estimation model is [31, 4]

𝐇n=𝐇^n+𝐇~n,\mathbf{H}_{n}=\hat{\mathbf{H}}_{n}+\tilde{\mathbf{H}}_{n},\leavevmode\nobreak\ (2)

where 𝐇~nK×M\tilde{\mathbf{H}}_{n}\in\mathbb{C}^{K\times M} is the channel estimation error matrix. Denote 𝐡^k,n\hat{\mathbf{h}}_{k,n}, 𝐡~k,n\tilde{\mathbf{h}}_{k,n}, and 𝐯k,n\mathbf{v}_{k,n} as the estimated channel, estimation error, and beamforming vector of User kk in Subcarrier nn, respectively. The received signal of User kk equals [4, 5]

yk,n=\displaystyle y_{k,n}= γk𝐡^k,nH𝐯k,nsk,n+jkγk𝐡^k,nH𝐯j,nsj,n\displaystyle\sqrt{\gamma_{k}}\hat{\mathbf{h}}_{k,n}^{H}\mathbf{v}_{k,n}s_{k,n}+\sum_{j\neq k}\sqrt{\gamma_{k}}\hat{\mathbf{h}}_{k,n}^{H}\mathbf{v}_{j,n}s_{j,n}
+wk,nγk𝐡~k,nH𝐕n𝐬n,\displaystyle+w_{k,n}-\sqrt{\gamma_{k}}\tilde{\mathbf{h}}_{k,n}^{H}\mathbf{V}_{n}\mathbf{s}_{n}, (3)

where wk,nw_{k,n} is the additive noise, and sk,ns_{k,n} is the transmitted symbol. The first term denotes the desired signal. And the rest three terms in (3) represent interference from the beamforming algorithm, noise, and interference from the imperfect channel knowledge, respectively.

The interference terms in (3) imply that inter-user channel correlation reduces effective SINR\mathrm{SINR} due to increased interference. For example, when the base-station adopts the conjugate beamforming [4, 5] based upon perfect channel knowledge, 𝐯k,n=𝐡k,nH\mathbf{v}_{k,n}=\mathbf{h}_{k,n}^{H}. The interference power caused by inter-user channel correlation then equals γkjk|𝐡j,nH𝐡k,n|2,\gamma_{k}\sum_{j\neq k}\left|\mathbf{h}^{H}_{j,n}\mathbf{h}_{k,n}\right|^{2}, which is determined by the inter-user channel dot products. Therefore, the inter-user channel correlation reduces the effective SINR\mathrm{SINR}, hence the achievable transmission rate. This paper focuses on characterizing the inter-user channel correlation with measured massive MIMO channels, and providing theoretical explanations. Textbooks [4, 5] and the included references provide an comprehensive review of massive MIMO system performance with more complex settings.

II-B User Correlation Definition

Inspired by the past massive MIMO literature [8, 9, 6, 2, 3], this paper captures the inter-user channel correlation by the cosine similarity. This paper only calculates the inter-user channel correlation for channels on the same subcarrier. To simplify the notation, we will omit the subcarrier index nn in 𝐡k,n\mathbf{h}_{k,n} when the subcarrier index is clear from the context. The correlation of User kk and User kk^{{}^{\prime}} is defined as

Var[𝐡kH𝐡k|𝐡k||𝐡k|]=1MVar[𝐡kH𝐡k],\sqrt{\operatorname{Var}\left[\frac{\mathbf{h}_{k}^{H}\mathbf{h}_{k^{{}^{\prime}}}}{\left|\mathbf{h}_{k}\right|\left|\mathbf{h}_{k^{{}^{\prime}}}\right|}\right]}=\frac{1}{M}\sqrt{\operatorname{Var}\left[\mathbf{h}_{k}^{H}\mathbf{h}_{k^{{}^{\prime}}}\right]}, (4)

where the variance operator is over the joint distribution of user channels. The desired pairwise channel orthogonality means

1MVar[𝐡kH𝐡k]=0,for allkkandk,k=1,2,,K.\frac{1}{M}\sqrt{\operatorname{Var}\left[\mathbf{h}_{k}^{H}\mathbf{h}_{k^{{}^{\prime}}}\right]}=0,\ \text{for all}\ k\neq k^{{}^{\prime}}\ \text{and}\ k,k^{{}^{\prime}}=1,2,\dots,K.\leavevmode\nobreak\ (5)

Note that this paper does not choose the mean operator 𝔼[𝐡kH𝐡k]\mathbb{E}\left[\mathbf{h}_{k}^{H}\mathbf{h}_{k^{{}^{\prime}}}\right] since it always equals to zero when the phases of spatial paths follow independent uniform distribution over [0,2π]\left[0,2\pi\right]. Please see [4, 7.1] and (14) in Appendix A for examples in single-path and multi-path environments.

To understand the deviation of practical inter-user channel correlation from (5), this paper presents a combination of measurement campaign and theoretical analysis. Section III uses over-the-air measurements to characterize inter-user channel correlation with a base-station that has 6464 antennas. Section IV computes the inter-user channel correlation with inter-user angle correlation in closed-form. The theoretical results are numerically verified in Section V.

Following the past MIMO inter-user channel correlation measurements [16, 17, 18] and analysis [10, 13, 23, 12], this paper uses the i.i.d. Rayleigh fading channel as the baseline benchmark. This baseline channel model can be justified with the central limit theorem via considering rich scattering environments with an infinite number of paths from independent scatters [4].

III Measured Inter-User Channel Correlations

In this section, we examine inter-user channel correlation based on Over-The-Air (OTA) measured channels. The collected channel data set is also open-accessed for download at [14]. We remark that [14] also contains measured channel dataset for full-duplex massive MIMO [32] and FDD massive MIMO [33].

III-A Measurement Setup

Refer to caption
((a)) Argos Platform
Refer to caption
((b)) Measurement Locations
Refer to caption
((c)) Measurement Setup
Refer to caption
((d)) Calibration Node Setup
Figure 2: Argos [34] Massive MIMO base-station and the over-the-air measurements setup. The background map of Fig. 2(b) is from Google Maps [35].

III-A1 Measurement Platform

We used the Argos platform to measure the channels from mobile nodes to a 6464-antenna massive MIMO base-station. Both the mobile nodes and the base-station are developed based upon the WARP software defined radio modules [36]. Each of the used WARP module is equipped with four active radio chains, a clock board, and a Field-Programmable Gate Array (FPGA). The FPGA and radio chains are programmed via extending the WARPLab [36]. All WARP modules are controlled by a Argos central controller via a customized Argos Hub. The Argos Hub is responsible for data switching, WARP module synchronization, and clock distribution. A dedicated design and review of the Argos platform and WARP platform are presented in [34] and [36], respectively. And Section 4 of [34] provides the implementation details, which includes the function blocks at the mobile users, base-station, and Argos controller.

During the measurement, the Argos platform measures the uplink channel by letting the mobile nodes send 802.11 frames that contain the channel estimation pilots in the Physical Layer Convergence Protocol (PLCP) preamble, whose training frame structure can be found in [37, Fig. 18-4]. For Argos, the transmitters transmit pilots that are located in the Long Training Sequence (LTS) in the 802.11 PLCP preamble. The base-station then measures and records the raw IQ samples. Finally, the channel is estimated by correlating the measured IQ samples using the pilot sequence with Fast Fourier Transform [36].

With the Argos platform, we measure the OTA channels on the campus of Rice University near the Anne and Charles Duncan Hall (N 29.720138o29.720138^{o}, W 95.39876o95.39876^{o}). The users are in a near-stable environment. The measurements are on the 2.42.4 GHz Wi-Fi ISM band with a bandwidth of 2020 MHz. Both the base-station and users are equipped with patch antennas with 33-dB beam-width of around 120120-degree. The 8×88\times 8 6464-antenna array and a mobile user are shown in Figure 2(a).

III-A2 Measured Locations

The channels between the base-station antennas and users from 44 line-of-sight (LOS) clusters and 55 non-line-of-sight (NLOS) clusters are measured. Each cluster is of circle-shape with a diameter of around 44 meters. Figure 2(b) presents the locations of the massive MIMO base-station and user clusters. In each cluster, we measure the user channels of 2525 different uniformly selected locations. Therefore, the minimum distance between two users from the same cluster is about 0.70.7 meters. In total, we measure the mobile user channels in 225225 locations. For each location, we measure the uplink channel between a mobile user and the base-station of the 5252 data-carrying subcarriers over the 2020 MHz band in more than 140140 frames. In our evaluations, we will utilize all subcarriers from the first frame of each location. In total, we characterize the inter-user channel correlation over-the-air based on more than 1100011000 unique channel vectors of length 6464.

III-A3 Array Calibration for Antenna Phase Mismatch

For the Argos [34] massive MIMO base-station, each antenna is connected to an individual radio-frequency chain. During channel measurements, each base-station antenna estimates its channel coefficient by correlates the received signal with an uplink pilot sequence. As the phase-locked loop component of each radio-frequency chain introduces an independent random phase to each antenna, the collected channel contains mismatched phases across different base-station antennas and different measured locations. Such phase mismatch raises two critical issues in the examination of inter-user channel correlation. Firstly, the phase mismatch across base-station antennas makes the (uplink) angle-of-arrival estimation infeasible. The reason is that the angle-of-arrival estimation requires a phase synchronized array [38]. Secondly, phase mismatches across different measurements obstruct the inter-user channel correlation computation of channels measured at different locations. The challenges come from that the correlation computation (4) requires that each base-station antenna have a fixed (relative) phase offset during the measurements of different users. Thus, array phase calibration is essential for both the angle estimation and the inter-user channel correlation computation.

To calibrate the phase mismatch, we introduce a calibration node in all measurements. The calibration node is placed perpendicular to the array plane at the direction of elevation angle 00^{\circ} and azimuth 00^{\circ}. The distance between the calibration node and the base-station array is about 2020 meters. The main path is at (0,0)\left(0^{\circ},0^{\circ}\right). Fig. 2(d) shows that there might exist an additional ground reflection path, which is about 4.64.6^{\circ} elevation away from the main path. Since the ground reflection path should be of much lower gain and the angle difference is small, the channel between the calibration node and the array can be modeled as 𝟏M\mathbf{1}_{M}. Therefore, by measuring the uplink channel from the calibration node to the base-station, we obtain the relative phase mismatch of each base-station antenna. To determine the calibrated channel of each location, we measure the channels of the mobile and the calibration nodes in all channel measurements. The calibrated channel of each location is obtained by the element-wise division of the mobile node channel by the calibration node channel.

III-B Experimental Inter-User Channel Correlation Examination

This subsection presents the measurement findings on inter-user channel correlation in the LOS and NLOS propagation environments. We are primarily interested in how often high inter-user channel correlation happens for nearby users and users that are tens of meters apart. And the experimental characterization of inter-user channel correlation as a function of user geo-position separation is a future research problem.

During measurements, we measure the channel between the mobile user and all 6464 base-station antennas. In evaluations, when computing channel correlation for M<64M<64, we sub-sample square sub-arrays of dimension M×M\sqrt{M}\times\sqrt{M}. For example, when M=36M=36, all antennas from the first 66 rows and first 66 columns are selected. The base-station array indexing and our implementation of the array sub-sampling can be found in [14]. As measured channel SNR\mathrm{SNR} of each antenna is over 1515 dB in all channel measurements, we treat the measured channels as perfect.

OTA Finding 1 – Close-by user channels correlation decays very slowly when M>36M>36: We first evaluate the inter-user channel correlation between close-by users from the same cluster, i.e., intra-cluster correlation. Fig. 3(a) presents the computed intra-cluster correlation of the 99 clusters whose locations are described in Fig. 2(b). Each data point on each curve is obtained by averaging over 1560015600 unique channel pairs among the 2525 locations in all 5252 subcarriers. And the error bars represent the variation of intra-cluster correlation across the 5252 different subcarriers. The inter-user channel correlation in the i.i.d. Rayleigh fading channel is also presented as a benchmark.

For user channels measured in the LOS clusters, intra-cluster correlation reduces very slowly as MM increases. Over the measurements, we observed intra-cluster correlation over 0.80.8 for all LOS clusters even when the base-station is equipped with 6464 antennas. For the NLOS clusters, intra-cluster correlation reduces quickly when MM is smaller than 2525. When M>36M>36, the intra-cluster correlation of the NLOS clusters reduces very slowly or does not decrease. Furthermore, the NLOS clusters have lower intra-cluster channel correlation than the LOS clusters. The lower intra-cluster correlation in NLOS clusters will later be confirmed by the theoretical results in Section IV. In summary, for all clusters, an intra-cluster channel correlation of more than 0.480.48 is observed with the 6464-antenna array, which is more than 380380% of the inter-user channel correlation in the i.i.d. Rayleigh fading channel.

Refer to caption ((a)) Intra-Cluster Correlation Refer to caption ((b)) Inter-Cluster Correlation

Figure 3: Intra-cluster and inter-cluster inter-user channel correlation with the standard error bar. Both sub-figures share the same legend. The error bars denote the correlation variation across the 5252 subcarriers. The solid and dashed colored lines are for the NLOS clusters and the LOS clusters, respectively. The LOS and NLOS curves are obtained via using the inter-user channel correlation definition (4) based on measured channels. The measurement setup and inter-user channel correlation computation process can be found in Section III-A and Section III-B, respectively The solid black line is for the simulated i.i.d. Rayleigh fading channel, which is independent across subcarriers. For each subcarrier, the i.i.d. Rayleigh fading channel simulation used a sample size of 10001000.

OTA Finding 2 – Far-away user channels correlation decays faster than measured closed-by users, but slower than users in the i.i.d. Rayleigh fading channel: We next shift our attention to the channel correlation between users from different clusters, or inter-cluster correlation. We first review the statistical average of the correlation between the 2525 users from each cluster to all users from the other 88 clusters across the 5252 subcarriers. Fig. 3(b) provides the calculation results, and each point of every curve is acquired by averaging over 260000260000 unique measured channel vector pairs. The error bars show the standard deviation across the 5252 subcarriers. Compared to the intra-cluster correlation in Fig. 3(a), the inter-cluster correlation reduces at a higher rate as MM increases. For both LOS and NLOS clusters, the inter-cluster channel correlation is lower than the intra-cluster correlation for all MM that is greater than 44. We remark that, despite being lower than intra-cluster correlation, the inter-cluster channel correlation is observed to be higher than the correlation in the i.i.d. Rayleigh fading channel. For example, the inter-cluster correlation for NLOS 33 with 6464 base-station antennas is 0.2660.266, which is over 210210% of the inter-user channel correlation in i.i.d. Rayleigh fading.

Refer to caption
((a)) Mean of 5252 Subcarriers
Refer to caption
((b)) Standard Deviation of 5252 Subcarriers
Figure 4: Inter-user channel correlation mean and standard deviation of measured channels with M=64M=64 between all pairs of clusters. Each grid is the inter-user channel correlation average or standard deviation between a cluster labeled on the xx-axis and a cluster labeled on the yy-axis.

We now examine the mean and standard deviation of the channel correlation between users from any pair of clusters. In Figure 4(a), each grid of the matrix denotes the inter-user channel correlation between a different cluster pair when M=64M=64. The diagonal elements denote the intra-cluster channel correlation (each averaged over 1560015600 channel vector pairs). And the off-diagonal elements denote the inter-cluster correlation (each averaged over 3250032500 channel vector pairs). Interestingly, we find that the inter-cluster correlation of some cluster pairs is still significant even with a 6464-antenna base-station. For example, between Cluster LOS 44 and Cluster NLOS 22, the inter-cluster correlation is 0.5570.557. And 30.5630.56% of the 3636 cluster pairs have inter-cluster correlation that is at least twice higher than the correlation in the i.i.d. Rayleigh fading. In summary, the statistical average of all far-away users’ channel correlation reduces as the number of base-station antennas increases. However, some far-away user pairs can still be of high correlation with a 6464-antenna base-station.

OTA Finding 3 – Inter-user angle proximity might cause high inter-user channel correlation: To provide insights into the measured high channel correlation between LOS 44 and NLOS 22, we now present spatial angle estimation examples of four measured users. The four examples consist of two users from NLOS 22, one from NLOS 33, and one from LOS 44.

We first focus on Fig. 5(a) and 5(b) that present the estimated angle energy map of two users from NLOS 22. The two users demonstrate proximity in the angle space near (28,0)\left(28^{\circ},0^{\circ}\right) and (15,15)\left(15^{\circ},15^{\circ}\right), which might explain the observed 0.4810.481 intra-cluster correlation when M=64M=64 in NLOS 22. Similarly, the channel correlation of 0.5570.557 between NLOS 33 and LOS 22 could be explained by the small angle difference in Fig. 5(a)5(b)5(d). And the large angle separations in Fig. 5(c) and Fig. 5(b) could explain the observed lower (0.1470.147) inter-cluster correlation between NLOS 22 and NLOS 33. For the interested readers, the measured channel dataset and our implementation of MUSIC [38] can be downloaded from [14], which will allow exploring channels from >200>200 locations. To understand the impact of the inter-user angle proximity, Section IV will compute the inter-user channel correlation as a function of the inter-user angle correlation in closed-form.

Refer to caption
((a)) NLOS 2, Location 1
Refer to caption
((b)) NLOS 2, Location 2
Refer to caption
((c)) NLOS 3, Location 1
Refer to caption
((d)) LOS 4, Location 1
Figure 5: The estimated power angle map of different users via using MUSIC [38] based on the measured channels. Each point of each figure approximates the logarithmic energy of each direction. The source code and the measured channel dataset are available in [14].

OTA Finding 4 – Inter-user channel correlation is near-constant across the subcarriers: We profiled the channel correlation variance over different frequency subcarriers. The error bars in Fig. 3 denote the variation of the intra-cluster and inter-cluster correlations across all 5252 subcarriers. Each grid of Fig. 4(b) presents the standard deviation of the average channel correlation when M=64M=64. The small error bars in Fig. 3 and small standard deviation values in Fig. 4(b) hence demonstrate that the intra-cluster and inter-cluster correlation is near-constant across the 2020 MHz band.

OTA Finding 5 – Close-by user channel correlation reduces with multi-path. By comparing intra-cluster user channel correlation in Fig. 3(a), we find that the intra-cluster channel correlation in LOS clusters is higher than that in NLOS clusters. Fig. 3(a) shows that the lowest observed LOS intra-cluster channel correlation (0.8380.838) is higher than the highest NLOS intra-cluster channel correlation (0.6230.623).

In our measured dataset, close-by users’ high channel correlation barely reduces when M>36M>36. Furthermore, 30.5630.56% of far-away user pairs have channel correlation that is over 200200% higher than the correlation in the i.i.d. Rayleigh fading channel. Besides, we observe that users with high channel correlation can have proximity in the angle space.

IV User Correlation: A Spatial Perspective

Section III presents channel measurements that capture the inter-user channel correlation in a real-world propagation environment. The spatial angle estimation examples in Fig. 5 demonstrate that angles of different users can be close-by. For users with independently distributed angles and various base-station array configurations, past theoretical analysis [10, 13] proved that inter-user channel correlation quickly reduces with the number of base-station antennas. This section analyzes how inter-user angle correlation and base-station array configuration impact the inter-user channel correlation.

This section begins with the adopted spatial channel model. Section IV-B presents the main propositions. The rest of the section utilizes specialized versions of the main propositions to explain the measured inter-user channel correlation.

IV-A Spatial Channel Model

To model the massive MIMO channels with inter-user angle correlation, we consider a multiple-path spatial channel model, which is illustrated in Fig. 1. The base-station is equipped with an MM-antenna planar array on the xyx-y plane, whose setup is presented in Fig. 6.

Refer to caption
Figure 6: The setup of the considered 2-D planar array. The array is placed on the xyx-y plane. There are MxM_{x} (MyM_{y}) antennas on the xx-axis (yy-axis). The antenna spacing along the xx-axis (yy-axis) is dxd_{x} (dyd_{y}).

On the xx-axis, there are MxM_{x} antennas uniformly spaced with spacing of dxd_{x}. In each row, there are MyM_{y} antennas uniformly spaced on yy-axis with spacing of dyd_{y}. The base-station is elevated high above the ground for a typical cellular network and free from local scatterers. The base station, therefore, is in the far-field. And the channel of User kk equals

𝐡k=l=1Lβk,lejϕk,l𝐚(𝜽k,l),\mathbf{h}_{k}=\sum_{l=1}^{L}\beta_{k,l}e^{j\phi_{k,l}}\mathbf{a}\left(\bm{\theta}_{k,l}\right),\leavevmode\nobreak\ (6)

where LL is the number of paths, ll is the index of the spatial path, βk,l\beta_{k,l} denotes the path gain, ϕk,l\phi_{k,l} is path phase, and 𝐚(𝜽k,l)\mathbf{a}\left(\bm{\theta}_{k,l}\right) is the array response vector for a plane wave at direction 𝜽k,l\bm{\theta}_{k,l}. The array response vector is jointly determined by the carrier frequency and the array configuration. As we are interested in explaining the measured channels in Section III, we consider the case of the Uniform Planar Array (UPA), whose response vector is [5, Chapter 7]

𝐚(𝜽)=[\displaystyle\mathbf{a}\left(\bm{\theta}\right)=\Big{[} 1,,ej2πλ(dxmxsinθx+dymysinθy),,\displaystyle 1,\ \dots,e^{j\frac{2\pi}{\lambda}\left(d_{x}m_{x}\sin\theta_{x}+d_{y}m_{y}\sin\theta_{y}\right)},\ \dots,
ej2πλ(dx(Mx1)sinθx+dy(My1)sinθy)],\displaystyle e^{j\frac{2\pi}{\lambda}\left(d_{x}\left(M_{x}-1\right)\sin\theta_{x}+d_{y}\left(M_{y}-1\right)\sin\theta_{y}\right)}\Big{]},\leavevmode\nobreak\ (7)

where dxd_{x} is the the antenna spacing in the xx axis, dyd_{y} is the antenna spacing in the yy axis, mxm_{x} is the antenna index in the xx axis, mym_{y} is the antenna index in the yy axis, λ\lambda is the wavelength of the subcarrier, 𝜽=[θx,θy]\bm{\theta}=\left[\theta_{x},\theta_{y}\right] denotes the spatial angles, θx\theta_{x} is the angle between xx axis and the AoD, and θy\theta_{y} is the angle between yy axis and the AoD.

Under channel model (6), the inter-user channel correlation (4) is determined by the joint distribution of user path phases, path gains, and path angles. As the user to base-station distance is usually far larger than the wavelength, the path phases ϕk,l\phi_{k,l} follow i.i.d. uniform distribution over [0,2π]\left[0,2\pi\right]. In this section, we consider constant path gains, and the path angles are correlated between users.

The multi-user angle joint distribution depends on the propagation environment, carrier frequency, user location, and user mobility. To the best of our knowledge, the analytical modeling of multi-user angle distribution in practical massive MIMO downlink systems remains open. This section models inter-user angle correlation of User kk Path ll and User kk^{{}^{\prime}} Path ll^{{}^{\prime}} in the xx-axis by letting sin(θx,k,l)sin(θx,k,l)\sin\big{(}\theta_{x,k,l}\big{)}-\sin\big{(}\theta_{x,k^{{}^{\prime}},l^{{}^{\prime}}}\big{)} follow uniform distribution over [αx,l,l,αx,l,l]\left[-\alpha_{x,l,l^{{}^{\prime}}},\alpha_{x,l,l^{{}^{\prime}}}\right]. Similarly, sin(θy,k,l)sin(θy,k,l)\sin\big{(}\theta_{y,k,l}\big{)}-\sin\big{(}\theta_{y,k^{{}^{\prime}},l^{{}^{\prime}}}\big{)} follows independent uniform distribution over [αy,l,l,αy,l,l]\left[-\alpha_{y,l,l^{{}^{\prime}}},\alpha_{y,l,l^{{}^{\prime}}}\right]. In this model, constants α[0,1]\alpha\in\left[0,1\right] correspond to the case of maximum inter-user angle separation. For any distribution with support on [α,α]\left[-\alpha,\alpha\right], it is known [39] that the uniform distribution is entropy maximizing and thus minimizes the prior information of the joint multi-user angle distribution. A smaller α\alpha captures a stronger angle correlation. And αx,l,l=0\alpha_{x,l,l^{{}^{\prime}}}=0 suggests the corner case where the θx,k,l\theta_{x,k,l} equals θx,k,l\theta_{x,k^{{}^{\prime}},l^{{}^{\prime}}} with probability 11.

The uniform distribution model is also adopted in existing inter-user channel correlation analysis without inter-user angle correlation [4, 5, 10, 13, 23, 22]. And the existing analysis can be viewed as specialized versions of this section’s analysis by letting αx,l,l=1\alpha_{x,l,l^{{}^{\prime}}}=1, My=1M_{y}=1, L=1L=1, and N=1N=1. We will later compare this section’s analysis with the existing results to highlight the impact of inter-user angle correlation. We consider it a future direction to analyze the inter-user channel correlation based on modeling the inter-user angle correlation in real-world environments.

Remark 1

The covariance matrix method [29][5, (2.19)] can also model the joint user channel distribution by assuming near-static second-order covariance matrices. The elements of the covariance matrices capture the correlations among the base-station antennas. The covariance matrix method is prevalent in the massive MIMO achievable rate characterizations. This paper chooses the spatial channel model for two reasons. The spatial channel model [4, 5, 40] can capture the effect of both base-station array configuration and inter-user angle correlation. Propositions in Section IV-B will presents the inter-user channel correlation as a function of inter-user angle correlation and the base-station array configuration in closed-form. Besides, most of the past massive MIMO inter-user channel correlation analysis adopts spatial channel models (without inter-user angle correlation). Therefore, the spatial channel model enables a comparison to highlight the impact of inter-user angle correlation.

IV-B Main Proposition

We now present the main propositions that capture the inter-user channel correlation with inter-user angle correlation. This subsection begins with the finite-array analysis, which is followed up by the large-array regime specification.

Proposition 1 (Inter-user Angle Correlation Increases Inter-user Channel Correlation)

For massive MIMO systems with a uniform planar array and in channel model (6), the square of the inter-user correlation (4) satisfies

Var[1M𝐡kH𝐡k]=l=1Ll=1L\displaystyle\operatorname{Var}\left[\frac{1}{M}\mathbf{h}_{k}^{H}\mathbf{h}_{k^{{}^{\prime}}}\right]=\sum_{l=1}^{L}\sum_{l^{{}^{\prime}}=1}^{L} (βk,lβk,l)2[η(dxαx,l,l/λ,Mx)\displaystyle\left(\beta_{k,l}\beta_{k^{{}^{\prime}},l^{{}^{\prime}}}\right)^{2}\Big{[}\eta\left(d_{x}\alpha_{x,l,l^{{}^{\prime}}}/\lambda,M_{x}\right)
η(dyαy,l,l/λ,My)],\displaystyle\eta\left(d_{y}\alpha_{y,l,l^{{}^{\prime}}}/\lambda,M_{y}\right)\Big{]}, (8)

where η(c,M)=1M2m1=0M1m2=0M1sinc(2πc(m1m2))\eta\left(c,M\right)=\frac{1}{M^{2}}\sum_{m_{1}=0}^{M-1}\sum_{m_{2}=0}^{M-1}\mathrm{sinc}\left(2\pi c\left(m_{1}-m_{2}\right)\right).

Proof:

The main proof is to use the channel definition (6) and decompose the target value into the contributions by inter-user path pairs. The rest of the proof is completed by computing the mean and the variance of channel dot product of two spatial paths with correlated angles. Appendix A provides the complete proof. ∎

Proposition 1 captures the inter-user channel correlation with inter-user angle correlation in closed-form. Proposition 1 shows that the inter-user channel correlation is determined by the inter-user angle correlation and the base-station array configuration, which includes the number of antennas and inter-antenna spacing. Due to the sinc\mathrm{sinc} sum, the impact of the inter-user angle correlation and the base-station antenna spacing on inter-user channel correlation is not immediate, which will be clarified by the following asymptotic specification.

Proposition 2 (Asymptotic Inter-user Channel Correlation)

For a massive MIMO system with a square uniform planar array, where Mx=My=MM_{x}=M_{y}=\sqrt{M}, the square of the inter-user channel correlation (4) satisfies the following as MM\to\infty

Var[1M𝐡kH𝐡k]l=1Ll=1L\displaystyle\operatorname{Var}\left[\frac{1}{M}\mathbf{h}_{k}^{H}\mathbf{h}_{k^{{}^{\prime}}}\right]\cong\sum_{l=1}^{L}\sum_{l^{{}^{\prime}}=1}^{L} (βk,lβk,l)2[η~(dxαx,l,l/λ,Mx)\displaystyle\left(\beta_{k,l}\beta_{k^{{}^{\prime}},l^{{}^{\prime}}}\right)^{2}\Big{[}\tilde{\eta}\left(d_{x}\alpha_{x,l,l^{{}^{\prime}}}/\lambda,M_{x}\right)
η~(dyαy,l,l/λ,My)],\displaystyle\tilde{\eta}\left(d_{y}\alpha_{y,l,l^{{}^{\prime}}}/\lambda,M_{y}\right)\Big{]}, (9)

where η~(c,M)=𝟏c=0+𝟏c012cM\tilde{\eta}\left(c,M\right)=\bm{1}_{c=0}+\bm{1}_{c\neq 0}\frac{1}{2cM}. Here, f(M)g(M)f(M)\cong g(M) denotes the asymptotic equivalence relation [41, 1.4], which holds if and only if limMf(M)/g(M)=1\lim_{M\to\infty}f(M)/g(M)=1.

Proof:

Appendix B presents the proof, which is by combining Proposition 1 and Lemma 3 in Appendix D. ∎

Proposition 2 captures the scaling of the inter-user channel correlation in the large-array regime. By definition, \cong denotes asymptotic equivalence. Proposition 2 considers the square array for symbolic simplification. Similar results can be extended for UPAs where MxM_{x} and MyM_{y} grows at a fixed rate as MM goes to infinite.

The square of the inter-user channel correlation is the linear sum of the contributions from each inter-user path pair. For path pair that consists of User kk Path ll and User kk^{{}^{\prime}} Path ll^{{}^{\prime}}, the contribution is (βk,lβk,l)2η~(dxαx,l,l/λ,Mx)η~(dyαy,l,l/λ,My)\left(\beta_{k,l}\beta_{k^{{}^{\prime}},l^{{}^{\prime}}}\right)^{2}\tilde{\eta}\left(d_{x}\alpha_{x,l,l^{{}^{\prime}}}/\lambda,M_{x}\right)\tilde{\eta}\left(d_{y}\alpha_{y,l,l^{{}^{\prime}}}/\lambda,M_{y}\right).

When αx,l,l\alpha_{x,l,l^{{}^{\prime}}} and αy,l,l\alpha_{y,l,l^{{}^{\prime}}} equal 0, the AoD of User kk Path ll equals the AoD of User kk^{{}^{\prime}} Path ll^{{}^{\prime}} with probability 11, which means a always shared angle. Such shared angle leads to inter-user channel correlation converges to a positive constant that is independent of MM. Hence, the inter-user channel correlation does not converge to zero in the large-array regime when a shared angle exists.

For a more practical case where αx,l,l>0\alpha_{x,l,l^{{}^{\prime}}}>0 or αy,l,l>0\alpha_{y,l,l^{{}^{\prime}}}>0 for all path pairs, the inter-user channel correlation does reduce with the number of antennas at a rate of λdxαx,l,lMxλdyαy,l,lMy\frac{\lambda}{d_{x}\alpha_{x,l,l^{{}^{\prime}}}M_{x}}\frac{\lambda}{d_{y}\alpha_{y,l,l^{{}^{\prime}}}M_{y}}. The inter-user channel correlation increases with wavelength and inter-user angle correlation. And a larger inter-antenna spacing or more base-station antennas leads to a smaller inter-user channel correlation.

Propositions 1 and 2 further capture the interplay between inter-user angle correlation and base-station antenna spacing. For the xx (yy) axis, the channel correlation contribution term is determined by the product αxdx\alpha_{x}d_{x} (αydy\alpha_{y}d_{y}), where the angle correlation factor serves as a scaling constant before the base-station antenna spacing. This observation suggests that one can adapt the antenna spacing dd inversely proportional to α\alpha to achieve the exact inter-user channel correlation. In other words, manipulating the base-station array configuration is an attractive option to reduce inter-user channel correlation.

Another practical setup is the space-contained base-station, where the base-station inter-antenna spacing reduces inversely proportionally to MM due to limited base-station space. For the space-constrained systems, the dxMxd_{x}M_{x} (dyMyd_{y}M_{y}) is a fixed constant. And Proposition 2 proves that the inter-user channel correlation would converge to a positive constant, which is different from the fixed inter-antenna spacing case. With fixed inter-antenna spacing, the inter-user channel correlation will converge to zero as the number of base-station antenna MM increases to infinity. Therefore, the limited base-station array aperture in space-constrained systems can lead to high inter-user channel correlation even for very large MM.

Propositions 1 and 2 characterize the impact of the inter-user angle correlation and base-station array configuration on inter-user channel correlation in the finite-array and the large-antenna regimes. Section V uses numerical experiments to validate the finite-array analysis and examine the large-array analysis accuracy.

IV-C Case Studies

This subsection leverages Propositions 1 and 2 to explain the measured OTA channels and past theoretical results. We first employ the propositions to explain the OTA channel observations in Section III. The rest of this subsection connects our characterization to past results on inter-user channel correlation without inter-user angle correlation.

IV-C1 OTA Observations Explanations

OTA Finding 1 – Close-by user channel correlation decays very slowly. Past research demonstrated [24, 25] that close-by users are of a higher probability to have close-by angles due to shared scatters. Therefore, it is reasonable to consider that the inter-user angle correlation reduces with the inter-user distance. Propositions 1 and 2 demonstrate that the inter-user channel correlation increases with the inter-user angle correlation in both the finite-array and large-array regimes. Therefore, the combination of the theoretical results and past observations explains the first OTA finding.

OTA Finding 2 – Far-away user channels correlation decays faster than measured closed-by users, but slower than users in the i.i.d. Rayleigh fading channel. In practical environments, two clusters of far-away users may share the main energy from similar angles. In addition, the measurement base-station employed patch antennas with 33-dB beam-width of around 120120-degree. Therefore, the angle correlation of users from far-away clusters could be significant, which leads to a high channel correlation among some far-away users.

OTA Finding 3 – Inter-user angle proximity might cause high inter-user channel correlation. Under the considered channel model (6), inter-user angle proximity means high inter-user angle correlation. And Propositions 1 and 2 prove that inter-user channel correlation increases with inter-user angle correlation.

OTA Finding 4 – Inter-user correlation is near-constant across the subcarriers. Proposition 1 describes the inter-user channel correlation. In (8), the impact of the frequency is captured by the carrier wavelength. The central carrier frequency is 2.42.4 GHz on the measured ISM band with a frequency bandwidth of 2020 MHz. Therefore, the lowest and highest subcarriers will differ by 0.830.83% in wavelength, which is part of the sinc\mathrm{sinc} function input. The smaller sinc\mathrm{sinc} function input difference explains the near-constant inter-user channel correlation across the measured subcarriers. To better understand the implication, we remove the sinc\mathrm{sinc} function by considering the large-array specification. Proposition 2 shows that the lowest subcarrier will have 1.681.68% higher channel correlation than the highest subcarrier in the large-array regimes, which matches with the OTA Finding 44.

We note that the above cross-subcarrier analysis assumes the same spatial paths across different subcarriers. This assumption is widely adopted in the state-of-the-art channel modeling [40] for TDD-based systems. For FDD-based massive MIMO systems [4, 5, 33], the uplink and the downlink channel central frequencies can have a large frequency gap. The gap indicates that the spatial path difference might lead to a more considerable difference in inter-user channel correlation between the uplink and the downlink channels.

OTA Finding 5 – Close-by user channel correlation reduces with multi-path. To explain the impact of the multi-path effect, we consider the keyhole channels [4] with a different number of keyholes. The keyhole channel can be a special case of model (6) by letting each user channel has a path passing each keyhole. For each keyhole, inter-user angle correlation is captured by 𝜶o=(αx,o,αy,o)\bm{\alpha}_{o}=\left(\alpha_{x,o},\alpha_{y,o}\right). The inter-user angle correlation of paths through different holes adopts α=1\alpha=1 to model the independence of keyholes. To simplify the expression, we use βk,l=βk,l=1L\beta_{k,l}=\beta_{k^{{}^{\prime}},l^{{}^{\prime}}}=\frac{1}{\sqrt{L}}.

Proposition 1 can give the inter-user channel correlation with the keyhole channel specifications. After some algebraic manipulations, the inter-user channel correlation (4) satisfies

Var[1M𝐡kH𝐡k]=\displaystyle\operatorname{Var}\left[\frac{1}{M}\mathbf{h}_{k}^{H}\mathbf{h}_{k^{{}^{\prime}}}\right]= [1Lη(dxαx,oλ,Mx)η(dyαy,oλ,My)+\displaystyle\Big{[}\frac{1}{L}\eta\left(\frac{d_{x}\alpha_{x,o}}{\lambda},M_{x}\right)\eta\left(\frac{d_{y}\alpha_{y,o}}{\lambda},M_{y}\right)+
L1Lη(dxλ,Mx)η(dyλ,My)],\displaystyle\frac{L-1}{L}\eta\left(\frac{d_{x}}{\lambda},M_{x}\right)\eta\left(\frac{d_{y}}{\lambda},M_{y}\right)\Big{]}, (10)

where η(c,M)\eta\left(c,M\right) is defined in Proposition 1 as m1=0M1m2=0M1sinc(2πc(m1m2))\sum_{m_{1}=0}^{M-1}\sum_{m_{2}=0}^{M-1}\mathrm{sinc}\left(2\pi c\left(m_{1}-m_{2}\right)\right). For the keyhole channel, the inter-user channel correlation can be viewed as a weighted sum of two terms. The first term η(dxαx,oλ,Mx)η(dyαy,oλ,My)\eta\left(\frac{d_{x}\alpha_{x,o}}{\lambda},M_{x}\right)\eta\left(\frac{d_{y}\alpha_{y,o}}{\lambda},M_{y}\right) is the inter-user channel correlation of a LOS channel with angle correlation of 𝜶o\bm{\alpha}_{o}. And η(dxλ,Mx)η(dyλ,My)\eta\left(\frac{d_{x}}{\lambda},M_{x}\right)\eta\left(\frac{d_{y}}{\lambda},M_{y}\right) is the inter-user channel correlation of a LOS channel with independent angles. Therefore, as LL increases, the inter-user channel correlation will be weighted towards the independent angle case, which results in a lower inter-user channel correlation.

We next extend the observation to the asymptotic regime with Mx=My=MM_{x}=M_{y}=\sqrt{M}. By Proposition 2, the inter-user channel correlation satisfies

Var[1M𝐡kH𝐡k]\displaystyle\operatorname{Var}\left[\frac{1}{M}\mathbf{h}_{k}^{H}\mathbf{h}_{k^{{}^{\prime}}}\right]\cong [1Lη~(dxαx,oλ,Mx)η~(dyαy,oλ,My)+\displaystyle\Big{[}\frac{1}{L}\tilde{\eta}\left(\frac{d_{x}\alpha_{x,o}}{\lambda},M_{x}\right)\tilde{\eta}\left(\frac{d_{y}\alpha_{y,o}}{\lambda},M_{y}\right)+
L1Lλ2dxMxλ2dyMy],\displaystyle\frac{L-1}{L}\frac{\lambda}{2d_{x}M_{x}}\frac{\lambda}{2d_{y}M_{y}}\Big{]}, (11)

where η~(c,M)=𝟏c=0+𝟏c012cM\tilde{\eta}\left(c,M\right)=\bm{1}_{c=0}+\bm{1}_{c\neq 0}\frac{1}{2cM}, and f(M)g(M)f(M)\cong g(M) means asymptotic equivalence. For the above keyhole channel, both (10) and (11) show that the multi-path effect makes the inter-user channel correlation closer to the inter-user channel correlation of a LOS channel with independent angles. This observation again verifies OTA Finding 55.

IV-C2 Links to Systems without Inter-User Angle Correlation

As mentioned in the spatial channel model (6) setup, user channels without inter-user angle correlation can be viewed as specialized versions of the studied channel model by letting αx=1\alpha_{x}=1 and αy=1\alpha_{y}=1. The link inspires us to compare this section’s analysis with past results to highlight the impact of inter-user angle correlation. This subsection begins with the independent AoD specification, which is followed by the LOS and Rayleigh fading cases.

Uniform Linear Array Specification We now adapt Propositions 1 and 2 to describe the inter-user channel correlation in the special case of ULA by letting My=1M_{y}=1, d=dxd=d_{x}, and number of base-station antennas M=MxM=M_{x}. Here, we consider the ULA as the past results on inter-user angle correlation [10, 13] adopted ULA. For the above described ULA system, Proposition 1 gives the square of the inter-user channel correlation (4) Var[1M𝐡kH𝐡k]\operatorname{Var}\left[\frac{1}{M}\mathbf{h}_{k}^{H}\mathbf{h}_{k^{{}^{\prime}}}\right] is

l=1Ll=1L(βk,lβk,l)2η(dαl,lλ,M),\displaystyle\sum_{l=1}^{L}\sum_{l^{{}^{\prime}}=1}^{L}\left(\beta_{k,l}\beta_{k^{{}^{\prime}},l^{{}^{\prime}}}\right)^{2}\eta\left(\frac{d\alpha_{l,l^{{}^{\prime}}}}{\lambda},M\right),

where η(c,M)=m1=0M1m2=0M1sinc(2πc(m1m2)/λ)\eta\left(c,M\right)=\sum_{m_{1}=0}^{M-1}\sum_{m_{2}=0}^{M-1}\mathrm{sinc}\left(2\pi c\left(m_{1}-m_{2}\right)/\lambda\right), and αl,l=αx,l,l\alpha_{l,l^{{}^{\prime}}}=\alpha_{x,l,l^{{}^{\prime}}}. As MM\to\infty, The square of inter-user channel correlation in the large-array regime is provided by Proposition 2 as

l=1Ll=1L(βk,lβk,l)2(𝟏c=0+𝟏c0λ2dαl,lM).\sum_{l=1}^{L}\sum_{l^{{}^{\prime}}=1}^{L}\left(\beta_{k,l}\beta_{k^{{}^{\prime}},l^{{}^{\prime}}}\right)^{2}\left(\bm{1}_{c=0}+\bm{1}_{c\neq 0}\frac{\lambda}{2d\alpha_{l,l^{{}^{\prime}}}M}\right). (12)

LOS channel with independent inter-user angles: Past works labels users in LOS environments where sin(θk)sin(θk)\sin\big{(}\theta_{k}\big{)}-\sin\big{(}\theta_{k}^{{}^{\prime}}\big{)} follows i.i.d. uniform distribution over [1,1]\left[-1,1\right] as “Uniform Random LOS channel” [10, 13, 11, 4]. And [10, 11] [4, Table 7.1] showed that with half-wavelength spaced ULA, the square of the asymptotic inter-user channel correlation equals 1M\frac{1}{M} in the “Uniform Random LOS channel”. Such result is immediate by substituting (12) with d=λ2d=\frac{\lambda}{2}, βk,1=βk,1=1\beta_{k,1}=\beta_{k^{{}^{\prime}},1}=1, α=1\alpha=1, and L=1L=1.

The i.i.d. Rayleigh fading channel: Finally, the past massive MIMO research [10, 4] demonstrated that in the i.i.d. Rayleigh fading channel, inter-user channel correlation satisfies that

Var[1M𝐡kH𝐡k]=1M.\operatorname{Var}\left[\frac{1}{M}\mathbf{h}_{k}^{H}\mathbf{h}_{k^{{}^{\prime}}}\right]=\frac{1}{M}.\leavevmode\nobreak\ (13)

Recall that we can link the spatial channel model to the Rayleigh fading channel by LL\to\infty. When LL\to\infty and βk,1=βk,1=1L\beta_{k,1}=\beta_{k^{{}^{\prime}},1}=\frac{1}{\sqrt{L}}, Var[1M𝐡kH𝐡k]\operatorname{Var}\left[\frac{1}{M}\mathbf{h}^{H}_{k}\mathbf{h}_{k^{{}^{\prime}}}\right] in (12) converges to λ2dαl,lM\frac{\lambda}{2d\alpha_{l,l^{{}^{\prime}}}M}, which matches (13).

We hence conclude that the past analytical results in both “Uniform Random LOS” channel and the i.i.d. Rayleigh fading channel without inter-user angle correlation are specialized versions of Proposition 1 and Proposition 2.

V Numerical Evaluations

Section IV captures the inter-user channel correlation in massive MIMO systems with inter-user angle correlation in closed-form. This section adopts numerical experiments to evaluate the accuracy of the theoretical analysis, Propositions 1 and Propositions 2. In addition, the simulation results confirm that inter-user angle correlation can result in the measured OTA inter-user channel correlation. This section considers massive MIMO systems with UPA or ULA array configurations in the LOS and NLOS environments to match Section III and Section IV.

In this section, we simulate the NLOS propagation environments via the keyhole channel [4] where the inter-user angles demonstrate pairwise correlation in both the xx and yy axes. There are LL key-holes. Similar to Section IV-C, the angles of user paths passing each key-hole have correlation of α\alpha in both the xx and yy axes. And the angles of paths passing different key-holes are assumed to be independent with α=1\alpha=1. The LOS propagation environment is simulated as a special case of the keyhole channels by letting L=1L=1. Unless otherwise specified, each simulation data point has a sample size of 2000020000. We note that the simulation in this section and the analysis in Section IV capture the inter-user channel correlation, which is not impacted by the choice of precoding algorithm.

Refer to caption
((a)) UPA, LOS
Refer to caption
((b)) UPA, NLOS
Figure 7: Inter-user channel correlation for massive MIMO with inter-user angle correlation. The base-station is equipped with a UPA in the LOS and NLOS environments. Here, the antennas spacing is half wavelength, i.e. dx=dy=0.5λd_{x}=d_{y}=0.5\lambda. For each curve group, both αx\alpha_{x} and αy\alpha_{y} equal the labeled α\alpha. For the NLOS channel, L=3L=3. Fig 7 demonstrates that inter-user channel correlation reduces with LL and α\alpha. In other words, inter-user channel correlation reduces due to multi-path, and increases with inter-user angle correlation.

Fig. 7 presents the inter-user channel correlation for UPA-based massive MIMO systems in both LOS and NLOS environments. In Fig. 7(a) and Fig. 7(b), the inter-user angle correlation varies from 0.050.05 to 0.60.6. The average inter-user channel correlation in the i.i.d.  Rayleigh fading is presented in black. The inter-user channel correlation reduces with the number of base-station antennas MM for all inter-user angle correlations.

In both LOS and NLOS environments, the simulations confirm that the inter-user channel correlation increases with inter-user angle correlation, which directly verifies the OTA Finding 33 in Section III-B. Combined with the observation that close-by user angles are more likely [25] to have a high correlation, the simulation results verify the OTA Finding 11 and Finding 22. By comparing the inter-user channel correlation in Fig. 7(a) and Fig. 7(b), the simulations confirm that the multi-path effect reduces the inter-user channel correlation, i.e. OTA Finding 55.

Recall that the i.i.d. Rayleigh fading channel can be viewed as a special case when L=L=\infty and α=1\alpha=1. Fig. 7(b) demonstrates that for low inter-user angle correlation (α=0.6\alpha=0.6) and a few spatial paths (L=3L=3), a close to ideal inter-user channel correlation could be obtainable. However, in practical environments where inter-user angle correlation can be high, the inter-user channel correlation might be significant even when M>600M>600.

Furthermore, Fig. 7 validates the accuracy of the finite-array and large-array theoretical analysis. For all simulated α\alpha and MM in both environments, the finite-array analysis (red) exactly matches the numerical results (green). And the large-array approximation (blue) in Proposition 2 becomes accurate when M>200M>200 and α>0.1\alpha>0.1.

Recalling that a ULA array is a special version of UPA with My=1M_{y}=1, we now inspect the inter-user channel correlation of massive MIMO with a ULA base-station array. Fig. 8 presents the inter-user channel correlation in both LOS and NLOS environments with varying levels of inter-user angle correlation. Similar to the UPA counterparts in Fig. 7, Fig. 8 shows that inter-user channel correlation increases with the inter-user angle correlation. Comparing Fig. 8(a) and Fig. 8(b) gives that multi-path effect reduces the inter-user channel correlation. The overlap of Proposition 1 analysis (red) and simulated results (green) demonstrates the correctness of the finite-array analysis. And we find that the large-array approximation in Proposition 2 becomes accurate for ULA systems when the number of antennas M>150M>150.

Additionally, by comparing Fig. 8 to Fig. 7, we find that ULA based systems demonstrate a lower inter-user channel correlation than the UPA counterparts. The gap between UPA and ULA systems increases with inter-user angle correlation. This observation suggests that the design of the base-station array configuration is essential for combating the inter-user angle correlation induced inter-user channel correlation.

Refer to caption
((a)) ULA, LOS
Refer to caption
((b)) ULA, NLOS
Figure 8: Inter-user channel correlation for massive MIMO with the ULA array. For both LOS and NLOS cases, the antenna spacing in xx and yy axes is half the wavelength. For Fig. 8(b), L=3L=3. Similar to the UPA counterpart in Fig. 7, this figure demonstrates that multi-path and lower inter-user angle correlation reduces the inter-user channel correlation.

Propositions 1 and 2 predicts that inter-user angle correlation increases the inter-user channel correlation as if shrinking the base-station inter-antenna spacing while keeping the same MM. Fig. 9 validates this prediction by presenting the inter-user channel correlation of users with different inter-user angle correlation and different base-station inter-antenna spacing. The inter-user channel correlation in both the xx and the yy axes are 0.10.1 or 0.20.2. Fig. 9 considers antenna spacing being 0.250.25 wavelength or 0.50.5 wavelength. For both UPA and ULA systems, we find that doubling the antenna spacing (from 0.250.25 wavelength to 0.50.5 wavelength) can exactly offset the effect of doubling the inter-user angle correlation (α=0.2\alpha=0.2 to α=0.1\alpha=0.1). In other words, Fig. 9 confirms that manipulating the base-station array spacing is a promising option for managing inter-user angle correlation induced inter-user channel correlation.

Refer to caption
((a)) UPA, LOS
Refer to caption
((b)) ULA, LOS
Figure 9: Manipulating the base-station antenna spacing can offset the inter-user channel correlation increase caused by the inter-user angle correlation. The labeled dd denotes the base-station array spacing in the xx and yy axes in this figure. The inter-user angle correlation αx\alpha_{x} and αy\alpha_{y} equal the labeled α\alpha.

We next use Fig. 10 to confirm the OTA finding that inter-user channel correlation is near-constant across the subcarriers. Fig. 10 presents the inter-user channel correlation for UPA-based massive MIMO systems in both LOS and NLOS environments. During the simulation, we emulate the OTA measurement setup in Section III by using the same channel and base-station array setup. The simulated channel has a central frequency of 2.4372.437 GHz with a 2020 MHz bandwidth. There are 5252 data-carrying subcarriers. The base-station adopts a UPA array with antenna spacing of 0.06350.0635 meters. Fig. 10(a) and Fig. 10(b) presents the LOS and NLOS results, prospective. The small error bars of the simulation curves (in green) confirm the OTA Finding 44, and theoretical analysis in that inter-user channel correlation is near-constant across the subcarriers. Finally, similar to the earlier simulation results, Fig. 10 also confirms the accuracy of the finite-array (red) and large-array (blue) theoretical analysis.

Refer to caption
((a)) UPA, LOS
Refer to caption
((b)) UPA, NLOS
Figure 10: Inter-user channel correlation is near-constant across the subcarriers. The error bar of each curve denotes the inter-user channel correlation among the 52 subcarriers across the 2020 MHz bandwidth at the 2.42.4 GHz. The error bars for all simulation (green) curves confirm that the user channel standard deviation is less than 0.010.01, which matches with OTA Finding 55. In Fig. 10(b), L=3L=3. The base-station is equipped with a UPA and the labeled α\alpha represents both αx\alpha_{x} and αy\alpha_{y} The base-station antenna spacing satisfies that dy=0.0635d_{y}=0.0635 m and dy=0.0635d_{y}=0.0635 m. For each curve, we simulate each subcarrier with 500500 samples.

VI Conclusion

This work studies the inter-user channel correlation in practical massive MIMO channels with inter-user angle correlation. We measured and released a new massive MIMO channel dataset with over 1150011500 unique channel vectors. We use measured channels to examine the inter-user channel correlation in a real-world propagation environment. The measurements show that adding more base-station antennas barely reduces the channel correlation between close-by users when the number of base-station antennas M>36M>36. Moreover, more than 30.56%30.56\% far-away user pairs have channel correlation twice higher than the correlation in the i.i.d. Rayleigh fading channel. Via spatial signal processing, we find that users with high channel correlation can have proximity in the angle space. We adopt spatial channel models to compute the inter-user channel correlation in closed-form with the impact of inter-user angle correlation. The analysis proves that the inter-user channel correlation increases with inter-user angle correlation, and reduces with base-station array aperture. With fixed base-station inter-antenna spacing, except for the corner cases where users always share at least one angle, the inter-user channel correlation converges to zero as MM increases to infinity. However, the inter-user angle correlation and limited base-station form factor can result in high inter-user channel correlation in real-world systems. We further validate the analysis with numerical experiments. The presented results collectively demonstrate that inter-user angle correlation management, such as user selection, could be critical in practical environments. Finally, base-station array configuration design is an attractive option for reducing inter-user channel correlation caused by inter-user angle correlation.

Appendix A Proof of User Channel Correlation, Proposition 1

We begin the proof by decomposing the inter-user channel product 𝐡kH𝐡k\mathbf{h}_{k}^{H}\mathbf{h}_{k^{{}^{\prime}}} as

(l=1Lβk,lejϕk,l𝐚(𝜽k,l))H(l=1Lβk,lejϕk,l𝐚(𝜽𝒌,𝒍))\displaystyle\left(\sum_{l=1}^{L}\beta_{k,l}e^{j\phi_{k,l}}\mathbf{a}\Big{(}\bm{\theta}_{k,l}\Big{)}\right)^{H}\left(\sum_{l=1}^{L}\beta_{k^{{}^{\prime}},l^{{}^{\prime}}}e^{j\phi_{k^{{}^{\prime}},l^{{}^{\prime}}}}\mathbf{a}\left(\bm{\theta_{k^{{}^{\prime}},l^{{}^{\prime}}}}\right)\right)
=\displaystyle= l=1Ll=1Lβk,lβk,lej(ϕk,lϕk,l)𝐚H(𝜽𝒌,𝒍)𝐚(𝜽𝒌,𝒍)\displaystyle\sum_{l=1}^{L}\sum_{l^{{}^{\prime}}=1}^{L}\beta_{k,l}\beta_{k^{{}^{\prime}},l^{{}^{\prime}}}e^{j\left(\phi_{k^{{}^{\prime}},l^{{}^{\prime}}}-\phi_{k,l}\right)}\mathbf{a}^{H}\Big{(}\bm{\theta_{k,l}}\Big{)}\mathbf{a}\Big{(}\bm{\theta_{k^{{}^{\prime}},l^{{}^{\prime}}}}\Big{)}

Under channel model (6), path phases ϕk,l,ϕk,l\phi_{k^{{}^{\prime}},l^{{}^{\prime}}},\phi_{k,l} follow independent uniform distribution on [0,2π]\left[0,2\pi\right]. For any random variable XX that is independent of ϕ\phi, we have 𝔼[ejϕX]=0\mathbb{E}\left[e^{j\phi}X\right]=0. The linearity of the expectation operator then gives

𝔼[1M𝐡kH𝐡k]=0,\mathbb{E}\left[\frac{1}{M}\mathbf{h}_{k}^{H}\mathbf{h}_{k^{{}^{\prime}}}\right]=0, (14)

The variance (8) can be then proved via some standard manipulations as

Var[𝐡kH𝐡k]=\displaystyle\operatorname{Var}\left[\mathbf{h}_{k}^{H}\mathbf{h}_{k^{{}^{\prime}}}\right]= 𝔼[|𝐡kH𝐡k|2]|𝔼[𝐡kH𝐡k]|2\displaystyle\mathbb{E}\left[\left|\mathbf{h}_{k}^{H}\mathbf{h}_{k^{{}^{\prime}}}\right|^{2}\right]-\left|\mathbb{E}\left[\mathbf{h}_{k}^{H}\mathbf{h}_{k^{{}^{\prime}}}\right]\right|^{2}
=\displaystyle= 𝔼[|𝐡kH𝐡k|2],\displaystyle\mathbb{E}\left[\left|\mathbf{h}_{k}^{H}\mathbf{h}_{k^{{}^{\prime}}}\right|^{2}\right],

where the last step is via the proved mean (14). Reusing the i.i.d. uniform path phase assumption, the variance term 𝔼[l=1Ll=1L(βk,lβk,l)2|𝐚H(𝜽𝒌,𝒍)𝐚(𝜽𝒌,𝒍)|2]\mathbb{E}\left[\sum_{l=1}^{L}\sum_{l^{{}^{\prime}}=1}^{L}\left(\beta_{k,l}\beta_{k^{{}^{\prime}},l^{{}^{\prime}}}\right)^{2}\left|\mathbf{a}^{H}\Big{(}\bm{\theta_{k,l}}\Big{)}\mathbf{a}\Big{(}\bm{\theta_{k^{{}^{\prime}},l^{{}^{\prime}}}}\Big{)}\right|^{2}\right] equals

l=1Ll=1L(βk,lβk,l)2𝔼[|𝐚H(𝜽𝒌,𝒍)𝐚(𝜽𝒌,𝒍)|2]\sum_{l=1}^{L}\sum_{l^{{}^{\prime}}=1}^{L}\left(\beta_{k,l}\beta_{k^{{}^{\prime}},l^{{}^{\prime}}}\right)^{2}\mathbb{E}\left[\left|\mathbf{a}^{H}\Big{(}\bm{\theta_{k,l}}\Big{)}\mathbf{a}\Big{(}\bm{\theta_{k^{{}^{\prime}},l^{{}^{\prime}}}}\Big{)}\right|^{2}\right] (15)

We complete this proof by computing each of the expectation terms 𝔼[|𝐚H(𝜽𝒌,𝒍)𝐚(𝜽𝒌,𝒍)|2]\mathbb{E}\left[\left|\mathbf{a}^{H}\Big{(}\bm{\theta_{k,l}}\Big{)}\mathbf{a}\Big{(}\bm{\theta_{k^{{}^{\prime}},l^{{}^{\prime}}}}\Big{)}\right|^{2}\right] as

Var[𝐚H(𝜽𝒌,𝒍)𝐚(𝜽𝒌,𝒍)]+𝔼2[𝐚H(𝜽𝒌,𝒍)𝐚(𝜽𝒌,𝒍)]\displaystyle\operatorname{Var}\left[\mathbf{a}^{H}\Big{(}\bm{\theta_{k,l}}\Big{)}\mathbf{a}\Big{(}\bm{\theta_{k^{{}^{\prime}},l^{{}^{\prime}}}}\Big{)}\right]+\mathbb{E}^{2}\left[\mathbf{a}^{H}\Big{(}\bm{\theta_{k,l}}\Big{)}\mathbf{a}\Big{(}\bm{\theta_{k^{{}^{\prime}},l^{{}^{\prime}}}}\Big{)}\right]
=\displaystyle= η(dxαxλ,Mx)η(dyαyλ,My),\displaystyle\eta\left(\frac{d_{x}\alpha_{x}}{\lambda},M_{x}\right)\eta\left(\frac{d_{y}\alpha_{y}}{\lambda},M_{y}\right), (16)

where the last step is by Lemma 1.

Appendix B Asymptotic User Channel Correlation

Due to the symmetry between the xx axis and the yy axis, it is sufficient to prove that

η(c,M)η~(c,M)=𝟏c=0+𝟏c012cM.\eta\left(c,M\right)\cong\tilde{\eta}\left(c,M\right)=\bm{1}_{c=0}+\bm{1}_{c\neq 0}\frac{1}{2cM}. (17)

We prove by consider different values of cc. When c=0c=0, we use the definition of η()\eta\left(\cdot\right) and have

η(0,M)=1M2m1=0M1m2=0M1sinc(0)=1,\eta\left(0,M\right)=\frac{1}{M^{2}}\sum_{m_{1}=0}^{M-1}\sum_{m_{2}=0}^{M-1}\mathrm{sinc}\left(0\right)=1, (18)

where the last step is by sinc(0)=1\mathrm{sinc}\left(0\right)=1. When c>0c>0, η(c,M)\eta\left(c,M\right) can be computed with Lemma 3 as

limM2cMη(c,M)=\displaystyle\lim_{M\to\infty}2cM\eta\left(c,M\right)= limM2cMm1=0M1m2=0M1sinc(2πc(m1m2))\displaystyle\lim_{M\to\infty}\frac{2c}{M}\sum_{m_{1}=0}^{M-1}\sum_{m_{2}=0}^{M-1}\mathrm{sinc}\left(2\pi c\left(m_{1}-m_{2}\right)\right)
=\displaystyle= 1,forc(0,1].\displaystyle 1,\quad\text{for}\quad c\in\left(0,1\right]. (19)

Combining (18) and (19) gives (17), which completes the proof.

Appendix C Useful Properties Of Spatial Correlated Paths

Lemma 1

For two array response vectors with angles that satisfy sinθx,1sinθx,2U[αx,αx]\sin\theta_{x,1}-\sin\theta_{x,2}\sim U\left[-\alpha_{x},\alpha_{x}\right], sinθy,1sinsinθy,2U[αy,αy]\sin\theta_{y,1}-\sin\sin\theta_{y,2}\sim U\left[-\alpha_{y},\alpha_{y}\right] and is independent of sinθx,1sinθx,2\sin\theta_{x,1}-\sin\theta_{x,2}, and αx,αy[0,1]\alpha_{x},\alpha_{y}\in[0,1], the mean and variance of their response vector follows

𝔼[𝐚H(𝜽𝟏)𝐚(𝜽𝟐)]=\displaystyle\mathbb{E}\left[\mathbf{a}^{H}\left(\bm{\theta_{1}}\right)\mathbf{a}\left(\bm{\theta_{2}}\right)\right]= μ(αxdxλ,Mx)μ(αydyλ,My),\displaystyle\mu\left(\frac{\alpha_{x}d_{x}}{\lambda},M_{x}\right)\mu\left(\frac{\alpha_{y}d_{y}}{\lambda},M_{y}\right), (20)
Var[𝐚H(𝜽𝟏)𝐚(𝜽𝟐)]=\displaystyle\operatorname{Var}\left[\mathbf{a}^{H}\left(\bm{\theta_{1}}\right)\mathbf{a}\left(\bm{\theta_{2}}\right)\right]= η(αxdxλ,Mx)η(αydyλ,My)\displaystyle\eta\left(\frac{\alpha_{x}d_{x}}{\lambda},M_{x}\right)\eta\left(\frac{\alpha_{y}d_{y}}{\lambda},M_{y}\right)-
[μ(αxdxλ,Mx)μ(αydyλ,My)]2,\displaystyle\left[\mu\left(\frac{\alpha_{x}d_{x}}{\lambda},M_{x}\right)\mu\left(\frac{\alpha_{y}d_{y}}{\lambda},M_{y}\right)\right]^{2}, (21)

where μ(c,M)=m=0M1sinc(2πmc)\mu\left(c,M\right)=\sum_{m=0}^{M-1}\mathrm{sinc}\left(2\pi mc\right), and η(c,M)=m1=0M1m2=0M1sinc(2πc(m1m2)).\eta\left(c,M\right)=\sum_{m_{1}=0}^{M-1}\sum_{m_{2}=0}^{M-1}\mathrm{sinc}\left(2\pi c\left(m_{1}-m_{2}\right)\right).

Proof:
𝔼[𝐚H(𝜽𝟏)𝐚(𝜽2)]=\displaystyle\mathbb{E}\left[\mathbf{a}^{H}\left(\bm{\theta_{1}}\right)\mathbf{a}\left(\bm{\theta}_{2}\right)\right]= mx=0Mx1my=0My1𝔼[ej2π(mxsinθx,1dxλ+mysinθy,1dyλ)ej2π(mxsinθx,2dxλ+mysinθy,2dyλ)]\displaystyle\sum_{m_{x}=0}^{M_{x}-1}\sum_{m_{y}=0}^{M_{y}-1}\mathbb{E}\left[e^{-j2\pi\left(m_{x}\sin\theta_{x,1}\frac{d_{x}}{\lambda}+m_{y}\sin\theta_{y,1}\frac{d_{y}}{\lambda}\right)}e^{j2\pi\left(m_{x}\sin\theta_{x,2}\frac{d_{x}}{\lambda}+m_{y}\sin\theta_{y,2}\frac{d_{y}}{\lambda}\right)}\right]
=\displaystyle= mx=0Mx1my=0My1αyαy12αyαxαx12αxej2π(mxuxdxλ+myuydyλ)𝑑ux𝑑uy\displaystyle\sum_{m_{x}=0}^{M_{x}-1}\sum_{m_{y}=0}^{M_{y}-1}\int_{-\alpha_{y}}^{\alpha_{y}}\frac{1}{2\alpha_{y}}\int_{-\alpha_{x}}^{\alpha_{x}}\frac{1}{2\alpha_{x}}e^{j2\pi\left(m_{x}u_{x}\frac{d_{x}}{\lambda}+m_{y}u_{y}\frac{d_{y}}{\lambda}\right)}du_{x}du_{y}
=\displaystyle= mx=0Mx1my=0My1sinc(2πmxαxdxλ)αyαy12αyej2πmyuydyλ𝑑uy\displaystyle\sum_{m_{x}=0}^{M_{x}-1}\sum_{m_{y}=0}^{M_{y}-1}\mathrm{sinc}\left(2\pi m_{x}\frac{\alpha_{x}d_{x}}{\lambda}\right)\int_{-\alpha_{y}}^{\alpha_{y}}\frac{1}{2\alpha_{y}}e^{j2\pi m_{y}u_{y}\frac{d_{y}}{\lambda}}du_{y}
=\displaystyle= mx=0Mx1sinc(2πmxαxdxλ)my=0My1sinc(2πmyαydyλ).\displaystyle\sum_{m_{x}=0}^{M_{x}-1}\mathrm{sinc}\left(2\pi m_{x}\frac{\alpha_{x}d_{x}}{\lambda}\right)\sum_{m_{y}=0}^{M_{y}-1}\mathrm{sinc}\left(2\pi m_{y}\frac{\alpha_{y}d_{y}}{\lambda}\right). (22)

 

Define ux=sin(θx,2)sin(θx,1)u_{x}=\sin(\theta_{x,2})-\sin(\theta_{x,1}), and uy=sin(θy,2)sin(θy,1)u_{y}=\sin(\theta_{y,2})-\sin(\theta_{y,1}). We compute the first moment (20) in (22) by using the definition of the UPA array response vector (7).

Similarly, we compute the second moment (21) by (7) as

𝔼[|𝐚H(𝜽𝟏)𝐚(𝜽𝟐)|2]|𝔼[𝐚H(𝜽𝟏)𝐚(𝜽𝟐)]|2.\displaystyle\mathbb{E}\left[\left|\mathbf{a}^{H}\left(\bm{\theta_{1}}\right)\mathbf{a}\left(\bm{\theta_{2}}\right)\right|^{2}\right]-\left|\mathbb{E}\left[\mathbf{a}^{H}\left(\bm{\theta_{1}}\right)\mathbf{a}\left(\bm{\theta_{2}}\right)\right]\right|^{2}. (23)

Recall the first moment (20) is proved by (22), we complete the proof by computing 𝔼[|𝐚H(𝜽𝟏)𝐚(𝜽𝟐)|2]\mathbb{E}\left[\left|\mathbf{a}^{H}\left(\bm{\theta_{1}}\right)\mathbf{a}\left(\bm{\theta_{2}}\right)\right|^{2}\right], which equals

𝔼[|mx=0Mx1my=0My1ej2π((mx1mx2)uxdxλ+(my1my2)uydyλ)|2],\mathbb{E}\left[\left|\sum_{m_{x}=0}^{M_{x}-1}\sum_{m_{y}=0}^{M_{y}-1}e^{j2\pi\left(\left(m_{x_{1}}-m_{x_{2}}\right)u_{x}\frac{d_{x}}{\lambda}+\left(m_{y_{1}}-m_{y_{2}}\right)u_{y}\frac{d_{y}}{\lambda}\right)}\right|^{2}\right],

which is simplified by using independence of uxu_{x} and uyu_{y} as

𝔼[mx1=0Mx1\displaystyle\mathbb{E}\Bigg{[}\sum_{m_{x_{1}}=0}^{M_{x}-1} mx2=0Mx1ej2π(mx1mx2)uxdxλ×\displaystyle\sum_{m_{x_{2}}=0}^{M_{x}-1}e^{j2\pi\left(m_{x_{1}}-m_{x_{2}}\right)u_{x}\frac{d_{x}}{\lambda}}\times
my1=0My1my2=0My1ej2π(my1my2)uydyλ]\displaystyle\sum_{m_{y_{1}}=0}^{M_{y}-1}\sum_{m_{y_{2}}=0}^{M_{y}-1}e^{j2\pi\left(m_{y_{1}}-m_{y_{2}}\right)u_{y}\frac{d_{y}}{\lambda}}\Bigg{]} (24)

By the linearity of expectation operator and following steps similar to (22), the proof is completed by (24) and (23). ∎

Appendix D Some Useful Lemmas

Lemma 2

For any 0<γπ0<\gamma\leq\pi, we have

m=0sinc(γm)=m=0sin(γm)γm=π+γ2γ.\sum_{m=0}^{\infty}\mathrm{sinc}\left(\gamma m\right)=\sum_{m=0}^{\infty}\frac{\sin\left(\gamma m\right)}{\gamma m}=\frac{\pi+\gamma}{2\gamma}. (25)
Proof:

The proof is immediate via using the Poisson summation formula. The key step is to observe that the rectangular window function’s Discrete-Time Fourier Transform (DTFT) is the sinc\mathrm{sinc} function. Reference [42, 5.4] provides detailed proof. ∎

Lemma 3

For any positive real number γ>0\gamma>0, we have

limM1Mm1=0Mm2=0Msinc(γ(m1m2))=πγ.\lim_{M\to\infty}\frac{1}{M}\sum_{m_{1}=0}^{M}\sum_{m_{2}=0}^{M}\mathrm{sinc}\left(\gamma\left(m_{1}-m_{2}\right)\right)=\frac{\pi}{\gamma}. (26)
Proof:

When γ=π\gamma=\pi, the left hand of (26) equals 11. DTFT’s scaling property and Poisson summation formula complete the proof. ∎

Acknowledgment

We will like to thank Dr. Xing Zhang for his help during the channel data measurement. We also want to thank Dr. Clayton Shepard for building and supporting the Argos massive MIMO platform [34].

References

  • [1] X. Du, Low-Latency Massive MIMO Design over Practical Channels, Ph.D. thesis, Rice University, 2019.
  • [2] H. Q. Ngo, E. G. Larsson, and T. L. Marzetta, “Energy and spectral efficiency of very large multiuser MIMO systems,” IEEE Trans. Commun., vol. 61, no. 4, pp. 1436–1449, 2013.
  • [3] H. Yang and T. L. Marzetta, “Performance of conjugate and zero-forcing beamforming in large-scale antenna systems,” IEEE J. Select. Areas Commun., vol. 31, no. 2, pp. 172–179, 2013.
  • [4] T. L. Marzetta and H. Yang, Fundamentals of massive MIMO, Cambridge University Press, 2016.
  • [5] E. Björnson, J. Hoydis, and L. Sanguinetti, “Massive MIMO networks: Spectral, energy, and hardware efficiency,” Foundations and Trends® in Signal Processing, vol. 11, no. 3-4, pp. 154–655, 2017.
  • [6] E. G. Larsson, O. Edfors, F. Tufvesson, and T. L. Marzetta, “Massive MIMO for next generation wireless systems,” IEEE Commun. Mag., vol. 52, no. 2, pp. 186–195, 2014.
  • [7] X. Du, Y. Sun, N. B. Shroff, and A. Sabharwal, “Balancing queueing and retransmission: Latency-optimal massive mimo design,” IEEE Trans. Wireless Commun., vol. 19, no. 4, pp. 2293–2307, 2020.
  • [8] T. L. Marzetta, “Noncooperative cellular wireless with unlimited numbers of base station antennas,” IEEE Trans. Wireless Commun., vol. 9, no. 11, pp. 3590–3600, November 2010.
  • [9] F. Rusek, D. Persson, B. K. Lau, E. G. Larsson, T. L. Marzetta, O. Edfors, and F. Tufvesson, “Scaling Up MIMO: Opportunities and Challenges with Very Large Arrays,” IEEE Signal Processing Mag., vol. 30, no. 1, pp. 40–60, Jan 2013.
  • [10] H. Q. Ngo, E. G. Larsson, and T. L. Marzetta, “Aspects of favorable propagation in massive MIMO,” in 2014 22nd European Signal Processing Conference (EUSIPCO), Sept 2014, pp. 76–80.
  • [11] M. Matthaiou, P. J Smith, H. Q. Ngo, and H. Tataria, “Does massive MIMO fail in Ricean channels?,” IEEE Wireless Communications Letters, vol. 8, no. 1, pp. 61–64, 2018.
  • [12] S. Pratschner, E. Zöchmann, H. Groll, S. Caban, S. Schwarz, and M. Rupp, “Does a large array aperture pay off in line-of-sight massive MIMO?,” in 2019 IEEE 20th International Workshop on Signal Processing Advances in Wireless Communications (SPAWC). IEEE, 2019, pp. 1–5.
  • [13] X. Wu, N. C Beaulieu, and D. Liu, “On favorable propagation in massive MIMO systems and different antenna configurations,” IEEE Access, vol. 5, pp. 5578–5593, 2017.
  • [14] “RENEW: Reconfigurable Eco-system for Next-generation End-to-end Wireless,” https://renew-wireless.org/.
  • [15] J. Hoydis, C. Hoek, T. Wild, and S. t. Brink, “Channel measurements for large antenna arrays,” in 2012 International Symposium on Wireless Communication Systems (ISWCS). IEEE, 2012, pp. 811–815.
  • [16] X. Gao, O. Edfors, F. Rusek, and F. Tufvesson, “Massive MIMO performance evaluation based on measured propagation data,” IEEE Trans. Wireless Commun., vol. 14, no. 7, pp. 3899–3911, July 2015.
  • [17] C.-M. Chen, A. P Guevara, and S. Pollin, “Scaling up distributed massive MIMO: Why and how,” in 2017 51st Asilomar Conference on Signals, Systems, and Computers. IEEE, 2017, pp. 271–276.
  • [18] S. Pratschner, T. Blazek, H. Groll, S. Caban, S. Schwarz, and M. Rupp, “Measured user correlation in outdoor-to-indoor Massive MIMO Scenarios,” IEEE Access, vol. 8, pp. 178269–178282, 2020.
  • [19] J. Flordelis, X. Gao, G. Dahman, F. Rusek, O. Edfors, and F. Tufvesson, “Spatial separation of closely-spaced users in measured massive multi-user MIMO channels,” in IEEE International Conf. on Commun. Citeseer, 2015, pp. 1441–1446.
  • [20] À. O. Martínez, J. ø. Nielsen, E. De Carvalho, and P. Popovski, “An experimental study of massive MIMO properties in 5G scenarios,” IEEE Trans. Antennas Propagat., vol. 66, no. 12, pp. 7206–7215, Dec 2018.
  • [21] C. Shepard, J. Ding, R. E. Guerra, and L. Zhong, “Understanding real many-antenna MU-MIMO channels,” in 2016 50th Asilomar Conference on Signals, Systems and Computers, Nov 2016, pp. 461–467.
  • [22] H. Yang and T. L Marzetta, “Massive MIMO with max-min power control in line-of-sight propagation environment,” IEEE Trans. Commun., vol. 65, no. 11, pp. 4685–4693, 2017.
  • [23] C. Masouros and M. Matthaiou, “Space-constrained massive MIMO: Hitting the wall of favorable propagation,” IEEE Communications Letters, vol. 19, no. 5, pp. 771–774, 2015.
  • [24] V. Kolmonen, K. Haneda, T. Hult, J. Poutanen, F. Tufvesson, and P. Vainikainen, “Measurement-based evaluation of interlink correlation for indoor multiuser MIMO channels,” IEEE Antennas Wireless Propagat. Lett., vol. 9, pp. 311–314, 2010.
  • [25] L. Liu, C. Oestges, J. Poutanen, K. Haneda, P. Vainikainen, F. Quitin, F. Tufvesson, and P. De Doncker, “The COST 2100 MIMO channel model,” IEEE Wireless Communications, vol. 19, no. 6, pp. 92–99, 2012.
  • [26] S. Jaeckel, L. Raschkowski, K. Börner, and L. Thiele, “QuaDRiGa: A 3-D Multi-Cell Channel Model With Time Evolution for Enabling Virtual Field Trials,” IEEE Transactions on Antennas and Propagation, vol. 62, no. 6, pp. 3242–3256, 2014.
  • [27] Shihao Ju, Ojas Kanhere, Yunchou Xing, and Theodore S Rappaport, “A millimeter-wave channel simulator NYUSIM with spatial consistency and human blockage,” in 2019 IEEE Global Communications Conference (GLOBECOM). IEEE, 2019, pp. 1–6.
  • [28] S. Pratschner, T. Blazek, E. Zöchmann, F. Ademaj, S. Caban, S. Schwarz, and M. Rupp, “A spatially consistent MIMO channel model with adjustable k factor,” IEEE Access, vol. 7, pp. 110174–110186, 2019.
  • [29] A. Adhikary, J. Nam, H. Ahn, and G. Caire, “Joint spatial division and multiplexing—the large-scale array regime,” IEEE Trans. Inform. Theory, vol. 59, no. 10, pp. 6441–6463, 2013.
  • [30] X. Du, J. Tadrous, and A. Sabharwal, “Sequential beamforming for multiuser mimo with full-duplex training,” IEEE Trans. Wireless Commun., vol. 15, no. 12, pp. 8551–8564, 2016.
  • [31] V. Lottici, A. D’Andrea, and U. Mengali, “Channel estimation for ultra-wideband communications,” IEEE J. Select. Areas Commun., vol. 20, no. 9, pp. 1638–1645, 2002.
  • [32] E. Everett, C. Shepard, L. Zhong, and A. Sabharwal, “Softnull: Many-antenna full-duplex wireless via digital beamforming,” IEEE Trans. Wireless Commun., vol. 15, no. 12, pp. 8077 — 8092, December 2016.
  • [33] X. Zhang, L. Zhong, and A. Sabharwalh, “Directional training for FDD massive MIMO,” IEEE Trans. Wireless Commun., vol. 17, no. 8, pp. 5183–5197, 2018.
  • [34] C. Shepard, H. Yu, N. Anand, E. Li, T. Marzetta, R. Yang, and L. Zhong, “Argos: Practical many-antenna base stations,” in Proc. of the 18th Annu. Int. Conf. on Mobile Computing and Networking, New York, NY, USA, 2012, pp. 53–64, ACM.
  • [35] “Google Map,” https://www.google.com/maps/@29.7200282,-95.3991931,88m/data=!3m1!1e3, [Accessed July 7, 2019].
  • [36] “WARP: Wireless open access research platform,” https://warpproject.org/.
  • [37] “IEEE Standard for Information technology part 11: Wireless lan medium access control (mac) and physical layer (phy) specifications,” IEEE Std 802.11-2012 (Revision of IEEE Std 802.11-2007), pp. 1–2793, 2012.
  • [38] H. Krim and M. Viberg, “Two decades of array signal processing research: the parametric approach,” IEEE Signal Processing Mag., vol. 13, no. 4, pp. 67–94, Jul 1996.
  • [39] Thomas M Cover, Elements of information theory, John Wiley & Sons, 1999.
  • [40] 3GPP, “Study on 3D channel model for LTE,” TS 36.873, 3rd Generation Partnership Project (3GPP), Mar. 2017.
  • [41] Nicolaas Govert De Bruijn, Asymptotic methods in analysis, vol. 4, Courier Corporation, 1981.
  • [42] AP Prudnikov, Yu A Brychkov, and O I_ Marichev, “Integrals and series, volume 1: Elementary functions,” Gordon&Breach Sci. Publ., New York, 1986.
[Uncaptioned image] Xu Du received the B.E. degree in information technology from Zhejiang University, China, in 2013. He also received the M.S., Ph.D. degree in electrical and computer engineering from Rice University, Houston, TX, USA, in 2015, and 2019, respectively. He is currently a research scientist with Facebook Inc., Menlo Park, CA, USA. His research interest includes computer system optimization, information theory, and algorithm design.
[Uncaptioned image] Ashutosh Sabharwal (IEEE Fellow 2014) research interests are in wireless theory, protocols and open-source platforms. He is the founder of WARP project (warp.rice.edu), an open-source project which was used at more than 150 research groups worldwide, and have been used by more than 500 research articles. He received 2017 Jack Neubauer Memorial Award, 2018 Advances in Communications Award, 2019 and 2021 ACM Sigmobile Test-of-time Awards, and 2019 Mobicom Best Community Contribution Paper Award. He is a Fellow of the National Academy of Inventors.