A class of multipartner matching markets with a strong lattice structure

For a two-sided multipartner matching model where agents are given by path-independent choice functions and no quota restrictions, Blair [7] had shown that stable matchings always exist and form a lattice. However, the lattice operations were not simple and not distributive. Recently Alkan [3] showed that if one introduces quotas together with a monotonicity condition then the set of stable matchings is a distributive lattice under a natural definition of supremum and infimum for matchings. In this study we show that the quota restriction can be removed and replaced by a more general condition named cardinal monotonicity and all the structural properties derived in [3] still hold. In particular, although there are no exogenous quotas in the model there is endogenously a sort of quota; more precisely, each agent has the same number of partners in every stable matching. Stable matchings also have the polarity property (supremum with respect to one side is identical to infimum with respect to the other side) and a property we call complementarity

On preferences over subsets and the lattice structure of stable matchings

This paper studies the structure of stable multipartner matchings in two-sided markets where choice functions are quotafilling in the sense that they satisfy the substitutability axiom and, in addition, fill a quota whenever possible. It is shown that (i) the set of stable matchings is a lattice under the common revealed preference orderings of all agents on the same side, (ii) the supremum (infimum) operation of the lattice for each side consists componentwise of the join (meet) operation in the revealed preference ordering of the agents on that side, and (iii) the lattice has the polarity, distributivity, complementariness and full-quota properties

A theory of stability in many-to-many matching markets

We develop a theory of stability in many-to-many matching markets. We give conditions under which the setwise-stable set, a core-like concept, is nonempty and can be approached through an algorithm. The usual core may be empty. The setwise-stable set coincides with the pairwise-stable set and with the predictions of a non-cooperative bargaining model. The setwise-stable set possesses the conflict/coincidence of interest properties from many-to-one, and one-to-one models. The theory parallels the standard theory of stability for many-to-one, and one-to-one, models. We provide results for a number of core-like solutions, besides the setwise-stable set

Stable schedule matching under revealed preference

Baiou and Balinski (Math. Oper. Res., 27 (2002) 485) studied schedule matching where one determines the partnerships that form and how much time they spend together, under the assumption that each agent has a ranking on all potential partners. Here we study schedule matching under more general preferences that extend the substitutable preferences in Roth (Econometrica 52 (1984) 47) by an extension of the revealed preference approach in Alkan (Econom. Theory 19 (2002) 737). We give a generalization of the GaleShapley algorithm and show that some familiar properties of ordinary stable matchings continue to hold. Our main result is that, when preferences satisfy an additional property called size monotonicity, stable matchings are a lattice under the joint preferences of all agents on each side and have other interesting structural properties

Core many-to-one matchings by fixed-point methods

We characterize the core many-to-one matchings as fixed points of a map. Our characterization gives an algorithm for finding core allocations; the algorithm is efficient and simple to implement. Our characterization does not require substitutable preferences, so it is separate from the structure needed for the non-emptiness of the core. When preferences are substitutable, our characterization gives a simple proof of the lattice structure of core matchings, and it gives a method for computing the join and meet of two core matchings

A Theory of Stability in Many-to-Many Matching Markets

Matching market, Core, Setwise stable set

A Theory of Stability in Many-to-many Matching Markets

We develop a theory of stability in many-to-many matching markets. We give conditions under which the setwise-stable set, a core-like concept, is nonempty and can be approached through an algorithm. The usual core may be empty. The setwise-stable set coincides with the pairwise-stable set, and with the predictions of a non-cooperative bargaining model. The set-wise stable set possesses the canonical conflict/coincidence of interest properties from many-to-one, and one-to-one models. The theory parallels the standard theory of stability for many-to-one, and one-to- one, models. We provide results for a number of core-like solutions, besides the setwise-stable set.many-to-many matchings, substitutability, tarski fixed point theorem, setwise stability, core

Core Many-to-one Matchings by Fixed-point Methods

We characterize the core many-to-one matchings as fixed points of a map. Our characterization gives an algorithm for finding core allocations; the algorithm is efficient and simple to implement. Our characterization does not require substitutable preferences, so it is separate from the structure needed for the non-emptiness of the core. When preferences are substitutable, our characterization gives a simple proof of the lattice structure of core matchings, and it gives a method for computing the join and meet of two core matchings.matching, supermodular games, tarski's fixed-point theorem

Some results on stability concepts for matching models

We consider a general class of two-sided matching markets, called many-to-one matching markets with money. For a special case of these markets, where each seller owns di¤erent objects, we prove that stable outcomes cannot be characterized by the non-existence of unsatis…ed pairs. Moreover, we restore the dual lattice structure in markets with more than one seller using a connection with an assignment game.Matching, Assignment, Stability.

The Complexity of Approximately Counting Stable Matchings

We investigate the complexity of approximately counting stable matchings in the $k$-attribute model, where the preference lists are determined by dot products of "preference vectors" with "attribute vectors", or by Euclidean distances between "preference points" and "attribute points". Irving and Leather proved that counting the number of stable matchings in the general case is #P-complete. Counting the number of stable matchings is reducible to counting the number of downsets in a (related) partial order and is interreducible, in an approximation-preserving sense, to a class of problems that includes counting the number of independent sets in a bipartite graph (#BIS). It is conjectured that no FPRAS exists for this class of problems. We show this approximation-preserving interreducibilty remains even in the restricted $k$-attribute setting when $k \geq 3$ (dot products) or $k \geq 2$ (Euclidean distances). Finally, we show it is easy to count the number of stable matchings in the 1-attribute dot-product setting.Comment: Fixed typos, small revisions for clarification, et