| paper | d4-journals-geb-2010-0062 |
| authors | — |
| venue | ? |
| filed under | unclassified |
| judged by | gpt-6-luna / xhigh (triple__luna__xhigh__c6r1) |
| judge confidence | high |
| authors would recognise it | unclear |
No named result meets the computational-result requirement: Proposition 1 characterizes strategic equilibria, while Propositions 5–6 concern welfare and a risk-aversion threshold. A mass-based welfare comparison can be stated, but under the paper’s independent uniform second-period shocks each eligible population has exactly half its mass on either side, so both rules tie and the finite pivotal incentives disappear. The failure is the absence of a computational anchor.
fails bit a — no named computational result to mirror
There is no computational result to mirror; the welfare comparisons in Propositions 5–6 admit a mass-based analogue, while Proposition 1’s finite-agent strategic equilibrium characterization does not carry over.
I can’t make a qualifying positive case under the stated anchor rule: this paper contains no named computational result. Its numbered propositions concern equilibrium and welfare, but none classifies a computational problem as tractable or hard, or gives a computational formulation that the paper uses to solve one.
The closest results are Proposition 1, proved here, which characterizes first-period equilibria under minority voting: there are no abstainers; if at least \((N+1)/2\) people lose from the project, exactly \((N+1)/2\) project losers vote for the status quo and the status quo wins; otherwise exactly \((N+1)/2\) project winners vote for the project and it passes. Proposition 5, also proved here, says that when first-period benefits are equally likely to be in \(\{-1,-\gamma,\gamma,1\}\), the first project is durable, and utility is CARA, there is a risk-aversion threshold \(R^*\) above which minority voting has higher ex ante welfare than repeated simple majority voting. Proposition 6 characterizes that threshold through an equation. These are equilibrium and welfare results, not computational anchors.
There is a plausible high-multiplicity setting for a *model-level* mirror: a large municipality deciding on successive infrastructure projects, with residents grouped by their shared first-project impact, risk preferences, and other relevant characteristics. In the paper’s symmetric case this gives at most four types, so \(N\) could be very large while \(\tau\le4\). Mass would mean each type’s share of residents.
The nearest continuous question would be: given rational type masses \(\mu\) over \(\{-1,-\gamma,\gamma,1\}\), the durability parameter \(\epsilon\), and CARA parameter \(r\), compare expected aggregate welfare under minority voting and simple majority voting; determine the sign of \(\Delta(\mu,r)=W^{MV}(\mu,r)-W^{SM}(\mu,r)\), or find a threshold \(r\) at which that sign changes. Under a direct atomless version of the paper’s assumptions, though, every eligible group has exactly half its mass favoring the second-period project: its second-period preferences are independent and uniform on \([-1,1]\). Both rules therefore produce a tie, resolved by the same fair tie-break. The continuous model gives \(\Delta(\mu,r)=0\), so it does not preserve Proposition 5’s welfare advantage.
That collapse is the central weakness, not just a technical inconvenience. In the finite committee, an individual’s vote affects both the majority and whether that individual retains a second-period vote. With an atomless population, a single vote has zero mass, so the pivotality that supports the paper’s equilibrium characterization disappears. One could impose the paper’s “Maximal Magnanimity” partition on masses, but that would select a franchise by rule rather than derive it as a strategic equilibrium.
So the honest positive case is narrow: the paper has a convincing high-multiplicity application, and its welfare question has a natural mass-based formulation. But the continuous version erases the mechanism behind the named welfare result, and the paper supplies no named computational result to anchor a ChoCo complexity question.
The strongest negative case is that this paper has no named computational result to mirror. Proposition 1 characterizes equilibria; Propositions 5 and 6 compare expected welfare and characterize a risk-aversion threshold. None poses a computational problem or establishes an algorithmic result. Turning them into “compute the equilibrium” or “compare welfare for given masses” would add a task the paper does not study.
A large municipality is a plausible high-multiplicity setting, so lack of a scenario is not the objection. The trouble is that the paper’s mechanism relies on finite voters being pivotal. In its exact assumptions, second-period preferences are independent and uniform on \([-1,1]\). In an atomless population, each eligible group has exactly half its mass on either side of the second-period vote. Both schemes therefore face the same tie and tie-break. The finite-voter probabilities \(P(N)\) and \(P((N-1)/2)\) both converge to \(1/2\); the resulting per-person welfare difference vanishes in the limit.
That is also why Proposition 1 does not carry over as a strategic equilibrium characterization. With atomless voters, one person cannot change the outcome, so keeping a second-period vote has no instrumental value. The incentive that selects the smallest majority and largest minority disappears. A continuum model could impose a half-mass split through “Maximal Magnanimity,” but that would specify the franchise rather than derive it from the paper’s strategic game.
One could restore a nontrivial welfare comparison by adding correlated or type-dependent second-period shocks, or by optimizing over who gets the future franchise. Those are conceivable extensions, but they change the source of the paper’s risk or add an optimization problem absent from it. With finitely many types, the resulting welfare calculation is an aggregation over type masses; if one instead makes blocs jointly strategic so that votes remain pivotal, the blocs become the strategic players. Neither route reveals a computational problem in the paper that continuization makes newly tractable.
So the case against a faithful mirror is strong, though I cannot prove that no imaginable extension would be worthwhile. The paper offers a plausible large-population setting, but its named results concern finite-agent strategic incentives and welfare, not computational questions; the natural atomless version removes the pivotality that drives those results.
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.