Weighted ensemble: Recent mathematical developments