Abstract
Sparse code multiple access (SCMA) has been proposed to obtain high capacity and support massive connections. When combined with the multiple-input multiple-output (MIMO) techniques, the spectrum efficiency of the SCMA system can be further improved. However, the detectors of the MIMO-SCMA system have high computational complexity. For the maximum likelihood (ML) detection, though it is optimal decoding algorithm for the MIMO-SCMA system, the detection complexity would grow exponentially with the number of both the antennas and users increase. In this paper, we consider a space-time block code (STBC) based MIMO-SCMA system where SCMA is used for multiuser access. Besides, we propose a low-complexity utilizing joint message passing algorithm (JMPA) detection, which narrowing the range of superimposed constellation points, called joint message passing algorithm based on sphere decoding (S-JMPA). But for the S-JMPA detector, the augment of the amount of access users and antennas leads to the degradation of decoding performance, the STBC is constructed to compensate the performance loss of the S-JMPA detector and ensure good bit error rate (BER) performance. The simulation results show that the proposed method achieves a close error rate performance to ML, JMPA, and a fast convergence rate. Moreover, compared to the ML detector, it also significantly reduces the detection complexity of the algorithms.
1. Introduction
The IMT-2020 Promotion Group has stated that the mobile Internet and mobile Internet of Things (IoT) will become the main driving forces for the development of mobile communication in the future [1]. In addition to the continuous wide-area coverage and ultracapacity scenarios for mobile Internet services, 5G mobile communication has also resulted in new communication scenarios for the mobile IoT with lower energy consumption, massive connections, ultra-high reliability, and ultra-low latency. As a nonorthogonal multiple access (NOMA) technology based on code-domain superposition, SCMA can greatly improve a system's spectral efficiency and the transmission rate of cell edge users and is suitable for wide-area continuous coverage scenarios [2, 3]. The MIMO techniques have also been identified as the vital technology for improving the 5G system throughput. When SCMA is combined with multiuser MIMO (MU-MIMO) technology, higher system throughput can be obtained, which effectively promotes the transmission rate in hot spots and high capacity scenarios. In low-power and large connection scenarios, SCMA technology can handle massive connections, meet the requirements of millions of connections per square kilometer, and ensure the ultralow power consumption and ultralow cost of a terminal. Contrasted with the orthogonal multiple access (OMA) technology, the SCMA can achieve lower BER and more reliable transmissions at the same transmission rate. The SCMA technology integrates high-dimensional modulation and a sparse spread spectrum at the transmitter, and a bit stream of different users is directly mapped to a complex domain sparse codeword through the preallocated SCMA codebook to implement code-domain multiplexing [4]. However, the complexity of the decoder exponentially grows as the number of transmitting antennas, the access users, and the codebook size increases. A novel spatial modulation SCMA (SM-SCMA) system is proposed to operate in uplink transmission, referred to as rotational generalized SM-SCMA (RGSM-SCMA) [5], which can overcome the use of high number of transmit antennas by activating several antennas at a time to deliver the same spectrum efficiency of SM-SCMA with a much lower number of transmit antennas. In addition, rotational angles are used to provide a close BER performance to the SM-SCMA. The paper [6] proposes three low-complexity algorithms for the SM-SCMA. One of those is based on that tree search concepts, and the sphere decoder (SD) is proposed for the SM-SCMA, called fixed-complexity SD (FCSD). It provides near-optimal BER with a considerable reduction in the decoding complexity compared to the message passing algorithm (MPA) decoder. Besides, MIMO is one of the key technologies in the development of wireless communication technology because it can improve the spectral efficiency and system throughput. Furthermore, the combination of these two promising technologies, namely MIMO-SCMA, can effectively improve the spectrum utilization while ensuring the higher reliability of the system [7, 8]. But how to accurately decode a user's information at the receiver is an urgent problem for the MIMO-SCMA system. The paper [9] proposes to reduce the detection complexity of the MIMO-SCMA system by detecting and partially decoding the active information. The authors of [10] propose an uplink MIMO-SCMA system based on space-frequency block code (SFBC), which could dynamically delete the redundant combinations used in the update of the resource nodes to reduce the decoding complexity at a negligible BER performance loss. Reference [11] introduces a downlink MIMO-mixed SCMA (MIMO-MSCMA) system, by optimizing the design of the codebook, and the author achieves better BER performance for the downlink MIMO-MSCMA system. Based on the JMPA algorithm, parallel schedule strategy and serial schedule strategy are further proposed to reduce the detection complexity of the system while ensuring better BER performance. In [12], the authors propose a suboptimal low-complexity iterative receiver relied on factor graph. By introducing auxiliary variables, they construct a stretched factor graph and propose a hybrid belief propagation (BP) and expectation propagation (EP) receiver, called stretch-BP-EP. It was shown that performance of the proposed receiver is close to the minimum mean square error (MMSE) based receiver with much lower complexity. In [13], the authors put forward a multidimensional space-time block code (MSTBC) aided downlink MIMO-SCMA system and derive the design criteria of MSTBC that can achieve full diversity while keeping the symbol rate same as the traditional SISO-SCMA system. The proposed scheme improves the performance of the traditional single-input single-output SCMA (SISO-SCMA), but the complexity of the proposed MSTBC aided MIMO-SCMA is almost the same as the conventional SISO-SCMA. Reference [14] uses faster-than-Nyquist (FTN) signaling for increasing the spectrum efficiency of the SCMA system. Then, the author proposes a factor graph based upon the hybrid message passing receiver and extends the factor graph model and proposed a pair of novel user activity detection methods for a grant-free transmission scheme. The proposed receiver has a higher throughput than the conventional SCMA scheme. In dynamically fluctuating environments, the joint user activity tracking and data detection algorithm is proposed [15], which bases on the factor graph framework and a combination of expectation maximization (EM) and hybrid MPA. It was shown that the complexity of the proposed receiver significantly reduces compared to that of the conventional message passing receiver.
In this paper, to solve the high complexity and poor decoding performance of a MIMO-SCMA system, we propose the scheme of a downlink MIMO-SCMA system based on S-JMPA with full-rate full-diversity STBC. By introducing the STBC technique, the coding gain and diversity gain can reduce the impact on channel instability at information transmission and reduce the probability of decoding errors; thereby, it improves the reliability of information transmission to guarantee the decoding performance. Not only that, inspired by the [16, 17], the S-JMPA scheme is presented by analyzing the characteristics of Euclidean distance between received signals and transmitted codewords, which can ulteriorly reduce the computational complexity compared to JMPA. The numerical and simulation results show that the proposed system model has capability to compensate BER performance loss while significantly reducing the decoding complexity of the receiver detection algorithm. Compared with the S-JMPA without STBC, the performance of S-JMPA combined with STBC can obtain obvious promotion. In summary, the proposed algorithm can achieve a good trade-off between the error performance and complexity.
The rest of this paper is organized as follows. Section 2 describes the downlink MIMO-SCMA system model based on STBC and the original JMPA algorithm. Section 3 is dedicated to the proposed S-JMPA. In Section 4, the simulation results are reported. Finally, the conclusions based on the obtained results are drawn in Section 5.
2. System Model and Original JMPA Algorithm
2.1. Downlink MIMO-SCMA System
Consider a downlink STBC-based MIMO-SCMA system with users and resources, where the base station (BS) equipped with transmit antennas is communicating with the multiple users , and each user is equipped with receive antennas. The downlink MIMO-SCMA scenario based on STBC is presented in Figure 1. The SCMA codebook used in this article is Huawei's 4-6 codebook [18]. In this codebook, six users have different codebooks, respectively, and the codebook contains four sparse codewords.

In the SCMA scenario, the number of user can be greater than the number of resource , and we define as overload factor. For the -th antenna of the user, the symbol stream is directly mapped into the -dimensional sparse codeword selected from the corresponding SCMA codebook with size . Then, the codewords of all users are added together at the th-symbol interval which formed to an overlaid codeword, which can be expressed as follows [13]:
Next, the overlaid codewords () at symbol stream are encoded into STBC and are transmitted by the BS through the -th antenna at symbol intervals, which is given by
These superimposed codewords are encoded through the STBC encoder and transmit via MIMO channel. The received signal at the -th receiving antenna of user can be expressed as follows: where,is the channel gain vector between the -th transmitting antenna and the -th receiving antenna, and denotes the noise vector over the -th receiving antenna of the user , which obeys a Gaussian distribution with zero mean and variance. Then, all the received signals of the user at receiving antenna can be expressed as a vector
We assume that the channels between the BS and users experience Rayleigh fading, i.e., the channel gains are constant, while all channel are independent from each other.
2.2. The Original JMPA
It can be seen from Figure 2(a) that BS nodes and resource nodes (RNs) have the intermediary feature, as they are used to connect users and user nodes (UNs) through the sparse edges. Due to the sparse feature of the SCMA codeword and the MIMO channel matrix, reference [16] attempts to skip over intermediary feature of BS nodes and RNs and build a new mapping function. So, the sparse graph of the MIMO channels and the SCMA codewords can be linked together, namely, joint sparse graph for MIMO-SCMA, which is shown in Figure 2(b). Given the sparsity of both the codebook and the equivalent channel matrix, the JMPA detector reduces the complexity exponentially.

(a)

(b)
In Figure 2(b), there are 8 virtual RNs and 12 virtual UNs, where represents the virtual RNs, and represents virtual UNs. At the transmitter, the transmit antennas share the same RNs, and the user's information can be exchanged between transmitted codewords at different antennas [11]. Therefore, the joint matrix of the MIMO-SCMA system corresponding to the joint factor graph can be expressed as follows: where represents the factor matrix at the -th transmitted antenna. As can be seen in (5), there are virtual resources nodes and virtual user nodes, and the number of virtual users at the antenna can be expressed as , where. After the STBC decoding, the received symbol of the user j can be rewritten (2) as where ,, ∀ j =1,…,J.
Based on equation (6), we can construct the virtual codebooks for different virtual users, which is based on the channel gain and the original codebookof the user at the -th antenna. The virtual codebook of virtual user can be obtained as follows:
At the receiver, the JMPA is used to reconstitute the transmitted data bits of the user , and the message update formula of the virtual RN can be expressed as follows: where t and denote the number of iterations and the marginal function for , respectively. The virtual user nodes message update can be represented as where the set of the virtual RNs connected to the th UN, denotes the information from virtual resource to virtual user , denotes the information from virtual user node to virtual resource node , and denotes the number of iterations. is the probability density function of the received signal, which is defined as [19] where denotes the number of branches connected to each .
3. Proposed Multiuser Decoding
In this section, we put forward a MIMO-SCMA system based on STBC coding and S-JMPA decoding and achieve the near-optimal BER performance of the system while significantly reducing the decoding complexity of the receiver.
3.1. MIMO-SCMA System with Full-Rate Full-Diversity STBC
In order to effectively improve link performance of the MIMO-SCMA system, we consider that the STBC technology is integrated with the MIMO-SCMA system. It can be seen from Figure 3(a) that the system encoded by STBC has better BER, which is proved by a larger BER curve slope and a lower bit error rate after introducing space-time codes under the same SNR (signal-noise ratio) condition.

(a)

(b)
It can be seen from Figure 3(b) that the BER of the system becomes lower with increasing of the number of antennas at the receiving end under the same SNR condition, and BER performance has been significantly improved. In a word, the proposed system can obtain not only the coding gain but also the higher diversity gain.
For the proposed model, as shown in Figure 1, the user transmits the adjacent modulation symbol () to two antenna ports in the first sampling time slot via STBC technology. In the subsequent sampling time slot, symbols are exchanged, and the conjugate () is transmitted by two antenna ports. The transmission data on antennas are as follows:
The received signal at each antenna of the user is expressed as where the channel matrix Hj is and is the complex Gaussian noise vector of the -th user.
As we can see in Figure 4, the MIMO-SCMA system with the scheme of STBC takes advantage of diversity gain and coding gain, which can effectively compensate for performance loss, and the subsequent simulation results are shown in Section 4.

3.2. S-JMPA Detector
The preceding JMPA decoder used in this MIMO-SCMA system with STBC has high complexity. The proposed decoding algorithm is an improved JMPA decoding procedure. For the corresponding MIMO-SCMA downlink system, the number of users communicating with virtual RN is . When each user's codebook size is 4, as shown in Figure 1, the SCMA symbols for each virtual RN would have combinations during the JMPA decoding procedure, and 4096 is the superposed constellation points on the constellations graph [20].
The received signal at virtual resource node is expressed as where represents a set of codewords connected to virtual resource node , and is the Gaussian noise with zero mean and unit variance. Due to the existence of nonzero noise, the received signal cannot completely coincide with any superposed codewords [17], which means that the Euclidean distance between the received signal and the m-th codeword constellation point is not zero, and is expressed as follows:
The superposed constellation graph is formed by constellation points. The constellation point which is close to the received signal is more likely to be accurately decoded compared to the constellation point which is far away from the received signal. Therefore, the S-JMPA detector can efficiently reduce the complexity by partially decoding the signals, as shown in Figure 5.

When the radius of the sphere is set, the constellation points on the superposed constellation graph are divided into two parts: one part is located inside the sphere with a high belief value, and the other part is located outside the sphere with a low belief value. The number of superposed codewords on virtual RN is represented by (where ). Each virtual RN only needs to search for the corresponding superposed codewords of the superposed constellation points inside the sphere instead of searching over the whole range. Based on previous assumptions, the received signals are still the Gaussian distribution after going through the MIMO channel.
Table 1 shows the relationship between the probability values and the belief intervals. According to the distribution characteristics of the white noise, the probability of correct decoding is 99.7% when the radius is set as 3σ. Specially under situation of , the proposed S-JMPA scheme becomes a JMPA scheme.
The Euclidean distance between the received signal and the -th superposed constellation point located in the sphere needs to satisfy the following condition:
According to (13), as the radius increases, there will be more constellation points contained in the sphere. The decoding performance is optimal but the complexity is close to or reaches that of ML decoding. If the radius is too small, the sphere contains fewer constellation points, which leads to poor decoding performance for the system. By choosing the appropriate radius and utilizing the diversity gain of STBC, the bit error rate performance of the system is improved, and the decoding complexity is also significantly reduced.
In the downlink MIMO-SCMA system based on STBC, the S-JMPA algorithm based on the joint message passing algorithm selects the codeword information with a high belief value to reduce the decoding complexity [21]. In this algorithm, the information updating formula can be derived from equations ((8) and (9)).
The proposed S-JMPA can be decomposed into three steps:
Step 1: the virtual RN message updating formula is as follows:
Step 2: the virtual UN message updating formula is as follows:
in which defines the Euclidean distance between received signal and -th superposed constellation point at .
When the S-JMPA algorithm achieves the preset maximum number of iterations, the output probability of each user's codeword can be estimated by the following formula:
4. Algorithm Simulation and Analysis
In this part, we provide some simulation results and numerical results to evaluate the performance of the proposed MIMO-SCMA system and compare three schemes to verify the performance of the proposed algorithm: the ML decoding algorithm, the original JMPA, and the JPMA without STBC. The simulation experiments are carried out on the MATLAB platform, and the simulation parameters are listed in Table 2.
4.1. BER Performance Analysis
Figure 6 depicts the BER performance comparison between the ML detector and the proposed S-JMPA detector at different conditions.

It can be seen from Figure 6 that ML detector has optimal decoding performance, but its complexity has two orders of magnitude higher than S-JMPA, as shown in Figure 7. Similarly, the complexity of the original JMPA algorithm is also much higher than S-JMPA. It is obvious that the performance of the S-JMPA detector increases as the radius decreases in the system. Because there are more decodable codewords in a larger scale, the system can achieve the great BER performance. Under the same and SNR, the BER performance of the proposed scheme with STBC outperforms that of the system without STBC. For example, when , it increases the 1.5 dB performance gain and reduces the error probability of the communication system, which indicates that the proposed system significantly makes up for the performance loss that occurs due to the S-JMPA algorithm partially decoding the codewords instead of decoding all codewords.

4.2. Convergence Behavior Comparison
Figure 7 illustrates the simulation results of the convergence rate when the , and the original JMPA detector is compared with the proposed S-JMPA detector with and without space-time coding.
As shown in Figure 7, the convergence speed of the S-JMPA detector is basically the same as that of the original JMPA detector, and the BER does not change any more after five iterations. Although STBC is introduced into the MIMO-SCMA system, the convergence speed of the algorithm is not affected and reaches convergence after five iterations. That means that the number of iterations required for convergence of the S-JMPA algorithm is almost same as that of the original JMPA algorithm when they achieve the same performance.
4.3. Complexity Comparison Analysis
Table 3 shows computational complexity analysis for the iteration. The complexity of the three algorithms is analyzed based on the number of additions and multiplications required by the algorithm, as shown in Table 3.
The S-JMPA decoding algorithm is proposed by optimizing the joint detection algorithm JMPA in this paper; thus, we take the conventional ML and original JMPA detecting algorithm as the comparison algorithms to show the advantages of S-JMPA in decoder complexity. Table 3 shows the comparison of complexity about the ML algorithm which has the optimal decoding performance, the original JMPA detector, and the proposed S-JMPA detector based on STBC, where denotes the number of virtual resources, denotes the number of virtual users, and , respectively, represent the degree of overlapping virtual resources and the degree of overlapping virtual users in the MIMO-SCMA system based on full rate orthogonal space-time coding.
From the parameters of Table 2 and the equations of Table 3, we can calculate the complexity of ML detector, JMPA detector, and the S-JMPA detector. The complexity comparison between proposed S-JMPA and the traditional JMPA is shown in Figure 8. It can be seen the operation numbers of the multiplications and additions for these three algorithms when the .

In Figure 8, the ML algorithm has the highest computation complexity, followed by JMPA detector. The number of multiplications and additions for the S-JMPA detector declines with the decreases of . When , the number of additions for ML and JMPA detector is about and , respectively. When , the number of additions of S-JMPA detector only has and is reduced by approximately compared with ML detector. Comparison of the number of multiplications for different algorithms can be obtained in the same way, and the number of multiplications for ML detector is , which is reduced to for S-JMPA detector with . It is worth to note that S-JMPA detector can significantly reduce the complexity compared with ML and JMPA detector. Compared to the traditional JMPA algorithm, the number of additions and multiplications of proposed scheme obviously decreases about 77.9% and 76.6%, respectively. Furthermore, by narrowing the range of the search, S-JMPA effectively reducing the hardware loss.
Figure 9 depicts the comparison complexity for S-JMPA detector with different , and the curve expresses the relationship between the complexity of the algorithm and the SNR.

The simulated complexity comparison results are shown in Figure 9. The number of multiplications and additions for the S-JMPA detector decreases as the SNR increases with the different values of parameter . When the , the number of multiplications of the S-JMPA detector with is about . With the reduces to σ, the multiplication count reduces to , and the smaller the radius is, the lower the complexity of the S-JMPA detector. Under the cases of the SNR greater than 18 dB, the complexity of the S-JMPA detector reaches convergence. In the MIMO-SCMA based on the STBC system, the complexity of the S-JMPA detector can be significantly reduced when the appropriate radius is selected, and it remains great BER performance.
5. Conclusions
This paper has proposed the S-JMPA algorithm and STBC algorithm for the MIMO-SCMA system. Aiming at the problems of high complexity in a MIMO-SCMA system, the S-JMPA is proposed to reduce the computation complexity. During the decoding processing, the codeword information with a high belief value is selected for decoding by using a Gaussian distribution, and the codeword information with a low belief value is discarded, which can greatly reduce the detection complexity. Moreover, because the STBC has the characteristics of diversity gain and lower error probability for the communication system, the system can bring further performance compensation for MIMO-SCMA based on S-JMPA. The simulation results show that, compared with the optimal ML and original JMPA detector, the proposed S-JMPA algorithm can reduce the computational complexity significantly and achieve near-optimal BER performance while ensuring convergence rate. Hence, the MIMO-SCMA system based on JMPA with STBC paves the way of supporting massive connections and improving spectrum efficiency for 5G.
Data Availability
The data used to support the findings of this study are available from the corresponding author upon request.
Conflicts of Interest
The authors declare no conflicts of interest.
Acknowledgments
This work was supported by the Key Program of Scientific Research Plan of Universities in Xinjiang Uygur Autonomous Region of China, grant number XJEDU2020I003.