| paper | d4-conf-atal-2016-0135 |
| authors | — |
| venue | ? |
| filed under | unclassified |
| judged by | gpt-6-luna / xhigh (triple__luna__xhigh__c6r1) |
| judge confidence | high |
| authors would recognise it | unclear |
Propositions 1–3 state equilibrium existence and uniqueness, welfare comparisons, and dynamical instability; none gives an algorithm, construction, or complexity claim. The proposed fixed-point computation is statable, but it is not a continuous analogue anchored to a named computational result in this paper.
fails bit a — no named computational result to mirror
No continuous mirror is anchored to a named computational result; the empirical fit and full-scale simulation findings have no surviving continuous computational counterpart.
The paper’s strongest positive opening is its explicit focus on a very large workforce whose aggregate firm distribution becomes approximately stationary. But under your anchor rule, the paper has no eligible named computational result: it states no numbered theorem, lemma, corollary, or proposition about a problem being in P, NP-hard, FPT, or similar. Its simulations and empirical findings are not such results.
The nearest numbered results are Propositions 1–3, but they concern individual-firm economics: Proposition 1 says a Nash equilibrium exists and is unique; Proposition 2 says some effort profiles Pareto-dominate Nash equilibrium, including Pareto-optimal profiles, though those profiles are not individually rational; Proposition 3 says Nash equilibria are dynamically unstable for sufficiently large groups. The paper presents these as prior results, with [42] and [43] attached to the first two and the list introduced with [41]. None is a computational-complexity result. So I cannot honestly offer them as anchors.
If I had to put one continuous question to a prover anyway, it would be an unanchored candidate, drawn from the paper’s population-level steady-state analysis:
Imagine a labor market with millions of workers but relatively few complete worker types—for example, repeated occupation, credential, preference and endowment classes, each with the same job-search access. Let \(T\) be those types and \(\mu_t\) the fraction of workers of type \(t\). A firm state \(z\) records its technology and its integer counts of each worker type. Let \(\nu_z\) be the number of firms in state \(z\) per worker, so \(\sum_z z_t\nu_z=\mu_t\). Each firm uses the paper’s increasing-returns production rule and equal output sharing. Workers choose effort to maximize their utility and, when activated, move to a better firm found through an explicit type-level search kernel, or start a firm. Aggregate moves are fractional flows, even though each firm configuration records integer worker counts.
Call the question Continuous Firm-Formation Stationarity. Given rational type masses, firm technologies, an activation rate, a search kernel and a finite closed set of firm configurations, compute a stationary aggregate distribution \(\nu^*\) under the resulting mean-field update \(F\). An approximate solution is a distribution \(\hat\nu\), together with its aggregate worker flows, satisfying \(\|F(\hat\nu)-\hat\nu\|_1\le\epsilon\). This is a fixed-point computation, not a welfare-maximization problem: retaining the paper’s decentralized utility choices is essential to the mirror.
The scenario is plausible for a large labor market with repeated worker and search classes, where the number of workers greatly exceeds the number of types. It also mirrors the paper’s population-level firm dynamics rather than continuizing outcomes or time. A working, but weakly supported, guess would be Class C: the computational difficulty may lie in finding fixed points of a nonlinear best-response process, rather than in population multiplicity. The paper supplies no reduction or algorithm to support that guess. The natural follow-up questions are whether such stationary distributions exist, how their computation scales with \(|T|\) and the firm-state space, and whether bounded firm-size models converge to the paper’s observed size and flow statistics.
The weakest point is substantial: this candidate is not anchored by a named computational result, and it turns a simulation study into a stationary fixed-point problem. It also needs type-level search kernels and repeated worker attributes, whereas the paper uses heterogeneous parameter draws and an individualized social network. The paper gives a credible reason to ask the question, but it does not establish that this mirror is one its authors would accept—or that its complexity has any particular classification.
The strongest case against a mirror is that the paper supplies no named computational result to mirror. Propositions 1–3 concern existence, welfare comparisons, and instability of Nash equilibria; the paper’s own contributions are simulations and empirical fit. None states the complexity of a computational problem. The most natural alternative anchor, Proposition 3, could motivate asking how a stability threshold changes in a continuum model. That would be an analytic dynamics question, though, rather than the kind of computational complexity question ChoCo studies.
The proposed Continuous Firm-Formation Stationarity problem is the best attempt to get closer to the paper’s main results. Its weakness is that the paper does not define the aggregate update \(F\) it asks to solve. A firm-state distribution \(\nu\) does not determine the next period’s distribution: individual activation, social-network links, worker attributes, and the resulting search opportunities affect who moves where. To obtain a closed update from \(\nu\), the proposal supplies a type-level search kernel and a finite set of firm configurations. Those are reasonable modeling choices, but they create a new mean-field economy. A more faithful state would need to retain joint information about worker types, firm composition, and search structure; that is a different and potentially much larger computational problem.
This is a paper-specific objection, not a general objection to mass models. A labor market with many workers in a small number of complete, repeated types is a sensible high-multiplicity regime, and the paper’s population-level statistics make that prospect especially natural. An aggregate-stationarity problem in such a regime could be worthwhile computational economics. The paper alone does not establish that it is a continuous mirror of one of its computational results, or that it belongs to ChoCo’s computational social-choice programme.
So the negative case is strong against the proposed candidate as an anchored mirror, and weak as a universal claim. The paper’s scale and aggregate focus leave room for a convincing continuous extension; the available grounds do not justify saying that no scenario could make one worthwhile.
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.