Birthday problem

From Infogalactic: the planetary knowledge core
(Redirected from Birthday paradox)
Jump to: navigation, search

In probability theory, the birthday problem or birthday paradox[1] concerns the probability that, in a set of n randomly chosen people, some pair of them will have the same birthday. By the pigeonhole principle, the probability reaches 100% when the number of people reaches 367 (since there are only 366 possible birthdays, including February 29). However, 99.9% probability is reached with just 70 people, and 50% probability with 23 people. These conclusions are based on the assumption that each day of the year (except February 29) is equally probable for a birthday.

While this makes for an amusing talking point, and is a very good introduction to the ways on which intuition can lead one widely astray in probability theory,[2] the logic has significant applications, for example a well-known cryptographic attack called the birthday attack, which uses this probabilistic model to reduce the complexity of finding a collision for a hash function.

The history of the problem is obscure. W. W. Rouse Ball indicated (without citation) that it was first discussed by Harold Davenport.[3] However, Richard von Mises proposed an earlier version of what is considered today to be the birthday problem.[4]

A graph showing the computed probability of at least two people sharing a birthday amongst a certain number of people.

Understanding the problem

The birthday problem is to find the probability that, in a group of N people, there is at least one pair of people who have the same birthday. See "Same birthday as you" further for an analysis of the case of finding the probability of a given, fixed person having the same birthday as any of the remaining N - 1 people.

In the example given earlier, a list of 23 people, comparing the birthday of the first person on the list to the others allows 22 chances for a matching birthday, the second person on the list to the others allows 21 chances for a matching birthday (in fact the 'second' person also has total 22 chances of matching birthday with the others but his/her chance of matching birthday with the 'first' person, one chance, has already been counted with the first person's 22 chances and shall not be duplicated), third person has 20 chances, and so on. Hence total chances are: 22+21+20+\cdots+1 = 253, so comparing every person to all of the others allows 253 distinct chances (combinations): in a group of 23 people there are \textstyle {23 \choose 2} = \frac{23 \cdot 22}{2} = 253 distinct possible combinations of pairing.

Presuming all birthdays are equally probable,[5] the probability of a given birthday for a person chosen from the entire population at random is 1/365 (ignoring February 29). Although the number of pairings in a group of 23 people is not statistically equivalent to 253 pairs chosen independently, the birthday problem becomes less surprising if a group is thought of in terms of the number of possible pairs, rather than as the number of individuals.

Calculating the probability

The problem is to compute the approximate probability that in a group of n people, at least two have the same birthday. For simplicity, disregard variations in the distribution, such as leap years, twins, seasonal or weekday variations, and assume that the 365 possible birthdays are equally likely. Real-life birthday distributions are not uniform since not all dates are equally likely.[5]

The goal is to compute P(A), the probability that at least two people in the room have the same birthday. However, it is simpler to calculate P(A'), the probability that no two people in the room have the same birthday. Then, because A and A' are the only two possibilities and are also mutually exclusive, P(A) = 1 − P(A').

In deference to widely published solutions concluding that 23 is the minimum number of people necessary to have a P(A) that is greater than 50%, the following calculation of P(A) will use 23 people as an example.

When events are independent of each other, the probability of all of the events occurring is equal to a product of the probabilities of each of the events occurring. Therefore, if P(A') can be described as 23 independent events, P(A') could be calculated as P(1) × P(2) × P(3) × ... × P(23).

The 23 independent events correspond to the 23 people, and can be defined in order. Each event can be defined as the corresponding person not sharing his/her birthday with any of the previously analyzed people. For Event 1, there are no previously analyzed people. Therefore, the probability, P(1), that Person 1 does not share his/her birthday with previously analyzed people is 1, or 100%. Ignoring leap years for this analysis, the probability of 1 can also be written as <templatestyles src="Sfrac/styles.css" />365/365, for reasons that will become clear below.

For Event 2, the only previously analyzed people are Person 1. Assuming that birthdays are equally likely to happen on each of the 365 days of the year, the probability, P(2), that Person 2 has a different birthday than Person 1 is <templatestyles src="Sfrac/styles.css" />364/365. This is because, if Person 2 was born on any of the other 364 days of the year, Persons 1 and 2 will not share the same birthday.

Similarly, if Person 3 is born on any of the 363 days of the year other than the birthdays of Persons 1 and 2, Person 3 will not share their birthday. This makes the probability P(3) = <templatestyles src="Sfrac/styles.css" />363/365.

This analysis continues until Person 23 is reached, whose probability of not sharing his/her birthday with people analyzed before, P(23), is <templatestyles src="Sfrac/styles.css" />343/365.

P(A') is equal to the product of these individual probabilities:

P(A')=\frac{365}{365}\times\frac{364}{365}\times\frac{363}{365}\times\frac{362}{365}\times\cdots\times\frac{343}{365}

 

 

 

 

(1)

The terms of equation (1) can be collected to arrive at:

P(A')=\left(\frac{1}{365}\right)^{23}\times(365\times364\times363\times\cdots\times343)

 

 

 

 

(2)

Evaluating equation (2) gives P(A') ≈ 0.492703

Therefore, P(A) ≈ 1 − 0.492703 = 0.507297 (50.7297%)

This process can be generalized to a group of n people, where p(n) is the probability of at least two of the n people sharing a birthday. It is easier to first calculate the probability p(n) that all n birthdays are different. According to the pigeonhole principle, p(n) is zero when n > 365. When n ≤ 365:

 \begin{align} \bar p(n) &= 1 \times \left(1-\frac{1}{365}\right) \times \left(1-\frac{2}{365}\right) \times \cdots \times \left(1-\frac{n-1}{365}\right) \\  &= { 365 \times 364 \times \cdots \times (365-n+1) \over 365^n } \\ &= { 365! \over 365^n (365-n)!} = \frac{n!\cdot{365 \choose n}}{365^n} = \frac{_{365}P_n}{365^n}\end{align}

where '!' is the factorial operator, \textstyle {365 \choose n} is the binomial coefficient and {_{k}P_r} denotes permutation.

The equation expresses the fact that the first person has no one to share a birthday, the second person cannot have the same birthday as the first (<templatestyles src="Sfrac/styles.css" />364/365), the third cannot have the same birthday as either of the first two (<templatestyles src="Sfrac/styles.css" />363/365), and in general the nth birthday cannot be the same as any of the n − 1 preceding birthdays.

The event of at least two of the n persons having the same birthday is complementary to all n birthdays being different. Therefore, its probability p(n) is

 p(n) = 1 - \bar p(n). \,

This problem can be also solved as (1- partial permutation (365,number of students) / partial permutation (365,number of students) with repetition)

This probability surpasses <templatestyles src="Sfrac/styles.css" />1/2 for n = 23 (with value about 50.7%). The following table shows the probability for some other values of n (this table ignores the existence of leap years, as described above, as well as assuming that each birthday is equally likely):

The probability that no two people share a birthday in a group of n people. Note that the vertical scale is logarithmic (each step down is 1020 times less likely).
n p(n)
1 0.0%
5 2.7%
10 11.7%
20 41.1%
23 50.7%
30 70.6%
40 89.1%
50 97.0%
60 99.4%
70 99.9%
100 99.99997%
200 99.9999999999999999999999999998%
300 (100 − (6×10−80))%
350 (100 − (3×10−129))%
365 (100 − (1.45×10−155))%
366 100%
367 100%

Abstract proof

Here we prove the same result as above, but with results about sets and functions to provide a simpler proof.

Firstly, define \mathcal{S} to be a set of N people and let \mathcal{B} be the set of dates in a year.

Define the birthday function  b:\mathcal{S} \mapsto \mathcal{B} to be the map that sends a person to their birthdate. So everyone in \mathcal{S} has a unique birthday if and only if the birthday function is injective.

Now we consider how many functions, and how many injective functions, exist between \mathcal{S} and \mathcal{B}.

Since |\mathcal{S}| = N and |\mathcal{B}|=366, it follows that there are 366^N possible functions,[6] and \dfrac{366!}{(366-N)!} possible injective functions (see Twelvefold way#case i).

Let A be the statement "Everybody in the set \mathcal{S} has a unique birthday" (so P(A') is what we are actually looking for). By definition, P(A) is the fraction of injective functions out of all possible functions (i.e., the probability of the birthday function being one that assigns only one person to each birthdate), which gives P(A) = \dfrac{366!}{366^N(366-N)!}.

Hence, P(A') = 1 -\dfrac{366!}{366^N(366-N)!}

Approximations

Graphs showing the approximate probabilities of at least two people sharing a birthday (red) and its complementary event (blue)
A graph showing the accuracy of the approximation 1-e^{-n^2/(2 \times 365)} (white)

The Taylor series expansion of the exponential function (the constant e ≈ 2.718281828)

 e^x = 1 + x + \frac{x^2}{2!}+\cdots

provides a first-order approximation for ex for x ≪ 1:

 e^x \approx 1 + x.\

To apply this approximation to the first expression derived for p(n), set  x = -a / 365\ . Thus,

 e^{-a/365} \approx 1 - \frac{a}{365}. \

Then, replace a with non-negative integers for each term in the formula of p(n) until a = n − 1, for example, when a = 1,

 e^{-1/365} \approx 1 - \frac{1}{365}. \

The first expression derived for p(n) can be approximated as


\begin{align}
\bar p(n) & \approx 1 \times e^{-1/365} \times e^{-2/365} \cdots e^{-(n-1)/365} \\
& = 1 \times e^{-(1+2+ \cdots +(n-1))/365} \\
& = e^{-(n(n-1)/2) / 365}.
\end{align}

Therefore,

 p(n) = 1-\bar p(n) \approx 1 - e^{- n(n-1)/(2 \times 365)}.

An even coarser approximation is given by

p(n)\approx 1-e^{- n^2/(2 \times 365)},\,

which, as the graph illustrates, is still fairly accurate.

According to the approximation, the same approach can be applied to any number of "people" and "days". If rather than 365 days there are d, if there are n persons, and if nd, then using the same approach as above we achieve the result that if p(n, d) is the probability that at least two out of n people share the same birthday from a set of d available days, then:

\begin{align}
 p(n, d) & \approx 1-e^{\frac{-n (n-1)}{2d}} \\
& \approx 1-e^{\frac{-n^2}{2d}}.
\end{align}

A simple exponentiation

The probability of any two people not having the same birthday is 364/365. In a room containing n people, there are C(n, 2) = n(n − 1)/2 pairs of people, i.e. C(n, 2) events. The probability of no two people sharing the same birthday can be approximated by assuming that these events are independent and hence by multiplying their probability together. In short 364/365 can be multiplied by itself C(n, 2) times, which gives us

\bar p(n) \approx \left(\frac{364}{365}\right)^{C(n,2)}.

Since this is the probability of no one having the same birthday, then the probability of someone sharing a birthday is

p(n) \approx 1 - \left(\frac{364}{365}\right)^{C(n,2)}.

Poisson approximation

Applying the Poisson approximation for the binomial on the group of 23 people,

\mathrm{Poi}\left(\frac{C(23, 2)}{365}\right) =\mathrm{Poi}\left(\frac{253}{365}\right) \approx \mathrm{Poi}(0.6932)
\Pr(X>0)=1-\Pr(X=0) \approx 1-e^{-0.6932} \approx 1-0.499998=0.500002.

The result is over 50% as previous descriptions.

Square approximation

A good rule of thumb which can be used for mental calculation is the relation

p(n) \approx {n^2 \over 2m}

which can also be written as

n \approx \sqrt { 2m \times p(n)}

which works well for probabilities less than or equal to 0.5.

For instance, to estimate the number of people required for a 0.5 chance of a shared birthday, we get

n \approx \sqrt{ 2 \times 365 \times 0.5} = \sqrt{365} \approx 19

Which is not too far from the correct answer of 23.

Approximation of number of people

This can also be approximated using the following formula for the number of people necessary to have at least a 50% chance of matching:

n \approx \frac{1}{2} + \sqrt{\frac{1}{4} + 2 \times \ln(2) \times 365} = 22.999943.

This is a result of the good approximation that an event with 1 in k probability will have a 50% chance of occurring at least once if it is repeated k ln 2 times.[7]

Probability table

<templatestyles src="Module:Hatnote/styles.css"></templatestyles>

length of
hex string
#bits hash space
size
(2#bits)
Number of hashed elements such that {probability of at least one hash collision ≥ p}
p = 10−18 p = 10−15 p = 10−12 p = 10−9 p = 10−6 p = 0.1% p = 1% p = 25% p = 50% p = 75%
8 32 4.3×109 2 2 2 2.9 93 2.9×103 9.3×103 5.0×104 7.7×104 1.1×105
(10) (40) (1.1×1012) 2 2 2 47 1.5×103 4.7×104 1.5×105 8.0×105 1.2×106 1.7×106
(12) (48) (2.8×1014) 2 2 24 7.5×102 2.4×104 7.5×105 2.4×106 1.3×107 2.0×107 2.8×107
16 64 1.8×1019 6.1 1.9×102 6.1×103 1.9×105 6.1×106 1.9×108 6.1×108 3.3×109 5.1×109 7.2×109
(24) (96) (7.9×1028) 4.0×105 1.3×107 4.0×108 1.3×1010 4.0×1011 1.3×1013 4.0×1013 2.1×1014 3.3×1014 4.7×1014
32 128 3.4×1038 2.6×1010 8.2×1011 2.6×1013 8.2×1014 2.6×1016 8.3×1017 2.6×1018 1.4×1019 2.2×1019 3.1×1019
(48) (192) (6.3×1057) 1.1×1020 3.5×1021 1.1×1023 3.5×1024 1.1×1026 3.5×1027 1.1×1028 6.0×1028 9.3×1028 1.3×1029
64 256 1.2×1077 4.8×1029 1.5×1031 4.8×1032 1.5×1034 4.8×1035 1.5×1037 4.8×1037 2.6×1038 4.0×1038 5.7×1038
(96) (384) (3.9×10115) 8.9×1048 2.8×1050 8.9×1051 2.8×1053 8.9×1054 2.8×1056 8.9×1056 4.8×1057 7.4×1057 1.0×1058
128 512 1.3×10154 1.6×1068 5.2×1069 1.6×1071 5.2×1072 1.6×1074 5.2×1075 1.6×1076 8.8×1076 1.4×1077 1.9×1077

The white fields in this table show the number of hashes needed to achieve the given probability of collision (column) given a hash space of a certain size in bits (row). Using the birthday analogy: the "hash space size" resembles the "available days", the "probability of collision" resembles the "probability of shared birthday", and the "required number of hashed elements" resembles the "required number of people in a group". One could of course also use this chart to determine the minimum hash size required (given upper bounds on the hashes and probability of error), or the probability of collision (for fixed number of hashes and probability of error).

For comparison, 10−18 to 10−15 is the uncorrectable bit error rate of a typical hard disk.[8] In theory, 128-bit hash functions, such as MD5, should stay within that range until about 820 billion documents, even if its possible outputs are many more.

An upper bound

The argument below is adapted from an argument of Paul Halmos.[9]

As stated above, the probability that no two birthdays coincide is

1-p(n) = \bar p(n) = \prod_{k=1}^{n-1}\left(1-{k \over 365}\right) .

As in earlier paragraphs, interest lies in the smallest n such that p(n) > 1/2; or equivalently, the smallest n such that p(n) < 1/2.

Using the inequality 1 − x < ex in the above expression we replace 1 − k/365 with ek/365. This yields

\bar p(n) = \prod_{k=1}^{n-1}\left(1-{k \over 365}\right) < \prod_{k=1}^{n-1}\left(e^{-k/365}\right) = e^{-(n(n-1))/(2\times 365)} .

Therefore, the expression above is not only an approximation, but also an upper bound of p(n). The inequality

 e^{-(n(n-1))/(2\cdot 365)} < \frac{1}{2}

implies p(n) < 1/2. Solving for n gives

n^2-n > 2\times365\ln 2 \,\! .

Now, 730 ln 2 is approximately 505.997, which is barely below 506, the value of n2 − n attained when n = 23. Therefore, 23 people suffice. Solving n2 − n = 2 · 365 · ln 2 for n gives, by the way, the approximate formula of Frank H. Mathis cited above.

This derivation only shows that at most 23 people are needed to ensure a birthday match with even chance; it leaves open the possibility that n is 22 or less could also work.

Generalizations

The generalized birthday problem

Given a year with d days, the generalized birthday problem asks for the minimal number n(d) such that, in a set of n randomly chosen people, the probability of a birthday coincidence is at least 50%. In other words, n(d) is the minimal integer n such that

1-\left(1-\frac{1}{d}\right)\left(1-\frac{2}{d}\right)\cdots\left(1-\frac{n-1}{d}\right)\geq \frac{1}{2}.

The classical birthday problem thus corresponds to determining n(365). The first 99 values of n(d) are given here:

d 1–2 3–5 6–9 10–16 17–23 24–32 33–42 43–54 55–68 69–82 83–99
n(d) 2 3 4 5 6 7 8 9 10 11 12

A number of bounds and formulas for n(d) have been published.[10] For any d≥1, the number n(d) satisfies[11]

\frac{3-2\ln2}{6}<n(d)-\sqrt{2d\ln2}\leq 9-\sqrt{86\ln2}.

These bounds are optimal in the sense that the sequence n(d)-\sqrt{2d\ln2} gets arbitrarily close to (3-2\ln2)/6\approx 0.27, while it has 9-\sqrt{86\ln2}\approx 1.28 as its maximum, taken for d=43. The bounds are sufficiently tight to give the exact value of n(d) in 99% of all cases, for example n(365)=23. In general, it follows from these bounds that n(d) always equals either \left\lceil\sqrt{2d\ln2}\right\rceil or \left\lceil\sqrt{2d\ln2}\right\rceil+1 where \lceil x \rceil denotes the ceiling function. The formula

n(d) = \left\lceil\sqrt{2d\ln2}\right\rceil

holds for 73% of all integers d.[12] The formula

n(d) = \left\lceil\sqrt{2d\ln2}+\frac{3-2\ln2}{6}\right\rceil

holds for almost all d, i.e., for a set of integers d with asymptotic density 1.[12] The formula

n(d)=\left\lceil \sqrt{2d\ln2}+\frac{3-2\ln2}{6}+\frac{9-4(\ln2)^2}{72\sqrt{2d\ln2}}
\right\rceil

holds for all d up to 1018, but it is conjectured that there are infinitely many counter-examples to this formula.[13] The formula

n(d)=\left\lceil \sqrt{2d\ln2}+\frac{3-2\ln2}{6}+\frac{9-4(\ln2)^2}{72\sqrt{2d\ln2}}
-\frac{2(\ln2)^2}{135d}\right\rceil

holds for all d up to 1018, and it is conjectured that this formula holds for all d.[13]

Cast as a collision problem

The birthday problem can be generalized as follows:[citation needed] given n random integers drawn from a discrete uniform distribution with range [1,d], what is the probability p(n;d) that at least two numbers are the same? (d=365 gives the usual birthday problem.)

The generic results can be derived using the same arguments given above.

p(n;d) = \begin{cases} 1-\prod_{k=1}^{n-1}\left(1-{k \over d}\right) & n\le d \\ 1 & n > d \end{cases}
p(n;d) \approx 1 - e^{-n(n-1)/(2d)}
p(n;d) \approx 1 - \left( \frac{d-1}{d} \right)^{n(n-1)/2}

Conversely, if n(p;d) denotes the number of random integers drawn from [1,d] to obtain a probability p that at least two numbers are the same, then

n(p;d)\approx \sqrt{2d \cdot \ln\left({1 \over 1-p}\right)}.

The birthday problem in this more generic sense applies to hash functions: the expected number of N-bit hashes that can be generated before getting a collision is not 2N, but rather only 2N/2. This is exploited by birthday attacks on cryptographic hash functions and is the reason why a small number of collisions in a hash table are, for all practical purposes, inevitable.

The theory behind the birthday problem was used by Zoe Schnabel[14] under the name of capture-recapture statistics to estimate the size of fish population in lakes.

Generalization to multiple types

The basic problem considers all trials to be of one "type". The birthday problem has been generalized to consider an arbitrary number of types.[15] In the simplest extension there are two types of people, say m men and n women, and the problem becomes characterizing the probability of a shared birthday between at least one man and one woman. (Shared birthdays between, say, two women do not count.) The probability of no (i.e. zero) shared birthdays here is

p_0 =\frac{1}{d^{m+n}} \sum_{i=1}^m \sum_{j=1}^n S_2(m,i) S_2(n,j) \prod_{k=0}^{i+j-1} d - k

where d = 365 and S2 are Stirling numbers of the second kind. Consequently, the desired probability is 1 − p0.

This variation of the birthday problem is interesting because there is not a unique solution for the total number of people m + n. For example, the usual 0.5 probability value is realized for both a 32-member group of 16 men and 16 women and a 49-member group of 43 women and 6 men.

Other birthday problems

Reverse problem

For a fixed probability p:

  • Find the greatest n for which the probability p(n) is smaller than the given p, or
  • Find the smallest n for which the probability p(n) is greater than the given p.

Taking the above formula for d = 365 we have:

n(p;365)\approx \sqrt{2\times 365\ln\left({1 \over 1-p}\right)}.

Sample calculations

p n n p(n↓) n p(n↑)
0.01 0.14178√365 = 2.70864 2 0.00274 3 0.00820
0.05 0.32029√365 = 6.11916 6 0.04046 7 0.05624
0.1 0.45904√365 = 8.77002 8 0.07434 9 0.09462
0.2 0.66805√365 = 12.76302 12 0.16702 13 0.19441
0.3 0.84460√365 = 16.13607 16 0.28360 17 0.31501
0.5 1.17741√365 = 22.49439 22 0.47570 23 0.50730
0.7 1.55176√365 = 29.64625 29 0.68097 30 0.70632
0.8 1.79412√365 = 34.27666 34 0.79532 35 0.81438
0.9 2.14597√365 = 40.99862 40 0.89123 41 0.90315
0.95 2.44775√365 = 46.76414 46 0.94825 47 0.95477
0.99 3.03485√365 = 57.98081 57 0.99012 58 0.99166

Note: some values falling outside the bounds have been colored to show that the approximation is not always exact.

First match

A related question is, as people enter a room one at a time, which one is most likely to be the first to have the same birthday as someone already in the room? That is, for what n is p(n) − p(n − 1) maximum? The answer is 20—if there's a prize for first match, the best position in line is 20th.

Same birthday as you

Comparing p(n) = probability of a birthday match with q(n) = probability of matching your birthday

Note that in the birthday problem, neither of the two people is chosen in advance. By way of contrast, the probability q(n) that someone in a room of n other people has the same birthday as a particular person (for example, you), is given by

 q(n) = 1 - \left( \frac{365-1}{365} \right)^n

and for general d by

 q(n;d) = 1 - \left( \frac{d-1}{d} \right)^n.

In the standard case of d = 365 substituting n = 23 gives about 6.1%, which is less than 1 chance in 16. For a greater than 50% chance that one person in a roomful of n people has the same birthday as you, n would need to be at least 253. Note that this number is significantly higher than 365/2 = 182.5: the reason is that it is likely that there are some birthday matches among the other people in the room.

It is not a coincidence that 253=\frac{23\times(23-1)}{2}; a similar approximate pattern can be found using a number of possibilities different from 365, or a target probability different from 50%.

Near matches

Another generalization is to ask what is the probability of finding at least one pair in a group of n people with birthdays within k calendar days of each other's, if there are m equally likely birthdays.

 \begin{align} p(n,k,m) &= 1 - { (m - nk -1)! \over m^{n-1} (m - n(k+1))!}\end{align} [16]

The number of people required so that the probability that some pair will have a birthday separated by k days or fewer will be higher than 50% is:

k # people required(i.e. n) when m=365
0 23
1 14
2 11
3 9
4 8
5 8
6 7
7 7

Thus in a group of just seven random people, it is more likely than not that two of them will have a birthday within a week of each other.[16]

Collision counting

The probability that the kth integer randomly chosen from [1, d] will repeat at least one previous choice equals q(k − 1; d) above. The expected total number of times a selection will repeat a previous selection as n such integers are chosen equals[17]

\sum_{k=1}^n q(k-1;d) = n - d + d \left (\frac {d-1} {d} \right )^n.

Average number of people

In an alternative formulation of the birthday problem, one asks the average number of people required to find a pair with the same birthday. If we consider the probability function Pr[n people have at least one shared birthday], this average is determining the Mean of the distribution, as opposed to the customary formulation which determines the Median. The problem is relevant to several hashing algorithms analyzed by Donald Knuth in his book The Art of Computer Programming. It may be shown[18][19] that if one samples uniformly, with replacement, from a population of size M, the number of trials required for the first repeated sampling of some individual has expected value \overline{n}\,=\,1+Q(M), where

Q(M)=\sum_{k=1}^{M} \frac{M!}{(M-k)! M^k}.

The function

Q(M)= 1 + \frac{M-1}{M} + \frac{(M-1)(M-2)}{M^2} + \cdots + \frac{(M-1)(M-2) \cdots 1}{M^{M-1}}

has been studied by Srinivasa Ramanujan and has asymptotic expansion:

Q(M)\sim\sqrt{\frac{\pi M}{2}}-\frac{1}{3}+\frac{1}{12}\sqrt{\frac{\pi}{2M}}-\frac{4}{135M}+\cdots.

With M = 365 days in a year, the average number of people required to find a pair with the same birthday is \scriptstyle\overline{n}\,=\,1+Q(M)\approx 24.61659, somewhat more than 23, the number required for a 50% chance. In the best case, two people will suffice; at worst, the maximum possible number of M + 1 = 366 people is needed; but on average, only 25 people are required.

An informal demonstration of the problem can be made from the list of Prime Ministers of Australia, of which there have been 27, in which Paul Keating, the 24th Prime Minister, and Edmund Barton, the first Prime Minister, share the same birthday, 18 January.

In the 2014 FIFA World Cup, each of the 32 squads had 23 players. An analysis of the official squad lists suggested that 16 squads had pairs of players sharing birthdays, and of these 5 squads had two pairs: Argentina, France, Iran, South Korea and Switzerland each had two pairs, and Australia, Bosnia Herzegovina, Brazil, Cameroon, Colombia, Honduras, Netherlands, Nigeria, Russia, Spain and USA each with one pair.[20]

Partition problem

A related problem is the partition problem, a variant of the knapsack problem from operations research. Some weights are put on a balance scale; each weight is an integer number of grams randomly chosen between one gram and one million grams (one metric ton). The question is whether one can usually (that is, with probability close to 1) transfer the weights between the left and right arms to balance the scale. (In case the sum of all the weights is an odd number of grams, a discrepancy of one gram is allowed.) If there are only two or three weights, the answer is very clearly no; although there are some combinations which work, the majority of randomly selected combinations of three weights do not. If there are very many weights, the answer is clearly yes. The question is, how many are just sufficient? That is, what is the number of weights such that it is equally likely for it to be possible to balance them as it is to be impossible?

Some people's intuition is that the answer is above 100,000. Most people's intuition is that it is in the thousands or tens of thousands, while others feel it should at least be in the hundreds. The correct answer is 23.

The reason is that the correct comparison is to the number of partitions of the weights into left and right. There are 2N−1 different partitions for N weights, and the left sum minus the right sum can be thought of as a new random quantity for each partition. The distribution of the sum of weights is approximately Gaussian, with a peak at 1,000,000 N and width \scriptstyle 1,000,000\sqrt{N}, so that when 2N−1 is approximately equal to \scriptstyle 1,000,000\sqrt{N} the transition occurs. 223−1 is about 4 million, while the width of the distribution is only 5 million.[21]

In fiction

Arthur C. Clarke's novel A Fall of Moondust, published in 1961, contains a section where the main characters, trapped underground for an indefinite amount of time, are celebrating a birthday and find themselves discussing the validity of the Birthday problem. As stated by a physicist passenger: "If you have a group of more than twenty-four people, the odds are better than even that two of them have the same birthday." Eventually, out of 22 present, it is revealed that two characters share the same birthday, May 23.

Notes and references

  1. This is not a true paradox in the sense of a situation leading to a logical contradiction, but it is called a paradox because the mathematical truth contradicts naive intuition: an intuitive guess would suggest that the chance of two individuals sharing the same birthday in a group of 23 is much lower than 50%, but the birthday problem demonstrates that this is not the case.
  2. An Introduction to Probability Theory and its Applications, Volume I, 3rd edition (1968)|http://www.amazon.com/Introduction-Probability-Theory-Applications-Edition/dp/0471257087
  3. W. W. Rouse Ball, 1960, Other Questions on Probability, in Mathematical Recreations and Essays, Macmillan', New York, p 45.
  4. The Birthday Problem
  5. 5.0 5.1 In reality, birthdays are not evenly distributed throughout the year; there are more births per day in some seasons than in others, but for the purposes of this problem the distribution is treated as uniform. In particular, many children are born in the summer, especially the months of August and September (for the northern hemisphere) [1], and in the U.S. it has been noted that many children are conceived around the holidays of Christmas and New Year's Day.[citation needed] Also, because hospitals rarely schedule C-sections and induced labor on the weekend, more Americans are born on Mondays and Tuesdays than on weekends;[citation needed] where many of the people share a birth year (e.g. a class in a school), this creates a tendency toward particular dates. In Sweden 9.3% of the population is born in March and 7.3% in November when a uniform distribution would give 8.3% Swedish statistics board. See also:
    • Lua error in package.lua at line 80: module 'strict' not found.
    • Lua error in package.lua at line 80: module 'strict' not found.
    These factors tend to increase the chance of identical birth dates, since a denser subset has more possible pairs (in the extreme case when everyone was born on three days, there would obviously be many identical birthdays). The problem of a non-uniform number of births occurring during each day of the year was first understood by Murray Klamkin in 1967. A formal proof that the probability of two matching birthdays is least for a uniform distribution of birthdays was given by D. Bloom (1973).
  6. Lua error in package.lua at line 80: module 'strict' not found.
  7. Lua error in package.lua at line 80: module 'strict' not found.
  8. Jim Gray, Catharine van Ingen. Empirical Measurements of Disk Failure Rates and Error Rates
  9. In his autobiography, Halmos criticized the form in which the birthday paradox is often presented, in terms of numerical computation. He believed that it should be used as an example in the use of more abstract mathematical concepts. He wrote:

    The reasoning is based on important tools that all students of mathematics should have ready access to. The birthday problem used to be a splendid illustration of the advantages of pure thought over mechanical manipulation; the inequalities can be obtained in a minute or two, whereas the multiplications would take much longer, and be much more subject to error, whether the instrument is a pencil or an old-fashioned desk computer. What calculators do not yield is understanding, or mathematical facility, or a solid basis for more advanced, generalized theories.

  10. D. Brink, A (probably) exact solution to the Birthday Problem, Ramanujan Journal, 2012, doi: 10.1007/s11139-011-9343-9.
  11. Brink 2012, Theorem 2
  12. 12.0 12.1 Brink 2012, Theorem 3
  13. 13.0 13.1 Brink 2012, Table 3, Conjecture 1
  14. Z. E. Schnabel (1938) The Estimation of the Total Fish Population of a Lake, American Mathematical Monthly 45, 348–352.
  15. M. C. Wendl (2003) Collision Probability Between Sets of Random Variables, Statistics and Probability Letters 64(3), 249–254.
  16. 16.0 16.1 M. Abramson and W. O. J. Moser (1970) More Birthday Surprises, American Mathematical Monthly 77, 856–858
  17. Lua error in package.lua at line 80: module 'strict' not found.
  18. D. E. Knuth; The Art of Computer Programming. Vol. 3, Sorting and Searching (Addison-Wesley, Reading, Massachusetts, 1973)
  19. P. Flajolet, P. J. Grabner, P. Kirschenhofer, H. Prodinger (1995), On Ramanujan's Q-Function, Journal of Computational and Applied Mathematics 58, 103–116
  20. Lua error in package.lua at line 80: module 'strict' not found.
  21. C. Borgs, J. Chayes, and B. Pittel (2001) Phase Transition and Finite Size Scaling in the Integer Partition Problem, Random Structures and Algorithms 19(3–4), 247–288.

Bibliography

  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.

External links