12.8: Pólya's Urn Process
- Page ID
- 10251
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Basic Theory
The Model
Pólya's urn scheme is a dichotomous sampling model that generalizes the hypergeometric model (sampling without replacement) and the Bernoulli model (sampling with replacement). Pólya's urn proccess leads to a famous example of a sequence of random variables that is exchangeable, but not independent, and has deep conections with the beta-Bernoulli process.
Suppose that we have an urn (what else!) that initially contains \(a\) red and \(b\) green balls, where \(a\) and \(b\) are positive integers. At each discrete time (trial), we select a ball from the urn and then return the ball to the urn along with \(c\) new balls of the same color. Ordinarily, the parameter \(c\) is a nonnegative integer. However, the model actually makes sense if \(c\) is a negative integer, if we interpret this to mean that we remove the balls rather than add them, and assuming that there are enough balls of the proper color in the urn to perform this action. In any case, the random process is known as Pólya's urn process, named for George Pólya.
In terms of the colors of the selected balls, Pólya's urn scheme generalizes the standard models of sampling with and without replacement.
- \(c = 0\) corresponds to sampling with replacement.
- \(c = -1\) corresponds to sampling without replacement.
For the most part, we will assume that \(c\) is nonnegative so that the process can be continued indefinitely. Occasionally we consider the case \(c = -1\) so that we can interpret the results in terms of sampling without replacement.
The Outcome Variables
Let \(X_i\) denote the color of the ball selected at time \(i\), where 0 denotes green and 1 denotes red. Mathematically, our basic random process is the sequence of indicator variables \(\bs{X} = (X_1, X_2, \ldots)\), known as the Pólya process. As with any random process, our first goal is to compute the finite dimensional distributions of \(\bs{X}\). That is, we want to compute the joint distribution of \((X_1, X_2, \ldots, X_n)\) for each \(n \in \N_+\). Some additional notation will really help. Recall the generalized permutation formula in our study of combinatorial structures: for \(r, \, s \in \R\) and \(j \in \N\), we defined \[ r^{(s,j)} = r (r + s) (r + 2 s) \cdots [r + (j-1)s] \] Note that the expression has \(j\) factors, starting with \(r\), and with each factor obtained by adding \(s\) to the previous factor. As usual, we adopt the convention that a product over an empty index set is 1. Hence \(r^{(s,0)} = 1\) for every \(r\) and \(s\).
Recall that
- \(r^{(0,j)} = r^j\), an ordinary power
- \(r^{(-1,j)} = r^{(j)} = r (r - 1) \cdots (r - j + 1)\), a descending power
- \(r^{(1,j)} = r^{[j]} = r (r + 1) \cdots (r + j - 1)\), an ascending power
- \(r^{(r,j)} = j! r^j\)
- \(1^{(1,j)} = j!\)
The following simple result will turn out to be quite useful.
Suppose that \( r, \, s \in (0, \infty) \) and \( j \in \N \). Then \[ \frac{r^{(s, j)}}{s^j} = \left(\frac{r}{s}\right)^{[j]} \]
Proof
It's just a matter of grouping the factors: \begin{align*} \frac{r^{(s, j)}}{s^j} & = \frac{r (r + s) (r + 2 s) \cdots [r + ( j - 1)s]}{s^j} \\ & = \left(\frac{r}{s}\right) \left(\frac{r}{s} + 1 \right) \left(\frac{r}{s} + 2\right) \cdots \left[\frac{r}{s} + (j - 1)\right] = \left(\frac{r}{s}\right)^{[j]} \end{align*}
The finite dimensional distributions are easy to compute using the multiplication rule of conditional probability. If we know the contents of the urn at any given time, then the probability of an outcome at the next time is all but trivial.
Let \( n \in \N_+ \), \((x_1, x_2, \ldots, x_n) \in \{0,1\}^n\) and let \(k = x_1 + x_2 + \cdots + x_n\). Then \[ \P(X_1 = x_1, X_2 = x_2, \ldots, X_n = x_n) = \frac{a^{(c,k)} b^{(c, n - k)}}{(a + b)^{(c,n)}} \]
Proof
By the multiplication rule for conditional probability, \[ \P(X_1 = x_1, X_2 = x_2, \ldots, X_n = x_n) = \P(X_1 = x_1) \P(X_2 = x_2 \mid X_1 = x_1) \cdots \P(X_n = x_n \mid X_1 = x_1, \ldots, X_{n-1} = x_{n-1}) \] Of course, if we know that the urn has, say, \(r\) red and \(g\) green balls at a particular time, then the probability of a red ball on the next draw is \(r / (r + g)\) while the probability of a green ball is \(g / (r + g)\). The right side of the displayed equation above has \(n\) factors. The denominators are the total number of balls at the \(n\) times, and form the product \((a + b) (a + b + c) \ldots [a + b + (n - 1) c] = (a + b)^{(c,n)}\). In the numerators, \(k\) of the factors correspond to probabilities of selecting red balls; these factors form the product \(a (a + c) \cdots [a + (k - 1)c] = a^{(c,k)}\). The remaining \(n - k\) factors in the numerators correspond to selecting green balls; these factors form the product \(b (b + c) \cdots [b + (n - k - 1)c] = b^{(c, n-k)}\).
The joint probability in the previous exercise depends on \((x_1, x_2, \ldots, x_n)\) only through the number of red balls \(k = \sum_{i=1}^n x_i\) in the sample. Thus, the joint distribution is invariant under a permutation of \((x_1, x_2, \ldots, x_n)\), and hence \(\bs{X}\) is an exchangeable sequence of random variables. This means that for each \(n\), all permutations of \((X_1, X_2, \ldots, X_n)\) have the same distribution. Of course the joint distribution reduces to the formulas we have obtained earlier in the special cases of sampling with replacement (\(c = 0\)) or sampling without replacement (\(c = - 1\)), although in the latter case we must have \(n \le a + b\). When \( c \gt 0 \), the Pólya process is a special case of the beta-Bernoulli process, studied in the chapter on Bernoulli trials.
The Pólya process \( \bs X = (X_1, X_2, \ldots) \) with parameters \( a, \, b, \, c \in \N_+ \) is the beta-Bernoulli process with parameters \( a / c \) and \( b / c \). That is, for \( n \in \N_+ \), \((x_1, x_2, \ldots, x_n) \in \{0,1\}^n\), and with \(k = x_1 + x_2 + \cdots + x_n\), \[ \P(X_1 = x_1, X_2 = x_2, \ldots, X_n = x_n) = \frac{(a / c)^{[k]} (b / c)^{[n-k]}}{(a / c + b / c)^{[n]}} \]
Proof
From the previous two results, \[ \P(X_1 = x_1, X_2 = x_2, \ldots, X_n = x_n) = \frac{a^{(c,k)} b^{(c, n - k)}}{(a + b)^{(c,n)}} =\frac{[a^{(c,k)} / c^k] [b^{(c, n - k)} / c^{n-k}]}{(a + b)^{(c,n)} / c^n} = \frac{(a /c)^{[k]} (b / c)^{[n-k]}}{(a / c + b / c)^{[n]}} \] and this is the corresponding finite dimensional distribution of the beta-Bernoulli distribution with parameters \( a / c \) and \( (b / c) \).
Recall that the beta-Bernoulli process is obtained, in the usual formulation, by randomizing the success parameter in a Bernoulli trials sequence, giving the success parameter a beta distribution. So specifically, suppose \( a, \, b, \, c \in \N_+ \) and that random variable \( P \) has the beta distribution with parameters \( a / c \) and \( b / c \). Suppose also that given \( P = p \in (0, 1) \), the random process \( \bs X = (X_1, X_2, \ldots) \) is a sequence of Bernoulli trials with success parameter \( p \). Then \( \bs X \) is the Pólya process with parameters \( a, \, b, \, c \). This is a fascinating connection between two processes that at first, seem to have little in common. In fact however, every exchangeable sequence of indicator random variables can be obtained by randomizing the success parameter in a sequence of Bernoulli trials. This is de Finetti's theorem, named for Bruno de Finetti, which is studied in the section on backwards martingales. When \( c \in \N_+ \), all of the results in this section are special cases of the corresponding results for the beta-Bernoulli process, but it's still interesting to interpret the results in terms of the urn model.
For each \(i \in \N_+\)
- \(\E(X_i) = \frac{a}{a + b}\)
- \(\var(X_i) = \frac{a}{a + b} \frac{b}{a + b}\)
Proof
Since the sequence is exchangeable, \(X_i\) has the same distribution as \(X_1\), so \(\P(X_i = 1) = \frac{a}{a + b}\). The mean and variance now follow from standard results for indicator variables.
Thus \(\bs{X}\) is a sequence of identically distributed variables, quite surprising at first but of course inevitable for any exchangeable sequence. Compare the joint and marginal distributions. Note that \(\bs{X}\) is an independent sequence if and only if \(c = 0\), when we have simple sampling with replacement. Pólya's urn is one of the most famous examples of a random process in which the outcome variables are exchangeable, but dependent (in general).
Next, let's compute the covariance and correlation of a pair of outcome variables.
Suppose that \(i, \, j \in \N_+\) are distinct. Then
- \(\cov\left(X_i, X_j\right) = \frac{a b c}{(a + b)^2 (a + b + c)}\)
- \(\cor\left(X_i, X_j\right) = \frac{c}{a + b + c}\)
Proof
Since the variables are exchangeable, \(\P(X_i = 1, X_j = 1) = \P(X_1 = 1, X_2 = 1) = \frac{a}{a + b} \frac{a + c}{a + b + c}\). The results now follow from standard formulas for covariance and correlation.
Thus, the variables are positively correlated if \(c \gt 0\), negatively correlated if \(c \lt 0\), and uncorrelated (in fact, independent), if \(c = 0\). These results certainly make sense when we recall the dynamics of Pólya's urn. It turns out that in any infinite sequence of exchangeable variables, the variables must be nonnegatively correlated. Here is another result that explores how the variables are related.
Suppose that \( n \in \N_+ \) and \( (x_1, x_2, \ldots, x_n) \in \{0, 1\}^n \). Let \( k = \sum_{i=1}^n x_i \). Then \[ \P(X_{n+1} = 1 \mid X_1 = x_1, X_2 = x_2, \ldots X_n = x_n) = \frac{a + k c}{a + b + n c} \]
Proof
Using the joint distribution, \begin{align*} \P(X_{n+1} = 1 \mid X_1 = x_1, X_2 = x_2, \ldots X_n = x_n) & = \frac{\P( X_1 = x_1, X_2 = x_2, \ldots X_n = x_n, X_{n+1} = 1)}{\P(X_1 = x_1, X_2 = x_2, \ldots X_n = x_n)} \\ & = \frac{a^{(c, k+1)} b^{(c, n-k)}}{(a + b)^{(c, n + 1)}} \frac{(a + b)^{(c, n)}}{a^{(c, k)} b^{(c, n-k)}} = \frac{a + c k}{a + b + c n} \end{align*}
Pólya's urn is described by a sequence of indicator variables. We can study the same derived random processes that we studied with Bernoulli trials: the number of red balls in the first \(n\) trials, the trial number of the \(k\)th red ball, and so forth.
The Number of Red Balls
For \( n \in \N \), the number of red balls selected in the first \(n\) trials is \[ Y_n = \sum_{i=1}^n X_i \] so that \( \bs{Y} = (Y_0, Y_1, \ldots) \) is the partial sum process associated with \( \bs{X} = (X_1, X_2, \ldots) \).
Note that
- The number of green balls selected in the first \(n\) trials is \(n - Y_n\).
- The number of red balls in the urn after the first \(n\) trials is \(a + c \, Y_n\).
- The number of green balls in the urn after the first \(n\) trials is \(b + c (n - Y_n)\).
- The number of balls in the urn after the first \(n\) trials is \(a + b + c \, n\).
The basic analysis of \(\bs{Y}\) follows easily from our work with \(\bs{X}\).
The probability density function of \(Y_n\) is given by \[ \P(Y_n = k) = \binom{n}{k} \frac{a^{(c,k)} b^{(c, n-k)}}{(a + b)^{(c,n)}}, \quad k \in \{0, 1, \ldots, n\} \]
Proof
\(\P(Y_n = y)\) is the sum of \(\P(X_1 = x_1, X_2 = x_2, \ldots, X_n = x_n)\) over all \((x_1, x_2, \ldots, x_n) \in \{0, 1\}^n\) with \(\sum_{i=1}^n x_i = k\). There are \(\binom{n}{k}\) such sequences, and each has the probability given above.
The distribution defined by this probability density function is known, appropriately enough, as the Pólya distribution with parameters \( n \), \( a \), \( b \), and \( c \). Of course, the distribution reduces to the binomial distribution with parameters \( n \) and \( a / (a + b) \) in the case of sampling with replacement (\(c = 0\)) and to the hypergeometric distribution with parameters \( n \), \( a \), and \( b \) in the case of sampling without replacement (\(c = - 1\)), although again in this case we need \(n \le a + b\). When \( c \gt 0 \), the Póyla distribution is a special case of the beta-binomial distribution.
If \( a, \, b, \, c \in \N_+ \) then the Pólya distribution with parameters \( a, \, b, \, c \) is the beta-binomial distribution with parameters \( a / c \) and \( b / c \). That is, \[P(Y_n = k) = \binom{n}{k} \frac{(a / c)^{[k]} (b/c)^{[n - k]}}{(a/c + b/c)^{[n]}}, \quad k \in \{0, 1, \ldots, n\}\]
Proof
This follows immediately from the result above that \( \bs X = (X_1, X_2, \ldots) \) is the beta-Bernoulli process with parameters \( a / c \) and \( b / c \). So by definition, \( Y_n = \sum_{i=1}^n X_i \) has the beta-binomial distribution with parameters \( n \), \( a / c \), and \( b / c \). A direct proof is also simple using the permutation formula above: \[ \P(Y_n = k) = \binom{n}{k} \frac{a^{(c,k)} b^{(c, n-k)}}{(a + b)^{(c,n)}} = \binom{n}{k} \frac{[a^{(c,k)} / c^k] [b^{(c, n-k)} / c^{n-k}]}{(a + b)^{(c,n)} / c^n} = \binom{n}{k} \frac{(a / c)^{[k]} (b/c)^{[n - k]}}{(a/c + b/c)^{[n]}}, \quad k \in \{0, 1, \ldots, n\} \]
The case where all three parameters are equal is particularly interesting.
If \(a = b = c\) then \(Y_n\) is uniformly distributed on \(\{0, 1, \ldots, n\}\).
Proof
This follows from the previous result, since the beta-binomial distribution with parameters \( n \), 1, and 1 reduces to the uniform distribution. Specifically, note that \( 1^{[k]} = k! \), \( 1^{[n-k]} = (n - k)! \) and \( 2^{[n]} = (n + 1)! \). So substituting gives \[ \P(Y_n = k) = \frac{n!}{k!(n - k)!} \frac{k! (n - k)!}{(n + 1)!} = \frac{1}{n + 1}, \quad k \in \{0, 1, \ldots, n\} \]
In general, the Pólya family of distributions has a diverse collection of shapes.
Start the simulation of the Pólya Urn Experiment. Vary the parameters and note the shape of the probability density function. In particular, note when the function is skewed, when the function is symmetric, when the function is unimodal, when the function is monotone, and when the function is U-shaped. For various values of the parameters, run the simulation 1000 times and compare the empirical density function to the probability density function.
The Pólya probability density function is
- unimodal if \(a \gt b \gt c\) and \(n \gt \frac{a - c}{b - c}\)
- unimodal if \(b \gt a \gt c\) and \(n \gt \frac{b - c}{a - c}\)
- U-shaped if \(c \gt a \gt b\) and \(n \gt \frac{c - b}{c - a}\)
- U-shaped if \(c \gt b \gt a\) and \(n \gt \frac{c - a}{c - b}\)
- increasing if \(b \lt c \lt a\)
- decreasing if \(a \lt c \lt b\)
Proof
These results follow from solving the inequality \(\P(Y_n = k) \gt \P(Y_n = k - 1)\).
Next, let's find the mean and variance. Curiously, the mean does not depend on the parameter \(c\).
The mean and variance of the number of red balls selected are
- \(\E(Y_n) = n \frac{a}{a + b}\)
- \(\var(Y_n) = n \frac{a b}{(a + b)^2} \left[1 + (n - 1) \frac{c}{a + b + c}\right]\)
Proof
These results follow from the mean and covariance of the indicator variables given above, and basic properties of expected value and variance.
- \( \E(Y_n) = \sum_{i=1}^n \E(X_i) \)
- \(\var(Y_n) = \sum_{i=1}^n \sum_{j=1}^n \cov\left(X_i, X_j\right)\)
Start the simulation of the Pólya Urn Experiment. Vary the parameters and note the shape and location of the mean \( \pm \) standard deviation bar. For various values of the parameters, run the simulation 1000 times and compare the empirical mean and standard deviation to the distribution mean and standard deviation.
Explicitly compute the probability density function, mean, and variance of \(Y_5\) when \(a = 6\), \(b = 4\), and for the values of \(c \in \{-1, 0, 1, 2, 3, 10\}\). Sketch the graph of the density function in each case.
Fix \(a\), \(b\), and \(n\), and let \(c \to \infty\). Then
- \(\P(Y_n = 0) \to \frac{b}{a + b}\)
- \(\P(Y_n = n) \to \frac{a}{a + b}\)
- \(\P\left(Y_n \in \{1, 2, \ldots, n - 1\}\right) \to 0\)
Proof
Note that \(\P(Y_n = 0) = \frac{b^{(c, n)}}{(a + b)^{(c, n)}}\). The numerator and denominator each have \( n \) factors. If these factors are grouped into a product of \(n\) fractions, then the first is \(\frac{b}{a + b}\). The rest have the form \(\frac{a + j \, c}{a + b + j \, c}\) where \(j \in \{1, 2, \ldots n - 1\}\) Each of these converges to 1 as \(c \to \infty\). Part (b) follows by a similar argument. Part (c) follows from (a) and (b) and the complement rule.
Thus, the limiting distribution of \(Y_n\) as \( c \to \infty \) is concentrated on 0 and \(n\). The limiting probabilities are just the initial proportion of green and red balls, respectively. Interpret this result in terms of the dynamics of Pólya's urn scheme.
Our next result gives the conditional distribution of \( X_{n+1} \) given \( Y_n \).
Suppose that \(n \in \N\) and \(k \in \{0, 1, \ldots, n\}\). Then \[ \P(X_{n+1} = 1 \mid Y_n = k) = \frac{a + c k}{a + b + c n } \]
Proof
Let \( S = \left\{(x_1, x_2, \ldots, x_n) \in \{0, 1\}^n: \sum_{i=1}^n x_i = k\right\} \) and let \( \bs{X}_n = (X_1, X_2, \ldots, X_n) \). Note that the events \( \{\bs{X}_n = \bs{x}\} \) over \( \bs{x} \in S \) partition the event \( \{Y_n = k\} \). Conditioning on \( \bs{X}_n \), \begin{align*} \P(X_{n+1} = 1 \mid Y_n = k) & = \sum_{\bs x \in S} \P(X_{n+1} = 1 \mid Y_n = k, \bs{X}_n = \bs{x}) \P(\bs{X}_n = \bs{x} \mid Y_n = k) \\ & = \sum_{\bs x \in S} \P(X_{n+1} = 1 \mid \bs{X}_n = \bs x) \P(\bs{X}_n = \bs x \mid Y_n = k) \end{align*} But from our result above, \( \P(X_{n+1} = 1 \mid \bs{X}_n = \bs x) = (a + c k) / (a + b + cn) \) for every \( \bs{x} \in S \). Hence \[ \P(X_{n+1} = 1 \mid Y_n = k) = \frac{a + c k}{a + b + c n} \sum_{\bs x \in S} \P(\bs{X}_n = x \mid Y_n = k) \] The last sum is 1.
In particular, if \(a = b = c\) then \(\P(X_{n+1} = 1 \mid Y_n = n) = \frac{n + 1}{n + 2}\). This is Laplace's rule of succession, another interesting connection. The rule is named for Pierre Simon Laplace, and is studied from a different point of view in the section on Independence.
The Proportion of Red Balls
Suppose that \(c \in \N\), so that the process continues indefinitely. For \( n \in \N_+ \), the proportion of red balls selected in the first \(n\) trials is \[ M_n = \frac{Y_n}{n} = \frac{1}{n} \sum_{i=1}^n X_i \] This is an interesting variable, since a little reflection suggests that it may have a limit as \(n \to \infty\). Indeed, if \(c = 0\), then \(M_n\) is just the sample mean corresponding to \(n\) Bernoulli trials. Thus, by the law of large numbers, \(M_n\) converges to the success parameter \(\frac{a}{a + b}\) as \(n \to \infty\) with probability 1. On the other hand, the proportion of red balls in the urn after \(n\) trials is \[ Z_n = \frac{a + c Y_n}{a + b + c n} \] When \(c = 0\), of course, \(Z_n = \frac{a}{a + b}\) so that in this case, \(Z_n\) and \(M_n\) have the same limiting behavior. Note that \[Z_n = \frac{a}{a + b + c n} + \frac{c n}{a + b + c n} M_n\] Since the constant term converges to 0 as \(n \to \infty\) and the coefficient of \(M_n\) converges to 1 as \(n \to \infty\), it follows that the limits of \( M_n \) and \( Z_n \) as \( n \to \infty \) will be the same, if the limit exists, for any mode of convergence: with probability 1, in mean, or in distribution. Here is the general result when \( c \gt 0 \).
Suppose that \( a, \, b, \, c \in \N_+ \). There exists a random variable \( P \) having the beta distribution with parameters \( a / c \) and \( b / c \) such that \(M_n \to P\) and \(Z_n \to P\) as \( n \to \infty \) with probability 1 and in mean square, and hence also in distribution.
Proof
As noted earlier, the urn process is equivalent to the beta-Bernoulli process with parameters \( a / c \) and \( b / c \). We showed in that section that \( M_n \to P \) as \( n \to \infty \) with probability 1 and in mean square, where \( P \) is the beta random variable used in the construction.
In turns out that the random process \( \bs Z = \{Z_n = (a + c Y_n) / (a + b + c n): n \in \N\} \) is a martingale. The theory of martingales provides powerful tools for studying convergence in Pólya's urn process. As an interesting special case, note that if \( a = b = c \) then the limiting distribution is the uniform distribution on \( (0, 1) \).
The Trial Number of the \(k\)th Red Ball
Suppose again that \(c \in \N\), so that the process continues indefinitely. For \(k \in \N_+\) let \( V_k \) denote the trial number of the \( k \)th red ball selected. Thus \[ V_k = \min\{n \in \N_+: Y_n = k\} \] Note that \(V_k\) takes values in \(\{k, k + 1, \ldots\}\). The random processes \(\bs{V} = (V_1, V_2, \ldots)\) and \(\bs{Y} = (Y_1, Y_2, \ldots)\) are inverses of each other in a sense.
For \(k, \, n \in \N_+\) with \(k \le n\),
- \(V_k \le n\) if and only if \(Y_n \ge k\)
- \(V_k = n\) if and only if \(Y_{n-1} = k - 1\) and \(X_n = 1\)
The probability denisty function of \(V_k\) is given by \[ \P(V_k = n) = \binom{n - 1}{k - 1} \frac{a^{(c,k)} b^{(c,n-k)}}{(a + b)^{(c,n)}}, \quad n \in \{k, k + 1, \ldots\} \]
Proof
We condition on \( Y_{n-1} \). Using the PDF of \( Y_{n-1} \) and the result above, \begin{align*} \P(V_k = n) & = \P(Y_{n-1} = k - 1, X_n = 1) = \P(Y_{n-1} = k - 1) \P(X_n = 1 \mid Y_{n-1} = k - 1) \\ & = \binom{n - 1}{k - 1} \frac{a^{(c, k - 1)} b^{(c, (n - 1) - (k - 1))}}{(a + b)^{(c, n-1)}} \frac{a + c (k - 1)}{a + b + c (n - 1)} = \binom{n - 1}{k - 1} \frac{a^{(c, k)} b^{(c, n-k)}}{(a + b)^{(c, n)}} \end{align*}
Of course this probability density function reduces to the negative binomial density function with trial parameter \(k\) and success parameter \(p = \frac{a}{a+b}\) when \(c = 0\) (sampling with replacement). When \( c \gt 0 \), the distribution is a special case of the beta-negative binomial distribution.
If \( a, \, b, \, c \in \N_+ \) then \( V_k \) has the beta-negative binomial distribution with parameters \( k \), \( a / c \), and \( b / c \). That is, \[ \P(V_k = n) = \binom{n - 1}{k - 1} \frac{(a/c)^{[k]} (b/c)^{[n-k]}}{(a / c + b / c)^{[n]}}, \quad n \in \{k, k + 1, \ldots\} \]
Proof
As with previous proofs, this result follows since the underlying process \( \bs X = (X_1, X_2, \ldots) \) is the beta-Bernoulli process with parameters \( a / c \) and \( b / c \). The form of the PDF also follows easily from the previous result by dividing the numerator and denominator \( c^n \).
If \(a = b = c\) then \[ \P(V_k = n) = \frac{k}{n (n + 1)}, \quad n \in \{k, k + 1, k + 2, \ldots\} \]
Proof
As in the corresponding proof for the number of red balls, the fraction in the PDF of \(V_k\) in the previous result reduces to \(\frac{k! (n - k)!}{(n + 1)!}\), while the binomial coefficient is \(\frac{(n - 1)!}{(k - 1)! (n - k)!}\).
Fix \(a\), \(b\), and \(k\), and let \(c \to \infty\). Then
- \(\P(V_k = k) \to \frac{a}{a + b}\)
- \(\P(V_k \in \{k + 1, k + 2, \ldots\}) \to 0\)
Thus, the limiting distribution of \(V_k\) is concentrated on \(k\) and \(\infty\). The limiting probabilities at these two points are just the initial proportion of red and green balls, respectively. Interpret this result in terms of the dynamics of Pólya's urn scheme.