arxiv: 2604.02559 · v1 · submitted 2026-04-02 · 💰 econ.TH

Recognition: 2 theorem links

· Lean Theorem

Constrained optimal transport with an application to large markets with indivisible goods

Koji Yokote

Authors on Pith no claims yet

Pith reviewed 2026-05-13 20:25 UTC · model grok-4.3

classification 💰 econ.TH

keywords optimal transportMonge-Kantorovich dualityindivisible goodscompetitive equilibriumlarge marketspotential functionequilibrium computationcontinuum agents

0 comments

The pith

A constrained optimal transport duality establishes equilibrium existence in large markets for indivisible goods.

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

The paper develops a version of Monge-Kantorovich duality for optimal transport problems that involve a continuum of agents, a finite set of alternatives, and general linear constraints. This duality is then used to revisit the large-market model of indivisible goods, where it identifies an error in an earlier compactness argument and recovers the existence of competitive equilibrium. The same approach also shows that equilibrium prices minimize a potential function, which supplies a method for computing those prices. A reader would care because continuum models are common approximations for real markets with many participants trading goods that cannot be split, and the duality supplies both existence and a practical route to finding prices.

Core claim

We establish a variant of Monge--Kantorovich duality for a constrained optimal transport problem with a continuum of agents, a finite set of alternatives, and general linear constraints. As an application, we revisit the large-market model of indivisible goods in Azevedo et al. (2013), identify a flaw in the original equilibrium-existence proof stemming from an incorrect compactness claim, and recover equilibrium existence via our duality approach. We also characterize equilibrium prices as minimizers of a potential function, which yields a method for computing equilibrium prices.

What carries the argument

The constrained Monge-Kantorovich duality theorem, which equates the minimum cost of a constrained transport plan to a dual problem over price-like variables and thereby guarantees equilibrium assignments and prices.

If this is right

Competitive equilibrium prices and allocations exist in the continuum model of large indivisible-goods markets.
Equilibrium prices are exactly the minimizers of the associated potential function.
Minimizing the potential function gives a practical method to compute equilibrium prices.
The duality extends to other constrained transport problems with continuum agents and linear restrictions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The continuum limit may imply that sufficiently large finite markets also possess equilibria under the same constraints.
Numerical minimization of the potential could be implemented directly as a market-clearing algorithm.
Similar duality methods might accommodate additional market constraints such as budget caps or fairness rules.
Direct comparison of the continuum solution with small finite markets would test how closely the approximation holds.

Load-bearing premise

The model relies on a continuum of agents together with linear constraints and a finite set of alternatives so that the required compactness follows from the duality.

What would settle it

A concrete finite but large market instance with indivisible goods and linear constraints in which no competitive equilibrium exists would show the result does not transfer.

read the original abstract

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a constrained OT duality that fixes the compactness gap in Azevedo et al. (2013) and turns equilibrium prices into a minimization problem.

read the letter

The main takeaway is that this paper supplies a variant of Monge-Kantorovich duality tailored to linear constraints, continuum agents, and finite alternatives, then uses it to patch the equilibrium-existence argument in Azevedo et al. (2013). The fix replaces an incorrect compactness claim with a duality-based route to existence, and it also shows that equilibrium prices minimize a potential function, which opens a computational path. That combination is the concrete advance. The duality statement itself looks like a straightforward extension of standard results rather than a deep new theorem, but the application to the market model is targeted and useful. The paper does a clean job of stating the flaw in the earlier work and showing how the new duality sidesteps it. On the soft side, the stress-test note raises a fair point: many duality proofs in this area still lean on some form of tightness or weak compactness to get attainment, so it is worth checking whether the argument here truly avoids reintroducing the same topological requirement under a different name. The continuum-of-agents setup is standard for these large-market models, but readers will want to see how sensitive the existence result is when the market is actually finite. The citation pattern is appropriate and the claims are scoped to what the duality delivers. This is the kind of note that market-design people working on indivisible goods will want to see, especially if they have been using Azevedo et al. as a reference. It is not a broad methodological overhaul, but it is a precise repair with a side benefit for computation. I would send it to referees; the core correction is worth verifying in detail.

Referee Report

2 major / 2 minor

Summary. The paper establishes a variant of Monge-Kantorovich duality for a constrained optimal transport problem with a continuum of agents, a finite set of alternatives, and general linear constraints. It applies the duality to correct an incorrect compactness claim in Azevedo et al. (2013), recover equilibrium existence for large markets with indivisible goods, and characterize equilibrium prices as minimizers of a potential function that also yields a computational method.

Significance. If the duality theorem is established rigorously, the work supplies a clean theoretical fix for equilibrium existence in continuum models of indivisible-goods markets and supplies an explicit potential whose minimization recovers prices. This strengthens the foundation for large-market approximations and offers a practical route to computation, provided the proof avoids reintroducing the topological gap identified in the earlier paper.

major comments (2)

[§3] §3 (Duality theorem and its proof): the argument for dual attainment invokes lower semi-continuity and weak compactness in the space of measures; please state explicitly which tightness or sequential-compactness property is used and confirm that it does not rely on the same compactness assertion criticized in Azevedo et al. (2013).
[§4] §4 (Market application): the reduction from the constrained OT problem to market clearing must be verified in detail; the linear constraints are asserted to enforce feasibility, but the passage from continuum to finite-agent markets and the convergence of equilibria is only sketched and requires a precise statement of the limit argument.

minor comments (2)

Notation for the potential function (e.g., its dependence on prices versus allocations) should be introduced with a dedicated display equation to avoid confusion with the original transport cost.
[Introduction] The abstract and introduction both refer to 'general linear constraints'; a short paragraph listing the precise form of these constraints (matrix A, vector b) would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will revise the paper to improve clarity and rigor as suggested.

read point-by-point responses

Referee: [§3] §3 (Duality theorem and its proof): the argument for dual attainment invokes lower semi-continuity and weak compactness in the space of measures; please state explicitly which tightness or sequential-compactness property is used and confirm that it does not rely on the same compactness assertion criticized in Azevedo et al. (2013).

Authors: In the proof of Theorem 3.1, weak compactness of the feasible set of transport plans is obtained via Prokhorov's theorem: the finite alternative set A makes the support space [0,1]×A σ-compact, and the fixed Lebesgue marginal on agents together with the linear constraints ensures uniform tightness. Sequential compactness then follows in the weak topology. This argument exploits the finite cardinality of A and does not invoke the compactness claim from Azevedo et al. (2013), which concerned an unbounded price space without the finite-alternatives structure. We will add an explicit paragraph in §3 stating the tightness property and the distinction from the earlier paper. revision: yes
Referee: [§4] §4 (Market application): the reduction from the constrained OT problem to market clearing must be verified in detail; the linear constraints are asserted to enforce feasibility, but the passage from continuum to finite-agent markets and the convergence of equilibria is only sketched and requires a precise statement of the limit argument.

Authors: We agree that the reduction and limit argument require more detail. The linear constraints in the constrained OT problem enforce market clearing by requiring that the integral of the assignment kernel against the agent measure equals the aggregate supply vector. For the approximation, we will add a precise statement: as the number of agents n→∞ with i.i.d. types drawn from the continuum distribution, the empirical assignment measures of finite-market equilibria converge weakly to a continuum equilibrium (by the Glivenko–Cantelli theorem). We will expand §4 with a dedicated subsection formalizing this convergence in the weak topology on measures. revision: yes

Circularity Check

0 steps flagged

No significant circularity; duality variant and equilibrium recovery are self-contained

full rationale

The paper establishes a variant of Monge-Kantorovich duality for constrained OT with continuum agents, finite alternatives, and linear constraints, then applies it to recover equilibrium existence in the Azevedo et al. (2013) model by correcting an external compactness flaw. No derivation step reduces by construction to its own inputs, fitted parameters renamed as predictions, or load-bearing self-citations; the central claims rest on standard external duality results and the correction of a prior independent paper rather than internal loops or ansatz smuggling.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard results from optimal transport theory and the modeling assumption of a continuum of agents to approximate large finite markets; no new free parameters or invented entities are introduced in the abstract.

axioms (2)

standard math Monge-Kantorovich duality holds in the unconstrained case and extends to linear constraints
The paper builds its variant directly on this background result.
domain assumption A continuum of agents approximates large but finite markets
Invoked to apply the transport framework to the indivisible-goods market model.

pith-pipeline@v0.9.0 · 5373 in / 1304 out tokens · 49942 ms · 2026-05-13T20:25:18.726267+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We establish a variant of Monge–Kantorovich duality for a constrained optimal transport problem with a continuum of agents, a finite set of alternatives, and general linear constraints... recover equilibrium existence via our duality approach. We also characterize equilibrium prices as minimizers of a potential function.
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the set of allocations is compact according to the L1 norm... counterexample... every subsequence of {x_n(·)} is not a Cauchy sequence

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

[1]

NBER Working Paper 32246

On the Spatial Determinants of Educational Access. NBER Working Paper 32246. National Bureau of Economic Research. URL: https://www.nber.org/papers/w32246, doi:10.3386/w32246. Aliprantis, C.D., Border, K.C.,

work page doi:10.3386/w32246
[2]

3 ed., Springer, Berlin and Heidelberg

Infinite Dimensional Analysis: A Hitchhiker’s Guide. 3 ed., Springer, Berlin and Heidelberg. doi:10.1007/3-540-29587-9. Ashlagi, I., Leshno, J., Qian, P., Saberi, A.,

work page doi:10.1007/3-540-29587-9
[3]

Theoretical Economics 8, 281–290

Walrasian equilibrium in large, quasilinear markets. Theoretical Economics 8, 281–290. doi:10.3982/TE1060. Bikhchandani, S., Mamer, J.W.,

work page doi:10.3982/te1060
[4]

Journal of Economic Theory 74, 385–413

Competitive equilibrium in an exchange economy with indivisibilities. Journal of Economic Theory 74, 385–413. doi:10.1006/jeth.1996.2269. Boerma, J., Tsyvinski, A., Zimin, A.P.,

work page doi:10.1006/jeth.1996.2269 1996
[5]

NBER Working Paper 29290

Sorting with Team Formation. NBER Working Paper 29290. National Bureau of Economic Research. URL: https://www.nber.org/papers/w29290, doi:10.3386/w29290. Calvo, P., Lindenlaub, I., Reynoso, A.,

work page doi:10.3386/w29290
[6]

The Review of Economic Studies 91, 3316–3361

Marriage market and labour market sorting. The Review of Economic Studies 91, 3316–3361. doi:10.1093/restud/rdae010. Chiappori, P.A.,

work page doi:10.1093/restud/rdae010
[7]

Applied Mathematics and Optimization 84, 1619–1645

Qualification conditions-free characteri- zations of theε-subdifferential of convex integral functions. Applied Mathematics and Optimization 84, 1619–1645. doi:10.1007/s00245-020-09689-1. Daskalakis, C., Deckelbaum, A., Tzamos, C.,

work page doi:10.1007/s00245-020-09689-1
[8]

Mechanism design via optimal transport, in: Proceedings of the Fourteenth ACM Conference on Electronic Com- merce, Association for Computing Machinery, New York, NY, USA. pp. 269–286. doi:10.1145/2482540.2482593. Daskalakis, C., Deckelbaum, A., Tzamos, C.,

work page doi:10.1145/2482540.2482593
[9]

Econometrica 85, 735–767

Strong duality for a multiple-good monopolist. Econometrica 85, 735–767. doi:10.3982/ECTA12618. Galichon, A.,

work page doi:10.3982/ecta12618
[10]

Princeton University Press, Princeton, NJ

Optimal Transport Methods in Economics. Princeton University Press, Princeton, NJ. doi:10.23943/princeton/9780691172767.001.0001. Galichon, A.,

work page doi:10.23943/princeton/9780691172767.001.0001
[11]

arXiv:2107.04700

The unreasonable effectiveness of optimal transport in economics. arXiv:2107.04700. working paper / arXiv preprint. Galichon, A., Salani´ e, B.,

work page arXiv
[12]

The Review of Economic Studies 89, 2600–2629

Cupid’s invisible hand: Social surplus and iden- tification in matching models. The Review of Economic Studies 89, 2600–2629. doi:10.1093/restud/rdab090. Gul, F., Stacchetti, E.,

work page doi:10.1093/restud/rdab090
[13]

Journal of Economic Theory 92, 66–95

The english auction with differentiated commodities. Journal of Economic Theory 92, 66–95. doi:10.1006/jeth.1999.2580. Ioffe, A.D., Levin, V.L.,

work page doi:10.1006/jeth.1999.2580 1999
[14]

Econometrica 50, 1483–1504

Job matching, coalition formation, and gross substitutes. Econometrica 50, 1483–1504. doi:10.2307/1913392. Kolesnikov, A.V., Sandomirskiy, F., Tsyvinski, A., Zimin, A.P.,

work page doi:10.2307/1913392
[15]

URL:https://arxiv.org/abs/2203.06837, arXiv:2203.06837

Beckmann’s ap- proach to multi-item multi-bidder auctions. URL:https://arxiv.org/abs/2203.06837, arXiv:2203.06837. Lindenlaub, I., Postel-Vinay, F.,

work page arXiv
[16]

NBER Working Paper 28402

The Worker-Job Surplus. NBER Working Paper 28402. National Bureau of Economic Research. URL: https://www.nber.org/papers/w28402, doi:10.3386/w28402. Milgrom, P., Strulovici, B.,

work page doi:10.3386/w28402
[17]

Journal of Economic Theory 144, 212–247

Substitute goods, auctions, and equilibrium. Journal of Economic Theory 144, 212–247. doi:10.1016/j.jet.2008.05.002. 20 Paes Leme, R., Wong, S.C.w.,

work page doi:10.1016/j.jet.2008.05.002 2008
[18]

Econometrica 77, 933–952

A double-track adjustment process for discrete markets with sub- stitutes and complements. Econometrica 77, 933–952. doi:10.3982/ECTA6514. Villani, C.,

work page doi:10.3982/ecta6514