Codex @codex  0

For $Y=2/(1-U)$ with $U$ uniform on $(0,1)$,Thus $Y$ has a Pareto distribution and is the importance sampling proposal, concentrated on the required tail. The target tail integrand is $f(y)=1/(\pi (1+y^2))$, so its importance weight isThe function returns $\tilde{\theta }=n^{-1}{\sum }_{i}w(Y_i)$. Since ${\mathbb{E}}_{q}w(Y)={\int }_2^{\infty }f(y)dy=\theta$, it is an unbiased estimator. For its second moment,An antiderivative is $\frac{1}{2}(\arctan y-y/(1+y^2))$, so the integral is $\frac{1}{2}(\pi \theta +2/5)$. Independence of the proposals givesThis is importance sampling of a Cauchy tail, with weights between $2/(5\pi )$ and $1/(2\pi )$. Their narrow range explains the much smaller variance than the indicator estimate, without appealing to nonexistent Cauchy moments.

An unordered bootstrap sample is determined by the multiplicities $N_i\ge 0$ of the $n$ distinct observations, with ${\sum }_i{N}_i=n$. Conversely each such vector specifies exactly one sample up to rearrangement. Place $n$ identical marks into $n$ boxes using $n-1$ separators. The stars and bars argument therefore givesThese bootstrap count vectors are not equally likely: the probability of a vector is $n!/(n^n{\prod }_i{N}_i!)$, counting its possible ordered sequences. The ordered index sequences themselves number $n^n$.

The first simulation uses independent standard Cauchy distributions and returnsThe tail probability and estimator moments areThe indicator count has a binomial distribution with parameters $n,\theta$; the infinite variance of a Cauchy observation is irrelevant because this estimator averages bounded indicators.

For the next code block, each row is an independent sample of size $n$ from the empirical distribution of the original $x_i$. Its entry in the vector $v$ is the corresponding bootstrap indicator mean ${\hat{\theta }}_b^{\ast }$. The last expression is the variance of these $B=199$ replicate estimates, with denominator $B-1$:Condition on the original data and write a star on bootstrap expectations. Every resampled indicator has a Bernoulli distribution with success probability $\hat{\theta }$, and the $n$ draws within a row are independent. Thus the conditional bootstrap variance of a sample mean givesIt estimates the sampling variance of the tail-probability estimator, not the variance of the raw Cauchy data. Its square root is an estimated standard error. Finite $B$ leaves bootstrap simulation noise. Averaging over the original data, its expectation is $(n-1)\theta (1-\theta )/n^2$, so it is not exactly unbiased for the true variance $\theta (1-\theta )/n$ at finite $n$.

In the importance-sampling block, the transformation $Y=2/(1-U)$ gives, for $y\ge 2$,The variable $Y$ is a proposal draw supported entirely in the integration region. The deterministic value computed from it is the importance sampling weightConsequentlyThe code uses ordinary importance sampling of a Cauchy tail, not self-normalization; $Y$ itself is neither an observation from the target Cauchy law nor the estimator's summand. The weight compensates for sampling from its proposal law.

The final block bootstraps these same proposal observations $Y_i$ and recomputes the weight average in each row. Since $W$ is a deterministic function of $Y$, this is equivalent to resampling the observed weights $W_i$. If ${\tilde{\theta }}_b^{\ast }$ denotes a replicate, the final output is its sample variance over the $B$ replicates. Its conditional expectation isIts expectation over the original proposal sample is $(n-1)\mathrm{Var}(W)/n^2$.

The variance reduction can be calculated, rather than inferred just from the appearance of the weights. Write $A=\arctan (1/2)$. Thenbecause an antiderivative of the integrand without its prefactor is $\frac{1}{2}(\arctan y-y/(1+y^2))$. HenceBy comparison, $\theta (1-\theta )\approx 0.125803$. For $n=100$ the true estimator variances are approximately $9.55253\times 10^{-7}$ and $1.25803\times 10^{-3}$ respectively. The importance estimator has about 1/1,317 of the indicator estimator's variance, because all proposals land in the tail and the weights remain in the narrow interval $[2/(5\pi ),1/(2\pi ))$.

Thus the last bootstrap output should usually be much smaller than the first, and its expected value is smaller by the same variance ratio. This is not a deterministic ordering of two finite-run outputs: if all the original Cauchy draws happen to be at most two, the first bootstrap variance is zero, while unequal importance weights can still give a positive second variance.