Efficient, traceable, and numerical error-free implementation of the MMS voting rule

Luis Sánchez-Fernández

DOI: https://doi.org/10.48550/arXiv.2309.15104

2023-10-14

Abstract:I propose an alternative algorithm to compute the MMS voting rule. Instead of using linear programming, in this new algorithm the maximin support value of a committee is computed using a sequence of maximum flow problems.

Computer Science and Game Theory

What problem does this paper attempt to address?

On the Complexity of Winner Determination and Strategic Control in Conditional Approval Voting

Evangelos Markakis,Georgios Papasotiropoulos

2023-11-29

Abstract:We focus on a generalization of the classic Minisum approval voting rule, introduced by Barrot and Lang (2016), and referred to as Conditional Minisum (CMS), for multi-issue elections with preferential dependencies. Under this rule, voters are allowed to declare dependencies between different issues, but the price we have to pay for this higher level of expressiveness is that we end up with a computationally hard rule. Motivated by this, we first focus on finding special cases that admit efficient algorithms for CMS. Our main result in this direction is that we identify the condition of bounded treewidth (of an appropriate graph, emerging from the provided ballots) as the necessary and sufficient condition for exact polynomial algorithms, under common complexity assumptions. We then move to the design of approximation algorithms. For the (still hard) case of binary issues, we identify natural restrictions on the voters' ballots, under which we provide the first multiplicative approximation algorithms for the problem. The restrictions involve upper bounds on the number of dependencies an issue can have on the others and on the number of alternatives per issue that a voter can approve. Finally, we also investigate the complexity of problems related to the strategic control of conditional approval elections by adding or deleting either voters or alternatives and we show that in most variants of these problems, CMS is computationally resistant against control. Overall, we conclude that CMS can be viewed as a solution that achieves a satisfactory tradeoff between expressiveness and computational efficiency, when we have a limited number of dependencies among issues, while at the same time exhibiting sufficient resistance to control.

Computer Science and Game Theory,Artificial Intelligence
Estimating the Margin of Victory of an Election using Sampling

Palash Dey,Y. Narahari

DOI: https://doi.org/10.48550/arXiv.1505.00566

2015-05-04

Abstract:The margin of victory of an election is a useful measure to capture the robustness of an election outcome. It also plays a crucial role in determining the sample size of various algorithms in post election audit, polling etc. In this work, we present efficient sampling based algorithms for estimating the margin of victory of elections. More formally, we introduce the \textsc{$(c, \epsilon, \delta)$--Margin of Victory} problem, where given an election $\mathcal{E}$ on $n$ voters, the goal is to estimate the margin of victory $M(\mathcal{E})$ of $\mathcal{E}$ within an additive factor of $c MoV(\mathcal{E})+\epsilon n$. We study the \textsc{$(c, \epsilon, \delta)$--Margin of Victory} problem for many commonly used voting rules including scoring rules, approval, Bucklin, maximin, and Copeland$^{\alpha}.$ We observe that even for the voting rules for which computing the margin of victory is NP-Hard, there may exist efficient sampling based algorithms, as observed in the cases of maximin and Copeland$^{\alpha}$ voting rules.

Artificial Intelligence,Multiagent Systems
Accelerating Voting by Quantum Computation

Ao Liu,Qishen Han,Lirong Xia,Nengkun Yu

2023-06-09

Abstract:Studying the computational complexity and designing fast algorithms for determining winners under voting rules are classical and fundamental questions in computational social choice. In this paper, we accelerate voting by leveraging quantum computation: we propose a quantum-accelerated voting algorithm that can be applied to any anonymous voting rule. We show that our algorithm can be quadratically faster than any classical algorithm (based on sampling with replacement) under a wide range of common voting rules, including positional scoring rules, Copeland, and single transferable voting (STV). Precisely, our quantum-accelerated voting algorithm outputs the correct winner with high probability in $\Theta\left(\frac{n}{\text{MOV}}\right)$ time, where $n$ is the number of votes and $\text{MOV}$ is {\em margin of victory}, the smallest number of voters to change the winner. In contrast, any classical voting algorithm based on sampling with replacement requires $\Omega\left(\frac{n^2}{\text{MOV}^2}\right)$ time under a large class of voting rules. Our theoretical results are supported by experiments under plurality, Borda, Copeland, and STV.

Computers and Society,Quantum Physics
Optimal algorithms for multiwinner elections and the Chamberlin–Courant Rule

Kamesh Munagala,Zeyu Shen,Kangning Wang

DOI: https://doi.org/10.1007/s00355-024-01555-w

2024-10-15

Social Choice and Welfare

Abstract:We consider the algorithmic question of choosing a subset of candidates of a given size k from a set of m candidates, with knowledge of voters' ordinal rankings over all candidates. We consider the well-known and classic scoring rule for achieving diverse representation: the Chamberlin–Courant (CC) or 1-Borda rule, where the score of a committee is the average over the voters, of the rank of the best candidate in the committee for that voter; and its generalization to the average of the top s best candidates, called the s -Borda rule. Our first result is an improved analysis of the natural and well-studied greedy heuristic. We show that greedy achieves a -approximation to the maximization (or satisfaction) version of CC rule, and a -approximation to the s -Borda score. This significantly improves the existing submodularity-based analysis of the greedy algorithm that only shows a -approximation. Our result also improves on the best known approximation algorithm for this problem. We achieve this result by showing that the average dissatisfaction score for the greedy algorithm is at most for the CC rule, and at most for s -Borda. We show these dissatisfaction score bounds are tight up to constants, and even the constant factor of 2 in the case of the CC rule is almost tight. For the dissatisfaction (or minimization) version of the problem, it is known that the average dissatisfaction score of the best committee cannot be approximated in polynomial time to within any constant factor when s is a constant (under standard computational complexity assumptions). As our next result, we strengthen this to show that the score of can be viewed as an optimal benchmark for the CC rule, in the sense that it is essentially the best achievable score of any polynomial-time algorithm even when the optimal score is a polynomial factor smaller. We show that another well-studied algorithm for this problem, called the Banzhaf rule, attains this benchmark. We finally show that for the s -Borda rule, when the optimal value is small, these algorithms can be improved by a factor of via LP rounding. Our upper and lower bounds are a significant improvement over previous results, and taken together, not only enable us to perform a finer comparison of greedy algorithms for these problems, but also provide analytic justification for using such algorithms in practice.

economics,social sciences, mathematical methods
FPT Algorithms using Minimal Parameters for a Generalized Version of Maximin Shares

Klaus Jansen,Alexandra Lassota,Malte Tutas,Adrian Vetta

2024-09-06

Abstract:We study the computational complexity of fairly allocating indivisible, mixed-manna items. For basic measures of fairness, this problem is hard in general. Thus, research has flourished concerning input classes where efficient algorithms exist, both for the purpose of establishing theoretical boundaries and for the purpose of designing practical algorithms for real-world instances. Notably, the paradigm of fixed-parameter tractability (FPT) has lead to new insights and improved algorithms for a variety of fair allocation problems; see, for example, Bleim et al. (IJCAI 16), Aziz et al. (AAAI 17), Bredereck et al. (EC 19) and Kulkarni et al. (EC 21). Our focus is the fairness measure maximin shares (MMS). Motivated by the general non-existence of MMS allocations, Aziz et al. (AAAI 17) studied optimal MMS allocations, namely solutions that achieve the best $\alpha$-approximation for the maximin share value of every agent. These allocations are guaranteed to exist, prompting the important open question of whether optimal MMS allocations can be computed efficiently. We answer this question affirmatively by providing FPT algorithms to output optimal MMS allocations. Furthermore, our techniques extend to find allocations that optimize alternative objectives, such as minimizing the additive approximation, and maximizing some variants of global welfare. In fact, all our algorithms are designed for a more general MMS problem in machine scheduling. Here, each mixed-manna item (job) must be assigned to an agent (machine) and has a processing time and a deadline. We develop efficient algorithms running in FPT time. Formally, we present polynomial time algorithms w.r.t. the input size times some function dependent on the parameters that yield optimal maximin-value approximations (among others) when parameterized by a set of natural parameters

Data Structures and Algorithms
Achieving Maximin Share and EFX/EF1 Guarantees Simultaneously

Hannaneh Akrami,Nidhi Rathi

2024-10-17

Abstract:We study the problem of computing \emph{fair} divisions of a set of indivisible goods among agents with \emph{additive} valuations. For the past many decades, the literature has explored various notions of fairness, that can be primarily seen as either having \emph{envy-based} or \emph{share-based} lens. For the discrete setting of resource-allocation problems, \emph{envy-free up to any good} (EFX) and \emph{maximin share} (MMS) are widely considered as the flag-bearers of fairness notions in the above two categories, thereby capturing different aspects of fairness herein. Due to lack of existence results of these notions and the fact that a good approximation of EFX or MMS does not imply particularly strong guarantees of the other, it becomes important to understand the compatibility of EFX and MMS allocations with one another. In this work, we identify a novel way to simultaneously achieve MMS guarantees with EFX/EF1 notions of fairness, while beating the best known approximation factors [Chaudhury et al., 2021, Amanatidis et al., 2020]. Our main contribution is to constructively prove the existence of (i) a partial allocation that is both $2/3$-MMS and EFX, and (ii) a complete allocation that is both $2/3$-MMS and EF1. Our algorithms run in pseudo-polynomial time if the approximation factor for MMS is relaxed to $2/3-\varepsilon$ for any constant $\varepsilon > 0$ and in polynomial time if, in addition, the EFX (or EF1) guarantee is relaxed to $(1-\delta)$-EFX (or $(1-\delta)$-EF1) for any constant $\delta>0$. In particular, we improve from the best approximation factor known prior to our work, which computes partial allocations that are $1/2$-MMS and EFX in pseudo-polynomial time [Chaudhury et al., 2021].

Computer Science and Game Theory
Beyond Proportional Individual Guarantees for Binary Perpetual Voting

Yotam Gafni,Ben Golan

2024-08-16

Abstract:Perpetual voting studies fair collective decision-making in settings where many decisions are to be made, and is a natural framework for settings such as parliaments and the running of blockchain Decentralized Autonomous Organizations (DAOs). We focus our attention on the binary case (YES/NO decisions) and \textit{individual} guarantees for each of the participating agents. We introduce a novel notion, inspired by the popular maxi-min-share (MMS) for fair allocation. The agent expects to get as many decisions as if they were to optimally partition the decisions among the agents, with an adversary deciding which of the agents decides on what bundle. We show an online algorithm that guarantees the MMS notion for $n=3$ agents, an offline algorithm for $n=4$ agents, and show that no online algorithm can guarantee the $MMS^{adapt}$ for $n\geq 7$ agents. We also show that the Maximum Nash Welfare (MNW) outcome can only guarantee $O(\frac{1}{n})$ of the MMS notion in the worst case.

Computer Science and Game Theory
Maximum Flow is Fair: A Network Flow Approach to Committee Voting

Mashbat Suzuki,Jeremy Vollen

2024-06-21

Abstract:In the committee voting setting, a subset of $k$ alternatives is selected based on the preferences of voters. In this paper, our goal is to efficiently compute ex-ante fair probability distributions (or lotteries) over committees. Since it is not known whether a lottery satisfying the desirable fairness property of fractional core is polynomial-time computable, we introduce a new axiom called group resource proportionality (GRP), which strengthens other fairness notions in the literature. We characterize our fairness axiom by a correspondence with max flows on a network formulation of committee voting. Using the connection to flow networks revealed by this characterization, we then introduce voting rules which achieve fairness in conjunction with other desirable properties. The redistributive utilitarian rule satisfies ex-ante efficiency in addition to our fairness axiom. We also give a voting rule which maximizes social welfare subject to fairness by reducing to a minimum-cost maximum-flow problem. Lastly, we show our fairness property can be obtained in tandem with strong ex-post fairness properties -- an approach known as best-of-both-worlds fairness. We strengthen existing best-or-both-worlds fairness results in committee voting and resolve an open question posed by Aziz et al. (2023). These findings follow from an auxiliary result which may prove useful in obtaining best-of-both-worlds type results in future research on committee voting.

Computer Science and Game Theory,Theoretical Economics
MMS Approximations Under Additive Leveled Valuations

Mahyar Afshinmehr,Mehrafarin Kazemi,Kurt Mehlhorn

2024-10-03

Abstract:We study the problem of fairly allocating indivisible goods to a set of agents with additive leveled valuations. A valuation function is called leveled if and only if bundles of larger size have larger value than bundles of smaller size. The economics literature has well studied such valuations. We use the maximin-share (MMS) and EFX as standard notions of fairness. We show that an algorithm introduced by Christodoulou et al. ([11]) constructs an allocation that is EFX and $\frac{\lfloor \frac{m}{n} \rfloor}{\lfloor \frac{m}{n} \rfloor + 1}\text{-MMS}$. In the paper, it was claimed that the allocation is EFX and $\frac{2}{3}\text{-MMS}$. However, the proof of the MMS-bound is incorrect. We give a counter-example to their proof and then prove a stronger approximation of MMS.

Computer Science and Game Theory
Sequential Payment Rules: Approximately Fair Budget Divisions via Simple Spending Dynamics

Haris Aziz,Patrick Lederer,Xinhang Lu,Mashbat Suzuki,Jeremy Vollen

2024-12-03

Abstract:In approval-based budget division, a budget needs to be distributed to some candidates based on the voters' approval ballots over these candidates. In the pursuit of simple, well-behaved, and approximately fair rules for this setting, we introduce the class of sequential payment rules, where each voter controls a part of the budget and repeatedly spends his share on his approved candidates to determine the final distribution. We show that all sequential payment rules satisfy a demanding population consistency notion and we identify two particularly appealing rules within this class called the maximum payment rule (MP) and the $\frac{1}{3}$-multiplicative sequential payment rule ($\frac{1}{3}$-MP). More specifically, we prove that (i) MP is, apart from one other rule, the only monotonic sequential payment rule and gives a $2$-approximation to a fairness notion called average fair share, and (ii) $\frac{1}{3}$-MP gives a $\frac{3}{2}$-approximation to average fair share, which is optimal among sequential payment rules.

Computer Science and Game Theory,Theoretical Economics
Favorite-Candidate Voting for Eliminating the Least Popular Candidate in Metric Spaces

Xujin Chen,Minming Li,Chenhao Wang

DOI: https://doi.org/10.48550/arXiv.1911.12109

2019-11-27

Abstract:We study single-candidate voting embedded in a metric space, where both voters and candidates are points in the space, and the distances between voters and candidates specify the voters' preferences over candidates. In the voting, each voter is asked to submit her favorite candidate. Given the collection of favorite candidates, a mechanism for eliminating the least popular candidate finds a committee containing all candidates but the one to be eliminated. Each committee is associated with a social value that is the sum of the costs (utilities) it imposes (provides) to the voters. We design mechanisms for finding a committee to optimize the social value. We measure the quality of a mechanism by its distortion, defined as the worst-case ratio between the social value of the committee found by the mechanism and the optimal one. We establish new upper and lower bounds on the distortion of mechanisms in this single-candidate voting, for both general metrics and well-motivated special cases.

Computer Science and Game Theory
Breaking the Metric Voting Distortion Barrier

Moses Charikar,Prasanna Ramakrishnan,Kangning Wang,Hongxun Wu

DOI: https://doi.org/10.1145/3689625

2024-11-06

Abstract:We consider the following well-studied problem of metric distortion in social choice. Suppose we have an election with $n$ voters and $m$ candidates located in a shared metric space. We would like to design a voting rule that chooses a candidate whose average distance to the voters is small. However, instead of having direct access to the distances in the metric space, the voting rule obtains, from each voter, a ranked list of the candidates in order of distance. Can we design a rule that regardless of the election instance and underlying metric space, chooses a candidate whose cost differs from the true optimum by only a small factor (known as the distortion)? A long line of work culminated in finding optimal deterministic voting rules with metric distortion $3$. However, for randomized voting rules, there is still a gap in our understanding: Even though the best lower bound is $2.112$, the best upper bound is still $3$, attained even by simple rules such as Random Dictatorship. Finding a randomized rule that guarantees distortion $3 - \epsilon$ has been a major challenge in computational social choice, as prevalent approaches to designing voting rules are known to be insufficient. Such a voting rule must use information beyond aggregate comparisons between pairs of candidates, and cannot only assign positive probability to candidates that are voters' top choices. In this work, we give a rule that guarantees distortion less than $2.753$. To do so we study a handful of voting rules that are new to the problem. One is Maximal Lotteries, a rule based on the Nash equilibrium of a natural zero-sum game which dates back to the 60's. The others are novel rules that can be thought of as hybrids of Random Dictatorship and the Copeland rule. Though none of these rules can beat distortion $3$ alone, a randomization between Maximal Lotteries and any of the novel rules can.

Computer Science and Game Theory,Artificial Intelligence,Discrete Mathematics,Data Structures and Algorithms
Sequential unanimity voting rules for binary social choice

Stergios Athanasoglou,Somouaoga Bonkoungou

2024-02-20

Abstract:We consider a group of voters that needs to decide between two candidates. We propose a novel family of neutral and strategy-proof rules, which we call sequential unanimity rules. By demonstrating their formal equivalence to the M-winning coalition rules of Moulin (1983), we show that sequential unanimity rules are characterized by neutrality and strategy-proofness. We establish our results by developing algorithms that transform a given M-winning coalition rule into an equivalent sequential unanimity rule and vice versa. The analysis can be extended to accommodate the full preference domain in which voters may be indifferent between candidates.

Theoretical Economics
Generalized Veto Core and a Practical Voting Rule with Optimal Metric Distortion

Fatih Erdem Kizilkaya,David Kempe

2023-05-31

Abstract:We revisit the recent breakthrough result of Gkatzelis et al. on (single-winner) metric voting, which showed that the optimal distortion of 3 can be achieved by a mechanism called Plurality Matching. The rule picks an arbitrary candidate for whom a certain candidate-specific bipartite graph contains a perfect matching, and thus, it is not neutral (i.e, symmetric with respect to candidates). Subsequently, a much simpler rule called Plurality Veto was shown to achieve distortion 3 as well. This rule only constructs such a matching implicitly but the winner depends on the order that voters are processed, and thus, it is not anonymous (i.e., symmetric with respect to voters). We provide an intuitive interpretation of this matching by generalizing the classical notion of the (proportional) veto core in social choice theory. This interpretation opens up a number of immediate consequences. Previous methods for electing a candidate from the veto core can be interpreted simply as matching algorithms. Different election methods realize different matchings, in turn leading to different sets of candidates as winners. For a broad generalization of the veto core, we show that the generalized veto core is equal to the set of candidates who can emerge as winners under a natural class of matching algorithms reminiscent of Serial Dictatorship. Extending these matching algorithms into continuous time, we obtain a highly practical voting rule with optimal distortion 3, which is also intuitive and easy to explain: Each candidate starts off with public support equal to his plurality score. From time 0 to 1, every voter continuously brings down, at rate 1, the support of her bottom choice among not-yet-eliminated candidates. A candidate is eliminated if he is opposed by a voter after his support reaches 0. On top of being anonymous and neutral, this rule satisfies many other axioms desirable in practice.

Computer Science and Game Theory
Fraction-like rates from preferential voting

Rosa Camps,Xavier Mora,Laia Saumell

DOI: https://doi.org/10.48550/arXiv.1001.3931

2010-01-22

Combinatorics

Abstract:A method is given for determining a mixed social choice out of a paired-comparison matrix. The method combines a projection procedure introduced in previous papers of the same authors and a classical method due to Zermelo. The resulting method is proved to have certain desirable properties, which include: compliance with a majority principle, clone consistency, and continuity of the mixing fractions with respect to the data.
<inline-formula><tex-math notation="LaTeX">$S^{3}$</tex-math></inline-formula>Voting: A Blockchain Sharding Based E-voting Approach with Security and Scalability

Meiqi Li,Kaiping Xue,Xinyi Luo,Wentuo Sun,David S.L. Wei,Qibin Sun,Jun Lu

DOI: https://doi.org/10.1109/TDSC.2024.3446392

2024-01-01

IEEE Transactions on Dependable and Secure Computing

Abstract:Electronic voting plays a crucial role in facilitating democratic and convenient decision-making in people's lives. However, implementing an electronic voting system poses challenges, such as meeting the stringent security requirements for anonymity, fairness, and verifiability. Another concern is the performance degradation when dealing with a large number of voters. In this paper, we propose <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"><tex-math notation="LaTeX">$S^{3}$</tex-math></inline-formula> Voting, a blockchain sharding-based e-voting scheme that addresses these challenges. By combining robust security and scalability, <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"><tex-math notation="LaTeX">$S^{3}$</tex-math></inline-formula> Voting provides reliable technical support for conducting large-scale elections. Utilizing advanced technologies such as <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">Homomorphic Time-Lock Puzzle (HTLP)</i> and <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">one-time ring signature</i> , the system safeguards voters' privacy and ballot confidentiality. The approach involves dividing voters and miners into smaller shards, and implementing shard managing mechanisms to ensure security and enhance system efficiency. Through thorough security analysis, we demonstrate that <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"><tex-math notation="LaTeX">$S^{3}$</tex-math></inline-formula> Voting not only meets the fundamental security requirements of e-voting but also offers verifiability and strong robustness-essential elements for successful large-scale elections. Moreover, experimental results indicate that <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"><tex-math notation="LaTeX">$S^{3}$</tex-math></inline-formula> Voting significantly reduces the computational burden on individual miners and minimizes system processing time compared to existing blockchain-based e-voting solutions.
Phragmén's sequential method with a variance criterion

Xavier Mora

DOI: https://doi.org/10.48550/arXiv.1611.06833

2016-11-18

Abstract:A variant of Phragmén's method for proportional representation via approval voting is briefly explored. Instead of D'Hondt's rule, this variant generalizes Sainte-Laguë's rule.

Optimization and Control,Computer Science and Game Theory
Nearly Optimal Committee Selection For Bias Minimization

Yang Cai,Eric Xue

2023-06-23

Abstract:We study the model of metric voting proposed by Feldman et al. [2020]. In this model, experts and candidates are located in a metric space, and each candidate possesses a quality that is independent of her location. An expert evaluates each candidate as the candidate's quality less a bias term--the distance between the candidate and the expert in the metric space. The expert then votes for her favorite candidate. The goal is to select a voting rule and a committee of experts to mitigate the bias. More specifically, given $m$ candidates, what is the minimum number of experts needed to ensure that the voting rule selects a candidate whose quality is at most $\varepsilon$ worse than the best one? Our first main result is a new way to select the committee using exponentially less experts compared to the method proposed in Feldman et al. [2020]. Our second main result is a novel construction that substantially improves the lower bound on the committee size. Indeed, our upper and lower bounds match in terms of $m$, the number of candidates, and $\varepsilon$, the desired accuracy, for general convex normed spaces, and differ by a multiplicative factor that only depends on the dimension of the underlying normed space but is independent of other parameters of the problem. We extend the nearly matching upper and lower bounds to the setting in which each expert returns a ranking of her top $k$ candidates and we wish to choose $\ell$ candidates with cumulative quality at most $\varepsilon$ worse than that of the best set of $\ell$ candidates, settling an open problem of Feldman et al. [2020]. Finally, we consider the setting where there are multiple rounds of voting. We show that by introducing another round of voting, the number of experts needed to guarantee the selection of an $\varepsilon$-optimal candidate becomes independent of the number of candidates.

Computer Science and Game Theory
An Efficient and Sybil Attack Resistant Voting Mechanism

Jeremias Lenzi

2024-07-02

Abstract:Voting mechanisms are widely accepted and used methods for decentralized decision-making. Ensuring the acceptance of the voting mechanism's outcome is a crucial characteristic of robust voting systems. Consider this scenario: A group of individuals wants to choose an option from a set of alternatives without requiring an identification or proof-of-personhood system. Moreover, they want to implement utilitarianism as their selection criteria. In such a case, players could submit votes multiple times using dummy accounts, commonly known as a Sybil attack (SA), which presents a challenge for decentralized organizations. Is there a voting mechanism that always prevents players from benefiting by casting votes multiple times (SA-proof) while also selecting the alternative that maximizes the added valuations of all players (efficient)? One-person-one-vote is neither SA-proof nor efficient. Coin voting is SA-proof but not efficient. Quadratic voting is efficient but not SA-proof. This study uses Bayesian mechanism design to propose a solution. The mechanism's structure is as follows: Players make wealth deposits to indicate the strength of their preference for each alternative. Each player then receives an amount based on their deposit and the voting outcome. The proposed mechanism relies on two main concepts: 1) Transfers are influenced by the outcome in a way that each player's optimal action depends only on individual preferences and the number of alternatives; 2) A player who votes through multiple accounts slightly reduces the expected utility of all players more than the individual benefit gained. This study demonstrates that if players are risk-neutral and each player has private information about their preferences and beliefs, then the mechanism is SA-proof and efficient. This research provides new insights into the design of more robust decentralized decision-making mechanisms.

Theoretical Economics,Computer Science and Game Theory
Proportional Representation under Single-Crossing Preferences Revisited

Andrei Constantinescu,Edith Elkind

DOI: https://doi.org/10.48550/arXiv.2010.08637

2020-10-17

Abstract:We study the complexity of determining a winning committee under the Chamberlin--Courant voting rule when voters' preferences are single-crossing on a line, or, more generally, on a median graph (this class of graphs includes, e.g., trees and grids). For the line, Skowron et al. (2015) describe an $O(n^2mk)$ algorithm (where $n$, $m$, $k$ are the number of voters, the number of candidates and the committee size, respectively); we show that a simple tweak improves the time complexity to $O(nmk)$. We then improve this bound for $k=\Omega(\log n)$ by reducing our problem to the $k$-link path problem for DAGs with concave Monge weights, obtaining a $nm2^{O\left(\sqrt{\log k\log\log n}\right)}$ algorithm for the general case and a nearly linear algorithm for the Borda misrepresentation function. For trees, we point out an issue with the algorithm proposed by Clearwater, Puppe and Slinko (2015), and develop a $O(nmk)$ algorithm for this case as well. For grids, we formulate a conjecture about the structure of optimal solutions, and describe a polynomial-time algorithm that finds a winning committee if this conjecture is true; we also explain how to convert this algorithm into a bicriterial approximation algorithm whose correctness does not depend on the conjecture.

Computer Science and Game Theory

Efficient, traceable, and numerical error-free implementation of the MMS voting rule

On the Complexity of Winner Determination and Strategic Control in Conditional Approval Voting

Estimating the Margin of Victory of an Election using Sampling

Accelerating Voting by Quantum Computation

Optimal algorithms for multiwinner elections and the Chamberlin–Courant Rule

FPT Algorithms using Minimal Parameters for a Generalized Version of Maximin Shares

Achieving Maximin Share and EFX/EF1 Guarantees Simultaneously

Beyond Proportional Individual Guarantees for Binary Perpetual Voting

Maximum Flow is Fair: A Network Flow Approach to Committee Voting

MMS Approximations Under Additive Leveled Valuations

Sequential Payment Rules: Approximately Fair Budget Divisions via Simple Spending Dynamics

Favorite-Candidate Voting for Eliminating the Least Popular Candidate in Metric Spaces

Breaking the Metric Voting Distortion Barrier

Sequential unanimity voting rules for binary social choice

Generalized Veto Core and a Practical Voting Rule with Optimal Metric Distortion

Fraction-like rates from preferential voting

<inline-formula><tex-math notation="LaTeX">$S^{3}$</tex-math></inline-formula>Voting: A Blockchain Sharding Based E-voting Approach with Security and Scalability

Phragmén's sequential method with a variance criterion

Nearly Optimal Committee Selection For Bias Minimization

An Efficient and Sybil Attack Resistant Voting Mechanism

Proportional Representation under Single-Crossing Preferences Revisited