| paper | d4-journals-geb-2025-0040 |
| authors | — |
| venue | ? |
| filed under | unclassified |
| judged by | gpt-6-luna / xhigh (triple__luna__xhigh__c6r1) |
| judge confidence | high |
| authors would recognise it | no |
The named results characterize stable voting rules and constitutions, but assert no computational result, so bit (a) fails. The proposed mass-vector extension also changes the paper’s account of power: in an atomless population individuals have no pivotal mass, while treating each type as a player makes the actors finite blocs. No computational mirror of a result in this paper survives.
fails bit a — no named computational result to mirror
No result is covered by a continuous mirror. Theorem 2 is the proposed extension; Theorem 1 and Corollaries 1 and 2 remain finite-player structural results.
The paper has no named computational result to anchor a continuous mirror. Theorem 1, proved here, characterizes minimal stable voting rules by placing the oligarchic rules inside the stable rules and the stable rules inside the veto rules. Theorem 2, also proved here, gives sufficient and necessary conditions for minimal self-stability of constitutions. Corollaries 1 and 2 show Theorem 1’s bounds can be sharp. These are structural results; none asserts tractability, hardness, or an algorithm, and the paper supplies no computational input representation or running-time analysis.
The closest honest positive angle is a future extension of Theorem 2. Imagine a large federation whose members fall into a fixed number \(\tau\) of constitutional preference types. Type \(t\) has mass \(\mu_t\), the fraction of members of that type. Represent a coalition by its mass vector \(x\), with \(0\le x_t\le\mu_t\); represent a voting rule by a monotone pass/fail function on these vectors. A minimal winning coalition is then a componentwise-minimal winning mass vector. For a constitution \((\nu_o,\nu_e)\), ask whether some alternative rule Pareto-dominates either rule for a minimal winning mass vector of \(\nu_e\). The answer defines a continuous minimal-self-stability decision problem. Here mass represents shares of the membership, and the action is replacing a constitutional rule.
That scenario has a plausible high-multiplicity story: many members, few recurring preference types. It preserves the paper’s institutional question more closely than an outcome-space or stochastic extension would. But it is only a proposed follow-up. It needs choices about representing the continuum of possible rules and preferences, and about strict improvement for a coalition of mass. Those choices may change the theorem’s content. The authors might recognize the institutional question, but this is not a continuous version of a computational result in their paper. So the positive case is weak by the programme’s stated standard: there is no qualifying anchor and no per-anchor prover question to give.
Theorem 1, Theorem 2, and Corollaries 1 and 2 are structural characterizations. None defines a computational problem with an input representation, an algorithm, or a complexity claim. Theorem 2 is the strongest possible anchor for a follow-up, but its conditions concern the structure of finite-player voting rules. Even where they settle a case, they do so without specifying how a rule or preference profile is represented for computation.
The proposed mass-vector version of Theorem 2 makes the constitutional question sound coherent: give each type a mass, represent coalitions by mass vectors, and ask whether some alternative rule Pareto-dominates a rule for a minimal winning vector. The central difficulty is what “power” means in that model. In a nonatomic population, an individual has zero mass. Under a quota rule, removing one person from a winning coalition leaves its mass unchanged, so that person cannot be a necessary member of a minimal winning coalition. If coalitions are identified by their mass vectors, individual identities disappear. A vector may be minimal, but it does not say which individuals have the paper’s swing-player role.
One can define a type as swing whenever it has positive mass in some minimal winning vector. That gives a usable aggregate notion, but it assigns pivotal status to a type’s members without making any one of them pivotal. Treating each type as a collective player restores a role like the paper’s, while making the actors finite blocs. The mass within each bloc then does not supply the continuous population of players the mirror needs. These are changes to the object whose power the axioms describe, not merely repairs for strict inequalities or tie-breaking.
A stronger version could study institutions with many members in a few preference or voting-weight classes, and define stability using the mass of members who support a reform. That could be a sensible independent model. To compute stability, though, it would need a finite representation of the rule over a continuum of coalition vectors and of preferences over the resulting rule space. The paper supplies neither. Restricting rules to, say, a finite family of threshold functions could make a computational question expressible, but the question would then depend on new representational and preference assumptions rather than on a computational result in this paper.
The application does not resolve the mismatch. The paper’s players are legislators, states, or parties: the actors whose membership in a coalition determines constitutional power. Millions of citizens may be a population, but their mass does not directly define the paper’s voting rules. Large memberships in associations or shareholder bodies offer a more plausible mass setting; there, however, an individual’s pivotal status vanishes in the nonatomic limit, while treating a fund, party, or other group as the player restores a finite actor.
So the proponent’s Theorem 2 extension is the best candidate, and it still requires a new account of power and a new computational input model. The other named results inherit the absence of a computational problem to mirror. The negative case is strongest for this paper as written; it cannot rule out a worthwhile future theory of pivotal *mass*. That theory would study a different stability object from the individual-power characterization the paper proves.
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.