Assume the draws are independent from , that the target-weighted integrand is covered by its support, and that . Define the importance weight . The change-of-density identity isTherefore importance sampling uses the unbiased estimatorThe strong law of large numbers gives consistency. A finite second moment of the weighted integrand additionally gives finite variance and a usual independent-sample central limit theorem. A useful proposal places enough probability where is large and avoids tiny proposal probability density function there; common support alone does not guarantee finite variance.
Write and , where are known nonnegative kernels. If both constants are known, the ordinary weight is . If their ratio is unknown, use self-normalized importance sampling:Indeed, under the normalized proposal law,The strong law of large numbers makes their empirical ratio converge to , provided the numerator is absolutely integrable and . Multiplicative constants cancel, whether the unknown one belongs to the target, proposal, or both. Unlike the estimator in part (i), this ratio is generally biased at finite sample size. Exact sampling from is still presumed; knowing only an unnormalized proposal does not itself supply a sampler.
Set . Independence gives , while part (i) gives . Its second moment isConsequentlyThe variance is finite exactly when the displayed second-moment integral is finite, assuming exists. An infinite integral means infinite variance, not failure of the change-of-density identity.
For the standard Cauchy distribution tail, use the indicatorThen is the desired probability, and the ordinary importance sampling estimator is . The proposal must cover the nonzero integrand, namely the upper tail. A proposal restricted to cannot directly estimate this indicator integral; part (v) instead uses a complementary bounded-interval identity.
Take , so the proposal is the uniform distribution on , with probability density function . Symmetry of the standard Cauchy distribution givesThus the proposed expression is exactly the unbiased importance sampling estimator of this complementary integral:It has finite variance because is bounded on . Explicitly,These follow from the antiderivatives of and . The target itself is . At it is exactly without simulation; for negative the printed uniform-interval construction must be changed.
Antithetic variates preserve each draw's marginal law but couple two estimates negatively. For an average of identically distributed ,Negative covariance improves on two independent evaluations at the same computational budget.
Here generate independent and pair with . Both are uniform on . The antithetic Cauchy-tail integration on a finite interval estimator isIt is unbiased. Put . This decreases, whereas increases. For an independent copy of , the covariance identity givesEach product is nonpositive, and for it is strictly negative off the diagonal. Thereforewhich is the variance using independent evaluations in part (v). Thus the comparison accounts for the doubled number of probability density function evaluations in each pair.
Articles by others on the same topic
There are currently no matching articles.