Error Calculation of Codes
-
Upload
rkhanna1965 -
Category
Documents
-
view
221 -
download
0
Transcript of Error Calculation of Codes
-
7/29/2019 Error Calculation of Codes
1/14
Space-Time Coding
Space-time coding (STC) systems make use of the MIMO channel gener-ated by a multiple-antenna transmit/receive setup:
+
+
+xNtr
x1r
x2r
h11
hNtNr
hij
yNrr
y2r
y1r
nNrr
n2r
n1rTransmit
AntennaArray
Receive Array
Each antenna transmits a DSB-SC signal:
yj(t) =
Nt
i=1
EsNt
hijxi(t) + ni(t)
and y(t) =
EsNt
Hx(t) + n(t),
where y = (y1, , yNr) and x = (x1, , xNt) (EE5520 Lecture Notes).Channel Gains: These are modeled as independent complex fadingcoefficients, i.e.,
p(h) =1
2exp
|h|22 ; E[hihj] = 0
which leads to a Rayleigh distributed amplitude
p(a = |h|) = a expa
2
2
p(a = |h|2) = 1
2aexp(a/2)
-
7/29/2019 Error Calculation of Codes
2/14
EE 7950: Statistical Communication Theory 2
MIMO channels Transmit Diversity
The Alamouti scheme [1] uses two transmit antennas and one or tworeceive antennas:
+
[x1, x0]
[x0,x1]
h1
h0
[x0,x1][x0, x1]
[h0, h1]
Transmit
Antenna
Array
Combiner
Estimate
The transmitted 2 2 STC codeword is
X =
x0 x1x1 x
0
where the symbols xi can be any quadrature modulated symbols.
The received signal is now
r = [r0, r1] = [h0x0 + h1x1,h0x1 + h1x0] + [n0, n1]= [h0, h1]X + n
The demodulator calculates
[x0, x1] =
h0 h1h1 h0
r0r1
= [(|h0|2 + |h1|2)x0 + h0n0 + h1n1 n0
, (|h0|2 + |h1|2)x1 + h0n1 + h1n0 n1
]
If the channel path h0 and h1 are uncorrelated, the noise sources nihave twice the variance of the original noise sources. The system provides dual diversitydue to the factor (|h0|2+|h1|2) whichexhibits a -square distribution of fourth order.
-
7/29/2019 Error Calculation of Codes
3/14
EE 7950: Statistical Communication Theory 3
Multiple Receive Antennas
The Alamouti scheme can be extended to multiple receive antennas. Inthis case
R=
r0 r1r2 r3
=
h0 h1h2 h3
x0 x1x1 x
0
+N
Multiplying the received signalsRwith the channel estimateHwe obtain
[x0, x1] = h0 h1
h1 h0 r0
r1 + h2 h3h3 h2
r2
r3= (|h0|2 + |h1|2 + |h2|2 + |h3|2)x0 + h0n0 + h1n1 + h2n2 + h3n3
n0
,
+ (|h0|2 + |h1|2 + |h2|2 + |h3|2)x1 + h0n1 + h1n0 + h2n2 + h3n3 n1
]
Note that this system provides 4-fold diversity as expressed by theamplitude factor
A = (|h0|2 + |h1|2 + |h2|2 + |h3|2)This is possible due to the fact that the transmitted rows ofXare orthog-onal. In this sense the Alamouti scheme is the most basic representativeof what are known as orthogonal designs.
Example: The following is an example of a 4 4 orthogonal design
X= x1 x2 x3 x4
x2 x1 x4 x3x3 x4 x1 x2x4 x3 x2 x1
The 4 rows ofX are orthogonal for any real xi.
-
7/29/2019 Error Calculation of Codes
4/14
EE 7950: Statistical Communication Theory 4
Space-Time Codes
A space-time codeword is an Nt Nr matrix (array) of complex signalpoints, which is transmitted at time t:
X(t) = [x1(t), ,xNc(t)] = x11 x12 x1Nc... ...
xNt1 xNt2 xNtNc
Each row ofX is a space-time symbol, and the received STC word is given
by
Y(t) =
EsNtH(t)X(t) + N(t)
where N is a matrix of complex noise samples with variance N0, that isvariance 2 = N0/2 in each of the two dimensions.The signal energy per space-time symbol is
Es, which means that the
signal energy per constellation point is
EsNt
, and the each constellation
point xij is energy normalized to unity.
Error Calculation (Gaussian)
At any given time-instant, the channel is fixed and the impairment isGaussian noise. The probability of error between two space-time codewords, and the conditional error probability depends only on the squaredEuclidean distance between code words
P(XX) = QEsNt d2
(X
,X
)2N0
and d2(X,X) is the squared Euclidean distancebetween these two points:
d2(X,X) =EsNt
Ncn=1
Nrj=1
Nti=1
hij(xin xin)2
-
7/29/2019 Error Calculation of Codes
5/14
EE 7950: Statistical Communication Theory 5
Squared Euclidean Distance
We proceed to express d2(X,X) in terms of the linear algebraic proper-ties ofH,X and X.
d2(X,X) =EsNt
Nrj=1
Nti=1
Nti=1
hijhij
Ncn=1
(xin xin)(xin xin) Kii
The matrixK is a kernel matrix with entries Kii. Define hj = [h1j,
, hNtj]T
as the signature vector of receive antenna j. Then d2(X,X) can be ex-pressed as a quadratic form:
d2(X,X) =EsNt
Nrj=1
hjKhj
Since K is hermitian (K= K+), we can spectrally decompose d2(X,X)
d2(X,X) = EsNt
Nrj=1
hjV DV+hj
=EsNt
Nrj=1
vjDvj
The components of these equations are:
V is a unitary matrix
D is a diagonal matrix with the eigenvalues ofK. It can be shownthat all these eigenvalues are nonnegative real
h is a vector of complex Gaussian gains v = V+h is a vector of rotated complex channel gains
-
7/29/2019 Error Calculation of Codes
6/14
EE 7950: Statistical Communication Theory 6
STC Error Probability
The squared Euclidean distance can now be expressed in terms of theeigenvalues of the STC matrix K
d2(X,X) =EsNt
Nrj=1
Nti=1
di|vij|2
and, given a fixed channel H
P(XX) = QEsNrj=1Nti=1 di|vij|2
2N0Nt
Often one works with the Chernoff Bound on the error probability, whichis easier to manipulate:
P(XX) exp Es4N0NtNrj=1
Nti=1
di|vij|2
=
Nrj=1
exp
Es4N0Nt
Nti=1
di|vij|2 Dj
Fading channels If independent fading is assumed then
h is a vector of independent complex Gaussian random variables v = V+h is also a vector of independent complex Gaussian random
variables, because
Evv+
= V+E
hh+
V= I
-
7/29/2019 Error Calculation of Codes
7/14
EE 7950: Statistical Communication Theory 7
Fading Error Analysis
The components vij are unit-variance complex Gaussian random vari-ables, and their absolute value squared is therefore -square distributedwith two degrees of freedom:
p(a = |v|2) = exp(a); p(da = d|v|2) = 1d
exp(a/d)
d2(X,X) is now the weighted sum of -square random variables. The
PDF of the sum of independent random variables is best evaluated viathe characteristic function:
() =
fX(x)exp(jx) dx; d|v|2() =1
1 jdiWith this we have
Dj() =
Nt
i=11
1
jdi
= d2() =Nr
j=1Nt
i=11
1
j EsdiNt
Probability Density Function (PDF) The PDF is found via a partialfraction expansion and a backtransform of the individual terms:
p(x = d2) =
Nti=1
pi
Nrj=1
xm1
dmi (m 1)exp
x
di
This PDF can be integrated in closed form to
Pe =1
2
Nti=1
piNrj=1
1 11 + 4N0NtEsdi
m1n=0
2n
22nn21
1+Esdi4N0Nt
n
-
7/29/2019 Error Calculation of Codes
8/14
EE 7950: Statistical Communication Theory 8
Chernoff Error Bounds
The application of the Chernoff error bounding technique avoids many ofthese algebraic technicalities. The Chernoff bound is a calculated fromthe characteristic function as:
P(XX) E
exp
Es
4N0Nt
Nrj=1
Nti=1
di|vij|2
= d2()
j= Es
4N0Nt
=
Nrj=1
Nti=1
11 + Esdi
4N0Nt
The final form of the bound is:
P(X X)
1
Nti=1(1 +
Esdi4N0Nt
)
Nr
Nti=1
diNr Es
4N0Nt
NrNt
Design Criteria:Maximum diversity of NtNr can be achieved the following criteria areoptimized.
The Rank Criterion: To achieve maximum performance the ma-
trix K has to have full rank.
The Determinant Criterion: The product Nti=1 di = det(K)needs to be maximized to give maximum coding advantage.
-
7/29/2019 Error Calculation of Codes
9/14
EE 7950: Statistical Communication Theory 9
Rank and Rate
Rate: Each of the signals xij is drawn from a signal constellation A with2b signalpoints. We define two rates, the symbol rate Rs and the bitrate Rb:
Rs =k
Nc; Rb =
kb
Nc
Now consider the space-time codeword
X(t) = [x1(t), ,xNc(t)] = x11 x12 x1Nc... ...
xNt1 xNt2 xNtNc
Consider the rows ofX as the symbols Xi in a code of lenght Nt. Thena rank-r matrix X corresponds to a Hamming weight-r codeword in thiscode. The maximum rate is therefore
Rb,max =log(A(Nt, dH))
Nt
where A(Nt, dH) is the number of codewords in the code of length Nt with
minimum Hamming distance dH.If we want full-rank codes we require dH = Nt, and
Rb,max =log(A(Nt, Nt))
Nt= b
The maximum symbol rate of a full rank code is therefore
Rs,max = 1
-
7/29/2019 Error Calculation of Codes
10/14
EE 7950: Statistical Communication Theory 10
Code Construction
Following these criteria Tarokh et. al. [2] have constructed trellis codeswhich provide maximal diversity. Two examples are shown below:
00 01 02 03
10 11 12 13
20 21 22 23
30 31 32 33
00 01 02 03
10 11 12 13
20 21 22 23
30 31 32 33
22 23 20 21
32 33 30 31
02 03 00 01
12 13 10 11
These codes achieve full diversity on two-antenna systems. The transmis-sion rate is 2 bits per symbol using two QPSK signals over two antennas,because there are four choices at each state.
Decoding:Decoding follows the trellis using a sequence metric calculator Viterbi.
Branch Metrics:The Viterbi algorithm works by using metrics m(r) along their branchesand accumulates them to find the global minimum, where
m(r) =
Nrj=1
yjr Nti=1
hijxir
2
= need channel estimate|
The metric is simply the squared Euclidean distance between hypothesisand received signal.
-
7/29/2019 Error Calculation of Codes
11/14
EE 7950: Statistical Communication Theory 11
Error Performance of STCs
4 states
8states
16states
32states
64 states
4 5 6 7 8 9 10 11 12 13 14104
103
102
101
1
Frame Error Probability (BER)
SNR
Performance results copied from [2].
-
7/29/2019 Error Calculation of Codes
12/14
EE 7950: Statistical Communication Theory 12
Orthogonal Designs
Example: The following is an example of a 4 4 orthogonal design
X=
x1 x2 x3 x4x2 x1 x4 x3x3 x4 x1 x2x4 x3 x2 x1
Properties:
Orthogonal designs provide full diversity. This condition is equiv-alent to requiring that XX is non -singular for any X = X.Proof: The determinant ofX is
det(X) =
det(XXT)
=
det diag
i
x2i , ,i
x2i
=
i
x2i
Nt/2
and therefore
det(XX) =
i
|xi xi|2Nt/2
= 0
Therefore the maximum diversity NtNr is achieved with orthogonaldesigns.
Real orthogonal designs exist only for n = 2, 4 and n = 8. There exist very simple maximum-likelihood decoding rules (see home-
work).
Application of real orthogonal designs are in single-sideband (SSB)modulated signals.
Complex Orthogonal DesignsThere exist no complex orthogonal designs for n > 2.
-
7/29/2019 Error Calculation of Codes
13/14
EE 7950: Statistical Communication Theory 13
Generalized Orthogonal Designs
The generalized designs relax the tight conditions of the orthogonal de-signs.
+
+
[x1, , xk]x1 x2 x3 x4x2 x1 x4 x3
x3 x4 x1 x2
k real signals are packed into an array X of size Nt Nc; Nt Nc. Thesymbol rate of this transmission system is
R = k/Nc [real symbols/use]
A generalized orthogonal design has XXT = I, i.e., all rows are or-thogonal. The design goal is to minimize Nc for a given R and Nt.
Full rate (R = 1) real orthogonal designs exist for n 8.Theory: Using complex number theory the Hurwitz-Radon problem it is known that [2]
For any rate R 1 real generalized designs exist For any rate R 0.5 complex generalized designs exist
Example:: A rate R = 0.5 complex design is
X=
x1 x2 x3 x4 x1 x2 x3 x4x2 x1 x4 x3 x2 x1 x4 x3x3 x4 x1 x2 x3 x4 x1 x2
-
7/29/2019 Error Calculation of Codes
14/14
EE 7950: Statistical Communication Theory 14
References
[1] S.M. Alamouti, A simple transmit diversity technique for wirelesscommunications, IEEE J. Select. Areas Commun., Vol. 16, No. 8,October 1998.
[2] V. Tarokh, N. Seshadri, and A.R. Calderbank, Space-time codingfor high data rate wireless communication: Performance criterionand code construction, IEEE Trans. Inform. Theory, pp. 744-765,Mar. 1998.
[3] V. Tarokh, H. Jafarkhani, and A.R. Calderbank, Space-time blockcodes from orthogonal designs, IEEE Trans. Inform. Theory, vol.45, no. 5, July 1999.
[4] C. Schlegel, Error probability calculation for multibeam Rayleighchannels, IEEE Trans. Commun., Vol. 44, No. 3, March 1996.