Interference Alignment with Quantized Grassmannian Feedback in the K-user Constant MIMO Interference Channel

Interference Alignment with Quantized Grassmannian Feedback in the K-user Constant MIMO Interference Channel

Abstract

A simple channel state information (CSI) feedback scheme is proposed for interference alignment (IA) over the -user constant Multiple-Input-Multiple-Output Interference Channel (MIMO IC). The proposed technique relies on the identification of invariants in the IA equations, which enables the reformulation of the CSI quantization problem as a single quantization on the Grassmann manifold at each receiver. The scaling of the number of feedback bits with the transmit power sufficient to preserve the multiplexing gain that can be achieved under perfect CSI is established. We show that the CSI feedback requirements of the proposed technique are better (lower) than what is required when using previously published methods, for system dimensions (number of users and antennas) of practical interest. Furthermore, we show through simulations that this advantage persists at low SNR, in the sense that the proposed technique yields a higher sum-rate performance for a given number of feedback bits. Finally, to complement our analysis, we introduce a statistical model that faithfully captures the properties of the quantization error obtained for random vector quantization (RVQ) on the Grassmann manifold for large codebooks; this enables the numerical (Monte-Carlo) analysis of general Grassmannian RVQ schemes for codebook sizes that would be impractically large to simulate. 1

1Introduction

Multiple-antenna transceivers are known to improve the performance of wireless communication links compared to single-antenna systems. The increasing demand for high throughput and reliable transmission necessitates efficient use of Multiple-Input-Multiple-Output (MIMO) systems. In particular in multi-user networks where interference is a major concern, the availability of channel state information (CSI) at the transmitter is crucial in order to fully exploit the performance improvement of MIMO systems. In scenarios where the channel is not reciprocal (such as frequency-division duplex systems), the CSI has to be quantized and fed back to the transmitter. The mismatch between the true channel and the quantized channel results in a degradation in performance.

In this article, we focus on interference alignment (IA) applied to the -user constant MIMO IC. IA has been shown to achieve the optimal multiplexing gain (also called the degrees of freedom, DoF) over the -user interference channel when perfect CSI is available at the transmitters [1]; it was introduced for the -user MIMO IC in [2]. It consists in designing the precoders such that the total interference at each receiver lies in a space with minimum dimensions so that the remaining dimensions can be used for interference-free decoding. When only imperfect CSI is available, the channel mismatch not only reduces the effective channel gain but also causes interference between users. The performance of IA with imperfect CSI has been analyzed e.g. in [3].

Extensive research has been made on limited feedback schemes for point-to-point MIMO systems [5]. In [6], codebook design is investigated when the receiver selects the best unitary precoder from a finite codebook and feeds back the index of the selected precoder to the transmitter. [6] shows that the optimal design for such a codebook is equivalent to the Grassmannian subspace packing problem. Some useful quantization bounds on the Grassmann manifold are derived in [7]. In [9], quantization of the precoding matrix using random vector quantization (RVQ) codebooks is investigated, providing insights on the asymptotic optimality of RVQ.

Concerning multi-user systems, the question of the scaling of the size of the codebook used for CSI feedback with increasing signal-to-noise ratio (SNR) has been explored in a number of recent works. Generally speaking, using imperfect CSI at the transmitter (CSIT) to compute the transmit precoders in a multi-user system causes interference at the receiver side. Since the power of this interference scales with the transmit power, it is necessary to compensate any increase in transmit power by decreasing the quantization error affecting the CSIT, if the interference at the receiver is to remain bounded. This has led several authors to study how the codebook size should scale with the SNR in order to preserve the degrees of freedom achievable with perfect CSI, for several feedback schemes. The case of the broadcast channel was considered first; assuming zero-forcing precoding and single-antenna receivers, it has been determined in [10] that scaling the amount of feedback bits with (where is the number of antennas at the transmitter and the transmit power) at each receiver is sufficient to achieve full DoF. For the -user IC, most results on CSI quantization focus on transmission schemes based on IA, since IA is instrumental in achieving the channel DoF [11]. Specifically, in that context, the CSI feedback problem is considered for -tap frequency selective SISO links in [12], where it is shown that the channel DoF is achievable if the number of bits used to encode the CSI scales with . This result was further extended to the MIMO frequency-selective IC in [13], where bits (with ) are shown to be required to achieve the perfect-CSI DoF. However, both [12] and [13] rely on the same analysis, which is not applicable to the flat-fading case2.

In [14], the authors introduce two quantization schemes for the MIMO flat-fading -user IC. The first one is based on quantization on the composite Grassmann manifold (inspired by [13]). The second method improves the quantization accuracy by introducing a virtual receive filter at each receiver which leaves the IA equations invariant; the quantization error can be reduced by optimizing this virtual filter, however the process is computationally complex and must be repeated for each codeword and each channel realization. No asymptotic (high SNR) analysis is provided in [14]; it is easy to figure out that the first considered method requires a scaling of to achieve the channel DoF, however the scaling required for the second method to achieve full DoF is not clear.
In this paper, we present a novel CSI quantization and feedback scheme for IA over the K-user constant MIMO IC. The salient points of our contribution are:

  • The proposed feedback scheme exploits the invariances in the IA equations to reduce the dimension of the quantization space, without requiring the heavy iterative processing of e.g. [14].

  • We characterize the scaling (with SNR) of the codebook size under which the proposed feedback scheme achieves the same DoF as with perfect CSIT. This scaling is shown to be better (slower) than the scaling obtained using the schemes from [10] or [14] for all system dimensions where IA is feasible.

  • At non-asymptotic SNR and for a fixed codebook size, the proposed scheme is shown by simulation to achieve better sum-rate performance than the methods from [10] or [14].

  • As a by-product of our analysis, we introduce a statistical model that faithfully captures the properties of the quantization error of RVQ on the Grassmann manifold for large codebooks; we use it to generate rotations that closely approximate the true quantization error of RVQ. This tool enables numerical analysis of general Grassmannian RVQ schemes for large codebook sizes, without requiring the generation of the codebook nor the exhaustive search normally associated with the quantizer.

The remainder of the paper is organized as follows. In Section 2, the system model is described. A reformulation of the CSI representation for the interference alignment problem is provided in Section 3. The limited feedback (quantized) scheme is presented in Section 4, while the achievable rates and DoF are analyzed in Section 5. Simulation results are presented in Section 6 together with the statistical RVQ error model, and conclusions are drawn in Section 7.
Notation: Non-bold letters represent scalar quantities, boldface lowercase and uppercase letters indicate vectors and matrices, respectively. is the identity matrix, while denotes an all-zeros matrix. The trace, conjugate, transpose, Hermitian transpose of a matrix or vector are denoted by respectively. The expectation operator over variable is represented by . The determinant of a matrix (or absolute value of a scalar) is represented by . denotes the complex Grassmann manifold of dimensions , i.e. the set of all -dimensional vector subspaces of an -dimensional vector space over . The Frobenius norm of a matrix is denoted by while the two-norm (spectral norm) of a matrix is represented by . A block diagonal matrix is denoted by with the argument blocks on its diagonal. (resp. ) denotes the real (resp. circularly symmetric complex) Gaussian distribution with zero mean and unit variance. The largest eigenvalue of a matrix is denoted by . Finally, represents the logarithm in base 2.

2System Model

A MIMO interference channel is considered in which transmitters communicate with their respective receivers over a shared medium. For the sake of notational simplicity, we consider the symmetric case where each transmitter has antennas while each receiver is equipped with antennas, although the method discussed here applies to non-symmetric settings as well.

Assume that transmitter employs a precoding matrix to transmit data streams to its respective receiver. The -dimensional signal at receiver reads

in which is the channel matrix between transmitter and receiver , is a truncated unitary matrix (), and is the symbol vector of transmitter . Furthermore, is the additive noise at receiver whose elements are distributed independently as . We assume Gaussian circularly symmetric i.i.d. signaling with , where denotes the per-user transmit power. Following [15], we assume that the channel coefficients are generic; in particular, this condition is fulfilled by any channel model where the coefficients are drawn independently from a continuous distribution, such as the classical Gaussian i.i.d. model.

3Proposed Grassmannian Feedback Scheme for Interference Alignment

Let us consider the interference alignment problem of [2], and assume that the CSI is fed back from the receivers to the transmitters3. Specifically, assume that the th receiver has perfect knowledge of the channel matrices and feeds back the corresponding information to the transmitters so that every transmitter is capable of solving the alignment problem. In this section we consider perfect CSI feedback in order to highlight the intuition behind the dimensionality reduction associated with the proposed feedback scheme. We will further assume that , which represents the cases of interest where interference would occupy all dimensions of the receive subspace in the absence of alignment.

For reference, let us first consider the case where the channel matrices themselves are known perfectly at the transmitter. The precoders , must be designed to align the interference at each receiver into a dimensional space, in order to achieve interference-free dimensions per user. A solution to the IA problem exists (see [15] and more recently [17] for feasibility criteria – here we will assume that the dimensions and the considered channel realizations are such that the problem is feasible almost surely (a.s.)) iff there exist full rank precoding matrices and projection matrices such that

At this point, some remarks are in order. As pointed out in [2], the difficulty in finding an IA solution typically lies in solving eq. , while is fulfilled a.s. under the prevailing channel assumptions for any choice of full-column rank , matrices. We also remark that despite the symmetry of eq. with respect to transposition, only the precoders are required to be known at the transmitters; for a given set of precoders , the mere knowledge of the existence of full-column rank matrices fulfilling is sufficient to conclude that the precoders are interference-aligning. These considerations lead us to introduce the following definition:

3.1Proposed Grassmannian feedback scheme

In order to introduce our proposed scheme, let us note that can be rewritten from the point of view of receiver in the form

in which is the block-diagonal concatenation of the precoders and is the concatenation of the channel matrices of all interfering links ending at receiver , excluding the direct link. The proposed feedback scheme consists for each receiver in feeding back only the row space of . Our first result consists in stating that this information is sufficient to perform IA:

Let us consider perfect feedback of the row space of . Practically, since a linear subspace can be represented by any matrix whose columns span the same space, the Grassmannian feedback considered here can be considered to take the form of the availability at the IA computation unit of a matrix of dimensions whose columns span the same subspace as the columns of (we assume that has full column rank, which is a.s. the case for generic channel coefficients). We now show that the IA transmit precoders computed by assuming as channel coefficients are interference-aligning for the true channel as well.

Let us consider an IA solution based on , i.e. assume that there exist full-rank matrices and such that the following equation (similar to ),

is fulfilled for all . Note that since and have the same dimensions, the feasibility (a.s.) of IA according to and is identical. Furthermore, since the columns of and span the same -dimensional subspace, there exists an invertible matrix such that . Clearly,

Comparing to , eq. shows that the rank- matrices , cancel the interference at all receivers, i.e. the transmit precoders forming the block-diagonal of are interference-aligning over the true channels.

3.2Feedback dimension analysis

As already noted, the CSI feedback scheme considered here, is analogous to feeding back a single point on the Grassmann manifold for each one of the users. Using the fact that the real dimension of is for any [7], the real dimension of the feedback variable in the strategy of Lemma ? is . For comparison, let us consider the following alternative CSI representations:

  • Full channel matrix (FCM): for a given receiver , the channel matrices , appearing in taken together have real dimension .

  • Individually normalized channel matrices (INM): in [14], it is proposed to independently vectorize and normalize the matrices representing the channels from each interferers. At each receiver , this technique yields unit-norm vectors , , which are subsequently quantized jointly on the composite Grassmann manifold . The real dimension of this manifold is [13].

  • Jointly normalized channel matrices (JNM)4: noting that can be rewritten as , this approach consists in quantizing on . The real dimension of the fed back variable for this case is .

It is straightforward to establish that for all meaningful cases (). Furthermore, iff . Note that this condition holds independently of the number of transmit antennas. In the particular case of a square system (), we have the following result:

A necessary condition for IA to be feasible is [15]

Together with the assumption that and using the fact that , yields

Another necessary condition for IA feasibility is , therefore and consequently . Combining with , we obtain , which is equivalent to .


Note that the feedback scheme outlined here for the MIMO IC is in fact directly applicable to many other channel models where IA has been proposed, such as interfering multiple-access channels [19], interfering broadcast channels [21], as well as partially connected interference networks [23].

4Quantized CSI Feedback

In this section we introduce a transmission scheme where the alignment equations are solved based on the (error-free) feedback of a quantized version of the CSI, based on the Grassmannian representation from Section 3. For that scheme, we show in Section 4.1 how inter-user interference is related to the CSI codebook size, and characterize the scaling of the codebook size which ensures that the inter-user interference power remains bounded at high SNR. For comparison, in Section 4.2, we provide a similar analysis for the INM technique.

4.1Quantized feedback for the proposed scheme

Let us assume that receiver knows perfectly the state of its channels from all interfering transmitters, i.e. the coefficients of , and performs the economy-size QR decomposition , where is a truncated unitary matrix, and is and a.s. invertible, under the prevailing channel assumptions. The use of the QR decomposition is a particular case of the decomposition used in the proof of Lemma ?: it ensures that and have the same column space, and adds the requirement that the columns of are orthonormal, which will simplify the subsequent analysis. According to the proposed scheme, receiver quantizes the subspace spanned by the columns of using bits and feeds the index of the quantized codeword back to the unit in charge of computing the ’s. We further assume that the receivers and the computation unit share a predefined codebook5 which is composed of truncated unitary matrices of size and is designed via Grassmannian subspace packing [25]. The quantized codeword at receiver is the point in closest to , i.e.

in which is the chordal distance between and in [26].

Let us consider the scheme where the interference alignment problem is solved at the IA computation unit based on the quantized CSI , yielding full-column rank matrices fulfilling

At receiver , inspired by the perfect feedback situation, we consider the receive filter 6. Let denote the received signal at receiver after processing by :

where the term

is the interference leakage due to the imperfect CSI.
Generally speaking, the aim of our analysis is to provide sufficient conditions on the CSI quantization accuracy to ensure that grows with (see Section 5); and are merely intermediate variables used to establish information-theoretic inequalities. In a practical system, we expect the equalizer to be computed through classical channel estimation and equalization techniques – we omit these details here.
In the remainder of this section, we will focus on establishing bounds on the interference power ; these results will be instrumental in proving our DoF result in Section 5. We first establish in Lemma ? and Corollary ? the growth rate of the number of feedback bits with the SNR which guarantees that remains bounded by a constant regardless of when .

See appendix Section 8.

From , since for large , it is obvious that is bounded by a constant if scales at least linearly with ; in particular this holds for

4.2Quantized feedback for the INM method

For comparison, let us now consider quantization for the INM method7 chosen as a baseline in [14]. We recall that in that case, at receiver the matrices representing the channels from the interferers are vectorized and normalized independently, yielding unit-norm vectors , . is subsequently quantized according to

where is the chordal distance defined for the composite Grassmann manifold. Let denote the number of feedback bits, i.e. . At the transmitter side, the columns of are used to reconstruct the quantized CSI: the channel matrices used for the computation of the precoders are such that . The interference alignment problem is then solved based on to find fulfilling

We now show that the leakage (using the true channel matrices) can remain bounded for arbitrarily large transmit power under certain conditions. This is the object of Lemma ?, where we establish the scaling of with required to achieve bounded interference leakage under this scheme.

See appendix Section 9.

Comparing the above result with the scaling obtained in Corollary ? for the proposed scheme indicates that at high SNR, (i.e. the proposed method strictly outperforms INM) iff . As already analyzed in Lemma ?, this condition is fulfilled for many case of practical interest.

5Achievable DoF and Rate Analysis

5.1Rate and DoF loss due to CSI Quantization

In the previous section, we have used interference leakage as a proxy to evaluate how the quality of the available CSI influences alignment. Note however that having a bounded interference leakage is not sufficient in itself to ensure that the full DoF is achieved for asymptotically large – in fact, the power of the signal of interest remaining after processing by the receive filter (eq. ) could remain bounded too, or the equivalent channel could be rank-deficient. We now show that this is almost surely not the case, and that the proposed CSI quantization scheme achieves the same DoF as IA under the perfect CSI assumption, provided that the proper scaling of with is respected:

Remark 1:

Theorem ? is not restricted to a particular distribution of the channel coefficients. The restriction to “almost all” channel realizations is due to the fact that under the assumptions of Section 2, there can exist a vanishing set of channel realizations for which is not fulfilled; this is also the case when perfect CSI is considered [2], and is unrelated to the proposed quantization scheme.
Remark 2: The transmission scheme considered here is based on truncated unitary precoders , and therefore the transmitted signal is spatially white inside the -dimensional subspace defined by the precoder. Clearly, this is suboptimal for finite values of the SNR, and spatial waterfilling in addition to IA would bring in performance improvement for . However, we remark that the performance gains of waterfilling vanish at asymptotically high SNR, provided that the channel is not rank deficient [27]. Therefore, the asymptotic analysis of this section holds regardless of whether spatial waterfilling is used in addition to IA or not.
Theorem ? states that a.s.; in order to show this, we require a few intermediate results. Let us define the following values: , and where is the covariance of the signal of interest. From the data processing inequality and the definition of , we have immediately that . In what follows, we will successively show that remains bounded from above if is scaled according to (Lemma ?), and that (Lemma ?). Let us start with the first result. Since all signal and noise terms are Gaussian circularly symmetric, we have

in which is the covariance of the residual interference.

See Appendix Section 10.

See Appendix Section 11.


We are now in the position to prove Theorem ?:

Substituting in the result of Lemma ? yields

As and with following , the argument of the logarithm remains bounded by a constant, therefore

using the result from Lemma ?.


5.2Per-User DoF for Asymmetric Feedback

An interesting consequence of the rate-loss analysis conducted previously can be observed when each receiver uses its own scaling of the CSI quantization codebook size with . Formally, let denote the number of bits used by receiver to quantize .

The proof follows simply from by taking the limit of the lower bound when .

Practically, this means that the DoF achieved by a given user is independent of the quality of the feedback provided by the other users, and depends only on the scaling of its own feedback. This observation, obtained here for IA precoding, is consistent with the results obtained in [28] for centralized schemes using different precoding schemes such as zero-forcing.

5.3Average Rate Loss under Random Vector Quantization

Note that the results established so far hold for any codebook obtained by sphere-packing. Let us now briefly depart from this assumption, and consider RVQ instead. In that case, the previous results do not apply: the random choice of the codebook can lead to arbitrarily bad performance regardless of , and bounding the performance loss uniformly over all codebooks is impossible. A more relevant performance metric for RVQ is the average sum rate over all possible codebooks. We have the following result:

See Appendix Section 12.


6Simulation Results

This section presents simulations that numerically validate the results hitherto established. Note that constructing good Grassmannian packings for arbitrary dimensions is difficult [29]; therefore, in our simulations for relatively small codebook sizes (up to ) we resort to random codebooks in place of sphere-packing codebooks. Note that the performance expected from RVQ codebooks constitutes a lower bound to the performance of sphere-packing codebooks; however as we shall see, in our simulations, RVQ codebooks attain the performance predicted for the sphere-packing codebooks. These results are presented in Section 6.1.

For larger codebooks (), even RVQ is not tractable due to the complexity of the exhaustive search through in . Due to the lack of structured codebooks allowing a tractable implementation of the quantizer, the performance obtained for larger codebooks is extrapolated by using a perturbation method based on the analytical characterization of the distribution of the quantization error, the details of which being presented in Section 6.2.

6.1Performance results using RVQ

In this section, we evaluate the performance of the quantization scheme of Section 4.1 with RVQ codebooks. The performance metric is the sum rate evaluated through Monte-Carlo simulations. The sum rate achievable over the MIMO IC using interference alignment precoders under the assumption that the input signals are Gaussian can be written as

A -user IC with antennas per node and data stream for each transmitter is considered. Entries of the channel matrices are generated according to and the performance results are averaged over the channel realizations. The method proposed in Section 4.1 is compared to the INM quantization method from Section 3.2.

For the proposed method, the codebook entries are independent random truncated unitary matrices generated from the Haar distribution. For the INM method, random unit norm vectors are used in the codebook construction. Figure 1 shows the achievable sum rate versus transmit SNR for and 10 feedback bits when the precoders are designed based on the quantized feedback. Clearly the proposed scheme outperforms INM quantization for the same number of feedback bits. It can be also seen that for a fixed number of feedback bits, the sum-rate saturates at high SNR, while it grows unbounded (with the slope equal to the DoF) for the perfect CSI case.

Figure 1: Average R_{\rm sum} for various quantization methods, for the 3-user MIMO IC, N=M=2.
Figure 1: Average for various quantization methods, for the -user MIMO IC, .

The sum rate in is achievable when optimum receivers (not including the projection filters ) are used at the receivers. Since the achievable scheme in Section 4 is using the projection filters , we evaluated the performance achieved by this scheme, defined as

Results are provided in Figure 2. The slope of the curves at high SNR gives an indication of the achieved DoF. It is clear from Figure 2 that the slope of the sum-rate curve with quantized feedback matches that of perfect CSI when the number of feedback bits is scaled according to (here we have used bits and the corresponding powers ). Conversely, when the codebook size is fixed, the performance always saturates at high SNR, with the achieved performance depending on the codebook size. Simulations were performed only up to SNR due to the complexity associated to the growth of the codebook size with .

Figure 2: Sum-rate according to  of the proposed method for different number of bits, for the 3-user MIMO IC, N=M=2.
Figure 2: Sum-rate according to of the proposed method for different number of bits, for the -user MIMO IC, .

6.2Perturbations on the Grassmann manifold

In order to validate the DoF results of Section 5, an evaluation of the achieved sum-rate at high SNR is required. In order to deal with exponentially large codebooks, we propose to replace the quantization process with a perturbation which approximates the quantization error. In other words, we propose to replace by a matrix that can be computed directly by an appropriate perturbation of . This approach provides a good approximation of the achievable performance, while sparing the complexity associated with the codebook generation and the quantization in RVQ.
Let us consider a point on , represented by a truncated unitary matrix . Here, we assume that (otherwise it is more efficient to consider the complementary dimensional subspace). Since the columns of are orthonormal, they can be completed to form an orthonormal basis of the -dimensional space. In fact, according to [8], any other point on can be represented in the basis constituted by the columns of the unitary matrix as

for some in the null space of and

where are real angles. Clearly, for , we obtain . More generally, the squared chordal distance between the two points on represented by and is

Therefore, in order to generate random perturbations of a certain chordal distance from , we propose to generate random values for the angles such that , and to pick a random orthonormal basis of the null subspace of . The perturbed matrix is then computed using .

The histogram (not shown) of the squared quantization error obtained from an implementation of the RVQ quantizer suggests that the Gaussian distribution is a good approximation for the probability density function of . The parameters of this distribution can be obtained from [26] which provides bounds on the -th moment of the chordal distance . Since those bounds are asymptotically tight when the codebook size increases, we arbitrarily choose to use the upper bound8 as an approximation of , i.e.

is the mean and

is the variance. We propose generate the values for according to truncated to . This process is summarized in Algorithm ?.

Simulations were performed in order to validate experimentally the perturbation method proposed above. The sum-rate performance achieved by IA for the CSI obtained from the perturbation method is plotted against the performance obtained for the actual quantization scheme in Figure 3. It is clear that the proposed perturbation method accurately approximates the Grassmannian quantization process, even for small codebooks.

6.3Validation of the DoF results

We now use the perturbation technique introduced in the previous section to analyze the CSI feedback scheme from Section 4.1 in the high SNR regime. Figure 4 depicts the sum rate performance using the perturbation method compared to perfect CSI and to the lower bound derived in . The slope of the sum rate at high SNR regime obtained for the quantizer with bits is identical to that of perfect CSI, as is the case for the lower bound derived in .

Figure 3: Comparison of the perturbation scheme from Section  (solid) to the real quantizer  (dashed), for the 3-user MIMO IC, N=M=2.
Figure 3: Comparison of the perturbation scheme from Section (solid) to the real quantizer (dashed), for the -user MIMO IC, .
Figure 4: Sum rate performance using the perturbation method compared to perfect CSI and the lower bound derived in , for the 3-user MIMO IC, N=M=2.
Figure 4: Sum rate performance using the perturbation method compared to perfect CSI and the lower bound derived in , for the -user MIMO IC, .

7Conclusion

A new CSI feedback scheme for interference alignment on the K-user MIMO interference channel was proposed consisting in a parsimonious representation based on the Grassmann manifold. We characterized the scaling of the number of feedback bits with the SNR required in order to preserve the multiplexing gain achievable using perfect CSI. Simulations results confirm that our scheme provides a better sum rate performance compared to quantization of the normalized channel matrices for the same number of feedback bits. Furthermore, considering quantization on the Grassmann manifold, we introduced a model for the chordal distance of the quantization error which facilitates the numerical performance analysis of schemes requiring intractably large codebooks.

8Proof of Lemma

The power of the interference leakage at receiver reads

Substituting and gives

Using the alignment equation and the fact that yields , therefore can be rewritten as

Using the facts that , and , we have

The second equality holds because , and are truncated unitary matrices, which implies that their spectral norm is 1.

From [26], if a codebook is generated using the sphere-packing procedure, the maximum value of the quantization error in terms of the chordal distance can be upper bounded as

The constant in is obtained from [7]. Combining and yields .

9Proof of Lemma

Similar to , the power of the interference leakage at receiver can be written as

for an arbitrary scalar . In particular, choosing yields

where .
From [13], the distance on the composite Grassmann manifold can be bounded for any codebook obtained via sphere-packing as which results in

where was defined in Section 3.2 and is a constant. It is clear from that quantizing with bits at receiver guarantees that remains bounded regardless of the SNR.

10Proof of Lemma

Consider the following quantity

where and since is positive semi-definite9.

Since the argument of the determinant is of rank at most ,