## Power Distribution in Randomized Weighted Voting: the Effects of the Quota

Joel Oren 1 , Yuval Filmus 2 , Yair Zick 3 , and Yoram Bachrach 4

- 1 Department of Computer Science, University of Toronto, Canada

oren@toronto.edu

- 2 Institute of Advanced Study Princeton University, USA

yfilmus@ias.edu

- 3 School of Computer Science

Carnegie-Mellon University, USA

yairzick@cs.cmu.edu

- 4 Microsoft Research, UK

yobach@microsoft.com

Abstract. We study the Shapley value in weighted voting games. The Shapley value has been used as an index for measuring the power of individual agents in decision-making bodies and political organizations, where decisions are made by a majority vote process. We characterize the impact of changing the quota (i.e., the minimum number of seats in the parliament that are required to form a coalition) on the Shapley values of the agents. Contrary to previous studies, which assumed that the agent weights (corresponding to the size of a caucus or a political party) are fixed, we analyze new domains in which the weights are stochastically generated, modeling, for example, elections processes.

We examine a natural weight generation process: the Balls and Bins model, with uniform as well as exponentially decaying probabilities. We also analyze weights that admit a super-increasing sequence, answering several open questions pertaining to the Shapley values in such games.

## 1 Introduction

Weighted voting is a common method for making group decisions. This is the method used in parliaments: one can think of the political parties in a parliament as weighted agents , where an agent's weight is the number of seats it holds in the parliament.

Power dynamics in electoral systems have been the focus of academic study for several decades. One important observation is that the weight of a party is not necessarily equal to its electoral power. For example, consider a parliament that has three parties, two with 50 seats, and one with 20 seats. Assuming that a majority of the votes is required in order to pass a bill, all three parties have the same decision-making power: no single party can pass a bill on its own, whereas any two parties can. This contrasts the fact that one of the parties has significantly less weight than the other two. One of the

most prominent measures of voting power is the Shapley-Shubik power index (also referred to as the Shapley value); it has played a central role in the analysis of real-life voting systems, such as the US electoral college [1, 2], the EU council of members [3, 4, 5], and the UN security council [6].

Empirical studies of weighted voting present an interesting phenomenon: changes to the quota (i.e., the number of votes required in order to pass a bill, also called the threshold) can dramatically affect agent voting power. Changes to the quota have been proposed as a way to correct power imbalance in the EU council of members [4]; this is because quota changes are perceived as a preferable alternative to changes to agent weights (as is proposed by [7]), and were thus argued for in [4, 8].

The objective of this paper is to study the effects of changes to the quota on electoral power as measured by the Shapley-Shubik power index. Previous analytical studies of power indices as a function of the quota have mostly focused on the following question: given a set of weights, what would be the effect of changes to the quota on voting power?

As mentioned, the effect that changing the quota has on the Shapley value has been studied to some extent. However, as these studies show, relatively little can be said about these effects in general. Instead of studying arbitrary weight vectors, we assume that weights are sampled from certain natural distributions. Modeling a parliamentary election process, we think of voters as casting their ballots according to a prescribed distribution, that determines the number of seats each party will hold. Using natural weight generation processes, we analyze the expected behavior of the Shapley value as a function of the quota. For example, some of our results show that even when weights are likely to be very similar, some choices of a quota will cause significant differences in voting power.

Our Contributions Our work focuses on the Balls and Bins model -a model that has received considerable recent attention in the computer science community [9, 10, 11]. Informally, in this iterative process, in each round a ball is thrown into one of several bins according to a fixed probability distribution.

In Section 4, we study a simple model, where each ball lands in one of the n bins uniformly at random. We identify a repetitive fluctuation pattern in the Shapley values, with cycles of length m n . We show that if the quota is sufficiently bounded away from the borders of its lengthm n cycle, then the Shapley values of all agents are likely to be very close to each other. On the other hand, we show that due to noise effects, when the quota is situated close enough to small multiples of m n , the highest Shapley value can be roughly double than that of the smallest one. In other words, even if one expects that candidate weights are identical with high probability, choosing a quota near a multiple of m n may result in a great difference between Shapley values.

To complement our findings for the uniform case, in Section 5 we consider the case in which the probabilities decay exponentially, with a decay factor no larger than 1 / 2 . We show that analyzing this case essentially boils down to characterizing the Shapley values in a game where weights are a super-increasing sequence (Section 6). Our results significantly strengthen previous results obtained for this case in [12]: we fully characterize the Shapley value as a function of the quota for the super-increasing case.

In addition to giving a closed-form formula for the Shapley values, we also provide conditions for the equality of consecutive agents.

## 1.1 Related Work

Weighted voting games (WVGs) have been studied extensively, two classic power measures proposed by [13] and by [6, 14] being the main object of analysis (see [5], [15] and [16] for expositions). From an economic point of view, the appeal of the Shapley value is that it is the only division rule that satisfies certain desirable axioms [6]. Computing Shapley values in WVGs has also been the focus of several studies: power indices have been shown to be computationally intractable (see [17] for a detailed overview), but easily approximable. Randomized sampling has been employed in order to efficiently approximate the Shapley value, with the earliest examples of this technique appears in [1], with subsequent analysis in [18, 19]. However, this type of analysis employs the inherent probabilistic nature of power indices, rather than inducing randomness in the weighted voting game itself.

If one makes no assumptions on weight distributions, very little can be said about the effects of the quota on WVGs. Indeed, as demonstrated in [20, 21, 12], power measures are highly sensitive to varying quota values. While [21] presents some preliminary results on the effects of the quota when weights are sampled from a given distribution, our work takes a more principled approach to the matter.

Several works have studied the effects of randomization on weighted voting games from a theoretical, computational and empirical perspective. The earliest study of randomization and its effects on voting power is due to [7], who shows that the Banzhaf power index scales as the square root of players' weight when weights are drawn from bounded distributions. 5 [23] shows certain convergence results for power indices, when players are sampled from some distributions; [24] show that when weights are sampled from the uniform distribution, the expected Shapley value of a player is proportional to its weight, assuming that the quota is 50%. [21] considers a model where the quota is sampled from a uniform distribution, and bounds the variance of the Shapley value in this setting, both for general weights and for weights sampled from certain distributions. The effects of changes to the quota have also been studied empirically, mostly in the context of the EU council of members [8, 3, 4].

## 2 Preliminaries

General notation Given a vector x ∈ R n and a set S ⊆ { 1 , . . . , n } , let x S ( ) = ∑ i ∈ S x i . For a random variable X , we let E [ X ] be its expectation, and Var[ X ] be its variance. For a set S , we denote by [ S k ] the collection of subsets of S of cardinality k . The notation T ∈ R [ S k ] means that the set T is chosen uniformly at random from [ S k ] . We let B( n, p ) denote the binomial distribution with n trials and success probability p . We let N ( µ, σ 2 ) denote the normal distribution with mean µ and variance σ 2 . We let U a, b ( ) denote the uniform distribution on the interval [ a, b ] .

5 The results shown by Penrose predate the work by Banzhaf, but can be applied directly to his work; see [22] for details.

We let O p ( ) · denote the usual big-O notation, conditioned on a fixed value of p . In other words, having f ( n ) = O p ( g n ( )) means that there exist functions K ( ) · , N ( ) · , such that for n ≥ N p ( ) , f ( n ) ≤ K p ( ) · g n ( ) .

Finally, for a distribution D over R , and some event E , we simplify our notation by letting Pr[ E ( D )] = Pr x ∼ D [ E ( x )] . For example, for a &gt; 0 , we can write Pr[B( n, p ) ≤ a ] = Pr x ∼ B( n,p ) [ x ≤ a ] .

Weighted voting games A weighted voting game (WVG) is given by a set of agents N = { 1 , . . . , n } , where each agent i ∈ N has a positive weight w i , and a quota (or threshold ) q . Unless otherwise specified, we assume that the weights are arranged in non-decreasing order, w 1 ≤ ·· · ≤ w n . For a subset of agents S ⊆ N , we define w S ( ) = ∑ i ∈ S w i .

A subset of agents S ⊆ N is called winning (has value 1 ) if w S ( ) ≥ q and is called losing (has value 0 ) otherwise.

The Shapley value Let Sym n be the set of all permutations of N . Given some permutation σ ∈ Sym n and an agent i ∈ N , we let P i ( σ ) = { j ∈ N : σ j ( ) &lt; σ i ( ) } ; P i ( σ ) is called the set of i 's predecessors in σ . Let us write m S i ( ) to be v S ( ∪ { } i ) -v S ( ) ; in other words, m S i ( ) = 1 if and only if v S ( ) = 0 but v S ( ∪ { } i ) = 1 . If m S i ( ) = 1 , we say that i is pivotal for S ; similarly, we write m σ i ( ) = m P σ i ( i ( )) , and say that i is pivotal for σ ∈ Sym n if i is pivotal for P i ( σ ) . The Shapley-Shubik power index (often referred to as as the Shapley value in the context of WVG's) is simply the probability that i is pivotal for a permutation σ ∈ Sym n selected uniformly at random. More explicitly,

$$\varphi _ { i } = \frac { 1 } { n! } \sum _ { \sigma \in S y m _ { n } } m _ { i } ( \sigma ).$$

Since σ -1 ( ) i is distributed uniformly when σ is chosen at random from Sym n , we also have the alternative formula

$$\varphi _ { i } = \frac { 1 } { n } \sum _ { \ell = 0 } ^ { n - 1 } \underset { S \in _ { R } [ \overset { N } { \lambda } \times \{ i \} } { \mathbb { E } } } { \mathbb { m } } _ { i } ( S ).$$

Properties of the Shapley value For WVGs, it is not hard to show that w i ≤ w j implies ϕ i ≤ ϕ j , and so if the weights are arranged in non-decreasing order, the minimal Shapley value is ϕ 1 and the maximal one is ϕ n . Another useful property that follows immediately from the definitions is that ∑ i ∈ N ϕ i = 1 , assuming 0 &lt; q ≤ ∑ i ∈ N w i . When we want to emphasize the role of the quota q , we will think of the Shapley values as functions of q : ϕ i ( q ) .

## 3 An Overview of our Results

We begin by briefly presenting our three major contributions.

The Balls and Bins Distribution: the Uniform Case In this work, we study the effects of the quota on agents' voting power, when agent weights are sampled from the balls and bins distribution. This distribution is appealing, as it can naturally model election dynamics under plurality voting: consider an election where m voters vote for n parties; the weight of each party is determined by the number of votes it receives. If we assume that each voter will vote for party i with probability p i , party seats are distributed according to the balls and bins distribution with the probability vector p . We first study the case where balls are thrown into bins uniformly at random; that is, voters choose parties uniformly at random (the impartial culture assumption).

(a) The Shapley values of agents 1, 10, 20 and 30 in a 30-agent WVG where weights were drawn from a balls and bins distribution with m = 10000 balls.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0442v1-figure-f83fc338-4145-4876-8f8f-2d743fdc8781.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0442v1-figure-7969e603-b7f3-4744-be3d-c5d4d84fc5f0.jpg)

(b) The Shapley values as a function of the quota in a 10-agent game where agent i 's weight is 2 i -1 .

When weights are drawn from a uniform balls and bins distribution with m balls and n bins, Shapley values follow a rather curious fluctuation pattern as the quota varies (see Figure 1a). Note that the fluctuation is quite regular, with power disparity occurring at regular intervals (these intervals are of length m n ). Our first result (Theorem 4.1) shows that when we select a quota that is sufficiently far from an integer multiple of m n , all agents' Shapley values tend to be the same. When the quota is an integer multiple of m n , we distinguish between two cases; when the quota is far from the 50% mark, power disparity is likely to occur, with the weakest agent's voting power sinking to less than half that of the strongest (Theorem 4.2). However, disparity is mitigated when the quota is near the 50% mark (Theorem 4.3). These results indicate that even if weights are likely to be similar (as is the case for the uniform balls and bins distribution), power disparity is likely in certain quotas.

The Balls and Bins Distribution: the Exponential Case In Section 5, we explore the case where the voting probabilities are exponentially increasing, i.e. p i p i +1 = ρ for some fixed constant 0 &lt; ρ &lt; 1 2 . In this case, we show (Theorem 5.1) that agents' weights are very likely to be super-increasing (super-increasing weights were first studied by [12]). Thus, in order to understand the expected behavior of voting power as a function of

the quota in the exponential setting, it suffices to characterize the Shapley value for weighted voting games with super increasing weights.

Super-Increasing Weights Following the crucial observation made in Theorem 5.1, we complete characterize voting power in WVGs with super-increasing weights in Section 6. First we show that in order to compute the Shapley value of an agent under a super-increasing sequence, it suffices to know his Shapley value when weights are powers of 2 (Lemma 6.2). This connection leads to a closed-form formula for the Shapley value when weights are super-increasing (Theorem 6.1). Employing our formula, we are able to derive some interesting properties of the Shapley values as functions of the quota for super-increasing sequences. These results generalize those found in [12], providing a clear understanding of the mechanics of power distribution and the quota for the case of super-increasing sequences.

We conclude our study with an interesting analysis of ϕ i ( q ) when weights are finite prefixes of the sequence (2 m ) ∞ m =0 . The analysis explains in many ways the fractal shape of ϕ i ( q ) when weights are powers of two, and shows when voting power will increase or decrease.

## 4 The Balls and Bins Distribution: the Uniform Case

We now consider a generative stochastic process called the Balls and Bins process. In its most general form, given a set of n bins and a distribution represented by a vector p ∈ [0 , 1] n such that ∑ n i =1 p i = 1 , the process unfolds in m steps. At every step, a ball is thrown into one of the bins based on the probability vector p . The resulting weights are then sorted in non-decreasing order w 1 ≤ · · · ≤ w n .

We begin our study of the balls and bins process by considering the most commonly studied version of the balls and bins model, in which each ball is thrown into one of the bins with equal probability, i.e., p i = 1 /n , for all i ∈ N .

As Figure 1a shows for the case of n = 30 , the behavior of the Shapley values demonstrates an almost perfect cyclic pattern, with intervals of length m/n . As can be seen in the figure, for quota values that are sufficiently distant from the interval endpoints, all of the Shapley values tend to be equal (as the Shapley values of the highest and lowest agents are equal in these regions). As the number of balls grows, all of the bins tend to have nearly the same number of balls in them; however, low weight discrepancy does not immediately translate to low power discrepancy: we can guarantee nearly equal voting power in some quotas, but not in others.

We begin by providing a formula for the differences between two Shapley values.

Lemma 4.1 For all agents i, j ∈ N ,

$$| \varphi _ { j } - \varphi _ { i } | = \frac { 1 } { n - 1 } \sum _ { \ell = 0 } ^ { n - 2 } \Pr _ { S \in R [ \stackrel { N \subset ( i, j ) } { \ell } ] } [ q - \max ( w _ { i }, w _ { j } ) \leq w ( S ) < q - \min ( w _ { i }, w _ { j } ) ].$$

We now give a theoretical justification for the near-identity of Shapley values for quotas that are well-away from integer multiples of m n .

Theorem 4.1. Let M = m 3 n 3 . Suppose that | q -glyph[lscript]m n | &gt; 1 √ M n m for all integers glyph[lscript] . Then with probability 1 -2( 2 e ) n , all Shapley values are equal to 1 /n .

glyph[negationslash]

The idea of the proof is the following. Suppose that w i ≤ w j . According to Lemma 4.1, ϕ i = ϕ j only if for some S ⊆ N \ { i, j } , we have q -w j ≤ w S ( ) &lt; q -w i . For a fixed set of agents | S | ∈ [ N \{ i,j } k ] we have S ∼ B( m,k/n ) - as each ball enters into one of the bins corresponding to S with probability k/n . As a result, w S ( ) is concentrated around the mean km/n . On the other hand q -w , q j -w i ≈ q -m n . Therefore, if q is far away from ( k +1) m n for all 0 ≤ k ≤ n -2 , then the probability that q -w j ≤ w S ( ) &lt; q -w i is very small. The details can be found in the appendix.

Returning to our voting setting, the interpretation of Theorem 4.1 is that if the voter population is much larger than the number of candidates, and the votes are assumed to be cast uniformly at random (i.e., a totally neutral distribution of preferences), then choosing a quota that is well away from a multiple of m n , will most probably lead to an even distribution of power among the elected representatives (e.g., political parties).

## 4.1 How Weak Can the Weakest Agent Get in the Uniform Case?

As Theorem 4.1 demonstrates, if the quota is sufficiently bounded away from any integral multiple of m n , then the distribution of power tends to be even among the agents. When the quota is close to an integer multiple of m n , it may very well be that the resulting weighted voting game may not display such an even distribution of power, as a result of weight differences, as a result of the intrinsic 'noise' of the process. Figure 1a provides an empirical validation of this intuition. Motivated by these observations, we now proceed to study the expected Shapley value of the weakest agent, ϕ 1 (recall that we assume that the weights are given in non-decreasing order).

We now present two contrasting results. Let q = glyph[lscript] · m n , for an integer glyph[lscript] . When glyph[lscript] = o (log n ) , we show that the expected minimal Shapley value is roughly 1 2 n , and so it is at least half the maximal Shapley value (in expectation).

Theorem 4.2. Let q = glyph[lscript] · m n for some integer glyph[lscript] = o (log n ) . For m = Ω n ( 3 log n ) , E [ ϕ 1 ] = 1 2 n + ( o 1 n ) .

In contrast, when glyph[lscript] = Ω n ( ) , this effect disappears.

$$\begin{array} { l } \text{Theorem } 4. 3. \ L e t \ q = \ell \cdot \frac { m } { n } \text{ for } \ell \in \{ 1, \dots, n \} \text{ such that } \gamma \leq \frac { \ell } { n } \leq 1 - \gamma \text{ for some} \\ \text{constant } \gamma > 0. \ T h e n \text{ for } m = \Omega ( n ^ { 3 } ), \mathbb { E } [ \varphi _ { 1 } ] \geq \frac { 1 } { n } - O _ { \gamma } \left ( \sqrt { \frac { \log n } { n ^ { 3 } } } \right ). \end{array}$$

The idea behind the proof of both theorems is the formula for ϕ 1 given in Lemma 4.2. In this formula and in the rest of the section, the probabilities are taken over both the displayed variables and the choice of weights.

Lemma 4.2 Let q = glyph[lscript] · m n , where glyph[lscript] ∈ { 1 , . . . , n - } 1 . For m = Ω n ( 3 log n ) ,

$$\mathbb { E } [ \varphi _ { 1 } ] = \frac { 1 } { 2 ( n - \ell ) } - \frac { \ell } { n ( n - \ell ) } + \frac { 1 } { n - \ell } \Pr _ { A \in _ { R } [ ^ { N } _ { \ell - 1 } ) ] } [ w ( A ) + w _ { 1 } \geq q ] \pm O \left ( \frac { 1 } { n ^ { 2 } } \right ).$$

The full details of the proof appear in the appendix.

In order to estimate the expression Pr A ∈ R [ N \{ } 1 glyph[lscript] -1 ] [ w A ( ) + w 1 ≥ q ] , we need a good estimate for w 1 . Such an estimate is given by the following lemma.

$$L e m m a { 4. 3 } \ W i t h p r o b a b i l i y { 1 - 2 / n, w e h a v e t h a t } \, \sqrt { \frac { m \log n } { 3 n } } \leq \frac { m } { n } - w _ { 1 } \leq \sqrt { \frac { 4 m \log n } { n } }.$$

We obtain this bound by applying the Poisson approximation technique to the Balls and Bins process, which we now roughly describe. Consider the case of a random event, defined with respect to the weight distribution induced by the process. The probability of the event can be well-approximated by the probability of an analogous event, defined with respect to n i.i.d. Poisson random variables, assuming the event is monotone in the number of balls.

We can now prove Theorem 4.2.

Proof (of Theorem 4.2). Lemma A.3 (a simple technical result proved in the appendix) shows that

$$\Pr _ { A \in R [ \begin{smallmatrix} N \times ( 1 ) \\ \ell - 1 \end{smallmatrix} \rangle ] } [ w ( A ) + w _ { 1 } \geq q ] \leq \frac { n } { n - \ell + 1 } \Pr [ B ( m, \frac { \ell - 1 } { n } ) \geq q - w _ { 1 } ].$$

The concentration bound on w 1 (Lemma 4.3) shows that with probability 1 -2 /n , q -w 1 ≥ ( glyph[lscript] -1) m n + √ m log n 3 n . Assuming this, a Chernoff bound gives

$$\Pr [ B ( m, \frac { \ell - 1 } { n } ) \geq q - w _ { 1 } ] \leq \Pr [ B ( m, \frac { \ell - 1 } { n } ) \geq \frac { ( \ell - 1 ) m } { n } + \sqrt { \frac { m \log n } { 3 n } } ] \leq e ^ { - \frac { m \log n / ( 3 n ) } { 3 ( \ell - 1 ) m / n } } = o ( 1 ),$$

using glyph[lscript] = (log o n ) . Accounting for possible failure of the bound on q -w 1 , we obtain

$$\Pr _ { A \in R [ \begin{smallmatrix} N \bigcup ( 1 ) \\ \ell - 1 \end{smallmatrix} ] } [ w ( A ) + w _ { 1 } \geq q ] \leq \left ( 1 - \frac { 2 } { n } \right ) \cdot o \left ( \frac { n } { n - \ell } \right ) + \frac { 2 } { n } \cdot 1 = o ( 1 ),$$

using glyph[lscript] = (log o n ) . Lemma 4.2 therefore shows that

$$\mathbb { E } [ \varphi _ { 1 } ] \leq \frac { 1 } { 2 ( n - \ell ) } + o \left ( \frac { 1 } { n - \ell } \right ) + O \left ( \frac { 1 } { n ^ { 2 } } \right ) = \frac { 1 } { 2 n } + o \left ( \frac { 1 } { n } \right ),$$

since glyph[lscript] = (log o n ) implies 1 n -glyph[lscript] = 1 n + glyph[lscript] n n ( -glyph[lscript] ) = 1 n + ( o 1 n ) . Lemma 4.2 also implies a matching lower bound:

$$\mathbb { E } [ \varphi _ { 1 } ] \geq \frac { 1 } { 2 ( n - \ell ) } - \frac { \ell } { n ( n - \ell ) } - O \left ( \frac { 1 } { n ^ { 2 } } \right ) \geq \frac { 1 } { 2 n } - o \left ( \frac { 1 } { n } \right ).$$

In the regime of glyph[lscript] addressed by Theorem 4.2, Pr A ∈ R [ N \{ } 1 glyph[lscript] -1 ] [ w A ( ) + w 1 ≥ q ] was negligible. In contrast, in the regime of glyph[lscript] addressed by Theorem 4.3, Pr A ∈ R [ N \{ } 1 glyph[lscript] -1 ] [ w A ( )+ w 1 ≥ q ] ≈ 1 / 2 , as the following lemma, which is proved in the appendix using the Berry-Esseen theorem, shows.

Lemma 4.4 Suppose q = glyph[lscript] m n for an integer glyph[lscript] satisfying γ ≤ glyph[lscript] -1 n ≤ 1 -γ , and let

$$t _ { \varepsilon } = \Pr _ { A \in _ { R } [ \substack { N \times ( 1 ) \\ \ell - 1 } ] } \left [ w ( A ) + w _ { 1 } \geq q \colon w _ { 1 } = \frac { m } { n } - \varepsilon \sqrt { \frac { m \log n } { n } } \right ].$$

Then for m ≥ 4 n 3 ,

$$t _ { \varepsilon } \geq \frac { 1 } { 2 } - \frac { \varepsilon } { 2 \pi \gamma } \sqrt { \frac { \log n } { n } } - \frac { 1 } { n }.$$

As Lemma 4.3 shows, 1 / 3 ≤ ε ≤ 4 with probability 1 -2 /n , which explains the usefulness of this bound. We can now prove Theorem 4.3.

Proof (of Theorem 4.3). Lemma 4.3 shows that with probability 1 -2 /n w , 1 = m n -ε √ m log n n for some 1 / 3 ≤ ε ≤ 4 , in which regime Lemma 4.4 shows that t ε ≥ 1 2 -2 πγ √ log n n -1 n . Accounting for the case in which ε is out of bounds,

$$\Pr _ { A \in _ { R } [ ^ { N \times ( 1 ) } _ { \ell - 1 } ] } [ w ( A ) + w _ { 1 } \geq q ] \geq \left ( 1 - \frac { 2 } { n } \right ) \left ( \frac { 1 } { 2 } - \frac { 2 } { \pi \gamma } \sqrt { \frac { \log n } { n } } - \frac { 1 } { n } \right ) \geq \frac { 1 } { 2 } - \frac { 2 } { \pi \gamma } \sqrt { \frac { \log n } { n } } - \frac { 3 } { n }.$$

Substituting this in Lemma 4.2, we obtain

$$& \stackrel { \text{-\dots} } { \mathbb { E } } [ \varphi _ { 1 } ] \geq \frac { 1 } { 2 ( n - \ell ) } - \frac { \ell } { n ( n - \ell ) } + \frac { 1 } { n - \ell } \left ( \frac { 1 } { 2 } - \frac { 2 } { \pi \gamma } \sqrt { \frac { \log n } { n } } - \frac { 3 } { n } \right ) - O \left ( \frac { 1 } { n ^ { 2 } } \right ) \\ & \quad = \frac { 1 } { n - \ell } - \frac { \ell } { n ( n - \ell ) } - \frac { 1 } { n - \ell } O _ { \gamma } \left ( \sqrt { \frac { \log n } { n } } \right ) - O \left ( \frac { 1 } { n ^ { 2 } } \right ) = \frac { 1 } { n } - O _ { \gamma } \left ( \sqrt { \frac { \log n } { n ^ { 3 } } } \right ).$$

## 5 The Balls and Bins Distribution: the Exponential Case

In Section 4, we show that even when the distribution is not inherently biased towards any agent, substantial inequalities may arise due to random noise. We now turn to study the case in which the distribution is strongly biased. Returning to our formal definition of the general balls and bins process, we assume that the probabilities in the vector p are ordered in increasing order and p i p i +1 = ρ , for some ρ &lt; 1 / 2 . We observe that as m approaches ∞ , the weight vector follows a power law with probability 1 , where for each i = 1 , . . . , n -1 , w i w i +1 = ρ . A closely related family of weight vectors that we will refer to is the family of super-increasing weight vectors:

Definition 5.1. A series of positive weights w = ( w , . . . , w 1 n ) is said to be superincreasing (SI) if for every i = 1 , . . . , n , ∑ i -1 j =1 w &lt; w j i .

The following three results (Lemma 5.1, Lemma 5.2 and Theorem 5.1) show that for a sufficiently large value of m , estimating the Shapley values in WVGs where the weights are sampled from an exponential distribution can be reduced to the study of Shapley values in a game with a prescribed (fixed) SI weight vector; Section 6 studies power distribution in WVGs with SI weights. The following lemma gives a characterization of the necessary size of the voter population, so as to make the weight vector super-increasing, if the voters vote according to the above exponential distribution.

Lemma 5.1 Assume that m voters submit the votes according to the exponential distribution over candidates, such that for ρ ∈ (0 , 1 2 ) , and the probability that voter j votes for candidate i is proportional to ρ n -i . There is a constant C &gt; 0 such that if m ≥ Cρ -n (2 ρ -1) -2 log n then the resulting weight vector is super-increasing with probability 1 -O ( 1 n ) . Furthermore, as m →∞ , the probability approaches 1 .

The proof of the lemma uses a standard concentration bound (see Appendix B). Before we proceed, it would be helpful to provide some intuition about the behavior of the Shapley values. Assuming that agent weights are given by an n -length (increasing) sequence w of real-values, consider the set of all distinct subset sums of the weights S ( w ) = { s : ∃ P ⊆ [ n ] s.t. s = ∑ i ∈ P w n +1 -i } (we use w n +1 -i instead of w i to make some formulas below nicer). Furthermore, suppose that the subset sums are ordered in increasing order; i.e., S ( w ) = { s j } t j =1 , such that s j &lt; s j +1 for 1 ≤ j &lt; t . It is easy to show, using the definition of the Shapley value, that for any quota q ∈ ( s , s j j +1 ] , for 1 ≤ j &lt; t , the Shapley values of every agent i ∈ N remain constant at some value ϕ i ( j ) , defined for the j 'th interval. We formalize this intuition in Section 6, where we give a formula for ϕ i ( j ) .

glyph[negationslash]

Before we state the formula (Proposition 5.2 below), we need some notation. For each P ⊆ N , let ˜( w P ) = ∑ i ∈ P w n +1 -i . For some j , ˜( w P ) = s j , where s j ∈ S . If P = N then j &lt; t and so s j +1 = ˜( w P + ) for some P + ⊆ N . Write I w P = ( ˜( w P ,w P ) ˜( + )] . Then by definition, the intervals I w P partition the interval (0 , w ( N )] . We can now state the formula for ϕ i ( j ) . Given a weight vector w , let ϕ w i ( q ) denote the Shapley value of player i when the quota is q and the weights are given by w .

Proposition 5.2. Suppose that w = ( w , . . . , w 1 n ) is a SI sequence of weights, and suppose that q ∈ (0 , w ( N )] , say q ∈ I w P for some P ⊆ N . Write P = { j 0 , . . . , j r } in increasing order. If i / P ∈ then ϕ w n +1 -i ( q ) = ∑ t ∈{ 0 ,...,r } : j t &gt;i 1 j t ( j t -1 t ) . If i ∈ P , say i = j s , then ϕ w n +1 -i ( q ) = 1 j s ( j s -1 s ) -∑ t ∈{ 0 ,...,r } : j t &gt;i 1 j t ( j t -1 t -1 ) .

Suppose that w is generated using a Balls and Bins process with probabilities p , where p is a SI sequence; then it stands to reason that if a sufficiently large number of balls is tossed (i.e., m is large enough), then voting power distribution under w will be very close to power distribution under the weight vector p . This intuition is captured in the following lemma, which is proved in the appendix.

Lemma 5.2 Suppose that p = ( p , . . . , p 1 n ) is a SI sequence summing to 1 , and let w , . . . , w 1 n be obtained by sampling m times from the distribution p , . . . , p 1 n .

Suppose that T ∈ (0 1] , , say T ∈ I p ( P ) for some P ⊆ { 1 , . . . , n } . If the distance of T from the endpoints ˜( p P ) , p ˜( P + ) of I p ( P ) is at least ∆ = √ log( nm /m ) then with probability 1 -2 ( nm ) 2 it holds that if w is SI then for all i ∈ N ϕ , w i ( mT ) = ϕ p i ( T ) .

Combining both lemmas, we obtain our main result on the exponential case of the Balls and Bins distribution.

Theorem 5.1. Assume that m voters submit the votes according to the exponential distribution over candidates, such that for ρ ∈ (0 , 1 2 ) , and the probability that voter j votes for candidate i is proportional to ρ n -i . Assume further that m ≥ Cρ -n (2 ρ -1) -2 log n , where C &gt; 0 is some global constant.

Suppose that T ∈ (0 1] , , say T ∈ I p ( P ) for some P ⊆ { 1 , . . . , n } . If the distance of T from the endpoints ˜( p P ) , p ˜( P + ) of I p ( P ) is at least ∆ = √ log( nm /m ) then with probability 1 -O (1 /n ) it holds that for all i ∈ { 1 , . . . , n } , ϕ w i ( mT ) = ϕ p i ( T ) .

Furthermore, for all but finitely many values of T ∈ (0 , 1] , the probability that ϕ w i ( mT ) = ϕ p i ( T ) tends to 1 as m →∞ .

Proof. Lemma 5.1 gives a constant C &gt; 0 such that if m ≥ Cρ -n (2 ρ -1) -2 log n then w is SI with probability 1 -O (1 /n ) . Hence the first part of the theorem follows from Lemma 5.2.

For the second part, Lemma 5.1 shows that as m →∞ , the probability that w is SI approaches 1 . Suppose now that T is not of the form ˜( p P ) (these are the finitely many exceptions). When m is large enough, the conditions of Lemma 5.2 are satisfied, and so as m → ∞ , the error probability in that lemma goes to 0 . The second part of the theorem follows. glyph[intersectionsq] glyph[unionsq]

The theorem shows that in the case of the exponential distribution, if the number of balls is large enough then we can calculate with high probability the Shapley values of the resulting distribution based on the Shapley values of the original exponential distribution (without sampling). It therefore behooves us to study the Shapley values of an exponential distribution, or indeed any SI sequence.

## 6 Super-increasing sequences

In Section 5, we have shown that when the number of voters is large, studying the distribution of Shapley values when weights are drawn from an exponential balls and bins distribution boils down to the study of the Shapley values where weights are superincreasing. This section constitutes a thorough analysis of power distribution when weights are super-increasing; in particular, we provide strong generalizations of the results by [20] and [12].

Up to this point, we assumed that the weights are arranged in non-decreasing order. In order to simplify our formulas, we will somewhat abuse our definitions by assuming that the weights are rather ordered in non-increasing order, w 1 &gt; w 2 &gt; · · · &gt; w n &gt; 0 . We also assume that w is a super-increasing sequence; that is, a sequence satisfying w &gt; i ∑ n j = +1 i w j for all i ∈ N .

When considering different weight vectors, we will use ϕ w i ( q ) for the Shapley value of agent i under weight vector w and quota q .

## 6.1 Reducing super-increasing weight vectors to the case of a power law of 2

While not every quota in the range (0 , w ( N )] can be expanded as a sum of members of { w , . . . , w 1 n } , there are certain naturally defined intervals that partition (0 , w ( N )] . For a subset C ⊆ N , define β C ( ) = ∑ i ∈ C 2 n -i . Intuitively, we think of β C ( ) as the value resulting from the binary characteristic vector of the set of agents C . The purpose of the following two lemmas is to reduce every super-increasing weight vector to the case where the weights obey a power-law distribution, with a power of 2 .

$$\text{Lemma} \, 6. 1 \, \text{ Let } C _ { 1 }, C _ { 2 } \subseteq N. \, \text{ Then } \beta ( C _ { 1 } ) < \beta ( C _ { 2 } ) \, \text{if and only if } w ( C _ { 1 } ) < w ( C _ { 2 } ).$$

Proof. In order to prove the claim, it suffices to observe adjacent sets C , C 1 2 ⊆ N , i.e., ones satisfying β C ( 2 ) = β C ( 1 ) + 1 . Let glyph[lscript] = max( N \ C 1 ) , and define C = C 1 ∩ { 1 , . . . , glyph[lscript] - } 1 . Then C 1 = C ∪ { glyph[lscript] + 1 , . . . , n } and C 2 = C ∪ { } glyph[lscript] . Therefore w C ( 2 ) -w C ( 1 ) = w glyph[lscript] -w ( { glyph[lscript] +1 , . . . , n } ) &gt; 0 , since w , . . . , w 1 n is super-increasing. glyph[intersectionsq] glyph[unionsq]

For a non-empty set of agents C ⊆ N , we let P -⊆ N be the unique subset of agents satisfying β P ( -) = β P ( ) -1 . Lemma 6.1 shows that every quota q ∈ (0 , w ( N )] belongs to a unique interval ( w P ( -) , w ( P )] ; we denote P by A q ( ) . We think of A q ( ) as an increasing sequence a , . . . , a 0 r depending on q , for some value of r which also depends on q . Whenever we write P = { a , . . . , a 0 r } , we will always assume that a 0 &lt; · · · &lt; a r .

Lemma 6.2 For all agents i ∈ N and quotas q ∈ (0 , w ( N )] , ϕ w i ( q ) = ϕ b i ( β A q ( ( ))) , where b = (2 n -1 , . . . , 1) .

Proof. Let σ be a random permutation in Sym n , and recall that P i ( σ ) is the set of agents appearing before agent i in σ . The Shapley value ϕ w i ( q ) is the probability that w P ( i ( σ )) ∈ [ q -w , q i ) , or equivalently, that q ∈ ( w P ( i ( σ )) , w ( P i ( σ )) + w i ] . Since the intervals ( w C ( -) , w ( C )] partition (0 , w ( N )] , q is in ( w P ( i ( σ )) , w ( P i ( σ )) + w i ] if and only if w P ( i ( σ )) ≤ w A q ( ( ) -) and w A q ( ( )) ≤ w P ( i ( σ ) ∪{ } i ) . Lemma 6.1 shows that this is equivalent to checking whether β P ( i ( σ )) ≤ β A q ( ( ) -) and β A q ( ( )) ≤ β P ( i ( σ ) ∪ { } i ) . Now, note that β A q ( ( ) -) = β A q ( ( )) -1 , so the above condition simply states that i is pivotal for σ under b when the quota is β A q ( ( )) . glyph[intersectionsq] glyph[unionsq]

Lemma 6.2 implies that for any super-increasing w , if we wish to compute ϕ w i ( q ) , it is only necessary to find A q ( ) . However, finding A q ( ) is easy; a greedy algorithm can find A q ( ) in linear time (see Appendix C.1). In the special case in which w i = d n -i for some integer d , there is a particularly simple formula described in Appendix C.2.

We now present a closed-form formula for the Shapley values, whose proof is given in the appendix. The resulting Shapley values are illustrated in Figure 1.

$$& \text{Theorem $6.1$. $ Consider an agent $i\in N$ and $a$ prescribed quota value $q\in (0,w(N)$].} \\ & \text{Let $A(q) = \{a_{0},\dots,a_{r} \}$. $If $i\notin A(q)$ then $\varphi_{i}(q)=\sum_{t\in \{0,\dots,r\} \colon \frac{1}{a_{t\{a_{t-1}}\}}$. $If $i\in A(q),} \\ & \text{say $i=a_{s}$, then $\varphi_{i}(q)=\frac{1}{a_{s}\{a_{s}-1\}$} \, - \sum_{t\in \{0,\dots,r\} \colon \frac{1}{a_{t\{a_{t-1}}\}$}.}$$

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0442v1-figure-17737730-40b0-42ae-be69-352be54f163b.jpg)

(c) Shapley values for n = 5 , w i = 2 -i . Values ϕ i ( q ) for different i are slightly nudged to show the effects of Lemma 6.3.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0442v1-figure-7c748ccf-a177-4576-ae78-51335d150d62.jpg)

(d) Shapley values ϕ 1 ( q ) for n = 5 , w i = 2 -i compared to the limiting case n = ∞ .

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0442v1-figure-59a59572-4ba6-49bc-a071-70e1fd45f01a.jpg)

(e) Shapley values in the limiting case, w i = 2 -i .

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0442v1-figure-6f9e8103-16fe-4c4a-a52e-180e09362c03.jpg)

(f) Shapley values in the limiting case, w i = 3 -i .

Fig. 1: Examples of several Shapley values corresponding to super-increasing sequences.

## 6.2 Properties of the Shapley values

Zuckerman et al. [12] provide a nice characterization of super-increasing sets:

Theorem 6.2 ([12]). If the weights w are super-increasing then for every quota q ∈ (0 , w ( N )] , either ϕ 1 ( q ) = ϕ 2 ( q ) or ϕ 2 ( q ) = ϕ 3 ( q ) .

In this section, we further generalize this result, using Theorem 6.1. Specifically, as a consequence of the theorem, we can determine in which cases ϕ i ( q ) = ϕ i +1 ( q ) . The results are summarized in the following lemma, which is proved in the appendix. Given a set S ⊆ N , let Ψ i ( S ) be the indicator variable of i ∈ S ; that is, Ψ i ( S ) = 1 if i ∈ S , and is 0 otherwise.

Lemma 6.3 Given a quota q ∈ (0 , w ( N )] , let A q ( ) = { a , . . . , a 0 r } . For each i ∈ N \ { n } , if Ψ i ( A q ( )) = Ψ i +1 ( A q ( )) then ϕ i ( q ) = ϕ i +1 ( q ) . If Ψ i ( A q ( )) = 0 and Ψ i +1 ( A q ( )) = 1 then ϕ i ( q ) ≥ ϕ i +1 ( q ) , with equality if and only if i + 1 = a r . If Ψ i ( A q ( )) = 1 and Ψ i +1 ( A q ( )) = 0 then ϕ i ( q ) &gt; ϕ i +1 ( q ) .

For each i ∈ N , let Ψ i be the truth value of i ∈ A q ( ) . Lemma 6.3 shows that if Ψ i = Ψ i +1 then ϕ i ( q ) = ϕ i +1 ( q ) . Since there are only two possible truth values, for

each i ∈ N \ { 1 , n } , either ϕ i -1 ( q ) = ϕ i ( q ) or ϕ i ( q ) = ϕ i +1 ( q ) . This generalizes Theorem 6.2.

Since the Shapley values are constant in the interval ( w P ( -) , w ( P )] , it follows that in order to analyze the behavior of ϕ i ( q ) , one need only determine the rate of increase or decrease at quotas of the form w P ( ) for P ⊆ N . These are given by the following lemma, proved in the appendix.

Lemma 6.4 Let P ⊆ N be a non-empty set of agents, and let i ∈ N be an agent. If i / P ∈ -then ϕ i ( w P ( -)) &lt; ϕ i ( w P ( )) . If i ∈ P -then ϕ i ( w P ( -)) &gt; ϕ i ( w P ( )) .

Moreover, | ϕ i ( w P ( )) -ϕ i ( w P ( -)) | ≤ 1 n ; this inequality is tight only if a ) P = { n } . b ) i &lt; n and P = { 1 , . . . , i } or P = { i, n } , or c ) i = n and P = { n -1 } . Otherwise, | ϕ i ( w P ( )) -ϕ i ( w P ( -)) | ≤ 1 n n ( -1) .

## 6.3 Limiting case

In what follows, we briefly discuss some interesting properties of the Shapley value for weight vectors that are finite prefixes of an infinite super-increasing sequence. The full details can be found in Appendix C.6. Section 6.2 shows that the Shapley value be easily expressed and analyzed when weights are super-increasing. It is in fact useful to think of classes of super-increasing weights that are finite prefixes of an infinite superincreasing sequence; one example of such a sequence is ( 2 -i ) ∞ i =0 . Given an infinite super-increasing weight sequence w , we refer to the first m elements of w as w | m . Given an infinite super-increasing sequence w , we can use the closed-form formula we define for the Shapley value in the finite case in order to derive a value for the infinite case. We can then define a value for agent i under an infinite sequence w : ϕ w i ( q ) . We show that the two formulas are closely related; one can derive ϕ w | m i ( q ) using ϕ w i ( q ) (the connection is illustrated in Figure 1); moreover, we show that ϕ w i ( q ) is continuous in q , and that it takes values of 0 when q approaches 0, and when q approaches ∑ ∞ i =0 w i .

## 7 Conclusions and Future Work

We have studied the Shapley value as a function of the quota under a number of natural weight distributions. Assuming that weights are drawn from balls and bins distributions allows us to reason rigourously about the effect of quota changes. We were also able to completely characterize the case where weights are super-increasing, strongly generalizing previous work. The take-home message from our work is that changes to the quota matter, even when weights are nearly identical. Given the relative success of this analysis, it would be interesting to study other natural weight distributions (the case of i.i.d. bounded weights is studied in an extended version of this paper [25]). Moreover, our results show that employing probabilistic approaches to cooperative games (beyond the case of WVGs) may be a useful research avenue.

## Bibliography

- [1] Mann, I., Shapley, L.: Values of large games IV : Evaluating the electoral college by montecarlo techniques. Technical report, The RAND Corporation (1960)
- [2] Mann, I., Shapley, L.: Values of large games VI : Evaluating the electoral college exactly. Technical report, The RAND Corporation (1962)
- [3] Leech, D.: Designing the voting system for the council of the european union. Public Choice 113 (2002) 437-464 10.1023/A:1020877015060.
- [4] Słomczy´ nski, W., Zyczkowski, K.: Penrose voting system and optimal quota. Acta ˙ Physica Polonica B 37 (11) (2006) 3133-3143
- [5] Felsenthal, D.S., Machover, M.: The Measurement of Voting Power: Theory and Practice, Problems and Paradoxes. Edward Elgar Publishing (November 1998)
- [6] Shapley, L.: A value for n -person games. In: Contributions to the Theory of Games, vol. 2. Annals of Mathematics Studies, no. 28. Princeton University Press, Princeton, N. J. (1953) 307-317
- [7] Penrose, L.: The elementary statistics of majority voting. Journal of the Royal Statistical Society 109 (1) (1946) 53-57
- [8] Leech, D., Machover, M.: Qualified majority voting: the effect of the quota. LSE Research Online (2003)
- [9] Mitzenmacher, M., Richa, A.W., Sitaraman, R.: The power of two random choices: A survey of techniques and results. In: in Handbook of Randomized Computing, Kluwer (2000) 255-312
- [10] Mitzenmacher, M., Upfal, E.: Probability and computing - randomized algorithms and probabilistic analysis. Cambridge University Press (2005)
- [11] Raab, M., Steger, A.: Balls into bins: A simple and tight analysis. In Luby, M., Rolim, J., Serna, M., eds.: Randomization and Approximation Techniques in Computer Science. Volume 1518 of Lecture Notes in Computer Science. Springer Berlin Heidelberg (1998) 159-170
- [12] Zuckerman, M., Faliszewski, P., Bachrach, Y., Elkind, E.: Manipulating the quota in weighted voting games. Artificial Intelligence 180-181 (2012) 1-19
- [13] Banzhaf, J.: Weighted voting doesn't work: a mathematical analysis. Rutgers Law Review 19 (1964) 317
- [14] Shapley, L., Shubik, M.: A method for evaluating the distribution of power in a committee system. The American Political Science Review 48 (3) (1954) 787-792
- [15] Maschler, M., Solan, E., Zamir, S.: Game Theory. Cambridge Unversity Press (2013)
- [16] Peleg, B., Sudh¨ olter, P.: Introduction to the Theory of Cooperative Games. Second edn. Volume 34 of Theory and Decision Library. Series C: Game Theory, Mathematical Programming and Operations Research. Springer, Berlin (2007)
- [17] Chalkiadakis, G., Elkind, E., Wooldridge, M.: Computational Aspects of Cooperative Game Theory. Morgan and Claypool (2011)
- [18] Bachrach, Y., Markakis, E., Resnick, E., Procaccia, A., Rosenschein, J., Saberi, A.: Approximating power indices: theoretical and empirical analysis. Autonomous Agents and Multi-Agent Systems 20 (2) (2010) 105-122

| 16   | Joel Oren, Yuval Filmus, Yair Zick, and Yoram Bachrach                                                                                                                                                                               |
|------|--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [19] | Fatima, S., Wooldridge, M., Jennings, N.: A linear approximation method for the shapley value. Artificial Intelligence 172 (14) (2008) 1673-1699                                                                                     |
| [20] | Zick, Y., Skopalik, A., Elkind, E.: The shapley value as a function of the quota in weighted voting games. In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI-11). (2011) 490-495 |
| [21] | Zick, Y.: On random quotas and proportional representation in weighted voting games. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI-13). (2013) 432-438                                |
| [22] | Felsenthal, D., Machover, M.: Voting power measurement: a story of misreinven- tion. Social choice and welfare 25 (2) (2005) 485-506                                                                                                 |
| [23] | Lindner, I.: Power measures in large weighted voting games. PhD thesis, Univ. of Hamburg (2004)                                                                                                                                      |
| [24] | Tauman, Y., Jelnov, A.: Voting power and proportional representation of voters. Dept. of Econs. Working Papers 12-04, Stony Brook Univ. (2012)                                                                                       |
| [25] | Oren, J., Filmus, Y., Zick, Y., Bachrach, Y.: On the effects of priors in weighted voting games. In: Proceedings of the 5th International Workshop on Computa- tional Social Choice (COMSOC'14). (2014)                              |

Appendix

## A Missing Proofs from Section 4

## A.1 Proof of Lemma 4.1

We now provide the complete proof of Lemma 4.1

Lemma 4.1 For all agents i, j ∈ N ,

$$| \varphi _ { j } - \varphi _ { i } | = \frac { 1 } { n - 1 } \sum _ { \ell = 0 } ^ { n - 2 } \Pr _ { S \in R [ \stackrel { N \langle i, j \rangle } { \ell } ] } [ q - \max ( w _ { i }, w _ { j } ) \leq w ( S ) < q - \min ( w _ { i }, w _ { j } ) ].$$

Proof. Assume without loss of generality that w j ≥ w i , and so ϕ j ≥ ϕ i . For σ ∈ Sym n , let T ij ( σ ) be the permutation obtained by exchanging agents i and j . Then by the definition of the Shapley value and by linearity of expectations:

$$\varphi _ { j } - \varphi _ { i } & = \underset { \sigma \in \text{Sym} _ { n } } { \mathbb { E } } ( m _ { j } ( \sigma ) - m _ { i } ( \sigma ) ) \\ & = \underset { \sigma \in \text{Sym} _ { n } } { \mathbb { E } } m _ { j } ( \sigma ) - \underset { \sigma \in \text{Sym} _ { n } } { \mathbb { E } } m _ { i } ( \sigma ) = \underset { \sigma \in \text{Sym} _ { n } } { \mathbb { E } } ( m _ { j } ( T _ { i j } ( \sigma ) ) - m _ { i } ( \sigma ) ).$$

glyph[negationslash]

We proceed to evaluate m T j ( ij ( σ )) -m σ i ( ) . Suppose first that agent i precedes agent j in σ , so that σ = S i R j U and T ij ( σ ) = S j R i U (where S, R , and U form a partition of N \ { i, j } ). In this case m T j ( ij ( σ )) -m σ i ( ) = 0 precisely when w S ( ) + w &lt; q i ≤ w S ( ) + w j , in which case m T j ( ij ( σ )) -m σ i ( ) = 1 ; we can rewrite the condition as w S ( ) ∈ [ q -w , q j -w i ) .

glyph[negationslash]

When agent j precedes agent i in σ , we can write σ = S j R i U and T ij ( σ ) = S i R j U . In this case m T j ( ij ( σ )) -m σ i ( ) = 0 precisely when w S ( ) + w i + w R ( ) &lt; q ≤ w S ( ) + w j + w R ( ) , in which case m T j ( ij ( σ )) -m σ i ( ) = 1 ; we can rewrite the condition as w S ( ∪ R ) ∈ [ q -w , q j -w i ) .

In order to unify both conditions together, define P ′ i ( σ ) = P i ( σ ) \ { j } . Using this definition, we see that m T j ( ij ( σ )) -m σ i ( ) is the indicator of the event w P ( ′ i ( σ )) ∈ [ q -w , q j -w i ) . The cardinality | P ′ i ( σ ) | is exactly the position of agent i in the permutation σ ′ obtained by removing agent j from σ , minus one. Since σ is a uniformly random permutation of N σ , ′ is a uniformly random permutation of N \ { j } , and so | P ′ i ( σ ) | is distributed randomly among { 0 , . . . , n - } 2 . Given | P ′ i ( σ ) | , the set P i ( σ ) is chosen randomly among all subsets of N \ { i, j } of the specified size, yielding our formula.

## A.2 Proof of Theorem 4.1

We give the full proof of the following theorem.

Theorem 4.1. Let M = m 3 n 3 . Suppose that | q -glyph[lscript]m n | &gt; 1 √ M n m for all integers glyph[lscript] . Then with probability 1 -2( 2 e ) n , all Shapley values are equal to 1 /n .

In this section, we do not assume that the weights w , . . . , w 1 n are ordered, in order to maintain the fact that the weights are independent random variables.

The idea of the proof is to use the following criterion, which is a consequence of Lemma 4.1:

Proposition A.1. Suppose that for all agents i, j ∈ N and for all subsets S ⊆ N \ { i, j } , we have q / ∈ ( w S ( ∪ { } i ) , w ( S ∪ { } j )] . Then all Shapley values are equal to 1 /n .

glyph[negationslash]

Proof. We show that under the assumption on q , all Shapley values are equal, and so all must equal 1 /n . Suppose that for some agents i = j , we have ϕ i &lt; ϕ j (and so w &lt; w i j ). Lemma 4.1 implies the existence of a set S ⊆ N \{ i, j } satisfying q -w j ≤ w S ( ) &lt; q -w i , or in other words w S ( ) + w &lt; q i ≤ w S ( ) + w j . This is exactly what is ruled out by the assumption on q .

Next, we show that the weights w S ( ) are concentrated around points of the form glyph[lscript] m n .

Lemma A.1 Suppose that m &gt; 3 n 2 . With probability 1 -2( 2 e ) n , the following holds: for all S ⊆ N , | w S ( ) -| S m | n | ≤ √ 3 nm .

glyph[negationslash]

Proof. The proof uses a straightforward Chernoff bound. We can assume that S = ∅ (as otherwise the bound is trivial). For each non-empty set S ⊆ N , the distribution of w S ( ) is B( m, | S | n ) . Therefore for 0 &lt; δ &lt; 1 ,

$$\Pr \left [ \left | w ( S ) - \frac { | S | m } { n } \right | > \delta \frac { | S | m } { n } \right ] \leq 2 e ^ { - \frac { \delta ^ { 2 } | S | m } { 3 n } }.$$

Choosing δ = √ 3 n 2 | S m | &lt; 1 , we obtain

$$\Pr \left [ \left | w ( S ) - \frac { | S | m } { n } \right | > \sqrt { 3 | S | m } \right ] \leq 2 e ^ { - n }.$$

Since there are 2 n possible sets S , a union bound implies that | w S ( ) -| S m | n | ≤ √ 3 nm with probability at least 1 -2( 2 e ) n .

This immediately implies Theorem 4.1, as we now show.

Proof (of Theorem 4.1). First, note that M &lt; 1 , as otherwise, it would imply that for all glyph[lscript] = 1 , . . . , n , | q -glyph[lscript]m/n | ≥ m/n , which is impossible, as every quota in the range (0 , m ] is within some integral multiple of m/n . Thus, having M &gt; 1 , implies that m&gt; n 3 3 ≥ 3 n 2 , as required by Lemma A.1.

Lemma A.1 shows that with probability 1 -2( 2 e ) n , for all sets S we have | w S ( ) -| S m | n | ≤ √ 3 nm . Condition on this event. Suppose, for the sake of obtaining a contradiction, that ϕ &lt; ϕ i j for some agents i, j . Then Proposition A.1 shows that there must exist some S ⊆ N \{ √ i, j } such that q ∈ ( w S ( ∪{ } i ) , w ( S ∪{ } j )] . Since both w S ( ∪{ } i ) and w S ( ∪{ } j ) are 3 nm -close to ( | S | +1) m n , this implies that | q -( | S | +1) m n | ≤ √ 3 nm = 1 √ M · m n , contradicting our assumption on q . We conclude that all agents have the same Shapley value 1 /n .

## A.3 Proof of Lemma 4.2

We prove the following lemma.

Lemma 4.2 Let q = glyph[lscript] · m n , where glyph[lscript] ∈ { 1 , . . . , n - } 1 . For m = Ω n ( 3 log n ) ,

$$\mathbb { E } [ \varphi _ { 1 } ] = \frac { 1 } { 2 ( n - \ell ) } - \frac { \ell } { n ( n - \ell ) } + \frac { 1 } { n - \ell } \Pr _ { A \in \L _ { R } \left [ ^ { N \times ( 1 ) } _ { \ell - 1 } \right ] } [ w ( A ) + w _ { 1 } \geq q ] \pm O \left ( \frac { 1 } { n ^ { 2 } } \right ).$$

The proof closely follows the proof sketch in Section 4.1.

We will need the fact that with high probability, w 1 is close to m/n .

Lemma A.2 With probability at least 1 -1 /n ,

$$\frac { m } { n } - \sqrt { \frac { 4 m \log n } { n } } \leq w _ { 1 } \leq \frac { m } { n }.$$

Proof. Clearly w 1 ≤ m/n always, so we only need to address the lower bound on w 1 . Let w , . . . , w ′ 1 ′ n be the loads of the bins before sorting them. The loads w ′ i are independent random variables with distribution B( m, 1 /n ) . For each index i , Chernoff's bound shows that

$$\text{ra} \, \text{Pr} \left [ w _ { i } ^ { \prime } < \frac { m } { n } - \sqrt { \frac { 4 m \log n } { n } } \right ] \leq e ^ { - \frac { 4 m \log n / n } { 2 m / n } } = \frac { 1 } { n ^ { 2 } }.$$

A union bound shows that with probability 1 -1 /n , all i ∈ N satisfy w ′ i ≥ m n -√ 4 m log n n , and so w 1 ≥ m n -√ 4 m log n n .

Below we will be interested in bounding probabilities of the form Pr A ∈ R [ N \{ } 1 k ] [ P w A ( ( ))] for predicates P . The following lemma shows how to bound these probabilities from above.

Lemma A.3 For a weight vector w and S ⊆ N , let E ( w S ( )) be a random event (i.e., some predicate on w S ( ) ), and let 0 ≤ k ≤ n -1 . Then

$$\Pr _ { A \in _ { R } [ ^ { N \times ( 1 ) } _ { k } ] } [ \mathcal { E } ( w ( A ) ) ] \leq \frac { n } { n - k } \Pr [ \mathcal { E } ( B ( m, \frac { k } { n } ) ) ].$$

Also,

$$\Pr _ { A \in _ { R } [ _ { k } ^ { N } ] } [ \mathcal { E } ( w ( A ) ) ] = \Pr [ \mathcal { E } ( B ( m, \frac { k } { n } ) ) ].$$

Proof. First, we have

$$\text{First, we have} \\ A \in _ { R } [ ^ { N \underset { k } { \langle 1 \rangle } } ] ^ { \left [ \mathcal { E } ( w ( A ) ) \right ] } & = \frac { 1 } { \binom { n - 1 } { k } } \sum _ { A \in [ ^ { N \underset { k } { \langle 1 \rangle } } ] } \Pr [ \mathcal { E } ( w ( A ) ) ] \\ & \leq \frac { 1 } { \binom { n - 1 } { k } } \sum _ { A \in [ ^ { N } { k } ] } \Pr [ \mathcal { E } ( w ( A ) ) ] \\ & = \frac { n } { n - k } \Pr _ { A \in _ { R } [ ^ { N } { k } ] } [ \mathcal { E } ( w ( A ) ) ].$$

Consider the last expression. Since the probability is over all subsets of N of size k , the same value is obtained from the unsorted Balls and Bins process (without sorting the loads). Under this process, w A ( ) ∼ B( m, k n ) for all A ∈ [ N k ] , and so

$$\Pr _ { A \in _ { R } [ _ { k } ^ { N } ] } [ \mathcal { E } ( w ( A ) ) ] = \Pr _ { w \sim B ( m, \frac { k } { n } ) } [ \mathcal { E } ( w ) ].$$

This implies the lemma.

Let p k = Pr A ∈ R [ N \{ } 1 k ] [ q -w 1 ≤ w A ( ) &lt; q ] , and recall that formula (1) shows that ϕ 1 = 1 n ∑ n -1 k =0 p k . We start by showing that the only non-negligible p k are p glyph[lscript] -1 and p glyph[lscript] , using a Chernoff bound. The idea is that when k ≥ glyph[lscript] +1 , it is highly unlikely that w A ( ) &lt; q , and when k ≤ glyph[lscript] -1 , it is highly unlikely that w A ( ) ≥ q -w 1 .

Lemma A.4 Suppose that m ≥ 9 n 2 log n . Then for k ∈ { 1 , . . . , n } \ { glyph[lscript] -1 , glyph[lscript] } we have p k ≤ 1 /n 2 , and so

$$0 \leq \mathbb { E } [ \varphi _ { 1 } ] - \frac { p _ { \ell - 1 } + p _ { \ell } } { n } \leq \frac { 1 } { n ^ { 2 } }.$$

Proof. Let k ∈ N . Lemma A.3 shows that

$$p _ { k } \leq n \Pr [ q - w _ { 1 } \leq B ( m, \frac { k } { n } ) < q ].$$

Suppose first that k ≥ glyph[lscript] +1 . Chernoff's bound shows that

$$\Pr [ q - w _ { 1 } \leq B ( m, \frac { k } { n } ) < q ] \leq \Pr [ B ( m, \frac { k } { n } ) < \frac { k m } { n } - \frac { m } { n } ] \leq e ^ { - \frac { ( m / n ) ^ { 2 } } { 3 k m / n } } = e ^ { - m / ( 3 n k ) } \leq \frac { 1 } { n ^ { 3 } }.$$

Suppose next that k ≤ -glyph[lscript] 2 . Since w 1 ≤ m/n , another application of Chernoff's bound gives

$$\Pr [ q - w _ { 1 } \leq B ( m, \frac { k } { n } ) < q ] & \leq \Pr [ B ( m, \frac { k } { n } ) \geq \frac { ( \ell - 1 ) m } { n } ] \\ & \leq \Pr [ B ( m, \frac { k } { n } ) \geq \frac { k m } { n } + \frac { m } { n } ] \\ & \leq e ^ { - \frac { ( m / n ) ^ { 2 } } { 3 k m / n } } = e ^ { - m / ( 3 n k ) } \leq \frac { 1 } { n ^ { 3 } }. \\ _ { \cdot }$$

Therefore p k ≤ 1 /n 2 for all k ∈ N \ { glyph[lscript] -1 , glyph[lscript] } . The estimate for E [ ϕ 1 ] follows from formula (1).

The next step is to consider the following estimates for p glyph[lscript] -1 , p glyph[lscript] :

$$p _ { \ell - 1 } ^ { \prime } & = \Pr _ { A \in _ { R } \binom { N \cup \{ 1 \} } { \ell - 1 } } [ q - w _ { 1 } \leq w ( A ) ], \\ p _ { \ell } ^ { \prime } & = \Pr _ { A \in _ { R } \binom { N \cup \{ 1 \} } { \ell } } [ w ( A ) < q ].$$

The following lemma shows that p ′ glyph[lscript] -1 ≈ p glyph[lscript] -1 and p ′ glyph[lscript] ≈ p glyph[lscript] .

Lemma A.5 Suppose that m ≥ 24 n 2 log n . Then p glyph[lscript] -1 ≤ p ′ glyph[lscript] -1 ≤ p glyph[lscript] -1 + 1 n and p glyph[lscript] ≤ p ′ glyph[lscript] ≤ p glyph[lscript] + 2 n , and so

$$- \frac { 3 } { n ^ { 2 } } \leq \mathbb { E } [ \varphi _ { 1 } ] - \frac { p _ { \ell - 1 } ^ { \prime } + p _ { \ell } ^ { \prime } } { n } \leq \frac { 1 } { n ^ { 2 } }.$$

Proof. Clearly p glyph[lscript] -1 ≤ p ′ glyph[lscript] -1 and p glyph[lscript] ≤ p ′ glyph[lscript] . First,

$$p _ { \ell - 1 } ^ { \prime } - p _ { \ell - 1 } \leq \Pr _ { A \in \L _ { R } \binom { N \langle 1 \rangle } { \ell - 1 } } [ w ( A ) \geq q ] \leq n \Pr [ \mathsf B ( m, \frac { \ell - 1 } { n } ) \geq q ],$$

using Lemma A.3. Chernoff's bound shows that

$$\Pr [ B ( m, \frac { \ell - 1 } { n } ) \geq \frac { ( \ell - 1 ) m } { n } + \frac { m } { n } ] \leq e ^ { - \frac { ( m / n ) ^ { 2 } } { 3 ( \ell - 1 ) m / n } } = e ^ { - m / ( 3 n ( \ell - 1 ) ) } \leq \frac { 1 } { n ^ { 2 } }.$$

Similarly,

$$p _ { \ell } ^ { \prime } - p _ { \ell } \leq \Pr _ { A \in \L _ { R } [ \Lambda ^ { N \vee ( 1 ) } _ { \ell } ] } [ w ( A ) < q - w _ { 1 } ] \leq n \Pr [ B ( m, \frac { \ell } { n } ) < q - w _ { 1 } ].$$

Wenowneed the lower bound on w 1 given by Lemma A.2, which holds with probability 1 -1 /n :

$$q - w _ { 1 } \leq \frac { \ell m } { n } - \left ( \frac { m } { n } - \sqrt { \frac { 4 m \log n } { n } } \right ) \leq \frac { \ell m } { n } - \frac { m } { 2 n },$$

the latter inequality following from m ≥ 24 n 2 log n &gt; 16 n log n . Assuming the lower bound on w 1 ,

$$\Pr [ B ( m, \frac { \ell } { n } ) < q - w _ { 1 } ] \leq e ^ { - \frac { ( m / ( 2 n ) ) ^ { 2 } } { 3 ( \ell - 1 ) m / n } } = e ^ { - m / ( 1 2 n ( \ell - 1 ) ) } \leq \frac { 1 } { n ^ { 2 } }.$$

Therefore

$$p _ { \ell } ^ { \prime } - p _ { \ell } \leq \left ( 1 - \frac { 1 } { n } \right ) \cdot \frac { 1 } { n ^ { 2 } } + \frac { 1 } { n } \cdot 1 < \frac { 2 } { n }.$$

The formula for E [ ϕ 1 ] follows from Lemma A.4.

It remains to relate p ′ glyph[lscript] -1 and p ′ glyph[lscript] .

Lemma A.6 Suppose that m ≥ 24 n 3 log n . Then

$$\left | p _ { \ell } ^ { \prime } - \left ( \frac { n } { 2 ( n - \ell ) } - \frac { \ell } { n - \ell } ( 1 - p _ { \ell - 1 } ^ { \prime } ) \right ) \right | \leq \frac { 1 } { n },$$

and so

$$a \, s \upsilon \\ - \frac { 4 } { n ^ { 2 } } \leq \mathbb { E } [ \varphi _ { 1 } ] - \left ( \frac { 1 } { 2 ( n - \ell ) } - \frac { \ell } { n ( n - \ell ) } + \frac { p _ { \ell - 1 } ^ { \prime } } { n - \ell } \right ) \leq \frac { 2 } { n ^ { 2 } }.$$

## Proof. We have

$$\text{Proof} \ \text{We have} \\ p _ { \ell } ^ { \prime } & = \Pr _ { \ell ^ { N } \{ 1 \} } [ w ( A ) < q ] \\ & = \frac { 1 } { \binom { n - 1 } { \ell } } \sum _ { A \in [ N ^ { N } \{ 1 \} } \Pr [ w ( A ) < q ] \\ & = \frac { 1 } { \binom { n - 1 } { \ell } } \sum _ { A \in [ N ^ { N } ] } \Pr [ w ( A ) < q ] - \frac { 1 } { \binom { n - 1 } { \ell } } \sum _ { A \in [ N ^ { N } \ell ^ { - 1 } _ { 1 } ] } \Pr [ w ( A ) + w _ { 1 } < q ] \\ & = \frac { n } { n - \ell } \Pr _ { A \in R [ N ^ { N } ] } \Pr [ w ( A ) < q ] - \frac { \ell } { n - \ell } \left ( 1 - \Pr _ { A \in R [ N ^ { N } \langle 1 \rangle } [ w ( A ) + w _ { 1 } \geq q ] \right ) \\ & = \frac { n } { n - \ell } \Pr [ B ( m, \frac { \ell } { n } ) < q ] - \frac { \ell } { n - \ell } ( 1 - p _ { \ell - 1 } ^ { \prime } ), \\ \text{where the final equality follows from the second part of Lemma A.3. We proceed to} \\ \text{estimate} \Pr [ B ( m, \frac { \ell } { \ell } ) < q ] \, \text{using the Berry-Esseen theorem. The normalized binomial}$$

where the final equality follows from the second part of Lemma A.3. We proceed to estimate Pr[B( m, glyph[lscript] n ) &lt; q ] using the Berry-Esseen theorem. The normalized binomial B( m, glyph[lscript] n ) -q is a sum of m independent copies of the random variable X with Pr[ X = 1 -glyph[lscript] n ] = glyph[lscript] n and Pr[ X = -glyph[lscript] n ] = 1 -glyph[lscript] n . The Berry-Esseen theorem states that

$$| \Pr [ B ( m, \frac { \ell } { n } ) - q < 0 ] - \Pr [ \mathcal { N } ( 0, \sigma ^ { 2 } ) < 0 ] | < \frac { \rho } { \sigma ^ { 3 } \sqrt { m } },$$

where σ 2 = E [ X 2 ] = glyph[lscript] n (1 -glyph[lscript] n ) 2 + (1 -glyph[lscript] n )( glyph[lscript] n ) 2 = glyph[lscript] n (1 -glyph[lscript] n ) and ρ = E [ | X | 3 ] = glyph[lscript] n (1 -glyph[lscript] n ) 3 +(1 -glyph[lscript] n )( glyph[lscript] n ) 3 = glyph[lscript] n (1 -glyph[lscript] n )[( glyph[lscript] n ) 2 +(1 -glyph[lscript] n ) 2 ] . Since Pr[ N (0 , σ 2 ) &lt; 0] = 1 / 2 , we conclude that

$$\left | \Pr [ B ( m, \frac { \ell } { n } ) - q < 0 ] - \frac { 1 } { 2 } \right | < \frac { 1 } { \sqrt { m } } \frac { ( \frac { \ell } { n } ) ^ { 2 } + ( 1 - \frac { \ell } { n } ) ^ { 2 } } { \sqrt { \frac { \ell } { n } } \left ( 1 - \frac { \ell } { n } \right ) } \leq 2 \sqrt { \frac { n } { m } },$$

since the denominator is at least √ 1 n (1 -1 n ) , and the numerator is at most 2(1 -1 n ) 2 ≤ 2 √ 1 -1 n . Since m ≥ 24 n 3 log n ≥ 4 n 3 , we further have 2 √ n m ≤ 1 n . The formula for E [ ϕ 1 ] follows from Lemma A.5.

Lemma A.6 is simply a reformulation of Lemma 4.2.

## A.4 Proof of Lemma 4.3

Let us recall Lemma 4.3.

$$L e m m a { 4. 3 } \ W i t h p r o b a b i l i t y { 1 - 2 / n, w e h a v e t h a t } \, \sqrt { \frac { m \log n } { 3 n } } \leq \frac { m } { n } - w _ { 1 } \leq \sqrt { \frac { 4 m \log n } { n } }.$$

Wealready proved the upper bound in Lemma A.2, using a simple union bound. The lower bound (corresponding to an upper bound on w 1 ) is much more difficult, because of the dependence between the individual bins. One way to overcome this difficulty is to use the Poisson approximation, given by the following theorem.

Theorem A.1 ([10]). Let w , . . . , w 1 n be sampled according to the Balls and Bins distribution with m balls, and let X ,. . . , X 1 n be n i.i.d. random variables sampled from the distribution Pois( m n ) . Let f : R n → { 0 1 , } be a boolean function over the weight vector, such that the probability p w , . . . , w ( 1 n ) = Pr[ f ( w , . . . , w 1 n ) = 1] is monotonically increasing or decreasing with the number of balls. Then p w , . . . , w ( 1 n ) ≤ 2 p X , . . . , X ( 1 n ) .

The following lemma completes the proof of Lemma 4.3, since calculation shows that for all n ≥ 1 ,

$$\frac { m } { n } \sqrt { \frac { \log ( n / \log ( 2 n ) ) } { m / n } } = \sqrt { \frac { m \log ( n / \log ( 2 n ) ) } { n } } \geq \sqrt { \frac { m \log n } { 3 n } }.$$

(In fact, the minimum of log( n/ log(2 n )) log n is obtained for n = 3 , in which case it is roughly 0 47 . .)

$$\text{Lemma} \, \text{A.7} \, \text{Let} \, \lambda = \frac { m } { n }. \, \text{For any} \, \varepsilon \leq \sqrt { \frac { \log \left ( \frac { n } { \log ( 2 n ) } \right ) } { \lambda } }, \, \text{Pr} [ w _ { 1 } > \lambda ( 1 - \varepsilon ) ] \leq \frac { 1 } { n }.$$

Proof. We define n i.i.d random variables X ,. . . , X 1 n , sampled from the distribution Pois( λ ) . We first derive a concentration bound on min i X i , after which we will make use of Theorem A.1 to obtain the desired result. By the definition of the Poisson distribution, glyph[negationslash]

$$\Pr [ \min _ { i } X _ { i } > t ] = \Pr [ X _ { 1 } > t ] ^ { n } \leq \Pr [ X _ { 1 } \neq t ] ^ { n } \leq \left ( 1 - e ^ { - \lambda } \frac { \lambda ^ { t } } { t! } \right ) ^ { n } \leq \left ( 1 - e ^ { - \lambda } \left ( \frac { e \lambda } { t } \right ) ^ { t } \right ) ^ { n }.$$

The last inequality is due to the fact that t ! ≥ ( t e ) t , by Stirling's approximation. Setting t = (1 -ε λ ) , we get

$$= ( 1 - \varepsilon ) \lambda, \, \text{we get} \\ \Pr [ \min _ { i } X _ { i } > ( 1 - \varepsilon ) \lambda ] & \leq \left ( 1 - e ^ { - \lambda } \left ( \frac { e \lambda } { ( 1 - \varepsilon ) \lambda } \right ) ^ { ( 1 - \varepsilon ) \lambda } \right ) ^ { n } \\ & = \left ( 1 - e ^ { - \lambda } \left ( \frac { e } { 1 - \varepsilon } \right ) ^ { ( 1 - \varepsilon ) \lambda } \right ) ^ { n } \\ & \leq \left ( 1 - e ^ { - \varepsilon \lambda } e ^ { ( 1 - \varepsilon ) \varepsilon \lambda } \right ) ^ { n } \\ & = \left ( 1 - e ^ { - \varepsilon ^ { 2 } \lambda } \right ) ^ { n } \leq e ^ { - n e ^ { - \varepsilon ^ { 2 } \lambda } }. \\ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \colon \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \end{matrix}$$

The second inequality follows from the inequality 1 1 -x ≥ e x , for | x | &lt; 1 . The third inequality follows from the inequality 1 -x ≤ e -x .

$$\sum _ { \substack { \alpha \cdot \\ \text{Now, for any} } } \varepsilon \leq \sqrt { \frac { \log \left ( \frac { n } { \log ( 2 n ) } \right ) } { \lambda } }, \, \text{we have} } ^ { \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \$$

$$e ^ { - n e ^ { - \epsilon ^ { 2 } \lambda } } \leq e ^ { - n e ^ { - \log \left ( \frac { n } { \log ( 2 n ) } \right ) } } = e ^ { - \log ( 2 n ) } = \frac { 1 } { 2 n }.$$

.

Asimple coupling argument shows that Pr[min i w &gt; i (1 -ε λ ) ] is monotone increasing in the number of balls (here, f ( w , . . . , w 1 n ) is 1 if and only if min i w i &gt; (1 -ε λ ) ). Therefore Theorem A.1 holds, and we have

$$\Pr [ \min _ { i } w _ { i } > ( 1 - \varepsilon ) \lambda ] \leq 2 \Pr [ \min _ { i } X _ { i } > ( 1 - \varepsilon ) \lambda ] \leq \frac { 1 } { n },$$

which concludes the proof.

## A.5 Proof of Lemma 4.4

Lemma 4.4 Suppose q = glyph[lscript] m n for an integer glyph[lscript] satisfying γ ≤ glyph[lscript] -1 n ≤ 1 -γ , and let

$$t _ { \varepsilon } = \Pr _ { A \in _ { R } [ \stackrel { N \times ( 1 ) } { \ell - 1 } ] } \left [ w ( A ) + w _ { 1 } \geq q \colon w _ { 1 } = \frac { m } { n } - \varepsilon \sqrt { \frac { m \log n } { n } } \right ].$$

Then for m ≥ 4 n 3 ,

$$t _ { \varepsilon } \geq \frac { 1 } { 2 } - \frac { \varepsilon } { 2 \pi \gamma } \sqrt { \frac { \log n } { n } } - \frac { 1 } { n }.$$

Proof. The idea of the proof is to replace w A ( ) by the weight of a random set of size glyph[lscript] -1 . A simple coupling argument shows that

$$\cdots \cdots \cdots _ { r } \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \\ t _ { \varepsilon } & \geq \Pr _ { A \in _ { R } \left [ _ { \ell - 1 } ^ { N } \right ] } \left [ w ( A ) + w _ { 1 } \geq q \colon w _ { 1 } = \frac { m } { n } - \varepsilon \sqrt { \frac { m \log n } { n } } \right ] \\ & = \Pr \left [ B ( m, \frac { \ell - 1 } { n } ) \geq \frac { ( \ell - 1 ) m } { n } + \varepsilon \sqrt { \frac { m \log n } { n } } \right ],$$

using the second part of Lemma A.3.

As in the proof of Lemma A.6, since m ≥ 4 n 3 , we can use the Berry-Esseen theorem to estimate the latter expression up to an additive error of 1 n :

$$t _ { \varepsilon } & \geq \Pr \left [ \mathsf B ( m, \frac { \ell - 1 } { n } ) \geq \frac { ( \ell - 1 ) m } { n } + \varepsilon \sqrt { \frac { m \log n } { n } } \right ] \\ & \geq \Pr \left [ \mathcal { N } ( \frac { ( \ell - 1 ) m } { n }, \frac { ( \ell - 1 ) m } { n } ( 1 - \frac { \ell - 1 } { n } ) ) \geq \frac { ( \ell - 1 ) m } { n } + \varepsilon \sqrt { \frac { m \log n } { n } } \right ] - \frac { 1 } { n }.$$

In order to estimate the latter probability, we use the bound Pr[ N (0 1) , ≥ x ] ≥ 1 / 2 -x √ 2 π (for x ≥ 0 ), which follows from Pr[ N (0 1) , ≥ 0] = 1 2 / and the fact that the density of N (0 1) , is bounded by 1 / √ 2 π . In our case,

$$x = \varepsilon \sqrt { \frac { m \log n } { n } } \Big / \sqrt { \frac { ( \ell - 1 ) m } { n } } ( 1 - \frac { \ell - 1 } { n } ) \leq \varepsilon \sqrt { \frac { m \log n } { n } } \Big / \sqrt { \gamma ^ { 2 } m } = \varepsilon \sqrt { \frac { \log n } { \gamma ^ { 2 } n } }.$$

Therefore

$$t _ { \varepsilon } \geq \frac { 1 } { 2 } - \frac { \varepsilon } { 2 \pi \gamma } \sqrt { \frac { \log n } { n } } - \frac { 1 } { n }.$$

## B Missing Proofs From Section 5

## B.1 Proof of Lemma 5.1

Lemma 5.1 Assume that m voters submit the votes according to the exponential distribution over candidates, such that for ρ ∈ (0 , 1 2 ) , and the probability that voter j votes for candidate i is proportional to ρ n -i . There is a constant C &gt; 0 such that if m ≥ Cρ -n (2 ρ -1) -2 log n then the resulting weight vector is super-increasing with probability 1 -O ( 1 n ) . Furthermore, as m →∞ , the probability approaches 1 .

Proof. The proof uses Bernstein's inequality with a subsequent application of the union bound. Consider a sequence w 1 ≤ w 2 ≤ ·· · ≤ w n . The sequence is clearly superincreasing if for every i = 2 , . . . , n , w /w i i -1 ≥ 2 , and w 1 &gt; 0 . We now lower bound the probability of this event, by upper-bounding the probability of the following bad events: E i is the event that w i &lt; 2 w i -1 (for i = 2 , . . . , n ), and E 1 is the event that w 1 = 0 . A union bound shows that the sequence w is super-increasing with probability at least 1 -∑ n i =1 Pr[ E i ] .

First note that the probability that voter j votes for candidate i is equal to

$$p _ { i } = \frac { \rho ^ { n - i } } { \sum _ { i = 1 } ^ { n } \rho ^ { n - i } } = \frac { \rho ^ { n - i } ( 1 - \rho ) } { 1 - \rho ^ { n } } = \Theta ( \rho ^ { n - i } ).$$

Bounding the probability of E 1 is easy:

$$\Pr [ E _ { 1 } ] = ( 1 - p _ { 1 } ) ^ { m } \leq e ^ { - p _ { 1 } m } = e ^ { - \Theta ( \rho ^ { n - 1 } m ) }.$$

glyph[negationslash]

In order to bound the probability of E i for i = 1 , consider the random variable X = 2 w i -1 -w i . This random variable is a sum of m i.i.d. random variables X (1) , . . . , X ( m ) corresponding to the different voters with the following distribution:

$$X ^ { ( j ) } = \begin{cases} 2 & \text{w.p.} \, p _ { i - 1 }, \\ - 1 & \text{w.p.} \, p _ { i }, \\ 0 & \text{w.p.} \, 1 - p _ { i - 1 } - p _ { i }. \end{cases}$$

Using the identity p i -1 = ρp i , the moments of X are

$$\mathbb { E } [ X ] = m \, \mathbb { E } [ X ^ { ( j ) } ] = ( 2 \rho - 1 ) p _ { i } m = \Theta ( ( 2 \rho - 1 ) \rho ^ { n - i } m ),$$

Var[ X ] = m ( E [ X ( j )2 ] -E [ X ( j ) ] 2 ) = (4 ρ +1) p m i -(2 ρ -1) 2 p m 2 i = O ρ ( n -i m . )

Since | X ( j ) -E [ X ( j ) ] | = O (1) , Bernstein's equality gives

$$\lambda _ { [ \lambda _ { i } } = 1 & = \mathcal { \langle } / \mathcal { \rangle }, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \quad \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \ \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \  \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \, \mathcal { \rangle } \
 \Pr [ E _ { i } ] & = \Pr [ X > 0 ] \\ & \leq \exp - \frac { \frac { 1 } { 2 } \, \mathbb { E } [ X ] ^ { 2 } } { \mathbb { Z } [ X ] + O ( \mathbb { E } [ X ] ) } \\ & = \exp - \frac { \Theta ( ( 2 \rho - 1 ) ^ { 2 } \rho ^ { 2 ( n - i ) } m ^ { 2 } ) } { O ( \rho ^ { n - i } m ) } \\ & = \exp - \Omega ( ( 2 \rho - 1 ) ^ { 2 } \rho ^ { n - i } m ).$$

Summarizing,

$$\sum _ { i = 1 } ^ { n } \Pr [ E _ { i } ] \leq e ^ { - \Theta ( \rho ^ { n - 1 } m ) } + \sum _ { i = 2 } ^ { n } e ^ { - \Omega ( ( 2 \rho - 1 ) ^ { 2 } \rho ^ { n - i } m ) }.$$

When m ≥ Cρ -n (2 ρ -1) -2 log n for an appropriate C , all the terms are O (1 /n 2 ) , and so the total error probability is O (1 /n ) , proving the first part of lemma. As m → ∞ , all the terms tend to 0 , and so the total error probability tends to 0 , proving the second part of the lemma.

## B.2 Proof of Lemma 5.2

Lemma 5.2 Suppose that p = ( p , . . . , p 1 n ) is a SI sequence summing to 1 , and let w , . . . , w 1 n be obtained by sampling m times from the distribution p , . . . , p 1 n .

Suppose that T ∈ (0 1] , , say T ∈ I p ( P ) for some P ⊆ { 1 , . . . , n } . If the distance of T from the endpoints ˜( p P ) , p ˜( P + ) of I p ( P ) is at least ∆ = √ log( nm /m ) then with probability 1 -2 ( nm ) 2 it holds that if w is SI then for all i ∈ N ϕ , w i ( mT ) = ϕ p i ( T ) .

Proof. Suppose that w is super-increasing. Lemma 6.1 implies that I w ( P ) = ( ˜( w P ,w P ) ˜( + )] , since both p and w are super-increasing (a priori, it could be that P + would have different values when defined with respect to p and to w ). The idea of the proof is to show that with high probability, mT ∈ I w ( P ) , and then the lemma follows from Proposition 5.2. We do that by upper-bounding the probability of the following two bad events: ˜( w P ) ≥ mT and ˜( w P + ) &lt; mT .

The random variable ˜( w P ) is a sum of m i.i.d. indicator random variables which are 1 with probability ˜( p P ) . Therefore E [ ˜( w P )] = mp P ˜( ) . Hoeffding's inequality shows that

$$\dots \Pr [ \tilde { w } ( P ) \geq m T ] \leq \Pr [ \tilde { w } ( P ) \geq \mathbb { E } [ \tilde { w } ( P ) ] + m \Delta ] \leq e ^ { - 2 \Delta ^ { 2 } m }.$$

Similarly Pr[ ˜( w P + ) &lt; mT ] ≤ e -2 ∆ m 2 . When ∆ ≥ √ log n/m , both error probabilities are at most 1 / nm ( ) 2 .

## C Missing Proofs from Section 6

## C.1 A Greedy Algorithm for Finding A q ( )

Given a point q ∈ (0 , w ( N )] and a vector of super-increasing weights w , it is possible to find A q ( ) in time O n ( ) .

Lemma C.1 Algorithm 1 calculates A q ( ) in linear time.

Proof. As stated, the algorithm does not in fact run in linear time, but it is easy to modify it so that it does run in linear time. It remains to prove that it calculates A q ( ) correctly.

Let A q ( ) = a , . . . , a 0 r , so that A q ( ) -= a , . . . , a 0 r -1 , a r +1 , . . . , n . Denote by A i the value of A in the algorithm after i iterations of the loop. We prove by induction on i

that A i = A q ( ) ∩{ 1 , . . . , i } , which shows that the algorithm returns A q ( ) . The inductive claim trivially holds for i = 0 . Assuming that A i -1 = A q ( ) ∩ { 1 , . . . , i - } 1 , we now prove that A i = A q ( ) ∩ { 1 , . . . , i } . We consider two cases: i / A q ∈ ( ) and i ∈ A q ( ) . If i / A q ∈ ( ) then q ≤ w A q ( ( )) = w A ( i -1 ) + w A q ( ( ) ∩{ i, . . . , n } ) ≤ w A ( i -1 ) + w ( { i + 1 , . . . , n } ) , and so line 5 does not get executed. Suppose now that i ∈ A q ( ) . If a r = i then q &gt; w A q ( ( ) -) = w A ( i -1 ) + w ( { i +1 , . . . , n } ) , and so line 5 gets executed. If a r &gt; i then q &gt; w A q ( ( ) -) ≥ w A ( i -1 ) + w &gt; w A i ( i -1 ) + w ( { i +1 , . . . , n } ) , since w is super-increasing, and so line 5 gets executed in this case as well.

## Algorithm 1 An algorithm for finding A q ( )

```
Algorithm 1 An algorithm for finding A(q)
  1:  procedure FIND-SET(w, q)
  2:        A \leftarrow \emptyset
  3:        for i \leftarrow 1 to n do
  4:             if q > w(A \cup \{i + 1, \dots, n\}) then
  5:                  A \leftarrow A \cup \{i}
  6:             end if
  7:        end forreturn A
  8:  end procedure
```

## C.2 Finding A q ( ) when Weights are w i = d n -i

Lemma C.2 Suppose w i = d n -i for some integer d ≥ 2 , and let q ∈ (0 , w ( N )] . Write glyph[ceilingleft] q glyph[ceilingright] in base d : glyph[ceilingleft] q glyph[ceilingright] = ( t 1 . . . t n d ) . If the base d representation only consists of the digits 0 and 1 then A q ( ) = { i ∈ N : t i = 1 } . Otherwise, let glyph[lscript] be the minimal index such that t glyph[lscript] &gt; 1 , and let k &lt; glyph[lscript] be the maximal index less than glyph[lscript] satisfying t k = 0 (the proof shows that such an index exists). Then A q ( ) = { i ∈ { 1 , . . . , k - } 1 : t i = 1 } ∪ { k } .

glyph[negationslash]

Proof. Suppose first that t i ∈ { 0 1 , } for all i ∈ N , and let Q q ( ) = { i ∈ N : t i = 1 } . Since glyph[ceilingleft] q glyph[ceilingright] ≥ 1 , Q q ( ) = ∅ . Lemma 6.1 shows that w Q q ( ( ) -) &lt; w Q q ( ( )) and so q = w Q q ( ( )) ∈ ( w Q q ( ( ) -) , w ( Q q ( ))] , showing that A q ( ) = Q q ( ) .

Suppose next that glyph[lscript] is the minimal index such that t glyph[lscript] &gt; 1 . If t k = 1 for all k &lt; glyph[lscript] then

$$q > \lceil q \rceil - 1 \geq \sum _ { j = 1 } ^ { \ell - 1 } w _ { j } + 2 w _ { \ell } - 1 \geq w ( N ), \\. \quad. \quad. \quad. \quad. \quad. \quad.$$

since the fact that the w i are integral and super-increasing implies that

$$w _ { \ell } \geq \sum _ { j = \ell + 1 } ^ { n } w _ { j } + 1.$$

We conclude that the maximal index k &lt; glyph[lscript] satisfying t k = 0 exists. Let Q q ( ) = { i ∈ { 1 , . . . , k - } 1 : t i = 1 } ∪ { k } . On the one hand,

$$q \leq \lceil q \rceil \leq \sum _ { j \in Q ( q ) \langle \{ k \} } w _ { j } + ( d - 1 ) \sum _ { j = k + 1 } ^ { n } w _ { j } < w ( Q ( q ) ).$$

On the other hand,

$$\Phi \text{sounds}, \\ q > \lceil q \rceil - 1 & \geq \sum _ { j \in Q ( q ) \langle k \} } w _ { j } + \sum _ { j = k + 1 } ^ { \ell - 1 } w _ { j } + 2 w _ { \ell } - 1 \\ & \geq \sum _ { j \in Q ( q ) \langle k \} } w _ { j } + \sum _ { j = k + 1 } ^ { n } w _ { j } = w ( Q ( q ) ^ { - } ). \\ \Phi \text{sounds} \quad \sim \partial \ \partial \ \partial \$$

Therefore A q ( ) = Q q ( ) .

## C.3 Proof of Theorem 6.1

First, we recall the statement of Theorem 6.1.

Theorem 6.1. Consider an agent i ∈ N and a prescribed quota value q ∈ (0 , w ( N )] . Let A q ( ) = { a , . . . , a 0 r } . If i / A q ∈ ( ) then ϕ i ( q ) = ∑ t ∈{ 0 ,...,r } : a &gt;i t 1 a t ( a t -1 t ) . If i ∈ A q ( ) , say i = a s , then ϕ i ( q ) = 1 a s ( as -1 s ) -∑ t ∈{ 0 ,...,r } : a &gt;i t 1 a t ( a t -1 t -1 ) .

Proof. Lemma 6.2 shows that ϕ w i ( q ) = ϕ b i ( β A q ( ( ))) , where b = 2 n -1 , . . . , 1 . Therefore we can assume without loss generality that w = 2 n -1 , . . . , 1 , i.e., w i = 2 n -i , and that q = ∑ j ∈ A q ( ) w j .

Recall that ϕ i ( q ) is the probability that w P ( i ( π )) ∈ [ q -w , q i ) , where π is chosen randomly from Sym n , and P i ( π ) is the set of predecessors of i in π . The idea of the proof is to consider the maximal τ ∈ { 1 , . . . , r +1 } such that a t ∈ P i ( π ) for all t &lt; τ . We will show that when i / ∈ A q ( ) , each possible value of τ ( π ) corresponds to one summand in the expression for ϕ i ( q ) . When i ∈ A q ( ) , say i = a s , we will show that the events that i is pivotal with respect to q and that i is pivotal with respect to q -w i are disjoint, and their union is an event having probability 1 /a s ( a s -1 s ) .

Suppose that i is pivotal for π and τ ( π ) = τ . We start by showing that τ ≤ r , ruling out the case τ = r +1 . If τ = r +1 then by definition

$$w ( P _ { i } ( \pi ) ) \geq \sum _ { j \in A ( q ) } w _ { j } = q,$$

contradicting the assumption w P ( i ( π )) &lt; q . Therefore τ ≤ r , and so a τ is welldefined. We claim that if k ∈ P i ( π ) for some agent k &lt; a τ then k ∈ A q ( ) . Indeed, otherwise

$$w ( P _ { i } ( \pi ) ) \geq \sum _ { t = 0 } ^ { \tau - 1 } w _ { a _ { t } } + w _ { k } \geq \sum _ { t = 0 } ^ { \tau - 1 } w _ { a _ { t } } + w _ { a _ { \tau } - 1 } > \sum _ { t = 0 } ^ { \tau - 1 } w _ { a _ { t } } + \sum _ { j = a _ { \tau } } ^ { n } w _ { j } \geq q,$$

again contradicting w P ( i ( π )) &lt; q (the third inequality made use of the fact that w is super-increasing).

Furthermore, we claim that a τ ≥ i . Otherwise,

$$w ( P _ { i } ( \pi ) ) \leq \sum _ { t = 0 } ^ { \tau - 1 } w _ { a _ { t } } + \sum _ { j = a _ { \tau } + 1 } ^ { n } w _ { j } - w _ { i } < \sum _ { t = 0 } ^ { \tau } w _ { a _ { t } } - w _ { i } \leq q - w _ { i },$$

contradicting the assumption w P ( i ( π )) ≥ q -w i .

Summarizing, we have shown that τ ≤ r , a τ ≥ i and

$$P _ { i } ( \pi ) \cap \{ 1, \dots, a _ { \tau } \} = \{ a _ { 0 }, \dots, a _ { \tau - 1 } \}.$$

Denote this event E τ , and call a τ ≤ r satisfying a τ ≥ i legal .

Suppose first that i / ∈ A q ( ) . We have shown above that if i is pivotal then E τ happens for some legal τ . We claim that the converse is also true. Indeed, given E τ defined with respect to a permutation π , and for some legal τ , the weight of P i ( π ) can be bounded as follows.

$$\sum _ { t = 0 } ^ { \tau - 1 } w _ { a _ { t } } \leq w ( P _ { i } ( \pi ) ) \leq \sum _ { t = 0 } ^ { \tau - 1 } w _ { a _ { t } } + \sum _ { j = a _ { \tau } + 1 } ^ { n } w _ { j } < \sum _ { t = 0 } ^ { \tau } w _ { a _ { t } }.$$

The second inequality follows from the definition of τ , whereas the third inequality follows as before from the definition of a super-increasing sequence. The upper bound is clearly at most q , and the lower bound satisfies

$$\sum _ { t = 0 } ^ { \tau - 1 } w _ { a _ { t } } \geq q - \sum _ { j = a _ { \tau } } ^ { n } w _ { j } > q - w _ { a _ { \tau } - 1 } \geq q - w _ { i },$$

since i &lt; a τ .

It remains to calculate Pr[ E τ ] . The event E τ states that the restriction of π to { 1 , . . . , a τ } consists of the elements { a , . . . , a 0 τ -1 } in some order, followed by i (recall that i ≤ a τ ). For each of the τ ! possible orders, the probability of this is 1 /a τ · · · ( a τ -τ ) = ( a τ -τ -1)! /a τ ! , and so

$$\Pr [ E _ { \tau } ] = \frac { \tau! ( a _ { \tau } - \tau - 1 )! } { a _ { \tau }! } = \frac { 1 } { a _ { \tau } \binom { a _ { \tau } - 1 } { \tau } }.$$

Summing over all legal τ , we obtain the formula in the statement of the theorem. This completes the proof in the case i / A q ∈ ( ) .

Suppose next that i ∈ A q ( ) , say i = a s . Since a τ ≥ a s = i while i / P ∈ i ( π ) , we deduce that τ = s . Therefore the event E s happens. Conversely, when E s happens,

$$w ( P _ { i } ( \pi ) ) \leq \sum _ { t = 0 } ^ { s - 1 } w _ { a _ { t } } + \sum _ { j = a _ { s } + 1 } ^ { n } w _ { j } < \sum _ { t = 0 } ^ { s } w _ { a _ { t } } \leq q.$$

Therefore i is pivotal (with respect to q ) if and only if E s happens and w P ( i ( π )) ≥ q -w i .

It is easy to check that A q ( -w i ) = A q ( ) \ { } i = a , . . . , a 0 s -1 , a s +1 , . . . , a r . The argument above shows that if i is pivotal with respect to q -w i then for some τ ′ ≥ s +1 ,

$$P _ { i } ( \pi ) \cap \{ 1, \dots, a _ { \tau ^ { \prime } } \} = \{ a _ { 0 }, \dots, a _ { s - 1 }, a _ { s + 1 }, \dots, a _ { \tau ^ { \prime } - 1 } \}.$$

In particular, the event E s happens. Conversely, when E s happens,

$$w ( P _ { i } ( \pi ) ) \geq \sum _ { t = 0 } ^ { s - 1 } w _ { a _ { t } } \geq q - w _ { a _ { s } } - \sum _ { j = a _ { s } + 1 } ^ { n } w _ { j } > ( q - w _ { a _ { s } } ) - w _ { a _ { s } }.$$

Therefore i is pivotal with respect to q -w i if and only if E s happens and w P ( i ( π )) &lt; q -w i . We conclude that

Pr[ w i is pivotal with respect to q ] = Pr[ E s ] -Pr[ w i is pivotal with respect to q -w . i ]

Above we have calculated Pr[ E s ] = 1 /a s ( a s -1 s ) , and we obtain the formula in the statement of the theorem.

## C.4 Proof of Lemma 6.3

To prove Lemma 6.3, we will need some combinatorial identities.

Lemma C.3 Let p, t be integers satisfying p &gt; t ≥ 1 . Then

$$\frac { 1 } { p \binom { p - 1 } { t } } + \frac { 1 } { p \binom { p - 1 } { t - 1 } } = \frac { 1 } { ( p - 1 ) \binom { p - 2 } { t - 1 } }.$$

Proof. The proof is a simple calculation:

$$\frac { 1 } { p \binom { p - 1 } { t } } + \frac { 1 } { p \binom { p - 1 } { t - 1 } } = \frac { t! ( p - t - 1 )! + ( t - 1 )! ( p - t )! } { p! }$$

$$= \frac { ( t - 1 )! ( p - t - 1 )! [ t + ( p - t ) ] } { p! } = \frac { ( t - 1 )! ( p - t - 1 )! } { ( p - 1 )! } = \frac { 1 } { ( p - 1 ) \binom { p - 2 } { t - 1 } }.$$

$$p ( \bar { \ } _ { t } ^ { r } \bar { \ } _ { t } ^ { \ } ) \quad p ( \bar { \ } _ { t - 1 } ^ { r } ) & p! \\ & = \frac { ( t - 1 )! ( p - t - 1 )! [ t + ( p - t ) ] } { n! } = \frac { ( t - 1 )! ( p - t - 1 )! } { ( p - 1 )! } = \frac { 1 } { ( n - 1 )! ( p - 2 ) }.$$

Lemma C.4 Let p, t, k be integers satisfying p &gt; t ≥ 0 and k ≥ 0 . Then

$$\frac { 1 } { p \binom { p - 1 } { t } } - \sum _ { \ell = 1 } ^ { k } \frac { 1 } { ( p + \ell ) \binom { p + \ell - 1 } { t + \ell - 1 } } = \frac { 1 } { ( p + k ) \binom { p + k - 1 } { t + k } }.$$

In particular,

$$\frac { 1 } { p \binom { p - 1 } { t } } = \sum _ { \ell = 1 } ^ { \infty } \frac { 1 } { ( p + \ell ) \binom { p + \ell - 1 } { t + \ell - 1 } }.$$

Proof. The proof is by induction on k . If k = 0 then there is nothing to prove. For k &gt; 0 we have

$$\frac { 1 } { p ( p ^ { - 1 } _ { t } ) } - \sum _ { \ell = 1 } ^ { k } \frac { 1 } { ( p + \ell ) \binom { p + \ell - 1 } { t + \ell - 1 } } = \frac { 1 } { ( p + k - 1 ) \binom { p + k - 2 } { t + k - 1 } } - \frac { 1 } { ( p + k ) \binom { p + k - 1 } { t + k - 1 } } = \frac { 1 } { ( p + k ) \binom { p + k - 1 } { t + k } },$$

using Lemma C.3. The second expression of the lemma follows from rearranging the first formula and taking the limit k →∞ .

We are now ready to prove Lemma 6.3. First, recall the statement of the lemma.

Lemma 6.3 Given a quota q ∈ (0 , w ( N )] , let A q ( ) = { a , . . . , a 0 r } . For each i ∈ N \ { n } , if Ψ i ( A q ( )) = Ψ i +1 ( A q ( )) then ϕ i ( q ) = ϕ i +1 ( q ) . If Ψ i ( A q ( )) = 0 and Ψ i +1 ( A q ( )) = 1 then ϕ i ( q ) ≥ ϕ i +1 ( q ) , with equality if and only if i + 1 = a r . If Ψ i ( A q ( )) = 1 and Ψ i +1 ( A q ( )) = 0 then ϕ i ( q ) &gt; ϕ i +1 ( q ) .

Proof. For the first item, since i +1 / A q ∈ ( ) then a t &gt; i iff a t &gt; i +1 , and so

$$\varphi _ { i } ( q ) = \sum _ { \substack { t \in \{ 0, \dots, r \} \colon \\ a _ { t } > i } } \frac { 1 } { a _ { t } \binom { a _ { t } - 1 } { t } } = \sum _ { \substack { t \in \{ 0, \dots, r \} \colon \\ a _ { t } > i + 1 } } \frac { 1 } { a _ { t } \binom { a _ { t } - 1 } { t } } = \varphi _ { i + 1 } ( q ).$$

For the second item, suppose that i +1 = a s . We have

$$\varphi _ { i } ( q ) - \varphi _ { i + 1 } ( q ) & = \sum _ { t = s } ^ { r } \frac { 1 } { a _ { t } \binom { a _ { t } - 1 } { t } } - \left [ \frac { 1 } { a _ { s } \binom { a _ { s } - 1 } { s } } - \sum _ { t = s + 1 } ^ { r } \frac { 1 } { a _ { t } \binom { a _ { t } - 1 } { t - 1 } } \right ] \\ & = \sum _ { t = s + 1 } ^ { r } \left [ \frac { 1 } { a _ { t } \binom { a _ { t } - 1 } { t } } + \frac { 1 } { a _ { t } \binom { a _ { t } - 1 } { t - 1 } } \right ] = \sum _ { t = s + 1 } ^ { r } \frac { 1 } { ( a _ { t } - 1 ) \binom { a _ { t } - 2 } { t - 1 } }, \\ \dots \dots \pi \dots \pi \nu \tau \dots \dots \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.$$

using Lemma C.3. Therefore ϕ i ( q ) ≥ ϕ i +1 ( q ) , with equality if and only if s = r . For the third item, suppose that i = a s . We have

$$\varphi _ { i } ( q ) - \varphi _ { i + 1 } ( q ) & = \frac { 1 } { a _ { s } \binom { a _ { s } - 1 } { s } } - \sum _ { t = s + 1 } ^ { r } \frac { 1 } { a _ { t } \binom { a _ { t } - 1 } { t - 1 } } - \sum _ { t = s + 1 } ^ { r } \frac { 1 } { a _ { t } \binom { a _ { t } - 1 } { t } } \\ & = \frac { 1 } { a _ { s } \binom { a _ { s } - 1 } { s } } - \sum _ { t = s + 1 } ^ { r } \frac { 1 } { ( a _ { t } - 1 ) \binom { a _ { t } - 2 } { t - 1 } }, \\ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \colon$$

using Lemma C.3. The same lemma also implies that the expression 1 /p ( p t -1 ) is decreasing in p . Since i + 1 / A q ∈ ( ) , if a s +1 exists then a s +1 ≥ a s + 2 , and in general a s + glyph[lscript] ≥ a s + glyph[lscript] +1 . Therefore

$$\varphi _ { i } ( q ) - \varphi _ { i + 1 } ( q ) \geq \frac { 1 } { a _ { s } \binom { a _ { s } - 1 } { s } } - \sum _ { \ell = 1 } ^ { r - s } \frac { 1 } { ( a _ { s } + \ell ) \binom { a _ { s } + \ell - 1 } { s + \ell - 1 } } = \frac { 1 } { ( a _ { s } + r - s ) \binom { a _ { s } + r - s - 1 } { r } } > 0,$$

using Lemma C.4.

For the fourth item, suppose that i = a s . We have

$$\varphi _ { i } ( q ) - \varphi _ { i + 1 } ( q ) & = \left [ \frac { 1 } { a _ { s } \binom { a _ { s } - 1 } { s } } - \sum _ { t = s + 1 } ^ { r } \frac { 1 } { a _ { t } \binom { a _ { t } - 1 } { t - 1 } } \right ] - \left [ \frac { 1 } { a _ { s + 1 } \binom { a _ { s + 1 } - 1 } { s + 1 } } - \sum _ { t = s + 2 } ^ { r } \frac { 1 } { a _ { t } \binom { a _ { t } - 1 } { t - 1 } } \right ] \\ & = \frac { 1 } { a _ { s } \binom { a _ { s } - 1 } { s } } - \frac { 1 } { a _ { s + 1 } \binom { a _ { s + 1 } - 1 } { s + 1 } } - \frac { 1 } { a _ { s + 1 } \binom { a _ { s + 1 } - 1 } { s } } = 0, \\ \intertext { s u s e l i n d e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i n t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e t e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d ie n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i g e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d is t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d ier t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e i n d e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e n d i n t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n d i t h e e n n d i t h o n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n e d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d i t h e e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d ier { s u s e n d e { s u s e n d e { s u s e n d e { s u s e n d e } } }$$

using Lemma C.3 together with a s +1 = a s +1 .

## C.5 Proof of Lemma 6.4

First, let us recall the statement of Lemma 6.4.

Lemma 6.4 Let P ⊆ N be a non-empty set of agents, and let i ∈ N be an agent. If i / P ∈ -then ϕ i ( w P ( -)) &lt; ϕ i ( w P ( )) . If i ∈ P -then ϕ i ( w P ( -)) &gt; ϕ i ( w P ( )) .

Moreover, | ϕ i ( w P ( )) -ϕ i ( w P ( -)) | ≤ 1 n ; this inequality is tight only if a ) P = { n } . b ) i &lt; n and P = { 1 , . . . , i } or P = { i, n } , or c ) i = n and P = { n - } 1 . Otherwise, | ϕ i ( w P ( )) -ϕ i ( w P ( -)) | ≤ 1 n n ( -1) .

Proof. Define ϕ + = ϕ i ( w P ( )) and ϕ -= ϕ i ( w P ( -)) . Let P = a , . . . , a 0 r . We have P -= a , . . . , a 0 r -1 , a r +1 , . . . , n .

Suppose first that i &gt; a r , and let s be the index of i in the sequence P -. According to Theorem 6.1, ϕ + = 0 and

$$\varphi _ { - } = \frac { 1 } { i \binom { i - 1 } { s } } - \sum _ { \ell = 1 } ^ { n - i } \frac { 1 } { ( i + \ell ) \binom { i + \ell - 1 } { s + \ell - 1 } } = \frac { 1 } { n \binom { n - 1 } { s + n - i } }.$$

Wesee that i ∈ P -and ϕ -&gt; ϕ + . Furthermore, | ϕ + -ϕ -| ≤ 1 n n ( -1) unless s + n - ∈ i { 0 , n -1 } . If s + n -i = 0 then s = 0 and i = n , implying P -= { n } and so P = { n - } 1 . If s + n -i = n -1 then s = i -1 and so P -= 1 , . . . , n , which is impossible.

Suppose next that i = a r . According to the theorem,

$$\varphi _ { + } - \varphi _ { - } = \frac { 1 } { i \binom { i - 1 } { r } } - \sum _ { \ell = 1 } ^ { n - i } \frac { 1 } { ( i + \ell ) \binom { i + \ell - 1 } { r + \ell - 1 } } = \frac { 1 } { n \binom { n - 1 } { r + n - i } }.$$

Wesee that i / P ∈ -and ϕ + &gt; ϕ -. Furthermore, | ϕ + -ϕ -| ≤ 1 n n ( -1) unless r + n - ∈ i { 0 , n - } 1 . If r + n -i = 0 then r = 0 and i = n , and so P = { n } . If r + n -i = n then r = i -1 and so P = 1 , . . . , i .

Finally, suppose that i &lt; a r . If i / P ∈ then

$$\varphi _ { + } - \varphi _ { - } = \frac { 1 } { a _ { r } \binom { a _ { r } - 1 } { r } } - \sum _ { \ell = 1 } ^ { n - a _ { r } } \frac { 1 } { ( a _ { r } + \ell ) \binom { a _ { r } + \ell - 1 } { r + \ell - 1 } } = \frac { 1 } { n \binom { n - 1 } { r + n - a _ { r } } }.$$

We see that i / P ∈ -and ϕ + &gt; ϕ -. Furthermore, | ϕ + -ϕ -| ≤ 1 n n ( -1) unless r + n -a r ∈ { 0 , n - } 1 . If r + n -a r = 0 then r = 0 and a r = n , and so P = { n } . If r + n -a r = n -1 then a r = r +1 , which implies P = 1 { , . . . , r +1 } . However, this contradicts the assumption i / P ∈ .

If i &lt; a r and i ∈ P then

$$\varphi _ { - } - \varphi _ { + } = \frac { 1 } { a _ { r } \binom { a _ { r } - 1 } { r - 1 } } - \sum _ { \ell = 1 } ^ { n - a _ { r } } \frac { 1 } { ( a _ { r } + \ell ) \binom { a _ { r } + \ell - 1 } { r + \ell - 2 } } = \frac { 1 } { n \binom { n - 1 } { r + n - a _ { r } - 1 } }.$$

We see that i ∈ P -and ϕ -&gt; ϕ + . Furthermore, | ϕ + -ϕ -| ≤ 1 n n ( -1) unless r + n -a r -1 ∈ { 0 , n - } 1 . If r + n -a r -1 = 0 then r = 1 and a r = n , and so P = { i, n } . If r + n -a r -1 = n -1 then a r = r , which is impossible.

## C.6 A Note on the Limiting Behavior of the Shapley Value under Super-Increasing Weights

Given a super-increasing sequence w , . . . , w 1 n (where again, w 1 &gt; w 2 &gt; · · · &gt; w n ) and some m ∈ N , let us write w | m for ( w , . . . , w 1 m ) and [ m ] for { 1 , . . . , m } . We write ϕ w | m i ( q ) for the Shapley value of agent i ∈ [ m ] in the weighted voting game in which

the set of agents is [ m ] , the weights are w | m , and the quota is q . We also write A | m ( q ) for the set P ⊆ [ m ] such that q ∈ ( w | m ( P -) , w | m ( P )] .

The following lemma relates ϕ w i ( q ) and ϕ w | m i ( q ) .

Lemma C.5 Let m ∈ N and i ∈ [ m ] , and let q ∈ (0 , w ([ m ])] . Then

$$\varphi _ { i } ^ { w | _ { m } } ( q ) = \varphi _ { i } ^ { w } ( w ( A | _ { m } ( q ) ) ).$$

Proof. Theorem 6.1 provides a function Φ such that ϕ w | m i ( q ) = Φ A ( | m ( q )) and ϕ w i ( w A ( | m ( q ))) = Φ A w A ( ( ( | m ( q )))) = Φ A ( | m ( q )) . We conclude that the Shapley values coincide.

Therefore the plot of ϕ w | m i can be readily obtained from that of ϕ w i . This suggests looking at the limiting case of an infinite super-increasing sequence ( w i ) ∞ i =1 , which is a sequence satisfying w &gt; i 0 and w i ≥ ∑ ∞ j = +1 i w j for all i ≥ 1 . The super-increasing condition implies that the sequence sums to some value w ( ∞ ≤ ) 2 w 1 . Lemma C.5 suggests how to define ϕ i in this case: for q ∈ (0 , w ( ∞ )) and i ≥ 1 , let

$$\varphi _ { i } ^ { ( \infty ) } ( q ) = \lim _ { n \to \infty } \varphi _ { i } ^ { w | _ { n } } ( q ).$$

We show that the limit exists by providing an explicit formula for it, as given in Theorem C.1, which is proved in the appendix. In the theorem, we consider possibly infinite subsets P = { a , . . . , a 0 r } of the positive integers, ordered in increasing order; when r = ∞ , the subset is infinite. Also, the notation { a, . . . , ∞} (or { a, . . . , r } when r = ∞ ) means all integers larger than or equal to a .

## Theorem C.1. Let q ∈ (0 , w ( ∞ )) and let i be a positive integer.

- (a) There exists a non-empty subset of the positive integers P = { a , . . . , a 0 r } such that either q = w P ( ) or P is finite and q ∈ ( w P ( -) , w ( P )] , where P -= { a , . . . , a 0 r -1 } ∪ { a r +1 , . . . , ∞} .
- (b) The limit ϕ ( ∞ ) i ( q ) = lim n →∞ ϕ w | n i ( q ) exists. When i / P ∈ ,

$$\varphi _ { i } ^ { ( \infty ) } ( q ) = \sum _ { \substack { t \in \{ 0, \dots, r \} \colon \\ a _ { t } > i } } \, \frac { 1 } { a _ { t } \binom { a _ { t } - 1 } { t } },$$

and when i ∈ P , say i = a s , then

$$\varphi _ { i } ^ { ( \infty ) } ( q ) = \frac { 1 } { a _ { s } \binom { a _ { s } - 1 } { s } } - \sum _ { \substack { t \in \{ 0, \dots, r \} \colon \\ a _ { t } > i } } \, \frac { 1 } { a _ { t } \binom { a _ { t } - 1 } { t - 1 } }.$$

Lemma C.5 easily extends to the case n = ∞ .

Lemma C.6 Let m ≥ 1 be an integer, let i ∈ [ m ] , and let q ∈ (0 , w ([ m ])] . Then ϕ w | m i ( q ) = ϕ ( ∞ ) i ( w A ( | m ( q ))) .

Proof. Lemma C.5 shows that for n ≥ m ϕ , w | m i ( q ) = ϕ w | n i ( w A ( | m ( q ))) , and therefore ϕ w | m i ( q ) = lim n →∞ ϕ w | n i ( w A ( | m ( q ))) = ϕ ( ∞ ) i ( w A ( | m ( q ))) .

We conclude by showing that the limiting functions ϕ ( ∞ ) i are continuous (see appendix for the proof).

Theorem C.2. Let i be a positive integer. The function ϕ ( ∞ ) i is continuous on (0 , w ( ∞ )) , and lim q → 0 ϕ ( ∞ ) i ( q ) = lim q → w ( ∞ ) ϕ ( ∞ ) i ( q ) = 0 .

Summarizing, we can extend the functions ϕ w | n i to a continuous function ϕ ( ∞ ) i which agrees with ϕ w | n i on the points w P ( ) for P ⊆ { 1 , . . . , n } . When w i = 2 -i then the plot of ϕ ( ∞ ) has no flat areas, but when w i = d -i for d &gt; 2 , the limiting function is constant on intervals ( w P ( -) , w ( P )] . This is reflected in Figure 1.

## C.7 Proof of Theorem C.1

We start with some preliminary lemmas. For a (possibly infinite) subset P of the positive integers, define

$$\beta _ { \infty } ( P ) = \sum _ { i \in P } 2 ^ { - i }.$$

We have the following analog of Lemma 6.1.

Lemma C.7 Suppose P , P 1 2 are two subsets of the positive integers. Then β ∞ ( P 1 ) ≤ β ∞ ( P 2 ) if and only if w P ( 1 ) ≤ w P ( 2 ) . Furthermore, if β ∞ ( P 1 ) &lt; β ∞ ( P 2 ) then w P ( 1 ) &lt; w P ( 2 ) .

glyph[negationslash]

Proof. Suppose that β ∞ ( P 1 ) ≤ β ∞ ( P 2 ) and P 1 = P 2 . Let i = min( P 2 \ P 1 ) . Then

$$w ( P _ { 2 } ) - w ( P _ { 1 } ) \geq w _ { i } - \sum _ { j = i + 1 } ^ { \infty } w _ { j } \geq 0.$$

Equality is only possible if max P 2 = i and P 1 = P 2 \{ }∪{ i i +1 , . . . , ∞} . However, in that case β ∞ ( P 1 ) = β ∞ ( P 2 ) .

glyph[negationslash]

There is a subtlety involved here: we can have β ∞ ( P 1 ) = β ∞ ( P 2 ) for P 1 = P 2 . This is because dyadic rationals (numbers of the form A 2 B ) have two different binary expansions. For example, 1 2 = (0 1000 . . . . ) 2 = (0 0111 . . . . ) 2 . The lemma states (in this case) that w ( { 1 } ) ≥ w ( { 2 3 4 , , , . . . } ) , but there need not be equality.

In the sequel, we will use the fact that each real r ∈ (0 1) , has a binary expansion with infinitely many 0 s (alternatively, a set P such that β ∞ ( P ) = r and there are infinitely many n / P ∈ ), and a binary expansion with infinitely many 1 s (alternatively, a set P such that β ∞ ( P ) = r and there are infinitely many n ∈ P ). If r is not dyadic, then it has a unique binary expansion which has infinitely many 0 s and 1 s. If r is dyadic, say r = 1 2 , then it has one expansion (0 1000 . . . . ) 2 with infinitely many 0 s and another expansion (0 0111 . . . . ) 2 with infinitely many 1 s.

The following lemma, which forms the first part of Theorem C.1, describes the analog of the intervals ( w P ( -) , w ( P )] in the infinite case.

Lemma C.8 Let q ∈ (0 , w ( ∞ )) . There exists a non-empty subset P of the positive integers such that either q = w P ( ) or P = { a , . . . , a 0 r } is finite and q ∈ ( w P ( -) , w ( P )] , where P -= { a , . . . , a 0 r -1 } ∪ { a r +1 , . . . , ∞} .

↦

Proof. Since q &lt; w ( ∞ ) , for some m we have q ≤ w m ([ ]) . For n ≥ m , let A | n = A | n ( q ) . Let Q | n be the subset of [ n ] preceding A | n , and let R | n be the subset of [ n + 1] preceding A | n ; here 'preceding' is in the sense of X → X -. The interval ( w Q ( | n ) , w ( A | n )] splits into ( w Q ( | n ) , w ( R | n )] ∪ ( w R ( | n ) , w ( A | n )] , and so A | n +1 ∈ { R | n , A | n } . Also β ∞ ( A | n +1 ) ≤ β ∞ ( A | n ) , with equality only if A | n +1 = A | n .

We consider two cases. The first case is when for some integer M , for all n ≥ M we have A | n = A = { a , . . . , a 0 r } . In that case for all n ≥ M ,

$$\sum _ { t = 0 } ^ { r - 1 } w _ { a _ { t } } + \sum _ { t = a _ { r } + 1 } ^ { n } w _ { t } < q \leq \sum _ { t = 0 } ^ { r } w _ { a _ { t } },$$

and taking the limit n →∞ we obtain q ∈ ( w A ( -) , w ( A )] .

The other case is when A | n never stabilizes. The sequence β ∞ ( A | n ) is monotonically decreasing, and reaches a limit b satisfying b &lt; β ∞ ( A | n ) for all n . Since w A ( | m ) ∈ ( w Q ( | n ) , w ( A | n )] for all integers m ≥ n ≥ 1 , Lemma C.7 implies that b ∈ [ β ∞ ( Q | n ) , β ∞ ( A | n )) .

Let L be a subset such that b = β ∞ ( L ) and there are infinitely many i / L ∈ , and define L | n = L ∩ [ n ] . We have b ∈ [ β ∞ ( L | n ) , β ∞ ( L | n ) + 2 -n ) . Therefore Q | n = L | n , and so q &gt; w Q ( | n ) = w L ( | n ) . Taking the limit n →∞ , we deduce that q ≥ w L ( ) .

If n / L ∈ then A | n = Q | n ∪ { n } , and so q ≤ w A ( | n ) = w L ( | n ) + w n . Since there are infinitely many such n , taking the limit n →∞ we conclude that q ≤ w L ( ) and so q = w L ( ) .

We can now give an explicit formula for ϕ ( ∞ ) i .

Theorem C.1. Let q ∈ (0 , w ( ∞ )) and let i be a positive integer.

(a) There exists a non-empty subset of the positive integers P = { a , . . . , a 0 r } such that either q = w P ( ) or P is finite and q ∈ ( w P ( -) , w ( P )] , where P -= { a , . . . , a 0 r -1 } ∪ { a r +1 , . . . , ∞} .

- (b) The limit ϕ ( ∞ ) i ( q ) = lim n →∞ ϕ w | n i ( q ) exists. When i / P ∈ ,

$$\varphi _ { i } ^ { ( \infty ) } ( q ) = \sum _ { \substack { t \in \{ 0, \dots, r \} \colon \\ a _ { t } > i } } \, \frac { 1 } { a _ { t } \binom { a _ { t } - 1 } { t } },$$

and when i ∈ P , say i = a s , then

$$\varphi _ { i } ^ { ( \infty ) } ( q ) = \frac { 1 } { a _ { s } \binom { a _ { s } - 1 } { s } } - \sum _ { \substack { t \in \{ 0, \dots, r \} \colon \\ a _ { t } > i } } \, \frac { 1 } { a _ { t } \binom { a _ { t } - 1 } { t - 1 } }.$$

We comment that the convergence of the sums in the theorem is guaranteed by Lemma C.4.

Proof. The first part has been proved as Lemma C.8, and it remains to prove the second part.

Suppose first that P is finite P and either q = w P ( ) or q ∈ ( w P ( -) , w ( P )] . For all n ≥ max P , P | n ( q ) = P , and so Lemma C.5 shows that ϕ w | n i ( q ) = ϕ w | max P i ( q ) . Therefore the limit exists and equals the stated formula, which is the same as the one given by Theorem 6.1.

Suppose next that P is infinite and q = w P ( ) . Consider first the case in which we can also write q = w Q ( ) for some finite Q , say Q = { q 0 , . . . , q u } . Then P = { q 0 , . . . , q u -1 } ∪ { q u +1 , q u +2 , . . . , ∞} . We now consider several cases.

If i &lt; q u and i / P ∈ then i / Q ∈ and

$$\varphi _ { i } ^ { ( \infty ) } ( q ) = \sum _ { \substack { t \in \{ 0, \dots, u \} ; \\ q _ { t } > i } } \frac { 1 } { q _ { t } \binom { q _ { t } - 1 } { t } } = \sum _ { \substack { t \in \{ 0, \dots, u - 1 \} ; \\ q _ { t } > i } } \frac { 1 } { q _ { t } \binom { q _ { t } - 1 } { t } } + \sum _ { \ell = 1 } ^ { \infty } \frac { 1 } { ( q _ { u } + \ell ) \binom { q _ { u } + \ell - 1 } { t + \ell - 1 } },$$

using Lemma C.4. The right-hand side is the expression we gave for ϕ ( ∞ ) i ( w P ( )) .

If i &lt; q u and i ∈ P , say i = q s , then i ∈ Q and

$$\varphi _ { i } ^ { ( \infty ) } ( q ) = \frac { 1 } { i \binom { i - 1 } { s } } - \sum _ { \substack { t \in \{ 0, \dots, u \} ; \\ q _ { t } > i } } \frac { 1 } { q _ { t } \binom { q _ { t } - 1 } { t } } = \frac { 1 } { i \binom { i - 1 } { s } } - \sum _ { \substack { t \in \{ 0, \dots, u - 1 \} ; \\ q _ { t } > i } } \frac { 1 } { q _ { t } \binom { q _ { t } - 1 } { t } } - \sum _ { \ell = 1 } ^ { \infty } \frac { 1 } { ( q _ { u } + \ell ) \binom { q _ { u } + \ell - 1 } { t + \ell - 1 } } },$$

using Lemma C.4. The right-hand side is the expression we gave for ϕ ( ∞ ) i ( w P ( )) .

If i = q u then i ∈ Q and i / P ∈ . In that case

$$\varphi _ { i } ^ { ( \infty ) } ( q ) = \frac { 1 } { i \binom { i - 1 } { u } } = \sum _ { \ell = 1 } ^ { \infty } \frac { 1 } { ( i + \ell ) \binom { i + \ell - 1 } { u + \ell - 1 } },$$

using Lemma C.4. The right-hand side is the expression we gave for ϕ ( ∞ ) i ( w P ( )) .

Finally, if i &gt; q u then i / Q ∈ and i ∈ P . Suppose that i is the v th member in P . In that case

$$\varphi _ { i } ^ { ( \infty ) } ( q ) = 0 = \frac { 1 } { i \binom { i - 1 } { v } } - \sum _ { \ell = 1 } ^ { \infty } \frac { 1 } { ( i + \ell ) \binom { i + \ell - 1 } { v + \ell - 1 } },$$

using Lemma C.4. The right-hand side is the expression we gave for ϕ ( ∞ ) i ( w P ( )) .

It remains to consider the case in which q cannot be written as q = w Q ( ) for finite Q . In that case, there are infinitely many positive integers n such that n ∈ P and infinitely many such that n / P ∈ . This implies that for every positive integer n , q ∈ ( w P ( ∩ [ n ]) , w ( P ∩ [ n ]) + w n ) , and so P | -n ( q ) = P ∩ [ n ] . Lemma 6.4 shows that | ϕ n ( q ) -ϕ n ( w P ( ∩ [ n ])) | ≤ 1 n . On the other hand, Theorem 6.1 readily implies that ϕ n ( w P ( ∩ [ n ])) tends to the expression we gave for ϕ ( ∞ ) i ( w P ( )) . We conclude that ϕ n ( q ) tends to the same expression.

## C.8 Proof of Theorem C.2

First, we recall the statement of Theorem C.2.

Theorem C.2. Let i be a positive integer. The function ϕ ( ∞ ) i is continuous on (0 , w ( ∞ )) , and lim q → 0 ϕ ( ∞ ) i ( q ) = lim q → w ( ∞ ) ϕ ( ∞ ) i ( q ) = 0 .

Proof. Let q ∈ (0 , w ( ∞ )) . We start by showing that ϕ ( ∞ ) i is continuous from the right at q . Lemma C.8 shows that we can find a subset P such that either q = w P ( ) or q ∈ ( w P ( -) , w ( P )] . If q &lt; w P ( ) then since ϕ ( ∞ ) i is constant on ( w P ( -) , w ( P )] according to Theorem C.1, clearly ϕ ( ∞ ) i is continuous from the right at q . Therefore we can assume that q = w P ( ) . Since q &lt; w ( ∞ ) , we can further assume that there are infinitely many n / P ∈ .

Suppose that we have a sequence q j tending to q strictly from the right. For each j we can find a subset P j such that either q j = w P ( j ) or q j ∈ ( w P ( -j ) , w ( P j )] . We can assume that the second case doesn't happen by replacing q j with w P ( -j ) ; the new sequence still tends to q strictly from the right. So we can assume that q j = w P ( j ) &gt; w P ( ) . Let k j ( ) = min( P j \ P ) , and let l ( j ) &gt; k j ( ) be the smallest index larger than k j ( ) such that l ( j ) / P ∈ . Then

$$q _ { j } - q = w ( P _ { j } ) - w ( P ) \geq w _ { k ( j ) } - \left ( \sum _ { t = k ( j ) + 1 } ^ { \infty } w _ { t } - w _ { l ( j ) } \right ) \geq w _ { l ( j ) }.$$

As j → ∞ , l ( j ) → ∞ and so k j ( ) → ∞ . Therefore we can assume without loss of generality that k j ( ) &gt; i for all j . Theorem C.1 then implies that

$$| \varphi _ { i } ^ { ( \infty ) } ( q _ { j } ) - \varphi _ { i } ^ { ( \infty ) } ( q ) | \leq \sum _ { s = 0 } ^ { \infty } \frac { 1 } { ( k ( j ) + s ) \binom { k ( j ) + s - 1 } { s } } = \frac { 1 } { k ( j ) - 1 },$$

using Lemma C.4. Since k j ( ) →∞ , ϕ ( ∞ ) i ( q j ) → ϕ ( ∞ ) i ( q ) .

We proceed to show that ϕ ( ∞ ) i is continuous from the left at q . Lemma C.8 shows that we can find a subset P such that either q = w P ( ) or q ∈ ( w P ( -) , w ( P )] . In the second case, since ϕ ( ∞ ) i is constant on ( w P ( -) , w ( P )] according to Theorem C.1, clearly ϕ ( ∞ ) i is continuous from the left at q . Therefore we can assume that q = w P ( ) . Since q &gt; 0 , we can further assume that there are infinitely many n ∈ P .

Suppose that we have a sequence q j tending to q strictly from the left. For each j we can find a subset P j such that either q j = w P ( j ) or q j ∈ ( w P ( -j ) , w ( P j )] , and in both cases q j ≤ w P ( j ) &lt; w P ( ) . Let k j ( ) = min( P \ P j ) , and let l ( j ) &gt; k j ( ) be the smallest index larger than k j ( ) such that l ( j ) ∈ P . Then

$$q - q _ { j } \geq w ( P ) - w ( P _ { j } ) \geq w _ { k ( j ) } + w _ { l ( j ) } - \sum _ { t = k ( j ) + 1 } ^ { \infty } w _ { t } \geq w _ { l ( j ) }.$$

At this point we can prove that ϕ ( ∞ ) i ( q j ) → ϕ ( ∞ ) i ( q ) as in the preceding case.

It remains to show that lim q → 0 ϕ ( ∞ ) i ( q ) = lim q → w ( ∞ ) ϕ ( ∞ ) i ( q ) = 0 . We start by showing that lim q → 0 ϕ ( ∞ ) i ( q ) = 0 . Let q j be a sequence tending to 0 strictly from the right. As before, we can assume that q j = w P ( j ) for each j . Let k j ( ) = min P j . Since q j ≥ w k j ( ) , k j ( ) →∞ . Therefore we can assume without loss of generality that k j ( ) &gt; i for all j . Theorem C.1 then implies that

$$\varphi _ { i } ^ { ( \infty ) } ( q _ { j } ) \leq \sum _ { s = 0 } ^ { \infty } \frac { 1 } { ( k ( j ) + s ) \binom { k ( j ) + s - 1 } { s } } = \frac { 1 } { k ( j ) - 1 },$$

using Lemma C.4. Since k j ( ) →∞ , ϕ ( ∞ ) i ( q j ) → 0 .

We finish the proof by showing that lim q → w ( ∞ ) ϕ ( ∞ ) i ( q ) = 0 . Let q j be a sequence tending to M strictly from the left. As before, we can find subsets P j such that q j ≤ w P ( j ) and ϕ ( ∞ ) i ( q j ) = ϕ ( ∞ ) i ( w P ( j )) . Let k j ( ) be the minimal k / P ∈ j . Since q j ≤ w ( ∞ -) w k j ( ) , k j ( ) → ∞ . Therefore we can assume without loss of generality that k j ( ) &gt; i for all j . Theorem C.1 implies that

$$\varphi _ { i } ^ { ( \infty ) } ( q _ { j } ) \leq \frac { 1 } { i \binom { i - 1 } { i - 1 } } - \sum _ { \ell = 1 } ^ { k ( j ) - 1 - i } \frac { 1 } { ( i + \ell ) \binom { i + \ell - 1 } { i + \ell - 2 } } = \frac { 1 } { k ( j ) - 1 },$$

using Lemma C.4. Since k j ( ) →∞ , ϕ ( ∞ ) i ( q j ) → 0 .
Joel Oren Yuval Filmus Yair Zick Yoram Bachrach
Power Distribution in Randomized Weighted Voting: the Effects of the Quota
We study the Shapley value in weighted voting games. The Shapley value has
been used as an index for measuring the power of individual agents in
decision-making bodies and political organizations, where decisions are made by
a majority vote process. We characterize the impact of changing the quota
(i.e., the minimum number of seats in the parliament that are required to form
a coalition) on the Shapley values of the agents. Contrary to previous studies,
which assumed that the agent weights (corresponding to the size of a caucus or
a political party) are fixed, we analyze new domains in which the weights are
stochastically generated, modelling, for example, elections processes.
  We examine a natural weight generation process: the Balls and Bins model,
with uniform as well as exponentially decaying probabilities. We also analyze
weights that admit a super-increasing sequence, answering several open
questions pertaining to the Shapley values in such games.