arxiv:cs/ v1 [cs.it] 4 Feb 2007

Transcription

1 Hih-rate, Multi-Symbol-Decodable STBCs from Clifford Alebras Sanjay Karmakar Beceem Communications Pvt Ltd, Banalore B Sundar Rajan Department of ECE Indian Institute of Science, Banalore arxiv:cs/0700v1 csit 4 Feb 007 Abstract It is well known that Space-Time Block Codes (STBCs) obtained from Orthoonal Desins (ODs) are sinlesymbol-decodable (SSD) and from Quasi-Orthoonal Desins (QODs) are double-symbol decodable However, there are SSD codes that are not obtainable from ODs and DSD codes that are not obtainable from QODs In this paper a method of constructin -symbol decodable (-SD) STBCs usin representations of Clifford alebras are presented which when specialized to = 1, ives SSD and DSD codes respectively For the number of transmit antennas a the rate (in complex symbols per channel use) of the -SD codes presented in this paper is a+1 The maximum rate of the DSD STBCs from a a QODs reported in the literature is which is smaller a 1 than the rate a 1 of the DSD codes of this paper, for a a transmit antennas In particular, the reported DSD codes for 8 and 16 transmit antennas offer rates 1 and /4 respectively whereas the known STBCs from QODs offer only /4 and 1/ respectively The construction of this paper is applicable for any number of transmit antennas 1 Introduction and Preliminaries We consider a multiple antenna transmission system with N t number of transmit antennas and N r number of receive antennas At each time slot t, the complex sinals, s ti, i = 0, 1, N t 1 are transmitted from the N t transmit antennas simultaneously Let h ij = α ij e jθij denote the path ain from the transmit antenna i to the receive antenna j, where j = 1 Assumin that the path ain are constant over a frame lenth N t (we consider only square desins), the received sinal y tj at the receive antenna j at time t is iven by, y tj = N t 1 i=0 s tih ij + n tj, (1) for j = 0,, N r 1, t = 0,, N t 1, which in matrix notation is, Y = SH + N () where Y C Nt Nr is the received sinal matrix,s C Nt Nt is the transmission matrix(also referred as codeword matrix), N C Nt Nr is the additive noise matrix and H C Nt Nr is the channel matrix, where C denotes the complex field The entries of H are complex Gaussian with zero mean and unit variance and the entries of N are complex Gaussian with zero mean and variance σ Both are assumed to be temporally and spatially white We further assume that transmission power constraint is iven by E trss H } = N t An n n linear dispersion STBC 1 with K complex variables x 1, x,, x K, where and K are positive inteers, can be written as where, S i = S = S i () x ((i 1)+j),I A ((i 1)+j),I + + x ((i 1)+j),Q A ((i 1)+j),Q (4) and x l = x l,i + jx l,q A l C for 1 l K where A l is the sinal constellation from which the variable x i takes values The set of K number of complex n n matrices A j, 1 j K are called the weiht matrices of the code and this set defines the code S With A i denotin the number of points in the constellation, the rate of this code in bits per channel use is R = 1 K n lo ( A i ) Now assumin that perfect channel state information(csi) is available at the receiver, the maximum likelihood (ML) decision rule minimizes the metric, M(S) min tr((y SH) H (Y SH)) = Y SH S (5) It is clear that there are K A i different codewords and, in eneral, the ML decodin requires K A i computations, one for each codeword But if the set of weiht matrices are chosen such that the decodin metric (5) could be decomposed into, M(S) = f i (x (i 1)+1, x (i 1)+,, x (i 1)+ ) a sum of K positive terms, each involvin exactly complex variables only, then the decodin requires

2 K A j+(i 1) } computations and the code is called a -symbol decodable code (-SD code) The case = 1 corresponds to Sinle-Symbol Decodable (SSD) codes that includes the well known codes from Orthoonal Desins (ODs) as a proper subclass, and have been extensively studied -1, few most recent ones bein 1-1 The codes correspondin to =, are called Double-Symbol-Decodable (DSD) codes The Quasi-Orthoonal Desins studied in and 6 are proper subclass of DSD codes If the weiht matrices A j, 1 j K of a -SD code are all unitary then it is said to be a Unitary Weiht DSD (UW--SD) code The DSD codes of are UW-DSD codes and that of 6 is not Throuhout this paper, we consider only UW codes The contributions of this paper are We obtain a set of sufficient conditions for a eneral linear dispersion STBC to be -SD in terms of their weiht matrices Also, another set of sufficient conditions for the code to be -SD is iven which enables us to construct UW--SD codes from representations of Clifford alebras For the number of transmit antennas a the maximum rate (in complex symbols per channel use) of all the DSD codes reported in the literature a with unitary weiht matrices is Whereas a 1 we present UW-DSD codes with rate a 1 for a a transmit antennas In particular, our code for 8 and 16 transmit antennas offer rates 1 and /4 respectively, whereas the known QODs offer only /4 and 1/ respectively The rate of our -SD codes is a+1 a Sufficient conditions for Double-Symbol-Decodability We bein with presentin a sufficient condition on the set of weiht matrices of the code to be -SD Lemma 1 The linear dispersion STBC iven by () is a -SD code if, S H l S j + S H j S l = 0, 1 l j K (6) Proof: We see from () that, ( K S H S = S H i )( K S i ) (7) If the conditions of (6) are satisfied, then it is easy to verify that, S H S = Si H S i (8) Usin (8) in (5) we et, h X K i M(S) = Tr (Y S ih) H (Y S ih) (K 1)Y H Y = KX h i Tr (Y S ih) H (Y S ih) + M c (9) wherem c = Tr (K 1)Y H Y Note that in (9) the M c term is same for all the codewords in the code book Hence it is sufficient to minimize the first term only But the first term, M (S) = Tr (Y S i H) H (Y S i H) is a sum of K square terms, each involvin only complex variables Hence the problem of ML decodin reduces to the problem of minimizin, Tr (Y S i H) H (Y S i H 1 i K (10) Hence the code is -SD if the conditions of (6) is satisfied This completes the proof Next we derive a condition on weiht matrices of the code so that (6) is satisfied Towards this end, we denote, } β i = A (i 1)+j,I, A (i 1)+j,Q 1 i K, A straiht forward verification shows that (11) Lemma Conditions of (6) is satisfied if the weiht matrices of the code () satisfy the followin condition, A H B+B H A = 0, A β i, B β j, for i j (1) We first introduce the notion of normalizin a linear STBC which not only simplifies the analysis of the codes but also provides deep insiht into various aspects of different classes of codes discussed in this paper Towards this end, let S U = k=1 x k,i A k,i + x k,q A k,q (1) be a UW--SD code We normalize the weiht matrices of the code as A ki = A H 1I A ki A kq = A H 1I A kq 1 k K (14) to et the normalized version of (1) to be S N = k=1 x k,i A k,i + x k,q A k,q (15) where A 1,I = I n, the n n identity matrix We call the code S N to be the normalized code of S U

3 Lemma The code S U is -SD iff S N is -SD In other words normalization does not affect the DSD property Proof: For 1 i 1 i K, the equation of Lemma is satisfied by the weiht matrices of S U iff they are satisfied by the weiht matrices of S N which is easily verified The followin theorem identifies a set of sufficient conditions for a UW code to be UW--SD Theorem 1 A n n UW code described by (1) and its normalized version iven by (15) are UW--SD codes if the weiht matrices of the normalized code satisfy the followin conditions: A H (i 1)+1,I = A (i 1)+1,I, i K (16) A (i 1)+1,I and A (j 1)+1,I anticommute i j K (17) A 1,Q, A,I, A,Q,, A,I, A,Q are Hermitian, commute amon themselves and with all the matrices A (i 1)+1,I, 1 i K (18) For all 1 i K, and j ; A (i 1)+1,Q = ±A 1,Q A (i 1)+1,I, (19) A (i 1)+1,I = ±A j,i A (i 1)+1,I, (0) A (i 1)+1,Q = ±A j,q A (i 1)+1,I, (1) Proof: Usin the conditions (19), (0) and (1) of the theorem the sets (11) for 1 i 1 i K are } β i1 = ± A j,i A (i1)+1,i, ±A j,q A (i1)+1,q, () } β i = ± A j,i A (i)+1,i, ±A j,q A (i)+1,q () Let xa (i1)+1,i β i1, ya (i)+1 β i where x, y I, ±A 1Q, ±A I, ±A Q, ± A ( 1),I, ±A ( 1),Q } Then xa (i1)+1,i H ya i+1,i + ya (i)+1,i H xa (i1)+1,i = A i1+1,i H x H ya i+1,i + A i+1,i H y H xa i1+1,i = A i1+1,i H xya i+1,i + A i+1,i H yxa i1+1,i = A i1+1,i H xya i+1,i + A i+1,i H xya i1+1,i = xa H i1+1,i A i+1,iy + xa H i+1,i A i1+1,iy = x A H i1+1,i A i+1,i + A H i+1,i A i1+1,i y = x 0 y = 0 This completes the proof The requirements of Theorem 1 for UW-SD can be easily stated usin the Table shown at the top of the next pae as follows: The matrices of the first row should form a Hurwitz-Radon family of matrices The matrices of the first column should be Hermitian mutually commutin and commute with all the matrices of the first row Definition 1 A UW-DSD code satisfyin the conditions of (16) is defined to be a Clifford Unitary Weiht DSD (CUW-DSD) codes The name in the above definition is due to the fact that such codes are constructable usin matrix representations of real Clifford alebras as shown in the followin section Construction of CUW--SD codes In this section we present the construction of a new class of a a -SD codes, the Clifford UW--SD (CUW-- SD) codes, for a transmit antennas, from unitary matrix representations of real Clifford alebras For an excellent introduction to and basic properties of these representations see 4 Definition The Clifford alebra, denoted by CA L, is the alebra over the real field R enerated by L objects γ k, k = 1,,, L which are anti-commutin, (γ k γ j = γ j γ k, k j,) and squarin to 1, (γk = 1 k = 1,,, L) A matrix representation of an alebra is completely specified by a representation of its enerators For a Clifford alebra, we are thus interested in unitary matrix representation of the enerators γ k s Let σ 1 = and 0 j 1 0, σ = and σ j 0 = 0 1 (4) A m = A A A A }} m times From 4 we know that the representation of the enerators of CA a+1 is iven by R(γ 1 ) = ±jσ a R(γ ) = I a 1 σ1 R(γ ) = I a 1 σ R(γ k ) = I a k σ1 σ k 1 R(γ k+1 ) = I a k σ σ k 1 R(γ a ) = σ 1 σ a 1 R(γ a+1 ) = σ σ a 1 (5) We add to this list the a a identity matrix, denoted by I a, and desinate it as R(γ 0 ) = I a

4 I = A 1I A +1,I A +1,I A i+1,i A (K 1)+1,I A 1Q A 1Q A +1,I A 1Q A +1,I A 1Q A i+1,i A 1Q A (K 1)+1,I A I A I A +1,I A I A +1,I A I A i+1,i A I A (K 1)+1,I A Q A Q A +1,I A Q A +1,I A Q A i+1,i A Q A (K 1)+1,I A I A I A +1,I A I A +1,I A I A i+1,i A I A (K 1)+1,I A Q A Q A +1,I A Q A +1,I A Q A i+1,i A Q A (K 1)+1,I 1 Construction of CUW--SD codes To construct CUW--SD codes from the last matrices R(γ (a+1 ) ), R(γ (a+1 )+1 ),, R(γ a ), R(γ a+1 )} we construct the followin 1 new matrices, α 1 = ±jr(γ a )R(γ a 1 ) α = ±jr(γ a )R(γ a+1 ) α = ±jr(γ 0 )R(γ 1 ) α +1 = ±α 1 α α + = ±α α 4 α + = ±α 1 α α + +1 = ±α +1 α + α + + = ±α + α +4 = ±α + 1 α + α (6) α 1 = Π α Note that the set of matrices α i } 1 have the followin properties: (i) They are mutually commutin, (ii) Hermitian and (iii) each commutes with R(γ 1 ), R(γ ),, R(γ a +1 ) In the above construction of α i s there is nothin special about the last matrices Any from the set R(γ 1 ), R(γ ),, R(γ a+1 )} could have been selected Next, for 1 i a +, we construct the weiht matrices of the code combinin the matrices defined above in the followin way, A (i 1)+1,I = R(γ i 1 ) A (i 1)+,I = ± α 1 R(γ i 1 ) A (i 1)+,I = ± α 1 R(γ i 1 ) (7) A (i 1)+1,Q = ±α R(γ i 1 ) A (i 1)+,Q = ± α +1 R(γ i 1 ) A (i 1)+,Q = ± α 1 R(γ i 1 ) Theorem The a a code with the weiht matrices iven by (7) is a CUW--SD code Proof It is easily checked that the weiht matrices satisfy the conditions of Theorem 1 and hence the code is CUW-SD Corollary 1 The rate of the a a CUW--SD codes of Theorem is a+1 a complex symbols per channel use Example 1 Let the representation matrices of the CA a+1, where a = be, R(γ 0 ) = I I I, R(γ 1 ) = I I σ 1, R(γ ) = I I σ, R(γ ) = I σ 1 σ, R(γ 4 ) = I σ σ, R(γ 5 ) = σ 1 σ σ R(γ 6 ) = σ σ σ, R(γ 7 ) = jσ σ σ Now accordin to the prescription of the construction procedure, α 1 = jr(γ 4 )R(γ 5 ) = σ 1 σ 1 I α = jr(γ 6 )R(γ 7 ) = jσ 1 I I α = R(γ 4 )R(γ 5 )R(γ 6 )R(γ 7 ) = ji σ 1 I and the weiht matrices iven by (8) at the top of the next pae Now if we construct the code, we et the code iven by (9) at the top of the next pae Note that for 8 transmit antennas our CUW-DSD code achieves rate 1 whereas all known QODs with unitary weiht matrices for 8 transmit antennas achieve rate only 4 However, the 8 transmit antenna DSD code with nonunitary weiht matrices of 6 achieve rate 1, but has larer Peak-to-Averae Power Ratio due to the presence of zero entries in the code, compared to our CUW-DSD codes 4 Acknowledements The authors would like to thank GSusinder Rajan for useful discussions on the subject of this paper This work was partly supported by the DRDO-IISc Proram on Advanced Research in Mathematical Enineerin and by the Council of Scientific & Industrial Research (CSIR), India, throuh Research Grant ((065)/04/EMR-II) to BS Rajan

5 A 1I = R(γ 0 ) = I I I A I = R(γ 1 ) = I I σ 1 A 5I = R(γ ) = I I σ A 7I = R(γ ) = I σ 1 σ A 1Q = α 1 A 1I = σ 1 σ 1 I A Q = α 1 A I = σ 1 σ 1 σ 1 A 5Q = α 1 A 5I = σ 1 σ 1 σ A 7Q = α 1 A 7I = σ 1 I σ A I = α R(γ 0 ) = jσ 1 I I A 4I = α R(γ 1 ) = jσ 1 I σ 1 A 6I = α R(γ ) = jσ 1 I σ A 8I = α R(γ ) = jσ 1 σ 1 σ (8) A Q = α R(γ 0 ) = ji σ 1 I A 4Q = α R(γ 1 ) = ji σ 1 σ 1 A 6Q = α R(γ ) = ji σ 1 σ A 8Q = α R(γ ) = ji I σ 6 4 x 1I jx 8Q x I + jx 5I x 7I + jx Q x 6Q + jx 4Q x 7Q + jx I x 6I + jx 4I x 1Q + jx 8I x Q + jx 5Q x I + jx 5I x 1I + jx 8Q x 6Q jx 4Q x 7I + jx Q x 6I jx 4I x 7Q + jx I x Q + jx 5Q x 1Q jx 8I x 7I jx Q x 6Q jx 4Q x 1I jx 8Q x I + jx 5I x 1Q jx 8I x Q jx 5Q x 7Q + jx I x 6I + jx 4I x 6Q + jx 4Q x 7I jx Q x I + jx 5I x 1I + jx 8Q x Q jx 5Q x 1Q + jx 8I x 6I jx 4I x 7Q + jx I x 7Q jx I x 6I jx 4I x 1Q jx 8I x Q jx 5Q x 1I jx 8Q x I + jx 5I x 7I + jx Q x 6Q + jx 4Q x 6I + jx 4I x 7Q jx I x Q jx 5Q x 1Q + jx 8I x I + jx 5I x 1I + jx 8Q x 6Q jx 4Q x 7I + jx Q x 1Q + jx 8I x Q + jx 5Q x 7Q jx I x 6I jx 4I x 7I jx Q x 6Q jx 4Q x 1I jx 8Q x I + jx 5I x Q + jx 5Q x 1Q jx 8I x 6I + jx 4I x 7Q jx I x 6Q + jx 4Q x 7I jx Q x I + jx 5I x 1IQ + jx 8Q 7 5 (9) 5 References 1 B Hassibi and B Hochwald, Hih-rate codes that are linear in space and time, IEEE Trans Inform Theory, vol48, no7, pp , July 00 SM Alamouti, A simple transmitter diversity scheme for wireless communications, IEEE J Select Areas Comm, vol 16 pp , Oct 1998 V Tarokh, H Jafarkhani and A R Calderbank, Space-Time block codes from orthoonal desins, IEEE Trans Inform Theory, vol45, pp , July O Tirkkonen and A Hottinen, Square-matrix embeddable space-time block codes for complex sinal constellations, IEEE Trans Inform Theory, vol48, no, Feb 00, pp G Ganesan and P Stoica, Space-time diversity usin orthoonal and amicable orthoonal desins, in Proc IEEE Int Conf Acoustics, Speech and Sinal Processin (ICASSP 000), Istanbul, Turkey, 000, pp Md Zafar Ali Khan, B Sundar Rajan and MHLee, On Sinle-Symbol and Double-Symbol decodable STBCs, Proc ISIT 00, Yokohama, Japan, June 9-July 4, 00, p17 7 Md Zafar Ali Khan and B Sundar Rajan, Sinle- Symbol Maximum-Likelihood Decodable Linear STBCs, IEEE Transactions on Information Theory, vol 5, no5, May 006, pp HWan, DWan and X-GXia, On optimal QOSTBC with minimal decodin complexity, Submitted to IEEE transactions on Information Theory 9 HWan, DWan and X-GXia, On Optimal Quasiorthoonal space-time block codes with minimum decodin complexity, Proc ISIT 005, Adelaide, Nov 005, pp CYuen, YL Guan and TT Tjhun, Full rate full diversity STBC with constellation rotation, Proc VTC 00, Sprin vol 1, pp 96-00, Seowipo, Korea, April GYuen, YLGuan and TTTjhun, Construction of quasi-orthoonal STBC with minimum decodin complexity, Proc ISIT 004, Chicao, June/July 004, p08 11 GYuen, YLGuan and TTTjhun, Optimizin quasi-orthoonal STBC with roup-constrained linear transformation, Proc GLOBECOM 004, Dallas, Texas, Dec 004, pp Sanjay Karmakar and B Sundar Rajan, Minimumdecodin-complexity maximum-rate space-time block codes from Clifford alebras, Proc ISIT 006, Seattle, USA, July 09-14, 006, pp Sanjay Karmakar and B Sundar Rajan, Nonunitary weiht space-time block codes with minimum decodin complexity, Proc ISIT 006, Seattle, USA, July 09-14, 006, pp Jafarkhani, H, A quasi-orthoonal space-time block code, IEEE Transactions on Communications, Volume 49, Issue 1, Jan 001, pp Weifen Su and XGXia, Sinal constellations for QOSTBC with full diversity, IEEE Trans Inform Theory, Vol-50, Oct, 004, pp OTirkkonen, ABoariu and AHottinen, Minimal and non-orthoonality rate 1 space time block code for + Tx antennas, IEEE 6th Int Symp on Spread Spectrum Tech and Appl (ISSSTA 000), pp NSharma and CBPapadias, Improved Quasiorthoonal codes, in Proc IEEE Wireless Communications and Networkin Conference (WCNC 00), March 17-1, vol1, pp