| paper | d4-journals-jet-2016-0089 |
| authors | — |
| venue | ? |
| filed under | unclassified |
| judged by | gpt-6-luna / xhigh (triple__luna__xhigh__c6r1) |
| judge confidence | high |
| authors would recognise it | yes |
Neither anchor asserts an algorithm, a complexity bound, or hardness; both are equilibrium and policy characterizations. The proposed finite-support majority-equilibrium decision problem is concrete and related to the paper’s subject, but it adds a computational agenda rather than mirroring a named computational result. Bit (a) therefore fails.
fails bit a — no named computational result to mirror
The proposed question concerns existence of an extreme left-majority equilibrium, motivated by Propositions 1 and 2; it leaves the paper’s other equilibrium characterizations, bargaining with perks, discounting, welfare comparisons, and misaligned-voting results without a computational mirror.
The strongest honest case is narrow. This paper has no named computational-complexity result to anchor a mirror to: none of its numbered propositions, lemmas, or corollaries says that a problem is in P, NP-hard, FPT, or otherwise classifies its complexity. I can’t present one of its equilibrium results as a qualifying complexity anchor.
The closest motivation is Proposition 1, proved in the paper: for any majoritarian legislative bargaining rule and any distribution of voter preferences, multiple equilibria exist, and every equilibrium is Duvergerian in every district. Proposition 2, also proved there, says that in any equilibrium where the moderate party is expected to win at least one seat, if the median voter in the median district lies between \(a_{lm}\) and \(a_{mr}\), the expected policy is \(a_m\). These are equilibrium-structure results, not complexity results; they motivate a computational question but cannot serve as the required anchors.
A plausible question to hand to a prover is High-Multiplicity Extreme-Outcome Existence. An instance gives an odd number \(D\) of districts, rational party platforms \(a_l<a_m<a_r\), and, for each district \(d\), a finite set of rational voter ideal points with rational masses \(\mu_{d,t}\) summing to one. A type is the pair \((d,t)\): district and ideal point. Mass is that type’s fraction of voters in its district. Voters have the paper’s utility \(-(z-t)^2\), vote for \(l,m,\) or \(r\) under plurality, and parties use the benchmark bargaining rule with \(\delta=1\). The question is whether there is an asymptotically strictly perfect equilibrium—under the paper’s large-population Poisson interpretation—in which the left party wins a majority with probability tending to one. A yes answer consists of a limiting ballot strategy for each type, with the equilibrium and robustness conditions satisfied; a no answer rules out every such equilibrium.
The regime is a legislature with many voters per district but relatively few modeled ideological types per district—for example, a mass electorate represented by survey-based ideal-point groups. That is a credible high-multiplicity regime, though the finite type grid is a modeling restriction. I would provisionally expect the benchmark question to be tractable, given the one-dimensional preferences and the paper’s reduction to pivotal and decisive events. That is a conjecture, not a result of this paper. It would also prompt questions about computing the full set of equilibrium outcomes, whether Proposition 2’s sufficient condition is necessary, and how the answers change with other bargaining rules.
This case covers only the benchmark model’s equilibrium outcomes, especially the extreme-policy question around Proposition 2. It does not claim to continuize the paper’s full analysis of perks, discounting, welfare comparisons, or misaligned voting.
The weakest point is that the paper already works with preference distributions \(f_d\) and asymptotic equilibria as population size grows. A population distribution is therefore close to the paper’s own analytical setup; the computational contribution would be the finite encoding and complexity classification, not a newly introduced continuous society. That makes the proposed question plausible as an algorithmic extension, but it also means there is no qualifying named complexity result here on which to build the requested anchored case.
The strongest objection is the one the proponent already concedes: neither Proposition 1 nor Proposition 2 is a computational result. Proposition 1 characterizes asymptotic equilibria; Proposition 2 gives a sufficient condition for a moderate policy outcome. Neither defines an algorithmic problem or classifies its complexity. Calling the proposed question High-Multiplicity Extreme-Outcome Existence does not supply that missing anchor: it asks a new question about which equilibria exist, rather than mirroring a computational question the paper studied.
The paper also already puts the population in essentially the continuous form a mirror would use. It specifies a voter distribution \(f_d\) in each district, treats voters as draws from that distribution, and studies equilibria as the expected district population \(n\) tends to infinity. The mass of each voting strategy is summarized by its expected vote share \(\tau_d(c)\). This is an analytic model of a large, distributed population, not a finite electorate awaiting continuization. That does not mean the paper already answers a computational question—the programme explicitly distinguishes analytic work from complexity theory—but it does mean the proposed mirror adds no new continuous-population model.
The proponent’s finite-support version is the best attempt to make the question computationally concrete: give each district rational masses on finitely many ideal points and ask whether an equilibrium can give the left party a majority. That is a coherent new equilibrium-computation problem, and the high-multiplicity regime is plausible. But the finite encoding changes the paper’s full-support density model; retaining that model instead requires specifying a finite representation of the densities and of the equilibrium output. Either way, the work is chiefly to define and analyze a computational equilibrium problem on the paper’s already continuous population model. It is not a continuization of one of the paper’s computational results, because there is no such result.
This defeats both proposed anchors. For Proposition 1, majority-outcome existence is an added equilibrium-selection question, not its result about multiplicity and Duvergerian districts. For Proposition 2, the median condition is an equilibrium theorem, not a complexity claim; testing it from an encoded distribution would add an algorithmic task without making it a continuous mirror. A broader project computing attainable equilibrium outcomes or misaligned-voting mass could be worth pursuing, but its value would come from creating a new computational agenda around this model.
I would not argue that the population regime is implausible, or that the proposed problem must be easy. The negative case is weaker on those grounds. Its strongest point is narrower: this paper is already built around a population distribution and asymptotic equilibria, and it supplies no named computational result for a continuous mirror to take up. A worthwhile computational extension is conceivable; the case for calling it a continuization mirror of this paper is not.
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.