 Research
 Open Access
 Published:
Cascaded orthogonal space–time block codes for wireless multihop relay networks
EURASIP Journal on Wireless Communications and Networking volume 2013, Article number: 113 (2013)
Abstract
Distributed space–time block coding is a diversity technique to mitigate the effects of fading in multihop wireless networks, where multiple relay stages are used by a source to communicate with its destination. This article proposes a new distributed space–time block code called the cascaded orthogonal space–time block code (COSTBC) for the case where the source and destination are equipped with multiple antennas and each relay stage has one or more multiple antenna relays. Each relay stage is assumed to have receive channel state information (CSI) for all the channels from the source and all relays from previous stages to itself, while the destination is assumed to have receive CSI for all the channels. To construct the COSTBC, multiple orthogonal space–time block codes (OSTBCs) are used in cascade by the source and each relay stages. In the COSTBC, each relay stage separates the constellation symbols of the OSTBC sent by the preceding relay stage using its CSI, and then transmits another OSTBC to the next relay stage. COSTBCs are shown to achieve the maximum diversity gain in a multihop wireless network with linear decoding complexity thanks to the connection to OSTBCs. Several explicit constructions of COSTBCs are also provided, and their performance is simulated in different relay configurations.
1 Introduction
Distributed space–time block coding (DSTBC) is a technique to improve reliability in relayassisted communication, where one or more relays help the source to communicate with its destination. Relayassisted communication is likely to occur in large wireless networks, such as adhoc or sensor network, where the destination is possibly out of the source’s communication range. Relayassisted communication is also used in a cellular wireless networks to improve the performance of cell edge users, and has been incorporated in modern wireless standards such as IEEE 802.16j, and 3GPP LTE Advanced.
In DSTBCs, relay antennas are used together with the source antennas in a distributed manner to transmit a space–time block code (STBC) [1] to the destination. By introducing redundancy in space and time, DSTBCs increase the reliability of the communication by increasing the diversity gain, defined as the negative of the exponent of the signaltonoise ratio (SNR) in the pairwise error probability expression at high SNR [1].
In prior work, maximum diversity gain achieving DSTBC constructions have been proposed for the twohop network [2–21], and for the multihop network [22–24]. Even though these DSTBC constructions [2–24] achieve the maximum diversity gain, the decoding complexity of most of them, except [14–21], is very high, thereby limiting their use in practical deployment. Construction of DSTBCs with low decoding complexity is practically important as highlighted by the fact that the Alamouti code is the most practically used code not only because it achieves the maximum diversity gain, but also because it requires minimum decoding complexity. Moreover, the DSTBC constructions with low decoding complexity [14–21] are limited to twohop network with single antenna equipped source, destination, and the relay nodes.
In this article, we design maximum diversity gain achieving DSTBCs with lowdecoding complexity for a multihop wireless network where the source, the destination, and the relay nodes are equipped with multiple antennas. In the proposed DSTBC, called the cascaded orthogonal space–time block code (COSTBC), an orthogonal spacetime code (OSTBC) [25] is used by the source, and subsequently by each relay stage to communicate with its adjacent relay stage. OSTBCs are considered because of their single symbol decodable property [25, 26], i.e., with the maximum likelihood decoding each constellation symbol of the OSTBC can be decoded independently of other constellation symbols. We assume that each relay has receive channel state information (CSI) for all the channels from the source to itself, while the destination is assumed to have receive CSI for all the channels. With COSTBCs, in the first time slot, the source transmits an OSTBC to the first relay stage. Using the orthogonality property of the OSTBC and the available CSI, each relay of the first relay stage separates the different OSTBC constellation symbols from the received signal, and transmits a codeword vector in the next time slot, such that the matrix obtained by stacking all the codeword vectors transmitted by the different relays of the first relay stage is an OSTBC. These operations are repeated by subsequent relay stages. With COSTBCs, no signal is decoded at any of the relays, therefore COSTBC construction with single antenna relays is equivalent to COSTBC construction with multiple antenna relays. Thus, without loss of generality, in this article, we only consider COSTBC construction for single antenna relays. We note that for the code construction each relay is required to have receive CSI for all the channels from the source and all relays from previous stages to itself, while the destination is assumed to have receive CSI for all the channels.
1.1 Our contributions

We show that COSTBCs achieve the maximum diversity gain in a multihop wireless network when each symbol of the code is decoded independently (non maximumlikelihood decoding), resulting in linear decoding complexity similar to single symbol decodable codes.

We prove that for a twohop network and when the destination has a single antenna, by adding channel coefficientdependent noise terms to the received signals, COSTBCs have the single symbol decodable property for any number of source and relay antennas. Thus, by paying a penalty in terms of coding gain because of extra noise, COSTBCs provide significant decoding complexity gain.
A part of this article has been presented at [27, 28]. Due to space limitation, the studies [27, 28] contain only the results of this article without any proofs. In this article, detailed proofs of the results, together with explicit code construction, and some simulation results are described.
1.2 Comparison with prior work
Previous constructions of maximum diversity gain achieving DSTBCs with low decoding complexity (single symbol decodable) [14–21] are limited to a twohop network with single antenna nodes. COSTBCs, in comparison, achieve the maximum diversity gain with linear decoding complexity (similar to [14–21]) in a multihop network with multiple antenna equipped nodes, even though they do not have the single symbol decodable property. For the multihop network, the focus of [23, 24] is on the construction of DSTBCs that can achieve the optimal diversity multiplexing tradeoff [29]. In comparison to the strategies of [23, 24], COSTBCs only achieve the maximum diversity gain and fall short of achieving the maximum multiplexing gain because of the use of OSTBCs. The decoding complexity of COSTBC, however, is significantly less (linear) than the strategies of [23, 24] and makes COSTBCs amenable for practical implementation in comparison to [23, 24], where STBCs with high decoding complexity are used. Thus, COSTBCs are well suited for relayassisted communication where relays are used to improve the cell coverage, by improving reliability of the users at the cell edge, while requiring low decoding complexity.
Notation: Let A denote a matrix, a a vector and a_{ i } the i th element of a. diag(A) represents a vector consisting of diagonal entries of A. The determinant and trace of matrix A are denoted by det(A) and tr(A). The vector consisting of the diagonal entries of A is denoted by diag(A). The field of real and complex numbers are denoted by \mathbb{R} and \mathbb{C}, respectively. The space of M × N matrices with complex entries is denoted by {\mathbb{C}}^{M\times N}. The Euclidean norm of a vector a is denoted by a. An m × m identity matrix is denoted by I_{ m }, and 0_{ m } is as an all zero m × m matrix. The superscripts ^{T},^{∗},^{‡} represent the transpose, transpose conjugate, and element wise conjugate. The expectation of function f(x) with respect to x is denoted by \mathbb{E}\left\{f\right(x\left)\right\}. A circularly symmetric complex Gaussian random variable x with zero mean and variance σ^{2} is denoted as x\sim \mathcal{C}N(0,{\sigma}^{2}). We use the symbol =. to represent exponential equality, i.e., let f(x) be a function of x, then f(x) =. x^{a} if \underset{x\to \infty}{lim}\frac{log\left(f\right(x\left)\right)}{logx}=a and similarly ≤. and ≥. denote the exponential less than or equal to and greater than or equal to relation, respectively. We use the symbol := to define a variable.
2 System model
Consider a multihop wireless network where a source terminal with M_{0} antennas wants to communicate with a destination terminal with M_{ N } antennas via N − 1 relay stages as shown in Figure 1. We refer to the multihop wireless network with N − 1 relay stages as an Nhop network. Each relay in any relay stage has a single antenna; M_{ N } denotes the number of relays in the n th relay stage. It is assumed that the relays do not generate their own data. Similar to the model considered in [23, 24] we assume that any relay of relay stage n can only receive the signal from any relay of relay stage N − 1, i.e., we consider a directed multihop wireless network. This assumption is valid for the case when successive relay stages appear in increasing order of distance from the source towards the destination and any two relay nodes are chosen to lie in adjacent relay stages if they have sufficiently good SNR between them. In any practical setting, there will be interference received at any relay node of stage n because of the signals transmitted from relay nodes of relay stage 0,…,n − 2 and n + 2, …, N − 1. Due to relatively large distances between nonadjacent relay stages, however, this interference is quite small and we account for that in the additive noise term similar to [24]. More details are described in Remark 1
As shown in Figure 1, the channel between the source and the i th relay of the first stage of relays is denoted by {\mathbf{h}}_{i}=\phantom{\rule{0.3em}{0ex}}{[{h}_{1i}\phantom{\rule{1em}{0ex}}{h}_{2i}\phantom{\rule{1em}{0ex}}\dots \phantom{\rule{1em}{0ex}}{h}_{{M}_{0}i}]}^{T},\phantom{\rule{1em}{0ex}}i=1,2,\dots ,{M}_{1}, between the j th relay of relay stage s and the k th relay of relay stage s + 1 by {f}_{\mathit{\text{jk}}}^{s},\phantom{\rule{1em}{0ex}}s=0,1,\dots ,N2,\text{\xe6}=1,2,\dots ,{M}_{s},\phantom{\rule{1em}{0ex}}k=1,2,\dots ,{M}_{s+1} and the channel between the relay stage N − 1 and the ℓ th antenna of the destination by {\mathbf{g}}_{\ell}={[{g}_{1\ell}\phantom{\rule{1em}{0ex}}{g}_{2\ell}\phantom{\rule{1em}{0ex}}\dots \phantom{\rule{1em}{0ex}}{g}_{{M}_{N1}\ell}]}^{T},\phantom{\rule{1em}{0ex}}\ell =1,2,\dots ,{M}_{N}. We assume that {\mathbf{h}}_{i}\in {\mathbb{C}}^{{M}_{0}\times 1}, {f}_{\mathit{\text{jk}}}^{s}\in {\mathbb{C}}^{1\times 1}, {\mathbf{g}}_{l}\in {\mathbb{C}}^{{M}_{N1}\times 1} are independent and identically distributed (i.i.d.) \mathcal{C}N(0,1) entries for all i, j, k, ℓ, s. We assume that the m^{th} relay of n^{th} stage knows {\mathbf{h}}_{i},{f}_{\mathit{\text{jk}}}^{s},\phantom{\rule{1em}{0ex}}\forall \phantom{\rule{1em}{0ex}}i,\phantom{\rule{1em}{0ex}}j,\phantom{\rule{1em}{0ex}}k,s=1,2,\dots ,n2,\phantom{\rule{1em}{0ex}}{f}_{\mathit{\text{jm}}}^{n1}\phantom{\rule{1em}{0ex}}\forall j, and the destination knows {\mathbf{h}}_{i},{f}_{\mathit{\text{jk}}}^{s},{\mathbf{g}}_{l},\phantom{\rule{1em}{0ex}}\forall \phantom{\rule{1em}{0ex}}i,j,k,l,s. We further assume that all these channels are frequency flat and block fading, where the channel coefficients remain constant in a block of time duration T_{ c } and change independently from blocktoblock. We assume that the T_{ c } is at least max{M_{0}, M_{1}, …, M_{N − 1}}.
Remark 1.
Duplexing: Duplexing is an important consideration in multihop relay networks. For example, if relay stage n is receiving the signal from relay stage N−1 and relay stage n+1 is transmitting to relay stage n+2 simultaneously, then relay stage n will receive back flow of signals from relay stage n+1 that it has already transmitted. Since each relay stage uses an amplify and forward strategy, most of the power at relay stage n will then be used to retransmit signals that have been transmitted before. A related paper [24] claims that back flow can be allowed with successive relay stages transmitting simultaneously without decreasing the diversity gain. That is true, however, in the limit of extremely large transmit power, and not applicable for any realistic transmit power level.
This problem is unique to greater than twohop relay network and is not well understood. To avoid this situation, a rate penalty of onethird is unavoidable for both fullduplex and halfduplex relay operation, where every third relay stage is switched on alternatively one at a time. For example, in first time slot communication happens between relay stages 01,34,67,\dots \phantom{\rule{0.3em}{0ex}}, while in the second time slot communication happens between relay stages 12,45,78,\dots \phantom{\rule{0.3em}{0ex}}, in third time communication happens between relay stages 23,56,89,\dots \phantom{\rule{0.3em}{0ex}}, and so on, with periodic repetitions.
2.1 Problem formulation
Definition 1
(STBC) [30] A rate L/T T × N_{ t }design D is a T × N_{ t } matrix with entries that are complex linear combinations of L complex variables s_{1}, s_{2}, …, s_{ L } and their complex conjugates. A rate L / T T × N_{ t } STBC S is a set of T × N_{ t } matrices that are obtained by allowing the L variables s_{1}, s_{2}, …, s_{ L } of the rate L / T T × N_{ t } design D to take values from a finite subset {\mathbb{C}}^{f} of the complex field \mathbb{C}. The cardinality of S={\mathbb{C}}^{f}{}^{L}, where \left{\mathbb{C}}^{f}\right is the cardinality of \mathcal{C}. We refer to s_{1}, s_{2}, …, s_{ L } as the constituent symbols of the STBC.
Definition 2
A DSTBC Φ for an Nhop network is a collection of STBCs {S_{0}, S_{1}, …, S_{N − 1}}, where S_{0} is the STBC transmitted by the source and {\mathbf{S}}_{n}=\left[{\varphi}_{n}^{1}\right({\mathbf{S}}_{n1})\dots {\varphi}_{n}^{{M}_{n}}({\mathbf{S}}_{n1}\left)\right] is the STBC transmitted by relay stage n, where {\varphi}_{n}^{j}\left({\mathbf{S}}_{n1}\right) is the vector transmitted by the j th relay of stage n which is a function of S_{n − 1}, j = 0, …, M_{ n }, n = 1, …, N − 1. An example of a DSTBC is illustrated in Figure 2.
Definition 3
The diversity gain [1, 3] of a DSTBC Φ is defined as
P_{ e }(E) is the pairwise error probability using DSTBC Φ, and E is the sum of the transmit power used by each node in the network.
The problem we consider in this article is to design DSTBCs that achieve the maximum diversity gain in an Nhop network. To identify the limits on the maximum possible diversity gain in an Nhop network, an upper bound on the diversity gain achievable with any DSTBC is presented next.
Theorem 1
The diversity gain d_{ Φ } of DSTBC Φ for an Nhop network is upper bounded by min{M_{ n }M_{n + 1}}, n = 0, 1, …, N − 1.
Proof
See Proposition 2.1 of [23]. □
Theorem 1 implies that the maximum diversity gain achievable in an Nhop network is equal to the minimum of the maximum diversity gain achievable between any two relay stages, when all the relays in each relay stage are allowed to collaborate. In the next section, we propose COSTBCs that are shown to achieve this upper bound on the diversity gain.
3 COSTBC
In this section, we introduce the COSTBC design for an Nhop network. Before introducing COSTBCs, we need the following definitions.
Definition 4
With T ≥ N_{ t }, a rate L/T T × N_{ t } STBC S is called fullrank or fully diverse or is said to achieve the maximum diversity gain if the difference of any two matrices M_{1}, M_{2} ∈ S is fullrank, i.e., minM_{1 }^{≠}M_{2}, M_{1}, M_{2 }^{∈} _{ S } rank(M_{1} − M_{2}) = N_{ t }.
Definition 5
A rateL/K K × K STBC S is called an OSTBC if the design D from which it is derived is orthogonal, i.e.,DD^{∗} = (s_{1}^{2} + ⋯ + s_{ L }^{2})I_{ K }.
Definition 6
Let S be a rateL / K K × K STBC. Then, if the maximum likelihood (ML) decoding of S is such that each of the constituent symbols s_{ i }, i = 1, …, L of S can be decoded independently of s_{ j } ∀ i ≠ j i, j = 1, …, L, then S is called a single symbol decodable STBC.
Remark 2
OSTBCs are single symbol decodable STBCs [25].
With these definitions we are now ready to describe COSTBCs for an Nhop network.
A COSTBC is a DSTBC where at each relay stage an OSTBC is transmitted, i.e., S_{ n }, n = 0, 1, …, N − 1 is an OSTBC. To construct COSTBC, the source transmits a rate L/M_{0}M_{0} × M_{0} OSTBC S_{0} in a time slot of duration M_{0}. The received signal {\mathbf{y}}_{k}^{1}\in {\mathbb{C}}^{{M}_{0}\times 1} at relay k of relay stage 1 can be written as
where \mathbb{E}\left\{\mathit{\text{tr}}\right({\mathbf{S}}_{0}^{\ast}{\mathbf{S}}_{0}\left)\right\}={M}_{0}, E_{0} is the power transmitted by the source at each time instant, and {\mathbf{z}}_{k}^{1} is the noise vector with i.i.d. \mathcal{C}N(0,1) distributed entries. Since S_{0} is an OSTBC, using CSI, the received signal {\mathbf{y}}_{k}^{1} can be transformed into {\stackrel{~}{\mathbf{y}}}_{k}^{1}\in {\mathbb{C}}^{L\times 1}[1],
where s = [s_{1}, s_{2}, …, s_{ L }]^{T} is the vector of the constituent symbols of the OSTBC S_{0}, {\mathsf{\text{H}}}_{k}^{1} is an L × L matrix, and {\mathbf{n}}_{k}^{1} is the noise vector with i.i.d. \mathcal{C}N(0,{M}_{0}) distributed entries. Normalizing {\stackrel{~}{y}}_{k}^{1} by {\left(\sqrt{{\mathsf{\text{H}}}_{k}^{1}}\right)}^{1} we obtain {\u0177}_{k}^{1}, where
where {\widehat{\mathbf{n}}}_{k}^{1} is an L × 1 vector with entries that are uncorrelated and \mathcal{C}N(0,1) distributed.
In the second time slot of duration M_{1}, relay k of relay stage transmits {\mathbf{t}}_{k}^{1}, constructed from the signal (3)
where \gamma =\mathbb{E}\left\{{\widehat{\mathbf{y}}}_{k}^{1\ast}{\widehat{\mathbf{y}}}_{k}^{1}\right\} to ensure that the average power transmitted by each relay at any time instant is E_{1}, i.e., \mathbb{E}\left\{{\mathbf{t}}_{k}^{1\u2020}{\mathbf{t}}_{k}^{1}\right\}={E}_{1}, {\mathbf{A}}_{k}^{1}, {\mathbf{B}}_{k}^{1} are M_{1} × L matrices such that
∀ k = 1, 2 …, M_{1}, l = 1, 2, … L, where {\mathbf{A}}_{k}^{1}\left(l\right) and {\mathbf{B}}_{k}^{1}\left(l\right) denote the l th column of A_{ k } and B_{ k }, respectively, and {\mathbf{S}}_{1}:=\phantom{\rule{0.3em}{0ex}}[{\mathbf{A}}_{1}^{1}\mathbf{s}+{\mathbf{B}}_{1}^{1}{\mathbf{s}}^{\u2020}\dots {\mathbf{A}}_{{M}_{1}}^{1}\mathbf{s}+{\mathbf{B}}_{{M}_{1}}^{1}{\mathbf{s}}^{\u2020}] is an OSTBC.
Under these assumptions, the M_{1} × 1 received signal at the i^{th} relay of relay stage 2 is
for i = 1, 2, … M_{2}, where {\mathbf{f}}_{i}^{1}=\phantom{\rule{0.3em}{0ex}}{[{f}_{1i}^{1}\dots {f}_{{M}_{1}i}^{1}]}^{T}, {\mathbf{z}}_{i}^{2} is the noise vector with i.i.d. \mathcal{C}N(0,1) entries and
Note that
is of the form (1), where S_{1} is also an OSTBC similar to S_{0}. Thus, repeating the operations illustrated in (2), (3), and (4), and using matrices {\mathbf{A}}_{k}^{n}, {\mathbf{B}}_{k}^{n},\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}k=1,\dots ,{M}_{n},n=2,\dots ,N1 satisfying (5), an OSTBC is transmitted from each relay stage to construct the COSTBC.
Using COSTBCs, let the received signal at the k th antenna of the destination be
where θ is such that the average power transmitted from the N−1th relay stage is E_{N − 1}, {\mathbf{c}}_{k}\in {\mathbb{C}}^{{M}_{N1}\times 1} is the equivalent channel vector between the source and the k th antenna of the destination, and {\mathbf{w}}_{k}^{N} is the noise vector. Let {\mathbf{y}}^{N}:=\phantom{\rule{0.3em}{0ex}}{[{\left({\mathbf{y}}_{1}^{N}\right)}^{T}\dots {\left({\mathbf{y}}_{{M}_{N}}^{N}\right)}^{T}]}^{T}, \mathbf{c}:=\phantom{\rule{0.3em}{0ex}}{[{\mathbf{c}}_{1}^{T}\dots {\mathbf{c}}_{{M}_{N}}^{T}]}^{T}, and \mathbf{w}:=\phantom{\rule{0.3em}{0ex}}{[{\left({\mathbf{w}}_{1}^{N}\right)}^{T}\dots {\left({\mathbf{w}}_{{M}_{N}}^{N}\right)}^{T}]}^{T}, then with the ML decoding rule, using the received signal from all antennas y^{N}, S^{⋆} is decoded if
where \mathbf{R}:=\mathbb{E}\left\{\mathbf{w}{\mathbf{w}}^{\ast}\right\} is the noise covariance matrix. Note that if R is a scaled identity matrix, then the ML decision rule (8) is equal to \sum _{j=1}^{L}\underset{j}{\text{min}}f\left({s}_{j}\right), where f(s_{ j }) is a function of s_{ j } that does not depend on s_{ k }, k ≠ j, since {\mathbf{S}}_{N1}^{\ast}{\mathbf{S}}_{N1} is a scaled identity matrix. Thus, the COSTBCs are single symbol decodable if R is a scaled identity matrix.
With COSTBC, for j ≥ 2, the noise vectors {\mathbf{w}}_{i}^{j} received at the i th antenna of relay stage j are correlated for i=1,\dots ,{M}_{j}, since all the noise components of the signals transmitted from the previous relay stages {\widehat{\mathbf{n}}}_{1}^{j1}\dots {\widehat{\mathbf{n}}}_{{M}_{j1}}^{j1} have a contribution in all the {\mathbf{w}}_{i}^{j},i=1,\dots ,{M}_{j}. For example in (6), {\mathbf{w}}_{i}^{2} has contribution from {\widehat{\mathbf{n}}}_{k}^{1} (3) ∀ k = 1, … M_{1}. Thus, in general, the noise covariance matrix R with COSTBC is not a scaled identity matrix (not even diagonal), and hence the COSTBCs are not single symbol decodable. For a special case of N = 2, and M_{2} = 1, the noise covariance matrix R is diagonal, however, not a scaled identity matrix. Moreover, with N = 2, and M_{2} = 1, an interesting property of COSTBC is that by adding some channel coefficientdependent noise terms to the received signal, the noise covariance matrix R can be made a scaled identity matrix as described in Appendix Appendix 2. Thus, compared to the ML detection of COSTBCs that entails joint decoding of symbols, by degrading the received signal and paying a penalty in terms of coding gain, COSTBCs are single symbol decodable and hence have linear decoding complexity. A performance comparison with added noise term is illustrated in Figure 3.
Even though COSTBCs are not single symbol decodable, we next show that with COSTBCs, maximum diversity gain can be achieved if the destination decodes all constituent symbols of COSTBCs independently of each other according to rule (10). Exploiting the orthogonality property of the OSTBCs transmitted by each relay stage, the received signal at the destination can be separated in terms of individual symbols transmitted by the source as follows. From (7), since S_{N − 1} is an OSTBC, similar to (2), the received signal at the k th antenna of the destination can be transformed as
where s = [s_{1}, s_{2}, …, s_{ L }]^{T} is the vector of the constituent symbols of the OSTBC S_{0}, and {\mathbf{z}}_{k}^{N} is the correlated noise vector. Combining the transformed signals from all M_{ N } antennas, the received signal can be written in terms of individual constituent symbols of the OSTBC S_{0}, as
where c_{ i } = c_{ i }^{2} and {z}_{\ell}=\sum _{k=1}^{{M}_{n}}{\mathbf{z}}_{k}^{N}\left(\ell \right) for ℓ = 1, 2, …, L. Thus, each symbol s_{ ℓ } can be decoded independently using the rule
even though this is not ML decoding. We consider this decoding rule to ensure linear decoding complexity and show that COSTBCs achieve maximum diversity gain with this rule.
Theorem 2
COSTBCs achieve the diversity gain upper bound(Theorem 1) in an Nhop network with decoding rule (10).
Proof
See Appendix 1. □
The basic idea behind the proof of Theorem 2 is to exploit the orthogonality of OSTBCs transmitted by each relay stage.
For the special case of N = 2 and M_{2} = 1, we next show that the COSTBCs can be made single symbol decodable by degrading the received signal by adding some channel coefficientdependent noise terms as discussed before.
Theorem 3
COSTBCs are single symbol decodable STBCs after adding some channel coefficientdependent noise terms to the received signals for N = 2 and M_{2} = 1.
Proof
See Appendix Appendix 2. □
Remark 3
CSI: We note that for decoding of COSTBCs, global CSI is required at the destination. The requirement of destination having global CSI regarding all the underlying channels has been made in several recent related papers, including [23, 24]. Actually, this is a common assumption made by all papers that consider amplifyandforward protocol. Since mostly, only twohop communication is considered, the CSI requirement is somewhat limited compared to the case of multihop communication, the topic of this paper and [22–24]. Acquiring such CSI in practice is a challenge, however, using techniques like Grassmannian codebooks, CSI about all channels can be acquired by the destination through the relay nodes by dedicating the start of time slots for training purposes. In particular, relay in stage 1 can get the CSI between source and itself by using pilots and channel estimation. Thereafter, by using Grassmannian codebooks it can forward the CSI it has gathered to the next relay stage in addition to sending pilots for the relays in the next stage to gather CSI between relay stages. Repeating this procedure all nodes can get the required CSI.
Another assumption about CSI we make for our code construction to work is that CSI is available at each relay node for channels preceding itself which is not required for other related works [22–24]. Since the CSI required at the destination for any amplifyandforward protocol has to be transmitted through to the destination through the relays, CSI can safely be assumed to be available at each relay node as well. Thus, this is also not a limiting assumption.
Discussion: In this section, we constructed COSTBCs by cascading OSTBCs at each relay stage. OSTBCs are cascaded at each relay stage by first separating each constellation symbol of the OSTBC transmitted from the preceding relay stage, and then transmitting another OSTBC to the next relay stage. The proposed OSTBC cascading strategy is novel, and different than other approaches that use Alamouti code or OSTBC in a distributed manner [12, 31].
We showed that the single symbol decodable property of OSTBCs is lost by cascading OSTBCs to construct COSTBCs. Using the orthogonality property of the OSTBCs, however, we showed that the maximum diversity gain can be achieved by COSTBCs even when each source transmitted symbol is decoded independently. Therefore, COSTBCs have decoding complexity that is linear in the number of symbols transmitted by source in one codeword, which is quite critical for practical implementations. Since independent symbol decoding is not ML, COSTBCs entail an unavoidable coding gain loss, however, we show that at least in terms of diversity gain there is no loss compared to ML decoding. We also showed that the COSTBCs are single symbol decodable for a twohop wireless network N=2 when the destination has only a single antenna M_{2}=1, by adding some channel coefficientdependent noise terms to the received signal.
4 Explicit code constructions
In this section, we explicitly construct COSTBCs that achieve the maximum diversity gain in an Nhop network. The ingredient OSTBCs can be borrowed from [25, 32, 33], similar to [34]. We present examples of COSTBCs for N = 2, M_{0} = M_{1} = 2 using the Alamouti code [26], N = 2, M_{0} = M_{1} = 4 using the rate 3 / 4 4 antenna OSTBC [25] and N = 2, M_{0} = M_{1} = 4 using the rate 3/4 4 antenna OSTBC and the Alamouti code.
Example 1
(Cascaded Alamouti code) We consider N = 2, M_{0} = M_{1} = 2 case and let S_{0} be the Alamouti code given by {\mathbf{S}}_{\mathit{\text{ala}}}=\left[\begin{array}{cc}{s}_{1}& {s}_{2}\\ {s}_{2}^{\ast}& {s}_{1}^{\ast}\end{array}\right] where s_{1} and s_{2} are constituent symbols of the Alamouti code. The 2 × 1 received signal at relay m is
for m = 1, 2. Transforming this in the usual way
for m = 1, 2. We define {\stackrel{~}{h}}_{m}:={h}_{1m}{}^{2}+{h}_{2m}{}^{2}, {\eta}_{1m}:=({n}_{1m}{h}_{1m}^{\ast}+{n}_{2m}^{\ast}{h}_{2m}), and {\eta}_{2m}:=({n}_{1m}{h}_{2m}^{\ast}{n}_{2m}^{\ast}{h}_{1m}).
Premultiplying by {{\stackrel{~}{\mathbf{H}}}_{m}}^{\ast},
for m = 1, 2.
Now using
the STBC S_{1} formed by the two relays is equal to {\mathbf{S}}_{\mathit{\text{ala}}}^{T} which is also an OSTBC as required. Note that A_{ i }, B_{ i }i = 1, 2 satisfy the requirements of (5). We call this the cascaded Alamouti code.
Example 2
In this example, we consider the case N = 2, M_{0} = 4, M_{1} = 4. We choose S_{0} to be the rate 3/4 OSTBC for 4 transmit antennas given by
and use
and
It is easy to verify that \mathit{\text{tr}}\left({\mathbf{A}}_{i}^{\ast}{\mathbf{A}}_{i}+{\mathbf{B}}_{i}^{\ast}{\mathbf{B}}_{i}\right)=3 and {\mathbf{A}}_{i}^{\ast}{\mathbf{B}}_{i}={\mathbf{B}}_{i}^{\ast}{\mathbf{A}}_{i},i=1,2,3,4 as required. Then the STBC S_{1} = S_{0} using these A_{ i }, B_{ i }i = 1, 2, 3, 4, which is a rate 3/4 OSTBC as described above.
In both the previous examples, we constructed a COSTBC for the N = 2hop case by repeatedly using the same OSTBC at both the source and the relay stage. Using a similar procedure, it can be seen that when M_{ i } = M_{ j } ∀ i, j = 0, 1, …, N − 1, i ≠ j we can construct COSTBCs by using particular OSTBC for M_{0} antennas at the source and each relay stage, e.g., if \mathcal{O} is an OSTBC for M_{0} antennas, then by using {\mathbf{S}}_{n}=\mathcal{O},\phantom{\rule{1em}{0ex}}n=0,1,\dots ,N1 we obtain a maximum diversity gain achieving COSTBC. OSTBC constructions for different number of antennas can be found in [25]. In the next example, we construct COSTBC for M_{0} = 4 and M_{1} = 2 by cascading the rate 3/4 4 antenna OSTBC with the Alamouti code.
Example 3
Let N = 2, M_{0} = 4, and M_{1} = 2. We choose S_{0} to be the rate 3/4 4 antenna OSTBC (12) and S_{1} to be the Alamouti code. The COSTBC is constructed as follows.
Let S_{0} given by (12) be the transmitted rate 3/4 4 antenna OSTBC from the source. Then the received signal at relay node m, m = 1, 2 is {\mathbf{r}}^{m}\phantom{\rule{0.3em}{0ex}}=\phantom{\rule{0.3em}{0ex}}\sqrt{{E}_{0}}{\mathbf{S}}_{0}{\left[\begin{array}{cccc}{h}_{1m}& {h}_{2m}& {h}_{3m}& {h}_{4m}\end{array}\right]}^{T}\phantom{\rule{0.3em}{0ex}}+{\left[\begin{array}{cccc}{n}_{1}^{m}& {n}_{2}^{m}& {n}_{3}^{m}& {n}_{4}^{m}\end{array}\right]}^{T}. Using CSI the received signal r^{m} can be transformed into {\widehat{\mathbf{r}}}^{m}, where {\widehat{\mathbf{r}}}^{m}:={\left[\begin{array}{ccc}{\widehat{r}}_{1}^{m}& {\widehat{r}}_{2}^{m}& {\widehat{r}}_{3}^{m}\end{array}\right]}^{T}=\sqrt{{E}_{0}}{\left[\begin{array}{ccc}{\u0125}_{m}{s}_{1}& {\u0125}_{m}{s}_{2}& {\u0125}_{m}{s}_{3}\end{array}\right]}^{T}+{\left[\begin{array}{ccc}{\widehat{n}}_{1}^{m}& {\widehat{n}}_{2}^{m}& {\widehat{n}}_{3}^{m}\end{array}\right]}^{T} and {\u0125}_{m}=\sqrt{\sum _{i=1}^{{M}_{0}}{h}_{\mathit{\text{im}}}{}^{2}}. Then in the next time slot, the relay m, m = 1, 2 transmits {\mathbf{A}}_{m}{\left[\begin{array}{cc}{\widehat{r}}_{1}^{m}& {\widehat{r}}_{2}^{m}\end{array}\right]}^{T}+{\mathbf{B}}_{m}{\left[\begin{array}{cc}{\widehat{r}}_{1}^{m}& {\widehat{r}}_{2}^{m}\end{array}\right]}^{T\u2020} where A_{ m }, B_{ m } are given in (11).
These operations are repeated at the source and each relay stage in subsequent time slots. In the next time slot, signal s_{3} received in the previous time slot and s_{1} received in the current time slot is transmitted from relay stage 1 to the destination. Clearly, the relay stage transmits an Alamouti code which is an OSTBC and hence leads to a COSTBC construction for M_{0} = 4, M_{1} = 2.
Using a similar technique as illustrated in this example, COSTBCs can be constructed for different number of source antenna and relay node configurations by suitably adapting different OSTBCs.
5 Simulation results
In this section, we provide simulation results to illustrate the bit error rates (BERs) of COSTBCs for 2 and 3hop networks. In all the simulation plots, E denotes the total power used by all nodes in the network, i.e., {E}_{0}+\sum _{n=1}^{N1}{M}_{n}{E}_{n}=E and the additive noise at each relay and the destination is complex Gaussian with zero mean and unit variance. By equal power allocation between the source and each relay stage we mean {E}_{0}={M}_{n}{E}_{n}=\frac{E}{N},\phantom{\rule{1em}{0ex}}\forall n=1,\dots ,N1.
In Figure 4, we plot the BERs of a cascaded Alamouti code and the comparable DSTBC from [3] with 4 QAM modulation for N = 2, M_{0} = M_{1} = 2, and M_{2} = 1, 2, 3 with equal power allocation between the source and all the relays. It is easy to see that both the cascaded Alamouti code and the DSTBC from [3] achieves the maximum diversity gain of the 2hop network, however, COSTBCs require 1 dB less power than the DSTBCs from [3], to achieve the same BER. The improved BER performance of COSTBCs over DSTBCs from [3] is due to fact that with COSTBCs, each relay coherently combines the signal received from the previous relay stage before forwarding it to the next relay stage, while no such combining is done in [3]. Note that, however, DSTBCs from [3] do not need CSI at any relay, in contrast to COSTBCs which use CSI for transforming the signal and transmitting an OSTBC. To illustrate the loss with independent decoding (10) with respect to ML decoding, for N = 2 and M_{2} = 1, in Figure 3, we plot the BER performance of cascaded Alamouti codes with ML decoding, with independent decoding (10), and adding channel coefficientdependent noise for which the COSTBC is single symbol decodable. We observe that even though there is a sufficient gap between ML and nonML decodings, there is a negligible difference between independent decoding (10) and ML single symbol decoding with added noise.
We also compare the BER performance of COSTBC with perfect and imperfect CSI in Figure 5 for a 2hop network with number of destination antennas M_{2}=1,2. Each relay uses channel estimation with the help of pilots to gather the necessary CSI from the source to itself. Then each relay uses a 16bit Grassmannian codebooks [35] for relaying the CSI between source and relay it has estimated, in addition to sending pilots for the destination to get the CSI between each relay and destination. We notice that even though there is a performance loss with imperfect CSI, however, its not too significant.
Next, we plot the BER curves for N = 2, M_{0} = M_{1} = 4, and N = 2, M_{0} = 4, M_{1} = 2 configurations in Figures 6 and 7 with different M_{2} and using equal power allocation between the source and the relay stage. For the M_{0} = M_{1} = 4 case, we use the cascaded rate 3/4 4 antenna OSTBC and for the M_{0} = 4, M_{1} = 2 case we use a rate 3/4 4 antenna OSTBC at the source and the Alamouti code across both the relays as discussed in Section 4. From Figures 6 and 7, it is clear that both these codes achieve the maximum diversity gain for the respective network configurations.
Finally, in Figure 8, we plot the BERs of a cascaded Alamouti code with N=3hop network where M_{0} = M_{1} = M_{2} = 2 with M_{3} = 1, 2, 3, and the cascaded Alamouti code is generated by repeated use of the Alamouti code by each relay stage with equal power allocation between the source and the relay stages. In this case also, it is clear that the cascaded Alamouti code achieves the maximum diversity gain but there is an SNR loss compared to N = 2 case, because of the noise added by one extra relay stage.
From all the simulation plots, it is clear that COSTBCs require large transmit power to obtain reasonable BERs with multihop wireless networks. This is a common phenomenon across all the maximum diversity gain achieving DSTBCs for multihop wireless networks that use AF [3, 5, 9]. With AF, the noise received at each relay gets forwarded towards the destination and limits the received SNR at the destination, however, without using AF it is difficult to achieve the maximum diversity gain in a multihop wireless network.
6 Conclusion
In this article, we designed COSTBCs that achieve the maximum diversity gain in a multihop wireless network with low decoding complexity. We then gave an explicit construction of COSTBCs for various numbers of source, destination, and relay antennas. The only restriction that COSTBCs impose is that the source and all the relay stages have to use an OSTBC. It is well known that high rate OSTBCs do not exist; therefore, the COSTBCs have rate limitations. For future work it will be interesting to see whether the OSTBC requirement can be relaxed without sacrificing the maximum diversity gain and minimum decoding complexity of the COSTBCs.
Appendix 1
We prove Theorem 2 using induction. First we show that COSTBCs achieve the maximum diversity gain for N = 2, and then extend the result for a khop network, where k is any arbitrary natural number.
The outage probability P_{out}(R) is defined as P_{out}(R) := P(I(s;r) ≤ R), where S is the input and R is the output of the channel and I(s; r) is the mutual information between S and R[36]. Let d_{out}(r) be the SNR exponent of P_{out} with rate of transmission R scaling as r logSNR, i.e., log{P}_{\text{out}}(rlog\mathsf{\text{SNR}})\stackrel{.}{=}{\mathsf{\text{SNR}}}^{{d}_{\text{out}}\left(r\right)}. Then, if {P}_{e}\left(\mathsf{\text{SNR}}\right)\stackrel{.}{=}{\mathsf{\text{SNR}}}^{d\left(r\right)}, then from [29], and the compound channel argument [24], {P}_{\text{out}}(rlog\mathsf{\text{SNR}})\stackrel{.}{=}{P}_{e}\left(\mathsf{\text{SNR}}\right),\phantom{\rule{1em}{0ex}}d\left(r\right)\stackrel{.}{=}{d}_{\text{out}}\left(r\right). Therefore, to compute d(r), it is sufficient to compute d_{out}(r). In the following, we compute d_{out}(r) for the COSTBC with a 2hop network.
For the 2hop network, similar to (2), from (19), the received signal at any receive antenna of the destination can be separated in terms of the individual constituent symbols of the OSTBC transmitted by the source. Similar to (2), from (19), separating the constituent symbols of S_{0}, let {y}_{\ell}^{j} be the received signal at the j th antenna of the destination corresponding to s_{ ℓ }, the ℓ th, l = 1, 2, …, L symbol transmitted from the source. Then {y}_{\ell}^{j} can be written as
where θ is the normalization constant so as to ensure the power constraint of E_{1} for the relay stage 1, and {z}_{\ell}^{j} is the additive white Gaussian noise (AWGN) with zero mean and {\sigma}_{j}^{2} variance. Note that {z}_{\ell}^{j}’s are not independent for j = 1, …, M_{2}. Adding the received signal corresponding to s_{ ℓ } from all the antennas of the destination of the 2hop network, we get
Let {z}_{l}:=\sum _{j=1}^{{M}_{2}}{z}_{\ell}^{j}. Even though {z}_{\ell}^{j}’s are not independent, any linear combination of {z}_{l}^{j}’s is Gaussian, therefore z_{ ℓ } is \mathcal{C}N(0,{\sigma}^{2}) distributed for some σ^{2}. Note that σ^{2} depends on the channel coefficients, however, as shown in Theorem 2.3 of [24], z_{ ℓ } is white in the scale of interest and without loss of generality z_{ ℓ } can be modeled as \mathcal{C}N(0,1), i.e., independent of channel coefficients in the outage analysis.
Let SNR := θ E, then
Since g_{ k j }^{2}h_{ j k }^{2} are i.i.d. for j = 1, …, min{M_{0}, M_{2}}, k = 1, …, M_{1} and the total number of terms are min{M_{0}M_{1}, M_{1}M_{2}},
Note that P(g_{11}^{2}h_{11}^{2} ≤ SNR^{ − (1 − r)}) is the outage probability of a single input single output system which can be computed easily using [29], and is given by
Thus, {P}_{\text{out}}(rlog\mathsf{\text{SNR}})\stackrel{.}{=}{\mathsf{\text{SNR}}}^{\text{min}\{{M}_{0}{M}_{1},\phantom{\rule{1em}{0ex}}{M}_{1}{M}_{2}\}(1r)},r\le 1, and we have that d_{out}(r) = min{M_{0}M_{1}, M_{1}M_{2}}(1 − r), r ≤ 1. Thus, the maximum diversity gain of the COSTBCs is d_{out}(0) = min{M_{0}M_{1}, M_{1}M_{2}} which equals the diversity gain upper bound (Theorem 1). Thus, we have shown that COSTBCs achieve the maximum diversity gain in a 2hop network. Next, using induction, we prove the result for any khop network.
Assume that the result is true for a khop network (k ≥ 2), and we will prove that it is true for a k+1hop network. Similar to 2hop case, for a khop network also, at the destination, the received signal can be separated in terms of the individual constituent symbols of the OSTBC transmitted by the source. Thus, the received signal at the destination of the khop network corresponding to the signal s_{ ℓ } can be written as
where θ_{k − 1} is the normalization constant so as to ensure the average power constraint of E_{k − 1} is satisfied at the relay stage k − 1, s_{ ℓ } is the ℓ th, ℓ = 1, 2, …, L symbol transmitted from the source, c_{ i } is the channel gain experienced by s_{ ℓ } at the i th antenna of the destination, and z_{ l } is the AWGN with variance {\sigma}_{k}^{2}.
Now we extend the khop network to a k + 1hop network by assuming that the actual destination to be one more hop away and using the destination of the khop case as the k th relay stage with M_{ k } relays by separating the M_{ k } antennas into M_{ k } relays with single antenna each. Similar to the khop case, the received signal at the destination of the k + 1hop can also be separated in terms of individual constituent symbols of the OSTBC transmitted by the source, which is given by
where θ_{ k } is a constant to ensure the power constraint of E_{ k } in the k + 1hop network, g_{ ij } is the channel between the i th relay of relay stage k and the j th antenna of the destination, and n_{ l } is the AWGN with variance {\sigma}_{k+1}^{2}. Let {y}_{\ell}^{k+1}:=\sum _{i=1}^{{M}_{k}}{y}_{\mathrm{\ell i}}, and {q}_{i}:={c}_{i}\left(\sum _{j=1}^{{M}_{k+1}}{g}_{\mathit{\text{ij}}}{}^{2}\right), where
for each ℓ = 1, …, L, where n_{ ℓ i } = n_{ ℓ } / M_{ k }. Recall from induction hypothesis that the diversity gain of COSTBCs with channel c_{ i }, ∀ i (15) is α := min{min{M_{ n }M_{n + 1}}, M_{k − 1}}, n = 0, 1, …, k − 2, by restricting the destination of the khop network to have only single antenna, and with channel \sum _{i=1}^{{M}_{k}}{c}_{i} is min{M_{ n }M_{n + 1}}, n = 0, 1, …, k − 1, respectively. Thus, if the diversity gain of COSTBCs with channel q_{ i } (17) is min{min{M_{ n }M_{n + 1}}, M_{k − 1}, M_{k + 1}} n = 0, 1, …, k − 2, then, since \sum _{j=1}^{{M}_{k+1}}{g}_{\mathit{\text{ij}}}{}^{2} are independent ∀ i, it follows that the diversity gain of COSTBCs with channel \sum _{i=1}^{{M}_{k}}{q}_{i} is min{M_{ n }M_{n + 1}}, n = 0, 1, …, k. Next, we show that the diversity gain of COSTBCs with channel q_{ i } is min{min{M_{ n }M_{n + 1}}, M_{k − 1}, M_{k + 1}}, n = 0, 1, …, k − 2.
To compute the diversity gain of COSTBCs with channel q_{ i } (17), we use the outage probability formulation [29] as follows. Let σ^{2} be the variance of n_{ ℓ i } (17), {\sigma}^{2}=\frac{{\sigma}_{k+1}^{2}}{{M}_{k}^{2}}, however, as before using Theorem 2.3 of [24]n_{ ℓ i } is white in the scale of interest, and can be modeled as \mathcal{C}N(0,1). Let SNR:=θ_{ k }E_{ k }, then the outage probability of (17) is
Let Z:=\sum _{j=1}^{{M}_{k+1}}{g}_{\mathit{\text{ij}}}{}^{2}. Then
By induction hypothesis, the diversity gain of COSTBCs with c_{ i } is α, i.e.,
where k_{4} is a constant. Thus,
Since Z is a gamma distributed random variable with PDF \frac{{e}^{z}{z}^{{M}_{k+1}1}}{{M}_{k+1}1!}, the first term in P_{out}(r logSNR) expression can be found in [29] and is given by P\left(Z\le {\mathsf{\text{SNR}}}^{(1r)}\right)\stackrel{.}{=}{\mathsf{\text{SNR}}}^{{M}_{k+1}(1r)}. Now we are left with computing the second term which can be done as follows.
Thus, from (18) it follows that
Using the definition of diversity gain, it follows that the diversity gain of COSTBCs with channel q_{ i } is equal to min{α, M_{k + 1}}, which implies that the diversity gain of COSTBCs with the received signal model (16) is min{α M_{ k }, M_{ k }M_{k + 1}}. Note that the upper bound on the diversity gain (Theorem 1) is also min{α M_{ k }, M_{ k }M_{k + 1}}, and hence we conclude that the COSTBCs achieve the maximum diversity gain in an Nhop network.
Appendix 2
In this section, we prove that COSTBCs have the single symbol decodable property for N=2 and M_{2} = 1.
Let S_{0} be the transmitted OSTBC from the source, and s = [s_{1},…,s_{ L }]^{T} be the vector of the constituent symbols of S_{0}. Then from (3), using CSI, the received signal {\mathbf{y}}_{k}^{1} at the k th relay of relay stage 1 can be transformed into {\widehat{\mathbf{y}}}_{k}^{1}, where {\widehat{\mathbf{y}}}_{k}^{1}=\sqrt{{E}_{0}{\mathsf{\text{H}}}_{k}^{1}}\mathbf{s}+{\widehat{\mathbf{n}}}_{k}^{1}, where {\mathsf{\text{H}}}_{k}^{1} is defined in (2), and the entries of {\widehat{\mathbf{n}}}_{k} are independent and \mathcal{C}N(0,1) distributed. For N=2, and M_{2}=1, from (6), the received signal at the destination can be written as {\mathbf{y}}_{1}^{2}=\phantom{\rule{0.3em}{0ex}}[{\mathbf{t}}_{1}^{1}\phantom{\rule{1em}{0ex}}{\mathbf{t}}_{2}^{1}\phantom{\rule{1em}{0ex}}\dots \phantom{\rule{1em}{0ex}}{\mathbf{t}}_{{M}_{1}}^{1}]{\mathbf{g}}_{1}+{\mathbf{z}}_{1}^{2}, where {\mathbf{t}}_{k}^{1} is the transmitted vector from relay k (4) of relay stage 1. The received signal {\mathbf{y}}_{1}^{2} can also be written as
where {\mathbf{S}}_{1}=[{\mathbf{A}}_{1}^{1}\mathbf{s}+{\mathbf{B}}_{1}^{1}{\mathbf{s}}^{\u2020}\phantom{\rule{1em}{0ex}}{\mathbf{A}}_{2}^{1}\mathbf{s}+{\mathbf{B}}_{2}^{1}{\mathbf{s}}^{\u2020}\phantom{\rule{1em}{0ex}}\dots \phantom{\rule{1em}{0ex}}{\mathbf{A}}_{{M}_{1}}\mathbf{s}+{\mathbf{B}}_{{M}_{1}}{\mathbf{s}}^{\u2020}].
Let \mathbf{R}=\mathbb{E}\left\{\mathbf{w}{\mathbf{w}}^{\ast}\right\} be the noise covariance matrix.
Note that
where {\mathbf{D}}_{j}=({\mathbf{A}}_{j}^{1}{\mathbf{A}}_{j}^{1\ast}+{\mathbf{B}}_{j}^{1}{\mathbf{B}}_{j}^{1\ast}) is a diagonal matrix whose diagonal entries are either zero or one since A_{ j } and B_{ j } are constituents of an OSTBC, and the number of ones in D_{ j } is equal to k, if A_{ j } and B_{ j } are constituents of a rate k/n OSTBC. Note that the locations of nonzero entries of D_{ j } can be different for different j’s, and hence R is not necessarily a scaled identity matrix. Therefore, because of the nondiagonal structure of R^{ − 1}, the ML decoding metric (8) cannot be split in several terms, where each term is a function of only one of the constituent symbols of S_{1}. Therefore in general, COSTBCs are not single symbol decodable. The problem can, however, be fixed easily by adding an additional channel coefficientdependent noise vector to the received signal at the receiver as follows.
Let {\mathbf{1}}_{j}=\mathit{\text{diag}}\left({\mathbf{D}}_{j}\right),{\mathbf{1}}_{j}\in {\{0,1\}}^{{M}_{1}\times 1}, and {\mathbf{1}}_{j}^{c} be the complement of 1_{ j }, i.e., any entry of {\mathbf{1}}_{j}^{c} is 1 if that entry of 1_{ j } is 0, and vice versa. Let {\zeta}_{j}={\mathbf{1}}_{j}^{c}{\left[\right{g}_{11}{}^{2}\phantom{\rule{1em}{0ex}}{g}_{21}{}^{2}\phantom{\rule{1em}{0ex}}\dots \phantom{\rule{1em}{0ex}}{g}_{{M}_{1}1}{}^{2}]}^{T}, and \mathbf{a}=\sqrt{\frac{{E}_{1}{M}_{1}}{L\gamma}}{[\sqrt{{\zeta}_{1}}{u}_{1}\phantom{\rule{1em}{0ex}}\sqrt{{\zeta}_{2}}{u}_{2}\dots \sqrt{{\zeta}_{{M}_{1}}}{u}_{{M}_{1}}]}^{T}, where u_{ i }, i = 1, …, M_{1} are i.i.d. with \mathcal{C}N(0,1) distribution. Then to make the noise covariance a scaled identity matrix, a can be added to the received signal at the destination {\mathbf{y}}_{1}^{2}. With {\mathbf{y}}_{a}={\mathbf{y}}_{1}^{2}+\mathbf{a}, the noise vector w_{ a } = w + a, and the covariance matrix
which is a scaled identity matrix. Hence, using y_{ a } (instead of y) to decode S_{1}, the ML decoding metric (8) splits in L different terms, where each term is a function of only one of the constituent symbols of S_{0}, and the COSTBC is single symbol decodable for N = 2, and M_{2} = 1.
References
Tarokh V, Jafarkhani H, Calderbank A: Spacetime block coding for wireless communications: performance results. IEEE J. Sel. Areas Commun 1999, 17(3):451460. 10.1109/49.753730
Laneman J, Wornell G: Distributed spacetimecoded protocols for exploiting cooperative diversity in wireless networks. IEEE Trans. Inf. Theory 2003, 49(10):24152425. 10.1109/TIT.2003.817829
Jing Y, Hassibi B: Diversity analysis of distributed spacetime codes in relay networks with multiple transmit/receive antennas. EURASIP J. Adv. Signal Process. 2008, 2008: Article ID 254573.
Nabar R, Bolcskei H, Kneubuhler F: Fading relay channels: performance limits and spacetime signal design. IEEE J. Sel. Areas Commun. 2004, 22(6):10991109. 10.1109/JSAC.2004.830922
Jing Y, Hassibi B: Distributed spacetime coding in wireless relay networks. IEEE Trans. Wirel. Commun. 2006, 5(12):35243536.
Yang S, Belfiore JC: Optimal space time codes for the MIMO amplifyandforward cooperative channel. IEEE Trans. Inf. Theory 2007, 53(2):647663.
Susinder Rajan G, Sundar Rajan B: A nonorthogonal distributed spacetime coded protocol, PartI: signal model and design criteria. In Proceedings of IEEE Information Theory Workshop. Punta del Este, Uruguay: IEEE; October 22–26 2006:385389.
Susinder Rajan G, Sundar Rajan B: A nonorthogonal distributed spacetime coded protocol, PartII: code construction and DMG tradeoff. In Proceedings of IEEE Information Theory Workshop. Punta del Este, Uruguay: IEEE; October 22–26 2006:488492.
Oggier F, Hassibi B: An algebraic family of distributed spacetime codes for wireless relay networks. In IEEE International Symposium on Information Theory, 2006. Punta del Este, Uruguay: IEEE; July 2006:538541.
Kiran T, Rajan B: Distributed spacetime codes with reduced decoding complexity. IEEE International Symposium on Information Theory,2006 July 2006, 542546.
Elia P, Vijay Kumar P: Approximately universal optimality over several dynamic and nondynamic cooperative diversity schemes for wireless networks, available at http://arxiv.org/pdf/cs.it/0512028, December 7, 2005.
Jing Y, Jafarkhani H: Using orthogonal and quasiorthogonal designs in wireless relay networks. IEEE Trans. Inf. Theory 2007, 53(11):41064118.
Susinder Rajan G, Sundar Rajan B: Algebraic distributed spacetime codes with low ML decoding complexity. In IEEE International Symposium on Information Theory. Nice, France: IEEE; June 24–29 2007:15161520.
Yi Z, Kim IM: Joint optimization of relayprecoders and decoders with partial channel side information in cooperative networks. IEEE J. Sel. Areas Commun 2007, 25(2):447458.
Harshan J, Rajan B: Highrate, singlesymbol ML decodable precodedDSTBCs for cooperative networks. IEEE Trans. Inf. Theory 2009, 55(5):20042015.
Harshan J, Rajan B, Hjorungnes A: Trainingsymbol embedded, highrate complex orthogonal designs for relay networks. In IEEE International Symposium on Information Theory Proceedings (ISIT), 2010. Austin TX, USA: IEEE; June 2010:22332237.
Sreedhar D, Chockalingam A, Rajan B: Highrate, singlesymbol decodable distributed STBCs for partiallycoherent cooperative networks. IEEE International Symposium on Information Theory, 2008. ISIT 2008 July 2008, 25382542.
Sreedhar D, Chockalingam A, Rajan B: Singlesymbol ML decodable distributed STBCs for partiallycoherent cooperative networks. IEEE Trans. Wirel. Commun 2009, 8(5):26722681.
Srinath K, Rajan B: Single realsymbol decodable, highrate, distributed spacetime block codes. In IEEE Information Theory Workshop (ITW). Dublin Ireland: IEEE; 2010:15.
Duong T, Tran H: Distributed spacetime block codes with amicable orthogonal designs. In IEEE Radio and Wireless Symposium, 2008. Orlando, FL, USA: IEEE; January 2008:559562.
Verde F, Scaglione A: Randomized spacetime block coding for distributed amplifyandforward cooperative relays. In IEEE International Conference on Acoustics Speech and Signal Processing (ICASSP). Dallas,TX, USA: IEEE; 2010:30303033.
Oggier F, Hassibi B: Code design for multihop wireless relay networks. EURASIP J. Adv. Signal Process 2008, 2008: Article No. 68.
Yang S, Belfiore J: Diversity of MIMO multihop relay channels, available on http://arxiv.org/abs/0708.0386, August 2007.
Sreeram K, Birenjith S, Kumar P: Dmt of multihop networks: end points and computational tools. IEEE Trans. Inf. Theory 2012, 58(2):804819.
Tarokh V, Jafarkhani H, Calderbank A: Spacetime block codes from orthogonal designs. IEEE Trans. Inf. Theory 1999, 45(5):14561467. 10.1109/18.771146
Alamouti S: A simple transmit diversity technique for wireless communications. IEEE J. Sel. Areas Commun 1998, 16(8):14511458. 10.1109/49.730453
Vaze R, Heath R: Maximizing reliability in multihop wireless networks with cascaded spacetime codes. In Proceedings of the Information Theory and Applications, 2008. San Diego, CA, USA: IEEE; January–February 2008.
Vaze R, Heath R: Maximizing reliability in multihop wireless networks,. IEEE International Symposium on Information Theory, 2008. ISIT 2008 July 2008, 1115.
Zheng L, Tse D: Diversity and multiplexing: a fundamental tradeoff in multipleantenna channels. IEEE Trans. Inf. Theory 2003, 49(5):10731096. 10.1109/TIT.2003.810646
Sethuraman B, Rajan B, Shashidhar V: Fulldiversity, highrate spacetime block codes from division algebras. IEEE Trans. Inf. Theory 2003, 49(10):25962616. 10.1109/TIT.2003.817831
Kumar KR, Caire G: Coding and decoding for the dynamic decode and forward relay protocol. IEEE Trans. Inf. Theory 2009, 55(7):31863205.
Su W, Batalama S, Pados D: On orthogonal spacetime block codes and transceiver signal linearization. IEEE Commun. Lett 2006, 10(2):9193. 10.1109/LCOMM.2006.02008
Su W, Xia XG, Liu K: A systematic design of highrate complex orthogonal spacetime block codes. IEEE Trans. Commun 2004, 8(6):380382.
Verde F: Design of randomized spacetime block codes for amplifyandforward cooperative relaying. In 5th International Symposium on Communications Control and Signal Processing (ISCCSP), 2012. Kyoto, Japan: IEEE; May 2012:15.
Love D, Heath Jr RW, Strohmer T: Grassmannian beamforming for multipleinput multipleoutput wireless systems. IEEE Trans. Inf. Theory 2003, 49(10):27352747. 10.1109/TIT.2003.817466
Cover T, Thomas J: Elements of Information Theory. New York: Wiley; 2004.
Acknowledgements
This material is based upon work supported by the Army Research Laboratory Labs W911NF1010420 and by the National Science Foundation NSFCCF1218338.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Vaze, R., Heath, R.W. Cascaded orthogonal space–time block codes for wireless multihop relay networks. J Wireless Com Network 2013, 113 (2013). https://doi.org/10.1186/168714992013113
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168714992013113
Keywords
 Channel State Information
 Relay Node
 Imperfect Channel State Information
 Decode Complexity
 Equal Power Allocation