Skip to main content

Problem 3.8(e) Explanation

Why 2π2\pi and 2(1π)2(1-\pi)?

These are linear functions.

  • 2π2\pi is a line going from 00 to 22. The area under the triange is 0.5×base×height=0.5×1×2=10.5 \times \text{base} \times \text{height} = 0.5 \times 1 \times 2 = 1. So it is a valid PDF. It puts most weight on π=1\pi=1.
  • 2(1π)2(1-\pi) is a line going from 22 to 00. Area is also 1. It puts most weight on π=0\pi=0.

Mapping to Pseudocounts

The crucial insight is writing the polynomial in the form πα1(1π)β1\pi^{\alpha-1}(1-\pi)^{\beta-1}.

  • For 2π2\pi, exponent of π\pi is 1. Since α1=1\alpha-1=1, α=2\alpha=2. Exponent of (1π)(1-\pi) is 0. Since β1=0\beta-1=0, β=1\beta=1.
  • Usually, we say α\alpha counts success and β\beta counts failures.
  • However, for MAP estimates, the "neutral" point is not α=0,β=0\alpha=0, \beta=0 (which is improper) or α=1,β=1\alpha=1, \beta=1 (Uniform).
  • Wait, let's look at the MAP formula again: π^MAP=s+α1n+α+β2\hat{\pi}_{MAP} = \frac{s + \alpha - 1}{n + \alpha + \beta - 2}
    • If α=2,β=1\alpha=2, \beta=1 (Prior p1p_1): Numerator=s+1\text{Numerator} = s + 1 Denominator=n+2+12=n+1\text{Denominator} = n + 2 + 1 - 2 = n+1 Result: s+1n+1\frac{s+1}{n+1}. This looks like we added 1 success to the numerator, and 1 trial to the denominator. So: 1 Virtual Success, 0 Virtual Failures.

    • If α=1,β=2\alpha=1, \beta=2 (Prior p0p_0): Numerator=s+0\text{Numerator} = s + 0 Denominator=n+1+22=n+1\text{Denominator} = n + 1 + 2 - 2 = n+1 Result: sn+1\frac{s}{n+1}. This looks like we added 0 successes to the numerator, and 1 trial to the denominator. So: 0 Virtual Successes, 1 Virtual Failure.

Summary of Bias

  • p1p_1 encodes a belief that "I have seen one success already".
  • p0p_0 encodes a belief that "I have seen one failure already".
  • Uniform (from previous parts) encodes "I have seen nothing? Or 1 of each?"
    • MAP for Uniform (α=1,β=1\alpha=1, \beta=1): sn\frac{s}{n}. (0 added samples).
    • So, relative to the Uniform MAP, p1p_1 adds a success, p0p_0 adds a failure.