Extra Problems for Chapter 13

T.M. Cover and J.A. Thomas

  1. Rate distortion. Find and verify the rate distortion function R(D) for X uniform on tex2html_wrap_inline502 and

    displaymath492

    where tex2html_wrap_inline504 is defined on tex2html_wrap_inline506 .

    (You may wish to use the Shannon lower bound in your argument.)

  2. Lower bound

    Let

    displaymath493

    and

    displaymath494

    Define tex2html_wrap_inline508 over all densities such that tex2html_wrap_inline510 . Let R(D) be the rate distortion function for X with the above density and with distortion criterion tex2html_wrap_inline516 Show tex2html_wrap_inline518 .

  3. Adding a column to the distortion matrix. Let R(D) be the rate distortion function for an i.i.d. process with probability mass function p(x) and distortion function tex2html_wrap_inline524 , tex2html_wrap_inline526 , tex2html_wrap_inline528 . Now suppose that we add a new reproduction symbol tex2html_wrap_inline530 to tex2html_wrap_inline532 with associated distortion tex2html_wrap_inline534 , tex2html_wrap_inline526 . Does this increase or decrease R(D) and why?
  4. Simplification. Suppose tex2html_wrap_inline540 , tex2html_wrap_inline542 , tex2html_wrap_inline544 , i = 1,2,3,4, and tex2html_wrap_inline548 are i.i.d. tex2html_wrap_inline550 . The distortion matrix tex2html_wrap_inline524 is given by

    displaymath254

    1. Find R(0), the rate necessary to describe the process with zero distortion.
    2. Find the rate distortion function R(D). There are some irrelevant distinctions in alphabets tex2html_wrap_inline558 and tex2html_wrap_inline532 , which allow the problem to be collapsed.
    3. Suppose we have a nonuniform distribution tex2html_wrap_inline562 , i=1,2,3,4. What is R(D)?
  5. Rate distortion for two independent sources. Can one simultaneously compress two independent sources better than by compressing the sources individually? The following problem addresses this question. Let tex2html_wrap_inline568 be iid tex2html_wrap_inline550 with distortion tex2html_wrap_inline524 and rate distortion function tex2html_wrap_inline574 . Similarly, let tex2html_wrap_inline576 be iid tex2html_wrap_inline578 with distortion tex2html_wrap_inline580 and rate distortion function tex2html_wrap_inline582 .

    Suppose we now wish to describe the process tex2html_wrap_inline584 subject to distortions tex2html_wrap_inline586 and tex2html_wrap_inline588 . Thus a rate tex2html_wrap_inline590 is sufficient, where

    displaymath269

    Now suppose the tex2html_wrap_inline568 process and the tex2html_wrap_inline576 process are independent of each other.

    1. Show

      displaymath279

    2. Does equality hold?

    Now answer the question.

  6. Distortion-rate function. Let

    equation480

    be the distortion rate function.

    1. Is D(R) increasing or decreasing in R?
    2. Is D(R) convex or concave in R?
    3. Converse for distortion rate functions: We now wish to prove the converse by focusing on D(R). Let tex2html_wrap_inline606 be i.i.d. tex2html_wrap_inline550 . Suppose one is given a tex2html_wrap_inline610 rate distortion code tex2html_wrap_inline612 , with tex2html_wrap_inline614 . And suppose that the resulting distortion is tex2html_wrap_inline616 . We must show that tex2html_wrap_inline618 . Give reasons for the following steps in the proof:

      eqnarray487

  7. The Source-Channel Separation Theorem with Distortion:  Let tex2html_wrap_inline620 be a finite alphabet i.i.d. source which is encoded as a sequence of n input symbols tex2html_wrap_inline624 of a discrete memoryless channel. The output of the channel tex2html_wrap_inline626 is mapped onto the reconstruction alphabet tex2html_wrap_inline628 . Let tex2html_wrap_inline630 be the average distortion achieved by this combined source and channel coding scheme.

    picture317

    1. Show that if C > R(D), where R(D) is the rate distortion function for V, then it is possible to find encoders and decoders that achieve a average distortion arbitrarily close to D.
    2. (Converse.) Show that if the average distortion is equal to D, then the capacity of the channel C must be greater than R(D).



Latex file

Postscript file


Joy Thomas
Sat Aug 15 08:23:27 EDT 1998