Consider $N = 2^{n}$ random variables $X_{1}, X_{2}, \ldots, X_{N}$, such that for each $i \in [N]$,
$$X_{i} \sim \Gamma\left(\frac{1}{2}, 2^{-n+1}\right). $$
We are also given that $$\sum_{i = 1}^{N}X_{i} = 1$$
What is the pdf for the joint distribution for the $N$-tuple $(X_{1}, X_{2}, \ldots X_{N})$? Does it follow a Dirichlet distribution? Note that the random variables are identically distributed but not independent.