Matías Núñez
email: ma-tias.nunez@polytechnique.edu

Francis Bloch

Steve Brams

Clémence Christin

Arnaud Dellis

Marc Leandri

François Maniquet

Jordi Massó

Vincent Merlin

Remzi Sanver

Giacomo Valletta

Condorcet Consistency of Approval Voting: a counter example in Large Poisson Games *

Keywords: Approval Voting, Poisson Games, Condorcet Winner. JEL Classification Numbers: D72

Approval Voting is analyzed in a context of large elections with strategic voters: the Myerson's Large Poisson Games. We first establish the Magnitude Equivalence Theorem which substantially reduces the complexity of computing the magnitudes of the pivot outcomes. Furthermore, we show that the Condorcet Winner need not be the Winner of the election in equilibrium under Approval Voting. Indeed, a "paradoxical" example is provided where a candidate ranked first by more than half of the voters is not the Winner of the election.

Introduction

The strategic analysis of voting rules has given some insight into the understanding of their properties. However, one can assert that these analyses are "too rich" in the sense that they show that a plethora of equilibria can arise under most voting rules. In particular, there is a controversy over Approval voting or AV , a voting rule which has been called "the electoral reform of the twentieth century". This voting rule allows the voter to vote for as many candidates as he wishes and the candidate who gets the most votes wins the election. Its detractors claim that this kind of method enhances strategic voting when compared for instance to Plurality voting, whereas its proponents consider that it has several advantages as far as strategic voting is concerned. For an extensive discussion on 1 this controversy over AV , the reader can refer to Brams [START_REF] Brams | Mathematics and Democracy: Designing Better Voting and Fair-Division Procedures[END_REF], Brams and Fishburn [START_REF] Brams | Approval Voting[END_REF], and Weber [START_REF] Weber | Approval voting[END_REF].

One important feature of AV was characterized by Brams and Fishburn [START_REF] Brams | Approval voting, condorcet's principle and runoff elections[END_REF]. They show that if a Condorcet Winner exists then the AV game has a Nash equilibrium in undominated strategies that selects the Condorcet Winner. The Condorcet Winner -the candidate who beats all other candidates on pairwise contests -has often been considered to be a good equilibrium solution in voting games. The robustness of this result has been weakened by De Sinopoli, Dutta and Laslier [START_REF] Sinopoli | Approval voting: three examples[END_REF]. They apply refinements of Nash equilibrium such as the perfect equilibrium solution to Approval games. Using these techniques, they prove that in equilibrium these games can result in outcomes in which the Condorcet loser and Condorcet winner are selected with the same probability or even in which the Condorcet winner gets no vote at all. Therefore, AV does not guarantee what is called Condorcet consistency: the Winner of the election does not always coincide with the Condorcet Winner.

However, the previous works were performed in a basic game theoretical framework. Such a framework faces some criticisms when dealing with elections with a large number of voters. Indeed, it is no longer realistic to assume that voters have no prior beliefs over the expected scores of the candidates. The existence of candidates with almost no chance of winning the election might affect voters' behavior as a voter might not vote for such a candidate. The introduction of such type of prior beliefs1 is the main objective of Large Elections models. To our knowledge, there exists two main models dealing with elections with a large number of strategic voters: the Score Uncertainty model (Laslier [START_REF] Laslier | The leader rule: A model of strategic approval voting in a large electorate[END_REF]) and the Population Uncertainty model (Myerson [10,[START_REF] Myerson | Large poisson games[END_REF][START_REF] Myerson | Comparison of scoring rules in poisson voting games[END_REF]).

The former is performed in a standard game theoretical framework where uncertainty is introduced by assuming that there is some small but strictly positive probability that each vote is wrongly recorded. Under this approach, Laslier shows that AV leads to equilibria with desirable properties such as Condorcet Consistency and sincerity of voters' best responses. Myerson's Population Uncertainty framework, also known as Large Poisson Games 2 , introduces an uncertainty over the total number of voters in the election. Indeed, it assumes that the total number of voters in the game is not constant and is drawn from a Poisson distribution of a given parameter n, the expected size of the population. Voters are assumed to be instrumentally motivated and consequently, their utility depends only on the candidate who wins the election. This implies that they only care about the influence their ballot can have in pivotally changing the result of the election. Thus, the relative probabilities of pivot outcomes determine voters' best responses and hence the equilibria of the game.

Myerson [START_REF] Myerson | Comparison of scoring rules in poisson voting games[END_REF] draws a positive conclusion over the properties of Approval voting when compared to other voting rules by analyzing some simple voting situations. However, one natural question that arises when confronted with this kind of models is: how important is this reduction in the set of equilibria in Large Poisson Games? In other words, does AV lead to "desirable" equilibria in any voting situation?

In order to answer these questions, this paper focuses on Poisson voting games in which the expected number of voters n tends towards infinity. In such situations, we use magnitudes of outcomes rather than probabilities of outcomes in order to compare their relative likelihood. The magnitude of an outcome measures the speed of convergence of the probability of this outcome towards zero as defined by Myerson [START_REF] Myerson | Large poisson games[END_REF][START_REF] Myerson | Comparison of scoring rules in poisson voting games[END_REF]. We first provide a result which simplifies the computation of the magnitudes of pivot outcomes: the Magnitude Equivalence Theorem (M ET ). This theorem provides a simple way to compute the magnitudes of this type of outcomes through a simple constrained minimization problem.

Besides, we also prove through a simple voting situation that Condorcet Consistency is not generically satisfied. Indeed, we provide an example where a candidate who is ranked first by more than half of the population (and thus the Condorcet Winner) is not the Winner of the election in equilibrium. In equilibrium, voters anticipate that the Condorcet Winner is not included in the most probable pivot outcome. This information concerning the probability of affecting the outcome of the election makes the majority of the voters vote for their preferred and for their second preferred candidate and this leads to the election of the latter. The existence of such an equilibrium is a consequence of the correlation between the scores of the candidates that arise under Approval Voting in Large Poisson Games. This example shows that the refinement of the set of Nash equilibria on Large Poisson Games is limited. However, in the described situation, there exists other

t∈T k,j r(t) > 1/2 ∀ j ∈ K, j = k.
In order to completely determine an election in a Poisson voting game, the voting rule remains to be specified. Each voter i must choose a ballot c from a finite set of possible ballots denoted by C. Then, a Poisson Approval voting game will be represented by (K, T, C, n, r, u) in which C ⊂ K as an AV ballot simply consists of a subset of the set of candidates.

As shown by Myerson [START_REF] Myerson | Extended poisson games and the condorcet jury theorem[END_REF], assuming a Poisson population has two main advantages: common public information and independence of actions.

As usual, voters' actions depend on their type (private information) and on the actions of other voters. In such a probabilistic framework, there exists a probability distribution over the different possible outcomes that might arise in the election. When we refer to common public information, we mean that this probability distribution does not depend on the type t. Indeed, each voter in the election fully knows the probability distribution over the different outcomes independently of t. This is not the case when using solution concepts such as the perfect equilibrium of Selten [START_REF] Selten | A reexamination of the perfectness concept for equilibrium points in extensive games[END_REF]. In a perfect equilibrium, strategic voters have some prior beliefs over the expected scores of the candidates. However, in such an equilibrium, there is an asymmetry of information that makes more difficult the analysis of the game. This common public information property of Poisson Games entails that voters' actions uniquely depend on their private information t on this type of games in equilibrium.

The second main advantage is usually referred as the independence of actions. Indeed, the number of voters who choose a given ballot is independent from the number of voters who choose another ballot. This is not the case if we assume for instance a binomial distribution. Let us assume that a binomial random variable represents the number of voters in the election. A binomial distribution is characterized by two parameters n and p. Whereas p represents the probability of taking part in the election, the parameter n stands for the maximal size of the population. This upper-bound for the number of voters implies that voters' actions are correlated. Indeed, if two voters vote for a given candidate a, there is at most n -2 voters that can vote for other candidates. This is not the case in a Poisson voting game as there is not an upper-bound for the number of voters in the election. These two properties substantially simplify the analysis of the voting game and are unique to the Poisson games as shown by Myerson [START_REF] Myerson | Extended poisson games and the condorcet jury theorem[END_REF].

We represent voters' actions by the strategy function σ(c| t) 4 which is a function from T into ∆(C) the set of probability distributions over C. Formally, we will write

σ : T -→ ∆(C) t -→ σ(. | t).
A voter with type t chooses ballot c with probability σ(c | t). Then, taking into account the distribution of types r and the strategy function σ(. | t), the vote distribution τ = (τ (c)) c∈C can be determined as follows. For each c ∈ C, we define

τ (c) = t∈T r(t)σ(c | t).
The vote distribution τ represents the share of votes each ballot gets. We denote by x(c) the Poisson random variable with parameter nτ (c) that describes the number of voters x(c) who choose ballot c. Furthermore the vote profile x = (x(c)) c∈C is a vector of length C of independent random variables (due to the independent actions property).

The set of electoral outcomes5 given ballot set C is denoted by B(C), where Given the vote profile x, the (common knowledge) probability that the outcome is

B(C) = {b ∈ R C | b(c) is a non-negative
equal to a vector b ∈ B(C) is such that P [x = b | nτ ] = P [ c∈C x(c) = b(c) | nτ ] = c∈C P [x(c) = b(c) | nτ ] = c ∈ C e -nτ (c) (nτ (c)) b(c) b(c)! .
For ease of notation, we refer to

P [x = b | nτ ] by P [x = b].
We will be mainly interested in computing the probabilities of subsets of B(C) rather than probabilities of vectors themselves, as for instance the probability of two given ballots getting the same number of votes. Given the vote profile x, we write that the probability of the outcome

B ∈ B(C) is equal to P [x = B] = b∈B P [x = b].
Let C k denote the set of ballots in which candidate k is approved. Given the vote profile

x, the score distribution ρ = (ρ(k)) k∈K describes the share of votes that each candidate gets. For each k ∈ K,

ρ(k) = c∈C k τ (c).
It follows that the number of voters that vote for a candidate k is drawn from a Poisson random variable with mean nρ(k). Given the score distribution, we define the score profile s = (s(k)) k∈ K describes the number of voters who vote for each candidate k with

s(k) = c∈C k x(c) ∼ P(nρ(k))
Given that under AV voters can vote for several candidates, it is not generically true that the score profile s is a vector of independent random variables. As will be shown this is an important property of AV on Poisson games. Indeed, due to this correlation between the candidate scores, counterintuitive situations might arise.

Given an outcome B ∈ B(C), let M (B) = arg max j∈K ρ(j) denote the set of candidates with the most points. Assuming a fair toss of a coin, the probability of candidate k winning the election given the vector

B ∈ B(C) is Q[k | B] = 1/#(M (B)) if k ∈ M (B) 0 if k ∈ M (B).
For any outcome B ∈ B(C) and any ballot c ∈ C, we let B + {c} denote the outcome such that one ballot c is added. That is, we write that the outcome

D ∈ B(C) is such that D = B + {c} = {d ∈ D ⊂ B(C) | d(c) = b(c) + c(c) for any b ∈ B ⊂ B(C), c ∈ C}.
Thus, given the vote profile x, a voter with type t casts the ballot c that maximizes his expected utility

E[c | nτ ] = B∈B(C) P [x = B] k∈K Q[k | B + {c}]u t (k).
We refer to {σ, τ } as an equilibrium of the finite Poisson voting game (K, T, C, n, r, u) if τ is the vote distribution corresponding to the strategy function σ and, for each c ∈ C and

each t ∈ T , σ(c | t) > 0 =⇒ c ∈ arg max d∈C E[d | nτ ].
Nevertheless, as the focus of this work is on elections with a large number of voters, one shall look at the limits of equilibria as the expected number of voters n tends to infinity.

Thus, we refer to a large equilibrium sequence of (K, T, C, r, u) to denote any equilibria sequence {(σ n , τ n )} n→∞ of the finite voting games (K, T, C, n, r, u) such that the vectors (σ n , τ n ) are convergent to some limit (σ, τ ) as n → ∞ in the sequence. We refer to this limit (σ, τ ) as a large equilibrium of (K, T, C, r, u). Furthermore, we refer to a sequence of outcomes in B(C) by {B n } n→∞ . The limit B of a sequence of outcomes {B n } n→∞ in B(C) is an outcome and so it is a subset of B(C).

Strategic behavior of the voters.

As previously stated, we assume that each voter determines which ballot he casts by maximizing his expected utility. As voters are instrumentally motivated, they care only about the influence of their own vote in determining the Winner's identity. As usual in voting environments with a large number of voters, a voter's action has a negligible impact on the outcome of the election. Indeed, it has some impact only if there is some set of candidates involved in a close race for first place where one ballot could pivotally change the result of the election: a pivot.

∀ y ∈ Y, s(y) ≥ max k∈K s(k) -1 ∀ k ∈ Y, s(k) < max k∈K s(k) -2.
The set of all pivot outcomes is denoted by Σ(C) ⊂ B(C), where

Σ(C) = {B ∈ B(C) | ∃ Y ⊂ K, B = pivot(Y )}.
Besides, the set of all pivot outcomes in which candidate k is involved is denoted by

Σ(C, k) ⊂ Σ(C), where Σ(C, k) = {B ∈ Σ(C) | ∃ Y ⊂ K s.t. k ∈ Y and B = pivot(Y )}.
Thus, given the vote profile τ , the expected utility for a voter with type t of casting ballot c is such that

E[c | nτ ] = B∈B(C) P [x = B] k∈K Q[k | x + {c}]u t (k) = B∈Σ(C) P [x = B] k∈K Q[k | x + {c}]u t (k).
The probability of any pivot outcome generally tends to zero as the expected population n becomes large. However, we can still compare their likelihood by comparing the rates at which their probabilities tend to zero. These rates can be measured by a concept of magnitude, defined as follows.

Given a large equilibrium sequence {σ n , τ n } n→∞ , the magnitude µ[B] of an outcome

B ∈ B(C) is such that µ[B] = lim n→∞ 1 n log P [x = B | nτ ] = lim n→∞ 1 n log P [x = B].
Notice that the magnitude of an outcome must be inferior or equal to zero, since the logarithm of a probability is never positive. The main advantage of using magnitudes is to have an analytical way to compare likelihoods of outcomes rather than estimations.

If one can show that a pivot between one pair of candidates has a magnitude that is strictly greater than the magnitude of a pivot between another pair of candidates, then the latter becomes infinitely less likely as the expected number of voters goes to infinity.

That is to say, given two subsets Y and Y of the set of candidates K, for any pair of outcomes pivot(Y ) and pivot(Y

) ∈ B(C), if µ[pivot(Y )] > µ[pivot(Y )],
then we know that the pivot outcome between candidates in Y is infinitely more likely than the pivot outcome between candidates in Y , i.e.

lim n→∞ P [x = pivot(Y ) ] P [x = pivot(Y )] = 0.

The Decision Process

We now move to the description of the decision process of voters. Let k be a candidate.

Let c and c be two ballots that only differ by an extra candidate k: c = c ∪ k. In order to evaluate which of the ballots the type-t voter casts, he computes the sign of the following expression

∆ = E[c | nτ ] -E[c | nτ ] = B∈ Σ(C) P [x = B] k∈K Q[k | x = B + {c }] -Q[k | x = B + {c}] u t (k)
The sum ∆ simply represents the effect of adding candidate k to his ballot in his expected utility. However, adding this extra candidate to his ballot can only have an impact in the cases where this candidate is involved in a pivot. Therefore, ∆ can be rewritten as follows:

B∈ Σ(C,k) P [x = B] k∈K Q[k | x = B + {c }] -Q[k | x = B + {c}] u t (k)
Then, if there exists a pivot(Y ) ∈ Σ(C, k) where candidate k is involved which probability becomes infinitely more likely as n tends towards infinity than every other pivot b ∈ Σ(C, k), one can factor out by this pivot. Indeed, let us assume that every pivot B where candidate k is involved becomes infinitely less likely than pivot(Y ) as the expected number of voters n tends towards infinity, .

lim n→∞ P [x = B] P [x = pivot(Y )] = 0 for all B ∈ Σ(C, k).
Given this focalisation of voters' attention on the outcome pivot(Y ), a voter's decision (the sign of ∆) is reduced to evaluating which ballot maximizes his expected utility in case of a pivot(Y ),

sign(∆) = sign ( k∈K Q[k | x = pivot(Y ) + {c }] -Q[k | x = pivot(Y ) + {c}] u t (k)).
Repeating the previous procedure, one can deduce the best response for every voter in the election. Therefore, if given the vote profile x, there exists a strict ordering of the magnitudes of the pivot outcomes, we can ensure the existence of a unique best response.

Computing magnitudes

Two seminal papers ( [START_REF] Myerson | Large poisson games[END_REF][START_REF] Myerson | Comparison of scoring rules in poisson voting games[END_REF]) state the main results that could be considered as the state-of-the-art techniques in the characterization of magnitudes in this type of games.

The magnitude theorem sets up a method to compute such a limit as the solution of a maximization problem with a concave and smooth objective function. The dual magnitude theorem (DM T ) gives a method to compute magnitudes of outcomes that can be defined by linear inequalities involving the vote profile x = (x(c)) c∈C . The latter is now presented as it is necessary to introduce our main technical results. We first give the definition of offset ratio of an outcome that will be necessary throughout. For any ballot c ∈ C, we say that α(c) is the limit of c-offsets 6 in the sequence of 6 Technically speaking, α(c) is the limit of the major c-offsets. A sequence {bn}n→∞ is a major sequence of points in the sequence of outcomes {Bn}n→∞ iff each bn is a point in Bn and the sequence of points {bn}n→∞ has a magnitude that is equal to the greatest magnitude of any sequence that can be selected from the outcomes Bn. Formally, bn ∈ Bn ∀ n and limn→∞ log(P [bn | nτn])/n = limn→∞ maxy∈B n log(P [y | nτn])/n. See Section 3 in Myerson [START_REF] Myerson | Large poisson games[END_REF] for a more detailed account of sequences of outcomes in Large Poisson Games.

outcomes {B n } n→∞ iff {B n } n→∞ has a finite magnitude and, for every major sequence of points {b n } in {B n } n→∞ , we have

α(c) = lim n→∞ B n (c) nτ n (c) = B(c) nτ (c) with τ (c) = lim n→∞ τ n (c) and B(c) = lim n→∞ τ n (c).
Theorem 1 (Dual Magnitude Theorem, Myerson [START_REF] Myerson | Comparison of scoring rules in poisson voting games[END_REF]). Given the vote profile x, let B ∈ B(C) be an outcome defined by

B = { c∈C a k (c)x(c) ≥ 0 ∀ k ∈ J},
in which J is a finite set and parameters a k (c) are given for every k ∈ J and c ∈ C.

Suppose that λ ∈ R C is an optimal solution to the problem

min λ c∈C τ (c)(exp( k λ k a k (c)) -1) s.t. λ k ≥ 0, ∀ k ∈ J. (F )
Then the optimal value of the objective function (F ) coincides with the magnitude µ[B] of the outcome B ∈ B(C) and the limits of the c-offset ratios associated are such that

α(c) = exp( k λ k a k (c)), for all c ∈ C.
This theorem states a simple technique to compute magnitudes of outcomes are defined w.r.t. to a finite series of inequalities.

As stated by Myerson [START_REF] Myerson | Large poisson games[END_REF], "the magnitude concept is useless to work" with outcomes "that differ by a single translation". Indeed, to compare the limit probabilities of this kind of outcomes, we need to use the offset theorem.

Let w ∈ R C be a vector such that each component is a integer and B ∈ B(C) an outcome. We denote the translation by vector w of the outcome B by B -{w} ∈ B(C) the outcome in which adding vector w would yield to the outcome B:

B -{w} = {b -w | b ∈ B and b -w ∈ B(C)}.
Theorem 2 (Offset theorem, Myerson [START_REF] Myerson | Large poisson games[END_REF]). Let w ∈ R C be a vector such that each component is non-negative integer. For each action c such that w(c) > 0, suppose that lim n→∞ nτ (c) = ∞ and that there exists an α(c) which is the limit of the c-offsets in the sequence of outcomes {B n } n→∞ . Then, denoting by B ∈ B(C) the outcome such that

B = lim n→∞ B n , it follows that lim n→∞ P [x = B -{w}] P [x = B] = c∈C α B (c).

Magnitude Equivalence Theorem

The Magnitude Equivalence Theorem (M ET ) is the main technical result of this paper which substantially reduces the computations of the magnitude of a pivot outcome: it allows us to use directly the DMT to compute magnitudes of pivot outcomes.

The DM T is conceived to compute the magnitude of outcomes defined by a series of inequalities involving the vote profile x = (x(c)) c∈C . Formally, using the DM T we compute the magnitude of an outcome B ∈ B(C) defined by

B = { c∈C a k (c)x(c) ≥ 0 ∀ k ∈ J}.
However, a pivot outcome does not have this geometrical structure, i.e. for some Y ⊂ K,

an outcome pivot(Y ) is defined by ∀ y ∈ Y, s(y) ≥ max k∈K s(k) -1 ∀ k ∈ Y, s(k) ≤ max k∈K s(k) -2.
Given that the components s(k) of the score profile s are sums of the components x(c) of the vote profile x, i.e. s(k) = c∈C k x(c), we cannot express a pivot outcome only using linear inequalities involving x.

The M ET shows that the magnitude of a pivot outcome coincides with the magnitude of an outcome than can be defined uniquely using this type of inequalities.

We first provide a Claim which will be useful throughout. No proof is provided at it is a simple consequence of the definition of magnitude.

Claim 1. Let {a n } n→∞ , {b n } n→∞ be two sequence of vectors in B(C) with finite magnitude. Given a large equilibrium sequence {σ n , τ n } n→∞ , if there exists an

{ε n } n→∞ such that P [x = a n ] P [x = b n ] = ε n , (1)
with

lim n→∞ log[ε n ] n = 0 and ε n > 0 ∀ n ∈ N, then, µ[a n ] = µ[b n ].
Furthermore, any two sequence of outcomes

{A n } n→∞ , {B n } n→∞ in B(C) that satisfy condition (1) are such that µ[A n ] = µ[B n ].
Theorem 3 (Magnitude Equivalence Theorem). Let Y be a subset of K and pivot(Y ) be its associated pivot outcome. Given a large equilibrium sequence {σ n , τ n } n→∞ , we can write

µ[pivot(Y )] = µ[D],
for some outcome D ∈ B(C) defined by

D = {s(k) = s(l) ∀ k, l ∈ Y } ∩ {s(k) ≥ s(l) ∀ k ∈ Y and l ∈ K \ Y }.
Proof. By definition, given the score profile x and a subset Y of the set of candidates K,

an outcome B ∈ B(C) is a pivot(Y ) if and only if: ∀ y ∈ Y, s(y) ≥ max k∈K s(k) -1 ∀ k ∈ Y, s(k) < max k∈K s(k) -1.
Given its definition, we can also express pivot(Y ) as disjoint union m∈M B m of outcomes in B(C) for some set M . In any of these outcomes B m ∈ B(C) included in this union, adding one extra ballot could pivotally change the election from some candidate y in the set Y to some other candidate y in the set Y . Formally, the probability of pivot(Y ) is such that

P [x = pivot(Y )] = P [x = m∈M B m ] = m∈M P [x = B m ],
as the union is disjoint. Furthermore, we can write that any of these outcomes B m ∈ B(C) are the result of a translation with respect to the outcome D ∈ B(C) defined by

D = {s(k) = s(l) ∀ k, l ∈ Y } ∩ {s(k) ≥ s(l) ∀ k ∈ Y and l ∈ K \ Y }.
Let w m ∈ R C be the vector of translation such that each component is an integer. In set theoretical terms, the outcome B m can be written as

B m = D -{w m } = {d -w m | d ∈ D and D -w m ∈ B(C)}.
Let us suppose first that every offset ratio α(c) is different from zero and finite, where which shows that both magnitudes coincide when every offset ratio is finite and nonnegative. Repeating similar arguments proves the same equality whenever there exists the vector of translation w m is such that there is some c ∈ C for which w m (c) ≤ 0.

c
Let us now suppose that there exists an α(c) which is equal to zero whenever τ (c) > 0. 7

Given the vote profile x and the outcome D, we know that the limit of the number of voters who were supposed to vote for ballot c is infinitely lower than the expected number 7 It should be noted that an offset ratio does not only describe the limit of the number of players who vote for ballot c as a fraction of the expected number of voters who were supposed to cast ballot c. Indeed, as a consequence of the offset theorem, the offset ratio α(c) of outcome B also represents the limit when n → ∞ of P [x = B -c]/P [B]. Therefore, if there exists an offset ratio α(c) = 0, then there must exist an outcome Bm = D -{wm} that belongs to the outcome pivot(Y ) such that limn→∞ P [x = D]/P [x = Bm] = 0. For example, as α(c) represents the effect of subtracting one ballot c to the outcome D (i.e. wm(c) = c), it suffices to take, for instance, the translation of adding ballot c, i.e. taking a translation vector wm with wm(c) = -c.

B m = D -{w m } with w m (c) > 0 and α(c) = 0 =⇒ lim n→∞ P [x = B m ] P [x = D] = lim n→∞ P [x = D -{w m }] P [x = D] = 0.
The ratio of the probability of any outcome

B m = D -{w m } included in the pivot(Y )
in which w m (c) = 0 and the probability of the outcome D is constant as by assumption there is a unique offset ratio which is equal to zero. Formally, the offset theorem entails that for any outcome B m ⊂ pivot(Y ),

B m = D -{w m } with w m (c) = 0 and α(d) = 0 ∀d ∈ C, d = c =⇒ lim n→∞ P [x = B m ] P [x = D] = d∈C\c α(d) wm(d) = υ m ,
for some υ m .

Finally, any outcome B m = D -{w m } included in the outcome pivot(Y ) in which w m (c) < 0 becomes infinitely more likely than the outcome D as n tends towards infinity but the magnitude of both outcomes coincide. Formally, for any outcome B m ⊂ pivot(Y ),

B m = D -{w m } with w m (c) < 0 and α(c) = 0 =⇒ lim n→∞ P [x = D] P [x = B m ] = lim n→∞ P [x = D] P [x = D -{w m }] = lim n→∞ P [x = D + {w m }] P [x = D] = 0.
Indeed, the probability of the outcome D ∈ B(C) is such that

P [x = D] = c∈C e -nτ (c) nτ (c) D(c) D(c)! .
Furthermore, as w m (c) < 0, the ratio of these probabilities can be expressed as follows:

P [x = D + {w m }] P [x = D] = d∈C\c α(d) wm(d) [nτ (c)] D(c)+wm(c) [nτ (c)] D(c) D(c)! (D(c) + w m (c))! = d∈C\c α(d) wm(d) D(c)(D(c) -1) . . . (D(c) + w m (c) + 1) [nτ (c)] -wm(c) .
The Similar reasonings to the ones previously stated still apply when there several ballots with nil offset ratios.

This result shows that there exists an outcome, defined by a series of inequalities depending on the vote profile x, which magnitude coincides with the magnitude of the pivot outcome. Indeed, the outcome D defined by Theorem 3 can be written down as:

D = { c∈C a k (c)x(c) ≥ 0 ∀ k ∈ J},
for some parameters a k as, by definition,

s(k) = c∈C k x(c).
Thus, one can directly the DM T to compute the magnitude of pivot outcomes, solving a simple constrained maximization problem. Proof. We claim that there is a large equilibrium {σ, τ } of the game (K, T, C, r, u) in which candidate b is the Winner of the election. In this large equilibrium, the strategy function satisfies σ(a| t 1 ) = σ(a, b| t 2 ) = σ(c| t 3 ) = 1, and the vote distribution is such that

τ (a) = r(t 1 ), τ (a, b) = r(t 2 ), τ (c) = r(t 3 ).
Given the vote distribution, the vote profile x = (x(c)) c∈C is the following vector

x(a) ∼ P(0.1n), x(a, b) ∼ P(0.6n) and x(c) ∼ P(0.3n).

In such an equilibrium, the score distribution ρ = (ρ(k)) k∈K is such that Therefore, the magnitudes of the pivot outcomes are ordered as follows:

µ[pivot(a, c)] > µ[pivot(a, b)] > µ[pivot(b, c)] = µ[pivot(a, f, c).
This ordering is not "intuitive" as candidates a and b both have a higher expected score than candidate c and therefore one would expect that the most probable pivot outcome will include both of them. This a consequence of the correlations between the scores of the candidates that arise in the Poisson Games.

Taking into account the ordering of the magnitudes, one can determine the ballot that each voter of a given type chooses. As previously argued, a voter votes for a candidate k iff the pivot outcome with the highest magnitude involving candidate k is against a less preferred candidate. In this case, the magnitudes of the pivot outcomes are strictly ordered so that voters' best responses immediately follow. Therefore, the strategy function satisfies σ(a| t 1 ) = σ(a, b| t 2 ) = σ(c| t 3 ) = 1, and the vote distribution is such that

τ (a) = r(t 1 ), τ (a, b) = r(t 2 ), τ (c) = r(t 3 ),
showing that {σ, τ } is a large equilibrium of the game (K, T, C, r, u).

On single-peaked preferences One cannot escape from this type of bad equilibria by artificially restraining voters' preferences. This example can be extended to a situation in which preferences are single-peaked. Let us we assume that there are four different types

T = {t 0 , t 1 , t 2 , t 3 } such that t 0 t 1 t 2 t 3

Conclusion

This work analyses the properties of AV on Large Poisson Games, one of the main models of large elections. Large Poisson Games possess several advantages such as the independent actions or the environmental equivalence property that simplify the analysis of the voting equilibria. Using these games, Myerson [START_REF] Myerson | Comparison of scoring rules in poisson voting games[END_REF] shows that AV is more robust to information manipulation than other one-shot voting rules such as Plurality voting in some simple voting games. This work shows that AV does not preclude paradoxical situations from arising as a consequence of the independent actions property. When the voting rule allows to vote for more than one candidate, the fact that the number of voters who cast a given ballot is independent of the number of voters who cast another one (independent actions property) naturally implies that the scores of the candidates are correlated. The main problem is that, because of this correlation, the Winner of the election does not always coincide with the Condorcet Winner. Whenever the voters anticipate that the Condorcet Winner is not included in the most probable pivot outcome, he need not be the Winner of the election in equilibrium. This fact limits the reduction of Nash equilibria that arises in Large Poisson Games.

The failure of preference aggregation under AV described within this work arises because voters vote given the relative likelihood of the different pivot outcomes. These pivot outcomes depend on the scores of candidates and not on the number of voters who cast a given ballot. As the scores are correlated, this leads to paradoxical situations. Indeed, in the Score Uncertainty model (Laslier [START_REF] Laslier | The leader rule: A model of strategic approval voting in a large electorate[END_REF]) candidates' scores are independent random vari-

  equilibria in which other the Condorcet Winner wins the election. This paper is structured as follows. Section 2 introduces the basic model. Section 3, presents the Magnitude Equivalence Theorem (MET) and Section 4 discusses in detail the situation where the Condorcet Winner does not coincide with the Winner of the election. Section 5 concludes.

  integer for all c ∈ C} We denote by b ∈ B(C) a vector of length C of non-negative integer numbers. Each component b(c) of vector b accounts for the number of voters who vote for ballot c. The subsets of B(C) will be denoted by capital letters B ∈ B(C).

Definition 2 .

 2 Given the score profile x and a subset Y of the set of candidates K, an outcome B ∈ B(C) is a pivot(Y ) if and only if:

For

  any outcome B ∈ B(C) and any ballot c ∈ C, the ratio B(c)/nτ n (c) is called the c-offset ratio of b when nτ n is the vote distribution. That is, the c-offset is a ratio which describes the number of players who vote for ballot c as a fraction of the expected number of voters who were supposed to cast ballot c.

  represents a ballot such that τ (c) > 0. Provided that w m (c) > 0, the offset theorem entails that lim n→∞ P [x = B m ] P [x = D] = lim n→∞ P [x = D -{w m }] P [x = D] = c∈C α(c) wm(c) , where α(c) represents the c-offset ratio at the outcome D. In this case, the condition (1) of Claim 1 is satisfied as lim n→∞ log[ c∈C α(c) wm(c) ] n = 0. Therefore, by Claim 1 both outcomes B m and D have the same magnitude. Denoting for every m ∈ M , υ m = c∈C α(c) wm(c) , the magnitude of the outcome pivot(Y ) is such that µ[pivot(Y )] = lim n→∞ x = D] = µ[D].

  of voters who were supposed to do so. Formally, α(c) = 0 =⇒ lim n→∞ D(c) nτ (c) = 0. Due to the offset theorem, any outcome B m = D -{w m } included in the outcome pivot(Y ) such that w m (c) > 0 becomes infinitely less likely than the outcome D as n tends towards infinity. Formally, for any outcome B m ⊂ pivot(Y ),

  ratio of probabilities P [x = D +{w m }/P [x = D] converges to 0 as n tends towards zero as d∈C\c α(d) wm(d) does not depend on n and by definition the offset ratio α(c) = 0 which implies that lim n→∞ D(c)/nτ (c) = 0. However, even if the probabilities of the outcomes B m and D diverge, their ratio P [x = D]/P [x = B m ] satisfies Condition (1) of Claim 1: lim n→∞ log(P [x = D]/P [x = B m ]) n = lim n→∞ log( D(c)(D(c) -1) . . . (D(c) + w m (c) + 1) [nτ (c)] -wm(c) )/n = 0, as by definition lim n→∞ D(c)/nτ (c) = 0. As stated by Claim 1, the magnitude of the outcomes D and B m coincide. Every outcome B m which is included in the outcome pivot(Y ) is either infinitely less likely than outcome D as n → ∞ (the outcomes B m = D -{w m } such that w m (c) > 0) or has the same magnitude (the outcomes B m = D -{w m } such that w m (c) ≤ 0). We can conclude that the magnitude of the outcome pivot(Y ) coincides with the magnitude of outcome D: µ[pivot(Y )] = µ[D].

ρ

  (a) = τ (a) + τ (a, b) = 0.7, ρ(b) = τ (a, b) = 0.6 and ρ(c) = 0.3. Given this score distribution, the Winner of the election is candidate a which therefore implies that AV is not Condorcet Consistent in Poisson Games. Finally, given the score distribution, the score profile s = (s(k)) k∈ K is such that s(a) = x(a) + x(a, b) ∼ P(0.7n), s(b) = x(b) ∼ P(0.6n) and s(c) = x(c) ∼ P(0.3n). Let us now show why {σ, τ } is indeed a large equilibrium of this Poisson Approval voting game. The aim is to prove that the pair {σ, τ } induces a probability distribution over the set of pivot outcomes such that {σ, τ } still are best responses of the game. The solved minimization problems are included in the appendix. In this example, there are three possible pivot outcomes involving two candidates pivot(a, b), pivot(a, c) and pivot(b, c) and one pivot outcome in which the three candidates are involved. Given the pair {σ, τ }, the M ET implies that the magnitude of the outcome pivot(a, b) is equal to the magnitude of the outcome {s(a) = s(b) ≥ s(c)}. Formally, we write µ[pivot(a, b)] = µ[{s(a) = s(b) ≥ s(c)}].The outcome {s(a) = s(b) ≥ s(c)} can be defined as{[x(a) ≥ 0] ∩ [-x(a) ≥ 0] ∩ [x(a) + x(a, b) -x(c) ≥ 0]}.According to the DMT, we know that the magnitude of pivot(a, b) is equal to the solution of the following optimization problem.τ (a) exp[λ 1 -λ 2 + λ 3 ] + τ (a, b) exp[λ 3 ] + τ (c) exp[-λ 3 ] -1, such that λ i ≥ 0 ∀ i.Thus, the magnitude of this pivot outcome is such that µ[pivot(a, b)] = -0.1. Similarly, combining the M ET and the DM T , the magnitude of a pivot between candidates a and c is equal to µ[pivot(a, c)] = µ[{s(a) = s(c) ≥ s(b)}] = -0.0834849, and the magnitude of a pivot between candidates b and c is equal to µ[pivot(b, c)] = µ[{s(b) = s(c) ≥ s(a)}] = -0.151472. Moreover, the magnitude of the pivot between candidates a, b and c is equal to the magnitude of the pivot between candidates b and c, i.e. µ[pivot(a, r, c)] = -0.151472 = µ[pivot(b, c)].

  distribution of types r satisfies r(t 0 ) = ε, r(t 2 ) = 0.1 -ε, r(t 3 ) = 0.6 and r(t 4 ) = 0.3.for some small ε > 0. With such a slight alteration, the large equilibrium in which candidate a is the Winner of the election still exists and the preference profile satisfies single-peakedness.The equilibrium is not unique It is important to emphasize that in this game there is another large equilibrium in which the C.W. coincides with the Winner of the election.In such a large equilibrium, the strategy function σ(.| t) satisfies σ(a | t 1 ) = σ(b | t 2 ) = σ(a, c | t 3 ) = 1,and the vote distribution is such thatτ (a) = 0.1, τ (b) = 0.6, τ (a, c) = 0.3.In this alternative equilibrium, the Winner of the election is candidate b. Indeed, in such an equilibrium, the outcome pivot(a, b) becomes infinitely more probable than any other pivot outcome B ∈ Σ(C) as n tends towards infinity. Voters with type t 1 and t 2 vote for their preferred candidate and the t 3 -voters vote for candidate a to prevent candidate b in the event of an outcome pivot(a, b).

2 =

 2 ables. With such an independence, AV ensures that voters' best responses are sincere and the Condorcet Winner wins the election whenever it exists, provided that every candidate gets a strictly positive share of votes. such that λ i ≥ 0 ∀ i. The solution to this problem yieldsµ[{s(a) = s(b) ≥ s(c)}] = µ[{x(a) = 0}] = -r(t 1 ) as r(t 2 ) > r(t 3 ).Magnitude of a pivot between candidates a and cµ[{s(a) = s(c) ≥ s(b)}] = min λ τ (a) exp[λ 1 -λ 2 + λ 3 ] + τ (a, b) exp[λ 1 -λ 2 ] + τ (c) exp[-λ 1 + λ 2 ] -1, such that λ i ≥ 0 ∀ i. Therefore, µ[pivot(a, c)] = µ[{s(a) = s(c) ≥ s(b)}] = -( r(t 1 ) + r(t 2 ) -r(t 3 )) 2 = µ[x(a) + x(a, b) = x(c)].Magnitude of a pivot between candidates b and cµ[{s(b) = s(c) ≥ s(a)}] = min λ τ (a) exp[-λ 3 ] + τ (a, b) exp[λ 1 -λ 2 ] + τ (c) exp[-λ 1 + λ 2 ] -1, such that λ i ≥ 0 ∀ i.Therefore, µ[pivot(b, c)] = µ[{s(b) = s(c) ≥ s(a)}] = -r(t 1 ) -( r(t 2 ) -r(t 3 )) -r(t 1 ) + µ[x(a, b) = x(c)] = µ[pivot(a, b, c)].

  Poisson random variable P(n) is a discrete probability distribution that depends on a unique parameter which represents its mean. The probability that a Poisson random variable of parameter n takes the value l, being l a nonnegative integer is equal to Poisson voting Game of expected size n is a game such that the actual number of voters taking part in the election is a random variable drawn from a Poisson distribution with mean n. This assumption represents the uncertainty faced by voters w.r.t. the number of voters that show up the day of the election. The probability distribution and its parameter n are common knowledge.Each voter has a type t that determines his preferences over the set of candidates K = {k, l, . . .}. The preferences of a voter with a type t is denoted by u t = (u t (k)) k∈K .Thus, for a given t, u t (j) > u t (k) implies that t-voters strictly prefer candidate j to candidate k. Each type t belongs to the set of types T .

	2 The model
	2.1 The basic setting
		e -n n l l!	.
	Each voter's type is independently drawn from T according to the distribution of types
	denoted by r = (r(t)) t∈T	3 . In other words, r(t) represents the probability that a voter
	randomly drawn from the population has type t.
	A finite Poisson game of expected size n is then represented by (K, T, n, r, u). A large
	Poisson game simply represents the limit when n tends towards infinity of a finite Poisson
	game of expected size n.
	For any pair of candidates k, j ∈ K, let T k,j = {t ∈ T | u t (k) > u t (j)} be the set of
	preference types where candidate k is strictly preferred to candidate j. The Condorcet
	Winner (C.W.) of the election is defined as:
	Definition 1. A candidate k is called the Condorcet Winner (C.W.) of the election if

A A

4

  Approval Voting does not satisfy Condorcet ConsistencyIn this section, an example is provided where, in equilibrium, the Winner of the election does not coincide with the Condorcet Winner. Moreover, in this equilibrium a candidate which is preferred by more than half of the voters is not elected. The majority of voters (t 2 -voters) would prefer to vote just for their preferred candidate, candidate b. However, they vote for their second preferred candidate a to prevent candidate c from winning the election, as the most probable pivot outcome in which candidate a is involved is against candidate c. It is a pure coordination problem which the Poisson uncertainty does not remove. This equilibrium is characterized by a failure in preference aggregation: it is due to the correlation between the scores of the candidates that naturally arise in Large Poisson Games when a voting rule allows to vote for several candidates.Let us consider a Large Poisson Approval voting game where there are three candidates K = {a, b, c} and three different types T = {t 1 , t 2 , t 3 } such that: in which the utility of t 1 -voters satisfies u t 1 (a) > u t 1 (b) > u t 1 (c) and so on. This example does not lie on the utility levels but rather on the preference orderings. Be3ides, the Is more than simply a Condorcet Winner. There is more than half of the voters that rank him first. Proposition 1. On Large Poisson Games, a candidate who is ranked first by more than the expected half of voters need not be the Winner of the election under AV in equilib2ium.

	t 1 t 2 t 3
	a b c
	b a a
	c c b
	distribution of types satisfies
	r(t 1 ) = 0.1, r(t 2 ) = 0.6 and r(t 3 ) = 0.3.
	Given this distribution, candidate b is the C.W. as
	r(t 2 ) > r(t 1 ) + r(t 3 )
	r(t 1 ) + r(t 2 ) > r(t 3 ),
	Furthermore, candidate b

A natural way of introducing this kind of prior beliefs is by means of Bayes-Nash equilibrium. However, as will be shown, the main advantage of Large Elections models when compared to this kind of solution concepts is that they provide a simpler way of working within these environments.

Large Poisson Games are a novel field of research. Among the few works dealing with these games, the reader can refer to Myerson[START_REF] Myerson | Extended poisson games and the condorcet jury theorem[END_REF][START_REF] Myerson | Large poisson games[END_REF][START_REF] Myerson | Comparison of scoring rules in poisson voting games[END_REF], Bouton and Castanheira[START_REF] Bouton | One person, many votes: Divided majority and information aggregation[END_REF], Goertz and Maniquet[START_REF] Goertz | On the informational efficiency of approval voting[END_REF], Krishna and Morgan[START_REF] Krishna | On the benefits of costly voting[END_REF] and De Sinopoli and Gonzalez Pimienta[START_REF] Sinopoli | Undominated (and) perfect equilibria in poisson games[END_REF].

The distribution of types satisfies r(t) > 0 ∀ t ∈ T and t∈T r(t) = 1.

The strategy function satisfies σ(c | t) ≥ 0 ∀ c ∈ C and d∈C σ(d | t) = 1.

In probabilistic terminology, an electoral outcome is usually referred as an event or realization of a random variable, i.e. the value that is actually observed (what actually happened). For ease of notation, we will refer to them simply as outcomes.

Appendix

This appendix provides the constrained minimization problems used to compute the magnitudes of the pivot outcomes in section 4, in the large equilibrium in which the Condorcet Winner does not coincide with the Winner of the election.