# Questions tagged [social-choice-theory]

For questions regarding the formal analysis of collective decision problems.

69 questions
Filter by
Sorted by
Tagged with
20 views

### Connectedness of logics and affine subsets

Let $(\mathbf{L}, \models)$ be a logic (where $\mathbf{L}$ is a set of propositions and $\models \: \subseteq \mathcal{P}(\mathbf{L} \times \mathbf{L}$ denotes entailment) satisfying monotonicity, ...
47 views

### Which voting algorithm to use to assign N number of people to G groups based on their ranked choice preference

I've been looking through social choice theory textbooks and videos trying to find the right sort of algorithm for this, but struggling. Basically I have N (say 21) people that I need to assign into G ...
• 31
1 vote
40 views

### How are hypergraphs related to voting games?

The Wikipedia page on hypergraphs says In cooperative game theory, hypergraphs are called simple games (voting games); this notion is applied to solve problems in social choice theory. I have not ...
• 113
1 vote
50 views

### Does Borda count satisfies the participation criterion?

The Borda count, or average rank method, is said to satisfies the participation criterion. This means that this ranking method is free from the "no show paradox". Do you know any proof of ...
• 143
104 views

### Improving description of vector systems and aggregation rules for social sciences

I am working on a simple individual based model that aggregates information. I am not a mathematician, but I would like to be as precise as possible with the terminology used to describe the system ...
• 83
104 views

### Gibbard–Satterthwaite Theorem clarification

recently I read about this theorem on math websites which talked about voting systems. since I'm interested in politics and math I'm interested to understand this theorem but it requires higher level ...
• 176
1 vote
63 views

### Does this proof of a voting related lemma work? if so, how?

I'm attempting to read this PDF on Arrow's impossibility theorem and ultrafilters. I find myself unconvinced that the proof of their Lemma 13 demonstrates what they say it does. I'm hoping someone ...
• 305
116 views

### Can we make a voting system where it is cryptographically hard to find a dictator

As Wikipedia says, Arrow's impossibility theorem states that no rank-order electoral system can be designed that always satisfies these three "fairness" criteria: If every voter prefers ...
• 305
1 vote
97 views

### Is there a known example of a voting system that does not satify the dictator fairness criterion but does satisfy the others?

As Wikipedia says, Arrow's impossibility theorem states that no rank-order electoral system can be designed that always satisfies these three "fairness" criteria: If every voter prefers ...
• 305
409 views

### Arrow's impossibility theorem simple proof and explanation

I am trying to prove the Arrow's Impossibility Theorem. I was searching on the internet but there is lots of different versions. I want to prove it for this statement: Arrow's Theorem: Consider a set ...
• 456
91 views

### Reference request for a generalization of the Johnston power index

Background: Recall that the Johnston power index is a variation of the more well-known Banzhaf power index. While the Banzhaf power allocates 1 point to each time a player is in a winning coalition, ...
• 1,549
66 views

### How do I interpret the social choice function noted by Felix Brandt?

How do I read this: Let $\mathscr{U}$ be a universe of alternatives Let $\mathcal{F}(\mathscr{U}):\forall\mathscr{A}\in\mathcal{F}(\mathscr{U}),\mathscr{A}\subseteq\mathscr{P}_{\geq1}(\mathscr{U})$ A ...
• 193
66 views

### Organise "all possible voting schemes"

I’m currently reading 1, 2, and 3. Wikipedia lists some of the better-known voting schemes (Borda count, approval voting, run-offs, …), a few of which have actually been tried in reality (e.g., the ...
• 4,287
1 vote
175 views

### Invariant for Gale–Shapley algorithm (Mating Ritual Algorithm)?

I found the following invariant for Mating Ritual algorithm (Lehman, Leighton and Meyer, Mathematics for Computer Science, §6.4) while going through MIT reading material: Definition. Let $P$ be the ...
• 165
1 vote
14 views

### Can the Borda count be used to select a distribution and not just a single choice?

Suppose I have n individuals and n unique, indivisible objects of potential value. I want to allocate those objects so as to make total welfare as great as possible, subject to the constraint that no ...
• 195
22 views

### Rational choices payment plans

I am trying to research what a rational choice constitutes; a financially sound decision based on critically examining a set of data and concluding that the expected value for a given choice is higher ...
237 views

### Finding the Dictator in Arrow's Impossibility Theorem

Arrow's Impossibility Theorem states that if we have at least three different social states and a finite number of individuals (voters), any social welfare function that satisfies the conditions of ...
• 41
215 views

### Difference between Arrow and Gibbard-Satterthawite theorem

I have a question related to two very important theorems from Social Choice Theory. What is the difference between Arrow Theorem and Gibbard-Saterthwaite theorem? I mean, the obvious one is that in G-...
• 367
67 views

• 797
370 views

### Choice rule and path independence

Let a choice function be defined as a function $C:2^X \setminus \{\emptyset\} \rightarrow 2^X$ such that $C(A) \subseteq A$ for all $A \subseteq X$. Here, $2^X$ denotes the power set of $X$. We say a ...
• 331
110 views

### Efficiency in Mechanism Design - Myerson-Satterthwaite

I was reading some online notes on the 4 conditions that cannot all hold given the Myerson-Satterthwaite theorem and this definition of efficiency confused me: An efficient mechanism selects the ...
• 337
1 vote
59 views

### Numerical voting algorithm

This question relates closely to other posts. See note at the bottom. Problem: Suppose that a committee with $n$ members needs to vote on whether to accept a proposition. Each member in the ...
• 483
680 views

### In Arrow's Impossibility Theorem, what's the difference between a rank vote and a cardinal vote?

Arrow's impossibility theorem states that in any rank-based voting system involving three or more candidates, at least one of the following criteria will by necessity be violated: If every individual ...
184 views

### Arrow's impossibility theorem and the independence of irrelevant alternatives

I have a question about the axiom of independence of irrelevant alternatives (IIA). According to the Wikipedia page on IIA, Arrow's formulation of IIA is as in here. I do not quite get this. In ...
• 5,246
67 views

### Are there corollaries (or generalised versions) of Arrow's theorem covering obvious fixes?

For a given set of alternatives $X=\{x_1,\dots,x_n \}$, let each individual have a total and transitive preference order among the alternatives $X$. The goal would be to have a system or rule to ...
• 7,106
601 views

### Checking choice correspondence satisfy Weak Axiom of Revealed Preferences

I have a question whether the below choice correspondence satisfies WARP or not. I know how to check a choice satisfies WARP when set X is in he form of X={x,y,z} however i cannot figure out when it ...
• 13
195 views

157 views

### Arrow's Impossibility Theorem Using Boolean Algebra

I am currently working on a research project which involves using Boolean matrices for the proof of Arrow's Impossibility Theorem and various other lemmas and results related to quasi ordered sets. In ...
• 21
1 vote
226 views

### Game Theory - Voting

In this setup there are 4 candidates running. For a candidate to be eliminated, the candidate needs to receive less than 1/3 of the votes when paired up with another candidate. This process ...
• 288
90 views

### Are the following two definitions of Borda winner equivalent?

The Borda count is a method used to determine the winner object where people rank objects. For instance, imagine each person ranking 3 objects. The highest ranked object gets 2 points, the second gets ...
• 1,487