πŸ€–
CS4261 Algorithmic Mechanism Design
  • Nash Equilibria
  • Auctions and Routing Games
  • Cooperative Games
  • Axiomatic Approach to Fairness
  • Stable Matchings
  • Nash Bargaining Solution
  • Fair Allocation of Indivisible Goods
  • Cake Cutting
  • Rent Division
  • Committee Voting
  • Tournaments
Powered by GitBook
On this page
  • Problem
  • Approval Committee Voting Setting
  • Approval Voting (AV) and Chamberlin-Courant (CC)
  • Beyond AV / CC
  • Justified Representation
  • GreedyCC
  • Extended JR
  • Proportional Approving Voting (PAV)
  • Method of Equal Shares (MES)

Committee Voting

Problem

Unlike auctions where everyone gets different things depending on what they want, in a voting setting, everyone gets the same thing (although they have different preferences). So, we’re trying to select a public outcome that is shared by everyone. e.g. everyone gets the same president.

In general, there are many different types of voting ballots (i.e., inputs):

  • ranking β†’ each voter submits an ordering for the candidates

  • score β†’ each voters submits a number for each candidate

  • approval β†’ each voter submits a subset of approved candidates

    • basically, each voter submits 1 for the candidates they approve, and 0 for the rest.

    • advantage: it’s simple and less cognitive effort is required from the voters’ perspectives (they just have to think whether or not they approve the voter, no relative comparisons needed);

    • disadvantage: it does not allow refined or combinatorial preferences (e.g. i can’t say β€œi want to approve A and B, but only if they are chosen together” or β€œi like A more than B”)

And there can be many different kinds of outputs of voting:

  • single winner β†’ e.g. president of a student council

  • multiwinner / committee e.g. student council committee, dishes to serve in a reunion party. in this case, all the selected members of the committee are β€œequal” so the decision is just whether or not to include or exclude from the committee

  • ranked committee β†’ e.g. a committee consisting of president, vice-president and a secretary, where there’s some ordering in the positions of each member of the committee.

In this lecture, we’re only looking at approval voting in a multi-winner category

Approval Committee Voting Setting

  • Voters N={1,⋯ ,n}N = \{1, \cdots, n\}N={1,β‹―,n}

  • Candidates CCC, where ∣C∣=m|C| =m∣C∣=m

  • Voter iii approves a set of candidates AiβŠ†CA_i \subseteq CAiβ€‹βŠ†C

  • We want to choose a committee WWW of size kkk where k≀mk \leq mk≀m is given (that is, we don’t get to decide the size of the committee β€” kkk is an input to our mechanism, not something we can control)

  • Voter iii’s utility is: ui(W)=∣Ai∩W∣u_i(W) = |A_i \cap W|ui​(W)=∣Aiβ€‹βˆ©W∣, i.e., how many members of the selected committee did voter iii approve (which makes sense, because you feel happier if people you approve of are selected)

Note that the above definition of voter utility remains the same even when we consider any other metrics / scores to optimize.

Also, we can think of some natural metrics to evaluate how good a committee selection is:

  • (Utilitarian) Social Welfare β†’ total number of approvals obtained by members of the committee (i.e., β€œexcellence”). Notice that this is the same as the total utility of all the voters, because we can swap the order of the sums.

  • Coverage: number of voters who approve at least one committee member (”diversity”). This is β€œkind of” an egalitarian metric in that we’re trying to minimize the number of voters with zero utility, but we don’t distinguish between any non-zero values so it’s not really egalitarian.

Also, if a voter approves a candidate, we say that the candidate covers the voter (since picking this candidate is enough to make this voter have non-zero utility).

Approval Voting (AV) and Chamberlin-Courant (CC)

Then, we can select committees trying to maximize these two metrics:

  • Approval Voting (AV) β†’ select a committee maximizing social welfare

  • Chamberlin-Courant (CC) β†’ select a committee maximizing coverage

Of course, there need not be a unique committee in each of these cases.

Moreover, AV is a truthful mechanism (since you’re trying to boost the number of votes your preferred candidates have) whereas CC is not (e.g. it’s possible to get more utility by reporting a truncated set of approved candidates).

Beyond AV / CC

Consider this example:

  • n=301,m=5,k=3n = 301, m = 5, k = 3n=301,m=5,k=3

  • First 200 voters approve {a,b,c}\{a, b, c \}{a,b,c}

  • Next 100 voters approve {d}\{d\}{d}

  • And the last voter approves {e}\{ e\}{e}

Then, AV chooses {a,b,c}\{a, b, c\}{a,b,c} and CC chooses {a,d,e}\{a, d, e\}{a,d,e}.

But, neither feels β€œproportional” or fair. Because these committees don’t really reflect the β€œapproval profile”.

A more proportional committee would be something like: {a,b,d}\{a, b, d \}{a,b,d} β†’ since 23\frac 2 332​ of the voters agree on aaa and bbb, they should get 23\frac 2 332​ of the seats on the committee, while only 13\frac 1 331​ of the voters agree on ddd, so they should get 13\frac 1 331​ of the seats.

Intuitively, a sufficiently large group of voters that agree on sufficiently many candidates should be correspondingly / proportionately represented / satisfied in the committee.

Justified Representation

There are nnn voters and kkk committee slots, so a group of n/kn/kn/k voters β€œdeserves” one slot (of representation).

First attempt: For a group of voters SβŠ†NS \subseteq NSβŠ†N such that ∣S∣β‰₯nk|S| \geq \frac n k∣S∣β‰₯kn​ and ∣∩i∈SAi∣β‰₯1|\cap_{i \in S} A_i| \geq 1∣∩i∈S​Aiβ€‹βˆ£β‰₯1, we have ∣(∩i∈SAi)∩W∣β‰₯1|(\cap_{i \in S} A_i) \cap W| \geq 1∣(∩i∈S​Ai​)∩W∣β‰₯1. Basically, we’re saying that if we have a big enough group that together deserve at least one slot, and that they agree on at least one candidate, then at least one of the candidates they agree on should be selected in the committee.

This turns out to be too strong of a requirement, which cannot always be satisfied. For example:

  • n=m=4,k=2n=m=4, k = 2n=m=4,k=2

  • A1={a,b},A2={b,c},A3={c,d},A4={a,d}A_1 = \{a, b \}, A_2 = \{b, c \}, A_3 = \{c, d \}, A_4 = \{a, d \}A1​={a,b},A2​={b,c},A3​={c,d},A4​={a,d}

  • Then, if we apply the rule above, then we would be forced to include all of a,b,c,da, b, c, da,b,c,d, but this exceeds the committee size.

To make our vocabulary / notation simpler, let’s call a group of voters SβŠ†NS \subseteq NSβŠ†N such that ∣S∣β‰₯nk|S| \geq \frac n k∣S∣β‰₯kn​ and ∣∩i∈SAi∣β‰₯1|\cap_{i \in S} A_i| \geq 1∣∩i∈S​Aiβ€‹βˆ£β‰₯1 to be a cohesive group. Basically a cohesive group makes up for at least one-slot-worth of representation, and agrees on at least one candidate (if they don't agree, they aren't "cohesive" and we can't do much to please them anyway).

Then, a justified representation (JR) is any committee that satisfies the following property: for any cohesive group of voters SβŠ†NS \subseteq NSβŠ†N, there exists i∈Si \in Si∈S such that ∣Ai∩W∣β‰₯1|A_i \cap W| \geq 1∣Aiβ€‹βˆ©W∣β‰₯1.

Basically, JR says that in any cohesive group, at least one voter should have non-zero utility. So, no cohesive group should go unrepresented. But It kind of feels… too weak? Since we only require one voter to feel happy (in fact, just non-zero happiness), no matter how big the cohesive group is.

Also, it’s easy to see that AV may fail JR. Consider n=k=3,m=4n=k=3, m = 4n=k=3,m=4 where the first 2 voters approve a,b,ca,b,ca,b,c and the last voter approves ddd, then AV picks a,b,ca,b,ca,b,c but then the last voter is a cohesive group and has zero utility, hence does not satisfy JR).

Claim: CC always satisfies JR. Proof:

  • Suppose for contradiction that it does not.

  • Then, let SSS be a cohesive group of voters that is unrepresented by the CC committee WWW, and let xxx can be a candidate approved by all voters in SSS.

  • Consider the marginal contribution of each w∈Ww \in Ww∈W to the coverage. This is the number of voters who approve www but no one else in WWW.

  • Since teh coverage of WWW is <n< n<n, the marginal contribution of some wβˆ—βˆˆWw^* \in Wwβˆ—βˆˆW is less than nk\frac n kkn​ (otherwise, if everyone’s marginal contribution is at least nk\frac n kkn​, then all voters should be covered).

  • So, we can remove wβˆ—w^*wβˆ— and add xxx to obtain a higher coverage, which contradicts the fact that WWW is CC. So, any CC committee also satisfies JR.

Hence, JR can be satisfied for any n,k,mn, k, mn,k,m and approval profile.

GreedyCC

Computing a CC committee is NP-hard (can be shown via a simple reduction from SET-COVER).

Fortunately, there is a greedy variant that runs in polynomial time (of course this does not guarantee maximal coverage, but it’s not bad).

The GreedyCC algorithm is quite simple: In each step, choose a candidate that covers as many uncovered voters as possible (i.e,. ignore the voters that are already happy and focus on the ones you want to cover). Repeat this until kkk candidates have been chosen.

We claim that GreedyCC satisfies JR, and the proof follows exactly as above (i.e., if not, then there must’ve been a candidate who covers nk\frac n kkn​ voters but we didn’t pick him in favor of someone else who satisfies less than nk\frac n kkn​voters; this can’t happen because of the greedy nature of our algorithm).

Extended JR

But one can ask the same question as asked AV and CC to JR: is JR sufficient?

Consider this example: Suppose have 100 voters, and 20 candidates and k=10k=10k=10. The first 50 voters like the first 10 candidates, and the next 50 voters like the next 10 candidates. Then, intuitively, we want to pick 5 out of 10 candidates from each group to be β€œproportional”. But even picking 9 from group 1 (i.e., that the first 50 voters approve) and 1 from group 2 satisfies JR.

So, our requirement of JR is too weak! So, we use Extended Justified Representation (EJR).

To explain what EJR means, let’s strengthen our notion of cohesive groups first.

For a positive integer ttt, call a group of voters SβŠ†NS \subseteq NSβŠ†N such that ∣S∣β‰₯tβ‹…nk|S| \geq t \cdot \frac n k∣S∣β‰₯tβ‹…kn​ and ∣∩i]inSAi∣β‰₯t|\cap_{i ]in S} A_i | \geq t∣∩i]inS​Aiβ€‹βˆ£β‰₯t a ttt-cohesive group. (Then, the previous definition of cohesive group is simply when t=1t=1t=1.)

Also, note that a ppp-cohesive group is always an rrr-cohesive group for any r≀pr \leq pr≀p, i.e., increasing the β€œorder” of the cohesive group just strengthens the requirement, which is clear from the definition.

Then, a committee is said to satisfy EJR when: for any positive integer ttt and any ttt-cohesive group of voters SβŠ†NS \subseteq NSβŠ†N, there exists i∈Si \in Si∈S such that ∣Ai∩W∣β‰₯t|A_i \cap W| \geq t∣Aiβ€‹βˆ©W∣β‰₯t.

Notice that we still require only one of the voters in SSS to have a utility of at least ttt (others might get utility = 0 and that’s fine).

(Well, not really, we can show that under EJR, in any ttt-cohesive group SSS, the average utility of each person is more than tβˆ’12\frac{t-1}{2}2tβˆ’1​, so this definition is actually quite strong, even if it doesn’t seem like it.)

And this fixes the problem with JR.

Proportional Approving Voting (PAV)

Fix an infinite non-increasing sequence s1,s2,β‹―s_1, s_2, \cdotss1​,s2​,β‹―

Thiele methods: A family of methods that involve choosing a committee WWW by maximizing the score: βˆ‘i∈N(s1+s2+β‹―+sui(W)\sum_{i \in N} (s_1 + s_2 + \cdots + s_{u_i(W)}βˆ‘i∈N​(s1​+s2​+β‹―+sui​(W)​.

So, basically this sequence s1,s2,β‹―s_1, s_2, \cdotss1​,s2​,β‹― captures the utility function of the players. If a voter iii has ppp of his approved candidates in the committee WWW, then his utility is s1+β‹―+sks_1 + \cdots + s_ks1​+β‹―+sk​. In particular, the marginal utility to voter iii of the kkkth approved candidate being part of WWW is sks_ksk​.

(Note that this sequence is from the mechanism's point of view -- i.e., it is the mechanism's assumption of how the voter utility functions behave. BUT from the voter's point of view, the term "voter's utility" still just represents the number of approved candidates in the committee for any voter. To de-confuse, we can use "score" to represent a voter's sum s1+β‹―+sks_1 + \cdots + s_ks1​+β‹―+sk​.)

This makes intuitive sense, because we want to capture the effect of diminishing marginal utility of the voters. Once you already have 5 approved candidates in WWW, then the 6th one cannot give you more (marginal) utility than the first one did. This is why the sequence needs to be non-increasing.

Notice that each voter has the same sequence β€” this is done to ensure that we treat all voters symmetrically, i.e., we don’t favor any voter over any other.

Then, AV is just a special case of this with si=1s_i = 1si​=1for all iii. Even CC is just a special case of this with s1=1,si=0s_1 = 1, s_i = 0s1​=1,si​=0 for all i>1i > 1i>1.

In Proportional Approval Voting (PAV), we set: si=1is_i = \frac 1 isi​=i1​ for each iii.

(So the utility function for each player follows a kind of log⁑\loglog graph, since ∫x1xdx=ln⁑x\int_x \frac 1 x dx = \ln x∫x​x1​dx=lnx)

This means that if a voter approves rrr candidates in the committee, the voter contributes 1+12+β‹―+1r1 + \frac 1 2 + \cdots + \frac 1 r1+21​+β‹―+r1​ to the score of the committee.

The number 1+β‹―+1r1 + \cdots + \frac 1 r1+β‹―+r1​ is the rrrth harmonic number, usually denoted by HrH_rHr​.

But… why harmonic numbers? Why does this work?

Because they result in a roughly proportional committee. The intuition is that AV is precisely utilitarian, CC is kind of egalitarian (up to a certain point), and PAV is kind of like Nash.

And the reason that PAV is like Nash is because maximizing βˆ‘i∈NHui(W)\sum_{i \in N} H_{u_i(W)}βˆ‘i∈N​Hui​(W)​ is very similar to maximizing βˆ‘i∈Nln⁑(ui(W))\sum_{i \in N} \ln(u_i(W))βˆ‘i∈N​ln(ui​(W)) because Hrβ‰ˆln⁑r+Ξ³H_r \approx \ln r + \gammaHrβ€‹β‰ˆlnr+Ξ³, where the approximation becomes better in the limit as rβ†’βˆžr \to \inftyrβ†’βˆž. Moreover, since ln⁑\lnln is a strictly monotonic increasing function, it’s equivalent to maximizing ∏i∈Nui(W)\prod_{i \in N} u_i(W)∏i∈N​ui​(W), because βˆ‘i∈Nln⁑ui(W)=ln⁑(∏i∈Nui(W))\sum_{i \in N} \ln {u_i(W)} = \ln (\prod_{i \in N} u_i(W))βˆ‘i∈N​lnui​(W)=ln(∏i∈N​ui​(W)).

And we can’t directly use Nash because it’ll face a similar problem as CC, since it’s really scared of anyone getting 0 utility β€” so, it’ll first focus on covering all voters, before thinking of anything else). PAV is okay with some voters having utility if enough other voters are compensated in return.

Also….

Claim: PAV satisfies EJR. Proof sketch:

  • Suppose for contradiction that ui(W)<tu_i(W) < tui​(W)<t for all voters belonging to some ttt-cohesive group SSS.

  • There is a candidate xxx which is approved by all members of SSS but not included in WWW.

  • By adding xxx to WWW, the PAV score increases by at least 1tβ‹…tnk=nk\frac 1 t \cdot \frac{tn}{k} = \frac n kt1​⋅ktn​=kn​, since xxx must add at least 1t\frac 1 tt1​ worth of utility to all the members of this cohesive group.

  • And now, we need to show that there is another candidate y∈Wy \in Wy∈W such that by removing yyy from Wβˆͺ{x}W \cup \{x\}Wβˆͺ{x}, the PAV score decreases by less than nk\frac n kkn​. (We skip how to show that such a yyy exists).

  • And then, we would’ve picked xxx instead of yyy in WWW to get a higher PAV score. So, the original WWW could not have been PAV to start with. Contradiction.

But unfortunately, PAV is NP-hard to compute, and a greedy variant of PAV might not even satisfy JR.

So, we’re still trying to find a polynomial time algorithm that satisfies EJR… Luckily, we have it.

Method of Equal Shares (MES)

  • Each voter has a budget of $kn\frac k nnk​ (regardless of how many candidates there are)

  • Each candidate costs $1. The voters who approve this candidate have to β€œpool” their money to add this candidate to the committee.

Then, the algorithm runs as follows:

  • Start with an empty committee.

  • In each round, we want to add a candidate whose approved voters have a total budget of β‰₯1\geq 1β‰₯1 left.

  • If there are several such candidates, choose one such that teh maximum amount that any agent has to pay is minimized.

  • If no more candidates can be afforded but committee still has size <k< k<k, fill in the rest of the committee by using some tie-breaking criterion (e.g. by maximizing approval score).

Clearly, MES never chooses more than kkk candidates (since the total budget is nβ‹…kn=kn \cdot \frac k n = knβ‹…nk​=k and each candidate costs $1, so you can't buy more than kkk candidates)

MES satisfies EJR and can be implemented in poly-time.

Proof that MES satisfies EJR:

  1. Suppose for contradiction that ui(W)<tu_i(W) < tui​(W)<t for all voters iii belonging to some ttt-cohesive group SSS.

  2. When MES stops, some voter i∈Si \in Si∈S must have budget <ktn< \frac k {tn}<tnk​ left. Why?

    1. Otherwise, if everyone has at least ktn\frac{k}{tn}tnk​ budget, then they can all pool together and buy a candidate that they approve of. (And the committee could not have already been full without this candidate, since it’s only full iff all voters pay all their money to buy candidates, because it’s only possible to buy kkk candidates with kkk dollars)

  3. So, iii has used budget >knβˆ’ktn=(tβˆ’1)ktn> \frac k n - \frac{k}{tn} = \frac{(t-1)k}{tn}>nkβ€‹βˆ’tnk​=tn(tβˆ’1)k​. Moreover, since we know that iii has approved ≀(tβˆ’1)\leq (t-1)≀(tβˆ’1) candidates, so for some chosen committee member, iii must have paid more than 1tβˆ’1(tβˆ’1)ktn=ktn\frac{1}{t-1}\frac{(t-1)k}{tn} = \frac{k}{tn}tβˆ’11​tn(tβˆ’1)k​=tnk​.

  4. Consider the first committee member xxx such that some voter in SSS paid more than ktn\frac{k}{tn}tnk​ for it.

  5. Before xxx was added, each voter in SSS has ≀(tβˆ’1)\leq (t-1)≀(tβˆ’1) approved candidates and paid ≀ktn\leq \frac{k}{tn}≀tnk​ for each of them.

  6. Thus, each voter in SSS has budget at least knβˆ’(tβˆ’1)β‹…ktn=ktn\frac k n - (t-1)\cdot \frac{k}{tn} = \frac{k}{tn}nkβ€‹βˆ’(tβˆ’1)β‹…tnk​=tnk​ remaining.

  7. Since ∣S∣β‰₯tnk|S| \geq \frac{tn}{k}∣S∣β‰₯ktn​, the voters in SSS could afford a commonly approved candidate by paying ≀ktn\leq \frac{k}{tn}≀tnk​ each.

  8. So, no voter in SSS should have paid more than ktn\frac{k}{tn}tnk​ for xxx, a contradiction!

PreviousRent DivisionNextTournaments

Last updated 6 months ago