The independent identically distributed central limit theorem states that for independent identically distributed random variables with finite mean and positive finite variance ,
For , continuity, strict monotonicity and the endpoint limits of the cumulative distribution function give a unique . Then . Thus has the uniform distribution on , by the probability integral transform.
For , when , and it is zero otherwise. Therefore its probability density function is : the exponential distribution of rate one. By integration by parts, and , so .
The variables are independent because they are separate measurable functions of independent random variables. The probability integral transform makes all of them identically distributed as , even though the need not be identically distributed. The displayed is exactly . The central limit theorem therefore gives
The difference of the two eigenvalues is , hence . Its expectation is
For , put . The set of angles satisfying consists of , and , of total length . Thus the full cumulative distribution function is
Differentiating on gives the probability density function
This is the arcsine distribution, equivalently the beta distribution with both parameters . It has no atoms at either endpoint.
Interpret the source's missing variable in the limit arrow as . We prove convergence in distribution by showing that the angle of the Brownian motion becomes uniform on the circle group.
Let . For every integer , its angular Fourier coefficients satisfy
These are precisely the Fourier coefficients of the uniform distribution on the unit circle. Thus expectations of every trigonometric polynomial converge to its uniform angular average. By the Stone-Weierstrass theorem, trigonometric polynomials approximate continuous functions on the unit circle uniformly. Given an approximation error , the discrepancy of expectations is at most the polynomial discrepancy plus . Taking and then proves weak convergence of probability measures to uniform angular measure.
The function is continuous on the unit circle, so the continuous mapping theorem and part (a)(ii) imply
Equivalently, the limiting arcsine distribution has cumulative distribution function for , and probability density function for . This proves the limiting law rather than inferring it merely from the limiting mean.
Under the simplest interpretation, each spot contains two equally bright, independently bleaching green fluorescent protein emitters. Losing one halves the fluorescence and losing the other removes it. A stable protein dimer carrying one active label per subunit is consistent with this result. The conclusion is two active emitters in the observed spot; it does not by itself rule out unresolved coincident proteins, incomplete fluorescent maturation or blinking. Permanent membrane binding makes loss by dissociation less plausible, but lateral motion out of the observation region would still need experimental control.[ref]
Let their independent photobleaching times be . Then has rate , while the memoryless remaining lifetime has rate and mean , matching the stated single-emitter calibration. The two-emitter photobleaching completion time is the maximum, not one single exponential and not a sum of two equal-rate exponential variables. Its cumulative distribution function is
Differentiating gives its probability density function:
with zero density for . It integrates to one, and its mean is . This uses two active fluorophores at the start of observation, constant illumination and independent irreversible bleaching with the calibrated rate.
Integrating the conditional distribution against the exponential distribution probability density function gives, for integer ,
Here the gamma function identity evaluates the integral. Hence
on . Put and . The geometric series gives . Its generalized inverse, the quantile function, is
This is the smallest nonnegative integer for which ; dividing by reverses the inequality. Draw from the uniform distribution on and use this formula. The commonly used expression has the same probability distribution, but differs from the exact generalized inverse when is precisely a jump value of the cumulative distribution function. Such values have probability zero for an ideal continuous uniform draw.
For the exponential distribution with rate , the cumulative distribution function is for , and zero for . Its quantile function is
For inverse transform sampling, draw from the uniform distribution on and return . Equivalently return , since has the same uniform distribution. Indeed, for , .
Solving gives . Hence the quantile function is
For such , , making the logarithm's argument lie in and the output positive. Its endpoint limits are and . Substitution into (i)'s cumulative distribution function recovers .
Let . Since
integration from zero to gives . Letting and imposing unit total probability gives
The probability density function is positive for because . Consequently the cumulative distribution function is increasing, starts at zero and tends to one. This verifies that the derived normalizing constant defines a probability distribution. The family is the exponential-logarithmic distribution with the complementary mixing parameter .
The central limit theorem gives , so, with the cumulative distribution function of the standard normal distribution,
The error has two tails. Using the supplied quantile, whose two-sided coverage is approximately , gives
The supplied quantile would be appropriate for a one-sided calculation; it would give only approximately two-sided coverage. Using the exact quantile instead of would give draws; we consistently use the paper's rounded value below.
For routine Monte Carlo integration, the central limit theorem calculation is preferable as a practical budget: it uses about one fifteenth as many draws as the Chebyshev's inequality bound. However, its coverage is approximate. Finite variance alone supplies no universal rate of convergence to the normal distribution; an integrand with large skewness or a heavy-tailed distribution can make the approximation poor even at a large sample count. If an unconditional finite-sample guarantee is required under only the stated assumptions, use the Chebyshev's inequality budget.
Let , where is the standard normal distribution's cumulative distribution function. Statistical consistency and Slutsky's theorem allow replacement of by :
Thus the probability that this standardized estimation error lies between and tends to . Rearranging gives the Wald confidence interval
The coverage probability is approximate, with limiting value ; it is a repeated-sampling statement about the random confidence interval.
The sample mean has mean and variance . The central limit theorem gives a normal approximation for interior when both expected binomial counts are sufficiently large. Under the null hypothesis, a level- upper-tail cutoff is approximately
To obtain the power function, evaluate this same cutoff under the true statistical parameter , standardizing with :
Here is the standard normal distribution's cumulative distribution function. The formula treats the binomial threshold as continuous; exact integer cutoffs and boundary randomization are finite-sample refinements.
An equal-tailed credible interval allocates equal posterior probability to its two excluded tails:
For a continuous strictly increasing posterior cumulative distribution function , the endpoints are and .
A highest posterior density interval instead includes the parameter values of greatest posterior density: there is a cutoff such that the retained region is a superlevel set of , of posterior mass . Every interior retained value has density at least as large as every excluded value, apart from possible ties. For a unimodal continuous density this is an interval; when both endpoints lie inside the support they have equal posterior density. For a multimodal posterior distribution, a highest-density region may be a union of intervals, rather than one interval. Equal tail probabilities and highest density are different criteria.
Let be the cumulative distribution function of a gamma distribution with shape and rate ; explicitly,
The posterior distribution is continuous and has positive density on , so its quantiles give the requested equal-tailed credible interval:
Equivalently, , so the endpoints can be written as the corresponding chi-squared distribution quantiles divided by . Either form excludes posterior probability from each tail.
First establish the limiting law needed by the delta method. For fixed , put and let count how many of the are at most . Then has a binomial distribution with expectation and variance . The event is exactly . Its standardized threshold tends to , so the central limit theorem for these binomial counts gives
Here is the cumulative distribution function of the standard normal distribution. Equivalently,
Use the usual local regularity for the delta method: is continuous at the population median and . The inverse function theorem, applied at , gives
Therefore
The asymptotic normality gives the requested leading variance approximation
Here the variance parameter for the rescaled limiting law is , while the source states the corresponding approximation for the unscaled estimator. Strict increase of alone does not force ; that local condition is needed for this form of the asymptotic distribution of a sample median.
Continuity and strict increase make the quantile function well-defined on . The endpoints of the uniform distribution occur with probability zero and do not affect the construction. For every real ,
Thus each has cumulative distribution function . Applying a fixed measurable function separately to independent random variables preserves their independence; explicitly, joint lower-tail probabilities factor as
Consequently
This is inverse transform sampling. Since preserves order, it also sends the central order statistic to the central order statistic, justifying .
Under the null hypothesis, the full model has two free positive statistical parameters and the constrained model has one. The Wilks theorem therefore gives
as both sample sizes tend to infinity, with tending to a number strictly between zero and one. For the observed , calculate
The large-sample p-value is the upper-tail probability
where is the cumulative distribution function of the standard normal distribution. The last equality uses the fact that the square of a standard normal random variable has a chi-squared distribution with one statistical degree of freedom. Values of on either side of are already included by the transformation to .
Put and as in part (a), and let be the cumulative distribution function of the beta distribution . The two endpoint equations are
The first equation fixes the posterior probability, and the second makes the two endpoint posterior densities equal. Their admissible ordering is
To justify sufficiency and uniqueness, the derivative of the logarithm of the posterior density is
which is positive below and negative above it. Thus the posterior density increases strictly to its unique mode and decreases strictly thereafter, vanishing at both ends. Each density threshold between zero and the maximum determines exactly one endpoint on each side of . The probability between these endpoints decreases continuously and strictly from one to zero as increases, so exactly one threshold gives 0.95. This is the beta highest posterior density endpoint characterization.
A likelihood-ratio test rejects for small . The derivative of the natural logarithm of its variable factor is
Thus increases up to and decreases thereafter, tending to zero at both endpoints. Every nontrivial lower level set of therefore consists of two tails. For a prescribed test size , the exact critical region is
Writing for the cumulative distribution function of the beta distribution with parameters , the required two equations are
The first makes both cutoffs have the same likelihood ratio; the second calibrates the null hypothesis rejection probability. Equivalently, the second left-hand side is
As the common likelihood ratio threshold increases from zero to one, this probability increases continuously and strictly from zero to one; hence the equations determine unique cutoffs. The two tail probabilities need not each equal when . Exact calibration holds for every common rate because the given null distribution of is independent of that rate. Boundary equalities have zero probability.
Condition on the total of 400 complaints. Assume each complaint independently has the same probability of being received on Monday; in particular, repeated complaints from one incident must not create material dependence. The Monday count then has a binomial distribution with parameters . Test against , rejecting for large as suggested by the monotone likelihood ratio.
Under the null hypothesis, and . Both expected successes and expected failures are large, so the central limit theorem gives a suitable normal approximation:
Using the paper's supplied rounded table, the upper-tail p-value is approximately
A more accurate evaluation of the standard normal distribution cumulative distribution function gives about 0.0062. For example, choose significance level 0.05 before examining the data; the supplied upper 5% standard normal quantile is approximately 1.6, and . Reject at 5%, and also at 1%, using this approximation. The observed binomial proportion is , providing evidence that the Monday probability exceeds 0.2 under the sampling assumptions.
If applying a continuity correction, approximate by ; this gives the same 5% and 1% conclusions. The uncorrected value 0.005 is approximate, so a decision exactly at the 0.5% boundary is not warranted by the supplied rounded table.
Here the gamma distribution uses a rate statistical parameter , with known shape . Write and . For each fixed , the alternative-to-null likelihood ratio is
strictly decreasing in . The Neyman-Pearson lemma therefore gives the same lower-tail critical region for every larger rate. Since has a continuous gamma distribution under the null hypothesis, there is a unique positive satisfying
Thus reject when is a uniformly most powerful test of exact test size . If denotes the unit-rate gamma distribution cumulative distribution function with shape , then
This is the uniformly most powerful test for a gamma rate.
When , the sum has shape one and hence an exponential distribution with rate . Therefore
In particular , and the power function is strictly increasing, exceeding for and tending to one as .