 Research
 Open Access
 Published:
Structured channel covariance estimation from limited samples for large antenna arrays
EURASIP Journal on Wireless Communications and Networking volume 2023, Article number: 24 (2023)
Abstract
In massive multiuser multiple antenna systems, the knowledge of the users’ channel covariance matrix is crucial for minimum mean square error channel estimation in the uplink and it plays an important role in several multiuser beamforming schemes in the downlink. Due to the large number of base station antennas, accurate covariance estimation is challenging especially in the case where the number of samples is limited and thus comparable to the channel vector dimension. As a result, the standard sample covariance estimator may yield a too large estimation error which in turn may yield significant system performance degradation with respect to the ideal channel covariance knowledge case. To address such problem, we propose a method based on a parametric representation of the channel angular scattering function. The proposed parametric representation includes a discrete specular component which is addressed using the wellknown MUltiple SIgnal Classification (MUSIC) method, and a diffuse scattering component, which is modeled as the superposition of suitable dictionary functions. To obtain the representation parameters, we propose two methods, where the first solves a nonnegative leastsquares problem and the second maximizes the likelihood function using expectation–maximization. Our simulation results show that the proposed methods outperform the state of the art with respect to various estimation quality metrics and different sample sizes.
1 Introduction
Massive multipleinput multipleoutput (MIMO) communication system, where the number of base station (BS) antennas M is much larger than the number of single antenna users, has been shown to achieve high spectral efficiency in wireless cellular networks and to enjoy various system level benefit, such as energy efficiency, intercell interference reduction, and dramatic simplification of user scheduling (e.g., see [2, 3]). In a large number of papers on the subject, the knowledge of the uplink (UL) and downlink (DL) channel covariance matrix, i.e., of the correlation structure of the channel antenna coefficients at the BS array, is assumed and used for a variety of purposes, such as minimum mean square error (MMSE) UL channel estimation and pilot decontamination [4,5,6], efficient DL multiuser precoding/beamforming design, especially in the frequency division duplexing (FDD) case [6,7,8,9,10], and multiuser DL precoding design based on statistical channel state information (CSI) [11,12,13].
Under the usual assumption of widesense stationary (WSS) uncorrelated scattering (US) [6, 7, 9, 14, 15],^{Footnote 1} the channel vector evolves over time as a vectorvalued WSS process and its spatial correlation is frequencyinvariant over a frequency interval significantly larger than the signal bandwidth, although much smaller than the carrier frequency. In particular, in an orthogonal frequency division multiplexing (OFDM) system, the channel spatial covariance is independent of time (OFDM symbol index) and frequency (subcarrier index). In order to capture the actual WSS statistics, samples sufficiently spaced over time and frequency must be collected (e.g., one sample for every resource block in the UL slots over which a given user is active). On the other hand, the WSS model holds only locally, over time intervals where the propagation geometry (angle and distances of multipath components) does not change significantly. Such time interval, referred to as “geometry coherence time,” is several orders of magnitude larger than the coherence time of the smallscale channel coefficients. For a typical mobile urban environment, the channel geometry coherence time is of the order of seconds, while the smallscale fading coherence time is of the order of milliseconds (see [19] and references therein).^{Footnote 2} Hence, the BS can collect a window of tenstohundreds of noisy channel snapshots from UL pilot symbols sent by any given user and use them to produce a “local” estimate of the corresponding user covariance matrix which remains valid during a channel geometry coherence time. Such estimation must be repeated, or updated, at a rate that depends on the propagation scenario and userBS relative motion. This discussion points out that the number of samples N available for covariance estimation is limited and often comparable or even less than the number of BS antennas M. In general, the accurate estimation of a highdimensional \(M \times M\) spatial channel covariance matrix (both in the UL and in the DL) from a limited number of noisy channel realizations (samples) is generally a difficult task.
The simplest way to estimate the channel covariance matrices is the sample covariance estimator. Such estimation is asymptotically unbiased and consistent and works well when \(N \gg M\). Unfortunately, as already noticed above, this is typically not the case in massive MIMO. Hence, the goal of this paper is to devise new parametric estimators that outperform the sample covariance estimator, as well as the other stateoftheart methods proposed in the literature. In addition, an attractive feature of the proposed parametric estimation is that it lends itself to the extrapolation of the estimated channel covariance matrix from the UL to the DL frequency band. As the channel samples are collected by the BS through pilot symbols sent by the users on the UL, the UL channel covariance can be directly estimated via our method. However, as pointed out above, several schemes for DL multiuser precoding/beamforming in FDD systems make use of the user channel covariance matrix in the DL, which differs from the UL covariance since the frequency separation between the UL and the DL bands is large. The estimation of the DL covariance from UL channel samples has been considered in several works and it is generally another challenging task [7, 21,22,23,24,25]. We shall see that our scheme is able to accurately estimate the DL channel covariance by extrapolating (over frequency) the estimated parametric model in the UL.
1.1 Related work
Covariance estimation from limited samples is a very wellknown classical problem in statistics. In the “large system regime,” when both the vector dimension M and the number of samples N grow large with fixed sampling ratio N/M of samples per dimension, a vast literature focused on the asymptotic eigenvalue distribution of sample covariance matrices estimator under specific statistical assumptions (see, e.g., [26,27,28] and the references therein). Covariance estimation has reemerged recently in many problems in machine learning, compressed sensing, biology, etc. (see, e.g., [29,30,31,32] from some recent results). What makes these recent works different from the classical ones is the highly structured nature of the covariance matrices in these applications. A key challenge in these new applications is to design efficient estimation algorithms able to take advantage of the underlying structure to recover the covariance matrix with a small sample size.
As explained in the sequel, MIMO covariance matrices are highly structured due to the particular spatial configuration of the BS antennas and wireless propagation scenario. So, it is very important to design efficient algorithms that are able to take advantage of this specific structure. Previous works have considered either diffuse scattering (the received power from any given angle direction is infinitesimal [21]), or separable discrete components [33,34,35]. Interestingly, both classes of stateoftheart methods incur significant degradation when the actual channel model does not conform to the assumptions. No current work has addressed the simultaneous presence of both discrete components and diffuse scattering. In this paper, we propose a method to address such mixed scattering model. We shall compare our proposed method with alternative approaches which can be regarded as the state of the art for the specific case of wireless massive MIMO channels. The competitor methods shall be briefly discussed when presenting such comparison results.
1.2 Contributions
The main contributions of this work are listed below:

(1)
In contrast to the work in [21] that only considers diffuse scattering, and the works in [33,34,35] that only consider separable discrete components, we propose a method that handles the more realistic mixed scattering model where discrete and diffuse scattering is simultaneously present in the angle domain. It should be noticed that our model is not just “one or many possible alternatives.” In fact, our model encompasses any possible received power distribution over the angle domain, referred to in this work as the angular scattering function (ASF).

(2)
The new idea of the proposed general model consists of approximating the ASF in terms of atoms of a dictionary. This dictionary is formed by Dirac delta functions placed at the angleofarrival (AoA) of the discrete specular components and by a family of functions obtained by shifts of a template density function over the angle domain, in order to approximate the diffuse component of the ASF. Notice that the proposed dictionary is partially “on the grid” (the shifts of the template density function at integer multiples of some chosen discretization interval) and partially “off the grid” (the Diracs placed at the unquantized AoAs). In this sense, the method differs substantially from standard compressed sensing schemes and does not assume sparsity of the ASF in the angle domain. In fact, the diffuse scattering component is not sparse at all, but is dense on given angular spread intervals.

(3)
In order to estimate the AoA of the discrete components and their number (model order), we propose to use the wellknown MUltiple SIgnal Classification (MUSIC) method [36]. In fact, this approach is particularly suited to the problem at hand thanks to the provable asymptotic consistency for the corresponding spiked model. Notice that this property has not been proven for other superresolution methods based on convexity and atomic norm, which have also the disadvantage of being significantly more computationally complex (see, e.g., [37, Table III]) and numerically unstable.

(4)
After obtaining the estimated AoAs of the spikes via MUSIC, we propose two estimators, namely a constrained leastsquares estimator and maximumlikelihood (ML) estimator, to estimate the parametric model coefficients. In particular, the maximization of the likelihood function in the ML estimator is obtained via the expectation–maximization (EM) initialized by the constrained leastsquares solution.
We demonstrate the advantage of the proposed approach through extensive numerical results based on the channel emulator QUAsi Deterministic RadIo channel GenerAtor (QuaDriGa) [18], used routinely in 3GPP standardization to provide a common reference for comparison of different physical layer algorithms. We compare our method with other stateoftheart schemes, showing that the proposed algorithms outperform the competitors over all benchmarks in a wide range of sampling ratio N/M. It should be noticed that the QuaDriGa channel generator is agnostic and unaware of the proposed ASF representation and generates channel snapshots on the basis of a mixed physical/statistical model. Therefore, our results are not “biased” by generating channels that are “matched” to the assumed model. On the contrary, our results show that the proposed approach is robust to the underlying channel model and provides improvements on the state of the art even if the underlying channel statistics do not reflect exactly the assumed one.
1.3 Notations
An identity matrix with K columns is denoted as \({\textbf{I}}_K\). An allzero matrix with size \(m \times n\) is denoted as \(\textbf{0}_{m \times n}\). \(\text {diag}(\cdot )\) returns a diagonal matrix. \(\Vert \cdot \Vert _{\textsf {F}}\) returns Frobenius norm of a matrix. \(\delta (\cdot )\) denotes the Dirac delta function. We use [n] to denote the ordered integer set \(\{1, 2, \ldots , n\}\).
2 Methods
This study is theoretical. The algorithms are developed through mathematical equations and implemented using standard scientific computation software (MATLAB). The numerical results of Sect. 5 are obtained by standard computer simulation using MATLAB, with channel vector snapshots extracted from the publicly available channel simulator (QuaDriGa) [18], which is used in a large number of comparative studies in the framework of 3GPP standardization. All details of the numerical results, including comparison with competing stateoftheart methods, are fully described in Sect. 5. No proprietary data have been used in this study.
3 System model
We consider a typical singlecell massive MIMO communication system, where a BS equipped with a uniform linear array (ULA) of M antennas communicates with multiple users through a multipath channel.^{Footnote 3} Following the common assumption that the pilot sequences of different users are orthogonal to each other in the time–frequency domain, and since the observations used for channel covariance estimation use only the UL pilots, without loss of generality we focus on a generic user. Figure 1 visualizes the propagation model based on multipath clusters, which is physically motivated and widely adopted in standard channel simulation tools such as QuaDriGa [18]. During UL transmission, on each time–frequency resource block (RB) s, the BS receives an UL user pilot carrying a measurement for the channel vector \({\textbf {h}}[s]\). We assume that the window of N samples collected for covariance estimation is designed such that the samples are enough spaced in the time–frequency domain and resulting in statistically independent channel snapshots \(\{{\textbf {h}}[s]: s = [N]\}\). Meanwhile, the whole window spans a time significantly shorter than the geometry coherence time so that the WSS assumption holds (see discussion in Sect. 1) and the channel snapshots are identically distributed. The channel vectors are given by [38]
where \(\rho (\xi ;s)\) is the channel complex coefficient at the normalized AoA \(\xi = \frac{\sin (\theta )}{\sin (\theta _{\text {max}})} \in [1,1)\), where \(\theta _{\text {max}} \in [0,\frac{\pi }{2}]\) is the maximum array angular aperture^{Footnote 4}; \({\textbf {a}}(\xi ) \in {\mathbb C}^M\) denotes the array response vector as a function of \(\xi\), with mth element given by \([{\textbf {a}}(\xi )]_m=e^{j\frac{2\pi d}{\lambda _0}m \xi \sin (\theta _{\text {max}})}\), where d denotes the antenna spacing and \(\lambda _0\) denotes the carrier wavelength. For convenience, we assume the antenna spacing to be \(d = \frac{\lambda _0}{2\sin (\theta _{\text {max}})}\). Thus, the array response vector is given as
The channel coefficient \(\rho (\xi ;s)\) represents the smallscale multipath fading component at a given AoA, and it is modeled as a complex circularly symmetric Gaussian process with respect to \(\xi\). Due to the WSS property, the channel secondorder statistics are invariant with respect to the index \(s \in [N]\). In particular, \(\rho (\xi ;s)\) has mean zero and variance \({\mathbb {E}}\left[ \rho \left( \xi ;s\right) \rho ^*\left( \xi ;s\right) \right] = \gamma \left( \xi \right)\). The function \(\gamma : [1,1]\rightarrow \mathbb {R}_+\) is a real nonnegative measure that describes how the channel energy is distributed across the angle domain, and it is referred to as the channel ASF. From (1) and the ASF definition, it follows that the channel spatial covariance matrix, describing the correlation of the channel coefficients at the different antenna elements, is given by
Notice that \({\varvec{\Sigma }}_{{\textbf {h}}}\) is Toeplitz. This fact is verified when all the scattering clusters (see Fig. 1) are in the far field of the BS array.^{Footnote 5} At RB s, the received pilot signal at the BS is given as
where x[s] is the pilot symbol and \({\textbf {z}}[n] \sim {{{\mathcal {C}}}{{\mathcal {N}}}}(\textbf{0},N_0 \textbf{I}_M)\) is the additive white Gaussian noise (AWGN). Without loss of generality, we assume that the pilot symbols are normalized as \(x[n]=1, \; \forall \, s \in [N]\). The goal of this work is to estimate the channel covariance matrix \({\varvec{\Sigma }}_{{\textbf {h}}}\) with the given set of N noisy channel observations \(\{ {\textbf {y}}[s]: s\in [N]\}\).
3.1 Sample covariance matrix
We start by reviewing the sample covariance estimator. For known noise power \(N_0\) at the BS, the sample covariance matrix is given by ^{Footnote 6}
This is a consistent estimator, in the sense that it converges to the true covariance matrix as \(N \rightarrow \infty\) [40, Section 1.2.2]. The mean square (Frobenius norm) error incurred by the sample covariance estimator is given as [40] \({\mathbb {E}}\left[ \left\ \widehat{{\varvec{\Sigma }}}_{{\textbf {h}}}{\varvec{\Sigma }}_{{\textbf {h}}}\right\ ^2_{\textsf {F}}\right] = \frac{{\hbox {tr}}\left( {\varvec{\Sigma }}_{{\textbf {h}}}\right) ^2}{N}\). By applying the Cauchy–Schwarz inequality to the singular values of \({\varvec{\Sigma }}_{{\textbf {h}}}\), it is seen that \({\hbox {tr}}({\varvec{\Sigma }}_{{\textbf {h}}}) \le \Vert {\varvec{\Sigma }}_{{\textbf {h}}}\Vert _{\textsf {F}}\sqrt{\text {rank}({\varvec{\Sigma }}_{{\textbf {h}}})}\), which together with the estimation error expression yields the upper bound to the normalized mean squared error \({\mathbb {E}}\left[ \frac{\Vert \widehat{{\varvec{\Sigma }}}_{{\textbf {h}}}{\varvec{\Sigma }}_{{\textbf {h}}}\Vert ^2_{\textsf {F}}}{\Vert {\varvec{\Sigma }}_{{\textbf {h}}}\Vert ^2_{\textsf {F}}}\right] \le \frac{\text {rank}({\varvec{\Sigma }}_{{\textbf {h}}})}{N}\). As already discussed, a relevant and interesting regime for massive MIMO is when N and M are of the same order. From the above analysis, it is clear that the sample covariance estimator yields a small error if \(\text {rank}({\varvec{\Sigma }}_{{\textbf {h}}}) \ll N\). For example, if the scattering contains only a finite number of discrete components (e.g., as assumed in [33,34,35]), \(\text {rank}({\varvec{\Sigma }}_{{\textbf {h}}})\) is small even if M is very large. In contrast, if \(\gamma (\xi )\) contains a diffuse scattering component, i.e., if its cumulative distribution function \(\Gamma (\xi ) = \int _{1}^{\xi } \gamma (\nu ) d\nu\) is piecewise continuous with strictly monotonically increasing segments, then \(\text {rank}({\varvec{\Sigma }}_{{\textbf {h}}})\) increases linearly with M (see [10]) and the error incurred by the sample covariance estimator may be large. On the other hand, the presence of discrete scattering components implies that \(\gamma (\xi )\) contains Dirac delta functions (spikes) and therefore it is not squaredintegrable. This poses significant problems for estimation methods that assume \(\gamma (\xi )\) to be an element in a Hilbert space of functions (e.g., the method proposed in [21]). The challenge tackled in this work is to devise an estimator which is able to handle both the small sample regime \(N/M \le 1\) and the presence of discrete and diffuse scattering.
3.2 Structure of the channel covariance matrix
As said, the ASF describes how the received signal power is distributed over the AoA domain. The signal from the UE to the BS array propagates through a given scattering environment. The lineofsight (LoS) path (if present), specular reflections, and wedge diffraction occupy extremely narrow angular intervals. This is usually modeled in a large number of papers as the superposition of discrete separable angular components coming at normalized AoAs \(\{\phi _i\}\). In particular, it is assumed that the general form (1) reduces to the discrete sum of r paths \({\textbf {h}}[s] = \sum _{i=1}^r \rho _i[s] {\textbf {a}}(\phi _i)\), with corresponding ASF \(\gamma (\xi ) = \sum _{i=1}^r c_i \delta (\xi  \phi _i)\) and covariance matrix \({\varvec{\Sigma }}_{{\textbf {h}}} = \sum _{i=1}^r c_i {\textbf {a}}(\phi _i) {\textbf {a}}(\phi _i)^{\textsf {H}}\), where \(c_i = {\mathbb {E}}[\rho _i[s]^2]\). However, it is well known from channel sounding observations (e.g., see [41]) and widely treated theoretically (e.g., see [38]) that diffuse scattering is typically also present and may carry a very significant part of the received signal power especially at frequencies below 6GHz. In this case, scattering clusters span continuous intervals over the AoA domain. In order to encompass full generality, we model the ASF \(\gamma (\xi )\) as a mixedtype distribution [42, Section 5.3] including discrete and diffuse scattering components:
where \(\gamma _d(\xi )\) models the power received from \(r \ll M\) discrete paths and \(\gamma _c(\xi )\) models the power coming from diffuse scattering clusters. Since the ASF can be seen as a (generalized) density function, we borrow the language of discrete and continuous random variables and refer to \(\gamma _d(\xi )\) and to \(\gamma _c(\xi )\) as the discrete and the continuous parts of the ASF, respectively.^{Footnote 7} This corresponds to a socalled spiked model in the language of asymptotic random matrix theory (e.g., see [28]), where the spikes are the discrete scattering components.
Plugging (6) into (3), we obtain a corresponding decomposition of the channel covariance matrix as
Notice that, in a typical massive MIMO scenario, \(\text {rank}({{\varvec{\Sigma }}}_{{\textbf {h}}}^d) = r\) is much smaller than M.
4 Dictionarybased parametric representation and covariance estimation
An outline of the steps taken by the proposed method is given in the following:
i) Spike Location Estimation for \(\gamma _d(\xi )\): We apply the MUSIC algorithm [36] to estimate the AoAs of the spike components, i.e., the angles \(\{ \phi _i \}_{i=1}^r\) in (6), from the N noisy samples \(\{{\textbf {y}}[s]: s\in [N]\}\). We let \(\{\widehat{\phi }_i \}_{i=1}^{\widehat{r}}\) denote the estimated AoAs, where also the number of spikes \(\widehat{r}\) is estimated (not assumed known). This is detailed in Sect. 4.1. For complete estimation of the discrete part \({{\varvec{\Sigma }}}_{{\textbf {h}}}^d\), the weights \(\{c_i\}_{i=1}^{\widehat{r}}\) need to be further recovered. This is done jointly with the coefficients of the continuous part, as elaborated in the next step.
ii) Dictionarybased Method for Joint Estimation of \(\gamma _d(\xi )\) and \(\gamma _c(\xi )\): We assume that the ASF continuous part can be written as
where \({{\mathcal {G}}}_c=\{\psi _i(\xi ): i \in [G]\}\) is a suitable dictionary of nonnegative density functions (not containing spikes). Figure 2 shows an example of Dirac delta and Gaussian dictionaries. Now, the goal is to estimate the model parameters \(\{c_i \}_{i=1}^{\widehat{r}}\) and \(\{b_i\}_{i=1}^G\) assuming the form of ASF \(\gamma (\xi ) = \sum _{i=1}^{\widehat{r}} c_i \delta (\xi  \widehat{\phi }_i) + \sum _{i=1}^G b_i \psi _i(\xi )\). The parameters estimation can be formulated as a constrained leastsquares problem, as detailed in Sect. 4.2. In particular, if the functions in \({{\mathcal {G}}}_c\) have disjoint supports (i.e., the nonzero parts of different functions are not overlapping, e.g., the Dirac delta functions in Fig. 2a), we obtain a nonnegative leastsquares (NNLS) problem, while if the functions in \({{\mathcal {G}}}_c\) have overlapping supports (e.g., the Gaussian functions in Fig. 2b), we obtain a quadratic programming (QP) problem. As an alternative, we can use ML estimation. The loglikelihood function is a difference of concave functions in the model parameters and can be maximized using majorization–minimization (MM) methods. However, general MM approaches are prohibitively computationally complex for typical values of M arising in massive MIMO. It turns out that when \({{\mathcal {G}}}_c\) is formed by Dirac deltas on a discrete grid, the likelihood function maximization can be obtained through EM with much lower complexity. Since in general EM is guaranteed to converge to local optima, the initialization plays an important role. We propose to use the result of the (lowcomplexity) NNLS estimator as initial point for the EM iteration. The resulting method is detailed in Sect. 4.3.
iii) From ASF to Covariance Estimation: Finally, having estimated \(\gamma _d(\xi )\) and \(\gamma _c(\xi )\), we estimate the covariance \({{\varvec{\Sigma }}}_{{\textbf {h}}}\) via (7). In particular, since \(\gamma (\xi )\) depends only on the scattering geometry and it is invariant with frequency,^{Footnote 8} the mapping \(\gamma (\xi ) \rightarrow {\varvec{\Sigma }}_{{\textbf {h}}}\) defined by (7) can be applied for different carrier frequencies by changing the wavelength parameter \(\lambda _0\) in the expression of the array response vector \({\textbf {a}}(\xi )\). Specifically, replacing \({\textbf {a}}(\xi )\) in (7) with \({\textbf {a}}(\nu \xi )\) where \(\nu\) is a wavelength expansion/contraction coefficient, we obtain an estimator at the carrier frequency \(f_{\nu } = \nu f_0\), where \(f_0 = c_0/\lambda _0\) is the UL carrier frequency and \(c_0\) denotes the speed of light. The resulting covariance estimator is given by
where \(\{u_i^\star : i \in [G + \widehat{r}]\}\) are the estimated model parameters, and where we define \({\textbf {S}}^{(\nu )}_i = \int ^1_{1}\psi _i(\xi ) {\textbf {a}}(\nu \xi ){\textbf {a}}^\textsf {H}(\nu \xi ) d\xi\) for \(i \in [G]\) and \({\textbf {S}}^{(\nu )}_{G+i} = {\textbf {a}}(\nu \widehat{\phi }_{i}) {\textbf {a}}^\textsf {H}(\nu \widehat{\phi }_i)\) for \(i \in [\widehat{r}]\). In particular, for the DL carrier we have \(\nu > 1\) since in typical cellular systems the DL carrier frequency is higher than the UL carrier frequency.
4.1 Discrete ASF support estimation
In this part, we first estimate the model order r by applying the wellknown minimum description length (MDL) principle [44]. Then, we use the MUSIC method (e.g., see [45, 46] and references therein), to estimate the locations \(\{\phi _i\}_{i=1}^r\) of the spikes in discrete part of ASF \(\gamma _d(\xi )\). Given the noisy samples \({\textbf {Y}}= \{y[s]\}_{s=1}^N\), the sample covariance of \({\textbf {Y}}\) is given as
Let \(\widehat{{\varvec{\Sigma }}}_{{\textbf {y}}} = \widehat{{\textbf {U}}} \widehat{{\varvec{\Lambda }}} \widehat{{\textbf {U}}}^\textsf {H}\) be the eigendecomposition of \(\widehat{{\varvec{\Sigma }}}_{{\textbf {y}}}\), where \(\widehat{{\varvec{\Lambda }}}={\text {diag}}(\widehat{\lambda }_{1,M}, \dots , \widehat{\lambda }_{M,M})\) denotes the diagonal matrix consisting of the eigenvalues of \(\widehat{{\varvec{\Sigma }}}_{{\textbf {y}}}\). Without loss of generality, we assume that the eigenvalues are ordered as \(\widehat{\lambda }_{1,M}\ge \dots \ge \widehat{\lambda }_{M,M}\).
4.1.1 Number of spikes estimation using MDL
First, we wish to estimate the model order r. We adopt the classical MDL method provided in [47], which was designed for estimating the number of sources impinging on a passive array of sensors under white Gaussian noise with unknown noise power. Specifically, assume that the covariance matrix of the observation has the form
where \({{\varvec{\Sigma }}}_{{\textbf {h}}}^d\) is the rankr covariance matrix in (7) and \(\sigma ^2\) is an unknown parameter.^{Footnote 9} We consider the following family of covariance matrices
where \(\varvec{\Sigma }^{(k)}\) denotes a semipositive matrix of rank k and \(k \in \{0,1,\dots ,M1\}\) is the model order. \(\widetilde{{{\varvec{\Sigma }}}}_{{\textbf {y}}}^{(k)}\) can be expressed in its spectral form as
where \(\{\widetilde{\lambda }_i\}\) and \(\{\widetilde{{\textbf {u}}}_i\}\) are the eigenvalues and eigenvectors of \(\widetilde{{{\varvec{\Sigma }}}}_{{\textbf {y}}}^{(k)}\), respectively. Then, we denote the parameter vector of the model by \(\varvec{\Theta }^{(k)} = [\widetilde{\lambda }_1,\dots , \widetilde{\lambda }_k, \sigma ^2, \widetilde{{\textbf {u}}}_1^\textsf {T},\dots ,\widetilde{{\textbf {u}}}_k^\textsf {T}]^\textsf {T}\). Using the parameter vector \({\varvec{\Theta }}{(k)},\) we can calculate the joint probability density of the noisy samples \({\textbf {Y}}\), denoted as \(f\left( {\textbf {Y}}{\varvec{\Theta }}^{(k)}\right)\). Denoting \(L\left( {\varvec{\Theta }}^{(k)}\right) = \log f\left( {\textbf {Y}}{\varvec{\Theta }}^{(k)}\right)\) as the minus loglikelihood function of \({\textbf {Y}}\), we can calculate the maximumlikelihood estimate
Following similar results in [47] and [48], we have
where^{Footnote 10}
The MDL approach selects a model order \(k \in \{0,1,\dots ,M1\}\) from a parameterized family of probability densities \(f({\textbf {Y}}{\varvec{\Theta }}^{(k)})\) that minimize the socalled total description length of the samples, which is tightly approximated by Rissanen bound [49] (after neglecting o(1) terms) as
where the first term is the result of the maximum likelihood estimator obtained in (15) and the second term is a penalty function including \({\varvec{\Theta }}^{(k)} = k(2Mk)\) being the number of free parameters in \({\varvec{\Theta }}^{(k)}\) [47, 48]. The number of spikes is estimated by minimizing the MDL metric
Remark 1
It is noticed that the proposed MDL approach does not explicitly consider the diffuse part. It considers only a spike signal subspace with dimension r corresponding to the r largest eigenvalues of \(\widetilde{{{\varvec{\Sigma }}}}_{{\textbf {y}}}\) and a white noise with power \(\sigma ^2\) resulting in \(Mr\) smallest eigenvalues of \(\widetilde{{{\varvec{\Sigma }}}}_{{\textbf {y}}}\) equaling to \(\sigma ^2\). The diffuse component in our model can be considered as an additional spatially colored noise as far as the spike estimation is concerned. It is shown in [50] that in the presence of colored Gaussian noise, MDL tends to overestimate the model order with increasing number of samples N. However, we shall see later that overcounting the spikes is not catastrophic in the overall covariance estimation scheme, since the coefficients of fictitious spikes are typically estimated as near zero in the model coefficient estimation step. In other words, it is always better to overestimate the number of spikes than to underestimate them so that the true spikes are not missed. In [51], it is shown that undermodeling may happen when the signal and the noise eigenvalues are not well separated and the noise eigenvalues are clustered sufficiently closely. We show that the undermodeling is not likely to happen in our case by showing that the gap between r large (containing the contribution of the spikes) and \(Mr\) small eigenvalues (containing only the contribution of the diffuse scattering and the noise) of the sample covariance \(\widehat{{\varvec{\Sigma }}}_{{\textbf {y}}}\) becomes larger and larger as the number of antennas M increases. This can be explained by noticing that as the array angular resolution increases, the amount of received signal energy in each angular bin decreases with the bin width in the bins that contain no spikes, while it remains roughly constant with M if the angular bin contains a spike. More precisely, an angular bin of width 2/M and centered at \(\xi\) contains a received signal power proportional to \(2 (\gamma _c(\xi ) + N_0)/M\) if no spike falls in the interval, and to \(c_i + 2 (\gamma _c(\xi ) + N_0)/M\) if the spike located at \(\phi _i\) falls in the interval. By Szegö’s theorem (e.g., see [10] and references therein), the eigenvalues of the covariance matrix \({\varvec{\Sigma }}_{{\textbf {y}}} = {\varvec{\Sigma }}_{{\textbf {h}}}+ N_0 {\textbf {I}}_M\) converge asymptotically as \(M \rightarrow \infty\) to the energy received on equally spaced angular bins of width 2/M over the interval \([1, 1]\) in the \(\xi\) domain. Figure 3 corroborates this showing the separation between the eigenvalues of the sample covariance matrix \(\widehat{{\varvec{\Sigma }}}_{{\textbf {y}}}\) for different number of antennas \(M=25,~50,~100\) with fixed sample size to channel dimension ratio \(N/M=2\) and the same channel geometry defined by the ASF
where \({{\mathtt r}{\mathtt e}{\mathtt c}{\mathtt t}}_{{{\mathcal {A}}}}\) is 1 over the interval \({{\mathcal {A}}}\) and zero elsewhere. This ASF contains \(r=2\) spikes and two rectangularshaped diffuse components. The SNR is set to 20 dB. For a large enough number of antennas (and even for a moderate number such as \(M=25\)), the eigenvalue distribution shows a significant jump, such that the two largest eigenvalues “escape” from the rest. Note that, by increasing the number of antennas, this separation becomes more and more significant. Hence, the undermodeling of MDL in the relevant case of massive MIMO is unlikely to occur. \(\lozenge\)
4.1.2 Location of spikes estimation using MUSIC
Once the number of spikes is estimated using MDL, MUSIC proceeds to identify the locations of those spikes. Let \(\widehat{{\textbf {u}}}_{\widehat{r}+1,M}, \dots , \widehat{{\textbf {u}}}_{M,M}\) be the eigenvectors in \(\widehat{{\textbf {U}}}\) corresponding to the smallest \(M\widehat{r}\) eigenvalues, and let us define \({\textbf {U}}_{\text {noi}}=[\widehat{{\textbf {u}}}_{\widehat{r}+1,M}, \dots , \widehat{{\textbf {u}}}_{M,M}]\) as the \(M \times (M\widehat{r})\) matrix corresponding to the noise subspace. The MUSIC objective function is defined as the pseudospectrum:
MUSIC estimates the support \(\{ \widehat{\phi }_1, \ldots , \widehat{\phi }_{\widehat{r}}\}\) of the spikes by identifying \(\widehat{r}\) dominant minimizers of \(\widehat{\eta }_M (\xi )\). It can be shown that for a finite number of spikes r, as the number of antennas M and the number of samples N grow to infinity with fixed ratio, MUSIC yields an asymptotically consistent estimate of the spike AoAs. The details are given in Appendix A for the sake of completeness. Figure 4 illustrates the normalized values of the pseudospectrum (21) for the example ASF in (20) and its corresponding sample covariance \(\widehat{{\varvec{\Sigma }}}_{{\textbf {y}}}\) for \(M=25\) and \(N/M=2\). As we can see, the \(r=2\) smallest minima of the pseudospectrum occur very close to the points \(\phi _1=0.2\) and \(\phi _2=0.4\), which are the locations of the spikes in the true ASF.
4.2 Coefficients estimation by constrained leastsquares
After obtaining an estimate of the number of spikes and their locations as described before, we need to find the spike coefficients \({\textbf {c}}= [c_1,\ldots ,c_{\widehat{r}}]^\textsf {T}\in \mathbb {R}_+^{\widehat{r}}\) and the coefficients \({\textbf {b}}= [b_1,\ldots , b_G]^\textsf {T}\in {\mathbb R}^G\) of the continuous ASF component \(\gamma _c (\xi )\) in the form (8). The dictionary functions \(\{\psi _i(\xi )\}\) are selected according to the available prior knowledge about the propagation environment. Some typical choices include localized functions \(\psi _i(\xi )\), such as Gaussian, Laplacian, or rectangular functions, with a suitably chosen support. The above representation of the ASF results in the parametric form of the channel covariance given by
where we define the model parameter vector \({\textbf {u}}= [u_1,\ldots ,u_{G+\widehat{r}}]^\textsf {T}= [{\textbf {b}}^\textsf {T},{\textbf {c}}^\textsf {T}]^\textsf {T}\) and the positive semidefinite Hermitian symmetric matrices \({\textbf {S}}_i =\int _{1}^1 \psi _{i} (\xi ) {\textbf {a}}(\xi ) {\textbf {a}}(\xi )^\textsf {H}d \xi ,\;\forall i \in [G]\), and \({\textbf {S}}_{i+G} = {\textbf {a}}(\widehat{\phi }_{i}) {\textbf {a}}(\widehat{\phi }_{i})^\textsf {H}, \;\forall i \in [\widehat{r}]\).
In order to estimate the coefficients vector \({\textbf {u}}\) from the noisy samples \(\{{\textbf {y}}[s]: s\in [N]\}\), we propose three algorithms, namely NNLS estimator, QP estimator, and MLEM estimator.
4.2.1 NNLS estimator
If the dictionary functions have disjoint support, since the overall \(\gamma _c(\xi )\) must be nonnegative, it follows that the coefficients \(\{u_i: i \in [G]\}\) must take values in \(\mathbb {R}_+\), i.e., the whole vector \({\textbf {u}}\) is nonnegative. We know that if the number of samples N is large enough, the sample covariance matrix \(\widehat{{\varvec{\Sigma }}}_{{\textbf {y}}}\) would converge to \({\varvec{\Sigma }}_{{\textbf {y}}}={\varvec{\Sigma }}_{{\textbf {h}}} + N_0 {\textbf {I}}_M\). Then, our goal is to find a good fitting to the sample covariance matrix \(\widehat{{\varvec{\Sigma }}}_{{\textbf {y}}}\) from the set of all covariance matrices of the form
For this purpose, we use the Frobenius norm as a fitting metric and obtain an estimate of the model coefficients as
Applying vectorization and defining \({\textbf {A}}=[\textrm{vec}({\textbf {S}}_1), \dots , \textrm{vec}({\textbf {S}}_{G+\widehat{r}})]\) and \({\textbf {f}}=\textrm{vec}(\widehat{{\varvec{\Sigma }}}_{{\textbf {h}}})\), we can write this as a NNLS problem
which can be efficiently solved using a variety of convex optimization techniques (see, e.g., [52, 53]). In our simulation, we use the builtin MATLAB function lsqnonneg.
Note that a ULA covariance is Hermitian Toeplitz. By leveraging this, we can reformulate the optimization problem so that the problem dimension is reduced. Concretely, let \(\widetilde{{\varvec{\Sigma }}}_{{\textbf {h}}}\) denote the orthogonal projection of \(\widehat{{\varvec{\Sigma }}}_{{\textbf {h}}}\) onto the space of Hermitian Toeplitz matrices. This is obtained by averaging the diagonals of \(\widehat{{\varvec{\Sigma }}}_{{\textbf {h}}}\) and replacing the diagonal elements by the corresponding average value (see Appendix B for completeness). We define the first column of \(\widetilde{{\varvec{\Sigma }}}_{{\textbf {h}}}\) as \(\widetilde{\varvec{\sigma }}\). Then, (25) can be reformulated as
where \(\widetilde{{\textbf {A}}} = [({\textbf {S}}_1)_{\cdot ,1},\dots ,({\textbf {S}}_{G+\widehat{r}})_{\cdot ,1}]\) is the matrix collecting the first columns \(({\textbf {S}}_i)_{\cdot ,1}\) of the \({\textbf {S}}_i\) and \({\textbf {W}}= {\text {diag}}\left( \left[ \sqrt{M}, \sqrt{2(M1)}, \sqrt{2(M2)}, \dots , \sqrt{2}\right] ^{\textsf {T}}\right)\) is the weighting matrix to compensate for the number of times an element is repeated in a Hermitian Toeplitz matrix.
Lemma 2
The optimization problems in (25) and (26) are equivalent.
Proof
Note that the difference between (25) and (26) is only the replacement of \(\widetilde{{\varvec{\Sigma }}}_{{\textbf {h}}}\) from \(\widehat{{\varvec{\Sigma }}}_{{\textbf {h}}}\). Thus, it is sufficient to show the equivalence of the following two optimization problems:
where \(\mathcal{H}\mathcal{T}\) is the set of Hermitian Toeplitz matrices. Let \(\varvec{\Delta }= \widehat{{\varvec{\Sigma }}}_{{\textbf {h}}}  \widetilde{{\varvec{\Sigma }}}_{{\textbf {h}}}\). Then, P1 is rewritten as \(\underset{{\textbf {X}}\in \mathcal{H}\mathcal{T}}{\min }\;\Vert {\textbf {X}} \widetilde{{\varvec{\Sigma }}}_{{\textbf {h}}}  \varvec{\Delta }\Vert ^2_{\textsf {F}}\). Since \(\widetilde{{\varvec{\Sigma }}}_{{\textbf {h}}}\) is the orthogonal projection of \(\widehat{{\varvec{\Sigma }}}_{{\textbf {h}}}\) on the set \(\mathcal{H}\mathcal{T}\), by the orthogonality principle the difference \(\varvec{\Delta }= \widehat{{\varvec{\Sigma }}}_{{\textbf {h}}}  \widetilde{{\varvec{\Sigma }}}_{{\textbf {h}}}\) is orthogonal to the whole set, i.e., \(\langle \varvec{\Delta }, {\textbf {T}}\rangle := {\hbox {tr}}(\varvec{\Delta }^\textsf {H}{\textbf {T}}) = 0, \; \forall {\textbf {T}}\in \mathcal{H}\mathcal{T}\). It follows that for any \({\textbf {X}}\in \mathcal{H}\mathcal{T}\) the difference \({\textbf {X}} \widetilde{{\varvec{\Sigma }}}_{{\textbf {h}}}\) is also in \(\mathcal{H}\mathcal{T}\). Thus, \(\Vert {\textbf {X}} \widetilde{{\varvec{\Sigma }}}_{{\textbf {h}}}  \varvec{\Delta }\Vert ^2_{\textsf {F}} = \Vert {\textbf {X}} \widetilde{{\varvec{\Sigma }}}_{{\textbf {h}}}\Vert ^2_{\textsf {F}} + \Vert \varvec{\Delta }^2_{\textsf {F}}\) where \(\Vert \varvec{\Delta }^2_{\textsf {F}}\) is constant with respect to \({\textbf {X}}\) and therefore plays no role in minimization. This proves the equivalence of P1 and P2. \(\square\)
4.2.2 QP estimator
When the dictionary functions \(\psi _i(\xi )\) have overlapping support (e.g., with Gaussian or Laplacian densities), the model coefficients \(\{b_i: i = [G]\}\) may take negative values as long as the resulting continuous ASF component is nonnegative, i.e., \(\gamma _c(\xi ) = \sum ^{G}_{i=1} b_i \psi _i(\xi ) \ge 0, \; \forall \xi \in [1,1]\). We approximate this infinitedimensional constraint by defining a sufficiently fine grid of equally spaced points \(\{\xi _1,\dots ,\xi _{\widetilde{G}}\}\) on \(\xi \in [1,1]\), where \(\widetilde{G}\) is generally significantly larger than G and impose the nonnegativity of \(\gamma _c(\cdot )\) at these points. The resulting constraint is
where the elements of the matrix \(\widetilde{\varvec{\Psi }} \in {\mathbb R}^{\widetilde{G}\times G}\) are obtained as \([\widetilde{\varvec{\Psi }}]_{i,j} = \psi _j(\xi _i), \;\forall i\in [\widetilde{G}], j\in [G]\). Then, the estimation problem under dictionary functions with overlapping support is given by
where \({\textbf {u}}= [{\textbf {b}}^\textsf {T}, {\textbf {c}}^\textsf {T}]^\textsf {T}\) is consistently with the definition in (22). Notice that (29) is a QP problem and can be solved using standard QP solvers, such as quadprog in MATLAB.
4.3 Coefficients estimation by maximum likelihood
Instead of directly fitting the Frobenius norm between the sample covariance and the parametric covariance, the model parameters can be estimate by the ML method. Give the matrix of the observed noisy channel samples \({\textbf {Y}}\), the likelihood function of \({\textbf {Y}}\) assuming \({\varvec{\Sigma }}_{{\textbf {h}}} = {\varvec{\Sigma }}_{{\textbf {h}}}({\textbf {u}})\) in the form of (22) is given by
Using (30), we can form the minus loglikelihood function \(f_{\text {ML}}({\textbf {u}}):= \frac{1}{N} \log p \left( {\textbf {Y}}{\textbf {u}}\right)\). Then, the MLbased covariance estimator is obtained by minimizing \(f_{\text {ML}}({\textbf {u}})\) with respect to the real and nonnegative coefficients vector \({\textbf {u}}\), which is formulated as the optimization problem:
where \(\widehat{{\varvec{\Sigma }}}_{{\textbf {y}}}\) is the sample covariance matrix of the observations defined in (10). Note that the objective function \(f_{\text {ML}}({\textbf {u}}) = f_{\text {cav}}({\textbf {u}})+f_{\text {vex}}({\textbf {u}})\) in (31) is the sum of a concave and a convex function and thus (31) is not a convex problem.
It is generally difficult to find the global optimum of a nonconvex function such as \(f_{\text {ML}}({\textbf {u}})\). A standard approach in such cases is to adopt a MM algorithm [54, 55], alternating through two steps with an updating surrogate function that has favorable optimization properties (e.g., convexity) and approximates the upper bound of the original objective function. Typical examples of MM algorithms are EM method [56], cyclic minimization [57], and the concave–convex procedure [58]. We choose the EM algorithm to iteratively find a good stationary point of \(f_{\text {ML}}({\textbf {u}})\) as we will see that this algorithm yields a computationally efficient update rule and excellent empirical results for the task of estimating the parametric ASF coefficients. Note that although the likelihood function in (31) is in a general form for any family of dictionary functions, the EM method can be applied only in the case where all the matrices \({\textbf {S}}_i\) have rank 1, which is the case when the dictionary functions \(\psi _i(\xi )\) are Dirac delta functions. In contrast, the more general concave–convex procedure (e.g., see [1] for the application in this case) can deal with any type of dictionary, but yields significantly higher computational complexity, so that it is not suited for large M (massive MIMO case). In this work, we deal with general dictionary functions using constrained LS, while restrict the use of EM to the case of Dirac delta dictionary functions.
Application of the EM algorithm. When \(\psi _i(\xi ) = \delta (\xi  \xi _i)\) where \(\{\xi _i: i \in [G]\}\) are uniformly spaced points in \([1,1)\), we have \({\textbf {S}}_i = {\textbf {a}}(\xi _i) {\textbf {a}}^\textsf {H}(\xi _i)\) for \(i \in [G]\) and \({\textbf {S}}_{G+i} = {\textbf {a}}(\widehat{\phi }_i) {\textbf {a}}^\textsf {H}(\widehat{\phi }_i)\) for \(i \in [\widehat{r}]\). Then, defining the extended grid \(\{ \xi _i: i \in [G + \widehat{r}]\}\) with \(\xi _{G+i} = \widehat{\phi }_i\) for \(i \in [\widehat{r}]\), the parametric form of channel covariance \({{\varvec{\Sigma }}}_{{\textbf {h}}}\) can be written as
where \({\textbf {D}}= [{\textbf {a}}(\xi _1), \dots , {\textbf {a}}(\xi _{G+\widehat{r}})]\) and \({\textbf {U}}= {\text {diag}}({\textbf {u}})\). Then, \({\varvec{\Sigma }}_{{\textbf {y}}} = {{\varvec{\Sigma }}}_{{\textbf {h}}}+ N_0{\textbf {I}}_M\) can be formally considered as the covariance matrix of the approximated received samples
where \({\textbf {x}}[s]= [\rho _1[s], \dots , \rho _{G+\widehat{r}}[s]]^\textsf {T}\) is the latent variable vector containing the instantaneous random path gain, and we have \({\textbf {x}}[s]\sim \mathcal{C}\mathcal{N}(\textbf{0},{\textbf {U}}),\forall s \in [N]\) where \({\textbf {u}}\in \mathbb {R}_+^{G+\widehat{r}}\) is the vector of componentwise variances of Gaussian vectors \(\{{\textbf {x}}[s]: s = 1,\ldots , N\}\).
Under the formulation in (33), the N noisy samples collected as columns of the matrix \({\textbf {Y}}\) can be written as \({\textbf {Y}}= {\textbf {D}}{\textbf {X}}+ {\textbf {Z}}\), where \({\textbf {X}}= [{\textbf {x}}[1],\dots ,{\textbf {x}}[N]]\) and \({\textbf {Z}}= [{\textbf {z}}[1],\dots ,{\textbf {z}}[N]]\). The EM algorithm treats \(({\textbf {Y}}, {\textbf {X}})\) as the incomplete data, where \({\textbf {X}}\) is referred to as missing data. Using the fact that \({\textbf {Y}}\) given \({\textbf {X}}\) is Gaussian with mean \({\textbf {D}}{\textbf {X}}\) and independent components with variance \(N_0\), we have that \(p({\textbf {Y}},{\textbf {X}}{\textbf {u}}) = p({\textbf {Y}}{\textbf {X}}) p({\textbf {X}}{\textbf {u}})\), where \(p({\textbf {Y}}{\textbf {X}})\) is a conditional Gaussian distribution that does not depend on \({\textbf {u}}\). By marginalizing with respect to \({\textbf {X}}\) and taking the logarithm, the loglikelihood function takes on the form of a conditional expectation \({{\mathcal {L}}}({\textbf {u}}):= \log p({\textbf {Y}} {\textbf {u}}) = \log {\mathbb {E}}_{{\textbf {X}}{\textbf {u}}} [ p({\textbf {Y}}{\textbf {X}}) ]\). The EM algorithm maximizes iteratively a lower bound on \({{\mathcal {L}}}({\textbf {u}})\) by alternating the expectation step (Estep) and the maximization step (Mstep) [55]. Let \(\widehat{{\textbf {u}}}^{(\ell )}\) be the estimate of \({\textbf {u}}\) in the \(\ell\)th iteration, by introducing a posterior density of \({\textbf {X}}\) as \(p({\textbf {X}}{\textbf {Y}},\widehat{{\textbf {u}}}^{(\ell )})\) we have
where (a) follows Jensen’s inequality and the concavity of \(\log (\cdot )\).
The Estep consists of computing \(\widetilde{{{\mathcal {L}}}}({\textbf {u}}\widehat{{\textbf {u}}}^{(\ell )})\). Using the joint conditional Gaussianity of \({\textbf {Y}}\) and \({\textbf {X}}\) given \({\textbf {u}}= \widehat{{\textbf {u}}}^{(\ell )}\), \(\widetilde{{{\mathcal {L}}}}({\textbf {u}}\widehat{{\textbf {u}}}^{(\ell )})\) can be evaluated in closed form by computing the conditional mean and covariance of \({\textbf {x}}[s]\) given \({\textbf {y}}[s]\) and \(\widehat{{\textbf {u}}}^{(\ell )}\), respectively, given by [59]
where we define \(\widehat{{\textbf {U}}}^{(\ell )} = {\text {diag}}(\widehat{{\textbf {u}}}^{(\ell )})\). The Mstep consists of the maximization:
Note that \(p({\textbf {Y}}{\textbf {X}})\) and \(p({\textbf {X}}{\textbf {Y}},\widehat{{\textbf {u}}}^{(\ell )})\) in (35) do not depend on \({\textbf {u}}\) and thus can be neglected in the Mstep. Hence, the function to be maximized in the Mstep can be equivalently written as (details are omitted for brevity)
It is observed from (38) that the maximization is decoupled with respect to each component \(u_i\) of \({\textbf {u}}\). Then, the optimality in the \(\ell\)th iteration is also easily obtained in closed form. Setting each partial derivative \(\frac{\partial }{\partial u_i}\) of (38) to zero, we find
With a initial point \(\widehat{{\textbf {u}}}^{(0)},\) the MLEM algorithm iteratively runs the Estep and Mstep until the stop condition \(f_{\text {ML}}(\widehat{{\textbf {u}}}^{(\ell )})f_{\text {ML}}(\widehat{{\textbf {u}}}^{(\ell +1)})\le \epsilon _{\text {EM}}\) is met, where \(\epsilon _{\text {EM}}\) is the predefined stop threshold. The initial point is usually set as an all ones vector. In our case, it can be set as the result of NNLS solution. An extensive comparison of these two initializations obtained by simulating several different channel scattering geometries is depicted in Fig. 5, which shows that both initializations converge within 100 iterations. It reveals that the NNLS initialization converges much faster and results in lower values of the objective function. Therefore, in our results we used the NNLS solution to initialize MLEM algorithm. Furthermore, we provide computational complexity analysis of the proposed NNLS and MLEM algorithms in Appendix C.
Remark 3
The use of Dirac delta functions as dictionary functions to approximate the continuous part of the ASF \(\gamma _c\) may sound as a contradiction, since by definition this component does not contain spikes. However, there is a fundamental difference between the Dirac components corresponding to spikes and the equally spaced “picketfence” used to approximate \(\gamma _c\). This can be noticed by observing that the power associated with the ith spike component is \(c_i\), which is a constant independent on the number of grid points G, while the power associated with the ith dictionary function \(\psi _i(\xi ) = \delta (\xi \xi _i)\) is \(b_i = 2\gamma _c(\xi _i)/G\) where 2/G is the spacing of the uniform grid on \([1,1)\). For sufficiently large G, the smooth function \(\gamma _c\) can be approximated by the picketfence of scaled Dirac deltas in the sense that, for any sufficiently smooth test function \(f(\xi )\) (\({{\mathcal {L}}}_1\)integrable on \([1,1]\), piecewise continuous, with at most a countably infinite number of discontinuities) we have \(\lim _{G \rightarrow \infty } \int _{1}^1 ( \gamma _c(\xi )  \frac{2}{G} \sum _{i=1}^G \gamma _c(\xi _i) \delta (\xi  \xi _i) ) f(\xi ) d\xi = 0\). \(\lozenge\)
5 Results and discussion
In this section, the proposed constrained LS and MLEMbased estimators are numerically evaluated and compared with existing stateoftheart methods. We use the realistic channel emulator QuaDriGa [18] to generate the channel samples. We adopt two communication scenarios in QuaDriGa: 3GPP 3D Urban MacroCell Line Of Sight (3GPP3DUMaLOS) and 3GPP 3D Urban MacroCell NonLine Of Sight (3GPP3DUMaNLOS). The BS array adopts horizontal ULA with \(M=128\) antennas. The carrier frequency of the UL and DL is 1.9 GHz and 2.1 GHz, respectively. The SNR is set to 10 dB. The results are averaged over 20 random ASFs and 100 times of random channel realizations for each ASF.
5.1 Compared benchmarks
We compare the proposed algorithms to the following three benchmarks.
(1)Toeplitz–PSD Projection: The first benchmark is an intuitively simple approach. We know that the ULA channel covariance is a Toeplitz–PSD matrix. Thus, we can project the sample covariance onto the space of Toeplitz–PSD by solving the convex optimization problem:
The projected matrix \({{\varvec{\Sigma }}}_{{\textbf {h}}}^{\text {PSD}}\) is the covariance estimate. We use the projections onto convex sets (POCS) algorithm [60] to solve (40). Specifically, the sample covariance matrix is alternately projected onto the convex set of Toeplitz and PSD cone. Projecting on Toeplitz follows the way in Appendix B, and projection on the PSD cone is achieved by eigendecomposition and setting all negative eigenvalues to zero. These two projections are repeated till convergence. Note that the complexity of this semidefinite programming problem can be high when the number of antennas M is large. Moreover, Toeplitz–PSD can not provide ULDL covariance transformation.
(2)The SPICE Method: The second method we use for comparison is known as sparse iterative covariancebased estimation (SPICE) [33]. This method also exploits the ASF domain but can be only applied with Dirac delta dictionaries. Similar to the parametric covariance model with only Dirac delta dictionaries introduced in (32), assuming Dirac delta dictionaries \({\textbf {D}}=[{\textbf {a}}(\xi _1),\ldots ,{\textbf {a}}(\xi _G)]\) of G array response vectors corresponding to G AoAs, and defining \({\varvec{\Sigma }}= {\textbf {D}}{\text {diag}}({\textbf {u}}) {\textbf {D}}^\textsf {H}\), the ASF coefficients \({\textbf {u}}\) are estimated by solving the following convex optimization problem for two cases:
The channel covariance estimate is then obtained as \({\varvec{\Sigma }}_{{\textbf {h}}}^{\text {SPICE}} = {\textbf {D}}{\text {diag}}({\textbf {u}}^\star ) {\textbf {D}}^\textsf {H}\).
(3)Convex Projection Method: This method is proposed in [21] for the ASF estimation by solving a convex feasibility problem \(\widehat{\gamma } = \text {find} \; \gamma , \text {subject to} \; \gamma \in \mathcal {S}\), where
This can be solved by applying an iterative projection algorithm, which produces a sequence of functions in \(L_2\) that converges to a function satisfying the constraint \(\gamma \in \mathcal {S}\). Given the estimated ASF \(\widehat{\gamma }\), the channel covariance estimation is obtained following (3).
5.2 Considered metrics
Denoting a generic covariance estimate as \(\widehat{{\varvec{\Sigma }}}\), we use three error metrics to evaluate the estimation quality:

(1)
Normalized Frobenius norm Error: This error is defined as
$$\begin{aligned} E_{\text {NF}} = \frac{\Vert {{\varvec{\Sigma }}}_{{\textbf {h}}} \widehat{{\varvec{\Sigma }}} \Vert _{\textsf {F}}}{\Vert {{\varvec{\Sigma }}}_{{\textbf {h}}}\Vert _{\textsf {F}}}. \end{aligned}$$(43) 
(2)
Normalized MSE of Channel Estimation: Given a noisy channel observation \({\textbf {y}}= {\textbf {h}}+ {\textbf {z}}\), the optimal estimation of channel vector \({\textbf {h}}\) is obtained via linear MMSE filter \(\widehat{{\textbf {h}}} = \widehat{{\varvec{\Sigma }}}(N_0\textbf{I}_M + \widehat{{\varvec{\Sigma }}})^{1}{\textbf {y}}\). Then, this metric considers the normalized mean squared error (NMSE) of instantaneous channel estimation:
$$\begin{aligned} E_{\text {NMSE}} = \frac{{\mathbb {E}}[\Vert {\textbf {h}} \widehat{{\textbf {h}}}\Vert ^2]}{{\mathbb {E}}[\Vert {\textbf {h}}\Vert ^2]}. \end{aligned}$$(44)By the optimality of linear MMSE estimation for Gaussian random vectors, the lower bound of this error is obtained using the true channel covariance.

(3)
Power Efficiency: This metric evaluates the similarity of dominant subspaces between the estimated and true matrices, which is an important factor in various applications of massive MIMO such as user grouping and groupbased beamforming [7, 10, 61]. Specifically, let \(p\in [M]\) denote a subspace dimension parameter and let \({\textbf {U}}_p \in {\mathbb C}^{M\times p}\) and \(\widehat{{\textbf {U}}}_p\in {\mathbb C}^{M\times p}\) be the p dominant eigenvectors of \({{\varvec{\Sigma }}}_{{\textbf {h}}}\) and \(\widehat{{\varvec{\Sigma }}}\) corresponding to their largest p eigenvalues, respectively. The power efficiency (PE) based on p is defined as
$$\begin{aligned} E_{\text {PE}}(p) = 1  \frac{\langle {{\varvec{\Sigma }}}_{{\textbf {h}}},\widehat{{\textbf {U}}}_p\widehat{{\textbf {U}}}_p^\textsf {H}\rangle }{\langle {{\varvec{\Sigma }}}_{{\textbf {h}}},{\textbf {U}}_p{\textbf {U}}_p^\textsf {H}\rangle } = \frac{{\hbox {tr}}\left( {\textbf {U}}_p^\textsf {H}{{\varvec{\Sigma }}}_{{\textbf {h}}}{\textbf {U}}_p\right)  {\hbox {tr}}\left( \widehat{{\textbf {U}}}_p^\textsf {H}{{\varvec{\Sigma }}}_{{\textbf {h}}}\widehat{{\textbf {U}}}_p\right) }{{\hbox {tr}}\left( {\textbf {U}}_p^\textsf {H}{{\varvec{\Sigma }}}_{{\textbf {h}}}{\textbf {U}}_p\right) }. \end{aligned}$$(45)It is noticed that \(E_{\text {PE}}(p) \in [0,1]\) and the closer it is to 0, the more power is captured by the estimated pdominant subspace.
5.3 Performance comparison
We first provide a performance comparison under only Dirac delta dictionaries with a relatively large number G of grid points. Then, we provide a comparison under different dictionaries to show the benefit of properly choosing the dictionary adapted to the case at hand.
(1)Comparison under Dirac delta dictionaries: We set the number of dictionary functions for the ASF continuous part as \(G=2M\). SPICE is also applied to the same picketfence dictionary without knowledge of the spike locations, since this is a feature of our own method and not intrinsic in the SPICE algorithm. The projection method is not a dictionary based method. To implement it, we discretize the ASF domain with 5000 grid points to approximate the continue ASF.
In Fig. 6, the UL and DL channel covariance estimation error for scenario 3GPP3DUMaLOS in terms of the normalized Frobenius norm error, normalized MSE of channel estimation, and power efficiency under different sample ratios N/M (from 0.0625 to 1) are depicted. It is observed that the results of the proposed NNLS and ML methods significantly outperform the other benchmarks in both UL and DL for all metrics under all range of sample size. Although the Toeplitz–PSD method has very similar Frobenius norm errors compared to our methods, it performs significantly worse than our methods in terms of channel estimation error especially under extremely small sample size. Moreover, it is worth to emphasize again that the Toeplitz–PSD method does not give directly an easy way to perform the ULDL covariance transformation. In contrast (see Fig. 6c), the proposed methods yield very good ULDL transformation (according to the considered metrics) even under very small sample size. Furthermore, we also present the results of NNLS and MLEM without MUSIC (i.e., without explicit spike location estimation) denoted as “NNLS, Delta, nM” and “MLEM, Delta, nM” in Fig. 6a and b. It is observed that in this case the performances degrade dramatically. This indicates that the proposed MUSIC step is necessary and nontrivially improves the overall performance. It is also noticed that our results without MUSIC are still much better than the results of SPICE and projection method, which shows the advantage of the proposed NNLS and MLEM algorithms.
Results for the NLOS scenario 3GPP3DUMaNLOS are depicted in Fig. 7. First, we observe again that our methods outperform the other benchmarks. Interestingly, the results with MUSIC perform almost the same as the results without MUSIC. Notice that in this case the scheme is unaware of the fact that there are no spikes, and the MDL/MUSIC step may give some spurious spikes, which are then eliminated by the subsequent NNLS and ML/EM step (estimated coefficients near zero). This demonstrates the fact that the proposed method is robust to both LOS and NLOS cases.
(2)Comparison with Dirac delta and overlapping Gaussian dictionaries: In this part, we show the results based on Dirac delta and overlapping Gaussian dictionaries to indicate the importance of finding the proper dictionary. We set a fixed \(N = 16\), i.e., \(N/M = 0.125\). We test the NNLS algorithm with Dirac delta and Gaussian dictionaries as well as the QP estimator with Gaussian dictionaries with \(\widetilde{G}=10000\) under different number of dictionaries (G/M is from 0.0625 to 2) for the NLOS scenario 3GPP3DUMaNLOS. The overlapping Gaussian dictionary functions are defined as follows. Given G, let \(\widetilde{\psi }(\xi )\) be a Gaussian density whose support is limited to \([\frac{4}{G+3}, \frac{4}{G+3}]\). The dictionary \(\{\psi _i(\xi ): i \in [G]\}\) consists of skewed shifted versions of \(\widetilde{\psi }(\xi )\), i.e., \(\psi _i(\xi ) = J(\xi ) \widetilde{\psi }(\xi +1\frac{2(i+1)}{G+3}),i \in [G]\), where \(J(\xi ) = \frac{1}{\sqrt{1\xi ^2}}\) is a factor due to coordinate transformation from \(\theta\) to \(\xi\). Specifically, \(\widetilde{\psi }(\xi )\) is given by
where \(\mu = 0\) and \(\sigma = \frac{4}{3(G+3)}\) to ensure that the truncated interval \([\frac{4}{G+3}, \frac{4}{G+3}]\) accounts for \(6\sigma\) of the Gaussian function, and \(a_0\) is a normalization scalar such that \(\int ^1_{1}\widetilde{\psi }(\xi )d \xi = 1\).
The results are shown in Fig. 8. From Fig. 8a and b, it is observed that the results under Gaussian dictionaries are much better than the results under Dirac delta dictionaries when the number of dictionaries is small, e.g., \(G/M \le 1\). It is also observed that both Frobenius norm error and channel estimate MSE of NNLS and SPICE under Dirac delta dictionaries decrease dramatically as G increases. In contrast, the results under Gaussian dictionaries become slightly worsen when \(G/M > 0.5\). As G becomes large, the results with Gaussian dictionary functions converge to the Dirac delta case. This is of course explained by the fact that the thin Gaussian density with normalized integral is more and more similar to Dirac delta functions. A similar behavior is observed in Fig. 8c and d. These results indicate that by choosing some template dictionary function may achieve advantages of the quantization of the AoA domain compared to Dirac delta function for small size of the dictionary, which reduces significantly the dimension and computational complexity.
6 Conclusion
In this work, we addressed the problem of estimating the covariance matrix of the channel vector from a set of noisy UL pilot observations in massive MIMO systems. By modeling the ASF of the channel as a parametric representation in the angle domain, we proposed the NNLS, QP, and MLEMbased estimators to obtain the model parameters. In order to find the discrete scattering components (number and location of the spikes in the ASF), we adopted MDL and MUSIC methods. Theoretical results guarantee that the separation of the spikes with respect to the clutter of eigenvalues due to the diffuse scattering components is large, for a large number of antennas. This yields that the spikes support estimation in the massive MIMO regime is very reliable. In addition, our method estimates both the coefficients of the spikes and the coefficients of the diffuse part of the ASF jointly. Extensive numerical simulations based on realistic channel emulator QuaDriGa under 3GPP communication scenarios show that the proposed methods are superior to several stateoftheart algorithms in the literature in terms of different performance metrics, especially for a small number of samples, which is particularly relevant for the massive MIMO application.
Availability of data and materials
Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study. All results can be fully replicated by implementing the described algorithms in MATLAB or in any other programming language capable of scientific computation, and generating via QuaDriGa or any other equivalent channel simulator the statistics of the channel vectors as correlated Gaussian random vectors as described in this work.
Notes
Notice that in the case of a multicell system with pilot contamination the same techniques of this paper can estimate the covariance of the sum of multiple channels, and a pilot decontamination scheme as described in [6] can be applied. However, this goes beyond the scope of this paper.
Note that we use the standard spherical coordinate system (see, e.g., [16, Section 7.1]), where \(\theta\) is the azimuth angle and limited by \(\theta \in [\theta _{\textrm{max}}, \theta _{\textrm{max}}]\).
As a note of caution, we hasten to say that the model must be reconsidered in the case of “extralarge aperture” arrays (e.g., see [39]), where the Toeplitz form does not hold any longer.
For finite N, the matrix \(\widehat{{\varvec{\Sigma }}}_{{\textbf {h}}}\) in (5) may not be positive semidefinite (PSD). In this case, an estimator would project \(\widehat{{\varvec{\Sigma }}}_{{\textbf {h}}}\) on the cone of PSD Hermitian matrices by setting to zero the negative eigenvalues. We neglect this detail here since it is irrelevant for the motivating argument made in this section. It is important to remark that all estimators considered in this work do produce PSD matrices.
As for probability density functions, \(\gamma _c(\xi )\) needs not be continuous, but its cumulative distribution function \(\Gamma _c(\xi ) = \int _{1}^\xi \gamma _c(\nu ) d\nu\) is a continuous function.
This statement holds over not too large frequency ranges, where the scattering properties of materials are virtually frequency independent. For example, this property holds for the UL and DL carrier frequencies of the same FDD system; however, it does not generally hold over much larger frequency ranges. For example, the ASFs of the same environment at (say) 3.5 GHz and at 28 GHz are definitely different, although quite related [43].
Note that \(\widetilde{{{\varvec{\Sigma }}}}_{{\textbf {y}}} \ne \mathbb {E}[{\textbf {y}}[s]{\textbf {y}}[s]^\textsf {H}]\) is not the true covariance of samples, since the contribution of diffuse clusters is not considered. Nevertheless, in Remark 1 we argue that the MDL method in [47] can be applied to our problem without significant degradation by simply ignoring the presence of the diffuse component.
Note that our expression of b(k) is different from that in [47]. However, it can be easily shown that the resulting MDL expressions differ only by a constant M, which has no influence in the minimization in (19). Here, b(k) has been modified to avoid the product of small (nearly zero when sample size is quite small) eigenvalues of \(\widehat{{\varvec{\Sigma }}}_{{\textbf {y}}}\).
Although in [63] a FLOP is assumed to be either a complex multiplication or complex summation, we only consider the complex multiplications since in practice the summation operations can be further optimized so that its complexity is much less than the complexity of multiplications.
Abbreviations
 AoA:

Angle of arrival
 ASF:

Angular scattering function
 AWGN:

Additive white Gaussian noise
 BS:

Base station
 CSI:

Channel state information
 DL:

Downlink
 EM:

Expectation–maximization
 FDD:

Frequency division duplexing
 LoS:

Line of sight
 MDL:

Minimum description length
 MIMO:

Multiple input multiple output
 ML:

Maximum likelihood
 MM:

Majorization–minimization
 MMSE:

Minimum mean square error
 MUSIC:

Multiple signal classification
 NNLS:

Nonnegative leastsquares
 OFDM:

Orthogonal frequency division multiplexing
 PSD:

Positive semidefinite
 QP:

Quadratic programming
 QuaDriGa:

QUAsi Deterministic RadIo channel GenerAtor
 RB:

Resource block
 SNR:

Signaltonoise ratio
 UL:

Uplink
 ULA:

Uniform linear array
 US:

Uncorrelated scattering
 WSS:

Widesense stationary
References
M.B. Khalilsarai, T.Yang, S.Haghighatshoar, G. Caire, Structured channel covariance estimation from limited samples in massive MIMO, in ICC 20202020 IEEE International Conference on Communications (ICC). (IEEE, 2020), pp. 1–7
F. Boccardi, R.W. Heath, A. Lozano, T.L. Marzetta, P. Popovski, Five disruptive technology directions for 5G. IEEE Commun. Mag. 52(2), 74–80 (2014)
T.L. Marzetta, E.G. Larsson, H.Yang, H.Q. Ngo, Fundamentals of Massive MIMO. Cambridge University Press, 2016
Z. Chen, C. Yang, Pilot decontamination in wideband massive MIMO systems by exploiting channel sparsity. IEEE Trans. Wireless Commun. 15(7), 5087–5100 (2016)
H. Yin, L. Cottatellucci, D. Gesbert, R.R. Muller, G. He, Robust pilot decontamination based on joint angle and power domain discrimination. IEEE Trans. Signal Process. 64(11), 2990–3003 (2016)
S. Haghighatshoar, G. Caire, Massive MIMO pilot decontamination and channel interpolation via wideband sparse channel estimation. IEEE Trans. Wireless Commun. 16(12), 8316–8332 (2017)
M.B. Khalilsarai, S. Haghighatshoar, X. Yi, G. Caire, Fdd massive mimo via ul/dl channel covariance extrapolation and active channel sparsification. IEEE Trans. Wireless Commun. 18(1), 121–135 (2018)
M.N. Boroujerdi, S. Haghighatshoar, G. Caire, Lowcomplexity statistically robust precoder/detector computation for massive MIMO systems. IEEE Trans. Wireless Commun. 17(10), 6516–6530 (2018)
S. Haghighatshoar, G. Caire, Lowcomplexity massive mimo subspace estimation and tracking from lowdimensional projections. IEEE Trans. Signal Process. 66(7), 1832–1844 (2018)
A. Adhikary, J. Nam, J.Y. Ahn, G. Caire, Joint spatial division and multiplexing: the largescale array regime. IEEE Trans. Inform. Theory 59(10), 6441–6463 (2013)
S. Qiu, D. Chen, D. Qu, K. Luo, T. Jiang, Downlink precoding with mixed statistical and imperfect instantaneous csi for massive mimo systems. IEEE Trans. Veh. Technol. 67(4), 3028–3041 (2017)
L. You, J. Xiong, A. Zappone, W. Wang, X. Gao, Spectral efficiency and energy efficiency tradeoff in massive mimo downlink transmission with statistical csit. IEEE Trans. Signal Process. 68, 2645–2659 (2020)
H. Liu, X. Yuan, Y.J. Zhang, Statistical beamforming for fdd downlink massive mimo via spatial information extraction and beam selection. IEEE Trans. Wireless Commun. 19(7), 4617–4631 (2020)
V. Raghavan, A.M. Sayeed, Sublinear capacity scaling laws for sparse mimo channels. IEEE Trans. Inf. Theory 57(1), 345–364 (2010)
S. Haghighatshoar, G. Caire, Massive mimo channel subspace estimation from lowdimensional projections. IEEE Trans. Signal Process. 65(2), 303–318 (2016)
3GPP, Study on channel model for frequencies from 0.5 to 100 ghz (release 15), 3rd Generation Partnership Project (3GPP), Tech. Rep. TR 38.901 V15.0.0, (2018)
3GPP, Spatial channel model for multiple input multiple output (MIMO) simulations (release 16), 3rd Generation Partnership Project (3GPP), Tech. Rep. TR 25.996 V16.0.0, (2020)
S. Jaeckel, L. Raschkowski, K. Börner, L. Thiele, QuaDRiGa: A 3D multicell channel model with time evolution for enabling virtual field trials. IEEE Trans. Antennas Propag. 62(6), 3242–3256 (2014)
V. Va, J. Choi, R.W. Heath, The impact of beamwidth on temporal channel variation in vehicular channels and its implications. IEEE Trans. Veh. Technol. 66(6), 5014–5029 (2016)
K. Mahler, W. Keusgen, F. Tufvesson, T. Zemen, G. Caire, Propagation of multipath components at an urban intersection, in IEEE 82nd Vehicular Technology Conference (VTC2015Fall). (IEEE, 2015), pp. 1–5
L. Miretti, R. L. G. Cavalcante, S. Stanczak, Fdd massive mimo channel spatial covariance conversion using projection methods, in 2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). (IEEE, 2018), pp. 3609–3613
M. B. Khalilsarai, Y. Song, T. Yang, S. Haghighatshoar, and G. Caire, Uplinkdownlink channel covariance transformations and precoding design for FDD massive MIMO, in 2019 53rd Asilomar Conference on Signals, Systems, and Computers. (IEEE, 2019), pp. 199–206
Y. Song, M. B. Khalilsarai, S. Haghighatshoar, G. Caire, Deep learning for geometricallyconsistent angular power spread function estimation in massive MIMO, in GLOBECOM 20202020 IEEE Global Communications Conference. (IEEE, 2020), pp. 1–6
J.P. GonzálezComa, P. SuárezCasal, P.M. Castro, L. Castedo, FDD channel estimation via covariance estimation in wideband massive MIMO systems. Sensors 20(3), 930 (2020)
A. Decurninge, M. Guillaud, and D. T. Slock, Channel covariance estimation in massive MIMO frequency division duplex systems, in Globecom Workshops (GC Wkshps), 2015 IEEE. (IEEE, 2015), pp. 1–6
V.A. Marchenko, L.A. Pastur, Distribution of eigenvalues for some sets of random matrices. Matematicheskii Sbornik 114(4), 507–536 (1967)
W. Hachem, P. Loubaton, J. Najim, The empirical eigenvalue distribution of a Gram matrix: From independence to stationarity, arXiv preprint math/0502535, (2005)
R. Couillet and M. Debbah, Random matrix methods for wireless communications. (Cambridge University Press, 2011)
M. Pourahmadi, HighDimensional Covariance Estimation: With HighDimensional Data. (Wiley, 2013), vol. 882
P. Ravikumar, M.J. Wainwright, G. Raskutti, B. Yu et al., Highdimensional covariance estimation by minimizing \(\ell\)1penalized logdeterminant divergence. Electron. J. Stat. 5, 935–980 (2011)
Y. Chen, A. Wiesel, A.O. Hero, Robust shrinkage estimation of highdimensional covariance matrices. IEEE Trans. Signal Process. 59(9), 4097–4107 (2011)
J. Friedman, T. Hastie, R. Tibshirani, Sparse inverse covariance estimation with the graphical lasso. Biostatistics 9(3), 432–441 (2008)
P. Stoica, P. Babu, J. Li, SPICE: a sparse covariancebased estimation method for array processing. IEEE Trans. Signal Process. 59(2), 629–638 (2011)
H. Xie, F. Gao, S. Jin, J. Fang, Y.C. Liang, Channel estimation for tdd/fdd massive mimo systems with channel covariance computing. IEEE Trans. Wireless Commun. 17(6), 4206–4218 (2018)
S. Park, R.W. Heath, Spatial channel covariance estimation for the hybrid MIMO architecture: A compressive sensingbased approach. IEEE Trans. Wireless Commun. 17(12), 8047–8062 (2018)
P. Stoica, R.L. Moses et al., Spectral analysis of signals (Pearson Prentice Hall Upper Saddle River, NJ, 2005)
P. Chen, Z. Chen, Z. Cao, X. Wang, A new atomic norm for doa estimation with gainphase errors. IEEE Trans. Signal Process. 68, 4293–4306 (2020)
A.M. Sayeed, Deconstructing multiantenna fading channels. IEEE Trans. Signal Process. 50(10), 2563–2579 (2002)
E. De Carvalho, A. Ali, A. Amiri, M. Angjelichinoski, R.W. Heath, Nonstationarities in extralargescale massive mimo. IEEE Wirel. Commun. 27(4), 74–80 (2020)
M. J. Wainwright, HighDimensional Statistics: A Nonasymptotic Viewpoint. (Cambridge University Press, 2019), vol. 48
B. Hanssens, K. Saito, E. Tanghe, L. Martens, W. Joseph, J.I. Takada, Modeling the power angular profile of dense multipath components using multiple clusters. IEEE Access 6, 56084–56098 (2018)
J. A. Gubner, Probability and Random Processes for Electrical and Computer Engineers. (Cambridge University Press, 2006)
A. Ali, N. GonzálezPrelcic, R.W. Heath, Estimating millimeter wave channels using outofband measurements, in Information Theory and Applications Workshop (ITA). (IEEE, 2016), pp. 1–6 (2016)
G. Schwarz, Estimating the dimension of a model, The annals of statistics, 461–464, (1978)
R.O. Schmidt, Multiple emitter location and signal parameter estimation. Antennas Propagat. IEEE Trans. 34(3), 276–280 (1986)
P. Stoica, A. Nehorai, MUSIC, maximum likelihood, and CramerRao bound. IEEE Trans. Acoust. Speech Signal Process. 37(5), 720–774 (1989)
M. Wax, T. Kailath, Detection of signals by information theoretic criteria. IEEE Trans. Acoust. Speech Signal Process. 33(2), 387–392 (1985)
E. Fishler, M. Grosmann, H. Messer, Detection of signals by information theoretic criteria: General asymptotic performance analysis. IEEE Trans. Signal Process. 50(5), 1027–1036 (2002)
A. Barron, J. Rissanen, B. Yu, The minimum description length principle in coding and modeling. IEEE Trans. Inf. Theory 44(6), 2743–2760 (1998)
W. Xu, M. Kaveh, Analysis of the performance and sensitivity of eigendecompositionbased detectors. IEEE Trans. Signal Process. 43(6), 1413–1426 (1995)
A.P. Liavas, P.A. Regalia, On the behavior of information theoretic criteria for model order selection. IEEE Trans. Signal Process. 49(8), 1689–1695 (2001)
D. Chen, R. J. Plemmons, Nonnegativity constraints in numerical analysis, in The Birth of Numerical Analysis. (World Scientific, 2010), pp. 109–139
C.L. Lawson, R. Hanson, Solving least squares problems prenticehall (Englewood Cliffs, NJ, 1974)
D.R. Hunter, K. Lange, A tutorial on MM algorithms. Am. Stat. 58(1), 30–37 (2004)
Y. Sun, P. Babu, D.P. Palomar, Majorizationminimization algorithms in signal processing, communications, and machine learning. IEEE Trans. Signal Process. 65(3), 794–816 (2016)
A.P. Dempster, N.M. Laird, D.B. Rubin, Maximum likelihood from incomplete data via the EM algorithm. J. Roy. Stat. Soc. Ser. B (Methodol.) 39(1), 1–22 (1977)
M. Journée, Y. Nesterov, P. Richtárik, R. Sepulchre, Generalized power method for sparse principal component analysis. J. Mach. Learn. Res. 11(2) (2010)
A. L. Yuille, A. Rangarajan, The concaveconvex procedure (CCCP), Adv. Neural Inf. Process. Syst. 1033–1040 (2002)
D.P. Wipf, B.D. Rao, Sparse Bayesian learning for basis selection. IEEE Trans. Signal Process. 52(8), 2153–2164 (2004)
H.H. Bauschke, J.M. Borwein, On projection algorithms for solving convex feasibility problems. SIAM Rev. 38(3), 367–426 (1996)
J. Nam, A. Adhikary, J.Y. Ahn, G. Caire, Joint spatial division and multiplexing: Opportunistic beamforming, user grouping and simplified downlink scheduling, IEEE J. Sel. Topics Sig. Proc. (JSTSP), 8(5), 876–890 (2014)
O. Najim, P. Vallet, G. Ferré, X. Mestre, On the statistical performance of music for distributed sources, in IEEE Statistical Signal Processing Workshop (SSP). (IEEE, 2016), pp. 1–5
R. Hunger, Floating point operations in matrixvector calculus (Munich University of Technology, Inst. for Circuit Theory and Signal Processing, 2005)
D. P. Bertsekas, A. Scientific, Convex optimization algorithms. (Athena Scientific Belmont, 2015)
V. Franc, V. Hlaváč, M. Navara, Sequential coordinatewise algorithm for the nonnegative least squares problem, in International Conference on Computer Analysis of Images and Patterns. (Springer, 2005), pp. 407–414
Funding
Open Access funding enabled and organized by Projekt DEAL. At the time of this research, the authors were all employed at the Technische Universität Berlin and this work has been not funded by external sources.
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
This study is purely academic and theoretical and does not represent any corporate interest beyond the scientific interest of the authors.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Part of this work has been presented in IEEE International Conference on Communications (ICC) 2020 [1]
Appendices
Appendix A: Consistency of MUSIC
We provide an analysis of the consistency of proposed MUSIC algorithm based on the results in [62]. A more challenging scaling regime in [62] was studied, where the amplitude of the spikes decreases by increasing M such that identifying them becomes more difficult. Specifically, recall in (6) that the ASF \(\gamma (\xi )\) is decomposed into discrete part \(\gamma _d(\xi ) = \sum ^r_{i=1}c_i\delta (\xi \phi _i)\) and continuous parts \(\gamma _c(\xi )\). In the pessimistic scaling regime studied in [62], the coefficients of spikes \(\{c_i^{(M)}: i\in [r]\}\) scale with M according to \(c_i^{(M)}=\frac{\upsilon _i}{M}\), where \(\{\upsilon _i:i \in [r]\}\) are positive constants encoding the relative strength of the spikes. The result in [62] shows that when the number of antennas M and the sample size N both approach to infinity at the same rate such that \(\frac{M}{N} \rightarrow \zeta > 0\), where \(\zeta\) is a finite constant, if the separation condition \(\min _{i\in [r]}\upsilon _i > \omega _0(\zeta )\) holds, where \(\omega _0(\zeta ) \ge \Vert \gamma _c\Vert _{\infty } +N_0\) is a monotonically increasing function of \(\zeta\), then MUSIC is asymptotically consistent, i.e., \(M(\widehat{\phi }_i  \phi _i) \xrightarrow [M\rightarrow \infty ]{\text {a.s.}} 0, \forall i \in [r]\), where a.s. stands for almost surely. In our wireless communication scenario, the spike coefficients \(\{c_i: i\in [r]\}\) remain the same independent of the number of BS antennas M. We mimic this by assuming that the coefficients \(\{\upsilon _i\}\) are also growing proportionally to M like \(\upsilon _i = M c_i\). Then, the separation condition would be satisfied for any finite \(\zeta\) and for any practically relevant \(\gamma _c\) provided that M is sufficiently large. It is worthwhile to emphasize that this result implies that no matter how small the spike amplitudes \(\{c_i: i \in [r]\}\) are and no matter how small the number of samples N is compared with M (of course provided that the asymptotic sampling ratio \(\zeta\) remains finite), and MUSIC will be able to recover all the spikes if M is sufficiently large. This provides a strong argument in favor of using MUSIC as the model order and spike location estimation for our application.
Appendix B: Toeplitzation of the sample covariance matrix
The Toeplitzed matrix \(\widetilde{{\varvec{\Sigma }}}_{{\textbf {h}}}\) is obtained by solving the orthogonal projection problem
Define \({\varvec{\sigma }}\in \mathbb {C}^{M\times 1}\) as the first column of \({\varvec{\Sigma }}\) and \(\mathcal{P}\) as the operation that projects \(\varvec{\sigma }\) and its conjugate to a Hermitian Toeplitz matrix as \({\varvec{\Sigma }}= \mathcal {P}(\varvec{\sigma })\). We further define \(\mathcal {K}_i = \{(r,c): r\le c \; \text {with} \; [{\varvec{\Sigma }}]_{r,c} = [\varvec{\sigma }]_i\}, i\in [M]\) as the set of all those indices in \({\varvec{\Sigma }}\), in which the ith variable \([\varvec{\sigma }]_i\) appears. Then, the objective function in (47) can be equivalently presented as
By setting the derivative of \([\varvec{\sigma }]_i\) to zero, the optimum \({\varvec{\sigma }}^\star\) is achieved as
where \(\mathcal {K}_i\) denotes the number of elements in \(\mathcal {K}_i\). Correspondingly, \(\widetilde{{\varvec{\Sigma }}}_{{\textbf {h}}}=\mathcal {P}({\varvec{\sigma }}^\star )\).
Appendix C: Computational complexity
We briefly provide an analysis of the floatingpoint operations (FLOP)based computational complexity for proposed NNLS and MLEM algorithms. We adopt the result of FLOP counting for different operations summarized in [63].^{Footnote 11} The matrix inverse operation for a positive definite matrix is based on Cholesky decomposition.
1.1 Complexity of NNLS algorithm
In general, the algorithms tackling NNLS can be roughly divided into activeset and projected gradient descent approaches [52]. The projected gradient descent approaches are known to require a very large number of iterations to converge to the optimum due to very small step size around the optimality to guaranty the convergence [64]. As an example, we have numerically tested the sequential coordinatewise algorithm [65], which has a very simple update rule but unacceptable large required number of iterations to converge. Therefore, we adopt the standard activeset method [53], which is based on the observation that only a small subset of constraints are usually active at the solution. Specifically, considering the NNLS problem \({\textbf {x}}^\star = \mathop {\arg\;\min}_{{\textbf {x}}\ge 0}\;\Vert {\textbf {A}}{\textbf {x}}{\textbf {y}}\Vert\), the activeset method consists of two nested loops, where we count FLOP of the least squares \([({\textbf {A}}^P)^\textsf {T}{\textbf {A}}^P]^{1}({\textbf {A}}^P)^\textsf {T}{\textbf {y}}\) in each inner and outer loop as well as the expression \({\textbf {A}}^\textsf {T}({\textbf {y}}{\textbf {A}}{\textbf {x}})\) in each outer loop, where \({\textbf {A}}^P\) is a matrix associated with only the variables currently in the active set P, please see [53] for more details. The input dimensions of our NNLS problem in (26) are \({\textbf {A}}\in \mathbb {R}^{2\,M\times \widehat{G}}\) and \({\textbf {y}}\in \mathbb {R}^{2\,M\times 1}\), where \(\widehat{G} = G + \widehat{r}\) and \(2\,M\) is due to the complex variables. Assuming that the total required number of outer loops is I and inner loops in the ith outer iteration are \(J_i\) and ignoring the potential dimension reduction in inner loops, the upper bounded FLOP is given by
where \(f(J_i):= \frac{1}{2}\sum _{i=1}^{I} J_i\left( 6Mi^2 + i^3 + 6Mi + 3i^2\right)\) is the number of FLOP of inner loops. With a averaged number of inner iterations \(\widetilde{J}\), the FLOP of NNLS can be approximated as
1.2 Complexity of MLEM algorithm
We count the FLOP of calculating (36) in each Estep and (39) in each Mstep. Note that the terms \({\textbf {D}}^\textsf {H}{\textbf {Y}}\) and the gram \({\textbf {D}}^\textsf {H}{\textbf {D}}\) in (36) only need to be calculated once and used in each iteration. Additionally, \(\widehat{{\textbf {U}}}^{(\ell )}\) is a diagonal matrix and its inverse in (36) can be easily obtained by taking the reciprocals of the main diagonal. Assuming that the total number of iterations is \(I_{\text {EM}}\), the required number of FLOP is given as
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Yang, T., Barzegar Khalilsarai, M., Haghighatshoar, S. et al. Structured channel covariance estimation from limited samples for large antenna arrays. J Wireless Com Network 2023, 24 (2023). https://doi.org/10.1186/s13638023022356
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13638023022356
Keywords
 Massive MIMO
 Covariance estimation
 MUSIC
 Maximum likelihood
 Nonnegative least squares
 Angular scattering function