A Successive Optimization Approach to Pilot Design for Multi-Cell Massive MIMO Systems

A Successive Optimization Approach to Pilot Design for Multi-Cell Massive MIMO Systems

Hayder Al-Salihi, Trinh Van Chien, Tuan Anh Le, and Mohammad Reza Nakhai H. Al-Salihi and M. R. Nakhai are with the Department of Informatics, King’s College London, London, U. K. T. V. Chien is with the Department of Electrical Engineering (ISY), Linköping University, 581 83 Linköping, Sweden. T. A. Le is with the Department of Design Engineering & Mathematics, Middlesex University, London, U. K. (email: {ana.al-salihi; reza.nakhai}@kcl.ac.uk; trinh.van.chien@liu.se; t.le@mdx.ac.uk). The work of H. Al-Salihi was supported by Iraqi Higher Committee of Educational Development (HCED). The work of T. V. Chien was supported by the European Union’s Horizon 2020 research and innovation programme under grant agreement No 641985 (5Gwireless), and also by ELLIIT and CENIIT.
Abstract

In this letter, we introduce a novel pilot design approach that minimizes the total mean square errors of the minimum mean square error estimators of all base stations (BSs) subject to the transmit power constraints of individual users in the network, while tackling the pilot contamination in multi-cell Massive MIMO systems. First, we decompose the original non-convex problem into distributed optimization sub-problems at individual BSs, where each BS can optimize its own pilot signals given the knowledge of pilot signals from the remaining BSs. We then introduce a successive optimization approach to transform each optimization sub-problem into a linear matrix inequality (LMI) form, which is convex and can be solved by available optimization packages. Simulation results confirm the fast convergence of the proposed approach and prevails a benchmark scheme in terms of providing higher accuracy.

A Successive Optimization Approach to Pilot Design for Multi-Cell Massive MIMO Systems


Hayder Al-Salihi, Trinh Van Chien, Tuan Anh Le, and Mohammad Reza Nakhai


00footnotetext: H. Al-Salihi and M. R. Nakhai are with the Department of Informatics, King’s College London, London, U. K. T. V. Chien is with the Department of Electrical Engineering (ISY), Linköping University, 581 83 Linköping, Sweden. T. A. Le is with the Department of Design Engineering & Mathematics, Middlesex University, London, U. K. (email: {ana.al-salihi; reza.nakhai}@kcl.ac.uk; trinh.van.chien@liu.se; t.le@mdx.ac.uk). The work of H. Al-Salihi was supported by Iraqi Higher Committee of Educational Development (HCED). The work of T. V. Chien was supported by the European Union’s Horizon 2020 research and innovation programme under grant agreement No 641985 (5Gwireless), and also by ELLIIT and CENIIT.

I Introduction

In multi-cell Massive MIMO systems, each base station (BS) requires accurate knowledge of the channel state information (CSI) obtained during the pilot training phase. To attain accurate channel estimates, perfectly orthogonal pilot allocations to users are required. Unfortunately, this requirement is impractical, since the pilot overhead has to be proportional to the number of users in the entire system. Furthermore, the channel coherence block limits the number of orthogonal pilots [1]. Thus, pilot signals need to be reused over cells, causing spatially correlated interference, known as pilot contamination that degrades the performance of a Massive MIMO system [1].

In order to address the pilot contamination problem, the authors of [2] proposed a superimposed channel estimation approach by adding a low power pilot signal to the data signal at the transmitter. The superimposed signal is then utilized at the receiver for channel estimation. However, a proportion of the power allocated to the pilot signal is wasted. Fortunately, it has been shown in [3] that the wasted-power problem can be theoretically mitigated with properly designed forward-error-correction codes. On the other attempts, pilot assignment and pilot power control are alternative solutions which can attain great improvements for the case that the system only has a finite set of orthogonal pilot signals [5, 4, 6]. Involving reuse factor in pilot design may lead to a combinatorial pilot assignment problem in many pilot designs and, hence, result in an exponentially increased computational complexity [7].

In this letter, we consider a multi-cell Massive MIMO system adopting minimum mean square error (MMSE) estimators at BSs. We derive the mean square error (MSE) of the adopted MMSE estimator as a widely used accuracy criteria for estimation. We, then, formulate an optimization problem to find optimal pilot signals that minimize the total derived MSE of the MMSE estimators of all BSs in the network subject to a transmit power constraint at each user. The proposed formulation is non-convex with respect to the pilot matrices. To overcome non-convexity, we, first, decompose the proposed optimization problem into distributed subproblems at BSs, where each BS in the network optimizes its own pilot signal, given the knowledge of the pilot signals of other BSs. We then introduce a successive optimization approach to transform each subproblem into a linear matrix inequality (LMI) problem which is convex and can be effectively solved by available optimization packages, e.g., CVX [8]. Finally, we analyse the complexity of the transformed LMI optimization problem.

Notation: Bold lower/upper case letters are used for vectors/matrices; and stand for the Frobenius norm and the Euclidean norm; and is the regular and complex conjugate transpose operator, respectively; is the trace of a matrix; is the positive semidefinite condition; is an identity matrix; is a diagonal matrix which the diagonal entries are elements of the vector ; is a circularly symmetric complex Gaussian distribution; is the expectation of a random variable; is the big-O notation.

Ii System Model

Consider a multi-cell massive MIMO system with cells operating in a time-division duplexing mode. Each cell comprises of an -antenna BS and single-antenna users. The propagation factor between the -th antenna of the BS in cell , denoted as BS , and user in cell is , where is the large scale fading coefficient modeling the path-loss and shadowing, while is small-scale fading.

In the pilot training phase, all users in each cell synchronously send their pilot signals. Let be the pilot signal used by user in cell and , where is the length of the pilot signal, and is the maximum allocated power level by each user in cell to its pilot signal. The received baseband training signal at the -th antenna element of the BS  can be expressed as:

(1)

where is Gaussian noise with . Let the received signals, Gaussian noises, pilot signals by all antenna elements of BS  and the corresponding large scale channel coefficients be denoted as

(2)
(3)
(4)
(5)

Also, let the small-scale fading channel coefficients of all users in cell as seen by BS  be expressed as

(6)

Then, using (II) (II), one can formulate the received training signals by all antenna elements of BS , according

(7)

The first term in right hand side of (II) involves desired channel coefficients and the remaining terms indicate the effects of mutual interference and Gaussian noise. The channel estimate of the original channel is computed by utilizing the MMSE estimation upon the observation of is [9]:

(8)

Plugging (II) in (II), and after some mathematical manipulations, we obtain

(9)

where From (II), the channel estimation quality depends on the pilot design and if , it also suffers from pilot contamination [5, 4, 6]. Let the channel estimation errors at BS  be denoted as

(10)

and the MSE be defined as

(11)

Then, using (II), (II), (II), and after some mathematical manipulations, one can rewrite MSE in (II) as:

(12)

where , , , and . By utilizing the Sherman-Morrison-Woodbury identity

and defining , one can reformulate (II) as

(13)

where .

Iii A Successive Optimization Pilot Design

From (13), the performance of the MMSE estimation algorithm depends on the pilot structure. In this section, we develop an optimal pilot design to minimize the total channel estimation errors of all BSs in the network subject to the transmit power constraints at individual users. Hence, we introduce the following optimization problem for the network:

(14)
subject to

where . Problem (14) is non-convex due to its objective function. To tackle the problem, we first introduce an auxiliary variable , denote , remove the constant , and rewrite (14) as111Problems (14) and (15) are equivalent since (15) is an epigraph form of (14) [10, pp.134]. In fact, introducing the auxiliary variable transforms the objective function into a linear form while shifting the nonlinear part into a constraint.

(15)

Adopting the Schur complement [10], one can equivalently reformulate problem (15) as

(16)

The second set of constraints in (16) is still non-convex due to the nonlinearity of the term with respect to optimization variable , , i.e., the optimization variable is in quadratic forms and appears in both numerator and denominator of the term. As a main contribution of this paper, we propose a distributed algorithm where every BS optimizes its own pilot signals given the knowledge of the pilot signals of the other cells in as follows:

(17)

Although the distributed optimization problem (17) only considers and as the optimization variables, its second constraint is still not in an LMI form with respect to . To proceed, we propose a successive optimization approach where, at the -th iteration, BS updates its pilot signals by solving the following distributed optimization problem:

(18)

where from the previous iteration is

(19)

and are the optimal pilots of cells and , respectively, which are obtained from the -th iteration. In order to transform the second constraint of (18) into an LMI form with respect to both and , we have used the known value of . Notice that at the stationary point attained after a sufficient number of iterations, the approximation

(20)

can be assured with any desired accuracy. Note that, the matrix in the second constraint of (18) is not Hermitian during the iterations, due to the mismatch between and . To guarantee a Hermitian matrix in the second constraint of (18), we introduce a new variable , such that

(21)

Finally, we reformulate (18) as

(22)
subject to

Problem (22) is now convex and can be efficiently solved by CVX [8]. The procedure to obtain the optimal pilot signals for all cells in the network is summarized in Algorithm 1. Remark 1 (Convergence): Since problem (22) is convex, steps 3 and 4 in Algorithm 1 ensure the -convergence of to its optimal value and a minimal objective function value in problem (22) per cell.222 Although the global optimality can be achieved per iteration and per cell by solving (22), it may not be achievable to the original multicell problem (14) due to its inherent non-convexity. In fact, Algorithm 1 is a suboptimal algorithm with an affordable complexity to the NP-hard problem (14).

1:  Inputs: , , , stopping criteria , initialize , ; ;
2:  Each cell calculates utilizing (19) and then solves (22) to attain , ; Exchange with the other cells;
3:  If , then Go to step 5;
4:  else if , then ; Go to step 2;
5:  Outputs: , .
Algorithm 1 Successive optimization approach for (15)

As the main computational complexity of Algorithm 1 is to solve (22) at each BS, we analyze such complexity in the sequel. Since (22) contains LMI constraints, a standard interior-point method (IPM) [10] can be used to find its optimal solution. Therefore, we consider the worst-case runtime of the IPM to analyze the computational complexities of the proposed problem (22) as follows.

Definition 1: For a given , the set of is called an -solution to (22) if

(23)

It can be observed that the number of decision variables of problem (22) is on the order of . Let , we introduce the following lemma.

Lemma 1

The computational complexities to obtain -solution to problem (22) is

(24)

where

Proof: Problem (22) has LMI constraint of dimension , LMI constraint of dimension , and LMI constraint of dimension . Based on these observations, one can follow the same steps as in [11, Section V-A] to arrive at (24). Note that the term in (24) is the iteration complexities [11] required for obtaining -solutions to problem (22) while the remaining terms represent the per-iteration computation costs [11].   

Iv Simulation Results

A wrapped-around multi-cell Massive MIMO system is considered for simulations with , and . All users are randomly distributed over the coverage area. However, the distance between any user of cell and BS , denoted as , is always satisfied km. The system utilizes MHz bandwidth related to the noise variance of dBm and the noise figure of dB. The large-scale fading coefficient [dB] is modeled as where is the shadow fading following a log-normal Gaussian distribution with the standard variation of dB. Monte-Carlo simulations are tackled over different realizations of user locations. The widely adopted orthogonal pilot design, e.g., [12, 4], is used as a benchmark where each pilot symbol is allocated with power mW and those orthogonal pilots are reused amongst users in the network. For every realization of user locations, such pilot signals are generated by the eigenvectors of a uniformly generated random matrix. The power constraint for pilot signal is set to be mW, .

Fig. 1: The CDFs of the MMSE per user-BS antenna link for the proposed and benchmark approaches.
Fig. 2: The CDFs of the power allocated for each pilot symbol of the proposed approach with different pilot lengths; The average power allocated for each pilot symbol of the proposed approach v.s. the pilot length.
Fig. 3: The convergence of MMSE per user-BS antenna link v.s. iteration index for the proposed approach.

Fig. 1 shows the cumulative distribution function (CDF) of the BS-user antenna link which is defined by . It is clear from the figure that the channel estimation accuracy of the proposed approach is significantly improved compared to that of the benchmark. This confirms the effectiveness of our optimal pilot design in combating pilot contaminations. The results also indicate that the performance gap between the proposed approach and the benchmark increases as the pilot length increases. This is because increasing pilot length gives more degrees of freedom to the proposed approach for optimizing its performances.333The MMSE of the system approaches zero when the pilot length goes to infinity. An ideal pilot length of is sufficient to distinguish all users in the network, and also to balance between channel estimation errors and spectral efficiency (SE). However, this is impractical for a large-scale network. To that end, the proposed approach offers significant MMSE improvements for practical pilot lengths, i.e., when .

Fig. 2 (a) displays the CDFs of the power allocated to each pilot symbol with different pilot lengths. It can be seen from the figure that for most of the cases, e.g., around for and for and , the proposed approach spends less power for each symbol than the benchmark does, i.e., less than mW per symbol. Fig. 2 (b) illustrates the average power for each pilot symbol against the length of pilot signals. When , the proposed approach consumes less power than the benchmark does and the system suffers from both intra-cell and inter-cell interference. In such hostile situations, the proposed approach can still effectively handle the pilot contaminations which results in higher channel estimate accuracy as seen in Fig. 1, while consuming less power than the benchmark. Interestingly, when , the optimal transmit power spent on each symbol turns out to be mW and to be constant irrespective to the value of , which can also be observed from the CDF shown in Fig. 2 (a).

Fig. 3 numerically reveals the fast convergent speed of the proposed approach, i.e., within less than 20 iterations. This results confirm the statement in Remark 1. Finally, Table I demonstrates the average uplink SE of per user in the network using the use-and-then-forget capacity bounding technique [6, eq. (28)] with maximum ratio detection, fixed data power mW, and the coherence block length symbols. Thanks to minimizing MSE, the proposed approach attains a higher uplink SE than the benchmark does.

Benchmark 1.19 1.49 1.55
Proposed 1.39 1.74 1.86
Gain 16.81% 16.78% 20.00%
TABLE I: Average uplink SE of each user in the network [bits/s/Hz] for different pilot lengths.

References

  • [1] E. Björnson et al., “Massive MIMO: 10 Myths and One Critical Question”,vol. 54, no. 2, pp. 114-123, 2016.
  • [2] H. Zhang et al., “On superimposed pilot for channel estimation in multicell multiuser mimo uplink: Large system analysis,” IEEE Trans. Vehi. Techno., vol. 65, no. 3, pp. 1492–1505, 2016.
  • [3] J. Ma et al., “On Orthogonal and Superimposed Pilot Schemes in Massive MIMO NOMA Systems,” IEEE Journal on Selected Areas in Commun., vol. 35, no. 12, pp. 2696-2707, 2017.
  • [4] X. Zhu et al., “Smart pilot assignment for Massive MIMO,” IEEE Commun. Letters, vol. 19, no. 9, pp. 1644 - 1647, 2015.
  • [5] P. Wang et al., “A Novel Pilot Assignment Approach for Pilot Decontaminating in Massive MIMO Systems, ” in Proc. IEEE Wireless Commun. and Networking Conf. (WCNC), pp. 1-6, 2017.
  • [6] T. V. Chien et al., “Joint Pilot Design and Uplink Power Allocation in Multi-Cell Massive MIMO Systems,” IEEE Trans. Wireless Commun., early access.
  • [7] S. Ma, et al., “A Novel Pilot Assignment Scheme in Massive MIMO Networks,” IEEE Wireless Commun. Letters, early access.
  • [8] M. C. Grant and S. P. Boyd, The CVX Users’ Guide, Release 2.1., Mar. 2015, [Online]. Available: http://web.cvxr.com/cvx/doc/CVX.pdf.
  • [9] T. Kailath et al., Linear Estimation.   Prentice Hall, 2000.
  • [10] S. Boyd and L. Vandenberghe, Convex Optimization.   Cambridge University Press, 2004.
  • [11] K.-Y. Wang et al., “Outage constrained robust transmit optimization for multiuser MISO downlinks: Tractable approximations by conic optimization,” IEEE Trans. Signal Process., vol. 62, no. 21, pp. 5690-5705, 2014.
  • [12] L. You et al., “Pilot reuse for Massive MIMO transmission over spatially correlated rayleigh fading channels,” IEEE Trans. Wireless Commun., vol. 14, no. 6, pp. 3352-3366, 2015.
Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
363977
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description