Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
stefan.schwarz@nt.tuwien.ac.at
Contents
5 Conclusions
Slide 2 / 59
Contents
Contents
5 Conclusions
Slide 3 / 59
h[k]
y[k]
Input-output relationship
y[k] = h[k]x[k] + z[k]
White Gaussian noise z[k] CN 0, z2
(1)
Coded input symbols x[k] C with power E |x[k]|2 = Ps
Slide 4 / 59
(2)
Slide 5 / 59
9
16fd
(3)
(2)
Slide 5 / 59
9
16fd
(3)
x[k+j]
fading channel
time
Slide 6 / 59
(4)
Ps(h)
z2
2
|h|
water level
(energy constraint)
time
(5)
Slide 7 / 59
code block
x[k]
x[k+T-1]
h[k]
fading channel
R
outage
time
Slide 8 / 59
(6)
R 1)
(2
h2
(7)
Ps
z2
-outage capacity
Cout
= max R, such that pout (R)
(8)
Slide 9 / 59
Contents
5 Conclusions
Slide 10 / 59
y[k]
H[k]
Nr
Nr
Input-output relationship
y[k] = H[k]x[k] + z[k]
White Gaussian noise z[k] CN 0, z2 INr
(9)
Channel input x[k] CNt 1 with covariance matrix E x[k]x[k]H = Qx [k]
Mutual information between x[k] and y[k ]
1
I(H, Qx ) = log2 det INr + 2 H[k]Qx [k]H[k]H
z
Slide 11 / 59
(10)
y[k]
H[k]
Nr
Nr
Input-output relationship
y[k] = H[k]x[k] + z[k]
White Gaussian noise z[k] CN 0, z2 INr
(9)
Channel input x[k] CNt 1 with covariance matrix E x[k]x[k]H = Qx [k]
Mutual information between x[k] and y[k ]
1
I(H, Qx ) = log2 det INr + 2 H[k]Qx [k]H[k]H
z
Slide 11 / 59
(10)
(11)
UH U = UUH = INr ,
=
=
(12)
VH V = VVH = INt ,
diag 1 , . . . , Nr
diag 1 , . . . , Nt
0(Nr Nt )Nt
0Nr (Nt Nr )
, Nr Nt ,
, Nr > Nt ,
i R, i 0, singular values
Slide 12 / 59
(11)
UH U = UUH = INr ,
=
=
(12)
VH V = VVH = INt ,
diag 1 , . . . , Nr
diag 1 , . . . , Nt
0(Nr Nt )Nt
0Nr (Nt Nr )
, Nr Nt ,
, Nr > Nt ,
i R, i 0, singular values
Slide 12 / 59
(13)
= UH y, x = Vx
,
y
z = UH z,
= x
+
y
z
(14)
(15)
n
X
i=1
log2
1+
i2
z2
!
si
(16)
Qx = V diag (s1 , . . . , sn ) VH ,
si R, si 0, power loading coefficients
Slide 13 / 59
s*1
s*2
z2
12
z2
22
s*3
z2
32
z2
2
n-1
z2
n2
C(H) =
max
{s1 ,...,sn }
n
X
log2
1+
i=1
subject to: si 0,
n
X
i2
s
2 i
!
,
(17)
si = Ps
i=1
Slide 14 / 59
z2
i2
!+
, with such that
n
X
si = Ps
(18)
i=1
25
20
Capacity
Maximum eigenmode transmission
Equal power allocation
15
10
0
10
10
SNR [dB]
15
20
C(H)
2
i
z2
Ps 0
log2
1+
2
max
Ps
z2
(19)
C(H)
2
i
z2
Ps
n
X
i=1
Slide 15 / 59
log2
2 Ps
1 + i2
z n
!
(20)
CCSIT =
n
X
i=1
log2
1+
i2
s
z2 i
!!
(21)
Slide 16 / 59
CCSIT =
n
X
i=1
log2
1+
i2
s
z2 i
!!
(21)
Slide 16 / 59
CCSIT =
n
X
i=1
log2
1+
i2
s
z2 i
!!
(21)
Slide 16 / 59
(22)
(23)
Slide 17 / 59
Ps
IN
Nt t
(24)
(22)
(23)
Slide 17 / 59
Ps
IN
Nt t
(24)
25
20
Perfect CSIT
Partial CSIT (CDIT)
Perfect CSIT
Partial CSIT (CDIT)
15
4x4
10
SNR
4x2
0
10
5
SNR [dB]
10
15
20
Ergodic capacity with perfect CSI (water-filling over space only) and partial CSI
(CDI) at the transmitter
If Nr < Nt part of the transmit energy is wasted with Qx INt , i.e., power is
assigned to singular-values that are zero SNR loss
With perfect CSIT we achieve an additional
Slide 18 / 59
Nt
Nr
lim
SNR
C(SNR)
C(SNR)
= lim
,
SNR log2 (SNR)
log2 (1 + SNR)
SNR =
Ps
z2
(25)
lim
SNR
R S (SNR)
log2 (SNR)
(26)
Here, gsS is a property of the channel and the applied transmission scheme
Slide 19 / 59
lim
SNR
C(SNR)
C(SNR)
= lim
,
SNR log2 (SNR)
log2 (1 + SNR)
SNR =
Ps
z2
(25)
lim
SNR
R S (SNR)
log2 (SNR)
(26)
Here, gsS is a property of the channel and the applied transmission scheme
Slide 19 / 59
Slow fading channel: T Tc during each k the channel is fixed but random
For given target rate R, reliable transmission is possible if
1
log2 det INr + 2 H[k]Qx H[k]H > R
z
(27)
1
pout (R) = min P log2 det INr + 2 H[k]Qx H[k]H < R ,
Qx
z
(28)
(29)
Cout
= max R, such that pout (R)
(30)
Outage probability
-outage capacity Cout
Slide 20 / 59
(31)
(32)
Here, gd (gs ) denotes the diversity gain [Zheng and Tse, 2003]
gd (gs ) =
lim
SNR
(33)
Slide 21 / 59
(31)
(32)
Here, gd (gs ) denotes the diversity gain [Zheng and Tse, 2003]
gd (gs ) =
lim
SNR
(33)
Slide 21 / 59
(31)
(32)
Here, gd (gs ) denotes the diversity gain [Zheng and Tse, 2003]
gd (gs ) =
lim
SNR
(33)
Slide 21 / 59
The compound channel coding theorem [Root and Varaiya, 1968] guarantees
the existence of universal codes that achieve the diversity-multiplexing tradeoff
Still, finding practical schemes that achieve it is in general hard
Consider a practical scheme S that achieves multiplexing gain gsS
We can define the diversity gain of scheme S
gdS (gsS )
lim
SNR
log2 peS gsS log2 (SNR)
log2 (SNR)
(34)
with peS (R) denoting the average pairwise error probability of the scheme
Goal: make gdS (gsS ) as close as possible to gd (gs )
Slide 22 / 59
The compound channel coding theorem [Root and Varaiya, 1968] guarantees
the existence of universal codes that achieve the diversity-multiplexing tradeoff
Still, finding practical schemes that achieve it is in general hard
Consider a practical scheme S that achieves multiplexing gain gsS
We can define the diversity gain of scheme S
gdS (gsS )
lim
SNR
log2 peS gsS log2 (SNR)
log2 (SNR)
(34)
with peS (R) denoting the average pairwise error probability of the scheme
Goal: make gdS (gsS ) as close as possible to gd (gs )
Slide 22 / 59
{0,NtNr}
{1,(Nt-1)(Nr-1)}
{2,(Nt-2)(Nr-2)}
{gs,(Nt-gs)(Nr-gs)}
{min(Nt,Nr),0}
Point {0, Nt Nr }: the maximum diversity is achieved with fixed transmission rate
(robust transmission)
Point {min(Nt , Nr ), 0}: the maximum multiplexing gain is achieved with fixed
outage probability (no protection against fading)
Slide 23 / 59
Contents
5 Conclusions
Slide 24 / 59
data bits
Layer
mapper
Coder
Coder
z[k]
p1[k]
s[k]
x[k]
x
x
^
s[k]
y[k]
F[k]
H[k]
Nt
Nr
Detector
L
Nr
pL[k]
Slide 25 / 59
(35)
data bits
Layer
mapper
Coder
Coder
z[k]
p1[k]
s[k]
x[k]
x
x
^
s[k]
y[k]
F[k]
H[k]
Nt
Nr
Detector
L
Nr
pL[k]
Slide 25 / 59
(35)
z[k]
r[k] = [k]P[k] 2 s[k] +
(36)
Channel diagonalization
Determine the powers pi according to water-filling
Implicit selection of number of data streams L through power allocation
L is equal to the number of non-zero powers pi [k]
[k]2
Set the rates ri [k] to achieve capacity: ri [k] = log2 1 + i 2 pi [k]
z
Slide 26 / 59
1
[r[k]]i
i [k] pi
, i {1, . . . , L}
(37)
z[k]
r[k] = [k]P[k] 2 s[k] +
(36)
Channel diagonalization
Determine the powers pi according to water-filling
Implicit selection of number of data streams L through power allocation
L is equal to the number of non-zero powers pi [k]
[k]2
Set the rates ri [k] to achieve capacity: ri [k] = log2 1 + i 2 pi [k]
z
Slide 26 / 59
1
[r[k]]i
i [k] pi
, i {1, . . . , L}
(37)
(38)
F[k] = F, P[k] = P, k
(39)
(40)
(41)
which yields the ergodic capacity of the fast fading channel with CDIT
Without CSIT, the transmitter blindly has to select any transmit covariance, e.g.,
Qx =
1
IN
Nt t
(42)
which achieves the ergodic capacity of the fast fading i.i.d. Rayleigh channel
Slide 27 / 59
(38)
F[k] = F, P[k] = P, k
(39)
(40)
(41)
which yields the ergodic capacity of the fast fading channel with CDIT
Without CSIT, the transmitter blindly has to select any transmit covariance, e.g.,
Qx =
1
IN
Nt t
(42)
which achieves the ergodic capacity of the fast fading i.i.d. Rayleigh channel
Slide 27 / 59
(43)
Heff [k]H ,
(44)
1
2
(45)
Slide 28 / 59
(46)
(47)
1
GMMSE [k] = Heff [k]H Heff [k] + z2 IL
Heff [k]H
(48)
G[k ]CLNr
GMMSE [k]
1
Heff [k]H
z2
(49)
Slide 29 / 59
1
Heff [k]H
(50)
(47)
1
GMMSE [k] = Heff [k]H Heff [k] + z2 IL
Heff [k]H
(48)
G[k ]CLNr
GMMSE [k]
1
Heff [k]H
z2
(49)
Slide 29 / 59
1
Heff [k]H
(50)
y[k]
ZF/MMSE
receiver 1
Detect
stream 1
Subtract
stream 1
ZF/MMSE
receiver 2
Detect
stream 2
Subtract
1,2,...,L-1
ZF/MMSE
receiver L
Detect
stream L
^
Concat. s[k]
streams
Successively detect one layer after the other and subtract the interference
In each step ZF or MMSE equalization is applied
At iteration i streams 1, . . . , i 1 have been detected and are subtracted
y(i) = y [Heff ]{:,1:i1} [
s1 , . . . ,
si1 ]T ,
(i)
(i)
si = QA
(i)
(i)
h
(i)
GZF
(51)
y(i)
(52)
(53)
y[k]
ZF/MMSE
receiver 1
Detect
stream 1
Subtract
stream 1
ZF/MMSE
receiver 2
Detect
stream 2
Subtract
1,2,...,L-1
ZF/MMSE
receiver L
Detect
stream L
^
Concat. s[k]
streams
Successively detect one layer after the other and subtract the interference
In each step ZF or MMSE equalization is applied
At iteration i streams 1, . . . , i 1 have been detected and are subtracted
y(i) = y [Heff ]{:,1:i1} [
s1 , . . . ,
si1 ]T ,
(i)
(i)
si = QA
(i)
(i)
h
(i)
GZF
(51)
y(i)
(52)
(53)
10
10
10
10
10
10
10
Zero forcing
Linear MMSE
MMSESIC
5
5
10
SNR [dB]
15
20
25
Slide 31 / 59
(54)
(54)
10
10
10
10
10
Linear MMSE
MMSESIC
Maximum likelihood
10
10
5
10
SNR [dB]
15
20
25
Slide 33 / 59
gs
1
, gs [0, Nt ], (Nr Nt )
Nt
(55)
(56)
Slide 34 / 59
gs
1
, gs [0, Nt ], (Nr Nt )
Nt
(55)
(56)
Slide 34 / 59
y[k]
+
H[k]
Nr
Nr
^
Block s
detector
(57)
Block detection
Gathering of a block of T output symbols
Y = [y[k], . . . , y[k + T 1]] CNt T
(58)
AQ1
Estimation of transmit symbols: s
Slide 35 / 59
suppress
cancel
receive
Antenna 1
Antenna 2
time k
receive
cancel
suppress
cancel
receive
Antenna 1
Antenna 2
time k
receive
cancel
Slide 37 / 59
8
10
X=
Q
X
sq = [s]q ,
(59)
q=1
(60)
Q
T
tr q H
q = 2Ps T
(61)
q=1
Slide 38 / 59
Orthogonal space time block codes (OSTBCs) are linear STBCs fulfilling
Ps T
Nt Q
semi-unitary,
(62)
H
q H
p + p q = 0, p 6= q
pairwise skew-hermitian
(63)
q H
q = c I Nt ,
c=
gs
, gs [0, rs ]
1
rs
(64)
Slide 39 / 59
Ps
2
Ps
2
Ps
2
e.g., 4 H
4 =
s2
s1
s1
s2
1
0
j
0
Ps
2
0
1
(65)
,
r
,
0
j
0
j
j
0
H
2 H
3 + 3 2 =
Ps
2
Ps
0 1
,
1
0
2
r
Ps
0 j
4 =
,
j 0
2
0
j
0
j
(67)
Ps
j
=
IN ,
0
2 t
Ps
j
0 j
+
=0
0
j 0
2
Slide 40 / 59
(66)
2 =
Q
T
(68)
(69)
=1
Ps
h
2
s1
s2
s2
s1
+ [n[1] n[2]]
(70)
y[1]
y[2]
=
Ps
2
|
h1
h2
n[1]
h2
s1
+
h1
s2
n[2]
{z
}
(71)
Heff
r [1]
r [2]
=
Ps
n[1]
s1
+ HH
|h1 |2 + |h2 |2 INt
eff
n[2]
s2
2
(72)
Slide 41 / 59
3
4
exist
Other STBCs
Quasi-OSTBCs
Linear dispersion codes
Algebraic STBCs
...
better multiplexing rates, higher complexity
Space-time Trellis coding
Slide 42 / 59
Contents
5 Conclusions
Slide 43 / 59
Transmit Diversity
frequency n
Antenna 2
s1
-s*2
s2
s*1
s3
-s*3
s4
s*4
Antenna 2
Antenna 3
Extension to Nt = 4
frequency n
Antenna 1
Antenna 4
-s*2
s1
s*1
s2
s3
-s*3
s4
s*4
Slide 45 / 59
Transmit Diversity
frequency n
Antenna 2
s1
-s*2
s2
s*1
s3
-s*3
s4
s*4
Antenna 2
Antenna 3
Extension to Nt = 4
frequency n
Antenna 1
Antenna 4
-s*2
s1
s*1
s2
s3
-s*3
s4
s*4
Slide 45 / 59
64
16
TxD_versus_SISO
Bit-error ratio
10-1
10-2
10-3
2x1 TxD
1x1 SISO
10-4
-5
10
15
20
SNR [dB]
25
30
35
Slide 46 / 59
5.5
5
3.5
2x2 TxD
2.5
1.5
2x1 TxD
1.5
0.5
0.5
1x1 SISO
2x2 TxD
2.5
2x1 TxD
3.5
1x1 SISO
~3dB
1x2 SIMO
4.5
Throughput [Mbit/s]
Throughput [Mbit/s]
4.5
TxD_versus_SIMO
5.5
5
1x2 SIMO
-5
10
SNR [dB]
15
20
25
-5
10
SNR [dB]
15
20
25
Slide 46 / 59
frequency response
UE1
f1
IDFT
+ CP
+ CP
UE2
CDD
TX
f2
f3
UE3
Slide 47 / 59
(73)
(74)
Slide 48 / 59
(73)
(74)
Slide 48 / 59
Number of layers L
1
2
1 1
2 1
1 1
2 -1
1 1 1
2 1 -1
1 1
2 j
1 1 1
2 j -j
1 1
2 -j
Slide 49 / 59
cluster 2
PMI 2
time
cluster 1
PMI 1
frequency
Clustering of resource blocks for PMI feedback
Clustering:
Grouping of consecutive RBs in time and frequency
Size: coherence time/bandwidth versus allowed feedback overhead
One PMI per cluster, but only a single RI for the full bandwidth
The same precoder is applied on all RBs belonging to a cluster
The same transmission rank L is used for all RBs
Slide 50 / 59
Throughput [Mbit/s]
35
30
14.3 Mbit/s
10 dB
25
20
15
10
5
0
10
10
20
E /N [dB]
s
30
Channel capacity
40
Throughput [Mbit/s]
35
30
2.7 dB
25
20
5.3 Mbit/s
15
10
5
0
10
10
20
E /N [dB]
s
Channel capacity
Capacity excl. guard bands
30
40
Throughput [Mbit/s]
35
30
6.3 dB
25
20
15
10.2 Mbit/s
10
5
0
10
10
20
E /N [dB]
s
Channel capacity
Capacity excl. guard bands
Achiev. channel capacity
30
40
Throughput [Mbit/s]
35
30
7.3 dB
25
20
15
10
13.2 Mbit/s
5
0
10
10
20
E /N [dB]
s
Channel capacity
Capacity excl. guard bands
Achiev. channel capacity
Achiev. CLMI bound
30
40
Throughput [Mbit/s]
35
30
10.9 dB
25
20
15
10
15.5 Mbit/s
5
0
10
10
20
E /N [dB]
s
Channel capacity
Capacity excl. guard bands
Achiev. channel capacity
Achiev. CLMI bound
Achiev. CLMILR bound
30
40
Throughput [Mbit/s]
35
30
13.1 dB
25
20
15
10
16.5 Mbit/s
5
0
10
10
20
E /N [dB]
s
Channel capacity
Capacity excl. guard bands
Achiev. channel capacity
Achiev. CLMI bound
Achiev. CLMILR bound
Achiev. BICM bound
30
40
Throughput [Mbit/s]
35
30
16.5 dB
25
20
Channel capacity
Capacity excl. guard bands
Achiev. channel capacity
Achiev. CLMI bound
Achiev. CLMILR bound
Achiev. BICM bound
LTE optimum
15
10
5
19.0 Mbit/s
0
10
10
20
E /N [dB]
s
30
40
18
16
4x4 SVD
Throughput [Mbit/s]
14
12
4x4 CLSM
10
8
4x4 OLSM
6
4
2
0
-5
10
15
20
SNR [dB]
25
30
35
40
Slide 52 / 59
Contents
5 Conclusions
Slide 53 / 59
Conclusions
Slide 54 / 59
Conclusions
Slide 54 / 59
Conclusions
Slide 54 / 59
Conclusions
stefan.schwarz@nt.tuwien.ac.at
Abbreviations I
AWGN additive white Gaussian noise
CDD cyclic delay diversity
CDI channel distribution information
CDIT channel distribution information at the transmitter
CLSM closed loop spatial multiplexing
CQI channel quality indicator
CSI channel state information
CSIT channel state information at the transmitter
D-BLAST diagonal Bell Labs space-time architecture
FEC forward error correction code
LTE long term evolution
MET maximum eigenmode transmission
MIMO multiple-input multiple-output
ML maximum likelihood
MMSE minimum mean squared error
OLSM open loop spatial multiplexing
OSTBC orthogonal space time block code
PMI precoding matrix indicator
Slide 56 / 59
Abbreviations
Abbreviations II
Slide 57 / 59
Abbreviations
References I
Alamouti, S. (1998).
A simple transmit diversity technique for wireless communications.
IEEE journal on Selected Areas in Communications, 16, issue 8.
Clerckx, B. and Oestges, C. (2013).
MIMO Wireless Networks: Channels, Techniques and Standards for Multi-Antenna, Multi-User and Multi-Cell
Systems.
Academic Press. Elsevier.
Fincke, U. and Pohst, M. (1985).
Improved methods for calculating vectors of short length in a lattice, including a complexity analysis.
Mathematics of Computation, 44(170):463471.
Jakes, W. C. and Cox, D. C., editors (1994).
Microwave Mobile Communications.
Wiley-IEEE Press.
Root, W. L. and Varaiya, P. P. (1968).
Capacity of classes of gaussian channels.
SIAM Journal on Applied Mathematics, 16(6):13501393.
Schwarz, S., Simko, M., and Rupp, M. (2011).
On performance bounds for MIMO OFDM based wireless communication systems.
In Signal Processing Advances in Wireless Communications SPAWC 2011, pages 311 315, San Francisco,
CA.
Shannon, C. E. (1948).
A mathematical theory of communication.
The Bell system technical journal, 27:379423.
Slide 58 / 59
References
References II
Slide 59 / 59
References