| paper | d4-conf-aaai-2010-0055 |
| authors | — |
| venue | ? |
| filed under | unclassified |
| judged by | gpt-6-luna / xhigh (triple__luna__xhigh__c6r1) |
| judge confidence | high |
| authors would recognise it | yes |
Proposition 18 has a natural distributional analogue over ballot types. But it and the paper’s other numbered results characterize aggregation and rationality; none asserts a computational result to mirror.
fails bit a — no named computational result to mirror
The population analogue covers Proposition 18’s majority preservation claim for 2-clauses. The paper’s other axiomatic characterizations are not computational anchors either.
I can’t make an anchor-based case for a computational continuous mirror: this paper contains no named result about computational complexity, such as a problem being in P or NP-hard. Its numbered results are axiomatic characterizations and collective-rationality claims.
The closest result is Proposition 18, proved in this paper: for an odd number of individuals, the majority rule is collectively rational for every integrity constraint expressible as a 2-clause. A natural population mirror would assign mass \(\mu_B\) to each rational ballot \(B\), then ask whether a mass-based majority aggregator preserves every 2-clause. But that remains an axiomatic question about aggregation, not a computational result the paper establishes.
So there is a plausible continuous-population analogue of the paper’s subject, but no eligible named computational anchor on which to base the requested case. The paper’s own results concern which procedures preserve rationality, rather than the complexity of computing or deciding something.
The only anchor the proponent raises is Proposition 18: majority preserves every 2-clause when the electorate is odd. Its natural continuous version is easy to state—represent rational ballots by their masses and use a mass-based majority rule, with a convention for ties. This is a sensible high-multiplicity model: voters are anonymous, and ballots form a finite type space.
That does not give ChoCo a computational mirror of this paper. Proposition 18 is an axiomatic preservation result, and the paper supplies no named computational problem, complexity result, or algorithmic objective to continuize. One could add a task such as checking whether a given mass profile’s outcome satisfies a formula, or finding a minimum mass transfer that breaks rationality. But those are new computational questions: the first adds an instance-level task to an abstract characterization; the second adds an objective and costs absent from the paper. They may be worth studying, but they do not mirror a computational result here.
So the negative case is strong on the programme’s stated scope: this paper offers no computational anchor. It is weak as a universal claim that no worthwhile continuous study could arise from the paper. The population model itself is natural, and an axiomatic continuous study could be worthwhile under a broader agenda.
The adversarial triple: the proponent anchors on up to three named results; the opponent sees that case and must defeat every anchor; the judge decides which case convinced it. These are the pipeline’s own outputs, generated by tools/triple_run.py — no human edited them. The paper’s own text is not reproduced here beyond the quoted statement above.