Pólya Urn Model
   HOME

TheInfoList



OR:

In
statistics Statistics (from German language, German: ', "description of a State (polity), state, a country") is the discipline that concerns the collection, organization, analysis, interpretation, and presentation of data. In applying statistics to a s ...
, a Pólya urn model (also known as a Pólya urn scheme or simply as Pólya's urn), named after
George Pólya George Pólya (; ; December 13, 1887 – September 7, 1985) was a Hungarian-American mathematician. He was a professor of mathematics from 1914 to 1940 at ETH Zürich and from 1940 to 1953 at Stanford University. He made fundamental contributi ...
, is a family of urn models that can be used to interpret many commonly used statistical models. The model represents objects of interest (such as atoms, people, cars, etc.) as colored balls in an urn. In the basic Pólya urn model, the experimenter puts ''x'' white and ''y'' black balls into an urn. At each step, one ball is drawn uniformly at random from the urn, and its color observed; it is then returned in the urn, and an additional ball of the same color is added to the urn. If by random chance, more black balls are drawn than white balls in the initial few draws, it would make it more likely for more black balls to be drawn later. Similarly for the white balls. Thus the urn has a self-reinforcing property (" the rich get richer"). It is the opposite of sampling without replacement, where every time a particular value is observed, it is less likely to be observed again, whereas in a Pólya urn model, an observed value is ''more'' likely to be observed again. In a Pólya urn model, successive acts of measurement over time have less and less effect on future measurements, whereas in sampling without replacement, the opposite is true: After a certain number of measurements of a particular value, that value will never be seen again. It is also different from sampling with replacement, where the ball is returned to the urn but without adding new balls. In this case, there is neither self-reinforcing nor anti-self-reinforcing.


Basic results

Questions of interest are the evolution of the urn population and the sequence of colors of the balls drawn out. After n draws, the probability that the urn contains (x+n_1) white balls and (y+n_2) black balls (for 0 \le n_1 , n_2 \le n \,\,, n_1 + n_2 = n) is \binom\frac where the overbar denotes rising factorial. This can be proved by drawing the
Pascal's triangle In mathematics, Pascal's triangle is an infinite triangular array of the binomial coefficients which play a crucial role in probability theory, combinatorics, and algebra. In much of the Western world, it is named after the French mathematician Bla ...
of all possible configurations. In particular, starting with one white and one black ball (i.e., x = y = 1) the probability to have any number 1 \le n_1 + 1 \le n+1 of white balls in the urn after n draws is the same, \frac . More generally, if the urn starts with a_i balls of color i, with i = 1, 2, ..., k, then after n draws, the probability that the urn contains (a_i+n_i) balls of color i is\binom\fracwhere we use the
multinomial coefficient In mathematics, the multinomial theorem describes how to expand a power of a sum in terms of powers of the terms in that sum. It is the generalization of the binomial theorem from binomials to multinomials. Theorem For any positive integer ...
. Conditional on the urn ending up with (a_i+n_i) balls of color i after n draws, there are \binom different trajectories that could have led to such an end-state. The conditional probability of each trajectory is the same: \binom^.


Interpretation

One of the reasons for interest in ''this particular'' rather elaborate urn model (i.e. with duplication and then replacement of each ball drawn) is that it provides an example in which the count (initially ''x'' black and ''y'' white) of balls in the urn is ''not'' concealed, which is able to approximate the correct updating of ''subjective'' probabilities appropriate to a ''different'' case in which the original urn content ''is'' concealed while ordinary sampling with replacement is conducted (without the Pólya ball-duplication). Because of the simple "sampling with replacement" scheme in this second case, the urn content is now ''static'', but this greater simplicity is compensated for by the assumption that the urn content is now ''unknown'' to an observer. A
Bayesian analysis Thomas Bayes ( ; c. 1701 – 1761) was an English statistician, philosopher, and Presbyterian Presbyterianism is a historically Reformed Protestant tradition named for its form of church government by representative assemblies of elde ...
of the observer's uncertainty about the urn's initial content can be made, using a ''particular choice'' of (conjugate) prior distribution. Specifically, suppose that an observer knows that the urn contains only identical balls, each coloured either black or white, but they do not know the absolute number of balls present, nor the proportion that are of each colour. Suppose that they hold prior beliefs about these unknowns: for them the probability distribution of the urn content is well approximated by some prior distribution for the total number of balls in the urn, and a beta prior distribution with parameters ''(x,y)'' for the initial proportion of these which are black, this proportion being (for them) considered approximately independent of the total number. Then the process of outcomes of a succession of draws from the urn (with replacement but without the duplication) has ''approximately the same probability law'' as does the above Pólya scheme in which the actual urn content was not hidden from them. The approximation error here relates to the fact that an urn containing a known finite number ''m'' of balls of course cannot have an ''exactly'' beta-distributed unknown proportion of black balls, since the domain of possible values for that proportion are confined to being multiples of 1/m, rather than having the full freedom to assume any value in the continuous unit interval, as would an ''exactly'' beta distributed proportion. This slightly informal account is provided for reason of motivation, and can be made more mathematically precise. This basic Pólya urn model has been generalized in many ways.


Distributions related to the Pólya urn

* beta-binomial distribution: The distribution of the number of successful draws (trials), e.g. number of extractions of white ball, given n draws from a Pólya urn. *
Beta negative binomial distribution In probability theory, a beta negative binomial distribution is the probability distribution of a discrete probability distribution, discrete random variable X equal to the number of failures needed to get r successes in a sequence of indepe ...
: The distribution of number of white balls observed until a fixed number black balls are observed. * Dirichlet-multinomial distribution (also known as the ''multivariate Pólya distribution''): The distribution over the number of balls of each color, given n draws from a Pólya urn where there are k different colors instead of only two. * Dirichlet negative multinomial distribution: The distribution over the number of balls of each color until a fixed number of stopping colored balls are observed. * Martingales, the Beta-binomial distribution and the
beta distribution In probability theory and statistics, the beta distribution is a family of continuous probability distributions defined on the interval
, 1 The comma is a punctuation mark that appears in several variants in different languages. Some typefaces render it as a small line, slightly curved or straight, but inclined from the vertical; others give it the appearance of a miniature fille ...
or (0, 1) in terms of two positive Statistical parameter, parameters, denoted by ''alpha'' (''α'') an ...
: Let ''w'' and ''b'' be the number of white and black balls initially in the urn, and w+n_w the number of white balls currently in the urn after ''n'' draws. Then the sequence of values \frac for n=1,2,3,\dots is a normalized version of the Beta-binomial distribution. It is a martingale and converges to the
beta distribution In probability theory and statistics, the beta distribution is a family of continuous probability distributions defined on the interval
, 1 The comma is a punctuation mark that appears in several variants in different languages. Some typefaces render it as a small line, slightly curved or straight, but inclined from the vertical; others give it the appearance of a miniature fille ...
or (0, 1) in terms of two positive Statistical parameter, parameters, denoted by ''alpha'' (''α'') an ...
when ''n'' → ∞. * Dirichlet process, Chinese restaurant process, Hoppe urn: Imagine a modified Pólya urn scheme as follows. We start with an urn with \alpha black balls. When drawing a ball from the urn, if we draw a black ball, put the ball back along with a new ball of a new non-black color randomly generated from a uniform distribution over an infinite set of available colours, and consider the newly generated color to be the "value" of the draw. Otherwise, put the ball back along with another ball of the same color, as for the standard Pólya urn scheme. The colors of an infinite sequence of draws from this modified Pólya urn scheme follow a Chinese restaurant process. If, instead of generating a new color, we draw a random value from a given base distribution and use that value to label the ball, the labels of an infinite sequence of draws follow a Dirichlet process. * Moran model: An urn model used to model
genetic drift Genetic drift, also known as random genetic drift, allelic drift or the Wright effect, is the change in the Allele frequency, frequency of an existing gene variant (allele) in a population due to random chance. Genetic drift may cause gene va ...
in theoretical
population genetics Population genetics is a subfield of genetics that deals with genetic differences within and among populations, and is a part of evolutionary biology. Studies in this branch of biology examine such phenomena as Adaptation (biology), adaptation, s ...
. This is closely similar to the Pólya urn model except that, in addition to adding a new ball of the same color, a randomly drawn ball is removed from the urn. The number of balls in the urn thus remains constant. Continued sampling then leads ultimately to an urn with all balls of one color, the probability of each color being the proportion of that color in the original urn. There are variants of the Moran model that insist that the ball removed from the urn be a different ball from one originally sampled in that step, and variants that do the removal of a ball immediately after the new ball is placed in the urn, so that the new ball is one of the balls available to be removed. This makes a small difference in the time taken to reach the state in which all balls are the same color. The Moran process models genetic drift in a population with overlapping generations.


Exchangeability

Polya's Urn is a quintessential example of an exchangeable process. Suppose we have an urn containing \gamma white balls and \alpha black balls. We proceed to draw balls at random from the urn. On the i-th draw, we define a random variable, X_i, by X_i = 1 if the ball is black and X_i = 0 otherwise. We then return the ball to the urn, with an additional ball of the same colour. For a given i, if we have that X_j = 1 for many j < i, then it is more likely that X_i =1, because more black balls have been added to the urn. Therefore, these variables are not
independent Independent or Independents may refer to: Arts, entertainment, and media Artist groups * Independents (artist group), a group of modernist painters based in Pennsylvania, United States * Independentes (English: Independents), a Portuguese artist ...
of each other. The sequence X_1, X_2, X_3, \dots does, however, exhibit the weaker property of exchangeability. Recall that a (finite or infinite) sequence of random variables is called exchangeable if its joint distribution is invariant under permutations of indices. To show exchangeability of the sequence X_1, X_2, X_3, \dots, assume that n balls are picked from the urn, and out of these n balls, k balls are black and n-k are white. On the first draw the number of balls in the urn is \gamma+\alpha; on the second draw it is \gamma+\alpha+1 and so on. On the i-th draw, the number of balls will be \gamma+\alpha+i-1. The probability that we draw all k black balls first, and then all n-k white balls is given by \mathbb P \left( X_1 = 1, \dots, X_k =1, X_ =0, \dots, X_n = 0 \right) = \frac\times \frac\times \cdots \times \frac \times \frac\times \frac\times \cdots \times \frac Now we must show that if the order of black and white balls is permuted, there is no change to the probability. As in the expression above, even after permuting the draws, the ith denominator will always be \gamma+\alpha+i-1, since this is the number of balls in the urn at that round. If we see j-th black ball in round t, the probability X_t = 1 will be equal to \frac, i.e. the numerator will be equal to \alpha+j-1. With the same argument, we can calculate the probability for white balls. Therefore, for any sequence x_1, x_2, x_3, \dots in which 1 occurs k times and 0 occurs n-k times (i.e. a sequence with k black balls and n-k white balls drawn in some order) the final probability will be equal to the following expression, where we take advantage of
commutativity In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Perhaps most familiar as a p ...
of multiplication in the numerator:\begin \mathbb P(X_1=x_1,X_2=x_2,...,X_n=x_n) &= \frac \\ &= \frac \endThis probability is not related to the order of seeing black and white balls and only depends on the total number of white balls and the total number of black balls. According to the
De Finetti's theorem In probability theory, de Finetti's theorem states that exchangeable random variables, exchangeable observations are conditionally independent relative to some latent variable. An epistemic probability probability distribution, distribution could ...
, there must be a unique prior distribution such that the joint distribution of observing the sequence is a Bayesian mixture of the Bernoulli probabilities. It can be shown that this prior distribution is a
beta distribution In probability theory and statistics, the beta distribution is a family of continuous probability distributions defined on the interval
, 1 The comma is a punctuation mark that appears in several variants in different languages. Some typefaces render it as a small line, slightly curved or straight, but inclined from the vertical; others give it the appearance of a miniature fille ...
or (0, 1) in terms of two positive Statistical parameter, parameters, denoted by ''alpha'' (''α'') an ...
with parameters \beta\left(\cdot; \,\alpha,\, \gamma\right). In De Finetti's theorem, if we replace \pi(\cdot) with \beta\left(\cdot; \,\alpha,\, \gamma\right), then we get the previous equation:\begin p(X_1=x_1,X_2=x_2,...,X_n=x_n) &= \int \theta^\left(\right)\times \left(1-\theta\right)^\left(n - \right)\,\beta\left(\theta; \alpha,\, \gamma\right)d\left(\theta\right)\\ &= \int \theta^\left(\right)\times \left(1-\theta\right)^\left(n - \right)\,\dfrac\theta^(1-\theta)^d\left(\theta\right)\\ &= \int \theta^\left(\right)\times \left(1-\theta\right)^\left(n + \gamma -1 -\right)\,\dfracd\left(\theta\right)\\ &= \int \theta^\left(\right)\times \left(1-\theta\right)^\left(n -k - 1+ \gamma\right)\,\dfracd\left(\theta\right)\\ &= \dfrac \int \theta^\left(\right)\times \left(1-\theta\right)^\left(n-k+\gamma- 1\right)\,d\left(\theta\right)\\ &= \dfrac \dfrac\\ &= \dfrac \end In this equation k = \sum_^n x_i.


See also

* Urn problem * Pitman–Yor process * Moran process * Yule process *
De Finetti's theorem In probability theory, de Finetti's theorem states that exchangeable random variables, exchangeable observations are conditionally independent relative to some latent variable. An epistemic probability probability distribution, distribution could ...
* Chinese restaurant process


References


Further reading

* * *


Bibliography

* N.L. Johnson and S.Kotz, (1977) "Urn Models and Their Application." John Wiley. * Hosam Mahmoud, (2008) "Pólya Urn Models." Chapman and Hall/CRC. . {{DEFAULTSORT:Polya urn model Probabilistic models