# User talk:KelvinVoskuijl

This is the discussion page (the "Talk:" page) for the user named "User:KelvinVoskuijl". Please use this page to have conversations with the editor who makes the changes found at Special:Contributions/KelvinVoskuijl, or visit Help:Talk to learn more about talk pages more generally.

## Criteria and Baldwin

How to assess voting system criteria for User:KelvinVoskuijl/Descending Baldwin Coalitions and does Baldwin pass condorcet with Dowdall? -- unsigned comment by KelvinVoskuijl - unknown timestamp (UTC)

There are two ways to determine if a voting method fails a criterion: mathematical proof and simulation. The former can also prove whether a voting method passes, but the latter can only make you more confident that it does: it can't serve as an absolute proof.
Mathematical proofs are quite difficult, though. I imagine that one for Descending (anything) coalitions would involve the set structure. Monotonicity, for instance, should be quite easy because raising someone will increase the Borda score of every coalition he is in, and therefore he can't be eliminated earlier.
So I'd say the simplest approach would be to write a simulation. Then check what criteria it can't find a failure for, and try to think of any formal proof for those. This might take a lot of time and/or studying.
As for Baldwin with Dowdall, I would imagine it fails Condorcet. A sketch: since the weights of Dowdall decrease so quickly, imagine starting with a scenario (e.g. Left, Center, Right) were the Condorcet winner is the Plurality loser. Then add a bunch of clones of the other candidates until the CW is also the Dowdall loser. Then that candidate would be eliminated in the first round of Dowdall-Baldwin. Kristomun (talk) 11:14, 17 April 2024 (UTC)

## Welcome!

Hi User:KelvinVoskuijl! I've been meaning to send this message for a while, and LOOK AT ME DOING IT NOW!  :-) Please read my form letter to all new users (User:RobLa/Welcome) if you plan to keep contributing (which I hope you do!). In particular, you may want to learn a bit more about "Talk pages", since they are often the most complicated to get right (see Help:Talk for more on that topic). Thanks in advance! -- RobLa (talk) 05:13, 26 April 2024 (UTC)