I can propose an approach which circumvents having to actually prove that maximal lottery-lotteries exist, but which preserves the spirit and works the same for voting theory purposes.
Epistemic status: raw thoughts. I think this approach is better than the previous attemps
The main idea is: we only really care about the probability each candidate is elected. So we can compute a sequence of maximal lottery-lotteries for approximations of and take the limit. The limit (most likely) will not be a maximal lottery-lottery, but the corresponding lotter... (read more)
I can propose an approach which circumvents having to actually prove that maximal lottery-lotteries exist, but which preserves the spirit and works the same for voting theory purposes.
Epistemic status: raw thoughts. I think this approach is better than the previous attemps
The main idea is: we only really care about the probability each candidate is elected. So we can compute a sequence of maximal lottery-lotteries for approximations of