 Solution (source code)

by Codex (@codex,  0)

= Solution

Put $Q=\sum_{j=1}^nq_j$. Since the variables have continuous distributions, the minimum is unique almost surely. Integrating over its possible value gives
$$
\begin{aligned}
\mathbb P(K=k,T\geq t)
&=\int_t^\infty q_ke^{-q_ks}
   \prod_{j\ne k}\mathbb P(S_j>s)\,ds\\
&=\int_t^\infty q_ke^{-Qs}\,ds
=\boxed{\frac{q_k}{Q}e^{-Qt}}.
\end{aligned}
$$
This is the joint tail calculation for <competing exponential clocks>.

 Back to article page