The generalized quantile function isThe tail limits of a cumulative distribution function make the defining set nonempty and its infimum finite. Monotonicity and right continuity imply exactly when . To see the direction involving the infimum, let points in the defining set decrease towards it; right continuity gives , so every larger also qualifies. Consequently, for a uniform distribution variable ,The probability-zero endpoints can be assigned arbitrary outputs. This proves inverse transform sampling even for distributions with atoms or flat portions; continuity or strict monotonicity of is not required.
Choose a proposal probability density function positive wherever is nonzero, up to null sets, and draw independent and identically distributed random variables from . The ordinary importance sampling estimator isThe support condition for importance sampling and absolute integrability give , so this is an unbiased estimator. Its variance, possibly infinite, isLet . If , the Cauchy-Schwarz inequality yieldsEquality holds for proportional to . Thus the minimum-variance importance distribution and the minimum variance areFor a constant-sign integrand this is zero variance. If , the integrand vanishes almost everywhere and the zero estimator already has zero variance. Requiring the proposal to cover all of the target's support, including where , can exclude ; in that stricter class, approaches the same infimum as . This distinguishes coverage of the integral from coverage of every target event.
Integrating the Weibull distribution density gives for . Inverse transform sampling therefore givesReplacing by produces the same probability distribution. Both uniforms belong to with probability one. Here the conventional Weibull scale is , rather than .
The Box-Muller transform uses independent uniforms to setThe radius has the unit Rayleigh distribution, with density for , and the angle is independently uniform on . Their joint density is . The Cartesian change of variables has absolute Jacobian determinant , so the joint density of isThe factorization proves that the outputs are independent random variables, each with a standard normal distribution.
Recognize the integrand as a Gaussian scale mixture. If has the unit Rayleigh distribution and is an independent standard normal distribution variable, then the conditional density of given is . Multiplying by the radius density givesThus use for the independent radius and for the normal output of the Box-Muller transform:The mixture argument also proves that integrates to one, by the Tonelli theorem. As a check, is exponential of rate , so the characteristic function of is . This is the Rayleigh-normal scale mixture, with Laplace distribution density .
Articles by others on the same topic
There are currently no matching articles.