Winning coalitions in plurality voting democracies

We consider plurality voting games being simple games in partition function form such that in every partition there is at least one winning coalition. Such a game is said to be weighted if it is possible to assign weights to the players in such a way that a winning coalition in a partition is always one for which the sum of the weights of its members is maximal over all coalitions in the partition. A plurality game is called decisive if in every partition there is exactly one winning coalition. We show that in general, plurality games need not be weighted, even not when they are decisive. After that, we prove that (i) decisive plurality games with at most four players, (ii) majority games with an arbitrary number of players, and (iii) decisive plurality games that exhibit some kind of symmetry, are weighted. Complete characterizations of the winning coalitions in the corresponding partitions are provided as well.


Introduction
In parliamentary voting, a plurality voting system is a system where each voter can vote for one party, and the seats in parliament are allocated to the parties dependent on (usually proportional to) the cast votes. If one party received the majority of We are grateful to Francis Bloch and Anirban Kar for fruitful discussions, as well as to four anonymous referees for their helpful comments and suggestions. the votes, then it can be considered the winner of the election. However, very often there is no majority party, and two or more parties need to cooperate and make an agreement to form a (majority) government. Although in such situations there is no party that can guarantee for itself to be in the government, and thus it is not immediately clear who is the winner of the election, usually immediately after the elections there is at least one party that claims to be the winner of the election. For instance, the party with the most votes/seats often declares itself as the winner of the election. But if other, smaller, parties form a majority coalition, then the party with the most votes might eventually be the 'loser'. For example, if after election a right wing party received the most votes, but the left wing parties can form a majority coalition, then it might be that the largest, or most moderate, left wing party can be considered to be the winner of the election.
Typically, in such situations, whether a coalition is winning or losing might depend on the way how players outside the coalition are organized into coalitions. Therefore, in this paper, we frame debates about winners of an election in the setup of simple cooperative games in partition function form. We address the question if it is possible to assign weights to political parties that somehow measure who is the winner of an election. If that is possible, we say that the corresponding simple game supports a plurality voting democracy.
We introduce plurality games as a special type of simple games in partition function form. A classical simple game assigns to every coalition (i.e., subset of the player set) either a worth of one (if the coalition is winning) or zero (if the coalition is losing). In such a game, whether a coalition is winning or losing does not depend on the way how the players/parties outside the coalition are organized. This assumption is reasonable when we define a coalition to be winning if it has a majority, since in that case any coalition of the opposing parties is a minority coalition. However, in this paper we want to address the issue of determining the winner or strongest party in a coalitional configuration of parties, even when there is no majority coalition formed (yet). During the process of government formation, different potential compositions of government parties might be considered, and the parties trying to form a government use coalition formation with parties outside the current government negotiations in strengthening their arguments or bargaining positions.
Usually, in these cases, the strength of parties also depends on the way other parties form alliances, i.e., there are externalities of coalition formation in the sense that parties forming a coalition has impact on the strength of parties outside the coalition. Such situations can be modeled by simple games in partition function form, where a worth is assigned to every so-called embedded coalition being a pair consisting of a coalition and a partition that contains this coalition. The worth is one (respectively zero) if the corresponding coalition is winning (respectively losing) in the partition. We call such a game a plurality game, if in every partition there is at least one coalition that wins in the partition. So, winning does not necessarily mean that the coalition has a majority and can pass a bill, but simply that it is considered as the strongest in a given coalitional configuration as represented by the partition. For example, it is common practice that the party that got the most votes in an election is considered as a winner and takes the initiative to form a government. Although this does not imply that eventually this party will be in the government, it obviously gives the party an advantage as long as no coalitions are formed yet. On the other hand, it might be that a party that is not the largest, but has ideologically close parties that are big enough to form a majority coalition with, will eventually form a government, and thus can also be considered a winner after the elections. In that case there can be two (or even more) parties that are declared to be winner of the election.
In this paper, we assume plurality games to be monotonic, both with respect to a coalition as well as to a certain type of externalities regarding other coalitions. Specifically, we assume that (i) a winning coalition cannot become losing when it grows, and (ii) there are negative externalities of other coalitions growing in the sense that bigger outside coalitions give 'more resistance' and thus outside coalitions becoming bigger cannot turn a losing coalition into a winning one. 1 Within this model of (monotonic) plurality games, we study the possibility of assigning weights to players (parties) such that a winning coalition in a partition is always one that has the maximal sum of its players' weights over all coalitions in the partition. If this is possible for a given game, then we call the game weighted and refer to the corresponding weights as supporting weights. In that case, we can say that the game supports a plurality voting democracy. In the following, we sometimes shortly speak about the weight of a coalition as being the sum of the weights of the players in the coalition. Notice that a game being weighted does not imply that, when two coalitions in a partition have maximal weight, then both are winning. It only requires that the winner should be one of the coalitions with maximal weight.
In this paper, an important role is played by decisive plurality games being plurality games, where each partition contains exactly one winning coalition. In Sect. 2, we illustrate the problem of assigning supporting weights to plurality games by providing an example of a five-player decisive plurality game which is not weighted. We start our investigation of finding plurality games that are weighted in Sect. 3, by showing that all games with at most four players are weighted. In Sect. 4, we show that a majority game (i.e., a plurality game such that the winner in every partition is a coalition of maximal size in the partition) with more than four players is weighted. We also define a notion of symmetry, and show that such symmetric majority games can only be supported by assigning equal weights to all players. Notice that, intuitively, not all players can be symmetric in a decisive plurality game, because for such a game exactly one singleton is winning in the partition that consists of all singletons. We refer to this special partition into singletons as the atomistic partition. It describes, for example, the situation directly after elections when no coalitions or alliances are formed yet.
The closest we can get to symmetry in a decisive plurality game is to require that all players but one (the winner in the atomistic partition) are symmetric. We call such games (n − 1)-symmetric and show in Sect. 5 that (n − 1)-symmetric decisive plurality games with an arbitrary number of players are weighted. For this, we define the power of the winner in the atomistic partition in a specific way, show how it shapes the structure of the possible candidates for a winning coalition in a partition, and explicitly use it in the construction of supporting weights.
Section 6 concludes the main part of the paper and provides an overview of the related literature. All proofs are collected in Appendix A (proofs from Sect. 3), Appendix B (proofs from Sect. 4), and Appendix C (proofs from Sect. 5).

Plurality games
All games we consider will be defined on a fixed and finite player set N = {1, … , n} with n ≥ 2 , whose non-empty subsets are called coalitions. A collection of coalitions is called a coalition structure if is a partition of N, i.e., if all coalitions in are non-empty, pair-wise disjoint, and their union is N. We denote by P the set of all partitions (coalition structures) of N. For ∈ P and i ∈ N , the notation (i) stands for the coalition in containing player i. The partition a ∈ P with a (i) = {i} for each i ∈ N , is called the atomistic partition. A pair (S; ) consisting of a non-empty coalition S ⊆ N and a partition ∈ P with S ∈ is called an embedded coalition. The set of all embedded coalitions is E = (S; ) ∈ 2 N ⧵ � × P | S ∈ .
For partition ∈ P and set of players S ⊂ N , we denote by Simple games in partition function form A simple game in partition function form is a pair (N, v) , where the partition function v ∶ E → {0, 1} is such that v(N;{N}) = 1 . An embedded coalition (S; ) ∈ E is winning in the game (N, v) if and only if v(S; ) = 1 . Otherwise, it is called losing. We sometimes say that coalition S is winning in partition when (S; ) is a winning embedded coalition. The set of all winning embedded coalitions in the game v is denoted by E W (v) . Notice that this game form allows to model externalities of coalition formation. For instance, it can be that a coalition contained in two partitions and ′ is winning in but losing in ′ . Since the player set N is fixed, we often write a simple game in partition function form (N, v) by its partition function v. We use the following notion of inclusion, borrowed from Alonso-Meijide et al. (2017): For S � ; � , (S; ) ∈ E , we say that S ′ ; ′ is weakly included in (S; ) , denoted by This monotonicity notion reflects (i) a nonnegative effect when a coalition grows, and (ii) an idea of negative externalities when players outside a coalition form larger coalitions. In particular, it implies that when a coalition is winning in a partition, then it is winning in every finer partition that contains this coalition. In other words, the idea expressed here is that in a finer partition there is 'less resistance' against the winning coalition. Clearly, a winning coalition can become losing in a coarser partition since other players forming coalitions might give a 'stronger resistance' against the winning coalition, or make the winning coalition more likely to 'break down'.
Plurality games and supporting weights We call a simple game in partition function form v a plurality game if (i) it is monotonic, and (ii) for each ∈ P we 1 3 Winning coalitions in plurality voting democracies have v(S; ) = 1 for at least one S ∈ . A plurality game v is decisive, if for each ∈ P we have that v(S; ) = 1 for exactly one S ∈ . A plurality game v is weighted, if there exists a weight vector w ∈ X N We call w a supporting weight vector for the plurality game. In words, a plurality game is weighted if there exist nonnegative weights for the players, such that if an embedded coalition is winning, then the sum of the weights of the players in the winning coalition is maximal among the coalitions in the corresponding partition.
The example given below illustrates that a decisive plurality game need not be weighted.
Moreover, from w 2 + w 3 ≥ w 1 + w 4 (by 14, 23, 5 ) and w 2 = w 4 , follows w 3 ≥ w 1 . We conclude then that all weights should be equal. However, w 1 ≥ w 2 + w 4 (by 24, 1, 35 ) then implies that w 1 = w 2 = w 4 = 0 , which results in all weights being equal to zero. Thus, we have a contradiction to w ∈ X N + . ◻ 1 3 In view of the above example, in what follows we first concentrate on decisive plurality games with at most four players (Sect. 3), and then consider additional restrictions on games with an arbitrary number of players guaranteeing that these games are weighted (Sects. 4 and 5).

Games with at most four players
We start our analysis by considering decisive plurality games with at most four players. A first reason to start by considering four player games, is that these are very illustrative, and hint to conditions for games with more than four players to be weighted.
A second reason to start with four player games is that, also for standard simple games (simple games without externalities), four player games received considerable attention. For instance, von Neumann and Morgenstern (1944) show that all simple games with less than four players, all proper or strong simple games with less than five players, and all constant sum games with less than six players have voting representations, i.e., they can be represented by weights assigned to the players. However, there are constant-sum games with six players for which representative weights do not exist. In their study of rough weightedness of small games, Gvozdeva and Slinko (2011) show that all games with at most four players, all strong or proper games with at most five players, and all constant-sum games with at most six players are roughly weighted. Finally, it is worth mentioning that Shapley (1962) also explicitly analyses games with four or less players when discussing several properties of weighted majority games. In particular, he studies homogeneous games where the weights can be assigned in such a way that all minimal winning coalitions have the same weight.
For decisive games with at most four players, it turns out that the winning coalition in a partition is either one of maximal size, or the one containing the winner in the atomistic partition. In our results, for convenience and without loss of generality, we will often assume that player 1 is the winner in the atomistic partition of a decisive plurality game.

Proposition 1 Let v be a decisive plurality game with at most four players and
The above conclusion is very helpful for the proof of our main result in this section.

Theorem 1 Every decisive plurality game with at most four players is weighted.
The proofs of Proposition 1 and Theorem 1 can be found in Appendix A.

3
Winning coalitions in plurality voting democracies

Majority games and symmetric players
Proposition 1 suggests that, if the winning coalition does not contain the winner in the atomistic partition, then it is only the size of a coalition that matters. For an arbitrary number of players, this fact invites us to consider the following type of majority games.
A plurality game v is a majority game if for all (S; ) ∈ E , every winning coalition is one of maximal size in the partition, i.e., (S; ) ∈ E W (v) implies |S| ≥ |T| for each T ∈ . It is easy to verify that w = 1 n , 1 n , … , 1 n is a supporting weight vector for every majority game.

Theorem 2 Every majority game is weighted.
Of special interest are majority games where the players exhibit some kind of symmetry. For simple games in partition function form, several symmetry notions can be defined. Two possibilities are the following. Given a plurality game v, we say that two players i, j ∈ N are 2 Notice that in the definitions above, we can switch the roles of players i and j. A plurality game v is switch-symmetric (respectively grow-symmetric) if all players 3 are switch-symmetric (respectively grow-symmetric) in v.
Each of these symmetry notions expresses an independence idea. Two players being switch-symmetric in a game requires that a winning coalition that contains one of them but not the other player, remains winning in the partition obtained by exchanging the places of these two players. On the other hand, grow-symmetry requires that for a winning and a losing coalition not containing both players, the winning coalition should remain winning if we add either one of these players to the winning, and the other to the losing coalition.
Our next result provides a characterization of switch-symmetric majority games and shows that, on the class of majority games, switch-symmetry implies grow-symmetry. 4

Proposition 2 A majority game is switch-symmetric if and only if all coalitions of maximal size in a partition are winning in it. Moreover, any switch-symmetric majority game is also grow-symmetric.
The proofs of this section can be found in Appendix B. It is worth mentioning that not every grow-symmetric majority game is also switch-symmetric, as illustrated by the following example.
Example 2 Consider the four-player decisive majority game v defined below.
Notice first that all players from N⧵{1} are grow-symmetric in v. To see this, take, for example, players 2 and 3, and a partition with two coalitions, say S and T, that (i) do not contain these two players ( 2, 3 ∉ S ∪ T ), and (ii) are such that one coalition, say S, is winning, and the other coalition T is losing in the partition. In fact, the only partition of this type is the atomistic partition with ({1}; a ) ∈ E W (v) . Since the coalition (1) containing player 1 is winning in any partition consisting of two two-player coalitions, irrespective of which player joins player 1, players 2 and 3 are grow-symmetric in v. A similar argument for player 4 shows that all players in N⧵{1} are grow-symmetric in v. To see that player 1 is also grow-symmetric with the other players in v, take player 1 and, for example, player 2. Notice that there is no partition with at least two coalitions that do not contain players 1 and 2, such that one of these two coalitions is winning. Therefore, players 1 and 2, and thus all players, are obviously grow-symmetric in v. However, from the fact that {1} is the unique winning coalition in the atomistic partition, it immediately follows that the game is not switch-symmetric. ◻ If we require a majority game to be switch-symmetric, then the equal weight vector used to prove Theorem 2, is the only one making the game weighted.

Proposition 3 If a weight vector supports a switch-symmetric majority game, then all weights are equal in this weight vector.
As one can see, this result is clearly driven by the fact that, in a switch-symmetric majority game, all largest coalitions in a partition are winning in it.

3
Winning coalitions in plurality voting democracies

(n − 1)-symmetric games
We have defined decisive plurality games as games where there is exactly one winning coalition in each partition. Since this implies that there is a unique winner in the atomistic partition, no decisive plurality game is switch-symmetric. The 'most symmetric' a game can be is if all other players are symmetric. Therefore, we call a decisive plurality game (n − 1)switch-symmetric if all players but one (the winner in the atomistic partition) are switch-symmetric in the game. We study the impact of this restriction on the game's support. Due to the decisiveness of v, the following result is immediate.

Proposition 4
Let v be a decisive plurality game with at least three players and v({1}; a ) = 1. If v is (n − 1) -switch-symmetric, then all players in N⧵{1} are switch-symmetric in v.
Recall from Proposition 2, that for the case of majority games, grow-symmetry is implied by switch-symmetry. We define a decisive plurality game v to be (n − 1) -grow-symmetric if all players but one (the winner in the atomistic partition) are grow-symmetric in v, and show that (n − 1)-switch-symmetry and (n − 1)-growsymmetry are independent properties.
Example 4 Consider the five-player decisive majority game v on N = {1, 2, 3, 4, 5} where, for every partition ∈ P containing exactly two coalitions S and T of maximal size, we have that 1 ∈ S ∪ T implies ( (1); ) ∈ E W (v) , while 1 ∉ S ∪ T implies ( (2); ) ∈ E W (v) . Assume additionally that ({1}; a ) ∈ E W (v) . Obviously, players 3, 4 and 5 are grow-symmetric in v. To show that players 2 and 3 are also growsymmetric in v, notice that the only partitions containing two coalitions that do not contain either of these two players, such that one of these coalitions is winning, are 1, 45, 2, 3 ; 4, 15, 23 ; 4, 15, 2, 3 ; 5, 14, 23 ; 5, 14, 2, 3 ; and the atomistic partition. By majority, the winning coalition in these partitions stays winning after either player 2 or player 3 joins, showing that players 2 and 3, and thus all players in N⧵{1} are grow-symmetric in v; thus, the game is (n − 1)-grow-symmetric. Notice, however, that the game is not (n − 1)-switch-symmetric since, considering players 2 and 4, we In what follows, we call a decisive plurality game v • (n − 1)-symmetric, if all players but the winner in the atomistic partition are both switch-and grow-symmetric in v.
(n − 1)-symmetric decisive plurality games turn out to be weighted (Theorem 3). We show this by proving important implications (stated in Propositions 4-6) on the winning embedded coalitions in such games. In these results, we also explicitly state the type of (n − 1)-symmetry (i.e., (n − 1)-symmetry, (n − 1)-switchsymmetry, or (n − 1)-grow-symmetry) which is used in the corresponding proofs. All proofs of this section are provided in Appendix C.
We start by showing that in (n − 1)-switch-symmetric games, a winning coalition in a partition either contains the winner in the atomistic partition, or has strictly more players than any other coalition in the partition.

Proposition 5 Let v be a decisive and (n − 1) -switch-symmetric plurality game with
This proposition gives as a corollary that in a partition having two or more coalitions of maximal size, the winning coalition should contain the winner in the atomistic partition.
Define P 1 = { ∈ P | {1} ∈ } as the collection of those partitions that contain singleton {1} . In what follows, we make use of the power p 1 (v) of player 1 in a decisive plurality game v with v({1}; a ) = 1 , and define it as that is, it is the size of a largest coalition that loses against {1} in some partition from P 1 . We denote by P * the set of all partitions in which there is only one largest coalition that does not contain player 1. For ∈ P * , S stands for the largest coalition in ⧵{ (1)}.
Our next result explains the crucial role of p 1 (v) in determining the winning coalitions in the partitions contained in P * .

Proposition 6
Let v be a decisive and (n − 1) -symmetric plurality game with at least five players and v({1}; a ) = 1, and let ∈ P * . Then, Corollary 1 and Proposition 6 allow for a complete characterization of the winning embedded coalitions in (n − 1)-symmetric games. For ∈ P , the coalition (1) is winning in when either ⧵{ (1)} contains at least two largest coalitions, or the unique largest coalition in ⧵{ (1)} is smaller than the threshold level p 1 (v) + | (1)| . Otherwise, it is the unique largest coalition which wins in the partition . Notice that, in the two cases where (1) is winning in , a coalition S ∈ with |S| > | (1)| may exist; so, it is not necessarily that a largest coalition wins in a partition.
The value p 1 (v) also plays an important role in the following main result on (n − 1)-symmetric plurality games, which gives explicit supporting weights for a decisive (n − 1)-symmetric plurality game.

Theorem 3
Let v be a decisive and (n − 1) -symmetric plurality game with v({1}; a ) = 1. Then v is weighted. In particular, the weight vector w defined by The following example sheds light on how the results in this section lead to a plurality game being weighted.
Let us finally remark that decisive plurality games are always weighted in case there are no externalities. We say that a plurality game v is externality-free if v(S; ) = v(S; � ) holds for all S ⊆ N and for all partitions , � ∈ P such that S ∈ ∩ � .

Proposition 7 Every externality-free, decisive plurality game is weighted.
This proposition makes clear that problems with decisive plurality games being not weighted arise from the existence of (negative) externalities.

Related literature
In our study about the possibility of assigning weights to players in simple partition function form games, we have presented classes of games which do allow for a weighted representation. Moreover, the support of the corresponding games was shown to crucially shape the set of possible winning coalitions in a partition and thus, to shed light on which coalitions are most powerful in the presence of (negative) externalities. This naturally places our work within the strands of literature devoted to the numerical representation of standard simple games as well as to the study of general partition function form games.
The first strand of literature is mainly concerned with the question whether it is (always) possible to represent a standard simple game as a weighted majority game, that is, to find non-negative weights and a positive real number (quota) such that a coalition is winning in the simple game if and only if the combined weights of its members weakly exceeds the quota. As shown by von Neumann and Morgenstern (1944), not all simple games do allow for such weighted majority representation. The question of finding properties that characterize weighted games within the class of simple games was then naturally posted by Isbell (1956Isbell ( , (1958, and answered by Elgot (1961) and Taylor and Zwicker (1992). More precisely, Taylor and Zwicker (1992) characterize weighted voting in terms of the ways in which coalitions can gain or lose by trading among themselves, while Hammet et al. (1981) and Einy and Lehrer (1989) answer the above question by using results about separating convex sets. Peleg (1968) and Sudhölter (1996) show for the case of (constant-sum) weighted majority games that, correspondingly, the nucleolus and the modified nucleolus induce a representation of the game.
If a standard simple game does not allow for a weighted representation, then one might consider rough weights (cf. Taylor and Zwicker 1999). A simple game is roughly weighted if there exist weights and a threshold such that every coalition with the sum of its players' weights being above (respectively below) the threshold is winning (respectively losing). Again, not all standard simple games turn out to be roughly weighted. Gvozdeva and Slinko (2011) give necessary and sufficient conditions for a simple game to have rough weights. Related to the issue of non-weightedness of games, Carreras and Freixas (1996) and Freixas and Molinero (2009) investigate complete simple games being simple games behaving in some respects as weighted simple games.
All the papers cited above deal with standard simple games, while the focus of our work is on the weighted representation of plurality games which we defined as special type of simple games in partition function form. To the best of our knowledge, we are the first to study and provide conditions assuring weighted representations of such games.
The second strand of related literature deals with general partition function form games as initiated by the seminal works of Thrall (1962) and Thrall and Lucas (1963), and recently surveyed by Koczy (2018). Besides the investigation of general properties of such games (e.g., Lucas and Marcelli 1978;Maskin 2003;Hafalir 2007), there are two main issues of simultaneous interest in the corresponding works: which coalitions will form (cf. Ray 2007), and how the coalitional worths will be allocated to their members. For instance, de Clippel and Serrano (2008) separate the intrinsic payoffs from those due to the externalities of coalition formation. However, the main focus in that literature has been on extending the Shapley value for games with externalities (e.g., Myerson 1977;Gilboa and Lehrer 1991;Albizuri et al. 2005;Macho-Stadler et al. 2007, de Clippel andSerrano (2008);McQuillin (2009);Dutta et al. (2010); Grabisch and Funaki (2012)) and on extending different power indices to the class of simple games with externalities (e.g., Bolger 1986;Alonso-Meijide et al. 2017;Alvarez Mozos et al. 2017).
Although the study of power indices for simple partition function form games was out of the scope of this paper, we nevertheless used a notion of power (for the winner in the atomistic partition) in order to derive our results with respect to (n − 1) -symmetric plurality games. In follow-up research, we intend to generalize this notion as to apply to each player, to investigate in detail its properties, and to axiomatically characterize it.
Funding Open Access funding enabled and organized by Projekt DEAL.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creat iveco mmons .org/licen ses/by/4.0/.

Appendix: Proofs from Sect. 3
Proof of Proposition 1 Notice first that for |N| ≤ 3 the assertion follows by {1} being winning in the atomistic partition and the monotonicity of v. Suppose now that |N| = 4 , i.e., N = {i, j, k, } , and let there exist (S; ) ∈ E with (S; ) ∈ E W (v) , 1 ∉ S , and |S| < |T| for some T ∈ . We show that this leads to a contradiction. Since there are only four players, we have |S| = 1 . Assume, w.l.o.g., that Finally, if |N| = 4 let us take N = {1, j, k, } . Since player 1 is winning in the atomistic partition, we have that if supporting weights w do exist, it must hold that w 1 ≥ w j , w k , w . We distinguish the following cases with respect to bipartitions containing coalitions of size 2.
Case 1 (Player 1 is in no winning coalition in a bipartition of this type  (v) . Take the weight vector w with w 1 = w j = w k = 1 3 > 0 = w . It can be checked that w is a suitable weight vector, also irrespective of the winning coalitions in the partitions {{j, }, {1}, {k}} and  Table 3.
(4.2) ({1};{{1}, {j, k, }}) ∈ E W (v) . Then, by monotonicity, in every partition the winning coalition is the one containing player 1. Take the weight vector w with w 1 = 1 > 0 = w j = w k = w . It can be checked that w is a suitable weight vector by just applying the monotonicity of the game, see Table 4. ◻

Proof of Proposition 2
We first show that if in a majority game v all coalitions of maximal size in a partition are winning in it, then the game is switch-symmetric. Suppose that, on the contrary, there were two players, i and j, who are not switch-symmetric in v. In such a case, there should be S ⊂ N with i ∈ S and j ∉ S such that (S; ) ∈ E W (v), but S⧵{i} ∪ {j} is not winning in the partition S⧵{i} ∪ {j}, (j)⧵{j} ∪ {i}, N⧵(S∪ (j)) . Since S and S⧵{i} ∪ {j} are of the same size, by v being a majority game, S is a largest coalition in , and thus S⧵{i} ∪ {j} is a largest coalition in S⧵{i} ∪ {j}, (j)⧵{j} ∪ {i}, N⧵(S∪ (j)) . By supposition, (S⧵{i}) ∪ {j} should be winning in that partition, which gives a contradiction.
Let us show next that if a majority game v is switch-symmetric, then all coalitions of maximal size in a partition are winning in it. Notice first that, by the definition of a majority game, a winning coalition in a partition should be of maximal size. We are left to show that all coalitions of maximal size are winning. For this, take (S; ) ∈ E W (v) and suppose that there is T ∈ ⧵{S} with |T| = |S| . Since the game is switch-symmetric, we can (repeatedly) replace all players from S⧵T by those from T⧵S and conclude that (T; ) ∈ E W (v) should hold.
Finally, to show that every switch-symmetric majority game is also growsymmetric, consider a switch-symmetric majority game v and let us show that the game is also grow-symmetric. Take i, j ∈ N , and let ∈ P with S, T ∈ be such that (S; ) ∈ E W (v) and i, j ∉ S ∪ T . Consider then the partition � = S ∪ {i}, T ∪ {j}, N⧵(S∪T∪{i,j}) . If S is the unique largest coalition in , then S ∪ {i} will be the unique largest coalition also in ′ . By the definition of a majority game, S ∪ {i}; � ∈ E W (v) . Suppose now that S and T are two largest coalitions in . In such a case, S ∪ {i} and T ∪ {j} will be two largest coalitions also in ′ . Since the majority game v is switch-symmetric, it follows from the above characterization of such games that all largest coalitions in ′ are winning in it, i.e., S ∪ {i}; � ∈ E W (v) . We conclude that the game v is grow-symmetric as well. ◻

Proof of Proposition 3
Suppose that a switch-symmetric majority game v is supported by a weight vector w. Consider the atomistic partition a and notice that, by Proposition 2, ({i}; a ) ∈ E W (v) holds for each i ∈ N . Since the game v is weighted, we have that the inequalities w k ≥ w and w ≥ w k hold for all k, ∈ N . We conclude then that all weights should be equal. ◻ Appendix: Proofs from Sect. 5

Proof of Proposition 4
Since {1} is the unique winning coalition in the atomistic partition, player 1 cannot be switch-symmetric in v with any other player due to the decisiveness of the game. By definition of (n − 1)-switch-symmetry of v, all players in N⧵{1} are switch-symmetric in v. ◻