This question is inspired by an earlier post: Card game and dice rolling: Finding random variables with similar probability mass function
I want to simulate a fair 6-sided die using 5-card hands from a regular deck of 52 cards. Cards are drawn without replacement, so there are ${52 \choose 5}$ possible hands, and since this number is divisible by 6, it is possible to partition the ${52 \choose 5}$ possible hands into 6 equal-sized disjoint subsets $A_1 \cup A_2 \cup A_3 \cup A_4 \cup A_5 \cup A_6$. Then, when I draw a 5-card hand, if it belongs to $A_j$ then I pretend I rolled the number $j$, and this process simulates a fair 6-sided die. This is entirely possible, but my question is: What is the easiest / most elegant / simplest way to do this?
If the order of drawing the 5 cards can be used (which is the question asked by the earlier post), then an easy / elegant / simple answer is: $A_1 = $ the first non-King you draw is Ace or 2, $A_2 =$ the first non-King you draw is 3 or 4, etc., up to $A_6=$ the first non-King you draw is Jack or Queen. These sets are clearly of equal size and disjoint, and since you draw 5 cards you must draw a non-King, so their union also cover all $52 \times 51 \times 50 \times 49 \times 48$ possible draws. However, this method requires that you distinguish based on the order of drawing those 5 cards. My question in this post requires that you do not distinguish based on the order of draw.
@RossMillikan and I had a brief discussion of several attempted solutions in the comments of the earlier post, but now that I have more time to think, I think none of the solutions actually work. Here are the (IMHO wrong) attempts:
1st Attempt: Ignore Kings, assign Ace = 1; 2 through 10 = face value; J = 11; Q = 12. Add the 5 card values mod 6.
- My thoughts: This would have obviously worked if you were drawing with replacement (and can somehow "magically" avoid the 5-King draw), since every card is uniformly distributed mod 6. But because you are drawing without replacement, if your first card is e.g. a 4, then the next card is no longer randomly distributed mod 6 because you have one fewer 4. Maybe this still simulates a fair die, but I don't see an obvious proof.
2nd Attempt: Again ignore kings (until the end). If you have distinct ranks, add them mod 6. If you have at least one pair, take the rank with maximum quantity (most repeated occurrences) mod 6. This handles all draws except $xxyyz$ and $Kxxyy$. For the first, take $z$ mod 6. For the second, if the king is red take the higher rank of $x$ or $y$, if the king is black take the lower.
- My thoughts: This would obviously work if each subcase is partitioned evenly into the 6 subsets. E.g. all hands of type $xxyyz$ certainly seems to be partitioned evenly. However consider hands of type $KKKxy$ (3 Kings, 2 other different ranks). Because we're constrained by $x \neq y$ (in this subcase), $Prob(x+y \ is\ odd) = 6/11$. So clearly this subcase is not partitioned evenly into the 6 subsets. Again, the overall scheme might still simulate a fair die, but I don't see an obvious proof.
To summarize: the question is not whether this partition is possible - it is, simply because ${52 \choose 5}$ is divisible by 6. The question is what is an easy / elegant / simple way to do this, i.e. to describe the partition.
(Bonus if your solution generalizes to any $N$-sided die, where $N$ divides ${52 \choose 5}$.)
Let the ranks be $0,\ldots, 12$ instead of weird symbols.
If one or more ranks occur exactly twice, pick the highest such rank and convert its suit patterns (there are $4\choose 2$ possibilities) into the result.
For the rest, we assume that no rank occurs exactly twice. We will obtain a random number mod 3 from the ranks only and a mod 2 random number from the suits only, which are independent. For the latter, simply check if there are more black or more red cards. The consideration of the ranks is a bit more complicated:
Remains the case that five ranks occur exactly once. In that case, mark these ranks on a clock face (ignoring rank $0$ if it occurs as a clock face has no $0$). We obtain a 4- or 5-gon; note that the 5gon cannot be regular.