Skip to main content
Top
Published in: Social Choice and Welfare 2/2017

09-01-2017 | Original Paper

Justified representation in approval-based committee voting

Authors: Haris Aziz, Markus Brill, Vincent Conitzer, Edith Elkind, Rupert Freeman, Toby Walsh

Published in: Social Choice and Welfare | Issue 2/2017

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

We consider approval-based committee voting, i.e. the setting where each voter approves a subset of candidates, and these votes are then used to select a fixed-size set of winners (committee). We propose a natural axiom for this setting, which we call justified representation (\(\mathrm {JR}\)). This axiom requires that if a large enough group of voters exhibits agreement by supporting the same candidate, then at least one voter in this group has an approved candidate in the winning committee. We show that for every list of ballots it is possible to select a committee that provides \(\mathrm {JR}\). However, it turns out that several prominent approval-based voting rules may fail to output such a committee. In particular, while Proportional Approval Voting (\(\mathrm {PAV}\)) always outputs a committee that provides \(\mathrm {JR}\), Sequential Proportional Approval Voting (\(\mathrm {SeqPAV}\)), which is a tractable approximation to \(\mathrm {PAV}\), does not have this property. We then introduce a stronger version of the \(\mathrm {JR}\) axiom, which we call extended justified representation (\(\mathrm {EJR}\)), and show that \(\mathrm {PAV}\) satisfies \(\mathrm {EJR}\), while other rules we consider do not; indeed, \(\mathrm {EJR}\) can be used to characterize \(\mathrm {PAV}\) within the class of weighted \(\mathrm {PAV}\) rules. We also consider several other questions related to \(\mathrm {JR}\) and \(\mathrm {EJR}\), including the relationship between \(\mathrm {JR}\)/\(\mathrm {EJR}\) and core stability, and the complexity of the associated computational problems.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
\(\mathrm {SAV}\) is equivalent to equal and even cumulative voting (e.g., see Alcalde-Unzu and Vorsatz 2009), where for each voter, a score of 1 is divided evenly among all candidates in the voter’s approval set, and the k candidates with the highest total score are selected (see also Brams and Kilgour 2014, p. 328).
 
2
We are grateful to Svante Janson and Xavier Mora for pointing this out to us.
 
3
It is convenient to think of \({\mathbf {w}}\) as an infinite vector; note that for an election with m candidates only the first m entries of \({\mathbf {w}}\) matter. To analyze the complexity of \({\mathbf {w}}\)-\(\mathrm {PAV}\) rules, one would have to place additional requirements on \({\mathbf {w}}\); however, we do not consider computational properties of such rules in this paper.
 
4
\({\mathbf {w}}\)-\(\mathrm {PAV}\) rules with \(w_1=0\) have been considered by Fishburn and Pekec (2004) and Skowron et al. (2016). We note that such rules do not satisfy justified representation (as defined in Sect. 3).
 
5
For readability, we use the Hare quota \(\left\lceil \frac{n}{k}\right\rceil \); this choice of quota motivates our name for this rule. However, all our proofs go through if we use the Droop quota \(\left\lfloor \frac{n}{k+1}\right\rfloor +1\) instead. For a discussion of differences between these two quotas, see the article of Tideman (1995).
 
Literature
go back to reference Alcalde-Unzu J, Vorsatz M (2009) Size approval voting. J Econ Theory 144(3):1187–1210CrossRef Alcalde-Unzu J, Vorsatz M (2009) Size approval voting. J Econ Theory 144(3):1187–1210CrossRef
go back to reference Aziz H, Gaspers S, Gudmundsson J, Mackenzie S, Mattei N, Walsh T (2015) Computational aspects of multi-winner approval voting. In: Proceedings of the 14th international conference on autonomous agents and multiagent systems (AAMAS), pp 107–115 Aziz H, Gaspers S, Gudmundsson J, Mackenzie S, Mattei N, Walsh T (2015) Computational aspects of multi-winner approval voting. In: Proceedings of the 14th international conference on autonomous agents and multiagent systems (AAMAS), pp 107–115
go back to reference Aziz H, Lang J, Monnot J (2016) Computing Pareto optimal committees. In: Proceedings of the 25th international joint conference on artificial intelligence (IJCAI), pp 60–66 Aziz H, Lang J, Monnot J (2016) Computing Pareto optimal committees. In: Proceedings of the 25th international joint conference on artificial intelligence (IJCAI), pp 60–66
go back to reference Betzler N, Slinko A, Uhlmann J (2013) On the computation of fully proportional representation. J Artif Intell Res 47:475–519 Betzler N, Slinko A, Uhlmann J (2013) On the computation of fully proportional representation. J Artif Intell Res 47:475–519
go back to reference Brams SJ (2010) Preface. In: Laslier JF, Sanver MR (eds), Handbook on approval voting, studies in choice and welfare, Springer, New York, pp vii–ix Brams SJ (2010) Preface. In: Laslier JF, Sanver MR (eds), Handbook on approval voting, studies in choice and welfare, Springer, New York, pp vii–ix
go back to reference Brams SJ, Fishburn PC (2007) Approval voting, 2nd edn. Springer, New York Brams SJ, Fishburn PC (2007) Approval voting, 2nd edn. Springer, New York
go back to reference Brams SJ, Kilgour DM (2014) Satisfaction approval voting. In: Fara R, Leech D, Salles M (eds) Voting power and procedures, studies in choice and welfare. Springer, New York, pp 323–346 Brams SJ, Kilgour DM (2014) Satisfaction approval voting. In: Fara R, Leech D, Salles M (eds) Voting power and procedures, studies in choice and welfare. Springer, New York, pp 323–346
go back to reference Brams SJ, Kilgour DM, Sanver MR (2006) How to elect a representative committee using approval balloting. In: Simeone B, Pukelsheim F (eds) Mathematics and democracy: recent advances in voting systems and collective choice. Springer, New York, pp 83–96 Brams SJ, Kilgour DM, Sanver MR (2006) How to elect a representative committee using approval balloting. In: Simeone B, Pukelsheim F (eds) Mathematics and democracy: recent advances in voting systems and collective choice. Springer, New York, pp 83–96
go back to reference Brams SJ, Kilgour DM, Sanver RM (2007) A minimax procedure for electing committees. Public Choice 132(3–4):401–420CrossRef Brams SJ, Kilgour DM, Sanver RM (2007) A minimax procedure for electing committees. Public Choice 132(3–4):401–420CrossRef
go back to reference Byrka J, Sornat K (2014) PTAS for minimax approval voting. In: Proceedings of the 10th international conference on web and internet economics (WINE), pp 203–217 Byrka J, Sornat K (2014) PTAS for minimax approval voting. In: Proceedings of the 10th international conference on web and internet economics (WINE), pp 203–217
go back to reference Caragiannis I, Kalaitzis D, Markakis E (2010) Approximation algorithms and mechanism design for minimax approval voting. In: Proceedings of the 24th AAAI conference on artificial intelligence (AAAI), pp 737–742 Caragiannis I, Kalaitzis D, Markakis E (2010) Approximation algorithms and mechanism design for minimax approval voting. In: Proceedings of the 24th AAAI conference on artificial intelligence (AAAI), pp 737–742
go back to reference Caragiannis I, Kaklamanis C, Karanikolas N, Procaccia AD (2014) Socially desirable approximations for Dodgson’s voting rule. ACM Trans Algorithm 10(2). doi:10.1145/2556950 Caragiannis I, Kaklamanis C, Karanikolas N, Procaccia AD (2014) Socially desirable approximations for Dodgson’s voting rule. ACM Trans Algorithm 10(2). doi:10.​1145/​2556950
go back to reference Chamberlin B, Courant P (1983) Representative deliberations and representative decisions: proportional representation and the Borda rule. Am Polit Sci Rev 77(3):718–733CrossRef Chamberlin B, Courant P (1983) Representative deliberations and representative decisions: proportional representation and the Borda rule. Am Polit Sci Rev 77(3):718–733CrossRef
go back to reference Cornaz D, Galand L, Spanjaard O (2012) Bounded single-peaked width and proportional representation. In: Proceedings of the 20th European conference on artificial intelligence (ECAI), pp 270–275 Cornaz D, Galand L, Spanjaard O (2012) Bounded single-peaked width and proportional representation. In: Proceedings of the 20th European conference on artificial intelligence (ECAI), pp 270–275
go back to reference Davis M, Orrison ME, Su FE (2014) Voting for committees in agreeable societies. Contemp Math 624:147–157CrossRef Davis M, Orrison ME, Su FE (2014) Voting for committees in agreeable societies. Contemp Math 624:147–157CrossRef
go back to reference Droop HR (1881) On methods of electing representatives. J Stat Soc Lond 44(2):141–196CrossRef Droop HR (1881) On methods of electing representatives. J Stat Soc Lond 44(2):141–196CrossRef
go back to reference Duddy C (2014) Electing a representative committee by approval ballot: an impossibility result. Econ Lett 124:14–16CrossRef Duddy C (2014) Electing a representative committee by approval ballot: an impossibility result. Econ Lett 124:14–16CrossRef
go back to reference Dummett M (1984) Voting procedures. Oxford University Press, Oxford Dummett M (1984) Voting procedures. Oxford University Press, Oxford
go back to reference Elkind E, Lackner M (2015) Structure in dichotomous preferences. In: Proceedings of the 24th international joint conference on artificial intelligence (IJCAI), pp 2019–2025 Elkind E, Lackner M (2015) Structure in dichotomous preferences. In: Proceedings of the 24th international joint conference on artificial intelligence (IJCAI), pp 2019–2025
go back to reference Elkind E, Faliszewski P, Skowron P, Slinko A (2017) Properties of multiwinner voting rules. Soc Choice Welf (forthcoming) Elkind E, Faliszewski P, Skowron P, Slinko A (2017) Properties of multiwinner voting rules. Soc Choice Welf (forthcoming)
go back to reference Elkind E, Lang J, Saffidine A (2015) Condorcet winning sets. Soc Choice Welf 44(3):493–517CrossRef Elkind E, Lang J, Saffidine A (2015) Condorcet winning sets. Soc Choice Welf 44(3):493–517CrossRef
go back to reference Endriss U (2013) Sincerity and manipulation under approval voting. Theor Decis 74(4):335–355CrossRef Endriss U (2013) Sincerity and manipulation under approval voting. Theor Decis 74(4):335–355CrossRef
go back to reference Fishburn PC, Pekec AS (2004) Approval voting for committees: threshold approaches. Techn Rept Fishburn PC, Pekec AS (2004) Approval voting for committees: threshold approaches. Techn Rept
go back to reference Garey M, Johnson D (1979) Computers and intractability: a guide to the theory of NP-completeness. W. H Freeman and Company, New York Garey M, Johnson D (1979) Computers and intractability: a guide to the theory of NP-completeness. W. H Freeman and Company, New York
go back to reference Kilgour DM (2010) Approval balloting for multi-winner elections. In: Laslier JF, Sanver MR (eds) Handbook on approval voting, chapter 6, Springer, New York, pp 105–124 Kilgour DM (2010) Approval balloting for multi-winner elections. In: Laslier JF, Sanver MR (eds) Handbook on approval voting, chapter 6, Springer, New York, pp 105–124
go back to reference Kilgour DM, Marshall E (2012) Approval balloting for fixed-size committees. In: Felsenthal DS, Machover M (eds), Electoral systems, studies in choice and welfare, Springer, New York, pp 305–326 Kilgour DM, Marshall E (2012) Approval balloting for fixed-size committees. In: Felsenthal DS, Machover M (eds), Electoral systems, studies in choice and welfare, Springer, New York, pp 305–326
go back to reference Laslier J-F, Sanver MR (eds) (2010) Handbook on approval voting. Studies in choice and welfare. Springer, New York Laslier J-F, Sanver MR (eds) (2010) Handbook on approval voting. Studies in choice and welfare. Springer, New York
go back to reference LeGrand R, Markakis E, Mehta A (2007) Some results on approximating the minimax solution in approval voting. In: Proceedings of the 6th international conference on autonomous agents and multi-agent systems (AAMAS), pp 1185–1187 LeGrand R, Markakis E, Mehta A (2007) Some results on approximating the minimax solution in approval voting. In: Proceedings of the 6th international conference on autonomous agents and multi-agent systems (AAMAS), pp 1185–1187
go back to reference Lu T, Boutilier C (2011) Budgeted social choice: from consensus to personalized decision making. In: Proceedings of the 22nd international joint conference on artificial intelligence (IJCAI), AAAI Press, Cambridge, pp 280–286 Lu T, Boutilier C (2011) Budgeted social choice: from consensus to personalized decision making. In: Proceedings of the 22nd international joint conference on artificial intelligence (IJCAI), AAAI Press, Cambridge, pp 280–286
go back to reference Meir R, Procaccia AD, Rosenschein JS, Zohar A (2008) Complexity of strategic behavior in multi-winner elections. J Artif Intell Res 33:149–178 Meir R, Procaccia AD, Rosenschein JS, Zohar A (2008) Complexity of strategic behavior in multi-winner elections. J Artif Intell Res 33:149–178
go back to reference Misra N, Nabeel A, Singh H (2015) On the parameterized complexity of minimax approval voting. In: Proceedings of the 14th international conference on autonomous agents and multiagent systems (AAMAS), pp 97–105 Misra N, Nabeel A, Singh H (2015) On the parameterized complexity of minimax approval voting. In: Proceedings of the 14th international conference on autonomous agents and multiagent systems (AAMAS), pp 97–105
go back to reference Monroe B (1995) Fully proportional representation. Am Polit Sci Rev 89(4):925–940CrossRef Monroe B (1995) Fully proportional representation. Am Polit Sci Rev 89(4):925–940CrossRef
go back to reference Procaccia A, Rosenschein J, Zohar A (2008) On the complexity of achieving proportional representation. Soc Choice Welf 30(3):353–362CrossRef Procaccia A, Rosenschein J, Zohar A (2008) On the complexity of achieving proportional representation. Soc Choice Welf 30(3):353–362CrossRef
go back to reference Sánchez-Fernández L, Fernández N, Fisteus JA, Basanta-Val P (2016) Some notes on justified representation. In: Proceedings of the 10th multidisciplinary workshop on advances in preference handling (MPREF) Sánchez-Fernández L, Fernández N, Fisteus JA, Basanta-Val P (2016) Some notes on justified representation. In: Proceedings of the 10th multidisciplinary workshop on advances in preference handling (MPREF)
go back to reference Sánchez-Fernández L, Elkind E, Lackner M, Fernández N, Fisteus JA, Basanta-Val P, Skowron P (2017) Proportional justified representation. In: Proceedings of the 31st AAAI conference on artificial intelligence (AAAI) Sánchez-Fernández L, Elkind E, Lackner M, Fernández N, Fisteus JA, Basanta-Val P, Skowron P (2017) Proportional justified representation. In: Proceedings of the 31st AAAI conference on artificial intelligence (AAAI)
go back to reference Skowron P, Faliszewski P, Slinko A (2015a) Achieving fully proportional representation: approximability results. Artif Intell 222:67–103CrossRef Skowron P, Faliszewski P, Slinko A (2015a) Achieving fully proportional representation: approximability results. Artif Intell 222:67–103CrossRef
go back to reference Skowron P, Yu L, Faliszewski P, Elkind E (2015b) The complexity of fully proportional representation for single-crossing electorates. Theor Comput Sci 569:43–57CrossRef Skowron P, Yu L, Faliszewski P, Elkind E (2015b) The complexity of fully proportional representation for single-crossing electorates. Theor Comput Sci 569:43–57CrossRef
go back to reference Skowron P, Faliszewski P, Lang J (2016) Finding a collective set of items: from proportional multirepresentation to group recommendation. Artif Intell 241:191–216CrossRef Skowron P, Faliszewski P, Lang J (2016) Finding a collective set of items: from proportional multirepresentation to group recommendation. Artif Intell 241:191–216CrossRef
go back to reference Thiele TN (1895) Om flerfoldsvalg. In: Oversigt over det Kongelige Danske Videnskabernes Selskabs Forhandlinger, pp 415–441 Thiele TN (1895) Om flerfoldsvalg. In: Oversigt over det Kongelige Danske Videnskabernes Selskabs Forhandlinger, pp 415–441
go back to reference Tideman N (1995) The single transferable vote. J Econ Perspect 9(1):27–38CrossRef Tideman N (1995) The single transferable vote. J Econ Perspect 9(1):27–38CrossRef
go back to reference Tideman N (2006) Collective decisions and voting. Ashgate, Surrey Tideman N (2006) Collective decisions and voting. Ashgate, Surrey
go back to reference Tideman N, Richardson D (2000) Better voting methods through technology: the refinement-manageability trade-off in the single transferable vote. Public Choice 103(1–2):13–34CrossRef Tideman N, Richardson D (2000) Better voting methods through technology: the refinement-manageability trade-off in the single transferable vote. Public Choice 103(1–2):13–34CrossRef
Metadata
Title
Justified representation in approval-based committee voting
Authors
Haris Aziz
Markus Brill
Vincent Conitzer
Edith Elkind
Rupert Freeman
Toby Walsh
Publication date
09-01-2017
Publisher
Springer Berlin Heidelberg
Published in
Social Choice and Welfare / Issue 2/2017
Print ISSN: 0176-1714
Electronic ISSN: 1432-217X
DOI
https://doi.org/10.1007/s00355-016-1019-3

Other articles of this Issue 2/2017

Social Choice and Welfare 2/2017 Go to the issue

Original Paper

The prediction value