OTFS-NOMA System for MIMO Communication Networks with Spatial Diversity
Abstract
In this work, we study the use of non-orthogonal multiple access (NOMA) and orthogonal time frequency space (OTFS) modulation in a multiple-input multiple-output (MIMO) communication network where mobile users (MUs) with different mobility profiles are grouped into clusters. We consider a downlink scenario where a base station (BS) communicates with multiple users that have diverse mobility profiles. High-mobility (HM) users’ signals are placed in the delay-Doppler (DD) domain using OTFS modulation in order to transform their time-varying channel into a sparse static channel, while low-mobility (LM) users signals are placed in the time-frequency (TF) domain. Precoding is adopted at the BS to direct focused beams towards each cluster of users. Moreover, NOMA spectrum sharing is used in each cluster to allow the coexistence of a single HM user and multiple LM users within the same resource block. LM users access disjoint subchannels to ensure their orthogonality. All users within the same cluster first detect the HM user’s signal. Afterward, LM users suppress the interference from the HM user and detect their own signals. Closed-form expressions of the detection signal-to-noise ratios (SNRs) are derived. The numerical results showed that the performance of the proposed system highly depends on the number of LM users, the number of clusters and the power allocation factors between HM and LM users.
Index Terms:
OTFS modulation, NOMA spectrum sharing, MIMO precoding, delay-Doppler, performance analysis.I Introduction
Current and future wireless communication networks are characterized by heterogeneity on many fronts, incorporating diverse technologies and protocols and serving users with different performance requirements, channel conditions, and mobility profiles. One way of catering to this diversity is to implement NOMA, a multiple-access paradigm that promotes user fairness and increases spectral efficiency by simultaneously sharing the resource block between users that are distinguished by their channel conditions. On this account, multiple users can be accommodated in the same resource block while mitigating the resulting interference through successive interference cancellation at the receiver [1]. On the other hand, the high mobility of users results in severe Doppler conditions and doubly dispersive channels, where the orthogonal frequency division multiplexing (OFDM) modulation fails to achieve acceptable performance [2]. Along this line, OTFS lately emerged as a new modulation technique where information symbols are embedded in the DD domain, yielding a sparse representation of the time-varying wireless channel. Motivated by these compelling attributes, we aim to study the promise of the parallel implementation of NOMA and OTFS modulation.
Several research works have investigated the potential of OTFS-NOMA in improving the performance of communication networks with heterogeneous mobility profiles [3, 4, 5, 6]. In [3], an OTFS-NOMA transmission protocol is proposed with different mobility profiles, where a single HM user is served in the DD domain and modulated using OTFS, and LM users are modulated using OFDM. In [4], a design of MIMO beamforming is proposed for a downlink OTFS-NOMA scenario where a HM user and multiple LM users are served by a BS equipped with multiple antennas. The proposed setups in [3] and [4] are constrained by the presence of one HM user. An uplink communication scenario was adopted in [7] where NOMA access is implemented in the DD domain in order to accommodate stationary and mobile users using OTFS modulation for all users. However, OTFS modulation is suitable for users with high mobility profiles and high Doppler spreads. Differently, the work in [6] considered using OTFS modulation at all terminals in a NOMA setup for low earth orbit (LEO) constellation-enabled IoT. Similarly, in [5], OTFS-NOMA was implemented in LEO constellations with massive MIMO IoT terminals and a successive active user identification was proposed. The above methods highlighted the potential of OTFS-NOMA systems, but to the best of our knowledge, most studies consider system setups with particular conditions, such as the use of single antennas or limiting the number of HM users to one. Hence, the derived conclusions cannot be generalized. Motivated by the aforementioned lack of systematic study of OTFS-NOMA in heterogeneous networks, the objective of this work is to leverage the merits of OTFS-NOMA systems and MIMO precoding to convey reliable communication to multiple users with heterogeneous mobility profiles.
Thereby, we consider implementing MIMO precoding in the OTFS-NOMA system to achieve spatial diversity and serve multiple HM and LM users with the required performance. We propose a suitable system configuration where a BS communicates with multiple HM and LM users grouped in distinct clusters. The BS performs spatial MIMO precoding in order to direct focused beams towards each cluster, where HM and LM users access the resources using NOMA paradigm. LM users access the spectrum using disjoint subchannels to ensure orthogonality among each other and, thus, fairness among users. Differently, HM users’ signals are modulated using OTFS. All users within the same cluster detect the HM user’s signal in the DD domain and cancel the resulting interference from their signals. We analyze the proposed framework and derive closed-form expressions of the signal-to-noise ratios (SNRs) of user detection. To thoroughly understand the performance of our system, we evaluate it following outage probability analysis examining different numbers of users per cluster, different numbers of clusters and various power allocation factors.
II System Model
![Refer to caption](x1.png)
In this paper, we consider a communication network as depicted in Fig. 1, where a BS communicates with multiple MUs located within the cell. OTFS-NOMA is implemented in a downlink (DL) scenario. The BS is equipped with a square uniform planar array (UPA) with antenna elements, while the users are equipped with a single antenna. The MUs have different mobility profiles, i.e., low or high mobility. We assume multiple HM users exist in the cell and can be distinguished based on their angle-of-departures (AoDs). Moreover, we assume multiple LM users are distributed around each HM user. The HM user and LM users in each cluster share the spectrum using NOMA principle. The users are grouped into clusters based on their location. Each cluster comprises users where one user () is considered a HM user and the rest users are LM. We consider that the maximum number of LM users is the available subchannels, i.e., , where is the number of subchannels. The BS transmits focused beams towards each cluster of users. The precoding at the BS is implemented based on the location of the HM user of each cluster. Each user of cluster is located at the elevation angle and azimuth angle in the spherical coordinate system as depicted in Fig. 1.
The HM user receives OTFS-modulated signals in the DD domain, while LM users’ signals are placed in the TF domain (the two domains are non-orthogonal). The BS implements NOMA access technique and superimposes the HM user signal modulated in the DD domain with the LM users’ signals modulated in the TF domain. The HM user accesses the whole resource block while LM users occupy disjoint subchannels similarly to [3]. This access technique ensures that LM users do not have frequency-selective channels and are orthogonal amongst each other. Each MU shares its own channel station information (CSI) with the BS. All users within the same cluster first detect the HM user’s signal of the same cluster. Then, the LM users subtract the HM user’s signal from their received signal. Last, each LM user detects its own signal.
Let us denote the transmit SNR at the BS as . We assume that the BS transmits equal power towards all LM users within the same cluster, while each cluster receives a total power based on the location of its HM user with respect to the BS.
II-A Transmitted Signals
The BS transmits an OTFS frame to each HM user with symbols in the DD domain, where is the number of Doppler bins and is the number of delay bins drawn from a modulation alphabet. Each transmitted packet has a duration of and occupies a bandwidth of , where is the sampling time interval and is the spacing between subcarriers. The DD signal is converted to the TF domain using the inverse symplectic finite Fourier transform (ISFFT) as follows,
(1) |
where is the baseband transmitted binary phase-shift keying symbol at the Doppler and delay bin for and . For all , the TF signal of LM user of cluster is expressed as,
(2) |
The users in each cluster access the spectrum using NOMA principle. Therefore, the transmitted signal to cluster is expressed in the DD domain as,
(3) |
where is the information bearing signal for user in cluster expressed in the DD domain. The signal transmitted from each antenna element , is expressed as,
(4) |
where is the precoding coefficient, . The DD channel impulse response for user in cluster over channel paths is expressed as follows111Vectors are defined in boldface letters.,
(5) |
where , and are the channel coefficient, delay and Doppler of the path, respectively and is the steering vector depending on the elevation angle and azimuth angle . The UPA is placed on the plane of the cartesian coordinates. Therefore, the element of the vector , where , is expressed as [8],
(6) |
where is the separation distance between the UPA antenna elements assumed to be equal in the two dimensions, and is the wavelength. In the case of LM users, the channel is not subject to Doppler shifts since they have low mobility. Therefore, their Doppler shifts are and .
II-B Received Signals
Assuming bi-orthogonality between the transmit and receive waveforms, the received signal at the HM user of cluster from antenna element , is expressed in the DD domain as [2],
(7) |
where denotes the complex Gaussian additive noise with zero mean and variance , is the transmitted signal, and are the indices for the Doppler and delay taps of path , respectively222Herein, we assume the OTFS grid resolution is high enough to neglect fractional Doppler. denotes modulo .. The Doppler and delay taps are expressed as,
(8) |
Similarly to [9], we assume that the path gains are independent and identically distributed (i.i.d) with a uniform scattering profile, i.e., . We also assume that the path delay and Doppler taps have the same locations between all transmit antennas and the user receiver.
The received signal at user in cluster is expressed as,
(9) |
where is the signal received by user from antenna element . To simplify the notations, hereafter, we substitute the of each antenna element by the single index , where . As a result, the received signal vector at each user in cluster is expressed as [10],
(10) |
where is a block circulant channel matrix between user and antenna ( circulant blocks of circulant matrices) and is the i.i.d additive noise vector in the DD domain.The signal vector is constructed from expressed in (4) while satisfying the following condition: the element of is equal to . The vectors and are similarly constructed.
To simplify the notations, we remove the cluster index and consider the index for the HM user. Without loss of generality, we consider the users of cluster 1. Therefore, the received signal in the DD domain at user of cluster 1 is expressed as,
(11) |
III Users Detection
III-A High-Mobility User Detection
As explained earlier, all users within each cluster first detect the HM user’s signal. The system utilizes zero-forcing (ZF) to detect the LM user at each user of the same cluster. Since the channel matrix is a circulant matrix with circulant blocks, we express the OTFS channel matrix between antenna element and user using the following decomposition [11],
(13) |
where is an matrix, and are, respectively, and discrete Fourier transform (DFT) matrices333 denotes the Kronecker product of the matrices and . The superscript H denotes the Hermitian transform.. The diagonal matrix is composed of the eigenvalues of and can be further expressed as,
(14) |
where and is a diagonal matrix consisting of the eigenvalues of the circulant block of . This decomposition significantly reduces the computation complexity of the system. We consider the following notation,
(15) |
Using the diagonalization of as shown in (13), the matrix can be re-written as,
(16) |
where the diagonal matrix is expressed as,
(17) |
Therefore, the equalization matrix to detect is as follows,
(18) |
Since, , the equalization matrix can be re-expressed as,
(19) |
If we denote by the eigenvalues of , then the matrix can equivalently be written as,
(20) |
where is a diagonal matrix consisting of elements,
(21) |
The HM user detects its own signal while considering the LM users’ signals as noise. LM users detect and subtract the HM user signal from the received signal. The proposed equalizer is applied to the received signal at user as follows,
(22) |
where the interference-plus-noise term is written as,
(23) |
The interference consists of intra-cluster interference from LM users’ signals and inter-cluster interference from users in other clusters. The interference-plus-noise term can be equivalently written as,
(24) |
where the noise term is given by and the matrix is given by,
(25) |
Therefore, the SINR of the symbol of the HM user’s transmit vector at user is expressed as,
(26) |
where and are written,
(27) |
and is the transmit SNR of the user of cluster 1 and is the transmit SNR to cluster . Therefore, . See appendix A for the proof.
III-B Low-Mobility User Detection
After successfully decoding and subtracting the HM user’s signal, each LM user observes the following received signal in the TF domain,
(28) |
where is the channel gain between antenna and user and is the noise in the TF domain. The samples are conducted at instant and channel . The TF domain channel gain can be expressed as [9],
(29) |
where is the channel impulse response between antenna and user . Considering the absence of Doppler shifts in low-mobility scenarios, the channel gain in (29) can be simplified to a time-independent expression as follows,
(30) |
Since where is the delay tap pf path , the channel gain can be written as,
(31) |
Considering the transmitted signal expression in (2) and thanks to the orthogonality between LM users within the same cluster, user disregards the signals received on subchannels and the expression in (III-B) can be re-written as,
(32) |
Since the bandwidth of each subcarrier is considered smaller than the coherence bandwidth of the channel, one-tap equalization can be used to detect the LM user’s signal [3]. The equalized signal of LM user at time instant is expressed as,
(33) |
![Refer to caption](extracted/5696048/PouvsU.png)
Since LM users are time-invariant, the SINR expression is the same for all time instants. Therefore, the SINR for detecting the user is given by,
(34) |
IV Simulation Results
To evaluate the performance of the proposed system, we consider the following simulation parameters: . As in previous studies [2], Doppler taps are generated according to Jake’s model, considering that the maximum vehicle speed is 200 km/h. The maximum channel delay tap is . The number of paths is 4 for all users. The elevation and azimuth AoAs of paths are uniformly distributed with mean and , respectively, and with variance and , respectively. Unless otherwise specified, we consider the following parameters: , . The SNR of the HM user of cluster 1 is , where . Therefore, the SNR of each LM user of cluster 1 is . The number of LM users in each cluster is selected uniformly at random in . The LM users’ positions are uniformly placed in a circle around the HM user of each cluster with a radius . In the following simulation examples, the outage probability is the probability that the rate falls below the threshold .
![Refer to caption](extracted/5696048/PoutAlpha.png)
![Refer to caption](extracted/5696048/NOMAvsOMA.png)
In the first simulation example, we investigate the effect of the number of LM users within each cluster on the system performance. To this end, we plot in Fig. 2 the outage probability of the HM and LM users versus the number of LM users for various transmit SNRs. First, we observe that the outage probability of the HM user is quasi-constant as a function of the number of LM users within the cluster. This result is valid for both values of the transmit SNR. This can be justified by the power allocation scheme that is adopted by the system. The BS allocates a fixed fraction of the power to the HM user and distributes the remaining power equally among the LM users. Moreover, since each LM user has access to a single subchannel, some subchannels are unused when . Hence, we note that the behavior of the HM outage probability remains constant, implying that the effect of the distribution of interference coming from LM users between subchannels does not have a significant impact on the performance of the HM user. In other words, given that the HM OTFS frame spans the whole resource block, the HM user’s performance remains roughly the same whether the interference is concentrated within a narrow frequency band or spread over a larger band. Second, we note from Fig. 2 that increasing transmit SNR from 20 dB to 30 dB has a significant performance improvement in terms of quality-of-service (QoS) delivered to the users. Although the decrease of the outage probability is more significant at the HM user’s side, LM users also benefit from the resource boost. Since the transmit power allocated for LM users decreases with their number, increasing the transmit SNR or tuning the allocated power to LM users helps compensate for the performance degradation and reach acceptable QoS.
In the second simulation example, we investigate the effect of the power allocation factor on the system performance. In Fig. 3, the outage probability is shown versus the transmit SNR at the BS for different allocation factors. We note that the power distribution between the HM user and LM users has a significant performance impact, especially for low SNRs. In high SNR regimes, this effect becomes less significant. Moreover, when , the performance gap between the HM and LM users is much more significant than the performance gap in the case of . Subsequently, increasing the transmit power of the HM user will certainly decrease its outage probability, but at the same time, it can deteriorate the performance of LM users in the process. As a result, it is important to strategically tune the power allocation factor in order to keep acceptable QoS for all users.
In the last simulation example, we compare the proposed NOMA system configuration with an orthogonal multiple access (OMA) scheme. Herein, we adopt the time division multiple access between HM and LM users. To this end, in Fig. 4, we present the outage probability of the HM user’s signal detection at the HM user’s side versus the total DL transmit SNR for different numbers of clusters. We can observe that the proposed OTFS-NOMA scheme outperforms its orthogonal counterpart and provides more reliable communication links for all the examined values of the transmit SNR. Also, the performance gap between the proposed NOMA setup and OMA benchmark increases with the number of clusters within the cell. This behavior suggests that the reliability of the proposed system becomes more significant and impactful in low SNR regimes.
V Conclusion
In this paper, we proposed an OTFS-NOMA system where spatial diversity is adopted to convey data signals to multiple clusters of users simultaneously. Using NOMA paradigm, the BS superimposes an OTFS signal frame transmitted to the HM user and TF-modulated signals transmitted to LM users. The LM users access disjoint subchannels. Subsequently, their signals are, by design, orthogonal to each other. The results demonstrated that the power distribution between users and the number of LM users have a remarkable impact on the outage probability of LM users. However, the performance of the HM user remains unchanging when the number of LM users increases. Moreover, the proposed framework outperforms the OMA setup, especially with higher numbers of clusters.
Appendix A SNR Expression
The SNR of symbol detection is expressed as,
(35) |
Taking into account that and , the noise covariance matrix is We assume that the transmit power for cluster is . The vector . Thus, the covariance of the inter-cluster interference term can be re-written as,
(36) |
If we denote by the eigenvalue of , then, according to (15), it can be expressed as . According to [11], the term can be simplified as follows,
(37) |
Similarly, if we denote by the eigenvalue of , then, according to (25), it can be expressed as,
(38) |
The element of can be simplified as follows,
(39) |
Normalizing the SNR by , we get the expression in (26).
References
- [1] S. R. Islam, M. Zeng, O. A. Dobre, and K.-S. Kwak, “Resource allocation for downlink NOMA systems: Key techniques and open issues,” IEEE Wirel. Commun., vol. 25, no. 2, pp. 40–47, 2018.
- [2] P. Raviteja, K. T. Phan, Y. Hong, and E. Viterbo, “Interference cancellation and iterative detection for orthogonal time frequency space modulation,” IEEE Trans. Wirel. Commun.s, vol. 17, no. 10, pp. 6501–6515, 2018.
- [3] Z. Ding, R. Schober, P. Fan, and H. V. Poor, “OTFS-NOMA: An efficient approach for exploiting heterogenous user mobility profiles,” IEEE Trans. Commun., vol. 67, no. 11, pp. 7950–7965, 2019.
- [4] Z. Ding, “Robust beamforming design for OTFS-NOMA,” IEEE Open. J. Commun. Soc., vol. 1, pp. 33–40, 2019.
- [5] X. Zhou, K. Ying, Z. Gao, Y. Wu, Z. Xiao, S. Chatzinotas, J. Yuan, and B. Ottersten, “Active terminal identification, channel estimation, and signal detection for grant-free NOMA-OTFS in LEO satellite Internet-of-Things,” IEEE Trans. Wirel. Commun., vol. 22, no. 4, pp. 2847–2866, 2022.
- [6] X. Zhou and Z. Gao, “Joint active user detection and channel estimation for grant-free NOMA-OTFS in LEO constellation Internet-of-Things,” in IEEE/CIC Inter. Conf. Commun. China. (ICCC), 2021, pp. 735–740.
- [7] Y. Ge, Q. Deng, P. Ching, and Z. Ding, “OTFS signaling for uplink NOMA of heterogeneous mobility users,” IEEE Trans. Commun., vol. 69, no. 5, pp. 3147–3161, 2021.
- [8] Z. D. Zaharis, I. P. Gravas, P. I. Lazaridis, T. V. Yioultsis, and T. D. Xenos, “Improved beamforming in 3D space applied to realistic planar antenna arrays by using the embedded element patterns,” IEEE Trans. Veh. Technol., vol. 71, no. 6, pp. 6145–6157, 2022.
- [9] P. Singh, A. Gupta, H. B. Mishra, and R. Budhiraja, “Low-complexity ZF/MMSE MIMO-OTFS receivers for high-speed vehicular communication,” IEEE Open. J. Commun. Soc., vol. 3, pp. 209–227, 2022.
- [10] B. C. Pandey, S. K. Mohammed, P. Raviteja, Y. Hong, and E. Viterbo, “Low complexity precoding and detection in multi-user massive MIMO OTFS downlink,” IEEE Trans. Veh. Technol., vol. 70, no. 5, pp. 4389–4405, 2021.
- [11] P. Singh, K. Yadav, H. B. Mishra, and R. Budhiraja, “BER analysis for OTFS zero forcing receiver,” IEEE Trans. Commun., vol. 70, no. 4, pp. 2281–2297, 2022.