 Research
 Open Access
 Published:
Mitigating the noisy solution impact of mixed Gibbs sampling detector in highorder modulation largescale MIMO systems
EURASIP Journal on Advances in Signal Processing volume 2021, Article number: 83 (2021)
Abstract
A neighborhoodrestricted mixed Gibbs sampling (MGS)based approach is proposed for lowcomplexity highorder modulation largescale multipleinput multipleoutput (LSMIMO) detection. The proposed LSMIMO detector applies a neighborhood limitation (NL) on the noisy solution from the MGS at a distance d — thus, named dsimplified MGS (dsMGS) — in order to mitigate its impact, which can be harmful when a highorder modulation is considered. Numerical simulation results considering 64QAM demonstrated that the proposed detection method can substantially improve the MGS algorithm convergence, whereas no extra computational complexity per iteration is required. The proposed dsMGSbased detector suitable for highorder modulation LSMIMO further exhibits improved performance × complexity tradeoff when the system loading is high, i.e., when \(\frac {K}{N}\geq 0.75\). Also, with increasing the number of dimensions, i.e., increasing number of antennas and/or modulation order, a smaller restriction of 2sMGS was shown to be a more interesting choice than 1sMGS.
1 Introduction
In order to meet the demands of high transmission capacity, high reliability, and spectral and energy efficiency requirements of modern wireless communication systems, the multiple input and output (MIMO) technique has been proposed and considered an appropriate solution due to their ability to provide multiplexing and diversity gains without the need for additional spectral features. These advantages are further enhanced by largescale use, called largescale MIMO (LSMIMO), which has important application in fifthgeneration (5G) wireless communications. Such structures hold the same benefits as conventional MIMO, however on a larger scale. More properly, LSMIMO is defined as a transmission/reception design using typically several tens or even hundreds of antennas in at least one of the communication terminals, usually in the base station (BS) [1, 2]. This turns out to be convenient for the systems in question, since the reduced dimensions of user equipments (UEs) suggest a singleantenna arrangement in each UE; on the other hand, a huge amount of antennas need to be is installed in each BS.
However, the LSMIMO high capacity/spectral efficiency comes with a price: as the number of antennas at BS increases, the computational complexity of data detection tends to grow proportionally. Hence, efficient and lowcomplexity symbol detection techniques becomes critical as the processing of large numbers of signals can become a system bottleneck. It is well known that maximum likelihood (ML) detection could provide optimum symbol detection, but its high complexity forbids it from a practical implementation for MIMO systems. Therefore, suboptimal linear and nonlinear detectors with low complexity are often employed. Many lowcomplexity LSMIMO detectors have been proposed in recent literature, including detectors based on (a) local neighborhood search, such as likelihood ascent search (LAS) algorithm [3], and reactive tabu search (RTS) algorithm [4]; (b) message passing (MP) algorithms, based on belief propagation (BP) technique, such that LSdetectors inspired in graphical models, as factor graph (FG) [5] and Markov random fields (MRF) [6]; (c) minimum mean square error (MMSE) approximation techniques [7, 8], which result in low complexity at the price of achieving good performance only at low system loading factor; (d) Markov Chain Monte Carlo (MCMC) techniques, which are based on Gibbs sampling (GS) [9] and its variations [10–13], emerging as a promising approach to deal with LSMIMO structures, since such techniques demonstrate a nearoptimum performance while requiring a lowmoderate complexity (quadratic order) and also presenting a simple and effective way to solve the largescale detection problem.
From the GSbased techniques, in [10], a strategy of mixing between the conventional GS solution and a random or noisy solution was proposed, which is controlled by a mixing ratio parameter and is called mixed GS (MGS). The MGS has been shown to solve the stalling problem of the GS detector in low order of modulation, i.e., 4QAM. With the modulation order increasement, the multiple restarts (MR) technique is proposed, which restarts the algorithm with a new initial solution, taking advantage of the random evolution of the algorithm and can result in a better cost solution. The MGSMR detector showed nearoptimal performance in 16QAM modulation; however, in high modulation order, the noisy solution interferes with the convergence of the algorithm, requiring an extra strategy to avoid the impact of this solution. In [14] is proposed the use of multiple samples, called averaged MGS (aMSG), in order to minimize this impact, besides a simplification in the target distribution function. Numerical results demonstrate a convergence improvement in highorder modulation and high system loading; on the other hand, the choice of sample amount and mixing ratio tends to be difficult. In the present work, a strategy for reducing the solution is also addressed, through a limitation in the neighborhood of the random solution, which presented superior performance to the aMGS, with marginally similar computational complexity.
Also related to the MGS detector, in [15], an optimization on mixing time was introduced to accelerate the finding of the optimal solution. Numerical results demonstrated that a mixing time dynamic choice based on SNR can improve convergence, although the stalling problem persisted when a fixed mixing time is adopted. Besides that, these results did not consider the performance behavior in highorder modulation systems. A QR decomposition approach within the MCMC detector was addressed in [16, 17], which demonstrated to reduce the number of operations due to the lower triangular matrix feature. Furthermore, based on the concept of multiple random parallel Markov chains, work in [18] proposes a MR strategy through parallel chains; such strategy reduced the algorithm’s running time compared to MGSMR, despite the increasing of the number of real operations per symbol.
The contribution of this work follows: (i) A neighborhood limitation (NL) strategy is proposed aiming at improving the MGS convergence rate operating under higherorder modulation and largescale MIMO regime. The proposed strategy, called dsMGS (dsimplified MGS), performs a NL in the random solution coming from the mixture used by the MGS detector. As a result, the impact caused by this noisy solution is mitigated and the convergence is increased. (ii) An analysis of the performance × complexity tradeoff is carried out among the proposed dsMGS, the conventional MGS [10], and the aMGS (averaged MGS) [14], which the latter is an approach that also aims to alleviate the impact caused by the random solution, although the procedure is based on multiple sampling (MS) strategy, which samples the estimated symbol multiple times and performs a mean operation to obtain the result.
The remainder of this paper is organized as follows. Section 2 presents the adopted largescale MIMO system model. A review on the MGS technique is presented in Section 3 and the MGSbased approaches with noisy solutionreduced impact are discussed in Section 4, while the aMGS approach is described in Section 4.1 and the proposed simplified MGS with NL detector for LSMIMO is developed in Section 4.1. Computational complexity is presented in Section 5 and extensive numerical simulation results are analyzed in Section 6. Conclusion remarks are provided in Section 7.
2 System model and problem formulation
We consider an uplink (UL) singlecell MIMO communication system operating in multiplexing gain mode with K active singleantenna users and N receive antennas at the base station (BS), as disposed in Fig. 1. We mainly investigate the performance × complexity tradeoff of suitable LSMIMO detection schemes and, for simplicity, the availability of the channel state information at the BS is considered, which also aims to reach the pure efficiency of each detection technique. Thus, the pilot training stage and the respective pilot contamination effect have not taken into account in such context.
Moreover, for simplicity, the communication channel is assumed to be frequencyflat fading, compound by the complex channel matrix \(\mathbf {H}_{c} \in \mathbb {C}^{N \times K}\). The elements of H_{c} are all independent complex Gaussian random variables with zero mean and unit variance, i.e., \(\phantom {\dot {i}\!}H_{c_{i,k}} \sim \mathcal {C}\mathcal {N}[0; 1]\), where \(\phantom {\dot {i}\!}H_{c_{i,k}}\) denotes the element in the ith row and kth column of the matrix H_{c}. Let s_{c} be the K×1 complex vector corresponding to the K symbols MQAM transmitted over the singleantenna users, \({\mathbf {s}_{c}} \in \mathbb {A}_{c}^{K}\) where \(\mathbb {A}_{c}\) denotes the QAM constellation adopted. The UL received signal, \(\phantom {\dot {i}\!}y_{c_{i}}\), at the ith BS antenna can be written as:
where \(\phantom {\dot {i}\!}y_{c_{i}}\) denotes the ith element of the complex received signal vector y_{c} and \(\phantom {\dot {i}\!}s_{c_{j}}\) is the jth element of s_{c}. In matrix form, the received signal vector at the BS is rewritten as
where η_{c} denotes the additive white Gaussian noise (AWGN) vector, assumed to be a complex Gaussian random variable with zero mean and variance given by \(\mathbb {E} \left [ \boldsymbol {\eta }_{c} \boldsymbol {\eta }_{c}^{H}\right ] = \sigma ^{2} \mathbf {I}_{N}\), where σ^{2} is the noise variance at each receive antenna.
The average received SNR at each receive antenna can be modeled as \(\gamma = \frac {K P_{\mathrm {s}}}{\sigma ^{2}}\), where P_{s} is the power of the received symbols. For simplicity, it is considered that the largescale fading effect has been compensated in such a way that all K users’ signals are received with equal power at the BS, and assumed equal to KP_{s}, denoting the total sum power available at the transmitters [19].
In this work, a realvalued system model corresponding to (2) is adopted, which is given by:
where \(\mathbf {y} \in \mathbb {R}^{2N \times 1}, \mathbf {H} \in \mathbb {R}^{2N \times 2K}, \mathbf {s} \in \mathbb {R}^{2K \times 1}, \boldsymbol {\eta } \in \mathbb {R}^{2N \times 1}\), and defined as:
For the QAM complex alphabet \(\mathbb {A}_{c}\), the elements of s assume integer values from the underlying pulseamplitude modulation (PAM) alphabet \(\mathbb {A}\), i.e., \(\mathbf {s} \in \mathbb {A}^{2K}\).
The maximum likelihood (ML) decision rule is given by: \(\mathbf {s}_{\text {ML}} = \text {arg\,min}_{\hat {\mathbf {s}} \in \mathbb {A}^{2K}} \mathbf {y}  \mathbf {H}\hat {\mathbf {s}}^{2}\). However, the ML detector is exponentially complex in K, being prohibitive for large K·N, which is the case of LSMIMO systems [19].
3 Conventional method: review of mixed Gibbs sampling detection
The LSMIMO detector mixed Gibbs sampling (MGS) proposed in [10] is revisited in this subsection, which is based on the motivation to solve the stalling problem presented in the conventional GS detector.
To sample the estimated symbol at each position, a target distribution [20] is evaluated, which is given by:
where \(\hat {s}_{i}\) denotes the ith position of the estimated symbols vector \(\hat {\mathbf {s}}, \alpha \) denotes a positive parameter, which tunes the mixing time of the Markov chain [20] and is also called as temperature. The conventional Gibbs sampling detector does not include the α parameter in its sample process and thus can be viewed as a special case when α=1. A larger temperature speeds up the mixing and aims to reduce the higher moments of the number of iterations when finding the correct solution. However, as stated in [10], the stalling problem persists even with large α.
The MGS detector utilizes a mixing of (a) conventional Gibbs sampling (i.e., α=1) and (b) the infinite temperature version of (5) (i.e., α=∞), resulting in a random and uniform sample from all the possibilities, called a noisy or random solution in this paper. In this way, the MGS follows a sampling distribution given by:
and
where q denotes the mixing ratio. The MGS detector of [10] considers the α_{1}=1,α_{2}=∞ combination, which results in a nearML performance, overcoming the stalling problem of the GS, being also a simple implementation choice. On the other hand, in highorder modulation, such as 64QAM and 256QAM, the noisy solution interferes in the algorithm’s convergence, since there are a large number of symbols in the constellation and a simple random solution in this signal space has a high possibility of being far from the real solution, which causes the algorithm to require more iterations for convergence. In this sense, the proposed dsMGS detector acts to mitigate this harmful effect.
Regarding the mixing ratio parameter q, in [10], an analysis in loworder QAM constellations is carried out and its suitable value choice is presented as the inverse of the number of dimensions in the system, i.e., \(q=\frac {1}{2K}\), which is also employed in the proposed detector during our numerical simulations.
In the MGS algorithm, an initial solution \(\hat {\mathbf {s}}^{(t=0)}\) is considered for the estimated symbols vector, where t represents the current iteration. Indeed, the initial solution may be chosen either by a random symbols vector or as the output of a linear lowcomplexity detector, such as zero forcing (ZF) or MMSE. The index i, in addition to the position of the vector \(\hat {\mathbf {s}}\), also denotes the coordinate referring to the MGS algorithm, where \(i=1,2,\dots,2K\). Therefore, each iteration requires 2K coordinate updating. At each iteration, updating the 2K coordinates is performed by sampling the distributions given by:
One can notice that by (8) each updated coordinate is fed, in the same iteration, to the next coordinate.
The probability of the ith symbol assuming the value \(a_{j} \in \mathbb {A}, \forall j = 1,\dots,\mathbb {A}\) can be written as:
where the cardinality of set \(\mathbb {A}\) is expressed as \(\mathbb {A}\), while \(\hat {\mathbf {s}}_{i,j}\) denotes the vector \(\hat {\mathbf {s}}^{(t)}\) with its ith position changed to the symbol a_{j}.
The sampling process based on (9) can lead to a numerical limitation due to the exponential function. In this sense, such implementation was carried out through a logarithmic intermediate step, as:
where \(f(i,j) = { \frac {\mathbf {y}  \mathbf {H} \hat {\mathbf {s}}_{i,j} ^{2}}{\alpha ^{2}\sigma ^{2}}}\) and \(f^{\text {ord}}_{i}\) is ith position of f in descending order, for \(i=1,\dots,\mathbb {A}\). A practical and computationally efficient evaluation of MGS target Function is summarized in Algorithm 1.
The MGS algorithm ends after a certain amount of iterations, and the vector of estimated symbols is chosen as the vector that presented the lowest ML cost, considering all iterations. In the next subsections, the additional strategy of multiple restarts (MR) [10] and the stopping criteria for the iterations and the restarts are addressed.
3.1 Multiple restarts
In medium QAM order modulations, such as 16QAM, the mixing strategy of MGS is unable to achieve nearoptimal performance [21] in a reasonable number of iterations, while MR procedure, as proposed in [10], has demonstrated promising results, leading the MGSMR under 16QAM to nearoptimal performance.
In the aMGS and dsMGS detectors, the MR strategy is also incorporated, namely aMGSMR and dsMGSMR detectors. Thus, Algorithms 2 and 3 run either a maximal number of restarts R_{max} times or it is limited by a stopping criterion and the lowest cost found considering all restarts is the final solution. As discussed in Section 6, the MR strategy can improve the convergence of the algorithm compared to the same number of iterations in a single execution, resulting in a better performancecomplexity tradeoff.
3.2 Stopping criterion
Given that the mixing strategy provides the local minimum escaping feature, the evolution of the cost function values across iterations becomes unpredictable and the optimal solution can be found before the maximum number of iterations \(\mathcal {I}\) has been reached [14]. In this sense, an efficient stopping criterion is paramount in reducing the complexity of the MGS detector.
Similarly, the decision to set a restart in the algorithm requires a criterion definition, since the optimal solution may already have been found, not requiring an extra execution of the algorithm. Hence, MR strategy must be balanced aiming to achieve a better performancecomplexity tradeoff.
Stopping criteria have been proposed in the literature. For instance, in [10], the stopping criterion is based on the difference between the best ML cost found so far and the noise variance. Moreover, the QAM constellation size could be taken into account. The main idea in [10] is to stop the detection iterations if a maximum number of iterations \(\mathcal {I}\) is attained or if the iteration in stalling mode is larger than a maximum of Θ_{s} iterations.
Assume the estimated symbol vector, in the tth iteration, is \(\hat {\mathbf {s}}^{(t)}\). The quality metric of \(\hat {\mathbf {s}}^{(t)}\) is defined as
Hence, the stalling limit for iterations, Θ_{s}, is given by
where c_{s} is a constant depending upon the MQAM constellation size, which increases with M. Although (12) is suitable as a stopping criterion, a minimum number of iterations c_{min} must be defined to ensure the quality of symbol detection. Therefore, Θ_{s} can be rewritten as
where c_{1} is a tunning constant which defines the allowed number of iterations in stalling mode.
For the MR strategy, the criterion set the allowable number of restarts Θ_{r}, which also is based on quality metric \(\phi \left (\hat {\mathbf {s}}^{(t)}\right)\):
and c_{2} is the tuning constant adjusting the maximum number of restarts.
At the end of each restart, Θ_{r} is computed and checked if the actual number of repetitions is less than Θ_{r}. If yes, go to another run of the algorithm; else, output the solution vector with the minimum cost so far as the final solution.
For the aMGS and dsMGS detectors presented below, aMGS and dsMGS, we also assume the stop criteria described in this subsection.
4 Reducing the impact of noisy solution
Originally, the mixture between the target distribution function solution and the random solution, proposed by MGS detector of [10], attempted to escape local minima that degrade system performance. In fact, this procedure showed to significantly improve the performance, specially in loworder modulation scenarios, as 4 or 16QAM. On the other hand, in highorder modulation systems, the large number of symbols causes the random solution to degrade the convergence of the algorithm since it is based on a coordinate update process which requires the global solution; thus, one or more positions that consider a random solution (probably erroneous and far from the real solution) interfere in the convergence in the other positions and, consequently, in the global one. This condition is aggravated in highdimension problems, i.e., combining highorder modulations and number of antennas, which is the case of interest in this work.
In this sense, two approaches that tries to alleviate the harmful impact of the noisy solution are described below. Figure 2 summarizes the coordinate update process on the aMGS and dsMGS detectors. The strategy of multiple samples in mitigating the noisy solution also runs the risk of nullifying this solution if many samples are employed; this can happen since a mean among many terms from a r.v. with probabilities q and (1−q) — with q<<(1−q) — tends to be an average value in which the term with probability q is nullified. In this sense, the noisy solution would be ineffective and the condition of stalling problem could happen, since the mixing of the MGS is a strategy to specifically tackle it.
4.1 Approach #1: Averaged MGS LSMIMO detector
The aMGS proposed in [14] is addressed herein and is based on the following improvements:

1
Averaged multiple sampling on each coordinate: differently from the single sampling strategy [10], the aMGS employs an average between L_{e} number of samples at each coordinate during the update process. By employing an averaged calculation, an intermediate (averaged) point between the target function symbol and the random symbol is more likely to be chosen, instead of a pure random symbol. As a result, the benefit of local minima escape is maintained, whereas the negative impact on the algorithm’s convergence is smoothed.

2
Target function simplification: to reduce the computational complexity related to target function calculation of (9), the aMGS adopts a minimum ML cost approach. This simplification performs less mathematical operations, since the \(\mathbf {y}  \mathbf {H} \hat {\mathbf {s}}\) computation is already performed in (9). Thus, the aMGS target function, in the tth iteration is evaluated as:
$$ \xi \left({\hat{\mathbf{s}}_{i}^{(t)}}, \mathbf{y}, \mathbf{H} \right) = \underset{j \in \left\{1, \dots, \mathbb{A}\right\}}{\arg\min} \mathbf{y}  \mathbf{H} \hat{\mathbf{s}}_{i,j}  \ , $$(15)where \({\hat {\mathbf {s}}_{i}^{(t)}}\) denotes the updated estimated symbol vector until the (i−1) position at the tth iteration, whereas the other remaining \(i, \, (i+1), \dots,\, 2K\) positions assume the values from the previous iteration, i.e.,
$$ {\hat{\mathbf{s}}_{i}^{(t)}} = \left[\hat{s}_{1}^{(t)},\dots,\hat{s}_{i1}^{(t)},\hat{s}_{i}^{(t1)},\dots,\hat{s}_{2K}^{(t1)}\right]^{T} $$
Compared to (9), the calculation of (15) performs less operations while achieving the same BER performance [14].
4.1.1 MS in coordinate update process
The coordinate update process of aMGS is defined by:
where L_{e} is the number of samples (realizations), and the random variable (r.v.) ρ_{m,i} is a mixture of two r.v. with weight given by the mixing ratio q, defined by:
It is important to note that, being (15) a deterministic function, during the L_{e} realizations on each coordinate, (15) is calculated only once, when m=1. After that, each m realization has the computational cost of generating a random number (relative to the mixing ratio).
At the end of algorithm iterations, the vector with the lowest cost is assumed the best global solution. Due to the mean operation, a slicer for MQAM constellation is needed at the end of the detection procedure. Thus,
where \(\hat {\mathbf {s}}_{\mathrm {fbest}} \) is the “floatingbest” solution which represents the estimated vector related to the best global cost attained after \(\mathcal {I}\) iterations, and \(\hat {\mathbf {s}}_{\text {best}} \) is the final estimated symbol vector. A pseudocode for the aMGS is described in Algorithm 2.
4.2 Approach #2: Simplified MGS with neighborhood limitation LSMIMO detector
We propose a different approach which is based on a neighborhood limitation of distance d in the random solution and is named dsMGS LSMIMO detector. The term simplified refers to the simplified target function of Eq. 15, which is also employed in this scheme.
The proposed dsMGS detector acts in the symbol constellation performing a NL, with distance d in relation to the symbol estimated in the previous iteration, when sorting the random symbol. This procedure showed to significantly improve the convergence when a modulation of highorder is considered, as disposed in Section 6, and presents the lowest persymbol complexity among MGS and aMGS, since it considers the simplified target function (overcoming the MGS in mathematical operations) and performs a single sample (overcoming the multiple sampling aMGS), as showed in Section 5.
4.2.1 NL in coordinate update process
The dsMGS coordinate update process is based on a mixture between the simplified target function, Eq. 15, and a limited random solution. Thus, the estimated symbol in the titeration at the ith coordinate is given by:
where χ_{i}(·) is the mixed r.v. with weight q, defined by:
the r.v. \(\upsilon \left (\hat {s}_{i}^{(t1)}, d\right)\) denotes an uniform sorted symbol in the constellation neighborhood of \(\hat {s}_{i}^{(t1)}\), with distance d.
In this algorithm, the neighborhood of the current solution \(\hat {s}_{i}^{(t1)}\) is defined as
where κ_{d} is the symbol distance function in the realvalued constellation considered, for example, let \(\mathbb {A}=\left \{ 7,5,3,1,+1,+3,+5,+7 \right \}, \hat {s}_{i}^{(t1)}=3\) and s^{′}=+1, then the symbol distance function results in \(\kappa _{d} \left (\hat {s}_{i}^{(t1)},{s}'\right)=2\).
Thus, the r.v. \(\upsilon \left (\hat {s}_{i}^{(t1)}, d\right)\) samples from a discrete uniform distribution on the set \(\mathcal {N} \left (\hat {s}_{i}^{(t1)}, d\right) = \left \{ n_{1}, \dots, n_{\mathcal {N}} \right \}\).
A pseudocode for the proposed dsMGS is described in Algorithm 3. The multiple restarts additional strategy is omitted, since it simply restarts the algorithm with another initial solution.
5 Computational complexity
The computational complexity is described in terms of real number of operations (rops), in which one rop denotes the computational complexity of the real mathematical operations: addition, subtraction, multiplication, or division. For the exponential and logarithmic functions, an approximation through Taylor Series with 18 terms has been considered to calculate the computational complexity. Table 1 describes the persymbol computational complexity (\(\mathcal {C}_{T}\)) involved in each step of dsMGS algorithm. Additionally, the total persymbol complexity of the aMGS and the conventional MGS has been evaluated. The persymbol complexity of the initial solution is denoted by \(\mathcal {C}_{I}\), which is adopted in this work as the output of an MMSE detector, which has also its total complexity described in Table 1 [22]. From Table 1, one can notice that the dsMGS algorithm and aMGS and MGS algorithms have the same asymptotic persymbol complexity order of \(\mathcal {O}(K^{2})\), although the conventional MGS algorithm may require an additional complexity dependent on constellation size due to the exponential function, which is represented by the cardinality \(\mathbb {A}\). On the other hand, the additional complexity due to the averaged strategy of the aMGS represents a negligible impact, since it requires only (2L_{e}+2)rops per iteration, whereas such additional complexity is not dependent on the problem size. The proposed dsMGS algorithm combines advantages of both by using a single sample such as the MGS and the simplified aMGS target function. The complexity increment given by the neighborhood constraint is considered negligible, since the symbol is already previously estimated and such procedure represents only a random sampling in a restricted vector.
From Table 1, it may be noted that the proposed dsMGS has its persymbol complexity independent of the parameter d, so the use of larger neighborhoods in the random symbol generation has no impact on complexity. With respect to the persymbol complexity of the initial solution, \(\mathcal {C}_{I}\), in this work, we adopted the output of an MMSE detector, which has also its total complexity described in Table 1.
It is important to emphasize that the complexity of the dsMGS, aMGS, and MGS algorithms is defined by the number of iterations, which is controlled by the stopping criterion Θ_{s}, with the upper limit \(\mathcal {I}\). Similarly, the amount of restarts is controlled by Θ_{r}, with an upper limit R_{max}. In terms of complexity, the MR procedure can be interpreted as an extra amount of iterations necessary for each new restart. In this sense, an \({\mathcal {I}_{\text {eff}}}\) is considered in Table 1, which denotes the total amount of iterations (including all restarts) performed at each symbol period. Since Monte Carlo method is employed in simulations, in Section 6, a mean value of \({\mathcal {I}_{\text {eff}}}\) considering all realizations is evaluated and is called effective number of iterations (ENI):
where T denotes the total number of realizations (symbol periods) during the Monte Carlo method simulation and \({\mathcal {I}_{\text {eff},i}}\) denotes the \({\mathcal {I}_{\text {eff}}}\) in the irealization.
5.1 Quality metric
Due to the large number of parameters involved in the presented LSMIMO detectors, a simple performancecomplexity tradeoff metric is considered [14], which aims to establish a fair comparison analysis between different detection strategies:
where BER_{dB} denotes the bit error rate in dB. Higher values of χ(·) imply more efficient and effective LSMIMO detector.
6 Numerical results and discussion
In this section, the uncoded BER performance related to the dsMGS algorithm for LSMIMO detection is evaluated through Monte Carlo simulations. The simulations are performed for a largescale MIMO operating in multiplexing mode and assuming that a perfect channel state information is available at the receiver side. Table 2 summarizes the main system and channel parameter values deployed in this section.
As proposed in [10], the mixing ratio parameter is adopted as the inverse of the number of dimensions in the system, i.e., \(q=\frac {1}{2K}\). For the stopping criterion parameters, we have adopted c_{1}=10,c_{2}=1.0, and c_{min}=10 [14].
This numerical simulation section has been divided into two main parts: in Section 6.1, the mixing ratio q and number of samples L_{e} parameters of the aMGS detector are discussed, as it denotes a technique that also aims at reducing the impact of the noisy solution; in Section 6.2, we present numerical results of performance and computational complexity of the proposed dsMGS detector against the aMGS and MGS techniques, addressed in this work.
6.1 aMGS parameter discussion
The aMGSMR BER performance for different mixing ratios q={1/2K,1/3K,1/4K}, considering R_{max}={1,5,10}, is presented in Fig. 3 for each fixed L_{e}∈{1, 2, 4, 8} sample scenario [14]. The number of users is equal to K=96 while N=128 BS antennas (β=0.75). The system is operating under mediumhigh SNR, γ_{dB}=25 dB. First, it is evident that the choice of different mixing ratio values impact both performance and complexity (represented by the ENI quantity at convergence). In addition, one can notice that the large amount of L_{e}=8 samples becomes harmful to the algorithm, once convergence is achieved with larger ENI. Among the other results, the best performancecomplexity tradeoff is presented with L_{e}=2 samples and q=1/4K, which results in: \(\left. \chi \right _{L_{e}=2} = 44.89\); against \(\left. \chi \right _{L_{e}=4} = 37.85\) with 4 samples and q=1/2K; and \(\left. \chi \right _{L_{e}=1} = 39.66\) with 1 sample and q=1/4K. A detailed analysis of the aMGS performance/complexity gain in relation to the mixing ratio and the number of samples can be found in [14].
It can also be concluded that with increasing number of samples L_{e}, the curve represented by q=1/2K has its convergence improved, resulting in less complexity. That is, when the impact of the noisy solution is reduced, the choice of q=1/2K is presented as the best performancecomplexity tradeoff. In this sense, the value q=1/2K is adopted for the proposed detector dsMGS.
Through the analysis performed in [14], the parameter values summarized in Table 3 have been adopted for the aMGS in the reminder of this work. For the MGSR, the following parameters have been adopted: \(q=1/2K, \mathcal {I}=8K\sqrt {M}, R_{\text {max}}=50, c_{1}=10\), and c_{2}=0.5 [10].
In Fig. 4, the convergence of the aMGS algorithm adopting best q values, from Table 3, is analyzed against the average rops complexity, with 96×128 antennas and 64QAM [14]. For comparison purpose, a single sampling result using the optimal mixing ratio value as proposed in [10], i.e., q=1/2K (curve [E]), is also included. One can notice that a less number of samples has shown to be beneficial in this LSMIMO scenario, since the single sample case presented the best performance combined to the lowest asymptotic complexity, followed by the two (L_{e}=2) and fourfold (L_{e}=4) sampling case. Nevertheless, due to a slightly convergence gain observed with L_{e}=2 samples, the tradeoff metric for L_{e}=1 is found to be \( { \left.\chi \right _{L_{e}=1} =39.83}\) against \( {\left.\chi \right _{L_{e}=2} = 44.22}\) with L_{e}=2 samples. A detailed analysis of the aMGS performance/complexity gain in relation to the mixing ratio and the number of samples can be found in [14]. An indepth analysis of the performancecomplexity tradeoff of aMGS can be found in [14].
6.2 Analysis on the proposed dsMGS
First of all, we focus on finding the maximum number of iterations \(\mathcal {I}\) aiming at maximizing tradeoff performance x complexity. In the literature, the quantity \(\mathcal {I}=8K\sqrt {M}\) adopted in [10] is quite reasonable since it takes into account the number of active users and the modulation order. In this sense, Fig. 5 shows the performance convergence of the proposed algorithm with the increase of the maximum number of iterations. We considered K=N=16 antennas in 64QAM with NL distance d={1,2,3} and used the parameter a to denote the maximum number of iterations, so that \(\mathcal {I}=aK\sqrt {M}=128a\). It can be clearly seen that the increase in the NL distance is not beneficial to the algorithm’s performance, which is easily explained by the fact that, with increasing d, the neighborhood of the random solution increases, approaching the condition of unrestricted solution in the constellation, retaking its negative impact on algorithm’s convergence. Thus, observing the 1sMGS curve, it can be seen that its convergence is reached with a equal to 8, which coincides with the result adopted in [10]. Therefore, this value \(\mathcal {I}=8K\sqrt {M}\) will be adopted for the proposed dsMGS detector in the reminder of this work.
Figure 6 shows the SNR vs. performancecomputational complexity of the addressed detectors. A high system loading, i.e., β≈0.9, in 64QAM modulation is adopted with (a) K=58,N=64 and (b) K=87,N=96 antennas. The parameters used for the MGSMR and aMGSMR detectors follow in their respective works: for the MGSMR, \(\mathcal {I} = 8K\sqrt {M}\) and R_{max}=50 [10]; for the aMGSMR, \(\mathcal {I} = 3000, R_{\text {max}} = 5\) and the choice of the mixing ratio value is given according to the best option criterion published by the author [14]. One can notice in Fig. 6a that both proposed detectors presented significant performance gain in the region of high SNR in relation to the other detectors, equivalent to approximately one decade against the second best performance detector aMGSMR with L_{e}=8 samples. Differently from that observed previously, the increase in the NL distance did not cause a loss of performance, since the 2sMGS detector resulted in a marginally similar performance to the 1sMGS. Thus, it denotes a tendency that the increase of the NL distance can be beneficial in scenarios with greater number of antennas, such as LSMIMO. Related to the computational complexity, it can be observed that the complexity of the 1sMGS, 2sMGS, and aMGS detectors with L_{e}=2, 4, and 8 samples are marginally equivalent, although the aMGS with 8 samples presented the least number of rops (excluding the linear MMSE detector). Considering that both dsMGS and aMGS have marginally the same complexity per iteration, it is shown that the strategy of multiple samples converged with fewer iterations, on the other hand, with inferior performance to that reached by dsMGS.
With increasing antenna numbers, Fig. 6b, it is reiterated the hypothesis that the increase of the NL distance results in a performance gain. One can notice a significant performance gain in the 4sample aMGS detector, surpassing the result with L_{e}=8, which corroborates the hypothesis that a smaller restriction in the noisy solution becomes beneficial with the increase in the number of antennas. In fact, in the region of high SNR, γ_{dB}=25 dB, it can be seen that the 2sMGS and aMGS with L_{e}=4 achieve similar performance, although in the medium SNR region (γ_{dB}=23 dB), the proposed dsMGS still appear superior. With respect to the complexity in terms of rops, it is noticed that the 2sMGSMR and aMGSMR detectors with L_{e}=4 and 8 samples presented a marginally equal complexity in γ_{dB}=25 dB; however, the least complexity is again reached by the aMGS, specially in medium SNR region (γ_{dB}=[21,23] dB). Therefore, it can be concluded that the proposed dsMGS detection technique presented the best performance in both scenarios, and the smaller restriction of neighborhood with d=2 was a more interesting choice with increasing number of antennas; in addition, there was no significant increase of complexity compared to the multiple sample detector aMGS; in other words, the complexity of the 2sMGS detector was marginally equal to the lowest complexity techniques: aMGS with L_{e}=4 and 8 samples.
A system loading analysis against BER and rops complexity is depicted in Fig. 7 under γ_{dB}=25 dB. It may be first noted that at high loading, i.e., β≈0.9, the proposed detection scheme showed a significant gain in performance over the aMGS. In the other regions, there is no clearly outstanding technique; however, a lower restriction in the noisy solution demonstrated better results, which are represented by the 2sMGS overpassing the 1sMGS and aMGS with L_{e}=1 or 2 in front of the L_{e}=4 and 8 samples. In relation to the computational complexity with N=64 antennas (Fig. 7b), one can notice that in the mediumhigh loading region (β≥0.75), the proposed dsMGS strategy presented less complexity both with respect to multiple sampling aMGS and conventional MGS. In the mediumlow system loading results (β≤0.5), multiple sampling schemes presented lower computational complexity. Therefore, one can highlight the superiority of the proposed strategy in both performance and complexity in mediumhigh loading configurations, demonstrating the potential of this strategy when the LSMIMO system operates under high loading crowded scenarios. This can be explained as the number of mobile users increases, approaching the fullloading system condition β→1, the set of possible symbol combinations becomes larger, such that the noisy solution from the mixture has its negative effect aggravated, affecting the algorithm’s convergence, whereas the NL strategy is able to mitigate this effect, having a beneficial effect on the convergence which results in improvement in performance and complexity reduction.
With the increasing number of antennas at N=128, the system loading analysis reflects a clear superiority of the 2sMGS detector in high loading configurations, both in performance and in complexity. This performance behavior corroborates the hypotheses raised in Fig. 6 regarding performance improvement with increasing NL distance. On the other hand, in mediumlow loading, the complexity of 2sMGS was shown to be greater than aMGS and 1sMGS, equating only to the conventional MGSMR.
7 Conclusions
A neighborhoodlimited dsMGS detector for largescale MIMO systems has been proposed based on the neighborhood constraint of the noisy solution at a distance of d.
The proposed LSMIMO dsMGS detection scheme demonstrated the ability to mitigate the impact caused by the noisy solution from the mixture, which is aggravated and can become harmful when the full system loading condition is present or when a highorder modulation is implemented.
The modifications in the MGS technique proposed here have demonstrated effectiveness in achieving convergence improvements in the detection algorithm, which resulted in significant gains in performance and complexity compared to both the multiple sampling aMGS technique as well as the conventional MGS. These advantages are especially obtained when the system loading is high and there are a large number of antennas, condition favorable to LSMIMO. Moreover, with increasing the number of dimensions, i.e., increasing number of antennas and/or modulation order, a smaller restriction of 2sMGS was shown to be a more interesting choice than 1sMGS.
In addition, the NL strategy represented less complexity per iteration compared to aMGS or MGS, since only one sample is calculated and the simplified objective function is considered. On the other hand, when a low system loading is considered, the NL strategy resulted in a slight increase in complexity.
Availability of data and materials
Not available online. Please contact the authors for data requests.
Abbreviations
 aMGS:

Averaged MGS
 BS:

Base station
 BER:

Bit error rate
 dsMGS:

dsimplified MGS
 ENI:

Effective number of iterations
 LSMIMO:

Largescale multipleinput multipleoutput
 MCMC:

Markov chain Monte Carlo
 MMSE:

Minimum mean square error
 MGS:

Mixed Gibbs sampling
 MR:

Multiple restart
 MS:

Multiple sampling
 NL:

Neighborhood limitation
 SNR:

Signaltonoise ratio
References
J. Hoydis, S. Ten Brink, M. Debbah, Massive MIMO in the UL/DL of cellular networks: how many antennas do we need?IEEE J. Sel. Areas Commun.31(2), 160–171 (2013).
F. Rusek, D. Persson, B. K. Lau, E. G. Larsson, T. L. Marzetta, O. Edfors, F. Tufvesson, Scaling up MIMO: opportunities and challenges with very large arrays. IEEE Signal Proc. Mag.30(1), 40–60 (2013).
K. V. Vardhan, S. K. Mohammed, A. Chockalingam, B. S. Rajan, A lowcomplexity detector for large MIMO systems and multicarrier CDMA systems. IEEE J. Sel. Areas Commun.26(3), 473–485 (2008).
N. Srinidhi, S. K. Mohammed, A. Chockalingam, B. Sundar Rajan, in 2009 IEEE International Symposium on Information Theory. Lowcomplexity nearML decoding of large nonorthogonal STBCs using reactive tabu search, (2009), pp. 1993–1997. https://doi.org/10.1109/ISIT.2009.5205708.
P. Som, T. Datta, A. Chockalingam, B. S. Rajan, in 2010 IEEE Information Theory Workshop on Information Theory (ITW 2010, Cairo). Improved largeMIMO detection based on damped belief propagation, (2010), pp. 1–5. https://doi.org/10.1109/ITWKSPS.2010.5503188.
M. Suneel, P. Som, A. Chockalingam, B. Sundar Rajan, in 2009 IEEE International Symposium on Information Theory. Belief propagation based decoding of large nonorthogonal STBCs, (2009), pp. 2003–2007. https://doi.org/10.1109/ISIT.2009.5205658.
C. Tang, C. Liu, L. Yuan, Z. Xing, High precision low complexity matrix inversion based on newton iteration for data detection in the massive MIMO. IEEE Commun. Lett.20(3), 490–493 (2016).
A. Thanos, V. Paliouras, in 2017 6th International Conference on Modern Circuits and Systems Technologies (MOCAST). Hardware tradeoffs for massive MIMO uplink detection based on Newton iteration method, (2017), pp. 1–4. https://doi.org/10.1109/MOCAST.2017.7937616.
L. Martino, V. Elvira, G. CampsValls, The recycling Gibbs sampler for efficient learning. Digit. Signal Process.74:, 1–13 (2018).
T. Datta, N. A. Kumar, A. Chockalingam, B. S. Rajan, A novel MonteCarlosamplingbased receiver for largescale uplink multiuser MIMO systems. IEEE Trans. Veh. Technol.62(7), 3019–3038 (2013).
J. Choi, An MCMCMIMO detector as a stochastic linear system solver using successive overrelexation. IEEE Trans. Wirel. Commun.15(2), 1445–1455 (2016).
R. Chen, J. S. Liu, X. Wang, Convergence analyses and comparisons of Markov chain Monte Carlo algorithms in digital communications. IEEE Trans. Signal Process.50(2), 255–270 (2002).
B. FarhangBoroujeny, H. Zhu, Z. Shi, Markov chain Monte Carlo algorithms for CDMA and MIMO communication systems. IEEE Trans. Signal Process.54(5), 1896–1909 (2006).
A. M. Mussi, T. Abrão, Multiple restarts mixed Gibbs sampling detector for largescale antenna systems. IET Signal Process. (2018). https://doi.org/10.1049/ietspr.2018.5206.
B. Hassibi, M. Hansen, A. G. Dimakis, H. A. J. Alshamary, W. Xu, Optimized Markov chain Monte Carlo for signal detection in MIMO systems: an analysis of the stationary distribution and mixing time. IEEE Trans. Signal Process.62(17), 4436–4450 (2014).
Y. Yang, H. Peng, D. Zhang, X. Dai, Markov chain Monte Carlobased separation of paired carrier multiple access signals. IEEE Commun. Lett.20(11), 2209–2212 (2016).
M. Mandloi, V. Bhatia, in 2017 IEEE Wireless Communications and Networking Conference (WCNC). Layered Gibbs Sampling Algorithm for NearOptimal Detection in LargeMIMO Systems, (2017), pp. 1–6. https://doi.org/10.1109/WCNC.2017.7925582.
C. Gao, J. Xu, X. Tao, Z. Qin, in 2016 IEEE 27th Annual International Symposium on Personal, Indoor, and Mobile Radio Communications (PIMRC). An improved mixed Gibbs sampling algorithm based on multiple random parallel Markov chains for massive MIMO systems, (2016), pp. 1–5. https://doi.org/10.1109/PIMRC.2016.7794947.
A. Chockalingam, B. Rajan, Large MIMO Systems (Cambridge Univ. Press, New York, 2014).
M. Hansen, B. Hassibi, A. G. Dimakis, W. Xu, in GLOBECOM 2009  2009 IEEE Global Telecommunications Conference. NearOptimal Detection in MIMO Systems Using Gibbs Sampling, (2009), pp. 1–6. https://doi.org/10.1109/GLOCOM.2009.5425927.
M. O. Damen, H. El Gamal, G. Caire, On maximumlikelihood detection and the search for the closest lattice point. IEEE Trans. Inf. Theory. 49(10), 2389–2402 (2003).
T. Liu, Some results for the fast MMSESIC detection in spatially multiplexed MIMO systems. IEEE Trans. Wirel. Commun.8(11), 5443–5448 (2009).
Acknowledgements
We gratefully acknowledge the agencies National Council for Scientific and Technological Development (CNPq) of Brazil, the University of São Paulo (USP), the State University of Londrina (UEL), the Federal Institute of Paraná (IFPR), and the Paraná State Government.
Funding
This work has been partially supported by the CNPq of Brazil under Grants 304066/20150, by the USP, by the UEL, and by the IFPR and the Paraná State Government.
Author information
Authors and Affiliations
Contributions
Propositon of aMGS LSMIMO detector, which is based on multiple sampling during coordinate update process. Simplification on target function from original MGS. Numerical analysis of mixing ratio. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Consent for publication
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Mussi, A.M., Abrão, T. Mitigating the noisy solution impact of mixed Gibbs sampling detector in highorder modulation largescale MIMO systems. EURASIP J. Adv. Signal Process. 2021, 83 (2021). https://doi.org/10.1186/s13634021007257
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13634021007257
Keywords
 Massive MIMO
 Lowcomplexity detector
 Markov chain Monte Carlo
 Gibbs sampling