Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

52
Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE Wyner–Ziv Coding Over Broadcast Channels: Digital Schemes

description

Introduction Background and notation A basic WZBC scheme A layered WZBC scheme Source coding rates for LDS PERFORMANCE ANALYSIS FOR THE QUADRATIC GAUSSIAN PROBLEM PERFORMANCE ANALYSIS FOR THE BINARY HAMMING PROBLEM CONCLUSIONS AND FUTURE WORK

Transcript of Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

Page 1: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE

Wyner–Ziv Coding Over Broadcast Channels:

Digital Schemes

Page 2: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

DPC : dirty paper codingCSI : channel state informationCL : common layerRL : refinement layerLDS : Layered Description scheme

simplified 

Page 3: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

IntroductionBackground and notationA basic WZBC schemeA layered WZBC schemeSource coding rates for LDS PERFORMANCE ANALYSIS FOR THE

QUADRATIC GAUSSIAN PROBLEMPERFORMANCE ANALYSIS FOR THE

BINARY HAMMING PROBLEM CONCLUSIONS AND FUTURE WORK

Outline

Page 4: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

We study the communication scenario in which one of the sensors is required to transmit its measurements to the other nodes over a broadcast channel.

The receiver nodes are themselves equipped with side information unavailable to the sender,

Page 5: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.
Page 6: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

lossless transmission (in the Shannonsense) is possible with channel uses per

source symbol if andonly if there exists a channel input

distribution such that

Page 7: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

The optimal coding scheme is not separable in the clas-

sical sense, but consists of separate components that per-

form source and channel coding in a broader sense. This

results in the separation of source and channel variables

as in (1).

striking features

Page 8: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

If the broadcast channel is such that the same input distri-

bution achieves capacity for all individual channels, then

(1) implies that one can utilize all channels at full ca-

pacity. Binary symmetric channels and Gaussian channels

are the widely known examples of this phenomenon.

Page 9: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

The optimal coding scheme does not explicitly involve

binning,

Page 10: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

In this paper, we consider the general lossy coding problem in

which the reconstruction of the source at the receivers need not

be perfect. We shall refer to this problem setup as Wyner–Ziv

coding over broadcast channels (WZBC).

Page 11: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

We present a codingscheme for this scenario and analyze its

performance in thequadratic Gaussian and binary Hamming

cases.

Page 12: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

In telecommunications, dirty paper coding (DPC) is a technique for efficient transmission of digital data through a channel that is subject to some interference that is known to the transmitter. The technique consists of precoding the data so as to cancel the effect of the interference.

Dirty paper coding

Page 13: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

IntroductionBackground and notationA basic WZBC schemeA layered WZBC schemeSource coding rates for LDS PERFORMANCE ANALYSIS FOR THE

QUADRATIC GAUSSIAN PROBLEMPERFORMANCE ANALYSIS FOR THE

BINARY HAMMING PROBLEM CONCLUSIONS AND FUTURE WORK

Outline

Page 14: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

be random variables denoting a source with independent and identically distributed (i.i.d.) realizations.

Source X is to be transmitted over a memoryless broadcast channel defined by

Decoder k has access to side information in addition to the channel output

Background and notation

Page 15: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

single-letter distortion measures

Page 16: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.
Page 17: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

Definition 1: An code consists of an encoder

and decoders at each receiver

The rate of the code is channel uses per source symbol

Definition 1

Page 18: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.
Page 19: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

A distortion tuple is said to be achievable at a rational rate

if for every , there exists such that for all integers with , there exists an code satisfying

Definition 2

Page 20: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

In this paper, we present some general WZBC techniques and derive the corresponding achievable distortion regions. We study the performance of these techniques for the following cases.

Quadratic GaussianBinary Hamming

Page 21: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

Quadratic Gaussian

Page 22: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

Binary Hamming

Page 23: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

the case . Since ,we shall drop the subscripts that relate to the receiver. The Wyner–Ziv rate-distortion performance is characterized as

is an auxiliary random variable ,and the capacity of the channel is well-known to be

Wyner–Ziv Coding Over Point-to-Point Channels

Page 24: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

It is then straightforward to conclude that combining separate source and channel codes yields the distortion

On the other hand, a converse result in [15] shows that even by using joint source-channel codes, one cannot improve the distortion performance further than (3).

We are further interested in the evaluation of ,as well as in the test channels achieving it, for the quadratic Gaussian and binary Hamming cases.

Page 25: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

It was shown in [22] that the optimal backward test channel is given by

where and are independent Gaussians. For the rate we have

The optimal reconstruction is a linear estimate

Quadratic Gaussian

Page 26: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

which yields the distortion

and therefore

Quadratic Gaussian(cont.)

Page 27: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

It was implicitly shown in [23] that the optimal auxiliary random variable is given by

where are all independent, and are and with and , respectively, and is an erasure operator, i.e.,

This choice results in

Binary Hamming

Page 28: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

Where

with denoting the binary convolution, i.e.,, and denoting the binary entropy

function, i.e.,

Binary Hamming(cont.)

Page 29: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

Binary Hamming(cont.)

Page 30: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

At each terminal, no WZBC scheme can achieve a distortion less than the minimum distortion achievable by ignoring the other terminals. Thus

A Trivial Converse for the WZBC Problem

Page 31: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

there is considerable simplification in the quadratic Gaussian and binary Hamming cases since the channel and the side information are degraded in both cases: we can assume that one of the two Markov chains

or holds (for arbitrary channel input ) for the channel

or holds for the source.

Separate Source and Channel Coding

Page 32: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

Uncoded Transmission

Page 33: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

IntroductionBackground and notationA basic WZBC schemeA layered WZBC schemeSource coding rates for LDS PERFORMANCE ANALYSIS FOR THE

QUADRATIC GAUSSIAN PROBLEMPERFORMANCE ANALYSIS FOR THE

BINARY HAMMING PROBLEM CONCLUSIONS AND FUTURE WORK

Outline

Page 34: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

A BASIC WZBC SCHEME

Page 35: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

A BASIC WZBC SCHEME(cont.)

Page 36: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.
Page 37: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.
Page 38: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.
Page 39: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.
Page 40: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.
Page 41: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

Corollary 1

Page 42: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

Corollary 2

Page 43: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

IntroductionBackground and notationA basic WZBC schemeA layered WZBC schemeSource coding rates for LDS PERFORMANCE ANALYSIS FOR THE

QUADRATIC GAUSSIAN PROBLEMPERFORMANCE ANALYSIS FOR THE

BINARY HAMMING PROBLEM CONCLUSIONS AND FUTURE WORK

Outline

Page 44: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

the side information and channel characteristics at the two receiving terminals can be very different, we might be able to improve the performance by layered coding,

i.e., by not only transmitting a common layer (CL) to both receivers but also additionally transmitting a refinement layer (RL) to one of the two receivers.

Since there are two receivers, we are focusing on coding with only two layers because intuitively, more layers targeted for the same receiver can only degrade the performance.

A LAYERED WZBC SCHEME

Page 45: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

CL : cRL : r In this scheme, illustrated in Fig. 2, the CL is

coded using CDS with DPC with the RL codeword acting as CSI.

A LAYERED WZBC SCHEME(cont.)

Page 46: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.
Page 47: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

Source Coding Rates for LDS

Page 48: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

Channel Coding Rates for LDS

Page 49: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

IntroductionBackground and notationA basic WZBC schemeA layered WZBC schemeSource coding rates for LDS PERFORMANCE ANALYSIS FOR THE

QUADRATIC GAUSSIAN PROBLEMPERFORMANCE ANALYSIS FOR THE

BINARY HAMMING PROBLEM CONCLUSIONS AND FUTURE WORK

Outline

Page 50: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

PERFORMANCE ANALYSIS FOR THE QUADRATIC GAUSSIAN PROBLEM

Page 51: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

IntroductionBackground and notationA basic WZBC schemeA layered WZBC schemeSource coding rates for LDS PERFORMANCE ANALYSIS FOR THE

QUADRATIC GAUSSIAN PROBLEMPERFORMANCE ANALYSIS FOR THE

BINARY HAMMING PROBLEM CONCLUSIONS AND FUTURE WORK

Outline

Page 52: Jayanth Nayak, Ertem Tuncel, Member, IEEE, and Deniz Gündüz, Member, IEEE.

IntroductionBackground and notationA basic WZBC schemeA layered WZBC schemeSource coding rates for LDS PERFORMANCE ANALYSIS FOR THE

QUADRATIC GAUSSIAN PROBLEMPERFORMANCE ANALYSIS FOR THE

BINARY HAMMING PROBLEM CONCLUSIONS AND FUTURE WORK

Outline