SearcharxivSearch

arXiv subjects

Noelia Juarez

Publications and source records attributed to Noelia Juarez.

10 recordsLinked to original sources

Pseudo-Substitutability: A Maximal Domain for Pairwise Stability in Matching Markets with Contracts

We study the existence of pairwise stable allocations in matching markets with contracts and propose a domain restriction that guarantees their existence. Specifically, we define pseudo-substitutable preferences, a domain that strictly extends the classical notion of substitutability while still preserving the existence of pairwise stable allocations. This domain accommodates limited complementarities among contracts while retaining enough structure to preserve the key stability properties of substitutable preferences. Moreover, we show that, among all preference domains that contain the classical substitutable domain and guarantee the existence of pairwise stable allocations, the pseudo-substitutable domain is maximal. Our results establish that pairwise stability extends well beyond the classical substitutable domain.

econ.TH

Quasi-stability notions in two-sided matching models

This paper presents weakened notions of corewise stability and setwise stability for matching markets where agents have substitutable choice functions. We introduce the concepts of worker-quasi-core, firm-quasi-core, and worker-quasisetwise stability. We also examine their relationship to established notions in the literature, such as worker-quasi and firm-quasi stability in both many-to-one and many-to-many markets.

econ.TH

Lattice operations for the stable set in many-to-many markets via re-equilibration dynamics

We compute the lattice operations for the (pairwise) stable set in many-to-many matching markets when only path-independence on agents' choice functions is imposed. To do this, we first show that the sets of firm-quasi-stable and worker-quasi-stable many-to-many matchings form lattices. Then, we construct Tarski operators on these lattices whose fixed points coincide with the set of stable matchings, and show that iterating these operators from suitable quasi-stable matchings yields the lattice operations in the stable set. These operators resemble lay-off and vacancy chain dynamics, respectively.

econ.TH

Counting steps for re-stabilization in a labor matching market

We study a one-to-one labor matching market. If a worker considers resigning from her current job to obtain a better one, how long does it take for this worker to actually get it? We present an algorithm that models this situation as a re-stabilization process involving a vacancy chain. Each step of the algorithm is a link of such a chain. We show that the length of this vacancy chain, which can be interpreted as the time the worker has to wait for her new job, is intimately connected with the lattice structure of the set of stable matchings of the market. Namely, this length can be computed by considering the cardinalities of cycles in preferences derived from the initial and final stable matchings involved.

econ.TH

Nash implementation in a many-to-one matching market

In a many-to-one matching market, we analyze the matching game induced by a stable rule when firms' choice function satisfy substitutability. We show that any stable rule implements the individually rational correspondence in Nash equilibrium when both sides of the market play strategically. Moreover, when only workers play strategically and firms' choice functions satisfy the law of aggregate demand, we show that the firm-optimal stable rule implements the stable correspondence in Nash equilibrium.

econ.TH

The lattice of envy-free many-to-many matchings with contracts

We study envy-free allocations in a many-to-many matching model with contracts in which agents on one side of the market (doctors) are endowed with substitutable choice functions and agents on the other side of the market (hospitals) are endowed with responsive preferences. Envy-freeness is a weakening of stability that allows blocking contracts involving a hospital with a vacant position and a doctor that does not envy any of the doctors that the hospital currently employs. We show that the set of envy-free allocations has a lattice structure. Furthermore, we define a Tarski operator on this lattice and use it to model a vacancy chain dynamic process by which, starting from any envy-free allocation, a stable one is reached.

econ.TH

Core and stability notions in many-to-one matching markets with indifferences

In a many-to-one matchingmodel with responsive preferences in which indifferences are allowed, we study three notions of core, three notions of stability, and their relationships. We show that (i) the core contains the stable set, (ii) the strong core coincides with the strongly stable set, and (iii) the super core coincides with the super stable set. We also show how the core and the strong core in markets with indifferences relate to the stable matchings of their associated tie-breaking strict markets.

econ.TH

The lattice of worker-quasi-stable matchings

In a many-to-one matching model in which firms' preferences satisfy substitutability, we study the set of worker-quasi-stable matchings. Worker-quasi-stability is a relaxation of stability that allows blocking pairs involving a firm and an unemployed worker. We show that this set has a lattice structure and define a Tarski operator on this lattice that models a re-equilibration process and has the set of stable matchings as its fixed points.

econ.TH

Cycles to compute the full set of many-to-many stable matchings

In a many-to-many matching model in which agents' preferences satisfy substitutability and the law of aggregate demand, we present an algorithm to compute the full set of stable matchings. This algorithm relies on the idea of "cycles in preferences" and generalizes the algorithm presented in Roth and Sotomayor (1990) for the one-to-one model.

econ.TH

Lattice structure of the random stable set in many-to-many matching market

For a many-to-many matching market, we study the lattice structure of the set of random stable matchings. We define a partial order on the random stable set and present two intuitive binary operations to compute the least upper bound and the greatest lower bound for each side of the matching market. Then, we prove that with these binary operations the set of random stable matchings forms two dual lattices.

econ.TH