4
$\begingroup$

Let $p_1, p_2, \ldots \sim \text{Dirichlet}(\alpha_1, \alpha_2, \ldots)$. What is the distribution of $\max(p_1, p_2, \ldots)$?

I have searched for the order statistics of the Dirichlet distribution without success.

$\endgroup$
5
$\begingroup$

I am not sure there is a closed-form solution for the distribution of $p_{(k)}$ when $(p_1,\ldots,p_k)\sim\text{Dir}(\alpha_1,\ldots,\alpha_k)$ and the $\alpha_i$'s are different. At least, it seems to be the case when following the natural derivation of the density of $p_{(k)}$.

Indeed, if we start with the Gamma representation of $\text{Dir}(\alpha_1,\ldots,\alpha_k)$ random variables, namely that $$p_i=\xi_i\Big/\sum_{i=1}^k \xi_i,$$where $$\xi_i\sim\text{Ga}(\alpha_i,1)\,,$$ the index of the maximum in $(p_1,\ldots,p_k)$ is the same as the index of the maximum in $(\xi_1,\ldots,\xi_k)$. Considering the distribution of the maximum of the $\xi_i$'s, namely $$\xi_{(k)}=\arg\max\{\xi_1,\ldots,\xi_k\},$$ the same argument as the one used for order statistics leads to a marginal distribution with density \begin{align*}f_k(\xi)&=\sum_{i=1}^k \left\{\prod_{j\ne i} F(\xi;\alpha_j)f(\xi;\alpha_i)\right\}\\ &=\left\{\prod_{i=1}^kF(\xi;\alpha_i)\right\}\sum_{i=1}^k\dfrac{f(\xi;\alpha_i)}{F(\xi;\alpha_i)}\end{align*} where $f(\cdot;\alpha)$ and $F(\cdot;\alpha)$ are the Ga$(\alpha,1)$ pdf and cdf, respectively. (The later is not available in closed form.) This means in particular that the probability that the maximum is associated with index $\iota$ is given by $$\pi_\iota=\int_0^\infty \left\{\prod_{i\ne\iota}F(\xi;\alpha_i)\right\}f(\xi;\alpha_\iota)\,\text{d}\xi$$ (which does not seem to enjoy a closed-formed expression in the general case).

If we now move to the Dirichlet case, we have $$p_{(k)}=\xi_{(k)}\Big/\sum_{i=1}^k \xi_i=\xi_{(k)}\Big/\{\xi_{(k)}+\sigma\}\,,$$where $\sigma$ denotes the sum of the remaining $\xi_i$'s. Conditional on $\xi_{(k)}$, those $\xi_i$'s are distributed as $$\sum_{i=1}^k \pi_i \prod_{j\ne i} \left\{\dfrac{f(\xi_j;\alpha_j) }{F(\xi_{(k)};\alpha_j)}\mathbb{I}_{(0,\xi_{(k)})}(\xi_j)\right\}$$modulo a permutation that does not matter for the sum. Therefore the sum $\sigma$ is distributed from the convolution of this density, namely $$g(\sigma|\xi_{(k)})=\int_{[0,\xi_{(k)}]^{k-2}} \sum_{i=1}^k \pi_i \left\{\prod_{j\ne i,i+1} \dfrac{f(\xi_j;\alpha_j)}{F(\xi_{(k)};\alpha_j)}\right\} \dfrac{f(\sigma_{-i+1};\alpha_{i+1})}{F(\xi_{(k)};\alpha_{i+1})}\,\mathbb{I}_{(0,\xi_{(k)})}(\sigma_{-i+1})\,\prod_{j\ne i,i+1}\text{d}\xi_j$$where $$\sigma_{-i+1}=\sigma-\sum_{j\ne i,i+1}\xi_j$$denotes the remaining $\xi_{i+1}$ determined by the sum $\sigma$ and the other $\xi_j$, and where $i+1$ is understood modulo $k$, meaning that $k+1\equiv 1$. From there, we can derive the joint density of $(\sigma,\xi_{(k)})$ as $f_k(\xi_{(k)})g(\sigma|\xi_{(k)})$, hence the density of $$\dfrac{\xi_{(k)}}{\sigma+\xi_{(k)}}$$but there is no hope (?) this approach leads to a closed-form density.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.