| paper | d4-journals-jet-2007-0146 |
| authors | — |
| venue | ? |
| filed under | unclassified |
| judged by | gpt-6-luna / xhigh (triple__luna__xhigh__c6r1) |
| judge confidence | high |
| authors would recognise it | no |
The paper’s named results characterize welfare orderings through axioms; none gives a computational result to mirror. The proposed population model would turn utility streams from objects of comparison into agent types and add a new aggregation task.
fails bit a — no named computational result to mirror
No computational results are covered; the paper’s axiomatic characterizations and analysis of welfare criteria remain outside the mirror.
I can’t make an anchor-based positive case for this paper: it contains no named computational result of the required kind. Its results characterize social welfare orderings and study axioms such as Pareto, anonymity, and continuity; they do not establish that a computational problem is in P, hard, FPT, or otherwise classify its complexity.
A possible population mirror would treat a utility stream as a type, mass as the fraction of people with that stream, and ask how to aggregate welfare across the resulting distribution. But that changes the paper’s central object: its streams describe utilities across generations, and its question is which orderings over those streams satisfy axioms. Turning generations into population types would continuize the wrong dimension; turning people into a continuum would add a new model without a named computational result to anchor it.
So there is no precise continuous problem per qualifying anchor to hand to a prover. The strongest honest positive conclusion is that the paper may inspire a separate continuous-population welfare project, but this paper does not supply the computational result needed to make that a credible mirror under ChoCo’s criteria.
The strongest case against a mirror is that this paper gives ChoCo no computational result to mirror. Its theorems characterize welfare orderings on infinite utility streams through axioms such as Pareto, anonymity, and continuity. They do not classify the complexity of a computational problem. That is decisive under the programme’s criteria.
The best proposed repair is to treat utility streams as voter types, describe a society by a distribution over those types, and ask how to compute a welfare comparison or aggregation. But that changes the role of the stream: in the paper, it is the object being compared, with coordinates for generations; in the proposed mirror, it becomes a description of a person in a population. The resulting computational question would need a new task, an input representation, and an output rule. None is supplied by the paper’s results. Treating generations themselves as a continuum would stay closer to the paper, but it continuizes time rather than population.
There may be a worthwhile continuous-population welfare project here. The case against is that it would be a new project prompted by the paper, not a continuous mirror of one of its named computational results. The proponent’s failure to identify an anchor is therefore not a gap to fill with a better version of the same mirror; it is the central reason this paper is a poor fit for ChoCo.
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.