arXiv++ Combinatorics

We study the siblings version of the coupon collector problem. A main collector stops when every coupon type has appeared at least once, duplicates are passed successively to later siblings, and $U_j^N$ denotes the number of empty spaces in collector $j$'s album at the main completion time. We prove three results. First, for every fixed $N$ and $j\ge2$, $\E U_j^N$ is uniquely maximized over positive coupon distributions by the uniform distribution; in fact it decreases strictly along every nonconstant ray from the uniform vector. Second, in the uniform model, $U_j^N$ is stochastically increasing in $N$, and we construct an increasing coupling using top spacings of exponential order statistics. Third, for fixed album indices $2,\ldots,J$, the naturally normalized vector converges jointly to $(W,\ldots,W)$, where $W$ is exponential with mean one. We also derive exact Poissonized and alternating-subset formulae and give a transfer principle for leading expectation asymptotics.

We study three nonmonotone coupon-collector models through a stationary-entry viewpoint. In such models the all-present state is not absorbing, so completion is governed not by the disappearance of a monotone terminal cloud but by rare new entries into a target state, except in the reset-button model, where exact regeneration gives a separate reduction. We prove a finite stationary-entry theorem: a mixing estimate, a one-block clump-control estimate, and the stationary entry flux imply an exponential hitting law. For the reset-button collector, regeneration gives an exact probability-generating function in terms of the ordinary coupon-collector transform and recovers the known beta-function expectation, while also yielding rare-success exponential limits and negligible-reset Gumbel limits. For the clumsy collector with fixed loss probability $p$ and $q=1-p$, the stationary-entry flux is $p q^n$, and $p q^n T_n$ converges to $\operatorname{Exp}(1)$. Thus the fixed-loss standardized limit is exponential rather than Gumbel. For the post-loss careless collector, we compute the sharp stationary-entry flux $$ μ_n\sim (q;q)_\infty^{-1}\frac{n!}{n^n}q^{n(n+1)/2} $$ and prove $μ_nT_n\Rightarrow\operatorname{Exp}(1)$, with matching moment asymptotics. This shows that the careless scale is governed by a stationary high tail, or ordered lucky climb, rather than by the independent one-point marginal heuristic. We also analyze a combined clumsy-careless model, confirming stability of the high-tail entry mechanism.

We study the two-player coupon-collector competition in which two independent collectors draw one coupon each per round from a set of $d$ equally likely coupon types. Myers and Wilf gave finite formulae for several two-player events and explicitly left open the ballot-type problem of finding the probability that the ultimate winner was never behind. We prove that this probability satisfies $$ b_d \sim \frac{2}{d}, \qquad d\to\infty .$$ The proof uses a renewal decomposition at the tie boundary. The first one-sided tie-break has an explicit entrance distribution; its level, scaled by $d^{1/2}$, converges to a Rayleigh law; and, after the break, the leader's survival probability is governed by a Catalan, or gambler's-ruin, harmonic. The main estimate shows that the accumulated defect of this comparison harmonic in the exact simultaneous-round chain is negligible.

We study the coupon collector with deterministic expiration: one coupon is drawn at each time, and each coupon remains active for exactly $M$ draws. Completion occurs when all $n$ coupon types are simultaneously active. Equivalently, the current length-$M$ sliding window of draws must contain all $n$ types. The central object is not the one-time probability that a random window is onto, but the stationary flux of new entries into the onto-window set. We compute this flux exactly: \[ μ_{n,M} =\Pbb(W_{t-1}\text{ is not onto},\ W_t\text{ is onto}) =\frac{(n-1)(n-1)!S(M-1,n-1)}{n^M}, \] where $S(\cdot,\cdot)$ denotes a Stirling number of the second kind. Under a quantitative subcritical separation condition, satisfied in particular by every fixed integer scale $M=\floor{αn\log n}$, $0<α<1$, we prove local declumping and obtain \[ μ_{n,M}T_{n,M}\Rightarrow \Exp(1). \] For the fixed subcritical scale $M=\floor{αn\log n}$, $0<α<1$, this gives the logarithmic scale \[ \log T_{n,M}=n^{1-α}+o_{\mathbb P}(n^{1-α}), \qquad \log \Ebb T_{n,M}=n^{1-α}+o(n^{1-α}), \] and, when $α>1/2$, the sharper normalization \[ n^{-α}e^{-n^{1-α}}T_{n,M}\Rightarrow \Exp(1), \qquad \Ebb T_{n,M}\sim n^αe^{n^{1-α}}. \] Thus the leading scale proposed in the Math StackExchange discussion is made rigorous; the exact finite-$n$ flux gives the canonical normalization throughout the subcritical range. The result is a sliding-window companion to rare-void entry-flux methods for nonmonotone coupon collectors.

We develop a terminal-defect method for the double Dixie cup problem and use it to prove the finite-variance extremality conjecture of Doumas and Papanicolaou. For every \(m\ge1\) and \(N\ge2\), among all positive coupon probability vectors \(p=(p_1,\ldots,p_N)\), the variance of the time \(T_m(N)\) to collect \(m\) complete sets is uniquely minimized at the uniform vector. We prove the stronger radial statement that the variance is strictly increasing along every ray from the uniform vector. The proof is finite-\(N\) and exact: after Poissonization, the completion time is a maximum of independent Erlang variables, and the radial derivative of its distribution is compared to a size-biased law using a monotone-likelihood-ratio argument based on a log-scale monotonicity property of the Gamma reverse hazard. The same framework gives a growing-multiplicity Gumbel theorem in the equal-probability case, with expectation and variance asymptotics on the inverse gamma-tail scale. This recovers the fixed-\(m\) equal-probability variance asymptotic stated as Conjecture 1 by Doumas and Papanicolaou, classically known for \(m=1\), and extends the mechanism to \(m=m_N\). We also illustrate the unequal-probability theory with endpoint-Laplace limits for power-law probabilities.