1 Introduction
A multiwinner rule is a voting method for selecting a fixedsize subset of alternatives, a socalled committee. More formally, it is a function that given a set of objects, preferences of a population of voters over these objects, and an integer , returns a subset of exactly objects. Multiwinner rules are applicable to problems from and beyond the political domain, for instance to selecting a representative body such as a parliament or university senate [13, 18], to shortlisting candidates (e.g., in a competition) [6], designing search engines [37, 15] and other recommendation systems [35], and as mechanisms for locating facilities [19].
Ideally, a multiwinner rule should select the “best” committee, but the suitability of a chosen committee strongly depends on the specific context. For instance, if voters are experts (e.g., judges in a sport competition) whose preferences reflect their estimates of the objective qualities of candidates, then the goal is typically to pick individually best candidates, e.g., those candidates who receive the highest scores from judges. Intuitively and somehow simplified, in this and similar scenarios the quality of candidates can be assessed separately, and a suitable multiwinner rule should pick the bestrated ones. On the contrary, if the voters are citizens and the goal is to choose locations for public facilities (say, hospitals), then our goal is very different: assessing the candidates separately can result in building all the facilities in one densely populated area; yet, it is preferable to spread them in order to ensure that as many citizens as possible have access to some facility in their vicinity.
These two examples illustrate two very different goals of multiwinner rules, which can be informally described as follows [18]: Diversity requires that a rule should select a committee which represents as many voters as possible; this translates to choosing a hospital distribution that covers as many citizens as possible. Individual excellence suggests picking those candidates that individually receive the highest total support from the voters; this translates to selecting a group of best contestants in the previous example. However, many reallife scenarios do not fall clearly into one of the two categories. For example, rankings provided by a search engine should list the most relevant websites but also provide every user at least one helpful link. In such cases, a mechanism designer would be interested in choosing a rule that guarantees some degree of diversity and individual excellence at the same time, putting more emphasis on either of them depending on the particular context. Consequently, to properly match rules with specific applications, it is essential to understand to which degree committees chosen by established multiwinner rules are diverse or individually excellent. In this paper we (1) develop a set of tools that allow one to better understand the nature of multiwinner rules and to assess the tradeoffs between their diversity and individual excellence, and (2) provide a classification that clarifies the behavior of these rules with respect to the two criteria. We focus on the case where voters express their preferences by providing subsets of approved candidates (the approvalbased model), yet our approach is applicable to other preference models as well.
1.1 Methodology and Contribution
In our approach we identify two multiwinner rules, the Chamberlin–Courant rule (CC) and Multiwinner Approval Voting (AV), as distinctive representatives of the principles of diversity and individual excellence, respectively. Next, we measure how close certain rules are to AV and CC—we measure this distance by using the concept of the worstcase approximation. Thus, by investigating how well certain rules approximate AV (resp. CC), we provide guarantees of how individually excellent (resp. diverse) these rules are. Such guarantees could be viewed as quantitative properties that measure the level of diversity and individual excellence of the studied rules. This is quite different from the traditional axiomatic approach to investigating properties of voting rules, which is qualitative: a rule can either satisfy a property or not. Our approach provides much more finegrained information and allows us to estimate the degree to which a certain property is satisfied. With these methods, we understand voting rules as a compromise between different (often contradictory) goals.
Our main contribution lies in developing a new method for evaluating multiwinner rules. Specifically, we provide two types of analyses for a number of multiwinner rules:

In Section 3, we derive theoretical upper bounds on how much an outcome of the considered multiwinner rules can differ from the outcomes of CC and AV. We call these bounds CCguarantee and AVguarantee. These can be interpreted as worstcase (over all possible preference profiles) guarantees for diversity and individual excellence. Our guarantees are given as functions of the committee size and return values between 0 and 1. Intuitively, a higher CCguarantee (resp. AVguarantee) indicates a better performance in terms of diversity (resp. individual excellence), where 1 denotes that the rule performs as good as CC (resp., AV). Table 1 summarizes our results. We also prove bounds on how well proportional rules can approximate AV and CC.
AVguarantee  CCguarantee  effic.  
lower  upper  lower  upper  
AV  1  1  ✓  
CC  1  1  ✓  
seqCC  ✗  
PAV  ✓  
Geometric  ✓  
seqPAV  ✗  
Monroe  ✗  
Greedy Monr.  ✗  
seqPhragmén  ✗ 
In Section 5, we complement our results with an analysis of the axiom of efficiency, which can be viewed as an incarnation of Pareto efficiency, in the context of multiwinner elections. We say that a committee dominates a committee if each voter approves as many members of as of and some voter approves strictly more members of than of . Efficiency says that a rule should never select a dominated committee; thus efficiency could be viewed as a basic axiom for individual excellence. Since efficiency appears to be very fundamental, it may come as a surprise that many known rules (in particular, the Monroe rule and all sequential rules) do not satisfy this property. The result of this analysis is also summarized in Table 1.
Our most important findings can be summarized as follows. Proportional Approval Voting (PAV) achieves the best compromise between AV and CC; this can be observed both from theoretical and experimental results. The sequential rules seqPAV and Phragmén’s rule, however, achieve almost the same quality while being polynomialtime computable (in contrast to PAV, which is computationally intractable [35, 4]). Also the 2Geometric rule achieves a very good compromise, but is slightly leaning towards diversity. More generally, we show that the Geometric rule spans the whole spectrum from AV to CC, controlled through the parameter . Hence, by adjusting the parameter , one can obtain any desired compromise between AV and CC.
1.2 Related Work
The normative study of multiwinner election rules typically focuses on axiomatic analysis. For approvalbased rules a number of axioms describing proportionality have been recently identified and explored, in particular in the context of the rules that we study in this paper [1, 32, 10, 37, 3, 33, 22]. Similar properties for the ordinal model have been discussed by Dummett [14], Elkind et al. [17], Aziz et al. [2] and in the original works by Monroe [26] and Chamberlin and Courant [13]; and for the model with weak preferences by Baumeister et al. [7]. For a survey on properties of multiwinner rules, with the focus on the ideas of individual excellence, diversity, and proportionality, we refer the reader to the book chapter by Faliszewski et al. [18].
Another approach to understanding the nature of different multiwinner rules is to analyze how these rules behave on certain subdomains of preferences, where their behavior is much easier to interpret, e.g., on twodimensional geometric preferences [16], on partylist profiles [11], or on singlepeaked and singlecrossing domains [2]. Other approaches include analyzing certain aspects of multiwinner rules in specificallydesigned probabilistic models [23, 21, 34, 30], quantifying regret and distortion in utilitarian models [12], assessing their robustness [9], and evaluating them based on data collected from surveys [39, 31].
2 Preliminaries
For each , we let . For a set , we write to denote the powerset of , i.e., the set of all subsets of . By we denote the set of all element subsets of .
Let and be sets of candidates and voters, respectively. Voters reveal their preferences by indicating which candidates they like: by we denote the approval set of voter (that is, the set of candidates that approves of). For a candidate , by we denote the set of voters who approve . Given a set of candidates , we write to denote the set of voters who approve at least one candidate in , that is . We call the collection of approval sets , one per each voter, an approval profile. We use the symbol to represent the set of all possible approval profiles.
We call the elements of size committees. Hereinafter, we will always use the symbol to represent the desired size of the committee to be elected. An approvalbased committee rule (in short, an ABC rule) is a function that takes as an input an approval profile and an integer (the required committee size), and returns a set of size committees.^{1}^{1}1Rules which for some profiles return multiple committees as tied winners are often called irresolute. In practice, one usually uses some tiebreaking mechanism to single out a winning committee. Below, we recall the definitions of ABC rules which are the objects of our study.
 Multiwinner Approval Voting (AV).

This rule selects candidates which are approved by most voters. More formally, for a profile the AVscore of committee is defined as , and AV selects committees that maximize .
 Approval Chamberlin–Courant (CC).

For a profile we define the CCscore of a committee as ; CC outputs . In words, CC aims at finding a committee such that as many voters as possible have their representatives in (a representative of a voter is a candidate she approves of). The CC rule was first mentioned by Thiele [38], and then introduced in a more general context by Chamberlin and Courant [13].
 Proportional Approval Voting (PAV).

This rule selects committees with the highest PAVscores, defined as , where is the th harmonic number, i.e., . By using the harmonic function , voters who already have more representatives in the committee get less voting power than those with fewer representatives. While using other concave functions instead of would give similar effects, the harmonic function is particularly well justified—it implies a number of appealing properties of the rule [1], and it allows one to view PAV as an extension of the famous d’Hondt method [11, 22].
 Geometric.

This rule, introduced by Skowron et al. [35], can be described similarly to PAV. The difference is that it uses an exponentially decreasing function instead of the harmonic function to describe the relation between the voting power of individual voters and the number of their approved representatives in the committee. Formally, for a given parameter the geometric rule assigns to each committee the score , and picks the committees with the highest scores. It is easy to see that the geometric rule is simply AV.
 Sequential CC/AV/PAV/Geometric.

For each rule , we define its sequential variant, denoted as seq, as follows. We start with an empty solution and in each of the consecutive steps we add to a candidate that maximizes , i.e., the candidate that improves the committee’s score most. We break ties lexicographicly.
 Monroe.

Monroe’s rule [26], similarly to CC, aims at maximizing the number of voters who are represented in the elected committee. The difference is that for calculating the score of a committee, Monroe additionally imposes that each candidate should be responsible for representing roughly the same number of voters. Formally, a Monroe assignment of the voters to a committee is a function such that each candidate is assigned roughly the same number of voters, i.e., that . Let be the set of all possible Monroe assignments to . The Monroescore of is defined as ; the rule returns .
 Greedy Monroe [36].

This is a sequential variant of the Monroe’s rule. It proceeds in steps: In each step it selects a candidate and a group of or notyet removed voters^{2}^{2}2To be precise, for , the first groups of voters to be removed have size and the remaining have size . so that is maximal; next candidate is added to the winning committee and the voters from are removed from the further consideration.
 Phragmén’s Sequential Rule (seqPhragmén).

Perhaps the easiest way to define the family of Phragmén’s rules [27, 28, 29, 20, 10] is by describing them as load distribution procedures. We assume that each selected committee member is associated with one unit of load that needs to be distributed among those voters who approve (though it does not have to be distributed equally). SeqPhragmén proceeds in steps. In each step it selects one candidate and distributes its load as follows: let denote the total load assigned to voter just before the th step. In the th step the rule selects a candidate and finds a load distribution that satisfies the following three conditions: (1) implies that , (2) (3) the maximum load assigned to a voter, , is minimized. The new total load assigned to a voter after the th step is .
3 WorstCase Guarantees of Multiwinner Rules
The Chamberlin–Courant Rule and Approval Voting represent two extreme points in the spectrum of multiwinner rules [11, 16, 18, 22]. Specifically, CC and AV are prime examples of rules aiming at diversity, and at individual excellence, respectively. For a detailed discussion on these two principles we refer the reader to the book chapter of Faliszewski et al. [18], but below we also include a simple example which illustrates the difference between AV and CC. In short, AV cares about selecting candidates who receive the highest total support from the population of voters, and CC cares mostly about representing the minorities in the elected committee.
Example 1.
Consider a profile where 30 voters approve candidates , 20 voters approve , and 5 voters approve . Let . For this profile AV selects candidates , while CC selects the committee (among others).
In this section we analyze the multiwinner rules from Section 2 with respect to how well they perform in terms of diversity, and individual excellence. In our study we use the established idea of approximation from computer science, but in a novel way: by estimating how well a given rule approximates CC (resp., AV), we quantify how performs with respect to diversity (resp., individual excellence). This differs from the typical use of the idea of approximation in the following aspects: (1) We do not seek new algorithms approximating a given objective function as well as possible, but rather analyze how well the existing known rules approximate given functions (even if it is apparent that better and simpler approximation algorithms exist, these algorithms might not share other important properties of the considered rules). (2) We are not approximating computationally hard rules with rules easier to compute. On contrary, we will be investigating how computationally hard rules (such as PAV, Monroe, etc.) approximate AV, which is easy to compute.
Definition 1.
Recall that for a profile , and denote the AVscore and CCscore of committee , respectively. The AVguarantee of an ABC rule is a function that takes as input an integer , representing the size of the committee, and is defined as:
Analogously, the CCguarantee of is defined by
The AV and CCguarantees can be viewed as quantitative properties of multiwinner rules. In comparison with the traditional qualitative approach (analyzing properties which can be either satisfied or not), a quantitative analysis provides much more finegrained information regarding the behavior of a rule with respect to some normative criterion. In the remaining part of this section we evaluate the previously defined rules against their AV and CCguarantees.
3.1 Guarantees for CC and AV
Clearly, the AVguarantee of Approval Voting and the CCguarantee of the Chamberlin–Courant rule are the constantone function. Below we establish the AVguarantee of CC and vice versa.
Proposition 1.
The CCguarantee of AV is .
Proof.
Consider an approval profile , and let be an AVwinning committee for . We know that contains a candidate who is approved by most voters—let us call such a candidate . Clearly, it holds that . Further, for any size committee we have that , which proves that the AVguarantee of CC is at least . To see that the guarantee cannot be higher than consider a family of profiles where the set of voters can be divided into disjoint groups: , with and for , for some large value . Assume that and that all voters from approve candidates . For this profile AV selects committee with the CCscore equal to . The optimal CC committee is e.g., , with the CCscore equal to . ∎
Proposition 2.
The AVguarantee of CC and sequential CC is .
Proposition 1 and Proposition 2 give a baseline for our further analysis. In particular, we would expect that “good” rules implementing a tradeoff between diversity and individual excellence, should have AV and CCguarantees better than .
We conclude this section by noting that the CCguarantee of the sequential Chamberlin–Courant rule is (which approaches for large ). This is the result of the fact that sequential CC is a approximation algorithm for CC [24].
3.2 An Optimal Proportional Compromise
Next, we examine what are the possible AV and CCguarantees that a proportional rule could achieve. We consider a very weak definition of proportionality, called lower quota. This axiom is widely used [5] in the context of apportionment methods (which are special cases of approvalbased multiwinner rules) and is strictly weaker than proportionality axioms typically used in the context of approvalbased multiwinner rules (such as extended and proportional justified representation [32, 1]).
Definition 2.
We call a profile a partylist profile if for each pair of voters it holds that either or that . For a given committee size we say that a group of voters is cohesive, if and .
An ABC rule satisfies lower quota if for each partylist profile , each and each cohesive group of voters it holds that at least members of each winning committee from are approved by the members of .
We obtain the following two upper bounds on the guarantees of proportional rules.
Proposition 3.
The AVguarantee of a rule that satisfies lower quota is at most .
Proof.
Let us fix , and consider the following approvalbased profile with voters divided into equalsize groups: , with for each . All the voters from the first groups approve candidates denoted as . For each all the voters from approve a single candidate .
Let be a rule that satisfies lower quota. Let and denote the committees returned by and by AV, respectively. Lower quota ensures that for each . Thus,
On the other hand, one can observe that , and so . As a result we have:
∎
Proposition 4.
The CCguarantee of a rule that satisfies lower quota is at most .
3.3 Guarantees for Monroe and Greedy Monroe
Let us turn our attention to the Monroe rule and its greedy variant. Since Monroe is often considered a proportional rule, as it satisfies proportionality axioms such as proportional justified representation [32]. Hence, one could expect that in terms of AV and CCguarantees this rule is between AV and CC. Surprisingly, this is not the case and in fact it does not offer a better AVguarantee than CC.
Proposition 5.
The AVguarantee of Greedy Monroe and Monroe is .
Proposition 6.
The CCguarantee of Monroe and greedy Monroe is between and .
3.4 Guarantees for PAV
Let us now move to multiwinner voting systems offering asymptotically better guarantees than the (greedy) Monroe rule. As we will see, the examination of such rules requires a more complex combinatorial analysis. We start with Proportional Approval Voting.
Theorem 1.
The AVguarantee of PAV is between and .
Proof.
First, we show that the AVguarantee of PAV is at least equal to . Consider an approval profile and a PAVwinning committee ; let denote the number of voters who approve some member of . For each we set . Let be a committee with the highest AVscore. W.l.o.g., we can assume that . Now, consider a candidate with the highest AVscore, and let denote the number of voters who approve . If we replace a candidate with , the PAVscore of will change by:
(1) 
Let us now compute the sum:
(2) 
We know that for each we have , thus and . We now use the inequality between harmonic and arithmetic mean to get:
This can be reformulated as:
Now, let us consider two cases. If , then we observe that:
On the other hand, if , then:
In either case we have that . This yields the required lower bound.
The fact that the AVguarantee of PAV is at most equal to follows from Proposition 3 and the fact that PAV satisfies lowerquota [11]. ∎
Theorem 2.
The CCguarantee of PAV is between and .
3.5 Guarantees for Sequential PAV
For sequential PAV we can prove qualitatively similar AVguarantees to the ones for PAV.
Theorem 3.
The AVguarantee of sequential PAV is between and .
Let us now discuss the CCguarantee of sequential PAV. One can observe that the construction for PAV from Theorem 2 also works for sequential PAV, which shows that the CCguarantee of seqPAV is at most equal to . Proposition 7 below establishes a lower bound. In this case however, the gap between the lower and upper bounds on the CCguarantee of the rule is large. Finding a more accurate estimate remains an interesting open question.
Proposition 7.
The CCguarantee of sequential PAV is at least equal to .
3.6 Guarantees for Geometric Rule
The following two theorems estimate the guarantees for the geometric rule. These guarantees are visualized in Figure 1. We can see that geometric rules, for , form a spectrum connecting AV and CC (with we approach AV and with we approach CC): by adjusting the parameter one can control the tradeoff between the diversity and individual excellence of the rule.
Let us recall that denotes the Lambert W function. For each it holds that . Intuitively, is a function that asymptotically increases slower than the natural logarithm .
Theorem 4.
The AVguarantee of the geometric rule is between:
Theorem 5.
The CCguarantee of the geometric rule is between and .
3.7 Guarantees for the Sequential Phragmén’s Rule
Finally we consider seqPhragmén, another rule aimed at achieving proportionality of representation.
Theorem 6.
The AVguarantee of seqPhragmén is between and .
The next theorem shows that the CCguarantee of seqPhragmén is asymptotically equal to .
Theorem 7.
The CCguarantee of seqPhragmén is between and .
4 Average Guarantees: Experimental Analysis
To complement the theoretical analysis of Section 4, we have run experiments that aim at assessing AVratios and CCratios achieved by several voting rules. These two ratios are perinstance analogues of AV and CCguarantee and are defined as follows: Given a voting rule and a profile , the AVratio and the CCratio are defined as:
In these experiments, we have calculated the AV and CCratios for realworld and randomly generated profiles and compared them for different voting rules. We have used two data sets: profiles obtained from preflib.org [25]
and profiles generated via an uniform distribution (see details below).
Datasets.
We restricted our attention to profiles where both the AVratio of CC and the CCratio of AV is at most . This excludes profiles where an (almost) perfect compromise between AV and CC exists. The uniform dataset consists of 500 profiles with 20 candidates and 50 voters, each. Voters’ approval sets are of size – (chosen uniformly at random); the approval sets of a given size are also chosen uniformly at random. Experiments for the uniform dataset use a committee size of .
The preflib dataset is based on preferences obtained from preflib.org. Since their database does not contain approvalbased datasets, we extracted approval profiles from ranked ballots as follows: for each ranked profile and , we generated an approval profile assuming that voters approve all candidates that are ranked in the top positions. As before, we excluded profiles that allowed an almost perfect compromise between AV and CC. For the preflib dataset we considered and obtained a total number of 243 instances.
Results.
We considered the following voting rules: AV, CC, seqCC, PAV, seqPAV, seqPhragmén, Monroe’s rule, as well as the 1.5, 2, and 5Geometric rule. Our results are displayed as boxplots in Figure 2 for the preflib dataset and in Figure 3
for the uniform dataset. The top and bottom of boxes represent the first and third quantiles, the middle red bar shows the median. The dashed intervals (whiskers) show the range of all values, i.e., the minimum and maximum AV or CCratio. The results for the preflib and random dataset are largely similar; we comment on the differences later on.
The main conclusion from the experiments is that the classification obtained from worstcase analytical bounds also holds in our (averagecase) experiments. PAV, seqPAV, and seqPhragmén perform very well with respect to the AVratio, beaten only by 1.5Geometric and AV itself. This is mirrored by our theoretical results as only PAV, seqPAV, and seqPhragmén achieve a AVguarantee. For the uniform dataset, however, seqPhragmén has slightly lower AVratios, but still comparable to PAV and seqPAV. Also the 2Geometric rule achieves comparable AVratios. Even better AVratios are achieved only by 1.5Geometric and—by definition—by AV.
Considering the CCratio, we see almost optimal performance of seqCC, Monroe, and 5Geometric, and good performance of PAV, seqPAV, seqPhragmén, and 2Geometric. Minor variations within these groups seem to depend on the chosen dataset. We also observe that 5Geometric is better than Monroe’s rule and seqCC according to both criteria.
When looking at the three Geometric rules considered here, we see the transition from AV to CC as our theoretical findings predict (cf. Figure 1): 1.5Geometric is close to AV, whereas 5Geometric resembles CC; 2Geometric performs very similarly to PAV, slightly favoring diversity over IE.
Our results indicate that PAV is the best compromise between AV and CC. Yet, seqPAV, seqPhragmén, and 2Geometric achieve comparable ratios, and the former two are cheaper to compute.
5 A Pareto Efficiency Axiom
In this section, we provide a complementary axiomatic analysis concerning individual excellence. We formulate the axiom of efficiency, a form of Pareto efficiency with respect to the number of approved candidates in a committee. In other words, this axiom dictates that only committees can be chosen where a further improvement of the total AVscore implies that the AVscore of some individual voter is reduced. We analyze our rules with respect to this property, and, maybe surprisingly, show that many rules do not satisfy this basic axiom.
Definition 3.
Consider a committee size , two committees and an approval profile . We say that dominates in a if for each voter we have that , and if there exists a voter such that .
An ABC rule satisfies efficiency if for each profile and each committee size there exists no committee that dominates each committee in .
We start aith the rather surprising observation that seqPhragmén does not satisfy efficiency.
Example 2.
Consider the set of 36 voters, and five candidates, . By we denote the set of voters who approve . Assume that:
The sequential Phragmén’s rule will select first, second, and third, yet committee is dominated by . This example also works for the Open d’Hondt method, which can be viewed as another variant of the Phragmén’s rule [33].
We note that the violation of efficiency is not an artifact of the rule being sequential (and so, in some sense “suboptimal”). Indeed, consider the optimal Phragmén’s rule, which is the variant where the committee members and their associated load distributions are not chosen sequentially, but rather simultaneously in a single step. Similarly, as in the case of its sequential counterpart, the goal of the optimal Phragmén’s rule is to find a committee and an associated load distribution that minimizes the load of the voter with the highest load (for more details on this rule we refer the reader to the work of Brill et al. [10]). The following example shows that the optimal Phragmén’s rule does not satisfy efficiency. The same example shows that the Monroe rule does not satisfy efficiency.
Example 3.
Consider 24 voters, and four candidates, , with the following preferences:
The optimal Phragmén’s and the Monroe’s rule would select , which is dominated by .
Greedy Monroe, seqCC, and seqPAV do not satisfy efficiency either. Intuitively, this is due to their sequential nature.
Example 4.
Consider the following profile with 20 voters and 4 candidates, where:
For this profile and for the greedy Monroe rule first picks , who is approved by 10 voters, will remove these 10 voters, and will pick . However, committee is dominated by . The same example shows that seqCC and seqPAV do not satisfy efficiency.
All the remaining rules that we consider satisfy efficiency.
Proposition 8.
AV, CC, PAV, and geometric satisfy efficiency.
6 Conclusion and Future Work
Our work demonstrates the flow of ideas from theoretical computer science to theoretical economics, in particular to social choice. We designed new tools that can be used to assess the level of diversity and individual excellence provided by certain rules. Our results help to understand the landscape of multiwinner rules, specifically how they behave with respect to two contradictory goals.
Our work can be extended in several directions. First, we have focused on approvalbased multiwinner rules—a natural next step is to perform a similar analysis for multiwinner rules that take rankings over candidates as input. Second, we have excluded some interesting voting rules from our analysis, in particular reversesequential PAV [37] and Minimax Approval Voting [8]; it is unclear how they compare to rules considered in this paper. Finally, we have chosen AV and CC as extreme notions that represent diversity and individual excellence. Another natural approach would be to take a proportional rule (such as PAV) as a standard and see how well others rules approximate it.
Acknowledgements
Martin Lackner was supported by the European Research Council (ERC) under grant number 639945 (ACCORD) and by the Austrian Science Foundation FWF, grant P25518 and Y698. Piotr Skowron was supported by a Humboldt Research Fellowship for Postdoctoral Researchers.
References
 [1] H. Aziz, M. Brill, V. Conitzer, E. Elkind, R. Freeman, and T. Walsh. Justified representation in approvalbased committee voting. Social Choice and Welfare, 48(2):461–485, 2017.

[2]
H. Aziz, E. Elkind, P. Faliszewski, M. Lackner, and P. Skowron.
The Condorcet principle for multiwinner elections: From
shortlisting to proportionality.
In
Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI2017)
, pages 84–90, 2017.  [3] H. Aziz, E. Elkind, S. Huang, M. Lackner, L. SánchezFernández, and P. Skowron. On the complexity of extended and proportional justified representation. In Proceedings of the 32nd Conference on Artificial Intelligence (AAAI2018), 2018. To appear.
 [4] H. Aziz, S. Gaspers, J. Gudmundsson, S. Mackenzie, N. Mattei, and T. Walsh. Computational aspects of multiwinner approval voting. In Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems, May 2015.
 [5] M. Balinski and H. P. Young. Fair Representation: Meeting the Ideal of One Man, One Vote. Yale University Press, 1982. (2nd Edition [with identical pagination], Brookings Institution Press, 2001).
 [6] S. Barberà and D. Coelho. How to choose a noncontroversial list with names. Social Choice and Welfare, 31(1):79–96, 2008.
 [7] D. Baumeister, T. Böhnlein, L. Rey, O. Schaudt, and A. Selker. Minisum and minimax committee election rules for general preference types. In Proceedings of the 22nd European Conference on Artificial Intelligence, pages 1656–1657, 2016.
 [8] S. J. Brams, D. M. Kilgour, and M. R. Sanver. A minimax procedure for electing committees. Public Choice, 132(3–4):401–420, 2007.

[9]
R. Bredereck, P. Faliszewski, A. Kaczmarczyk, R. Niedermeier, P. Skowron, and
N. Talmon.
Robustness among multiwinner voting rules.
In
Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT2017)
, pages 80–92, 2017.  [10] M. Brill, R. Freeman, S. Janson, and M. Lackner. Phragmén’s voting methods and justified representation. In Proceedings of the 31st Conference on Artificial Intelligence (AAAI2017), pages 406–413, 2017.
 [11] M. Brill, J. Laslier, and P. Skowron. Multiwinner approval rules as apportionment methods. In Proceedings of the 31st Conference on Artificial Intelligence (AAAI2017), pages 414–420, 2017.
 [12] I. Caragiannis, S. Nath, A. D. Procaccia, and N. Shah. Journal of Artificial Intelligence Research, 58:123–152, 2017.
 [13] B. Chamberlin and P. Courant. Representative deliberations and representative decisions: Proportional representation and the Borda rule. American Political Science Review, 77(3):718–733, 1983.
 [14] M. Dummett. Voting Procedures. Oxford University Press, 1984.
 [15] C. Dwork, R. Kumar, M. Naor, and D. Sivakumar. Rank aggregation methods for the web. In Proceedings of the 10th International World Wide Web Conference, pages 613–622. ACM Press, Mar. 2001.
 [16] E. Elkind, P. Faliszewski, J. F. Laslier, P. Skowron, A. Slinko, and N. Talmon. What do multiwinner voting rules do? An experiment over the twodimensional euclidean domain. In Proceedings of the 31st Conference on Artificial Intelligence (AAAI2017), 2017. 494–501.
 [17] E. Elkind, P. Faliszewski, P. Skowron, and A. Slinko. Properties of multiwinner voting rules. Social Choice and Welfare, 48(3):599–632, 2017.
 [18] P. Faliszewski, P. Skowron, A. Slinko, and N. Talmon. Multiwinner voting: A new challenge for social choice theory. In U. Endriss, editor, Trends in Computational Social Choice. AAAI Press, 2017.
 [19] M. Feldman, A. Fiat, and I. Golomb. On voting and facility location. In Proceedings of the 17th ACM Conference on Economics and Computation (ACMEC2016), pages 269–286, 2016.
 [20] S. Janson. Phragmén’s and Thiele’s election methods. Technical Report arXiv:1611.08826 [math.HO], arXiv.org, 2016.
 [21] Y. Koriyama, J.F. Laslier, A. Macé, and R. Treibich. Optimal Apportionment. Journal of Political Economy, 121(3):584–608, 2013.
 [22] M. Lackner and P. Skowron. Consistent approvalbased multiwinner rules. Technical Report arXiv:1704.02453v1 [cs.GT], arXiv.org, Apr. 2017.
 [23] J.F. Laslier and K. Van der Straeten. Strategic voting in multiwinners elections with approval balloting: a theory for large electorates. Social Choice and Welfare, 2016. Forthcoming.
 [24] T. Lu and C. Boutilier. Budgeted social choice: From consensus to personalized decision making. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI2011), pages 280–286, 2011.
 [25] N. Mattei and T. Walsh. Preflib: A library for preferences http: //www.preflib.org. In Proceedings of the 3rd International Conference on Algorithmic Decision Theory (ADT2013), pages 259–270, 2013.
 [26] B. Monroe. Fully proportional representation. American Political Science Review, 89(4):925–940, 1995.
 [27] E. Phragmén. Sur une méthode nouvelle pour réaliser, dans les élections, la représentation proportionnelle des partis. Öfversigt af Kongliga VetenskapsAkademiens Förhandlingar, 51(3):133–137, 1894.
 [28] E. Phragmén. Proportionella val. En valteknisk studie. Svenska spörsmål 25. Lars Hökersbergs förlag, Stockholm, 1895.
 [29] E. Phragmén. Sur la théorie des élections multiples. Öfversigt af Kongliga VetenskapsAkademiens Förhandlingar, 53:181–191, 1896.
 [30] A. Procaccia, S. Reddi, and N. Shah. A maximum likelihood approach for selecting sets of alternatives. In Proceedings of the 28th Conference in Uncertainty in Artificial Intelligence (UAI2012), pages 695–704, 2012.
 [31] A. Rapoport, D. Felsenthal, and Z. Maoz. Proportional representation: An empirical evaluation of singlestage, nonranked voting procedures. Public Choice, 59(2):151–165, 1988.
 [32] L. SánchezFernández, E. Elkind, M. Lackner, N. Fernández, J. A. Fisteus, P. Basanta Val, and P. Skowron. Proportional justified representation. In Proceedings of the 31st Conference on Artificial Intelligence (AAAI2017), 2017.
 [33] L. SánchezFernández, N. Fernández, and J. A. Fisteus. Fully open extensions to the D’Hondt method. Technical Report arXiv:1609.05370 [cs.GT], arXiv.org, 2016.
 [34] P. Skowron. What do we elect committees for? a voting committee model for multiwinner rules. pages 1141–1148, 2015.
 [35] P. Skowron, P. Faliszewski, and J. Lang. Finding a collective set of items: From proportional multirepresentation to group recommendation. Artificial Intelligence, 241:191–216, 2016.
 [36] P. Skowron, P. Faliszewski, and A. Slinko. Achieving fully proportional representation: Approximability result. Artificial Intelligence, 222:67–103, 2015.
 [37] P. Skowron, M. Lackner, M. Brill, D. Peters, and E. Elkind. Proportional rankings. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI2017), pages 409–415, 2017.
 [38] T. N. Thiele. Om flerfoldsvalg. In Oversigt over det Kongelige Danske Videnskabernes Selskabs Forhandlinger, pages 415–441. 1895.
 [39] K. Van der Straeten, R. Lachat, and J.F. Laslier. Strategic voting in multiwinner elections with approval balloting: An application to the 2011 regional government election in Zurich. CBS, 2017. forthcoming.
Appendix A Proofs Omitted from the Main Text
Proposition 2.
The AVguarantee of CC and sequential CC is .
Proof.
For an approval profile let and be committees winning according to CC and AV, respectively. We will first prove that . If it was not the case, then by the pigeonhole principle, there would exists a candidate such that . However, this means that a committee that consists of and any candidates has a higher CCscore than , a contradiction. Thus, the AVguarantee of CC is at least . For seqCC, the same argument by contradiction applies as this candidate would have been chosen in the first round.
To see that this guarantee cannot be higher than consider the following profile: assume there are voters ( is a large integer) who approve candidates . Further, for each candidate there is a single voter who approves only her. The CCwinning committee is with the AVscore of . However, the AVscore of committee is , and for large enough the ratio can be made arbitrarily close to . ∎
Proposition 4.
The CCguarantee of a rule that satisfies lower quota is at most .
Proof.
Let be a rule that satisfies lower quota. Consider a profile with voters for some . Each from the first voters approves candidates . The other voters are divided into equalsize groups, each approving a different candidate from the set . Lower quota ensures that at least candidates need to be chosen from . Thus, the CCscore of a committee selected by is at most equal to . By selecting one candidate from and candidates from we get a CCscore of . Thus, the CCguarantee is at most equal to:
∎
Proposition 5.
The AVguarantee of Greedy Monroe and Monroe is .
Proof.
First, let us consider the greedy Monroe rule. To see the lower bound of , let be an approval profile and let denote the candidate who is approved by most voters. For the sake of clarity we assume that divides ; the proof can be generalized to hold for arbitrary . Clearly, for any committee it holds that . If , then the greedy Monroe rule in the first step will select . Otherwise, it will select some candidate approved by at least voters, and will remove of them from . By a similar reasoning we can infer that in the second step the rule will pick a candidate who is approved by at least voters; and in general, that in the th step the rule will pick the candidate who is approved by at least voters. As a result, we infer that number of voters that have at least one approved candidate in the chosen committee is at least
Hence the AVguarantee of Greedy Monroe is at least .
To see that the same lower bound holds for the Monroe rule, we distinguish two cases; let be a winning committee. If , then and we are done. If and , then there is a committee with a higher Monroescore that contains ; a contradiction.
Now, consider the following instance witnessing that the AVguarantee of Greedy Monroe is at most . Let and let be a profile with voters. Let with and . We define profile as follows: we have voters that approve and one voter that approves only , we have voters that approve and one voter that approves only , etc. This defines in total voters. AV selects the committee with an AVscore of ; Greedy Monroe selects the committee with an AVscore of . We have a ratio of , which converges to for . The same instance shows that the AVguarantee of the Monroe rule is at most . ∎
Proposition 6.
The CCguarantee of Monroe and greedy Monroe is between and .
Proof.
First, for the sake of contradiction let us assume that there exists a profile where the CCguarantee of Greedy Monroe is below . Let and be the committees winning in according to CC and Greedy Monroe, respectively. Let be an assignment of the voters to the committee members obtained during the construction of ; we say that a voter is represented if it is assigned to a member of who she approves of. Since , by the pigeonhole principle we infer that there exists a candidate who is approved by unrepresented voters, where:
Similarly, by the pigeonhole principle we can infer that there exists a candidate who is represented by at most voters. Thus, Greedy Monroe would select rather than , a contradiction. A similar argument can be made to show that the CCguarantee of the Monroe rule is .
Now, consider the following approval profile. There are candidates, , and disjoint equalsize groups of voters, . For each , candidate is approved by all voters from . Candidate is approved by all voters from . One of the winning committees according to the Monroe and Greedy Monroe rule is , which has a CCscore of . On the other hand, has a CCscore of . Thus, the CCguarantee of Monroe and Greedy Monroe is at most:
This completes the proof. ∎
Theorem 2.
The CCguarantee of PAV is between and .
Proof.
We first prove a lower bound of for the CCguarantee of PAV. Consider an approvalbased profile and a PAV winning committee . Similarly as in the proof of Theorem 1, for each voter we set . Let be a committee winning according to the Chamberlin–Courant rule For each two candidates, and , let denote the change of the PAVscore of due to replacing with . By Inequality 1, we have:
Let us now consider an arbitrary bijection , matching members of with the members of . We compute the sum: