Pith. sign in

REVIEW 5 minor 6 references

An economy with indivisible goods can absorb any entrant with one fixed price list only when its aggregate welfare is additive.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-14 04:02 UTC pith:HZ7WC7QJ

load-bearing objection Clean, elementary characterization: universal entry robustness equals aggregate additivity, with a single canonical entrant as the test and one common price vector.

arxiv 2607.11658 v1 pith:HZ7WC7QJ submitted 2026-07-13 econ.TH

Robust Welfare Decentralization under Population Entry

Yi-You Yang This is my paper
classification econ.TH
keywords indivisible goodscompetitive equilibriumpopulation entrywelfare decentralizationaggregate valuationanonymous pricesuniversal entry robustness
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

Markets with indivisible goods often face new participants whose preferences cannot be predicted. This paper asks when a fixed incumbent economy can keep supporting an efficient allocation with ordinary anonymous item prices no matter who arrives. The answer is a single social condition: the greatest total welfare the incumbents can extract from any subset of goods must itself be additive, so each good has a constant social value independent of what else remains. Individual valuations may still contain complementarities and need not satisfy gross substitutes. One specially chosen entrant, who values every bundle exactly by the welfare loss it imposes on the incumbents, is enough to test the whole property. When the condition holds, the unique prices given by the social values of single goods decentralize both the original economy and every one-agent extension.

Core claim

Universal entry robustness of a finite incumbent economy with normalized monotone valuations is equivalent to additivity of its aggregate welfare valuation v_N. Equivalently, the economy remains competitive-equilibrium capable after every possible one-agent extension if and only if it can accommodate the single canonical entrant who values each bundle by the loss in maximal incumbent welfare caused by removing that bundle. In that case one price vector, with each good priced at its social marginal value, supports the incumbent optimum and every extension.

What carries the argument

The canonical welfare-loss entrant w_M(B) = v_N(A) - v_N(A\B). It turns every division of the goods into a welfare-equivalent allocation, so that demand optimality at item prices forces v_N itself to be additive and thereby yields the equivalence of universal robustness, aggregate additivity, and common-price decentralization.

Load-bearing premise

Preferences must be quasilinear, so money can freely transfer welfare and individual demand inequalities can be summed into pure efficiency comparisons.

What would settle it

Exhibit a finite economy whose aggregate welfare valuation is non-additive yet still admits competitive equilibria after every possible one-agent extension, or show that the economy with the canonical welfare-loss entrant fails to have a competitive equilibrium while some other non-additive aggregate still works.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper studies competitive equilibrium with indivisible goods under one-agent population entry. An incumbent economy M is universally entry-robust if it admits a competitive equilibrium and continues to do so after every possible one-agent extension by a normalized monotone entrant. Theorem 5.1 shows that this property is equivalent to additivity of the aggregate welfare valuation v_N, and also equivalent to equilibrium existence in the single extension by the canonical welfare-loss entrant w_M = v_N^†. When the condition holds, the unique price vector q_a = v_N({a}) supports both the incumbent optimum and every one-agent extension. The proof is elementary (demand inequalities, partition maximality, and the complementary dual), and the result is related to robust integrality of the Bikhchandani–Mamer configuration LP. Individual valuations need not be additive or satisfy gross substitutes.

Significance. The contribution is a clean, profile-specific robustness characterization that complements domain-wide existence results (gross substitutes, demand types, unimodularity). The one-entrant test via the endogenous complementary dual and the uniqueness of the common supporting prices are sharp and useful. The direct welfare argument makes transparent why arbitrary-entry robustness forces aggregate additivity, while the LP reinterpretation situates the result within the existing literature. The manuscript is self-contained, the proofs are elementary and complete, and the maintained quasilinearity assumption is standard for this literature. These features make the paper a solid contribution to the theory of competitive equilibrium with indivisibilities.

minor comments (5)
  1. [Abstract / §1] In the abstract and introduction, the phrase “universal entry robustness” is introduced before the formal definition; a brief parenthetical pointer to Definition 2.1 would help first-time readers.
  2. [§2] Example 2.2 is clear, but a short remark that the same prices that clear the incumbent economy fail after entry would reinforce the contrast with the additive case treated later.
  3. [§5] In Corollary 5.3 the uniqueness argument invokes equation (5) from Proposition 4.1; a one-sentence reminder that (5) is obtained from demand of both agents against every bundle would make the corollary fully self-contained.
  4. [§7.2] Section 7.2 could cite one additional recent reference on robust predictions under indivisibilities (beyond Jagadeesan et al. 2020) to situate the cross-population robustness notion more fully, though this is optional.
  5. [Throughout] Minor typographical consistency: the dual is written both v†_N and v_N†; standardizing the notation would improve readability.

Circularity Check

0 steps flagged

No significant circularity: the equivalence is derived from demand inequalities and the complementary dual without assuming additivity.

full rationale

The paper's central claim (Theorem 5.1) equates universal entry robustness with additivity of the aggregate welfare valuation v_N. Necessity is obtained by constructing the complementary dual entrant w_M = v_N^\dagger (defined from v_N without presupposing additivity), observing that every division is efficient in the two-agent economy (v_N, v_N^\dagger), and applying demand optimality (Lemma 3.1) to force p(B) = v_N(B) for all B (equations (3)–(5) in Proposition 4.1). Sufficiency is a direct construction: when v_N = q the same prices support every one-agent extension because any entrant demand leaves a residual that can be efficiently reallocated among incumbents. The relation to Bikhchandani–Mamer is presented only as an alternative recovery after the direct proof, not as an input. There are no fitted parameters, no self-citation load-bearing uniqueness theorems, and no renaming of a known result as a new derivation. The argument is self-contained against its stated assumptions (quasilinear, normalized monotone valuations).

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 2 invented entities

Pure theoretical characterization. No free parameters or fitted constants. The argument rests on standard domain assumptions of quasilinear competitive-equilibrium models with indivisibles plus two definitional constructs (universal entry robustness and the welfare-loss entrant) introduced for the robustness question itself.

axioms (5)
  • domain assumption Valuations are normalized (v(∅)=0) and monotone
    Stated in Section 2; used throughout to guarantee that complementary duals remain valuations and that demand sets are well-defined.
  • domain assumption Preferences are quasilinear: utility = valuation minus price of the bundle
    Section 2; essential for welfare aggregation, for summing demand inequalities, and for the efficiency–equilibrium equivalence of Lemma 3.1.
  • domain assumption Goods are indivisible, one unit of each; allocations are partitions of the finite set A
    Model section; defines the feasible set over which v_N is maximized.
  • domain assumption A competitive equilibrium requires that every agent (including the empty-bundle agent) receives a demanded bundle at the common item prices
    Standard definition restated in Section 2; used in every existence claim.
  • standard math Finite sets attain their maxima
    Invoked once to ensure v_N(B) is well-defined (equation (1)).
invented entities (2)
  • universal entry robustness no independent evidence
    purpose: Captures the requirement that a fixed incumbent economy continues to admit competitive equilibrium after every possible one-agent extension.
    Definitional construct of the paper (Def. 2.1); no independent empirical handle outside the model.
  • canonical welfare-loss entrant w_M = v_N^† no independent evidence
    purpose: Serves as a single endogenous stress test that is necessary and sufficient for universal entry robustness.
    Defined in equation (6) from the complementary dual of the aggregate valuation; purely instrumental to the characterization.

pith-pipeline@v1.1.0-grok45 · 13002 in / 2697 out tokens · 29881 ms · 2026-07-14T04:02:51.956143+00:00 · methodology

0 comments
read the original abstract

We ask when an incumbent economy with indivisible goods can accommodate an arbitrary new participant while retaining an efficient allocation supported by anonymous item prices. We call this property universal entry robustness. An economy is universally entry-robust if and only if its aggregate welfare valuation is additive. Although the requirement quantifies over all entrant valuations, it can be tested using one canonical entrant whose value for a bundle equals the loss in maximal incumbent welfare caused by removing that bundle. When the characterization holds, one uniquely determined price vector decentralizes the incumbent optimum and every one-agent extension. The proof is direct and uses only demand optimality and welfare comparisons, making transparent why arbitrary-entry robustness eliminates all bundle interactions in aggregate welfare. We finally relate this argument to the robust-integrality interpretation obtained from the linear-programming characterization of Bikhchandani and Mamer (1997). Individual incumbent valuations may be nonadditive and need not satisfy gross substitutes.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

6 extracted references · 1 canonical work pages

  1. [1]

    Econometrica 87:867--932

    Baldwin E, Klemperer P (2019) Understanding preferences: ``Demand types,'' and the existence of equilibrium with indivisibilities. Econometrica 87:867--932

    2019

  2. [2]

    J Econ Theory 74:385--413

    Bikhchandani S, Mamer JW (1997) Competitive equilibrium in an exchange economy with indivisibilities. J Econ Theory 74:385--413

    1997

  3. [3]

    J Econ Theory 87:95--124

    Gul F, Stacchetti E (1999) Walrasian equilibrium with gross substitutes. J Econ Theory 87:95--124

    1999

  4. [4]

    Rev Econ Stud, rdaf106

    Jagadeesan R, Teytelboym A (2025) The economics of equilibrium with indivisible goods. Rev Econ Stud, rdaf106. https://doi.org/10.1093/restud/rdaf106

    work page doi:10.1093/restud/rdaf106 2025

  5. [5]

    Soc Choice Welf 55:215--228

    Jagadeesan R, Kominers SD, Rheingans-Yoo R (2020) Lone wolves in competitive equilibria. Soc Choice Welf 55:215--228

    2020

  6. [6]

    Econometrica 50:1483--1504

    Kelso AS Jr, Crawford VP (1982) Job matching, coalition formation, and gross substitutes. Econometrica 50:1483--1504

    1982