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.

Özlem Tuğfe Demir, Alva Kosasih, and Emil Björnson Department of Electrical-Electronics Engineering, TOBB University of Economics and Technology, Ankara, Turkey
Department of Computer Science, KTH Royal Institute of Technology, Stockholm, Sweden
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 M𝑀Mitalic_M. This setup is illustrated in Fig. 1. The number of antennas per row and per column of the UPA is denoted as MHsubscript𝑀HM_{\rm H}italic_M start_POSTSUBSCRIPT roman_H end_POSTSUBSCRIPT and MVsubscript𝑀VM_{\rm V}italic_M start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT, respectively, resulting in M=MHMV𝑀subscript𝑀Hsubscript𝑀VM=M_{\rm H}M_{\rm V}italic_M = italic_M start_POSTSUBSCRIPT roman_H end_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT. We consider identical and uniform spacing of ΔΔ\Deltaroman_Δ between adjacent antennas in both vertical and horizontal directions. The antennas are sequentially indexed row by row, with the index parameter m{1,,M}𝑚1𝑀m\in\{1,\dots,M\}italic_m ∈ { 1 , … , italic_M }. Hence, the position of the m𝑚mitalic_m-th antenna relative to the origin is given by the vector 𝐮m=[0,imΔ,jmΔ]Tsubscript𝐮𝑚superscript0subscript𝑖𝑚Δsubscript𝑗𝑚ΔT\mathbf{u}_{m}=[0,\,\,\,i_{m}\Delta,\,\,\,j_{m}\Delta]^{\mbox{\tiny$\mathrm{T}% $}}bold_u start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = [ 0 , italic_i start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_Δ , italic_j start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_Δ ] start_POSTSUPERSCRIPT roman_T end_POSTSUPERSCRIPT, where im=mod(m1,MH)subscript𝑖𝑚mod𝑚1subscript𝑀Hi_{m}=\mathrm{mod}(m-1,M_{\rm H})italic_i start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = roman_mod ( italic_m - 1 , italic_M start_POSTSUBSCRIPT roman_H end_POSTSUBSCRIPT ) and jm=(m1)/MHsubscript𝑗𝑚𝑚1subscript𝑀Hj_{m}=\left\lfloor(m-1)/M_{\rm H}\right\rflooritalic_j start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = ⌊ ( italic_m - 1 ) / italic_M start_POSTSUBSCRIPT roman_H end_POSTSUBSCRIPT ⌋ represent the horizontal and vertical indices of the m𝑚mitalic_m-th element, respectively. Here, mod(,)mod\mathrm{mod}(\cdot,\cdot)roman_mod ( ⋅ , ⋅ ) is the modulus operation, while \lfloor\cdot\rfloor⌊ ⋅ ⌋ is the truncation operation.

The Fraunhofer (Rayleigh) distance, given by 2D2/λ2superscript𝐷2𝜆2D^{2}/\lambda2 italic_D start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_λ with D=MH2+MV2Δ𝐷superscriptsubscript𝑀H2superscriptsubscript𝑀V2ΔD=\sqrt{M_{\rm H}^{2}+M_{\rm V}^{2}}\Deltaitalic_D = square-root start_ARG italic_M start_POSTSUBSCRIPT roman_H end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_M start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_Δ 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 2D2/λ2superscript𝐷2𝜆2D^{2}/\lambda2 italic_D start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_λ and the Fresnel distance 0.62D3/λ0.62superscript𝐷3𝜆0.62\sqrt{D^{3}/\lambda}0.62 square-root start_ARG italic_D start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT / italic_λ end_ARG.

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 𝐛(φ,θ,r)𝐛𝜑𝜃𝑟\mathbf{b}\left(\varphi,\theta,r\right)bold_b ( italic_φ , italic_θ , italic_r ), where r𝑟ritalic_r represents the distance from the origin (corner point of the UPA) to the respective scatterer [11]. Notice that the near-field array response vector 𝐛(φ,θ,r)𝐛𝜑𝜃𝑟\mathbf{b}\left(\varphi,\theta,r\right)bold_b ( italic_φ , italic_θ , italic_r ) also depends on the azimuth and elevation angles φ𝜑\varphiitalic_φ and θ𝜃\thetaitalic_θ, 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

𝐛(φ,θ,r)=[e𝗃2πλ(r1r),,e𝗃2πλ(rMr)]T,𝐛𝜑𝜃𝑟superscriptsuperscript𝑒𝗃2𝜋𝜆subscript𝑟1𝑟superscript𝑒𝗃2𝜋𝜆subscript𝑟𝑀𝑟T\mathbf{b}\left(\varphi,\theta,r\right)=\left[e^{-\mathsf{j}\frac{2\pi}{% \lambda}(r_{1}-r)},\ldots,e^{-\mathsf{j}\frac{2\pi}{\lambda}(r_{M}-r)}\right]^% {\mbox{\tiny$\mathrm{T}$}},bold_b ( italic_φ , italic_θ , italic_r ) = [ italic_e start_POSTSUPERSCRIPT - sansserif_j divide start_ARG 2 italic_π end_ARG start_ARG italic_λ end_ARG ( italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_r ) end_POSTSUPERSCRIPT , … , italic_e start_POSTSUPERSCRIPT - sansserif_j divide start_ARG 2 italic_π end_ARG start_ARG italic_λ end_ARG ( italic_r start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT - italic_r ) end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT roman_T end_POSTSUPERSCRIPT , (1)

where rmsubscript𝑟𝑚r_{m}italic_r start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT denotes the distance from the BS antenna m𝑚mitalic_m to the scatterer and it is given as

rm=(\displaystyle r_{m}=\bigg{(}italic_r start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = ( (rcos(θ)cos(φ)0)2+(rcos(θ)sin(φ)imΔ)2superscript𝑟𝜃𝜑02superscript𝑟𝜃𝜑subscript𝑖𝑚Δ2\displaystyle\Big{(}r\cos(\theta)\cos(\varphi)-0\Big{)}^{2}+\Big{(}r\cos(% \theta)\sin(\varphi)-i_{m}\Delta\Big{)}^{2}( italic_r roman_cos ( italic_θ ) roman_cos ( italic_φ ) - 0 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_r roman_cos ( italic_θ ) roman_sin ( italic_φ ) - italic_i start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_Δ ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
+(rsin(θ)jmΔ)2)12\displaystyle+\Big{(}r\sin(\theta)-j_{m}\Delta\Big{)}^{2}\bigg{)}^{\!\frac{1}{% 2}}+ ( italic_r roman_sin ( italic_θ ) - italic_j start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_Δ ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT
=r(12Δimcos(θ)sin(φ)+jmsin(θ)r+Δ2im2+jm2r2)12.absent𝑟superscript12Δsubscript𝑖𝑚𝜃𝜑subscript𝑗𝑚𝜃𝑟superscriptΔ2subscriptsuperscript𝑖2𝑚subscriptsuperscript𝑗2𝑚superscript𝑟212\displaystyle=r\Bigg{(}1-2\Delta\frac{i_{m}\cos(\theta)\sin(\varphi)+j_{m}\sin% (\theta)}{r}+\Delta^{2}\frac{i^{2}_{m}+j^{2}_{m}}{r^{2}}\Bigg{)}^{\!\frac{1}{2% }}\!.= italic_r ( 1 - 2 roman_Δ divide start_ARG italic_i start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_cos ( italic_θ ) roman_sin ( italic_φ ) + italic_j start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_sin ( italic_θ ) end_ARG start_ARG italic_r end_ARG + roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_i start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT + italic_j start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT . (2)

We assume that the waves arrive only from the directions in front of the array, limiting φ𝜑\varphiitalic_φ to the range [π2,π2]𝜋2𝜋2[-\frac{\pi}{2},\frac{\pi}{2}][ - divide start_ARG italic_π end_ARG start_ARG 2 end_ARG , divide start_ARG italic_π end_ARG start_ARG 2 end_ARG ].

\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}
Figure 1: The 3D geometry of a BS array consisting of MHsubscript𝑀HM_{\mathrm{H}}italic_M start_POSTSUBSCRIPT roman_H end_POSTSUBSCRIPT elements per row and MVsubscript𝑀VM_{\mathrm{V}}italic_M start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT elements per column.

To simplify (II), one can utilize the Fresnel approximation [12]. This is done by performing a first-order Taylor approximation (i.e., 1+x1+12x1𝑥112𝑥\sqrt{1+x}\approx 1+\frac{1}{2}xsquare-root start_ARG 1 + italic_x end_ARG ≈ 1 + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_x, for small x𝑥xitalic_x). Utilizing this approximation, we can express rmsubscript𝑟𝑚r_{m}italic_r start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT in (II) as

rmsubscript𝑟𝑚\displaystyle r_{m}italic_r start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT rΔ(imcos(θ)sin(φ)+jmsin(θ))absent𝑟Δsubscript𝑖𝑚𝜃𝜑subscript𝑗𝑚𝜃\displaystyle\approx r-\Delta\Big{(}i_{m}\cos(\theta)\sin(\varphi)+j_{m}\sin(% \theta)\Big{)}≈ italic_r - roman_Δ ( italic_i start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_cos ( italic_θ ) roman_sin ( italic_φ ) + italic_j start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_sin ( italic_θ ) )
+Δ2(im2+jm22r).superscriptΔ2subscriptsuperscript𝑖2𝑚subscriptsuperscript𝑗2𝑚2𝑟\displaystyle\quad+\Delta^{2}\left(\frac{i^{2}_{m}+j^{2}_{m}}{2r}\right).+ roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG italic_i start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT + italic_j start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_r end_ARG ) . (3)

When r𝑟ritalic_r is beyond the Fraunhofer distance, the last term involving 1/r1𝑟1/r1 / italic_r 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 m𝑚mitalic_mth entry of 𝐛(φ,θ,r)𝐛𝜑𝜃𝑟\mathbf{b}(\varphi,\theta,r)bold_b ( italic_φ , italic_θ , italic_r ) as

exp(𝗃2πλ[\displaystyle\exp\!\Bigg{(}\!\mathsf{j}\frac{2\pi}{\lambda}\!\Bigg{[}roman_exp ( sansserif_j divide start_ARG 2 italic_π end_ARG start_ARG italic_λ end_ARG [ Δ(imcos(θ)sin(φ)+jmsin(θ))Δ2im2+jm22r]).\displaystyle\!\Delta\Big{(}\!i_{m}\cos(\theta)\sin(\varphi)\!+\!j_{m}\sin(% \theta)\Big{)}\!-\!\Delta^{2}\frac{i^{2}_{m}\!+\!j^{2}_{m}}{2r}\Bigg{]}\Bigg{)}.roman_Δ ( italic_i start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_cos ( italic_θ ) roman_sin ( italic_φ ) + italic_j start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_sin ( italic_θ ) ) - roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_i start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT + italic_j start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_r end_ARG ] ) . (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 d1subscript𝑑1d_{1}italic_d start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT to d2subscript𝑑2d_{2}italic_d start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, where d2subscript𝑑2d_{2}italic_d start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT is greater than d1subscript𝑑1d_{1}italic_d start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT. The angular span of these clusters in the azimuth and elevation domains are from φ1subscript𝜑1\varphi_{1}italic_φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT to φ2subscript𝜑2\varphi_{2}italic_φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, and from θ1subscript𝜃1\theta_{1}italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT to θ2subscript𝜃2\theta_{2}italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, respectively. The superposition of these beams is represented by the channel vector 𝐡N𝐡superscript𝑁\mathbf{h}\in\mathbb{C}^{N}bold_h ∈ blackboard_C start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT, which is given by

𝐡=d1d2θ1θ2φ1φ2g(φ,θ,d)𝐛(φ,θ,d)φθd,𝐡superscriptsubscriptsubscript𝑑1subscript𝑑2superscriptsubscriptsubscript𝜃1subscript𝜃2superscriptsubscriptsubscript𝜑1subscript𝜑2𝑔𝜑𝜃𝑑𝐛𝜑𝜃𝑑𝜑𝜃𝑑\mathbf{h}=\int_{d_{1}}^{d_{2}}\int_{\theta_{1}}^{\theta_{2}}\int_{\varphi_{1}% }^{\varphi_{2}}g(\varphi,\theta,d)\mathbf{b}(\varphi,\theta,d)\partial\varphi% \partial\theta\partial d,bold_h = ∫ start_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_d start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT italic_φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_g ( italic_φ , italic_θ , italic_d ) bold_b ( italic_φ , italic_θ , italic_d ) ∂ italic_φ ∂ italic_θ ∂ italic_d , (5)

where the angular and distance spreading function g(φ,θ,d)𝑔𝜑𝜃𝑑g(\varphi,\theta,d)italic_g ( italic_φ , italic_θ , italic_d )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 (φ,θ,d)𝜑𝜃𝑑(\varphi,\theta,d)( italic_φ , italic_θ , italic_d ). Similarly to the conventional far-field angular spreading function [8], we model g(φ,θ,d)𝑔𝜑𝜃𝑑g(\varphi,\theta,d)italic_g ( italic_φ , italic_θ , italic_d ) as a spatially uncorrelated circularly symmetric Gaussian stochastic process with cross-correlation

𝔼{g(φ,θ,d)g(φ,θ,d)}𝔼𝑔𝜑𝜃𝑑superscript𝑔superscript𝜑superscript𝜃superscript𝑑\displaystyle\mathbb{E}\{g(\varphi,\theta,d)g^{*}(\varphi^{\prime},\theta^{% \prime},d^{\prime})\}blackboard_E { italic_g ( italic_φ , italic_θ , italic_d ) italic_g start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_φ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_θ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) }
=βf(φ,θ,d)δ(φφ)δ(θθ)δ(dd),absent𝛽𝑓𝜑𝜃𝑑𝛿𝜑superscript𝜑𝛿𝜃superscript𝜃𝛿𝑑superscript𝑑\displaystyle=\beta f(\varphi,\theta,d)\delta(\varphi-\varphi^{\prime})\delta(% \theta-\theta^{\prime})\delta(d-d^{\prime}),= italic_β italic_f ( italic_φ , italic_θ , italic_d ) italic_δ ( italic_φ - italic_φ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) italic_δ ( italic_θ - italic_θ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) italic_δ ( italic_d - italic_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) , (6)

where δ()𝛿\delta(\cdot)italic_δ ( ⋅ ) is the Dirac delta function, β𝛽\betaitalic_β denotes the average channel gain, f(φ,θ,d)𝑓𝜑𝜃𝑑f(\varphi,\theta,d)italic_f ( italic_φ , italic_θ , italic_d ) is the normalized spatial scattering function (i.e., d1d2θ1θ2φ1φ2f(φ,θ,d)φθd=1superscriptsubscriptsubscript𝑑1subscript𝑑2superscriptsubscriptsubscript𝜃1subscript𝜃2superscriptsubscriptsubscript𝜑1subscript𝜑2𝑓𝜑𝜃𝑑𝜑𝜃𝑑1\int_{d_{1}}^{d_{2}}\int_{\theta_{1}}^{\theta_{2}}\int_{\varphi_{1}}^{\varphi_% {2}}f(\varphi,\theta,d)\partial\varphi\partial\theta\partial d=1∫ start_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_d start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT italic_φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_f ( italic_φ , italic_θ , italic_d ) ∂ italic_φ ∂ italic_θ ∂ italic_d = 1), which is a near-field equivalent of the far-field spatial scattering function [8], and (φ,θ,d)superscript𝜑superscript𝜃superscript𝑑(\varphi^{\prime},\theta^{\prime},d^{\prime})( italic_φ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_θ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) represents any arbitrary combination of azimuth, elevation, and distance. Therefore, the correlated Rayleigh fading channel in (5) can be modeled as

𝐡𝒩(𝟎,𝐑),similar-to𝐡subscript𝒩0𝐑\mathbf{h}\sim\mathcal{N}_{\mathbb{C}}(\mathbf{0},\mathbf{R}),bold_h ∼ caligraphic_N start_POSTSUBSCRIPT blackboard_C end_POSTSUBSCRIPT ( bold_0 , bold_R ) , (7)

which is fully characterized by the spatial correlation matrix

𝐑=𝔼{𝐡𝐡H}=βd1d2θ1θ2φ1φ2f(φ,θ,d)𝐑𝔼superscript𝐡𝐡H𝛽superscriptsubscriptsubscript𝑑1subscript𝑑2superscriptsubscriptsubscript𝜃1subscript𝜃2superscriptsubscriptsubscript𝜑1subscript𝜑2𝑓𝜑𝜃𝑑\displaystyle\mathbf{R}=\mathbb{E}\{\mathbf{h}\mathbf{h}^{\mbox{\tiny$\mathrm{% H}$}}\}=\beta\int_{d_{1}}^{d_{2}}\int_{\theta_{1}}^{\theta_{2}}\int_{\varphi_{% 1}}^{\varphi_{2}}f(\varphi,\theta,d)bold_R = blackboard_E { bold_hh start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT } = italic_β ∫ start_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_d start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT italic_φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_f ( italic_φ , italic_θ , italic_d )
𝐛(φ,θ,d)𝐛H(φ,θ,d)φθd.absent𝐛𝜑𝜃𝑑superscript𝐛H𝜑𝜃𝑑𝜑𝜃𝑑\displaystyle\cdot\mathbf{b}(\varphi,\theta,d)\mathbf{b}^{\mbox{\tiny$\mathrm{% H}$}}(\varphi,\theta,d)\partial\varphi\partial\theta\partial d.⋅ bold_b ( italic_φ , italic_θ , italic_d ) bold_b start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT ( italic_φ , italic_θ , italic_d ) ∂ italic_φ ∂ italic_θ ∂ italic_d . (8)

Notice that tr(𝐑)=Mβtr𝐑𝑀𝛽\mathrm{tr}(\mathbf{R})=M\betaroman_tr ( bold_R ) = italic_M italic_β, 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 𝐑¯¯𝐑\overline{\mathbf{R}}over¯ start_ARG bold_R end_ARG. 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 𝐑¯¯𝐑\overline{\mathbf{R}}over¯ start_ARG bold_R end_ARG is distinct from the exact correlation matrix 𝐑𝐑\mathbf{R}bold_R defined in (III). We further define a matrix 𝐔¯M×r¯¯𝐔superscript𝑀¯𝑟\overline{\mathbf{U}}\in\mathbb{C}^{M\times\overline{r}}over¯ start_ARG bold_U end_ARG ∈ blackboard_C start_POSTSUPERSCRIPT italic_M × over¯ start_ARG italic_r end_ARG end_POSTSUPERSCRIPT, where each column corresponds to an eigenvector of 𝐑¯¯𝐑\overline{\mathbf{R}}over¯ start_ARG bold_R end_ARG associated to a non-zero eigenvalue.333Throughout this paper, the rank is calculated as the effective rank, which retains a fraction 11061superscript1061-10^{-6}1 - 10 start_POSTSUPERSCRIPT - 6 end_POSTSUPERSCRIPT of the total sum of all eigenvalues. This implies that the matrix 𝐑¯¯𝐑\overline{\mathbf{R}}over¯ start_ARG bold_R end_ARG has r¯¯𝑟\overline{r}over¯ start_ARG italic_r end_ARG non-zero eigenvalues, where r¯<M¯𝑟𝑀\overline{r}<Mover¯ start_ARG italic_r end_ARG < italic_M. Therefore, we can express any channel as 𝐡=𝐔¯𝐱𝐡¯𝐔𝐱\mathbf{h}=\overline{\mathbf{U}}\mathbf{x}bold_h = over¯ start_ARG bold_U end_ARG bold_x for some reduced dimension 𝐱r¯𝐱superscript¯𝑟\mathbf{x}\in\mathbb{C}^{\overline{r}}bold_x ∈ blackboard_C start_POSTSUPERSCRIPT over¯ start_ARG italic_r end_ARG end_POSTSUPERSCRIPT. The rank r¯¯𝑟\overline{r}over¯ start_ARG italic_r end_ARG 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 𝐑¯¯𝐑\overline{\mathbf{R}}over¯ start_ARG bold_R end_ARG for a given three-dimensional coverage region where all the possible scattering clusters are known to exist.

Lemma 1.

Let 𝐑¯¯𝐑\overline{\mathbf{R}}over¯ start_ARG bold_R end_ARG and 𝐑𝐑\mathbf{R}bold_R be two spatial correlation matrices obtained based on the same array geometry. The spatial scattering functions corresponding to these correlation matrices are denoted by f¯(φ,θ,d)¯𝑓𝜑𝜃𝑑\overline{f}(\varphi,\theta,d)over¯ start_ARG italic_f end_ARG ( italic_φ , italic_θ , italic_d ) and f(φ,θ,d)𝑓𝜑𝜃𝑑f(\varphi,\theta,d)italic_f ( italic_φ , italic_θ , italic_d ), respectively, which are only non-zero for φ[φ1,φ2]𝜑subscript𝜑1subscript𝜑2\varphi\in[\varphi_{1},\varphi_{2}]italic_φ ∈ [ italic_φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ], θ[θ1,θ2]𝜃subscript𝜃1subscript𝜃2\theta\in[\theta_{1},\theta_{2}]italic_θ ∈ [ italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ] and d[d1,d2]𝑑subscript𝑑1subscript𝑑2d\in[d_{1},d_{2}]italic_d ∈ [ italic_d start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_d start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ], enclosing all possible scatterer locations. Assume that f¯(φ,θ,d)¯𝑓𝜑𝜃𝑑\overline{f}(\varphi,\theta,d)over¯ start_ARG italic_f end_ARG ( italic_φ , italic_θ , italic_d ) and f(φ,θ,d)𝑓𝜑𝜃𝑑f(\varphi,\theta,d)italic_f ( italic_φ , italic_θ , italic_d ) are either continuous at each point on its domain or contain Dirac delta functions.

If f¯(φ,θ,d)¯𝑓𝜑𝜃𝑑\overline{f}(\varphi,\theta,d)over¯ start_ARG italic_f end_ARG ( italic_φ , italic_θ , italic_d ) is non-zero for φ[φ1,φ2]𝜑subscript𝜑1subscript𝜑2\varphi\in[\varphi_{1},\varphi_{2}]italic_φ ∈ [ italic_φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ], θ[θ1,θ2]𝜃subscript𝜃1subscript𝜃2\theta\in[\theta_{1},\theta_{2}]italic_θ ∈ [ italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ], and d[d1,d2]𝑑subscript𝑑1subscript𝑑2d\in[d_{1},d_{2}]italic_d ∈ [ italic_d start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_d start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ], then the subspace spanned by the columns of 𝐑¯¯𝐑\overline{\mathbf{R}}over¯ start_ARG bold_R end_ARG contains the subspace spanned by the columns of 𝐑𝐑\mathbf{R}bold_R.

Proof.

The proof extends the proof of [5, Lem. 3] to the near-field case using the spatial scattering function f(φ,θ,d)𝑓𝜑𝜃𝑑f(\varphi,\theta,d)italic_f ( italic_φ , italic_θ , italic_d ). ∎

According to Lemma 1, we can find a representative 𝐑¯¯𝐑\overline{\mathbf{R}}over¯ start_ARG bold_R end_ARG by selecting an arbitrary spatial scattering function f¯(φ,θ,d)¯𝑓𝜑𝜃𝑑\overline{f}(\varphi,\theta,d)over¯ start_ARG italic_f end_ARG ( italic_φ , italic_θ , italic_d ) that is non-zero φ[φ1,φ2]for-all𝜑subscript𝜑1subscript𝜑2\forall\varphi\in[\varphi_{1},\varphi_{2}]∀ italic_φ ∈ [ italic_φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ], θ[θ1,θ2]𝜃subscript𝜃1subscript𝜃2\theta\in[\theta_{1},\theta_{2}]italic_θ ∈ [ italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ], and d[d1,d2]𝑑subscript𝑑1subscript𝑑2d\in[d_{1},d_{2}]italic_d ∈ [ italic_d start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_d start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ]. To compute the triple integral in (III) in a tractable and efficient manner, we can select the spatial scattering function as

f¯(φ,θ,d)¯𝑓𝜑𝜃𝑑\displaystyle\overline{f}(\varphi,\theta,d)over¯ start_ARG italic_f end_ARG ( italic_φ , italic_θ , italic_d ) =d1d2d2d11(sin(θ2)sin(θ1))(sin(φ2)sin(φ1))=cabsentsubscriptsubscript𝑑1subscript𝑑2subscript𝑑2subscript𝑑11subscript𝜃2subscript𝜃1subscript𝜑2subscript𝜑1absent𝑐\displaystyle=\underbrace{\frac{d_{1}d_{2}}{d_{2}-d_{1}}\frac{1}{\left(\sin(% \theta_{2})-\sin(\theta_{1})\right)\left(\sin(\varphi_{2})-\sin(\varphi_{1})% \right)}}_{=c}= under⏟ start_ARG divide start_ARG italic_d start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_d start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_d start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG divide start_ARG 1 end_ARG start_ARG ( roman_sin ( italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) - roman_sin ( italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ) ( roman_sin ( italic_φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) - roman_sin ( italic_φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ) end_ARG end_ARG start_POSTSUBSCRIPT = italic_c end_POSTSUBSCRIPT
cos(φ)cos(θ)d2.absent𝜑𝜃superscript𝑑2\displaystyle\quad\cdot\frac{\cos(\varphi)\cos(\theta)}{d^{2}}.⋅ divide start_ARG roman_cos ( italic_φ ) roman_cos ( italic_θ ) end_ARG start_ARG italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (9)

The constant c𝑐citalic_c ensures that d1d2θ1θ2φ1φ2f¯(φ,θ,d)φθd=1superscriptsubscriptsubscript𝑑1subscript𝑑2superscriptsubscriptsubscript𝜃1subscript𝜃2superscriptsubscriptsubscript𝜑1subscript𝜑2¯𝑓𝜑𝜃𝑑𝜑𝜃𝑑1\int_{d_{1}}^{d_{2}}\int_{\theta_{1}}^{\theta_{2}}\int_{\varphi_{1}}^{\varphi_% {2}}\overline{f}(\varphi,\theta,d)\partial\varphi\partial\theta\partial d=1∫ start_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_d start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT italic_φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT over¯ start_ARG italic_f end_ARG ( italic_φ , italic_θ , italic_d ) ∂ italic_φ ∂ italic_θ ∂ italic_d = 1. Substituting f¯(φ,θ,d)¯𝑓𝜑𝜃𝑑\overline{f}(\varphi,\theta,d)over¯ start_ARG italic_f end_ARG ( italic_φ , italic_θ , italic_d ) into (III), we obtain the (m,n)𝑚𝑛(m,n)( italic_m , italic_n )th entry of the representative spatial correlation matrix 𝐑¯¯𝐑\overline{\mathbf{R}}over¯ start_ARG bold_R end_ARG as shown in (10) at the top of the next page.

[𝐑¯]n,msubscriptdelimited-[]¯𝐑𝑛𝑚\displaystyle\left[\overline{\mathbf{R}}\right]_{n,m}[ over¯ start_ARG bold_R end_ARG ] start_POSTSUBSCRIPT italic_n , italic_m end_POSTSUBSCRIPT =cβd1d2θ1θ2φ1φ2cos(φ)cos(θ)d2e𝗃2πλ(Δ(inim)cos(θ)sin(φ)+Δ(jnjm)sin(θ)Δ2(in2+jn2im2jm2)2d)φθdabsent𝑐𝛽superscriptsubscriptsubscript𝑑1subscript𝑑2superscriptsubscriptsubscript𝜃1subscript𝜃2superscriptsubscriptsubscript𝜑1subscript𝜑2𝜑𝜃superscript𝑑2superscript𝑒𝗃2𝜋𝜆Δsubscript𝑖𝑛subscript𝑖𝑚𝜃𝜑Δsubscript𝑗𝑛subscript𝑗𝑚𝜃superscriptΔ2superscriptsubscript𝑖𝑛2superscriptsubscript𝑗𝑛2superscriptsubscript𝑖𝑚2superscriptsubscript𝑗𝑚22𝑑𝜑𝜃𝑑\displaystyle=c\beta\int_{d_{1}}^{d_{2}}\int_{\theta_{1}}^{\theta_{2}}\int_{% \varphi_{1}}^{\varphi_{2}}\frac{\cos(\varphi)\cos(\theta)}{d^{2}}e^{\mathsf{j}% \frac{2\pi}{\lambda}\left(\Delta(i_{n}-i_{m})\cos(\theta)\sin(\varphi)+\Delta(% j_{n}-j_{m})\sin(\theta)-\frac{\Delta^{2}\left(i_{n}^{2}+j_{n}^{2}-i_{m}^{2}-j% _{m}^{2}\right)}{2d}\right)}\partial\varphi\partial\theta\partial d= italic_c italic_β ∫ start_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_d start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT italic_φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT divide start_ARG roman_cos ( italic_φ ) roman_cos ( italic_θ ) end_ARG start_ARG italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_e start_POSTSUPERSCRIPT sansserif_j divide start_ARG 2 italic_π end_ARG start_ARG italic_λ end_ARG ( roman_Δ ( italic_i start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_i start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) roman_cos ( italic_θ ) roman_sin ( italic_φ ) + roman_Δ ( italic_j start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_j start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) roman_sin ( italic_θ ) - divide start_ARG roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_i start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_j start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_i start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_j start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG start_ARG 2 italic_d end_ARG ) end_POSTSUPERSCRIPT ∂ italic_φ ∂ italic_θ ∂ italic_d
=cβθ1θ2e𝗃2πλΔ(jnjm)sin(θ)φ1φ2e𝗃2πλΔ(inim)cos(θ)sin(φ)cos(φ)cos(θ)(d1d21d2e𝗃πλΔ2(in2+jn2im2jm2)dd)φθabsent𝑐𝛽superscriptsubscriptsubscript𝜃1subscript𝜃2superscript𝑒𝗃2𝜋𝜆Δsubscript𝑗𝑛subscript𝑗𝑚𝜃superscriptsubscriptsubscript𝜑1subscript𝜑2superscript𝑒𝗃2𝜋𝜆Δsubscript𝑖𝑛subscript𝑖𝑚𝜃𝜑𝜑𝜃superscriptsubscriptsubscript𝑑1subscript𝑑21superscript𝑑2superscript𝑒𝗃𝜋𝜆superscriptΔ2superscriptsubscript𝑖𝑛2superscriptsubscript𝑗𝑛2superscriptsubscript𝑖𝑚2superscriptsubscript𝑗𝑚2𝑑𝑑𝜑𝜃\displaystyle=c\beta\int_{\theta_{1}}^{\theta_{2}}e^{\mathsf{j}\frac{2\pi}{% \lambda}\Delta(j_{n}-j_{m})\sin(\theta)}\int_{\varphi_{1}}^{\varphi_{2}}e^{% \mathsf{j}\frac{2\pi}{\lambda}\Delta(i_{n}-i_{m})\cos(\theta)\sin(\varphi)}% \cos(\varphi)\cos(\theta)\left(\int_{d_{1}}^{d_{2}}\frac{1}{d^{2}}e^{-\mathsf{% j}\frac{\pi}{\lambda}\frac{\Delta^{2}\left(i_{n}^{2}+j_{n}^{2}-i_{m}^{2}-j_{m}% ^{2}\right)}{d}}\partial d\right)\partial\varphi\partial\theta= italic_c italic_β ∫ start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT sansserif_j divide start_ARG 2 italic_π end_ARG start_ARG italic_λ end_ARG roman_Δ ( italic_j start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_j start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) roman_sin ( italic_θ ) end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT italic_φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT sansserif_j divide start_ARG 2 italic_π end_ARG start_ARG italic_λ end_ARG roman_Δ ( italic_i start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_i start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) roman_cos ( italic_θ ) roman_sin ( italic_φ ) end_POSTSUPERSCRIPT roman_cos ( italic_φ ) roman_cos ( italic_θ ) ( ∫ start_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_d start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_e start_POSTSUPERSCRIPT - sansserif_j divide start_ARG italic_π end_ARG start_ARG italic_λ end_ARG divide start_ARG roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_i start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_j start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_i start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_j start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_d end_ARG end_POSTSUPERSCRIPT ∂ italic_d ) ∂ italic_φ ∂ italic_θ
=cβθ1θ2e𝗃2πλΔ(jnjm)sin(θ)φ1φ2e𝗃2πλΔ(inim)cos(θ)sin(φ)cos(φ)cos(θ)φθabsent𝑐𝛽superscriptsubscriptsubscript𝜃1subscript𝜃2superscript𝑒𝗃2𝜋𝜆Δsubscript𝑗𝑛subscript𝑗𝑚𝜃superscriptsubscriptsubscript𝜑1subscript𝜑2superscript𝑒𝗃2𝜋𝜆Δsubscript𝑖𝑛subscript𝑖𝑚𝜃𝜑𝜑𝜃𝜑𝜃\displaystyle=c\beta\int_{\theta_{1}}^{\theta_{2}}e^{\mathsf{j}\frac{2\pi}{% \lambda}\Delta(j_{n}-j_{m})\sin(\theta)}\int_{\varphi_{1}}^{\varphi_{2}}e^{% \mathsf{j}\frac{2\pi}{\lambda}\Delta(i_{n}-i_{m})\cos(\theta)\sin(\varphi)}% \cos(\varphi)\cos(\theta)\partial\varphi\partial\theta= italic_c italic_β ∫ start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT sansserif_j divide start_ARG 2 italic_π end_ARG start_ARG italic_λ end_ARG roman_Δ ( italic_j start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_j start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) roman_sin ( italic_θ ) end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT italic_φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT sansserif_j divide start_ARG 2 italic_π end_ARG start_ARG italic_λ end_ARG roman_Δ ( italic_i start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_i start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) roman_cos ( italic_θ ) roman_sin ( italic_φ ) end_POSTSUPERSCRIPT roman_cos ( italic_φ ) roman_cos ( italic_θ ) ∂ italic_φ ∂ italic_θ
𝗃λπΔ2(in2+jn2im2jm2)(e𝗃πλΔ2(in2+jn2im2jm2)d2e𝗃πλΔ2(in2+jn2im2jm2)d1)sn,mabsentsubscript𝗃𝜆𝜋superscriptΔ2superscriptsubscript𝑖𝑛2superscriptsubscript𝑗𝑛2superscriptsubscript𝑖𝑚2superscriptsubscript𝑗𝑚2superscript𝑒𝗃𝜋𝜆superscriptΔ2superscriptsubscript𝑖𝑛2superscriptsubscript𝑗𝑛2superscriptsubscript𝑖𝑚2superscriptsubscript𝑗𝑚2subscript𝑑2superscript𝑒𝗃𝜋𝜆superscriptΔ2superscriptsubscript𝑖𝑛2superscriptsubscript𝑗𝑛2superscriptsubscript𝑖𝑚2superscriptsubscript𝑗𝑚2subscript𝑑1absentsubscript𝑠𝑛𝑚\displaystyle\quad\cdot\underbrace{\frac{-\mathsf{j}\lambda}{\pi\Delta^{2}% \left(i_{n}^{2}+j_{n}^{2}-i_{m}^{2}-j_{m}^{2}\right)}\left(e^{-\mathsf{j}\frac% {\pi}{\lambda}\frac{\Delta^{2}\left(i_{n}^{2}+j_{n}^{2}-i_{m}^{2}-j_{m}^{2}% \right)}{d_{2}}}-e^{-\mathsf{j}\frac{\pi}{\lambda}\frac{\Delta^{2}\left(i_{n}^% {2}+j_{n}^{2}-i_{m}^{2}-j_{m}^{2}\right)}{d_{1}}}\right)}_{\triangleq s_{n,m}}⋅ under⏟ start_ARG divide start_ARG - sansserif_j italic_λ end_ARG start_ARG italic_π roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_i start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_j start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_i start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_j start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG ( italic_e start_POSTSUPERSCRIPT - sansserif_j divide start_ARG italic_π end_ARG start_ARG italic_λ end_ARG divide start_ARG roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_i start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_j start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_i start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_j start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_d start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT - italic_e start_POSTSUPERSCRIPT - sansserif_j divide start_ARG italic_π end_ARG start_ARG italic_λ end_ARG divide start_ARG roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_i start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_j start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_i start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_j start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_d start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT ) end_ARG start_POSTSUBSCRIPT ≜ italic_s start_POSTSUBSCRIPT italic_n , italic_m end_POSTSUBSCRIPT end_POSTSUBSCRIPT
={cβsn,m𝗃λ2πΔ(inim)θ1θ2e𝗃2πλΔ(jnjm)sin(θ)(e𝗃2πλΔ(inim)cos(θ)sin(φ2)e𝗃2πλΔ(inim)cos(θ)sin(φ1))θ,inimcβsn,m(sin(φ2)sin(φ1))𝗃λ2πΔ(jnjm)(e𝗃2πλ(jnjm)sin(θ2)e𝗃2πλ(jnjm)sin(θ1)),in=im.absentcases𝑐𝛽subscript𝑠𝑛𝑚𝗃𝜆2𝜋Δsubscript𝑖𝑛subscript𝑖𝑚superscriptsubscriptsubscript𝜃1subscript𝜃2superscript𝑒𝗃2𝜋𝜆Δsubscript𝑗𝑛subscript𝑗𝑚𝜃superscript𝑒𝗃2𝜋𝜆Δsubscript𝑖𝑛subscript𝑖𝑚𝜃subscript𝜑2superscript𝑒𝗃2𝜋𝜆Δsubscript𝑖𝑛subscript𝑖𝑚𝜃subscript𝜑1𝜃subscript𝑖𝑛subscript𝑖𝑚𝑐𝛽subscript𝑠𝑛𝑚subscript𝜑2subscript𝜑1𝗃𝜆2𝜋Δsubscript𝑗𝑛subscript𝑗𝑚superscript𝑒𝗃2𝜋𝜆subscript𝑗𝑛subscript𝑗𝑚subscript𝜃2superscript𝑒𝗃2𝜋𝜆subscript𝑗𝑛subscript𝑗𝑚subscript𝜃1subscript𝑖𝑛subscript𝑖𝑚\displaystyle=\begin{cases}c\beta s_{n,m}\frac{-\mathsf{j}\lambda}{2\pi\Delta(% i_{n}-i_{m})}\int_{\theta_{1}}^{\theta_{2}}e^{\mathsf{j}\frac{2\pi}{\lambda}% \Delta(j_{n}-j_{m})\sin(\theta)}\left(e^{\mathsf{j}\frac{2\pi}{\lambda}\Delta(% i_{n}-i_{m})\cos(\theta)\sin(\varphi_{2})}-e^{\mathsf{j}\frac{2\pi}{\lambda}% \Delta(i_{n}-i_{m})\cos(\theta)\sin(\varphi_{1})}\right)\partial\theta,&i_{n}% \neq i_{m}\\ c\beta s_{n,m}\left(\sin(\varphi_{2})-\sin(\varphi_{1})\right)\frac{-\mathsf{j% }\lambda}{2\pi\Delta(j_{n}-j_{m})}\left(e^{\mathsf{j}\frac{2\pi}{\lambda}(j_{n% }-j_{m})\sin(\theta_{2})}-e^{\mathsf{j}\frac{2\pi}{\lambda}(j_{n}-j_{m})\sin(% \theta_{1})}\right),&i_{n}=i_{m}\end{cases}.= { start_ROW start_CELL italic_c italic_β italic_s start_POSTSUBSCRIPT italic_n , italic_m end_POSTSUBSCRIPT divide start_ARG - sansserif_j italic_λ end_ARG start_ARG 2 italic_π roman_Δ ( italic_i start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_i start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) end_ARG ∫ start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT sansserif_j divide start_ARG 2 italic_π end_ARG start_ARG italic_λ end_ARG roman_Δ ( italic_j start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_j start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) roman_sin ( italic_θ ) end_POSTSUPERSCRIPT ( italic_e start_POSTSUPERSCRIPT sansserif_j divide start_ARG 2 italic_π end_ARG start_ARG italic_λ end_ARG roman_Δ ( italic_i start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_i start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) roman_cos ( italic_θ ) roman_sin ( italic_φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT - italic_e start_POSTSUPERSCRIPT sansserif_j divide start_ARG 2 italic_π end_ARG start_ARG italic_λ end_ARG roman_Δ ( italic_i start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_i start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) roman_cos ( italic_θ ) roman_sin ( italic_φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT ) ∂ italic_θ , end_CELL start_CELL italic_i start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ≠ italic_i start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_c italic_β italic_s start_POSTSUBSCRIPT italic_n , italic_m end_POSTSUBSCRIPT ( roman_sin ( italic_φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) - roman_sin ( italic_φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ) divide start_ARG - sansserif_j italic_λ end_ARG start_ARG 2 italic_π roman_Δ ( italic_j start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_j start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) end_ARG ( italic_e start_POSTSUPERSCRIPT sansserif_j divide start_ARG 2 italic_π end_ARG start_ARG italic_λ end_ARG ( italic_j start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_j start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) roman_sin ( italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT - italic_e start_POSTSUPERSCRIPT sansserif_j divide start_ARG 2 italic_π end_ARG start_ARG italic_λ end_ARG ( italic_j start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_j start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) roman_sin ( italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT ) , end_CELL start_CELL italic_i start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = italic_i start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_CELL end_ROW . (10)

The final one-dimensional integral in (10) can be evaluated numerically. In conclusion, any channel vector 𝐡𝐡\mathbf{h}bold_h, as characterized by the spatial correlation matrix defined in (III), lies in the lower-dimensional subspace, spanned by the eigenspace of the computed matrix 𝐑¯¯𝐑\overline{\mathbf{R}}over¯ start_ARG bold_R end_ARG, as shown in Lemma 1. The eigenspace of the matrix 𝐑¯¯𝐑\overline{\mathbf{R}}over¯ start_ARG bold_R end_ARG is denoted by the semi-unitary matrix 𝐔¯M×r¯¯𝐔superscript𝑀¯𝑟\overline{\mathbf{U}}\in\mathbb{C}^{M\times\overline{r}}over¯ start_ARG bold_U end_ARG ∈ blackboard_C start_POSTSUPERSCRIPT italic_M × over¯ start_ARG italic_r end_ARG end_POSTSUPERSCRIPT, which is the eigenvector matrix corresponding to non-zero eigenvalues of 𝐑¯¯𝐑\overline{\mathbf{R}}over¯ start_ARG bold_R end_ARG. Specifically, we express 𝐡𝐡\mathbf{h}bold_h as 𝐔¯𝐱¯𝐔𝐱\overline{\mathbf{U}}\mathbf{x}over¯ start_ARG bold_U end_ARG bold_x, where 𝐱𝐱\mathbf{x}bold_x is a vector in r¯superscript¯𝑟\mathbb{C}^{\overline{r}}blackboard_C start_POSTSUPERSCRIPT over¯ start_ARG italic_r end_ARG end_POSTSUPERSCRIPT of reduced dimension r¯<M¯𝑟𝑀\overline{r}<Mover¯ start_ARG italic_r end_ARG < italic_M. 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 𝐑¯¯𝐑\overline{\mathbf{R}}over¯ start_ARG bold_R end_ARG 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

𝐲=ρ𝐡+𝐧,𝐲𝜌𝐡𝐧\displaystyle\mathbf{y}=\sqrt{\rho}\mathbf{h}+\mathbf{n},bold_y = square-root start_ARG italic_ρ end_ARG bold_h + bold_n , (11)

where ρ>0𝜌0\rho>0italic_ρ > 0 is the pilot SNR and 𝐧𝒩(𝟎,𝐈M)similar-to𝐧subscript𝒩0subscript𝐈𝑀\mathbf{n}\sim\mathcal{N}_{\mathbb{C}}\left(\mathbf{0},\mathbf{I}_{M}\right)bold_n ∼ caligraphic_N start_POSTSUBSCRIPT blackboard_C end_POSTSUBSCRIPT ( bold_0 , bold_I start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ). With full statistical knowledge, the minimum mean square error (MMSE) estimator becomes the optimal method. The MMSE estimate of 𝐡𝐡\mathbf{h}bold_h is obtained as

𝐡^MMSE=ρ𝐑(ρ𝐑+𝐈M)1𝐲,subscript^𝐡MMSE𝜌𝐑superscript𝜌𝐑subscript𝐈𝑀1𝐲\displaystyle\widehat{\mathbf{h}}_{\rm MMSE}=\sqrt{\rho}\mathbf{R}\left(\rho% \mathbf{R}+\mathbf{I}_{M}\right)^{-1}\mathbf{y},over^ start_ARG bold_h end_ARG start_POSTSUBSCRIPT roman_MMSE end_POSTSUBSCRIPT = square-root start_ARG italic_ρ end_ARG bold_R ( italic_ρ bold_R + bold_I start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT bold_y , (12)

and requires knowledge of the matrix 𝐑𝐑\mathbf{R}bold_R, defined in (III). Computing the MMSE estimate is challenging in practice due to the difficulty in acquiring the correlation matrix 𝐑𝐑\mathbf{R}bold_R, which contains M2superscript𝑀2M^{2}italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT entries. This is particularly challenging when M𝑀Mitalic_M 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, ρ𝜌\rhoitalic_ρ. The LS estimator is 𝐡^LS=𝐲ρsubscript^𝐡LS𝐲𝜌\widehat{\mathbf{h}}_{\rm LS}=\frac{\mathbf{y}}{\sqrt{\rho}}over^ start_ARG bold_h end_ARG start_POSTSUBSCRIPT roman_LS end_POSTSUBSCRIPT = divide start_ARG bold_y end_ARG start_ARG square-root start_ARG italic_ρ end_ARG end_ARG. 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 𝐔¯¯𝐔\overline{\mathbf{U}}over¯ start_ARG bold_U end_ARG, 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

𝐡^RSLS=𝐔¯𝐔¯H𝐲ρ,subscript^𝐡RSLS¯𝐔superscript¯𝐔H𝐲𝜌\displaystyle\widehat{\mathbf{h}}_{\rm RS-LS}=\frac{\overline{\mathbf{U}}% \overline{\mathbf{U}}^{\mbox{\tiny$\mathrm{H}$}}\mathbf{y}}{\sqrt{\rho}},over^ start_ARG bold_h end_ARG start_POSTSUBSCRIPT roman_RS - roman_LS end_POSTSUBSCRIPT = divide start_ARG over¯ start_ARG bold_U end_ARG over¯ start_ARG bold_U end_ARG start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT bold_y end_ARG start_ARG square-root start_ARG italic_ρ end_ARG end_ARG , (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 𝐔¯¯𝐔\overline{\mathbf{U}}over¯ start_ARG bold_U end_ARG 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 L𝐿Litalic_L-th coherence block for channel estimation and that the unknown spatial correlation statistics are static through the previous L1𝐿1L-1italic_L - 1 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 M𝑀Mitalic_M-dimensional space. The corresponding estimate at the L𝐿Litalic_L-th coherence block is

𝐡^RSLS(L)=𝐔¯(1ρ𝐃(L))𝐔¯H𝐲superscriptsubscript^𝐡RSLS𝐿¯𝐔1𝜌superscript𝐃𝐿superscript¯𝐔H𝐲\displaystyle\widehat{\mathbf{h}}_{\rm RS-LS}^{(L)}=\overline{\mathbf{U}}\left% (\frac{1}{\sqrt{\rho}}\mathbf{D}^{(L)}\right)\overline{\mathbf{U}}^{\mbox{% \tiny$\mathrm{H}$}}\mathbf{y}over^ start_ARG bold_h end_ARG start_POSTSUBSCRIPT roman_RS - roman_LS end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_L ) end_POSTSUPERSCRIPT = over¯ start_ARG bold_U end_ARG ( divide start_ARG 1 end_ARG start_ARG square-root start_ARG italic_ρ end_ARG end_ARG bold_D start_POSTSUPERSCRIPT ( italic_L ) end_POSTSUPERSCRIPT ) over¯ start_ARG bold_U end_ARG start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT bold_y (14)

where 𝐃(L)=(𝚲(L)𝐈r¯)(𝚲(L))1superscript𝐃𝐿superscript𝚲𝐿subscript𝐈¯𝑟superscriptsuperscript𝚲𝐿1\mathbf{D}^{(L)}=(\mathbf{\Lambda}^{(L)}-\mathbf{I}_{\overline{r}})(\mathbf{% \Lambda}^{(L)})^{-1}bold_D start_POSTSUPERSCRIPT ( italic_L ) end_POSTSUPERSCRIPT = ( bold_Λ start_POSTSUPERSCRIPT ( italic_L ) end_POSTSUPERSCRIPT - bold_I start_POSTSUBSCRIPT over¯ start_ARG italic_r end_ARG end_POSTSUBSCRIPT ) ( bold_Λ start_POSTSUPERSCRIPT ( italic_L ) end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT is a diagonal matrix, where 𝚲(L)superscript𝚲𝐿\mathbf{\Lambda}^{(L)}bold_Λ start_POSTSUPERSCRIPT ( italic_L ) end_POSTSUPERSCRIPT 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 𝐔¯H𝐲superscript¯𝐔H𝐲\overline{\mathbf{U}}^{\mbox{\tiny$\mathrm{H}$}}\mathbf{y}over¯ start_ARG bold_U end_ARG start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT bold_y across L1𝐿1L-1italic_L - 1 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 MH=32subscript𝑀H32M_{\rm H}=32italic_M start_POSTSUBSCRIPT roman_H end_POSTSUBSCRIPT = 32 antennas per row and MV=32subscript𝑀V32M_{\rm V}=32italic_M start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT = 32 antennas per column. The antenna spacing is Δ=0.5λΔ0.5𝜆\Delta=0.5\lambdaroman_Δ = 0.5 italic_λ, where λ=0.1𝜆0.1\lambda=0.1italic_λ = 0.1 m corresponds to a 3 GHz carrier frequency. The aperture length is D=MH2+MV2Δ2.26𝐷superscriptsubscript𝑀H2superscriptsubscript𝑀V2Δ2.26D=\sqrt{M_{\rm H}^{2}+M_{\rm V}^{2}}\Delta\approx 2.26italic_D = square-root start_ARG italic_M start_POSTSUBSCRIPT roman_H end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_M start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_Δ ≈ 2.26 m, leading to a Fraunhofer distance of 102.4 m, computed as 2D2/λ2superscript𝐷2𝜆2D^{2}/\lambda2 italic_D start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_λ. The three-dimensional region in Lemma 1 with potential scatterer locations is set as φ1=π/6subscript𝜑1𝜋6\varphi_{1}=-\pi/6italic_φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = - italic_π / 6, φ2=π/6subscript𝜑2𝜋6\varphi_{2}=\pi/6italic_φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_π / 6, θ1=π/9subscript𝜃1𝜋9\theta_{1}=-\pi/9italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = - italic_π / 9, and θ2=0subscript𝜃20\theta_{2}=0italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0. 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) d1=20subscript𝑑120d_{1}=20italic_d start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 20 m and d2=40subscript𝑑240d_{2}=40italic_d start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 40 m, and ii) d1=10subscript𝑑110d_{1}=10italic_d start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 10 m and d2=20subscript𝑑220d_{2}=20italic_d start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 20 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 d1=10subscript𝑑110d_{1}=10italic_d start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 10 m and d2=20subscript𝑑220d_{2}=20italic_d start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 20 m. In Fig. 3, the SNR is set to 00 dB, while in Fig. 4, it is increased to 10101010 dB. As the coherence block number L𝐿Litalic_L 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 M2superscript𝑀2M^{2}italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT 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 𝐑¯¯𝐑\overline{\mathbf{R}}over¯ start_ARG bold_R end_ARG as calculated in (10), offers an improvement. The performance of the RS-LS estimators improves by several dB when L𝐿Litalic_L increases and L=5𝐿5L=5italic_L = 5 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}
Figure 2: The sorted eigenvalues of the spatial correlation matrices corresponding to NF and FF channels.
\begin{overpic}[width=357.73517pt,tics=10]{Figures/RS_LS_near_field_d10_20_vs_%
coherence_block_0dBSNR.eps}
\end{overpic}
Figure 3: The comparison of different channel estimators for SNR of 00 dB.
\begin{overpic}[width=357.73517pt,tics=10]{Figures/RS_LS_near_field_d10_20_vs_%
coherence_block_10dBSNR.eps}
\end{overpic}
Figure 4: The comparison of different channel estimators for SNR of 10101010 dB.

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.