RB
robert bristow-johnson
Thu, May 22, 2025 8:37 PM
On 05/22/2025 12:21 PM EDT Etjon Basha via Election-Methods election-methods@lists.electorama.com wrote:
Hi Steve,
I think the weak link is between the auditable voter action and what I see tallied as a result. As long as there is some way to connect the two, an electronic count is as foolproof as a hand count. If not, it's not.
voting on paper ballots which are then input into a machine for fast counting would do it, and I've seen it done.
It's what any state that uses optical-scan technology does. The actual ballot that the voter marked is the "paper backup". Unlike the stupid computer card ("butterfly ballots") in which the physical instrument can be misaligned in the jig that is in the voter booth (then it's possible that the hole that is punched out is not for the candidate that the voter intended) and the true intent of the voter is lost to the record, with optical-scan, the true intent of the voter can always be discerned by looking directly at the ballot that the voter marked.
There must be a way to link the entry with the ballot though, otherwise an after-the-fact audit is impossible.
Why is that?
It's not the individual ballots, but we can link a particular sealed and numbered ballot bag with a particular tally of the ballots (like with a particular voting machine that voters insert their ballots into). We can confirm that the pairwise totals from the machine tally match the pairwise totals in the recount. In the U.S. the right to vote by secret ballot is a big deal and we want no serial number, no identifying marks at all, on the voted ballot that can possibly be traced back to the checklist and identify the voter.
Hi Etjon,
Because of the high stakes, there's also an opposite incentive, to keep an initially foolproof election system foolproof.
Nearly anyone could verify the result of a disputed machine count in which a copy of the ballots verified by independent or multi-partisan observers is published online in a downloadable format. I'm assuming the tallying software is open source, available for free installation on smartphones, and has been audited by some public interest groups you trust. If you're really paranoid, you could shuffle the downloaded ballots and globally replace the candidate IDs with dummy IDs, to check whether this changes the result. People you trust could publish examples and their expected results, to test your software.
If you can't trust independent or multi-partisan observers to verify the accuracy of a copy of the ballots, I don't understand how could you have more trust in a hand-count.
Regarding simplicity of explanation... The voting system that I believe is best (Maximize Affirmed Majorities) on the criterion I think is most important (create a strong incentive for politicians to support majority-preferred policies) seems simple enough to explain with the aid of two simple examples: "Count all the head-to-head majorities. Then process the head-to-head majorities one at a time, from largest majority to smallest majority, placing each majority's more-preferred candidate ahead of their less-preferred candidate in the order of finish." (To my eye, Nanson isn't simpler.) The first example would have 3 candidates (perhaps named Left, Center and Right) and a Condorcet winner (Center). The second example would have 3 candidates (perhaps named Rock, Scissors and Paper) and a majority cycle.
Etjon, you didn't say why you think hand-counting is important. If your goal is to allow an election to be counted by a society that can't even afford a cheap smartphone, I don't think this cost is a show-stopping barrier, since smartphones are ubiquitous. So why settle for an inferior tallying algorithm?
> On 05/22/2025 12:21 PM EDT Etjon Basha via Election-Methods <election-methods@lists.electorama.com> wrote:
>
>
> Hi Steve,
>
> I think the weak link is between the auditable voter action and what I see tallied as a result. As long as there is some way to connect the two, an electronic count is as foolproof as a hand count. If not, it's not.
>
> voting on paper ballots which are then input into a machine for fast counting would do it, and I've seen it done.
It's what any state that uses optical-scan technology does. The actual ballot that the voter marked is the "paper backup". Unlike the stupid computer card ("butterfly ballots") in which the physical instrument can be misaligned in the jig that is in the voter booth (then it's possible that the hole that is punched out is not for the candidate that the voter intended) and the true intent of the voter is lost to the record, with optical-scan, the true intent of the voter can always be discerned by looking directly at the ballot that the voter marked.
> There must be a way to link the entry with the ballot though, otherwise an after-the-fact audit is impossible.
Why is that?
It's not the individual ballots, but we can link a particular sealed and numbered ballot bag with a particular tally of the ballots (like with a particular voting machine that voters insert their ballots into). We can confirm that the pairwise totals from the machine tally match the pairwise totals in the recount. In the U.S. the right to vote by secret ballot is a big deal and we want **no** serial number, no identifying marks at all, on the voted ballot that can possibly be traced back to the checklist and identify the voter.
>
>
> On Fri, 23 May 2025, 12:27 am Steve Eppley via Election-Methods, <election-methods@lists.electorama.com> wrote:
> > Hi Etjon,
> > Because of the high stakes, there's also an opposite incentive, to keep an initially foolproof election system foolproof.
> > Nearly anyone could verify the result of a disputed machine count in which a copy of the ballots verified by independent or multi-partisan observers is published online in a downloadable format. I'm assuming the tallying software is open source, available for free installation on smartphones, and has been audited by some public interest groups you trust. If you're really paranoid, you could shuffle the downloaded ballots and globally replace the candidate IDs with dummy IDs, to check whether this changes the result. People you trust could publish examples and their expected results, to test your software.
> >
> > If you can't trust independent or multi-partisan observers to verify the accuracy of a copy of the ballots, I don't understand how could you have more trust in a hand-count.
> >
> > Regarding simplicity of explanation... The voting system that I believe is best (Maximize Affirmed Majorities) on the criterion I think is most important (create a strong incentive for politicians to support majority-preferred policies) seems simple enough to explain with the aid of two simple examples: "Count all the head-to-head majorities. Then process the head-to-head majorities one at a time, from largest majority to smallest majority, placing each majority's more-preferred candidate ahead of their less-preferred candidate in the order of finish." (To my eye, Nanson isn't simpler.) The first example would have 3 candidates (perhaps named Left, Center and Right) and a Condorcet winner (Center). The second example would have 3 candidates (perhaps named Rock, Scissors and Paper) and a majority cycle.
> >
> > >
> > >
> > > On Thu, 22 May 2025, 10:07 pm Steve Eppley via Election-Methods, <election-methods@lists.electorama.com> wrote:
> > >
> > > > Etjon, you didn't say why you think hand-counting is important. If your goal is to allow an election to be counted by a society that can't even afford a cheap smartphone, I don't think this cost is a show-stopping barrier, since smartphones are ubiquitous. So why settle for an inferior tallying algorithm?
> > > >
--
r b-j . _ . _ . _ . _ rbj@audioimagination.com
"Imagination is more important than knowledge."
.
.
.
EB
Etjon Basha
Thu, May 22, 2025 10:13 PM
Hi Kristofer,
I don't think running as many counts as we have candidates would be
feasible in practice. Would probably still be better than running one pass
by pairwise matrix, but still.
Now, if we use approval as an initial ordering count, I think one might
already be able to say something about who the CW would be if there was
one.
If any candidates are approved by a majority, would the CW be one of them?
I reckon.
If none are approved my a majority, would the CW be in the top three?
If either of these hold, we might be able to get by with only a few passes,
and I think the first condition at least would hold.
Regards,
Etjon
On Fri, 23 May 2025, 2:37 am Kristofer Munsterhjelm, <
km-elmet@munsterhjelm.no> wrote:
On 2025-05-22 12:40, Etjon Basha via Election-Methods wrote:
Good evening gentlemen,
I've been pondering the above issue, and already consulted Gemini who
disagrees with me on the practicality of pairwise matrices, so couldn't
help a lot.
I suspect that compiling pairwise matrices in the context of a hand
counted election would be very time consuming, and quite prone to errors
and challenges from all parties.
Assuming we agree on this (which you might not) is there any practical
Condorcet method can can be hand counted?
I suspect Nanson is a reasonable candidate. Yes, it still requires
log(candidates,2) counting rounds, and each of those rounds require
sending a matrix of how many times each candidate was ranked in which
position to a central location, so quite the bother indeed.
How about this method? Use some base method (e.g. FPTP or even just a
random order) to order the candidates. Then repeatedly remove, from this
order, the pairwise loser of the two candidates ranked last on it. (I.e.
pit the two last ranked candidates against each other pairwise; pit the
winner of that contest against the third-last ranked candidate, etc.)
Last man standing wins.
This has one initial count (if you don't use a random order), and n
pairwise counts.
The benefits vs Nanson are that it doesn't require any Borda counting,
just whether X beats Y pairwise. In addition, just like Nanson, it's
summable if you're okay with calculating the Condorcet matrix ahead of
time. It passes Smith and is easy to do interactively (possibly using
approval or something equally simple to create the initial agenda order).
The disadvantages are that while the worst-case number of rounds is the
same, Nanson probably has fewer rounds with realistic elections. It's
also nonmonotone and probably worse in this respect than Nanson,
although I haven't verified this.
-km
Hi Kristofer,
I don't think running as many counts as we have candidates would be
feasible in practice. Would probably still be better than running one pass
by pairwise matrix, but still.
Now, if we use approval as an initial ordering count, I think one might
already be able to say something about who the CW would be if there was
one.
If any candidates are approved by a majority, would the CW be one of them?
I reckon.
If none are approved my a majority, would the CW be in the top three?
If either of these hold, we might be able to get by with only a few passes,
and I think the first condition at least would hold.
Regards,
Etjon
On Fri, 23 May 2025, 2:37 am Kristofer Munsterhjelm, <
km-elmet@munsterhjelm.no> wrote:
> On 2025-05-22 12:40, Etjon Basha via Election-Methods wrote:
> > Good evening gentlemen,
> >
> > I've been pondering the above issue, and already consulted Gemini who
> > disagrees with me on the practicality of pairwise matrices, so couldn't
> > help a lot.
> >
> > I suspect that compiling pairwise matrices in the context of a hand
> > counted election would be very time consuming, and quite prone to errors
> > and challenges from all parties.
> >
> > Assuming we agree on this (which you might not) is there any practical
> > Condorcet method can can be hand counted?
> >
> > I suspect Nanson is a reasonable candidate. Yes, it still requires
> > log(candidates,2) counting rounds, and each of those rounds require
> > sending a matrix of how many times each candidate was ranked in which
> > position to a central location, so quite the bother indeed.
>
> How about this method? Use some base method (e.g. FPTP or even just a
> random order) to order the candidates. Then repeatedly remove, from this
> order, the pairwise loser of the two candidates ranked last on it. (I.e.
> pit the two last ranked candidates against each other pairwise; pit the
> winner of that contest against the third-last ranked candidate, etc.)
> Last man standing wins.
>
> This has one initial count (if you don't use a random order), and n
> pairwise counts.
>
> The benefits vs Nanson are that it doesn't require any Borda counting,
> just whether X beats Y pairwise. In addition, just like Nanson, it's
> summable if you're okay with calculating the Condorcet matrix ahead of
> time. It passes Smith and is easy to do interactively (possibly using
> approval or something equally simple to create the initial agenda order).
>
> The disadvantages are that while the worst-case number of rounds is the
> same, Nanson probably has fewer rounds with realistic elections. It's
> also nonmonotone and probably worse in this respect than Nanson,
> although I haven't verified this.
>
> -km
>
EB
Etjon Basha
Thu, May 22, 2025 10:19 PM
Hi Daniel,
Though I'm sceptical of this, if we stick with the "vote on a machine but
get a printout to cast" paradigm, I reckon we would have the machine do the
count for us and could afford all sorts of complex rules.
We only need to be able to audit the input ballots against the physical
printouts, the actual count the system provides given the inputs can be
very easily verified by anyone with a spreadsheet given the inputs are open
sourced.
Regards,
Etjon
On Fri, 23 May 2025, 4:59 am Daniel Kirslis, dankirslis@gmail.com wrote:
Hi Etjon,
This is an interesting question. I agree that the hand-countability of
ballots, at least in the case of an audit, is an important practical
feature of an election.
I wonder if the ballot design itself could be modified to suit Condorcet
methods. So, you rank your candidates on the touch screen voting machine.
Then, the voting machine prints out your ballot, as is the case now.
However, rather than simply printing a piece of paper with your ranking, it
prints out each pairwise preference separately. So, if your ranking was A >
B > C > D, it would print out 6 ballots:
A>B
A>C
A>D
B>C
B>D
C>D
Ballots can then be sorted by type. That way, it is easy to tally the
ballots into the Condorcet matrix, and any entry into the matrix is easy to
double check. And, we can audit the count easily, as ballots should sum up
to the total number of voters, i.e., (A>C + C>A + A=C) should equal the
total number of voters, which should also equal (A>D + D>A + A=D), and so
on. And, as is the case now, you would also have a computer count to check
against.
On Thu, May 22, 2025 at 6:41 AM Etjon Basha via Election-Methods <
election-methods@lists.electorama.com> wrote:
Good evening gentlemen,
I've been pondering the above issue, and already consulted Gemini who
disagrees with me on the practicality of pairwise matrices, so couldn't
help a lot.
I suspect that compiling pairwise matrices in the context of a hand
counted election would be very time consuming, and quite prone to errors
and challenges from all parties.
Assuming we agree on this (which you might not) is there any practical
Condorcet method can can be hand counted?
I suspect Nanson is a reasonable candidate. Yes, it still requires
log(candidates,2) counting rounds, and each of those rounds require sending
a matrix of how many times each candidate was ranked in which position to a
central location, so quite the bother indeed.
Yet, I suspect this task can at least be completed within acceptable
timeframes with an acceptable error rate by most volunteers.
(Interestingly, Gemini considers Copeland easier to hand count than
Nanson, which I disagree with)
Are there any simpler methods I'm unaware off, despite any other
shortcomings such a method might have?
Best regards,
Etjon
Election-Methods mailing list - see https://electorama.com/em for list
info
Hi Daniel,
Though I'm sceptical of this, if we stick with the "vote on a machine but
get a printout to cast" paradigm, I reckon we would have the machine do the
count for us and could afford all sorts of complex rules.
We only need to be able to audit the input ballots against the physical
printouts, the actual count the system provides given the inputs can be
very easily verified by anyone with a spreadsheet given the inputs are open
sourced.
Regards,
Etjon
On Fri, 23 May 2025, 4:59 am Daniel Kirslis, <dankirslis@gmail.com> wrote:
> Hi Etjon,
>
> This is an interesting question. I agree that the hand-countability of
> ballots, at least in the case of an audit, is an important practical
> feature of an election.
>
> I wonder if the ballot design itself could be modified to suit Condorcet
> methods. So, you rank your candidates on the touch screen voting machine.
> Then, the voting machine prints out your ballot, as is the case now.
> However, rather than simply printing a piece of paper with your ranking, it
> prints out each pairwise preference separately. So, if your ranking was A >
> B > C > D, it would print out 6 ballots:
>
> A>B
> A>C
> A>D
> B>C
> B>D
> C>D
>
> Ballots can then be sorted by type. That way, it is easy to tally the
> ballots into the Condorcet matrix, and any entry into the matrix is easy to
> double check. And, we can audit the count easily, as ballots should sum up
> to the total number of voters, i.e., (A>C + C>A + A=C) should equal the
> total number of voters, which should also equal (A>D + D>A + A=D), and so
> on. And, as is the case now, you would also have a computer count to check
> against.
>
> On Thu, May 22, 2025 at 6:41 AM Etjon Basha via Election-Methods <
> election-methods@lists.electorama.com> wrote:
>
>> Good evening gentlemen,
>>
>> I've been pondering the above issue, and already consulted Gemini who
>> disagrees with me on the practicality of pairwise matrices, so couldn't
>> help a lot.
>>
>> I suspect that compiling pairwise matrices in the context of a hand
>> counted election would be very time consuming, and quite prone to errors
>> and challenges from all parties.
>>
>> Assuming we agree on this (which you might not) is there any practical
>> Condorcet method can can be hand counted?
>>
>> I suspect Nanson is a reasonable candidate. Yes, it still requires
>> log(candidates,2) counting rounds, and each of those rounds require sending
>> a matrix of how many times each candidate was ranked in which position to a
>> central location, so quite the bother indeed.
>>
>> Yet, I suspect this task can at least be completed within acceptable
>> timeframes with an acceptable error rate by most volunteers.
>>
>> (Interestingly, Gemini considers Copeland easier to hand count than
>> Nanson, which I disagree with)
>>
>> Are there any simpler methods I'm unaware off, despite any other
>> shortcomings such a method might have?
>>
>> Best regards,
>>
>> Etjon
>>
>> ----
>> Election-Methods mailing list - see https://electorama.com/em for list
>> info
>>
>
EB
Etjon Basha
Thu, May 22, 2025 10:25 PM
Hi Robert,
Yes, that setup seems foolproof to me, as long as the link exists between
the ballots and individual machine counted and the actual bag.
The comment re serial numbers was not meant to be applied to the optical
scan method, but to the method where you vote on a machine and get a
printout to cast as a backup. You'd get this once you're out of the booth,
and would only be able to verify in full view of the volunteers. The font
one ID in the back would be too small to take a picture of anyway in this
limited time, and once the ballot is cast would make linking to the actual
voter impossible (assume a properly random ID).
Optical scams are better though, less to go wrong with them.
Regards,
Etjon
On Fri, 23 May 2025, 6:38 am robert bristow-johnson via Election-Methods, <
election-methods@lists.electorama.com> wrote:
On 05/22/2025 12:21 PM EDT Etjon Basha via Election-Methods <
Hi Steve,
I think the weak link is between the auditable voter action and what I
see tallied as a result. As long as there is some way to connect the two,
an electronic count is as foolproof as a hand count. If not, it's not.
voting on paper ballots which are then input into a machine for fast
counting would do it, and I've seen it done.
It's what any state that uses optical-scan technology does. The actual
ballot that the voter marked is the "paper backup". Unlike the stupid
computer card ("butterfly ballots") in which the physical instrument can be
misaligned in the jig that is in the voter booth (then it's possible that
the hole that is punched out is not for the candidate that the voter
intended) and the true intent of the voter is lost to the record, with
optical-scan, the true intent of the voter can always be discerned by
looking directly at the ballot that the voter marked.
There must be a way to link the entry with the ballot though, otherwise
an after-the-fact audit is impossible.
Why is that?
It's not the individual ballots, but we can link a particular sealed and
numbered ballot bag with a particular tally of the ballots (like with a
particular voting machine that voters insert their ballots into). We can
confirm that the pairwise totals from the machine tally match the pairwise
totals in the recount. In the U.S. the right to vote by secret ballot is a
big deal and we want no serial number, no identifying marks at all, on
the voted ballot that can possibly be traced back to the checklist and
identify the voter.
On Fri, 23 May 2025, 12:27 am Steve Eppley via Election-Methods, <
Hi Etjon,
Because of the high stakes, there's also an opposite incentive, to
keep an initially foolproof election system foolproof.
Nearly anyone could verify the result of a disputed machine count in
which a copy of the ballots verified by independent or multi-partisan
observers is published online in a downloadable format. I'm assuming the
tallying software is open source, available for free installation on
smartphones, and has been audited by some public interest groups you trust.
If you're really paranoid, you could shuffle the downloaded ballots and
globally replace the candidate IDs with dummy IDs, to check whether this
changes the result. People you trust could publish examples and their
expected results, to test your software.
If you can't trust independent or multi-partisan observers to verify
the accuracy of a copy of the ballots, I don't understand how could you
have more trust in a hand-count.
Regarding simplicity of explanation... The voting system that I
believe is best (Maximize Affirmed Majorities) on the criterion I think is
most important (create a strong incentive for politicians to support
majority-preferred policies) seems simple enough to explain with the aid of
two simple examples: "Count all the head-to-head majorities. Then process
the head-to-head majorities one at a time, from largest majority to
smallest majority, placing each majority's more-preferred candidate ahead
of their less-preferred candidate in the order of finish." (To my eye,
Nanson isn't simpler.) The first example would have 3 candidates (perhaps
named Left, Center and Right) and a Condorcet winner (Center). The second
example would have 3 candidates (perhaps named Rock, Scissors and Paper)
and a majority cycle.
On Thu, 22 May 2025, 10:07 pm Steve Eppley via Election-Methods, <
Etjon, you didn't say why you think hand-counting is important. If
your goal is to allow an election to be counted by a society that can't
even afford a cheap smartphone, I don't think this cost is a show-stopping
barrier, since smartphones are ubiquitous. So why settle for an inferior
tallying algorithm?
Hi Robert,
Yes, that setup seems foolproof to me, as long as the link exists between
the ballots and individual machine counted and the actual bag.
The comment re serial numbers was not meant to be applied to the optical
scan method, but to the method where you vote on a machine and get a
printout to cast as a backup. You'd get this once you're out of the booth,
and would only be able to verify in full view of the volunteers. The font
one ID in the back would be too small to take a picture of anyway in this
limited time, and once the ballot is cast would make linking to the actual
voter impossible (assume a properly random ID).
Optical scams are better though, less to go wrong with them.
Regards,
Etjon
On Fri, 23 May 2025, 6:38 am robert bristow-johnson via Election-Methods, <
election-methods@lists.electorama.com> wrote:
>
>
> > On 05/22/2025 12:21 PM EDT Etjon Basha via Election-Methods <
> election-methods@lists.electorama.com> wrote:
> >
> >
> > Hi Steve,
> >
> > I think the weak link is between the auditable voter action and what I
> see tallied as a result. As long as there is some way to connect the two,
> an electronic count is as foolproof as a hand count. If not, it's not.
> >
> > voting on paper ballots which are then input into a machine for fast
> counting would do it, and I've seen it done.
>
> It's what any state that uses optical-scan technology does. The actual
> ballot that the voter marked is the "paper backup". Unlike the stupid
> computer card ("butterfly ballots") in which the physical instrument can be
> misaligned in the jig that is in the voter booth (then it's possible that
> the hole that is punched out is not for the candidate that the voter
> intended) and the true intent of the voter is lost to the record, with
> optical-scan, the true intent of the voter can always be discerned by
> looking directly at the ballot that the voter marked.
>
> > There must be a way to link the entry with the ballot though, otherwise
> an after-the-fact audit is impossible.
>
> Why is that?
>
> It's not the individual ballots, but we can link a particular sealed and
> numbered ballot bag with a particular tally of the ballots (like with a
> particular voting machine that voters insert their ballots into). We can
> confirm that the pairwise totals from the machine tally match the pairwise
> totals in the recount. In the U.S. the right to vote by secret ballot is a
> big deal and we want **no** serial number, no identifying marks at all, on
> the voted ballot that can possibly be traced back to the checklist and
> identify the voter.
>
> >
> >
> > On Fri, 23 May 2025, 12:27 am Steve Eppley via Election-Methods, <
> election-methods@lists.electorama.com> wrote:
> > > Hi Etjon,
> > > Because of the high stakes, there's also an opposite incentive, to
> keep an initially foolproof election system foolproof.
> > > Nearly anyone could verify the result of a disputed machine count in
> which a copy of the ballots verified by independent or multi-partisan
> observers is published online in a downloadable format. I'm assuming the
> tallying software is open source, available for free installation on
> smartphones, and has been audited by some public interest groups you trust.
> If you're really paranoid, you could shuffle the downloaded ballots and
> globally replace the candidate IDs with dummy IDs, to check whether this
> changes the result. People you trust could publish examples and their
> expected results, to test your software.
> > >
> > > If you can't trust independent or multi-partisan observers to verify
> the accuracy of a copy of the ballots, I don't understand how could you
> have more trust in a hand-count.
> > >
> > > Regarding simplicity of explanation... The voting system that I
> believe is best (Maximize Affirmed Majorities) on the criterion I think is
> most important (create a strong incentive for politicians to support
> majority-preferred policies) seems simple enough to explain with the aid of
> two simple examples: "Count all the head-to-head majorities. Then process
> the head-to-head majorities one at a time, from largest majority to
> smallest majority, placing each majority's more-preferred candidate ahead
> of their less-preferred candidate in the order of finish." (To my eye,
> Nanson isn't simpler.) The first example would have 3 candidates (perhaps
> named Left, Center and Right) and a Condorcet winner (Center). The second
> example would have 3 candidates (perhaps named Rock, Scissors and Paper)
> and a majority cycle.
> > >
> > > >
> > > >
> > > > On Thu, 22 May 2025, 10:07 pm Steve Eppley via Election-Methods, <
> election-methods@lists.electorama.com> wrote:
> > > >
> > > > > Etjon, you didn't say why you think hand-counting is important. If
> your goal is to allow an election to be counted by a society that can't
> even afford a cheap smartphone, I don't think this cost is a show-stopping
> barrier, since smartphones are ubiquitous. So why settle for an inferior
> tallying algorithm?
> > > > >
>
> --
>
> r b-j . _ . _ . _ . _ rbj@audioimagination.com
>
> "Imagination is more important than knowledge."
>
> .
> .
> .
> ----
> Election-Methods mailing list - see https://electorama.com/em for list
> info
>
EB
Etjon Basha
Thu, May 22, 2025 10:39 PM
Ah, no, the CW mustn't always have a majority of approvals given that at
least one candidate has such a majority.
Sad.
On Fri, 23 May 2025, 8:13 am Etjon Basha, etjonbasha@gmail.com wrote:
Hi Kristofer,
I don't think running as many counts as we have candidates would be
feasible in practice. Would probably still be better than running one pass
by pairwise matrix, but still.
Now, if we use approval as an initial ordering count, I think one might
already be able to say something about who the CW would be if there was
one.
If any candidates are approved by a majority, would the CW be one of them?
I reckon.
If none are approved my a majority, would the CW be in the top three?
If either of these hold, we might be able to get by with only a few
passes, and I think the first condition at least would hold.
Regards,
Etjon
On Fri, 23 May 2025, 2:37 am Kristofer Munsterhjelm, <
km-elmet@munsterhjelm.no> wrote:
On 2025-05-22 12:40, Etjon Basha via Election-Methods wrote:
Good evening gentlemen,
I've been pondering the above issue, and already consulted Gemini who
disagrees with me on the practicality of pairwise matrices, so couldn't
help a lot.
I suspect that compiling pairwise matrices in the context of a hand
counted election would be very time consuming, and quite prone to
and challenges from all parties.
Assuming we agree on this (which you might not) is there any practical
Condorcet method can can be hand counted?
I suspect Nanson is a reasonable candidate. Yes, it still requires
log(candidates,2) counting rounds, and each of those rounds require
sending a matrix of how many times each candidate was ranked in which
position to a central location, so quite the bother indeed.
How about this method? Use some base method (e.g. FPTP or even just a
random order) to order the candidates. Then repeatedly remove, from this
order, the pairwise loser of the two candidates ranked last on it. (I.e.
pit the two last ranked candidates against each other pairwise; pit the
winner of that contest against the third-last ranked candidate, etc.)
Last man standing wins.
This has one initial count (if you don't use a random order), and n
pairwise counts.
The benefits vs Nanson are that it doesn't require any Borda counting,
just whether X beats Y pairwise. In addition, just like Nanson, it's
summable if you're okay with calculating the Condorcet matrix ahead of
time. It passes Smith and is easy to do interactively (possibly using
approval or something equally simple to create the initial agenda order).
The disadvantages are that while the worst-case number of rounds is the
same, Nanson probably has fewer rounds with realistic elections. It's
also nonmonotone and probably worse in this respect than Nanson,
although I haven't verified this.
-km
Ah, no, the CW mustn't always have a majority of approvals given that at
least one candidate has such a majority.
Sad.
On Fri, 23 May 2025, 8:13 am Etjon Basha, <etjonbasha@gmail.com> wrote:
> Hi Kristofer,
>
> I don't think running as many counts as we have candidates would be
> feasible in practice. Would probably still be better than running one pass
> by pairwise matrix, but still.
>
> Now, if we use approval as an initial ordering count, I think one might
> already be able to say something about who the CW would be if there was
> one.
>
> If any candidates are approved by a majority, would the CW be one of them?
> I reckon.
>
> If none are approved my a majority, would the CW be in the top three?
>
> If either of these hold, we might be able to get by with only a few
> passes, and I think the first condition at least would hold.
>
> Regards,
>
> Etjon
>
> On Fri, 23 May 2025, 2:37 am Kristofer Munsterhjelm, <
> km-elmet@munsterhjelm.no> wrote:
>
>> On 2025-05-22 12:40, Etjon Basha via Election-Methods wrote:
>> > Good evening gentlemen,
>> >
>> > I've been pondering the above issue, and already consulted Gemini who
>> > disagrees with me on the practicality of pairwise matrices, so couldn't
>> > help a lot.
>> >
>> > I suspect that compiling pairwise matrices in the context of a hand
>> > counted election would be very time consuming, and quite prone to
>> errors
>> > and challenges from all parties.
>> >
>> > Assuming we agree on this (which you might not) is there any practical
>> > Condorcet method can can be hand counted?
>> >
>> > I suspect Nanson is a reasonable candidate. Yes, it still requires
>> > log(candidates,2) counting rounds, and each of those rounds require
>> > sending a matrix of how many times each candidate was ranked in which
>> > position to a central location, so quite the bother indeed.
>>
>> How about this method? Use some base method (e.g. FPTP or even just a
>> random order) to order the candidates. Then repeatedly remove, from this
>> order, the pairwise loser of the two candidates ranked last on it. (I.e.
>> pit the two last ranked candidates against each other pairwise; pit the
>> winner of that contest against the third-last ranked candidate, etc.)
>> Last man standing wins.
>>
>> This has one initial count (if you don't use a random order), and n
>> pairwise counts.
>>
>> The benefits vs Nanson are that it doesn't require any Borda counting,
>> just whether X beats Y pairwise. In addition, just like Nanson, it's
>> summable if you're okay with calculating the Condorcet matrix ahead of
>> time. It passes Smith and is easy to do interactively (possibly using
>> approval or something equally simple to create the initial agenda order).
>>
>> The disadvantages are that while the worst-case number of rounds is the
>> same, Nanson probably has fewer rounds with realistic elections. It's
>> also nonmonotone and probably worse in this respect than Nanson,
>> although I haven't verified this.
>>
>> -km
>>
>
RB
robert bristow-johnson
Thu, May 22, 2025 10:54 PM
One other thing that is somewhat apropos to the subject is that Condorcet methods are Precinct Summable. So a recount can be done in a distributed fashion. The ballot bags never need to be transported dozens or hundred kilometers to a central tallying location for the recount.
So if a recount, even a Condorcet recount (where there are N(N-1)/2 times the pile of ballots must be processed, but for IRV that number could be N-1, where N is the number of candidates), this laborious but simple work can be divided up among many separate groups of people, done in a single day, and the results are fully summable by anyone (the press, the competing campaigns, and the general public, as well as the officials that certify the outcome of the election).
It's distributed work. It's quick, even for a state-wide or nationwide recount. It's decentralized. It's summable. It's transparent in process. Very hard to be dishonestly fixed.
This is one of two big reasons why I am such a hard-core Condorcet advocate. The other is, of course, electing anyone other than the Condorcet winner is electing the wrong candidate and will violate Majority Rule and violating that causes our votes to not be counted equally.
--
r b-j . _ . _ . _ . _ rbj@audioimagination.com
"Imagination is more important than knowledge."
.
.
.
On 05/22/2025 6:25 PM EDT Etjon Basha etjonbasha@gmail.com wrote:
Hi Robert,
Yes, that setup seems foolproof to me, as long as the link exists between the ballots and individual machine counted and the actual bag.
The comment re serial numbers was not meant to be applied to the optical scan method, but to the method where you vote on a machine and get a printout to cast as a backup. You'd get this once you're out of the booth, and would only be able to verify in full view of the volunteers. The font one ID in the back would be too small to take a picture of anyway in this limited time, and once the ballot is cast would make linking to the actual voter impossible (assume a properly random ID).
Optical scams are better though, less to go wrong with them.
Regards,
Etjon
One other thing that is somewhat apropos to the subject is that Condorcet methods are *Precinct Summable*. So a recount can be done in a distributed fashion. The ballot bags never need to be transported dozens or hundred kilometers to a central tallying location for the recount.
So if a recount, even a Condorcet recount (where there are N(N-1)/2 times the pile of ballots must be processed, but for IRV that number could be N-1, where N is the number of candidates), this laborious but simple work can be divided up among many separate groups of people, done in a single day, and the results are fully summable by *anyone* (the press, the competing campaigns, and the general public, as well as the officials that certify the outcome of the election).
It's distributed work. It's quick, even for a state-wide or nationwide recount. It's decentralized. It's summable. It's transparent in process. Very hard to be dishonestly fixed.
This is one of two big reasons why I am such a hard-core Condorcet advocate. The other is, of course, electing anyone other than the Condorcet winner is electing the wrong candidate and will violate Majority Rule and violating that causes our votes to not be counted equally.
--
r b-j . _ . _ . _ . _ rbj@audioimagination.com
"Imagination is more important than knowledge."
.
.
.
> On 05/22/2025 6:25 PM EDT Etjon Basha <etjonbasha@gmail.com> wrote:
>
>
> Hi Robert,
>
> Yes, that setup seems foolproof to me, as long as the link exists between the ballots and individual machine counted and the actual bag.
>
> The comment re serial numbers was not meant to be applied to the optical scan method, but to the method where you vote on a machine and get a printout to cast as a backup. You'd get this once you're out of the booth, and would only be able to verify in full view of the volunteers. The font one ID in the back would be too small to take a picture of anyway in this limited time, and once the ballot is cast would make linking to the actual voter impossible (assume a properly random ID).
>
> Optical scams are better though, less to go wrong with them.
>
> Regards,
>
> Etjon
>
>
>
>
EB
Etjon Basha
Thu, May 22, 2025 11:16 PM
Hi Robert,
Alas, laborious but far from simple.
Do you reckon pairwise matrices would be easily computed by hand by
volunteers? Perhaps I'm overly pessimistic on this one issue.
Regards,
Etjon
On Fri, 23 May 2025, 8:55 am robert bristow-johnson via Election-Methods, <
election-methods@lists.electorama.com> wrote:
One other thing that is somewhat apropos to the subject is that Condorcet
methods are Precinct Summable. So a recount can be done in a distributed
fashion. The ballot bags never need to be transported dozens or hundred
kilometers to a central tallying location for the recount.
So if a recount, even a Condorcet recount (where there are N(N-1)/2 times
the pile of ballots must be processed, but for IRV that number could be
N-1, where N is the number of candidates), this laborious but simple work
can be divided up among many separate groups of people, done in a single
day, and the results are fully summable by anyone (the press, the
competing campaigns, and the general public, as well as the officials that
certify the outcome of the election).
It's distributed work. It's quick, even for a state-wide or nationwide
recount. It's decentralized. It's summable. It's transparent in
process. Very hard to be dishonestly fixed.
This is one of two big reasons why I am such a hard-core Condorcet
advocate. The other is, of course, electing anyone other than the
Condorcet winner is electing the wrong candidate and will violate Majority
Rule and violating that causes our votes to not be counted equally.
--
r b-j . _ . _ . _ . _ rbj@audioimagination.com
"Imagination is more important than knowledge."
.
.
.
On 05/22/2025 6:25 PM EDT Etjon Basha etjonbasha@gmail.com wrote:
Hi Robert,
Yes, that setup seems foolproof to me, as long as the link exists
between the ballots and individual machine counted and the actual bag.
The comment re serial numbers was not meant to be applied to the optical
scan method, but to the method where you vote on a machine and get a
printout to cast as a backup. You'd get this once you're out of the booth,
and would only be able to verify in full view of the volunteers. The font
one ID in the back would be too small to take a picture of anyway in this
limited time, and once the ballot is cast would make linking to the actual
voter impossible (assume a properly random ID).
Optical scams are better though, less to go wrong with them.
Regards,
Etjon
Hi Robert,
Alas, laborious but far from simple.
Do you reckon pairwise matrices would be easily computed by hand by
volunteers? Perhaps I'm overly pessimistic on this one issue.
Regards,
Etjon
On Fri, 23 May 2025, 8:55 am robert bristow-johnson via Election-Methods, <
election-methods@lists.electorama.com> wrote:
>
> One other thing that is somewhat apropos to the subject is that Condorcet
> methods are *Precinct Summable*. So a recount can be done in a distributed
> fashion. The ballot bags never need to be transported dozens or hundred
> kilometers to a central tallying location for the recount.
>
> So if a recount, even a Condorcet recount (where there are N(N-1)/2 times
> the pile of ballots must be processed, but for IRV that number could be
> N-1, where N is the number of candidates), this laborious but simple work
> can be divided up among many separate groups of people, done in a single
> day, and the results are fully summable by *anyone* (the press, the
> competing campaigns, and the general public, as well as the officials that
> certify the outcome of the election).
>
> It's distributed work. It's quick, even for a state-wide or nationwide
> recount. It's decentralized. It's summable. It's transparent in
> process. Very hard to be dishonestly fixed.
>
> This is one of two big reasons why I am such a hard-core Condorcet
> advocate. The other is, of course, electing anyone other than the
> Condorcet winner is electing the wrong candidate and will violate Majority
> Rule and violating that causes our votes to not be counted equally.
>
> --
>
> r b-j . _ . _ . _ . _ rbj@audioimagination.com
>
> "Imagination is more important than knowledge."
>
> .
> .
> .
>
> > On 05/22/2025 6:25 PM EDT Etjon Basha <etjonbasha@gmail.com> wrote:
> >
> >
> > Hi Robert,
> >
> > Yes, that setup seems foolproof to me, as long as the link exists
> between the ballots and individual machine counted and the actual bag.
> >
> > The comment re serial numbers was not meant to be applied to the optical
> scan method, but to the method where you vote on a machine and get a
> printout to cast as a backup. You'd get this once you're out of the booth,
> and would only be able to verify in full view of the volunteers. The font
> one ID in the back would be too small to take a picture of anyway in this
> limited time, and once the ballot is cast would make linking to the actual
> voter impossible (assume a properly random ID).
> >
> > Optical scams are better though, less to go wrong with them.
> >
> > Regards,
> >
> > Etjon
> >
> >
> >
> >
> ----
> Election-Methods mailing list - see https://electorama.com/em for list
> info
>
EB
Etjon Basha
Sat, May 24, 2025 5:22 AM
Thank you all, gentlemen
I greatly enjoyed the discussion and FWIW come out of it with a greater
appreciation of Condorcet.
A summary for my own benefit: it seems like a hand-count makes one chose
between two counts for races with n candidates.
The first, more complex count involves n (n-1) /2 passes through all
ballots to populate the pairwise matrix.
Though laborious, each pass is simple and does not require any coordination
with central, allowing any precinct to start their count as soon as polls
close, and complete as soon as they can. Once done, the best Condorcet
algorithms can be used.
The second, less laborious version involves a seeing count which ranks all
candidates, and then n-1 pairwise passes through all ballots to establish
which among the bottom two beats the other, then iterating against the
third from last, and so on. Using an approval seed allows the most approved
candidate to only have to win a single contest, giving decent chances of
emerging from a cycle.
Nanson, my original favourite, involves the least counts by far but
requires a lot more labour for each. Moreover, and I had missed this
earlier, once candidates start getting eliminated, each count becomes
harder and harder to compute, making errors more likely. Even a full
pairwise count might be easier that this.
Finally, IRV-BTR may involve fewer parwise passes than pseudo-C/A as per
above (the winner may gain a majority before all n-2 candidates are
eliminated), but it also requires additional secondary counts to transfer
the votes of the candidates eliminated, which would be quite a few ballots
at the top end.
And all of Nanson, pseudo-C/A and IRV-BTR require constant input to and
from central, making the count as fast as the slowest precinct allows.
In all, there seems to be no faster and more practical way than a pairwise
count to compute a Condorcet winner manually.
On Thu, 22 May 2025, 8:40 pm Etjon Basha, etjonbasha@gmail.com wrote:
Good evening gentlemen,
I've been pondering the above issue, and already consulted Gemini who
disagrees with me on the practicality of pairwise matrices, so couldn't
help a lot.
I suspect that compiling pairwise matrices in the context of a hand
counted election would be very time consuming, and quite prone to errors
and challenges from all parties.
Assuming we agree on this (which you might not) is there any practical
Condorcet method can can be hand counted?
I suspect Nanson is a reasonable candidate. Yes, it still requires
log(candidates,2) counting rounds, and each of those rounds require sending
a matrix of how many times each candidate was ranked in which position to a
central location, so quite the bother indeed.
Yet, I suspect this task can at least be completed within acceptable
timeframes with an acceptable error rate by most volunteers.
(Interestingly, Gemini considers Copeland easier to hand count than
Nanson, which I disagree with)
Are there any simpler methods I'm unaware off, despite any other
shortcomings such a method might have?
Best regards,
Etjon
Thank you all, gentlemen
I greatly enjoyed the discussion and FWIW come out of it with a greater
appreciation of Condorcet.
A summary for my own benefit: it seems like a hand-count makes one chose
between two counts for races with n candidates.
The first, more complex count involves n (n-1) /2 passes through all
ballots to populate the pairwise matrix.
Though laborious, each pass is simple and does not require any coordination
with central, allowing any precinct to start their count as soon as polls
close, and complete as soon as they can. Once done, the best Condorcet
algorithms can be used.
The second, less laborious version involves a seeing count which ranks all
candidates, and then n-1 pairwise passes through all ballots to establish
which among the bottom two beats the other, then iterating against the
third from last, and so on. Using an approval seed allows the most approved
candidate to only have to win a single contest, giving decent chances of
emerging from a cycle.
Nanson, my original favourite, involves the least counts by far but
requires a lot more labour for each. Moreover, and I had missed this
earlier, once candidates start getting eliminated, each count becomes
harder and harder to compute, making errors more likely. Even a full
pairwise count might be easier that this.
Finally, IRV-BTR may involve fewer parwise passes than pseudo-C/A as per
above (the winner may gain a majority before all n-2 candidates are
eliminated), but it also requires additional secondary counts to transfer
the votes of the candidates eliminated, which would be quite a few ballots
at the top end.
And all of Nanson, pseudo-C/A and IRV-BTR require constant input to and
from central, making the count as fast as the slowest precinct allows.
In all, there seems to be no faster and more practical way than a pairwise
count to compute a Condorcet winner manually.
On Thu, 22 May 2025, 8:40 pm Etjon Basha, <etjonbasha@gmail.com> wrote:
> Good evening gentlemen,
>
> I've been pondering the above issue, and already consulted Gemini who
> disagrees with me on the practicality of pairwise matrices, so couldn't
> help a lot.
>
> I suspect that compiling pairwise matrices in the context of a hand
> counted election would be very time consuming, and quite prone to errors
> and challenges from all parties.
>
> Assuming we agree on this (which you might not) is there any practical
> Condorcet method can can be hand counted?
>
> I suspect Nanson is a reasonable candidate. Yes, it still requires
> log(candidates,2) counting rounds, and each of those rounds require sending
> a matrix of how many times each candidate was ranked in which position to a
> central location, so quite the bother indeed.
>
> Yet, I suspect this task can at least be completed within acceptable
> timeframes with an acceptable error rate by most volunteers.
>
> (Interestingly, Gemini considers Copeland easier to hand count than
> Nanson, which I disagree with)
>
> Are there any simpler methods I'm unaware off, despite any other
> shortcomings such a method might have?
>
> Best regards,
>
> Etjon
>
>
KM
Kristofer Munsterhjelm
Sun, May 25, 2025 11:21 AM
On 2025-05-24 07:22, Etjon Basha via Election-Methods wrote:
Thank you all, gentlemen
I greatly enjoyed the discussion and FWIW come out of it with a greater
appreciation of Condorcet.
A summary for my own benefit: it seems like a hand-count makes one chose
between two counts for races with n candidates.
In all, there seems to be no faster and more practical way than a
pairwise count to compute a Condorcet winner manually.
The only way I see to break this barrier is to use randomness. You could
randomly sample ballots if the complexity is prohibitive. E.g. you could
count a random pairwise contest from each ballot. But then you need a
trusted way to generate randomness.
Theoretically, you could even do this on the front-end: ask each voter
his preference for a randomly chosen pairwise contest X>Y. This is a
very simple ballot and would leave the voter to only have to consider
two candidates.[1] However, it would be unfamiliar and probably wouldn't
be received well: even in the best case, you've replaced voters having
to trust a machine count with voters having to trust your source of
randomness, and if the race has a few very clear frontrunners, the
majority of the voters who don't get asked about any frontrunner contest
might feel cheated out of their opinion.
But deterministically for Condorcet, I think v voters times n candidates
is the best you can do (at least without seriously thinking outside the
box). Because suppose otherwise, that you only check (n-1) candidates.
Then it's possible that the candidate that you didn't check is the
actual CW. There may be heuristics - e.g. if someone has a majority of
the first preferences, that candidate is the CW - but they won't always
hold.
On a related note, I have been thinking about how to formally prove that
a given method has a minimum degree of summability, or that for, say,
thre candidates, it must know the value of (e.g.) five variables. Such
an approach could show that, yes, you need n pairwise counts for every
known method. (It could also disprove it, but that would be more
surprising.)
For concrete methods that are always decisive, this becomes a linear
algebra problem.[2] I haven't found a way to solve this problem,
however. There's an obvious upper bound using separating hyperplanes,
but to my knowledge it's just that - an upper bound.
The problem for methods that pass some criteria is even harder. For
instance, I suspect that determining the innermost mutual majority set -
the set of candidates that methods passing mutual majority must elect
from - is not summable. But there are lots of methods that do pass
mutual majority and are summable. I would be surprised if my intuitive
hunch for Condorcet were to be disproven, though.
-km
[1] A fun theoretical system for people who consider rational ignorance
a problem would be to assign every voter a defined pairwise contest a
sufficiently long time before the election. Then the voter would only
have to evaluate these two candidates, and could do so in more detail.
But in practice, I don't think it would be accepted, and would require
significant technology in its own right.
[2] Each election can be characterized by a "vote vector" which lists,
for each preference orde, how many voters voted that way. Then each
candidate has a win region which is a union of convex polytopes in
n!-dimensional space, and every point in A's win region has coordinates
equal to a voting vector where the method declares A a winner. Then you
have to find a minimal dimension projection so that no point in
different candidates' win regions overlap after projecting all the win
regions down to that dimension.
On 2025-05-24 07:22, Etjon Basha via Election-Methods wrote:
> Thank you all, gentlemen
>
> I greatly enjoyed the discussion and FWIW come out of it with a greater
> appreciation of Condorcet.
>
> A summary for my own benefit: it seems like a hand-count makes one chose
> between two counts for races with n candidates.
> In all, there seems to be no faster and more practical way than a
> pairwise count to compute a Condorcet winner manually.
The only way I see to break this barrier is to use randomness. You could
randomly sample ballots if the complexity is prohibitive. E.g. you could
count a random pairwise contest from each ballot. But then you need a
trusted way to generate randomness.
Theoretically, you could even do this on the front-end: ask each voter
his preference for a randomly chosen pairwise contest X>Y. This is a
very simple ballot and would leave the voter to only have to consider
two candidates.[1] However, it would be unfamiliar and probably wouldn't
be received well: even in the best case, you've replaced voters having
to trust a machine count with voters having to trust your source of
randomness, and if the race has a few very clear frontrunners, the
majority of the voters who don't get asked about any frontrunner contest
might feel cheated out of their opinion.
But deterministically for Condorcet, I think v voters times n candidates
is the best you can do (at least without seriously thinking outside the
box). Because suppose otherwise, that you only check (n-1) candidates.
Then it's possible that the candidate that you didn't check is the
actual CW. There may be heuristics - e.g. if someone has a majority of
the first preferences, that candidate is the CW - but they won't always
hold.
On a related note, I have been thinking about how to formally prove that
a given method has a minimum degree of summability, or that for, say,
thre candidates, it must know the value of (e.g.) five variables. Such
an approach could show that, yes, you need n pairwise counts for every
known method. (It could also disprove it, but that would be more
surprising.)
For concrete methods that are always decisive, this becomes a linear
algebra problem.[2] I haven't found a way to solve this problem,
however. There's an obvious upper bound using separating hyperplanes,
but to my knowledge it's just that - an upper bound.
The problem for methods that pass some criteria is even harder. For
instance, I suspect that determining the innermost mutual majority set -
the set of candidates that methods passing mutual majority must elect
from - is not summable. But there are lots of methods that do pass
mutual majority and *are* summable. I would be surprised if my intuitive
hunch for Condorcet were to be disproven, though.
-km
[1] A fun theoretical system for people who consider rational ignorance
a problem would be to assign every voter a defined pairwise contest a
sufficiently long time before the election. Then the voter would only
have to evaluate these two candidates, and could do so in more detail.
But in practice, I don't think it would be accepted, and would require
significant technology in its own right.
[2] Each election can be characterized by a "vote vector" which lists,
for each preference orde, how many voters voted that way. Then each
candidate has a win region which is a union of convex polytopes in
n!-dimensional space, and every point in A's win region has coordinates
equal to a voting vector where the method declares A a winner. Then you
have to find a minimal dimension projection so that no point in
different candidates' win regions overlap after projecting all the win
regions down to that dimension.
EB
Etjon Basha
Sun, May 25, 2025 12:10 PM
But Kristofer,
Isn't the cheeky system you ponder in your first footnote just...FPP?
I jest, I jest.
On Sun, 25 May 2025, 9:21 pm Kristofer Munsterhjelm, <
km-elmet@munsterhjelm.no> wrote:
On 2025-05-24 07:22, Etjon Basha via Election-Methods wrote:
Thank you all, gentlemen
I greatly enjoyed the discussion and FWIW come out of it with a greater
appreciation of Condorcet.
A summary for my own benefit: it seems like a hand-count makes one chose
between two counts for races with n candidates.
In all, there seems to be no faster and more practical way than a
pairwise count to compute a Condorcet winner manually.
The only way I see to break this barrier is to use randomness. You could
randomly sample ballots if the complexity is prohibitive. E.g. you could
count a random pairwise contest from each ballot. But then you need a
trusted way to generate randomness.
Theoretically, you could even do this on the front-end: ask each voter
his preference for a randomly chosen pairwise contest X>Y. This is a
very simple ballot and would leave the voter to only have to consider
two candidates.[1] However, it would be unfamiliar and probably wouldn't
be received well: even in the best case, you've replaced voters having
to trust a machine count with voters having to trust your source of
randomness, and if the race has a few very clear frontrunners, the
majority of the voters who don't get asked about any frontrunner contest
might feel cheated out of their opinion.
But deterministically for Condorcet, I think v voters times n candidates
is the best you can do (at least without seriously thinking outside the
box). Because suppose otherwise, that you only check (n-1) candidates.
Then it's possible that the candidate that you didn't check is the
actual CW. There may be heuristics - e.g. if someone has a majority of
the first preferences, that candidate is the CW - but they won't always
hold.
On a related note, I have been thinking about how to formally prove that
a given method has a minimum degree of summability, or that for, say,
thre candidates, it must know the value of (e.g.) five variables. Such
an approach could show that, yes, you need n pairwise counts for every
known method. (It could also disprove it, but that would be more
surprising.)
For concrete methods that are always decisive, this becomes a linear
algebra problem.[2] I haven't found a way to solve this problem,
however. There's an obvious upper bound using separating hyperplanes,
but to my knowledge it's just that - an upper bound.
The problem for methods that pass some criteria is even harder. For
instance, I suspect that determining the innermost mutual majority set -
the set of candidates that methods passing mutual majority must elect
from - is not summable. But there are lots of methods that do pass
mutual majority and are summable. I would be surprised if my intuitive
hunch for Condorcet were to be disproven, though.
-km
[1] A fun theoretical system for people who consider rational ignorance
a problem would be to assign every voter a defined pairwise contest a
sufficiently long time before the election. Then the voter would only
have to evaluate these two candidates, and could do so in more detail.
But in practice, I don't think it would be accepted, and would require
significant technology in its own right.
[2] Each election can be characterized by a "vote vector" which lists,
for each preference orde, how many voters voted that way. Then each
candidate has a win region which is a union of convex polytopes in
n!-dimensional space, and every point in A's win region has coordinates
equal to a voting vector where the method declares A a winner. Then you
have to find a minimal dimension projection so that no point in
different candidates' win regions overlap after projecting all the win
regions down to that dimension.
But Kristofer,
Isn't the cheeky system you ponder in your first footnote just...FPP?
I jest, I jest.
On Sun, 25 May 2025, 9:21 pm Kristofer Munsterhjelm, <
km-elmet@munsterhjelm.no> wrote:
> On 2025-05-24 07:22, Etjon Basha via Election-Methods wrote:
> > Thank you all, gentlemen
> >
> > I greatly enjoyed the discussion and FWIW come out of it with a greater
> > appreciation of Condorcet.
> >
> > A summary for my own benefit: it seems like a hand-count makes one chose
> > between two counts for races with n candidates.
> > In all, there seems to be no faster and more practical way than a
> > pairwise count to compute a Condorcet winner manually.
>
> The only way I see to break this barrier is to use randomness. You could
> randomly sample ballots if the complexity is prohibitive. E.g. you could
> count a random pairwise contest from each ballot. But then you need a
> trusted way to generate randomness.
>
> Theoretically, you could even do this on the front-end: ask each voter
> his preference for a randomly chosen pairwise contest X>Y. This is a
> very simple ballot and would leave the voter to only have to consider
> two candidates.[1] However, it would be unfamiliar and probably wouldn't
> be received well: even in the best case, you've replaced voters having
> to trust a machine count with voters having to trust your source of
> randomness, and if the race has a few very clear frontrunners, the
> majority of the voters who don't get asked about any frontrunner contest
> might feel cheated out of their opinion.
>
> But deterministically for Condorcet, I think v voters times n candidates
> is the best you can do (at least without seriously thinking outside the
> box). Because suppose otherwise, that you only check (n-1) candidates.
> Then it's possible that the candidate that you didn't check is the
> actual CW. There may be heuristics - e.g. if someone has a majority of
> the first preferences, that candidate is the CW - but they won't always
> hold.
>
>
> On a related note, I have been thinking about how to formally prove that
> a given method has a minimum degree of summability, or that for, say,
> thre candidates, it must know the value of (e.g.) five variables. Such
> an approach could show that, yes, you need n pairwise counts for every
> known method. (It could also disprove it, but that would be more
> surprising.)
>
> For concrete methods that are always decisive, this becomes a linear
> algebra problem.[2] I haven't found a way to solve this problem,
> however. There's an obvious upper bound using separating hyperplanes,
> but to my knowledge it's just that - an upper bound.
>
> The problem for methods that pass some criteria is even harder. For
> instance, I suspect that determining the innermost mutual majority set -
> the set of candidates that methods passing mutual majority must elect
> from - is not summable. But there are lots of methods that do pass
> mutual majority and *are* summable. I would be surprised if my intuitive
> hunch for Condorcet were to be disproven, though.
>
> -km
>
> [1] A fun theoretical system for people who consider rational ignorance
> a problem would be to assign every voter a defined pairwise contest a
> sufficiently long time before the election. Then the voter would only
> have to evaluate these two candidates, and could do so in more detail.
> But in practice, I don't think it would be accepted, and would require
> significant technology in its own right.
>
> [2] Each election can be characterized by a "vote vector" which lists,
> for each preference orde, how many voters voted that way. Then each
> candidate has a win region which is a union of convex polytopes in
> n!-dimensional space, and every point in A's win region has coordinates
> equal to a voting vector where the method declares A a winner. Then you
> have to find a minimal dimension projection so that no point in
> different candidates' win regions overlap after projecting all the win
> regions down to that dimension.
>