1 Introduction
We consider the classic election model: we are given a set of candidates, a set of voters—the voters have preferences over the candidates—and the goal is to select the winner, i.e., the candidate that is (in some sense) most preferred by the voters. The two most common ways in which the voters express their preferences is (i) by ranking the candidates from the most to the least preferred one, or (ii) by providing approval sets, i.e., subsets of candidates that they find acceptable. The collection of rankings (resp. approval sets), one for each voter, is called a rankingbased (resp. approvalbased) profile. There exist a plethora of rules that define how to select the winner based on a given preference profile, and comparing these election rules is one of the fundamental questions of the social choice theory [3].
One such approach to comparing rules, proposed by Procaccia and Rosenschein [22], is based on the concept of distortion. Hereinafter, we explore its metric variant [2]: the main idea is to assume that the voters and the candidates are represented by points in a metric space called the issue space. The optimal candidate is the one that minimizes the sum of the distances to all the voters. However, the election rules do not have access to the metric space itself but they only see the rankingbased profile induced by : in this profile the voters rank the candidates by their distance to themselves, preferring the ones that are closer to those that are farther. Since the rules do not have full information about the metric space they cannot always find optimal candidates. The distortion quantifies the worstcase loss of the utility being effect of having only access to rankings. Formally, the distortion of a voting rule is the maximum, over all metric spaces, of the following ratio: the sum of the distances between the elected candidate and the voters divided by the sum of the distances between the optimal candidate and the voters.
The concept of distortion is interesting, yet—in its original form—it only allows to compare rankingbased rules. In this paper we extend the distortionbased approach so that it captures approval preferences. In the first part of the paper we analyze the distortion of Approval Voting (AV), i.e., the rule that for each approvalbased profile returns the candidate that belongs to the most approval sets from . To formally define the distortion of AV one first needs to specify, for each metric space , what is the approvalbased profile induced by . Here, we assume that each voter is the center of a certain ball and approves all the candidates within it. We can see that each metric space induces a (possibly large) number of approvalbased profiles—we obtain different profiles for different lengths of radiuses of the balls. This is different from rankingbased profiles, where (up to tiebreaking) each metric space induced exactly one profile. Thus, the distortion of AV might depend on how many candidates the voters decide to approve. Indeed, it is easy to observe that if each voter approves all the candidates, then the rule can pick any of them, which results in an arbitrarily bad distortion. On the other hand, by an easy argument we will show that for each metric space there exists an approvalbased profile consistent with , such that AV for selects the optimal candidate. In other words: AV can do arbitrarily well or arbitrarily bad, depending on how many candidates the voters approve.
Our first main contribution is that we fully characterize how the distortion of AV depends on the length of radiuses of approval balls. Specifically, we show that the distortion of AV is equal to 3, when the lengths of approval radiuses of the voters are all equal and such that the optimal candidate is approved by between and of the population of the voters (and this is the optimal distortion for the case of radiuses of equal length). The exact relation between the number of voters approving the optimal candidate and the distortion of AV is depicted in Figure 1.
In the second part of the paper we explore the following related idea: assume that the goal of the election rule is not to select the candidate minimizing the total distance to the voters, but rather to pick the one that is acceptable for most of them. E.g., AV perfectly implements this idea. A natural question is how good are rankingbased rules with respect to this criterion. To answer this question we introduce a new concept of acceptabilitybased distortion (in short, abdistortion). We assume that each metric space, apart from the points corresponding to the voters and candidates, contains acceptability balls—one for each voter (as before, each voter is the center of the corresponding ball). The optimal candidate is the one that belongs to the most acceptability balls, and the abdistortion distortion measures the normalized difference between the numbers of balls to which the elected and the optimal candidates belong. The abdistortion is a real number between 0 and 1, where 0 corresponds to selecting the optimal candidate and 1 is the worst possible value ^{1}^{1}1The reader might wonder why we define the abdistortion as a difference rather than as a ratio (as it is done for the classic definition of the distortion). Indeed, we first used the ratios in our definition, but then it was very easy to construct instances where any rule had the distortion of . Further, we found that these results do not really speak of the nature of the rules but rather are artifacts of the used definition. Consequently, we found that the considering the difference gives more meaningful results..
Among the rankingbased rules that we consider in this paper, the best (and the optimal) abdistortion is attained by Ranked Pairs and the Schulze’s method. It is an open question, whether they are the only natural rules with this property. It is worth mentioning, that its abdistortion is closely related to the size of the Smith set, so in case it is small (in particular, when the Condorcet winner exists) these rules have even better abdistortion. We have found an interesting result for the Copeland’s rule. Although in case of classic (distancebased) distortion most Condorcet rules are equally good, this is no longer the case when acceptability is the criterion we primarily care about. The abdistortion of the Copeland’s rule is equal to 1, which is the worst possible value. This rule is optimal only if the Condorcet winner exists (e.g. when the metric space is onedimensional). The distortion of scoring rules (Plurality, Borda, Veto, kapproval) is significantly worse that for Ranked Pairs. An another surprising result is the distortion of STV—while this rule is known to achieve a very good distancebased distortion, its abdistortion is even worse than for Plurality (denoting the number of candidates as , STV and Plurality achieve the abdistortion of and , respectively). In case of all these rules the worstcase instances were obtained in onedimensional Euclidean metric spaces. Our results are summarized in Table 1.
Rule  Distancebased distortion ()  Abdistortion () 

Each rule  for  
otherwise  
Plurality  
Borda  
kapproval  
Veto  
Copeland  for  
otherwise  
Ranked Pairs  for  
otherwise  
Schulze’s Rule  for  
otherwise  
STV 
2 Preliminaries
For each set by and we denote, respectively, the powerset of and the set of all linear orders over . By we denote the complement set of , and by
—the set of all vectors with the elements from
. For each two sets and a function by we denote the function defined as follows:For convenience we assume that denotes the affinely extended real number system (the set of real numbers with additional symbols , and ). We take the following convention for arithmetical operations:
Expressions , , and are undefined.
2.1 Our Metric Model
An election instance is a tuple , where is the set of voters, , is the set of candidates, is a distance function ( allows us to view the candidates and the voters as points in a pseudometric space), and is an acceptability function, mapping each voter to a subset of candidates that finds acceptable. We assume that is nonempty, i.e., for each , , and that is local consistent—for each , , if and , then . Often we will also require that satisfies a stronger condition, called global consistency—for each , , if and , then . Intuitively, localconsistency means that for each voter we can associate with a ball with the center at the point of this voter. A voter considers a candidate to be acceptable for him, , if and only if lies within the ball. Such a ball will be further called the acceptability ball and its radius—the acceptability radius. Then, global consistency can be interpreted as an assumption that all the acceptability radiuses have equal lengths.
We will sometimes slightly abuse the notation: by saying that an instance satisfies local (global) consistency we will mean that the acceptability function in the instance satisfies the respective property.
By , we denote the set of all election instances. Since issue spaces are often argued to be Euclidean spaces with small numbers of dimensions, we additionally introduce the following notation: for each let denote the set of all the instances where the elements of and are associated with points from , and is the Euclidean distance.
2.2 Preference Representation
In most cases, it is difficult for the voters to explicitly position themselves in the issue space, and often even the space itself is unknown. Therefore, we will consider voting rules that take as inputs preference profiles induced by election instances, instead of instances themselves. We consider two classic approaches to represent preferences.
 Rankingbased profiles.

A rankingbased profile induced by an election instance is the function , mapping each voter to a linear order over such that for all and all if then . For each voter , the relation (for convenience also denoted as , whenever the instance is clear from the context) is called the preference order of . If for some it holds that , we say that prefers over .
 Approvalbased profiles.

An approvalbased profile of an election instance is a locally consistent acceptability function . We say that a candidate is approved by a voter if . We will say that the approvalbased profile is truthful if for all it holds that .
Let us introduce some additional useful notation. Let be a function mapping vectors of distinct candidates to sets of voters as follows:
For convenience, we will write instead of ^{2}^{2}2It will always be clear from the context whether in the inscription , should be interpreted as a vector or as a candidate.. Note that for all we have and .
We say that dominates if and that weakly dominates if . We say that a candidate Paretodominates a candidate if there holds that . A candidate is Paretodominated if there exists a candidate who Paretodominates .
2.3 Definitions of Voting Rules
An election rule (also referred to as a voting rule) is a function mapping each preference profile to a set of tied winners. We distinguish rankingbased rules—taking rankingbased profiles as arguments, and approvalbased rules—defined analogously. Among approvalbased rules, we focus on Approval Voting (AV)—the rule that selects those candidates that are approved by most voters. In the remaining part of this subsection we recall definitions of the rankingbased rules that we study in this paper.
Positional scoring rules
For a given vector , the scoring rule implemented by works as follows. A candidate gets points from each voter who puts in the th position in . The rule elects the candidates whose total number of point, collected from all the voters, is maximal. Some wellknown scoring rules which we will study in the further part of this work are the following:

Plurality: ,

Veto: ,

Borda: ,

kapproval: (for ).
The Copeland’s Rule
The Copeland’s rule elects candidates who dominate at least as many candidates as any other candidate. More formally, a candidate is a winner if and only if:
Ranked Pairs
Ranked Pairs works as follows: first we sort the pairs of candidates in the descending order of the values . Then, we construct a graph where the vertices correspond to the candidates. We start with the graph with no edges; then we iterate over the sorted list of pairs—for each pair we add an edge from to unless there is already a path from to in . If such a path exists, we simply skip this pair. Clearly, the soconstructed graph is acyclic. The source nodes of are the winners.
The Schulze’s Rule
The Schulze’s rule works as follows: let the beatpath of length from candidate to be a sequence of candidates such that dominates , dominates and for each , dominates . Let the strength of the beatpath be the minimum of values , . By we denote the maximum of strenghts of all beatpaths from to . Candidate is the winner if and only if for each candidate it holds that .
Stv
Single Transferable Vote (STV) works iteratively as follows: if there is only one candidate, elect this candidate. Otherwise, eliminate the candidate who has the least points according to the Plurality rule and repeat the algorithm.
Note that the aforementioned rules are irresolute by definition. Further, we did not specify the tiebreaking rule used when sorting edges in Ranked Pairs and when eliminating candidates in STV. We will make all these rules resolute by using the lexicographical tiebreaking rule, denoted by .
2.4 Measuring the Quality of Social Choice
In this section we formalize the concept of distortion that, on the intuitive level, we already introduced in Section 1.
Distancebased approach
A natural idea to relate the quality of a candidate with the sum of the distances from this candidate to all the voters. The lower this sum is, the higher the quality. Following this intuition, the distortion of a voting rule in instance , is defined as follows (below, denotes the optimal candidate for ):
where is the set of profiles induced by (either ranking or approval, depending on the domain of ). .
This approach can be applied to any rule discussed so far. For rankingbased rules it has already been widely studied in the literature, hence in the further part we will focus on AV.
Acceptabilitybased approach
Now we present an alternative way to measure the quality of candidates, based on the acceptability function. Intuitively, the more voters a candidate is acceptable for, the higher his quality. Besides, we would like the maximal possible quality not to depend on the number of voters. Therefore, we define the acceptabilitybased distortion (abdistortion, in short) of a voting rule in instance as the following expression:
where is the set of profiles induced by (either rankingbased or approvalbased, depending on the domain of ). Clearly, the abdistortion is always a value from . By definition, Approval Voting always elects an optimal candidate in terms of abdistortion. Thus, we will consider our acceptabilitybased measure only for rankingbased rules.
Let be an expression that can depend on characteristics of an instance (e.g., on the number of candidates, or size of the Smith set). We say that the (acceptabilitybased) distortion of a rule is , if for each instance , and for each there is an instance with .
3 Distortion of Approval Voting
In this section we analyze the distancebased distortion of Approval Voting (AV)—hereinafter we denote AV by .
We start by showing that in the most general case, if we do not make any additional assumptions about the acceptability function, the distortion of AV can be arbitrarily bad.
Proposition 3.1.
There exists an instance such that .
This result is rather pessimistic. However, one could ask a somehow related question—does there for each instance always exist an approval profile consistent with that would result in a good distortion? In contrast to Proposition 3.1, here the answer is much more positive.
Proposition 3.2.
For each instance , there is an approval based profile consistent with such that is the optimal candidate (minimizing the total distance to voters).
Propositions 3.2 and 3.1 show that for each metric space there always exists two approval profile consistent with such that for AV selects the worst possible candidate, and for it selects the optimal one—since and are both consistent with , they only differ in the sizes of approval balls. This formally shows that the performance of AV strongly depends on how many candidates the voters decide to approve. Below, we provide our main result of this section—assuming that all the acceptability balls have radiuses of the same length, we show the exact relation between this length of approval radiuses and the distancebased distortion of AV. In particular, we show that the best approval radius is such that the optimal candidate is approved by between and fraction of all the voters.
Definition 3.3.
An approvalbased profile induced by an instance is efficient for if .
In words, a profile is pefficient if the number of voters who approve the optimal candidate is the fraction of .
Theorem 3.4.
For each globally consistent efficient instance , we have the following results:
The above function is depicted in Figure 1.
All these bounds are attained for instances in . While we omit the formal proof of this statement, in order to give the reader a better intuition, we illustrate hard instances for different values of in Figure 2.
Finally, for completeness, we give an analogue of Proposition 3.2, but for globallyconsistent instances.
Proposition 3.5.
For each instance , there exists an approval profile globally consistent with , such that
4 ABDistortion of Ranking Rules
Recall that the abdistortion of a voting rule is a value from , proportional to the difference between the number of voters accepting the optimal candidate and the number of voters accepting the winner. By definition, this value equals for AV (provided the approval profile is truthful). In this section we analyze the abdistortion of rankingbased rules.
We start by proving the lower bound on the abdistortion of any rankingbased voting rule.
Theorem 4.1.
For each and each rankingbased rule , there exists a globally consistent instance such that:

the size of the Smith set in the rankingbased profile induced by equals ,

In the subsequent part of this section we will assess the distortion of specific voting rules, specifically looking for one that meets the lowerbound from Theorem 4.1.
4.1 Condorcet Rules
We start by looking at Condorcet consistent rules. Note that the lower bound found in Theorem 4.1 is promising, as it depends on the size of the Smith set. In particular, if , this bound equals . Our first goal is to determine, whether Condorcet rules meet this bound.
Theorem 4.2.
Let be an instance where a Condorcet winner exists. Then, for each Condorcet consistent rule we have . This bound is achievable for a globally consistent .
From the above theorem, we get that for each Condorcet election method matches the lower bound from Theorem 4.1. Now we will prove that there exists election rules, namely Ranked Pairs and the Schulze’s rule, which match this bound for each .
Theorem 4.3.
For each election instance , the abdistortion of Ranked Pairs and the Schulze’s method is equal to:

for ,

for ,
where is the size of the Smith set of .
As we can see, there is no rule with a better abdistortion than these two rules. Yet, it is not a feature of all the Condorcet methods. As we will see, even for the wellknown Copeland’s rule, the possible pessimistic distortion is much worse.
Theorem 4.4.
For each , there exists a globally consistent instance for which the abdistortion of the Copeland’s rule exceeds .
4.2 Scoring Rules
Let us now move to positional scoring rules. Here, we obtain significantly worse results than for Ranked Pairs and the Schulze’s rule. A general tight upper bound for the abdistortion of any scoring rule remains an open problem. Below we provide bounds that are tight for certain specific scoring rules.
Theorem 4.5.
For a scoring rule defined by vector the abdistortion of satisfies:

, if ,

, otherwise.
The bound obtained in Theorem 4.5
is not tight in general. For example, for Plurality we have a tighter estimation.
Theorem 4.6.
The abdistortion of Plurality is . This bound is achieved for globally consistent instances in .
Yet, for a number of scoring rules the bound from Theorem 4.5 is tight. Below, we give some sufficient conditions.
Proposition 4.7.
The bound from Theorem 4.5 is tight for each scoring rule satisfying the following conditions:

,

even for globally consistent instances in .
Propositions 4.7 and 4.5 imply the abdistortion for a number of scoring rules.
Corollary 4.8.
There exists a globally consistent instance , for which:

the abdistortion of kapproval is ,

the abdistortion of Veto is ,

the abdistortion of Borda is .
4.3 Iterative rules
All scoring rules that we considered have poor abdistortion, and in particular are considerably worse than Condorcet rules (especially for instances with Condorcet winners).
Interestingly, STV in terms of acceptability, behaves worse even than Plurality. This is somehow surprising since for distancebased distortion, STV is better than any positional scoring rules, and only slightly worse than Condorcet rules.
Theorem 4.9.
The abdistortion of STV is .
The above bound is tight even in onedimensional Euclidean spaces. It is also tight if we restrict ourselves to global consistent instances. There, the hard instances that we found use dimensional Euclidean space.
Proposition 4.10.
The bound from Theorem 4.9 is tight for locally consistent instances from and globally consistent instances from .
5 Related Work
The spatial model of preferences is quite popular in the social choice and political science literature. For example seminal works studying spacial models we refer the reader to [10, 21, 11, 12, 18, 19, 24].
The concept of distortion was first introduced by Procaccia and Rosenschein [22]. In their work they did not assume the existence of a metric space, but rather used a generic cardinal utility model (where the voters can have arbitrarily utilities for candidates). This model was later studied by Caragiannis and Procaccia [8] and Boutilier et al. [6]. Recently, Benadé et al. [5] introduced the concept of distortion for social welfare functions, i.e., functions mapping voters preferences to rankings over candidates, and Benade et al. [4] adapted and used the concept of distortion in the context of participatory budgeting to evaluate different methods of preference elicitation. The studies of the concept of distortion in metric spaces were initiated by Anshelevich et al. [2], and then continued by Anshelevich and Postl [1], Feldman et al. [13], Goel et al. [15], and Gross et al. [16].
The analysis of the distortion forms a part of a broader trend in social choice stemming from the utilitarian perspective. For classic works in welfare economics that discuss the utilitarian approach we refer the reader to the article of Ng [20] and the book of Roemer [23]. This approach has also recently received a lot of attention from the computer science community. Apart from the papers that directly study the concept of distortion that we discussed before, examples include the works of FilosRatsikas and Miltersen [14], Branzei et al. [7], and Chakrabarty and Swamy [9].
6 Conclusion
In this paper we have extended the concept of distortion of voting rules to approvalbased preferences. This extension allows to compare rules that take different types of input: approval sets and rankings over the candidates. To the best of our knowledge, only very few formal methods are known that allow for such a comparison. We are aware of only one work that formally relates these two models: Laslier and Sanver [17] proved that in the strong Nash equilibrium Approval Voting selects the Condorcet winner, if such exists.
Our contribution is twofold. First, we have determined the distortion of Approval Voting, and explained how this distortion depends on voters’ approval sets. We have shown that the socially best outcome is obtained when voters approve not too many and not too few candidates. If the lengths of voters’ acceptability radiuses are all equal, the best distortion is obtained when the approval sets are such that between and of the voters approve the optimal candidate.
Second, we have defined a new concept of acceptabilitybased distortion (abdistortion). Here, we assume that the voters have certain acceptability thresholds; the abdistortion of a given rule measures how many voters (in the worstcase) would be satisfied from the outcomes of . We have determined the abdistortion for a number of election rules (our results are summarized in Table 1), and reached the following conclusions. The analysis of the classic and the acceptabilitybased distortions both suggest that Condorcet rules perform better than scoring and iterative ones. Further, our acceptabilitybased approach suggests that Ranked Pairs and the Schulze’s rule are particularly good rules, in particular significantly outperforming the Copeland’s rule. Thus, our study recommends Ranked Pairs or the Schulze’s method as rules that robustly perform well for both criteria (total distance, and acceptability). The question whether they are the only natural rankingbased rules performing well for both criteria is open. Approval Voting is also a very good rule that can be considered an appealing alternative to them, provided the sizes of the approval sets of the voters are appropriate.
Acknowledgments
The authors were supported by the Foundation for Polish Science within the Homing programme (Project title: ”Normative Comparison of Multiwinner Election Rules”).
References

Anshelevich and Postl [2017]
E. Anshelevich and J. Postl.
Randomized social choice functions under metric preferences.
Journal of Artificial Intelligence Research
, 58:797–827, 2017.  Anshelevich et al. [2018] E. Anshelevich, O. Bhardwaj, E. Elkind, J. Postl, and P. Skowron. Approximating optimal social choice under metric preferences. Artificial Intelligence, 264:27–51, 2018.
 Arrow et al. [2002] K. Arrow, A. Sen, and K. Suzumura, editors. Handbook of Social Choice and Welfare, Volume 1. Elsevier, 2002.
 Benade et al. [2017] G. Benade, S. Nath, A. Procaccia, and N. Shah:. Preference elicitation for participatory budgeting. In Proceedings of the 31st AAAI Conference on Artificial Intelligence, pages 376–382, 2017.
 Benadé et al. [2019] G. Benadé, A. Procaccia, and M. Qiao. Lowdistortion social welfare functions. 2019. To appear.
 Boutilier et al. [2015] C. Boutilier, I. Caragiannis, S. Haber, T. Lu, A. D. Procaccia, and O. Sheffet. Optimal social choice functions: A utilitarian view. Artificial Intelligence, 227:190–213, 2015.
 Branzei et al. [2013] S. Branzei, I. Caragiannis, J. Morgenstern, and A. Procaccia. How bad is selfish voting? In Proceedings of the 27th AAAI Conference on Artificial Intelligence, pages 138–144, 2013.
 Caragiannis and Procaccia [2011] I. Caragiannis and A. D. Procaccia. Voting almost maximizes social welfare despite limited communication. Artificial Intelligence, 175(9–10):1655–1671, 2011.
 Chakrabarty and Swamy [2014] D. Chakrabarty and C. Swamy. Welfare maximization and truthfulness in mechanism design with ordinal preferences. In Proceedings of the 5th Conference on Innovations in Theoretical Computer Science, pages 105–120, 2014.
 Davis and Hinich [1966] Otto A Davis and Melvin J. Hinich. A mathematical model of preference formation in a democratic society. In J.L Bernd, editor, Mathematical Applications in Political Science II, pages 175–208. Southern Methodist University Press, 1966.
 Enelow and Hinich [1984] J. M. Enelow and M. J. Hinich. The spatial theory of voting: An introduction. CUP Archive, 1984.
 Enelow and Hinich [1990] James M Enelow and Melvin J Hinich. Advances in the spatial theory of voting. Cambridge University Press, 1990.
 Feldman et al. [2016] M. Feldman, A. Fiat, and I. Golomb. On voting and facility location. In Proceedings of the 17th ACM Conference on Economics and Computation, pages 269–286, 2016.
 FilosRatsikas and Miltersen [2013] A. FilosRatsikas and P. B. Miltersen. Truthful approximations to range voting. In Proceedings of th 10th International Conference on Web and Internet Economics, pages 175–188, 2013.
 Goel et al. [2017] A. Goel, A. K. Krishnaswamy, and K. Munagala. Metric distortion of social choice rules: Lower bounds and fairness properties. In Proceedings of the 18th ACM Conference on Economics and Computation, pages 287–304, 2017.
 Gross et al. [2017] S. Gross, E. Anshelevich, and L. Xia. Vote until two of you agree: Mechanisms with small distortion and sample complexity. In Proceedings of the 31st Conference on Artificial Intelligence, 2017.
 Laslier and Sanver [2010] J.F. Laslier and M. Sanver. The Basic Approval Voting Game, pages 153–163. Springer Berlin Heidelberg, Berlin, Heidelberg, 2010.
 McKelvey et al. [1990] R. D. McKelvey, P. C Ordeshook, et al. A decade of experimental research on spatial models of elections and committees. Advances in the spatial theory of voting, pages 99–144, 1990.
 Merrill and Grofman [1999] Samuel Merrill and Bernard Grofman. A unified theory of voting: Directional and proximity spatial models. Cambridge University Press, 1999.
 Ng [1997] Y.K. Ng. A case for happiness, cardinalism, and interpersonal comparability. The Economic Journal, 107(445):1848–1858, 1997.
 Plott [1967] C. R. Plott. A notion of equilibrium and its possibility under majority rule. The American Economic Review, 57(4):787–806, 1967.
 Procaccia and Rosenschein [2006] A. D. Procaccia and J. S. Rosenschein. The distortion of cardinal preferences in voting. In Proceedings of the 10th International Workshop on Cooperative Information Agents (CIA2006), pages 317–331, 2006.
 Roemer [1998] J. E. Roemer. Theories of distributive justice. Harvard University Press, 1998.
 Schofield [2007] Norman Schofield. The spatial model of politics. Routledge, 2007.
Appendix A Proofs Omitted from the Main Text
a.1 Proof of Proposition 3.1
Proposition 3.1.
There exists an instance such that .
Proof.
Consider the instance from Figure 3. We have two candidates , , and voters. The voters are identical—for each we have , and (thus ), and they all approve all the candidates.
In , is the optimal candidate, yet Approval Voting picks and which, together with the fact that , implies that is the winner. Thus, we get that . ∎
a.2 Proof of Proposition 3.2
Proposition 3.2.
For each instance , there is an approval based profile consistent with such that is the optimal candidate (minimizing the total distance to voters).
Proof.
Consider an instance , and let be an optimal candidate in . Consider the following approvalbased profile consistent with : each voter approves and all the candidates more preferred to , but does not approve any candidate less preferred than . Candidate gets votes. Thus, will be the winner, unless some other candidate, call it , also received votes and is preferred by the tiebreaking rule. If this is the case, then must Pareto dominate , which means that is also an optimal candidate. This completes the proof. ∎
a.3 Proof of Theorem 3.4
In the proof we will also use the following simple inequality:
Lemma A.1.
For each positive numbers such that we have that:
Proof.
For each positive numbers such that , we have:
∎
Theorem 3.4.
For each globally consistent efficient instance , we have the following results:
The above function is depicted in Figure 1.
Proof.
Let be a globally consistent efficient instance. Assume that (otherwise, the upper bound is obtained directly from the definition of distancebased distortion). Let and denote, respectively, the optimal candidate in and the winner returned by Approval Voting. As is globally consistent, there exists which is the length of acceptability radiuses of all the voters.
We first provide a few basic inequalities, which will be used in the further part of the proof. We will refer to these inequalities using their numbers—this will make the steps of our reasoning transparent. As is the winner of the voting, we have:
(1) 
From the definition of the voting radius:
(2) 
(3) 
(4) 
From trivial set properties:
(5) 
(6) 
(7) 
From the triangle inequality:
(8) 
(9) 
(10) 
(11) 
From Lemma A.1:
(12) 
(13) 
The further part of the proof will be split into three cases:

,

, and

.
For each , the final worstcase distortion is the maximum of the worstcase distortions in all these three cases.
Analysis of Case 1.
The following inequality holds:
(14) 
In this case we have:
(15) 
As the numerator is greater than the denumerator (because ):
(16) 
Analysis of Case 2.
The following inequalities hold:
(17) 
In such case, we assess the distortion as follows:
As the numerator is greater than the denumerator (because ):
Comments
There are no comments yet.