Hypergeometric distribution

From HandWiki
Short description: Discrete probability distribution
Hypergeometric
Probability mass function
Hypergeometric PDF plot
Cumulative distribution function
Hypergeometric CDF plot
Parameters [math]\displaystyle{ \begin{align}N&\in \left\{0,1,2,\dots\right\} \\ K&\in \left\{0,1,2,\dots,N\right\} \\ n&\in \left\{0,1,2,\dots,N\right\}\end{align}\, }[/math]
Support [math]\displaystyle{ \scriptstyle{k\, \in\, \left\{\max{(0,\, n+K-N)},\, \dots,\, \min{(n,\, K )}\right\}}\, }[/math]
pmf [math]\displaystyle{ {{{K \choose k} {{N-K} \choose {n-k}}}\over {N \choose n}} }[/math]
CDF [math]\displaystyle{ 1-{{{n \choose {k+1}}{{N-n} \choose {K-k-1}}}\over {N \choose K}} \,_3F_2\!\!\left[\begin{array}{c}1,\ k+1-K,\ k+1-n \\ k+2,\ N+k+2-K-n\end{array};1\right], }[/math] where [math]\displaystyle{ \,_pF_q }[/math] is the generalized hypergeometric function
Mean [math]\displaystyle{ n {K \over N} }[/math]
Mode [math]\displaystyle{ \left \lceil \frac{(n+1)(K+1)}{N+2} \right \rceil-1, \left \lfloor \frac{(n+1)(K+1)}{N+2} \right \rfloor }[/math]
Variance [math]\displaystyle{ n{K\over N}{N-K\over N}{N-n\over N-1} }[/math]
Skewness [math]\displaystyle{ \frac{(N-2K)(N-1)^\frac{1}{2}(N-2n)}{[nK(N-K)(N-n)]^\frac{1}{2}(N-2)} }[/math]
Ex. kurtosis

[math]\displaystyle{ \left.\frac{1}{n K(N-K)(N-n)(N-2)(N-3)}\cdot\right. }[/math] [math]\displaystyle{ \Big[(N-1)N^{2}\Big(N(N+1)-6K(N-K)-6n(N-n)\Big)+{} }[/math]

[math]\displaystyle{ {}+6 n K (N-K)(N-n)(5N-6)\Big] }[/math]
MGF [math]\displaystyle{ \frac{{N-K \choose n} \scriptstyle{\,_2F_1(-n, -K; N - K - n + 1; e^{t}) } } {{N \choose n}} \,\! }[/math]
CF [math]\displaystyle{ \frac{{N-K \choose n} \scriptstyle{\,_2F_1(-n, -K; N - K - n + 1; e^{it}) }} {{N \choose n}} }[/math]

In probability theory and statistics, the hypergeometric distribution is a discrete probability distribution that describes the probability of [math]\displaystyle{ k }[/math] successes (random draws for which the object drawn has a specified feature) in [math]\displaystyle{ n }[/math] draws, without replacement, from a finite population of size [math]\displaystyle{ N }[/math] that contains exactly [math]\displaystyle{ K }[/math] objects with that feature, wherein each draw is either a success or a failure. In contrast, the binomial distribution describes the probability of [math]\displaystyle{ k }[/math] successes in [math]\displaystyle{ n }[/math] draws with replacement.

Definitions

Probability mass function

The following conditions characterize the hypergeometric distribution:

  • The result of each draw (the elements of the population being sampled) can be classified into one of two mutually exclusive categories (e.g. Pass/Fail or Employed/Unemployed).
  • The probability of a success changes on each draw, as each draw decreases the population (sampling without replacement from a finite population).

A random variable [math]\displaystyle{ X }[/math] follows the hypergeometric distribution if its probability mass function (pmf) is given by[1]

[math]\displaystyle{ p_X(k) = \Pr(X = k) = \frac{\binom{K}{k} \binom{N - K}{n-k}}{\binom{N}{n}}, }[/math]

where

  • [math]\displaystyle{ N }[/math] is the population size,
  • [math]\displaystyle{ K }[/math] is the number of success states in the population,
  • [math]\displaystyle{ n }[/math] is the number of draws (i.e. quantity drawn in each trial),
  • [math]\displaystyle{ k }[/math] is the number of observed successes,
  • [math]\displaystyle{ \textstyle {a \choose b} }[/math] is a binomial coefficient.

The pmf is positive when [math]\displaystyle{ \max(0, n+K-N) \leq k \leq \min(K,n) }[/math].

A random variable distributed hypergeometrically with parameters [math]\displaystyle{ N }[/math], [math]\displaystyle{ K }[/math] and [math]\displaystyle{ n }[/math] is written [math]\displaystyle{ X \sim \operatorname{Hypergeometric}(N,K,n) }[/math] and has probability mass function [math]\displaystyle{ p_X(k) }[/math] above.

Combinatorial identities

As required, we have

[math]\displaystyle{ \sum_{0\leq k\leq min(n,K)} { {K \choose k} { N-K \choose n-k} \over {N \choose n} } = 1, }[/math]

which essentially follows from Vandermonde's identity from combinatorics.

Also note that

{{{n \choose k} {{N-n} \choose {K-k}}} \over {N \choose K}};</math>

This identity can be shown by expressing the binomial coefficients in terms of factorials and rearranging the latter, but it also follows from the symmetry of the problem. Indeed, consider two rounds of drawing without replacement. In the first round, [math]\displaystyle{ K }[/math] out of [math]\displaystyle{ N }[/math] neutral marbles are drawn from an urn without replacement and coloured green. Then the colored marbles are put back. In the second round, [math]\displaystyle{ n }[/math] marbles are drawn without replacement and colored red. Then, the number of marbles with both colors on them (that is, the number of marbles that have been drawn twice) has the hypergeometric distribution. The symmetry in [math]\displaystyle{ K }[/math] and [math]\displaystyle{ n }[/math] stems from the fact that the two rounds are independent, and one could have started by drawing [math]\displaystyle{ n }[/math] balls and colouring them red first.

Properties

Working example

The classical application of the hypergeometric distribution is sampling without replacement. Think of an urn with two colors of marbles, red and green. Define drawing a green marble as a success and drawing a red marble as a failure (analogous to the binomial distribution). If the variable N describes the number of all marbles in the urn (see contingency table below) and K describes the number of green marbles, then N − K corresponds to the number of red marbles. In this example, X is the random variable whose outcome is k, the number of green marbles actually drawn in the experiment. This situation is illustrated by the following contingency table:

drawn not drawn total
green marbles k Kk K
red marbles nk N + k − n − K N − K
total n N − n N

Now, assume (for example) that there are 5 green and 45 red marbles in the urn. Standing next to the urn, you close your eyes and draw 10 marbles without replacement. What is the probability that exactly 4 of the 10 are green? Note that although we are looking at success/failure, the data are not accurately modeled by the binomial distribution, because the probability of success on each trial is not the same, as the size of the remaining population changes as we remove each marble.

This problem is summarized by the following contingency table:

drawn not drawn total
green marbles k = 4 Kk = 1 K = 5
red marbles nk = 6 N + k − n − K = 39 N − K = 45
total n = 10 N − n = 40 N = 50

The probability of drawing exactly k green marbles can be calculated by the formula

[math]\displaystyle{ P(X=k) = f(k;N,K,n) = {{{K \choose k} {{N-K} \choose {n-k}}}\over {N \choose n}}. }[/math]

Hence, in this example calculate

[math]\displaystyle{ P(X=4) = f(4;50,5,10) = {{{5 \choose 4} {{45} \choose {6}}}\over {50 \choose 10}} = {5\cdot 8145060\over 10272278170} = 0.003964583\dots. }[/math]

Intuitively we would expect it to be even more unlikely that all 5 green marbles will be among the 10 drawn.

[math]\displaystyle{ P(X=5) = f(5;50,5,10) = {{{5 \choose 5} {{45} \choose {5}}}\over {50 \choose 10}} = {1\cdot 1221759 \over 10272278170} = 0.0001189375\dots, }[/math]

As expected, the probability of drawing 5 green marbles is roughly 35 times less likely than that of drawing 4.

Symmetries

Swapping the roles of green and red marbles:

[math]\displaystyle{ f(k;N,K,n) = f(n-k;N,N-K,n) }[/math]

Swapping the roles of drawn and not drawn marbles:

[math]\displaystyle{ f(k;N,K,n) = f(K-k;N,K,N-n) }[/math]

Swapping the roles of green and drawn marbles:

[math]\displaystyle{ f(k;N,K,n) = f(k;N,n,K) }[/math]

These symmetries generate the dihedral group [math]\displaystyle{ D_4 }[/math].

Order of draws

The probability of drawing any set of green and red marbles (the hypergeometric distribution) depends only on the numbers of green and red marbles, not on the order in which they appear; i.e., it is an exchangeable distribution. As a result, the probability of drawing a green marble in the [math]\displaystyle{ i^{\text{th}} }[/math] draw is[2]

[math]\displaystyle{ P(G_i) = \frac{K}{N}. }[/math]

This is an ex ante probability—that is, it is based on not knowing the results of the previous draws.

Tail bounds

Let [math]\displaystyle{ X \sim \operatorname{Hypergeometric}(N,K,n) }[/math] and [math]\displaystyle{ p=K/N }[/math]. Then for [math]\displaystyle{ 0 \lt t \lt nK/N }[/math] we can derive the following bounds:[3]

[math]\displaystyle{ \begin{align} \Pr[X\le (p - t)n] &\le e^{-n\text{D}(p-t\parallel p)} \le e^{-2t^2n}\\ \Pr[X\ge (p+t)n] &\le e^{-n\text{D}(p+t\parallel p)} \le e^{-2t^2n}\\ \end{align}\! }[/math]

where

[math]\displaystyle{ D(a\parallel b)=a\log\frac{a}{b}+(1-a)\log\frac{1-a}{1-b} }[/math]

is the Kullback-Leibler divergence and it is used that [math]\displaystyle{ D(a\parallel b) \ge 2(a-b)^2 }[/math].[4]

If n is larger than N/2, it can be useful to apply symmetry to "invert" the bounds, which give you the following: [4] [5]

[math]\displaystyle{ \begin{align} \Pr[X\le (p - t)n] &\le e^{-(N-n)\text{D}(p+\tfrac{tn}{N-n}||p)} \le e^{-2 t^2 n \tfrac{n}{N-n}}\\ \\ \Pr[X\ge (p+t)n] &\le e^{-(N-n)\text{D}(p-\tfrac{tn}{N-n}||p)} \le e^{-2 t^2 n \tfrac{n}{N-n}}\\ \end{align}\! }[/math]

Statistical Inference

Hypergeometric test

The hypergeometric test uses the hypergeometric distribution to measure the statistical significance of having drawn a sample consisting of a specific number of [math]\displaystyle{ k }[/math] successes (out of [math]\displaystyle{ n }[/math] total draws) from a population of size [math]\displaystyle{ N }[/math] containing [math]\displaystyle{ K }[/math] successes. In a test for over-representation of successes in the sample, the hypergeometric p-value is calculated as the probability of randomly drawing [math]\displaystyle{ k }[/math] or more successes from the population in [math]\displaystyle{ n }[/math] total draws. In a test for under-representation, the p-value is the probability of randomly drawing [math]\displaystyle{ k }[/math] or fewer successes.

Biologist and statistician Ronald Fisher

The test based on the hypergeometric distribution (hypergeometric test) is identical to the corresponding one-tailed version of Fisher's exact test.[6] Reciprocally, the p-value of a two-sided Fisher's exact test can be calculated as the sum of two appropriate hypergeometric tests (for more information see[7]).

The test is often used to identify which sub-populations are over- or under-represented in a sample. This test has a wide range of applications. For example, a marketing group could use the test to understand their customer base by testing a set of known customers for over-representation of various demographic subgroups (e.g., women, people under 30).

Related distributions

Let [math]\displaystyle{ X\sim\operatorname{Hypergeometric}(N,K,n) }[/math] and [math]\displaystyle{ p=K/N }[/math].

  • If [math]\displaystyle{ n=1 }[/math] then [math]\displaystyle{ X }[/math] has a Bernoulli distribution with parameter [math]\displaystyle{ p }[/math].
  • Let [math]\displaystyle{ Y }[/math] have a binomial distribution with parameters [math]\displaystyle{ n }[/math] and [math]\displaystyle{ p }[/math]; this models the number of successes in the analogous sampling problem with replacement. If [math]\displaystyle{ N }[/math] and [math]\displaystyle{ K }[/math] are large compared to [math]\displaystyle{ n }[/math], and [math]\displaystyle{ p }[/math] is not close to 0 or 1, then [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y }[/math] have similar distributions, i.e., [math]\displaystyle{ P(X \le k) \approx P(Y \le k) }[/math].
  • If [math]\displaystyle{ n }[/math] is large, [math]\displaystyle{ N }[/math] and [math]\displaystyle{ K }[/math] are large compared to [math]\displaystyle{ n }[/math], and [math]\displaystyle{ p }[/math] is not close to 0 or 1, then
[math]\displaystyle{ P(X \le k) \approx \Phi \left( \frac{k-n p}{\sqrt{n p (1-p)}} \right) }[/math]

where [math]\displaystyle{ \Phi }[/math] is the standard normal distribution function

  • If the probabilities of drawing a green or red marble are not equal (e.g. because green marbles are bigger/easier to grasp than red marbles) then [math]\displaystyle{ X }[/math] has a noncentral hypergeometric distribution
  • The beta-binomial distribution is a conjugate prior for the hypergeometric distribution.

The following table describes four distributions related to the number of successes in a sequence of draws:

With replacements No replacements
Given number of draws binomial distribution hypergeometric distribution
Given number of failures negative binomial distribution negative hypergeometric distribution

Multivariate hypergeometric distribution

Multivariate hypergeometric distribution
Parameters [math]\displaystyle{ c \in \mathbb{N}_{+} = \lbrace 1, 2, \ldots \rbrace }[/math]
[math]\displaystyle{ (K_1,\ldots,K_c) \in \mathbb{N}^c }[/math]
[math]\displaystyle{ N = \sum_{i=1}^c K_i }[/math]
[math]\displaystyle{ n \in \lbrace 0,\ldots,N\rbrace }[/math]
Support [math]\displaystyle{ \left\{ \mathbf{k} \in \mathbb{Z}_{0+}^c \, : \, \forall i\ k_i \le K_i , \sum_{i=1}^{c} k_i = n \right\} }[/math]
pmf [math]\displaystyle{ \frac{\prod\limits_{i=1}^c \binom{K_i}{k_i}}{\binom{N}{n}} }[/math]
Mean [math]\displaystyle{ \operatorname E(X_i) = n\frac{K_i}{N} }[/math]
Variance [math]\displaystyle{ \operatorname{Var}(X_i) = n \frac{N-n}{N-1} \;\frac{K_i}{N} \left(1-\frac{K_i}{N}\right) }[/math]
[math]\displaystyle{ \operatorname{Cov}(X_i,X_j) = -n \frac{N-n}{N-1} \;\frac{K_i}{N} \frac{K_j}{N} }[/math]
[math]\displaystyle{ \operatorname{Corr}(X_i,X_j) = -\sqrt{\frac{K_i K_j}{\left(N-K_i\right)\left(N-K_j\right)}} }[/math]

The model of an urn with green and red marbles can be extended to the case where there are more than two colors of marbles. If there are Ki marbles of color i in the urn and you take n marbles at random without replacement, then the number of marbles of each color in the sample (k1, k2,..., kc) has the multivariate hypergeometric distribution. This has the same relationship to the multinomial distribution that the hypergeometric distribution has to the binomial distribution—the multinomial distribution is the "with-replacement" distribution and the multivariate hypergeometric is the "without-replacement" distribution.

The properties of this distribution are given in the adjacent table,[8] where c is the number of different colors and [math]\displaystyle{ N=\sum_{i=1}^c K_i }[/math] is the total number of marbles.

Example

Suppose there are 5 black, 10 white, and 15 red marbles in an urn. If six marbles are chosen without replacement, the probability that exactly two of each color are chosen is

[math]\displaystyle{ P(2\text{ black}, 2\text{ white}, 2\text{ red}) = {{{5 \choose 2}{10 \choose 2} {15 \choose 2}}\over {30 \choose 6}} = 0.079575596816976 }[/math]

Occurrence and applications

Application to auditing elections

Samples used for election audits and resulting chance of missing a problem

Election audits typically test a sample of machine-counted precincts to see if recounts by hand or machine match the original counts. Mismatches result in either a report or a larger recount. The sampling rates are usually defined by law, not statistical design, so for a legally defined sample size n, what is the probability of missing a problem which is present in K precincts, such as a hack or bug? This is the probability that k = 0. Bugs are often obscure, and a hacker can minimize detection by affecting only a few precincts, which will still affect close elections, so a plausible scenario is for K to be on the order of 5% of N. Audits typically cover 1% to 10% of precincts (often 3%),[9][10][11] so they have a high chance of missing a problem. For example, if a problem is present in 5 of 100 precincts, a 3% sample has 86% probability that k = 0 so the problem would not be noticed, and only 14% probability of the problem appearing in the sample (positive k):

[math]\displaystyle{ \begin{align} \Pr(X = 0) & = \frac{\binom{\text{Hack}}{0} \binom{N - \text{Hack}}{n-0}}{\binom{N}{n}} = \frac{\binom{N - \text{Hack}}{n}}{\binom{N}{n}} = \frac{\frac{(N-\text{Hack})!}{n!(N-\text{Hack}-n)!}}{\frac{N!}{n!(N-n)!}} = \frac{\frac{(N-\text{Hack})!}{(N-\text{Hack}-n)!}}{\frac{N!}{(N-n)!}} \\[8pt] & = \frac{\binom{100-5}{3}}{\binom{100}{3}} = \frac{\frac{(100-5)!}{(100-5-3)!}}{\frac{100!}{(100-3)!}} = \frac{\frac{95!}{92!}}{\frac{100!}{97!}} = \frac{95\times94\times93}{100\times99\times98} = 86\% \end{align} }[/math]

The sample would need 45 precincts in order to have probability under 5% that k = 0 in the sample, and thus have probability over 95% of finding the problem:

[math]\displaystyle{ P(X = 0) = \frac{\binom{100-5}{45}}{\binom{100}{45}} = \frac{\frac{95!}{50!}}{\frac{100!}{55!}} = \frac{95\times94\times \cdots \times51}{100\times99\times \cdots \times56} = \frac{55\times54\times53\times52\times51}{100\times99\times98\times97\times96} = 4.6\% }[/math]

Application to Texas hold'em poker

In hold'em poker players make the best hand they can combining the two cards in their hand with the 5 cards (community cards) eventually turned up on the table. The deck has 52 and there are 13 of each suit. For this example assume a player has 2 clubs in the hand and there are 3 cards showing on the table, 2 of which are also clubs. The player would like to know the probability of one of the next 2 cards to be shown being a club to complete the flush.
(Note that the probability calculated in this example assumes no information is known about the cards in the other players' hands; however, experienced poker players may consider how the other players place their bets (check, call, raise, or fold) in considering the probability for each scenario. Strictly speaking, the approach to calculating success probabilities outlined here is accurate in a scenario where there is just one player at the table; in a multiplayer game this probability might be adjusted somewhat based on the betting play of the opponents.)

There are 4 clubs showing so there are 9 clubs still unseen. There are 5 cards showing (2 in the hand and 3 on the table) so there are [math]\displaystyle{ 52-5=47 }[/math] still unseen.

The probability that one of the next two cards turned is a club can be calculated using hypergeometric with [math]\displaystyle{ k=1, n=2, K=9 }[/math] and [math]\displaystyle{ N=47 }[/math]. (about 31.64%)

The probability that both of the next two cards turned are clubs can be calculated using hypergeometric with [math]\displaystyle{ k=2, n=2, K=9 }[/math] and [math]\displaystyle{ N=47 }[/math]. (about 3.33%)

The probability that neither of the next two cards turned are clubs can be calculated using hypergeometric with [math]\displaystyle{ k=0, n=2, K=9 }[/math] and [math]\displaystyle{ N=47 }[/math]. (about 65.03%)

See also

References

Citations

  1. Rice, John A. (2007). Mathematical Statistics and Data Analysis (Third ed.). Duxbury Press. p. 42. 
  2. http://www.stat.yale.edu/~pollard/Courses/600.spring2010/Handouts/Symmetry%5BPolyaUrn%5D.pdf Template:Bare URL PDF
  3. Hoeffding, Wassily (1963), "Probability inequalities for sums of bounded random variables", Journal of the American Statistical Association 58 (301): 13–30, doi:10.2307/2282952, http://repository.lib.ncsu.edu/bitstream/1840.4/2170/1/ISMS_1962_326.pdf .
  4. 4.0 4.1 "Another Tail of the Hypergeometric Distribution". 8 December 2015. https://ahlenotes.wordpress.com/2015/12/08/hypergeometric_tail/. 
  5. Serfling, Robert (1974), "Probability inequalities for the sum in sampling without replacement", The Annals of Statistics 2: 39–48, doi:10.1214/aos/1176342611 .
  6. Rivals, I.; Personnaz, L.; Taing, L.; Potier, M.-C (2007). "Enrichment or depletion of a GO category within a class of genes: which test?". Bioinformatics 23 (4): 401–407. doi:10.1093/bioinformatics/btl633. PMID 17182697. https://hal-espci.archives-ouvertes.fr/hal-00801557/document. 
  7. K. Preacher and N. Briggs. "Calculation for Fisher's Exact Test: An interactive calculation tool for Fisher's exact probability test for 2 x 2 tables (interactive page)". http://quantpsy.org/fisher/fisher.htm. 
  8. Duan, X. G. "Better understanding of the multivariate hypergeometric distribution with implications in design-based survey sampling." arXiv preprint arXiv:2101.00548 (2021). (pdf)
  9. Amanda Glazer and Jacob Spertus (2020-02-10) (in en-US). Start Spreading the News: New York's Post-Election Audit has Major Flaws. 
  10. "State Audit Laws" (in en-US). 2017-02-10. https://www.verifiedvoting.org/state-audit-laws/. 
  11. National Conference of State Legislatures. "Post-Election Audits" (in en-US). http://www.ncsl.org/research/elections-and-campaigns/post-election-audits635926066.aspx#state. 


Sources

  • Berkopec, Aleš (2007). "HyperQuick algorithm for discrete hypergeometric distribution". Journal of Discrete Algorithms 5 (2): 341–347. doi:10.1016/j.jda.2006.01.001. 
  • Skala, M. (2011). "Hypergeometric tail inequalities: ending the insanity". arXiv:1311.5939 [math.PR]. unpublished note

External links