EURASIP Journal on Wireless Communications and Networking

Impact Factor 1.529

EURASIP Journal on Wireless Communications and Networking Cover Image
Research
Open Access

Alternative relaying for cooperative multiple-access channels in wireless vehicular networks

  • Peng Xu1Email author,
  • Zhiguo Ding2,
  • Xuchu Dai1,
  • Ioannis Krikidis3 and
  • Athanasios V Vasilakos4
EURASIP Journal on Wireless Communications and Networking20142014:165

https://doi.org/10.1186/1687-1499-2014-165

©  Xu et al.; licensee Springer. 2014

Received: 28 December 2013

Accepted: 1 October 2014

Published: 11 October 2014

Abstract

In this paper, a novel spectrally efficient half-duplex cooperative transmission protocol is proposed for cooperative multiple-access channels in wireless vehicular networks, where multiple sources (vehicles) deliver messages to a common destination (roadside base station or roadside infrastructure) with the help of multiple decode-and-forward relays (roadside stations). The basic idea is to apply superposition coding at each transmitter in order to achieve the full diversity gain, where the linear zero-forcing detection is used at each relay to combat inter-relay interference. Compared to existing uplink cooperative protocols, the proposed scheme can exploit the cooperation involving both the relays and the sources. An achievable diversity-multiplexing trade-off is developed for the proposed transmission protocol. Even with strong inter-relay interference which has been ignored by many existing works, the proposed scheme can still approach the optimal multiple-input single-output upper bound. Numerical results have also been provided to demonstrate the performance of the proposed protocol.

Keywords

Cooperative multiple access Wireless vehicular network Alternative relaying Diversity-multiplexing trade-off

1 Introduction

1.1 Background

Recent researches have paid much attention to wireless vehicular ad hoc networks (VANETs) since they are important to intelligent transportation, environment monitoring, etc [1, 2]. Unlike the cellular networks, there does not exist a powerful base station in a vehicular ad hoc network, so peer-to-peer transmission is relied on. Correspondingly, a key problem is how to design the routing protocols to efficiently forward the source messages to the destination. One potential method is to design cross-layer protocols for mobile vehicular ad hoc networks. For example, the work in [3] has shown that cooperative transmission, a low-cost and effective alternative to multiple-input multiple-output (MIMO) techniques to enhance the physical layer performance, can bring its physical layer benefits to the upper layer, such as the design of routing protocols. Motivated by these benefits of cooperative transmission, this paper aims to design a novel cooperative transmission scheme for the multiple access channel (MAC) in the wireless vehicular networks.

Exploring cooperation among the source nodes has been studied in [4, 5] for the MACs. The work in [4] proposed a cooperative multiple-access (CMA) transmission protocol using amplify-and-forward (AF) strategy, and its decode-and-forward (DF) version has been proposed in [5] by using superposition (SP) coding at each source, where the idea of superposition coding was first proposed in [6] to increase the system capacity. Specifically, the key idea of such superimposed cooperative schemes is that each user will share parts of its power with other users and transmit a mixture of its own and others’ information. The diversity-multiplexing trade-off (DMT) [7] achieved by these schemes can approach the optimal multiple-input single-output (MISO) upper bound. However, such schemes only exploit the cooperation among the sources and are therefore constrained by the number of sources.

1.2 Related work

To further improve the reception robustness, exploiting relays as an extra dimension has been recognized as a cost-effective way, since the number of idle users is always larger than the active ones in a typical wireless network. However, extra time slots may be consumed to repeat source messages in relay transmission. For example, due to the half-duplex constraint, there exists a loss of spectral efficiency for the classical orthogonal transmission schemes [8, 9]. The standard non-orthogonal transmission strategies in [4, 10] can make some improvement and achieve the full multiplexing gain but still suffer a significant diversity loss for large multiplexing gains, if compared with the optimal MISO upper bound. To overcome limitation of the available diversity, a successive relaying concept which aims to physically reuse the relay-destination channels was studied in [11–14]. The basic idea is to arrange two or more relays to alternatively retransmit the source messages. To deal with the inter-relay interference, the inter-relay link was usually assumed to be either sufficiently strong or weak in these DF-relaying works. A cooperative transmission protocol named as shifted successive DF relaying (SSDFR) was proposed in [14], where maximum likelihood (ML) decoding is utilized at two multiple-antenna relays. In [15], another cooperative transmission protocol, called relay-reuse DF (RRDF), has been proposed to the scenario with a single source node, which yields furthermore improvement in comparison with [14] due to the linear zero-forcing (ZF) detection which can reduce the computational complexity.

For a general uplink scenario with multiple users and relays, it is still a challenging problem to integrate the cooperation among the sources and the cooperation from the relays. In [16, 17], each relay utilized superposition coding to assist each source. However, the developed upper bound of DMT in [16, 17] can only be achieved with some assumptions on the conditions of inter-relay channels. The work in [18] considered a more general scenario and proposed a cooperative protocol, called relay-assisted CMA (R-CMA), which carefully schedules the multiple sources and relays’ transmission, but the optimal MISO bound can only be approached for a large number of relays. More works that considered such multi-user multi-relay networks can be found in [19–21], where the assistance of relays has been well exploited. Generally, these works only use the assistance of relays without the cooperation between sources, which cannot fully exploit the capacity of the uplink system.

1.3 Contribution

This paper aims to design a novel cooperative transmission protocol for a CMA channel to integrate the cooperation from dedicated relays and the mutual cooperation between users.

Specially, we consider a cooperative multiple-access communication scenario in which multiple source nodes communicate with the common destination with multiple half-duplex relays. Such a communication pattern is an important building block in wireless VANETs. For example, some proposals of intelligent vehicle highway systems (IVHS) have introduced a variety of vehicle-to-vehicle and vehicle-to-roadside-infrastructure communications. In this case, cooperation can take place between vehicles or between vehicles and roadside stations. When some vehicles wish to send messages to a common roadside base-station, they can cooperate with each other and also obtain external assistances from more powerful roadside stations with multiple antennas.

The proposed cooperative transmission protocol is termed as alternative-relaying decode-and-forward (ARDF) throughout this paper. The main novelty is that a new cooperative multiple-access transmission protocol has been designed by carefully applying these low-cost tools (zero-forcing detection, antenna selection, superposition coding, repetition-coded decode-and-forward, etc.) and fully exploiting the potentials of relay and source cooperation. To the best of the authors’ knowledge, no existing works can effectively achieve this full cooperation. The basic idea of the proposed protocol is to combine the superposition coding [6] with RRDF scheme [15]. By carefully arranging the transmission process and applying superposition coding at transmitters, each source can be assisted by all the other nodes, including relays and other sources; by utilizing the linear ZF decoding in terms of RRDF transmission scheme, the reuse of the relay-destination links can be achievable in the scenario with a general inter-relay interference. Hence, the potential of such a system can be fully exploited, and the full diversity gain can be achievable. Antenna selection is also applied at each relay to select the best antenna for transmitting, which can preserve the full diversity gain and save transmit power.

DMT is used to evaluate the spectral efficiency of the proposed CMA protocol, since it has been recognized as an effective information-theoretic criterion. The achievable DMT for the proposed ARDF protocol for the CMA channel is developed by characterizing the associated outage probabilities of outage events. From the derived result, we can show that the DMT of the proposed scheme can approach the optimal MISO upper bound when the length of one cooperative data frame is large. Compared to the previous CMA schemes in [4, 5] and R-CMA in [18], the proposed cooperative scheme achieves a better DMT curve at most multiplexing gain ranges, especially when the frame length is large enough. Monte Carlo simulation results have also been presented to demonstrate the outage probability performance of the proposed transmission protocol.

Compared to the point-to-point communication in [15], we consider a multi-user case for the addressed MAC scenario in this paper. As a consequence, DMT for the MAC channel in [22] should be adopted, the information-theoretic criterion, which is developed based on the capacity region of MAC [23]. Specifically, define X S = { X i : i ∈ S } , and X i (Y) is the channel input (output) variable. For a instantaneous channel state information (CSI) which is known at the receiver, the capacity region of the M-user MAC can be written as following [23]:
∑ i ∈ S R i < I ( X S ; Y | X S c , H = H ) for all S ⊆ { 1 , 2 , ⋯ , M }
(1)

for some product distribution p1(x1)⋯p M (x M ), where R i the data rate of source i (i=1,⋯,M) and H is the corresponding source-destination channel matrix. As can be observed from the above equation, the capacity region of MAC is a set of many inequalities with different conditions, which makes the calculation of DMT much more difficult than the single-user scenario in [15]. These challenges also make the corresponding analysis more valuable.

This paper is organized as follows. Section 2 describes the proposed CMA-ARDF transmission protocol. Section 3 presents the details of the ARDF transmission process of the proposed scheme. Section 4 outlines the achievable DMT and the Monte Carlo simulation results for the proposed protocol. Section 5 offers concluding remarks. The proofs of the final DMT result are provided in the ‘Appendices’ section.

2 Protocol description

A cooperative multiple-access scenario is considered in this paper, where multiple sources wish to communicate a common destination under the help of relays. In particular, the addressed scenario consists of two single-antenna sources (i.e., vehicles, denoted as S1 and S2), two M r -antenna (M r ≥2) relays (i.e., fixed roadside stations, denoted as R1 and R2), and one common single-antenna destination (i.e., base station, denoted as D). The abstract system model and its application to the wireless vehicular networks are shown in Figures 1 and 2, respectively. All channels are assumed to be frequency-flat quasi-static Rayleigh fading. Such a Rayleigh fading assumption is valid in a practical vehicular network since it is very likely that there does not exist a line-of-sight (LOS) component between a pair of VANET transceivers due to their relatively low antenna height [3, 24, 25]. All nodes are constrained by the half-duplex assumption and use the same transmission power. Time division multiplexing access (TDMA) is utilized in this scenario for its simplicity.
Figure 1

The system model and ARDF process at two successive time slots (a-b). Each relay is equipped with multiple antennas. The antenna marked with black color for each relay is selected as the transmit antenna.

Figure 2

The application of the system model in Figure 1 to the wireless vehicular networks (a-b). Two vehicles communicate with a common roadside base station with the help two roadside stations.

Every antenna at each relay is marked with a distinct index number from 1 to M r . As shown in Figure 1, the column vector hi,R j denotes the channel vector between the i-th source and R j , where i, j=1,2, and h Si represent the source-destination channel. The channel vector between R j and D is denoted as a column vector g j = { g j , 1 , ⋯ , g j , M r } . Moreover, the column vector hj,m denotes the inter-relay channel vector between the m-th antenna of R j and the other relay. Each relay uses all the M r antennas to receive messages but only chose the best antenna to transmit signals for simplicity. The index of such a transmit antenna is defined as r j at R j . Note that this antenna selection method can preserve the diversity gain achieved by all the antennas at each relay in the high SNR regions.

The proposed protocol consists of two stages, initialization and data transmission.

2.1 Initialization

During the initialization stage, each relay channel is assumed to have the knowledge of its incoming and outgoing channel state information (CSI). Based on the source-relay CSI, using the relay selection method in [8], we known that R j can decode the messages from S i when the source-relay channel satisfies log ( 1 + ρ | h i , Rj | 2 ) > R ~ . Here, log(·) is taken to base 2, ρ denotes the transmit signal-to-noise ratio (SNR), where we have assumed that all transmitters are under the same and fixed power constraint, |·| denotes the Euclidean norm of a vector, and R ~ denotes the number of bits in each codeword transmitted by sourcesa. If R j can correctly decode the messages from both sources, i.e., | h i , Rj | 2 ≥ 2 R ~ − 1 ρ for ∀i∈{1,2}, it will broadcast a one-bit indicator, which is denoted as ACK1. Otherwise, R j broadcasts a one-bit indicator NACK1, assumed that all the other nodes can correctly receive each feedback signal. Denote A k as the situation in which k relays broadcast ACK1 signals. On the other hand, based on the relay-destination CSI, each relay can determine the index of the best antenna as r j ≜ arg max r = 1 … M r | g j , r | 2 .

For situation A2 in which both relays broadcast ACK1 signals, two sub-events will be further considered. According to the source-relay/inter-relay CSI, R j will determine whether it can use ZF detection to separate the mixture of two unknown streams which are from S j and the other relay, respectively. For the ZF receiver, the qualification criterion [26] is ( H Rj H H Rj ) − 1 k , k < ρ / 2 R ~ − 1 , where [X]k,k represents the k-th diagonal element of matrix X, H Rj = β 1 h 2 , r 2 α 1 h 1 , R 1 for j=1, and β 1 h 1 , r 1 α 1 h 2 , R 2 for j=2. Note that α i and β i are the power weighting factors at the sources and relays, respectively, which are constrained by 0<α i ,β i <1 and ∑ i = 1 2 α i 2 = ∑ i = 1 2 β i 2 = 1 . If R j satisfies this ZF condition, it will send back another one-bit indicator ACK2. Otherwise, it sends back NACK2. Let E denote the event that both relays send back ACK2 signals, and such an event can be represented as [26]
E ≜ log 1 + ρ ( H Rj H H Rj ) − 1 k , k > R ~ , ∀ k , j ∈ { 1 , 2 } ,
(2)

Otherwise, the system lies in event E ¯ if any relay sends back a NACK2 signal.

2.2 Cooperative transmission

Based on the initialization stage, the transmission is divided into four different modes according to the indicators sent back from the two relays. The flow chart of the proposed protocol is shown in Figure 3, where each of the sources is assumed to correctly decode the messages of the other source, which is valid for high SNR regions as shown in [5]. In the next paragraphs, we will describe the cooperative transmission mode for each situation in details.
Figure 3

The flow chart for the transmission stage. Note that A k denotes the situation that k relays broadcast ACK1 signals, k=0,1,2. The event E denotes that both relays broadcast ACK2 signals, otherwise the system lies in Event E ¯ . L is used to denote the number of codewords transmitted by each source in the corresponding data frame. α i is power allocation factor at the sources, i=1,2.

For situation A0 in which both relays send back NACK1 signals, we can only utilize the mutual cooperation between the two sources. In one cooperative data frame, each source intends to send L codewords, and the system works in mode 1. In time slot n (2≤n≤2L), S i will transmit a mixed messagebα2x(n−1)+α1x(n) and the other source listens, where i=2 if n is even and i=1 if n is odd. The data rate per channel use here is 2 L 2 L + 1 R ~ .

For situation A1 in which only one relay sends back ACK1 signal, we assume that R1 is this relay without loss of generality. Each source intends to transmit only one codeword, and the system works in mode 2. For the first two time slots, the transmission process is the same as that in mode 1, and R1 can correctly decode x(1) and x(2) since it sends back ACK1. In the third time slot, S1 and R1 will retransmit x(2) and x(1), respectively. In the fourth time slot, R1 will retransmit x(2). The transmission data rate in this situation is 2 4 R ~ .

For situation A2, if the event E ¯ occurs, the system works in mode 3. The transmission scheduling during the first three time slots is the same as that in mode 2. Then, during the fourth time slot, R1 and R2 will retransmit x(2) and x(1), respectively. During the fifth time slot, R2 retransmits x(2). The data rate for the event is 2 5 R ~ . For the event E, both relays broadcast ACK2 signals. As shown in Equation (2), each relay can correctly decode two unknown codewords transmitted by a source and the other relay, so the ARDF transmission process can be performed. The two sources will transmit 2L codewords to the destination during 2L+3 time slots, so the data rate is 2 L 2 L + 3 R ~ . The details of such an ARDF process are put into in to the next section, i.e., Section 3, and the system works in mode 4.

From the protocol description, the transmission mode and equivalent channel matrix for each situation can be easily shown in Table 1.
Table 1

The transmission modes for each situation, where y i , n i ∈ C i , i = 4 , 5 , 2 L + 1 , 2 L + 3 ; x j ∈ C j , j = 2 , 2 L

Situation

Transmission mode

Equivalent channel matrix

Situation A0

y 2 L + 1 = H A 0 x 2 L + n 2 L + 1 ⏟ Mode 1

H A 0 = h S 1 0 0 ⋯ 0 α 2 h S 2 α 1 h S 2 0 ⋯ 0 0 α 2 h S 1 α 1 h S 1 ⋯ 0 ⋮ ⋱ ⋱ ⋱ ⋮ 0 ⋯ 0 α 2 h S 2 α 1 h S 2 0 ⋯ 0 0 h S 1 ⏟ ( 2 L + 1 ) × 2 L Matrix

Situation A1

y 4 = H A 1 x 2 + n 4 ⏟ Mode 2

H A 1 = h S 1 0 α 2 h S 2 α 1 h S 2 g 1 , r 1 h S 1 0 g 1 , r 1

Situation A2 event E ¯

y 5 = H A 2 , E ¯ x 2 + n 5 ⏟ Mode 3

H A 2 , E ¯ = h S 1 0 α 2 h S 2 α 1 h S 2 g 1 , r 1 h S 1 g 2 , r 2 g 1 , r 1 0 g 2 , r 2

Situation A2 event E

y 2 L + 3 = H A 2 , E x 2 L + n 2 L + 3 ⏟ Mode 4

H A 2 , E = H , refer to Eqution (3).

3 Alternative-relaying DF process

3.1 Transmission process

The proposed ARDF transmission process follows the concept of successive relaying [13], where the two half-duplex relays alternatively retransmit the source messages to mimic a full-duplex node. As shown in Figure 1, the sending source sends a superposition codeword α2x(n−3)+α1x(n) in any one time slot n (n>3), where x(n) is its own codeword and x(n−3) is the codeword it received from the other source in time slot n−3. At the same time, the sending relay will transmit a superposition codeword β2x(n−1)+β1x(n), where x(n−1) and x(n−2) are codewords it received from the source during the previous two time slots. The other source (i.e., the listening source) and the other relay (i.e., the listening relay) listen to the transmissions in this time slot. In the next time slot, i.e., time slot n+1, both the two sources and relays will exchange their working roles, where the listening ones become the sending ones and the sending ones become the listening ones. At the sources, different to [5, 6], the sending source retransmit the codeword x(n−3) instead of x(n−1) in time slot n. This is because we have arranged the sending relay to transmit x(n−1), so such a codeword should not be transmitted by the sending source again in this time slot to avoid the potential mutual cancellation. In the proposed ARDF process, each codeword can be transmitted by both the sources and relays during four successive time slots, which ensures that the ‘full’ cooperation can be achieved. In the following paragraphs, we will describe the transmission process during the four successive time slots in details.

Assume n to be odd without loss of generality. In time slot n (1≤n≤2L), the sending source S1 first transmits x(n), while R1 and S2 decode x(n) from S1. In time slot n+1, R1 is the sending relay and uses its best antenna to retransmit x(n); R2 receives x(n) from R1. In time slot n+2, R2 becomes the sending relay and uses its best antenna to repeat x(n). In time slot n+3, the sending source S2 retransmits x(n) again. Therefore, during such four successive time slots, x(n) can be transmitted four times, by both two sources and relays. Similar to the transmission of x(n), the codeword of S2, x(n+1), will be transmitted by S2, R2, R1, and S1 in time slot n+1, n+2, n+3, and n+4, respectively. When a transmitting node wishes to transmit two codewords simultaneously, it will transmit the superposition of these two codewords and use an amplitude factor to constrain the power of each codeword. Figure 4 illustrates the whole ARDF transmission process, where 2L+3 time slots are required for a cooperative data frame.
Figure 4

The ARDF process during each time slot (TS). Here n is an odd number and 5≤n≤2L−1, L≥3. The solid blocks denote that the sending relays transmit the codewords using the best antenna. Dashed blocks denote that the listening relays receive signals using all the antennas, and each codeword within the dashed circle is an unknown codeword to be decoded. The horizontal and vertical arrows imply that a node receives the corresponding codewords from sending source and the sending relay, respectively.

From the above ARDF transmission process, one can observe that the listening relay may need to decode at most two unknown codewords in a time slot. For instance, during time slot n (2≤n≤2L), in addition to the new source codeword x(n), the listening relay also does not know x(n−1) transmitted by the sending relay. This is because it is transmitting during the previous time slot and cannot simultaneously receive the source codeword x(n−1) due to the half-duplex constraint. After canceling the known codewords, this relay will decode two independent unknown codewords, i.e., x(n) and x(n−1), from one source and the other relay, respectively. Such a transmission mode mimics a two-user MAC with two single-antenna transmitters and one M r -antenna receiver. At each relay, simple linear zero-forcing detection approaches can be used to separate the source message and the interference from the other relay, where each relay is equipped with multiple antennas and therefore has the capability to separate the messages under the ZF condition in Equation (2).

3.2 Data model

Note that we have used a fixed power allocation strategy in each time slot, and the use of more advanced adaptive power allocation shall yield better outage performance at finite SNRs. However, for the infinite SNR region, the precise power allocation does not affect the final DMT result [27].

For the ARDF process with respect to situation A2 event E, the data model can be expressed as y=H x+n, where x=[x(1),⋯,x(2L)] T , which is the codeword vector of the two sources transmitted during a data frame; y=[y(1),⋯,y(2L+3)] T , which is the observation vector at the destination during a data frame that lasts 2L+3 time slots; n= [n(1),⋯,n(2L+3)] T , which is the Gaussian additive noise vector; and the (2L+3)×(2L) equivalent channel matrix is as follows:
H = h S 1 0 0 0 0 ⋯ 0 g 1 , r 1 h S 2 0 0 0 ⋯ 0 β 2 g 2 , r 2 β 1 g 2 , r 2 h S 1 0 0 ⋯ 0 α 2 h S 2 β 2 g 1 , r 1 β 1 g 1 , r 1 α 1 h S 2 0 ⋯ 0 0 α 2 h S 1 β 2 g 2 , r 2 β 1 g 2 , r 2 α 1 h S 1 ⋯ 0 ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ 0 ⋯ 0 α 2 h S 2 β 2 g 1 , r 1 β 1 g 1 , r 1 α 1 h S 2 0 ⋯ 0 0 h S 1 β 2 g 2 , r 2 β 1 g 2 , r 2 0 ⋯ 0 0 0 h S 2 g 1 , r 1 0 ⋯ 0 0 0 0 h S 1 .
(3)

4 Diversity-multiplexing trade-off and numerical results

In this section, the analytical performance evaluation of the proposed protocol will be first shown by using DMT. Then, the Monte Carlo simulations will be carried out to demonstrate the outage performance of the proposed cooperative ARDF protocol.

4.1 Achievable diversity-multiplexing trade-off

Firstly, recall that the diversity and multiplexing gain are defined as [7]
d ≜ − lim ρ → ∞ log [ P e ( ρ ) ] log ρ and r ≜ lim ρ → ∞ R ( ρ ) log ρ ,
(4)

where P e is the ML detection error probability and R is the target data rate per channel use. Following similar steps in [22], it can be proved that the ML error probability in the MAC scenario can be tightly bounded by the outage probability at high SNR. So the outage probability will be focused in this paper. When lim ρ → ∞ log f ( ρ ) log ρ = d , f(ρ) is said to be exponentially equal to ρ d , denoted as f ( ρ ) ≐ ρ d ( ≤ ̇ and ≥ ̇ are similarly defined). The following theorem gives the final DMT performance of the proposed cooperative protocol.

Theorem 1

When each relay is equipped with at least two antennas, i.e., M r ≥2, the achievable DMT of the proposed ARDF protocol for the two-user and two-relay CMA scenario can be expressed as
d ∗ ( r ) = ( 2 M r + 2 ) 1 − 2 L + 3 2 L r + ,
(5)

where (x)+ denotes max{x,0}.

Proof 1

We have briefly provided the proof of this theorem in [28] without formal derivations. In this journal paper, the details of the proof for this theorem will be blue presented in Appendix 2.

  • Remark 1: The optimal MISO DMT for the addressed CMA scenario can be expressed as
    d MISO ( r ) = ( 2 M r + 2 ) ( 1 − r ) , 0 ≤ r ≤ 1 .

  • According to Equation (5), when the frame length L is sufficiently large, the achievable DMT of the proposed scheme yields 2 L + 3 2 L ≈ 1 , which demonstrates that the optimal MISO trade-off d MISO (r) can be asymptotically approached by the proposed scheme.

  • Remark 2: The achievable DMT of the CMA schemes in [4, 5] can be written as
    d CMA ( r ) = M ( 1 − r ) , 0 ≤ r ≤ 1 ,

where M denotes the number of the sources. When there only exist two active users in a network, d CMA (r)=2(1−r). Hence, the schemes in [4, 5] cannot perform well for a small number of sources, whereas the proposed ARDF-CMA scheme can further enhance the reception robustness by exploiting the relay nodes.

  • Remark 3: On the other hand, the R-CMA protocol in [18] can be straightforwardly extended to the two-user two-relay scenario considered in this paper. It means that each relay apply a simple antenna selection, and the DMT result presented in Equation (7) in [18] can be accordingly updated as
    d R_CMA ( r ) = ( 1 − r ) + M r 2 − 4 r + , 0 ≤ r ≤ 1 .

  • Compared to the R-CMA scheme, the proposed scheme achieves one more diversity gain, because it exploits the help of two M r -antenna relays while preserves the cooperation between two sources. Although the proposed protocol can only achieve a maximal multiplexing gain 2 L 2 L + 3 while the schemes in [18] can achieve 1, the difference is negligible for a large L.

Figure 5 illustrates the achievable DMTs of various cooperative schemes. As can be seen from this figure, the proposed scheme can approach the optimal MISO upper bound for a sufficiently large L, and hence, outperforms the comparable ones in most multiplexing range.
Figure 5

The DMT performance of different protocols for addressed CMA channel. Here each relay is equipped with two antennas. For the proposed protocol, the number of codewords transmitted by each source in one cooperative data frame is fixed as L=25. The two sources communicate with the destination using TDMA for all the protocols.

4.2 Numerical results

In this section, some numerical results based on the Monte Carlo simulations are provided for the addressed CMA scenario. The targeted data rate is set as 2 or 4 bits per channel use (BPCU). Each relay is equipped with two antennas, i.e., M r =2. For the proposed CMA-ARDF protocol, set L=25,α1=β1=0.87 for simplicity. Note that all the channels are assumed to be Rayleigh fading with unit variance and all the nodes have the same transmit power.

In addition to the superposition-coding-based CMA in [5], the R-CMA scheme in [18] is also used to compare with the proposed ARDF protocol. As shown in Figure 6, ARDF has limited performance at low SNR. This is because the performance of the proposed scheme is much more sensitive to the source-relay/inter-relay channel condition, and the outage event is prone to occur at each relay at low SNR, which results in some degradation to the outage performance. However, the proposed scheme achieves the smallest outage probability among the comparative ones when we increase SNR. This performance gain is due to the fact that the proposed ARDF scheme can exploit the available relays to provide an extra dimension to improve the outage performance, whereas the scheme in [5] only considers the cooperation between the two sources and the R-CMA scheme in [18] does not consider the mutual source cooperation. Therefore, larger diversity gains can be achieved by the proposed transmission protocol, which guarantee the superior performance particularly at high SNR. In Figure 7, different antenna numbers, i.e., M r , is consider at each relay to demonstrate the outage performance of the proposed scheme. One can observe that increasing the number of relay antennas can further improve the robustness of the transmission scheme, since more diversity gains can be provided.
Figure 6

The outage probability for the proposed protocol, the superposition cooperative scheme in [5] and non-cooperative transmission. Note that each relay is equipped with two antennas. For the proposed protocol, we set L=25. The power allocation at the sources for both the proposed ARDF scheme and the SP scheme in [5] is fixed as α 1 2 = 0.87 . Moreover, we set β 1 2 = 0.87 at the relays.

Figure 7

The outage probability for the proposed ARDF scheme versus antenna number M r at relays. Set L=25, α 1 2 = β 1 2 = 0.87 .

5 Conclusions

In this paper, a new cooperative transmission protocol has been proposed for a CMA scenario in the wireless vehicular networks. Without the use of assumptions of strong inter-relay channel in [13], the relay reuse has still been realized using the linear ZF detection at the half-duplex relays to combat a general inter-relay interference. In addition, to fully exploit the cooperation between all the transmitters, the superposition coding strategy has also been carefully applied at both sources and relays. To evaluate the spectral efficiency, an achievable DMT of the proposed scheme was developed, which demonstrated that the proposed ARDF protocol can outperform the existing related schemes and approximately achieve the optimal MISO upper bound. The derived analytical result and the numerical results have demonstrated that the proposed scheme has a better performance in comparison with the existing related schemes in most conditions. The impact of adaptive power allocation has not been analyzed due to the high SNR considered in this paper, where a promising future direction is to carry out the study for the optimal design of power allocation to improve the overall system throughput at intermediate SNR.

Endnotes

a For a particular situation, the data rate should be R ~ × N x N t , where N x and N t are the number of transmitted codewords and the number of required time slots, respectively. So the targeted data rate R (i.e., the average data rate) can be calculated from R ~ . We will provide more discussions about the relationship between the two rates later in this paper.

b In this paper, x(n) denotes the new source codeword sent by S i (i=1,2) in time slot n (1≤n≤2L). Obviously, the mapping criterion is x ( n ) = s 1 ( n + 1 2 ) , if n is odd s 2 ( n 2 ) , if n is even , where s i (l) denotes the l-th (1≤l≤L) codeword of S i in one cooperative frame.

Appendices

Appendix 1

Preliminary results

We first present four lemmas and their proof steps in this section. These results will be useful for the proofs of Theorem 1 in the next section.

Lemma 2
By assuming quasi-static and flat Rayleigh-fading channels, the probability of each situation A k with k-qualified relays broadcasting ACK1 signals can be expressed as P ( A k ) ≐ ρ − ( 2 − k ) M r ( 1 − r ~ ) , where
r ~ = lim ρ → ∞ R ~ ( ρ ) log ρ .
Lemma 3
By assuming quasi-static and flat Rayleigh-fading channels and α 1 = β 1 = 1 2 for simplicity, the probability of the event E that both relays can successfully perform ZF detection and broadcast ACK2 signals, as expressed in Equation (2), can be bounded as
1 − 4 γ M r − 1 ( M r − 1 ) ! ≤ P ( E ) ≤ 1 − 2 γ M r − 1 ( M r − 1 ) ! ,
(A.1)

where γ = 2 R ~ − 1 ρ α 1 2 δ 2 , δ2 is the variance of each channel coefficient. Furthermore, the probability of the event E ¯ can be obviously obtained as P ( E ¯ ) ≐ ρ − ( M r − 1 ) ( 1 − r ~ ) .

Lemma 4

When X1 and X2 are subjected to exponential distribution, the probability can be approximated as P(X1X2<a)≈−a lna, where a>0 and is sufficiently small.

Lemma 5

Assuming that z = max { z 1 , ⋯ , z M r } , where z i is exponentially distributed with unit variance, the expectation of e−c z(c>0) can be revealed as ε [ e − cz ] = M r ! Π i = 1 M r ( c + i ) , ε [ · ] denotes the expectation of a random variable.

The proofs steps of the above lemmas are provided in the following section.

Proof of Lemma 2

Denote B as the event that a relay R j is not qualified, i.e., it can be expressed as the event: B ≜ ⋃ i = 1 2 log ( 1 + ρ α 1 2 | h i , Rj | 2 ) < R ~ . The probability of the event B can be easily calculated as P ( B ) ≐ ρ − M r ( 1 − r ~ ) . Thus, the probability of each situation A k can be expressed as follows:
P ( A k ) ≐ 2 k [ 1 − P ( B ) ] k [ P ( B ) ] 2 − k ≐ ρ − ( 2 − k ) M r ( 1 − r ~ ) .
(A.2)

Proof of Lemma 3

Consider a signal model in which the r2-th antenna of R2 transmits a message s ~ 1 with a power lever β 1 2 while the first source S1 broadcasts a message s ~ 2 with a power lever α 1 2 . We set α 1 = β 1 = 1 2 for ease of explanation. Such a signal model can be found in most time slots with odd numbers in situation A2 event E. At this time, the signal vector received by R1 can be written as r R 1 = H R 1 s ~ + w 1 , where r R 1 , w 1 ∈ C M r , H R 1 = β 1 h 2 , r 2 α 1 h R 1 , s ~ = [ s ~ 1 , s ~ 2 ] T , and w1 is the noise vector. This transmission model can be recognized as a special MIMO system with two transmit, and M r receive antennas when ZF detection is applied. Denote the event as E R 1 ≜ log 1 + ρ ( H R 1 H H R 1 ) − 1 k , k > R ~ , ∀ k ∈ { 1 , 2 } . Applying ZF detection at the receiver and according to [26], the probability of ER 1 can be expressed as
P ( E R 1 ) = 1 − 2 γ M r − 1 ( M r − 1 ) ! ,
(A.3)
when ρ is sufficiently large, where γ = 2 R ~ − 1 ρ α 1 2 δ 2 . Note that the similar ZF decoding can be applied at R2 when R1 and S2 are transmitting messages at the same time, and ER 2 is similarly defined as E R 2 ≜ log 1 + ρ ( H R 2 H H R 2 ) − 1 k , k > R ~ , ∀ k ∈ { 1 , 2 } , whose probability is the same as P(ER 1), i.e.,
P ( E R 2 ) = 1 − 2 γ M r − 1 ( M r − 1 ) ! .
(A.4)
Then, the probability of the event E defined in Equation (2) can be revealed as P ( E ) = P E R 1 ⋂ E R 2 , where the events ER 1 and ER 2 are not strictly independent. Since reciprocal channel is assumed, the channel vectors h 1 , r 1 and h 2 , r 2 have one common element which is the channel coefficient between the r1-th antenna of R1 and the r2-th antenna of R2, so that it is difficult to obtain the accurate value of P(E). However, when we notice that P(E) can be bounded as P(ER 1)+P(ER 2)−1≤P(E)≤P(ER 1), we have
P ( E R 1 ) − 2 γ M r − 1 ( M r − 1 ) ! ≤ P ( E ) ≤ P ( E R 1 ) .
(A.5)

According to Equation (A.3), Lemma 3 can be proved.

Proof of Lemma 4

Assume X1 and X2 to be independently exponentially distributed with unit variance without loss of generality. Let D = { ( x 1 , x 2 ) ∈ ℝ 2 + | x 1 x 2 < a } and f x 1 x 2 ( x 1 , x 2 ) = f x 1 ( x 1 ) f x 2 ( x 2 ) which is the joint density of {x1,x2}, where f x i ( x i ) denotes X i ’s probability density function (PDF) f x i = e − x i , i=1,2. Then, the probability P(X1X2<a) can be expressed as
Φ a = P X 1 X 2 < a = ∫ ∫ D f x 1 x 2 ( x 1 , x 2 ) d x 1 d x 2 = ∫ 0 + ∞ e − x ( 1 − e − a / x ) d x = ∑ i = 1 ∞ ( − 1 ) i + 1 i ! a i ∫ 0 + ∞ e − x x i d x.
(A.6)
Now, the function Φ a (u) is first defined as
Φ a ( u ) = ∑ i = 1 ∞ ( − 1 ) i + 1 i ! a i B i ( u ) ,
(A.7)

where B i ( u ) = ∫ u + ∞ e − x x i d x . Then, the improper integral Φ a can be calculated as Φ a = lim u → 0 + Φ a ( u ) .

Moreover, from [29] (Equation 3.351.4), B i (u) can be calculated by the exponential integral function as
B i ( u ) = ( − 1 ) i Ei ( − u ) ( i − 1 ) ! + e − u ∑ n = 0 i − 2 ( − 1 ) n u − ( i − 1 − n ) ( i − 1 ) ( i − 2 ) ⋯ ( i − 1 − n ) ,
(A.8)
where i≥2, and exponential integral function can be shown as Ei ( − u ) = ln ( u ) + ∑ k = 1 ∞ ( − u ) k k · k ! . Now that, B i (u) can be obtained as
B i ( u ) e − u = − ln ( u ) + o ( 1 ) if i = 1 ( − 1 ) i ln ( u ) ( i − 1 ) ! + ∑ n = 0 i − 2 ( − 1 ) n u − ( i − 1 − n ) ( i − 1 ) ( i − 2 ) ⋯ ( i − 1 − n ) + o ( 1 ) if i ≥ 2 ,
(A.9)
where o(1)→0 when u→0+. By substituting B i (u) into Equation (A.7) and rearranging the infinite series, Φ a (u) can be rewritten as
Φ a ( u ) = e − u ∑ n = 0 ∞ ϕ n ( u ) + o ( 1 ) ,
(A.10)
where
ϕ n ( u ) = − a n + 1 n ! ( n + 1 ) ! ln ( u ) + ∑ i = n + 2 ∞ ( − 1 ) i + n + 1 a i u − ( i − 1 − n ) i ! ( i − 1 ) ( i − 2 ) ⋯ ( i − 1 − n ) .
(A.11)
Let v=a u−1, ϕ n (v) can be expressed as
ϕ n ( v ) = − a n + 1 ln a n ! ( n + 1 ) ! + a n + 1 F n ( v ) ,
(A.12)
where
F n ( v ) = ln v n ! ( n + 1 ) ! + ∑ i = n + 2 ∞ ( − 1 ) i + n + 1 v i − 1 − n i ! ( i − 1 ) ( i − 2 ) ⋯ ( i − 1 − n ) .
(A.13)
Following similar proof steps of Corollary 1 in [15], the limit lim v → + ∞ F n ( v ) can be proved to exist. Hence, by recalling Equation (A.10), Φ a can be expressed as
Φ a = lim u → 0 + Φ a ( u ) = ∑ n = 0 ∞ − a n + 1 ln a n ! ( n + 1 ) ! + C n a n + 1 .
(A.14)

For a sufficiently large ρ, Φ a can be approximately calculated as Φ a ≈−a lna.

Proof of Lemma 5

It is not difficult to obtain the PDF of z as f z ( z ) = M r e − z ( 1 − e − z ) M r − 1 , z>0, since z = max { z 1 , ⋯ , z M r } and f z r ( z r ) = e − z r , r∈{1,⋯,M r }, so that
ε [ e − cz ] = ∫ 0 ∞ e − cz f z ( z ) d z = M r ∫ 0 1 t c ( 1 − t ) M r − 1 d t.
(A.15)
Using binomial theorem, ε[e−c z] can be written as
ε [ e − cz ] = M r ∑ r = 0 M r − 1 ∫ 0 1 C M r − 1 r ( − 1 ) r t c + r d t = M r ∑ r = 0 M r − 1 C M r − 1 r ( − 1 ) r c + r + 1
(A.16)
where C p q = p ! ( p − q ) ! q ! , p and q are positive integers, and p≥q. Splitting each term on the right side, Equation (A.16) can be calculated as
ε [ e − cz ] M r = 1 c + 1 − 1 c + 2 + − 1 · M r − 2 ⏟ C M r − 2 1 × 1 c + 2 − 1 c + 3 + ⋯ + − 1 r · C M r − 1 r − C M r − 2 r − 1 ⏟ C M r − 2 r × 1 c + r + 1 − 1 c + r + 2 + ⋯ + − 1 M r − 2 × 1 c + M r − 1 − 1 c + M r = ∑ r = 0 M r − 2 C M r − 2 r − 1 r c + r + 1 c + r + 2
(A.17)
Furthermore, by iteratively repeating the similar process in Equation (A.17), the expectation of e−c z can be finally obtained as
ε [ e − cz ] = M r ! Π i = 1 M r ( c + i ) .

Appendix 2

Proof of theorem 1

As shown in [7, 22], the ML error probability can be tightly bounded by the outage probability at high SNR, so the outage probability will be analyzed in this section. According to [22] and the protocol description in Section 2, we can define the outage event of the proposed ARDF protocol as O ≜ ⋃ k = 0 2 O A k , where O A 2 ≜ O A 2 , E ¯ ⋃ O A 2 , E . Here, O A k denotes the outage event in the situation A k at the destination, O A 2 , E ¯ and O A 2 , E are similarly defined. Thus, the overall outage probability of the proposed protocol can be expressed as
P ( O ) = ∑ k = 0 1 P ( O A k ) P ( A k ) + P ( A 2 , E ¯ ) P ( O A 2 , E ¯ ) + P ( A 2 , E ) P ( O A 2 , E ) ≤ ∑ k = 0 1 P ( O A k ) P ( A k ) + P ( E ¯ ) P ( O A 2 , E ¯ ) + P ( E ) P ( O A 2 , E ) .
(B.1)
The probabilities of each situation A k and the event E have been presented in Lemma 2 and Lemma 3, respectively. Moveover, the outage probability in each situation will be analyzed in the terms of the MAC capacity region. Based on the definition in Equation (1), the source data rate constrains for the proposed-ARDF protocol can be further calculated as follows:
| S | Q R ~ < log det I + ρ ∑ l ∈ ℒ h l h l H , ∀ S ⊆ { 1 , 2 }
(B.2)

where | S | denotes number of users in , Q denotes the number of codewords transmitted by each source in one cooperative frame, and h l is a channel vector, both the structure of h l and the set are a function of and the details of their relationship to will be discussed in the next few subsections. The outage events occur when any constraint in Equation (B.2) is not met, and the highest outage probability achieved by each constraint is the dominant factor [22]. In the following subsections, different values of each parameter in Equation (B.2) will be considered for different situations.

Situation A0

S ⊆ { 1 , 2 } , Q=L, and h l denotes the l-th column vector of H A 0 in Table 1. When | S | = 1 , is assumed to be {1} without loss of generality, so ℒ = { 1 , 3 , ⋯ , 2 L − 1 } , and the outage probability at the destination in such a case can be calculated as
P 1 ( O A 0 ) = P 1 + ρ ( X 1 + α 2 2 X 2 ) 1 + ρ ( α 1 2 X 1 + α 2 2 X 2 ) L − 1 < 2 L R ~ < ( a ) P 1 + ρ ( α 1 2 X 1 + α 2 2 X 2 ) L < 2 L R ~ ≤ P α 1 2 X 1 < 2 R ~ − 1 ρ , α 2 2 X 2 < 2 R ~ − 1 ρ ≤ ( b ) P X 1 < 2 R ~ − 1 α 1 2 ρ P X 2 < 2 R ~ − 1 α 2 2 ρ ≐ ρ − 2 ( 1 − r ~ ) ,
(B.3)
where X i =|h Si |2, i=1,2; (a) holds since 0 < α 1 2 < 1 , and (b) holds since X1 is independent of X2. Otherwise, S = { 1 , 2 } and ℒ = { 1 , 2 , ⋯ , 2 L } ,
P 2 ( O A 0 ) = P log det ( I 2 L + 1 + ρ H A 0 H A 0 H ) < 2 L R ~ .
(B.4)
In order to make the analysis more tractable, a (2L+1)×(2L+1) square matrix H ~ A 0 is first defined as H ~ A 0 ≜ [ H A 0 , 0 ] , where the zero column vector is (2L+1)-dimensional. It is easy to show that H A 0 H A 0 H = H ~ A 0 H ~ A 0 H and [ I 2 L + 1 + ρ H ~ A 0 H ~ A 0 H ] is a tridiagonal matrix. According to [30], the determinant of the tridiagonal matrix can be shown iteratively as
D n = [ 1 + ρ ( x n + y n − 1 ) ] D n − 1 − ρ 2 x n y n − 1 D n − 2 ,
where D n = det [ I 2 L + 1 + ρ H ~ n H ~ n H ] , and H ~ n denotes the n×n top-left submatrix from H ~ A 0 , x n and y n are the n-th element on the principle diagonal and subdiagonal of H ~ A 0 , respectively. By using such a property and note that x2L+1=0, the following inequality can be obtained
D 2 L + 1 ≥ 1 + ρ X 1 1 + ρ α 1 X 1 L − 1 1 + ρ α 1 X 2 L + α 2 2 L − 1 ρ 2 X 1 X 2 L .
(B.5)
From Equation (B.5) and Lemma 4, P 2 ( O A 0 ) can be upper bounded as
P 2 ( O A 0 ) ≤ P ( ρ 2 α 2 2 X 1 X 2 ) L < 2 2 L R ~ ≈ − 2 2 R ~ α 2 2 ρ 2 ln 2 2 R ~ α 2 2 ρ 2 ≐ ρ − 2 ( 1 − r ~ ) .
(B.6)

Thus, P ( O A 0 ) ≤ ̇ ρ − 2 ( 1 − r ~ ) can be easily obtained by combining P 1 ( O A 0 ) and P 2 ( O A 0 ) .

Situation A1

ℒ = S ⊆ { 1 , 2 } , Q=1, h l denotes the l-th column vector of H A 1 in Table 1. When | S | = 1 , assume that S = { 1 } , P 1 ( O A 1 ) can be easily obtained as
P 1 ( O A 1 ) = P X 1 + α 2 2 X 2 + G 1 < 2 R ~ − 1 ρ ≤ ̇ ρ − 2 ( 1 − r ~ ) ∏ m = 1 M r P | g 1 , m | 2 < 2 R ~ − 1 ρ ≐ ρ − ( M r + 2 ) ( 1 − r ~ ) ,
(B.7)
where G j = | g j , r j | 2 ≜ max { | g j , 1 | 2 , ⋯ , | g j , M r | 2 } , j = 1 , 2 . Otherwise, S = { 1 , 2 } , P 2 ( O A 1 ) is
P 2 ( O A 1 ) = P log det ( I 2 + ρ H A 1 H H A 1 ) < 2 R ~ .
(B.8)
The determinant of [ I 2 + ρ H A 1 H H A 1 ] can be first calculated as
det I 2 + ρ H A 1 H H A 1 = ∏ i = 1 2 1 + ρ ( X 1 + G 1 + α i 2 X 2 ) − ρ 2 α 1 α 2 X 2 + g M 1 ∗ h S 1 2 ,
(B.9)
where
| α 1 α 2 X 2 + g M 1 ∗ h S 1 | 2 ≤ α 1 α 2 X 2 2 + G 1 X 1 + 2 α 1 α 2 X 2 G 1 X 1 ≤ ( α 1 α 2 X 2 ) 2 + G 1 X 1 + α 1 α 2 X 2 X 1 + G 1 .
(B.10)
So that det I 2 + ρ H A 1 H H A 1 > ρ 2 G 1 2 + ( 1 − α 1 α 2 ) X 1 X 2 can be obtained, where 0 < α 1 α 2 ≤ 1 2 , and P 2 ( O A 1 ) can be upper bounded as
P 2 ( O A 1 ) ≤ P G 1 2 + ( 1 − α 1 α 2 ) X 1 X 2 < 2 2 R ~ ρ 2 ≤ P X 1 X 2 < 2 2 R ~ ( 1 − α 1 α 2 ) ρ 2 P G 1 < 2 R ~ ρ ≐ ρ − ( M r + 2 ) ( 1 − r ~ ) ,
(B.11)

where the last relationship is based on Lemma 4. Hence, P ( O A 1 ) ≤ ̇ ρ − ( M r + 2 ) ( 1 − r ~ ) can be obtained.

Situation A2event E ¯

ℒ = S ⊆ { 1 , 2 } , Q=1, h l denotes the l-th column vector of H A 2 , E ¯ in Table 1. When | S | = 1 , P 1 ( O A 2 , E ¯ ) ≐ ρ − ( 2 M r + 2 ) ( 1 − r ~ ) can be easily obtained by following the similar steps in Equation (B.7). Otherwise, S = { 1 , 2 } , P 2 ( O A 2 , E ¯ ) can be written as
P 2 ( O A 2 , E ¯ ) = P log det ( I 2 + ρ H A 2 , E ¯ H H A 2 , E ¯ ) < 2 R ~ .
(B.12)
In the above equation, det I 2 + ρ H A 2 , E ¯ H H A 2 , E ¯ = K 1 − K 2 , where
K 1 = ∏ i = 1 2 [ 1 + ρ ( X 1 + G 1 + G 2 + α i 2 X 2 ) ]
(B.13)
≥ ρ 2 ( X 1 + G 2 + G 1 ) 2 + X 2 ( X 1 + G 2 + G 1 ) + α 1 α 2 X 2 2 , K 2 = ρ 2 α 1 α 2 X 2 + g M 1 ∗ h S 1 + g M 2 ∗ g M 1 2 ≤ ρ 2 ( α 1 α 2 X 2 ) + G 1 ( X 1 + G 2 ) 2 ≤ ρ 2 ( α 1 α 2 X 2 ) 2 + α 1 α 2 X 2 ( X 1 + G 2 + 2 G 1 ) + 2 G 1 ( X 1 + G 2 ) ,
(B.14)
so that det I 2 + ρ H A 2 , E ¯ H H A 2 , E ¯ > ρ 2 G 1 2 + G 2 2 + ( 1 − α 1 α 2 ) X 1 X 2 can be obtained. By using Lemma 4 and following the similar steps in Equation (B.11), P 2 ( O A 2 , E ¯ ) can be upper bounded as
P 2 ( O A 2 , E ¯ ) ≤ P G 1 2 + G 2 2 + ( 1 − α 1 α 2 ) X 1 X 2 < 2 2 R ~ ρ 2 ≐ ρ − ( 2 M r + 2 ) ( 1 − r ~ ) .
(B.15)

Therefore, it can be shown that P ( O A 2 , E ¯ ) ≤ ̇ ρ − ( 2 M r + 2 ) ( 1 − r ~ ) .

Situation A2event E

The outage probability in situation A2 event E is difficult to be obtained using the above method, but the upper bound can be calculated by following the similar analysis in [17]. Firstly, model 4 in Table 1 is assumed to be a symmetric 2L-user multiple-access system where the codeword x(n) in x2L is transmitted by S n , and such an assumption will make the analysis tractable. For the two-user case considered in this paper, the performance would not be worse than the performance of the former one. So that ℒ = S ⊆ { 1 , 2 , ⋯ , 2 L } , Q=1, h l denotes the l-th column vector of H in Equation (3), and there are (22L−1) source data constrains in Equation (B.2). For each constraint, there exists a probability that the channel condition cannot satisfy it, and the highest outage probability is the dominant factor and achieve the system’s DMT.

In order to calculate the outage probability of each constraint, a (m+3)×m MIMO channel is first considered as y m =F m s m +w m , where s m ∈ C m , y m , w m ∈ C m + 3 and F m is the (m+3)×m top-left submatrix from H in Equation (3). According to [17], the outage probability achieved by this system for every 1≤m≤2L is the same as the highest outage probability for each constraint in Equation (B.2). When m=1, P 1 ( O A 2 , E ) ≐ ρ − ( 2 M r + 2 ) ( 1 − r ~ ) can be easily obtained, following the similar steps in Equation (B.7).

When m>1, following the similar DMT analysis for the inter-symbol interference (ISI) channel in [31] and the proof steps in [17], the average error probability can be upper bounded by
P e ≤ 2 ( m + 3 ) · ε [ exp ( − c 1 λ ¯ ρ 1 − r ~ | f | 2 ) ] ,
(B.16)
where c1 is a constant, f = [ h S 1 , h S 2 , g 1 , r 1 , g 2 , r 2 ] T , ε[·] denotes the expectation of a random variable, and λ ¯ = inf f ∈ C 4 λ min ( F m | f | ) > 0 , λmin(·) denotes the minimum singular value of a matrix. By using Lemma 5, P e can be upper bounded as
P e ≤ 2 ( m + 3 ) 1 c 1 λ ¯ ρ 1 − r ~ + 1 2 M r ! Π i = 1 M r ( c 1 λ ¯ ρ 1 − r ~ + i ) 2 ≐ ρ − ( 2 M r + 2 ) ( 1 − r ~ ) .
(B.17)
By observing the fact that P ( O A 2 , E ) ≤ ̇ P e [7], the outage probability of model 4 in situation A2 event E can be upper bounded as
P ( O A 2 , E ) ≤ ̇ ρ − ( 2 M r + 2 ) ( 1 − r ~ ) .
Now that recalling Equation (B.1), Lemma 2, and Lemma 3 and considering all the situations, the overall outage probability can be written as
P ( O ) ≤ ̇ ρ − min { ( 2 M r + 2 ) ( 1 − r ~ ) , ( 3 M r + 1 ) ( 1 − r ~ ) } ≐ ρ − ( 2 M r + 2 ) ( 1 − r ~ ) .
(B.18)
Depending on the variable-rate strategy in Equation (34) of [8] and integrating the four transmission modes, the target transmission data rate R BPCU can be expressed as
R = P ( A 0 ) ( 2 L ) R ~ 2 L + 1 + P ( A 1 ) R ~ 2 + P ( A 2 , E ¯ ) 2 R ~ 5 + P ( A 2 , E ) ( 2 L ) R ~ 2 L + 3 .
(B.19)
One can also refer to [8] to get the mapping criterion from R to R ~ . It is not difficult to prove the inequality P ( E ¯ ) + P ( A 2 ) − 1 ≤ P ( A 2 , E ¯ ) ≤ P ( E ¯ ) , so P ( A 2 , E ¯ ) ≐ P ( E ¯ ) can be obtained in the large-SNR region. From Equation (A.2) and Lemma 3 and substituting R=r logρ, R ~ = r ~ log ρ , P ( A 2 , E ) = P ( A 2 ) − P ( A 2 , E ¯ ) into Equation (B.19), r can be revealed as
r ≐ r ~ 2 L 2 L + 1 P 1 2 + P 1 ( 1 − P 1 ) + 2 5 P 2 + 2 L 2 L + 3 [ ( 1 − P 1 ) 2 − P 2 ] ,
(B.20)

where P 1 = ρ − M r ( 1 − r ~ ) , P 2 = ρ − ( M r − 1 ) ( 1 − r ~ ) . Following the analysis in Claim 3 of [8] and the similar steps in [14], d ( r ) = ( 2 M r + 2 ) 1 − 2 L + 3 2 L r + can be proved by substituting r ~ = 2 L + 3 2 L r into Equation (B.18).

Declarations

Acknowledgements

The work of Peng Xu and Xuchu Dai was supported by the National Natural Science Foundation of China (NSFC) under grant number 61471334, the National High Technology Research and Development Program of China (863 Program) under grant number 2012AA01A502, and the National Basic Research Program of China (973 Program: 2013CB329004). The work of Zhiguo Ding was supported by a Marie Curie International Fellowship within the 7th European Community Framework Programme and the UK EPSRC under grant number EP/I037423/1. This paper has been presented in part at IEEE International Conference on Communications (ICC), June, Canada, 2012 [28].

Authors’ Affiliations

(1)
Department of Electronic Engineering and Information Science, University of Science and Technology of China
(2)
School of Computing and Communications, Lancaster University
(3)
Department of Electrical and Computer Engineering, University of Cyprus
(4)
Department of Computer and Telecommunications Engineering, University of Western Macedonia

References

  1. Biswas S, Tatchikou R, Dion F: Vehicle-to-vehicle wireless communication protocols for enhancing highway traffic safety. IEEE Commun. Mag 2006, 44(1):74-82.View ArticleGoogle Scholar
  2. Wang C-X, Cheng X, Laurenson D: Vehicle-to-vehicle channel modeling and measurements: recent advances and future challenges. IEEE Commun. Mag 2009, 47(11):96-103.View ArticleGoogle Scholar
  3. Ding Z, Leung KK: Cross-layer routing using cooperative transmission in vehicular ad-hoc networks. IEEE J. Selected Areas Commun 2011, 29(3):571-581.View ArticleGoogle Scholar
  4. Azarian K, Gamal HE, Schniter P: On the achievable diversity-multiplexing tradeoff in half-duplex cooperative channels. IEEE Trans. Inf. Theory 2005, 51: 4152-4172. 10.1109/TIT.2005.858920View ArticleMathSciNetMATHGoogle Scholar
  5. Ding Z, Ratnarajah T, Cowan C: On the diversity-multiplexing tradeoff for wireless cooperative multiple access systems. IEEE Trans. Signal Process 2007, 55(9):4627-4638.MathSciNetView ArticleGoogle Scholar
  6. Larsson EG, Vojcic BR: Cooperative transmit diversity based on superposition modulation. IEEE Commun. Lett 2005, 9(9):778-780. 10.1109/LCOMM.2005.1506700View ArticleGoogle Scholar
  7. Zheng L, Tse DNC: Diversity and multiplexing : a fundamental tradeoff in multiple antenna channels. IEEE Trans. Inf. Theory 2003, 49: 1073-1096. 10.1109/TIT.2003.810646View ArticleMATHGoogle Scholar
  8. Laneman JN, Tse DNC, Wornell GW: Cooperative diversity in wireless networks: efficient protocols and outage behavior. IEEE Trans. Inf. Theory 2004, 50: 3062-3080. 10.1109/TIT.2004.838089MathSciNetView ArticleMATHGoogle Scholar
  9. Bletsas A, Khisti A, Reed DP, Lippman A: A simple cooperative diversity method based on network path selection. IEEE J. Select. Areas Comm 2006, 24: 659-672.View ArticleGoogle Scholar
  10. Nabar RU, Bolcskei H, Kneubuhler FW: Fading relay channels : performance limits and space-time signal design. IEEE J. Select. Areas in Comm 2004, 22: 1099-1109. 10.1109/JSAC.2004.830922View ArticleGoogle Scholar
  11. Yang S, Belfiore J-C: Towards the optimal amplify-and-forward cooperative diversity scheme. IEEE Trans. Inf. Theory 2007, 53: 3114-3126.MathSciNetView ArticleMATHGoogle Scholar
  12. Rankov B, Wittneben A: Spectral efficient protocols for half-duplex fading relay channels. IEEE J. Select. Areas Commun 2007, 25(2):379-389.View ArticleGoogle Scholar
  13. Fan Y, Wang C, Thompson J, Poor HV: Recovering multiplexing loss through successive relaying using repetition coding. IEEE Trans. Wireless Commun 2007, 6(12):4484-4493.View ArticleGoogle Scholar
  14. Wang C, Fan Y, Thompson JS, Skoglund M, Poor HV: Approaching the optimal diversity-multiplexing tradeoff in a four-node cooperative network. IEEE Trans. Wireless Commun 2010, 9(12):3690-3700.View ArticleGoogle Scholar
  15. Xu P, Dai X, Ding Z, Krikidis I, Leung K: Approaching miso upper bound: design of new wireless cooperative transmission protocols. IEEE Trans. Wireless Commun 2011, 10(8):2725-2737.View ArticleGoogle Scholar
  16. Wang C, Fan Y, Krikidis I, Thompson JS, Poor HV: Superposition-coded concurrent decode-and-forward relaying. In Proc. IEEE Int. Symp. Inf. Theory. Toronto, Canada: IEEE; 2008:2390-2394.Google Scholar
  17. Wang C, Fan Y, Thompson J, Poor H: A comprehensive study of repetition-coded protocols in multi-user multi-relay networks. IEEE Trans. Wireless Commun 2009, 8(8):4329-4339.View ArticleGoogle Scholar
  18. Ding Z, Leung KK, Goeckel KK, Towsley D: A relay assisted cooperative transmission protocol for wireless multiple access systems. IEEE Trans. Commun 2010, 58(8):2425-2435.View ArticleGoogle Scholar
  19. Xiao M, Skoglund M: Design of network codes for multiple-user multiple-relay wireless networks. In IEEE International Symposium on Inf. Theory (ISIT). Seoul, Korea: IEEE; 2009:2562-2566.Google Scholar
  20. Wang C, Xiao M, Skoglund M: Diversity-multiplexing tradeoff analysis of coded multi-user relay networks. IEEE Trans. Commun 2011, 59(7):1995-2005.View ArticleGoogle Scholar
  21. Wang C, Farhadi H, Skoglund M: Achieving the degrees of freedom of wireless multi-user relay networks. IEEE Trans. Commun 2012, 60(9):2612-2622.View ArticleGoogle Scholar
  22. Tse DNC, Viswanath P, Zheng L: Diversity-multiplexing tradeoff in multiple-access channels. IEEE Trans. Inf. Theory 2004, 50: 1859-1874. 10.1109/TIT.2004.833347MathSciNetView ArticleMATHGoogle Scholar
  23. Cover TM, Thomas JA: Elements of Inf. Theory. New York: Wiley; 1991.View ArticleMATHGoogle Scholar
  24. Clarke R: A statistical theory of mobile-radio reception. Bell Syst. Tech. J 1968, 47(6):957-1000. 10.1002/j.1538-7305.1968.tb00069.xView ArticleGoogle Scholar
  25. Akki A: Statistical properties of mobile-to-mobile land communication channels. IEEE Trans. Vehicular Technol 1994, 43(4):826-831. 10.1109/25.330143View ArticleGoogle Scholar
  26. Leow CY, Ding Z, Leung KK: Linear precoded cooperative transmission protocol for wireless broadcast channels. IEEE Trans. Vehicular Technol 2011, 60(7):3509-3515.View ArticleGoogle Scholar
  27. Tse D, Viswanath P: Fundamentals of Wireless Communication. UK: Cambridge University Press; 2005.View ArticleMATHGoogle Scholar
  28. Xu P, Ding Z, Dai X, Krikidis I, Vasilakos AV: A novel relay-assisted protocol for cooperative multiple access networks. In IEEE International Conference on Communications (ICC). IEEE; 2012:4547-4551.Google Scholar
  29. Gradshteyn IS, Ryzhik IM: Table of Integrals, Series and Products. Massachusetts: Academic Press; 2007.MATHGoogle Scholar
  30. Golub GH, van Loan CF: Matrix Computations. Maryland: John Hopkins Univerity Press; 1996.MATHGoogle Scholar
  31. Grokop LH, Tse D: Diversity–multiplexing tradeoff in ISI channels. IEEE Trans.Inf. Theory 2009, 55(1):109-135.MathSciNetView ArticleGoogle Scholar

Copyright

© Xu et al.; licensee Springer. 2014

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.