Extra Problems for Chapter 12

T.M. Cover and J.A. Thomas

  1. Stirling's approximation: Derive a weak form of Stirling's approximation for factorials, i.e., show that

    equation556

    using the approximation of integrals by sums. Justify the following steps:

    equation558

    and

    equation560

  2. Asymptotic value of tex2html_wrap_inline608 . Use the simple approximation of the previous problem to show that, if tex2html_wrap_inline610 , and tex2html_wrap_inline612 , i.e., k is the largest integer less than or equal to np, then

    equation562

    Now let tex2html_wrap_inline618 , tex2html_wrap_inline620 be a probability distribution on m symbols, i.e., tex2html_wrap_inline624 , and tex2html_wrap_inline626 . What is the limiting value of

    eqnarray564

  3. Sanov's theorem: Prove the simple version of Sanov's theorem for the binary random variables, i.e., let tex2html_wrap_inline628 be a sequence of binary random variables, drawn i.i.d. according to the following distribution:

    equation567

    Let the proportion of 1's in the sequence tex2html_wrap_inline628 be tex2html_wrap_inline632 , i.e.,

    equation571

    By the laws of large numbers, we would expect tex2html_wrap_inline632 to be close to q for large n. Sanov's theorem deals with the probability that tex2html_wrap_inline632 is far away from q. In particular, for concreteness, if we take tex2html_wrap_inline644 , Sanov's theorem states that

    equation576

    Justify the following steps:

  4. Sanov. Let tex2html_wrap_inline650 be i.i.d. tex2html_wrap_inline652
    1. Find the exponent in the behavior of tex2html_wrap_inline654 This can be done from first principles (since the normal distribution is nice) or by using Sanov's theorem.
    2. What does the data look like if tex2html_wrap_inline656 ? That is, what is the tex2html_wrap_inline658 that minimizes tex2html_wrap_inline660 ?
  5. Counting states.
    Suppose an atom is equally likely to be in each of 6 states, tex2html_wrap_inline662 . One observes n atoms tex2html_wrap_inline628 independently drawn according to this uniform distribution. It is observed that the frequency of occurrence of state tex2html_wrap_inline668 is twice the frequency of occurrence of state tex2html_wrap_inline670 .
    1. To first order in the exponent, what is the probability of observing this event?
    2. Assuming n large, find the conditional distribution of the state of the first atom tex2html_wrap_inline674 , given this observation.
  6. Hypothesis testing

    Let tex2html_wrap_inline676 be i.i.d. tex2html_wrap_inline678 , tex2html_wrap_inline680 . Consider two hypotheses tex2html_wrap_inline682 vs. tex2html_wrap_inline684 , where tex2html_wrap_inline686 , and tex2html_wrap_inline688 , tex2html_wrap_inline690

    1. Find tex2html_wrap_inline692 .
    2. Let tex2html_wrap_inline694 . Find the minimal probability of error test for tex2html_wrap_inline696 vs. tex2html_wrap_inline698 given data tex2html_wrap_inline700 .
  7. Maximum likelihood estimation. Let tex2html_wrap_inline702 denote a parametric family of densities with parameter tex2html_wrap_inline704 . Let tex2html_wrap_inline628 be i.i.d. tex2html_wrap_inline708 . The function

    displaymath596

    is known as the log likelihood function. Let tex2html_wrap_inline710 denote the true parameter value.

    1. Let the expected log likelihood be

      displaymath597

      and show that

      displaymath598

    2. Show that the maximum over tex2html_wrap_inline712 of the expected log likelihood is achieved by tex2html_wrap_inline714 .
  8. Large deviations. Let tex2html_wrap_inline716 be i.i.d. random variables drawn according to the geometric distribution

    displaymath599

    Find good estimates (to first order in the exponent) of

    1. tex2html_wrap_inline718
    2. tex2html_wrap_inline720
    3. Evaluate a) and b) for tex2html_wrap_inline722 .
  9. Another expression for Fisher information. Use integration by parts to show that

    displaymath311

  10. The running problem.. Let tex2html_wrap_inline628 be i.i.d. tex2html_wrap_inline726 , and tex2html_wrap_inline728 be i.i.d. tex2html_wrap_inline730 . Let tex2html_wrap_inline732 and tex2html_wrap_inline734 be independent. Find an expression for tex2html_wrap_inline736 , good to first order in the exponent. Again, this answer can be left in parametric form.
  11. Large likelihoods. Let tex2html_wrap_inline716 be i.i.d. tex2html_wrap_inline740 , tex2html_wrap_inline742 . Let P(x) be some other probability mass function. We form the log likelihood ratio

    displaymath319

    of the sequence tex2html_wrap_inline732 and ask for the probability that it exceeds a certain threshold. Specifically, find (to first order in the exponent)

    displaymath330

    There may be an undetermined parameter in the answer.

  12. Fisher information for mixtures. Let tex2html_wrap_inline748 and tex2html_wrap_inline750 be two given probability densities. Let Z be Bernoulli( tex2html_wrap_inline712 ), where tex2html_wrap_inline712 is unknown. Let tex2html_wrap_inline758 , if Z=1 and tex2html_wrap_inline762 , if Z=0.
    1. Find the density tex2html_wrap_inline766 of the observed X.
    2. Find the Fisher information tex2html_wrap_inline770 .
    3. What is the Cramér-Rao lower bound on the mean squared error of an unbiased estimate of tex2html_wrap_inline712 ?
    4. Can you exhibit an unbiased estimator of tex2html_wrap_inline712 ?
  13. Bent coins. Let tex2html_wrap_inline676 be iid tex2html_wrap_inline778 where

    displaymath342

    Thus, the tex2html_wrap_inline650 's are iid tex2html_wrap_inline782 Binomial (m,q).

    Show that, as tex2html_wrap_inline786 ,

    displaymath348

    where tex2html_wrap_inline658 is Binomial tex2html_wrap_inline790 (i.e. tex2html_wrap_inline792 for some tex2html_wrap_inline794 .

    Find tex2html_wrap_inline796 .

  14. Conditional limiting distribution.
    1. Find the exact value of

      equation584

      if tex2html_wrap_inline798 are Bernoulli( tex2html_wrap_inline800 ) and n is a multiple of 4.

    2. Now let tex2html_wrap_inline804 and let tex2html_wrap_inline806 be i.i.d. uniform over tex2html_wrap_inline808 Find the limit of

      equation586

      for tex2html_wrap_inline810 .

  15. Hypothesis testing. Let tex2html_wrap_inline628 be i.i.d. tex2html_wrap_inline678 . Consider the hypothesis test tex2html_wrap_inline816 versus tex2html_wrap_inline818 . Let

    displaymath600

    and

    displaymath601

    1. Find the error exponent for Pr{ Decide tex2html_wrap_inline820 true } in the best hypothesis test of tex2html_wrap_inline698 vs. tex2html_wrap_inline824 subject to Pr{ Decide tex2html_wrap_inline826 true } tex2html_wrap_inline828 .
  16. Two envelope problem: One envelope contains b dollars, the other 2b dollars. The amount b is unknown. An envelope is selected at random. Let X be the amount observed in this envelope, and let Y be the amount in the other envelope.

    Adopt the strategy of switching to the other envelope with probability p(x), where tex2html_wrap_inline842 . Let Z be the amount that the player receives. Thus

    equation588

    equation590

    1. Show that tex2html_wrap_inline854 .
    2. Show that E(Y/X) = 5/4. (This is the origin of the switching paradox.) Observe that tex2html_wrap_inline858 .
    3. Let J be the index of the envelope containing the maximum amount of money, and let J' be the index of the envelope chosen by the algorithm. Show that for any b, I(J; J') > 0. Thus the amount in the first envelope always contains some information about which envelope to choose.
    4. Show that E(Z) > E(X).
  17. Variational inequality: Verify, for positive random variables X, that

    equation592

    where tex2html_wrap_inline872 and tex2html_wrap_inline874 , and the supremum is over all tex2html_wrap_inline876 , tex2html_wrap_inline878 . It is enough to extremize tex2html_wrap_inline880 .



Latex file

Postscript file


 

Joy Thomas
Sat Aug 15 08:00:18 EDT 1998