Efficient, Private, and eps-Strategyproof Elicitation of Tournament Voting Rules
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Main Track. Pages 2026-2031.
© 2015 International Joint Conferences on Artificial Intelligence
Abstract
Voting is commonly used as a method for aggregating information in crowdsourcing and human computation. In many settings, one would like to use voting rules which can be efficiently elicited, preserve voter privacy, and are robust to strategic manipulation. In this paper, we give algorithms which elicit approximate winners in a way which provably satisfies all three of these requirements simultaneously. Our results hold for tournament voting rules, which we define to be the voting rules which can be expressed solely as a function of the table of pairwise comparisons containing the number of voters preferring one candidate to another. Tournament voting rules include many common voting rules such as the Borda, Copeland, Maximin, Nanson, Baldwin, Kemeny-Young, Ranked Pairs, Cup, and Schulze voting rules. Our results significantly expand the set of voting rules for which efficient elicitation was known to be possible and improve the known approximation factors for epsilon-strategyproof voting in the regime where the number of candidates is large.
- [Bartholdi et al., 1989] John Bartholdi, Craig Tovey, and Michael Trick. The computational difficulty of manipu- lating an election. Social Choice and Welfare, 6:227-241, 1989.
- [Birrell and Pass, 2011] Eleanor Birrell and Rafael Pass. Ap- proximately strategy-proof voting. In Proceedings of the 22nd International Joint Conference on Artificial Intelli- gence, 2011.
- [Brams and Fishburn, 2002] Steven J. Brams and Peter C. Fishburn. Voting procedures. In Kenneth J. Arrow, Amartya Sen, and Kotaro Suzumura, editors, Handbook of Social Choice and Welfare, volume 1, pages 173-236. Elsevier, 2002.
- [Brandt et al., 2012] Felix Brandt, Vincent Conitzer, and Ul- rich Endriss. Computational social choice. In Multiagent Systems. MIT Press, 2012.
- [Caragiannis et al., 2013] Ioannis Caragiannis, Ariel D. Pro- caccia, and Nisarg Shah. When do noisy votes reveal the truth? In Proceedings of the 14th ACM Conference on Electronic Commerce (ACM-EC), 2013.
- [Chevaleyre et al., 2011] Yann Chevaleyre, Jerome Lang, Nicolas Maudet, and Jerome Monnot. Compilation and communication protocols for voting rules with a dynamic set of candidates. In Proceedings of the 13th Confer- ence on Theoretical Aspects of Rationality and Knowledge (TARK), 2011.
- [Conitzer and Sandholm, 2002] Vincent Conitzer and Tuo- mas Sandholm. Vote elicitation: Complexity and strategy- proofness. In Proceedings of the 17th AAAI Conference, 2002.
- [Conitzer and Sandholm, 2005] Vincent Conitzer and Tuo- mas Sandholm. Communication complexity of common voting rules. In Proceedings of the 6th ACM Conference on Electronic Commerce (ACM-EC), pages 78-87, 2005.
- [Conitzer and Sandholm, 2006] Vincent Conitzer and Tuo- mas Sandholm. Nonexistence of voting rules that are usu- ally hard to manipulate. In Proceedings of the 21st AAAI Conference, pages 627-634, 2006.
- [Conitzer and Sandholm, 2013] Vincent Conitzer and Tuo- mas Sandholm. Common voting rules as maximum like- lihood estimators. In Proceedings of the 21st Annual Conference on Uncertainty in Artificial Intelligence (UAI), 2013.
- [Conitzer, 2009] Vincent Conitzer. Eliciting single-peaked preferences using comparison queries. Journal of Artificial Intelligence Research, 35:161-191, 2009.
- [Dwork and Roth, 2014] Cynthia Dwork and Aaron Roth. The Algorithmic Foundations of Differential Privacy. NOW Publishers, 2014.
- [Fishburn, 1977] Peter C. Fishburn. Condorcet social choice functions. SIAM Journal on Applied Mathematics, 33(3):469-489, 1977.
- [Gibbard, 1973] Allan Gibbard. Manipulation of voting schemes: A general result. Econometrica, 41(4):587-601, 1973.
- [Gibbard, 1977] Allan Gibbard. Manipulation of schemes that mix voting with chance. Econometrica, 45(3):665- 681, 1977.
- [Goel and Lee, 2012] Ashish Goel and David T. Lee. Triadic consensus: A randomized algorithm for voting in a crowd. In Proceedings of the 8th Workshop on Internet and Net- work Economics (WINE), 2012.
- [Kalech et al., 2011] Meir Kalech, Sarit Kraus, Gal A. Kaminka, and Claudia V. Goldman. Practical voting rules with partial information. Journal of Autonomous Agents and Multi-Agent Systems, 22(1):151-182, 2011.
- [Lee et al., 2014] David T. Lee, Ashish Goel, Tanja Aita- murto, and Helene Landemore. Crowdsourcing for partic- ipatory democracies: Efficient elicitation of social choice functions. In The 4th Workshop on Social Computing and User Generated Content (SCUGC), 2014.
- [Lu and Boutilier, 2011a] Tyler Lu and Craig Boutilier. Ro- bust approximation and incremental elicitation in voting protocols. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI), 2011. IJCAI
- [Lu and Boutilier, 2011b] Tyler Lu and Craig Boutilier. Vote elicitation with probabilistic preference models: empirical estimation and cost tradeoffs. In Proceedings of the 2nd International Conference on Algorithmic Decision Theory (ADT), 2011.
- [Lu et al., 2012] Tyler Lu, Pingzhong Tang, Ariel D. Procac- cia, and Craig Boutilier. Bayesian vote manipulation: Op- timal strategies and impact on welfare. In Proceedings of the 28th Conference on Uncertainty in Artificial Intelli- gence (UAI), 2012.
- [Mao et al., 2013] Andrew Mao, Ariel D. Procaccia, and Yil- ing Chen. Better human computation through principled voting. In Proceedings of the 27th Conference on Artifi- cial Intelligence (AAAI), 2013.
- [Moulin, 1980] Hervé Moulin. On strategy-proofness and single peakedness. Public Choice, 35(4):437-455, 1980.
- [Narayanan and Shmatikov, 2008] Arvind Narayanan and Vitaly Shmatikov. Robust de-anonymization of large sparse datasets. In Proceedings of the 29th IEEE Sympo- sium on Security and Privacy (SP), pages 111-125, 2008.
- [Oren et al., 2013] Joel Oren, Yuval Filmus, and Craig Boutilier. Efficient vote elicitation under candidate un- certainty. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), 2013. IJCAI
- [Procaccia, 2010] Ariel Procaccia. Can approximation cir- cumvent gibbard-satterthwaite? In Proceedings of the 24th AAAI Conference on Artificial Intelligence, pages 836- 841, 2010.
- [Satterthwaite, 1975] Mark Satterthwaite. Strategy- proofness and arrow's conditions: Existence and correspondence theorems for voting procedures and social welfare functions. Journal of Economic Theory, 10:187-217, 1975.
- [Service and Adams, 2012] Travis C. Service and Julie A. Adams. Communication complexity of approximating voting rules. In Proceedings of the 11th International Con- ference on Autonomous Agents and Multiagent Systems (AAMAS), pages 593-602, 2012.
References were extracted automatically from the PDF and may contain errors.
Full text extracted automatically from the PDF; figures, tables and equations may differ. The PDF is the version of record.
1 Introduction
Crowdsourcing and human computation systems often contain components which aggregate collected information to arrive at rankings over a set of alternatives. One method of aggregation is to use social choice functions, commonly known as voting rules [Brams and Fishburn, 2002; Brandt et al., 2012]. In this setting, alternatives are viewed as candidates in an election and participants are viewed as voters, each of which submits a ranking over the alternatives according to their beliefs or preferences. A voting rule is then a (possibly stochastic) function which maps the set of rankings to an output winner.
One scenario in which voting rules have been applied to crowdsourcing is when a ground truth exists [Mao et al., 2013], for which voting rules can be interpreted as maximum likelihood estimators for various noise models over user beliefs [Conitzer and Sandholm, 2013]. Another natural scenario for the application of voting rules, due to its democratic nature, is that of crowdsourcing for political decisionmaking [Lee et al., 2014]. For both of these scenarios, three important problems exist:
1 Tournament voting rules can also be described as C1 or C2 functions according to Fishburn's classification [Fishburn, 1977].
- Preference Elicitation: Can the correct output ranking be found without requiring all voters to submit their complete preferences, e.g. by only eliciting a small sample of voters or a small number of pairwise comparisons?
- Strategic Manipulation: Can the correct output ranking be found when voters are strategic agents who may submit false rankings in order to improve their own utility?
- Participant Privacy: Can votes be elicited in a manner which preserves participant privacy?
These are particularly important when crowdsourcing is applied to political decision-making. Inefficient elicitation can render the crowdsourcing effort infeasible since the number of alternatives produced by the crowd may be too large for voters to even pick their top choices, not to mention ranking them. Poor manipulation properties can result in voters who strategically optimize for their own preferences at the cost of the general electorate. Loss of privacy can result in sensitive voter information being leaked to the public.
We specifically highlight the importance of privacy in voting since it is the least studied of the three in existing literature. It is self-evident that privacy is important when a vote correlates clearly with sensitive information such as sexual orientation. However, in an information-rich world, it has become increasingly possible to obtain accurate predictions of a sensitive information from seemingly benign information [Narayanan and Shmatikov, 2008]. As a result, this age is also one in which privacy properties are increasingly important to participants of social systems.
Both preference elicitation and strategic manipulation are well-studied problems in the social choice literature and have been found to be subject to impossibility results. For many common voting rules, finding out how to elicit optimally is NP-complete [Conitzer and Sandholm, 2002]. Moreover, for many common voting rules, it is impossible to reduce the number of bits necessary to find the output winner or approximate winner by more than a constant factor [Conitzer and Sandholm, 2005; Service and Adams, 2012]. For strategic agents, it is known that any strategyproof voting rule is a dictatorship [Gibbard, 1973; Satterthwaite, 1975].
Many approaches have been taken to circumvent these impossibility results. Two of these are particularly relevant to our work. Lee et al. gave definitions for ϵ-Borda and ϵCondorcet winners, and showed that they could be elicited with ˜O( m ϵ2 ) and ˜O( m ϵ4 ) pairwise comparisons 2 , a significant improvement over the Ω(mn) pairwise comparisons previously thought to be necessary. They also proposed a broader definition for approximate voting: an alternative is an ϵapproximate winner if it could have been the winner given a change in at most an ϵ fraction of the pairwise comparisons involving any alternative [Lee et al., 2014]. This definition, formally given in the Model section, is applicable to all voting rules which can be defined solely in terms of the preference tournament, which informally consists of the number of voters preferring any given candidate to another. Lee et al. show that any alternative which is an ϵ-Borda or ϵ-Condorcet winner under their initial definition is also one under this broader definition; however, they do not describe how to elicit approximate winners for other voting rules.
Birrell and Pass defined a voting rule to be ϵ-strategyproof if a non-truthful voter can only improve his utility by ϵ, regardless of the rankings provided by other voters [Birrell and Pass, 2011]. They showed that approximate winners 3 could be found in an ϵ-strategyproof manner; however, when the number of candidates is large (m ≥ √ϵn, where m and n are the number of candidates and voters respectively), their approximation obtained is poor in that it admits any alternative as an "approximate winner".
1.1 Our Contribution
In this paper, we show that it is possible to elicit ϵapproximate winners (as defined in Lee et al. 2014) for all tournament voting rules in a way which is efficient, preserves voter privacy (as formalized by the notion of differential privacy, detailed later), and is ϵ-strategyproof.
- We first give a variant of the algorithm in Lee et al. which finds an ϵ-Borda winner in ˜O( m ϵ2 ) total comparisons (an expected ˜O( 1 ϵ2 ) per voter). Our variant uses the same number of comparisons, but is also ϵ-strategyproof and ϵ-differentially private.
- We then show that sampling ˜O( 1 ϵ2 ) voter rankings, a process which takes ˜O( m ϵ2 ) total pairwise comparisons, is sufficient for finding an ϵ-approximate winner for any tournament voting rule. This includes the Borda, Copeland, Maximin, Nanson, Baldwin, Kemeny-Young, Ranked Pairs, Cup, and Schulze voting rules, most of which were previously thought to require Ω(mn) pairwise comparisons [Conitzer and Sandholm, 2005]. We note, however, that the comparisons elicited in this case
2 The notation ˜O(·) notation is the same as the O(·) notation, but hides logarithmic factors.
3 In Birrell and Pass, approximate winners are defined differently than in Lee et al: an alternative is an ϵ-approximate winner if it could have been the winner given any change in at most ϵ rankings.
- are all concentrated in a few voters who must give their full rankings.
- Our third algorithm finds an ϵ-approximate winner for any tournament voting rule using ˜O( m√n ϵ ) total pairwise comparisons. Like the first, this algorithm also spreads the burden equally among all of the voters (an expected ˜O( √n ϵ ) per voter).
- Finally, we show that our algorithms also are resistant to collusion in that the approximation factors degrade gracefully when multiple voters collude together.
Beyond the contributions we make in extending efficient elicitation to all tournament voting rules, our algorithms are also the first to obtain ϵ-strategyproofness when the number of candidates are large. Specifically, our results give nontrivial approximations so long as m ≤ ˜O(n), as compared to prior results which gave non-trivial approximations for m ≤ √ϵn. Ours are also the first which obtain efficient elicitation, ϵ-differential privacy, and ϵ-strategyproofness simultaneously (the algorithms given in Lee et al. are not strategyproof, and the algorithms given in Birrell and Pass require complete preference profiles).
We note that, due to space constraints, detailed proofs can be found in the Appendix section of the full version 4 .
2 RelatedWork
There are many other approaches that have been taken in the literature on circumventing impossibility results in preference elicitation. One approach considers elicitation when the set of rankings are restricted to single-peaked preferences [Conitzer, 2009; Goel and Lee, 2012]. Another approach studies elicitation experimentally using heuristics inspired from machine learning or assumes that preferences are drawn from a given distribution [Lu and Boutilier, 2011a; 2011b; Kalech et al., 2011; Oren et al., 2013; Caragiannis et al., 2013; Chevaleyre et al., 2011]. We specifically point out [Caragiannis et al., 2013] in which they show that sampling O( 1 ϵ2 log mδ ) voter rankings is sufficient for determining the exact output ranking when voters rankings are assumed to be drawn from a Mallows model. This is similar to our second algorithm, except that we aim only at finding an ϵ-approximate winner, but in the more general case when voter rankings are arbitrary.
There have also been many approaches to circumvent impossibility results in strategic manipulation. Gibbard was the first to consider randomized voting rules [Gibbard, 1977], but showed that only trivial randomized voting rules were strategyproof. Procaccia studied the approximation factors possible with these voting rules [Procaccia, 2010], but showed that the approximations are not good. Other approaches include restricting the domain of voter preferences, e.g. to singlepeaked preferences [Moulin, 1980], studying voting rules which are computationally difficult to manipulate [Bartholdi et al., 1989; Conitzer and Sandholm, 2006], and considering voters who only have partial probabilistic information on the preference profile [Lu et al., 2012].
4 http://stanford.edu/∼dtlee88/papers/ijcai-2015-ef-full.pdf
3 Model
Let C denote the set of alternatives and V the set of participants. Let m and n denote the number of alternatives and participants respectively. Each participant i has a ranking, i.e. a linear ordering, over the set of alternatives representing his or her preference. Using the notation of [Conitzer and Sandholm, 2005], we use ≻i to denote the ranking of participant i. If participant i prefers alternative x to y, we denote this by x ≻i y. The set of all rankings is called a preference profile, and is denoted by ⃗≻. A voting rule is a (possibly stochastic) function which maps a given preference profile to a single winning alternative 5 . We will use the term voting algorithm to refer to the elicitation scheme inducing a voting rule.
A preference tournament T is a complete, directed graph on the set of alternatives. The weight of an edge (x, y) is denoted by Txy = |{i | x ≻i y}|, which represents the number of participants who prefer alternative x to y. We use Tx to denote the vector of length m-1 containing the weights from x to all other candidates. Preference tournaments are also commonly depicted using a table as in Example 1. We define a tournament voting rule to be any voting rule which can be defined solely on the preference tournament.
3.1 Approximate winners
We use the definition of an approximate winner used in Lee et al. It informally defines an alternative ˆw to be an ϵapproximate winner if it could have resulted from a preference tournament T ′ which differs from the true preference tournament T in at most ϵ fraction of the comparisons involving any candidate. Thus, an approximate winner can roughly be interpreted as an alternative that could have been the winner given a small perturbation in voter input.
Definition 1. For a tournament voting rule f and preference tournament T, ˆw is an ϵ-f winner if
- ∃ T ′ such that ˆw = f(T ′ ) and,
- ‖Tx - T ′x ‖1 ≤ ϵn(m- 1) for any x.
When the voting rule f is clear from the context, we simply refer to ˆw as an ϵ-approximate winner.
The following example illustrates this concept.
Example 1. Suppose that 100 participants supply rankings of 3 alternatives, and that these rankings result in the following preference tournament (the values in the table represents the number of participants preferring the left alternative to the top alternative):
| A | B | C | |
| A | - | 52 | 61 |
|---|---|---|---|
| B | 48 | - | 71 |
| C | 39 | 29 | - |
The Borda winner is the alternative which wins the largest number of pairwise comparisons. A, B, and C win 113, 119, and 68 comparisons respectively, so that the Borda winner is B. The Copeland winner is the alternative which wins the largest number of pairwise elections. A, B, and C win 2, 1, and 0 pairwise elections respectively, so A is the Copeland winner.
5 For some classical voting rules, such as Copeland, one would have to specify a tie-breaking rule to ensure a single winner.
Simple calculations show us that A is a 0.02-Borda winner since swapping 4 of the comparisons preferring B to A would make A the winner, and there are 200 comparisons involving any given alternative. Similarly, C is a 0.13-Borda winner since swapping 26 of the comparisons preferring B to C would make C the winner. We also see that B is a 0.015Copeland winner since swapping 3 of the comparisons preferring A to B would make B the winner. Similarly, C is a 0.17-Copeland winner since swapping 12 of the comparisons preferring A to C and 22 of the comparisons preferring B to C would make C the winner.
We can see that the definitions capture the intuition that A is a good approximate Borda winner, B is a good approximate Copeland winner, but C is a bad approximate Borda and Copeland winner.
3.2 Approximate strategyproofness
We consider participants who have utilities over the set of alternatives. The utility of voter i is denoted by ui(·) and is assumed to satisfy 0 ≤ ui(x) ≤ 1 for all x. It is consistent with a ranking ≻i if ui(x) ≥ ui(y) if x ≻i y. An ϵ-strategyproof voting rule is defined according to the definition given by Birrell and Pass, i.e. regardless of how a participant changes his votes (including if he knows all the votes cast by others), he cannot increase his expected utility by more than ϵ.
Definition 2. A voting rule f is ϵ-strategyproof if for all voters i, all preference profiles ⃗≻, all alternative preference profiles ⃗≻′ which differ only in voter i's ranking, and all utility functions ui consistent with ≻i,
where the expectation E[·] is over any randomness in the voting rule f. A voting algorithm is ϵ-strategyproof if the voting rule it induces is ϵ-strategyproof.
3.3 Differential privacy
Differential privacy is a standard way to formalize the loss of privacy of an individual after a computation using the individual's personal information is published [Dwork and Roth, 2014]. In the context of voting, loss of privacy occurs when others are able to determine the private preference rankings of an individual, which could be sensitive depending on the issue being voted on.
Informally, a differentially private voting rule is one in which an intruder is unable to determine an individual's ranking based on the published output ranking, even if he knows all the other voter rankings.
Definition 3. A voting rule f is ϵ-differentially private if for all preference profiles ⃗≻ and ⃗≻′ that differ on a single voter's ranking, and all S ⊆ C,
A voting algorithm is ϵ-differentially private if the voting rule it induces is ϵ-differentially private.
Though we are not aware of work on differentially private voting, it was pointed out by Birrell and Pass that the approach they take to achieving ϵ-strategyproofness, that of adding noise to the original function computed, is a common approach taken to achieving differential privacy.
4 Eliciting an approximate Borda winner
In Lee et al., an algorithm was given which found an ϵBorda winner with probability 1 - δ using N = O( m ϵ2 log mδ ) comparisons. In this section, we show that a variant of their algorithm also obtains an ϵ-Borda winner using N = O( m ϵ2 log mδ ) comparisons, but in a way which guarantees ϵdifferential privacy and ϵ-strategyproofness when n ≥ 1ϵ N, i.e. m ≤ ˜O(ϵ3n). We emphasize that it is able to achieve these while also spreading out the work evenly among all the voters.
The algorithm (Alg. 1) works in the following way. With probability γ = min( 1 2 δ, 1m ), return a random alternative as the winner. Otherwise, define Nx for x ∈ C to be i.i.d. Binomial(N, 2m ) random variables 6 . For each x, sample Nx random comparisons in which a random voter compares x and another random candidate. Let Sx denote the number of these comparisons for which x wins. Then return the alternative which maximizes Sx as the winner (ties broken uniformly at random).
ALGORITHM 1: BORDA+RANDOM
Input: alternatives C, voters V , parameters N, γ Output: A winning alternative if U ∼ Uniform[0, 1) ≤ γ then return an alternative uniformly at random; else
return an alternative according to BORDA(C, V, N);
ALGORITHM 2: BORDA
Input: alternatives C, voters V , parameter N Output: A winning alternative for x ∈ C do Let Nx ∼ Binomial(N, 2m ); Initialize Sx = 0; for i ← 1 to Nx do Sample y ∈ C \ {x} and v ∈ V uniformly at random; if x ≻v y then Sx = Sx + 1;
return the alternative maximizing Sx (ties broken uniformly);
Theorem 1. For any ϵ, δ ∈ (0, 1), Algorithm 1 with N = O( m ϵ2 ln mδ ) and γ = min( 12 δ, 1m ) returns an ϵ-Borda winner with probability at least 1 - δ. Moreover, it is also ϵdifferentially private and ϵ-strategyproof when n ≥ 1ϵ N. 7
6 Choosing Nx i.i.d. was necessary for our proof, but it may be that a proof exists which can relax this. The binomial parameter 2m was chosen so that E[∑x Sx] = N.
7 For simplicity, we use a single parameter ϵ for approximate
Proof. We first show that Algorithm 1 returns an ϵ-Borda winner with probability 1 - δ. By Lemma 1, the alternative returned by BORDA (Algorithm 2) is an ϵ-Borda winner with probability at least 1 - δ2 . Since the probability of returning an alternative randomly is only γ ≤ δ2 , our result follows by a union bound.
Lemmas 2 and 5 show that Algorithm 1 is ϵ-differentially private and ϵ-strategyproof. Lemma 2 first demonstrates that BORDA (Algorithm 2), which we denote by B, satisfies
when n ≥ 1ϵ N (see Definition 2). Lemma 5 then obtains our final result from this condition. These Lemmas can be found in the Appendix of the full version (see note in Section 1.1).
4.1 Intuition
The intuition for this result is that, for alternatives which have a non-trivial probability of winning, their probability of winning is not greatly affected (by more than a (1 + ϵ) factor) by a single voter's ranking. This is due to the random nature of the elicitation scheme. For alternatives which have a very small probability of winning under the elicitation scheme, their probability of winning is dominated by the probability of choosing a random alternative as the winner. This intuition is broadly applicable, and is the method used in our later proofs.
In this case, it is possible to show that mixing Algorithm 2 with choosing a random alternative is necessary to obtain ϵ-differential privacy. However, Algorithm 2 alone (without choosing a random alternative) is sufficient for obtaining ϵstrategyproofness. This will not always be true in the general case. These statements are formalized in Lemmas 6 and 7 in the Appendix of the full version (see note in Section 1.1).
5 Eliciting approximations by sampling voters
In [Caragiannis et al., 2013], it was shown that O( 1 ϵ2 log mδ ) sampled voter rankings allows one to find the true ranking when voters are assumed to be drawn from a Mallows distribution. In this section, we show that it is possible to find the ϵ-approximate winner of any tournament voting rule by sampling N = O( 1 ϵ2 log mδ ) voter rankings (Alg. 3). By using standard sorting algorithms, such as quicksort, one can elicit each ranking using O(mlogm) pairwise comparisons for a total of ˜O( m ϵ2 ) comparisons. Our results hold for arbitrary voter rankings. We also show that this simple procedure is both ϵ-differentially private and ϵ-strategyproof when n ≥ m ϵ2N, i.e. m≤ ˜O(ϵ4n).
Theorem 2. For any ϵ, δ ∈ (0, 1), Algorithm 4 with N = O( 1 ϵ2 ln mδ ) and any tournament voting rule f returns an ϵ-f winner with probability 1 - δ.
Proof. Let T denote the true preference tournament of the voters, i.e. Txy is the number of voters preferring alternative x to y. Recall that ˆw is an ϵ-f winner if another preference
winners, differential privacy, and approximate strategyproofness. It would not be hard to generalize our results to different parameters.
ALGORITHM 3: SAMPLE-VOTERS+RANDOM
Input: alternatives C, voters V , a tournament voting rule f, and parameters N, γ Output: A winning alternative if U ∼ Uniform[0, 1) ≤ γ then return an alternative uniformly at random; else return an alternative according to SAMPLE-VOTERS(C, V, f, N);
ALGORITHM 4: SAMPLE-VOTERS
Input: alternatives C, voters V , a tournament voting rule f, and
return f (T ′ );
tournament T ′ exists such that ˆw = f(T ′ ) and ‖T ′x -Tx‖1 ≤ ϵn(m-1) for any x. In Algorithm 4, the winner returned was defined as the output of f(T ′ ), where T ′ is constructed from the sampled voter rankings. We show in Lemma 8 that T ′ does indeed satisfy ‖T ′x -Tx‖1 ≤ ϵn(m-1) with probability at least 1 - δ, which gives us our result (see Appendix in full version linked to in Section 1.1).
The following theorem shows that mixing SAMPLEVOTERS with some small probability of returning a random alternative achieves ϵ-differential privacy and ϵstrategyproofness. We note that a slight sacrifice is made in that an ϵ-approximate winner is only achieved in expectation (as opposed to with high probability).
Theorem 3. For any ϵ ∈ (0, 1), Algorithm 3 with N = O( 1 ϵ2 ln mϵ ), γ = ϵ, and any tournament voting rule f returns an ϵ-f winner in expectation. Moreover, it is also ϵdifferentially private and ϵ-strategyproof when n ≥ 2m ϵ2 N.
Proof. Let ϵ′ = ϵ3 . A winner is returned from SAMPLEVOTERS with probability 1 - ϵ′ . This winner is an ϵ′ - approximate winner with probability at least 1-ϵ′ (from Theorem 2). In any other scenario, the alternative returned must be a 1-approximate winner at worst (since all comparisons can be changed with ϵ = 1). Then the expected approximation factor is
The proof that Algorithm 3 is ϵ-differentially private and ϵstrategyproof is similar to that of Theorem 1. We first show that SAMPLE-VOTERS (Algorithm 4), which we denote by B, satisfies
when n ≥ m ϵ2N (Lemma 9). Then we can apply Lemma 5 to obtain ϵ-differential privacy and ϵ-strategyproofness. These Lemmas can be found in the Appendix of the full version as noted in Section 1.1.
It is useful to note that one could still obtain an ϵapproximate winner with high probability (≥ 1 - δ) if one chooses γ = O(δ). However, this would require n to satisfy n ≥ m ϵδ N which restricts the applicability of such a result since δ is typically very small. We believe that it is possible to obtain a high probability result without further restricting n for many common voting rules by following the same intuition described previously. However, such a proof would likely need to be more specifically tailored to individual voting rules.
6 Eliciting approximations by sampled subsets
Even though Algorithm 3 is efficient, ϵ-strategyproof, and ϵ-differentially private for all tournament voting rules, it relies on a small number of voters who must contribute a large amount of information. While this may be useful in some situations, it is sometimes desirable to not require a large amount of information from any voter. This is particularly important when the number of alternatives is so large that it is not feasible for voters to even look through all the alternatives.
In this section, we show that one can efficiently elicit approximate winners for any tournament voting rule, while also spreading out the workload evenly among voters. However, it is still an open problem whether the given algorithm is able to achieve ϵ-differential privacy and ϵ-strategyproofness.
The algorithm we use asks each participant to provide a full ranking of k randomly chosen alternatives, a task which can be achieved in O(k log k) comparisons with standard sorting algorithms. We show that when k = ˜O( m ϵ√n ), it is possible to approximate all tournament voting rules. This can be elicited in a total of ˜O( m√n ϵ ) pairwise comparisons.
Theorem 4. For any ϵ, δ ∈ (0, 1), Algorithm 5 with k = O( m ϵ√n √log mδ ) and any tournament voting rule f returns an ϵ-f winner with probability at least 1 - δ.
Proof. The proof is similar to that of Theorem 2. All we need to show is that T ′ as constructed in Algorithm 5 satisfies ‖T ′x - Tx‖1 ≤ ϵn(m - 1) with probability at least 1 - δ. We show this in Lemma 10 (see Appendix in full version linked to in Section 1.1).
7 Group strategyproofness
Birrell and Pass also defined approximate group strategyproofness to show that the approximation guarantees degraded gracefully if the algorithms were used to protect against collusion from multiple players. In this section, we
ALGORITHM 5: SAMPLED-SUBSETS
Input: alternatives C, voters V , a tournament voting rule f, and parameter k
Output: An output winner
for v ∈ V do
Let Cv denote k alternatives sampled without replacement; Use quicksort to elicit participant v's ranking of Cv;
Normalize Z by letting T ′xy = n · Zxy Zxy+Zyx for all x, y ∈ C; return f (T ′ );
show that our algorithms also degrade quite nicely as the number of colluding voters increases.
Definition 4. A voting rule f is (t, ϵ)-strategy-proof if for any set of t voters D, all preference profiles ⃗≻, all alternative preference profiles ⃗≻′ which differ only in the rankings of voters in D, and all utility functions ui,
Intuitively, (t, ϵ)-strategyproofness states that no group of t voters can improve their collective utility by more than ϵ by deviating, regardless of the ranking other voters give.
The following theorems show that decreasing the number of pairwise comparisons used by a factor of t allows one to achieve (t, ϵ)-strategyproofness for Algorithms 1 and 3. The cost is that the approximation factor (for the winner obtained) goes up by a factor of √t. These results are shown with the same assumptions as in the prior results, i.e. m ≤ ˜O(ϵ3n) and m ≤ ˜O(ϵ4n) respectively. The intuition for this is that decreasing the number of comparisons adds more noise to the winner, which leads to stronger strategyproofness.
Theorem 5. For any ϵ, δ ∈ (0, 1), Algorithm 1 with N = O( m tϵ2 ln mδ ) and γ = min( 12 δ, 1m ) returns an ϵ√t-Borda winner with probability at least 1 - δ. Moreover, it is also ϵ-differentially private and ϵ-strategyproof when n ≥ tϵ N.
Proof. The proof is essentially identical to that of Theorem 1. The key difference is in Lemma 4 in which one wants to show that fk ≤ (1+ϵ)f ′k . With t colluding voters, |p′i -pi| ≤ 2t mn , so that fk ≤ f ′k exp{O(tN/n)}.
Theorem 6. For any ϵ ∈ (0, 1), Algorithm 3 with N = O( 1 tϵ2 ln mϵ ), γ = ϵ, and any tournament voting rule f returns an ϵ√t-f winner in expectation. Moreover, it is also ϵdifferentially private and ϵ-strategyproof when n ≥ 2mt ϵ2 N.
Proof. The proof is essentially identical to that of Theorem 3. The key difference is in Lemma 9 in which one wants to find the probability that none of the t colluding voters get sampled. Let D be any set of t voters. Then,
The rest of the arguments are identical.
8 Discussion and FutureWork
There are a few important observations to make with respect to limitations of the presented algorithms. First, our algorithms do not circumvent intractability. That is, for voting rules such as Kemeny, calculating f(T ′ ) is intractable, which means that Algorithms 4 and 5 are also intractable.
Second, we note that in the definition of an approximate winner ˆw, it was only required that ˆw be the output of a preference tournament T ′ which was close to the actual preference tournament T. It was pointed out in Lee et al. that this does not necessarily imply that a preference profile (set of rankings) exists which induces T ′ . An interesting direction is to generalize these results to a definition of an approximate winner which is defined directly on preference profiles using the Kendall-tau distance (see the discussion in Lee et al.).
Finally, we note that while our results scale well with the number of candidates, we believe that there is still room for improvement in the dependence on ϵ. For example, in Theorem 3, ϵ-strategyproofness and ϵ-differential privacy are only attainable when n ≥ O( 1 ϵ4 ), which may only be feasible for ϵ ∼ 0.1.
Acknowledgments
This work was supported in part by ARO Grant No. 116388, an NSF graduate research fellowship, and a Brown Institute for Media Innovation Magic Grant.
@inproceedings{ijcai2015p287,
title = {Efficient, Private, and eps-Strategyproof Elicitation of Tournament Voting Rules},
author = {Lee, David Timothy},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI-15}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Qiang Yang and Michael Wooldridge},
pages = {2026--2031},
year = {2015},
month = {7},
note = {Main Track},
url = {https://ijcai.org/proceedings/2015/287},
}
TY - CPAPER TI - Efficient, Private, and eps-Strategyproof Elicitation of Tournament Voting Rules AU - Lee, David Timothy T2 - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15 PB - International Joint Conferences on Artificial Intelligence PY - 2015 SP - 2026 EP - 2031 UR - https://ijcai.org/proceedings/2015/287 ER -Copied
Machine-readable versions of this paper, for tools and AI agents: