Teruji Thomas, one of the authors, wrote a paper for GPI with a similar theorem, called the Supervenience Theorem. There’s an EA Forum post about it here. There’s an EA Forum post on Harsanyi’s original utilitarian theorem here, too.
I pulled out the definitions and put them together to be able to state the first theorem more compactly, introducing the notation as it’s needed and skipping some unnecessary notation and jargon.
The first theorem is for the constant population case, with a finite set of individuals I. Welfare states come from some set W, and “a distribution is an assignment of welfare states to individuals”, or an element of the set of vectors WI indexed by individuals in I. Then,
A ‘lottery’ is a probability measure (or probability distribution or random variable) over distributions. A ‘prospect’ is a probability measure (or probability distribution or random variable) over welfare states. Each lottery determines a prospect for each individual. The ‘social preorder’ expresses a view about how good lotteries are from an impartial perspective, while the ‘individual preorder’ expresses a view about how good prospects are for individuals, allowing interpersonal comparisons. The central question for us is how the social preorder should depend upon the individual preorder.
That there’s only one individual preorder that’s used for everyone allows interpersonal comparisons. Welfare states can be arbitrary otherwise, even allowing incomparability between welfare states and between prospects. A preorder is just a ranking that allows incomparability; it’s a transitive and reflexive relation ≿ (at least as good as), and we write X∼Y if both X≿Y and Y≿X.
Reflexivity: X≿X for all X.
Transitivity: if X≿Y and Y≿Z, then X≿Z.
For a given lottery L and individual i∈I, let Pi(L) denote the prospect that i faces in L.
Anteriority: Given lotteries L and L′, if for each individual i∈I, Pi(L) and Pi(L′) are identically distributed (equal up to shuffling the outcomes randomly)1, then according to the social preorder, L∼L′.
In other words, “the social preorder only depends on which prospect each individual faces”, and not how their actual outcomes may be statistically dependent upon one another, ruling out concern for “ex post equality”, according to which it would be better if prospects are correlated than anticorrelated or independent. For example, if A and B have equal chances of being happy or miserable, Anteriority implies it doesn’t matter if they’d be happy or miserable together with equal chances (correlated), or if one would be happy if and only if the other would be miserable (anticorrelated).
Let L(P) denote the lottery in which everyone faces prospect P, so that Pi(L(P))=P for each individual i∈I, and “and it is certain that all individuals will have the same welfare” as each other.
Reduction to Prospects: If P≿P′ according to the individual preorder, then L(P)≿L(P′) according to the social preorder.
Or, “for lotteries that guarantee perfect equality, social welfare matches individual welfare.” That is, perfect equality in welfare between everyone, but not necessarily any guarantee at what welfare level, as there may still be uncertainty involved. Again, if for an individual, some prospect P is at least as good as prospect P′, then the lottery with everyone facing P, L(P), is at least as good as the one with everyone facing P′, L(P′).
For a permutation (bijection) σ:I→I of identities and a lottery L, we write the permuted lottery as σL. This is just swapping people’s identities. The permutation is applied uniformly so that if σ(i)=j, then in σL, individual i faces the prospect that j faces in L.
Anonymity: Given a permutation σ of identities, and a lottery L, the social preorder is indifferent between L and the permuted lottery σL:
L∼σL
One important operation on lotteries is “probabilistic mixture”. Given two lotteries L and L, and a probability p, 0<p<1, we can define a compound lottery pL+(1−p)L′, which, for a binary random variable X that’s 1 with probability p and 0 with probability 1−p (like a biased coin, and independent of the randomness in L and L′), conditional on X=1, the compound lottery is identical to L, not just identically distributed, but also L resolves to a given welfare distribution if and only if the compound lottery, conditional on X=1 does, too, and conditional on X=0, it’s identical to L′. Hence, pL+(1−p)L′=XL+(1−X)L′ and
Prob[pL+(1−p)L′=L|X=1]=1 and Prob[pL+(1−p)L′=L′|X=0]=1
We can also do this with more than two lotteries and use summation notation, ∑, for it.
Anonymity is then strengthened:
Two-Stage Anonymity: Given two lotteries L and L′, p∈[0,1]∩Q (a rational number p between 0 and 1, inclusive), and a permutation of identities σ, then according to the social preorder, we have the equivalence:
p(σL)+(1−p)L′∼pL+(1−p)L′
So, you can permute individuals conditionally on the binary random variable that mixes the two lotteries while maintaining equivalence. This rules out concern for “ex ante equality”, according to which it would be better if people had fairer chances or equal opportunities. So, if I can benefit one of two people the same with the same initial welfare, it doesn’t matter if I just choose one, or flip a coin to choose, giving each a fair chance.
Let #I denote the number of individuals in I. For a given lottery L, ∑i∈I1#IPi(L) is the prospect given by Harsanyi’s veil of ignorance, where with equal probability, “you” will be one of the individuals i∈I, and then face their prospect Pi(L).
And now we can state their first theorem:
Theorem 2.2: Given an arbitrary preorder on the set of prospects (lotteries for single individuals), if the social preorder satisfies Anteriority, Reduction to Prospects and Two-Stage Anonymity, thenL≿L′ according to the social preorder if and only if
∑i∈I1#IPi(L)≿∑i∈I1#IPi(L′)
That is, you can permute individuals conditionally on the binary random variable that mixes the two lotteries while maintaining equivalence.
So the social preorder is just the one obtained by imagining yourself in the place of each individual with equal probability and applying the individual preorder, as in Harsanyi’s veil of ignorance.
1. The statement uses equality notation instead of identical distributions, but equality for each individual forces the lotteries to be literally the same, L=L′, not just equivalent, and the definition is trivially satisfied.
add an extra welfare state Ω to represent nonexistence, without saying how it compares to other welfare states at all (e.g. totalism or person-affecting views). Prospects can include nonexistence, so you (may be able to) compare prospects with different probabilities of nonexistence.
replace the finite constant population I with an infinite set I∞ of all possible individuals and assign welfare Ω (nonexistence) to individuals who don’t exist in a given welfare distribution.
generalize the Anteriority, Reduction to Prospects and Two-Stage Anonymity conditions. Only Reduction to Prospects looks different, since rather than defining lotteries for everyone in I∞ as a whole, you require it to hold for every finite non-empty subset of I∞.
define Omega Independence.
generalize Theorem 2.2 for Theorem 3.5.
For a given welfare state w, let 1w denote the prospect with definite welfare state w, with probability 1. In particular, 1Ω denotes definite nonexistence.
Omega Independence: For any two prospects P and P′, and any rational probability p∈[0,1]∩Q,
P≿P′ if and only if pP+(1−p)1Ω≿pP′+(1−p)1Ω
In other words, mixing with the same chance of nonexistence makes no difference to the ranking of two prospects.
Then Theorem 3.5 is basically the same as Theorem 2.2, with the corresponding definitions, but the social preorder only exists at all if Omega Independence is satisfied and the veil of ignorance comparisons are applied only to pairs of lotteries from a common finite subset of I∞ (which may have any individuals assigned nonexistence Ω, and any two finite sets can be expanded to their union, so prospects over finite sets of individuals can always be compared):
Theorem 3.5: Given an arbitrary individual preorder, there is at most one social preorder satisfying Anteriority, Reduction to Prospects, and Two-Stage Anonymity. When it exists, it is given by L≿L′ if and only if
∑i∈I1#IPi(L)≿∑i∈I1#IPi(L′)
according to the individual preorder for any finite non-empty I⊂I∞ such that L and L′ are lotteries in I. The social preorder exists if and only if the individual preorder satisfies Omega Independence.
Personally, I like the procreation asymmetry, so I might say that Ω is strictly better than some states (hence defined as negative), but either incomparable to or at least as good as all other states, so never worse than any other state.
Teruji Thomas, one of the authors, wrote a paper for GPI with a similar theorem, called the Supervenience Theorem. There’s an EA Forum post about it here. There’s an EA Forum post on Harsanyi’s original utilitarian theorem here, too.
I pulled out the definitions and put them together to be able to state the first theorem more compactly, introducing the notation as it’s needed and skipping some unnecessary notation and jargon.
The first theorem is for the constant population case, with a finite set of individuals I. Welfare states come from some set W, and “a distribution is an assignment of welfare states to individuals”, or an element of the set of vectors WI indexed by individuals in I. Then,
That there’s only one individual preorder that’s used for everyone allows interpersonal comparisons. Welfare states can be arbitrary otherwise, even allowing incomparability between welfare states and between prospects. A preorder is just a ranking that allows incomparability; it’s a transitive and reflexive relation ≿ (at least as good as), and we write X∼Y if both X≿Y and Y≿X.
Reflexivity: X≿X for all X.
Transitivity: if X≿Y and Y≿Z, then X≿Z.
For a given lottery L and individual i∈I, let Pi(L) denote the prospect that i faces in L.
Anteriority: Given lotteries L and L′, if for each individual i∈I, Pi(L) and Pi(L′) are identically distributed (equal up to shuffling the outcomes randomly)1, then according to the social preorder, L∼L′.
In other words, “the social preorder only depends on which prospect each individual faces”, and not how their actual outcomes may be statistically dependent upon one another, ruling out concern for “ex post equality”, according to which it would be better if prospects are correlated than anticorrelated or independent. For example, if A and B have equal chances of being happy or miserable, Anteriority implies it doesn’t matter if they’d be happy or miserable together with equal chances (correlated), or if one would be happy if and only if the other would be miserable (anticorrelated).
Let L(P) denote the lottery in which everyone faces prospect P, so that Pi(L(P))=P for each individual i∈I, and “and it is certain that all individuals will have the same welfare” as each other.
Reduction to Prospects: If P≿P′ according to the individual preorder, then L(P)≿L(P′) according to the social preorder.
Or, “for lotteries that guarantee perfect equality, social welfare matches individual welfare.” That is, perfect equality in welfare between everyone, but not necessarily any guarantee at what welfare level, as there may still be uncertainty involved. Again, if for an individual, some prospect P is at least as good as prospect P′, then the lottery with everyone facing P, L(P), is at least as good as the one with everyone facing P′, L(P′).
For a permutation (bijection) σ:I→I of identities and a lottery L, we write the permuted lottery as σL. This is just swapping people’s identities. The permutation is applied uniformly so that if σ(i)=j, then in σL, individual i faces the prospect that j faces in L.
Anonymity: Given a permutation σ of identities, and a lottery L, the social preorder is indifferent between L and the permuted lottery σL:
One important operation on lotteries is “probabilistic mixture”. Given two lotteries L and L, and a probability p, 0<p<1, we can define a compound lottery pL+(1−p)L′, which, for a binary random variable X that’s 1 with probability p and 0 with probability 1−p (like a biased coin, and independent of the randomness in L and L′), conditional on X=1, the compound lottery is identical to L, not just identically distributed, but also L resolves to a given welfare distribution if and only if the compound lottery, conditional on X=1 does, too, and conditional on X=0, it’s identical to L′. Hence, pL+(1−p)L′=XL+(1−X)L′ and
We can also do this with more than two lotteries and use summation notation, ∑, for it.
Anonymity is then strengthened:
Two-Stage Anonymity: Given two lotteries L and L′, p∈[0,1]∩Q (a rational number p between 0 and 1, inclusive), and a permutation of identities σ, then according to the social preorder, we have the equivalence:
So, you can permute individuals conditionally on the binary random variable that mixes the two lotteries while maintaining equivalence. This rules out concern for “ex ante equality”, according to which it would be better if people had fairer chances or equal opportunities. So, if I can benefit one of two people the same with the same initial welfare, it doesn’t matter if I just choose one, or flip a coin to choose, giving each a fair chance.
Let #I denote the number of individuals in I. For a given lottery L, ∑i∈I1#IPi(L) is the prospect given by Harsanyi’s veil of ignorance, where with equal probability, “you” will be one of the individuals i∈I, and then face their prospect Pi(L).
And now we can state their first theorem:
Theorem 2.2: Given an arbitrary preorder on the set of prospects (lotteries for single individuals), if the social preorder satisfies Anteriority, Reduction to Prospects and Two-Stage Anonymity, thenL≿L′ according to the social preorder if and only if
That is, you can permute individuals conditionally on the binary random variable that mixes the two lotteries while maintaining equivalence.
So the social preorder is just the one obtained by imagining yourself in the place of each individual with equal probability and applying the individual preorder, as in Harsanyi’s veil of ignorance.
1. The statement uses equality notation instead of identical distributions, but equality for each individual forces the lotteries to be literally the same, L=L′, not just equivalent, and the definition is trivially satisfied.
For the variable population case, they
add an extra welfare state Ω to represent nonexistence, without saying how it compares to other welfare states at all (e.g. totalism or person-affecting views). Prospects can include nonexistence, so you (may be able to) compare prospects with different probabilities of nonexistence.
replace the finite constant population I with an infinite set I∞ of all possible individuals and assign welfare Ω (nonexistence) to individuals who don’t exist in a given welfare distribution.
generalize the Anteriority, Reduction to Prospects and Two-Stage Anonymity conditions. Only Reduction to Prospects looks different, since rather than defining lotteries for everyone in I∞ as a whole, you require it to hold for every finite non-empty subset of I∞.
define Omega Independence.
generalize Theorem 2.2 for Theorem 3.5.
For a given welfare state w, let 1w denote the prospect with definite welfare state w, with probability 1. In particular, 1Ω denotes definite nonexistence.
Omega Independence: For any two prospects P and P′, and any rational probability p∈[0,1]∩Q,
In other words, mixing with the same chance of nonexistence makes no difference to the ranking of two prospects.
Then Theorem 3.5 is basically the same as Theorem 2.2, with the corresponding definitions, but the social preorder only exists at all if Omega Independence is satisfied and the veil of ignorance comparisons are applied only to pairs of lotteries from a common finite subset of I∞ (which may have any individuals assigned nonexistence Ω, and any two finite sets can be expanded to their union, so prospects over finite sets of individuals can always be compared):
Theorem 3.5: Given an arbitrary individual preorder, there is at most one social preorder satisfying Anteriority, Reduction to Prospects, and Two-Stage Anonymity. When it exists, it is given by L≿L′ if and only if
according to the individual preorder for any finite non-empty I⊂I∞ such that L and L′ are lotteries in I. The social preorder exists if and only if the individual preorder satisfies Omega Independence.
Personally, I like the procreation asymmetry, so I might say that Ω is strictly better than some states (hence defined as negative), but either incomparable to or at least as good as all other states, so never worse than any other state.