Orthogonal Time Frequency Space (OTFS) Modulation and Applications
Total Page:16
File Type:pdf, Size:1020Kb
Orthogonal Time Frequency Space (OTFS) Modulation and Applications Tutorial at SPCOM 2020, IISc, Bangalore, July, 2020 Yi Hong, Emanuele Viterbo, Raviteja Patchava Department of Electrical and Computer Systems Engineering Monash University, Clayton, Australia Special thanks to Tharaj Thaj, Khoa T.Phan (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 1 / 86 Overview I 1 Introduction Evolution of wireless High-Doppler wireless channels Conventional modulation schemes (e.g., OFDM) Effect of high Dopplers in conventional modulation 2 Wireless channel representation Time{frequency representation Time{delay representation Delay{Doppler representation 3 OTFS modulation Signaling in the delay{Doppler domain Compatibility with OFDM architecture (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 2 / 86 Overview II 4 OTFS Input-Output Relation in Matrix Form 5 OTFS Signal Detection Vectorized formulation of the input-output relation Message passing based detection Other detectors 6 OTFS channel estimation Channel estimation in delay-Doppler domain Multiuser OTFS 7 OTFS applications SDR implementation of OTFS OTFS with static multipath channels Link to download Matlab code: https://ecse.monash.edu/staff/eviterbo/OTFS-VTC18/OTFS_sample_code.zip (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 3 / 86 Introduction (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 4 / 86 Evolution of wireless 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 Waveform design is the major change between the generations (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 5 / 86 High-Doppler wireless channels (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 6 / 86 Wireless Channels - delay spread r 2 Reflected path r3 r1 LoS path Delay of LoS path: τ1 = r1=c Delay of reflected path: τ2 = (r2 + r3)=c Delay spread: τ2 τ1 − (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 7 / 86 Wireless Channels - Doppler spread Reflected path v cosθ θ LoS path v v Doppler frequency of LoS path: ν1 = fc c v cos θ Doppler frequency of reflected path: ν2 = fc c Doppler spread: ν2 ν1 − −j2πν1t −j2πν2t TX: s(t) RX: r(t) = h1s(t τ1)e + h2s(t τ2)e − − (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 8 / 86 Typical delay and Doppler spreads Delay spread (c = 3 108m/s) · ∆rmax Indoor (3m) Outdoor (3km) τmax 10ns 10µs Doppler spread νmax fc = 2GHz fc = 60GHz v = 1.5m/s = 5.5km/h 10Hz 300Hz v = 3m/s = 11km/h 20Hz 600Hz v = 30m/s = 110km/h 200Hz 6KHz v = 150m/s = 550km/h 1KHz 30KHz (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 9 / 86 Conventional modulation scheme { OFDM OFDM - Orthogonal Frequency Division Multiplexing Subcarriers Frequency OFDM divides the frequency selective channel into multiple parallel sub-channels (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 10 / 86 OFDM system model 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 Received signal { channel is constant over OFDM symbol (no Doppler) h = (h0; h1; ; hP−1) { Path gains over P taps ··· 2 3 h0 0 ··· 0 hP−1 hP−2 ··· h1 6 h1 h0 ··· 0 0 hP−1 ··· h2 7 6 7 6 . 7 6 . .. .. .. .. .. .. 7 6 . 7 6 7 6 . .. .. .. .. .. .. 7 6 . h 7 6 P−17 r = h ∗ s = 6 . 7s 6 . 7 6hP−1 . 7 6 7 6 . 7 6 . .. .. .. .. .. .. 7 6 . 7 6 7 6 . .. .. .. .. .. .. 7 4 . 5 0 0 ··· hP−1 hP−2 ··· h1 h0 | {z } M×M Circulant matrix (H) H Eigenvalue decomposition property H = F DF where D = diag[DFTM (h)] (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 12 / 86 OFDM frequency domain input-output relation At the receiver we have P−1 H X i r = Hs = F DFs = hi Π s i=0 0 0 ··· 0 1 1 . B .. C where Π is the permutation matrix B 1 0 0 C B . .. .. C @ . A 0 ··· 1 0 (notation used later as alternative representation of the channel) At the receiver we have input-output relation in frequency domain y = Fr = D x where x = Fs and s = FH x |{z} | {z } 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 H matrix lost the circulant structure { decomposition becomes erroneous Introduces inter carrier interference (ICI) ICI 0 Frequency OFDM Cons multiple Dopplers are difficult to equalize Sub-channel gains are not equal and lowest gain decides the performance (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 14 / 86 Effect of high Dopplers in OFDM Orthogonal Time Frequency Space Modulation (OTFS)(∗) Solves the two cons of OFDM Works in Delay{Doppler domain rather than Time{Frequency domain |||||| (*) 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. (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 15 / 86 Wireless channel representation (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 16 / 86 Wireless channel representation Different representations of linear time variant (LTV) wireless channels time-variant impulse response g(t; τ) F F time-frequency SFFT delay-Doppler response H(t; f) h(τ; ν) response (OFDM) (OTFS) FF B(ν; f) Doppler-variant transfer response (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 17 / 86 Wireless channel representation The received signal in linear time variant channel (LTV) Z r(t) = g(t; τ) s(t τ)dτ generalization of LTI | {z } − ! time-variant impulse response ZZ = h(τ; ν) s(t τ)ej2πνt dτdν Delay{Doppler Channel | {z } − ! Delay{Doppler spreading function Z = H(t; f )S(f )ej2πft df Time{Frequency Channel | {z } ! time-frequency response Relation between h(τ; ν) and H(t; f ) ZZ 9 h(τ; ν) = H(t; f )e−j2π(νt−f τ)dtdf > => ZZ Pair of 2D symplectic FT j2π(νt−f τ) > H(t; f ) = h(τ; ν)e dτdν ;> (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 18 / 86 Wireless channel representation 2 1 Doppler 0 -1 -2 0 1 2 3 4 Delay (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 19 / 86 Wireless channel representation 2 1 Doppler 0 -1 -2 0 1 2 3 4 Delay (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 20 / 86 Time-variant impulse response g(t; τ) ||||| * G. Matz and F. Hlawatsch, Chapter 1, Wireless Communications Over Rapidly Time-Varying Channels. New York, NY, USA: Academic, 2011 (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 21 / 86 Time-frequency and delay-Doppler responses SFFT −−−! ISFFT−−− Channel in Time{frequency H(t; f ) and delay{Doppler h(τ; ν) (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 22 / 86 Time{Frequency and delay{Doppler grids Assume ∆f = 1=T Delay 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 (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 23 / 86 OTFS Parameters Subcarrier M Bandwidth Symbol duration delay lτmax spacing (∆f ) (W =M∆f ) (Ts = 1=W ) spread 15 KHz 1024 15 MHz 0.067 µs 4.7 µs 71 ( 7%) ≈ Carrier N Latency Doppler UE speed Doppler kνmax frequency (NMT resolution (v) frequency s v (fc ) = NT ) (1=NT ) (f = f ) d c c 30 Kmph 111 Hz 1 ( 1:5%) 4 GHz 128 8.75 ms 114 Hz 120 Kmph 444 Hz 4 (≈ 6%) 500 Kmph 1850 Hz 16(≈ 25%) ≈ (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 24 / 86 OTFS modulation (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 25 / 86 OTFS modulation Time-Frequency Domain x[k; l] X[n; m] Heisenberg s(t) Channel r(t) Wigner Y [n; m] y[k; l] ISFFT SFFT Transform h(τ; ν) Transform Delay-Doppler Domain Figure: OTFS mod/demod Time{frequency domain is similar to an OFDM system with N symbols in a frame (Pulse-Shaped OFDM) (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 26 / 86 Time{frequency domain Modulator { Heisenberg transform N−1 M−1 X X j2πm∆f (t−nT ) s(t) = X [n; m]gtx(t nT )e − n=0 m=0 Simplifies to IFFT in the case of N = 1 and rectangular gtx Channel Z r(t) = H(t; f )S(f )ej2πft df Matched filter { Wigner transform Z ∗ 0 0 −j2πf (t0−t) 0 Y (t; f ) = Ag ;r (t; f ) g (t t)r(t )e dt rx , rx − Y [n; m] = Y (t; f ) t=nT ;f =m∆f j Simplifies to FFT in the case of N = 1 and rectangular grx (Monash University, Australia) OTFS modulation SPCOM 2020, IISc 27 / 86 Time{frequency domain { ideal pulses If gtx and grx are perfectly localized in time and frequency then they satisfy the bi-orthogonality condition and Y [n; m] = H[n; m]X [n; m] where ZZ H[n; m] = h(τ; ν)ej2πνnT e−j2πm∆f τ dτdν Section 2.2: A discretized system model 11 Symbol f Subcarrier ··· 2F F t 0 0 T 2T ··· Figure 2.1: Pulse-shaped OFDM interpretation of the signaling scheme (2.13). The shadedFigure areas represent: Time{frequency the approximate time-frequency support domain of the pulses gk,l(t).