Spatial Correlation Modeling and RS-LS Estimation of Near-Field Channels with Uniform Planar Arrays ††thanks: The work by Ö. T. Demir was supported by 2232-B International Fellowship for Early Stage Researchers Programme funded by the Scientific and Technological Research Council of Türkiye.
Abstract
Extremely large aperture arrays (ELAAs) can offer massive spatial multiplexing gains in the radiative near-field region in beyond 5G systems. While near-field channel modeling for uniform linear arrays has been extensively explored in the literature, uniform planar arrays—despite their advantageous form factor—have been somewhat neglected due to their more complex nature. Spatial correlation is crucial for non-line-of-sight channel modeling. Unlike far-field scenarios, the spatial correlation properties of near-field channels have not been thoroughly investigated. In this paper, we start from the fundamentals and develop a near-field spatial correlation model for arbitrary spatial scattering functions. Furthermore, we derive the lower-dimensional subspace where the channel vectors can exist. It is based on prior knowledge of the three-dimensional coverage region where scattering clusters exists and we derive a tractable one-dimensional integral expression. This subspace is subsequently employed in a reduced-subspace least squares (RS-LS) estimation method for near-field channels, thereby enhancing performance over the traditional least squares estimator without the need for having full spatial correlation matrix knowledge.
Index Terms:
Extremely large-scale MIMO, reduced-subspace least-square estimator, spatial correlation, near-field channels.I Introduction
Extremely large aperture arrays (ELAAs) emerge as a promising technology poised to meet the escalating demands for communications and support new applications in 6G and beyond wireless systems [1, 2]. The primary advantages offered by ELAAs include enhanced spatial multiplexing, superior interference management, and unprecedented beamforming gains [3, 4, 5, 6]. Utilizing ELAAs not only involves the integration of a larger number of antennas but also necessitates reevaluating the electromagnetic distinctions between the far-field and near-field regions, demarcated by the Fraunhofer distance. This distance increases with the square of the aperture length for a given carrier frequency, making it likely for user equipment (UEs) and/or scatterers to reside within the radiative near-field of an ELAA, even in the sub-6 GHz band [7].
In conventional multiple-input multiple-output (MIMO) systems, understanding spatial correlation across channel realizations at different antennas is crucial for accurate channel modeling [8]. Spatial correlation cannot be ignored except in cases of isotropic scattering with isotropic antennas or when utilizing a uniform linear array (ULA) with inter-antenna spacing at integer multiples of half the wavelength. Thus, spatial correlation is typically inevitable. In far-field systems, one widely used model of spatial correlation is based on correlated Rayleigh fading under rich scattering conditions as characterized by the spatial scattering function [8]. Recently, several studies have extended this analysis to radiative near-field channels [9, 10], though these primarily consider ULAs at the base station (BS) and focus on a specific one-ring model.
This paper builds on the fundamentals established in [8] to construct a spatial correlation matrix for a correlated Rayleigh fading near-field channel, considering a uniform planar array (UPA) at the BS. We derive a spatial correlation matrix that involves triple integrals over the azimuth, elevation, and distance domains. We propose an analytically tractable method to reduce the triple integral to a single integral. This method computes a subspace where any plausible channel can be represented as a vector within this subspace since a channel realization usually has a smaller effective dimension than the number of antennas due to spatial oversampling in a UPA [5] and limited scattering. This subspace is derived without explicit knowledge of the exact spatial correlation matrix but based on the domain where the spatial scattering function is non-zero. This subspace representation can be utilized in a reduced-subspace least-squares (RS-LS) estimator [5]. We then enhance the conventional RS-LS estimator by dynamically estimating the average channel gain in each subspace dimension. Our simulation results reveal that a better RS-LS estimate is obtained by considering both angular and distance domains when characterizing the subspace, compared to only considering angles as in far-field scenarios. The benefit becomes more pronounced as the possible distances of scatterers decrease, highlighting the importance of computing the subspace in a near-field-aware manner.
II System and Channel Modeling
We consider a communication setup wherein a base station (BS) communicates with a user equipment (UE). The BS is equipped with a large number of antennas arranged in a uniform planar array (UPA) configuration with the number of antennas denoted as . This setup is illustrated in Fig. 1. The number of antennas per row and per column of the UPA is denoted as and , respectively, resulting in . We consider identical and uniform spacing of between adjacent antennas in both vertical and horizontal directions. The antennas are sequentially indexed row by row, with the index parameter . Hence, the position of the -th antenna relative to the origin is given by the vector , where and represent the horizontal and vertical indices of the -th element, respectively. Here, is the modulus operation, while is the truncation operation.
The Fraunhofer (Rayleigh) distance, given by with being the aperture length, serves as the classical boundary distinguishing between the far-field and radiative near-field regions of an array. When the UPA is extremely large, the Fraunhofer distance extends to hundreds of meters [6]. Therefore, this paper focuses on the scenario where the scatterers are situated within the (radiative) near-field region, i.e., the Fresnel region, of the extremely large UPA. Furthermore, we consider a non-line-of-sight (NLOS) channel setting. Indeed, in this context, the distance from the UPA to each scatterer falls within the range between the Fraunhofer distance and the Fresnel distance .
In the near field, an incident wave in the uplink exhibits a spherical wavefront. The spherical wavefront is characterized not only by the direction of the wave but also by the distance between the source and the receiver. Therefore, a path from a scatterer can be characterized using the near-field array response vector , where represents the distance from the origin (corner point of the UPA) to the respective scatterer [11]. Notice that the near-field array response vector also depends on the azimuth and elevation angles and , which are computed with respect to the origin. The near-field array response vector characterizes the specific spherical wave and is written for the considered UPA as
(1) |
where denotes the distance from the BS antenna to the scatterer and it is given as
(2) |
We assume that the waves arrive only from the directions in front of the array, limiting to the range .
![\begin{overpic}[width=325.215pt,tics=10]{Figures/geometric_setup.eps}
\put(54.0,1.0){\footnotesize$x$}
\put(60.0,39.0){\footnotesize$y$}
\put(9.5,57.0){\footnotesize$z$}
\put(26.5,10.0){\footnotesize$\varphi$}
\put(40.0,17.0){\footnotesize$\theta$}
\put(5.0,11.0){\footnotesize$1$}
\put(1.5,41.0){\footnotesize$M_{\mathrm{V}}$}
\put(12.7,54.0){\footnotesize$1$}
\put(46.0,74.0){\footnotesize$M_{\mathrm{H}}$}
\put(80.0,31.0){\footnotesize Multipath}
\put(80.0,27.0){\footnotesize component}
\end{overpic}](pic/pic1.png)
To simplify (II), one can utilize the Fresnel approximation [12]. This is done by performing a first-order Taylor approximation (i.e., , for small ). Utilizing this approximation, we can express in (II) as
(3) |
When is beyond the Fraunhofer distance, the last term involving in (II) can be omitted, and the near-field array response vector in (1) becomes identical to the corresponding far-field array response vector. Inserting (II) into (1), we obtain the approximation of the th entry of as
(4) |
Building on the approximate array response vector for the scatterers outlined above, we will next analyze the near-field channel and spatial correlation models in the subsequent section, thereby rendering the analysis more tractable.
III Spatial Correlation in Near-Field Channels
We assume that the UE and/or scatterers are located in the radiative near-field region of the BS array111Many propagation environments feature a limited number of scattering clusters, and the number of clusters reduces as we move to higher frequencies. It is known that the scatterers exist in a three-dimensional region characterized by the distance range from to , where is greater than . The angular span of these clusters in the azimuth and elevation domains are from to , and from to , respectively. The superposition of these beams is represented by the channel vector , which is given by
(5) |
where the angular and distance spreading function 222The function is a generalization of the classical angular spreading function [8, 5] to the near-field channels. determines the gain and phase-shift originating from a scatterer location . Similarly to the conventional far-field angular spreading function [8], we model as a spatially uncorrelated circularly symmetric Gaussian stochastic process with cross-correlation
(6) |
where is the Dirac delta function, denotes the average channel gain, is the normalized spatial scattering function (i.e., ), which is a near-field equivalent of the far-field spatial scattering function [8], and represents any arbitrary combination of azimuth, elevation, and distance. Therefore, the correlated Rayleigh fading channel in (5) can be modeled as
(7) |
which is fully characterized by the spatial correlation matrix
(8) |
Notice that , so the near-field propagation conditions do not create power variations between the antennas.
IV Low-Dimensional Subspace Representation of Near-Field Channels
In this section, we will analyze a general low-dimensional representation of the near-field channels. Such a representation will help us to estimate the near-field channel efficiently, as will be discussed later in Section V. We begin by defining an arbitrary correlation matrix denoted as . This matrix does not represent a specific channel but encapsulates the general array geometry and all possible scatterer locations in a given coverage region. It should be noted that is distinct from the exact correlation matrix defined in (III). We further define a matrix , where each column corresponds to an eigenvector of associated to a non-zero eigenvalue.333Throughout this paper, the rank is calculated as the effective rank, which retains a fraction of the total sum of all eigenvalues. This implies that the matrix has non-zero eigenvalues, where . Therefore, we can express any channel as for some reduced dimension . The rank is the number of possible near-field channel dimensions. The following lemma is the near-field generalization of [5, Lem. 3] and shows a way to compute for a given three-dimensional coverage region where all the possible scattering clusters are known to exist.
Lemma 1.
Let and be two spatial correlation matrices obtained based on the same array geometry. The spatial scattering functions corresponding to these correlation matrices are denoted by and , respectively, which are only non-zero for , and , enclosing all possible scatterer locations. Assume that and are either continuous at each point on its domain or contain Dirac delta functions.
If is non-zero for , , and , then the subspace spanned by the columns of contains the subspace spanned by the columns of .
Proof.
The proof extends the proof of [5, Lem. 3] to the near-field case using the spatial scattering function . ∎
According to Lemma 1, we can find a representative by selecting an arbitrary spatial scattering function that is non-zero , , and . To compute the triple integral in (III) in a tractable and efficient manner, we can select the spatial scattering function as
(9) |
The constant ensures that . Substituting into (III), we obtain the th entry of the representative spatial correlation matrix as shown in (10) at the top of the next page.
(10) |
The final one-dimensional integral in (10) can be evaluated numerically. In conclusion, any channel vector , as characterized by the spatial correlation matrix defined in (III), lies in the lower-dimensional subspace, spanned by the eigenspace of the computed matrix , as shown in Lemma 1. The eigenspace of the matrix is denoted by the semi-unitary matrix , which is the eigenvector matrix corresponding to non-zero eigenvalues of . Specifically, we express as , where is a vector in of reduced dimension . Notably, the proposed framework above replaces the cumbersome triple integral computation with a one-dimensional integral, which highlights our main contribution to computing the correlation matrix feasible. In the following section, we will describe a channel estimation method using the derived correlation matrix, which does not require knowledge of the specific spatial correlation matrix.
V RS-LS Channel Estimation
We first describe several channel estimation schemes, then, explain how we utilize the subspace correlation matrix to perform the channel estimation. We consider a scenario where the UE transmits a predefined pilot sequence within each coherence block and the BS uses it to estimate the channel. This could be any of the UEs served by the BS. According to [13, Sec. 3], the receive signal at the BS is
(11) |
where is the pilot SNR and . With full statistical knowledge, the minimum mean square error (MMSE) estimator becomes the optimal method. The MMSE estimate of is obtained as
(12) |
and requires knowledge of the matrix , defined in (III). Computing the MMSE estimate is challenging in practice due to the difficulty in acquiring the correlation matrix , which contains entries. This is particularly challenging when is large and/or when UE/BS transmits a small data packet.
A more practical approach is to employ the LS estimator that only requires knowledge of the pilot SNR, . The LS estimator is . This estimator is overly conservative since we always know something about the antenna array and propagation environment, and this information should be used.
By utilizing , defined in the previous section, we can eliminate the necessity of acquiring specific spatial scattering functions for every user location to compute the spatial correlation matrix as in the MMSE estimator. The RS-LS estimator from [5] is
(13) |
which essentially implements the LS approach within the reduced-dimension subspace, and subsequently projects the estimation back into the original domain. We emphasize that the RS-LS channel estimation method can be applied to any UE, regardless of their individual correlation matrices. The basis vectors in span all channel components that can be generated by scatterers in the considered coverage region.
The RS-LS estimator can be enhanced using the following methodology. Assume that we are in the -th coherence block for channel estimation and that the unknown spatial correlation statistics are static through the previous coherence blocks. Under this assumption, we can derive a sample estimator for the average power in each subspace dimension. Subsequently, an approximate MMSE estimator can be applied within each dimension. Finally, we project the estimated signal back into the original -dimensional space. The corresponding estimate at the -th coherence block is
(14) |
where is a diagonal matrix, where includes the sample estimator for the average power in each plausible channel dimension, which can be obtained by averaging the squared magnitude of the channel components across previous received pilot signals.
VI Numerical Results
In this section, we analyze the eigenvalue distribution of the spatial correlation matrix for both near-field (NF) and far-field (FF) channels. We then compare the performance of the proposed RS-LS channel estimators against traditional alternatives, including MMSE and LS estimators. Two variants of the RS-LS channel estimators are depicted in the figures: RS-LS-NF, which computes the NF subspace using (10), and RS-LS-FF, which computes the subspace under the FF assumption, i.e., by evaluating a similar integral as in (10) but ignoring the distance variable.
We consider a UPA with antennas per row and antennas per column. The antenna spacing is , where m corresponds to a 3 GHz carrier frequency. The aperture length is m, leading to a Fraunhofer distance of 102.4 m, computed as . The three-dimensional region in Lemma 1 with potential scatterer locations is set as , , , and . In the true channels, there are ten scattering cluster locations inside this region with random channel gains, angles, and distances. Hence, the corresponding spatial scattering function is composed of ten Dirac functions.
In Fig. 2, we plot the sorted eigenvalues for the FF and NF spatial correlation matrices in two different scenarios: i) m and m, and ii) m and m. The latter scenario, with scatterers closer to the BS, exhibits a noticeable leftward shift in the NF plots, highlighting a significant energy spread effect of near-field propagation paths in the angular domain, as discussed in [11]. Consequently, the effective rank of the NF spatial correlation matrices is higher and increases as the distances decrease, indicating a mismatch between the subspaces utilized in RS-LS-NF and RS-LS-FF.
We further evaluate the channel estimation performance in terms of the normalized mean-squared error (NMSE) with respect to the number of coherence blocks the estimator is used. We consider the second scenario where m and m. In Fig. 3, the SNR is set to dB, while in Fig. 4, it is increased to dB. As the coherence block number changes, the MMSE and LS estimators are flat since the same statistical information is utilized in the MMSE estimator. On the other hand, the proposed RS-LS estimator in (14) is employed by exploiting the estimated channel gains in each dimension as the number of coherence blocks increases. Although the MMSE estimator consistently surpasses other methods, it cannot be used in practice when using ELAA since it is hard to acquire the entries of the spatial correlation matrix. A more practical benchmark is the LS estimator and it is outperformed by the proposed RS-LS-NF estimator, which exploits the spatial correlation imposed by the array geometry and coverage region without explicit knowledge of the user-specific spatial correlation matrix. Nevertheless, to ensure accuracy, it is crucial that the computation of this subspace is executed considering near-field effects to prevent underestimating the subspace dimensions—an issue evident in RS-LS-FF. This leads to notably inferior performance due to its failure to account for relevant channel dimensions, especially at higher SNRs. The proposed RS-LS-NF estimator, utilizing an eigenspace of as calculated in (10), offers an improvement. The performance of the RS-LS estimators improves by several dB when increases and is sufficient to exploit this gain. However, since the correlation between different channel dimensions is not exploited, there remains a performance gap relative to the MMSE estimator. Nevertheless, the proposed RS-LS-NF estimator does not require specific knowledge of the spatial correlation matrix, making it easy to implement.
![\begin{overpic}[width=357.73517pt,tics=10]{Figures/RS_LS_near_field_%
eigenvalues.eps}
\end{overpic}](pic/pic4.png)
![\begin{overpic}[width=357.73517pt,tics=10]{Figures/RS_LS_near_field_d10_20_vs_%
coherence_block_0dBSNR.eps}
\end{overpic}](pic/pic2.png)
![\begin{overpic}[width=357.73517pt,tics=10]{Figures/RS_LS_near_field_d10_20_vs_%
coherence_block_10dBSNR.eps}
\end{overpic}](pic/pic3.png)
VII Conclusions
The spatial correlation in wireless channels is characterized by the array geometry and propagation environment. This becomes particularly evident when using an ELAA because radiative near-field propagation changes the channel properties. While it is challenging to estimate large user-specific spatial correlation matrices in practice, we can characterize a subspace where all plausible channels reside. In this paper, we have derived such a subspace for a given UPA configuration and a three-dimensional coverage region containing the angles and distances of all scattering clusters. We have demonstrated how to exploit the low-dimensional subspace for RS-LS channel estimation to obtain substantially better estimation performance than with the LS estimator. An enhanced dynamic RS-LS was further proposed. We have highlighted the importance of capturing near-field properties when computing the subspace.
References
- [1] T. S. Rappaport et al., “Wireless communications and applications above 100 GHz: Opportunities and challenges for 6G and beyond,” IEEE Access, vol. 7, pp. 78 729–78 757, June 2019.
- [2] E. Björnson, L. Sanguinetti, H. Wymeersch, J. Hoydis, and T. L. Marzetta, “Massive MIMO is a reality—What is next? Five promising research directions for antenna arrays,” Dig. Sig. Process., vol. 94, p. 3–20, Nov. 2019.
- [3] M. Cui, Z. Wu, Y. Lu, X. Wei, and L. Dai, “Near-field MIMO communications for 6G: Fundamentals, challenges, potentials, and future directions,” IEEE Commun. Mag., vol. 61, no. 1, pp. 40–46, 2023.
- [4] S. Hu, F. Rusek, and O. Edfors, “Beyond massive MIMO: The potential of data transmission with large intelligent surfaces,” IEEE Trans. Signal Process., vol. 66, no. 10, pp. 2746–2758, 2018.
- [5] Ö. T. Demir, E. Björnson, and L. Sanguinetti, “Channel modeling and channel estimation for holographic massive MIMO with planar arrays,” IEEE Wireless Commun. Letters, vol. 11, no. 5, pp. 997–1001, 2022.
- [6] P. Ramezani, A. Kosasih, A. Irshad, and E. Björnson, “Exploiting the depth and angular domains for massive near-field spatial multiplexing,” IEEE BITS the Information Theory Magazine, pp. 1–12, 2023.
- [7] A. Kosasih and E. Björnson, “Finite beam depth analysis for large arrays,” IEEE Trans. on Wireless Commun., Early Access 2024.
- [8] A. Sayeed, “Deconstructing multiantenna fading channels,” IEEE Trans. Signal Process., vol. 50, no. 10, pp. 2563–2579, 2002.
- [9] Z. Dong and Y. Zeng, “Near-field spatial correlation for extremely large-scale array communications,” IEEE Commun. Letters, vol. 26, no. 7, pp. 1534–1538, 2022.
- [10] Z. Dong, X. Li, Y. Zeng, S. **, and T. Jiang, “Near-field spatial correlation for multi-path XL-array communications with partial visibility,” in GLOBECOM 2023 - 2023 IEEE Global Communications Conference, 2023, pp. 1525–1530.
- [11] M. Cui and L. Dai, “Channel estimation for extremely large-scale MIMO: Far-field or near-field?” IEEE Transactions on Communications, vol. 70, no. 4, pp. 2663–2677, 2022.
- [12] L. J. Ziomek, “Three necessary conditions for the validity of the Fresnel phase approximation for the near-field beam pattern of an aperture,” IEEE Journal of Oceanic Engineering, vol. 18, no. 1, pp. 73–75, 1993.
- [13] 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.