Tutorial SPCOM2020 OTFS Modulation
Tutorial SPCOM2020 OTFS Modulation
and Applications
Special thanks to
Tharaj Thaj, Khoa T.Phan
1 Introduction
Evolution of wireless
High-Doppler wireless channels
Conventional modulation schemes (e.g., OFDM)
Effect of high Dopplers in conventional modulation
3 OTFS modulation
Signaling in the delay–Doppler domain
Compatibility with OFDM architecture
7 OTFS applications
SDR implementation of OTFS
OTFS with static multipath channels
Mobile 4G LTE
OFDMA
Mobile 3G
CDMA PS data, VOIP
Mobile 2G
TDMA Voice, SMS, PS data
transfer
Mobile 1G
Analog FDMA Voice, SMS, CS data
transfer
Voice, Analog traffic
1980s, N/A 1990s, 0.5 Mbps 2000s, 63 Mbps 2010s, 300 Mbps
r2
Reflected path
r3
r1
LoS path
Reflected path
v cosθ
θ
LoS path
v
Doppler frequency of LoS path: ν1 = fc vc
Doppler frequency of reflected path: ν2 = fc v cos
c
θ
Doppler spread: ν2 − ν1
Doppler spread
Subcarriers
Frequency
Figure: OFDM Tx
Figure: OFDM Rx
(*) From Wikipedia, the free encyclopedia
(Monash University, Australia) OTFS modulation SPCOM 2020, IISc 11 / 86
OFDM time domain input-output relation
y = Fr = D x
|{z} where x = Fs and s| ={zFH x}
Diagonal matrix with subcarrier gains Tx IFFT
OFDM Pros
Simple detection (one tap equalizer)
Efficiently combat the multi-path effects
(Monash University, Australia) OTFS modulation SPCOM 2020, IISc 13 / 86
Effect of high multiple Dopplers in OFDM
ICI
Frequency
OFDM Cons
multiple Dopplers are difficult to equalize
Sub-channel gains are not equal and lowest gain decides the performance
——————
(*) R. Hadani, S. Rakib, M. Tsatsanis, A. Monk, A. J. Goldsmith, A. F. Molisch, and R.
Calderbank, “Orthogonal time frequency space modulation,” in Proc. IEEE WCNC, San
Francisco, CA, USA, March 2017.
g(t; τ )
F F
F F
B(ν; f )
Doppler-variant transfer response
2
1
Doppler 0
-1
-2
0 1 2 3 4
Delay
2
1
Doppler 0
-1
-2
0 1 2 3 4
Delay
—————
* G. Matz and F. Hlawatsch, Chapter 1, Wireless Communications Over Rapidly Time-Varying
Channels. New York, NY, USA: Academic, 2011
SFFT
−−−→
←−−−
ISFFT
1
M ∆f M
Frequency
∆f M
2D SFFT
2 2D ISFFT
1
1 2 N Time
2
T
1
Channel h(τ, ν) 1 2 N Doppler
1
NT
P
X
h(τ, ν) = hi δ(τ − τi )δ(ν − νi )
i=1
1 1
Assume τi = lτi M∆f and νi = kνi NT
Time-Frequency Domain
x[k; l] X[n; m] Heisenberg s(t) Channel r(t) Wigner Y [n; m] y[k; l]
ISFFT h(τ; ν) SFFT
Transform Transform
Delay-Doppler Domain
where
Z Z
H[n, m] = h(τ, ν)e j2πνnT e −j2πm∆f
11
τ
dτ dν
Section 2.2: A discretized system model
Symbol
f
Subcarrier
···
2F
F
t
0
0 T 2T · · ·
Figure 2.1: Pulse-shaped OFDM interpretation of the signaling scheme (2.13). The
Figure: Time–frequency domain
shaded areas represent the approximate time-frequency support of the pulses gk,l (t).
————— the beginning of Section 2.2.2. Specifically, the channel coefficients h[k, l] inherit the
two-dimensional stationarity property of the underlying continuous-time system func-
* F. Hlawatsch and G. Matz, tion
Eds., Chapter
L (t, f ) [see 2, the
(2.2)]. Furthermore,
H Wireless
noise coefficientsCommunications
w[k, l] are i.i.d. CN (0, 1) as Over Rapidly
a consequence of the orthonormality of (g(t), T, F). These two properties are crucial for
Time-Varying Channels. NewtheYork,
ensuing analysis.
NY, USA: Academic, 2011 (PS-OFDM)
A drawback of (2.14) is the presence of (self-)interference [the second term in (2.14)],
which makes the derivation of capacity bounds involved, as will be seen in Section 2.4.
(Monash University, Australia) The signaling scheme (2.13)OTFS
can be interpreted
modulation as PS-OFDM [KM98], where the input SPCOM 2020, IISc 28 / 86
Signaling in the delay–Doppler domain
Time–frequency input-output relation
where
nk
− ml
XX
H[n, m] = h [k, l] e j2π N M
k l
ISFFT
N−1 M−1
1 XX
nk
− ml
X [n, m] = √ x[k, l]e j2π N M
NM k=0 l=0
SFFT
N−1 M−1
1 XX
nk
− ml
y [k, l] = √ Y [n, m]e −j2π N M
NM n=0 m=0
1 1
0.8
0.8 0.8
0.6
0.6 0.6
0.4
0.4 0.4
0.2
0.2 0.2
0
0 0
0
0
1 5
2
5
3
20 10
4 10
10 5 9
15 6 8 15
7 7 15
15 6
10 8 20
5 10
9 4
20 10 25
5 3 5
2
25 1 30
(a) Input signal, x[k, l] (b) Channel, h[k, l] (c) Output signal, y [k, l]
Induces interference from the neighbor points of kνi in the Doppler grid due
to non-orthogonality in channel relation – Inter Doppler Interference (IDI)
Received signal equation becomes
P Ni
e j2π(−q−κνi ) − 1
X X
y (k, l) = hi 2π x [[k − kνi + q]N , [l − lτi ]M ]
i=1 q=−Ni Ne j N (−q−κνi ) −N
Delay-Doppler Domain
Assume gtx and grx to be rectangular pulses (same as OFDM) – don’t follow
bi-orthogonality condition
————
(*) P. Raviteja, K. T. Phan, Y. Hong, and E. Viterbo, “Interference cancellation and iterative
detection for orthogonal time frequency space modulation,” IEEE Trans. Wireless Commun., vol.
17, no. 10, pp. 6501-6515, Oct. 2018. Available on: https://arxiv.org/abs/1802.05242
time time
(128 symbols) (128 symbols)
IFFT IFFT
128 128
delay (M=2048)
delay (M=2048)
XMxN . XMxN . time
Q-QAM Q-QAM (128 symbols)
delay
delay
. … . …
MN*log2(Q) bits ISFFT MN*log2(Q) bits .
.
IFFT MxN IFFT
128 128
Doppler (N=128) Doppler (N=128)
FFT … FFT
2048 2048
time
(128 symbols)
(2048 subcarriers)
frequency
…
Heisenberg transform M>N TX complexity PAPR
P/S+CP
time-frequency -> time OTFS MN*log2(N) N
(N-symbol OFDM transmitter)
IFFT … IFFT OFDM MN*log2(M) M
2048 2048
P/S+CP Only
2048 samples one CP
…
s = vec(S) = (FH
N ⊗ Gtx )x
time FFT
(128 symbols) 128
delay (M=2048)
remove . YMxN
CP received
delay
… .
+ . Symbols
S/P
FFT
128
Doppler (N=128)
In vector form:
y = (FN ⊗ Grx )r
OTFS receiver implements ZAK transform (1D→2D)
(Monash University, Australia) OTFS modulation SPCOM 2020, IISc 37 / 86
OTFS: matrix representation – channel
Channel
P
X
h(τ, ν) = hi δ(τ − τi )δ(ν − νi )
i=1
r = Hs + w
where, Π is the permutation matrix (forward cyclic shift), and ∆(ki ) is the
diagonal matrix
j2πki (0)
0 ··· 0 1 e MN 0 ··· 0
1 . . . 0 0
j2πki (1)
···
(ki )
0 e MN 0
Π = .
.
, ∆ =
. . .
.. . . . . . . .. .. .. ..
j2πki (MN−1)
0 · · · 1 0 MN×MN 0 0 ··· e MN
| {z } | {z }
Delay (similar to OFDM) Doppler
M = 2, N = 2,MN = 4
1
li = 0 and ki = 0 (no delay and Doppler)
0
1
li = 1 and ki = 0 (delay but no Doppler)
0
2 3
0 1 0 0 0 1
61 0 7 0 0
Πli =1 =4
6 7 ⇒ block circulant matrix with 2 × 2 (M × M) block size
0 05 1 0
0 0 0 1
2 3
0 1 0 0
61 0 0 0 7
P(i) = (F2 ⊗ I2 )Π(FH2 ⊗ I2 ) = 6
40 0 0 e−j2π 12 5
7
0 0 1 0
(using the block circulant matrix decomposition → generalization of circulant
matrix decomposition in OFDM)
∆(ki =0) = I4 ⇒ Q(i) = (F2 ⊗ I2 )(FH
2 ⊗ I2 ) = I4
T(i) = P(i) ⇒ T(i) s → circularly shifts the elements in each block (size M) of s
by 1 (delay shift)
1
li = 0 and ki = 1 (Doppler but no delay)
0
1 0 0 0
2 3
1
li = 1 and ki = 1 (both delay and Doppler)
0
2 3
0 1 0 0 0 1
(i)
61 0 0 0 7
P =6
40 −j2π 12 5
7
0 0 e
0 0 1 0
2 3
0 0 1 0
60 j2π 41 7
0 0 e
Q(i) =6
41
7
0 0 0 5
1
0 ej2π 4 0 0
T(i) = P(i) Q(i) ⇒ T(i) s → circularly shifts both the blocks (size M) and the
elements in each block of s by 1 (delay and Doppler shifts)
T(i) has only one non-zero element in each row and the position and value of
the non-zero element depends on the delay and Doppler values.
k ([m−l ] )
−j2π Nn j2π i MNi M
e
e , if q = [m − li ]M + M[n − ki ]N and m < li
k ([m−l ] )
T(i) (p, q) = e j2π i MNi M , if q = [m − li ]M + M[n − ki ]N and m ≥ li
0, otherwise.
Example: li = 1 and ki = 1
1
0 e j2π 4
0 0
0 0 1 0
T(i) =
1
0 e −j2π 4 0 0
1 0 0 0
y = Hx + w (2)
where x, y, w are x[k, l], y [k, l], w [k, l] in vectorized form and H is the
NM × NM coefficient matrix of (1).
Given the sparse nature of H we can solve (2) by using a message passing
algorithm similar to (*)
————
(*) P. Som, T. Datta, N. Srinidhi, A. Chockalingam, and B. S. Rajan, “Low-complexity
detection in large-dimension MIMO-ISI channels using graphical models,” IEEE J. Sel. Topics in
Signal Processing, vol. 5, no. 8, pp. 1497-1511, December 2011.
2 2
(µd;e1 ; σd;e 1
) (µd;eS ; σd;e S
)
pc;e1 pc;eS
fe1 ; e2 ; · · · ; eS g = Id fe1 ; e2 ; · · · ; eS g = Jc
Observation node messages Variable node messages
y[d]
2 2
(µd;e1 ; σd;e 1
) (µd;eS ; σd;e S
)
Received signal
X x[e1 ] x[eS ]
y [d] = x[c]H[d, c] + x[e]H[d, e] + z[d]
e∈I(d),e6=c fe1 ; e2 ; · · · ; eS g = Id
| {z }
(i)
ζd,c → assumed to be Gaussian
2
Q Q
(i) (i−1) (i−1)
X X X
(σd,c )2 = pe,d (aj )|aj |2 |H[d, e]|2 − pe,d (aj )aj H[d, e] + σ 2
e∈I(d),e6=c j=1 j=1
pc;e1 pc;eS
Probability update with damping
factor ∆ x[c]
(i)
pc,d (aj ) =∆·
(i)
p̃c,d (aj ) + (1 − ∆) ·
(i−1)
pc,d (aj ), aj ∈A fe1 ; e2 ; · · · ; eS g = Jc
where
(i)
Y
p̃c,d (aj ) ∝ Pr y [e] x[c] = aj , H
e∈J (c),e6=d
Y ξ (i) (e, c, j)
= PQ (i)
e∈J (c),e6=d k=1 ξ (e, c, k)
2
(i)
− y [e] − − He,c ak µe,c
ξ (i) (e, c, k) = exp (i) 2
(σe,c )
Final update
Y ξ (i) (e, c, j)
pc(i) (aj ) = PQ (i)
e∈J (c) k=1 ξ (e, c, k)
Stopping Criterion
Convergence Indicator η (i) = 1
NM
1 X
η (i) = I max pc(i) (aj ) ≥ 0.99
NM c=1 aj ∈A
100 45
OTFS, 120 Kmph OTFS, 120 Kmph
25
10-3
20
10-4
15
-5 10
10
0.2 0.4 0.6 0.8 1 0.2 0.4 0.6 0.8 1
∆ ∆
Figure: Variation of BER and average iterations no. with ∆. Optimal for ∆ = 0.7
100
OTFS, Ideal, 30 Kmph
OTFS, Ideal, 120 Kmph
4-QAM OTFS, Ideal, 500 Kmph
10-1 OFDM, 30 kmph
OFDM, 120 kmph
OFDM, 500 kmph
10-2
BER
10-3
10-4
10-5
5 10 15 20 25 30
SNR in dB
Figure: The BER performance comparison between OTFS with ideal pulses and OFDM
systems at different Doppler frequencies.
100
OTFS, 18 dB, 120 Kmph
OTFS, 18 dB, 500 Kmph
OTFS, 15 dB, 120 Kmph
10-1
4-QAM
10-2
BER
10-3
10-4
10-5
0 5 10 15 20
Ni
Figure: The BER performance of OTFS for different number of interference terms Ni
with 4-QAM.
100
10-1
10-2
BER
10-3 ×10-4
3.8
OTFS, Rect., WC, 30 Kmph
OTFS, Rect., WC, 120 Kmph
OTFS, Rect., WC, 500 Kmph
10-4 OTFS, Rect., WO, 30 Kmph
OTFS, Rect., WO, 120 Kmph
3.795 OTFS, Rect., WO, 500 Kmph
OTFS, Ideal
14.2 14.3 14.4 OFDM, 500 kmph
10-5
5 10 15 20 25 30
SNR in dB
Figure: The BER performance of OTFS with rectangular and ideal pulses at different
Doppler frequencies for 4-QAM.
100
OTFS, Rect., WC, 30 Kmph
OTFS, Rect., WC, 120 Kmph
16-QAM OTFS, Rect., WC, 500 Kmph
OTFS, Ideal
-1
10 OTFS, Rect., WO, 120 Kmph
OFDM
BER
10-2
10-3
10-4
10 15 20 25 30 35
SNR in dB
Figure: The BER performance of OTFS with rectangular and ideal pulses at different
Doppler frequencies for 16-QAM.
10-1
OTFS, Rect., WC, 30 Kmph, N = 16, M = 128
OTFS, Rect., WC, 120 Kmph, N = 16, M = 128
OTFS, Ideal, N = 16, M = 128
OTFS, Ideal, N = 128, M = 512
OFDM, N = 16, M = 128
10-2
BER
16-QAM
-3
10
10-4
20 25 30 35 40
SNR in dB
Figure: The BER performance of OTFS with rectangular pulses and low latency
(N = 16, Tf ≈ 1.1 ms).
Moderate complexity
Better performance than [1] but still struggles with the high Doppler
4 MCMC sampling [3]
Approximate ML solution using Gibbs sampling based MCMC technique
High complexity O(niter NM) compared to message passing (O(niter SQ))
(Does not take advantage of sparsity of the channel matrix)
——————–
[2]. T. Zemen, M. Hofer, and D. Loeschenbrand, “Low-complexity equalization for orthogonal
time and frequency signaling (OTFS),” available online: https://arxiv.org/pdf/1710.09916.pdf.
[3]. K. R. Murali and A. Chockalingam, “On OTFS modulation for high-Doppler fading
channels,” in Proc. ITA’2018, San Diego, Feb. 2018.
(Monash University, Australia) OTFS modulation SPCOM 2020, IISc 62 / 86
OTFS channel estimation
(lτi , kνi ) ((delay,Doppler)) values are obtained from the baseband time
domain signal equation
P
X
y (t) = hi x(t − τi )e j2πνi (t−τi )
i=1
PN based pilots and 2D matched filter matrix is used to determine (lτi , kνi )
Highly complex
—————
1 A. Fish, S. Gurevich, R. Hadani, A. M. Sayeed, and O. Schwartz, “Delay-Doppler channel
estimation in almost linear complexity,” IEEE Trans. Inf. Theory, vol. 59, no. 11, pp.
7632-7644, Nov. 2013.
2 K. R. Murali, and A. Chockalingam, “On OTFS modulation for high-Doppler fading
channels,” in Proc. ITA’2018, San Diego, Feb. 2018.
—————
1 P. Raviteja, K.T. Phan, and Y. Hong, “Embedded Pilot-Aided Channel
Estimation for OTFS in Delay-Doppler Channels”, IEEE Trans. on Veh. Tech.,
March 2019 (Early Access).
2 M. K. Ramachandran and A. Chockalingam, “MIMO-OTFS in high-Doppler
fading channels: Signal detection and channel estimation,” available online:
https://arxiv.org/abs/1805.02209.
3 R. Hadani and S. Rakib, “OTFS methods of data channel characterization and
uses thereof.” U.S. Patent 9 444 514 B2, Sept. 13, 2016.
as pilot from the pth antenna, the received signal at the qth antenna will be
k − np l − m p
1
x̂q [k, l] = hw , + vq [k, l].
MN qp NT M∆f
1 k l
MN hwqp NT , M∆f and thus Ĥqp can be estimated , since np and mp are
known at the receiver a priori
Impulse at (n, m) = (np , mp ) spreads only to the extent of the support of the
channel in the delay-Doppler domain (2D convolution)
If the pilot impulses have sufficient spacing in the delay-Doppler domain, they
will be received without overlap
N −1 N −1 5 5 5 5 5 5 5 5 5 5 5
5 5 5 5 5 5 5 5 5 5 5
kp + 2kν 5 5 5 5 5 5 5 5 5 5 5
kp + kν 5 5 5 5 5 ⊞ ⊞ ⊞ 5 5 5
kp kp 5 5 5 5 5 ⊞ ⊞ ⊞ 5 5 5
kp − kν 5 5 5 5 5 ⊞ ⊞ ⊞ 5 5 5
kp − 2kν 5 5 5 5 5 5 5 5 5 5 5
1 1 5 5 5 5 5 5 5 5 5 5 5
0 0 5 5 5 5 5 5 5 5 5 5 5
0 1 lp − lτ lp lp + lτ M −1 0 1 lp − lτ lp lp + lτ M −1
(a) Tx symbol arrangement (: pilot; ◦: (b) Rx symbol pattern (O: data detection,
guard symbols; ×: data symbols) : channel estimation)
N −1 N −1 5 5 5 5 5 5 5 5 5 5 5
kp + 2kν + 2k^ 5 5 5 5 5 5 5 5 5 5 5
kp + 2kν kp + kν + k^ 5 5 5 5 5 ⊞ ⊞ ⊞ 5 5 5
kp + kν 5 5 5 5 5 ⊞ ⊞ ⊞ 5 5 5
kp kp 5 5 ⊞ ⊞ ⊞ 5 5 5
5 5 5
kp − kν 5 5 5 5 5 ⊞ ⊞ ⊞ 5 5 5
kp − 2kν kp − kν − k^ 5 5 5 5 5 ⊞ ⊞ ⊞ 5 5 5
kp − 2kν − 2k^ 5 5 5 5 5 5 5 5 5 5 5
0 0 5 5 5 5 5 5 5 5 5 5 5
0 1 lp − lτ lp lp + lτ M −1 0 1 lp − lτ lp lp + lτ M −1
(a) Tx symbol arrangement (: pilot; ◦: (b) Rx symbol pattern (O: data detection,
guard symbols; ×: data symbols) : channel estimation)
(a) Antenna 1 (×: antenna 1 (b) Antenna 2 (♦: antenna 2 (c) Antenna 3 (⊕: antenna
data symbol) data symbol) 3 data symbol)
Figure: Tx pilot, guard, and data symbols for MIMO OTFS system (: pilot; ◦: guard)
N −1 5 5 5 5 5 5 5 5 5 5 5
5 5 5 5 5 5 5 5 5 5 5
5 5 5 5 5 5 5 5 5 5 5
^ 5
kp + kν + k 5 5 ⊞ ⊞ ⊠ ⊠ ⊗ ⊗ 5 5
kp 5 5 5 ⊞ ⊞ ⊠ ⊠ ⊗ ⊗ 5 5
^ 5
kp − kν − k 5 5 ⊞ ⊞ ⊠ ⊠ ⊗ ⊗ 5 5
5 5 5 5 5 5 5 5 5 5 5
5 5 5 5 5 5 5 5 5 5 5
0 5 5 5 5 5 5 5 5 5 5 5
0 lp lp +lτ +1 M −1
Figure: Rx symbol pattern at antenna 1 of MIMO OTFS system (O: data detection,
, , ⊗: channel estimation for Tx antenna 1, 2, and 3, respectively)
N −1 ⋄ ⋄ ⋄ ⋄ ⋄
⋄ ⋄ ⋄ ⋄ ⋄
kp + 2kν + 2k^ ⋄ ⋄
⋄ ⋄
kp ⋄ ⋄
⊕ ⊕ ⊕ ⊕
kp − 2kν − 2k^ ⊕ ⊕ ⊕ ⊕
⊕ ⊕ ⊕ ⊕ ⊕ ⊕ ⊕ ⊕ ⊕ ⊕ ⊕
0 ⊕ ⊕ ⊕ ⊕ ⊕ ⊕ ⊕ ⊕ ⊕ ⊕ ⊕
0 lp−lτ lp M −1 0 lp−lτ lp +lτ +1 M −1 0 lp−lτ lp +2lτ +2 M −1
(a) User 1 (×: user 1 data (b) User 2 (♦: user 2 data (c) User 3 (⊕: user 3 data
symbol) symbol) symbol)
Figure: Tx pilot, guard, and data symbols for multiuser uplink OTFS system (: pilot; ◦:
guard symbols)
BER
10-3
BER
10-5
10 12 14 16 18
10-5 SNRd in dB
10 12 14 16 18
SNRd in dB
(a) BER for estimated channels of different (b) BER for estimated channels of
Integer Dopplers Fractional Doppler
Information
bits OTFS Modulation
Message
QAM Information
passing
demodulation bits
detector
10-1 10-1
10-2 10-2
BER / FER
BER
10-3 10-3
10-4 10-4
frame error rate(16-QAM) OTFS-static channel
bit error rate(16-QAM) OFDM-static channel
frame error rate(4-QAM) OTFS-mobile channel
bit error rate(4-QAM) OFDM-mobile channel
10-5 10-5
5 10 15 20 25 30 35 0 5 10 15 20 25 30 35
Tx gain in dB Tx gain in dB
↓ zero Doppler
(size M × 1) yn = H̆n xn + w
e n , for n = 0, · · · , N − 1
100 M = 1, OFDM
N c = 1024, L = 72, 16-QAM M=2
M=4
M = 128, 256, 1024; MP
10-1 CPSC, MMSE
M = 128; A-OFDM, ZF
M = 128; A-OFDM, MMSE
AWGN
BER
10-2
10-3
10-4
15 20 25 30 35 40
SNR in dB
Figure: BER of OTFS for different M with MN = Nc = 1024, L = 72, and 16-QAM
————
(*) P. Raviteja, Y. Hong, and E. Viterbo, “OTFS performance on static multipath channels,”
IEEE Wireless Commun. Lett., Jan. 2019, doi: 10.1109/LWC.2018.2890643.
(Monash University, Australia) OTFS modulation SPCOM 2020, IISc 80 / 86
References I
Questions?