Lattice operations for the pairwise stable set in many-to-many markets via re-equilibration dynamics
For economists and computer scientists studying matching markets, this provides a lattice structure for stable matchings in many-to-many settings, extending known results from one-to-one and many-to-one markets.
This paper computes lattice operations for the stable set in many-to-many matching markets under path-independent choice functions, showing that iterating Tarski operators on quasi-stable matchings yields these operations.
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.