Abstract:The classical Condorcet Jury Theorem considers a voting scenario in which there exists a candidate whose election would be ideal for each voter; each voter, though, has only a limited understanding of the world and is thus unable to determine exactly who this candidate is. The main question in this scenario is whether the voters, acting individually, can cast their ballots so that the unknown optimal candidate wins the election, and the welfare of the group of voters is maximized.In this setting, each candidate is represented by a known probability distribution over signals about the world that the voters can perceive, that is, over bits. One of these candidates is chosen (secretively, by an adversary) to be the ideal candidate. Afterwards, each voter samples this unknown candidate's distribution once and casts a ballot with the hope that the unknown ideal candidate wins the election.In this paper, we consider the famous Condorcet voting system, as well as some of its variants. First, we give a positive answer to an open question of Chierichetti and Kleinberg [8] , and show that, with Condorcet voting, there exists a uniform voting strategy that makes the group of voters succeed with probability 1−δ provided that Θ(εtv−2⋅ln⁡δ−1) voters take part in the election — here, εtv is the minimum total variation distance between the distributions of two candidates.We also give a uniform voting strategy for the Copeland voting system (a variant of Condorcet) that makes the group succeed with probability 1−δ with Θ(εH−2⋅ln⁡δ−1) voters, where εH is the minimum Hellinger distance between the distributions. Our uniform Copeland strategy, then, is an instance-optimal hypothesis testing algorithm: constants aside, the strategy is as efficient as the optimal omniscient algorithm which determines the unknown candidate after having directly observed each of the signals perceived by the voters. Then, we "derandomize" our uniform Copeland strategy, and obtain a Condorcet strategy that achieves instance-optimality at the cost of losing uniformity; finally, we prove that this loss of uniformity is necessary: no uniform Condorcet strategy can achieve instance-optimality, in general.Thus, the right voting strategies let these classical combinatorial voting systems attain the same efficiency of centralized, optimal, hypothesis testers.

VERICONDOR: End-to-End Verifiable Condorcet Voting with Support for Strict Preference and Indifference

Demos-2: Scalable E2e Verifiable Elections Without Random Oracles

Instance-Optimal Information-Based Voting

Towards Everlasting Privacy and Efficient Coercion Resistance in Remote Electronic Voting.

Distributed, End-to-end Verifiable, and Privacy-Preserving Internet Voting Systems

Statement Voting.

Risk-Limiting Audits for Condorcet Elections

An Efficient E2E Crowd Verifiable E-Voting System

End-to-end Verifiable Cumulative Voting Without Tallying Authorities

D-DEMOS: A Distributed, End-to-end Verifiable, Internet Voting System

Differentially Private Condorcet Voting

$Laoco\ddot{o}n$: Scalable and Portable Receipt-free E-voting Protocol Without Untappable Channels

$Laoco\ddot{o}n$: Scalable and Portable Receipt-free E-voting Protocol without Untappable Channels

Condorcet-Consistent Choice Among Three Candidates

Tradeoffs in Hierarchical Voting Systems

Brief Announcement: Statement Voting and Liquid Democracy.

Semi-Random Impossibilities of Condorcet Criterion

Six Candidates Suffice to Win a Voter Majority

Ceremonies for End-to-End Verifiable Elections.

Quantum Voting and Violation of Gibbard-Satterthwaite's Impossibility Theorem

BVOT: Self-Tallying Boardroom Voting with Oblivious Transfer