HOME

TheInfoList



OR:

In
probability theory Probability theory is the branch of mathematics concerned with probability. Although there are several different probability interpretations, probability theory treats the concept in a rigorous mathematical manner by expressing it through a set ...
and statistics, the binomial distribution with parameters ''n'' and ''p'' is the
discrete probability distribution In probability theory and statistics, a probability distribution is the mathematical function that gives the probabilities of occurrence of different possible outcomes for an experiment. It is a mathematical description of a random phenomenon ...
of the number of successes in a sequence of ''n''
independent Independent or Independents may refer to: Arts, entertainment, and media Artist groups * Independents (artist group), a group of modernist painters based in the New Hope, Pennsylvania, area of the United States during the early 1930s * Independ ...
experiment An experiment is a procedure carried out to support or refute a hypothesis, or determine the efficacy or likelihood of something previously untried. Experiments provide insight into Causality, cause-and-effect by demonstrating what outcome oc ...
s, each asking a
yes–no question In linguistics, a yes–no question, also known as a binary question, a polar question, or a general question is a question whose expected answer is one of two choices, one that provides an affirmative answer to the question versus one that provid ...
, and each with its own Boolean-valued outcome: ''success'' (with probability ''p'') or ''failure'' (with probability q=1-p). A single success/failure experiment is also called a
Bernoulli trial In the theory of probability and statistics, a Bernoulli trial (or binomial trial) is a random experiment with exactly two possible outcomes, "success" and "failure", in which the probability of success is the same every time the experiment is ...
or Bernoulli experiment, and a sequence of outcomes is called a Bernoulli process; for a single trial, i.e., ''n'' = 1, the binomial distribution is a
Bernoulli distribution In probability theory and statistics, the Bernoulli distribution, named after Swiss mathematician Jacob Bernoulli,James Victor Uspensky: ''Introduction to Mathematical Probability'', McGraw-Hill, New York 1937, page 45 is the discrete probabi ...
. The binomial distribution is the basis for the popular
binomial test In statistics, the binomial test is an exact test of the statistical significance of deviations from a theoretically expected distribution of observations into two categories using sample data. Usage The binomial test is useful to test hypoth ...
of statistical significance. The binomial distribution is frequently used to model the number of successes in a sample of size ''n'' drawn with replacement from a population of size ''N''. If the sampling is carried out without replacement, the draws are not independent and so the resulting distribution is a
hypergeometric distribution In probability theory and statistics, the hypergeometric distribution is a discrete probability distribution that describes the probability of k successes (random draws for which the object drawn has a specified feature) in n draws, ''without'' ...
, not a binomial one. However, for ''N'' much larger than ''n'', the binomial distribution remains a good approximation, and is widely used.


Definitions


Probability mass function

In general, if the random variable ''X'' follows the binomial distribution with parameters ''n''
In mathematics, an element (or member) of a Set (mathematics), set is any one of the Equality (mathematics), distinct Mathematical object, objects that belong to that set. Sets Writing A = \ means that the elements of the set are the numbers 1, ...
\mathbb and ''p'' ∈ ,1 we write ''X'' ~ B(''n'', ''p''). The probability of getting exactly ''k'' successes in ''n'' independent Bernoulli trials is given by the probability mass function: :f(k,n,p) = \Pr(k;n,p) = \Pr(X = k) = \binomp^k(1-p)^ for ''k'' = 0, 1, 2, ..., ''n'', where :\binom =\frac is the binomial coefficient, hence the name of the distribution. The formula can be understood as follows: ''k'' successes occur with probability ''p''''k'' and ''n'' − ''k'' failures occur with probability (1-p)^. However, the ''k'' successes can occur anywhere among the ''n'' trials, and there are \tbinom different ways of distributing ''k'' successes in a sequence of ''n'' trials. In creating reference tables for binomial distribution probability, usually the table is filled in up to ''n''/2 values. This is because for ''k'' > ''n''/2, the probability can be calculated by its complement as :f(k,n,p)=f(n-k,n,1-p). Looking at the expression ''f''(''k'', ''n'', ''p'') as a function of ''k'', there is a ''k'' value that maximizes it. This ''k'' value can be found by calculating : \frac=\frac and comparing it to 1. There is always an integer ''M'' that satisfies :(n+1)p-1 \leq M < (n+1)p. ''f''(''k'', ''n'', ''p'') is monotone increasing for ''k'' < ''M'' and monotone decreasing for ''k'' > ''M'', with the exception of the case where (''n'' + 1)''p'' is an integer. In this case, there are two values for which ''f'' is maximal: (''n'' + 1)''p'' and (''n'' + 1)''p'' − 1. ''M'' is the ''most probable'' outcome (that is, the most likely, although this can still be unlikely overall) of the Bernoulli trials and is called the
mode Mode ( la, modus meaning "manner, tune, measure, due measure, rhythm, melody") may refer to: Arts and entertainment * '' MO''D''E (magazine)'', a defunct U.S. women's fashion magazine * ''Mode'' magazine, a fictional fashion magazine which is ...
.


Example

Suppose a
biased coin In probability theory and statistics, a sequence of independent Bernoulli trials with probability 1/2 of success on each trial is metaphorically called a fair coin. One for which the probability is not 1/2 is called a biased or unfair coin. In the ...
comes up heads with probability 0.3 when tossed. The probability of seeing exactly 4 heads in 6 tosses is :f(4,6,0.3) = \binom0.3^4 (1-0.3)^= 0.059535.


Cumulative distribution function

The cumulative distribution function can be expressed as: :F(k;n,p) = \Pr(X \le k) = \sum_^ p^i(1-p)^, where \lfloor k\rfloor is the "floor" under ''k'', i.e. the greatest integer less than or equal to ''k''. It can also be represented in terms of the regularized incomplete beta function, as follows: :\begin F(k;n,p) & = \Pr(X \le k) \\ &= I_(n-k, k+1) \\ & = (n-k) \int_0^ t^ (1-t)^k \, dt. \end which is equivalent to the cumulative distribution function of the -distribution: :F(k;n,p) = F_\left(x=\frac\frac;d_1=2(n-k),d_2=2(k+1)\right). Some closed-form bounds for the cumulative distribution function are given below.


Properties


Expected value and variance

If ''X'' ~ ''B''(''n'', ''p''), that is, ''X'' is a binomially distributed random variable, ''n'' being the total number of experiments and ''p'' the probability of each experiment yielding a successful result, then the expected value of ''X'' is: : \operatorname = np. This follows from the linearity of the expected value along with the fact that is the sum of identical Bernoulli random variables, each with expected value . In other words, if X_1, \ldots, X_n are identical (and independent) Bernoulli random variables with parameter , then X = X_1 + \cdots + X_n and :\operatorname = \operatorname _1 + \cdots + X_n= \operatorname _1+ \cdots + \operatorname _n= p + \cdots + p = np. The
variance In probability theory and statistics, variance is the expectation of the squared deviation of a random variable from its population mean or sample mean. Variance is a measure of dispersion, meaning it is a measure of how far a set of numbe ...
is: : \operatorname(X) = npq = np(1 - p). This similarly follows from the fact that the variance of a sum of independent random variables is the sum of the variances.


Higher moments

The first 6
central moment In probability theory and statistics, a central moment is a moment of a probability distribution of a random variable about the random variable's mean; that is, it is the expected value of a specified integer power of the deviation of the random ...
s, defined as \mu _=\operatorname \left X-\operatorname__[X^\right.html" ;"title=".html" ;"title="X-\operatorname [X">X-\operatorname [X^\right">.html" ;"title="X-\operatorname [X">X-\operatorname [X^\right, are given by :\begin \mu_1 &= 0, \\ \mu_2 &= np(1-p),\\ \mu_3 &= np(1-p)(1-2p),\\ \mu_4 &= np(1-p)(1+(3n-6)p(1-p)),\\ \mu_5 &= np(1-p)(1-2p)(1+(10n-12)p(1-p)),\\ \mu_6 &= np(1-p)(1-30p(1-p)(1-4p(1-p))+5np(1-p)(5-26p(1-p))+15n^2 p^2 (1-p)^2). \end The non-central moments satisfy :\begin \operatorname &= np, \\ \operatorname [X^2] &= np(1-p)+n^2p^2, \end and in general : \operatorname ^c= \sum_^c \left\ n^ p^k, where \textstyle \left\ are the
Stirling numbers of the second kind In mathematics, particularly in combinatorics, a Stirling number of the second kind (or Stirling partition number) is the number of ways to partition a set of ''n'' objects into ''k'' non-empty subsets and is denoted by S(n,k) or \textstyle \lef ...
, and n^ = n(n-1)\cdots(n-k+1) is the kth falling power of n. A simple bound follows by bounding the Binomial moments via the higher Poisson moments: :: \operatorname ^c\le \left(\frac\right)^c \le (np)^c \exp\left(\frac\right). This shows that if c=O(\sqrt), then \operatorname ^c/math> is at most a constant factor away from \operatorname c


Mode

Usually the
mode Mode ( la, modus meaning "manner, tune, measure, due measure, rhythm, melody") may refer to: Arts and entertainment * '' MO''D''E (magazine)'', a defunct U.S. women's fashion magazine * ''Mode'' magazine, a fictional fashion magazine which is ...
of a binomial ''B''(''n'', ''p'') distribution is equal to \lfloor (n+1)p\rfloor, where \lfloor\cdot\rfloor is the
floor function In mathematics and computer science, the floor function is the function that takes as input a real number , and gives as output the greatest integer less than or equal to , denoted or . Similarly, the ceiling function maps to the least int ...
. However, when (''n'' + 1)''p'' is an integer and ''p'' is neither 0 nor 1, then the distribution has two modes: (''n'' + 1)''p'' and (''n'' + 1)''p'' − 1. When ''p'' is equal to 0 or 1, the mode will be 0 and ''n'' correspondingly. These cases can be summarized as follows: : \text = \begin \lfloor (n+1)\,p\rfloor & \text(n+1)p\text, \\ (n+1)\,p\ \text\ (n+1)\,p - 1 &\text(n+1)p\in\, \\ n & \text(n+1)p = n + 1. \end Proof: Let :f(k)=\binom nk p^k q^. For p=0 only f(0) has a nonzero value with f(0)=1. For p=1 we find f(n)=1 and f(k)=0 for k\neq n. This proves that the mode is 0 for p=0 and n for p=1. Let 0 < p < 1. We find :\frac = \frac. From this follows :\begin k > (n+1)p-1 \Rightarrow f(k+1) < f(k) \\ k = (n+1)p-1 \Rightarrow f(k+1) = f(k) \\ k < (n+1)p-1 \Rightarrow f(k+1) > f(k) \end So when (n+1)p-1 is an integer, then (n+1)p-1 and (n+1)p is a mode. In the case that (n+1)p-1\notin \Z, then only \lfloor (n+1)p-1\rfloor+1=\lfloor (n+1)p\rfloor is a mode.


Median

In general, there is no single formula to find the median for a binomial distribution, and it may even be non-unique. However, several special results have been established: * If ''np'' is an integer, then the mean, median, and mode coincide and equal ''np''. * Any median ''m'' must lie within the interval ⌊''np''⌋ ≤ ''m'' ≤ ⌈''np''⌉. * A median ''m'' cannot lie too far away from the mean: . * The median is unique and equal to ''m'' = 
round Round or rounds may refer to: Mathematics and science * The contour of a closed curve or surface with no sharp corners, such as an ellipse, circle, rounded rectangle, cant, or sphere * Rounding, the shortening of a number to reduce the number ...
(''np'') when , ''m'' − ''np'',  ≤ min (except for the case when ''p'' =  and ''n'' is odd). * When ''p'' is a rational number (with the exception of ''p'' = 1/2 and ''n'' odd) the median is unique. * When ''p'' = 1/2 and ''n'' is odd, any number ''m'' in the interval (''n'' − 1) ≤ ''m'' ≤ (''n'' + 1) is a median of the binomial distribution. If ''p'' = 1/2 and ''n'' is even, then ''m'' = ''n''/2 is the unique median.


Tail bounds

For ''k'' ≤ ''np'', upper bounds can be derived for the lower tail of the cumulative distribution function F(k;n,p) = \Pr(X \le k), the probability that there are at most ''k'' successes. Since \Pr(X \ge k) = F(n-k;n,1-p) , these bounds can also be seen as bounds for the upper tail of the cumulative distribution function for ''k'' ≥ ''np''.
Hoeffding's inequality In probability theory, Hoeffding's inequality provides an upper bound on the probability that the sum of bounded independent random variables deviates from its expected value by more than a certain amount. Hoeffding's inequality was proven by Was ...
yields the simple bound : F(k;n,p) \leq \exp\left(-2 n\left(p-\frac\right)^2\right), \! which is however not very tight. In particular, for ''p'' = 1, we have that ''F''(''k'';''n'',''p'') = 0 (for fixed ''k'', ''n'' with ''k'' < ''n''), but Hoeffding's bound evaluates to a positive constant. A sharper bound can be obtained from the
Chernoff bound In probability theory, the Chernoff bound gives exponentially decreasing bounds on tail distributions of sums of independent random variables. Despite being named after Herman Chernoff, the author of the paper it first appeared in, the result is d ...
: : F(k;n,p) \leq \exp\left(-nD\left(\frac\parallel p\right)\right) where ''D''(''a'' , , ''p'') is the relative entropy (or Kullback-Leibler divergence) between an ''a''-coin and a ''p''-coin (i.e. between the Bernoulli(''a'') and Bernoulli(''p'') distribution): : D(a\parallel p)=(a)\log\frac+(1-a)\log\frac. \! Asymptotically, this bound is reasonably tight; see for details. One can also obtain ''lower'' bounds on the tail F(k;n,p) , known as anti-concentration bounds. By approximating the binomial coefficient with Stirling's formula it can be shown that : F(k;n,p) \geq \frac \exp\left(-nD\left(\frac\parallel p\right)\right), which implies the simpler but looser bound : F(k;n,p) \geq \frac1 \exp\left(-nD\left(\frac\parallel p\right)\right). For ''p'' = 1/2 and ''k'' ≥ 3''n''/8 for even ''n'', it is possible to make the denominator constant: : F(k;n,\tfrac) \geq \frac \exp\left(- 16n \left(\frac -\frac\right)^2\right). \!


Statistical inference


Estimation of parameters

When ''n'' is known, the parameter ''p'' can be estimated using the proportion of successes: : \widehat = \frac. This estimator is found using
maximum likelihood estimator In statistics, maximum likelihood estimation (MLE) is a method of estimating the parameters of an assumed probability distribution, given some observed data. This is achieved by maximizing a likelihood function so that, under the assumed statis ...
and also the method of moments. This estimator is
unbiased Bias is a disproportionate weight ''in favor of'' or ''against'' an idea or thing, usually in a way that is closed-minded, prejudicial, or unfair. Biases can be innate or learned. People may develop biases for or against an individual, a group, ...
and uniformly with minimum variance, proven using
Lehmann–Scheffé theorem In statistics, the Lehmann–Scheffé theorem is a prominent statement, tying together the ideas of completeness, sufficiency, uniqueness, and best unbiased estimation. The theorem states that any estimator which is unbiased for a given unknown qu ...
, since it is based on a minimal sufficient and complete statistic (i.e.: ''x''). It is also
consistent In classical deductive logic, a consistent theory is one that does not lead to a logical contradiction. The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a theory is consistent ...
both in probability and in MSE. A closed form Bayes estimator for ''p'' also exists when using the
Beta distribution In probability theory and statistics, the beta distribution is a family of continuous probability distributions defined on the interval , 1in terms of two positive parameters, denoted by ''alpha'' (''α'') and ''beta'' (''β''), that appear as ...
as a conjugate
prior distribution In Bayesian statistical inference, a prior probability distribution, often simply called the prior, of an uncertain quantity is the probability distribution that would express one's beliefs about this quantity before some evidence is taken int ...
. When using a general \operatorname(\alpha, \beta) as a prior, the posterior mean estimator is: : \widehat_b = \frac. The Bayes estimator is asymptotically efficient and as the sample size approaches infinity (''n'' → ∞), it approaches the MLE solution. The Bayes estimator is biased (how much depends on the priors), admissible and
consistent In classical deductive logic, a consistent theory is one that does not lead to a logical contradiction. The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a theory is consistent ...
in probability. For the special case of using the
standard uniform distribution In probability theory and statistics, the continuous uniform distribution or rectangular distribution is a family of symmetric probability distributions. The distribution describes an experiment where there is an arbitrary outcome that lies betwe ...
as a
non-informative prior In Bayesian statistical inference, a prior probability distribution, often simply called the prior, of an uncertain quantity is the probability distribution that would express one's beliefs about this quantity before some evidence is taken into ...
, \operatorname(\alpha=1, \beta=1) = U(0,1), the posterior mean estimator becomes: : \widehat_b = \frac. (A
posterior mode In Bayesian statistics, a maximum a posteriori probability (MAP) estimate is an estimate of an unknown quantity, that equals the mode of the posterior distribution. The MAP can be used to obtain a point estimate of an unobserved quantity on the ...
should just lead to the standard estimator.) This method is called the
rule of succession In probability theory, the rule of succession is a formula introduced in the 18th century by Pierre-Simon Laplace in the course of treating the sunrise problem. The formula is still used, particularly to estimate underlying probabilities when ...
, which was introduced in the 18th century by
Pierre-Simon Laplace Pierre-Simon, marquis de Laplace (; ; 23 March 1749 – 5 March 1827) was a French scholar and polymath whose work was important to the development of engineering, mathematics, statistics, physics, astronomy, and philosophy. He summarized ...
. When estimating ''p'' with very rare events and a small ''n'' (e.g.: if x=0), then using the standard estimator leads to \widehat = 0, which sometimes is unrealistic and undesirable. In such cases there are various alternative estimators. One way is to use the Bayes estimator, leading to: : \widehat_b = \frac. Another method is to use the upper bound of the confidence interval obtained using the rule of three: : \widehat_ = \frac.


Confidence intervals

Even for quite large values of ''n'', the actual distribution of the mean is significantly nonnormal. Because of this problem several methods to estimate confidence intervals have been proposed. In the equations for confidence intervals below, the variables have the following meaning: * ''n''1 is the number of successes out of ''n'', the total number of trials * \widehat = \frac is the proportion of successes * z=1 - \tfrac\alpha is the
quantile In statistics and probability, quantiles are cut points dividing the range of a probability distribution into continuous intervals with equal probabilities, or dividing the observations in a sample in the same way. There is one fewer quantile th ...
of a standard normal distribution (i.e.,
probit In probability theory and statistics, the probit function is the quantile function associated with the standard normal distribution. It has applications in data analysis and machine learning, in particular exploratory statistical graphics and s ...
) corresponding to the target error rate \alpha. For example, for a 95% confidence level the error \alpha = 0.05, so 1 - \tfrac\alpha = 0.975 and z = 1.96.


Wald method

: \widehat \pm z \sqrt . A continuity correction of 0.5/''n'' may be added.


Agresti–Coull method

: \tilde \pm z \sqrt Here the estimate of ''p'' is modified to : \tilde= \frac This method works well for n>10 and n_1\neq 0,n. See here for n\leq 10. For n_1 = 0,n use the Wilson (score) method below.


Arcsine method

: \sin^2 \left(\arcsin \left(\sqrt\right) \pm \frac \right).


Wilson (score) method

The notation in the formula below differs from the previous formulas in two respects: * Firstly, ''z''''x'' has a slightly different interpretation in the formula below: it has its ordinary meaning of 'the ''x''th quantile of the standard normal distribution', rather than being a shorthand for 'the (1 − ''x'')-th quantile'. * Secondly, this formula does not use a plus-minus to define the two bounds. Instead, one may use z = z_ to get the lower bound, or use z = z_ to get the upper bound. For example: for a 95% confidence level the error \alpha = 0.05, so one gets the lower bound by using z = z_ = z_ = - 1.96, and one gets the upper bound by using z = z_ = z_ = 1.96. :: \frac


Comparison

The so-called "exact" ( Clopper–Pearson) method is the most conservative. (''Exact'' does not mean perfectly accurate; rather, it indicates that the estimates will not be less conservative than the true value.) The Wald method, although commonly recommended in textbooks, is the most biased.


Related distributions


Sums of binomials

If ''X'' ~ B(''n'', ''p'') and ''Y'' ~ B(''m'', ''p'') are independent binomial variables with the same probability ''p'', then ''X'' + ''Y'' is again a binomial variable; its distribution is ''Z=X+Y'' ~ B(''n+m'', ''p''): :\begin \operatorname P(Z=k) &= \sum_^k\left binomi p^i (1-p)^\rightleft binom p^ (1-p)^\right\ &= \binomk p^k (1-p)^ \end A Binomial distributed random variable ''X'' ~ B(''n'', ''p'') can be considered as the sum of ''n'' Bernoulli distributed random variables. So the sum of two Binomial distributed random variable ''X'' ~ B(''n'', ''p'') and ''Y'' ~ B(''m'', ''p'') is equivalent to the sum of ''n'' + ''m'' Bernoulli distributed random variables, which means ''Z=X+Y'' ~ B(''n+m'', ''p''). This can also be proven directly using the addition rule. However, if ''X'' and ''Y'' do not have the same probability ''p'', then the variance of the sum will be smaller than the variance of a binomial variable distributed as B(n+m, \bar).\,


Poisson binomial distribution

The binomial distribution is a special case of the Poisson binomial distribution, which is the distribution of a sum of ''n'' independent non-identical
Bernoulli trials In the theory of probability and statistics, a Bernoulli trial (or binomial trial) is a random experiment with exactly two possible outcomes, "success" and "failure", in which the probability of success is the same every time the experiment is c ...
B(''pi'').


Ratio of two binomial distributions

This result was first derived by Katz and coauthors in 1978. Let ''X'' ~ B(''n'',''p''1) and ''Y'' ~ B(''m'',''p''2) be independent. Let ''T'' = (''X''/''n'')/(''Y''/''m''). Then log(''T'') is approximately normally distributed with mean log(''p''1/''p''2) and variance ((1/''p''1) − 1)/''n'' + ((1/''p''2) − 1)/''m''.


Conditional binomials

If ''X'' ~ B(''n'', ''p'') and ''Y'' ,  ''X'' ~ B(''X'', ''q'') (the conditional distribution of ''Y'', given ''X''), then ''Y'' is a simple binomial random variable with distribution ''Y'' ~ B(''n'', ''pq''). For example, imagine throwing ''n'' balls to a basket ''UX'' and taking the balls that hit and throwing them to another basket ''UY''. If ''p'' is the probability to hit ''UX'' then ''X'' ~ B(''n'', ''p'') is the number of balls that hit ''UX''. If ''q'' is the probability to hit ''UY'' then the number of balls that hit ''UY'' is ''Y'' ~ B(''X'', ''q'') and therefore ''Y'' ~ B(''n'', ''pq''). Since X \sim B(n, p) and Y \sim B(X, q) , by the
law of total probability In probability theory, the law (or formula) of total probability is a fundamental rule relating marginal probabilities to conditional probabilities. It expresses the total probability of an outcome which can be realized via several distinct eve ...
, :\begin \Pr = m&= \sum_^ \Pr = m \mid X = k\Pr = k\\ pt &= \sum_^n \binom \binom p^k q^m (1-p)^ (1-q)^ \end Since \tbinom \tbinom = \tbinom \tbinom, the equation above can be expressed as : \Pr = m= \sum_^ \binom \binom p^k q^m (1-p)^ (1-q)^ Factoring p^k = p^m p^ and pulling all the terms that don't depend on k out of the sum now yields :\begin \Pr = m&= \binom p^m q^m \left( \sum_^n \binom p^ (1-p)^ (1-q)^ \right) \\ pt &= \binom (pq)^m \left( \sum_^n \binom \left(p(1-q)\right)^ (1-p)^ \right) \end After substituting i = k - m in the expression above, we get : \Pr = m= \binom (pq)^m \left( \sum_^ \binom (p - pq)^i (1-p)^ \right) Notice that the sum (in the parentheses) above equals (p - pq + 1 - p)^ by the
binomial theorem In elementary algebra, the binomial theorem (or binomial expansion) describes the algebraic expansion of powers of a binomial. According to the theorem, it is possible to expand the polynomial into a sum involving terms of the form , where the ...
. Substituting this in finally yields :\begin \Pr =m&= \binom (pq)^m (p - pq + 1 - p)^\\ pt &= \binom (pq)^m (1-pq)^ \end and thus Y \sim B(n, pq) as desired.


Bernoulli distribution

The
Bernoulli distribution In probability theory and statistics, the Bernoulli distribution, named after Swiss mathematician Jacob Bernoulli,James Victor Uspensky: ''Introduction to Mathematical Probability'', McGraw-Hill, New York 1937, page 45 is the discrete probabi ...
is a special case of the binomial distribution, where ''n'' = 1. Symbolically, ''X'' ~ B(1, ''p'') has the same meaning as ''X'' ~ Bernoulli(''p''). Conversely, any binomial distribution, B(''n'', ''p''), is the distribution of the sum of ''n'' independent
Bernoulli trials In the theory of probability and statistics, a Bernoulli trial (or binomial trial) is a random experiment with exactly two possible outcomes, "success" and "failure", in which the probability of success is the same every time the experiment is c ...
, Bernoulli(''p''), each with the same probability ''p''.


Normal approximation

If ''n'' is large enough, then the skew of the distribution is not too great. In this case a reasonable approximation to B(''n'', ''p'') is given by the
normal distribution In statistics, a normal distribution or Gaussian distribution is a type of continuous probability distribution for a real-valued random variable. The general form of its probability density function is : f(x) = \frac e^ The parameter \mu ...
: \mathcal(np,\,np(1-p)), and this basic approximation can be improved in a simple way by using a suitable continuity correction. The basic approximation generally improves as ''n'' increases (at least 20) and is better when ''p'' is not near to 0 or 1. Various
rules of thumb In English, the phrase ''rule of thumb'' refers to an approximate method for doing something, based on practical experience rather than theory. This usage of the phrase can be traced back to the 17th century and has been associated with various t ...
may be used to decide whether ''n'' is large enough, and ''p'' is far enough from the extremes of zero or one: *One rule is that for the normal approximation is adequate if the absolute value of the skewness is strictly less than 0.3; that is, if ::\frac=\frac1\left, \sqrt-\sqrt\,\<0.3. This can be made precise using the Berry–Esseen theorem. *A stronger rule states that the normal approximation is appropriate only if everything within 3 standard deviations of its mean is within the range of possible values; that is, only if ::\mu\pm3\sigma=np\pm3\sqrt\in(0,n). :This 3-standard-deviation rule is equivalent to the following conditions, which also imply the first rule above. ::n>9 \left(\frac \right)\quad\text\quad n>9\left(\frac\right). The rule np\pm3\sqrt\in(0,n) is totally equivalent to request that :np-3\sqrt>0\quad\text\quad np+3\sqrt Moving terms around yields: :np>3\sqrt\quad\text\quad n(1-p)>3\sqrt. Since 0, we can apply the square power and divide by the respective factors np^2 and n(1-p)^2, to obtain the desired conditions: :n>9 \left(\fracp\right) \quad\text\quad n>9 \left(\frac\right). Notice that these conditions automatically imply that n>9. On the other hand, apply again the square root and divide by 3, :\frac3>\sqrt>0 \quad \text \quad \frac3 > \sqrt>0. Subtracting the second set of inequalities from the first one yields: :\frac3>\sqrt-\sqrt>-\frac3; and so, the desired first rule is satisfied, :\left, \sqrt-\sqrt\,\<\frac3. *Another commonly used rule is that both values np and n(1-p) must be greater than or equal to 5. However, the specific number varies from source to source, and depends on how good an approximation one wants. In particular, if one uses 9 instead of 5, the rule implies the results stated in the previous paragraphs. Assume that both values np and n(1-p) are greater than 9. Since 0< p<1, we easily have that :np\geq9>9(1-p)\quad\text\quad n(1-p)\geq9>9p. We only have to divide now by the respective factors p and 1-p, to deduce the alternative form of the 3-standard-deviation rule: :n>9 \left(\fracp\right) \quad\text\quad n>9 \left(\frac\right). The following is an example of applying a continuity correction. Suppose one wishes to calculate Pr(''X'' ≤ 8) for a binomial random variable ''X''. If ''Y'' has a distribution given by the normal approximation, then Pr(''X'' ≤ 8) is approximated by Pr(''Y'' ≤ 8.5). The addition of 0.5 is the continuity correction; the uncorrected normal approximation gives considerably less accurate results. This approximation, known as
de Moivre–Laplace theorem In probability theory, the de Moivre–Laplace theorem, which is a special case of the central limit theorem, states that the normal distribution may be used as an approximation to the binomial distribution under certain conditions. In particu ...
, is a huge time-saver when undertaking calculations by hand (exact calculations with large ''n'' are very onerous); historically, it was the first use of the normal distribution, introduced in
Abraham de Moivre Abraham de Moivre FRS (; 26 May 166727 November 1754) was a French mathematician known for de Moivre's formula, a formula that links complex numbers and trigonometry, and for his work on the normal distribution and probability theory. He moved ...
's book '' The Doctrine of Chances'' in 1738. Nowadays, it can be seen as a consequence of the
central limit theorem In probability theory, the central limit theorem (CLT) establishes that, in many situations, when independent random variables are summed up, their properly normalized sum tends toward a normal distribution even if the original variables themsel ...
since B(''n'', ''p'') is a sum of ''n'' independent, identically distributed Bernoulli variables with parameter ''p''. This fact is the basis of a
hypothesis test A statistical hypothesis test is a method of statistical inference used to decide whether the data at hand sufficiently support a particular hypothesis. Hypothesis testing allows us to make probabilistic statements about population parameters. ...
, a "proportion z-test", for the value of ''p'' using ''x/n'', the sample proportion and estimator of ''p'', in a common test statistic. For example, suppose one randomly samples ''n'' people out of a large population and ask them whether they agree with a certain statement. The proportion of people who agree will of course depend on the sample. If groups of ''n'' people were sampled repeatedly and truly randomly, the proportions would follow an approximate normal distribution with mean equal to the true proportion ''p'' of agreement in the population and with standard deviation :\sigma = \sqrt


Poisson approximation

The binomial distribution converges towards the
Poisson distribution In probability theory and statistics, the Poisson distribution is a discrete probability distribution that expresses the probability of a given number of events occurring in a fixed interval of time or space if these events occur with a known co ...
as the number of trials goes to infinity while the product ''np'' converges to a finite limit. Therefore, the Poisson distribution with parameter ''λ'' = ''np'' can be used as an approximation to B(''n'', ''p'') of the binomial distribution if ''n'' is sufficiently large and ''p'' is sufficiently small. According to two rules of thumb, this approximation is good if ''n'' ≥ 20 and ''p'' ≤ 0.05, or if ''n'' ≥ 100 and ''np'' ≤ 10. NIST/
SEMATECH SEMATECH (from Semiconductor Manufacturing Technology) is a not-for-profit consortium that performs research and development to advance chip manufacturing. SEMATECH has broad engagement with various sectors of the R&D community, including chipm ...

"6.3.3.1. Counts Control Charts"
''e-Handbook of Statistical Methods.''
Concerning the accuracy of Poisson approximation, see Novak, ch. 4, and references therein.


Limiting distributions

* '' Poisson limit theorem'': As ''n'' approaches ∞ and ''p'' approaches 0 with the product ''np'' held fixed, the Binomial(''n'', ''p'') distribution approaches the
Poisson distribution In probability theory and statistics, the Poisson distribution is a discrete probability distribution that expresses the probability of a given number of events occurring in a fixed interval of time or space if these events occur with a known co ...
with expected value ''λ = np''. * ''
de Moivre–Laplace theorem In probability theory, the de Moivre–Laplace theorem, which is a special case of the central limit theorem, states that the normal distribution may be used as an approximation to the binomial distribution under certain conditions. In particu ...
'': As ''n'' approaches ∞ while ''p'' remains fixed, the distribution of ::\frac :approaches the
normal distribution In statistics, a normal distribution or Gaussian distribution is a type of continuous probability distribution for a real-valued random variable. The general form of its probability density function is : f(x) = \frac e^ The parameter \mu ...
with expected value 0 and
variance In probability theory and statistics, variance is the expectation of the squared deviation of a random variable from its population mean or sample mean. Variance is a measure of dispersion, meaning it is a measure of how far a set of numbe ...
 1. This result is sometimes loosely stated by saying that the distribution of ''X'' is asymptotically normal with expected value 0 and
variance In probability theory and statistics, variance is the expectation of the squared deviation of a random variable from its population mean or sample mean. Variance is a measure of dispersion, meaning it is a measure of how far a set of numbe ...
 1. This result is a specific case of the
central limit theorem In probability theory, the central limit theorem (CLT) establishes that, in many situations, when independent random variables are summed up, their properly normalized sum tends toward a normal distribution even if the original variables themsel ...
.


Beta distribution

The binomial distribution and beta distribution are different views of the same model of repeated Bernoulli trials. The binomial distribution is the PMF of successes given independent events each with a probability of success. Mathematically, when and , the beta distribution and the binomial distribution are related by a factor of : :\operatorname(p;\alpha;\beta) = (n+1)B(k;n;p)
Beta distribution In probability theory and statistics, the beta distribution is a family of continuous probability distributions defined on the interval , 1in terms of two positive parameters, denoted by ''alpha'' (''α'') and ''beta'' (''β''), that appear as ...
s also provide a family of
prior probability distribution In Bayesian statistical inference, a prior probability distribution, often simply called the prior, of an uncertain quantity is the probability distribution that would express one's beliefs about this quantity before some evidence is taken int ...
s for binomial distributions in Bayesian inference: :P(p;\alpha,\beta) = \frac. Given a uniform prior, the posterior distribution for the probability of success given independent events with observed successes is a beta distribution.


Random number generation

Methods for
random number generation Random number generation is a process by which, often by means of a random number generator (RNG), a sequence of numbers or symbols that cannot be reasonably predicted better than by random chance is generated. This means that the particular out ...
where the
marginal distribution In probability theory and statistics, the marginal distribution of a subset of a collection of random variables is the probability distribution of the variables contained in the subset. It gives the probabilities of various values of the varia ...
is a binomial distribution are well-established. One way to generate
random variate In probability and statistics, a random variate or simply variate is a particular outcome of a ''random variable'': the random variates which are other outcomes of the same random variable might have different values ( random numbers). A random ...
s samples from a binomial distribution is to use an inversion algorithm. To do so, one must calculate the probability that for all values from through . (These probabilities should sum to a value close to one, in order to encompass the entire sample space.) Then by using a
pseudorandom number generator A pseudorandom number generator (PRNG), also known as a deterministic random bit generator (DRBG), is an algorithm for generating a sequence of numbers whose properties approximate the properties of sequences of random numbers. The PRNG-generate ...
to generate samples uniformly between 0 and 1, one can transform the calculated samples into discrete numbers by using the probabilities calculated in the first step.


History

This distribution was derived by
Jacob Bernoulli Jacob Bernoulli (also known as James or Jacques; – 16 August 1705) was one of the many prominent mathematicians in the Bernoulli family. He was an early proponent of Leibnizian calculus and sided with Gottfried Wilhelm Leibniz during the Le ...
. He considered the case where ''p'' = ''r''/(''r'' + ''s'') where ''p'' is the probability of success and ''r'' and ''s'' are positive integers. Blaise Pascal had earlier considered the case where ''p'' = 1/2.


See also

*
Logistic regression In statistics, the logistic model (or logit model) is a statistical model that models the probability of an event taking place by having the log-odds for the event be a linear combination of one or more independent variables. In regression a ...
*
Multinomial distribution In probability theory, the multinomial distribution is a generalization of the binomial distribution. For example, it models the probability of counts for each side of a ''k''-sided dice rolled ''n'' times. For ''n'' independent trials each of wh ...
* Negative binomial distribution *
Beta-binomial distribution In probability theory and statistics, the beta-binomial distribution is a family of discrete probability distributions on a finite support of non-negative integers arising when the probability of success in each of a fixed or known number of B ...
*Binomial measure, an example of a
multifractal A multifractal system is a generalization of a fractal system in which a single exponent (the fractal dimension) is not enough to describe its dynamics; instead, a continuous spectrum of exponents (the so-called singularity spectrum) is needed ...
measure.Mandelbrot, B. B., Fisher, A. J., & Calvet, L. E. (1997). A multifractal model of asset returns. ''3.2 The Binomial Measure is the Simplest Example of a Multifractal'' * Statistical mechanics * Piling-up lemma, the resulting probability when XOR-ing independent Boolean variables


References


Further reading

* *


External links

* Interactive graphic
Univariate Distribution Relationships

Binomial distribution formula calculator
* Difference of two binomial variables
X-Y
o
, X-Y,

Querying the binomial probability distribution in WolframAlpha
{{DEFAULTSORT:Binomial Distribution Discrete distributions Factorial and binomial topics Conjugate prior distributions Exponential family distributions