# Patent

## Title
Compress-forward coding with N-PSK modulation for the half-duplex gaussian relay channel

## Abstract

Systems and methods that implement compress-forward (CF) coding with N-PSK modulation for the relay channel are disclosed, where N is greater than or equal to two. In the CF scheme, Wyner-Ziv coding is applied at the relay to exploit the joint statistics between signals at the relay and the destination. Quantizer design and selection of channel code parameters are discussed. Low-density parity check (LDPC) codes are used for error protection at the source, and nested scalar quantization (NSQ) and irregular repeat accumulate (IRA) codes for Wyner Ziv coding (or more precisely, distributed joint source-channel coding) at the relay. The destination system decodes original message information using (a) a first signal received from the source in a first interval and (b) a second signal that represents a mixture of transmissions from the source and relay in the second interval.

## Background
PRIORITY DATA
This application is a continuation of U.S. application Ser. No. 11/686,019, filed Mar. 14, 2007, entitled “Compress-Forward Coding With N-PSK Modulation For The Half-Duplex Gaussian Relay Channel,” which claims the benefit of U.S. Provisional Application No. 60/782,367, filed on Mar. 15, 2006, entitled “Practical Compress-and-Forward Code Design for the Half-Duplex Relay Channel”, invented by Liu, Stankovic and Xiong, which are hereby incorporated by reference in their entirety.


FIELD OF THE INVENTION
The present invention relates to the field of information encoding/decoding, and more particularly to systems and methods for implementing compress-and-forward coding for the relay channel.
DESCRIPTION OF THE RELATED ART
The relay channel, introduced by van der Meulen (“Three-terminal communication channels,” Advanced Applied Probability, vol. 3, pp. 120-154, 1971), includes three terminals: the source, the relay and the destination. The source broadcasts a message to both the relay and the destination. The relay processes the message it receives from the source and forwards the processed signal to the destination, which reconstructs the original message by decoding the signals received from both the source and the relay.
According to the observe-forward (OF) strategy of coding for the relay channel, the relay does not attempt to decode the signal from the source, but merely forwards a processed version of its received signal to the destination. According to the compress-forward (CF) subcategory of OF, the relay compresses its received signal and forwards the compressed version to the destination. Existing CF strategies leave a lot to be desired in terms of performance. Thus, there exists a need for new systems and methodologies for performing CF coding for the relay channel.
SUMMARY
At a source system, a message is split up into two portions. The two portions are encoded with two encoders (e.g., LDPC encoders), respectively. The first encoded portion is transmitted in a first interval using N-PSK modulation, where N is an integer greater than or equal to two. A relay system and a destination system listen to this transmission in the first interval. The second encoded portion is transmitted in a second interval using N-PSK modulation. The destination system listens to this transmission in the second interval. The first and second intervals may be intervals in time or intervals in frequency.
The relay system receives a stream Yr of symbols corresponding the first encoded portion in the first interval, perform nested lattice quantization (NLQ) on the stream Yr to generate an index block W, and performs joint source-channel encoding on the index block W to determine encoded data Ur. The encoded data is transmitted to the destination using N-PSK modulation.
The destination system receives a first stream corresponding to the source system's transmission in the first interval, and also receives a second stream corresponding to a mixture of the source system's transmission in the second interval and the relay system's transmission in the second interval. The destination system uses the first stream and the second stream to generate estimates for the message portions. Note that the first message portion is represented in both the first stream and the second stream.



BRIEF DESCRIPTION OF THE DRAWINGS
The following detailed description makes reference to the accompanying drawings, which are now briefly described.
FIG. 1A illustrates one embodiment of a source encoder system.
FIG. 1B illustrates one embodiment of a source encoding method.
FIG. 2A illustrates one embodiment of a relay system.
FIG. 2B illustrates one embodiment of compressing information from a source system and forwarding the compressed information to a destination system.
FIG. 3 illustrates one embodiment of a destination decoder system.
FIG. 4 illustrates one embodiment of a method for recovering message information from signals received from a source system and a relay system.
FIG. 5 shows one embodiment of the relay channel with three nodes: the source, the relay and the destination.
FIG. 6 illustrates one embodiment of the relay channel, where the relay is located along the line between the source and the destination.
FIG. 7 illustrates one embodiment of the CF coding scheme for half-duplex relaying based on WZC (Wyner-Ziv coding).
FIG. 8 shown an example of the conditional distribution of Yr given particular values of Yd1, with d=9 m.
FIG. 9 illustrates the distributed joint source-channel coding (DJSCC) of binary source X with decoder side information Y using systematic IRA codes that are designed for both the physical noisy channel and the “virtual” correlation channel between X and Y.
FIG. 10 shows operational distortion-rate curves of SWC-NSQ (assuming ideal SWC after NSQ) of Yr with decoder side information Yd1 for several different nesting ratios N, where each curve is generated by varying the quantization stepsize q while fixing N. The lower envelope of these curves is the operational distortion-rate function of SWC-NSQ. The relay is 9 m away from the source, and |csd|2=0.85|csr|2.
FIG. 11A illustrates the conditional probabilities of different NSQ indices given the side information Yd1 when the nesting ratio is N=4 in the Gaussian relay setup with d=8 m.
FIG. 11B illustrates soft input for iterative decoding of DJSCC as Lch(1)(yd1) for the first bit plane. For the second bit plane, since the IRA code rate is approximately 1, there is no need to evaluate the information for iterative decoding.
FIGS. 12A and 12B are tables that present the conditional entropy and the corresponding degree distribution polynomials λ(x) and ρ(x) for each bit plane of CF for Gaussian relay channels using nested scalar quantization when (A) d=7 m and (B) d=9 m.



While the invention is described herein by way of example for several embodiments and illustrative drawings, those skilled in the art will recognize that the invention is not limited to the embodiments or drawings described. It should be understood, that the drawings and detailed description thereto are not intended to limit the invention to the particular form disclosed, but on the contrary, the intention is to cover all modifications, equivalents and alternatives falling within the spirit and scope of the present invention as defined by the appended claims. The headings used herein are for organizational purposes only and are not meant to be used to limit the scope of the description or the claims. As used throughout this specification, the word “may” is used in a permissive sense (i.e., in the sense of “having the potential to”), rather than in the mandatory sense (i.e., in the sense of “must”). Furthermore, the phrase “A includes B” is used to mean “A includes B, but is not limited to B”.
DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS
Source Encoder System
In one set of embodiments, a source encoder system 100 for encoding a message m may be configured as suggested in FIG. 1A. The source encoder system 100 includes an encoder 105, an encoder 110, a mapping unit 112 and a modulation unit 115. The message m is a block of binary data. The system elements of the source encoder system 100 may be partitioned among one or more hardware devices (e.g., integrated circuits) in any of various ways. The one or more hardware devices may include dedicated circuitry and/or a set of one or more processors controlled by software (i.e., program instructions).
The encoder 105 is configured to perform channel encoding on a first portion m1 of the message m to obtain encoded data Us1. The encoder 105 may be a low-density parity check (LDPC) encoder, e.g., an LDPC encoder designed as described in the section below entitled “LDPC Code Design”. For more information on LDPC codes, please refer to T. Richardson, M. Shokrollahi, and R. Urbanke, “Design of capacity approaching irregular low-density parity-check codes”, IEEE Trans. Inf. Theory, vol. 47, no. 2, pp. 619-637, February 2001, which is hereby incorporated by reference in its entirety. The encoder 105 may be configured to achieve rate Rr(α)/α, where α is a real number between zero and one, where Rr(α) satisfies the condition given in expression (7). Rr(α) represents the rate over the channel from the relay to destination.
The encoder 110 is configured to perform channel encoding on a second portion m2 of the message m to obtain encoded data Us2. The encoder 110 may be a low-density parity check (LDPC) encoder, e.g., an LDPC encoder designed as described below in the section entitled “LDPC Code Design”. The encoder 110 may be configured to achieve rate Rd(α)/(1−α), where Rd(α) represents the transmission rate on the channel from the source to the destination. Rd(α) may be selected to satisfy expression (7B).
The mapping unit 112 is configured to (1) convert the binary values of the encoded data Us1 into a stream Xs1 of points belonging to an N-PSK constellation having power constraint value Ps1 and (2) convert the binary values of the encoded data Us2 into a stream Xs2 of points belonging to an N-PSK constellation having power constraint value Ps2, where N is an integer greater than or equal to two. For example, in the case of BPSK (i.e., N=2), the encoded data Us1 is converted into a stream Xs1 of +A1 and −A1 values, where A1 is the square root of the power constraint value Ps1. Similarly, the encoded data Us2 is converted into a stream Xs2 of +A2 and −A2 values, where A2 is the square root of the power constraint value Ps2. In the cases where N is greater than two, the N-PSK constellation includes complex values, and thus, the mapping unit 112 may include a pair of output lines in order to output the real and imaginary parts of the complex constellation point.
The modulation unit 115 is configured to generate a first output signal for transmission in a first interval based on the stream Xs1 and generate a second output signal for transmission in a second interval based on the stream Xs2. The mapping unit 112 and the modulation unit 115 may be configured to implement N-PSK modulation.
In some embodiments, the first interval and second interval are disjoint intervals in time. Thus, the modulation unit 115 may be configured to (a) modulate an RF carrier signal using the stream Xs1 in order to generate the first output signal in a first time interval and (b) modulate the RF carrier signal using the stream Xs2 in order to generate the second output signal in a second time interval. The first output signal may be transmitted in the first time interval and the second output signal may be transmitted in the second time interval.
In other embodiments, the first interval and second interval are disjoint bands of frequency. Thus, the modulation unit 115 may be configured to (a) modulate a first RF carrier signal using the stream Xs1 in order to generate the first output signal in a first frequency band and (b) modulate a second RF carrier signal using the stream Xs2 to generate the second output signal in a second frequency band. The transmissions of the first output signal and the second output signal may occur in a time-overlapping fashion (e.g., during the same interval in time).
Source Encoder Method
In one set of embodiments, a method 150 for encoding a message m may involve a number of actions/operations as illustrated in FIG. 1B.
At 155, channel encoding is performed on a first portion m1 of the message m in order to obtain encoded data Us1. The channel encoding on the first portion m1 may be performed using a first encoder having a low-density parity check (LDPC) structure. (The term “encoder” is used herein in a sense that is broad enough to encompass an encoder realized in hardware, an encoder realized in software, or an encoder realized as a combination of hardware and software.) The LDPC structure may be designed as described in the section below entitled “LDPC Code Design”. The channel encoding may achieve rate Rr(α)/α, where α is a real number between zero and one.
At 160, channel encoding is performed on a second portion m2 of the message m in order to obtain encoded data Us2. The channel encoding on the second portion m2 may be performed using a second encoder having a low-density parity check (LDPC) structure. The LDPC structure may be designed as described in the section below entitled “LDPC Code Design”. The channel encoding may achieve rate Rd(α)/(1−α).
At 163, the encoded data Us1 is converted into a stream Xs1 of points belonging to an N-PSK constellation having power constraint value Ps1, where N is an integer greater than or equal to two.
At 165, a first output signal is generated, based on the stream Xs1, for transmission in a first interval. Together, operations 163 and 165 implement N-PSK modulation based on the encoded data Us1.
At 168, the encoded data Us2 is converted into a stream Xs1 of points belonging to an N-PSK constellation having power constraint value Ps2.
At 170, a second output signal is generated, based on the stream Xs2, for transmission in a second interval. Together, operations 168 and 170 implement N-PSK modulation based on the encoded data Us2.
In some embodiments, the first interval and second interval are disjoint intervals in time. Thus, operation 165 may include modulating an RF carrier signal using the stream Xs1 in order to generate the first output signal in a first time interval, and operation 170 may include modulating the RF carrier signal using the stream Xs2 in order to generate the second output signal in a second time interval. The first output signal may be transmitted in the first time interval and the second output signal may be transmitted in the second time interval.
In other embodiments, the first interval and second interval are disjoint bands of frequency. Thus, the operation 165 may include modulating a first RF carrier signal using the stream Xs1 in order to generate the first output signal in a first frequency band, and operation 170 may include modulating a second RF carrier signal using the stream Xs2 to generate the second output signal in a second frequency band. The transmissions of the first output signal and the second output signal may occur in a time-overlapping fashion (e.g., during the same interval in time).
Relay Encoder System
In one set of embodiments, a relay system 200 may be configured as suggested in FIG. 2A. The relay system includes a receiver 210, a quantization unit 215, an encoder unit 220, a mapping unit 223 and a modulation unit 225. The system elements of the relay system may be partitioned among one or more hardware devices (e.g., integrated circuits) in any of various ways. The one or more hardware devices may include dedicated circuitry and/or a set of one or more processors controlled by software (i.e., program instructions).
The receiver 210 is configured to receive an input signal from a channel in the first interval and recover input data Yr from the input signal. The input data Yr corresponds to the stream Xs1 (of points from an N-PSK constellation having power constraint value Ps1) transmitted onto the channel by the source system using N-PSK modulation, where N is greater than one. The receiver 210 may include an N-PSK demodulator.
The quantization unit 215 is configured to perform nested lattice quantization on the input data Yr to generate a block W of quantization indices. The nested lattice quantization may involve quantization with respect to a coarse lattice and a fine lattice. The coarse lattice may be a sublattice of the fine lattice. For more information on how to perform nested lattice quantization, please refer to the section below entitled “CF Code Design”.
The Voronoi volume q (also referred to as step size q in the 1-D case) of the fine lattice may be optimized to minimize the Wyner-Ziv operational distortion-rate function subject to a rate constraint. Please refer to the section below entitled “CF Code Design” for description of the optimization process.
The nesting ratio (i.e., the ratio of coarse lattice Voronoi volume to fine lattice Voronoi volume) may be determined by the WZC rate (conditional entropy of the quantization index) and the distortion, as described in the section below entitled “CF Code Design”. WZC is an acronym for Wyner-Ziv coding.
The encoder unit 220 may be configured to perform joint source-channel encoding on the block W to obtain encoded data Ur. The encoder unit 220 may be designed as described in the sections below entitled “Distributed Joint Source-Channel Coding (DJSCC) at the Relay” and “CF Code Design”.
In some embodiments, the encoder unit 220 may include one or more irregular repeat accumulate (IRA) encoders configured to perform joint source-channel encoding. The encoded data Ur may be the parity bits generated by the one or more IRA encoders.
In one embodiment, the encoder unit 220 includes exactly one IRA encoder. In another embodiment, the encoder unit 220 may include a plurality of IRA encoders configured to perform joint source-channel encoding on corresponding bit planes of the block W, as described in the sections below entitled “Distributed Joint Source-Channel Coding (DJSCC) at the Relay” and “CF Code Design”.
The mapping unit 223 may be configured to convert the encoded data Ur into a stream Xr of points belonging to an N-PSK constellation having power constraint value Pr. For example, in the case of BPSK (i.e., N=2), the encoded data Ur is converted into a stream Xr of +Ar and −Ar values, where Ar is the square root of the power constraint value Pr. In the cases where N is greater than two, the N-PSK constellation includes complex values, and thus, the mapping unit 112 may include a pair of output lines in order to output the real and imaginary parts of the complex constellation point.
The modulation unit 225 may be configured to generate an output signal, for transmission to a destination system in the second interval, based on the stream Xr. The modulation unit 225 may generate the output signal by modulating an RF carrier signal using the stream Xr. Together, the mapping unit 223 and the modulation unit 225 may be configured to implement N-PSK modulation.
As noted above, the first interval and second interval may be disjoint intervals in time. Alternatively, the first interval and second interval may be disjoint bands of frequency.
Relay Encoder Method
In one set of embodiments, method 250 for relaying data from a source system to a destination system may involve the following actions/operations, as illustrated in FIG. 2B.
At 255, input data Yr is recovered from an input signal received from a channel in the first interval. The input data Yr corresponds to the stream Xs1 (of points from an N-PSK constellation having power constraint value Ps1) transmitted onto the channel by the source system using N-PSK modulation, where N is greater than one. The reception process may involve performing N-PSK demodulation on an RF signal captured from a receive antenna.
At 260, nested lattice quantization (NLQ) is performed on the input data Yr to generate a block W of quantization indices. As noted above, the nested lattice quantization may involve quantization with respect to a coarse lattice and a fine lattice. The coarse lattice may be a sublattice of the fine lattice. For more information on how to perform the nested lattice quantization, please refer to the section below entitled “CF Code Design”.
The Voronoi volume q of the fine lattice may be optimized to minimize the Wyner-Ziv operational distortion-rate function subject to a rate constraint. The nesting ratio may be determined as described above.
At 265, joint source-channel encoding is performed on the block W to obtain encoded data Ur. The joint source-channel encoding may be performed as described in the sections below entitled “Distributed Joint Source-Channel Coding (DJSCC) at the Relay” and “CF Code Design”.
In some embodiments, the joint source-channel encoding may be performed using one or more irregular repeat accumulate (IRA) encoders. The encoded data Ur may be the parity bits generated by the one or more IRA encoders.
In one embodiment, the joint source-channel encoding may be performed using exactly one IRA encoder. In another embodiment, the joint source-channel encoding may be performed using a plurality of IRA encoders to encode corresponding bit planes of the block W, as described in the sections below entitled “Distributed Joint Source-Channel Coding (DJSCC) at the Relay” and “CF Code Design”.
At 268, the encoded data Ur may be converted into a stream Xr of points belonging to an N-PSK constellation having power constraint value Pr.
At 270, an output signal may be generated, for transmission to a destination system in the second interval, based on the stream Xr. The output signal may be generated by modulating an RF carrier using the stream Xr. Together, operations 268 and 270 may implement an N-PSK modulation.
As noted above, the first interval and second interval may be disjoint intervals in time. Alternatively, the first interval and second interval may be disjoint bands of frequency.
Destination Decoder System
In one set of embodiments, a decoder system 300 for recovering a message m based on information received from the source system and information received from the relay system may be configured as illustrated in FIG. 3. The decoder system 300 includes a receiver 310, an iterative decoder 315, an estimator 320, a maximum ratio combining (MRC) unit 325, a channel decoder 330, an encoder unit 335, a mapping unit 337, a scaling unit 338, a difference unit 339 and a channel decoder 345.
The decoder system 300 may be implemented using dedicated circuitry and/or a set of one or more processors controlled by software (i.e., program instructions). The system elements of the decoder system 300 may be partitioned among one or more hardware devices (e.g., integrated circuits) in any of various ways. The one or more hardware devices may include dedicated circuitry and/or a set of one or more processors controlled by software (i.e., program instructions).
The receiver 310 is configured to: recover a stream Yd1 of data (e.g., a stream of points in the complex plane) from a first input signal in a first interval, and, recover a stream Yd2 of data (e.g., a stream of complex points) from a second input signal in a second interval. N is an integer greater than one. The stream Yd1 is a channel-modified version of the stream Xs1 (of points from an N-PSK constellation having power constraint value Ps1) transmitted in the first interval by the source system using N-PSK modulation. N is an integer greater than one.
The stream Yd2 is a mixture including (a) a channel-modified version of the stream Xs2 transmitted in the second interval by the source system using N-PSK modulation and (b) a channel-modified version of the stream Xr transmitted in the second interval by the relay system using N-PSK modulation. Recall that the relay system is configured to: receive stream Yr (which is a channel-modified version of the stream Xs1 transmitted by the source system); perform nested lattice quantization on the stream Yr to obtain index block W; perform joint source-channel encoding on the index block W to obtain the encoded data Ur; and map the encoded data Ur to the stream Xr of points from an N-PSK constellation having power constraint value Pr.
The iterative decoder 315 is configured to generate an estimate for the index block W using the stream Yd1 and the stream Yd2. The iterative decoder 315 may be configured to perform joint source-channel decoding on the stream Yd2 using the stream Yd1 as side information. For more information on the design of the iterative decoder 315, please refer to the section below entitled “CF Code Design”.
In the process of performing the joint source-channel decoding, the iterative decoder 315 may utilize structure information that represents the structure of the joint source-channel encoder(s) employed by the relay system. This structure information may be stored in the decoder system 300 and accessed by the iterative decoder 315. In an alternative embodiment, the iterative decoder 315 may be realized in terms of dedicated circuitry. In this case, the structure information may be built into the dedicated circuitry.
The estimator 320 is configured to generate an estimate for the stream Yr using the estimate for the index W. The estimator 320 may be a maximum mean square error estimator. For more information on the design of the estimator 320, please refer to the section below entitled “CF Code Design”.
The maximum ratio combining (MRC) unit 325 is configured to compute information I1 based on the stream Yd1 and the estimate for the data Yr. The information I1 may be log likelihood ratios for a first portion m1 of message m given Yd1 and Yr. For more information on how to perform the maximum ratio combining, please refer to the section below entitled “CF Code Design”.
The channel decoder 330 is configured to operate on the information I1 to generate an estimate for message portion m1. The channel decoder 330 may utilize structure information that describes the structure of channel encoder 105 of the source system. Alternatively, the channel decoder 330 may be realized using dedicated circuitry, in which case the structure information may be built into the dedicated circuitry.
The channel decoder 330 may be an iterative decoder and may be designed as described in the section below entitled “CF Code Design”.
The encoder unit 335 is configured to perform joint source-channel encoding on the estimate of the index block W to obtain an estimate for the encoded data Ur. The joint source-channel encoding performed by the encoder unit 335 may be identical to the joint source-channel encoding performed by the relay system.
The mapping unit 337 is configured to convert the estimate for data Ur into a stream of points from the N-PSK constellation having power constraint Pr in order to generate an estimate {circumflex over (X)}r for the stream Xr generated at the relay system.
The scaling unit 338 is configured to scale the estimate {circumflex over (X)}r by the complex factor crd to generate the scaled stream crd{circumflex over (X)}r. Thus, scaling unit 338 may be configured to perform complex multiplication.
The difference unit 339 is configured to subtract the scaled stream crd{circumflex over (X)}r from the stream Yd2 in order to obtain a difference stream.
The channel decoder 345 may be configured to operate on the difference stream in order to generate an estimate for message portion m2. The channel decoder 345 may utilize structure information that describes the structure of channel encoder 110 of the source system. Alternatively, the channel decoder 345 may be realized using dedicated circuitry, in which case the structure information may be built into the dedicated circuitry.
The channel decoder 345 may be an iterative decoder and may be designed as described in the section below entitled “CF Code Design”.
As noted above, the first interval and second interval may be disjoint intervals in time. Alternatively, the first interval and second interval may be disjoint bands of frequency.
Destination Decoder Method
In one set of embodiments, a decoder method 350 for recovering a message m based on information received from the source system and information received from the relay system may be configured as illustrated in FIG. 4.
At 355, stream Yd1 is recovered from a first input signal in a first interval and stream Yd2 is recovered from a second input signal in a second interval. The stream Yd1 is a channel-modified version of the stream Xs1 (of points from an N-PSK constellation having power constraint value Ps1) transmitted in the first interval by the source system using N-PSK modulation. N is an integer greater than one.
The stream Yd2 is a mixture including (a) a channel-modified version Vs of the stream Xs2 transmitted in the second interval by the source system using N-PSK modulation and (b) a channel-modified version Vr of the stream Xr transmitted in the second interval by the relay system using N-PSK modulation. Recall that the relay system is configured to receive stream Yr (which is a channel-modified version of the stream Xs1 transmitted by the source system in the first interval), perform nested lattice quantization on the stream Yr to obtain index block W and to perform joint source-channel encoding on the index block W to obtain the data Ur, and then, map the data Ur to the stream Xr of points from an N-PSK constellation having power constraint value Pr.
At 357, an estimate for the index block W is generated by performing joint source-channel decoding (in an iterative fashion) on the stream Yd2 using the stream Yd1 as side information. For more information on the joint source channel decoding, please refer to the section below entitled “CF Code Design”. The joint source-channel decoding operation 357 may rely on structure information that represents the structure of the joint source-channel encoder(s) employed by the relay system.
At 360, an estimate for the stream Yr is generated using the estimate for the index W. The estimate may be generated by performing maximum mean square error estimation. For more information on the estimation 360, please refer to the section below entitled “CF Code Design”.
At 363, likelihood information I1 is computed by performing maximum ratio combining (MRC) based on the stream Yd1 and the estimate for the data Yr. The likelihood information I1 may be log likelihood ratios for a first portion m1 of message m given Yd1 and Yr. For more information on how to perform the maximum ratio combining, please refer to the section below entitled “CF Relaying with BPSK Modulation”.
At 365, an estimate for message portion m1 is generated by performing channel decoding on the information I1. The channel decoding may utilize structure information that describes the structure of channel encoder 105 of the source system. The channel decoding may be may be an iterative decoding and may operate as described in the section below entitled “CF Code Design”.
At 368, joint source-channel encoding is performed on the estimate of the index block W to obtain an estimate for the encoded data Ur. This joint source-channel encoding may be identical to the joint source-channel encoding performed by the relay system.
At 370, the estimate for data Ur is converted into a stream {circumflex over (X)}r of points (from the N-PSK constellation) having power constraint Pr. The stream {circumflex over (X)}r is an estimate for the stream Xr generated at the relay system.
At 373, the estimate {circumflex over (X)}r is scaled by the complex factor crd in order to generate the scaled stream crd{circumflex over (X)}r. This scaling operation involves a complex multiplication.
At 375, the scaled stream crd{circumflex over (X)}r is subtracted from the stream Yd2 in order to obtain a difference stream.
At 377, an estimate for message portion m2 is generated by performing channel decoding on the difference stream. The channel decoding may utilize structure information that describes the structure of channel encoder 110 of the source system. The channel decoding may be an iterative decoding and may operate as described in the section below entitled “CF Code Design”.
As noted above, the first interval and second interval may be disjoint intervals in time. Alternatively, the first interval and second interval may be disjoint bands of frequency.
In one set of embodiments, a method for encoding a message m may involve: performing a first low-density parity check (LPDC) channel encoding on a first portion m1 of the message m to obtain first encoded data; performing a second LPDC channel encoding on a second portion m2 of the message m to obtain second encoded data; converting the first encoded data into a first stream of N-PSK constellation points, where N is greater than one; converting the second encoded data into a second stream of N-PSK constellation points; generating a first output signal, for transmission to a relay and a destination in a first interval, based on the first stream on N-PSK constellation points; generating a second output signal, for transmission to the destination in a second interval, based on the second stream of N-PSK constellation points. The first interval and second interval may be disjoint intervals in time. Alternatively, the first interval and second interval may be disjoint bands of frequency.
In another set of embodiments, a method for relaying information from a source system to a destination system may involve: receiving an input signal from a channel in a first interval; recovering from the input signal a stream Yr of data, where the stream Yr corresponds to a stream Xs1 of N-PSK constellation points transmitted onto the channel by a source system using N-PSK modulation, where N is greater than one; performing nested lattice quantization on the stream Yr to generate a quantization value W; performing joint source-channel encoding on the quantization value W to obtain encoded data; converting the encoded data into a stream Xr of N-PSK constellation points; generating an output signal, for transmission to a destination system in a second interval, based on the stream Xr of N-PSK constellation points. The first interval and second interval may be disjoint intervals in time. Alternatively, the first interval and second interval may be disjoint bands of frequency.
The Voronoi volume q of a fine lattice (or alternatively, the coarse lattice) of the nested lattice quantization may be optimized to minimize a Wyner-Ziv operational distortion-rate function subject to a rate constraint.
The process of performing joint source-channel encoding may include performing an irregular repeat accumulate (IRA) encoding on the quantization value W to obtain the encoded data. Alternatively, the process of performing joint source-channel encoding may include performing a plurality of irregular repeat accumulate (IRA) encodings on corresponding bit planes of the quantization value W to obtain the encoded data.
In yet another set of embodiments, a method for decoding received information in order to recover a message m may involve: receiving a first input signal in a first interval and a second input signal in a second interval; recovering from the first input signal a first stream Yd1 of data (e.g., complex points) and from the second input signal a second stream Yd2 of data (e.g., complex points), where the first stream Yd1 is a first channel-modified version of a stream Xs1 transmitted in the first interval by a source system using N-PSK modulation, where N is greater than one, where the second stream Yd2 is a mixture including a channel-modified version Vs of stream Xs2 transmitted in the second interval by the source system using N-PSK modulation and a channel-modified version Vr of a stream Xr transmitted in the second interval by a relay system using N-PSK modulation, where the relay system is configured to (a) receive stream Yr which is a second channel-modified version of the stream Xs1 transmitted by the source system, (b) perform nested lattice quantization on the stream Yr to obtain index W and (b) perform joint source-channel encoding on the index W to obtain the stream Xr; generating an estimate for the index W using the first stream Yd1 and the second stream Yd2; generating an estimate for the stream Yr using the estimate for the index W; performing maximum ratio combining based on the first stream Yd1 and the estimate for the stream Yr in order to obtain likelihood information; performing channel decoding on the likelihood information to generate an estimate for a first portion m1 of the message m. The first interval and second interval may be disjoint intervals in time. Alternatively, the first interval and second interval may be disjoint bands of frequency.
The method may also include: performing the joint source-channel encoding on the index estimate to obtain an estimate for the stream Xr; scaling the estimate for the stream Xr to obtain an estimate for the channel-modified version Vr; performing channel decoding on a difference between the second stream Yd2 and the estimate of the version Vr to generate an estimate for a second portion m2 of the message m.
In some embodiments, a computer-readable memory medium may be configured to store program instructions, where the program instructions are executable to implement any of the method embodiments described herein (or, any combination of the method embodiments described herein, or, any subset of the method embodiments described herein). A memory medium is a medium configured for the storage of information. Examples of memory media include various kinds of magnetic media (e.g., magnetic tape, magnetic disk, magnetic strips, and magnetic film); various kinds of optical media (e.g., CD-ROM); various kinds of semiconductor RAM and ROM; various media based on the storage of electrical charge and/or other physical quantities; etc.
In some embodiments, a computer system may be configured to include a processor (or a set of processors) and memory medium. The memory medium may be configured to store program instructions. The processor (or set of processors) may be configured to read and execute the program instructions. The program instructions may be executable to implement any of the various method embodiments described herein (or, any combination of the method embodiments described herein, or, any subset of the method embodiments described herein). The computer system may be realized in any of various forms. For example, the computer system may be a personal computer (in any of its various forms), a workstation, a computer on a card, a server computer, a client computer, a computer system in a sensor device, a computer embedded in a transmitter, a computer embedded in a relay system, a computer embedded in a receiver, etc.
The Channel Model
A simple three-node relay channel is shown in FIG. 5, where csd, csr, and crd denote the channel gains/coefficients of the links from the source to destination, source to relay, and relay to destination, respectively. When the channel coefficients are fixed, we have a Gaussian relay channel. In one set of embodiments, we focus on the Gaussian relay channel.
In time-division half-duplex relaying, a frame of length n is divided into two parts: the first block of length nα (0<α<1), and the second block of length n(1−α). The first block forms a codeword xs1 to be broadcasted from the source to both the relay and destination under power constraint Ps1. The relay overhears this transmission, processes its received signal yr in some way, and transmits the processed version xr=fr(yr) to the destination under power constraint Pr. While the relay transmits, the source simultaneously transmits the second block, xs2, to the destination under power constraint Ps2. The codeword xs2 is not heard by the relay, as it is in the transmit mode. One way to accomplish this is to split the message m at the source into two non-overlapping parts m1 and m2. Then, m1 is encoded into the nα-length codeword xs1(m1) as the first block and m2 into the n(1−α)-length codeword xs2(m2) as the second block. At the frame level, the time interval T is divided into the relay-receive period T1 and the relay-transmit period T2 with T=T1+T2. During the relay-receive period, the received signals at the relay and the destination are

yr[i]=csrxs1(m1)[i]+zr[i],  (1)

yd1[i]=csdxs1(m1)[i]+zd1[i], i=1, . . . , nα,  (2)

respectively, where zr and zd1 are white Gaussian noises with unit power. During the relay-transmit period, the relay and the source, respectively, send the n(1−α)-length codewords xr(m1) and xs2(m2) to the destination, which receives

yd2[i]=crdxr(m1)[i]+csdxs2(m2)[i]+zd2[i], i=1, . . . , n(1−α),  (3)

where zd2 is again white Gaussian noise with unit power.

The upper bound on the capacity and the achievable rates for CF and DF (decompress-forward (DF) of the relay channel are relatively simple to derive, assuming AWGN channels with Gaussian input (which means that all the signals to be transmitted, namely, Xs1, Xs2 and Xr, are Gaussian), since the capacity for AWGN channel and the WZC limit for the quadratic Gaussian case are well known. Unfortunately, this Gaussian assumption does not hold with BPSK modulation. Instead, we have binary-input AWGN channels, for which the capacity is




  
    
      
        
          C
          ⁡
          
            (
            snr
            )
          
        
        =
        
          1
          -
          
            
              ∫
              
                -
                ∞
              
              ∞
            
            ⁢
            
              
                
                  e
                  
                    
                      -
                      
                        τ
                        2
                      
                    
                    /
                    2
                  
                
                
                  
                    s
                    ⁢
                    
                      
                    
                    ⁢
                    π
                  
                
              
              ⁢
              
                log
                ⁡
                
                  (
                  
                    1
                    +
                    
                      e
                      
                        
                          
                            -
                            2
                          
                          ⁢
                          
                            snr
                          
                          ⁢
                          τ
                        
                        -
                        
                          2
                          ⁢
                          
                            
                          
                          ⁢
                          snr
                        
                      
                    
                  
                  )
                
              
              ⁢
              
                
                  d
                  τ
                
                .
              
            
          
        
      
    
    
      
        (
        4
        )
      
    
  




snr is the signal to noise ratio.

In one set of embodiments, we assume the setup shown in FIG. 6 for CF relaying with BPSK modulation (or more generally, N-PSK modulation, where N is greater than one), where the relay is located along a straight line from the source to the destination, which are distance r (e.g., 10 meters) apart. The channel coefficient of the link from sender i to the receiver j (sender i may be the source or relay, and receiver j may be the relay or destination) is (cij)2=Ko(dij)−n, where dij is the distance from the sender i to the receiver j, n is the path loss coefficient,

Ko=(c/4πdofc)2,

c is the light speed, do is the free-space reference distance, fc is the transmission frequency. The experimental setup is fixed with fc=2.4 GHz carrier frequency, path loss coefficient n=3, and freespace reference distance do=1 m. Therefore the channel coefficients are: (csd)2=10−7, (csr)2=10−4d−3, and (crd)2=10−4(1−d)−3. Note that csd is fixed and csr and crd are functions of d. Thus for each particular d, there is a set of the coefficients.

CF Relaying with BPSK Modulation

FIG. 7 depicts the overall CF coding scheme. During T1, message m1 is channel coded and then BPSK modulated into nα binary symbols Xs1[1], . . . , Xs1[nα] with




  
    
      1
      
        α
        ⁢
        
          
        
        ⁢
        n
      
    
    ⁢
    
      
        ∑
        
          i
          =
          1
        
        
          α
          ⁢
          
            
          
          ⁢
          n
        
      
      ⁢
      
        
          
            X
            
              s
              ⁢
              
                
              
              ⁢
              1
            
          
          ⁡
          
            [
            i
            ]
          
        
        2
      
    
  
  ≤
  
    P
    
      s
      ⁢
      
        
      
      ⁢
      1
    
  




and broadcasted to the relay and the destination. The received versions are Yr=csrXs1+Zr at the relay, and, Yd1=csdXs1+Zd1 at the destination. We thus have a broadcast channel in the relay-receive period.

During T2, Yr is compressed into S using Wyner-Ziv encoder by treating Yd1, at the destination as the decoder side information. Then, the relay encodes S into binary channel codeword Xr, of length (1−α)n with




  
    
      1
      
        
          (
          
            1
            -
            α
          
          )
        
        ⁢
        n
      
    
    ⁢
    
      
        ∑
        
          i
          =
          1
        
        
          
            (
            
              1
              -
              α
            
            )
          
          ⁢
          n
        
      
      ⁢
      
        
          
            X
            r
          
          ⁡
          
            [
            i
            ]
          
        
        2
      
    
  
  ≤
  
    P
    r
  




and sends it to the destination. At the same time, the source encodes m2 into (1−α)n binary symbols Xs2[1], . . . , Xs2[(1−α)n] with





  
    
      1
      
        
          (
          
            1
            -
            α
          
          )
        
        ⁢
        n
      
    
    ⁢
    
      
        ∑
        
          i
          =
          1
        
        
          
            (
            
              1
              -
              α
            
            )
          
          ⁢
          n
        
      
      ⁢
      
        
          
            X
            
              s
              ⁢
              
                
              
              ⁢
              2
            
          
          ⁡
          
            [
            i
            ]
          
        
        2
      
    
  
  ≤
  
    P
    
      s
      ⁢
      
        
      
      ⁢
      2
    
  




and sends them to the destination as well. The signal received at the destination from the source and relay is Yd2=crdXr+csdXs2+Zd2. We hence have a multiple-access channel (MAC) in the relay-receive period.

At the destination, m1 and m2 may be recovered sequentially. First, Yr is reconstructed into Y′r via Wyner-Ziv decoding at the destination (with the help of the side information Yd1), yielding an average distortion of DWZ(R), where R is the WZC rate. Note that we can write Y′r=Yr+N, where N is the quantization noise with its variance as the Wyner-Ziv distortion limit DWZ(R), and the corresponding WZC rate R is the capacity of the link between the relay and the destination (with both csdXs2 and Zd being treated as noise) and given by




  
    
      
        
          R
          =
          
            
              
                1
                -
                α
              
              α
            
            ⁢
            
              C
              ⁡
              
                (
                
                  
                    
                      
                        
                        
                          c
                          
                            r
                            ⁢
                            
                              
                            
                            ⁢
                            d
                          
                        
                        
                      
                      2
                    
                    ⁢
                    
                      P
                      r
                    
                  
                  
                    1
                    +
                    
                      
                        
                          
                          
                            c
                            
                              s
                              ⁢
                              
                                
                              
                              ⁢
                              d
                            
                          
                          
                        
                        2
                      
                      ⁢
                      
                        P
                        
                          
                            
                          
                          ⁢
                          
                            s
                            ⁢
                            
                              
                            
                            ⁢
                            2
                          
                        
                      
                    
                  
                
                )
              
            
          
        
        ,
      
    
    
      
        (
        5
        )
      
    
  




where the normalization factor (1−α)/α is due to half-duplex relaying.

With both Y′r=Yr+N=csrXs1+Zr+N and Yd1=csdXs1+Zd1 available at the destination as corrupted versions of Xs1, we can recover m1 with the information provided by Y′r and Yd1 jointly. The joint log-likelihood-ratio (LLR) is




  
    
      
        
          
            
              
                
                  
                    
                      
                        L
                        ch
                      
                      ⁡
                      
                        (
                        
                          
                            
                              m
                              1
                            
                            |
                            
                              y
                              r
                              ′
                            
                          
                          ,
                          
                            y
                            
                              d
                              ⁢
                              
                                
                              
                              ⁢
                              1
                            
                          
                        
                        )
                      
                    
                    =
                    
                    ⁢
                    
                      log
                      ⁡
                      
                        (
                        
                          
                            f
                            (
                            
                              
                                m
                                1
                              
                              =
                              
                                0
                                ⁢
                                
                                  
                                  
                                    
                                      y
                                      r
                                      ′
                                    
                                    ,
                                    
                                      y
                                      
                                        d
                                        ⁢
                                        
                                          
                                        
                                        ⁢
                                        1
                                      
                                    
                                  
                                  )
                                
                              
                            
                          
                          
                            f
                            ⁡
                            
                              (
                              
                                
                                  
                                    m
                                    1
                                  
                                  =
                                  
                                    1
                                    |
                                    
                                      y
                                      r
                                      ′
                                    
                                  
                                
                                ,
                                
                                  y
                                  
                                    d
                                    ⁢
                                    
                                      
                                    
                                    ⁢
                                    1
                                  
                                
                              
                              )
                            
                          
                        
                        )
                      
                    
                  
                
              
              
                
                  
                    =
                    
                    ⁢
                    
                      log
                      ⁡
                      
                        (
                        
                          
                            
                              f
                              ⁡
                              
                                (
                                
                                  
                                    y
                                    r
                                    ′
                                  
                                  ,
                                  
                                    
                                      
                                        y
                                        
                                          d
                                          ⁢
                                          
                                            
                                          
                                          ⁢
                                          1
                                        
                                      
                                      |
                                      
                                        m
                                        1
                                      
                                    
                                    =
                                    0
                                  
                                
                                )
                              
                            
                            ⁢
                            
                              P
                              ⁡
                              
                                (
                                
                                  
                                    m
                                    1
                                  
                                  =
                                  0
                                
                                )
                              
                            
                          
                          
                            
                              f
                              ⁡
                              
                                (
                                
                                  
                                    y
                                    r
                                    ′
                                  
                                  ,
                                  
                                    
                                      
                                        y
                                        
                                          d
                                          ⁢
                                          
                                            
                                          
                                          ⁢
                                          1
                                        
                                      
                                      |
                                      
                                        m
                                        1
                                      
                                    
                                    =
                                    1
                                  
                                
                                )
                              
                            
                            ⁢
                            
                              P
                              ⁡
                              
                                (
                                
                                  
                                    m
                                    1
                                  
                                  =
                                  1
                                
                                )
                              
                            
                          
                        
                        )
                      
                    
                  
                
              
              
                
                  
                    =
                    
                    ⁢
                    
                      
                        
                          -
                          2
                        
                        ⁢
                        
                          
                            P
                            
                              s
                              ⁢
                              
                                
                              
                              ⁢
                              1
                            
                          
                        
                        ⁢
                        
                          (
                          
                            
                              
                                
                                  c
                                  sr
                                
                                
                                  1
                                  +
                                  
                                    
                                      D
                                      WZ
                                    
                                    ⁡
                                    
                                      (
                                      R
                                      )
                                    
                                  
                                
                              
                              ⁢
                              
                                y
                                r
                                ′
                              
                            
                            +
                            
                              
                                c
                                sd
                              
                              ⁢
                              
                                y
                                
                                  d
                                  ⁢
                                  
                                    
                                  
                                  ⁢
                                  1
                                
                              
                            
                          
                          )
                        
                      
                      +
                    
                  
                
              
              
                
                  
                    
                    ⁢
                    
                      log
                      ⁢
                      
                        
                      
                      ⁢
                      
                        
                          P
                          ⁡
                          
                            (
                            
                              
                                m
                                1
                              
                              =
                              0
                            
                            )
                          
                        
                        
                          P
                          ⁡
                          
                            (
                            
                              
                                m
                                1
                              
                              =
                              1
                            
                            )
                          
                        
                      
                    
                  
                
              
              
                
                  
                    
                      
                        =
                        
                        ⁢
                        
                          
                            
                              -
                              2
                            
                            ⁢
                            
                              y
                              ~
                            
                          
                          +
                          
                            log
                            ⁢
                            
                              
                            
                            ⁢
                            
                              
                                P
                                ⁡
                                
                                  (
                                  
                                    
                                      m
                                      1
                                    
                                    =
                                    0
                                  
                                  )
                                
                              
                              
                                P
                                ⁡
                                
                                  (
                                  
                                    
                                      m
                                      1
                                    
                                    =
                                    1
                                  
                                  )
                                
                              
                            
                          
                        
                      
                      ,
                    
                    
                  
                
              
            
          
        
        
          
            
              where
              ⁢
              
                

              
              ⁢
              
                
                  y
                  ~
                
                =
                
                  
                    
                      
                        
                          c
                          sr
                        
                        ⁢
                        
                          
                            P
                            
                              s
                              ⁢
                              
                                
                              
                              ⁢
                              1
                            
                          
                        
                      
                      
                        1
                        +
                        
                          
                            D
                            WZ
                          
                          ⁡
                          
                            (
                            R
                            )
                          
                        
                      
                    
                    ⁢
                    
                      y
                      r
                      ′
                    
                  
                  +
                  
                    
                      c
                      sd
                    
                    ⁢
                    
                      
                        
                          
                            P
                            
                              s
                              ⁢
                              
                                
                              
                              ⁢
                              1
                            
                          
                          ⁢
                          
                            y
                            
                              d
                              ⁢
                              
                                
                              
                              ⁢
                              1
                            
                          
                        
                      
                      .
                    
                  
                
              
            
          
        
      
    
    
      
        (
        6
        )
      
    
  




Assume P(m1=0)=P(m1=1)=0.5, then

Lch(m1|y′r,yd1)=−2{tilde over (y)}

which is the LLR from the AWGN channel with channel output {tilde over (Y)} and unit noise variance. Therefore this LLR is equivalent to the LLR of the combination of yd1 and y′r with the same coefficients as maximum ratio combining (MRC). (For more information on maximum ratio combining, please refer to: Andear Goldsmith, Wireless Communications, Cambridge University Press, Aug. 8, 2005, on page 214-216.) Then we can decode m1 using joint decoding similar to MRC with rate





  
    
      
        
          
            R
            r
          
          ⁡
          
            (
            α
            )
          
        
        ≤
        
          α
          ⁢
          
            
          
          ⁢
          
            
              C
              ⁡
              
                (
                
                  
                    
                      
                        
                        
                          c
                          sd
                        
                        
                      
                      2
                    
                    ⁢
                    
                      P
                      
                        s
                        ⁢
                        
                          
                        
                        ⁢
                        1
                      
                    
                  
                  +
                  
                    
                      
                        
                          
                          
                            c
                            sr
                          
                          
                        
                        2
                      
                      ⁢
                      
                        P
                        
                          s
                          ⁢
                          
                            
                          
                          ⁢
                          1
                        
                      
                    
                    
                      1
                      +
                      
                        
                          D
                          WZ
                        
                        ⁡
                        
                          (
                          R
                          )
                        
                      
                    
                  
                
                )
              
            
            .
          
        
      
    
    
      
        (
        7
        )
      
    
  




Once m1 is recovered, Xr can be reconstructed and crdXr eliminated from Yd2=crdXr+csdXs2+Zd2. Then, m2 can be decoded with rate

Rd(α)=(1−α)C(|csd|2Ps2).  (7B)

Consequently, the overall achievable rate of CF for the half-duplex relay channel with specific α is




  
    
      
        
          
            
              
                
                  R
                  CF
                
                ⁡
                
                  (
                  α
                  )
                
              
              =
              
              ⁢
              
                
                  
                    R
                    r
                  
                  ⁡
                  
                    (
                    α
                    )
                  
                
                +
                
                  
                    R
                    d
                  
                  ⁡
                  
                    (
                    α
                    )
                  
                
              
            
          
        
        
          
            
              ≤
              
              ⁢
              
                
                  α
                  ⁢
                  
                    
                  
                  ⁢
                  
                    C
                    ⁡
                    
                      (
                      
                        
                          
                            
                              
                              
                                c
                                sd
                              
                              
                            
                            2
                          
                          ⁢
                          
                            P
                            
                              
                                
                              
                              ⁢
                              
                                s
                                ⁢
                                
                                  
                                
                                ⁢
                                1
                              
                            
                          
                        
                        +
                        
                          
                            
                              
                                
                                
                                  c
                                  sr
                                
                                
                              
                              2
                            
                            ⁢
                            
                              P
                              
                                s
                                ⁢
                                
                                  
                                
                                ⁢
                                1
                              
                            
                          
                          
                            1
                            +
                            
                              
                                D
                                WZ
                              
                              ⁡
                              
                                (
                                R
                                )
                              
                            
                          
                        
                      
                      )
                    
                  
                
                +
                
                  
                    (
                    
                      1
                      -
                      α
                    
                    )
                  
                  ⁢
                  
                    
                      C
                      ⁡
                      
                        (
                        
                          
                            
                              
                              
                                c
                                sd
                              
                              
                            
                            2
                          
                          ⁢
                          
                            P
                            
                              s
                              ⁢
                              
                                
                              
                              ⁢
                              2
                            
                          
                        
                        )
                      
                    
                    .
                  
                
              
            
          
        
      
    
    
      
        (
        8
        )
      
    
  




Therefore, the bound for the achievable rate with CF can be written as





  
    
      
        
          
            
              
                R
                CF
              
              ≤
              
              ⁢
              
                
                  max
                  
                    0
                    ≤
                    α
                    ≤
                    1
                  
                
                ⁢
                
                  
                    R
                    CF
                  
                  ⁡
                  
                    (
                    α
                    )
                  
                
              
            
          
        
        
          
            
              ≤
              
              ⁢
              
                
                  max
                  
                    0
                    ≤
                    α
                    ≤
                    1
                  
                
                ⁢
                
                  
                    (
                    
                      
                        α
                        ⁢
                        
                          
                        
                        ⁢
                        C
                        ⁢
                        
                          (
                          
                            
                              
                                
                                  
                                  
                                    c
                                    
                                      sd
                                      ⁢
                                      
                                        
                                      
                                    
                                  
                                  
                                
                                2
                              
                              ⁢
                              
                                P
                                
                                  s
                                  ⁢
                                  
                                    
                                  
                                  ⁢
                                  1
                                
                              
                            
                            +
                            
                              
                                
                                  
                                    
                                    
                                      c
                                      sr
                                    
                                    
                                  
                                  2
                                
                                ⁢
                                
                                  P
                                  
                                    s
                                    ⁢
                                    
                                      
                                    
                                    ⁢
                                    1
                                  
                                
                              
                              
                                1
                                +
                                
                                  
                                    D
                                    WZ
                                  
                                  ⁡
                                  
                                    (
                                    R
                                    )
                                  
                                
                              
                            
                          
                          )
                        
                      
                      +
                      
                        
                          (
                          
                            1
                            -
                            α
                          
                          )
                        
                        ⁢
                        
                          C
                          ⁡
                          
                            (
                            
                              
                                
                                  
                                  
                                    c
                                    sd
                                  
                                  
                                
                                2
                              
                              ⁢
                              
                                P
                                
                                  s
                                  ⁢
                                  
                                    
                                  
                                  ⁢
                                  2
                                
                              
                            
                            )
                          
                        
                      
                    
                    )
                  
                  .
                
              
            
          
        
      
    
    
      
        (
        9
        )
      
    
  




Note that the above achievable rate is given under the transmitting power constraints Ps1, Ps2, and Pr. We now consider the rates under the average power constraints Ps and Pr. Since the relay only transmits during the relay-transmit period T2 with block length n(1−α), the normalized transmitting power at the relay is Pr/(1−α). Similarly, the normalized transmitting power at the source during the relay-receive period T1 and the relay-transmit period T2 is Ps1=kPs/α and Ps2=(1−k)Ps/(1−α), respectively, where k (0≦k≦1) and α determine the power allocation at the transmitter.
For the relay channel with BPSK modulation, the signals Yr and Yd, are given by (1) and (2), and Xs1 is a BPSK-modulated signal, taking values at √{square root over (Ps1)} and −√{square root over (Ps1)} with the probabilities p and 1−p, respectively. Zr and Zd are i.i.d. Gaussian noise with zero mean and unit variance. Without loss of generality, we assume p=0.5. Because

YrXs1Yd1 

forms a Markov chain, the conditional pdf f(yr|yd1) is





  
    
      
        
          
            f
            ⁡
            
              (
              
                
                  y
                  r
                
                |
                
                  y
                  
                    d
                    ⁢
                    
                      
                    
                    ⁢
                    1
                  
                
              
              )
            
          
          =
          
            
              ζ
              ⁢
              
                1
                
                  
                    2
                    ⁢
                    π
                  
                
              
              ⁢
              
                exp
                (
                
                  -
                  
                    
                      
                        
                      
                      ⁢
                      
                        
                          (
                          
                            
                              y
                              r
                            
                            -
                            
                              
                                c
                                sr
                              
                              ⁢
                              
                                
                                  P
                                  
                                    s
                                    ⁢
                                    
                                      
                                    
                                    ⁢
                                    1
                                  
                                
                              
                            
                          
                          )
                        
                        2
                      
                    
                    2
                  
                
                )
              
            
            +
            
              
                (
                
                  1
                  -
                  ζ
                
                )
              
              ⁢
              
                1
                
                  
                    2
                    ⁢
                    π
                  
                
              
              ⁢
              
                exp
                (
                
                  -
                  
                    
                      
                        (
                        
                          
                            y
                            r
                          
                          +
                          
                            
                              c
                              sr
                            
                            ⁢
                            
                              
                                P
                                
                                  s
                                  ⁢
                                  
                                    
                                  
                                  ⁢
                                  1
                                
                              
                            
                          
                        
                        )
                      
                      2
                    
                    2
                  
                
                )
              
            
          
        
        ,
      
    
    
      
        (
        10
        )
      
    
  
  
    
      
        
          
        
        ⁢
        where
      
    
    
      
        
      
    
  
  
    
      
        
          
        
        ⁢
        
          ζ
          =
          
            
              1
              
                1
                +
                
                  exp
                  ⁡
                  
                    (
                    
                      
                        -
                        2
                      
                      ⁢
                      
                        c
                        sd
                      
                      ⁢
                      
                        
                          P
                          
                            s
                            ⁢
                            
                              
                            
                            ⁢
                            1
                          
                        
                      
                      ⁢
                      
                        y
                        
                          d
                          ⁢
                          
                            
                          
                          ⁢
                          1
                        
                      
                    
                    )
                  
                
              
            
            .
          
        
      
    
    
      
        
      
    
  




It is seen from (10) that the conditional probability of Yr given Yd1 is the weighted superposition (mixture) of two Gaussian distributions centered at csr√{square root over (Ps1)} and −csr√{square root over (Ps1)}, respectively, with the identical unit variance. The weights rely on the likelihood of xs1 providing yd1. Several examples of f(yr|yd1) with specific values of yd1 at d=9 m. are shown in FIG. 8 to provide an intuitive view.
Distributed Joint Source-Channel Coding (DJSCC) at the Relay
For Slepian-Wolf Coded Nested Quantization (SWC-NQ) as practical WZC for CF relaying, since Slepian Wolf coding (SWC) is implemented by channel codes, separate source-channel coding at the relay (with side information Yd1, at the destination) requires two channel codes: one for SWC (or source coding) and another for forward error protection (or channel coding). However, just like Shannon's classic separation principle, the separation principle for the noisy channel SWC/WZC problem only holds asymptotically (i.e., with infinite code length). In practical designs with finite code length, joint source-channel coding with side information (or DJSCC) should outperform a separate design.
The basic idea of DJSCC is to use one channel code for both Slepian-Wolf compression and forward error protection. This is possible because a) in addition to the optimal syndrome-based approach for SWC, parity bits of a systematic channel code can also be used for SWC, and b) if the number of parity bits exceeds the Slepian-Wolf limit, the added redundancy can be exploited for protection. In the following, we briefly explain the so-called parity-based approach for SWC before moving on to parity-based DJSCC.
The parity-based SWC scheme for binary i.i.d. sources employs an (n+r, n) linear systematic channel code. To compress an n-bit vector from the source X, the encoder outputs r parity bits of the underlying systematic channel code as its compressed version, meaning r≦n. In addition, r≧nH(X|Y) by the Slepian-Wolf theorem. (For information on the Slepian-Wolf theorem, please refer to D. Slepian and J. Wolf, “Noiseless coding of correlated information sources,” IEEE Trans. Inform. Theory, vol. 19, pp. 471-480, July 1973.) Thus the rate n/(n+r) of the employed systematic channel code must be no greater than 1/(1+H(X|Y)), which is no less than 1/2. The decoder concatenates the r parity bits and the corresponding n side information bits from Y to form the received (n+r)-bit codeword before attempting to reconstruct its original n-bit systematic part as the decoded source vector.
When r=n−k, the (2n−k, n) systematic channel code in the above parity-based SWC scheme can be designed to give the same performance as the syndrome-based SWC scheme, which outputs n−k syndrome bits of an (n, k) binary channel code for the “virtual” correlation channel between the two correlated sources X and Y. The syndrome-based approach is optimal in the sense that if the (n, k) binary channel code approaches the capacity of the “virtual” correlation channel, it also provides limit-approaching performance in SWC.
Although a longer (2n−k, n) code is needed in the parity-based approach to obtain the same SWC performance as an (n, k) code in the syndrome-based approach—the reason why the latter is preferred for SWC, the advantage of the former lies in the ease with its generalization to DJSCC. On the other hand, it is not clear if the latter can be extended to DJSCC. This is because in contrast to parity bits, syndrome bits cannot provide error protection.
Under the same encoding/decoding structure that employs an (n+r, n) linear systematic channel code for parity-based SWC, the extension to parity-based DJSCC involves two steps. First, because the r parity bits generated by the encoder now provides joint Slepian-Wolf compression and error protection, r is not upper bounded by n any more. In addition, r≧nH(X|Y)/C. Since the capacity C≦1, the encoder generally outputs more parity bits than the Slepian-Wolf limit. It is this added redundancy that provides error protection. Second, because we are using one channel code in DJSCC to do two jobs (SWC and error protection), the code design now involves two channels: one is the “virtual” correlation channel between the correlated sources; another is the physical noisy channel through which the parity bits are transmitted. Finding the right class of linear systematic code whose design process can readily accommodate two such channels is the starting point of DJSCC.
Liveris et al. (Liveris, Xiong, and Georghiades, “Joint source-channel coding of binary sources with side information at the decoder using IRA codes”, in Proc. MMSP-2002, St. Thomas, US Virgin Islands, December 2002) employ systematic IRA codes for DJSCC of binary source X with decoder side information Y. The basic idea of Liveris et al. is depicted in FIG. 9, where the distributed joint source-channel (DJSC) encoder only generates IRA parity bits for transmission over the noisy channel, and the already existing side information Y at the decoder is viewed as a “noisy” version of the source X (or systematic part); the IRA/DJSC decoder combines Y and the received noisy parity bits to reconstruct {circumflex over (X)}.
IRA codes (introduced in Jin, Khandekar and McEliece, “Irregular repeat-accumulate codes,” in Proc. 2nd Int. Symp. Turbo codes and related topics, September 2000) can perform close to capacity on the binary-input AWGN channel. In addition, systematic IRA codes have the advantages of both LDPC codes (with iterative decoding) and turbo codes (with linear-time encoding). They are well suited for DJSCC because they can be designed using Gaussian approximation to take into account the two different channels.
CF Code Design
A. Quantizer Design
Nested scalar quantizer design for Yr, targets at finding the optimal nesting ratio N and scalar quantization stepsize q to minimize the distortion while subjecting to the rate constraint




  
    
      
        
          R
          ≤
          
            
              
                1
                -
                α
              
              α
            
            ⁢
            
              C
              
                r
                ⁢
                
                  
                
                ⁢
                d
              
            
          
        
        ,
      
    
    
      
        (
        36
        )
      
    
  




where the rate R=H(W|Yd1) due to Slepian-Wolf coding of the nested quantization index W and Crd is the capacity of the channel between the relay and the destination with BPSK modulation. Due to BPSK modulation, NSQ has to operate at the low rate. We hence resort to simulations to generate the operational distortion-rate function {tilde over (D)}WZ(R) of SWC-NSQ by varying N and q. Based on {tilde over (D)}WZ(R), the operational point at R that is slightly less than the target rate (1−α)/(αCrd) is picked and its corresponding N and q identified as the optimal parameters for NSQ.

We draw L (e.g., 105) samples of Yr′ and Yd1′ offline (here we use Yr′ and Yd1′ to distinguish them from Yr and Yd1 because Yd1 is not available at the relay) according to the joint distribution of Yr and Yd1, quantize Yr′ into W′, decode Ŷr′ jointly from W′ and Yd1′, and compute the corresponding rate R′=H(W′|Yd1′) and distortion




  
    
      D
      WZ
      ′
    
    ⁡
    
      (
      
        R
        ′
      
      )
    
  
  =
  
    
      1
      L
    
    ⁢
    
      
        ∑
        
          i
          =
          1
        
        L
      
      ⁢
      
        
      
      ⁢
      
        
          
          
            
              
                Y
                r
                ′
              
              ⁡
              
                [
                i
                ]
              
            
            -
            
              
                
                  Y
                  ^
                
                r
                ′
              
              ⁡
              
                [
                i
                ]
              
            
          
          
        
        2
      
    
  




with different N and q. For

|csr|2=1, |csd|2=0.5,

and Ps1=10, FIG. 10 shows the distortion-rate curves for several different nesting ratios N, where each curve is generated by varying q while fixing N. The lower envelope of these curves is the operational distortion-rate function {tilde over (D)}WZ(R) of SWC-NSQ, which is 1.5 dB away from the upper bound DWZadd(R) at high rate.

When reconstructing W′ into Ŷr′, non-linear estimation may be applied to reduce the distortion, especially at low rate. Denote J(W′) as the index of W′, 0<J<N−1, then the Ŷr′ is reconstructed into




  
    
      
        
          
            
              Y
              ^
            
            r
            ′
          
          =
          
            
              
                ∑
                k
              
              ⁢
              
                
              
              ⁢
              
                
                  ∫
                  
                    
                      (
                      
                        kN
                        +
                        
                          J
                          ⁡
                          
                            (
                            
                              W
                              ′
                            
                            )
                          
                        
                      
                      )
                    
                    ⁢
                    q
                  
                  
                    
                      (
                      
                        kN
                        +
                        
                          J
                          ⁡
                          
                            (
                            
                              W
                              ′
                            
                            )
                          
                        
                        +
                        1
                      
                      )
                    
                    ⁢
                    q
                  
                
                ⁢
                
                  
                    y
                    r
                  
                  ⁢
                  
                    f
                    ⁡
                    
                      (
                      
                        
                          y
                          r
                        
                        ❘
                        
                          y
                          
                            d
                            ⁢
                            
                              
                            
                            ⁢
                            1
                          
                        
                      
                      )
                    
                  
                  ⁢
                  
                    
                  
                  ⁢
                  
                    d
                    
                      y
                      r
                    
                  
                
              
            
            
              
                ∑
                k
              
              ⁢
              
                
              
              ⁢
              
                
                  ∫
                  
                    
                      (
                      
                        kN
                        +
                        
                          J
                          ⁡
                          
                            (
                            
                              W
                              ′
                            
                            )
                          
                        
                      
                      )
                    
                    ⁢
                    q
                  
                  
                    
                      (
                      
                        kN
                        +
                        
                          J
                          ⁡
                          
                            (
                            
                              W
                              ′
                            
                            )
                          
                        
                        +
                        1
                      
                      )
                    
                    ⁢
                    q
                  
                
                ⁢
                
                  
                    f
                    ⁡
                    
                      (
                      
                        
                          y
                          r
                        
                        ❘
                        
                          y
                          
                            d
                            ⁢
                            
                              
                            
                            ⁢
                            1
                          
                        
                      
                      )
                    
                  
                  ⁢
                  
                    
                  
                  ⁢
                  
                    d
                    
                      y
                      r
                    
                  
                
              
            
          
        
        ,
      
    
    
      
        (
        37
        )
      
    
  




where f(yr|yd1) is given by (10). For more information regarding non-linear estimation, please refer to: (a) Liu et al., “Slepian-Wolf coded nested quantization for Wyner-Ziv coding: High-rate performance analysis and code design”, IEEE Trans. Inform. Theory, vol. 52, October 2006, and (b) U.S. patent application Ser. No. 11/086,778, filed on Mar. 22, 2005, entitled “Data Encoding and Decoding Using Slepian-Wolf Coded Nested Quantization to Achieve Wyner-Ziv Coding”, invented by Liu, Cheng, Liveris and Xiong which are hereby incorporated by reference in their entirety.

B. DJSCC Based on IRA Codes

When the nesting ratio N=2 in NSQ, using a binary systematic (n, nα) IRA code of rate α, we apply parity-based DJSCC at the relay and encode the binary quantization index W (of length nα) into parity bits Xr of length n(1−α) for transmission to the destination. The destination receives Yd2=crdXr+csdXs2+Zd where csdXs2+Zd is treated as the additive noise. Meanwhile, the side information Yd1 at the destination plays the role of the “noisy” systematic part of the IRA codeword. Then W is decoded from [Yd1,Yd2] by the IRA/DJSC decoder, resulting in Ŵ. Since in the optimal NSQ design, we pick its rate such that




  
    
      
        
          R
          =
          
            
              H
              ⁡
              
                (
                
                  W
                  ❘
                  
                    Y
                    
                      d
                      ⁢
                      
                        
                      
                      ⁢
                      1
                    
                  
                
                )
              
            
            <
            
              
                
                  1
                  -
                  α
                
                α
              
              ⁢
              
                C
                rd
              
            
          
        
        ,
      
    
    
      
        (
        38
        )
      
    
  




we have





  
    
      
        
          
            n
            ⁡
            
              (
              
                1
                -
                α
              
              )
            
          
          >
          
            
              n
              ⁢
              
                
              
              ⁢
              α
              ⁢
              
                
              
              ⁢
              
                H
                ⁡
                
                  (
                  
                    W
                    ❘
                    
                      Y
                      
                        d
                        ⁢
                        
                          
                        
                        ⁢
                        1
                      
                    
                  
                  )
                
              
            
            
              C
              
                r
                ⁢
                d
              
            
          
        
        ,
      
    
    
      
        (
        39
        )
      
    
  




in DJSCC, which fulfills the requirement for successful decoding of W.

When N>2 in NSQ, we employ a multi-level systematic IRA code for DJSCC, where each of the ┌log N┐ levels is used for one bit plane of W. Denote J (0≦J≦N−1) as the index of W and write J as

B┌log N┐, . . . , B1 

in its binary representation, where B1 is the least significant bit of W and B┌log N┐ its most significant bit. The first-level binary systematic (nα+r1, nα) IRA code with





  
    
      
        
          r
          1
        
        >
        
          
            n
            ⁢
            
              
            
            ⁢
            α
            ⁢
            
              
            
            ⁢
            
              H
              ⁡
              
                (
                
                  
                    B
                    1
                  
                  ❘
                  
                    Y
                    
                      d
                      ⁢
                      
                        
                      
                      ⁢
                      1
                    
                  
                
                )
              
            
          
          
            C
            rd
          
        
      
    
    
      
        (
        40
        )
      
    
  




outputs r1 parity bits after DJSCC of B1, and the j-th level (2≦j≦┌log N┐) binary systematic (nα+rj, nα) IRA code with





  
    
      
        
          r
          j
        
        >
        
          
            n
            ⁢
            
              
            
            ⁢
            α
            ⁢
            
              
            
            ⁢
            
              H
              ⁡
              
                (
                
                  
                    
                      B
                      j
                    
                    ❘
                    
                      Y
                      
                        d
                        ⁢
                        
                          
                        
                        ⁢
                        1
                      
                    
                  
                  ,
                  
                    B
                    
                      j
                      -
                      1
                    
                  
                  ,
                  ...
                  ⁢
                  
                    
                  
                  ,
                  
                    B
                    1
                  
                
                )
              
            
          
          
            C
            rd
          
        
      
    
    
      
        (
        41
        )
      
    
  




outputs rj parity bits after DJSCC of Bj. In addition, the rj's are chosen so that





  
    
      
        
          
            ∑
            
              j
              =
              1
            
            
              ⌈
              
                log
                ⁢
                
                  
                    
                  
                  ⁢
                  
                    
                  
                
                ⁢
                N
              
              ⌉
            
          
          ⁢
          
            
          
          ⁢
          
            r
            j
          
        
        =
        
          
            n
            ⁡
            
              (
              
                1
                -
                α
              
              )
            
          
          .
        
      
    
    
      
        (
        42
        )
      
    
  




By the chain rule,





  
    
      
        
          
            
              ∑
              
                j
                =
                1
              
              
                ⌈
                
                  log
                  ⁢
                  
                    
                  
                  ⁢
                  N
                
                ⌉
              
            
            ⁢
            
              
            
            ⁢
            
              H
              ⁡
              
                (
                
                  
                    
                      B
                      j
                    
                    ❘
                    
                      Y
                      
                        d
                        ⁢
                        
                          
                        
                        ⁢
                        1
                      
                    
                  
                  ,
                  
                    B
                    
                      j
                      -
                      1
                    
                  
                  ,
                  ...
                  ⁢
                  
                    
                  
                  ,
                  
                    B
                    1
                  
                
                )
              
            
          
          =
          
            H
            ⁡
            
              (
              
                W
                ❘
                
                  Y
                  
                    d
                    ⁢
                    
                      
                    
                    ⁢
                    1
                  
                
              
              )
            
          
        
        ,
      
    
    
      
        (
        43
        )
      
    
  




then (40)-(43) lead to





  
    
      
        
          
            n
            ⁡
            
              (
              
                1
                -
                α
              
              )
            
          
          =
          
            
              
                ∑
                
                  j
                  =
                  1
                
                
                  ⌈
                  
                    log
                    ⁢
                    
                      
                    
                    ⁢
                    N
                  
                  ⌉
                
              
              ⁢
              
                
              
              ⁢
              
                r
                j
              
            
            >
            
              
                n
                ⁢
                
                  
                
                ⁢
                α
                ⁢
                
                  
                
                ⁢
                
                  H
                  ⁡
                  
                    (
                    
                      W
                      ❘
                      
                        Y
                        
                          d
                          ⁢
                          
                            
                          
                          ⁢
                          1
                        
                      
                    
                    )
                  
                
              
              
                C
                rd
              
            
          
        
        ,
      
    
    
      
        (
        44
        )
      
    
  




which is again guaranteed by our choice of rate in (38) for NSQ.

RATE COMPUTATION FOR EACH BIT PLANE: From (40) and (41), we see that knowing the “sum-rate” H(W|Yd1) after NSQ is not enough for multi-level IRA code design in DJSCC, the conditional entropy of each bit plane of W is also needed. We start from estimate

Pr(B1=b1, . . . , Bj=bj|Yd1=yd1),

where b1, . . . , bj, yd1, are specific realizations of B1, . . . , Bj, Yd1, respectively. Since Bj is determined by Yr, we denote Bj=bj(Yr) as a function of Yr. Therefore we have





  
    
      
        
          
            
              
                P
                r
              
              ⁡
              
                (
                
                  
                    
                      B
                      1
                    
                    =
                    
                      b
                      1
                    
                  
                  ,
                  ...
                  ⁢
                  
                    
                  
                  ,
                  
                    
                      B
                      j
                    
                    =
                    
                      
                        
                          b
                          j
                        
                        ❘
                        
                          Y
                          
                            d
                            ⁢
                            
                              
                            
                            ⁢
                            1
                          
                        
                      
                      =
                      
                        y
                        
                          d
                          ⁢
                          
                            
                          
                          ⁢
                          1
                        
                      
                    
                  
                
                )
              
            
          
        
        
          
            
              =
              
                
                  ∫
                  
                    
                      
                        
                          b
                          1
                        
                        ⁡
                        
                          (
                          
                            y
                            r
                          
                          )
                        
                      
                      =
                      
                        b
                        1
                      
                    
                    ,
                    ...
                    ,
                    
                      
                        
                          b
                          2
                        
                        ⁡
                        
                          (
                          
                            y
                            r
                          
                          )
                        
                      
                      =
                      
                        b
                        j
                      
                    
                  
                
                ⁢
                
                  
                    f
                    ⁡
                    
                      (
                      
                        
                          y
                          r
                        
                        ❘
                        
                          y
                          
                            d
                            ⁢
                            
                              
                            
                            ⁢
                            1
                          
                        
                      
                      )
                    
                  
                  ⁢
                  
                    
                  
                  ⁢
                  
                    
                      d
                      
                        y
                        r
                      
                    
                    .
                  
                
              
            
          
        
      
    
    
      
        (
        45
        )
      
    
  




When NSQ is applied for quantization, the integration region

{yr|b1(yr)=b1, . . . , bj(yr)=bj}

is a union of an infinite number of disjoint intervals, and (45) can be calculated analytically using the erfc function. Since f(yr|yd1) decays exponentially from the origin, the sum up of a few Gaussian tail probabilities could be a good approximation of (45).

For the general quantization such as non-uniform quantization or high-dimensional quantization, however,

Pr(B1=b1, . . . , Bj=bj|Yd1=yd1)

cannot be calculated analytically. Instead, we use Monte Carlo simulations. At first, the real axis is divided into M intervals, partitioning all possible Yd1 into M regions  for m=1, . . . , M. Denote  as the region containing yd1, and define I(*) as the indicator function taking value one if its argument is true, or zero otherwise. We then calculate Pr(B1=b1, . . . , Bj=bj|Yd1=yd1) offline again by relying on the same L samples of (Yr′,Yd1′) we collect during the optimal NSQ design that results in





  
    
      
        
          
            
              
                P
                r
              
              ⁡
              
                (
                
                  
                    
                      B
                      1
                    
                    =
                    
                    ⁢
                    
                      b
                      1
                    
                  
                  ,
                  ...
                  ⁢
                  
                    
                  
                  ,
                  
                    
                      B
                      j
                    
                    =
                    
                      
                        
                          b
                          j
                        
                        ❘
                        
                          Y
                          
                            d
                            ⁢
                            
                              
                            
                            ⁢
                            1
                          
                        
                      
                      =
                      
                        y
                        
                          d
                          ⁢
                          
                            
                          
                          ⁢
                          1
                        
                      
                    
                  
                
                )
              
            
          
        
        
          
            
              ≈
              
              ⁢
              
                
                  P
                  r
                
                ⁡
                
                  (
                  
                    
                      
                        B
                        1
                      
                      =
                      
                        b
                        1
                      
                    
                    ,
                    ...
                    ⁢
                    
                      
                    
                    ,
                    
                      
                        B
                        j
                      
                      =
                      
                        
                          b
                          j
                        
                        ❘
                        
                          
                            Y
                            
                              d
                              ⁢
                              
                                
                              
                              ⁢
                              1
                            
                          
                          ∈
                                                  
                      
                    
                  
                  )
                
              
            
          
        
        
          
            
              ≈
              
              ⁢
              
                
                  
                    
                      ∑
                      
                        i
                        =
                        1
                      
                      L
                    
                    ⁢
                    
                      
                    
                    ⁢
                    
                      I
                      ⁡
                      
                        (
                        
                          
                            
                              
                                Y
                                
                                  d
                                  ⁢
                                  
                                    
                                  
                                  ⁢
                                  1
                                
                                ′
                              
                              ⁡
                              
                                [
                                i
                                ]
                              
                            
                            ∈
                                                      
                          ,
                          
                            
                              
                                b
                                1
                              
                              ⁡
                              
                                (
                                
                                  
                                    Y
                                    r
                                    ′
                                  
                                  ⁡
                                  
                                    [
                                    i
                                    ]
                                  
                                
                                )
                              
                            
                            =
                            
                              b
                              1
                            
                          
                          ,
                          ...
                          ⁢
                          
                            
                          
                          ,
                          
                            
                              
                                b
                                j
                              
                              ⁡
                              
                                (
                                
                                  
                                    Y
                                    r
                                    ′
                                  
                                  ⁡
                                  
                                    [
                                    i
                                    ]
                                  
                                
                                )
                              
                            
                            =
                            
                              b
                              j
                            
                          
                        
                        )
                      
                    
                  
                  
                    
                      ∑
                      
                        i
                        =
                        1
                      
                      L
                    
                    ⁢
                    
                      
                    
                    ⁢
                    
                      I
                      ⁡
                      
                        (
                        
                          
                            
                              Y
                              
                                d
                                ⁢
                                
                                  
                                
                                ⁢
                                1
                              
                              ′
                            
                            ⁡
                            
                              [
                              i
                              ]
                            
                          
                          ∈
                                                  
                        )
                      
                    
                  
                
                .
              
            
          
        
      
    
    
      
        (
        46
        )
      
    
  




Based on (46), the j-th level (1≦j≦┌log N┐) binary systematic (nα+rj, nα) IRA code can be designed with




  
    
      
        
          

        
        ⁢
        
          
            
              r
              j
            
            >
            
              
                
                  n
                  ⁢
                  
                    
                  
                  ⁢
                  α
                
                
                  C
                  rd
                
              
              ⁢
              
                H
                ⁡
                
                  (
                  
                    
                      
                        B
                        j
                      
                      ❘
                      
                        Y
                        
                          d
                          ⁢
                          
                            
                          
                          ⁢
                          1
                        
                      
                    
                    ,
                    
                      B
                      
                        j
                        -
                        1
                      
                    
                    ,
                    ...
                    ⁢
                    
                      
                    
                    ,
                    
                      B
                      1
                    
                  
                  )
                
              
            
          
          ⁢
          
            

          
          ⁢
          
            
              
                
                  
                    
                  
                  ⁢
                  
                    =
                    
                    ⁢
                    
                      
                        
                          n
                          ⁢
                          
                            
                          
                          ⁢
                          α
                        
                        
                          C
                          rd
                        
                      
                      ⁢
                      
                        
                          ∑
                          
                            m
                            =
                            1
                          
                          M
                        
                        ⁢
                        
                          
                        
                        ⁢
                        
                          
                            ∑
                            
                              
                                
                                  1
                                  ⁢
                                  
                                    
                                  
                                  ⁢
                                  
                                    b
                                    1
                                  
                                
                                ∈
                                
                                  {
                                  
                                    0
                                    ,
                                    1
                                  
                                  }
                                
                              
                              ,
                              
                                

                              
                              ⁢
                              ...
                              ⁢
                              
                                
                              
                              ,
                              
                                

                              
                              ⁢
                              
                                
                                  b
                                  
                                    j
                                    -
                                    1
                                  
                                
                                ∈
                                
                                  {
                                  
                                    0
                                    ,
                                    1
                                  
                                  }
                                
                              
                            
                          
                          ⁢
                          
                            
                          
                          ⁢
                          
                            
                              P
                              r
                            
                            ⁡
                            
                              (
                              
                                
                                  
                                    Y
                                    
                                      d
                                      ⁢
                                      
                                        
                                      
                                      ⁢
                                      1
                                    
                                  
                                  ∈
                                                                  
                                ,
                                
                                  
                                    B
                                    1
                                  
                                  =
                                  
                                    b
                                    1
                                  
                                
                                ,
                                ...
                                ⁢
                                
                                  
                                
                                ,
                                
                                  
                                    B
                                    
                                      j
                                      -
                                      1
                                    
                                  
                                  =
                                  
                                    b
                                    
                                      j
                                      -
                                      1
                                    
                                  
                                
                              
                              )
                            
                          
                        
                      
                    
                  
                
              
            
            
              
                
                  
                  ⁢
                  
                    H
                    ⁡
                    
                      (
                      
                        
                          P
                          r
                        
                        ⁡
                        
                          (
                          
                            
                              
                                B
                                j
                              
                              =
                              
                                
                                  1
                                  ❘
                                  
                                    
                                      Y
                                      
                                        d
                                        ⁢
                                        
                                          
                                        
                                        ⁢
                                        1
                                      
                                    
                                    ∈
                                    
                                      B
                                      1
                                    
                                  
                                
                                =
                                
                                  b
                                  1
                                
                              
                            
                            ,
                            ...
                            ⁢
                            
                              
                            
                            ,
                            
                              
                                B
                                
                                  j
                                  -
                                  1
                                
                              
                              =
                              
                                b
                                
                                  j
                                  -
                                  1
                                
                              
                            
                          
                          )
                        
                      
                      )
                    
                  
                
              
            
            
              
                
                  =
                  
                  ⁢
                  
                    
                      
                        n
                        ⁢
                        
                          
                        
                        ⁢
                        α
                      
                      
                        C
                        rd
                      
                    
                    ⁢
                    
                      
                        ∑
                        
                          m
                          =
                          1
                        
                        M
                      
                      ⁢
                      
                        
                      
                      ⁢
                      
                        
                          ∑
                          
                            
                              
                                1
                                ⁢
                                
                                  
                                
                                ⁢
                                
                                  b
                                  1
                                
                              
                              ∈
                              
                                {
                                
                                  0
                                  ,
                                  1
                                
                                }
                              
                            
                            ,
                            
                              

                            
                            ⁢
                            ...
                            ⁢
                            
                              
                            
                            ,
                            
                              

                            
                            ⁢
                            
                              
                                b
                                
                                  j
                                  -
                                  1
                                
                              
                              ∈
                              
                                {
                                
                                  0
                                  ,
                                  1
                                
                                }
                              
                            
                          
                        
                        ⁢
                        
                          
                        
                        ⁢
                        
                          
                            P
                            r
                          
                          ⁡
                          
                            (
                            
                              
                                
                                  Y
                                  
                                    d
                                    ⁢
                                    
                                      
                                    
                                    ⁢
                                    1
                                  
                                
                                ∈
                                                              
                              ,
                              
                                
                                  B
                                  1
                                
                                =
                                
                                  b
                                  1
                                
                              
                              ,
                              ...
                              ⁢
                              
                                
                              
                              ,
                              
                                
                                  B
                                  
                                    j
                                    -
                                    1
                                  
                                
                                =
                                
                                  b
                                  
                                    j
                                    -
                                    1
                                  
                                
                              
                            
                            )
                          
                        
                      
                    
                  
                
              
            
            
              
                
                  
                  ⁢
                  
                    
                      H
                      ⁡
                      
                        (
                        
                          
                            
                              
                            
                            ⁢
                            
                              
                                P
                                r
                              
                              ⁡
                              
                                (
                                
                                  
                                    
                                      B
                                      1
                                    
                                    =
                                    
                                      b
                                      1
                                    
                                  
                                  ,
                                  ...
                                  ⁢
                                  
                                    
                                  
                                  ,
                                  
                                    
                                      B
                                      j
                                    
                                    =
                                    
                                      1
                                      ❘
                                      
                                        
                                          Y
                                          
                                            d
                                            ⁢
                                            
                                              
                                            
                                            ⁢
                                            1
                                          
                                        
                                        ∈
                                                                              
                                    
                                  
                                
                                )
                              
                            
                          
                          
                            
                              P
                              r
                            
                            ⁡
                            
                              (
                              
                                
                                  
                                    B
                                    1
                                  
                                  =
                                  
                                    b
                                    1
                                  
                                
                                ,
                                ...
                                ⁢
                                
                                  
                                
                                ,
                                
                                  
                                    B
                                    
                                      j
                                      -
                                      1
                                    
                                  
                                  =
                                  
                                    
                                      b
                                      
                                        j
                                        -
                                        1
                                      
                                    
                                    ❘
                                    
                                      
                                        Y
                                        
                                          d
                                          ⁢
                                          
                                            
                                          
                                          ⁢
                                          1
                                        
                                      
                                      ∈
                                                                          
                                  
                                
                              
                              )
                            
                          
                        
                        )
                      
                    
                    ⁢
                    
                      

                    
                    ⁢
                    where
                    ⁢
                    
                      

                    
                    ⁢
                    
                      
                        P
                        r
                      
                      ⁢
                      
                        (
                        
                          
                            
                              B
                              1
                            
                            =
                            
                              b
                              1
                            
                          
                          ,
                          ...
                          ⁢
                          
                            
                          
                          ,
                          
                            
                              B
                              j
                            
                            =
                            
                              1
                              ❘
                              
                                
                                  Y
                                  
                                    d
                                    ⁢
                                    
                                      
                                    
                                    ⁢
                                    1
                                  
                                
                                ∈
                                                              
                            
                          
                        
                        )
                      
                    
                    ⁢
                    
                      

                    
                    ⁢
                    and
                    ⁢
                    
                      

                    
                    ⁢
                    
                      
                        P
                        r
                      
                      ⁡
                      
                        (
                        
                          
                            
                              Y
                              
                                d
                                ⁢
                                
                                  
                                
                                ⁢
                                1
                              
                            
                            ∈
                                                      
                          ,
                          
                            
                              B
                              1
                            
                            =
                            
                              b
                              1
                            
                          
                          ,
                          ...
                          ⁢
                          
                            
                          
                          ,
                          
                            
                              B
                              
                                j
                                -
                                1
                              
                            
                            =
                            
                              b
                              
                                j
                                -
                                1
                              
                            
                          
                        
                        )
                      
                    
                  
                
              
            
          
        
      
    
    
      
        (
        47
        )
      
    
  




are obtained directly from (46),




  
    
      
        H
        ⁡
        
          (
          p
          )
        
      
      =
      
        
          p
          ⁢
          
            
          
          ⁢
          log
          ⁢
          
            1
            p
          
        
        +
        
          
            (
            
              1
              -
              p
            
            )
          
          ⁢
          log
          ⁢
          
            1
            
              1
              -
              p
            
          
        
      
    
    ,
    and
  




  
    
      P
      r
    
    ⁡
    
      (
      
        
          
            Y
            
              d
              ⁢
              
                
              
              ⁢
              1
            
          
          ∈
                  
        ,
        
          
            B
            1
          
          =
          
            b
            1
          
        
        ,
        ...
        ⁢
        
          
        
        ,
        
          
            B
            
              j
              -
              1
            
          
          =
          
            b
            
              j
              -
              1
            
          
        
      
      )
    
  



is estimated by using similar Monte Carlo simulations as (46) with





  
    
      
        
          
            P
            r
          
          ⁡
          
            (
            
              
                
                  Y
                  
                    d
                    ⁢
                    
                      
                    
                    ⁢
                    1
                  
                
                ∈
                              
              ,
              
                
                  B
                  1
                
                =
                
                  b
                  1
                
              
              ,
              ...
              ⁢
              
                
              
              ,
              
                
                  B
                  
                    j
                    -
                    1
                  
                
                =
                
                  b
                  
                    j
                    -
                    1
                  
                
              
            
            )
          
        
        =
        
          
            1
            L
          
          ⁢
          
            
              ∑
              
                i
                =
                1
              
              L
            
            ⁢
            
              
            
            ⁢
            
              
                I
                ⁡
                
                  (
                  
                    
                      
                        
                          Y
                          
                            d
                            ⁢
                            
                              
                            
                            ⁢
                            1
                          
                          ′
                        
                        ⁡
                        
                          [
                          i
                          ]
                        
                      
                      ∈
                                          
                    ,
                    
                      
                        
                          b
                          1
                        
                        ⁡
                        
                          (
                          
                            
                              Y
                              r
                              ′
                            
                            ⁡
                            
                              [
                              i
                              ]
                            
                          
                          )
                        
                      
                      =
                      
                        b
                        1
                      
                    
                    ,
                    ...
                    ⁢
                    
                      
                    
                    ,
                    
                      
                        
                          b
                          j
                        
                        ⁡
                        
                          (
                          
                            
                              Y
                              r
                              ′
                            
                            ⁡
                            
                              [
                              i
                              ]
                            
                          
                          )
                        
                      
                      =
                      
                        b
                        j
                      
                    
                  
                  )
                
              
              .
            
          
        
      
    
    
      
        (
        48
        )
      
    
  




SOFT THRESHOLD DECODING: In the iterative decoding procedure at the j-th bit plane, the information about the j-th bit from the channel is expressed in term of the log-likelihood-ratio, as follows,





  
    
      
        
          
            L
            ch
            
              (
              j
              )
            
          
          ⁡
          
            (
            
              
                
                  y
                  
                    d
                    ⁢
                    
                      
                    
                    ⁢
                    1
                  
                
                ❘
                
                  b
                  1
                
              
              ,
              ...
              ⁢
              
                
              
              ,
              
                b
                
                  j
                  -
                  1
                
              
            
            )
          
        
        ⁢
        
          

        
        ⁢
        
          
            
              
                
                  
                
                ⁢
                
                  =
                  
                  ⁢
                  
                    log
                    ⁢
                    
                      
                        P
                        ⁡
                        
                          (
                          
                            
                              y
                              
                                d
                                ⁢
                                
                                  
                                
                                ⁢
                                1
                              
                            
                            ,
                            
                              
                                B
                                1
                              
                              =
                              
                                b
                                1
                              
                            
                            ,
                            
                              
                                B
                                2
                              
                              =
                              
                                b
                                2
                              
                            
                            ,
                            ...
                            ⁢
                            
                              
                            
                            ,
                            
                              
                                B
                                
                                  j
                                  -
                                  1
                                
                              
                              =
                              
                                
                                  
                                    b
                                    
                                      j
                                      -
                                      1
                                    
                                  
                                  ❘
                                  
                                    B
                                    j
                                  
                                
                                =
                                1
                              
                            
                          
                          )
                        
                      
                      
                        P
                        ⁡
                        
                          (
                          
                            
                              y
                              
                                d
                                ⁢
                                
                                  
                                
                                ⁢
                                1
                              
                            
                            ,
                            
                              
                                B
                                1
                              
                              =
                              
                                b
                                1
                              
                            
                            ,
                            
                              
                                B
                                2
                              
                              =
                              
                                b
                                2
                              
                            
                            ,
                            ...
                            ⁢
                            
                              
                            
                            ,
                            
                              
                                B
                                
                                  j
                                  -
                                  1
                                
                              
                              =
                              
                                
                                  
                                    b
                                    
                                      j
                                      -
                                      1
                                    
                                  
                                  ❘
                                  
                                    B
                                    j
                                  
                                
                                =
                                0
                              
                            
                          
                          )
                        
                      
                    
                  
                
              
            
          
          
            
              
                =
                
                ⁢
                
                  log
                  ⁢
                  
                    
                      
                        P
                        ⁡
                        
                          (
                          
                            
                              
                                B
                                1
                              
                              =
                              
                                b
                                1
                              
                            
                            ,
                            ...
                            ⁢
                            
                              
                            
                            ,
                            
                              
                                B
                                
                                  j
                                  -
                                  1
                                
                              
                              =
                              
                                
                                  
                                    b
                                    
                                      j
                                      -
                                      1
                                    
                                  
                                  ❘
                                  
                                    B
                                    j
                                  
                                
                                =
                                
                                  1
                                  ❘
                                  
                                    y
                                    
                                      d
                                      ⁢
                                      
                                        
                                      
                                      ⁢
                                      1
                                    
                                  
                                
                              
                            
                          
                          )
                        
                      
                      /
                      
                        P
                        ⁡
                        
                          (
                          
                            
                              B
                              j
                            
                            =
                            1
                          
                          )
                        
                      
                    
                    
                      
                        P
                        ⁡
                        
                          (
                          
                            
                              
                                B
                                1
                              
                              =
                              
                                b
                                1
                              
                            
                            ,
                            ...
                            ⁢
                            
                              
                            
                            ,
                            
                              
                                B
                                
                                  j
                                  -
                                  1
                                
                              
                              =
                              
                                
                                  
                                    b
                                    
                                      j
                                      -
                                      1
                                    
                                  
                                  ❘
                                  
                                    B
                                    j
                                  
                                
                                =
                                
                                  0
                                  ❘
                                  
                                    y
                                    
                                      d
                                      ⁢
                                      
                                        
                                      
                                      ⁢
                                      1
                                    
                                  
                                
                              
                            
                          
                          )
                        
                      
                      /
                      
                        P
                        ⁡
                        
                          (
                          
                            
                              B
                              j
                            
                            =
                            0
                          
                          )
                        
                      
                    
                  
                
              
            
          
          
            
              
                =
                
                ⁢
                
                  
                    log
                    ⁢
                    
                      
                    
                    ⁢
                    
                      
                        P
                        ⁡
                        
                          (
                          
                            
                              
                                B
                                1
                              
                              =
                              
                                b
                                1
                              
                            
                            ,
                            ...
                            ⁢
                            
                              
                            
                            ,
                            
                              
                                B
                                
                                  j
                                  -
                                  1
                                
                              
                              =
                              
                                
                                  
                                    b
                                    
                                      j
                                      -
                                      1
                                    
                                  
                                  ❘
                                  
                                    B
                                    j
                                  
                                
                                =
                                
                                  1
                                  ❘
                                  
                                    y
                                    
                                      d
                                      ⁢
                                      
                                        
                                      
                                      ⁢
                                      1
                                    
                                  
                                
                              
                            
                          
                          )
                        
                      
                      
                        P
                        ⁡
                        
                          (
                          
                            
                              
                                B
                                1
                              
                              =
                              
                                b
                                1
                              
                            
                            ,
                            ...
                            ⁢
                            
                              
                            
                            ,
                            
                              
                                B
                                
                                  j
                                  -
                                  1
                                
                              
                              =
                              
                                
                                  
                                    b
                                    
                                      j
                                      -
                                      1
                                    
                                  
                                  ❘
                                  
                                    B
                                    j
                                  
                                
                                =
                                
                                  0
                                  ❘
                                  
                                    y
                                    
                                      d
                                      ⁢
                                      
                                        
                                      
                                      ⁢
                                      1
                                    
                                  
                                
                              
                            
                          
                          )
                        
                      
                    
                  
                  -
                  
                    
                  
                  ⁢
                  
                    log
                    ⁢
                    
                      
                    
                    ⁢
                    
                      
                        P
                        ⁡
                        
                          (
                          
                            
                              B
                              j
                            
                            =
                            1
                          
                          )
                        
                      
                      
                        P
                        ⁡
                        
                          (
                          
                            
                              B
                              j
                            
                            =
                            0
                          
                          )
                        
                      
                    
                  
                
              
            
          
          
            
              
                
                  =
                  Δ
                
                ⁢
                
                ⁢
                
                  
                    
                      
                        L
                        ~
                      
                      ch
                      
                        (
                        j
                        )
                      
                    
                    ⁡
                    
                      (
                      
                        
                          
                            y
                            
                              d
                              ⁢
                              
                                
                              
                              ⁢
                              1
                            
                          
                          ❘
                          
                            b
                            1
                          
                        
                        ,
                        ...
                        ⁢
                        
                          
                        
                        ,
                        
                          b
                          
                            j
                            -
                            1
                          
                        
                      
                      )
                    
                  
                  +
                  
                    
                      
                        L
                        ext
                      
                      ⁡
                      
                        (
                        
                          B
                          j
                        
                        )
                      
                    
                    .
                  
                
              
            
          
        
      
    
    
      
        (
        49
        )
      
    
  




where b1, . . . , bj−1 are the specific realizations of the bits B1, . . . , Bj−1, Lch(j)(yd1|b1, . . . , bj−1) characterizes the information about the j-th bit plane given previously decoded bits b1, . . . , bj−1, and it is a function of yd1.

{tilde over (L)}ch(j)(yd1|b1, . . . , bj−1)

denotes the information about the j-th bit from the “virtual” channel, and Lext(Bj) denotes the information provided by the distribution of the j-th bit itself. For NSQ, due to the symmetric property of f(yr|yd1) as shown in (10) and FIG. 8, P(Bj=0)=P(Bj=1)=0.5, thus Lext(Bj)=0, and

Lch(j)(yd1|b1, . . . , bj−1)={tilde over (L)}ch(j)(yd1|b1, . . . , bj−1).

The conditional probabilities of each quantization index given the side information Yd1 when d=8 m, and the corresponding Lch(j) for the same d, are shown in FIGS. 11A and 11B, respectively.
C. LDPC Code Design
LDPC codes are linear codes obtained from sparse bipartite graphs. Suppose that G is a graph with n left nodes (called message nodes) and r right nodes (called check nodes). The graph gives rise to a linear code of block length n and dimension at least n−r in the following way: The n coordinates of the codewords are associated with the n message nodes. The codewords are those vectors (c1, . . . , cn) such that for all check nodes the sum of the neighboring positions among the message nodes is zero.
LDPC decoding is an iterative decoding procedure based on belief propagation, which is a special case of message passing algorithms. At each round of the algorithms messages are passed from message nodes to check nodes, and from check nodes back to message nodes. In belief propagation, the messages passed along the edges are probabilities, or beliefs. More precisely, the message passed from a message node v to a check node c is the probability that v has a certain value given the observed value of that message node, and all the values communicated to v in the prior round from check nodes incident to v other than c. On the other hand, the message passed from c to v is the probability that v has a certain value given all the messages passed to c in the previous round from message nodes other than v.
The messages/belief transmitted along the edges are random variables, therefore their probability density function is studied. The density function is updated for each circle of message passing from the message node v to check node c and then back to v. This recursion is called density evolution. Density evolution can be used to obtain asymptotic thresholds below which belief propagation decodes the code successfully, and above which belief propagation does not decode successfully. Therefore, according to the density evolution algorithm, we can optimize the density function (and therefore, the profile of the LDPC code) to get the optimal performance.
In some embodiments, the pdfs used in decoding are stored in look-up tables at nodes in the destination system.
In some embodiments, the target transmission rate is set at 0.5 bit per channel use and the average relay power Pr=70 dB.
In some embodiments, the DJSCC rate for each bit plane and the soft information for iterative decoding are collected off-line according to (47) and (49). The rates and IRA code profiles for each bit plane using NSQ for quantization when d=7 m and d=9 m are listed in FIGS. 12A and 12B, with nesting ration N=4 for both cases.
In some embodiments, for coding two parts of the message, m1 and m2, we employ two different LDPC codes designed via density evolution.

## Claims

1. A method for encoding at a source a message m using an encoding apparatus, the method comprising:
performing, using the encoding apparatus, a first low-density parity check (LDPC) channel encoding on a first portion m1 of the message m to obtain first encoded data;
performing, using the encoding apparatus, a second LDPC channel encoding on a second portion m2 of the message m to obtain second encoded data;
converting the first encoded data into a first stream of N-PSK constellation points, wherein N is greater than one;
converting the second encoded data into a second stream of N-PSK constellation points;
generating, at the source, a first output signal, for transmission to a relay and a destination in a first interval, based on the first stream on N-PSK constellation points;
generating, at the source, a second output signal, for transmission to the destination in a second interval, based on the second stream of N-PSK constellation points, wherein the second interval is configured to prevent the relay from hearing the second output signal.

2. The method of claim 1, wherein the first interval and second interval are disjoint intervals in time.

3. The method of claim 1 wherein said generating the first output signal includes modulating an RF carrier using the first stream of N-PSK constellation points during the first interval in time, wherein said generating the second output signal includes modulating the RF carrier using the second stream of N-PSK constellation points during the second interval in time.

4. The method of claim 1, wherein the first interval and second interval are disjoint bands of frequency.

5. The method of claim 1 wherein said generating the first output signal includes modulating a first RF carrier in a first band of frequency using the first stream of N-PSK constellation points, wherein said generating the second output signal includes modulating a second RF carrier in a second band of frequency using the second stream of N-PSK constellation points.

6. The method of claim 1, wherein the first output signal and the second output signal overlap in time.

7. The method of claim 1, wherein the first LDPC channel encoding is performed using linear codes obtained from sparse bipartite graphs.

8. The method of claim 1, the method further comprising splitting the message m into the first portion m1 and the second portion m2.

9. A computer system comprising:
a memory medium configured to store program instructions;
a processor configured to access the program instructions from the memory medium and execute the program instructions, wherein the program instructions are executable to implement:
performing a first low-density parity check (LDPC) channel encoding on a first portion m1 of the message m to obtain first encoded data;
performing a second LDPC channel encoding on a second portion m2 of the message m to obtain second encoded data;
converting the first encoded data into a first stream of N-PSK constellation points, wherein N is greater than one;
converting the second encoded data into a second stream of N-PSK constellation points;
generating a first output signal, for transmission to a relay and a destination in a first interval, based on the first stream on N-PSK constellation points;
generating a second output signal, for transmission to the destination in a second interval, based on the second stream of N-PSK constellation points, wherein the second interval is configured to prevent the relay from hearing the second output signal.

10. The system of claim 9, wherein the first interval and second interval are disjoint intervals in frequency.

11. The system of claim 9, wherein said generating the first output signal includes modulating a first RF carrier in a first band of frequency using the first stream of N-PSK constellation points, wherein said generating the second output signal includes modulating a second RF carrier in the second band of frequency using a second stream of N-PSK constellation points.

12. The system of claim 9, wherein the first interval and second interval are disjoint intervals in time.

13. The system of claim 9, wherein said generating the first output signal includes modulating an RF carrier using the first stream of N-PSK constellation points during the first interval in time, wherein said generating the second output signal includes modulating the RF carrier using the second stream of N-PSK constellation points during the second interval in time.

14. The system of claim 9, wherein the first LDPC channel encoding is performed using linear codes obtained from sparse bipartite graphs.

15. A non-transitory computer-readable memory medium having program instructions stored thereon, wherein the program instructions are executable by a device to cause the device to implement operations comprising:
performing a first low-density parity check (LDPC) channel encoding on a first portion m1 of the message m to obtain first encoded data;
performing a second LDPC channel encoding on a second portion m2 of the message m to obtain second encoded data;
converting the first encoded data into a first stream of N-PSK constellation points, wherein N is greater than one;
converting the second encoded data into a second stream of N-PSK constellation points;
generating a first output signal, for transmission to a relay and a destination in a first interval, based on the first stream on N-PSK constellation points;
generating a second output signal, for transmission to the destination in a second interval, based on the second stream of N-PSK constellation points, wherein the second interval is configured to prevent the relay from hearing the second output signal.

16. The memory medium of claim 15, wherein the first interval and second interval are disjoint intervals in frequency.

17. The memory medium of claim 15, wherein said generating the first output signal includes modulating a first RF carrier in a first band of frequency using the first stream of N-PSK constellation points, wherein said generating the second output signal includes modulating a second RF carrier in the second band of frequency using a second stream of N-PSK constellation points.

18. The memory medium of claim 15, wherein the first interval and second interval are disjoint intervals in time.

19. The memory medium of claim 15, wherein said generating the first output signal includes modulating an RF carrier using the first stream of N-PSK constellation points during the first interval in time, wherein said generating the second output signal includes modulating the RF carrier using the second stream of N-PSK constellation points during the second interval in time.

20. The memory medium of claim 15, wherein the first LDPC channel encoding is performed using linear codes obtained from sparse bipartite graphs.