OTFS-NOMA System for MIMO Communication Networks with Spatial Diversity

Wafa Hedhly, Leila Musavian, and Nikolaos Thomos The authors are with the School of Computer Science and Electronic Engineering, University of Essex, Wivenhoe Park, Colchester CO4 3SQ, United Kingdom (e-mail: {wafa.hedhly, leila.musavian, nthomos}@essex.ac.uk). This work was funded by the Engineering and Physical Science Research Council, UK, [grant number EP/X012204/1].
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
Figure 1: Proposed system setup.

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 W×W𝑊𝑊W\times Witalic_W × italic_W square uniform planar array (UPA) with A=W2𝐴superscript𝑊2A=W^{2}italic_A = italic_W start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT 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 Q𝑄Qitalic_Q clusters based on their location. Each cluster q𝑞qitalic_q comprises Uq+1,1qQsubscript𝑈𝑞11𝑞𝑄U_{q}+1,1\leq q\leq Qitalic_U start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT + 1 , 1 ≤ italic_q ≤ italic_Q users where one user (u=0𝑢0u=0italic_u = 0) is considered a HM user and the rest Uqsubscript𝑈𝑞U_{q}italic_U start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT users are LM. We consider that the maximum number of LM users is the available subchannels, i.e., UqM, 1qQformulae-sequencesubscript𝑈𝑞𝑀for-all1𝑞𝑄U_{q}\leq M,\forall\;1\leq q\leq Qitalic_U start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT ≤ italic_M , ∀ 1 ≤ italic_q ≤ italic_Q, where M𝑀Mitalic_M 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 u𝑢uitalic_u of cluster q𝑞qitalic_q is located at the elevation angle θu,qsubscript𝜃𝑢𝑞\theta_{u,q}italic_θ start_POSTSUBSCRIPT italic_u , italic_q end_POSTSUBSCRIPT and azimuth angle ϕu,qsubscriptitalic-ϕ𝑢𝑞\phi_{u,q}italic_ϕ start_POSTSUBSCRIPT italic_u , italic_q end_POSTSUBSCRIPT 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 ρTsubscript𝜌T\rho_{\mathrm{T}}italic_ρ start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT. 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 NM𝑁𝑀NMitalic_N italic_M symbols in the DD domain, where N𝑁Nitalic_N is the number of Doppler bins and M𝑀Mitalic_M is the number of delay bins drawn from a modulation alphabet. Each transmitted packet has a duration of NT𝑁𝑇NTitalic_N italic_T and occupies a bandwidth of MΔf𝑀Δ𝑓M\Delta fitalic_M roman_Δ italic_f, where T𝑇Titalic_T is the sampling time interval and Δf=1/TΔ𝑓1𝑇\Delta f=1/Troman_Δ italic_f = 1 / italic_T is the spacing between subcarriers. The DD signal is converted to the TF domain using the inverse symplectic finite Fourier transform (ISFFT) as follows,

s0,qTF[n,m]=1NMk=0N1l=0M1s0,qDD[k,l]ej2π(knNmlM),superscriptsubscript𝑠0𝑞TF𝑛𝑚1𝑁𝑀superscriptsubscript𝑘0𝑁1superscriptsubscript𝑙0𝑀1superscriptsubscript𝑠0𝑞DD𝑘𝑙superscript𝑒𝑗2𝜋𝑘𝑛𝑁𝑚𝑙𝑀s_{0,q}^{\mathrm{TF}}[n,m]=\frac{1}{NM}\sum_{k=0}^{N-1}\sum_{l=0}^{M-1}s_{0,q}% ^{\mathrm{DD}}[k,l]e^{j2\pi\left(\frac{kn}{N}-\frac{ml}{M}\right)},italic_s start_POSTSUBSCRIPT 0 , italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_TF end_POSTSUPERSCRIPT [ italic_n , italic_m ] = divide start_ARG 1 end_ARG start_ARG italic_N italic_M end_ARG ∑ start_POSTSUBSCRIPT italic_k = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N - 1 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_l = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M - 1 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT 0 , italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_DD end_POSTSUPERSCRIPT [ italic_k , italic_l ] italic_e start_POSTSUPERSCRIPT italic_j 2 italic_π ( divide start_ARG italic_k italic_n end_ARG start_ARG italic_N end_ARG - divide start_ARG italic_m italic_l end_ARG start_ARG italic_M end_ARG ) end_POSTSUPERSCRIPT , (1)

where s0,qDD[k,l]superscriptsubscript𝑠0𝑞DD𝑘𝑙s_{0,q}^{\mathrm{DD}}[k,l]italic_s start_POSTSUBSCRIPT 0 , italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_DD end_POSTSUPERSCRIPT [ italic_k , italic_l ] is the baseband transmitted binary phase-shift keying symbol at the kthsuperscript𝑘thk^{\mathrm{th}}italic_k start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT Doppler and lthsuperscript𝑙thl^{\mathrm{th}}italic_l start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT delay bin for 1nN1𝑛𝑁1\leq n\leq N1 ≤ italic_n ≤ italic_N and 1mM1𝑚𝑀1\leq m\leq M1 ≤ italic_m ≤ italic_M. For all 0nN10𝑛𝑁10\leq n\leq N-10 ≤ italic_n ≤ italic_N - 1, the TF signal of LM user u𝑢uitalic_u of cluster q𝑞qitalic_q is expressed as,

𝐬u,qTF[n,m]={𝐬u,qTF[n,u1],ifm=u1,0,otherwise.superscriptsubscript𝐬𝑢𝑞TF𝑛𝑚casesotherwisesuperscriptsubscript𝐬𝑢𝑞TF𝑛𝑢1if𝑚𝑢1otherwise0otherwise\displaystyle\mathbf{s}_{u,q}^{\mathrm{TF}}[n,m]=\begin{cases}&\mathbf{s}_{u,q% }^{\mathrm{TF}}[n,u-1],\quad\mathrm{if}\;m=u-1,\\ &0,\quad\mathrm{otherwise}.\end{cases}bold_s start_POSTSUBSCRIPT italic_u , italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_TF end_POSTSUPERSCRIPT [ italic_n , italic_m ] = { start_ROW start_CELL end_CELL start_CELL bold_s start_POSTSUBSCRIPT italic_u , italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_TF end_POSTSUPERSCRIPT [ italic_n , italic_u - 1 ] , roman_if italic_m = italic_u - 1 , end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL 0 , roman_otherwise . end_CELL end_ROW (2)

The users in each cluster access the spectrum using NOMA principle. Therefore, the transmitted signal to cluster q𝑞qitalic_q is expressed in the DD domain as,

sq[k,l]=u=0Uqsu,qDD[k,l],subscript𝑠𝑞𝑘𝑙superscriptsubscript𝑢0subscript𝑈𝑞superscriptsubscript𝑠𝑢𝑞DD𝑘𝑙{s}_{q}[k,l]=\sum_{u=0}^{U_{q}}{s}_{u,q}^{\mathrm{DD}}[k,l],italic_s start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT [ italic_k , italic_l ] = ∑ start_POSTSUBSCRIPT italic_u = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_u , italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_DD end_POSTSUPERSCRIPT [ italic_k , italic_l ] , (3)

where su,qDDsuperscriptsubscript𝑠𝑢𝑞DD{s}_{u,q}^{\mathrm{DD}}italic_s start_POSTSUBSCRIPT italic_u , italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_DD end_POSTSUPERSCRIPT is the information bearing signal for user u𝑢uitalic_u in cluster q𝑞qitalic_q expressed in the DD domain. The signal transmitted from each antenna element (i,i),0i,iW1formulae-sequence𝑖superscript𝑖0𝑖superscript𝑖𝑊1(i,i^{\prime}),0\leq i,i^{\prime}\leq W-1( italic_i , italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) , 0 ≤ italic_i , italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≤ italic_W - 1, is expressed as,

xi,i[k,l]=q=1Qpi,i,qsq[k,l],subscript𝑥𝑖superscript𝑖𝑘𝑙superscriptsubscript𝑞1𝑄subscript𝑝𝑖superscript𝑖𝑞subscript𝑠𝑞𝑘𝑙{x}_{i,i^{\prime}}[k,l]=\sum_{q=1}^{Q}p_{i,i^{\prime},q}{s}_{q}[k,l],italic_x start_POSTSUBSCRIPT italic_i , italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT [ italic_k , italic_l ] = ∑ start_POSTSUBSCRIPT italic_q = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_Q end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_i , italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_q end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT [ italic_k , italic_l ] , (4)

where pi,i,qsubscript𝑝𝑖superscript𝑖𝑞p_{i,i^{\prime},q}italic_p start_POSTSUBSCRIPT italic_i , italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_q end_POSTSUBSCRIPT is the precoding coefficient, 0i,iW1,1qQformulae-sequence0𝑖formulae-sequencesuperscript𝑖𝑊11𝑞𝑄0\leq i,i^{\prime}\leq W-1,1\leq q\leq Q0 ≤ italic_i , italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≤ italic_W - 1 , 1 ≤ italic_q ≤ italic_Q. The DD channel impulse response for user u𝑢uitalic_u in cluster q𝑞qitalic_q over Pu,qsubscript𝑃𝑢𝑞P_{u,q}italic_P start_POSTSUBSCRIPT italic_u , italic_q end_POSTSUBSCRIPT channel paths is expressed as follows111Vectors are defined in boldface letters.,

𝐡u,q(τ,ν)=p=1Pu,qhp,uq𝐯(θp,uq,ϕp,uq)δ(ττp,uq)δ(ννp,uq),subscript𝐡𝑢𝑞𝜏𝜈superscriptsubscript𝑝1subscript𝑃𝑢𝑞superscriptsubscript𝑝𝑢𝑞𝐯superscriptsubscript𝜃𝑝𝑢𝑞superscriptsubscriptitalic-ϕ𝑝𝑢𝑞𝛿𝜏superscriptsubscript𝜏𝑝𝑢𝑞𝛿𝜈superscriptsubscript𝜈𝑝𝑢𝑞\mathbf{h}_{u,q}(\tau,\nu)=\sum_{p=1}^{P_{u,q}}h_{p,u}^{q}\mathbf{v}\left(% \theta_{p,u}^{q},\phi_{p,u}^{q}\right)\delta(\tau-\tau_{p,u}^{q})\delta(\nu-% \nu_{p,u}^{q}),bold_h start_POSTSUBSCRIPT italic_u , italic_q end_POSTSUBSCRIPT ( italic_τ , italic_ν ) = ∑ start_POSTSUBSCRIPT italic_p = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_P start_POSTSUBSCRIPT italic_u , italic_q end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_h start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT bold_v ( italic_θ start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT ) italic_δ ( italic_τ - italic_τ start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT ) italic_δ ( italic_ν - italic_ν start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT ) , (5)

where hp,uqsuperscriptsubscript𝑝𝑢𝑞h_{p,u}^{q}italic_h start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT, τp,uqsuperscriptsubscript𝜏𝑝𝑢𝑞\tau_{p,u}^{q}italic_τ start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT and νp,uqsuperscriptsubscript𝜈𝑝𝑢𝑞\nu_{p,u}^{q}italic_ν start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT are the channel coefficient, delay and Doppler of the pthsuperscript𝑝thp^{\mathrm{th}}italic_p start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT path, respectively and 𝐯𝐯\mathbf{v}bold_v is the steering vector depending on the elevation angle θp,uqsuperscriptsubscript𝜃𝑝𝑢𝑞\theta_{p,u}^{q}italic_θ start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT and azimuth angle ϕp,uqsuperscriptsubscriptitalic-ϕ𝑝𝑢𝑞\phi_{p,u}^{q}italic_ϕ start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT. The UPA is placed on the (x,z)𝑥𝑧(x,z)( italic_x , italic_z ) plane of the cartesian coordinates. Therefore, the (i,i)thsuperscript𝑖superscript𝑖th(i,i^{\prime})^{\mathrm{th}}( italic_i , italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT element of the vector vv\mathrm{v}roman_v, where 0i,iW1formulae-sequence0𝑖superscript𝑖𝑊10\leq i,i^{\prime}\leq W-10 ≤ italic_i , italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≤ italic_W - 1, is expressed as [8],

vii(θ,ϕ)=exp(j2πdλ(isin(θ)cos(ϕ)+icos(θ))),subscript𝑣𝑖superscript𝑖𝜃italic-ϕ𝑗2𝜋𝑑𝜆𝑖𝜃italic-ϕsuperscript𝑖𝜃v_{ii^{\prime}}(\theta,\phi)=\exp{\left(j2\pi\frac{d}{\lambda}\left(i\sin(% \theta)\cos(\phi)+i^{\prime}\cos(\theta)\right)\right)},italic_v start_POSTSUBSCRIPT italic_i italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( italic_θ , italic_ϕ ) = roman_exp ( italic_j 2 italic_π divide start_ARG italic_d end_ARG start_ARG italic_λ end_ARG ( italic_i roman_sin ( italic_θ ) roman_cos ( italic_ϕ ) + italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT roman_cos ( italic_θ ) ) ) , (6)

where d𝑑ditalic_d is the separation distance between the UPA antenna elements assumed to be equal in the two dimensions, and λ𝜆\lambdaitalic_λ 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 νp,uq=0, 1uUqformulae-sequencesuperscriptsubscript𝜈𝑝𝑢𝑞0for-all1𝑢subscript𝑈𝑞\nu_{p,u}^{q}=0,\forall\;1\leq u\leq U_{q}italic_ν start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT = 0 , ∀ 1 ≤ italic_u ≤ italic_U start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT and 1qQ1𝑞𝑄1\leq q\leq Q1 ≤ italic_q ≤ italic_Q.

II-B Received Signals

Assuming bi-orthogonality between the transmit and receive waveforms, the received signal at the HM user of cluster q𝑞qitalic_q from antenna element (i,i)𝑖superscript𝑖(i,i^{\prime})( italic_i , italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ), 0i,iW1formulae-sequence0𝑖superscript𝑖𝑊10\leq i,i^{\prime}\leq W-10 ≤ italic_i , italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≤ italic_W - 1 is expressed in the DD domain as [2],

y0,qi,i[k,l]superscriptsubscript𝑦0𝑞𝑖superscript𝑖𝑘𝑙\displaystyle y_{0,q}^{i,i^{\prime}}[k,l]italic_y start_POSTSUBSCRIPT 0 , italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i , italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT [ italic_k , italic_l ] =p=1P0,qhp,0qej2πτp,0qνp,0qvii(θp,0q,ϕp,0q)×\displaystyle=\sum_{p=1}^{P_{0,q}}h_{p,0}^{q}e^{-j2\pi\tau_{p,0}^{q}\nu_{p,0}^% {q}}v_{ii^{\prime}}\left(\theta_{p,0}^{q},\phi_{p,0}^{q}\right)\times= ∑ start_POSTSUBSCRIPT italic_p = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_P start_POSTSUBSCRIPT 0 , italic_q end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_h start_POSTSUBSCRIPT italic_p , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_τ start_POSTSUBSCRIPT italic_p , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT italic_ν start_POSTSUBSCRIPT italic_p , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_v start_POSTSUBSCRIPT italic_i italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( italic_θ start_POSTSUBSCRIPT italic_p , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUBSCRIPT italic_p , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT ) ×
xi,i[(kkp,0q)N,(llp,0q)M]+w0,q[k,l],subscript𝑥𝑖superscript𝑖subscript𝑘superscriptsubscript𝑘𝑝0𝑞𝑁subscript𝑙superscriptsubscript𝑙𝑝0𝑞𝑀subscript𝑤0𝑞𝑘𝑙\displaystyle x_{i,i^{\prime}}[\left(k-k_{p,0}^{q}\right)_{N},\left(l-l_{p,0}^% {q}\right)_{M}]+w_{0,q}[k,l],italic_x start_POSTSUBSCRIPT italic_i , italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT [ ( italic_k - italic_k start_POSTSUBSCRIPT italic_p , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , ( italic_l - italic_l start_POSTSUBSCRIPT italic_p , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ] + italic_w start_POSTSUBSCRIPT 0 , italic_q end_POSTSUBSCRIPT [ italic_k , italic_l ] , (7)

where w0,qsubscript𝑤0𝑞w_{0,q}italic_w start_POSTSUBSCRIPT 0 , italic_q end_POSTSUBSCRIPT denotes the complex Gaussian additive noise with zero mean and variance σw2superscriptsubscript𝜎w2\sigma_{\mathrm{w}}^{2}italic_σ start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, xi,iDDsuperscriptsubscript𝑥𝑖superscript𝑖DDx_{i,i^{\prime}}^{\mathrm{DD}}italic_x start_POSTSUBSCRIPT italic_i , italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_DD end_POSTSUPERSCRIPT is the transmitted signal, kp,0qsuperscriptsubscript𝑘𝑝0𝑞k_{p,0}^{q}italic_k start_POSTSUBSCRIPT italic_p , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT and lp,0qsuperscriptsubscript𝑙𝑝0𝑞l_{p,0}^{q}italic_l start_POSTSUBSCRIPT italic_p , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT are the indices for the Doppler and delay taps of path p𝑝pitalic_p, respectively222Herein, we assume the OTFS grid resolution is high enough to neglect fractional Doppler. (x)Nsubscript𝑥𝑁(x)_{N}( italic_x ) start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT denotes x𝑥xitalic_x modulo N𝑁Nitalic_N.. The Doppler and delay taps are expressed as,

νp,0q=kp,0qNTandτp,0q=lp,0qMΔf.formulae-sequencesuperscriptsubscript𝜈𝑝0𝑞superscriptsubscript𝑘𝑝0𝑞𝑁𝑇andsuperscriptsubscript𝜏𝑝0𝑞superscriptsubscript𝑙𝑝0𝑞𝑀Δ𝑓\nu_{p,0}^{q}=\frac{k_{p,0}^{q}}{NT}\quad\mathrm{and}\quad\tau_{p,0}^{q}=\frac% {l_{p,0}^{q}}{M\Delta f}.italic_ν start_POSTSUBSCRIPT italic_p , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT = divide start_ARG italic_k start_POSTSUBSCRIPT italic_p , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT end_ARG start_ARG italic_N italic_T end_ARG roman_and italic_τ start_POSTSUBSCRIPT italic_p , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT = divide start_ARG italic_l start_POSTSUBSCRIPT italic_p , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT end_ARG start_ARG italic_M roman_Δ italic_f end_ARG . (8)

Similarly to [9], we assume that the path gains hp,uq,1pPu,qsuperscriptsubscript𝑝𝑢𝑞1𝑝subscript𝑃𝑢𝑞h_{p,u}^{q},1\leq p\leq P_{u,q}italic_h start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT , 1 ≤ italic_p ≤ italic_P start_POSTSUBSCRIPT italic_u , italic_q end_POSTSUBSCRIPT are independent and identically distributed (i.i.d) 𝒞(0,σp2)𝒞0superscriptsubscript𝜎p2\mathcal{C}(0,\sigma_{\mathrm{p}}^{2})caligraphic_C ( 0 , italic_σ start_POSTSUBSCRIPT roman_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) with a uniform scattering profile, i.e., σp2=1/Pu,qsuperscriptsubscript𝜎p21subscript𝑃𝑢𝑞\sigma_{\mathrm{p}}^{2}=1/P_{u,q}italic_σ start_POSTSUBSCRIPT roman_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1 / italic_P start_POSTSUBSCRIPT italic_u , italic_q end_POSTSUBSCRIPT. 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 u𝑢uitalic_u in cluster q𝑞qitalic_q is expressed as,

yu,q=i=1Wi=1Wyu,qi,i,subscript𝑦𝑢𝑞superscriptsubscript𝑖1𝑊superscriptsubscriptsuperscript𝑖1𝑊superscriptsubscript𝑦𝑢𝑞𝑖superscript𝑖y_{u,q}=\sum_{i=1}^{W}\sum_{i^{\prime}=1}^{W}y_{u,q}^{i,i^{\prime}},italic_y start_POSTSUBSCRIPT italic_u , italic_q end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_W end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_W end_POSTSUPERSCRIPT italic_y start_POSTSUBSCRIPT italic_u , italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i , italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , (9)

where yu,qi,isuperscriptsubscript𝑦𝑢𝑞𝑖superscript𝑖y_{u,q}^{i,i^{\prime}}italic_y start_POSTSUBSCRIPT italic_u , italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i , italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT is the signal received by user u𝑢uitalic_u from antenna element (i,i)𝑖superscript𝑖(i,i^{\prime})( italic_i , italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ). To simplify the notations, hereafter, we substitute the (i,i)𝑖superscript𝑖(i,i^{\prime})( italic_i , italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) of each antenna element by the single index a𝑎aitalic_a, where 1aA1𝑎𝐴1\leq a\leq A1 ≤ italic_a ≤ italic_A. As a result, the received signal vector at each user u𝑢uitalic_u in cluster q𝑞qitalic_q is expressed as [10],

𝐲u,q=a=1A𝐇a,u,q𝐱a+𝐰u,q,subscript𝐲𝑢𝑞superscriptsubscript𝑎1𝐴subscript𝐇𝑎𝑢𝑞subscript𝐱𝑎subscript𝐰𝑢𝑞\mathbf{y}_{u,q}=\sum_{a=1}^{A}\mathbf{H}_{a,u,q}\mathbf{x}_{a}+\mathbf{w}_{u,% q},bold_y start_POSTSUBSCRIPT italic_u , italic_q end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT bold_H start_POSTSUBSCRIPT italic_a , italic_u , italic_q end_POSTSUBSCRIPT bold_x start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT + bold_w start_POSTSUBSCRIPT italic_u , italic_q end_POSTSUBSCRIPT , (10)

where 𝐇a,u,q𝒞NM×NMsubscript𝐇𝑎𝑢𝑞superscript𝒞𝑁𝑀𝑁𝑀\mathbf{H}_{a,u,q}\in\mathcal{C}^{N\!M\times N\!M}bold_H start_POSTSUBSCRIPT italic_a , italic_u , italic_q end_POSTSUBSCRIPT ∈ caligraphic_C start_POSTSUPERSCRIPT italic_N italic_M × italic_N italic_M end_POSTSUPERSCRIPT is a block circulant channel matrix between user u𝑢uitalic_u and antenna a𝑎aitalic_a (M𝑀Mitalic_M circulant blocks of N×N𝑁𝑁N\times Nitalic_N × italic_N circulant matrices) and 𝐰u,q𝒞𝒩(𝟎,σw2𝐈NM)similar-tosubscript𝐰𝑢𝑞𝒞𝒩0superscriptsubscript𝜎w2subscript𝐈𝑁𝑀\mathbf{w}_{u,q}\sim\mathcal{CN}(\mathbf{0},{\sigma}_{\mathrm{w}}^{2}\mathbf{I% }_{N\!M})bold_w start_POSTSUBSCRIPT italic_u , italic_q end_POSTSUBSCRIPT ∼ caligraphic_C caligraphic_N ( bold_0 , italic_σ start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT bold_I start_POSTSUBSCRIPT italic_N italic_M end_POSTSUBSCRIPT ) is the i.i.d additive noise vector in the DD domain.The signal vector 𝐱asubscript𝐱𝑎\mathbf{x}_{a}bold_x start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT is constructed from xasubscript𝑥𝑎x_{a}italic_x start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT expressed in (4) while satisfying the following condition: the (k+Nl)thsuperscript𝑘𝑁𝑙th(k+Nl)^{\mathrm{th}}( italic_k + italic_N italic_l ) start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT element of 𝐱asubscript𝐱𝑎\mathbf{x}_{a}bold_x start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT is equal to xa[k,l]subscript𝑥𝑎𝑘𝑙x_{a}[k,l]italic_x start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT [ italic_k , italic_l ]. The vectors 𝐲u,qsubscript𝐲𝑢𝑞\mathbf{y}_{u,q}bold_y start_POSTSUBSCRIPT italic_u , italic_q end_POSTSUBSCRIPT and 𝐰u,qsubscript𝐰𝑢𝑞\mathbf{w}_{u,q}bold_w start_POSTSUBSCRIPT italic_u , italic_q end_POSTSUBSCRIPT are similarly constructed.

To simplify the notations, we remove the cluster index q𝑞qitalic_q and consider the index u=0𝑢0u=0italic_u = 0 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 u𝑢uitalic_u of cluster 1 is expressed as,

𝐲u=a=1A𝐇a,u𝐱a+𝐰u,0uU1.formulae-sequencesubscript𝐲𝑢superscriptsubscript𝑎1𝐴subscript𝐇𝑎𝑢subscript𝐱𝑎subscript𝐰𝑢0𝑢subscript𝑈1\mathbf{y}_{u}=\sum_{a=1}^{A}\mathbf{H}_{a,u}\mathbf{x}_{a}+\mathbf{w}_{u},0% \leq u\leq U_{1}.bold_y start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT bold_H start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT bold_x start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT + bold_w start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT , 0 ≤ italic_u ≤ italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT . (11)

The received signal (11) at user u𝑢uitalic_u can be re-written as,

𝐲usubscript𝐲𝑢\displaystyle\mathbf{y}_{u}bold_y start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT =a=1Apa,1𝐇a,u𝐬0,1+a=1Apa,1𝐇a,ui=1U1𝐬i,1absentsuperscriptsubscript𝑎1𝐴subscript𝑝𝑎1subscript𝐇𝑎𝑢subscript𝐬01superscriptsubscript𝑎1𝐴subscript𝑝𝑎1subscript𝐇𝑎𝑢superscriptsubscript𝑖1subscript𝑈1subscript𝐬𝑖1\displaystyle=\sum_{a=1}^{A}p_{a,1}\mathbf{H}_{a,u}\mathbf{s}_{0,1}+\sum_{a=1}% ^{A}p_{a,1}\mathbf{H}_{a,u}\sum_{i=1}^{U_{1}}\mathbf{s}_{i,1}= ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_a , 1 end_POSTSUBSCRIPT bold_H start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT bold_s start_POSTSUBSCRIPT 0 , 1 end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_a , 1 end_POSTSUBSCRIPT bold_H start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT bold_s start_POSTSUBSCRIPT italic_i , 1 end_POSTSUBSCRIPT
+a=1A𝐇a,uq=2Qpa,q𝐬q+𝐰u,superscriptsubscript𝑎1𝐴subscript𝐇𝑎𝑢superscriptsubscript𝑞2𝑄subscript𝑝𝑎𝑞subscript𝐬𝑞subscript𝐰𝑢\displaystyle+\sum_{a=1}^{A}\mathbf{H}_{a,u}\sum_{q=2}^{Q}p_{a,q}\mathbf{s}_{q% }+\mathbf{w}_{u},+ ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT bold_H start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_q = 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_Q end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_a , italic_q end_POSTSUBSCRIPT bold_s start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT + bold_w start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT , (12)

where pa,1subscript𝑝𝑎1p_{a,1}italic_p start_POSTSUBSCRIPT italic_a , 1 end_POSTSUBSCRIPT is the precoder for cluster 1.

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 𝐇a,usubscript𝐇𝑎𝑢\mathbf{H}_{a,u}bold_H start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT is a circulant matrix with M𝑀Mitalic_M circulant blocks, we express the OTFS channel matrix between antenna element a𝑎aitalic_a and user u𝑢uitalic_u using the following decomposition [11],

𝐇a,u=𝚿H𝐃a,u𝚿,subscript𝐇𝑎𝑢superscript𝚿Hsubscript𝐃𝑎𝑢𝚿\mathbf{H}_{a,u}=\mathbf{\Psi}^{\mathrm{H}}\mathbf{D}_{a,u}\mathbf{\Psi},bold_H start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT = bold_Ψ start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT bold_D start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT bold_Ψ , (13)

where 𝚿=𝐅N𝐅M𝚿tensor-productsubscript𝐅𝑁subscript𝐅𝑀\mathbf{\Psi}=\mathbf{F}_{N}\otimes\mathbf{F}_{M}bold_Ψ = bold_F start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ⊗ bold_F start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT is an NM×NM𝑁𝑀𝑁𝑀N\!M\times N\!Mitalic_N italic_M × italic_N italic_M matrix, 𝐅Nsubscript𝐅𝑁\mathbf{F}_{N}bold_F start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT and 𝐅Msubscript𝐅𝑀\mathbf{F}_{M}bold_F start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT are, respectively, N×N𝑁𝑁N\times Nitalic_N × italic_N and M×M𝑀𝑀M\times Mitalic_M × italic_M discrete Fourier transform (DFT) matrices333𝐀𝐁tensor-product𝐀𝐁\mathbf{A}\otimes\mathbf{B}bold_A ⊗ bold_B denotes the Kronecker product of the matrices 𝐀𝐀\mathbf{A}bold_A and 𝐁𝐁\mathbf{B}bold_B. The superscript H denotes the Hermitian transform.. The diagonal matrix 𝐃a,usubscript𝐃𝑎𝑢\mathbf{D}_{a,u}bold_D start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT is composed of the eigenvalues of 𝐇a,usubscript𝐇𝑎𝑢\mathbf{H}_{a,u}bold_H start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT and can be further expressed as,

𝐃a,u=i=0M1𝐎i𝐃a,u,i,subscript𝐃𝑎𝑢superscriptsubscript𝑖0𝑀1tensor-productsuperscript𝐎𝑖subscript𝐃𝑎𝑢𝑖\mathbf{D}_{a,u}=\sum_{i=0}^{M-1}\mathbf{O}^{i}\otimes\mathbf{D}_{a,u,i},bold_D start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_i = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M - 1 end_POSTSUPERSCRIPT bold_O start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ⊗ bold_D start_POSTSUBSCRIPT italic_a , italic_u , italic_i end_POSTSUBSCRIPT , (14)

where 𝐎=diag[1,ej2π/M,,ej2π(M1)/M]𝐎diag1superscript𝑒𝑗2𝜋𝑀superscript𝑒𝑗2𝜋𝑀1𝑀\mathbf{O}=\mathrm{diag}\left[1,e^{j2\pi/M},\ldots,e^{j2\pi(M-1)/M}\right]bold_O = roman_diag [ 1 , italic_e start_POSTSUPERSCRIPT italic_j 2 italic_π / italic_M end_POSTSUPERSCRIPT , … , italic_e start_POSTSUPERSCRIPT italic_j 2 italic_π ( italic_M - 1 ) / italic_M end_POSTSUPERSCRIPT ] and 𝐃a,u,isubscript𝐃𝑎𝑢𝑖\mathbf{D}_{a,u,i}bold_D start_POSTSUBSCRIPT italic_a , italic_u , italic_i end_POSTSUBSCRIPT is a diagonal matrix consisting of the eigenvalues of the ithsuperscript𝑖thi^{\mathrm{th}}italic_i start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT circulant block of 𝐇a,usubscript𝐇𝑎𝑢\mathbf{H}_{a,u}bold_H start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT. This decomposition significantly reduces the computation complexity of the system. We consider the following notation,

𝐇u=a=1Apa,1𝐇a,u.subscript𝐇𝑢superscriptsubscript𝑎1𝐴subscript𝑝𝑎1subscript𝐇𝑎𝑢\mathbf{H}_{u}=\sum_{a=1}^{A}p_{a,1}\mathbf{H}_{a,u}.bold_H start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_a , 1 end_POSTSUBSCRIPT bold_H start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT . (15)

Using the diagonalization of 𝐇a,usubscript𝐇𝑎𝑢\mathbf{H}_{a,u}bold_H start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT as shown in (13), the matrix 𝐇usubscript𝐇𝑢\mathbf{H}_{u}bold_H start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT can be re-written as,

𝐇u=𝚿H𝐃u𝚿,subscript𝐇𝑢superscript𝚿Hsubscript𝐃𝑢𝚿\mathbf{H}_{u}=\mathbf{\Psi}^{\mathrm{H}}\mathbf{D}_{u}\mathbf{\Psi},bold_H start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT = bold_Ψ start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT bold_D start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT bold_Ψ , (16)

where the diagonal matrix 𝐃usubscript𝐃𝑢\mathbf{D}_{u}bold_D start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT is expressed as,

𝐃u=a=1Apa,1𝐃a,u.subscript𝐃𝑢superscriptsubscript𝑎1𝐴subscript𝑝𝑎1subscript𝐃𝑎𝑢\mathbf{D}_{u}=\sum_{a=1}^{A}p_{a,1}\mathbf{D}_{a,u}.bold_D start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_a , 1 end_POSTSUBSCRIPT bold_D start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT . (17)

Therefore, the equalization matrix to detect 𝐬0,1subscript𝐬01\mathbf{s}_{0,1}bold_s start_POSTSUBSCRIPT 0 , 1 end_POSTSUBSCRIPT is as follows,

𝐆u=(𝐇uH𝐇u)1𝐇uH.subscript𝐆𝑢superscriptsuperscriptsubscript𝐇𝑢Hsubscript𝐇𝑢1superscriptsubscript𝐇𝑢H\mathbf{G}_{u}=\left(\mathbf{H}_{u}^{\mathrm{H}}\mathbf{H}_{u}\right)^{-1}% \mathbf{H}_{u}^{\mathrm{H}}.bold_G start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT = ( bold_H start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT bold_H start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT bold_H start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT . (18)

Since, 𝚿𝚿H=𝚿H𝚿=𝐈MN𝚿superscript𝚿Hsuperscript𝚿H𝚿subscript𝐈𝑀𝑁\mathbf{\Psi}\mathbf{\Psi}^{\mathrm{H}}=\mathbf{\Psi}^{\mathrm{H}}\mathbf{\Psi% }=\mathbf{I}_{MN}bold_Ψ bold_Ψ start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT = bold_Ψ start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT bold_Ψ = bold_I start_POSTSUBSCRIPT italic_M italic_N end_POSTSUBSCRIPT, the equalization matrix 𝐆usubscript𝐆𝑢\mathbf{G}_{u}bold_G start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT can be re-expressed as,

𝐆u=𝚿H(𝐃uH𝐃u)1𝐃uH𝚿.subscript𝐆𝑢superscript𝚿Hsuperscriptsuperscriptsubscript𝐃𝑢Hsubscript𝐃𝑢1superscriptsubscript𝐃𝑢H𝚿\mathbf{G}_{u}=\mathbf{\Psi}^{\mathrm{H}}\left(\mathbf{D}_{u}^{\mathrm{H}}% \mathbf{D}_{u}\right)^{-1}\mathbf{D}_{u}^{\mathrm{H}}\mathbf{\Psi}.bold_G start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT = bold_Ψ start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT ( bold_D start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT bold_D start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT bold_D start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT bold_Ψ . (19)

If we denote by λa,u,i,1iNMsubscript𝜆𝑎𝑢𝑖1𝑖𝑁𝑀\lambda_{a,u,i},1\leq i\leq NMitalic_λ start_POSTSUBSCRIPT italic_a , italic_u , italic_i end_POSTSUBSCRIPT , 1 ≤ italic_i ≤ italic_N italic_M the eigenvalues of 𝐇a,usubscript𝐇𝑎𝑢\mathbf{H}_{a,u}bold_H start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT, then the matrix 𝐆usubscript𝐆𝑢\mathbf{G}_{u}bold_G start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT can equivalently be written as,

𝐆u=𝚿H𝚫u𝚿,subscript𝐆𝑢superscript𝚿Hsubscript𝚫𝑢𝚿\mathbf{G}_{u}=\mathbf{\Psi}^{\mathrm{H}}\mathbf{\Delta}_{u}\mathbf{\Psi},bold_G start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT = bold_Ψ start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT bold_Δ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT bold_Ψ , (20)

where 𝚫usubscript𝚫𝑢\mathbf{\Delta}_{u}bold_Δ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT is a diagonal matrix consisting of elements,

δu,i=a=1Apa,1λa,u,i|a=1Apa,1λa,u,i|2,1iNM.formulae-sequencesubscript𝛿𝑢𝑖superscriptsubscript𝑎1𝐴superscriptsubscript𝑝𝑎1superscriptsubscript𝜆𝑎𝑢𝑖superscriptsuperscriptsubscript𝑎1𝐴subscript𝑝𝑎1subscript𝜆𝑎𝑢𝑖21𝑖𝑁𝑀\delta_{u,i}=\frac{\sum_{a=1}^{A}p_{a,1}^{*}\lambda_{a,u,i}^{*}}{\left|\sum_{a% =1}^{A}p_{a,1}\lambda_{a,u,i}\right|^{2}},1\leq i\leq NM.italic_δ start_POSTSUBSCRIPT italic_u , italic_i end_POSTSUBSCRIPT = divide start_ARG ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_a , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_λ start_POSTSUBSCRIPT italic_a , italic_u , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_ARG start_ARG | ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_a , 1 end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_a , italic_u , italic_i end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , 1 ≤ italic_i ≤ italic_N italic_M . (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 u𝑢uitalic_u as follows,

𝐆u𝐲u=𝐬0,1+κu,0uU1,formulae-sequencesubscript𝐆𝑢subscript𝐲𝑢subscript𝐬01subscript𝜅𝑢0𝑢subscript𝑈1\mathbf{G}_{u}\mathbf{y}_{u}=\mathbf{{s}}_{0,1}+\mathbf{\kappa}_{u},\quad 0% \leq u\leq U_{1},bold_G start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT bold_y start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT = bold_s start_POSTSUBSCRIPT 0 , 1 end_POSTSUBSCRIPT + italic_κ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT , 0 ≤ italic_u ≤ italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , (22)

where the interference-plus-noise term is written as,

κu=i=1U1𝐬i,1+𝐆u(a=0A𝐇a,uq=2Qpa,q𝐬q+𝐰u).subscript𝜅𝑢superscriptsubscript𝑖1subscript𝑈1subscript𝐬𝑖1subscript𝐆𝑢superscriptsubscript𝑎0𝐴subscript𝐇𝑎𝑢superscriptsubscript𝑞2𝑄subscript𝑝𝑎𝑞subscript𝐬𝑞subscript𝐰𝑢\mathbf{\kappa}_{u}=\sum_{i=1}^{U_{1}}\mathbf{{s}}_{i,1}+\mathbf{G}_{u}\left(% \sum_{a=0}^{A}\mathbf{H}_{a,u}\sum_{q=2}^{Q}p_{a,q}\mathbf{s}_{q}+\mathbf{w}_{% u}\right).italic_κ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT bold_s start_POSTSUBSCRIPT italic_i , 1 end_POSTSUBSCRIPT + bold_G start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ( ∑ start_POSTSUBSCRIPT italic_a = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT bold_H start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_q = 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_Q end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_a , italic_q end_POSTSUBSCRIPT bold_s start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT + bold_w start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ) . (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,

κu=iuU1𝐬i,1+q=2Q𝛀q,u𝐬q+𝐳u,subscript𝜅𝑢superscriptsubscript𝑖𝑢subscript𝑈1subscript𝐬𝑖1superscriptsubscript𝑞2𝑄subscript𝛀𝑞𝑢subscript𝐬𝑞subscript𝐳𝑢\mathbf{\kappa}_{u}=\sum_{i\neq u}^{U_{1}}\mathbf{{s}}_{i,1}+\sum_{q=2}^{Q}% \mathbf{\Omega}_{q,u}\mathbf{s}_{q}+\mathbf{z}_{u},italic_κ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_i ≠ italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT bold_s start_POSTSUBSCRIPT italic_i , 1 end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_q = 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_Q end_POSTSUPERSCRIPT bold_Ω start_POSTSUBSCRIPT italic_q , italic_u end_POSTSUBSCRIPT bold_s start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT + bold_z start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT , (24)

where the noise term is given by 𝐳u=𝐆u𝐰usubscript𝐳𝑢subscript𝐆𝑢subscript𝐰𝑢\mathbf{z}_{u}=\mathbf{G}_{u}\mathbf{w}_{u}bold_z start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT = bold_G start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT bold_w start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT and the matrix 𝛀q,usubscript𝛀𝑞𝑢\mathbf{\Omega}_{q,u}bold_Ω start_POSTSUBSCRIPT italic_q , italic_u end_POSTSUBSCRIPT is given by,

𝛀q,u=𝚿H𝚫ua=1Apa,q𝐃a,u𝚿.subscript𝛀𝑞𝑢superscript𝚿Hsubscript𝚫𝑢superscriptsubscript𝑎1𝐴subscript𝑝𝑎𝑞subscript𝐃𝑎𝑢𝚿\mathbf{\Omega}_{q,u}=\mathbf{\Psi}^{\mathrm{H}}\mathbf{\Delta}_{u}\sum_{a=1}^% {A}p_{a,q}\mathbf{D}_{a,u}\mathbf{\Psi}.bold_Ω start_POSTSUBSCRIPT italic_q , italic_u end_POSTSUBSCRIPT = bold_Ψ start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT bold_Δ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_a , italic_q end_POSTSUBSCRIPT bold_D start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT bold_Ψ . (25)

Therefore, the SINR of the kthsuperscript𝑘thk^{\mathrm{th}}italic_k start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT symbol of the HM user’s transmit vector at user u𝑢uitalic_u is expressed as,

γu0=ρ0i=1U1ρu+q=2Qρc,qωq,u+ηu,superscriptsubscript𝛾𝑢0subscript𝜌0superscriptsubscript𝑖1subscript𝑈1subscript𝜌𝑢superscriptsubscript𝑞2𝑄subscript𝜌𝑐𝑞subscript𝜔𝑞𝑢subscript𝜂𝑢\gamma_{u}^{0}=\frac{\rho_{0}}{\sum_{i=1}^{U_{1}}\rho_{u}+\sum_{q=2}^{Q}\rho_{% c,q}\omega_{q,u}+\eta_{u}},italic_γ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT = divide start_ARG italic_ρ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG start_ARG ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_ρ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_q = 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_Q end_POSTSUPERSCRIPT italic_ρ start_POSTSUBSCRIPT italic_c , italic_q end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_q , italic_u end_POSTSUBSCRIPT + italic_η start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT end_ARG , (26)

where ωq,usubscript𝜔𝑞𝑢\omega_{q,u}italic_ω start_POSTSUBSCRIPT italic_q , italic_u end_POSTSUBSCRIPT and ηusubscript𝜂𝑢\eta_{u}italic_η start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT are written,

ωq,usubscript𝜔𝑞𝑢\displaystyle\omega_{q,u}italic_ω start_POSTSUBSCRIPT italic_q , italic_u end_POSTSUBSCRIPT =1NMi=1NM|a=1Apa,qλa,u,ia=1Apa,1λa,u,i|2absent1𝑁𝑀superscriptsubscript𝑖1𝑁𝑀superscriptsuperscriptsubscript𝑎1𝐴subscript𝑝𝑎𝑞subscript𝜆𝑎𝑢𝑖superscriptsubscript𝑎1𝐴subscript𝑝𝑎1subscript𝜆𝑎𝑢𝑖2\displaystyle=\frac{1}{NM}\sum_{i=1}^{NM}\left|\frac{\sum_{a=1}^{A}p_{a,q}% \lambda_{a,u,i}}{\sum_{a=1}^{A}p_{a,1}\lambda_{a,u,i}}\right|^{2}= divide start_ARG 1 end_ARG start_ARG italic_N italic_M end_ARG ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N italic_M end_POSTSUPERSCRIPT | divide start_ARG ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_a , italic_q end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_a , italic_u , italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_a , 1 end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_a , italic_u , italic_i end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
ηusubscript𝜂𝑢\displaystyle\eta_{u}italic_η start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT =1NMi=1NM1|a=1Apa,1λa,u,i|2,absent1𝑁𝑀superscriptsubscript𝑖1𝑁𝑀1superscriptsuperscriptsubscript𝑎1𝐴subscript𝑝𝑎1subscript𝜆𝑎𝑢𝑖2\displaystyle=\frac{1}{NM}\sum_{i=1}^{NM}\frac{1}{\left|\sum_{a=1}^{A}p_{a,1}% \lambda_{a,u,i}\right|^{2}},= divide start_ARG 1 end_ARG start_ARG italic_N italic_M end_ARG ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N italic_M end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG | ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_a , 1 end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_a , italic_u , italic_i end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (27)

and ρusubscript𝜌𝑢\rho_{u}italic_ρ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT is the transmit SNR of the uthsuperscript𝑢thu^{\mathrm{th}}italic_u start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT user of cluster 1 and ρc,qsubscript𝜌𝑐𝑞\rho_{c,q}italic_ρ start_POSTSUBSCRIPT italic_c , italic_q end_POSTSUBSCRIPT is the transmit SNR to cluster q𝑞qitalic_q. Therefore, ρ0+i=1U1ρu=ρc,1subscript𝜌0superscriptsubscript𝑖1subscript𝑈1subscript𝜌𝑢subscript𝜌𝑐1\rho_{0}+\sum_{i=1}^{U_{1}}\rho_{u}=\rho_{c,1}italic_ρ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_ρ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT = italic_ρ start_POSTSUBSCRIPT italic_c , 1 end_POSTSUBSCRIPT. 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 u,1uU1𝑢1𝑢subscript𝑈1u,1\leq u\leq U_{1}italic_u , 1 ≤ italic_u ≤ italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT observes the following received signal in the TF domain,

yu[n,m]subscript𝑦𝑢𝑛𝑚\displaystyle y_{u}[n,m]italic_y start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT [ italic_n , italic_m ] =a=1Apa,1Ha,u[n,m]i=1U1si,1[n,m]absentsuperscriptsubscript𝑎1𝐴subscript𝑝𝑎1subscript𝐻𝑎𝑢𝑛𝑚superscriptsubscript𝑖1subscript𝑈1subscript𝑠𝑖1𝑛𝑚\displaystyle=\sum_{a=1}^{A}p_{a,1}{H}_{a,u}[n,m]\sum_{i=1}^{U_{1}}s_{i,1}[n,m]= ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_a , 1 end_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT [ italic_n , italic_m ] ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_i , 1 end_POSTSUBSCRIPT [ italic_n , italic_m ]
+a=1AHa,u[n,m]q=2Qpa,qsq[n,m]+wu[n,m],superscriptsubscript𝑎1𝐴subscript𝐻𝑎𝑢𝑛𝑚superscriptsubscript𝑞2𝑄subscript𝑝𝑎𝑞subscript𝑠𝑞𝑛𝑚subscript𝑤𝑢𝑛𝑚\displaystyle+\sum_{a=1}^{A}{H}_{a,u}[n,m]\sum_{q=2}^{Q}p_{a,q}s_{q}[n,m]+w_{u% }[n,m],+ ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT [ italic_n , italic_m ] ∑ start_POSTSUBSCRIPT italic_q = 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_Q end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_a , italic_q end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT [ italic_n , italic_m ] + italic_w start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT [ italic_n , italic_m ] , (28)

where Ha,u[n,m]subscript𝐻𝑎𝑢𝑛𝑚H_{a,u}[n,m]italic_H start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT [ italic_n , italic_m ] is the channel gain between antenna a𝑎aitalic_a and user u𝑢uitalic_u and wu[n,m]subscript𝑤𝑢𝑛𝑚w_{u}[n,m]italic_w start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT [ italic_n , italic_m ] is the noise in the TF domain. The samples are conducted at instant nT𝑛𝑇nTitalic_n italic_T and channel mΔf𝑚Δ𝑓m\Delta fitalic_m roman_Δ italic_f. The TF domain channel gain can be expressed as [9],

Ha,u[n,m]=τνha,u(τ,ν)ej2πνnTej2π(ν+mΔf)τ𝑑τ𝑑ν,subscript𝐻𝑎𝑢𝑛𝑚subscript𝜏subscript𝜈subscript𝑎𝑢𝜏𝜈superscript𝑒𝑗2𝜋𝜈𝑛𝑇superscript𝑒𝑗2𝜋𝜈𝑚Δ𝑓𝜏differential-d𝜏differential-d𝜈H_{a,u}[n,m]=\int_{\tau}\int_{\nu}h_{a,u}(\tau,\nu)e^{j2\pi\nu nT}e^{-j2\pi(% \nu+m\Delta f)\tau}d\tau d\nu,italic_H start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT [ italic_n , italic_m ] = ∫ start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT ( italic_τ , italic_ν ) italic_e start_POSTSUPERSCRIPT italic_j 2 italic_π italic_ν italic_n italic_T end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π ( italic_ν + italic_m roman_Δ italic_f ) italic_τ end_POSTSUPERSCRIPT italic_d italic_τ italic_d italic_ν , (29)

where ha,u(τ,ν)subscript𝑎𝑢𝜏𝜈h_{a,u}(\tau,\nu)italic_h start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT ( italic_τ , italic_ν ) is the channel impulse response between antenna a𝑎aitalic_a and user u𝑢uitalic_u. 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,

Hi,i,u[n,m]=p=1Puhp,uej2πmΔfτp,uvii(θp,u,ϕp,u).subscript𝐻𝑖superscript𝑖𝑢𝑛𝑚superscriptsubscript𝑝1subscript𝑃𝑢subscript𝑝𝑢superscript𝑒𝑗2𝜋𝑚Δ𝑓subscript𝜏𝑝𝑢subscript𝑣𝑖superscript𝑖subscript𝜃𝑝𝑢subscriptitalic-ϕ𝑝𝑢H_{i,i^{\prime},u}[n,m]=\sum_{p=1}^{P_{u}}h_{p,u}e^{j2\pi m\Delta f\tau_{p,u}}% v_{ii^{\prime}}\left(\theta_{p,u},\phi_{p,u}\right).italic_H start_POSTSUBSCRIPT italic_i , italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_u end_POSTSUBSCRIPT [ italic_n , italic_m ] = ∑ start_POSTSUBSCRIPT italic_p = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_P start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_h start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_j 2 italic_π italic_m roman_Δ italic_f italic_τ start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_v start_POSTSUBSCRIPT italic_i italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( italic_θ start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT , italic_ϕ start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT ) . (30)

Since τp,u=lp,u/(MΔf)subscript𝜏𝑝𝑢subscript𝑙𝑝𝑢𝑀Δ𝑓\tau_{p,u}=l_{p,u}/(M\Delta f)italic_τ start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT = italic_l start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT / ( italic_M roman_Δ italic_f ) where lp,usubscript𝑙𝑝𝑢l_{p,u}italic_l start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT is the delay tap pf path p𝑝pitalic_p, the channel gain can be written as,

Hi,i,u[m]=p=1Puhp,uej2πlp,umMvii(θp,u,ϕp,u).subscript𝐻𝑖superscript𝑖𝑢delimited-[]𝑚superscriptsubscript𝑝1subscript𝑃𝑢subscript𝑝𝑢superscript𝑒𝑗2𝜋subscript𝑙𝑝𝑢𝑚𝑀subscript𝑣𝑖superscript𝑖subscript𝜃𝑝𝑢subscriptitalic-ϕ𝑝𝑢H_{i,i^{\prime},u}[m]=\sum_{p=1}^{P_{u}}h_{p,u}e^{j2\pi\frac{l_{{p,u}}m}{M}}v_% {ii^{\prime}}\left(\theta_{p,u},\phi_{p,u}\right).italic_H start_POSTSUBSCRIPT italic_i , italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_u end_POSTSUBSCRIPT [ italic_m ] = ∑ start_POSTSUBSCRIPT italic_p = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_P start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_h start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_j 2 italic_π divide start_ARG italic_l start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT italic_m end_ARG start_ARG italic_M end_ARG end_POSTSUPERSCRIPT italic_v start_POSTSUBSCRIPT italic_i italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( italic_θ start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT , italic_ϕ start_POSTSUBSCRIPT italic_p , italic_u end_POSTSUBSCRIPT ) . (31)

Considering the transmitted signal expression in (2) and thanks to the orthogonality between LM users within the same cluster, user u𝑢uitalic_u disregards the signals received on subchannels mu1𝑚𝑢1m\neq u-1italic_m ≠ italic_u - 1 and the expression in (III-B) can be re-written as,

yu[n,u1]=a=1Apa,1Ha,u[u1]su,1[n,u1]subscript𝑦𝑢𝑛𝑢1superscriptsubscript𝑎1𝐴subscript𝑝𝑎1subscript𝐻𝑎𝑢delimited-[]𝑢1subscript𝑠𝑢1𝑛𝑢1\displaystyle y_{u}[n,u-1]=\sum_{a=1}^{A}p_{a,1}{H}_{a,u}[u-1]s_{u,1}[n,u-1]italic_y start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT [ italic_n , italic_u - 1 ] = ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_a , 1 end_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT [ italic_u - 1 ] italic_s start_POSTSUBSCRIPT italic_u , 1 end_POSTSUBSCRIPT [ italic_n , italic_u - 1 ]
+q=2Qa=1AHa,u[u1]pa,qsq[n,u1]+wu[n,u1].superscriptsubscript𝑞2𝑄superscriptsubscript𝑎1𝐴subscript𝐻𝑎𝑢delimited-[]𝑢1subscript𝑝𝑎𝑞subscript𝑠𝑞𝑛𝑢1subscript𝑤𝑢𝑛𝑢1\displaystyle+\sum_{q=2}^{Q}\sum_{a=1}^{A}{H}_{a,u}[u-1]p_{a,q}s_{q}[n,u-1]+w_% {u}[n,u-1].+ ∑ start_POSTSUBSCRIPT italic_q = 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_Q end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT [ italic_u - 1 ] italic_p start_POSTSUBSCRIPT italic_a , italic_q end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT [ italic_n , italic_u - 1 ] + italic_w start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT [ italic_n , italic_u - 1 ] . (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 u𝑢uitalic_u at time instant n𝑛nitalic_n is expressed as,

yu[n,u1]Hu[u1]=su[n,u1]subscript𝑦𝑢𝑛𝑢1subscript𝐻𝑢delimited-[]𝑢1subscript𝑠𝑢𝑛𝑢1\displaystyle\frac{y_{u}[n,u-1]}{H_{u}[u-1]}=s_{u}[n,u-1]divide start_ARG italic_y start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT [ italic_n , italic_u - 1 ] end_ARG start_ARG italic_H start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT [ italic_u - 1 ] end_ARG = italic_s start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT [ italic_n , italic_u - 1 ]
+q=2Qa=1Apa,qHa,u[u1]Hu[u1]sq[n,u1]+wu[n,u1]Hu[u1].superscriptsubscript𝑞2𝑄superscriptsubscript𝑎1𝐴subscript𝑝𝑎𝑞subscript𝐻𝑎𝑢delimited-[]𝑢1subscript𝐻𝑢delimited-[]𝑢1subscript𝑠𝑞𝑛𝑢1subscript𝑤𝑢𝑛𝑢1subscript𝐻𝑢delimited-[]𝑢1\displaystyle+\sum_{q=2}^{Q}\frac{\sum_{a=1}^{A}p_{a,q}H_{a,u}[u-1]}{H_{u}[u-1% ]}s_{q}[n,u-1]+\frac{w_{u}[n,u-1]}{H_{u}[u-1]}.+ ∑ start_POSTSUBSCRIPT italic_q = 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_Q end_POSTSUPERSCRIPT divide start_ARG ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_a , italic_q end_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT [ italic_u - 1 ] end_ARG start_ARG italic_H start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT [ italic_u - 1 ] end_ARG italic_s start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT [ italic_n , italic_u - 1 ] + divide start_ARG italic_w start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT [ italic_n , italic_u - 1 ] end_ARG start_ARG italic_H start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT [ italic_u - 1 ] end_ARG . (33)
Refer to caption
Figure 2: Outage probability of HM and LM users versus the number of LM users for different modulation schemes.

Since LM users are time-invariant, the SINR expression is the same for all time instants. Therefore, the SINR for detecting the user u𝑢uitalic_u is given by,

γu=ρu|Hu[u1]|2q=2Qρc,q|a=1Apa,qHa,u[u1]|2+1.subscript𝛾𝑢subscript𝜌𝑢superscriptsubscript𝐻𝑢delimited-[]𝑢12superscriptsubscript𝑞2𝑄subscript𝜌𝑐𝑞superscriptsuperscriptsubscript𝑎1𝐴subscript𝑝𝑎𝑞subscript𝐻𝑎𝑢delimited-[]𝑢121\gamma_{u}=\frac{\rho_{u}\left|{H_{u}[u-1]}\right|^{2}}{\sum_{q=2}^{Q}\rho_{c,% q}\left|{\sum_{a=1}^{A}p_{a,q}H_{a,u}[u-1]}\right|^{2}+1}.italic_γ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT = divide start_ARG italic_ρ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT | italic_H start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT [ italic_u - 1 ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ∑ start_POSTSUBSCRIPT italic_q = 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_Q end_POSTSUPERSCRIPT italic_ρ start_POSTSUBSCRIPT italic_c , italic_q end_POSTSUBSCRIPT | ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_a , italic_q end_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT italic_a , italic_u end_POSTSUBSCRIPT [ italic_u - 1 ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 1 end_ARG . (34)

IV Simulation Results

To evaluate the performance of the proposed system, we consider the following simulation parameters: A=64,N=16,M=16,Δf=15kHz,fc=60GHzformulae-sequence𝐴64formulae-sequence𝑁16formulae-sequence𝑀16formulae-sequenceΔ𝑓15kHzsubscript𝑓c60𝐺𝐻𝑧A=64,N=16,M=16,\Delta f=15\;\mathrm{kHz},f_{\mathrm{c}}=60\;GHzitalic_A = 64 , italic_N = 16 , italic_M = 16 , roman_Δ italic_f = 15 roman_kHz , italic_f start_POSTSUBSCRIPT roman_c end_POSTSUBSCRIPT = 60 italic_G italic_H italic_z. 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 lmax=4subscript𝑙4l_{\max}=4italic_l start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT = 4. The number of paths is 4 for all users. The elevation and azimuth AoAs of paths are uniformly distributed with mean π/4𝜋4\pi/4italic_π / 4 and 00, respectively, and with variance π/10𝜋10\pi/10italic_π / 10 and π𝜋\piitalic_π, respectively. Unless otherwise specified, we consider the following parameters: Q=3𝑄3Q=3italic_Q = 3, ρT=30dBsubscript𝜌T30dB\rho_{\mathrm{T}}=30\;\mathrm{dB}italic_ρ start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT = 30 roman_dB. The SNR of the HM user of cluster 1 is ρ0=αρc,1subscript𝜌0𝛼subscript𝜌𝑐1\rho_{0}=\alpha\rho_{c,1}italic_ρ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = italic_α italic_ρ start_POSTSUBSCRIPT italic_c , 1 end_POSTSUBSCRIPT, where α=3/4𝛼34\alpha=3/4italic_α = 3 / 4. Therefore, the SNR of each LM user of cluster 1 is ρu=(1α)ρc,1/U1,1uU1formulae-sequencesubscript𝜌𝑢1𝛼subscript𝜌𝑐1subscript𝑈11𝑢subscript𝑈1\rho_{u}={(1-\alpha)\rho_{c,1}}/{U_{1}},1\leq u\leq U_{1}italic_ρ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT = ( 1 - italic_α ) italic_ρ start_POSTSUBSCRIPT italic_c , 1 end_POSTSUBSCRIPT / italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , 1 ≤ italic_u ≤ italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT. The number of LM users in each cluster is selected uniformly at random in [ 1,M]1𝑀[\,1,M]\,[ 1 , italic_M ]. The LM users’ positions are uniformly placed in a circle around the HM user of each cluster with a radius RQ=10msubscript𝑅Q10mR_{\mathrm{Q}}=10\;\mathrm{m}italic_R start_POSTSUBSCRIPT roman_Q end_POSTSUBSCRIPT = 10 roman_m. In the following simulation examples, the outage probability is the probability that the rate falls below the threshold Rth=0.5b/s/Hzsubscript𝑅th0.5bsHzR_{\mathrm{th}}=0.5\;\mathrm{b/s/Hz}italic_R start_POSTSUBSCRIPT roman_th end_POSTSUBSCRIPT = 0.5 roman_b / roman_s / roman_Hz.

Refer to caption
Figure 3: Outage probability of HM and LM users for different power allocation factors.
Refer to caption
Figure 4: Benchmark comparison of the proposed OTFS-NOMA system with OMA access.

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 Uq<Msubscript𝑈𝑞𝑀U_{q}<Mitalic_U start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT < italic_M. 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 α=4/5𝛼45\alpha=4/5italic_α = 4 / 5, the performance gap between the HM and LM users is much more significant than the performance gap in the case of α=1/2𝛼12\alpha=1/2italic_α = 1 / 2. 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 kthsuperscript𝑘thk^{\mathrm{th}}italic_k start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT symbol detection is expressed as,

γu0=𝔼(|𝐬0,1[k]|2)i=1U1𝔼(|𝐬i,1[k]|2)+q=2Q𝔼(𝛀q,u𝐬q𝐬qH𝛀q,uH)k,k+𝔼(𝐳u𝐳uH)k,ksuperscriptsubscript𝛾𝑢0𝔼superscriptsubscript𝐬01delimited-[]𝑘2superscriptsubscript𝑖1subscript𝑈1𝔼superscriptsubscript𝐬𝑖1delimited-[]𝑘2superscriptsubscript𝑞2𝑄𝔼subscriptsubscript𝛀𝑞𝑢subscript𝐬𝑞superscriptsubscript𝐬𝑞Hsuperscriptsubscript𝛀𝑞𝑢H𝑘𝑘𝔼subscriptsubscript𝐳𝑢superscriptsubscript𝐳𝑢H𝑘𝑘\gamma_{u}^{0}=\frac{\mathbb{E}\left(|\mathbf{s}_{0,1}[k]|^{2}\right)}{\sum_{i% =1}^{U_{1}}\!\mathbb{E}\left(\left|\mathbf{s}_{i,1}[k]\right|^{2}\right)\!+\!% \sum_{q=2}^{Q}\!\mathbb{E}\left(\mathbf{\Omega}_{q,u}\mathbf{s}_{q}\mathbf{s}_% {q}^{\mathrm{H}}\mathbf{\Omega}_{q,u}^{\mathrm{H}}\right)_{k,k}\!+\!\mathbb{E}% \left(\mathbf{z}_{u}\mathbf{z}_{u}^{\mathrm{H}}\right)_{k,k}}italic_γ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT = divide start_ARG blackboard_E ( | bold_s start_POSTSUBSCRIPT 0 , 1 end_POSTSUBSCRIPT [ italic_k ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG start_ARG ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT blackboard_E ( | bold_s start_POSTSUBSCRIPT italic_i , 1 end_POSTSUBSCRIPT [ italic_k ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) + ∑ start_POSTSUBSCRIPT italic_q = 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_Q end_POSTSUPERSCRIPT blackboard_E ( bold_Ω start_POSTSUBSCRIPT italic_q , italic_u end_POSTSUBSCRIPT bold_s start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT bold_s start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT bold_Ω start_POSTSUBSCRIPT italic_q , italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT italic_k , italic_k end_POSTSUBSCRIPT + blackboard_E ( bold_z start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT bold_z start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT italic_k , italic_k end_POSTSUBSCRIPT end_ARG (35)

Taking into account that 𝐰u,q𝒞𝒩(𝟎,σw2𝐈NM)similar-tosubscript𝐰𝑢𝑞𝒞𝒩0superscriptsubscript𝜎w2subscript𝐈𝑁𝑀\mathbf{w}_{u,q}\!\sim\!\mathcal{CN}(\mathbf{0},{\sigma}_{\mathrm{w}}^{2}% \mathbf{I}_{N\!M})bold_w start_POSTSUBSCRIPT italic_u , italic_q end_POSTSUBSCRIPT ∼ caligraphic_C caligraphic_N ( bold_0 , italic_σ start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT bold_I start_POSTSUBSCRIPT italic_N italic_M end_POSTSUBSCRIPT ) and 𝐆u𝐆uH=(𝐇uH𝐇u)1subscript𝐆𝑢superscriptsubscript𝐆𝑢Hsuperscriptsuperscriptsubscript𝐇𝑢Hsubscript𝐇𝑢1\mathbf{G}_{u}\mathbf{G}_{u}^{\mathrm{H}}\!=\!\left(\mathbf{H}_{u}^{\mathrm{H}% }\mathbf{H}_{u}\right)^{-1}bold_G start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT bold_G start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT = ( bold_H start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT bold_H start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT, the noise covariance matrix is 𝔼(𝐳u𝐳uH)=𝔼(𝐆u𝐰u𝐰uH𝐆uH)=σw2(𝐇uH𝐇u)1.𝔼subscript𝐳𝑢superscriptsubscript𝐳𝑢H𝔼subscript𝐆𝑢subscript𝐰𝑢superscriptsubscript𝐰𝑢Hsuperscriptsubscript𝐆𝑢Hsuperscriptsubscript𝜎w2superscriptsuperscriptsubscript𝐇𝑢Hsubscript𝐇𝑢1\mathbb{E}\left(\mathbf{z}_{u}\mathbf{z}_{u}^{\mathrm{H}}\right)\!=\!\mathbb{E% }\left(\mathbf{G}_{u}\mathbf{w}_{u}\mathbf{w}_{u}^{\mathrm{H}}\mathbf{G}_{u}^{% \mathrm{H}}\right)\!=\!\sigma_{\mathrm{w}}^{2}\left(\mathbf{H}_{u}^{\mathrm{H}% }\mathbf{H}_{u}\right)^{{-1}}.blackboard_E ( bold_z start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT bold_z start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT ) = blackboard_E ( bold_G start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT bold_w start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT bold_w start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT bold_G start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT ) = italic_σ start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( bold_H start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT bold_H start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT . We assume that the transmit power for cluster q𝑞qitalic_q is u=0UqPu,q=Pq,q{1,,Q}formulae-sequencesuperscriptsubscript𝑢0subscript𝑈𝑞subscript𝑃𝑢𝑞subscript𝑃𝑞for-all𝑞1𝑄\sum_{u=0}^{U_{q}}P_{u,q}=P_{q},\forall q\in\{1,\ldots,Q\}∑ start_POSTSUBSCRIPT italic_u = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_P start_POSTSUBSCRIPT italic_u , italic_q end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT , ∀ italic_q ∈ { 1 , … , italic_Q }. The vector 𝐬q𝒞𝒩(𝟎,0uUqPu,q𝐈NM)similar-tosubscript𝐬𝑞𝒞𝒩0subscript0𝑢subscript𝑈𝑞subscript𝑃𝑢𝑞subscript𝐈𝑁𝑀\mathbf{s}_{q}\sim\mathcal{CN}(\mathbf{0},\sum_{0\leq u\leq U_{q}}P_{u,q}% \mathbf{I}_{N\!M})bold_s start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT ∼ caligraphic_C caligraphic_N ( bold_0 , ∑ start_POSTSUBSCRIPT 0 ≤ italic_u ≤ italic_U start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT italic_u , italic_q end_POSTSUBSCRIPT bold_I start_POSTSUBSCRIPT italic_N italic_M end_POSTSUBSCRIPT ). Thus, the covariance of the inter-cluster interference term can be re-written as,

q=2Q𝔼(𝛀q,u𝐬q𝐬qH𝛀q,uH)superscriptsubscript𝑞2𝑄𝔼subscript𝛀𝑞𝑢subscript𝐬𝑞superscriptsubscript𝐬𝑞Hsuperscriptsubscript𝛀𝑞𝑢H\displaystyle\sum_{q=2}^{Q}\mathbb{E}\left(\mathbf{\Omega}_{q,u}\mathbf{s}_{q}% \mathbf{s}_{q}^{\mathrm{H}}\mathbf{\Omega}_{q,u}^{\mathrm{H}}\right)∑ start_POSTSUBSCRIPT italic_q = 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_Q end_POSTSUPERSCRIPT blackboard_E ( bold_Ω start_POSTSUBSCRIPT italic_q , italic_u end_POSTSUBSCRIPT bold_s start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT bold_s start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT bold_Ω start_POSTSUBSCRIPT italic_q , italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT ) =q=2QPq𝛀q,u𝛀q,uH.absentsuperscriptsubscript𝑞2𝑄subscript𝑃𝑞subscript𝛀𝑞𝑢superscriptsubscript𝛀𝑞𝑢H\displaystyle=\sum_{q=2}^{Q}P_{q}\mathbf{\Omega}_{q,u}\mathbf{\Omega}_{q,u}^{% \mathrm{H}}.= ∑ start_POSTSUBSCRIPT italic_q = 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_Q end_POSTSUPERSCRIPT italic_P start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT bold_Ω start_POSTSUBSCRIPT italic_q , italic_u end_POSTSUBSCRIPT bold_Ω start_POSTSUBSCRIPT italic_q , italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT . (36)

If we denote by ηu,isubscript𝜂𝑢𝑖\eta_{u,i}italic_η start_POSTSUBSCRIPT italic_u , italic_i end_POSTSUBSCRIPT the ithsuperscript𝑖thi^{\mathrm{th}}italic_i start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT eigenvalue of 𝐇usubscript𝐇𝑢\mathbf{H}_{u}bold_H start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT, then, according to (15), it can be expressed as ηu,i=a=1Apa,1λa,u,isubscript𝜂𝑢𝑖superscriptsubscript𝑎1𝐴subscript𝑝𝑎1subscript𝜆𝑎𝑢𝑖\eta_{u,i}=\sum_{a=1}^{A}p_{a,1}\lambda_{a,u,i}italic_η start_POSTSUBSCRIPT italic_u , italic_i end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_a , 1 end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_a , italic_u , italic_i end_POSTSUBSCRIPT. According to [11], the term ((𝐇uH𝐇u)1)k,ksubscriptsuperscriptsuperscriptsubscript𝐇𝑢Hsubscript𝐇𝑢1𝑘𝑘\left(\left(\mathbf{H}_{u}^{\mathrm{H}}\mathbf{H}_{u}\right)^{-1}\right)_{k,k}( ( bold_H start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT bold_H start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT italic_k , italic_k end_POSTSUBSCRIPT can be simplified as follows,

((𝐇uH𝐇u)1)k,k=1NMi=1NM1|ηu,i|2.subscriptsuperscriptsuperscriptsubscript𝐇𝑢Hsubscript𝐇𝑢1𝑘𝑘1𝑁𝑀superscriptsubscript𝑖1𝑁𝑀1superscriptsubscript𝜂𝑢𝑖2\left(\left(\mathbf{H}_{u}^{\mathrm{H}}\mathbf{H}_{u}\right)^{-1}\right)_{k,k}% =\frac{1}{NM}\sum_{i=1}^{NM}\frac{1}{\left|\eta_{u,i}\right|^{2}}.( ( bold_H start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT bold_H start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT italic_k , italic_k end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_N italic_M end_ARG ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N italic_M end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG | italic_η start_POSTSUBSCRIPT italic_u , italic_i end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (37)

Similarly, if we denote by ωq,u,isubscript𝜔𝑞𝑢𝑖\omega_{q,u,i}italic_ω start_POSTSUBSCRIPT italic_q , italic_u , italic_i end_POSTSUBSCRIPT the ithsuperscript𝑖thi^{\mathrm{th}}italic_i start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT eigenvalue of 𝛀q,usubscript𝛀𝑞𝑢\mathbf{\Omega}_{q,u}bold_Ω start_POSTSUBSCRIPT italic_q , italic_u end_POSTSUBSCRIPT, then, according to (25), it can be expressed as,

ωq,u,i=a=1Apa,1λa,u,i|a=1Apa,1λa,u,i|2a=1Apa,qλa,u,i.subscript𝜔𝑞𝑢𝑖superscriptsubscript𝑎1𝐴superscriptsubscript𝑝𝑎1superscriptsubscript𝜆𝑎𝑢𝑖superscriptsuperscriptsubscript𝑎1𝐴subscript𝑝𝑎1subscript𝜆𝑎𝑢𝑖2superscriptsubscript𝑎1𝐴subscript𝑝𝑎𝑞subscript𝜆𝑎𝑢𝑖\omega_{q,u,i}=\frac{\sum_{a=1}^{A}p_{a,1}^{*}\lambda_{a,u,i}^{*}}{\left|\sum_% {a=1}^{A}p_{a,1}\lambda_{a,u,i}\right|^{2}}\sum_{a=1}^{A}p_{a,q}\lambda_{a,u,i}.italic_ω start_POSTSUBSCRIPT italic_q , italic_u , italic_i end_POSTSUBSCRIPT = divide start_ARG ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_a , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_λ start_POSTSUBSCRIPT italic_a , italic_u , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_ARG start_ARG | ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_a , 1 end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_a , italic_u , italic_i end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_a , italic_q end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_a , italic_u , italic_i end_POSTSUBSCRIPT . (38)

The (k,k)thsuperscript𝑘𝑘th(k,k)^{\mathrm{th}}( italic_k , italic_k ) start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT element of 𝛀q,u𝛀q,uHsubscript𝛀𝑞𝑢superscriptsubscript𝛀𝑞𝑢H\mathbf{\Omega}_{q,u}\mathbf{\Omega}_{q,u}^{\mathrm{H}}bold_Ω start_POSTSUBSCRIPT italic_q , italic_u end_POSTSUBSCRIPT bold_Ω start_POSTSUBSCRIPT italic_q , italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT can be simplified as follows,

(𝛀q,u𝛀q,uH)k,k=1NMi=1NM|ωq,u,i|2.subscriptsubscript𝛀𝑞𝑢superscriptsubscript𝛀𝑞𝑢H𝑘𝑘1𝑁𝑀superscriptsubscript𝑖1𝑁𝑀superscriptsubscript𝜔𝑞𝑢𝑖2\left(\mathbf{\Omega}_{q,u}\mathbf{\Omega}_{q,u}^{\mathrm{H}}\right)_{k,k}=% \frac{1}{NM}\sum_{i=1}^{NM}{\left|\omega_{q,u,i}\right|^{2}}.( bold_Ω start_POSTSUBSCRIPT italic_q , italic_u end_POSTSUBSCRIPT bold_Ω start_POSTSUBSCRIPT italic_q , italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_H end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT italic_k , italic_k end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_N italic_M end_ARG ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N italic_M end_POSTSUPERSCRIPT | italic_ω start_POSTSUBSCRIPT italic_q , italic_u , italic_i end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (39)

Normalizing the SNR by σw2superscriptsubscript𝜎w2\sigma_{\mathrm{w}}^{2}italic_σ start_POSTSUBSCRIPT roman_w end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, 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.