Abstract
We consider two-sided many-to-many matching markets in which each worker may work for multiple firms and each firm may hire multiple workers. We study individual and group manipulations in centralized markets that employ (pairwise) stable mechanisms and that require participants to submit rank order lists of agents on the other side of the market. We are interested in simple preference manipulations that have been reported and studied in empirical and theoretical work: truncation strategies, which are the lists obtained by removing a tail of least preferred partners from a preference list, and the more general dropping strategies, which are the lists obtained by only removing partners from a preference list (i.e., no reshuffling). We study when truncation/dropping strategies are exhaustive for a group of agents on the same side of the market, i.e., when each match resulting from preference manipulations can be replicated or improved upon by some truncation/dropping strategies. We prove that for each stable mechanism, dropping strategies are exhaustive for each group of agents on the same side of the market (Theorem 1), i.e., independently of the quotas. Then, we show that for each stable mechanism, truncation strategies are exhaustive for each agent with quota 1 (Theorem 2). Finally, we show that this result cannot be extended neither to individual manipulations when the agent’s quota is larger than 1 (even when all other agents’ quotas equal 1—Example 1), nor to group manipulations (even when all quotas equal 1—Example 2).
Similar content being viewed by others
Notes
Note that agents only have preferences over potential partners on the other side of the market and not over their colleagues.
An agent has substitutable preferences if the agent continues to want to be partners with an agent even if other agents become unavailable. Note that substitutability excludes complementarities. Substitutability was introduced by Kelso and Crawford (1982) to show the existence of stable matchings in a many-to-one model with money.
In particular, quotas cannot be manipulated (cf. Sönmez 1997).
Responsiveness implies substitutability, and hence the existence of a stable matching.
See, for instance, Roth (1991).
Roth and Vande Vate (1991) studied random stable mechanisms. We rephrase their Theorem 2 to fit it for our framework.
In fact, Kojima and Pathak (2009) also considered strategic manipulation by underreporting quotas. We focus on manipulation via preference lists and aim to establish “exhaustiveness results” (of truncation and dropping strategies) for different classes of quota vectors.
Note that we only focus on (pairwise) stability and do not consider larger blocking coalitions than worker-firm pairs. This is not a conceptual contradiction to our study of joint manipulations, since larger blocking coalitions would involve agents from both sides of the market, while the joint manipulations we study only deal with groups of agents on the same side of the market. It seems more likely that a group of agents on the same side of the market can carry out a group manipulation that is actually binding on its members.
For each many-to-one market, there is a one-to-one correspondence between its stable matchings and those of a related one-to-one market. Hence, many properties of the set of stable matchings in the one-to-one model carry over to the many-to-one model. Yet, with respect to strategic issues, Roth (1985a) showed that the two models are not equivalent.
With some abuse of notation we often write \(x\) for a singleton \(\{x\}\).
A many-to-one matching market is a market where each agent on one given side of the market has quota 1. A one-to-one or marriage market is a market where each agent has quota 1.
Alternatively, by responsiveness condition (r1), a matching \(\mu \) is individually rational if no agent would be better off by breaking a match, i.e., for each \(i\in I\) and each \(j\in \mu (i), \mu (i) \succ _i \mu (i)\backslash j\).
By responsiveness conditions (r1) and (r2), (b2) is equivalent to [ \([|\mu (w)|< q_w\) and \(\mu (w)\cup f \succ _w \mu (w)\,]\) or [there is \(f^{\prime } \in \mu (w)\) such that \(\, (\mu (w)\setminus f^{\prime })\cup f \succ _w \mu (w)\,]\, \) ]. A similar equivalent statement holds for (b3).
In fact, the set of stable matchings does not depend on the agents’ orderings of the (individual) unacceptable partners either.
In particular, quotas cannot be manipulated (cf. Sönmez 1997).
We do not suppress the notation \(q\) since the quotas play a role in the definition of stability. Moreover, our results are also conditional on the values of the quotas.
The listed potential partners are interpreted as the acceptable potential partners. The other potential partners are unacceptable and, since we focus on stable mechanisms, their relative ordering is irrelevant.
However, some stable mechanisms are strategy-proof for one side of the market if each agent on that side of the market has quota 1 (Roth 1982, Theorem 5).
The proof of Theorem 1 shows that any group of agents on the same side of the market only needs to consider dropping strategies in which the number of acceptable firms they report is at most their quota. However, they cannot only focus on dropping strategies in which the number of acceptable firms is equal to their quota (Example 3). We would like to thank the associate editor for pointing out this fact. We refer to Sect. 4 for further details.
For each pair of truncation strategies of \(w_1\) and \(w_2\), we can construct a pair of dropping strategies that consist of the acceptable firms that they are matched to at \(\varphi (Q_{w_1},Q_{w_2}, P_{-\{w_1,w_2\}})\) in the true relative order (as described in the proof of Theorem 1). Then, these dropping strategies yield the same matches for \(w_1\) and \(w_2\).
A setwise stable matching is an individually rational matching that cannot be blocked by a coalition that forms new matches only among its members, but may preserve some of its matches outside of the coalition. See Roth (1984a), Sotomayor (1999b), and Echenique and Oviedo (2006) for a discussion on setwise stability.
Note that by introducing additional workers and firms, the result here can be extended in a straightforward way to many-to-one matching markets.
References
Alkan A (1999) On the properties of stable many-to-many matchings under responsive preferences. In: Alkan A, Aliprantis CD, Yannelis NC (eds) Current trends in economics: theory and applications, vol 8. Studies in economic theory. Springer, Berlin
Alkan A (2001) On preferences over subsets and the lattice structure of stable matchings. Rev Econ Des 6(1):99–111
Alkan A (2002) A class of multipartner matching markets with a strong lattice structure. Econ Theory 19(4):737–746
Ashlagi I, Klijn F (2012) Manipulability in matching markets: conflict and coincidence of interests. Soc Choice Welf 39(1):23–33
Baïou M, Balinski M (2000) Many-to-many matchings: stable polyandrous polygamy (or polygamous polyandry). Discret Appl Math 101(1):1–12
Blair C (1988) The lattice structure of the set of stable matchings with multiple partners. Math Oper Res 13(4):619–628
Coles P, Shorrer R (2012) Optimal truncation in matching markets. Mimeo, Harvard Business School, Allston
Dubins LE, Freedman DA (1981) Machiavelli and the gale-shapley algorithm. Am Math Mon 88(7): 485–494
Echenique F, Oviedo J (2006) A theory of stability in many-to-many matching markets. Theor Econ 1(2):233–273
Ehlers L (2008) Truncation strategies in matching markets. Math Oper Res 33(2):327–335
Fleiner L (2003) A fixed-point approach to stable matchings and some applications. Math Oper Res 28(1):103–126
Gale D, Shapley LS (1962) College admissions and the stability of marriage. Am Math Mon 69(1):9–15
Kelso AS, Crawford VP (1982) Job matching, coalition formation, and gross substitutes. Econometrica 50(6):1483–1504
Klaus B, Walzl M (2009) Stable many-to-many matchings with contracts. J Math Econ 45(7):422–434
Klijn F, Yazıcı A (2012) A many-to-many ‘Rural Hospital Theorem’. Barcelona Graduate School of Economics, Working Paper 567
Kojima F, Pathak PA (2009) Incentives and stability in large two-sided matching markets. Am Econ Rev 99(3):608–627
Konishi H, Ünver MU (2006) Credible group-stability in many-to-many matching problems. J Econ Theory 129(1):57–80
Ma J (2010) The singleton core in the college-admissions problem and its application to the national resident matching program (NRMP). Games Econ Behav 69(1):150–164
Martínez R, Massó J, Neme A, Oviedo J (2004) An algorithm to compute the set of many-to-many stable matchings. Math Soc Sci 47(2):187–210
Mongell S, Roth AE (1991) Sorority rush as a two-sided matching mechanism. Am Econ Rev 81(3):441–464
Romm A (2011) Mechanism-free implications of entry and capacity reduction in many-to-one stable matching. Mimeo, Harvard Business School, Allston
Roth AE (1982) The economics of matching: stability and incentives. Math Oper Res 7(4):617–628
Roth AE (1984a) Stability and polarization of interests in job matching. Econometrica 52(1):47–58
Roth AE (1984b) The evolution of the labor market for medical interns and residents: a case study in game theory. J Political Econ 92(6):991–1016
Roth AE (1985a) The college admission problem is not equivalent to the marriage problem. J Econ Theory 36(2):277–288
Roth AE (1985b) Conflict and coincidence of interest in job matching: some new results and open questions. Math Oper Res 10(3):379–389
Roth AE (1991) A natural experiment in the organization of entry-level labor markets: regional markets for new physicians and surgeons in the United Kingdom. Am Econ Rev 81(3):415–440
Roth AE, Rothblum UG (1999) Truncation strategies in matching markets—in search of advice for participants. Econometrica 67(1):21–43
Roth AE, Sotomayor MAO (1989) The college admissions problem revisited. Econometrica 57(3):559–570
Roth AE, Sotomayor MAO (1990) Two-sided matching: a study in game-theoretic modeling and analysis. Cambridge University Press, Econometric Society Monograph Series, New York
Roth AE, Vande Vate JH (1991) Incentives in two-sided matching with random stable mechanisms. Econ Theory 1(1):31–44
Sönmez T (1997) Manipulation via capacities in two-sided matching markets. J Econ Theory 77(1):197–204
Sotomayor MAO (1999a) The lattice structure of the set of stable outcomes of the multiple partners assignment game. Int J Game Theory 28(4):567–583
Sotomayor MAO (1999b) Three remarks on the many-to-many stable matching problem. Math Soc Sci 38(1):55–70
Sotomayor MAO (2004) Implementation in the many-to-many matching market. Games Econ Behav 46(1):199–212
Acknowledgments
We would like to thank Lars Ehlers, Jordi Massó, William Thomson, Hanzhe Zhang, an associate editor, and two anonymous referees for helpful comments on an earlier draft of the paper. We thank the seminar participants at Universidad de los Andes, Universidad del Rosario, GAMES 2012, and First Caribbean Game Theory Conference for valuable discussions. Ç. Kayı gratefully acknowledges the hospitality of Institute for Economic Analysis (CSIC) and financial support from Colciencias/CSIC (Convocatoria No: 506/2010), El Patrimonio Autónomo Fondo Nacional de Financiamiento para la Ciencia, la Tecnología y la Innovación, Francisco José de Caldas. The first draft of this paper was written while F. Klijn was visiting Universidad del Rosario. He gratefully acknowledges the hospitality of Universidad del Rosario and financial support from CSIC/Colciencias through grant 2010C00013 and the Spanish Ministry of Economy and competitiveness through Plan Nacional I+D+i (ECO2011–29847) and the Severo Ochoa Programme for Centres of Excellence in R&D (SEV-2011-0075).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Jaramillo, P., Kayı, Ç. & Klijn, F. On the exhaustiveness of truncation and dropping strategies in many-to-many matching markets. Soc Choice Welf 42, 793–811 (2014). https://doi.org/10.1007/s00355-013-0746-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00355-013-0746-y