Dimacs
Dimacs
1. Introduction
Ad-hoc wireless networks are based on multi-hop communications, where the
information from the source to the destination is relayed via other mobiles. An
ad-hoc network does not have a fixed infrastructure, so this relaying operation is
essential in order to overcome the path loss incurred over large distances. Multi-
hop ideas are also utilized in cellular and wireless LAN systems to provide higher
quality of service, power savings and extended coverage.
Information theory of multi-hop communication dates back to the relay channel
model, which contains a source, a destination and a relay whose goal is to facilitate
information transfer from the source to the destination. The relay channel was
introduced by Van der Meulen [23] and investigated extensively by Cover and El
Gamal [3]. Cover and El Gamal provided a number of relaying strategies, found
achievable regions and provided upper bounds to the capacity of a general relay
channel. They also provided an expression for the capacity of the degraded relay
channel, in which the communication channel between the source and the relay is
physically better than the source-destination link. The capacity of the general relay
channel is still unknown. Motivated by the recent interest in multi-hop, a number
of recent papers investigate the use of multiple relays. Some relevant references
include [7, 8, 9, 15, 18, 19, 26].
Even though the information theoretic model allows for the destination to listen
to both the source and the relay, in most multi-hop systems the destination only
processes the signal coming from the relay. This is justified in a wireless channel
c
0000 (copyright holder)
1
2 ELZA ERKIP, ANDREW SENDONARIS, ANDREJ STEFANOV, AND BEHNAAM AAZHANG
where path loss has the dominant effect. Since the source is generally further away
from the destination than the relay, the received signal at the destination due to
the source would be much weaker than the relay signal. However, when fading is
also taken into account, this scheme would incur considerable loss, especially in
diversity, compared to one in which the destination processes both signals. Hence
one can use multi-hop not just to overcome path loss, but also to provide diversity.
Motivated by the above observation, cooperative communication involves two
main ideas: (i) Use relays (or multi-hop) to provide spatial diversity in a fading
environment, (ii) Envision a collaborative scheme where the relay also has its own
information to send so both terminals help one another to communicate by acting
as relays for each other (called “partners”).
One can think of a cooperative system as a virtual antenna array, where each
antenna in the array corresponds to one of the partners. The partners can overhear
each other’s transmissions though the wireless medium, process this information
and re-transmit to collaborate. This provides extra observations of the source
signals at the destinations, the observations which are dispersed in space and usually
discarded by current implementations of cellular, wireless LAN or ad-hoc systems.
However, since the elements of this array are not co-located and are connected via
noisy, fading links, it is not clear a priori how much the benefits of this cooperation
would be. Our goal in this paper is to argue that the benefits, in terms of achievable
data rates, diversity and error performance, are significant. In our discussion, we
briefly describe some of our prior and ongoing work along with relevant literature,
and provide directions for future research. We first provide an information theoretic
model to describe the cooperative system, a set of achievable rates and an outage
probability analysis. Then we talk about how one can design and analyze channel
codes that can exploit the predicted benefits of a cooperative system.
K10
W1 X1
E1
Y1
K12
Z2 Z0
Y0
Z1
K 21
Y2
W2 E2
X2 K 20
leading to K12 = K21 . However, this assumption is not necessary for our results and
can be relaxed. For the achievable rate region, we use the notion of ergodic capacity,
so we do not make any assumptions about the time variations of the channel except
that they form an ergodic random process. When we consider outage probabilities
and frame error rates corresponding to particular channel codes, we will assume
that the channel varies slowly and is constant during the communication session.
We allow for both partners to transmit and receive at the same time and we
assume that each terminal can perform perfect echo cancelation. As illustrated
in equations (2.2) and (2.3) this leads to Y1 (Y2 ) having no contribution from X1
(X2 ). We also assume that both terminals are synchronized. Even though these
assumptions may not hold in a practical system, they are quite common in the infor-
mation theory literature and they allow us to investigate the fundamental benefits
of cooperation. We will argue in Section 3 that even when we relax some of these
assumptions, cooperative communication still provides considerable improvement
over non-cooperative systems.
All of the receivers have perfect channel state information, that is they can
exactly measure the channel gain of the incoming signals. For the achievable rate
region and outage probability analysis in this section, we also assume that there is
some partial channel state information at transmitters in the form of the phase of
the complex channel gains K10 and K20 . This allows the partners to form signals
that coherently combine at the destination. We relax this assumption in Section 3.
2.1. Achievable Rate Region. This section summarizes some of our results
from [20, 21]. We provide an achievable rate region for the two-user cooperative
model above. We make the observation that this model is contained in the multiple
access channel with generalized feedback which was analyzed for discrete memory-
less and Gaussian channels in [2, 24]. The achievability results will make use of the
signal structure of [24]. Our main contribution will be to illustrate the potential
diversity and throughput benefits of cooperation in a wireless network with varying
link qualities.
4 ELZA ERKIP, ANDREW SENDONARIS, ANDREJ STEFANOV, AND BEHNAAM AAZHANG
In general, causality of the system suggests that X1,t the signal transmitted by
T1 at time t can only depend on the message of T1 , W1 and what T1 has “over-
heard” so far, (Y1,1 , . . . , Y1,t−1 ). However, we will use a more restricted signaling
strategy based on superposition block Markov encoding [4], a technique which has
been successfully used in multi-user systems involving feedback or some form of an
inter-user link. We envision transmission for B blocks, each of length n. Both B
and n are assumed to be large. In fact, for the achievable rate region, n has to
be large enough to observe different fading levels so that ergodic capacity is the
right notion to use. In each block, both terminals transmit a new message. The
transmitted signal from T1 in block j depends on W1 (j), the message in that block
and (Y1 (1), . . . , Y1 (j − 1)), all the signals received up to and including block j − 1.
Note that Y1 (i) denotes n observations of the output signal in block i. The desti-
nation uses backward decoding [25, 27], that is starts decoding from the last block
and moves one by one to the first.
We next state the achievable region for the cooperative channel, and provide a
sketch of the proof which illustrates the signal structure. We then provide compar-
isons with the non-cooperative capacity region.
Theorem 2.1. An achievable rate region for the cooperative system given in (2.1)-
(2.3) is the closure of the convex hull of all rate pairs (R1 , R2 ) such that R1 =
R10 + R12 and R2 = R20 + R21 with
|K12 |2 P12
(2.4) R12 < E C
|K12 |2 P10 + σ12
|K21 |2 P21
(2.5) R21 < E C
|K21 |2 P20 + σ22
|K10 |2 P10
(2.6) R10 < E C
σ02
|K20 |2 P20
(2.7) R20 < E C
σ02
|K10 |2 P10 + |K20 |2 P20
(2.8) R10 + R20 < E C
σ02
(2.9)
√
|K10 |2 P1 + |K20 |2 P2 + 2|K10 ||K20 | PU 1 PU 2
R10 + R20 + R12 + R21 < E C ,
σ02
for some power assignment satisfying P1 = P10 + P12 + PU 1 , P2 = P20 + P21 + PU 2 .
The function C(x) = 12 log(1 + x) is the capacity of an additive white Gaussian
noise channel with signal to noise ratio x and E denotes expectation with respect
to the fading parameters Kij .
Proof. The proof follows [24]. Here we sketch it briefly to illustrate the signal
structure and decoding scheme.
In the cooperative system, unlike the degraded relay channel, one cannot ensure
the partner will always be able to receive more information than the destination.
Hence for every block j, T1 divides its information W1 (j) into two parts, one to
be relayed through the partner (W12 (j) at rate R12 ), the other to be transmitted
directly to the destination (W10 (j) at rate R10 ). The transmitted signal X1 consists
of three parts X10 , used to send W10 , X12 used to send W12 , and U1 which ensures
COOPERATIVE COMMUNICATION IN WIRELESS SYSTEMS 5
cooperation. The respective powers allocated to these signal components are P10 ,
P12 and PU 1 . We have
p
(2.10) X10 (j) = P10 X̃10 (W10 (j), W12 (j − 1), W21 (j − 1))
p
(2.11) X12 (j) = P12 X̃12 (W12 (j), W12 (j − 1), W21 (j − 1))
p
(2.12) U1 (j) = PU 1 e−jθ10 Ũ(W12 (j − 1), W21 (j − 1)),
with X1 (j) = X10 (j) + X12 (j) + U1 (j) and P1 = P10 + P12 + PU 1 . We assume
K10 = |K10 |ejθ10 , hence θ10 is the phase of the complex fading between T1 and the
destination. Here X1 (j) denotes n transmitted symbols for block j. The entries of
the random codebooks are generated by choosing X̃10 , X̃12 and Ũ independently,
all consisting of n iid samples of N (0, 1) distribution. The signal transmitted by
T2 , X2 (j), is generated in a similar fashion. Note that Ũ is used by both terminals
in their codebooks.
We observe that the signal X1 (j) not only depends on W1 (j) = (W10 (j), W12 (j)),
but also on W12 (j − 1) and W21 (j − 1). Obviously, T1 knows W12 (j − 1). We will
also ensure that R21 , the rate of transmission for W21 , is chosen so that W21 can
be perfectly recovered at T1 . Therefore at block j (W12 (j − 1), W21 (j − 1)) will be
known at both terminals and can be used to form the basis for cooperation.
In order to find out the conditions on R12 (R21 ) for perfect recovery of W12
(W21 ) at the partner, we first look at block 1. We assume (W12 (0), W21 (0)) = (0, 0).
Terminal 2 receives Y2 (1) = (Y2,1 (1), Y2,2 (1), . . . , Y2,n (1)) where Y2,t (1) is given by
equation (2.3) for all t = 1, . . . , n. The signal X1 (1) depends on W12 (0) and W21 (0)
both of which are known, W12 (1) which T2 is interested in, and W10 (1) which T2
will not attempt to find out. Using the representation in equations (2.10)-(2.12),
we observe that U1 (1) is known and hence can be canceled, X10 (j) will be treated
as noise and X12 (1) will be decoded at terminal 2. Assuming the fading is ergodic
over the block length n, provided that
|K12 |2 P12
R12 < E C ,
|K12 |2 P10 + σ12
terminal 2 can estimate W12 (1) with arbitrarily low probability of error. Note that
this condition is given by equation (2.4) of Theorem 2.1. Based on equation (2.5)
we can make similar arguments for perfect recovery of W21 (1) at T1 . Moving se-
quentially from block j − 1 to block j, j = 2, . . . , n we can ensure that at the
beginning of block j, both partners know (W12 (j − 1), W21 (j − 1)).
We now illustrate how equations (2.6)-(2.9) lead to reliable transmission of
W10 , W12 , W20 and W21 to the destination. The decoding starts from the last
block [25, 27] in which no new information is transmitted. Therefore we can set
(W10 (B), W12 (B), W20 (B), W21 (B)) = (0, 0, 0, 0).
Although this reduces the overall information rate by the factor (B − 1)/B, the
rate loss is negligible for large B. In this block the destination wishes to decode
W12 (B − 1) and W21 (B − 1). Since W10 (B), W12 (B), W20 (B), W21 (B) are known,
the condition
√
|K10 |2 P1 + |K20 |2 P2 + 2|K10 ||K20 | PU 1 PU 2
(2.13) R12 + R21 < E C
σ02
√
is sufficient for reliable reproduction. The factor PU 1 PU 2 results from the coherent
addition of the cooperative signals U1 and U2 .
6 ELZA ERKIP, ANDREW SENDONARIS, ANDREJ STEFANOV, AND BEHNAAM AAZHANG
Moving into block B−1, the destination now has to decode (W10 (B−1), W20 (B−
1), W12 (B − 2), W21 (B − 2)). Following multiuser achievability results in [5] and
using [6, 1] to replace all the bounds on the rates by their expected values where
expectation is over the fading amplitudes, sufficient conditions on R10 , R20 , R12
and R21 for asymptotically error free transmission are given by equations (2.6)-(2.9)
and (2.13).
Dependency of all the signal components (namely X10 , X12 , U1 , X20 , X21
and U2 ) on the cooperation information (W12 (B − 2), W21 (B − 2)) leads to equa-
tions (2.9) and (2.13). Since (2.13) is dominated by (2.9) it will be omitted in the
final formulation. The destination then proceeds backwards in the same manner
until all the blocks are decoded.
By considering different power assignments P10 , P12 , PU 1 (and respective pow-
ers for T2 ) satisfying the total power constraint and time-sharing among different
strategies, we obtain the achievable region stated in Theorem 2.1.
2.2. Probability of Outage. While the ergodic capacity region, or the set of
achievable rates, tell us about the long term average throughputs, outage probabil-
ity [17] shows us the robustness of the system to the variations in the channel. In
COOPERATIVE COMMUNICATION IN WIRELESS SYSTEMS 7
Ideal
1.8
Cooperation (E[K12]=0.95)
0.8
0.6
0.4
0.2
0
0 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2
R2
No cooperation
1.8 Ideal
Cooperation
1.6
1.4
1.2
R1
0.8
0.6
0.4
0.2
0
0 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2
R2
order to calculate the outage probability of the cooperative system, we assume that
the fading is slow and remains constant for the duration of B blocks. In that case,
the achievable rate region depends on the current values of the fading levels Kij
and is random. Assuming the transmit signal structure and the decoding scheme
8 ELZA ERKIP, ANDREW SENDONARIS, ANDREJ STEFANOV, AND BEHNAAM AAZHANG
in the proof of Theorem 2.1, equations (2.4)-(2.9) without the expectations lead
to an achievable rate region. To illustrate the improvement in outage probability
with cooperation, we consider a symmetric system as in Figure 2 and focus on the
largest equal rate operating point R1 = R2 = Rmax that can be sustained by co-
operation. Note that Rmax is random and depends on the fading levels of all the
links involved. The outage probability Pout = P (Rmax < r) tells us the probability
of a cooperative system being able to sustain an equal operating rate of r for both
users.
In Figure 4 we show the outage probability of the cooperative scheme as a
function of the operating rate r. For comparison, we also plot the equal rate outage
probabilities of a non-cooperative (multi-access) system and an ideal system where
the inter-user channel is error free. We observe that the outage probability for the
cooperation scheme is smaller than that of no cooperation. This is true despite
the fact that the increase in achievable rate due to cooperation is moderate for the
scenario depicted in Figure 4, as can be seen from Figure 2 (E[K12 ] = 0.63). Hence
even in cases when it does not significantly increase achievable rates, cooperative
communication is still able to increase robustness against channel variations. This
is due to increased spatial diversity of the system; with cooperation, partners are
able to utilize each other’s links towards the destination in case their own links
fail. To illustrate this further, Figure 5 shows the equal rate outage probability as
a function of the user signal to noise ratio (SNR) for a fixed rate r = 0.18. We
observe that the cooperation curve falls steeper than no cooperation and is parallel
to the ideal case. Since the slope of this curve for high SNR illustrates the level of
diversity, we can conclude that cooperation provides diversity equivalent to that of
a two-antenna array. Comparison with a worse inter-user channel (E[K12 ] = 0.45)
shows that the diversity gains are still present. However now the coding gain is
less, that is the outage curve exhibits a shift to the right. We of course expect the
performance to depend on the inter-user channel quality. This will be illustrated
further in Section 3.
σ0=1.0,σ1=1.0,σ2=1.0,P1=2.0,P2=2.0,E[K10]=0.63,E[K20]=0.63,E[K12]=0.63
0
10
−1
10
Pr(R1 = R2 < r)
−2
10
−3
10
No cooperation
Cooperation
Ideal
−4
10
0 0.1 0.2 0.3 0.4 0.5 0.6
r
No cooperation
Cooperation (E[K12]=0.45)
Cooperation (E[K12]=0.63)
Ideal
−1
10
Pr(R1 = R2 < r)
−2
10
−4 −2 0 2 4 6 8 10 12 14 16
SNR (dB)
T1 T2
N channel uses N channel uses
(a)
T1 T2 for T1 T2 T1 for T2
by both the partner and the destination. The second N/2 channel uses are reserved
for cooperation. We will describe a number of different cooperative strategies the
partner can utilize below.
Another assumption we relax from Section 2 is the channel phase knowledge at
the transmitters. The accurate knowledge of the phase may be hard to obtain in
practice, so we assume that the transmitters do not have any knowledge about the
fading amplitudes except for their statistics. As before, we assume that receivers
have perfect channel state information. We will observe that even with the above
set of assumptions cooperation continues to provide substantial performance gains.
The above cooperation scheme through time division was first suggested in [13,
14] which also provided a number strategies for cooperation. All the links were
assumed to be slowly fading, hence the proper information theoretic measure is
the outage probability. The emphasis was on the diversity, the large signal–to–
noise ratio (SNR) exponent of 1/SNR in the outage probability, of the suggested
cooperative strategies.
Amplify-and-forward and adaptive decode-and-forward are two cooperative
strategies investigated in [13, 14] that result in full (in this case two level) di-
versity. In the amplify-and-forward scheme, the partner simply scales its received
signal to satisfy its own power constraint and re-transmits to cooperate. The desti-
nation combines the first N/2 symbols coming from the original terminal with the
N/2 forwarded symbols from the partner. For the adaptive decode-and-forward
strategy, the partner attempts to decode the original information based on the sig-
nal it receives. As long as the inter-user channel has a received SNR high enough to
support the desired rate, there is no outage and Shannon-type perfect decoding is
possible. In that case, the partner re-encodes the information and transmits in the
remaining N/2 symbols where N is large. Otherwise, the original terminal simply
repeats the same codeword in the second half of its time slot. Note that both of
the protocols described involve some kind of repetition at the partner. However,
we know from channel coding techniques that there are more effective ways of de-
signing codes. Coding gain as well as diversity is important in the performance of
a channel code.
For cooperative channel coding, we will work with finite block lengths N and
focus on designing and analyzing codes suitable for cooperation. We follow the
time division scheme in Figure 6. We assume slow or quasi-static fading, that is
each link has a constant fading level for N symbols. Our protocol is similar to
the adaptive-decode-and forward of [13, 14] and that of [11]. We make use of
the cyclic redundancy check (CRC) commonly used for error detection in wireless
communication systems. Excluding the CRC, in a non-cooperative system each
COOPERATIVE COMMUNICATION IN WIRELESS SYSTEMS 11
terminal sends N coded bits per frame. In order to cooperate, T1 multiplexes these
N bits properly and only sends half of its coded bits. If the original channel code
had rate R, this corresponds to an effective coding rate of 2R. These bits are
received by both the destination and the partner. The partner, T2 , decodes these
N/2 bits and detects whether there are any errors using the CRC. If the partner has
the correct information, it re-encodes and sends the additional N/2 coded bits T1
did not transmit. This is illustrated in Figure 7 for a convolutional code of rate 1/4.
Otherwise, T1 is informed and it continues its transmission of the remaining N/2
coded bits. The destination waits until the end of the frame and combines both
N/2 observations to decode the information bit stream. Assuming the destination
estimates the current fading level every N/2 bits, there is no need to notify it as
to whether the partner received the information correctly or not. Then T1 and T2
change roles, so T2 acts as the source while T1 relays the information.
Note that in the suggested cooperative coding scheme, when the partner cannot
decode correctly, T1 suffers no loss from the non-cooperative case. This feature is
not present in the adaptive decode-and-forward protocol, as it forces the source to
repeat information rather than designing the “best” codebook for the whole N uses
of the channel.
From the perspective of the destination, when partner decodes correctly, the
first N/2 coded bits observe a fading amplitude of K10 , the second N/2 bits an
independent fading amplitude K20 . Hence the overall effect at the destination is
that of block fading, with two fading blocks. Based on this observation, we argue
that codes designed for block fading channels (such as those in [12]) are suitable for
cooperation. However, the cooperative systems impose additional constraints. In
order to cooperate often, that is for the partner to correctly decode, the first half of
the coded bits (or the punctured code) should form a good code in the quasi-static
inter-partner channel. Also, when the cooperation does not take place, all the coded
bits face the same fading level, so the code must be good for quasi-static channel as
well as the cooperative block fading channel. We will provide an example of such
a code in Section 3.2, more can be found in [22].
We note here that Hunter and Nosratinia [11] suggested the use of rate compat-
ible punctured convolutional (RCPC) codes [10] for cooperation. However, RCPC
codes were not designed with diversity schemes or block fading channels in mind.
We think that the block fading framework allows us to work with a richer family of
codes and also enables us to provide a performance analysis illustrating the diver-
sity and coding gains of cooperative coding. Also, by starting from a good code in
the inter-user channel and adding additional parity bits to get a cooperative block
fading code, we can in fact improve the performance over a good code (say a code
12 ELZA ERKIP, ANDREW SENDONARIS, ANDREJ STEFANOV, AND BEHNAAM AAZHANG
designed for a block fading channel) punctured to be used in the inter-user channel.
Hence we think overlaying a code with additional parity bits is more suitable than
puncturing a code to be used in the inter-user channel. More details on this can be
found in [22]. The overlay ideas can also be used to take into account the cases in
which source and partner divide up the N bits unequally as suggested in [11].
In the next subsection, we analyze the diversity achieved by user cooperation
by studying upper bounds on the frame error rates of cooperative codes. We then
provide some simulations illustrating the suggested diversity and coding gains.
3.1. Performance Analysis of Cooperative Codes. In order to find bounds
on the performance of cooperative codes, we will focus on the frame error prob-
ability of the cooperative coding scheme described above. We concentrate on T1
and let PfC denote the overall frame error rate of a channel code when used for
cooperation. We also let Pfin denote the frame error probability of the portion of
the code used in the inter-user channel (corresponding to block length N/2), PfQS
denote the frame error probability over the quasi-static channel of T1 to destination
(corresponding to a block length of N ) and PfBF denote the frame error probability
over the cooperative block fading channel (first N/2 coded bits face T1 -destination
link, second N/2 bits face T2 -destination link). We can then write
PfC = (1 − Pfin )PfBF + Pfin PfQS .
We can upper bound PfC as
(3.1) PfC ≤ PfBF + Pfin PfQS .
We now investigate each of the terms in this upper bound. Let SNR1 denote
the average (averaged over the Rayleigh fading) received signal–to–noise ratio at
the destination corresponding to the transmission from T1 . The value for SNR1
depends on P1 , σ02 and E[K10 ]. Similarly, let SNR2 denote the average received
signal–to–noise ratio at the destination corresponding to the transmission from
T2 and SNRin denote the average received signal–to–noise ratio at partner (T2 )
corresponding to the transmission from T1 .
Note that in the cooperative block fading channel, the first block observes an
average signal–to–noise ratio of SNR1 while the second block has SNR2 . Even
though this is different than the usual block fading model in which all blocks have
the same average SNR, the pairwise error probability can be derived in a form sim-
ilar to [12]. Hence, utilizing the pairwise error probability expression for the block
Rayleigh fading channel and the union upper bound on the frame error probability,
we have
XX 1
(3.2) PfBF ≤
I 2 I 2
c e6=c Ξ2 (c, e) (SNR1 /4) d1 (SNR2 /4) d2
In order to define the terms in the above expression, we first define the code
Euclidian distances. Let us consider two codewords c = (c1 , . . . , cN ) and e =
PN/2
(e1 , . . . , eN ) each consisting of N bits. The distance d2i (c, e) = n=1 |cn+(i−1)N/2 −
en+(i−1)N/2 |2 , i = 1, 2, denotes the squared Euclidean distance among first and sec-
ond N/2 bits of the two codewords respectively. Note that for the cooperative block
fading channel, these two parts of the codewords face independent fading. The term
Ξ2 (c, e) denotes the product of the non–zero squared Euclidean distances d21 (c, e)
and d22 (c, e) and I denotes the indicator function.
COOPERATIVE COMMUNICATION IN WIRELESS SYSTEMS 13
For the quasi-static frame error probability PfQS of the T1 -destination channel,
the relevant distance term is Ψ2 (c, e) = d21 (c, e)+d22 (c, e) and it denotes the squared
Euclidean distance between the two entire codewords c and e. This gives us the
upper bound
XX 1
(3.3) PfQS ≤ 2 (c, e)SNR /4
c e6=c Ψ 1
The inter-user channel is also quasi-static, but it only utilizes the first N/2
coded bits. Hence,
XX 1
(3.4) Pfin ≤ 2 (c, e)SNR /4
c e6=c Φ in
As the inter–user channel quality is low, we can assume that for the range of
transmit powers of interest, the received inter–user channel average signal–to–noise
ratio SNRin is at most equal to some value Cin . Then the tightest upper bound for
PfC is obtained for SNRin ≈ Cin . For high signal–to–noise ratios in T1 -destination
14 ELZA ERKIP, ANDREW SENDONARIS, ANDREJ STEFANOV, AND BEHNAAM AAZHANG
4. Conclusions
In a cooperative communication system two or more active users in a network
share their information and jointly transmit their messages, either at the different
16 ELZA ERKIP, ANDREW SENDONARIS, ANDREJ STEFANOV, AND BEHNAAM AAZHANG
0
10
Single user performance
Perfect inter−user channel
Inter−user channel FER = 0.01
Inter−user channel FER = 0.1
Inter−user channel FER = 0.5
−1
10
FER
−2
10
−3
10
−4
10
0 2 4 6 8 10 12 14 16 18 20 22 24
Average received SNR (dB)
(a)
0
10
User 1, no cooperation
User 1, inter−user channel FER = 0.5
User 2, no cooperation
User 2, inter−user channel FER = 0.5
−1
10
FER
−2
10
−3
10
−8 −6 −4 −2 0 2 4 6 8 10 12 14 16
Average received SNR2 (dB)
(b)
times or simultaneously, to obtain greater reliability and efficiency than they could
obtain individually. In this paper we consider a simple two-user cooperative system
to illustrate the benefits. We provide both an information theoretic and a coding
perspective to cooperation. Our achievable rate region and coding protocol illus-
trate few of the many possible schemes of collaboration among wireless terminals,
yet the benefits of cooperation are clear. Through cooperation both terminals are
COOPERATIVE COMMUNICATION IN WIRELESS SYSTEMS 17
able to simultaneously increase their throughputs and reliabilities even when they
are connected via low quality links, or when one terminal has a much better link
then the other. Cooperation enables the terminals to make use of each other’s
antennas, an extra spatial dimension which is typically not utilized.
Throughout this paper we assumed the partners are fixed and we focused on
possible ways of cooperating. In order to successfully use the cooperative principles
in a wireless network, one has to be able to choose a good partner. Our ongoing
work investigates how partner choice should be made and what the geometry of
cooperation is. We are also investigating the added diversity benefits as the number
of partners increase, and how one can design and analyze cooperative space-time
codes when terminals have multiple antennas.
Acknowledgments
The authors would like to thank Zinan Lin for help in generating Figure 8.
References
[1] E. Biglieri, J. Proakis, and S. S. (Shitz). Fading channels: Information theoretic and communi-
cations aspects. IEEE Transactions on Information Theory, vol. 44, pp. 2619–2692, October
1998.
[2] A. Carleial. Multiple-access channels with different generalized feedback signals. IEEE Trans-
actions on Information Theory, vol. 28, pp. 841–850, November 1982.
[3] T.M. Cover and A. El Gamal. Capacity theorems for the relay channel. IEEE Transactions
on Information Theory, vol. 25, pp. 572–584, September 1979.
[4] T. Cover and C. Leung. An achievable rate region for the multiple-access channel with feed-
back. IEEE Transactions on Information Theory, vol. 27, pp. 292–298, May 1981.
[5] T.M. Cover and J.A. Thomas, Elements of Information Theory, John Wiley & Sons, 1991.
[6] R. Gallager. An inequality on the capacity region of multiaccess fading channels. In Commu-
nications and Cryptography–Two Sides of One Tapestry, pp. 129–139, Kluwer, 1994.
[7] M. Gastpar, G. Kramer and P. Gupta, The multiple-relay channel: Coding and antenna-
clustering capacity. In Proceedings of IEEE International Symposium on Information Theory,
Lausanne, Switzerland, July 2002.
[8] M. Gastpar and M. Vetterli. On the capacity of wireless networks: The relay case. In Pro-
ceedings of IEEE Infocom , New York, June 2002.
[9] P. Gupta and P. R. Kumar. Towards an information theory of large networks: An achievable
rate region. IEEE Transactions on Information Theory vol. 49, pp. 1877–1894, August 2003.
[10] J. Hagenauer. Rate-compatible punctured convolutional codes (RCPC codes) and their ap-
plications. IEEE Transactions on Communications, vol. 36, pp. 389–400, April 1988.
[11] T. Hunter and A. Nosratinia. Cooperation diversity through coding. In Proceedings of IEEE
International Symposium on Information Theory, Lausanne, Switzerland, July 2002.
[12] R. Knopp and P. A. Humblet. On coding for block fading channels. IEEE Transactions on
Information Theory, vol. 46, pp. 189–205, January 2000.
[13] J. N. Laneman, G. W. Wornell, and D. N. C. Tse. An efficient protocol for realizing coop-
erative diversity in wireless networks. In Proceedings of IEEE International Symposium on
Information Theory, Washington D.C., June 2001.
[14] J. N. Laneman, D.N.C. Tse, and G. W. Wornell. Cooperative diversity in wireless networks:
Efficient protocols and outage behaviour. Accepted IEEE Transactions on Information The-
ory.
[15] J. N. Laneman and G. W. Wornell, Distributed space-time coded protocols for exploiting
cooperative diversity in wireless networks. IEEE Transactions on Information Theory, vol
49, pp. 2415–2425, October 2003.
[16] S. Lin and D.J. Costello, Error Control Coding: Fundamentals and Applications. Prentice-
Hall, 1983.
[17] L. Ozarow, S. Shamai, and A. Wyner. Information theoretic considerations for cellular mobile
radio. IEEE Transactions on Vehicular Technology, vol. 43, pp. 359–377, May 1994.
18 ELZA ERKIP, ANDREW SENDONARIS, ANDREJ STEFANOV, AND BEHNAAM AAZHANG
[18] A. Reznik, S. Kulkarni and S. Verdu. Capacity and optimal resource allocation in the de-
graded Gaussian relay channel with multiple relays. In Proceedings of Fortieth Annual Allerton
Conference on Communication, Control, and Computing, Monticello, IL, Oct. 2002.
[19] B. Schein and R. Gallager. The Gaussian parallel relay network. In Proceedings of IEEE
International Symposium on Information Theory, Sorrento, Italy, June 2000.
[20] A. Sendonaris, E. Erkip, and B. Aazhang. Increasing uplink capacity via user cooperation
diversity. In Proceedings of IEEE International Symposium on Information Theory, Boston,
August 1998.
[21] A. Sendonaris, E. Erkip, and B. Aazhang. User cooperation diversity–Part I: System descrip-
tion. IEEE Transactions on Communications, vol. 51, pp. 1927–1938, November 2003.
[22] A. Stefanov and E. Erkip. Cooperative coding for wireless networks. Under review.
[23] E.C. Van Der Meulen. Three-terminal communication channels. Advances in Applied Proba-
bility, 3:120–154, 1971.
[24] Frans M. J. Willems, Edward C. van der Meulen, and J. Pieter M. Schalkwijk. Achievable
rate region for the multiple access channel with generalized feedback. In Annual Allerton
Conference on Communication, Control, and Computing, 1983.
[25] F. Willems and E. V. D. Meulen. The discrete memoryless multiple-access channel with
cribbing encoders. IEEE Transactions on Information Theory, vol. 31, pp. 313–327, May
1985.
[26] L. Xie and P. R. Kumar. A network information theory for wireless communication: Scaling
laws and optimal operation. Submitted to IEEE Transactions on Information Theory.
[27] C. Zeng, F. Kuhlmann, and A. Buzo. Achievability proof of some multiuser channel coding
theorems using backward decoding. IEEE Transactions on Information Theory, vol. IT–35,
pp. 1160–1165, November 1989.