Super Orthogonal Space Time Trellis Codes
Super Orthogonal Space Time Trellis Codes
Abstract—We introduce a new class of space-time codes called method to maximize the coding gain for a given rate, constella-
super-orthogonal space-time trellis codes. These codes combine tion, and number of states.
set partitioning and a super set of orthogonal space–time block In [7], Alamouti introduced a simple code to provide full di-
codes in a systematic way to provide full diversity and improved
coding gain over earlier space–time trellis code constructions. versity for two transmit antennas. In [8], the scheme is general-
We also study the optimality of our set partitioning and provide ized to an arbitrary number of antennas and is named space–time
coding gain analysis. Codes operating at different rates, up to block coding. Also, the theory of orthogonal designs has been
the highest theoretically possible rate, for different number of generalized in [8] to show when it is possible to achieve full
states can be designed by using our optimal set partitioning. diversity. Although a space–time block code provides full di-
Super-orthogonal space-time trellis codes can provide a tradeoff
between rate and coding gain. Simulation results show more than versity and a very simple decoding scheme, despite the name,
2-dB improvements over the codes presented in the literature its main goal is not to provide the additional coding gain [8],
while providing a systematic design methodology. [9]. This is in contrast to space–time trellis codes, which pro-
Index Terms—Orthogonal designs, set partitioning, space–time vide full diversity as well as coding gain but at a cost of higher
codes, super-orthogonal codes, transmitter diversity, trellis codes. decoding complexity. To achieve additional coding gain, one
should concatenate an outer code such as a trellis code with an
inner space–time block code. In [10], space–time block coding
I. INTRODUCTION is combined with a trellis code to provide more coding gains.
The same scheme is used in [11] for Rayleigh-fading channels
S PACE–TIME trellis codes have been introduced in [1] to
provide improved error performance for wireless systems
using multiple transmit antennas. The authors have shown that
with large space–time correlations and simulation results are
provided. The shortcoming of the scheme in [10] and [11] is the
such codes can provide full diversity gain as well as additional fact that it does not provide the highest possible rate. The idea
signal-to-noise ratio (SNR) advantage that they call the coding of concatenating a space–time block code with an outer trellis
gain. Code design rules for achieving full diversity are also pro- code is also exploited in [12], [13].
vided. Using these design rules, examples of codes with full di- In what follows, we combine space–time block codes with
versity as well as some coding gain were constructed that are not a trellis code to come up with a new structure that guarantees
necessarily optimal. Since there is no general rule for designing the full diversity with increased rate over [10] and [11]. Also,
codes that provide diversity as well as coding gain, it is unclear we show how to design the trellis code to maximize the coding
how to design new codes for different number of states or dif- gain. The result is a systematic method to design space–time
ferent rates. Also, it is not clear how to improve the performance trellis codes for any given rate and number of states. To the best
of the codes, i.e., how to maximize the coding gain. There have of our knowledge, this is the first systematic way of designing
been many efforts to improve the performance of the original space–time trellis codes. Not only do we show how to design a
space–time trellis codes [2]–[5]. While very interesting codes space–time trellis code for a given rate and number of states, but
have been proposed in the literature, the coding gain improve- also our general set-partitioning results provide the maximum
ments are marginal for one receive antenna. In this work, not coding gain for the proposed structure. During the review of
only do we propose a scheme that improves the performance by this manuscript, we realized that Siwamogsatham and Fitz have
more than 2 dB, but also we answer the questions of systematic independently come up with similar ideas [14]–[16]. One spe-
design for any rate and number of states and the maximization cific example of our general super-orthogonal space–time trellis
of the coding gain. We provide a new structure for space–time codes is also presented in [17] independently. Part of the current
trellis codes that guarantees full diversity and provides opportu- work has been presented as conference papers in [18] and [19].
nity to maximize the coding gain. We also provide a systematic Section II provides the motivation behind this work. In Sec-
tion III, first we provide a parameterized class of space–time
block codes. Then, we study the set partitioning of space–time
block codes using phase-shift keying (PSK) constellation sym-
Manuscript received November 14, 2001; revised September 2, 2002. The
material in this paper was presented in part at the International Communications bols. Using the new parameterized class of space–time block
Conference, New York, April 2002 and at the IEEE International Symposium codes and our set partitioning, we show how to design optimal
on Information Theory, Lausanne, Switzerland, June 2002. super-orthogonal space–time trellis codes. Section IV provides
H. Jafarkhani was with Broadcom Corporation, Irvine, CA 92620 USA. He
is now with the Department of Electrical and Computer Engineering, University an analysis of the coding gain for the super-orthogonal codes. In
of California, Irvine, Irvine, CA 92697 USA (e-mail: [email protected]). Section V, we extend our systematic method of designing super-
N. Seshadri is with Broadcom Corporation, Irvine, CA 92620 USA (e-mail: orthogonal space–time trellis codes to more than two transmit
[email protected]).
Communicated by G. Caire, Associate Editor for Communications. antennas. We present simulation results in Section VI. Finally,
Digital Object Identifier 10.1109/TIT.2003.809607 some concluding remarks are provided in Section VII.
0018-9448/03$17.00 © 2003 IEEE
938 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 49, NO. 4, APRIL 2003
II. MOTIVATION using two of the codes in . For example, one can generate the
following four matrices using the code in (1):
An example of a full-rate full-diversity complex space–time
block code is the scheme proposed in [7] which is defined by
the following transmission matrix:
(3)
(1)
There are four other possible distinct orthogonal matrices
which are listed as follows:
The scheme can be used for transmit antennas and any
number of receive antennas. The scheme transmits bits every
two symbol intervals, where the two–dimensional (2-D) con-
stellation size is . For each block, bits arrive at the (4)
encoder and the encoder chooses two modulation symbols To create these additional matrices, one can use the following
and . Then, using , the encoder transmits from code from the set :
antenna one and from antenna two at time one. Also, the en-
coder transmits from antenna one and from antenna two (5)
at time two. This scheme provides diversity gain, but no addi-
tional coding gain.
which represents a phase shift of the signals transmitted from
By concatenating an outer trellis code that has been designed
antenna one by . We denote a set including all orthogonal
for the additive white Gaussian noise (AWGN) channel with the
matrices from (3) and (4) as . It is important to note that
space–time block code, additional performance gain can be ob-
the rank of a matrix (which determines diversity) based on the
tained. To see this, view each of the orthogonal matrices
difference between any two distinct matrices within either (3)
generated by the space–time block code (1) as a four–dimen-
or (4) is , but the rank of a matrix obtained by considering the
sional (4-D) signal point (strictly speaking while there are four
difference between any two elements in (3) and (4) is .
elements in the matrix, it does not create a 4-D space and there
By using more than one code from set , we can create all pos-
is only two degrees of freedom). The outer trellis code’s task is
sible orthogonal matrices from . Therefore, the scheme
to select one of the 4-D signal points to be transmitted based on
provides a sufficient number of constellation matrices to design
the current state and the input bits. In [10], it is shown that for
a trellis code with the highest possible rate. Also, it allows a
the slow fading channel, the trellis code should be based on the
systematic design of space–time trellis codes using the avail-
set partitioning concepts of “Ungerboeck codes” for the AWGN
able knowledge about trellis-coded modulation (TCM) [20] and
channel.
multiple TCM (MTCM) [21] in the literature.
One shortcoming of the scheme proposed in [10] and in [11]
In the space–time trellis codes of [1], constellation sym-
is the fact that there is a rate loss associated with achieving any
bols are assigned to each trellis branch. So, choosing a trellis
coding gain if the constituent 2-D signal constellation size does
branch is equivalent to transmitting symbols from transmit
not increase. This is because these schemes are not using all of
antennas in one time slot. What is transmitted at the next time
the possible 4-D signal constellations.
slot depends on the next selected trellis branch and is not deter-
To elaborate, consider other codes which provide behavior mined automatically. The codes in [1] are designed such that
similar to those of (1) for the same rate and number of transmit a maximum diversity and rate are guaranteed. However, it is
antennas. The set of all such codes which only use , , and not clear if the highest possible coding gain is achieved. In this
their conjugates with positive or negative signs are listed as fol- work, we present new codes that not only provide maximum di-
lows: versity and rate, but also achieve coding gains higher than those
of the codes in [1].
In our new scheme, we assign a space–time block code with
specific constellation symbols to transitions originating from a
state. Therefore, in general, for a space–time block code,
picking a trellis branch emanating from a state is equivalent to
transmitting symbols from transmit antennas in time
intervals. By doing so, it is guaranteed that we get the diversity
(2)
of the corresponding space–time block code, as in [10] and [11],
while in what follows we show how to design the trellis code for
With a small abuse of notation, we call the union of all these the highest possible rate, as was done in [1], to get the maximum
codes as “super-orthogonal code” set . Using just one of the coding gain as well. Note that different space–time block codes
constituent codes from , e.g., the code in (1), one cannot create can be assigned to different trellis branches as long as they all
all possible orthogonal matrices for a given constella- provide the same diversity (otherwise, the diversity is defined
tion. To make this point more evident, let us concentrate on bi- by the lowest diversity). We elaborate on the issues of picking
nary phase-shift keying (BPSK) constellation for now. It can be the right space–time block codes and assigning them to different
shown that one can build all possible orthogonal matrices trellis branches in the following sections.
JAFARKHANI AND SESHADRI: SUPER-ORTHOGONAL SPACE–TIME TRELLIS CODES 939
(6)
Note that (10) includes a sum of terms and each of these terms
is nonnegative. Therefore, the following inequality holds:
(11)
Based on the coding distances calculated in (9) and (10), one
can show that the coding gain of such a space–time trellis code is
dominated by parallel transitions. The optimal set partitioning
for BPSK, QPSK, and 8-PSK are demonstrated in Figs. 1, 3,
and 4, respectively. As can be seen from these figures, the min-
imum CGD increases (or remains the same) as we go one level
down in the tree. The branches at each level can be used to de-
Fig. 2. A four-state trellis; Ungerboeck’s set partitioning.
sign a trellis code with a specific rate. Higher coding gain ne-
cessitates the use of redundancy resulting in reduced rate. In the
only transmit a rate which is half of the maximum possible rate following sections, we show how to design space–time trellis
[1]. For an -PSK constellation, each signal can be represented codes without sacrificing the rate.
by , or , where .
Now, we consider two distinct pairs of constellation symbols
and
C. Set Partitioning for Super-Orthogonal Codes
and the corresponding code matrices and to calculate This subsection provides a set partitioning for super-orthog-
and . For the sake of brevity, in the sequel, onal codes and shows how to maximize the coding gain without
we omit from and when there is no ambiguity. sacrificing the rate. Code construction based on a super-orthog-
For parallel transitions in a trellis, we have (7) and (8) as shown onal set is as follows. In our new scheme, we assign a constituent
at the bottom of the page. Using (8), one can show that space–time block code to all transitions from a state. The adja-
cent states are typically assigned to one of the other constituent
(9) space–time block codes from the super-orthogonal code. Simi-
larly, we can assign the same space–time block code to branches
Now, if we have two codewords which differ in pairs of con-
that are merging into a state. It is thus assured that any path that
stellation symbols, it can be shown that still .
diverges from (or merges to) the correct path differs by rank
Also, if for the first codeword, we denote the set of constellation
. In other words, every pair of codewords diverging from (or
symbols by
merging to) a state achieves full diversity because the pair is
from the same orthogonal code (same parameter ). On the other
hand, for codewords with different , it is possible that they do
and for the second codeword, we denote the set of constellation not achieve full diversity. Since these codewords are assigned
symbols by to different states, the resulting trellis code would provide full
diversity despite the fact that a pair of codewords in a super-or-
thogonal code may not achieve full diversity. Note that this is
just a general method to guarantee full diversity. It is possible
we have
to come up with examples that do not follow this rule and still
provide full diversity.
Similar to the case of orthogonal designs, it remains to do the
set partitioning such that the CGD is maximized at each level
(10) of partitioning. We use the formulas that we have developed
(7)
(8)
JAFARKHANI AND SESHADRI: SUPER-ORTHOGONAL SPACE–TIME TRELLIS CODES 941
Fig. 3. Set partitioning for QPSK; the numbers at leaves represent the indexes of the symbols in the space–time block code.
Fig. 4. Set partitioning for 8-PSK; the numbers at leaves represent the indexes of the symbols in the space–time block code.
in Section III-B to calculate the CGDs. Figs. 1, 3, and 4 show D. Super-Orthogonal Space–Time Trellis Codes
the set partitioning for BPSK, QPSK, and 8-PSK, respectively. In this section, we show how to use our proposed set par-
Using (9) to calculate the CGD between a pair of codewords, it titioning scheme to design full-diversity full-rate space–time
is apparent that increasing the Euclidean distance between the trellis codes. First, we start with a few important examples and
first signals of the codewords will increase the CGD. The CGD then we propose some general rules how to design a super-or-
also increases as we increase the Euclidean distance between thogonal space–time trellis code for a given trellis and required
the second signals of the codewords. Therefore, a rule of thumb rate. Figs. 5–10 demonstrate examples of our new super-orthog-
in set partitioning is to choose the codewords that contain signal onal space–time trellis codes. In these figures, rep-
elements with highest maximum Euclidean distance from each resents the particular member of our parameterized space–time
other as the leaves of the set-partitioning tree. For example, in block code which is used at the specific state. Also, we have
the case of QPSK in Fig. 3, , , are the shown the corresponding sets from our set partitioning next to
QPSK signal constellation elements and repre- each state.
sent , respectively. The maximum CGD in this Fig. 5 shows a four-state example of our new super-orthog-
case is when and in (9). This onal space–time trellis codes. In this example, when we use
is the justification for the choice of leaf codewords in Fig. 3. At BPSK and the corresponding set partitioning in Fig. 1, the rate of
the second level of the tree from the bottom, it is impossible to the code is one. We use when departing from states
have both and equal to in all cases. The next zero and two and use when departing from states
highest value for CGD is when , or one and three. Note that, with this new structure, we have eight
, . Therefore, we group the subtrees in possible orthogonal matrices instead of four which allows
the second level such that the worst case is when , us to design a full-rate code. The minimum CGD of this code
or , . We keep grouping is which can be found in Fig. 1 and Table I. In Section IV,
the subtrees to maximize the minimum CGD at each level of set we prove that parallel transitions are dominant in calculating the
partitioning. Similar strategies are used for other signal constel- minimum CGD for this code.
lations. If we use a QPSK constellation and the corresponding set
In Figs. 1, 3, and 4, set partitioning is used to assign signal partitioning in Fig. 5, the result is a four-state super-orthogonal
elements to branches diverging from (or merging to) a state to space–time trellis code at rate 2 bits/s/Hz. The minimum CGD
maximize coding gain. The optimality of these set partitioning for this 2-bits/s/Hz code is equal to which is greater than ,
is discussed in Section IV. the CGD of the corresponding space–time trellis code from [1].
942 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 49, NO. 4, APRIL 2003
Fig. 6. A four-state code; r = 3 bits/s/Hz (8-PSK). Fig. 8. An eight-state code; r = 3 bits/s/Hz (8-PSK).
TABLE I
CGD VALUES FOR DIFFERENT CODES
(13)
For , for example, the trellis in Fig. 5, we have
(14)
Since , we have
(15)
Fig. 11. Two typical paths differing in P = 3 transitions. Now, we prove the following result that is used in the calcu-
lation of the coding gains.
lation in the trellis. Our approach is general enough to be easily
extended to other trellises in the literature. We first consider spe- For the four-state code in Fig. 5, the minimum value of
cific examples given in Section III and calculate their coding the CGD when is greater than the minimum value
gains. Then, we generalize the methods that we have used in the of the CGD when .
calculation of these coding gains to show how to calculate the Proof: Without loss of generality, we assume two code-
coding gain of any super-orthogonal space–time trellis code. words diverging from state zero and re-emerging after tran-
sitions to state zero. For parallel transitions , one can
A. Error Events With Path Length of Three calculate the CGD from (9). In this case, for
Let us first consider the trellis in Fig. 2 which corresponds to the 1-bit/s/Hz code using BPSK and for
the code in Fig. 5. Note that when there are parallel transitions the 2-bits/s/Hz code using QPSK. For the 1-bit/s/Hz
between two states, we assign a different transition to each pos- code using BPSK, and we have ,
sible constellation matrix (symbols) which is defined by our set , and . Therefore, inequality
partitioning. Two codewords may only differ in trellis (15) results in
transition. However, due to the structure of the trellis, it is im-
possible to have two codewords which differ in two trellis transi- (16)
tions . Because, for example, if two codewords diverge Also, for
from state zero, they have to go through at least three transi-
tions to re-emerge (Fig. 11). Therefore, the smallest value of
excluding parallel transitions is three. For , we consider a and in (12), we have which means
typical case where the first codeword stays at state zero. For the
(17)
second codeword, the first and third transitions (diverging and
merging to state zero) use and the second transi- Combining inequalities (16) and (17) provides
tion uses as in Fig. 11. Using trigonometry equa- (18)
tions, it can be shown that
which is greater than .
(12) For the 2-bits/s/Hz code using QPSK, and
where we have , , and
. Therefore, inequality (15) results in
(19)
Also, for
JAFARKHANI AND SESHADRI: SUPER-ORTHOGONAL SPACE–TIME TRELLIS CODES 945
TABLE II
MINIMUM det(A) FROM (24) FOR DIFFERENT CONSTELLATIONS AND ROTATIONS
Fig. 15. Set partitioning for four transmit antennas (BPSK); the numbers at leaves represent the indexes of the symbols in the space–time block code.
Fig. 18. An eight-state code; four transmit antennas; r = 1 bit/s/Hz (BPSK). VII. CONCLUSION