## Condorcet's Jury Theorem with Abstention

Ganesh Ghalme ∗ and Reshef Meir †

∗ Indian Institute of Technology Hyderabad, India

† Technion-Israel Institute of Technology, Haifa, Israel

August 2, 2024

## Abstract

The well-known Condorcet's Jury theorem posits that the majority rule selects the best alternative among two available options with probability one, as the population size increases to infinity. We study this result under an asymmetric two-candidate setup, where supporters of both candidates may have different participation costs.

When the decision to abstain is fully rational i.e., when the vote pivotality is the probability of a tie, the only equilibrium outcome is a trivial equilibrium where all voters except those with zero voting cost, abstain. We propose and analyze a more practical, boundedly rational model where voters overestimate their pivotality, and show that under this model, non-trivial equilibria emerge where the winning probability of both candidates is bounded away from one.

We show that when the pivotality estimate strongly depends on the margin of victory, victory is not assured to any candidate in any non-trivial equilibrium, regardless of population size and in contrast to Condorcet's assertion. Whereas, under a weak depedence on margin, Condorcet's Jury theorem is restored.

## 1 Introduction

Consider a population of N voters voting over two alternatives A and B , with A being the better alternative according to some pre-defined criterion. Consider further that the preference of each individual voter is determined independently by an outcome of a coin toss with bias p &gt; 0 5 . in favour of the better alternative. That is, each individual voter supports alternative A with probability p and B with the probability 1 -p . Under this setting, the famous Condorcet's Jury Theorem states that the majority rule selects candidate A with probability tending to one when population size increases to infinity.

From a rational, economic point of view, the surprise is not that some voters abstain, but that they vote at all a.k.a. 'the paradox of voting'. As Anthony Downs claimed already in 1957, a rational

An implicit assumption in Condorcet's theorem is that everyone votes , or at least that the decision to vote does not depend on one's preference over alternatives. In contrast, in many practical situations such as political elections, or a local or national referendum, abstention is found to be a common and prominent phenomenon. For instance, the voter turnout in United States presidential elections has been around 52%-62% over the past 90 years [Wik22]. Abstention is also observed to be a significant phenomenon in small-scale lab experiment [Bla00, OG84].

voter weighs the benefit of voting (which realizes only if the voter is pivotal) against the cost. When the size of the electorate is large, the expected benefit derived from affecting the outcome of the election (i.e. being pivotal) is too small to induce voting from a significant fraction of voters [Dow57] giving rise to the paradox of voting.

We now present some important models for voter turnout presented in the literature and then move on to our proposed voter turnout model that depends on heuristic-based perceived pivotality of individual votes.

While Condorcet's result holds under the assumption that everyone votes, Down's theory of rational voting suggests that only near-zero cost voters vote in large-scale elections. Our goal in this paper is to understand the equilibria that arise from a plausible, heuristic-based abstention model, in an attempt to reconcile the theoretical predictions with the moderate turnout rates we see in practice. The most important questions we focus on are: (1) how many equilibrium points are induced by the abstention model and where are they located? (2) does the winning probability of the better candidate approach 1 as predicted by Condorcet's Jury theorem in any of these equilibria? and (3) what happens to the equilibrium points as population size increase?

The Calculus of Voting model: Originally proposed by [Dow57] and later developed by [RO68], this model attributes each voter's decision to abstain from voting to expected cost-benefit analysis. Let p i denotes the perceived pivotality of voter i , whereas V i denotes the personal benefit she receives if her preferred candidate wins an election, D i denotes the social benefit she receives by performing a civic duty of voting and G i denotes costs of voting she incurs. These costs include the cost of obtaining and processing information and the actual cost of registering and going to polls (see also [Ald93] for discussion of voting and rational choice). A voter i votes if and only if

$$p _ { i } \cdot \mathbf v _ { i } + \mathbf D _ { i } \geq \mathbf G _ { i }.$$

The calculus of voting model considers p i to be the probability that i 's vote would change the outcome a.k.a. probability of an event that all voters except i reach a tie. The tie probabilities are derived from the aggregated stochastic votes, and thus the pivot computation and subsequent equilibrium analysis quickly become intractable as the number of individual voters increases.

Crucially, in the above models, the tie probabilities used for voters' strategic calculations are derived directly from the vote distribution, either exactly or approximately. When the size of the electorate is large, the tie probability p ≈ 0 . If voting is costly, these models predict very low turnout-essentially that only the zero-cost voters vote when the population increases to infinity.

Myerson and Weber studied voting equilibria in a 3 or more candidate elections by fixing a distribution over preferences and considering a large population sampled from this distribution, so that candidates' scores are multinomial variables [MW93]. While tie probabilities vanish in the limit, they observe that the relative tie probabilities for each pair of candidates can still be compared and thus voters' best responses are well defined. In a more recent work, Myerson [Mye02] suggested another relaxation by approximating candidates' scores with Poisson distributions.

Heuristic pivot probabilities: Some models assume that the voters act based on estimated or even completely wrong beliefs. One such heuristic is derived by Osborne and Rubinstein's sampling equilibrium [OR03], where each voter estimates candidates' scores based on a small random sample of other voters. That is, even with a large population when voters compute their beliefs based on limited information, there is a non-negligible fraction of voters who believe they are pivotal.

Non-probabilistic uncertainty: Other models stir away from probability calculations and consider other voters' heuristics, based on dominated actions, minmax outcomes or regret [Ald93, FF75, MLR14, Mer81]. The margin of victory plays a major role in the voter's perceived pivotality. Controlled experiments on voters' response to poll information show that strategic voting is more frequent when the winning margin is small [MGT20, FF75]. [FLMG19] show that voters' actions are more consistent with various heuristics based on the margin than with 'rational' utility maximization models. The key point in these models is that voters form a heuristic belief of their pivotality based on the voting profile, and that an 'equilibrium' means the belief justifies itself, not that it is necessarily correct [Ald93, Mei18].

Analyzing every such model separately would be tedious and leave us with an isolated set of narrow results. Instead, we identify the main factors common to all of these models, and suggest a flexible framework that captures a wide range of possible rational and boundedly-rational behaviours, without committing to one model in particular. 1 We still consider that the voters seek to maximize their own expected utility as in the calculus of voting model (Eq. (1)). However, in contrast to the calculus of voting model, in our model voters decide to abstain based on heuristically estimated perceived pivotality. This estimate is also a function of the margin of victory as in the latter models we mentioned. Our proposed heuristic model for computation of perceived pivotality is inline both with empirical [EGK07, FP96] and experimental [Bla00, FLMG19] findings, and with the models developed therein that aim to explain high turnout in elections.

We emphasize here that we do not claim to provide a new universal model of strategic voting. Rather, we want to capture a broad class of models that share similar properties (dependency on margin and population size) in order to provide results that are not model-specific.

Contributions We show that the set of equilibrium points induced by proposed abstention model consists of equilibrium points predicted by the fully rational (such as calculus of voting) model that satisfy Condorcet's Jury Theorem (CJT) and some more non-trivial equilibrium points. Our results show that there are non-trivial equilibria where the popular candidate is more likely to win, but the winning probability is bounded away from 1. This probability, perhaps surprisingly, depends only on the distribution of voting costs in the population. The bottom line of this paper is the result that under a plausible abstention model, induced non-trivial equilibrium points evade both; Down's paradox of voting (only a small fraction of homogeneous voters vote) as well as CJT (the win probability of popular candidate approaches 1).

## 2 Model

We study a two-candidate (referred to as A and B ) election with N voters. Each voter is either a supporter of A (prefers candidate A , i.e. A ≻ i B ) or a supporter of B . We adopt the classical calculus of voting model as follows. We denote as c i := max 0 { , G i -D i V i } the effective cost of voting for voter i with G i , D i and V i as defined in Eq. (1).

The core supporters (voters with zero effective voting cost) derive more utility from voting for their preferred candidate than costs incurred in participating in the voting process. Voters with non-zero effective costs, on the other hand, vote only if the perceived pivotality of their vote exceeds the

1 Although some of our theoretical results make stronger assumptions for technical reasons.

voting cost. For mathematical convenience, we normalize the effective cost of voting to lie between 0 and 1.

Without loss of generality, we assume that (weakly) more voters support A in expectation.

We consider the effective cost of voting and the preference of voter i as an independent sample from a commonly known joint distribution D over [0 , 1] ×{ A,B } and is denoted by tuple ( c , T i i ) . We assume that D has no atoms, expect possibly at c = 0 and/or c = 1 .

We therefore consider A as the 'better' or 'popular' candidate, and see the outcome where A is elected as preferable.

As discussed above, Condorcet Jury Theorem states that if all voters vote , the probability that A wins goes to 1 as the number of voters grows. However, this is clearly not always true if A voters are more likely abstain than B voters. This, in turn, may depend both on individual voters' costs , and on voters' perceived pivotality (which we assume to be the same for all voters).

Perceived pivotality In the discussion above, we highlighted that the two most important factors that voters use to determine the probability of various outcome are (1) the size of voting population, n ; and (2) the margin, m . Our simplifying assumption (following e.g. [MW93]) is that voters only consider n and m as expected values. Thus, a general pivotality model is specified by a function p , which maps any pair of n and m to a pivot probability p n, m ( ) ∈ [0 , 1] , and is continuous and non-increasing in both parameters. We later provide several concrete pivotality models, which can either approximate the real pivot probability or reflect subjective beliefs.

Support functions While D contains all necessary information regarding the distribution of costs in the population, we would like to present costs in a more intuitive way.

For T ∈ { A,B } let s T : [0 , 1] → [0 , 1] be continuous, non-decreasing function, where s T ( c ) should be read as the fraction of the entire population (except voter i ) that prefers T and has individual cost at most c . We call s T the support function of T , and note that it does not depend on the identity of voter i .

Proposition 1. Any distribution D induces a unique pair of support functions s A , s B with s A (1) + s B (1) = 1 , and vice-versa.

## Issues and Elections

An issue is a triple I = ( s A , s B , p ) , i.e. it describes the support in the population for the two possible decisions A and B on the issue, as well as the perceived pivotality of voters on that issue.

An election is therefore a game, where the type of each voter/player is a random variable. Each player has two actions: vote for her preferred candidate or abstain. 2 A voter of type ( T , c i i ) suffers a cost of c i if she votes, irrespective of the outcome, and gains 1 if her preferred candidate T i wins. A pure strategy profile in this game maps voter types to actions (vote/abstain).

An issue does not yet induce a valid game, since the set of players is not well defined. An Election E = ( I, N ) is an issue I together with a specific number of players N , who are assumed to be sampled i.i.d. from distribution D (or, equivalently, from the support functions).

We argue that pure Bayes-Nash equilibria in this game have a very simple form, in which all voters with cost lower than some threshold vote.

2 Voting for the less preferred candidate is strictly dominated so we ignore this option.

Proposition 2. (Election Equilibrium) For a given election ( s A , s B , p, N ) , every pure Bayes-Nash equilibrium can be described by a single number c ∈ [0 , 1] s.t.:

$$n ( c ) = ( s _ { A } ( c ) + s _ { B } ( c ) ) N$$

$$m ( c ) = \frac { | s _ { A } ( c ) - s _ { B } ( c ) | } { s _ { A } ( c ) + s _ { B } ( c ) }$$

$$c = p ( n ( c ), m ( c ) ),$$

and each voter i votes iff c i ≤ c .

For technical reasons we will assume throughout the paper that all derivatives of of s A , s B are bounded.

Denote by C ∗ ( I, N ) ⊆ [0 , 1] the set of all equilibrium points of election E = ( I, N ) .

Proposition 3. Every election has at least one equilibrium.

The proof follows from the fact that f ( c ) := p n c , m c ( ( ) ( )) is a continuous function from [0 , 1] onto itself and therefore must have a fixed point.

Issue equilibrium An issue can be thought of as a series of elections, one for every population size N .

Definition 1 (Issue equilibrium) . An equilibrium of issue I is a series of points c = ( c N N ) s.t. ∀ N,c N ∈ C ∗ ( I, N ) , and c has a limit. We denote the limit by c ∗ .

For an issue equilibrium c with limit c ∗ , if c N &gt; c ∗ for all N we say that c is a right equilibrium . Similarly, if c N &lt; c ∗ for all N we say that c is a left equilibrium .

Trivial equilibrium An equilibrium of issue I is trivial if its limit is c ∗ = 0 , meaning only core supporters vote. Otherwise it is nontrivial. Clearly a trivial equilibrium is always a right equilibrium.

Jury theorems For a given election E = ( I, N ) and a given equilibrium c ∈ C ∗ ( I, N ) , we can compute the probability of various events. One such event of interest is the victory of the popular candidate A . 3

Formally, we define for a given election E = ( I, N ) and equilibrium c ∈ [0 , 1] , a random variable counting the number of active votes for A (and likewise for B ):

$$V _ { A } \coloneqq \sum _ { i \in N } [ [ c _ { i } \leq c \wedge T _ { i } = A ] ],$$

where { ( c , T i i ) } i ∈ N are voters sampled from D . Note that V A is a Binomial variable with parameters N and s A ( c ) , and expected value s A ( c N ) .

We further denote the Winning Probability of A in equilibrium c of election E = ( I, N ) as

$$\mathbb { W P } _ { A } ( I, N, c ) \coloneqq \Pr ( V _ { A } > V _ { B } | I, N, c ).$$

3 We emphasize that we, as 'outsiders' to the election, care about the actual probability of the event, which is not affected by the perceived pivotality model p , once c is determined.

Finally, for any issue I with issue equilibrium c , we define

$$\mathbb { W P } _ { A } ( I, \bar { c } ) \coloneqq \lim _ { N \to \infty } \mathbb { W P } _ { A } ( I, N, c _ { N } ).$$

We say that the instance admits a jury theorem at c ∗ ∈ [0 , 1] , if there is an instance equilibrium c with limit c ∗ s.t. WP A ( I, c ) = 1 .

Similarly, I admits a non-jury theorem at c ∗ if WP A ( I, c ) &lt; 1 , meaning that regardless of the size of the population, there is some constant probability that the better candidate A will lose. I admits a strong non-jury theorem if WP A ( I, c ) = 1 2 .

## 3 Perceived Pivotality Models

We first describe models where the perceived pivotality p n, m ( ) represents the actual tie probability V A = V B (so a single vote would determine the winner of the election). We present two close approximations of the actual tie probability that have been used in the literature, and that can be presented as pivot functions in our model.

## Fully Rational models

The first model maintains the Binomial distribution, but assumes that the n active voters are the entire population, 4 as in the original Condorcet Jury Theorem and in early Calculus of Voting models [RO68].

Example 1 (Binomial PPM) .

$$p ( n, m ) = \Pr _ { x \sim B i n \left ( n, ( 1 + m ) / 2 \right ) } ( x = \lfloor n / 2 \rfloor ).$$

A later model by [Mye98] suggested drawing the scores of each candidate independently from a Poisson distribution.

Example 2 (Poisson PPM) .

$$p ( n, m ) = \Pr _ { \substack { x _ { A } \sim P o i s s o n ( ( 1 + m ) n / 2 ) \\ x _ { B } \sim P o i s s o n ( ( 1 + m ) n / 2 ) } } ( x _ { A } = x _ { B } )$$

Conceptually, the Poisson model is more appropriate in situations where voters can abstain (as the total number of active voters is not fixed). However p n, m ( ) behaves very similarly to the Binomial model, and for our purpose they are almost the same. In fact, both models belong in a much larger class of PPMs:

Definition 2 (Vanishing Pivotality) . We say that a PPM has strong [weak] vanishing pivotality if lim n →∞ p n, m ( ) = 0 for all [ m&gt; 0 ] m ≥ 0 .

As we will later see, instances with weak vanishing pivotality always admit a trivial equilibrium. Clearly at the trivial equilibrium, Jury theorems are irrelevant: the candidate with more core support always wins with probability that approaches 1 as the population grows, regardless of who is more popular overall. It is not hard to verify (e.g. using Stirling approximation) that in both the Binomial and Poisson PPMs, p n, m ( ) = Θ( 1 √ n ) for m = 0 , and decreases exponentially fast in n for any m&gt; 0 .

4 The true pivot probability can also be written as a function of m and n : it follows the Binomial model p n , m ( ′ ) from Eq. (4), but where the number of active voters n ′ is a random variable sampled from Bin N,n/N ( ) . Numerically this function is nearly identical to Eq. (4), and in particular it has strong vanishing pivotality.

## Tie-Sensitive models

We saw that even in the rational model (which have strong vanishing pivotality), the case of m = 0 is different, with a substantially higher probability to be pivotal.

A simple and perhaps more cognitively plausible assumption is that voters consider themselves pivotal if the margin is small enough, regardless of the number of voters. 5

Definition 3 (Tie-sensitive pivotality) . We say that a PPM has q -tie-sensitive pivotality if p n, ( 0) ≥ q for all n .

That is, if the expected outcome is a tie, everyone thinks they are pivotal at least to some extent, regardless of the number of active voters.

k

For example, [OR03] suggested a model where each voter decides whether they are pivotal based on a fixed number of other voters they sample i.i.d. from the population. This induces a PPM that is identical to the Binomial one, except that the parameter k is used instead of the number of voters n . Thus for a fixed k , the 'Sampling PPM' is q k -tie-sensitive for some q k = Θ( 1 √ ) .

Another tie-sensitive PPM is induced by assuming a polynomial dependency on both m and n .

Example 3 (Polynomial PPM) . For α, β &gt; 0

$$p ( n, m ) = \min \{ q, \frac { 1 } { m ^ { \alpha } n ^ { \beta } } \}$$

It is immediate from the definition that the Polynomial PPM is both q -tie-sensitive and has a weakly vanishing pivotality. One particularly natural choice is when β = 1 2 (so that the dependency on n is similar to the previous models), and α = 1 , i.e. linear dependency on the margin.

## 4 Characterizing Equilibrium Limits

We begin by characterizing the trivial equilibrium.

Proposition 4. Suppose s A (0) + s B (0) &gt; 0 . Any instance with strongly vanishing pivotality admits only a trivial equilibrium.

̸

Proposition 5. Suppose s A (0) = s B (0) . Then any instance with weakly vanishing pivotality admits a trivial equilibrium.

The proofs of Propositions 4 and 5 are given in Appendix. Intuitively, the proofs of both the propositions rely on the fact that we can always consider sufficiently large population size N , thereby making p n, m ( ) small enough.

Next we show that that the intersection points of the support functions form the limiting points of equilibrium points.

̸

Definition 4 (Pivot Points) . For a given pair of support functions s A , s B , a pivot point is any c ∈ (0 , 1) where s A ( c ) = s B ( c ) &gt; 0 , and s A ( c + ) = ε s B ( c + ) ε for all ε &gt; 0 .

5 An alternative justification that maintains full rationality is an argument that is sometimes made about large elections being 'more important', as a possible explanation for the paradox of voting [Dow57]. While this suggestion fails to explain high turnout in general (unless importance increases exponentially with n ), even a modest increase in importance of Ω( √ n ) is enough to justify Tie-sensitivity.

A pivot point is a cost c such that if all voters with c i ≤ c vote then both candidates have equal support, and thus the expected margin at a pivot point is 0.

Theorem 1. Let I be an instance with a PPM a that has weakly vanishing and q -tie-sensitive pivotality. Any pivot point c ∗ &lt; q has a right equilibrium with limit c ∗ . Moreover, for support functions that intersect at a finite number of points, the limit of any equilibrium is either 0 or some pivot point c ∗ .

Proof. We start with existence. Let c ∗ &lt; q be some pivot point of I , and let δ &gt; 0 . We need to show there is some N δ and some c δ ∈ ( c ∗ , c ∗ + ) δ s.t. c δ ∈ C ∗ ( I, N δ ) .

Since all derivatives are bounded, there is some open interval ( c ∗ , c ∗ + ) t where s A , s B differ, and w.l.o.g. s A ( c ) &gt; s B ( c ) for any c ∈ ( c ∗ , c ∗ + ) t . Let δ := min { t, δ } and note that by the definition of pivot point, ε := m c ( ∗ + ) δ &gt; 0 . Also, n c ( ∗ + ) = ( δ s A ( c ∗ + ) + δ s B ( c ∗ + )) δ N &lt; N . Thus

$$p ( n ( c ^ { * } + \underline { \delta } ), m ( c ^ { * } + \underline { \delta } ) ) \leq p ( N, \varepsilon ) \xrightarrow { \longrightarrow } 0,$$

so there is some N δ for which p n c ( ( ∗ + ) δ , m c ( ∗ + )) δ &lt; δ . On the other hand,

$$p ( n ( c ^ { * } ), m ( c ^ { * } ) ) = p ( n ( c ^ { * } ), 0 ) \geq p ( N, 0 ) \geq q > c ^ { * }.$$

Define f ( c ∗ + x ) := p n c ( ( ∗ + x , m c ) ( ∗ + x )) -( c ∗ + x ) then f is continuous in the range x ∈ [0 , δ ) with f (0) &gt; 0 and f ( δ ) &lt; 0 . From intermediate value theorem there is some x where f ( x ) = 0 and thus c δ := c ∗ + x is an equilibrium of ( I, N δ ) .

In the other direction, assume towards a contradiction that there a nontrivial equilibrium with limit c ∗ that is not a pivot point. Note that by our assumption of finite intersection points, and due to bounded derivatives, s A ( c ) -s B ( c ) &gt; ε &gt; 0 in some interval [ c ∗ -δ, c ∗ + ] δ . Thus in any point in this interval the pivotality goes to 0 for sufficiently large N , and in particular is lower than c ∗ -δ , which means it is not an equilibrium of ( I, N ) for any N ≥ N .

Also note that if q is tight (i.e. the PPM is not q ′ -tie-sensitive for any q ′ &gt; q ) then pivot points above q cannot be the limit of any equilibrium either, as the pivotality in some environment of each such point c ∗ &gt; q is under q for sufficiently large N .

So we have a rather complete characterization of equilibria, or at least of their limit points, in every instance. A natural question is whether any of these equilibria are 'good' in the sense of the Condorcet Jury Theorem.

## 5 Jury Theorems for Pivot Points

As observed above, a trivial equilibrium admits a jury theorem if and only if A has more core supporters, but this is not very interesting.

To provide an answer, we would need to apply a concrete PPM, so the results in this section would be limited to the Polynomial PPMs, and for simplicity we also consider support functions with finite

Our main question regards the non-trivial equilibria, whose limits are the pivot points. Clearly any equilibrium from a side where B has more support admits a non-jury (as A gets less than half the votes, in expectation), but we could still hope that, say, a right equilibrium at a pivot point where the derivative of s A is higher, would admit a jury theorem.

intersection. By the results of the previous section, we know that every pivot point has a right equilibrium and left equilibrium, and that (except the trivial equilibrium) there are no others. We first characterize the rate at which election equilibria c N approach their limit.

Lemma 2. Let I be an instance with a Polynomial PPM and let c = ( c N N ) be a non-trivial equilibrium of I with limit c ∗ . Then c N = c ∗ +Θ( N -β α ) .

That is, the point c N must be at distance that decreases proportionally to N -β α : not closer neither farther away.

Proof. We will prove for c N &gt; c ∗ . The proof for c N &lt; c ∗ is symmetric. By Theorem 1, c ∗ is a pivot point.

Therefore there must be some interval [ c ∗ , c ∗ + ] δ and constants m,m,n,n &gt; 0 such that m c ′ ( ) ∈ [ m,m ] and n ′ ( c ) N ∈ [ n, n ] for all c ∈ [ c ∗ , c ∗ + ] δ . Moreover, m,m can be arbitrarily close to m c ′ ( ∗ ) and likewise for n ′ (the functions are nearly-linear near c ∗ ). We consider only N 's large enough so that c N is in this interval, and so that p n c ( ( N ) , m c ( N )) &lt; 1 .

Since the first and second derivatives of s A , s B are bounded, so are those of the functions n c ( ) and m c ( ) (as per Eq. (2),(3)). Also note that n ′ ( c ) ≥ 0 everywhere and m c ′ ( ∗ ) &gt; 0 , n ′ ( c ∗ ) &gt; 0 by the definition of pivot point. We also denote s ∗ := s A ( c ∗ ) + s B ( c ∗ ) and note that s ∗ · N = n c ( ∗ ) .

Now, let ε := c N -c ∗ , and w.l.o.g. ε &lt; min 0 1 0 1 { . , . /n } . We want to show ε = Θ( 1 N β α ) . From the definition of equilibrium,

$$\i \exp \nolimits \nolimits \nolimits, \\ c ^ { * } + \varepsilon & = c _ { N } = p ( n ( c _ { N } ), m ( c _ { N } ) ) = \frac { 1 } { m ( c _ { N } ) ^ { \alpha } n ( c _ { N } ) ^ { \beta } } \\ & = \frac { 1 } { m ( c ^ { * } + \varepsilon ) ^ { \alpha } n ( c ^ { * } + \varepsilon ) ^ { \beta } } \Rightarrow \\ & m ( c ^ { * } + \varepsilon ) = \frac { 1 } { ( c ^ { * } + \varepsilon ) ^ { \frac { 1 } { \alpha } } n ( c ^ { * } + \varepsilon ) ^ { \frac { \beta } { \alpha } } }. \\ e \text{ constant bounds on the derivatives.}$$

Now, by the constant bounds on the derivatives,

$$\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdot \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \colon \\ m ( c ^ { * } + \varepsilon ) & \in [ m ( c ^ { * } ) + m \varepsilon, m ( c ^ { * } ) + \overline { m } \varepsilon ] \\ & = [ m ( c ^ { * } + \varepsilon ) & \in [ n ( c ^ { * } ) + \overline { m } \varepsilon \cdot N, n ( c ^ { * } ) + \overline { m } \varepsilon \cdot N ] \\ & = [ ( s ^ { * } + \overline { m } \varepsilon ) N, ( s ^ { * } + \overline { m } \varepsilon ) N ] \\ & \subset [ s ^ { * } N, ( s ^ { * } + 0. 1 ) N ] \\. \quad \cdots \quad \cdots \quad - \quad \cdots \quad \cdots \quad \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \ \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{array}$$

For the upper bound, we get from Eqs.(6),(7),(8)

$$\underline { m } \varepsilon & \leq m ( c ^ { * } + \varepsilon ) \leq \frac { 1 } { ( c ^ { * } ) ^ { \frac { 1 } { \alpha } } ( s ^ { * } N ) ^ { \frac { \beta } { \alpha } } } \Rightarrow \\ \varepsilon & \leq \frac { 1 } { \underline { m } \cdot ( c ^ { * } ) ^ { \frac { 1 } { \alpha } } ( s ^ { * } ) ^ { \frac { \beta } { \alpha } } N ^ { \frac { \beta } { \alpha } } } = O ( \frac { 1 } { N ^ { \frac { \beta } { \alpha } } } ),$$

since m,c ∗ and s ∗ are all constants. Likewise, for the lower bound,

$$1$$

$$\overline { m } \varepsilon & \geq m ( c ^ { * } + \varepsilon ) \geq \frac { 1 } { ( c ^ { * } + 0. 1 ) ^ { \frac { 1 } { \alpha } } ( ( s ^ { * } + 0. 1 ) N ) ^ { \frac { \beta } { \alpha } } } \Rightarrow \\ \varepsilon & = \Omega ( \frac { 1 } { N ^ { \frac { \beta } { \alpha } } } ) \text{ as required.}$$

It is also interesting that the exact rate of convergence depends on the derivative of m c ( ) , but not on that of n c ( ) , meaning that the individual slopes of s A , s B at c ∗ don't matter, only the difference between them.

## Computing the win probability

We denote by Φ the CDF of the Normal distribution, i.e. Φ( x ) = Pr X ∼N (0 1) , ( X &lt; x ) .

Proposition 6 (Characterization of Jury Equilibria) . Let I be an instance with a Polynomial PPM with parameters q, α, β &gt; 0 , and let c be a nontrivial right- or left-equilibrium of I with limit c ∗ &lt; q and popular candidate A . Then there are three cases:

- · If α &gt; 2 β , then WP A ( I, c ) = 1 ;
- · If α &lt; 2 β , then WP A ( I, c ) = WP B ( I, c ) = 0 5 . ;
- · If α = 2 β , then WP A ( I, c ) = Φ ( ( c ∗ ) -1 α ) .

That is, we get a phase transition at α = 2 β , where above the threshold all non-trivial equilibria admit a jury theorem, below the threshold they admit a strong non-jury theorem, where both candidates are equally likely to win, and at the threshold (including that natural case of α = 1 , β = 0 5 . mentioned above), we still have a non-jury theorem where the popular candidate only has some constant &lt; 1 win probability. Interestingly, this probability does not depend at all on the shape of the support functions, only on the position of the pivot point.

Proof. Let c = ( c N N ) be a nontrivial equilibrium with limit at pivot point c ∗ &lt; q . The random variable V A is a Binomial variable with parameters p A = 0 5(1 + . m c ( N )) and n = n c ( N ) , and A wins if V A &gt; n/ 2 . 6

Since n c ( N ) = Ω( N ) , for large enough N we can approximate the distribution of V A -n/ 2 with a Normal distributions with mean and variance as follows:

$$\mu _ { A } & = 0. 5 m ( c _ { N } ) n ( c _ { N } ) ; \\ \sigma _ { A } ^ { 2 } & = 0. 5 ( 1 + m ( c _ { N } ) ) 0. 5 ( 1 - m ( c _ { N } ) ) n ( c _ { N } ) \\ & = 0. 2 5 ( 1 - ( m ( c _ { N } ) ^ { 2 } ) n ( c _ { N } ) = 0. 2 5 ( 1 - ( m ( c _ { N } ) ^ { 2 } ) n ( c _ { N } ) ;$$

From Lemma 2, there are some constants t, t &gt; 0 s.t.

6 To be completely accurate, we should sample v A from a Binomial distribution with a number of samples that is also a Binomial variable (see Footnote 4), but the difference is negligible.

$$\underline { t } \cdot N ^ { - \frac { \beta } { \alpha } } < m ( c _ { N } ) < \bar { t } \cdot N ^ { - \frac { \beta } { \alpha } },$$

and we know from Eq. (2) that s N &lt; n c ∗ ( N ) &lt; s ( ∗ +0 1) . N.

$$& \mu > 0. 5 \underline { t } \cdot N ^ { - \frac { \beta } { \alpha } } s ^ { * } N = 0. 5 s ^ { * } \underline { t } \cdot N ^ { 1 - \frac { \beta } { \alpha } }, \text{and} \\ & \mu < 0. 5 \underline { t } \cdot N ^ { - \frac { \beta } { \alpha } } ( s ^ { * } + 0. 1 ) N = 0. 5 ( s ^ { * } + 0. 1 ) \underline { t } \cdot N ^ { 1 - \frac { \beta } { \alpha } }.$$

We can similarly bound σ 2 A , as m c ( N ) 2 is negligible,

$$0. 2 4 s ^ { * } N < \sigma _ { A } ^ { 2 } < 0. 2 5 ( s ^ { * } + 0. 1 ) N.$$

Using the upper and lower bounds on µ and σ 2 , we get the following:

$$\frac { \mu } { \sigma } < \frac { 0. 5 \bar { t } \cdot N ^ { 1 - \frac { \beta } { \alpha } } ( s ^ { * } + 0. 1 ) } { \sqrt { 0. 2 4 s ^ { * } N } } < \bar { r } \cdot N ^ { 0. 5 - \frac { \beta } { \alpha } }$$

$$\frac { \mu } { \sigma } > \frac { \stackrel { \cdot \cdot \cdot } { 0. 5 \underline { t } \cdot N ^ { 1 - \frac { \beta } { \alpha } } s ^ { * } } } { \sqrt { 0. 2 5 ( s ^ { * } + 0. 1 ) N } } > \underline { r } \cdot N ^ { 0. 5 - \frac { \beta } { \alpha } },$$

for some positive constants r, r .

Finally, we can use the last bounds to estimate the probability of the popular candidate winning:

$$\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \\ \mathbb { W P } _ { A } ( I, N, c _ { N } ) & \cong \Pr _ { x \sim \mathcal { N } ( \mu, \sigma ^ { 2 } ) } ( x > 0 ) = \Pr _ { x \sim \mathcal { N } ( 0, 1 ) } ( x < \frac { \mu } { \sigma } ) \Rightarrow \\ \Phi ( \underline { r } N ^ { 0. 5 - \frac { \beta } { \alpha } } ) < \mathbb { W P } _ { A } ( I, N, c _ { N } ) < \Phi ( \underline { r } N ^ { 0. 5 - \frac { \beta } { \alpha } } ),$$

where Φ is the CDF of the Normal standard distribution function. 7 We can now easily distinguish three cases, with a sharp phase transition:

- 1. α &gt; 2 β . In this case, where the sensitivity to the margin is much higher than the sensitivity to the number of voters, we have that N 1 2 -β α →∞ , so

$$\mathbb { W P } _ { A } ( I, \bar { c } ) = \lim _ { N } \mathbb { W P } _ { A } ( I, N, c _ { N } ) = 1.$$

That is, we get a jury theorem as the more popular candidate wins w.p. 1 at the limit.

- 2. α &lt; 2 β . When the sensitivity to the margin is smaller than the threshold, N 1 2 -β α → 0 , so both candidates win with equal probability at the limit.
- 3. α = 2 β . This includes the α = 1 , β = 1 2 case mentioned in the preliminaries. Here N 1 2 -β α = N 0 = 1 , and thus A wins with some probability that is bounded between two constants [Φ( r , ) Φ( )] r .

It is not hard to see that we can tighten the gap between r, r , so in the limit they both equal r = ( s ∗ ) 0 5 . -β α · ( c ∗ ) -1 α ; meaning that in the threshold case, r = ( c ∗ ) -1 α . In particular, this means that the winning probability is completely independent of the shape of the support functions, and only depends on the position of the pivot point c ∗ . Higher c ∗ means a larger number of active voters and higher winning probability of the popular candidate, in the limit.

7 As the approximation becomes more accurate with N , the inequalities would hold without approximation for sufficiently high N and the right constants r, r .

$$\cdot$$

Figure 1: A schematic illustation of stability of the equilibrium point c + . When c ′ &gt; c + is an equilibrium estimate, the A supporters from right shaded region are incentivized to abstain whereas under c ' &lt; c + the A supporters from left shaded region are incetivized to participate.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00317v1-figure-09e91d60-e3b7-4100-aa2d-c799485989a9.jpg)

## 6 Stability of Equilibrium Points

In this section we show that the right side equilibrium i.e. c + is stable by showing that when the perceived pivotality is different across voter types, a constant fraction of voters have an incentive to participate (or abstain) such that the equilibrium c + is restored. Note that c 0 is clearly a stable equilibrium since the margin is a near-constant.

Proposition 7. Let c A ≥ ̂ c and c B ≥ ̂ c be cost thresholds for voters of type A and B respectively, and perceived pivotality p is given as p = ( p c A , c B ) = p m c ( ( A , c B ) , n ( c A , c B )) . Then for any voting instance I with N voters, the best response of voters is such that c A = c + and c B = c + .

We provide the intuition of the proof. The detailed proof is given in Appendix. Notice in equilibrium both types have the same cost threshold and hence the equilibrium points must be on the line c A = c B as shown in Figure 1. Suppose first that c A &gt; c B . In this case, the supporters of A shown in the shaded area (in Figure 1) to the right of c + are less pivotal and hence are incentivized to abstain. Similarly, when c A &lt; c B , the A voters in the shaded region on the left side of c + are more pivotal and have an incentive to participate. The B supporters on the other hand will participate in the first case and abstain in the second case. Thus, the population of participating voters adjusts itself (i.e. c A ↓ c + and s B ↑ c + when c A &gt; c B and c A ↑ c + and s B ↓ c + when c A &lt; c B ) such that the equilibrium c + is restored.

The left-side equilibrium, on the other, hand may not always be stable. Consider c ' &lt; c -be an equilibrium with cost thresholds c A and c B with c A &lt; c B . Then, the supporters of B are incentivized to participate as, with additional participation from supporters of B , the margin m increases, increasing the probability of win for B . The supporters of A , on the other hand are also incentivized

to participate. An additional participation from A supporters would mean that m decreases. Hence stability of c -depends on the relative increase in the participation from each type of agent.

The emergence of an unstable equilibrium between two stable ones (one of which is trivial) also occurs e.g. in markets with positive externalities [KS85]. In our case externalities behave non-monotonically (positive under ˆ c and negative above but the results are similar.

## 7 Inducing Unbiased Participation

In the previous section we saw that allowing everyone to participate may introduce multiple equilibria, including some where the less-popular candidate wins with higher probability, and where the probability of the popular candidate to win is bounded regardless.

Denote by ε := s A (1) -s B (1) , the expected margin under full participation, so s A (1) = (1 + ε / ) 2 then n ≤ 1 /ε 2 . We then need to select sufficiently small n so that p n, ε ( ) ≥ 1 . In the fully rational models, this can only occur for a single active voter. However under our tie-sensitive model we have

We next explore a different idea: instead of allowing everyone to vote, we sample a sufficiently small group of voters (odd n ), such that they are all guaranteed to perceive themselves as pivotal, and hence all of them vote. The result is unbiased voting, but with fewer voters. A small sample size also guarantees unique, stable equilibrium that favours the popular candidate.

$$1 \leq p ( n, \varepsilon ) = \frac { 1 } { \varepsilon \sqrt { n } }$$

so any n ≤ 1 /ε 2 will guarantee participation of the entire sample. The perceived margin provides sufficient information to bound the winning probability of popular candidate; independent of the shapes of support functions.

For larger margin, the win probability of A may be either higher or lower, and this depends mainly on the parity of 1 /ε 2 (where for odd numbers it is always higher).

We now first consider a single round. This already provides us with a uniform lower bound of 0.84134 on the win probability of A when the margin ε goes to 0. The number 0.84134 is not coincidental but is the probability that a standard Normal random variable does not exceed a single standard deviation (See figure 2). Of course, the number is sensitive to the parameters of the exact PPM we use (as are the results in the previous sections), but not to the shapes of the support functions.

Still, we would like to further improve the winning probability. One direction (which we do not explore in this work) is to sample a higher number of voters in an attempt to balance bias and quantity. Instead, we will explore the possibility of allowing multiple rounds.

Multi-round voting Note that if we require a supermajority instead of a majority, the winning probability of A decreases, but not as much as the winning probability of B (see Fig 2). So in the extreme case, we could just try again and again until we get a unanimous vote. However such an extreme approach may substantially alter voters' behavior, which do not even know the number of rounds.

We can thus limit voting to at most two rounds. Given an expected margin ε :

- · Set a supermajority threshold ε ′ &lt; ε ;
- · sample n = n ε ( ) voters;

Figure 2: The figure illustrates win probability of the popular candidate in any given intermediate round. For majority, Pr( A wins ) = 0 84134 . and similarly for supermajority with margin m × 0 3 . (shown by orange color) it is 0 7580 . (the red area).

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00317v1-figure-c8d1c5c4-d754-480e-b2ae-995feddec72e.jpg)

- · If the first round ends with a margin at least ε ′ , the winner is determined and there is no second round;
- · Otherwise, we run a second round with n ′ = n ε ( ′ ) voters and simple majority.

Note that the chances of the unpopular candidate B winning in either round are small, as the first round require a supermajority, and the second round, if occurs, has n &gt; n ′ voters.

## 8 Numerical Study with an Example

In this section, we extend the theoretical results of the previous section with the help of an example for different model parameters, numerically.

Example 4. Suppose s A ( c ) = 0 1 + . c/ 2 and s B ( c ) = 0 4 . . That is, B has 40% overall support, all of them core supporters and A has 60% overall support and a fraction of voters are distributed over cost range [0 , 1] .

Figure 3 shows the win probability of candidate A under c + and for a fixed population size of 10 6 for different values of α . The larger value of α pushes the equilibrium point c + towards the right, increasing the win probability of the popular candidate. However, as shown in the blowup box, this probability is still bounded away from 1.

We begin by showing that for large values of N , non-trivial equilibria emerge around the pivot point and converge to the pivot point as N goes to infinity.

In Figure 4, we observe that the win probabilities under c + and c -for respective winning candidates are significantly different. While B wins with a high probability under c -, A wins under c + with a high probability for the same population size. Hence B would always prefer a smaller fraction of the population to vote whereas the popular candidate prefers a large population to vote. Furthermore, for a fixed population size, the win probabilities of these candidates under their favoured equilibria are not the same.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00317v1-figure-bbb28825-9b03-4fed-ad00-c4f88e10af31.jpg)

α

Figure 3: Win probability of candidate A under different values of α in p n, m ( ) = min(1 , 1 m α √ N ) . The blowup shows that win probability is still below 1 for α = 1 25 . .

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00317v1-figure-8a0535c0-bbea-4048-a883-2646a205873b.jpg)

Figure 4: Win probability for different values of N under respective induced equilibria. The equilibrium win probability for a popular candidate A increases with N whereas it decreases for the unpopular candidate B .

0 9

.

1

1 1

.

1 25

.

Figure 5: The pivot point ˆ c is marked by a circle at the intersection of the support functions, with the two non-trivial equilibria on its sides (dashed lines). For the upper equilibrium c + , the probability of a random voter to vote A or B is proportional to s A ( c + ) and s B ( c + ) , respectively. The m ′ is proportional to the margin of victory. The bold arrows above indicate that c + , c 0 are stable equilibria whereas c -is often not stable.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00317v1-figure-b24708dd-4988-4107-a2cc-4250cd7a373a.jpg)

## 9 Conclusion

Our results show that under the boundedly rational PPM the equilibrium outcome does not guarantee a decisive win for any of the candidates even with an arbitrarily large electorate size. Interestingly, the proposed model also captures the equilibria induced in fully rational models (Binomial and Poisson models) as trivial equilibria. Our boundedly rational model satisfies the property that both candidates enjoy almost equal support due to disproportionate abstention from their supporters. The almost equal support for candidates is a result of a trade-off between the following two factors; we have the trade-off between following two factors. then contested by concluding that agents also receive utility from the performing the civic duty . a) The candidate having majority support among high-cost voters faces more abstention. This increases the winning probability of the unpopular candidate against the popular candidate and b) voters are incentivized to vote depending on how many other voters vote. Hence, when a large fraction (overall) of voters abstain, the size of the voting population shrinks increasing the pivotality parameter which causes more voters to vote. The number of votes on the ballot increases with the voting population, however, this does not benefit both the candidates equally; disproportionate increase in the support of unpopular candidates leads to anti-Jury results. It is interesting to see how and if this happens in practice. We also leave the sensitivity analysis and robustness of these results as future work. Finally, coming up with a fully rational model that explains both high turnouts and surprises in large elections is an interesting future problem.

## References

| [Ald93] John H. Aldrich. Rational choice and turnout. American Journal of Political Science 37(1):246-278, 1993.                                                                                                                                                            |
|-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [Bla00] André Blais. To Vote or Not to Vote: The Merits and Limits of Rational Choice Theory University of Pittsburgh Press, 2000.                                                                                                                                          |
| [Dow57] Anthony Downs. An economic theory of political action in a democracy. Journal of Political Economy , 65(2):135-150, 1957.                                                                                                                                           |
| [EGK07] Aaron Edlin, Andrew Gelman, and Noah Kaplan. Voting as a rational choice: Why and how people vote to improve the well-being of others. Rationality and society , 19(3):293-314, 2007.                                                                               |
| [FF75] John A. Ferejohn and Morris P. Fiorina. Closeness counts only in horseshoes and dancing. The American Political Science Review , 69(3):920-925, 1975.                                                                                                                |
| [FLMG19] Roy Fairstein, Adam Lauz, Reshef Meir, and Kobi Gal. Modeling people's voting behavior with poll information. In Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems , pages 1422-1430, 2019.                             |
| [FP96] Timothy J. Feddersen and Wolfgang Pesendorfer. The swing voter's curse. American Economic Review , 86(3):408-424, 1996.                                                                                                                                              |
| [KS85] Michael L Katz and Carl Shapiro. Network externalities, competition, and compatibility. The American economic review , 75(3):424-440, 1985.                                                                                                                          |
| [Mei18] Reshef Meir. Strategic Voting . Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool Publishers, 2018.                                                                                                                             |
| [Mer81] Samuel Merrill. Strategic decisions under one-stage multi-candidate voting systems. Public Choice , 36(1):115-134, 1981.                                                                                                                                            |
| [MGT20] Reshef Meir, Kobi Gal, and Maor Tal. Strategic voting in the lab: compromise and leader bias behavior. Autonomous Agents and Multi-Agent Systems , 34(1):1-37, 2020.                                                                                                |
| [MLR14] Reshef Meir, Omer Lev, and Jeffrey S. Rosenschein. A local-dominance theory of voting equilibria. In Proceedings of the Fifteenth ACM Conference on Economics and Computation , EC '14, page 313-330, New York, NY, USA, 2014. Association for Computing Machinery. |
| [MW93] Roger B. Myerson and Robert J. Weber. A theory of voting equilibria. The American Political Science Review , 87(1):102-114, 1993.                                                                                                                                    |
| [Mye98] Roger B. Myerson. Population uncertainty and poisson games. International Journal of Game Theory , 27(3):375-392, 1998.                                                                                                                                             |
| [Mye02] Roger B Myerson. Comparison of scoring rules in poisson voting games. Journal of Economic Theory , 103(1):219-251, 2002.                                                                                                                                            |
| [OG84] Guillermo Owen and Bernard Grofman. To vote or not to vote: The paradox of nonvoting. Public Choice , 42(3):311-325, 1984.                                                                                                                                           |

[OR03] Martin J. Osborne and Ariel Rubinstein. Sampling equilibrium, with an application to strategic voting. Games and Economic Behavior , 45(2):434-441, 2003. Special Issue in Honor of Robert W. Rosenthal.

[RO68] William H. Riker and Peter C. Ordeshook. A theory of the calculus of voting. The American Political Science Review , 62(1):25-42, 1968.

[Wik22] Wikipedia. Voter turnout in United States presidential elections - Wikipedia, the free encyclopedia. http://en.wikipedia.org/w/index.php?title=Voter%20turnout%20in% 20United%20States%20presidential%20elections&amp;oldid=1116061047 , 2022. [Online; accessed 28-October-2022].

## A Missing Proofs

Proposition 1. Any distribution D induces a unique pair of support functions s A , s B with s A (1) + s B (1) = 1 , and vice-versa.

̸

̸

Proof. Suppose there are N voters sampled from D . Given a cost threshold c , let the random variable X ( ) i A ( c ) := 1 N -1 ∑ j = i 1 [ c j ≤ c and A ≻ j B ] denote fraction of supporters-other than voter i -of candidate A having the voting cost at-most c and similarly, define X ( ) i B ( c ) := 1 N -1 ∑ N -1 j = i 1 [ c j ≤ c and B ≻ j A ] . Note that, as X ( ) i T ( c ) does not depend on her type T i and her private cost c i and since every agent is exposed to the same knowledge, we have, X T ( c ) := X (1) T ( c ) = X (2) T ( c ) = · · · = X ( N ) T ( c ) for all T ∈ { A,B } . Finally, let s T ( c ) := E [ X T ( c )] , and note that it depends neither on i nor on N . To see that s T ( c ) is continuous, let s + , s -the right and left limits of s T ( c ) at c ∗ ∈ (0 , 1) . If s -&lt; s + then Pr D [( c ∗ , T )] = s + -s -&gt; 0 , in contradiction to out assumptions that D has no atoms at (0 , 1) . In the other direction, we define Pr D [ T i = A ] := s A (1) , then by assumption Pr D [ T i = B ] := 1 -s A (1) = s B (1) . For each T ∈ { A,B } , then function s T ( c /s ) T (1) is the CDF of Pr D [ c i | T i ] .

Proposition 2. (Election Equilibrium) For a given election ( s A , s B , p, N ) , every pure Bayes-Nash equilibrium can be described by a single number c ∈ [0 , 1] s.t.:

$$n ( c ) = ( s _ { A } ( c ) + s _ { B } ( c ) ) N$$

$$m ( c ) & = \frac { | s _ { A } ( c ) - s _ { B } ( c ) | } { s _ { A } ( c ) + s _ { B } ( c ) } \\ c & = p ( n ( c ), m ( c ) ),$$

and each voter i votes iff c i ≤ c .

Proof. Let c be the cost value such that c = p n c , m c ( ( ) ( )) and fix a player i . We show that the best response of player i is to vote when c i ≤ c and abstain otherwise irrespective of her type. If not, say c i &gt; c and i votes. Then the perceived utility of player i is given by

$$p ( n ( c ), m ( c ) ) - c _ { i } = c - c _ { i } < 0.$$

We note that the perceived pivotality p only defines agents subjective belief on the value of individual vote and may not be from well defined probability space.

Conversely, suppose there are two values 0 &lt; c 1 &lt; c 2 ≤ 1 such that agents i votes if c i ∈ [ c 1 , c 2 ] and abstains otherwise. Consider the following cases.

Similarly, when c i &lt; c , the best response strategy is to vote as voting gives strictly positive payoff to agent i . 8 Since the perceived pivotality is independent of player type, the voter strategies are the same.

- 1. c ∈ [ c 1 , c 2 ] : In this case, either there is an interval I := [ c, c 2 ] such that agent i votes (i.e. when c i ∈ I ) but in this case voting is not a best response strategy for i since c i &lt; c , or there is an interval I ′ = [0 , c ] such that voting is a best response strategy (when c i &gt; c ). In either case, from continuity of support function we have that the probability measure on at least one of I and I ′ is nonzero.

8 Note that as agent considers his vote to be of value p . ( ) , this value is not realized if agent abstains giving her the payoff of zero.

2. c / ∈ [ c 1 , c 2 ] : We consider two subcases

- · c &lt; c 1 : In this case there is an interval [ c, c 1 ) such that the best response of agent i is not to vote when c ≥ c i .
- · c &gt; c 2 : In this case there is an interval [ c 2 , c ) such that the best response of agent i is not to vote when c ≥ c i .

This completes the proof.

Proposition 3. Every election has at least one equilibrium.

Proof. For any c ∈ [0 , 1] , define f ( c ) := p n c , m c ( ( ) ( )) . Since the support functions are continuous, n c ( ) and m c ( ) are continuous (by Eqs. (2),(3)). By continuity of p , the function f is also continuous. Finally, every continuous function from [0 , 1] to itself has a fixed point, due to intermediate value theorem applied to f ( x ) -x .

Proposition 4. Suppose s A (0) + s B (0) &gt; 0 . Any instance with strongly vanishing pivotality admits only a trivial equilibrium.

Proof. Assume towards a contradiction that there is a nontrivial equilibrium c = ( c N N ) with limit c ∗ &gt; δ for some δ &gt; 0 . This means that c N &gt; q for all sufficiently large N . However, for any N , the number of active voters n c ( N ) is at least ( s A ( δ ) + s B ( δ )) N = Ω( N ) , and thus p n, m ( ) = O ( 1 √ n ) = O ( 1 √ N ) . This means that for sufficiently large N , the pivot probability is p n c ( ( N ) , m c ( N )) &lt; δ . A contradiction.

̸

Proposition 5. Suppose s A (0) = s B (0) . Then any instance with weakly vanishing pivotality admits a trivial equilibrium.

For any , we should show that there is some and such that ∗ .

By weakly vanishing pivotality,

Proof. δ &gt; 0 N δ c δ &lt; δ c δ ∈ C ( I, N δ ) W.l.o.g. s B (0) &gt; s A (0) , and by the bounded derivatives, the margin m c ( ) is at least some ε &gt; 0 in some neighborhood c ∈ [0 , q ] . Let δ := min { q, δ } .

$$p ( n ( \underline { \delta } ), m ( \underline { \delta } ) ) \leq p ( n ( \underline { \delta } ), \varepsilon ) = p ( s _ { B } ( 0 ) N, \varepsilon ) \to 0$$

as N grows. In particular there is some N δ for which p s ( B (0) N , ε δ ) &lt; δ . We argue that there must be an equilibrium in the range [0 , δ ] .

Indeed, fix N δ and let f ( x ) := p n x , m x ( ( ) ( )) -x . We know that f is continuous, that f (0) ≥ 0 and that f ( δ ) = p n δ , m δ ( ( ) ( )) -δ &lt; δ -δ = 0 . From the intermediate value theorem, there must be some c δ ∈ [0 , δ ) for which f ( c δ ) = 0 , meaning c δ = p n c ( ( δ ) , m c ( δ )) . Thus c δ ∈ C ∗ ( I, N δ ) .

Proposition 7. Let c A ≥ ̂ c and c B ≥ ̂ c be cost thresholds for voters of type A and B respectively, and perceived pivotality p is given as p = ( p c A , c B ) = p m c ( ( A , c B ) , n ( c A , c B )) . Then for any voting instance I with N voters, the best response of voters is such that c A = c + and c B = c + .

Proof. We prove the result by looking at the best response of each type of voters. Let u i ( p , c i i ) be the utility of voter i under perceived probability p and cost of voting c . We will consider that two types ( A supporters and B supporters) of voters have different perceived pivotalities p and p ′ respectively. We will drop the subscript whenever it is clear from the context.

Case 1 ( c A &gt; c + &gt; c B &gt; c ̂ ): In this case we have

First, note that since n = n c ( + , c + ) we have that either c A &gt; c + &gt; c B or c B &gt; c + &gt; c A . That is, with same voting population as in the equilibrium, either A 's supporters are more in number or B 's supporters are more than their number under the equilibrium.

$$s _ { A } ( c _ { A } ) > s _ { A } ( c ^ { + } ) > s _ { B } ( c ^ { + } ) > s _ { B } ( c _ { B } ) > s _ { A } ( \widehat { c } ) = s _ { B } ( \widehat { c } ).$$

Hence, there is a more participation from A supporters compared to the equilibrium point c + and a correspondingly less participation from B supporters than equilibrium point. This gives p &lt; p + &lt; p ′ . The utility for A supporters with cost c ∈ [ c + , c A ] (the shaded region on the right of c + in Figure 1) from voting is given by

$$u ( p, c ) = p - c < p ^ { + } - c = c ^ { + } - c \leq 0.$$

Hence these voters are incentivized to abstain from election.

The B supporters in cost c ∈ [ c B , c + ] , on the other hand, obtain strictly positive utility by voting given by

$$u ( p ^ { \prime }, c ) = p ^ { \prime } - c > p ^ { + } - c \geq p ^ { + } - c ^ { + } = 0$$

Case 2 ( c B &gt; c + &gt; c A ): In this case, the A voters' perceived pivotality p is larger than that of equilibrium pivotality p + whereas B supporters' perceived pivotality p ′ is less that p + i.e., p ′ &lt; p + &lt; p . The utility of A supporters in range [ c A , c + ] (shaded region left of c + in Figure 1) from voting is

$$u ( p, c ) = p - c > p - c ^ { + } = p - p ^ { + } > 0.$$

Similarly the utility obtained by B 's supporters in cost range c ∈ [ c + , c B ] by voting is given by

$$u ( p ^ { \prime }, c ) = p ^ { \prime } - c < p ^ { + } - c = c ^ { + } - c \leq 0.$$

Hence these B supporters are incetivized to vote.

## B A Detailed Example

Example 4. Suppose s A ( c ) = 0 1 + . c/ 2 and s B ( c ) = 0 4 . . That is, B has 40% overall support, all of them core supporters and A has 60% overall support and a fraction of voters are distributed over cost range [0 , 1] .

## Analysis of Example 4 under fully rational models

Binomial PPM: The expected number of active voters for a given cost c is given as n c ( ) = N s ( A ( c ) + s B ( c )) = N (1 + c / ) 2 . As for the winning margin, we have m c ( ) = | 0 3 . -c/ 2 | 0 5+ . c/ 2 = | 0 6 . - | c 1+ c . The

Figure 6: A schematic illustation of stability of the equilibrium point c + . When c ′ &gt; c + is an equilibrium estimate, the B supporters from right shaded region are incentivized to participate whereas under c ' &lt; c + the B supporters from left shaded region are incetivized to abstain.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00317v1-figure-da7f8d98-4a39-4708-854b-d1b62eb0ba3f.jpg)

equilibrium c ∗ satisfies

$$c ^ { * } & = p ( n ( c ^ { * } ), m ( c ^ { * } ) ) = p \left ( N \frac { 1 + c ^ { * } } { 2 }, \frac { 0. 6 - c ^ { * } } { 1 + c ^ { * } } \right ) \\ & \cong \frac { 1 } { \sqrt { \pi N ( 1 + c ^ { * } ) } } \left ( 1 - \left ( \frac { 0. 6 - c ^ { * } } { 1 + c ^ { * } } \right ) ^ { 2 } \right ) ^ { N ( 1 + c ^ { * } ) / 4 } \leq \frac { 1 } { \sqrt { \pi N } }$$

For large value of N c , ∗ is close to 0 and hence the margin remains close to 0 6 . in favor of the unpopular candidate B , increasing the winning probability of B . Note that this equilibrium point indeed satisfies the Jury theorem as given above.

## Analysis of Example 4 under proposed tie-sensitive PPM model

Consider the proposed tie-sensitive model p n, m ( ) = min 1 1 { , /m √ n } and observe that c ∗ = p n c ( ( ∗ ) , m c ( ∗ )) = min(1 , 1 m c ( ∗ ) √ n c ( ∗ ) ) = min(1 , √ 1+ c ∗ | 0 6 . -c ∗ | √ 2 N ) . For large values of N we obtain three non-negative solutions for c ∗ ; 0 &lt; c 0 &lt; c -&lt; 0 6 . &lt; c + ≤ 1 . For instance. for N = 10 4 we have. ( c 0 , c -, c + ) = (0 02489 0 5689 0 62823) . , . , . and for N = 10 6 it is (0 002369 0 5970 0 602964) . , . , . . See Figure 7.

Trivial Equilibrium: We first track the equilibrium around 0 ; i.e. c 0 . Similar to the strongly vanishing Binomial PPM model, this model also supports an equilibrium solution that goes to 0

with rate N -1 2 / . Furthermore, a trivial solution always exists and candidate B wins in a trivial equilibrium satisfying the Jury theorem.

Non-trivial Equilibria: We will consider the equilibrium c + i.e. the one in which popular candidate (candidate A) wins with large probability. The analysis of c -is analogous. Let c + := 0 6 + . ε and note that for large N , the winning margin m c ( + ) is approximately ε/ 1 6 . and the number of active voters is n c ( + ) = N (1 + c + ) / 2 = N (1 6 + . ε / ) 2 = 0 8 . N +0 5 . Nε . Hence

$$c ^ { + } & = \varepsilon + 0. 6 = p ( 0. 8 N + N \varepsilon / 2, \varepsilon / 1. 6 ) \\ & \cong \min \{ 1, \frac { 1. 6 } { \varepsilon \sqrt { 0. 8 N + 0. 5 N \varepsilon } } \}$$

$$\Phi ^ { \prime } \, \varepsilon \sqrt { 0. 8 N + 0. 5 N \varepsilon } \, \varepsilon$$

The minimum on the right side of the above equation is less than 1 for large enough N . We have

$$( \varepsilon + 0. 6 ) \varepsilon \sqrt { 0. 8 N + 0. 5 N \varepsilon } = 1. 6 & & ( 1 0 )$$

The following sequence of inequalities

$$0. 5 \varepsilon \sqrt { N } < 0. 6 \varepsilon \sqrt { 0. 8 N } < ( \varepsilon + 0. 6 ) \varepsilon \sqrt { 0. 8 N + 0. 5 N \varepsilon } = 1. 6$$

imply ε &lt; 3 2 . √ N . This gives an upper bound on the rate at which ε decreases as a function of population size N . Similarly, we lower bound the value of ε using

$$1. 6 = ( \varepsilon + 0. 6 ) \varepsilon \sqrt { 0. 8 N + 0. 5 N \varepsilon } \leq \varepsilon \sqrt { N }$$

to 1 6 . / √ N . The last inequality above follows from the fact that c + = 0 6 + . ε ≤ 1 i.e. ε ≤ 0 4 . . Together we have

$$\frac { 1. 6 } { \sqrt { N } } \leq \varepsilon \leq \frac { 3. 2 } { \sqrt { N } }$$

For large value of N , Eq. (11) above gives a tight characterization of the equilibrium threshold point c + . This, consequently, gives a reasonably tight bound on the probability that a random voter will vote for popular candidate A is given by

$$\Pr ( A ) \coloneqq \frac { s _ { A } ( c ^ { + } ) } { s _ { A } ( c ^ { + } ) + s _ { B } ( c ^ { + } ) } = \frac { 0. 2 + c ^ { + } } { 1 + c ^ { + } }.$$

A straightforward calculation, gives the following bounds on P A ( ) .

$$0. 5 + \frac { 1 } { 2 ( \sqrt { N } + 1 ) } < P ( A ) < 0. 5 + \frac { 1 } { 2 + \sqrt { N } }$$

$$\underset { \begin{array} { c } \dots \end{array} } { \text{Let } } \delta _ { 1 } = \frac { 1 } { 2 ( \sqrt { N + 1 } ) } \text{ and } \delta _ { 2 } = \frac { 1 } { 2 + \sqrt { N } }. \quad.$$

Using this, we now analyze the win probability of candidate A . For this, we will approximate the Binomial random variable by the appropriate gaussian random variable. Let, µ = n c ( + ) Pr( A ) and σ = √ n c ( + ) Pr( A )(1 -Pr( A )) . Note that Pr( A wins ) ≃ Pr X ∼N ( µ,σ 2 ) ( X ≥ n c ( + ) 2 ) . Using the bounds above we see that

$$\sigma & > \sqrt { 0. 8 N ( 0. 2 5 - \varepsilon _ { 2 } ) ^ { 2 } } = \sqrt { 0. 8 N ( 0. 2 5 - 1 / ( 2 + \sqrt { N } ) ^ { 2 } ) } \\ & \approx \sqrt { 0. 2 N } > 0. 4 \sqrt { N }$$

## On the other hand

$$| n ( c ^ { + } ) / 2 - \mu | \leq n ( c ^ { + } ) \varepsilon _ { 2 } = 0. 8 \sqrt { N } < 2 \sigma.$$

This implies that the difference between the mean and the threshold for A 's victory is upper bounded by two times standard deviations. Hence the candidate B stands at least a 0.6 percentage chance of winning the election.

Figure 7: The pivot point ˆ c is marked by a circle at the intersection of the support functions, with the two non-trivial equilibria for N = 10000 on its sides (dashed lines). For the upper equilibrium c + , the probability of a random voter to vote A or B is proportional to s A ( c + ) = 0 414 . and s B ( c + ) = 0 4 . , respectively. Thus the margin is m ′ divided by the fraction of active voters s A ( c + ) + s B ( c + ) = 0 814 . .

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00317v1-figure-d4a27134-de62-4b4b-997c-67b155aee844.jpg)

## C Additional Numerical results

In this section, we empirically evaluate the theoretical results. We first show in Figure 8 that the number of active voters in large elections is a constant fraction of the population size. We consider an election instance from Section B and observe that for a large value of N both the equilibria induce (almost) a constant fraction of voters to vote. This also implies that for a large value of N both equilibrium points are nearby, favouring different candidates whereas not guaranteeing any candidate a certain victory.

Next, in Figure 9 we observe that for the weaker dependence on the margin of victory i.e. smaller values of α induce smaller equilibrium cost values. For instance, for N = 10 3 the equilibrium is c + = 0 8 . for α = 1 5 . whereas the equilibrium cost is c + = 0 605 . when α = 0 5 . . This implies that for fully rational models, when α = 0 our models predicts that only equilibrium is the trivial equilibrium.

Figure 8: Number of active voters is a constant fraction of population size under both the equilibrium points.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00317v1-figure-5481ff77-cb1d-4718-8945-3619383e776e.jpg)

Figure 9: The size of the population that induces equilibrium threshold as a given cost value.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00317v1-figure-42384fca-d7f5-4ebe-9889-c10ef29aa067.jpg)

## Comparing c -to c +

Fig. 10 shows empirically that

- 1. The locally popular candidate at c -(B) has decreasing winning probabilities;
- 2. The locally popular candidate at c + (A) has increasing winning probabilities;
- 3. The winning probability of B at c -is always larger.

At least for the third observation we can provide a theoretical justification.

Figure 10: Win probability for different values of N under respective induced equilibria. The equilibrium win probability for a popular candidate A increases with N whereas it decreases for the unpopular candidate B .

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00317v1-figure-bbd7ef61-e23f-4165-8307-c0c05dfcc7d0.jpg)

Proposition 8. For a linear-support, tie-sensitive PPM, and any N , it holds that the winning probability of B at c -is strictly greater than the winning probability of A at c + .

Proof. Since c -&lt; c + , there are strictly less active voters (of both types) in c -, thus n c ( -) &lt; n c ( + ) . Since both points are equilibrium point, we know that voters in c + participate iff their perceived pivotality is at least c + . That is,

$$p ( n ( c ^ { + } ), m ( c ^ { + } ) ) = c ^ { + }.$$

Similarly,

$$p ( n ( c ^ { - } ), m ( c ^ { - } ) ) = c ^ { - }.$$

Now, p is decreasing in both arguments (for any PPM), thus

$$p ( n ( c ^ { - } ), m ( c ^ { - } ) ) > p ( n ( c ^ { + } ), m ( c ^ { - } ) ).$$

Together,

$$p ( n ( c ^ { + } ), m ( c ^ { + } ) ) = c ^ { + } > c ^ { - } = p ( n ( c ^ { - } ), m ( c ^ { - } ) ) > p ( n ( c ^ { + } ), m ( c ^ { - } ) ).$$

Since p is decreasing in m , this means m c ( + ) &lt; m c ( -) .
Ganesh Ghalme Reshef Meir
Condorcet's Jury Theorem with Abstention
The well-known Condorcet's Jury theorem posits that the majority rule selects
the best alternative among two available options with probability one, as the
population size increases to infinity. We study this result under an asymmetric
two-candidate setup, where supporters of both candidates may have different
participation costs.
  When the decision to abstain is fully rational i.e., when the vote pivotality
is the probability of a tie, the only equilibrium outcome is a trivial
equilibrium where all voters except those with zero voting cost, abstain. We
propose and analyze a more practical, boundedly rational model where voters
overestimate their pivotality, and show that under this model, non-trivial
equilibria emerge where the winning probability of both candidates is bounded
away from one.
  We show that when the pivotality estimate strongly depends on the margin of
victory, victory is not assured to any candidate in any non-trivial
equilibrium, regardless of population size and in contrast to Condorcet's
assertion. Whereas, under a weak dependence on margin, Condorcet's Jury theorem
is restored.