<?xml version='1.0'?>
<!DOCTYPE art SYSTEM 'http://www.biomedcentral.com/xml/article.dtd'>
<art>
   <ui>1687-1499-2010-843745</ui>
   <ji>1687-1499</ji>
   <fm>
      <dochead>Research Article</dochead>
      <bibl>
         <title>
            <p>A Precoded OFDMA System with User Cooperation</p>
         </title>
         <aug>
            <au ca="yes" id="A1"><snm>Yu</snm><fnm>Yao</fnm><insr iid="I1"/><email>yuyuyuyao@gmail.com</email></au>
            <au id="A2"><snm>Yatawatta</snm><fnm>Sarod</fnm><insr iid="I2"/><email>sarod@slashmail.org</email></au>
            <au id="A3"><snm>Petropulu</snm><fnm>AthinaP</fnm><insr iid="I1"/><email>athina@ece.drexel.edu</email></au>
         </aug>
         <insg>
            <ins id="I1"><p>Electrical and Computer Engineering Department, Drexel University, Philadelphia, PA 19104, USA</p></ins>
            <ins id="I2"><p>Kapteyn Astronomical Institute (RUG), Postbus 800, 9700 AV Groningen, The Netherlands</p></ins>
         </insg>
         <source>EURASIP Journal on Wireless Communications and Networking</source>
         <issn>1687-1499</issn>
         <pubdate>2010</pubdate>
         <volume>2010</volume>
         <issue>1</issue>
         <fpage>843745</fpage>
         <url>http://jwcn.eurasipjournals.com/content/2010/1/843745</url>
         <xrefbib><pubid idtype="doi">10.1155/2010/843745</pubid></xrefbib>
      </bibl>
      <history><rec><date><day>1</day><month>11</month><year>2009</year></date></rec><acc><date><day>30</day><month>3</month><year>2010</year></date></acc><pub><date><day>10</day><month>5</month><year>2010</year></date></pub></history>
      <cpyrt><year>2010</year><collab>The Author(s).</collab><note>This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.</note></cpyrt>
      <abs>
         <sec>
            <st>
               <p/>
            </st>
            <p>A new cooperative scheme for a two-user orthogonal frequency division multiple access (OFDMA) uplink communication scenario is proposed. Each user is equipped with one transmit/receive antenna. Before transmission, inter-block linear precoding is introduced to pairs of blocks. The cooperative transmission is implemented in cycles of three time slots. During each slot, a user transmits either his data, or a weighted mixture of his data and the data that he received in previous slots of the same cycle. The weights are obtained in an optimum fashion, so that a user that faces deep fading on certain subcarriers can benefit from the other user's channel, without taxing significantly the resources of that user. It is shown that the proposed scheme achieves the maximum available diversity for both users (full cooperation), or for the weak user (half cooperation) without increasing the number of antennas needed as compared to an energy-equivalent noncooperative OFDMA system that also uses inter-block precoding. Further, the proposed use of inter-block precoding allows one to exploit the cooperation induced diversity in 1.5 slots on the average; 2 slots would be needed if intra-block precoding was used instead.</p>
         </sec>
      </abs>
   </fm>
   <meta><classifications><classification id="TFWN" subtype="theme_series_title" type="BMC">Theoretical and Algorithmic Foundations of Wireless Ad Hoc and Sensor Networks</classification><classification id="TFWN" subtype="theme_series_editor" type="BMC"/></classifications></meta><bdy>
      <sec>
         <st>
            <p>1. Introduction</p>
         </st>
         <p>Multiuser Cooperation is a promising technology for improving the performance of wireless communication systems, as it has the potential to increase the data rate [<abbr bid="B1">1</abbr>, <abbr bid="B2">2</abbr>], and achieve diversity order equal to the number of cooperating users [<abbr bid="B3">3</abbr>]. Three types of cooperation have been used in the past, decode-and-forward (DF) [<abbr bid="B1">1</abbr>, <abbr bid="B4">4</abbr>], amplify-and-forward (AF) [<abbr bid="B5">5</abbr>], and coded cooperation [<abbr bid="B6">6</abbr>]. In [<abbr bid="B4">4</abbr>], a two-user cooperative system was considered and in that context it was shown that the AF approach performs better than the DF, with the performance gap closing as the SNR increases. Also in [<abbr bid="B4">4</abbr>], it was shown that coded cooperation based on channel coding can in general outperform both AF and DF schemes at all SNR levels, while it is comparable to the noncooperative system at low SNR.</p>
         <p>OFDM systems have gained popularity due to their ability to handle frequency selective fading. Various forms of cooperation in the context of OFDM systems have been considered. In [<abbr bid="B5">5</abbr>], a hybrid forwarding scheme was proposed for cooperative relaying in OFDM-based networks that adaptively decides between AF, DF, or no relaying at all, based on the instantaneous SNR on each subcarrier. An OFDM cooperative scheme for multihop networks was proposed in [<abbr bid="B7">7</abbr>], where in order to achieve full spatial diversity, relay selection is performed on a per-subcarrier basis instead of the entire block. Each subcarrier can determine the best relay independently at each hop, so that different subcarriers experience different paths. In [<abbr bid="B8">8</abbr>] (Chapter 17), a general two-phase cooperative protocol for OFDM networks was studied, where in phase 1 each user transmits its own data and in phase 2 the relay decodes the source symbols that are not decoded successfully by the central node, according to feedback information sent by the central node. In order to resolve multiple users at the central code, the users can send their information in different time slots or utilize different sets of subcarriers in phase 1. It was shown in [<abbr bid="B8">8</abbr>] that the performance of the cooperative protocol depends on the number of relays and relay selection. In [<abbr bid="B9">9</abbr>], a multiuser OFDM network was considered where some users serve as AF relays by offering some of their subcarriers to other users. Optimal schemes of power control, subcarrier allocation, and relay selection were considered in the same paper. A DF cooperation strategy and resource-allocation algorithm for two-user OFDMA systems was proposed in [<abbr bid="B10">10</abbr>] and was shown to achieve the capacity region upper bound of two-user OFDMA systems.</p>
         <p>It is well known that OFDM systems loose multipath diversity as each symbol is transmitted on one subcarrier only. Several ways have been proposed in the literature for introducing path diversity in OFDM systems. Suppose that the multipath channel is finite impulse response (FIR) with <inline-formula><graphic file="1687-1499-2010-843745-i1.gif"/></inline-formula> taps. Maximum diversity gain, <inline-formula><graphic file="1687-1499-2010-843745-i2.gif"/></inline-formula>, was achieved in [<abbr bid="B11">11</abbr>, <abbr bid="B12">12</abbr>] via a linear receiver using redundant precoding, or oversampling at the receiver. In [<abbr bid="B13">13</abbr>] it was shown that a single user OFDM system with nonredundant block precoding can achieve diversity gain up to <inline-formula><graphic file="1687-1499-2010-843745-i3.gif"/></inline-formula>. The performance gain is exploitable using a Maximum Likelihood (ML) decoder. Reduced complexity decoding at the receiver is possible via subcarrier grouping [<abbr bid="B13">13</abbr>], which may result in smaller than <inline-formula><graphic file="1687-1499-2010-843745-i4.gif"/></inline-formula> diversity gains. Other nonredundant precoding techniques were also considered in [<abbr bid="B14">14</abbr>&#8211;<abbr bid="B16">16</abbr>]. A multirelay cooperative OFDM system with nonredundant precoding and AF relaying was investigated in [<abbr bid="B17">17</abbr>]. Based on the expression of pairwise error probability (PEP), it was demonstrated that the maximum diversity order is the sum of the source-to-destination channel length and the length of the shortest channel among the relay links.</p>
         <p>In this paper we propose a cooperative approach for a two-user OFDMA system that combines linear interblock precoding and user cooperation. The transmission occurs in cycles of three time slots each; two new precoded data blocks for each user are transmitted in each cycle. In the first slot, both users transmit their own data. In the two subsequent slots, each user transmits a weighted combination of the user's own precoded data and also data from the other user that were received in the previous slot. The weights are obtained as the solution of a constrained optimization problem that allows the user that faces a bad channel on certain subcarriers to benefit from the user that has a better channel, without taxing significantly the resources of that user. Two methods are proposed to implement this scheme: the full cooperation and the half cooperation. In the full-cooperation scheme, both users are involved in the cooperation. The base station (BS) recovers the transmitted symbols after it has collected data from both users in the three slots. In the half-cooperation scheme, only the strong user transmits cooperative information. We show that the proposed cooperative schemes combined with interblock precoding can achieve the maximum available diversity, that is, twice the length of the multipath channel. To achieve the same diversity order, a noncooperative OFDMA system that uses the same transmission energy per block pair and the same interblock precoding scheme would require at least two transmit antennas. Further, the proposed use of interblock precoding allows one to exploit the diversity induced by cooperation in 1.5 slots on the average; 2 slots would be needed if intrablock precoding was used instead.</p>
         <sec>
            <st>
               <p>1.1. Relation of Contribution to the Literature</p>
            </st>
            <p>For most existing cooperative OFDM techniques [<abbr bid="B5">5</abbr>, <abbr bid="B7">7</abbr>&#8211;<abbr bid="B10">10</abbr>, <abbr bid="B17">17</abbr>], the users serving as relays transmit only the data of other users during the cooperation phase. The main difference between the proposed approach and these techniques lies in the fact that each cooperating user transmits a linear combination of the user's own data and also data from the other user. Superposing user's own data and data from the other user can double the maximum diversity gain of each user.</p>
            <p>In this paper, we propose to use interblock precoding for our proposed cooperation scheme. Inter-block precoding was previously applied to channel estimation for OFDM systems in [<abbr bid="B16">16</abbr>] to exploit time diversity introduced by time varying channels. However, here, even if the channel is completely static, interblock precoding allows one to exploit the spatial diversity that is introduced by cooperation. In [<abbr bid="B17">17</abbr>], intrablock precoding [<abbr bid="B13">13</abbr>] was employed to achieve multipath diversity for multirelay cooperative OFDM system. The proposed use of interblock precoding allows one to exploit the diversity induced by cooperation in <inline-formula><graphic file="1687-1499-2010-843745-i5.gif"/></inline-formula> slots on the average; <inline-formula><graphic file="1687-1499-2010-843745-i6.gif"/></inline-formula> slots would be needed if intrablock precoding was used instead.</p>
         </sec>
         <sec>
            <st>
               <p>1.2. Paper Organization</p>
            </st>
            <p>The paper is organized as follows. In Section 2 we describe the signal model of a multiuser OFDM system. In Section 3, we propose a full-cooperation scheme and a half-cooperation scheme for a two-user OFDMA system and provide diversity analysis. Further, we describe a modified ML decoder based on subcarrier grouping. We provide simulation results of two cooperative schemes in Section 4, and finally make some concluding remarks in Section 5.</p>
         </sec>
         <sec>
            <st>
               <p>1.3. Notation</p>
            </st>
            <p>The small and capital letters in bold denote vectors and matrices. We denote the <inline-formula><graphic file="1687-1499-2010-843745-i7.gif"/></inline-formula> identity matrix as <inline-formula><graphic file="1687-1499-2010-843745-i8.gif"/></inline-formula> and all-zero matrix as <inline-formula><graphic file="1687-1499-2010-843745-i9.gif"/></inline-formula>. The statistical expectation of a random variable is denoted by <inline-formula><graphic file="1687-1499-2010-843745-i10.gif"/></inline-formula>. The superscripts <inline-formula><graphic file="1687-1499-2010-843745-i11.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i12.gif"/></inline-formula> denote the conjugation and Hermitian respectively. We use <inline-formula><graphic file="1687-1499-2010-843745-i13.gif"/></inline-formula> to denote element-wise multiplication.</p>
         </sec>
      </sec>
      <sec>
         <st>
            <p>2. Signal Model and Assumptions</p>
         </st>
         <p>Let us consider a two-user OFDMA system where users communicate with a BS. The users are assigned disjoint carriers. User 1 transmits over subcarriers in set <inline-formula><graphic file="1687-1499-2010-843745-i14.gif"/></inline-formula> and receives over subcarriers in set <inline-formula><graphic file="1687-1499-2010-843745-i15.gif"/></inline-formula>, where <inline-formula><graphic file="1687-1499-2010-843745-i16.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i17.gif"/></inline-formula>. User 2 transmits over subcarriers in set <inline-formula><graphic file="1687-1499-2010-843745-i18.gif"/></inline-formula> and receives over subcarriers in set <inline-formula><graphic file="1687-1499-2010-843745-i19.gif"/></inline-formula>. <inline-formula><graphic file="1687-1499-2010-843745-i20.gif"/></inline-formula> denotes the cardinality of set <inline-formula><graphic file="1687-1499-2010-843745-i21.gif"/></inline-formula>. We assume that <inline-formula><graphic file="1687-1499-2010-843745-i22.gif"/></inline-formula>. Let <inline-formula><graphic file="1687-1499-2010-843745-i23.gif"/></inline-formula> denote the <inline-formula><graphic file="1687-1499-2010-843745-i24.gif"/></inline-formula>th OFDM block of user <inline-formula><graphic file="1687-1499-2010-843745-i25.gif"/></inline-formula> with the length <inline-formula><graphic file="1687-1499-2010-843745-i26.gif"/></inline-formula>, that is transmitted over the subcarriers in <inline-formula><graphic file="1687-1499-2010-843745-i27.gif"/></inline-formula>, and <inline-formula><graphic file="1687-1499-2010-843745-i28.gif"/></inline-formula> denote the corresponding signal received by user <inline-formula><graphic file="1687-1499-2010-843745-i29.gif"/></inline-formula> in the <inline-formula><graphic file="1687-1499-2010-843745-i30.gif"/></inline-formula>th time slot over the carriers in set <inline-formula><graphic file="1687-1499-2010-843745-i31.gif"/></inline-formula>.</p>
         <p>The time-domain multipath channel between user <inline-formula><graphic file="1687-1499-2010-843745-i32.gif"/></inline-formula> and user <inline-formula><graphic file="1687-1499-2010-843745-i33.gif"/></inline-formula> is denoted by <inline-formula><graphic file="1687-1499-2010-843745-i34.gif"/></inline-formula>, <inline-formula><graphic file="1687-1499-2010-843745-i35.gif"/></inline-formula>; each channel tap is assumed to be zero-mean i.i.d. Gaussian with unit variance. The taps <inline-formula><graphic file="1687-1499-2010-843745-i36.gif"/></inline-formula> are assumed to be uncorrelated for different <inline-formula><graphic file="1687-1499-2010-843745-i37.gif"/></inline-formula> pairs, and also for different discrete times <inline-formula><graphic file="1687-1499-2010-843745-i38.gif"/></inline-formula>. We assume that the channel is slowly varying, that is, the channel remains constant over several OFDM blocks. The BS has perfect knowledge of the interuser and user-to-BS channel. Let the frequency-domain channel be <inline-formula><graphic file="1687-1499-2010-843745-i39.gif"/></inline-formula>, <inline-formula><graphic file="1687-1499-2010-843745-i40.gif"/></inline-formula>. Then the received signal by user <inline-formula><graphic file="1687-1499-2010-843745-i41.gif"/></inline-formula> from user <inline-formula><graphic file="1687-1499-2010-843745-i42.gif"/></inline-formula> in the <inline-formula><graphic file="1687-1499-2010-843745-i43.gif"/></inline-formula>th slot is given by</p>
         <p>
            <display-formula id="M1">
               <graphic file="1687-1499-2010-843745-i44.gif"/>
            </display-formula>
         </p>
         <p>where</p>
         <p>
            <display-formula id="M2">
               <graphic file="1687-1499-2010-843745-i45.gif"/>
            </display-formula>
         </p>
         <p>with <inline-formula><graphic file="1687-1499-2010-843745-i46.gif"/></inline-formula> denoting the <inline-formula><graphic file="1687-1499-2010-843745-i47.gif"/></inline-formula>th element of the set <inline-formula><graphic file="1687-1499-2010-843745-i48.gif"/></inline-formula> according to some predefined ordering; <inline-formula><graphic file="1687-1499-2010-843745-i49.gif"/></inline-formula> denotes noise at user <inline-formula><graphic file="1687-1499-2010-843745-i50.gif"/></inline-formula> during the transmission of the <inline-formula><graphic file="1687-1499-2010-843745-i51.gif"/></inline-formula>th block from user <inline-formula><graphic file="1687-1499-2010-843745-i52.gif"/></inline-formula> with the variance of its entries being <inline-formula><graphic file="1687-1499-2010-843745-i53.gif"/></inline-formula>. We assume that the noise is circularly complex Gaussian with zero mean, temporally and spatially white, that is,</p>
         <p>
            <display-formula id="M3">
               <graphic file="1687-1499-2010-843745-i54.gif"/>
            </display-formula>
         </p>
         <p>For simplicity we assume that for the noise variance it holds: <inline-formula><graphic file="1687-1499-2010-843745-i55.gif"/></inline-formula>.</p>
         <p>The signal-to-noise ratio (SNR) throughout this paper is defined as the ratio of the power of transmitted signal to the power of additive noise as</p>
         <p>
            <display-formula id="M4">
               <graphic file="1687-1499-2010-843745-i56.gif"/>
            </display-formula>
         </p>
         <p/>
         <p>It is well known that a good interuser channel is a pre-requisite for cooperation. In a multiuser system, the partners are selected to have a good channel between them. Therefore, throughout this paper we assume that the interuser channels are sufficiently good.</p>
         <p>We will next discuss a scenario where both users transmit and receive simultaneously using the same antenna, that is, in full duplex mode. Since there could be practical difficulties in such scenario, we will later discuss an approach where time division multiplexing is used to achieve full duplex operation. As that approach does not change the following analysis nor the conclusions drawn in this paper, for simplicity, we continue to present our methods assuming full duplex operation.</p>
      </sec>
      <sec>
         <st>
            <p>3. The Precoded Cooperation Scheme</p>
         </st>
         <p>First, the users perform <it>interblock precoding</it> on pairs of successive data blocks before they enter the OFDM system. As it will be shown in a subsequent subsection, the purpose of the precoding is to exploit the multipath diversity and spatial diversity that is introduced by the cooperative retransmissions.</p>
         <p>Let us express <inline-formula><graphic file="1687-1499-2010-843745-i57.gif"/></inline-formula> be the unitary precoding matrix for user <inline-formula><graphic file="1687-1499-2010-843745-i58.gif"/></inline-formula> as</p>
         <p>
            <display-formula id="M5">
               <graphic file="1687-1499-2010-843745-i59.gif"/>
            </display-formula>
         </p>
         <p>where <inline-formula><graphic file="1687-1499-2010-843745-i60.gif"/></inline-formula> contains the first half of the rows of <inline-formula><graphic file="1687-1499-2010-843745-i61.gif"/></inline-formula> while <inline-formula><graphic file="1687-1499-2010-843745-i62.gif"/></inline-formula> contains the other half. On denoting the uncoded blocks of user <inline-formula><graphic file="1687-1499-2010-843745-i63.gif"/></inline-formula> by <inline-formula><graphic file="1687-1499-2010-843745-i64.gif"/></inline-formula>, the precoded blocks are</p>
         <p>
            <display-formula id="M6">
               <graphic file="1687-1499-2010-843745-i65.gif"/>
            </display-formula>
         </p>
         <p/>
         <p>Second, each user transmits two precoded data blocks in a cycle of 3 slots. Two cooperative transmission schemes are considered for a three-slot cycle, namely, the full-cooperation scheme and the half-cooperation scheme.</p>
         <sec>
            <st>
               <p>3.1. The Full-Cooperation Scheme</p>
            </st>
            <p>In this scheme, the two users superimpose their own data to the data received from the other user. Two blocks from each user, that is, <inline-formula><graphic file="1687-1499-2010-843745-i66.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i67.gif"/></inline-formula> are transmitted and recovered in three time slots as follows.</p>
            <p>Slot <inline-formula><graphic file="1687-1499-2010-843745-i68.gif"/></inline-formula></p>
            <p>Both users transmit their own data, <inline-formula><graphic file="1687-1499-2010-843745-i69.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i70.gif"/></inline-formula>, respectively. These are received as <inline-formula><graphic file="1687-1499-2010-843745-i71.gif"/></inline-formula> + <inline-formula><graphic file="1687-1499-2010-843745-i72.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i73.gif"/></inline-formula> + <inline-formula><graphic file="1687-1499-2010-843745-i74.gif"/></inline-formula>, respectively, by the other user.</p>
            <p>Slot <inline-formula><graphic file="1687-1499-2010-843745-i75.gif"/></inline-formula></p>
            <p>The users transmit a weighted combination of their own data <inline-formula><graphic file="1687-1499-2010-843745-i76.gif"/></inline-formula> (<inline-formula><graphic file="1687-1499-2010-843745-i77.gif"/></inline-formula>) and the signal that they received during the previous slot after it has been scaled by <inline-formula><graphic file="1687-1499-2010-843745-i78.gif"/></inline-formula> (<inline-formula><graphic file="1687-1499-2010-843745-i79.gif"/></inline-formula>) and mapped from the incoming carriers to outgoing carriers. The amount of power allocated for cooperation by users <inline-formula><graphic file="1687-1499-2010-843745-i80.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i81.gif"/></inline-formula> is proportional to <inline-formula><graphic file="1687-1499-2010-843745-i82.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i83.gif"/></inline-formula>, respectively. The selection of those weights is formulated as an optimization problem in Section 3.5. The transmitted signals of both users, that is, <inline-formula><graphic file="1687-1499-2010-843745-i84.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i85.gif"/></inline-formula> are given by </p>
            <p>
               <display-formula id="M7">
                  <graphic file="1687-1499-2010-843745-i86.gif"/>
               </display-formula>
            </p>
            <p/>
            <p>Slot <inline-formula><graphic file="1687-1499-2010-843745-i87.gif"/></inline-formula></p>
            <p>Both users again transmit <inline-formula><graphic file="1687-1499-2010-843745-i88.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i89.gif"/></inline-formula> as their own data, plus the signal that they received during slot <inline-formula><graphic file="1687-1499-2010-843745-i90.gif"/></inline-formula>. Note that there is a component of <inline-formula><graphic file="1687-1499-2010-843745-i91.gif"/></inline-formula> (<inline-formula><graphic file="1687-1499-2010-843745-i92.gif"/></inline-formula>) in the received signals by users <inline-formula><graphic file="1687-1499-2010-843745-i93.gif"/></inline-formula> (2). In order to eliminate that component, the precoding for that block is modified as </p>
            <p>
               <display-formula id="M8">
                  <graphic file="1687-1499-2010-843745-i94.gif"/>
               </display-formula>
            </p>
            <p><inline-formula><graphic file="1687-1499-2010-843745-i95.gif"/></inline-formula> can be obtained at each user by correlating the signal that was received in the <inline-formula><graphic file="1687-1499-2010-843745-i96.gif"/></inline-formula>th slot with the signal that was transmitted in the <inline-formula><graphic file="1687-1499-2010-843745-i97.gif"/></inline-formula>th time slot. Therefore, the transmitted signals <inline-formula><graphic file="1687-1499-2010-843745-i98.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i99.gif"/></inline-formula> can be expressed as </p>
            <p>
               <display-formula id="M9">
                  <graphic file="1687-1499-2010-843745-i100.gif"/>
               </display-formula>
            </p>
            <p>In the <inline-formula><graphic file="1687-1499-2010-843745-i101.gif"/></inline-formula>th slot, the cycle is repeated with two new data blocks. Table <tblr tid="T2">2</tblr> shows the transmit signals of each user during three slots.</p>
            <p>The signals received at the BS during slots <inline-formula><graphic file="1687-1499-2010-843745-i102.gif"/></inline-formula>, <inline-formula><graphic file="1687-1499-2010-843745-i103.gif"/></inline-formula>, <inline-formula><graphic file="1687-1499-2010-843745-i104.gif"/></inline-formula> over <inline-formula><graphic file="1687-1499-2010-843745-i105.gif"/></inline-formula> are:</p>
            <p>
               <display-formula id="M10">
                  <graphic file="1687-1499-2010-843745-i106.gif"/>
               </display-formula>
            </p>
            <p/>
            <p>
               <display-formula id="M11">
                  <graphic file="1687-1499-2010-843745-i107.gif"/>
               </display-formula>
            </p>
            <p/>
            <p>
               <display-formula id="M12">
                  <graphic file="1687-1499-2010-843745-i108.gif"/>
               </display-formula>
            </p>
            <p>Similarly, the received signals over carriers in <inline-formula><graphic file="1687-1499-2010-843745-i109.gif"/></inline-formula> during slots <inline-formula><graphic file="1687-1499-2010-843745-i110.gif"/></inline-formula> are:</p>
            <p>
               <display-formula id="M13">
                  <graphic file="1687-1499-2010-843745-i111.gif"/>
               </display-formula>
            </p>
            <p/>
            <p>
               <display-formula id="M14">
                  <graphic file="1687-1499-2010-843745-i112.gif"/>
               </display-formula>
            </p>
            <p/>
            <p>
               <display-formula id="M15">
                  <graphic file="1687-1499-2010-843745-i113.gif"/>
               </display-formula>
            </p>
            <p>Based on (10), (12), and (14), let us form the matrix equation:</p>
            <p>
               <display-formula id="M16">
                  <graphic file="1687-1499-2010-843745-i114.gif"/>
               </display-formula>
            </p>
            <p>where</p>
            <p>
               <display-formula id="M17">
                  <graphic file="1687-1499-2010-843745-i115.gif"/>
               </display-formula>
            </p>
            <p>Similarly, based on (13), (15), and (11), let us form the matrix equation:</p>
            <p>
               <display-formula id="M18">
                  <graphic file="1687-1499-2010-843745-i116.gif"/>
               </display-formula>
            </p>
            <p>where</p>
            <p>
               <display-formula id="M19">
                  <graphic file="1687-1499-2010-843745-i117.gif"/>
               </display-formula>
            </p>
            <p/>
            <p>By observing (16) and (18), and keeping in mind that <inline-formula><graphic file="1687-1499-2010-843745-i118.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i119.gif"/></inline-formula> are functions of both <inline-formula><graphic file="1687-1499-2010-843745-i120.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i121.gif"/></inline-formula>, <inline-formula><graphic file="1687-1499-2010-843745-i122.gif"/></inline-formula>, one can see that cooperation has effectively created two transmission paths for the information blocks. This effect is analogous to employing two transmitters. We should note that interblock precoding was used in [<abbr bid="B16">16</abbr>] to exploit time diversity introduced by time varying channels. Here, even if the channel is completely static, interblock precoding allows us to exploit spatial diversity introduced by cooperation. The proposed scheme with interblock precoding requires on the average 1.5 slots for each data block to achieve the double diversity induced by cooperation. Without interblock precoding, two slots would be required.</p>
            <p>Combining (16) and (18), the following MIMO problem can be formulated at the receiver:</p>
            <p>
               <display-formula id="M20">
                  <graphic file="1687-1499-2010-843745-i123.gif"/>
               </display-formula>
            </p>
            <p>where</p>
            <p>
               <display-formula id="M21">
                  <graphic file="1687-1499-2010-843745-i124.gif"/>
               </display-formula>
            </p>
            <p>Assuming knowledge of <inline-formula><graphic file="1687-1499-2010-843745-i125.gif"/></inline-formula>, recovery of <inline-formula><graphic file="1687-1499-2010-843745-i126.gif"/></inline-formula> based on <inline-formula><graphic file="1687-1499-2010-843745-i127.gif"/></inline-formula> is discussed in Section 3.4.</p>
            <sec>
               <st>
                  <p>3.1.1. Transmission Energy Adjustment</p>
               </st>
               <p>Let <inline-formula><graphic file="1687-1499-2010-843745-i128.gif"/></inline-formula> be the power of one data block transmitted by user <inline-formula><graphic file="1687-1499-2010-843745-i129.gif"/></inline-formula> without and with cooperation, respectively. For simplicity let us take <inline-formula><graphic file="1687-1499-2010-843745-i130.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i131.gif"/></inline-formula>. In the cooperative OFDM scheme, the transmission of <inline-formula><graphic file="1687-1499-2010-843745-i132.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i133.gif"/></inline-formula> requires three slots, as opposed to the two slots required in the no-cooperation scheme. To maintain the energy used by the two schemes for the transmission of a block pair at the same level, we need to adjust the transmission power. In the noncooperative case, the transmission of 2 blocks requires energy equal to <inline-formula><graphic file="1687-1499-2010-843745-i134.gif"/></inline-formula>. Under cooperation, the energy spent by user 1 and user 2 to transmit 3 blocks is</p>
               <p>
                  <display-formula id="M22">
                     <graphic file="1687-1499-2010-843745-i135.gif"/>
                  </display-formula>
               </p>
               <p/>
               <p>To ensure that the energy spent is the same in cooperative and noncooperative cases it should hold: <inline-formula><graphic file="1687-1499-2010-843745-i136.gif"/></inline-formula>.</p>
               <p>Since the channel taps are assumed to be zero-mean unit-variance Gaussian random variables, the magnitudes <inline-formula><graphic file="1687-1499-2010-843745-i137.gif"/></inline-formula> are i.i.d. Rayleigh distributed, that is, <inline-formula><graphic file="1687-1499-2010-843745-i138.gif"/></inline-formula>. Let <inline-formula><graphic file="1687-1499-2010-843745-i139.gif"/></inline-formula> be the average <inline-formula><graphic file="1687-1499-2010-843745-i140.gif"/></inline-formula> over the interuser channel coefficients. It holds</p>
               <p>
                  <display-formula id="M23">
                     <graphic file="1687-1499-2010-843745-i141.gif"/>
                  </display-formula>
               </p>
               <p/>
               <p>When <inline-formula><graphic file="1687-1499-2010-843745-i142.gif"/></inline-formula> are sufficiently small (23) can be approximated as <inline-formula><graphic file="1687-1499-2010-843745-i143.gif"/></inline-formula>.</p>
            </sec>
            <sec>
               <st>
                  <p>3.1.2. Diversity Analysis</p>
               </st>
               <p>It is shown in [<abbr bid="B13">13</abbr>] that for a single user OFDM system, the maximum diversity gain achievable with one transmit antenna is equal to the number of independent fading paths of the channel. Diversity is related to the bit error rate performance [<abbr bid="B18">18</abbr>] and is usually increased by adding more transmitters and receivers. In this section, we follow a similar procedure as in [<abbr bid="B13">13</abbr>] to study the diversity gain achieved by (20) and show that (20) achieves the full spatial diversity available, that is, <inline-formula><graphic file="1687-1499-2010-843745-i144.gif"/></inline-formula> without adding more transmitters.</p>
               <p>The probability of <inline-formula><graphic file="1687-1499-2010-843745-i145.gif"/></inline-formula> being detected when <inline-formula><graphic file="1687-1499-2010-843745-i146.gif"/></inline-formula> is transmitted is</p>
               <p>
                  <display-formula id="M24">
                     <graphic file="1687-1499-2010-843745-i147.gif"/>
                  </display-formula>
               </p>
               <p>where <inline-formula><graphic file="1687-1499-2010-843745-i148.gif"/></inline-formula>, <inline-formula><graphic file="1687-1499-2010-843745-i149.gif"/></inline-formula>, <inline-formula><graphic file="1687-1499-2010-843745-i150.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i151.gif"/></inline-formula> is the noise variance. Then we have</p>
               <p>
                  <display-formula id="M25">
                     <graphic file="1687-1499-2010-843745-i152.gif"/>
                  </display-formula>
               </p>
               <p>where <inline-formula><graphic file="1687-1499-2010-843745-i153.gif"/></inline-formula> and</p>
               <p>
                  <display-formula id="M26">
                     <graphic file="1687-1499-2010-843745-i154.gif"/>
                  </display-formula>
               </p>
               <p/>
               <p>Let us define</p>
               <p>
                  <display-formula id="M27">
                     <graphic file="1687-1499-2010-843745-i155.gif"/>
                  </display-formula>
               </p>
               <p>and partition <inline-formula><graphic file="1687-1499-2010-843745-i156.gif"/></inline-formula> into two <inline-formula><graphic file="1687-1499-2010-843745-i157.gif"/></inline-formula> vectors <inline-formula><graphic file="1687-1499-2010-843745-i158.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i159.gif"/></inline-formula>. Then, (25) can be further rewritten as</p>
               <p>
                  <display-formula id="M28">
                     <graphic file="1687-1499-2010-843745-i160.gif"/>
                  </display-formula>
               </p>
               <p>where</p>
               <p>
                  <display-formula id="M29">
                     <graphic file="1687-1499-2010-843745-i161.gif"/>
                  </display-formula>
               </p>
               <p>and <inline-formula><graphic file="1687-1499-2010-843745-i162.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i163.gif"/></inline-formula> are submatrices of the <inline-formula><graphic file="1687-1499-2010-843745-i164.gif"/></inline-formula>-point DFT matrix corresponding to <inline-formula><graphic file="1687-1499-2010-843745-i165.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i166.gif"/></inline-formula>.</p>
               <p>Because <inline-formula><graphic file="1687-1499-2010-843745-i167.gif"/></inline-formula> is generally invertible, it is reasonable to assume that <inline-formula><graphic file="1687-1499-2010-843745-i168.gif"/></inline-formula> has full rank. Conditioned on the interuser channels <inline-formula><graphic file="1687-1499-2010-843745-i169.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i170.gif"/></inline-formula>, the pairwise error probability is [<abbr bid="B19">19</abbr>]</p>
               <p>
                  <display-formula id="M30">
                     <graphic file="1687-1499-2010-843745-i171.gif"/>
                  </display-formula>
               </p>
               <p>where <inline-formula><graphic file="1687-1499-2010-843745-i172.gif"/></inline-formula> denotes the <inline-formula><graphic file="1687-1499-2010-843745-i173.gif"/></inline-formula>th eigenvalue of a matrix in the decreasing order.</p>
               <p>It can be seen that for high SNR the decay of the error probability is of the order of <inline-formula><graphic file="1687-1499-2010-843745-i174.gif"/></inline-formula>. We should emphasize that interblock precoding is essential in achieving this diversity. Intuitively, using interblock precoding, the data within a block and between blocks can share all the available channels equally, and thus the receiver can obtain the maximum number of copies of those data. This can also been seen analytically as follows. Without interblock precoding, that is, <inline-formula><graphic file="1687-1499-2010-843745-i175.gif"/></inline-formula>, the signal model in (20) becomes</p>
               <p>
                  <display-formula id="M31">
                     <graphic file="1687-1499-2010-843745-i176.gif"/>
                  </display-formula>
               </p>
               <p>Since both <inline-formula><graphic file="1687-1499-2010-843745-i177.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i178.gif"/></inline-formula> can be partitioned into six <inline-formula><graphic file="1687-1499-2010-843745-i179.gif"/></inline-formula> diagonal matrices as seen in (17), (19), the ML decoding algorithm is performed on a pair of <inline-formula><graphic file="1687-1499-2010-843745-i180.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i181.gif"/></inline-formula> per subcarrier:</p>
               <p>
                  <display-formula id="M32">
                     <graphic file="1687-1499-2010-843745-i182.gif"/>
                  </display-formula>
               </p>
               <p>where</p>
               <p>
                  <display-formula id="M33">
                     <graphic file="1687-1499-2010-843745-i183.gif"/>
                  </display-formula>
               </p>
               <p>where <inline-formula><graphic file="1687-1499-2010-843745-i184.gif"/></inline-formula> denotes <inline-formula><graphic file="1687-1499-2010-843745-i185.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i186.gif"/></inline-formula> denotes <inline-formula><graphic file="1687-1499-2010-843745-i187.gif"/></inline-formula>. Repeating the diversity analysis as above, we get</p>
               <p>
                  <display-formula id="M34">
                     <graphic file="1687-1499-2010-843745-i188.gif"/>
                  </display-formula>
               </p>
               <p/>
               <p>Similar to (28), we have</p>
               <p>
                  <display-formula id="M35">
                     <graphic file="1687-1499-2010-843745-i189.gif"/>
                  </display-formula>
               </p>
               <p>where <inline-formula><graphic file="1687-1499-2010-843745-i190.gif"/></inline-formula>,</p>
               <p>
                  <display-formula id="M36">
                     <graphic file="1687-1499-2010-843745-i191.gif"/>
                  </display-formula>
               </p>
               <p>and <inline-formula><graphic file="1687-1499-2010-843745-i192.gif"/></inline-formula> contains the first <inline-formula><graphic file="1687-1499-2010-843745-i193.gif"/></inline-formula> entries of the column in the <inline-formula><graphic file="1687-1499-2010-843745-i194.gif"/></inline-formula>-point DFT matrix corresponding to the <inline-formula><graphic file="1687-1499-2010-843745-i195.gif"/></inline-formula>th subcarrier in <inline-formula><graphic file="1687-1499-2010-843745-i196.gif"/></inline-formula>. Since the rank of <inline-formula><graphic file="1687-1499-2010-843745-i197.gif"/></inline-formula> is two, the maximum rank of <inline-formula><graphic file="1687-1499-2010-843745-i198.gif"/></inline-formula> is two. Thus, without interblock precoding, the maximum diversity gain that the cooperation scheme could achieve would be two.</p>
               <p>To achieve the full diversity for both users we need <inline-formula><graphic file="1687-1499-2010-843745-i199.gif"/></inline-formula>. If we choose <inline-formula><graphic file="1687-1499-2010-843745-i200.gif"/></inline-formula> as an example, user 1 cannot achieve the maximum diversity <inline-formula><graphic file="1687-1499-2010-843745-i201.gif"/></inline-formula>. However, if the channel of one user is very bad, this user should terminate cooperation to maintain its own signal power at a certain level, that is, set <inline-formula><graphic file="1687-1499-2010-843745-i202.gif"/></inline-formula> or <inline-formula><graphic file="1687-1499-2010-843745-i203.gif"/></inline-formula> to zero. Unlike pure transmit diversity, where we always have a good (wired) channel between the transmitters, cooperation can exhibit the same performance only when the interuser channel is good. In OFDM, where we have multiple carriers, some carriers will enjoy the full diversity gain by cooperation while some carriers will not.</p>
            </sec>
         </sec>
         <sec>
            <st>
               <p>3.2. The Half-Cooperation Scheme</p>
            </st>
            <p>In the full cooperation scheme, both users are involved in the cooperation. In order to keep the total energy consumed by the full-cooperation scheme equal to that of the no-cooperation scheme, we have to reduce the power assigned to each data block. Therefore, the maximum diversity gain is doubled at the price of SNR. It is expected that, at low SNR, the full-cooperation scheme will yield worse performance in terms of BER than the no-cooperation scheme. One might wonder whether the performance at low SNR can be improved by sacrificing diversity to some extent. Next, we investigate another scheme in which only the strongest of the two users cooperates. In particular, user 1 serves as a relay for user 2, while user 2 does not help user 1. Unlike the full-cooperation scheme, users send their information separately to the BS. Again, three slots are required for two users to transmit two blocks of data as follows.</p>
            <p>Slot <inline-formula><graphic file="1687-1499-2010-843745-i204.gif"/></inline-formula></p>
            <p>Both users transmit their own data <inline-formula><graphic file="1687-1499-2010-843745-i205.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i206.gif"/></inline-formula>, respectively. User 1 receives <inline-formula><graphic file="1687-1499-2010-843745-i207.gif"/></inline-formula> from user 2.</p>
            <p>Slot <inline-formula><graphic file="1687-1499-2010-843745-i208.gif"/></inline-formula></p>
            <p>Both users transmit their own data <inline-formula><graphic file="1687-1499-2010-843745-i209.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i210.gif"/></inline-formula>, respectively. At the time of transmission, user 1 receives <inline-formula><graphic file="1687-1499-2010-843745-i211.gif"/></inline-formula> from user 2.</p>
            <p>Slot <inline-formula><graphic file="1687-1499-2010-843745-i212.gif"/></inline-formula></p>
            <p>User 2 terminates transmission. User 1 transmits the signal that he received in the previous two slots over <inline-formula><graphic file="1687-1499-2010-843745-i213.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i214.gif"/></inline-formula>.</p>
            <p>In the (<inline-formula><graphic file="1687-1499-2010-843745-i215.gif"/></inline-formula>)th slot, the cycle is repeated with two new data blocks. Table <tblr tid="T3">3</tblr> shows the transmit signals of each user during the three slots. The received signals at the BS containing user 1's data and user 2's data are, respectively, equal</p>
            <p>
               <display-formula id="M37">
                  <graphic file="1687-1499-2010-843745-i216.gif"/>
               </display-formula>
            </p>
            <p/>
            <p>
               <display-formula id="M38">
                  <graphic file="1687-1499-2010-843745-i217.gif"/>
               </display-formula>
            </p>
            <p>where <inline-formula><graphic file="1687-1499-2010-843745-i218.gif"/></inline-formula> represents the addictive Gaussian noise on the user-to-BS channel for user 1 in the (<inline-formula><graphic file="1687-1499-2010-843745-i219.gif"/></inline-formula>)th slot over <inline-formula><graphic file="1687-1499-2010-843745-i220.gif"/></inline-formula>.</p>
            <sec>
               <st>
                  <p>3.2.1. Transmission Energy Adjustment</p>
               </st>
               <p>Under cooperation, the energy spent by user 1 and user 2 to transmit <inline-formula><graphic file="1687-1499-2010-843745-i221.gif"/></inline-formula> blocks is: </p>
               <p>
                  <display-formula id="M39">
                     <graphic file="1687-1499-2010-843745-i222.gif"/>
                  </display-formula>
               </p>
               <p/>
               <p>Similar to the full-cooperation scheme, the average signal power over the interuser channel coefficients <inline-formula><graphic file="1687-1499-2010-843745-i223.gif"/></inline-formula> is given by</p>
               <p>
                  <display-formula id="M40">
                     <graphic file="1687-1499-2010-843745-i224.gif"/>
                  </display-formula>
               </p>
               <p/>
               <p>When <inline-formula><graphic file="1687-1499-2010-843745-i225.gif"/></inline-formula>, (40) can be approximated as <inline-formula><graphic file="1687-1499-2010-843745-i226.gif"/></inline-formula>. In the full-cooperation scheme, <inline-formula><graphic file="1687-1499-2010-843745-i227.gif"/></inline-formula>. Therefore, the half-cooperation scheme can save more transmission power for each data block. It is expected that when SNR is relatively low, the half-cooperation scheme can yield better performance than the full-cooperation scheme.</p>
            </sec>
            <sec>
               <st>
                  <p>3.2.2. Diversity Analysis</p>
               </st>
               <p>Similar to the scenarios discussed in [<abbr bid="B13">13</abbr>], the maximum diversity gain of user 1 in (37) is <inline-formula><graphic file="1687-1499-2010-843745-i228.gif"/></inline-formula>. From the analysis of Section 3.1.2, the maximum diversity gain of user 2 in (38) is <inline-formula><graphic file="1687-1499-2010-843745-i229.gif"/></inline-formula>. This indicates that user 1 has to sacrifice its performances for the sake of user 2. On the other hand, the full-cooperation scheme is a win-win situation for both users when the SNR is relatively high.</p>
               <p>Table <tblr tid="T1">1</tblr> summarizes the maximum diversity gain of the full-cooperation scheme (FC), the full-cooperation scheme without precoding (FC-no precoding), the half-cooperation scheme (HC), the no-cooperation scheme with precoding (NC) and the no-cooperation scheme without precoding (NC-no precoding).</p>
               <tbl id="T1"><title><p>Table 1</p></title><caption><p>Maximum diversity gain for the various schemes.</p></caption><tblbdy cols="6">
      <r>
         <c ca="left">
            <p>
               <b/>
            </p>
         </c>
         <c ca="center">
            <p>
               <b> FC</b>
            </p>
         </c>
         <c ca="center">
            <p>
               <b> FC-no precoding</b>
            </p>
         </c>
         <c ca="center">
            <p>
               <b> HC</b>
            </p>
         </c>
         <c ca="center">
            <p>
               <b> NC</b>
            </p>
         </c>
         <c ca="center">
            <p>
               <b> NC-no precoding</b>
            </p>
         </c>
      </r>
      <r>
         <c ca="left">
            <p>Maximum diversity gain of user 1</p>
         </c>
         <c ca="center">
            <p>
               <inline-formula>
                  <graphic file="1687-1499-2010-843745-i230.gif"/>
               </inline-formula>
            </p>
         </c>
         <c ca="center">
            <p>
               <inline-formula>
                  <graphic file="1687-1499-2010-843745-i231.gif"/>
               </inline-formula>
            </p>
         </c>
         <c ca="center">
            <p>
               <inline-formula>
                  <graphic file="1687-1499-2010-843745-i232.gif"/>
               </inline-formula>
            </p>
         </c>
         <c ca="center">
            <p>
               <inline-formula>
                  <graphic file="1687-1499-2010-843745-i233.gif"/>
               </inline-formula>
            </p>
         </c>
         <c ca="center">
            <p>
               <inline-formula>
                  <graphic file="1687-1499-2010-843745-i234.gif"/>
               </inline-formula>
            </p>
         </c>
      </r>
      <r>
         <c ca="left">
            <p>Maximum diversity gain of user 2</p>
         </c>
         <c ca="center">
            <p>
               <inline-formula>
                  <graphic file="1687-1499-2010-843745-i235.gif"/>
               </inline-formula>
            </p>
         </c>
         <c ca="center">
            <p>
               <inline-formula>
                  <graphic file="1687-1499-2010-843745-i236.gif"/>
               </inline-formula>
            </p>
         </c>
         <c ca="center">
            <p>
               <inline-formula>
                  <graphic file="1687-1499-2010-843745-i237.gif"/>
               </inline-formula>
            </p>
         </c>
         <c ca="center">
            <p>
               <inline-formula>
                  <graphic file="1687-1499-2010-843745-i238.gif"/>
               </inline-formula>
            </p>
         </c>
         <c ca="center">
            <p>
               <inline-formula>
                  <graphic file="1687-1499-2010-843745-i239.gif"/>
               </inline-formula>
            </p>
         </c>
      </r>
   </tblbdy></tbl>
               <tbl id="T2"><title><p>Table 2</p></title><caption><p>Transmitted signal for the full-cooperation scheme.</p></caption><tblbdy cols="3">
      <r>
         <c ca="left">
            <p>
               <b/>
            </p>
         </c>
         <c ca="center">
            <p>
               <b> User 1</b>
            </p>
         </c>
         <c ca="center">
            <p>
               <b> User 2</b>
            </p>
         </c>
      </r>
      <r>
         <c ca="left">
            <p>Slot <inline-formula><graphic file="1687-1499-2010-843745-i240.gif"/></inline-formula></p>
         </c>
         <c ca="center">
            <p>
               <inline-formula>
                  <graphic file="1687-1499-2010-843745-i241.gif"/>
               </inline-formula>
            </p>
         </c>
         <c ca="center">
            <p>
               <inline-formula>
                  <graphic file="1687-1499-2010-843745-i242.gif"/>
               </inline-formula>
            </p>
         </c>
      </r>
      <r>
         <c ca="left">
            <p>Slot <inline-formula><graphic file="1687-1499-2010-843745-i243.gif"/></inline-formula></p>
         </c>
         <c ca="center">
            <p>
               <inline-formula>
                  <graphic file="1687-1499-2010-843745-i244.gif"/>
               </inline-formula>
            </p>
         </c>
         <c ca="center">
            <p>
               <inline-formula>
                  <graphic file="1687-1499-2010-843745-i245.gif"/>
               </inline-formula>
            </p>
         </c>
      </r>
      <r>
         <c ca="left">
            <p>Slot <inline-formula><graphic file="1687-1499-2010-843745-i246.gif"/></inline-formula></p>
         </c>
         <c ca="center">
            <p>
               <inline-formula>
                  <graphic file="1687-1499-2010-843745-i247.gif"/>
               </inline-formula>
            </p>
         </c>
         <c ca="center">
            <p>
               <inline-formula>
                  <graphic file="1687-1499-2010-843745-i248.gif"/>
               </inline-formula>
            </p>
         </c>
      </r>
   </tblbdy></tbl>
               <tbl id="T3"><title><p>Table 3</p></title><caption><p>Transmit Signal for the half-cooperation scheme.</p></caption><tblbdy cols="3">
      <r>
         <c ca="left">
            <p>
               <b/>
            </p>
         </c>
         <c ca="center">
            <p>
               <b> User 1</b>
            </p>
         </c>
         <c ca="center">
            <p>
               <b>User 2</b>
            </p>
         </c>
      </r>
      <r>
         <c ca="left">
            <p>Slot <inline-formula><graphic file="1687-1499-2010-843745-i249.gif"/></inline-formula></p>
         </c>
         <c ca="center">
            <p>
               <inline-formula>
                  <graphic file="1687-1499-2010-843745-i250.gif"/>
               </inline-formula>
            </p>
         </c>
         <c ca="center">
            <p>
               <inline-formula>
                  <graphic file="1687-1499-2010-843745-i251.gif"/>
               </inline-formula>
            </p>
         </c>
      </r>
      <r>
         <c ca="left">
            <p>Slot <inline-formula><graphic file="1687-1499-2010-843745-i252.gif"/></inline-formula></p>
         </c>
         <c ca="center">
            <p>
               <inline-formula>
                  <graphic file="1687-1499-2010-843745-i253.gif"/>
               </inline-formula>
            </p>
         </c>
         <c ca="center">
            <p>
               <inline-formula>
                  <graphic file="1687-1499-2010-843745-i254.gif"/>
               </inline-formula>
            </p>
         </c>
      </r>
      <r>
         <c ca="center" cspan="3">
            <hr/>
         </c>
      </r>
      <r>
         <c ca="left">
            <p/>
         </c>
         <c ca="center">
            <p>User 1</p>
         </c>
         <c ca="center">
            <p>User 1 </p>
         </c>
      </r>
      <r>
         <c ca="center" cspan="3">
            <hr/>
         </c>
      </r>
      <r>
         <c ca="left">
            <p>Slot <inline-formula><graphic file="1687-1499-2010-843745-i255.gif"/></inline-formula></p>
         </c>
         <c ca="center">
            <p>
               <inline-formula>
                  <graphic file="1687-1499-2010-843745-i256.gif"/>
               </inline-formula>
            </p>
         </c>
         <c ca="center">
            <p>
               <inline-formula>
                  <graphic file="1687-1499-2010-843745-i257.gif"/>
               </inline-formula>
            </p>
         </c>
      </r>
   </tblbdy></tbl>
            </sec>
         </sec>
         <sec>
            <st>
               <p>3.3. Time Division Duplexing</p>
            </st>
            <p>The cooperation scheme described above is strongly dependent on the users being able to both receive and transmit simultaneously. However, in a practical situation this might be difficult. Nevertheless it is possible to effectively achieve full duplex operation by time division duplexing.</p>
            <p>In the original scheme both users transmit during the entire duration of time slot <inline-formula><graphic file="1687-1499-2010-843745-i258.gif"/></inline-formula> (<inline-formula><graphic file="1687-1499-2010-843745-i259.gif"/></inline-formula> symbols plus the cyclic prefix). However, we can allocate half a time slot for each user to the data vectors <inline-formula><graphic file="1687-1499-2010-843745-i260.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i261.gif"/></inline-formula>. During time slot <inline-formula><graphic file="1687-1499-2010-843745-i262.gif"/></inline-formula>, user <inline-formula><graphic file="1687-1499-2010-843745-i263.gif"/></inline-formula> will first transmit <inline-formula><graphic file="1687-1499-2010-843745-i264.gif"/></inline-formula> data symbols plus the cyclic prefix. Next, user <inline-formula><graphic file="1687-1499-2010-843745-i265.gif"/></inline-formula> will transmit his own <inline-formula><graphic file="1687-1499-2010-843745-i266.gif"/></inline-formula> data symbols plus the cyclic prefix. During each transmission, all the other users will be in receive mode. Therefore, there is no difference between this time division approach (half duplex) and the full duplex one, and the analysis and conclusions hold in this case too.</p>
         </sec>
         <sec>
            <st>
               <p>3.4. Symbol Recovery</p>
            </st>
            <p>The maximum diversity can be best exploited using ML decoding. In general, ML decoding has prohibitively high complexity especially when the number of subcarriers <inline-formula><graphic file="1687-1499-2010-843745-i267.gif"/></inline-formula> is large. Here, following the main idea of [<abbr bid="B13">13</abbr>], we implement ML by optimal subcarrier grouping. The set of all subcarriers is divided into <inline-formula><graphic file="1687-1499-2010-843745-i268.gif"/></inline-formula> equally spaced groups. Each group contains <inline-formula><graphic file="1687-1499-2010-843745-i269.gif"/></inline-formula> subcarriers. In order to achieve the maximum multipath diversity, it should hold that <inline-formula><graphic file="1687-1499-2010-843745-i270.gif"/></inline-formula> (see Section 4 for diversity analysis). To reduce the complexity further, we let two users exchange their subcarriers to transmit data in the second slot, that is, in slot <inline-formula><graphic file="1687-1499-2010-843745-i271.gif"/></inline-formula>, user 1 transmits over <inline-formula><graphic file="1687-1499-2010-843745-i272.gif"/></inline-formula> and receives over <inline-formula><graphic file="1687-1499-2010-843745-i273.gif"/></inline-formula>, while user 2 transmits over <inline-formula><graphic file="1687-1499-2010-843745-i274.gif"/></inline-formula> and receives over <inline-formula><graphic file="1687-1499-2010-843745-i275.gif"/></inline-formula>. By this way, the minimum <inline-formula><graphic file="1687-1499-2010-843745-i276.gif"/></inline-formula> can be reduced to <inline-formula><graphic file="1687-1499-2010-843745-i277.gif"/></inline-formula> to achieve diversity of the order of <inline-formula><graphic file="1687-1499-2010-843745-i278.gif"/></inline-formula>. For simplicity, we assume that <inline-formula><graphic file="1687-1499-2010-843745-i279.gif"/></inline-formula> is an integer. The sets of subcarriers for two users <inline-formula><graphic file="1687-1499-2010-843745-i280.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i281.gif"/></inline-formula> are divided into <inline-formula><graphic file="1687-1499-2010-843745-i282.gif"/></inline-formula> groups, each group containing <inline-formula><graphic file="1687-1499-2010-843745-i283.gif"/></inline-formula> equally spaced subcarriers. Let us define</p>
            <p>
               <display-formula id="M41">
                  <graphic file="1687-1499-2010-843745-i284.gif"/>
               </display-formula>
            </p>
            <p>where <inline-formula><graphic file="1687-1499-2010-843745-i285.gif"/></inline-formula> denotes the subcarrier pattern for the <inline-formula><graphic file="1687-1499-2010-843745-i286.gif"/></inline-formula>th group; <inline-formula><graphic file="1687-1499-2010-843745-i287.gif"/></inline-formula> represents the transmitted signal of the <inline-formula><graphic file="1687-1499-2010-843745-i288.gif"/></inline-formula>th user in the <inline-formula><graphic file="1687-1499-2010-843745-i289.gif"/></inline-formula>th slot over the <inline-formula><graphic file="1687-1499-2010-843745-i290.gif"/></inline-formula>th group of subcarriers; <inline-formula><graphic file="1687-1499-2010-843745-i291.gif"/></inline-formula> denotes the received signal at BS in the <inline-formula><graphic file="1687-1499-2010-843745-i292.gif"/></inline-formula>th slot over the <inline-formula><graphic file="1687-1499-2010-843745-i293.gif"/></inline-formula>th group of subcarriers in <inline-formula><graphic file="1687-1499-2010-843745-i294.gif"/></inline-formula>; <inline-formula><graphic file="1687-1499-2010-843745-i295.gif"/></inline-formula> denotes the noise at user <inline-formula><graphic file="1687-1499-2010-843745-i296.gif"/></inline-formula> over the <inline-formula><graphic file="1687-1499-2010-843745-i297.gif"/></inline-formula>th group of subcarriers during the transmission of the data block from user <inline-formula><graphic file="1687-1499-2010-843745-i298.gif"/></inline-formula> in the <inline-formula><graphic file="1687-1499-2010-843745-i299.gif"/></inline-formula>th slot (The <inline-formula><graphic file="1687-1499-2010-843745-i300.gif"/></inline-formula>th user represents the BS); <inline-formula><graphic file="1687-1499-2010-843745-i301.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i302.gif"/></inline-formula> are the fading coefficients of the channel from the <inline-formula><graphic file="1687-1499-2010-843745-i303.gif"/></inline-formula>th user to the <inline-formula><graphic file="1687-1499-2010-843745-i304.gif"/></inline-formula>th user over the <inline-formula><graphic file="1687-1499-2010-843745-i305.gif"/></inline-formula>th group of subcarriers in <inline-formula><graphic file="1687-1499-2010-843745-i306.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i307.gif"/></inline-formula>, respectively. If we take the full-cooperation scheme as an example, the model for the received signal by grouping subcarriers can be reduced to</p>
            <p>
               <display-formula id="M42">
                  <graphic file="1687-1499-2010-843745-i308.gif"/>
               </display-formula>
            </p>
            <p>where</p>
            <p>
               <display-formula id="M43">
                  <graphic file="1687-1499-2010-843745-i309.gif"/>
               </display-formula>
            </p>
            <p>By optimal subcarrier grouping, we only perform the precoding on a group of subcarriers.</p>
            <p>Let <inline-formula><graphic file="1687-1499-2010-843745-i310.gif"/></inline-formula> be an <inline-formula><graphic file="1687-1499-2010-843745-i311.gif"/></inline-formula> unitary Vandermonde matrix defined as in [<abbr bid="B13">13</abbr>]. The precoding matrixes <inline-formula><graphic file="1687-1499-2010-843745-i312.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i313.gif"/></inline-formula> in (6) can be simplified as <inline-formula><graphic file="1687-1499-2010-843745-i314.gif"/></inline-formula>.</p>
         </sec>
         <sec>
            <st>
               <p>3.5. Optimal Allocation of Power during Allocation</p>
            </st>
            <p>In this section, we discuss the optimization of power allocation parameter <inline-formula><graphic file="1687-1499-2010-843745-i315.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i316.gif"/></inline-formula> based on the model of (42). We assume that user 1 is the strong user, that is, user 1 has less subcarriers in deep fade as compared to user 2 (weak user). During the cooperation, user 1 will assist user 2, while at the same time, will also receive some help.</p>
            <p>Let us define <inline-formula><graphic file="1687-1499-2010-843745-i317.gif"/></inline-formula> to be the vector of the parameters to be determined. The objective function is defined in terms of the SINR of user 1 and user 2. In order to derive the SINR for the users, we need to separate the data of each user in the model of (42) as</p>
            <p>
               <display-formula id="M44">
                  <graphic file="1687-1499-2010-843745-i318.gif"/>
               </display-formula>
            </p>
            <p>where <inline-formula><graphic file="1687-1499-2010-843745-i319.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i320.gif"/></inline-formula> contain the first half and the second half of the columns of <inline-formula><graphic file="1687-1499-2010-843745-i321.gif"/></inline-formula>, respectively. On letting <inline-formula><graphic file="1687-1499-2010-843745-i322.gif"/></inline-formula> denote the SINR of the <inline-formula><graphic file="1687-1499-2010-843745-i323.gif"/></inline-formula>th user at the <inline-formula><graphic file="1687-1499-2010-843745-i324.gif"/></inline-formula>th subcarrier, we have</p>
            <p>
               <display-formula id="M45">
                  <graphic file="1687-1499-2010-843745-i325.gif"/>
               </display-formula>
            </p>
            <p>where the numerators of <inline-formula><graphic file="1687-1499-2010-843745-i326.gif"/></inline-formula> are linear functions of <inline-formula><graphic file="1687-1499-2010-843745-i327.gif"/></inline-formula> and the denominators are the polynomials of <inline-formula><graphic file="1687-1499-2010-843745-i328.gif"/></inline-formula>.</p>
            <p>The optimization problem is formulated as follows. We wish to maximize the SINR on the worst subcarriers of the weak user, subject to the constraint that the SINR on all subcarriers of the strong user is above some threshold <inline-formula><graphic file="1687-1499-2010-843745-i329.gif"/></inline-formula>, that is,</p>
            <p>
               <display-formula id="M46">
                  <graphic file="1687-1499-2010-843745-i330.gif"/>
               </display-formula>
            </p>
            <p>where the last constraint means that user 2 never spends more energy than user 1 when helping user 1. The threshold depends on the applications that user 1 needs to transmit, and is here assumed given. The lower the threshold, the more help user 1 will provide. The advantage for user 1 is that if the user has subcarriers on which the SINR is less than <inline-formula><graphic file="1687-1499-2010-843745-i331.gif"/></inline-formula>, the situation on those subcarriers will improve.</p>
            <p>A more standard form of the above problem is</p>
            <p>
               <display-formula id="M47">
                  <graphic file="1687-1499-2010-843745-i332.gif"/>
               </display-formula>
            </p>
            <p>or equivalently,</p>
            <p>
               <display-formula id="M48">
                  <graphic file="1687-1499-2010-843745-i333.gif"/>
               </display-formula>
            </p>
            <p/>
            <p>Since the denominators of <inline-formula><graphic file="1687-1499-2010-843745-i334.gif"/></inline-formula> are polynomials of <inline-formula><graphic file="1687-1499-2010-843745-i335.gif"/></inline-formula>, finding the solution of the problem of (48) is not easy. We will proceed by making some simplifying assumptions. Let us assume that the interuser channels are quite good and that the noise at the user end is very small so that <inline-formula><graphic file="1687-1499-2010-843745-i336.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i337.gif"/></inline-formula> are negligible as compared to <inline-formula><graphic file="1687-1499-2010-843745-i338.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i339.gif"/></inline-formula>. Since the coefficients of the high orders of <inline-formula><graphic file="1687-1499-2010-843745-i340.gif"/></inline-formula> are linear combinations of <inline-formula><graphic file="1687-1499-2010-843745-i341.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i342.gif"/></inline-formula>, the high orders of <inline-formula><graphic file="1687-1499-2010-843745-i343.gif"/></inline-formula> can be ignored. Therefore, the denominators of <inline-formula><graphic file="1687-1499-2010-843745-i344.gif"/></inline-formula> can be approximated as a linear function in <inline-formula><graphic file="1687-1499-2010-843745-i345.gif"/></inline-formula>. Let <inline-formula><graphic file="1687-1499-2010-843745-i346.gif"/></inline-formula> be represented by <inline-formula><graphic file="1687-1499-2010-843745-i347.gif"/></inline-formula>. Finding the solution of (48) is based on the following observations. </p>
            <p indent="1">(<it><inline-formula><graphic file="1687-1499-2010-843745-i348.gif"/></inline-formula></it>)The constraints (a)&#8211;(c) are linear so they give rise to the feasible set shown by a polyhedron <inline-formula><graphic file="1687-1499-2010-843745-i349.gif"/></inline-formula> in Figure <figr fid="F1">1</figr>. The irregular pentagon <inline-formula><graphic file="1687-1499-2010-843745-i350.gif"/></inline-formula> and a triangle <inline-formula><graphic file="1687-1499-2010-843745-i351.gif"/></inline-formula> are formed by constraints (a) and (b)-(c), respectively.</p>
            <p/>
            <p indent="1">(<it><inline-formula><graphic file="1687-1499-2010-843745-i352.gif"/></inline-formula></it>)With a fixed <inline-formula><graphic file="1687-1499-2010-843745-i353.gif"/></inline-formula>, the <inline-formula><graphic file="1687-1499-2010-843745-i354.gif"/></inline-formula>th inequality in the constraint (d) yields a halfspace <inline-formula><graphic file="1687-1499-2010-843745-i355.gif"/></inline-formula>: </p>
            <p>
               <display-formula id="M49">
                  <graphic file="1687-1499-2010-843745-i356.gif"/>
               </display-formula>
            </p>
            <p>where <inline-formula><graphic file="1687-1499-2010-843745-i357.gif"/></inline-formula>.</p>
            <p indent="1">(<it><inline-formula><graphic file="1687-1499-2010-843745-i358.gif"/></inline-formula></it>)When <inline-formula><graphic file="1687-1499-2010-843745-i359.gif"/></inline-formula> takes the minimum value <inline-formula><graphic file="1687-1499-2010-843745-i360.gif"/></inline-formula>, <inline-formula><graphic file="1687-1499-2010-843745-i361.gif"/></inline-formula> and thus the feasible set is empty. As <inline-formula><graphic file="1687-1499-2010-843745-i362.gif"/></inline-formula> increases, the dimension of the feasible set increases. There are several different scenarios.</p>
            <p/>
            <p indent="1">(a)If <inline-formula><graphic file="1687-1499-2010-843745-i363.gif"/></inline-formula>, </p>
            <p>
               <display-formula id="M50">
                  <graphic file="1687-1499-2010-843745-i364.gif"/>
               </display-formula>
            </p>
            <p/>
            <p indent="1"/>
            <p indent="2">(i)If <inline-formula><graphic file="1687-1499-2010-843745-i365.gif"/></inline-formula> or <inline-formula><graphic file="1687-1499-2010-843745-i366.gif"/></inline-formula>, the halfspace <inline-formula><graphic file="1687-1499-2010-843745-i367.gif"/></inline-formula> approaches <inline-formula><graphic file="1687-1499-2010-843745-i368.gif"/></inline-formula> as <inline-formula><graphic file="1687-1499-2010-843745-i369.gif"/></inline-formula> is increasing in <inline-formula><graphic file="1687-1499-2010-843745-i370.gif"/></inline-formula>, and finally <inline-formula><graphic file="1687-1499-2010-843745-i371.gif"/></inline-formula> intersects with <inline-formula><graphic file="1687-1499-2010-843745-i372.gif"/></inline-formula>. Let <inline-formula><graphic file="1687-1499-2010-843745-i373.gif"/></inline-formula> denote the minimum <inline-formula><graphic file="1687-1499-2010-843745-i374.gif"/></inline-formula> that the <inline-formula><graphic file="1687-1499-2010-843745-i375.gif"/></inline-formula>th inequality of the constraint (d) yields. Then this <inline-formula><graphic file="1687-1499-2010-843745-i376.gif"/></inline-formula> is achieved when <inline-formula><graphic file="1687-1499-2010-843745-i377.gif"/></inline-formula> touches a vertex of <inline-formula><graphic file="1687-1499-2010-843745-i378.gif"/></inline-formula>.</p>
            <p indent="2">(ii)If <inline-formula><graphic file="1687-1499-2010-843745-i379.gif"/></inline-formula>, <inline-formula><graphic file="1687-1499-2010-843745-i380.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i381.gif"/></inline-formula> are decreasing functions of <inline-formula><graphic file="1687-1499-2010-843745-i382.gif"/></inline-formula>. Therefore, the halfspace <inline-formula><graphic file="1687-1499-2010-843745-i383.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i384.gif"/></inline-formula> do not intersect within <inline-formula><graphic file="1687-1499-2010-843745-i385.gif"/></inline-formula>.</p>
            <p indent="2">(iii)If <inline-formula><graphic file="1687-1499-2010-843745-i386.gif"/></inline-formula>, or <inline-formula><graphic file="1687-1499-2010-843745-i387.gif"/></inline-formula>, <inline-formula><graphic file="1687-1499-2010-843745-i388.gif"/></inline-formula> is achieved on a vertex of <inline-formula><graphic file="1687-1499-2010-843745-i389.gif"/></inline-formula> if <inline-formula><graphic file="1687-1499-2010-843745-i390.gif"/></inline-formula>. </p>
            <p/>
            <p/>
            <p indent="1">(b)If <inline-formula><graphic file="1687-1499-2010-843745-i391.gif"/></inline-formula> does not exist when <inline-formula><graphic file="1687-1499-2010-843745-i392.gif"/></inline-formula>, we have to consider the scenario in which <inline-formula><graphic file="1687-1499-2010-843745-i393.gif"/></inline-formula>. First, we consider <inline-formula><graphic file="1687-1499-2010-843745-i394.gif"/></inline-formula> and so <inline-formula><graphic file="1687-1499-2010-843745-i395.gif"/></inline-formula>.</p>
            <p indent="1"/>
            <p indent="2">(i)If <inline-formula><graphic file="1687-1499-2010-843745-i396.gif"/></inline-formula>, the intersection of <inline-formula><graphic file="1687-1499-2010-843745-i397.gif"/></inline-formula> with <inline-formula><graphic file="1687-1499-2010-843745-i398.gif"/></inline-formula> is <inline-formula><graphic file="1687-1499-2010-843745-i399.gif"/></inline-formula> itself. Thus, <inline-formula><graphic file="1687-1499-2010-843745-i400.gif"/></inline-formula>.</p>
            <p indent="2">(ii)If <inline-formula><graphic file="1687-1499-2010-843745-i401.gif"/></inline-formula> or <inline-formula><graphic file="1687-1499-2010-843745-i402.gif"/></inline-formula>, we have </p>
            <p>
               <display-formula id="M51">
                  <graphic file="1687-1499-2010-843745-i403.gif"/>
               </display-formula>
            </p>
            <p/>
            <p indent="2">(iii)If <inline-formula><graphic file="1687-1499-2010-843745-i404.gif"/></inline-formula> or <inline-formula><graphic file="1687-1499-2010-843745-i405.gif"/></inline-formula>, <inline-formula><graphic file="1687-1499-2010-843745-i406.gif"/></inline-formula> then refer to (c).</p>
            <p/>
            <p indent="1">(c)If <inline-formula><graphic file="1687-1499-2010-843745-i407.gif"/></inline-formula> does not exist when <inline-formula><graphic file="1687-1499-2010-843745-i408.gif"/></inline-formula>, we have to consider the scenarios in which <inline-formula><graphic file="1687-1499-2010-843745-i409.gif"/></inline-formula> and so <inline-formula><graphic file="1687-1499-2010-843745-i410.gif"/></inline-formula>. When <inline-formula><graphic file="1687-1499-2010-843745-i411.gif"/></inline-formula>, we can always find a feasible <inline-formula><graphic file="1687-1499-2010-843745-i412.gif"/></inline-formula>. </p>
            <p/>
            <fig id="F1"><title><p>Figure 1</p></title><caption><p>Geometric interpretation of the solution of the optimization problem of (48).</p></caption><text>
   <p>
      <b>Geometric interpretation of the solution of the optimization problem of (48).</b>
   </p>
</text><graphic file="1687-1499-2010-843745-1"/></fig>
            <p>In conclusion, we know </p>
            <p indent="1">(i)If <inline-formula><graphic file="1687-1499-2010-843745-i413.gif"/></inline-formula>, any elements in the set <inline-formula><graphic file="1687-1499-2010-843745-i414.gif"/></inline-formula> can give rise to the minimum <inline-formula><graphic file="1687-1499-2010-843745-i415.gif"/></inline-formula>, <inline-formula><graphic file="1687-1499-2010-843745-i416.gif"/></inline-formula>. However, this case happens with small probability. </p>
            <p indent="1">(ii)Otherwise, <inline-formula><graphic file="1687-1499-2010-843745-i417.gif"/></inline-formula> always falls on a vertex of <inline-formula><graphic file="1687-1499-2010-843745-i418.gif"/></inline-formula>. </p>
            <p/>
            <p>Since <inline-formula><graphic file="1687-1499-2010-843745-i419.gif"/></inline-formula> inequalities of constraint (d) need to be satisfied simultaneously, the optimal <inline-formula><graphic file="1687-1499-2010-843745-i420.gif"/></inline-formula> is a vertex of <inline-formula><graphic file="1687-1499-2010-843745-i421.gif"/></inline-formula> satisfying</p>
            <p>
               <display-formula id="M52">
                  <graphic file="1687-1499-2010-843745-i422.gif"/>
               </display-formula>
            </p>
            <p>where <inline-formula><graphic file="1687-1499-2010-843745-i423.gif"/></inline-formula> is the maximum value of the set <inline-formula><graphic file="1687-1499-2010-843745-i424.gif"/></inline-formula> obtained from the <inline-formula><graphic file="1687-1499-2010-843745-i425.gif"/></inline-formula> inequalities. Therefore, we can determine the optimal power allocation parameters <inline-formula><graphic file="1687-1499-2010-843745-i426.gif"/></inline-formula> with the aid of the geometric interpretation of (48). The minimum <inline-formula><graphic file="1687-1499-2010-843745-i427.gif"/></inline-formula> is the maximum value of <inline-formula><graphic file="1687-1499-2010-843745-i428.gif"/></inline-formula> = <inline-formula><graphic file="1687-1499-2010-843745-i429.gif"/></inline-formula>, <inline-formula><graphic file="1687-1499-2010-843745-i430.gif"/></inline-formula>.</p>
         </sec>
      </sec>
      <sec>
         <st>
            <p>4. Simulation Results</p>
         </st>
         <p>In this section, we provide simulation result to illustrate the performance of the proposed full-cooperation (FC) and half-cooperation (HC) schemes. To illustrate the advantages of cooperation in addition to precoding, we compare the two proposed approaches to a noncooperative scheme (NC) that uses the same interblock precoding strategy and is equivalent in terms of power consumption.</p>
         <p>We consider an OFDM system with <inline-formula><graphic file="1687-1499-2010-843745-i431.gif"/></inline-formula> subcarriers and 4QAM signals. We use the model of [<abbr bid="B20">20</abbr>] to generate channels consisting of two equal power taps with normalized Doppler shift equal to <inline-formula><graphic file="1687-1499-2010-843745-i432.gif"/></inline-formula>. The channel is virtually static in order to eliminate temporal diversity due to by channel variation and thus highlight diversity due to cooperation and multipath. The SNR of the interuser channel is fixed at 30&#8201;dB. For the interblock precoding, we use <inline-formula><graphic file="1687-1499-2010-843745-i433.gif"/></inline-formula> unitary matrices and group carriers into blocks of two. Two users exchange their subcarriers as described in Section 3.4.</p>
         <p>In our simulations, we assign unit power to each OFDM symbol for the noncooperative scheme. The power of each OFDM block in the proposed cooperative schemes is determined by (23) and (40). This guarantees that cooperative and noncooperative schemes consume the same energy during a cycle of three slots. In the following figures and discussion the term SNR refers to the SNR for the noncooperative scheme, that is, the reciprocal of the noise power. We assume <inline-formula><graphic file="1687-1499-2010-843745-i434.gif"/></inline-formula>. We force user 1 and user 2 to have <inline-formula><graphic file="1687-1499-2010-843745-i435.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i436.gif"/></inline-formula> deep-fading subcarriers, respectively. The variance of nondeep-fading subcarriers is set to <inline-formula><graphic file="1687-1499-2010-843745-i437.gif"/></inline-formula> while the variance of subcarriers in deep fade is set to <inline-formula><graphic file="1687-1499-2010-843745-i438.gif"/></inline-formula>. We consider three cases where <inline-formula><graphic file="1687-1499-2010-843745-i439.gif"/></inline-formula>, <inline-formula><graphic file="1687-1499-2010-843745-i440.gif"/></inline-formula>.</p>
         <p>Figures <figr fid="F2">2</figr>, <figr fid="F3">3</figr>, and <figr fid="F4">4</figr> compare the BER performances of each user for FC and NC in three cases described above for SNR01 = SNR02. Since our proposed approach of optimizing <inline-formula><graphic file="1687-1499-2010-843745-i441.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i442.gif"/></inline-formula> holds only when <inline-formula><graphic file="1687-1499-2010-843745-i443.gif"/></inline-formula>, we consider the scenarios of relatively small SNR01 and SNR02. Let the threshold in (48) for the SINR of user 2 over all the subcarriers be <inline-formula><graphic file="1687-1499-2010-843745-i444.gif"/></inline-formula> corresponding to <inline-formula><graphic file="1687-1499-2010-843745-i445.gif"/></inline-formula>, respectively. In each channel realization, we update the optimal <inline-formula><graphic file="1687-1499-2010-843745-i446.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i447.gif"/></inline-formula> with knowledge of channel coefficients and noise variance. The procedure to determine the optimal <inline-formula><graphic file="1687-1499-2010-843745-i448.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i449.gif"/></inline-formula> based on the analysis in Section 3.5 is sketched as follows: </p>
         <p indent="1">(<it><inline-formula><graphic file="1687-1499-2010-843745-i450.gif"/></inline-formula></it>)We first find the vertices of the feasible sets of <inline-formula><graphic file="1687-1499-2010-843745-i451.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i452.gif"/></inline-formula> satisfying the constraints (a)&#8211;(c) of (48); </p>
         <p indent="1">(<it><inline-formula><graphic file="1687-1499-2010-843745-i453.gif"/></inline-formula></it>)We determine the vertex that gives rise to the the minimum <inline-formula><graphic file="1687-1499-2010-843745-i454.gif"/></inline-formula> for the <inline-formula><graphic file="1687-1499-2010-843745-i455.gif"/></inline-formula>th constraint of (d) in (48), and record the value of <inline-formula><graphic file="1687-1499-2010-843745-i456.gif"/></inline-formula>; </p>
         <p indent="1">(<it><inline-formula><graphic file="1687-1499-2010-843745-i457.gif"/></inline-formula></it>)The optimal solution <inline-formula><graphic file="1687-1499-2010-843745-i458.gif"/></inline-formula> of (48) is the maximum element of the set <inline-formula><graphic file="1687-1499-2010-843745-i459.gif"/></inline-formula>. Based on that maximum value for <inline-formula><graphic file="1687-1499-2010-843745-i460.gif"/></inline-formula> the optimal <inline-formula><graphic file="1687-1499-2010-843745-i461.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i462.gif"/></inline-formula> are found via (52). </p>
         <p/>
         <fig id="F2"><title><p>Figure 2</p></title><caption><p>BER performance of each user with FC and NC, where user 1 has <inline-formula><graphic file="1687-1499-2010-843745-i463.gif"/></inline-formula> and user 2 has <inline-formula><graphic file="1687-1499-2010-843745-i464.gif"/></inline-formula> subcarriers in deep fade.</p></caption><text>
   <p>
      <b>BER performance of each user with FC and NC, where user 1 has <inline-formula><graphic file="1687-1499-2010-843745-i463.gif"/></inline-formula> and user 2 has <inline-formula><graphic file="1687-1499-2010-843745-i464.gif"/></inline-formula> subcarriers in deep fade.</b>
   </p>
</text><graphic file="1687-1499-2010-843745-2"/></fig>
         <fig id="F3"><title><p>Figure 3</p></title><caption><p>BER performance of each user with FC and NC, where user 1 has <inline-formula><graphic file="1687-1499-2010-843745-i465.gif"/></inline-formula> and user 2 has <inline-formula><graphic file="1687-1499-2010-843745-i466.gif"/></inline-formula> subcarriers in deep fade.</p></caption><text>
   <p>
      <b>BER performance of each user with FC and NC, where user 1 has <inline-formula><graphic file="1687-1499-2010-843745-i465.gif"/></inline-formula> and user 2 has <inline-formula><graphic file="1687-1499-2010-843745-i466.gif"/></inline-formula> subcarriers in deep fade.</b>
   </p>
</text><graphic file="1687-1499-2010-843745-3"/></fig>
         <fig id="F4"><title><p>Figure 4</p></title><caption><p>BER performance of each user with FC and NC, where user 1 has <inline-formula><graphic file="1687-1499-2010-843745-i467.gif"/></inline-formula> and user 2 has <inline-formula><graphic file="1687-1499-2010-843745-i468.gif"/></inline-formula> subcarriers in deep fade.</p></caption><text>
   <p>
      <b>BER performance of each user with FC and NC, where user 1 has <inline-formula><graphic file="1687-1499-2010-843745-i467.gif"/></inline-formula> and user 2 has <inline-formula><graphic file="1687-1499-2010-843745-i468.gif"/></inline-formula> subcarriers in deep fade.</b>
   </p>
</text><graphic file="1687-1499-2010-843745-4"/></fig>
         <p>Figures <figr fid="F2">2</figr>&#8211;<figr fid="F4">4</figr> show that FC can significantly improve the performances of both users at higher SNR.</p>
         <p>Figures <figr fid="F5">5</figr>, <figr fid="F6">6</figr>, and <figr fid="F7">7</figr> show the BER performance of each user for the FC, HC and NC for SNR01 = SNR02 = 5&#8201;dB~35&#8201;dB. Both <inline-formula><graphic file="1687-1499-2010-843745-i469.gif"/></inline-formula> and <inline-formula><graphic file="1687-1499-2010-843745-i470.gif"/></inline-formula> are fixed to <inline-formula><graphic file="1687-1499-2010-843745-i471.gif"/></inline-formula> for HC, while for FC it is taken <inline-formula><graphic file="1687-1499-2010-843745-i472.gif"/></inline-formula>. One can see that HC can significantly improve the performances of user 2 with a negligible penalty on the other user's performance as compared to NC. At low SNR, HC performs slightly better than FC with regards to user 2's performances. When the two users encounter relatively high SNR, the FC scheme can improve the performance of both users. When the antennas are not able to switch from one scheme to another, the FC scheme is always a wise choice regardless of the environment.</p>
         <fig id="F5"><title><p>Figure 5</p></title><caption><p>BER performance of each user with FC, HC and NC, where user 1 has <inline-formula><graphic file="1687-1499-2010-843745-i473.gif"/></inline-formula> and user 2 has <inline-formula><graphic file="1687-1499-2010-843745-i474.gif"/></inline-formula> subcarriers in deep fade.</p></caption><text>
   <p>
      <b>BER performance of each user with FC, HC and NC, where user 1 has <inline-formula><graphic file="1687-1499-2010-843745-i473.gif"/></inline-formula> and user 2 has <inline-formula><graphic file="1687-1499-2010-843745-i474.gif"/></inline-formula> subcarriers in deep fade.</b>
   </p>
</text><graphic file="1687-1499-2010-843745-5"/></fig>
         <fig id="F6"><title><p>Figure 6</p></title><caption><p>BER performance of each user with FC, HC and NC, where user 1 has <inline-formula><graphic file="1687-1499-2010-843745-i475.gif"/></inline-formula> and user 2 has <inline-formula><graphic file="1687-1499-2010-843745-i476.gif"/></inline-formula> subcarriers in deep fade.</p></caption><text>
   <p>
      <b>BER performance of each user with FC, HC and NC, where user 1 has <inline-formula><graphic file="1687-1499-2010-843745-i475.gif"/></inline-formula> and user 2 has <inline-formula><graphic file="1687-1499-2010-843745-i476.gif"/></inline-formula> subcarriers in deep fade.</b>
   </p>
</text><graphic file="1687-1499-2010-843745-6"/></fig>
         <fig id="F7"><title><p>Figure 7</p></title><caption><p>BER performance of each user with FC, HC and NC, where user 1 has <inline-formula><graphic file="1687-1499-2010-843745-i477.gif"/></inline-formula> and user 2 has <inline-formula><graphic file="1687-1499-2010-843745-i478.gif"/></inline-formula> subcarriers in deep fade.</p></caption><text>
   <p>
      <b>BER performance of each user with FC, HC and NC, where user 1 has <inline-formula><graphic file="1687-1499-2010-843745-i477.gif"/></inline-formula> and user 2 has <inline-formula><graphic file="1687-1499-2010-843745-i478.gif"/></inline-formula> subcarriers in deep fade.</b>
   </p>
</text><graphic file="1687-1499-2010-843745-7"/></fig>
      </sec>
      <sec>
         <st>
            <p>5. Conclusion</p>
         </st>
         <p>In this paper, we have proposed and compared two precoded schemes with user cooperation for two-user OFDMA systems. By analyzing the pairwise error probability of the proposed system, we have shown that the full-cooperation scheme can double the diversity available to both users without requiring additional transmitters. Therefore, the full-cooperation scheme can improve the BER performance of both users when the SNR of the users towards the receiver is relatively high so that the fading dominates the performance. On the other hand, when the SNR of two users is low, the half-cooperation scheme can achieve slightly better performance than the full-cooperation scheme. Furthermore, the use of interblock precoding, as compared to intrablock precoding, reduces the number of time slots required by the cooperative OFDM system to achieve the maximum diversity induced by cooperation. The extension of the proposed scheme to the multiuser case is not trivial; it involves selecting the users to cooperate with each other, or modifying the proposed scheme to render the cooperation of more than two users feasible. Such extension will be part of future work.</p>
      </sec>
   </bdy>
   <bm>
      <ack>
         <sec>
            <st>
               <p>Acknowledgments</p>
            </st>
            <p>This work was supported by the Office of Naval Research under Grant ONR-N-00014-07-1-0500 and the National Science Foundation under Grant CNS-0905425. Preliminary results of this work were presented at the 2004 Asilomar Conference on Signals, Systems, and Computers [<abbr bid="B21">21</abbr>].</p>
         </sec>
      </ack>
      <refgrp><bibl id="B1"><title><p>User cooperation diversity&#8212;part I: system description</p></title><aug><au><snm>Sendonaris</snm><fnm>A</fnm></au><au><snm>Erkip</snm><fnm>E</fnm></au><au><snm>Aazhang</snm><fnm>B</fnm></au></aug><source>IEEE Transactions on Communications</source><pubdate>2003</pubdate><volume>51</volume><issue>11</issue><fpage>1927</fpage><lpage>1938</lpage><xrefbib><pubid idtype="doi">10.1109/TCOMM.2003.818096</pubid></xrefbib></bibl><bibl id="B2"><title><p>User cooperation diversity&#8212;part II: implementation aspects and performance analysis</p></title><aug><au><snm>Sendonaris</snm><fnm>A</fnm></au><au><snm>Erkip</snm><fnm>E</fnm></au><au><snm>Aazhang</snm><fnm>B</fnm></au></aug><source>IEEE Transactions on Communications</source><pubdate>2003</pubdate><volume>51</volume><issue>11</issue><fpage>1939</fpage><lpage>1948</lpage><xrefbib><pubid idtype="doi">10.1109/TCOMM.2003.819238</pubid></xrefbib></bibl><bibl id="B3"><title><p>Distributed space-time-coded protocols for exploiting cooperative diversity in wireless networks</p></title><aug><au><snm>Laneman</snm><fnm>JN</fnm></au><au><snm>Wornell</snm><fnm>GW</fnm></au></aug><source>IEEE Transactions on Information Theory</source><pubdate>2003</pubdate><volume>49</volume><issue>10</issue><fpage>2415</fpage><lpage>2425</lpage><xrefbib><pubid idtype="doi">10.1109/TIT.2003.817829</pubid></xrefbib></bibl><bibl id="B4"><title><p>Cooperative communication in wireless networks</p></title><aug><au><snm>Nosratinia</snm><fnm>A</fnm></au><au><snm>Hunter</snm><fnm>TE</fnm></au><au><snm>Hedayat</snm><fnm>A</fnm></au></aug><source>IEEE Communications Magazine</source><pubdate>2004</pubdate><volume>42</volume><issue>10</issue><fpage>74</fpage><lpage>80</lpage><xrefbib><pubid idtype="doi">10.1109/MCOM.2004.1341264</pubid></xrefbib></bibl><bibl id="B5"><title><p>Hybrid forwarding scheme for cooperative relaying in OFDM based networks</p></title><aug><au><snm>Can</snm><fnm>B</fnm></au><au><snm>Yomo</snm><fnm>H</fnm></au><au><snm>de Carvalho</snm><fnm>E</fnm></au></aug><source>Proceedings of IEEE International Conference on Communications (ICC &apos;06), June 2006</source><volume>10</volume><fpage>4520</fpage><lpage>4525</lpage></bibl><bibl id="B6"><title><p>Diversity through coded cooperation</p></title><aug><au><snm>Hunter</snm><fnm>TE</fnm></au><au><snm>Nosratinia</snm><fnm>A</fnm></au></aug><source>IEEE Transaction on Wireless Communications</source><pubdate>2006</pubdate><volume>5</volume><fpage>283</fpage><lpage>289</lpage></bibl><bibl id="B7"><title><p>Selective relaying in OFDM multihop cooperative networks</p></title><aug><au><snm>Dai</snm><fnm>L</fnm></au><au><snm>Gui</snm><fnm>B</fnm></au><au><snm>Cimini</snm><fnm>LJ</fnm></au></aug><source>Proceedings of IEEE Wireless Communications and Networking Conference (WCNC &apos;07), March 2007</source><fpage>963</fpage><lpage>968</lpage></bibl><bibl id="B8"><aug><au><snm>Liu</snm><fnm>KJR</fnm></au><au><snm>Sadek</snm><fnm>AK</fnm></au><au><snm>Su</snm><fnm>W</fnm></au><au><snm>Kwasinski</snm><fnm>A</fnm></au></aug><source>Cooperative Communications and Networking</source><publisher>Cambridge Univeristy Press, Cambridge, UK</publisher><pubdate>2009</pubdate></bibl><bibl id="B9"><title><p>Resource allocation for multiuser cooperative OFDM networks: who helps whom and how to cooperate</p></title><aug><au><snm>Han</snm><fnm>Z</fnm></au><au><snm>Himsoon</snm><fnm>T</fnm></au><au><snm>Siriwongpairat</snm><fnm>WP</fnm></au><au><snm>Liu</snm><fnm>KJR</fnm></au></aug><source>IEEE Transactions on Vehicular Technology</source><pubdate>2009</pubdate><volume>58</volume><issue>5</issue><fpage>2378</fpage><lpage>2391</lpage></bibl><bibl id="B10"><title><p>Cooperation strategies and resource allocations in multiuser OFDMA systems</p></title><aug><au><snm>Weng</snm><fnm>L</fnm></au><au><snm>Murch</snm><fnm>RD</fnm></au></aug><source>IEEE Transactions on Vehicular Technology</source><pubdate>2009</pubdate><volume>58</volume><issue>5</issue><fpage>2331</fpage><lpage>2342</lpage></bibl><bibl id="B11"><title><p>Low-complexity multipath diversity through fractional sampling in OFDM</p></title><aug><au><snm>Tepedelenlioglu</snm><fnm>C</fnm></au><au><snm>Challagulla</snm><fnm>R</fnm></au></aug><source>IEEE Transactions on Signal Processing</source><pubdate>2004</pubdate><volume>52</volume><issue>11</issue><fpage>3104</fpage><lpage>3116</lpage><xrefbib><pubid idtype="doi">10.1109/TSP.2004.836452</pubid></xrefbib></bibl><bibl id="B12"><title><p>Maximum multipath diversity with linear equalization in precoded OFDM systems</p></title><aug><au><snm>Tepedelenlioglu</snm><fnm>C</fnm></au></aug><source>IEEE Transactions on Information Theory</source><pubdate>2004</pubdate><volume>50</volume><issue>1</issue><fpage>232</fpage><lpage>235</lpage><xrefbib><pubid idtype="doi">10.1109/TIT.2003.821987</pubid></xrefbib></bibl><bibl id="B13"><title><p>Linear constellation precoding for OFDM with maximum multipath diversity and coding gains</p></title><aug><au><snm>Liu</snm><fnm>Z</fnm></au><au><snm>Xin</snm><fnm>Y</fnm></au><au><snm>Giannakis</snm><fnm>GB</fnm></au></aug><source>IEEE Transactions on Communications</source><pubdate>2003</pubdate><volume>51</volume><issue>3</issue><fpage>416</fpage><lpage>427</lpage><xrefbib><pubid idtype="doi">10.1109/TCOMM.2003.809791</pubid></xrefbib></bibl><bibl id="B14"><title><p>Blind OFDM channel estimation through simple linear preceding</p></title><aug><au><snm>Petropulu</snm><fnm>A</fnm></au><au><snm>Zhang</snm><fnm>R</fnm></au><au><snm>Lin</snm><fnm>R</fnm></au></aug><source>IEEE Transactions on Wireless Communications</source><pubdate>2004</pubdate><volume>3</volume><issue>2</issue><fpage>647</fpage><lpage>655</lpage><xrefbib><pubid idtype="doi">10.1109/TWC.2003.821140</pubid></xrefbib></bibl><bibl id="B15"><title><p>Blind channel estimation for OFDM systems via a generalized precoding</p></title><aug><au><snm>Gao</snm><fnm>F</fnm></au><au><snm>Nallanathan</snm><fnm>A</fnm></au></aug><source>IEEE Transactions on Vehicular Technology</source><pubdate>2007</pubdate><volume>56</volume><issue>3</issue><fpage>1155</fpage><lpage>1164</lpage></bibl><bibl id="B16"><title><p>Linear precoding assisted blind channel estimation for OFDM systems</p></title><aug><au><snm>Lin</snm><fnm>R</fnm></au><au><snm>Petropulu</snm><fnm>AP</fnm></au></aug><source>IEEE Transactions on Vehicular Technology</source><pubdate>2005</pubdate><volume>54</volume><issue>3</issue><fpage>983</fpage><lpage>995</lpage><xrefbib><pubid idtype="doi">10.1109/TVT.2005.844681</pubid></xrefbib></bibl><bibl id="B17"><title><p>Multi-relay cooperative OFDM with amplify-and-forward relaying invited paper</p></title><aug><au><snm>Ding</snm><fnm>Y</fnm></au><au><snm>Uysal</snm><fnm>M</fnm></au></aug><source>Proceedings of IEEE Radio and Wireless Symposium (RWS &apos;09), January 2009, San Diego, Calif, USA</source><fpage>614</fpage><lpage>617</lpage></bibl><bibl id="B18"><title><p>Diversity and multiplexing: a fundamental tradeoff in multiple-antenna channels</p></title><aug><au><snm>Zheng</snm><fnm>L</fnm></au><au><snm>Tse</snm><fnm>DNC</fnm></au></aug><source>IEEE Transactions on Information Theory</source><pubdate>2003</pubdate><volume>49</volume><issue>5</issue><fpage>1073</fpage><lpage>1096</lpage><xrefbib><pubid idtype="doi">10.1109/TIT.2003.810646</pubid></xrefbib></bibl><bibl id="B19"><title><p>Space-time codes for high data rate wireless communication: performance criterion and code construction</p></title><aug><au><snm>Tarokh</snm><fnm>V</fnm></au><au><snm>Seshadri</snm><fnm>N</fnm></au><au><snm>Calderbank</snm><fnm>AR</fnm></au></aug><source>IEEE Transactions on Information Theory</source><pubdate>1998</pubdate><volume>44</volume><issue>2</issue><fpage>744</fpage><lpage>765</lpage><xrefbib><pubid idtype="doi">10.1109/18.661517</pubid></xrefbib></bibl><bibl id="B20"><title><p>Improved models for the generation of multiple uncorrelated Rayleigh fading waveforms</p></title><aug><au><snm>Zheng</snm><fnm>YR</fnm></au><au><snm>Xiao</snm><fnm>C</fnm></au></aug><source>IEEE Communications Letters</source><pubdate>2002</pubdate><volume>6</volume><issue>6</issue><fpage>256</fpage><lpage>258</lpage><xrefbib><pubid idtype="doi">10.1109/LCOMM.2002.1010873</pubid></xrefbib></bibl><bibl id="B21"><title><p>A multiuser OFDM system with user cooperation</p></title><aug><au><snm>Yatawatta</snm><fnm>S</fnm></au><au><snm>Petropulu</snm><fnm>AP</fnm></au></aug><source>Proceedings of the 38th Asilomar Conference on Signals, Systems and Computers, November 2004, Pacific Grove, Calif, USA</source><fpage>319</fpage><lpage>323</lpage></bibl></refgrp>
   </bm>
</art>