Construction of One-Bit Transmit-Signal Vectors for Downlink MU-MISO Systems with PSK Signaling

01/23/2019
by   Gyu-Jeong Park, et al.
0

We study a downlink multi-user multiple-input single-output (MU-MISO) system in which the base station (BS) has a large number of antennas with cost-effective one-bit digital-to-analog converters (DACs). In this system, we first identify that antenna-selection can yield a non-trivial symbol-error-rate (SER) performance gain by alleviating an error-floor problem. Likewise the previous works on one-bit precoding, finding an optimal transmit-signal vector (encompassing precoding and antenna-selection) requires exhaustive-search due to its combinatorial nature. Motivated by this, we propose a low-complexity two-stage algorithm to directly obtain such transmit-signal vector. In the first stage, we obtain a feasible transmit-signal vector via iterative-hard-thresholding algorithm where the resulting vector ensures that each user's noiseless observation is belong to a desired decision region. In the second stage, a bit-flipping algorithm is employed to refine the feasible vector so that each user's received signal is more robust to additive Gaussian noises. Via simulation results, we demonstrate that the proposed method can yield a more elegant performance-complexity tradeoff than the existing one-bit precoding methods.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

05/16/2020

Construction of 1-Bit Transmit Signal Vectors for Downlink MU-MISO Systems: QAM constellations

In this paper, we investigate the construction of transmit signal for a ...
02/28/2018

Reconsidering Linear Transmit Signal Processing in 1-Bit Quantized Multi-User MISO Systems

In this contribution, we investigate a coarsely quantized Multi-User (MU...
06/01/2021

Low-Complexity Symbol-Level Precoding for MU-MISO Downlink Systems with QAM Signals

This study proposes the construction of a transmit signal for large-scal...
12/10/2018

A Supervised-Learning Detector for Multihop Distributed Reception Systems

We consider a multihop distributed uplink reception system in which K us...
01/29/2018

Quantized Constant Envelope Precoding with PSK and QAM Signaling

Coarsely quantized massive Multiple-Input Multiple-Output (MIMO) systems...
11/07/2020

Multi-Antenna Data-Driven Eavesdropping Attacks and Symbol-Level Precoding Countermeasures

In this work, we consider secure communications in wireless multi-user (...
05/23/2022

Distributed Downlink Precoding and Equalization in Satellite Swarms

In this paper, we propose a novel approach for downlink transmission fro...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

I Introduction

Massive multiple-input multiple-output (MIMO) is one of the promising techniques to cope with the predicted wireless data traffic explosion [1, 2, 3, 4]. In downlink massive MIMO systems, it was shown that low-complexity linear precoding methods as zero-forcing (ZF) and regularized ZF (RZF) achieve an almost optimal performance [5]. In contrast, the use of a large number of antennas considerably increases the hardware cost and the radio-frequency (RF) circuit consumption [6]. Hybrid analog-digital precoding (a.k.a., hybrid precoding) is one of the promising methods to address the above problems since it can reduce the number of RF chains [7, 8, 9]. An alternative method is to make use of low-resolution digital-to-analog converters (DACs) (e.g., 13 bits), which can greatly reduce the cost and power consumption per RF chain [6]. Specifically, in this case, each antenna’s transmit symbol is equivalent to a constant-envelop symbol, which enables the use of low-cost power amplifiers and thus reduces the hardware complexity.

Because of the potential merits of using one-bit DACs, there have been numerous studies on the precoding methods for such downlink massive MIMO systems [10, 11, 12, 13, 14, 15]. In [10], various non-linear precoding techniques were proposed based on semidefinite relaxation (SDR), squared -norm relaxation, and sphere decoding. The authors proposed low-complexity quantized precoding methods as quantized ZF (QZF) [11] and quantized minimum-mean squared error (QMMSE) [12], which simply applied the one-bit quantization to the outputs of the conventional linear precoding methods. Also, a branch-and-bound and a biconvex relaxation approaches were presented in [13] and [14], respectively. However, these methods either suffer from a severe performance loss or require an expensive computational complexity (see [15] for more details). Very recently, focusing on phase-shift-keying (PSK) constellations, a low-complexity symbol-scaling method was proposed in [15], where it optimizes a transmit-signal vector directly in an efficient sequential fashion as a function of an instantaneous channel matrix and users’ messages (called symbol-level operation). Also, it was shown that the symbol-scaling method can yield a comparable performance to the previous non-linear precoding methods with a much lower computational complexity.

Fig. 1: and . Performance improvement of antenna-selection in one-bit precoding for downlink MU-MIMO systems with one-bit DACs.

Our contributions: In this paper, we study a downlink MU-MISO system with one-bit DACs. We first identify that antenna-selection can yield a non-trivial bit-error-rate (BER) performance gain by alleviating error-floor problems (see Fig. 1). Clearly, this performance gain is because antenna-selection can enlarge the set of possible transmit-signal vectors (i.e., search-space) compared with the previous precoding methods in [10, 11, 12, 13, 14, 15]. However, as in conventional one-bit precoding optimization, finding an optimal transmit-signal vector (encompassing precoding and antenna-selection) requires exhaustive-search due to its combinatorial nature. Motivated by this, we propose a low-complexity algorithm to solve the above problem (i.e., joint optimization of precoding and antenna-selection), which consists of the following two stages. In the first stage, we obtain a feasible transmit-signal vector via iterative-hard-thresholding (IHT) algorithm where the resulting vector guarantees that each user’s noiseless observation is belong to a desired decision region. Namely, it can improve the BER performances at high-SNR regimes (i.e., error-floor regions) by lowering an error-floor. In the second stage, we refine the above transit-signal vector using a bit-flipping (BF) algorithm so that each user’s received signal is more robust to additive Gaussian noises. In other words, it can improve the BER performances at low-SNR regimes (i.e., waterfall regions). Finally, we provide simulation results to demonstrate that the proposed method can improve the performance of the existing symbol-scaling method in [15] with a comparable computational complexity.

The rest of paper is organized as follows. In Section II, we provide some useful notations and describe the system model. In Section III, we propose a low-complexity algorithm to optimize a transmit-signal vector directly for downlink MU-MISO systems with one-bit DACs. Simulation results are provided in IV. Section V concludes the paper.

Ii Preliminaries

In this section, we provide some useful notations and describe the system model.

Ii-a Notations

The lowercase and uppercase boldface letters represent column vectors and matrices, respectively, and denotes the conjugate transpose of a vector or matrix. For any vector , represents the -th entry of . Let for non-negative integers and with . Similarly, let for any positive integer . and represent its real and complex part of a complex vector , respectively. Also, we define a natural mapping which maps a complex value into a real-valued vector, i.e., for each , we have that

(1)

The inverse mapping of is denoted as . If or is applied to a vector or a set, we assume they operate element-wise. For example, we have that

(2)

Also, for any complex-value , we define a real-valued matrix expansion as

(3)

Finally, we let denote a rotation matrix with a parameter as

which rotates the following column vector in the counterclockwise through an angle about the origin.

Ii-B System Model

Fig. 2: 8-PSK constellation in complex domain and the corresponding decision regions. represents the decision region of .

We consider a single-cell downlink MU-MISO system in which one BS with antennas communicates with single-antenna users simultaneously in the same time-frequency resources. Focusing on the impact of one-bit DACs in the transmit-side operations, it is assumed that the BS is equipped with one-bit DACs while each user (receiver) is with ideal analog-to-digital converters (ADCs) with infinite resolution. As in the closely related works [11, 12, 15], we also consider a normalized -PSK constellation , each of which constellation point is defined as

(4)

The constellation points of -PSK are depicted in Fig. 2. Let be the user ’s message for and also let be a transmit-signal vector at the BS. Under the use of one-bit DACs and antenna-selection, each can be chosen with the restriction of

(5)

This shows that, compared with the related works [11, 12, 15], antenna-selection can enlarge the set of possible symbols (i.e., search-space) per real (or imaginary) part of each antenna. Then, the received signal vector at the users is given by

(6)

where

denotes the flat-fading Rayleigh channel with each entry following a complex Gaussian distribution and

denotes the additive Gaussian noise vector whose elements are distributed as circularly symmetric complex Gaussian random variables with zero-mean and unit-variance, i.e.,

. Also, is chosen according to the per-antenna power constraint. For simplicity, we assume the uniform power allocation for the antenna array.

In this system, our purpose is to develop a low-complexity algorithm to optimize a transmit-signal vector (i.e., joint optimization of precoding and antenna-selection) with the assumption that the BS is aware of a perfect channel state information (CSI), which will be provided in Section III. Before explaining our main result, we provide the following definition which will be used throughout the paper.

Definition 1

(Decision Regions) For each , a decision region is defined as

(7)

If the user receives a , then it decides the decoded message as .

Iii The Proposed Transmit-Signal Vectors

In this section, we derive a mathematical formulation to optimize a transmit-signal vector (encompassing precoding and antenna selection) for downlink MU-MISO systems with one-bit DACs, and then present a low-complexity algorithm to solve such problem efficiently.

For the ease of explanation, we first introduce the equivalent real-valued representation of the complex input-output relationship in (6), which is given by

(8)

where , , , and denotes the real-valued matrix which is obtained by replacing (e.g., the -th entry of ) with the matrix for all . For the resulting model, we can define the real-valued constellation where

(9)

From Definition 1, the decision region in for each is simply obtained as

(10)

Furthermore, as shown in Fig. 2, each can be represented as linear combination of two basis vectors and as

(11)

where the basis vectors are easily obtained using rotation matrices such as

for . Using two basis vectors, we define the real-valued matrix . Since has full-rank, the inverse matrix of exists and is easily computed as

(12)

We are now ready to explain how to optimize a transmit-signal vector efficiently. For simplicity, we let denote the noiseless received vector at the users. Regarding our optimization problem, we first provide the following key observations:

Fig. 3: The decision region in and the impact of larger coefficients.
  • (Feasibility condition) To ensure that all the users recover their own messages, a transmit-signal vector should be constructed such that

    (13)

    for . Accordingly, should be represented as

    (14)

    for some positive coefficients and . This is called feasibility condition and a vector to satisfy this condition called feasible transmit-signal vector.

  • (Noise robusteness) The condition in (13) cannot guarantee good performances in practical SNR regimes (e.g., waterfall regions) due to the impact of additive Gaussian noises. Thus, we need to refine the above feasible transmit-signal vector so that and are maximized.

We will formulate an optimization problem mathematically which can find a transmit-signal vector to satisfy the above requirements. From (14), we can express the feasibility condition in a matrix form:

(15)

where and denotes the block diagonal matrix having the -th diagonal block . From the block diagonal structure and (12), we can easily obtain the inverse matrix of as

(16)

Then, the feasibility condition in (15) can be rewritten as

(17)

where . Note that is a known matrix since it is completely determined from the channel matrix and users’ messages . Taking the feasibility condition and noise robustness into account, our optimization problem can formulated as

(18)
subject to (19)
(20)
(21)

For the above optimization problem, the objective function aims to maximize the minimum of positive coefficients ’s. This is motivated by the fact that a larger value of the coefficients ’s yields a larger distance to the other decision regions. As an example, consider the decision region as illustrated in Fig. 3. Obviously, has a larger distance from the boundary 1 than while both have the same distance from the boundary 2. Likewise, if increases for a fixed , then the distance from the boundary 2 increases by keeping the distance from the boundary 1. In order to increase the distance from the other decision regions, therefore, it would make sense to maximize the minimum of two coefficients and . By extending this to all the users, we can obtain the objective function in (18).

Unfortunately, finding an optimal solution to the above optimization problem is too complicated due to its combinatorial nature. We thus propose a low-complexity two-stage algorithm to solve it efficiently, which is described as follows.

  • In the first stage, we find a feasible solution to satisfy the constraints (19)-(21), which is obtained by taking a solution of

    (22)

    where if and otherwise. We solve the above non-linear inverse problem efficiently via the so-called IHT algorithm. The detailed procedures are provided in Algorithm 1 where the thresholding function is defined as if , if , and , otherwise.

  • In the second stage, we refine the above feasible solution by maximizing , which is efficiently performed using BF algorithm (see Algorithm 2). Finally, from the output of Algorithm 2 (e.g., ), we can obtain the proposed transmit-signal vector as .

Computational Complexity: Following the complexity analysis in [15], we study the computational complexity of the proposed method with respect to the number of real-valued multiplications. As benchmark methods, we consider the computational costs of exhaustive search, exhaustive search with antenna-selection, and symbol-scaling method in [15], which are denoted by , , and , respectively. From [15], their complexities are obtained as

(23)
(24)
(25)

Recall that the proposed method is composed of the two algorithms in Algorithms 1 and 2. First, the complexity of Algorithm 1 is obtained as where denotes the total number of iterations. Also, the complexity of Algorithm 2, which is similar to that of refined-state in symbol-scaling method in [15], is obtained as . By summing them, the overall computational complexity of the proposed method is obtained as

(26)
1:input: , , and
2:initialization:
3:iteration: repeat until either or
4:output:
Algorithm 1 IHT Algorithm
1:input: and
2:initialization:
3:for   do
4:     for  do
5:          and
6:     end for
7:     update
8:end for
9:output:

Note that for some , is obtained from the by simply replacing with , i.e.,

Algorithm 2 BF Algorithm

Iv Simulation Results

In this section, we evaluate the symbol-error-rate (SER) performances of the proposed method for the downlink MU-MIMO systems with one-bit DACs where and . For comparison, we consider QZF in [11] and the state-of-the-art symbol-scaling method in [15] because the former is usually assumed to be the baseline approach and the latter showed an elegant performance-complexity tradeoff over the other existing methods (see [15] for more details). Both QPSK (or 4-PSK) and 8-PSK are considered. Regarding the proposed method, we choose the threshold parameter for Algorithm 1, which is optimized numerically via Monte-Carlo simulation. As mentioned in Section II-B, a flat-fading Rayleigh channel is assumed.

Fig. 4 shows the performance comparison of various precoding methods when QPSK is employed. From this, we observe that QZF suffers from a serious error-floor and thus is not able to yield a satisfactory performance. In contrast, both symbol-scaling and the proposed methods overcome the error-floor problem, thereby outperforming QZF significantly. Moreover, it is observed that the proposed method can slightly improve the performance of QZF with much less computational cost (e.g., complexity reduction).

Fig. 5 shows the performance comparison of various precoding methods when 8-PSK is employed. It is observed that in this case, an error-floor problem is more severe than before, which is obvious since the decision regions of 8-PSK is more sophisticated than those of QPSK. Hence, antenna-selection can attain a more performance gain with a larger search-space. Accordingly, the proposed method can further improve the performance of symbol-scaling method by lowering an error-floor, which is verified in Fig. 5. To be specific, the proposed method with outperforms the symbol-scaling method with an almost same computational cost. Furthermore, at the expense of two times computational cost, the proposed method with can address the error-floor problem completely. Therefore, the proposed method provides a more elegant performance-complexity tradeoff than the state-of-the-art symbol-scaling method.

V Conclusion

In this paper, we showed that the use of antenna-selection can yield a non-trivial performance gain especially at error-floor regions, by enlarging the set of possible transmit-signal vectors. Since finding an optimal transmit-signal vector (encompassing precoding and antenna-selection) is too complex, we proposed a low-complexity two-stage method to directly obtain such transmit-signal vector, which is based on iterative-hard-thresholding and bit-flipping algorithms. Via simulation results, we demonstrated that the proposed method provides a more elegant performance-complexity tradeoff than the state-of-the-art symbol-scaling method. One promising extension of this work is to devise a low-complexity algorithm which is more suitable to our non-linear inverse problem for finding a feasible transmit-signal vector. Another extension is to develop the proposed idea for one-bit DAC MU-MISO systems with quadrature-amplitude-modulation (QAM). This is more challenging than this work focusing on PSK since some decision regions of QAM are surrounded by the other decision regions, which makes difficult to handle.

Fig. 4: , and QPSK. Performance comparison of QZF, symbol-scaling, and the proposed methods for the downlink MU-MISO systems with one-bit DACs. The computational complexities are computed as and .

Fig. 5: , and -PSK. Performance comparison of QZF, symbol-scaling, and the proposed methods for the downlink MU-MISO systems with one-bit DACs. The computational complexities are computed as , for , and for .

References

  • [1] T. L. Marzetta, “Noncooperative cellular wireless with unlimited numbers of base station antennas,” IEEE Trans. Wireless Commun., vol. 9, no. 11, pp. 3590-3600, Nov. 2010.
  • [2] A. Adhikary, J. Nam, J.-Y. Ahn, and G. Caire, “Joint spatial division and multiplexing: The large-scale array regime,” IEEE Trans. Inf. Theory, vol. 59, no. 10, pp. 6441-6463, Oct. 2013.
  • [3] C. Masouros, M. Sellathurai, and T. Ratnarajah, “Large-scale MIMO transmitters in fixed physical spaces: The effect of transmit correlation and mutual coupling,” IEEE Trans. Commun., vol. 61, no. 7, pp. 2794-2804, Jul. 2013.
  • [4] L. Lu, G. Y. Li, A. L. Swindlehurst, A. Ashikhmin, and R. Zhang, “An overview of massive MIMO: Benefits and challenges,” IEEE J. Sel. Topics Signal Process., vol. 8, no. 5, pp. 742-758, Oct. 2014.
  • [5] C. B. Peel, B. M. Hochwald, and A. L. Swindlehurst, “A vector-perturbation technique for near-capacity multiantenna multiuser communication-part I: Channel inversion and regularization,” IEEE Trans. Commun., vol. 53, no. 1, pp. 195-202, Jan. 2005.
  • [6] H. Yang and T. L. Marzetta, “Total energy efficiency of cellular large scale antenna system multiple access mobile networks,” in Proc. IEEE Online Conf. Green Commun., pp. 27-32, Piscataway, NJ, USA, Oct. 2013.
  • [7] A. F. Molisch, V. V. Ratnam, S. Han, Z. Li, S. L. H. Nguyen, L. Li, and K. Haneda, “Hybrid beamforming for massive MIMO: A survey,” IEEE Commun. Mag., vol. 55, no. 9, pp. 134-141, 2017.
  • [8]

    A. Alkhateeb, O. El Ayach, G. Leus, and R. W. Heath, “Channel estimation and hybrid precoding for millimeter wave cellular systems,”

    IEEE J. Sel. Topics Signal Process., vol.8, no.5, pp.831-846, Oct. 2014.
  • [9] J. Mo, A. Alkhateeb, S. Abu-Surra, and R. W. Heath, “Hybrid architectures with few-bit ADC receivers: Achievable rates and energy-rate tradeoffs,” IEEE Trans. Wireless Commun., vol. 16, no. 4, pp. 2274-2287, Apr. 2017.
  • [10] S. Jacobsson, G. Durisi, M. Coldrey, T. Goldstein, and C. Studer, “Quantized precoding for massive MU-MIMO,” IEEE Trans. Commun., vol. 65, no. 11, pp. 4670-4684, Nov. 2017.
  • [11] A. K. Saxena, I. Fijalkow, and A. L. Swindlehurst, “Analysis of one-bit quantized precoding for the multiuser massive MIMO Downlink,” IEEE Trans. Sig. Process., vol. 65, no. 17, pp. 4624-4634, Sept. 2017.
  • [12] O. B. Usman, H. Jedda, A. Mezghani, and J. A. Nossek, “MMSE precoder for massive MIMO using 1-bit quantization,” in Proc. IEEE Int. Conf. Acoust. Speech Sig. Process. (ICASSP), pp. 3381-3385, Shanghai, Mar. 2016.
  • [13] L. T. N. Landau and R. C. de Lamare, “Branch-and-bound precoding for multiuser MIMO systems with 1-bit quantization,” IEEE Wireless Commun. Lett., vol. 6, no. 6, pp. 770-773, Dec. 2017.
  • [14] O. Castaneda, S. Jacobsson, G. Durisi, M. Coldrey, T. Goldstein, and C. Studer, “1-bit massive MU-MIMO precoding in VLSI,” IEEE J. Emerging Sel. Topics Circuits and Systems, vol. 7, no. 4, pp. 508-522, Dec. 2017.
  • [15] A. Li, C. Masouros, F. Liu, and A. L. Swindlehurst, “Massive MIMO 1-bit DAC transmission: A low-complexity symbol scaling approach,” IEEE Trans. Wireless Commun., vol. 17, no. 11, pp. 7559-7575, Nov. 2018.