Extra Problems for Chapter 3

T.M. Cover and J.A. Thomas

  1.   Calculation of typical set To clarify the notion of a typical set tex2html_wrap_inline410 and the smallest set of high probability tex2html_wrap_inline412 , we will calculate the set for a simple example. Consider a sequence of i.i.d. binary random variables, tex2html_wrap_inline414 , where the probability that tex2html_wrap_inline416 is 0.6 (and therefore the probability that tex2html_wrap_inline418 is 0.4).
    1. Calculate H(X).
    2. With n=25 and tex2html_wrap_inline424 , which sequences fall in the typical set tex2html_wrap_inline410 ? What is the probability of the typical set? How many elements are there in the typical set? (This involves computation of a table of probabilities for sequences with k 1's, tex2html_wrap_inline430 , and finding those sequences that are in the typical set.)

      tabular219

    3. How many elements are there in the smallest set that has probability 0.9?
    4. How many elements are there in the intersection of the sets in part (b) and (c)? What is the probability of this intersection?
  2. Monotonic convergence of the empirical distribution. Let tex2html_wrap_inline440 denote the empirical probability mass function corresponding to tex2html_wrap_inline414 i.i.d. tex2html_wrap_inline444 . Specifically,

    displaymath230

    is the proportion of times that tex2html_wrap_inline446 in the first n samples, where I is an indicator function.

    1. Show for tex2html_wrap_inline452 binary that

      displaymath238

      Thus the expected relative entropy ``distance'' from the empirical distribution to the true distribution decreases with sample size.
      Hint: Write tex2html_wrap_inline454 and use the convexity of D.

    2. Show for an arbitrary discrete tex2html_wrap_inline452 that

      displaymath253

      Hint: Write tex2html_wrap_inline440 as the average of n empirical mass functions with each of the n samples deleted in turn.

  3. AEP. Let tex2html_wrap_inline466 be i.i.d. tex2html_wrap_inline468 . We form the log likelihood ratio of the hypothesis that X and Y are independent vs. the hypothesis that X and Y are dependent. What is the limit of

    displaymath262



Latex file
Postscript file


Joy Thomas
Sat Aug 15 06:51:02 EDT 1998