pith. sign in

arxiv: 2305.17948 · v10 · submitted 2023-05-29 · 💰 econ.TH

Decentralized Re-equilibration and Comparative Statics in Matching Markets with Contracts

Yi-You Yang This is my paper

Pith reviewed 2026-05-24 09:08 UTC · model grok-4.3

classification 💰 econ.TH
keywords matching markets with contractsstabilityre-equilibrationjoin-semilattice homomorphismsubstitutable preferencescomparative staticsfirm-quasi-stable allocationslaw of aggregate demand
0
0 comments X

The pith

In matching markets with contracts, a re-equilibration map after population shocks acts as a join-semilattice homomorphism between stability lattices while preserving the firm-optimal stable allocation.

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

The paper studies how many-to-many matching markets with contracts respond to shocks such as worker exits or firm entries when preferences are substitutable. Restricting any pre-shock stable allocation to the agents that remain produces an element of the complete lattice of firm-quasi-stable allocations. On that lattice the deferred acceptance algorithm acts as an asynchronous monotone iteration that restores stability. The resulting re-equilibration map is a join-semilattice homomorphism from the original stability lattice to the perturbed one, keeps the firm-optimal point fixed across markets, and yields an opposition of interests in which incumbent workers are weakly better off while incumbent firms are weakly worse off. When preferences also satisfy the law of aggregate demand the outcome simplifies further so that every entering firm receives exactly its firm-optimal assignment no matter which pre-shock stable allocation was selected.

Core claim

The induced re-equilibration map defines a join-semilattice homomorphism between the stability lattices of the original and perturbed markets, preserves the firm-optimal stable allocation across markets, and establishes an opposition of interests whereby incumbent workers are weakly better off and incumbent firms weakly worse off. Under the law of aggregate demand, each entering firm obtains its firm-optimal assignment, independent of the pre-shock equilibrium selection.

What carries the argument

The re-equilibration map obtained by restricting a pre-shock stable allocation to surviving agents and then running the deferred acceptance operator on the lattice of firm-quasi-stable allocations.

If this is right

  • The firm-optimal stable allocation of the original market remains the firm-optimal stable allocation of the perturbed market.
  • Incumbent workers obtain weakly better outcomes and incumbent firms obtain weakly worse outcomes after re-equilibration.
  • When the law of aggregate demand holds, each entering firm is assigned its firm-optimal bundle independently of the pre-shock selection.
  • The restriction of any stable allocation to surviving agents lies in the complete lattice of firm-quasi-stable allocations of the perturbed market.

Where Pith is reading between the lines

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

  • The homomorphism property supplies a uniform way to compare stable outcomes before and after any sequence of population shocks.
  • The opposition-of-interests result may be used to predict the incidence of gains and losses when regulators control entry or exit in contract-based markets.
  • The construction suggests analogous comparative-statics maps could be defined for other solution concepts whose fixed points form lattices under substitutability.

Load-bearing premise

Agents' preferences are substitutable, so that the set of firm-quasi-stable allocations forms a complete lattice and the deferred acceptance operator is monotone.

What would settle it

An explicit substitutable preference profile in which, after a single firm entry, some incumbent worker receives a strictly worse contract in every stable allocation of the new market than in the restriction of the old stable allocation.

Figures

Figures reproduced from arXiv: 2305.17948 by Yi-You Yang.

Figure 1
Figure 1. Figure 1: The lattice for Example 2. Let x ∈ CW [PITH_FULL_IMAGE:figures/full_fig_p015_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The lattice for Example 3. We close this section with an example that may be helpful to demonstrate the results of Theorems 6 and 8. Moreover, it should also be mentioned that most of the results presented in this section are inspired by the seminal paper of Blum et al. (1997), who addressed the re-equilibration process triggered by the entry of new firms or the retirement of some workers in the framework … view at source ↗
read the original abstract

This paper studies decentralized re-equilibration following population shocks, such as worker exits or firm entries, in many-to-many matching markets with contracts under substitutable preferences. We show that restricting any pre-shock stable allocation to the surviving agents yields an element of a complete lattice of firm-quasi-stable allocations. On this lattice, the deferred acceptance algorithm operates as an asynchronous iteration of a monotone operator to restore stability. The induced re-equilibration map defines a join-semilattice homomorphism between the stability lattices of the original and perturbed markets, preserves the firm-optimal stable allocation across markets, and establishes an opposition of interests whereby incumbent workers are weakly better off and incumbent firms weakly worse off. Under the law of aggregate demand, the outcome simplifies to the join of the restricted pre-shock allocation and the firm-optimal stable allocation of the perturbed market. Consequently, each entering firm obtains its firm-optimal assignment, independent of the pre-shock equilibrium selection.

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.

Referee Report

0 major / 3 minor

Summary. The paper studies decentralized re-equilibration following population shocks (worker exits or firm entries) in many-to-many matching markets with contracts under substitutable preferences. It shows that the restriction of any pre-shock stable allocation to surviving agents is firm-quasi-stable and belongs to a complete lattice; on this lattice the deferred-acceptance operator is monotone and can be realized as an asynchronous iteration that restores stability. The induced re-equilibration map is a join-semilattice homomorphism between the stability lattices of the original and perturbed markets, preserves the firm-optimal stable allocation, and implies an opposition of interests (incumbent workers weakly better off, incumbent firms weakly worse off). Under the law of aggregate demand the map simplifies to the join of the restricted pre-shock allocation and the firm-optimal allocation of the perturbed market, so that each entering firm receives its firm-optimal assignment independently of the pre-shock equilibrium selection.

Significance. If the lattice-homomorphism and preservation results hold, the paper supplies a technically clean extension of the standard lattice theory of stable matchings to dynamic population shocks. The homomorphism property and the selection-independent outcome for entrants under LAD are non-trivial comparative-statics statements that follow directly from substitutability and monotonicity of the deferred-acceptance operator; they could be useful for modeling market adjustment after entry or exit. The manuscript credits the external lattice-theoretic machinery and does not claim parameter-free or self-contained derivations beyond the maintained assumptions.

minor comments (3)
  1. [Abstract] The abstract is information-dense; a short enumerated list of the main results (restriction yields quasi-stability, DA is monotone iteration, homomorphism, opposition of interests, LAD simplification) would improve readability.
  2. [Preliminaries or §2] The precise definition of the firm-quasi-stable set and the statement that it forms a complete lattice should be stated as a numbered proposition or lemma with an explicit reference to the relevant theorem in the lattice-theory literature.
  3. [Main results on re-equilibration] Clarify whether the asynchronous iteration result requires any additional technical condition beyond monotonicity of the operator (e.g., finite termination or convergence in the product order).

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful and positive summary of the paper, the assessment of its significance, and the recommendation for minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation extends standard external lattice results

full rationale

The paper's central results (join-semilattice homomorphism, preservation of firm-optimal allocation, opposition of interests) follow directly from the standard lattice structure of stable matchings and monotonicity of the deferred-acceptance operator under substitutable preferences, as established in prior literature external to this work. No steps reduce by construction to fitted parameters, self-citations, or definitions internal to the paper; the law-of-aggregate-demand simplification is likewise a direct consequence of the maintained assumption rather than a tautology. The derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper is pure theory and introduces no fitted parameters or new entities. It rests on two standard domain assumptions from matching theory.

axioms (2)
  • domain assumption Preferences are substitutable
    Invoked to ensure the existence of a complete lattice of firm-quasi-stable allocations and monotonicity of the deferred-acceptance operator.
  • domain assumption Law of aggregate demand
    Used to obtain the simplified join expression for the post-shock outcome.

pith-pipeline@v0.9.0 · 5682 in / 1488 out tokens · 23777 ms · 2026-05-24T09:08:21.428991+00:00 · methodology

discussion (0)

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

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/Foundation/BranchSelection.lean branch_selection echoes
    ?
    echoes

    ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

    the induced re-equilibration map defines a join-semilattice homomorphism between the stability lattices ... preserves the firm-optimal stable allocation

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

16 extracted references · 16 canonical work pages

  1. [1]

    General The ory of Best Variants Choice: Some Aspects,

    Aizerman, Mark A. and Andrew V. Malishevski (1981) “General The ory of Best Variants Choice: Some Aspects,” IEEE Transactions on Automatic Control , 26, 10.1109/TAC.1981.1102777

    work page doi:10.1109/tac.1981.1102777 1981

  2. [2]

    The Lattice Structure of the Set of Stable M atchings with Multiple 30 Partners,

    Blair, Charles (1988) “The Lattice Structure of the Set of Stable M atchings with Multiple 30 Partners,” Mathematics of Operations Research , 13, 619–628, 10.1287/moor.13.4.619

    work page doi:10.1287/moor.13.4.619 1988

  3. [3]

    Vacancy C hains and Equi- libration in Senior-Level Labor Markets,

    Blum, Yosef, Alvin E. Roth, and Uriel G. Rothblum (1997) “Vacancy C hains and Equi- libration in Senior-Level Labor Markets,” Journal of Economic Theory , 76, 362–411, 10.1006/jeth.1997.2307

    work page doi:10.1006/jeth.1997.2307 1997

  4. [4]

    “Timing Is Everything

    Blum, Yosef and Uriel G. Rothblum (2002) ““Timing Is Everything” an d Marital Bliss,” Journal of Economic Theory , 103, 429–443, 10.1006/jeth.2001.2885

    work page doi:10.1006/jeth.2001.2885 2002

  5. [5]

    The lattice of envy-free many-to-many matchings with co ntracts,

    Bonifacio, Agustin G., Nadia Gui˜ naz´ u, Noelia Juarez, Pablo Neme, a nd Jorge Oviedo (2023) “The lattice of envy-free many-to-many matchings with co ntracts,” Theory and Decision, 10.1007/s11238-023-09940-0

    work page doi:10.1007/s11238-023-09940-0 2023

  6. [6]

    The lattice of worker-quasi-stable matchings,

    Bonifacio, Agust ´ ın G., Nadia Gui˜ naz´ u, Noelia Juarez, Pablo Neme, and Jorge Oviedo (2022) “The lattice of worker-quasi-stable matchings,” Games and Economic Behavior , 135, 188–200, 10.1016/j.geb.2022.06.004

    work page doi:10.1016/j.geb.2022.06.004 2022

  7. [7]

    Choice and matching,

    Chambers, Christopher P. and M. Bumin Yenmez (2017) “Choice and matching,” Amer- ican Economic Journal: Microeconomics , 9, 126–147, 10.1257/mic.20150236

    work page doi:10.1257/mic.20150236 2017

  8. [8]

    A fixed-point approach to stable matching s and some applications,

    Fleiner, Tam´ as (2003) “A fixed-point approach to stable matching s and some applications,” Mathematics of Operations Research , 28, 103–126, 10.1287/moor.28.1.103.14256. Hatfield, John William and Fuhito Kojima (2010) “Substitutes and stab ility for matching with contracts,” Journal of Economic Theory , 145, 1704–1723, 10.1016/j.jet.2010.01.007. Hatfield, ...

    work page doi:10.1287/moor.28.1.103.14256 2003

  9. [9]

    Job Matching , Coalition Formation, and Gross Substitutes,

    Kelso, Alexander S. and Vincent P. Crawford (1982) “Job Matching , Coalition Formation, and Gross Substitutes,” Econometrica, 50, 1483–1504, 10.2307/1913392

    work page doi:10.2307/1913392 1982

  10. [10]

    Stable many-to-many mat ch- ings with contracts,

    Klaus, Bettina and Markus Walzl (2009) “Stable many-to-many mat ch- ings with contracts,” Journal of Mathematical Economics , 45, 422–434, 10.1016/j.jmateco.2009.03.007

    work page doi:10.1016/j.jmateco.2009.03.007 2009

  11. [11]

    Path Independence, Rationality, and So cial Choice,

    Plott, Charles R. (1973) “Path Independence, Rationality, and So cial Choice,” Econo- metrica, 41, 1075–1091, 10.2307/1914037

    work page doi:10.2307/1914037 1973

  12. [12]

    Stability and Polarization of Interests in Job Ma tching,

    Roth, Alvin E (1984) “Stability and Polarization of Interests in Job Ma tching,” Econo- metrica, 52, 47–57, http://www.jstor.org/stable/1911460

    work page arXiv 1984

  13. [13]

    Random Paths to Sta bility in Two-Sided Matching,

    Roth, Alvin E. and John H. Vande Vate (1990) “Random Paths to Sta bility in Two-Sided Matching,” Econometrica, 58, 1475–1480, 10.2307/2938326

    work page doi:10.2307/2938326 1990

  14. [14]

    A Non-constructive Elementary Proo f of the Existence of Sta- ble Marriages,

    Sotomayor, Marilda (1996) “A Non-constructive Elementary Proo f of the Existence of Sta- ble Marriages,” Games and Economic Behavior , 13, 135–137, 10.1006/game.1996.0029

    work page doi:10.1006/game.1996.0029 1996

  15. [15]

    A lattice-theoretical fixpoint theorem and its applications,

    Tarski, Alfred (1955) “A lattice-theoretical fixpoint theorem and its applications,” Pacific Journal of Mathematics , 5, 285–309, 10.2140/pjm.1955.5.285

    work page doi:10.2140/pjm.1955.5.285 1955

  16. [16]

    The lattice of envy-free matc hings,

    Wu, Qingyun and Alvin E. Roth (2018) “The lattice of envy-free matc hings,” Games and Economic Behavior , 109, 201–211, 10.1016/j.geb.2017.12.016. 32

    work page doi:10.1016/j.geb.2017.12.016 2018