Variance of the First Size-Biased DP Weight
var_w1.RdComputes \(Var(w_1 \mid a, b)\) using the law of total variance.
Details
Uses the law of total variance: $$Var(w_1) = E[Var(w_1 | \alpha)] + Var(E[w_1 | \alpha])$$
where \(w_1 \mid \alpha \sim Beta(1, \alpha)\), so:
\(E(w_1 \mid \alpha) = 1/(1+\alpha)\)
\(Var(w_1 \mid \alpha) = \alpha / ((1+\alpha)^2(2+\alpha))\)
References
Lee, J. (2026). Design-Conditional Prior Elicitation for Dirichlet Process Mixtures. arXiv preprint arXiv:2602.06301.
See also
Other weights_w1:
cdf_w1(),
density_w1(),
mean_w1(),
prob_w1_exceeds(),
prob_wmax_exceeds(),
prob_wsb_exceeds(),
quantile_w1(),
summary_w1(),
wmax_tail_bounds()