Skip to main content
Log in

Competitive equilibrium and singleton cores in generalized matching problems

  • Original Paper
  • Published:
International Journal of Game Theory Aims and scope Submit manuscript

Abstract

We study competitive equilibria in generalized matching problems. We show that, if there is a competitive matching, then it is unique and the core is a singleton consisting of the competitive matching. That is, a singleton core is necessary for the existence of competitive equilibria. We also show that a competitive matching exists if and only if the matching produced by the top trading cycles algorithm is feasible, in which case it is the unique competitive matching. Hence, we can use the top trading cycles algorithm to test whether a competitive equilibrium exists and to construct a competitive equilibrium if one exists. Lastly, in the context of bilateral matching problems, we compare the condition for the existence of competitive matchings with existing sufficient conditions for the existence or uniqueness of stable matchings and show that it is weaker than most existing conditions for uniqueness.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2

Similar content being viewed by others

Notes

  1. Sönmez (1999) allows indifference between two distinct allocations, and in this case “essentially” singleton cores are necessary, where all allocations in the core are Pareto indifferent.

  2. Using data for five years 1991–1994 and 1996 for the thoracic surgery market, Roth and Peranson (1999) report that there are two stable matchings in 1992 and 1993 and there is only one stable matching in 1991, 1994, and 1996. Similarly, using data for two school years 2005–2006 and 2006–2007 for Boston Public School student admissions, Pathak and Sönmez (2008) find that there is only one stable matching in either year at grade K2 and there are two stable matchings in either year at grade 6.

  3. Moulin (1995) shows that, if some agents own more than one indivisible good, the set of competitive allocations may be a proper subset of the core.

  4. Since a matching can be considered as a permutation on a finite set, this result follows from the cycle decomposition theorem for permutations (see, for example, Hungerford 1974, Theorem 6.3, Ch. I).

  5. If consumers’ preferences are continuous and strongly monotone, the strict core is equivalent to the weak core defined by strong domination.

  6. Recall that a matching can be represented as the collection of trading cycles at the matching.

  7. Such a restriction on the number of goods purchased would be natural in many-to-many or many-to-one bilateral matching problems. For example, in college admissions problems, a college offers multiple homogeneous seats to be filled by different students.

  8. See Moulin (1995, Sect. 3.2) and Abdulkadiroğlu and Sönmez (2013, Sect. 3.1) for a description of the top trading cycles algorithm and its properties for housing markets.

  9. There is a variant of the top trading cycles algorithm adapted for school choice problems where students have preferences over schools and schools have capacities and priorities over students. Roughly speaking, the top trading cycles algorithm for school choice problems allows students who have the highest priority at some school to trade their priorities with each other (see Abdulkadiroğlu and Sönmez 2003, for a description of the algorithm and its properties). As in housing markets, there is no restriction on feasible trades of priorities, and thus the algorithm always yields a feasible matching.

  10. We define the length of a cycle as the number of distinct elements in the cycle.

  11. A related, though different, result can be found in Kesten (2006), who shows that, in priority-based allocation problems, the top trading cycles algorithm (adapted to the context as for school choice) and the (agent-proposing) deferred acceptance algorithm yield the same matching if and only if the priority structure is acyclic.

  12. Alternative names for top trading pairs in the literature include “pairs of P-reciprocal agents” in Alcalde (1995), “fixed pairs” in Clark (2006), and “top-top matches” in Niederle and Yariv (2009).

  13. Alcalde ’s (1995) definition of \(\alpha \)-reducibility considers only top trading pairs but not singles because he assumes that there are an even number of agents and that every agent is acceptable to all the others. Niederle and Yariv (2009) use the top-top match property instead of \(\alpha \)-reducibility for the same meaning in the context of marriage problems. \(\alpha \)-reducibility corresponds to the top-coalition property in Banerjee et al. (2001) who consider a more general model than bilateral matching problems. Note that, in bilateral matching problems where agents form coalitions of size one or two, there is no difference between the top-coalition property and the weak top-coalition property of Banerjee et al. (2001).

  14. See Gudmundsson (2014) for an excellent review of various conditions for the existence of stable matchings in roommate problems allowing for weak preferences.

  15. See Tan (1991) for the definition of stable partitions, which generalize stable matchings.

  16. As pointed out by Chung (2000, Definition 3), any marriage problem can be expressed as a roommate problem by putting all the other agents on the same side at the bottom of each agent’s preference list.

  17. The kind of weakening from \(\alpha \)-reducibility to iterative \(\alpha \)-reducibility is also suggested in footnote 11 of Banerjee et al. (2001) and in Gudmundsson (2014). Although the idea that iterative \(\alpha \)-reducibility is sufficient for the uniqueness of stable matchings can be found in previous studies, this paper highlights it as a necessary and sufficient condition for the existence of competitive matchings in roommate and marriage problems.

  18. For example, consider the marriage problem with \(M = \{m_1, m_2, m_3\}\), \(W = \{w_1, w_2\}\), and preferences \(P_{m_1}: m_1, w_1, w_2\), \(P_{m_2}: w_1, w_2, m_2\), \(P_{m_3}: w_2, w_1, m_3\), \(P_{w_1}: m_1, m_3, m_2, w_1\), \(P_{w_2}: m_2, m_3, m_1, w_2\). This marriage problem satisfies the SPC, but there are two stable matchings, \(\{ m_1, (m_2,w_1), (m_3,w_2) \}\) and \(\{ m_1, (m_2,w_2), (m_3,w_1) \}\), and thus there is no competitive matching.

References

  • Abdulkadiroğlu A, Sönmez T (2013) Matching markets: theory and practice, Advances in Economics and Econometrics, vol 1, Tenth World Congress, pp 3–47

  • Abdulkadiroğlu A, Sönmez T (2003) School choice: a mechanism design approach. Am Econ Rev 93:729–747

    Article  Google Scholar 

  • Alcalde J (1995) Exchange-proofness or divorce-proofness? Stability in one-sided matching markets. Econ Design 1:275–287

    Article  Google Scholar 

  • Ashlagi I, Kanoria Y, Leshno JD (2015) Unbalanced random matching markets: the stark effect of competition. J Polit Econ (forthcoming)

  • Banerjee S, Konishi H, Sönmez T (2001) Core in a simple coalition formation game. Soc Choice Welfare 18:135–153

    Article  Google Scholar 

  • Bikhchandani S, Mamer JW (1997) Competitive equilibrium in an exchange economy with indivisibilities. J Econ Theory 74:385–413

    Article  Google Scholar 

  • Chung K-S (2000) On the existence of stable roommate matchings. Games Econ Behav 33:206–230

    Article  Google Scholar 

  • Clark S (2006) The uniqueness of stable matchings. Contrib Theor Econ 6:1–28

    Article  Google Scholar 

  • Crawford VP, Knoer EM (1981) Job matching with heterogenous firms and workers. Econometrica 49:437–450

    Article  Google Scholar 

  • Edgeworth FY (1881) Mathematical psychics. Kegan Paul, London

    Google Scholar 

  • Eeckhout J (2000) On the uniqueness of stable marriage matchings. Econ Lett 69:1–8

    Article  Google Scholar 

  • Ehlers L, Massó J (2007) Incomplete information and singleton cores in matching markets. J Econ Theory 136:587–600

    Article  Google Scholar 

  • Gale D, Shapley LS (1962) College admissions and the stability of marriage. Am Math Mon 69:9–15

    Article  Google Scholar 

  • Gudmundsson J (2014) When do stable roommate matchings exist? A review. Rev Econ Design 18:151–161

    Article  Google Scholar 

  • Hatfield JW, Kominers SD, Nichifor A, Ostrovsky M, Westkamp A (2013) Stability and competitive equilibrium in trading networks. J Polit Econ 121:966–1005

    Article  Google Scholar 

  • Hungerford TW (1974) Algebra, Graduate Texts in Mathematics, vol 73. Springer, New York

    Google Scholar 

  • Kelso AS, Crawford VP (1982) Job matching, coalition formation, and gross substitutes. Econometrica 50:1483–1504

    Article  Google Scholar 

  • Kesten O (2006) On two competing mechanisms for priority-based allocation problems. J Econ Theory 127:155–171

    Article  Google Scholar 

  • Ma J (1994) Strategy-proofness and the strict core in a market with indivisibilities. Int J Game Theory 23:75–83

    Article  Google Scholar 

  • Ma J (2002) Stable matchings and the small core in Nash equilibrium in the college admissions problem. Rev Econ Design 7:117–134

    Article  Google Scholar 

  • Mas-Colell A, Whinston MD, Green JR (1995) Microeconomic theory. Oxford University Press, Oxford

    Google Scholar 

  • Moulin H (1995) Cooperative microeconomics: a game-theoretic introduction. Princeton University Press, Princeton

    Book  Google Scholar 

  • Niederle M, Yariv L (2009) Decentralized matching with aligned preferences, NBER Working Paper 14840

  • Pathak PA, Sönmez T (2008) Leveling the playing field: sincere and sophisticated players in the Boston mechanism. Am Econ Rev 98:1636–1652

    Article  Google Scholar 

  • Quinzii M (1984) Core and competitive equilibria with indivisibilities. Int J Game Theory 13:41–61

    Article  Google Scholar 

  • Rodrigues-Neto JA (2007) Representing roommates’ preferences with symmetric utilities. J Econ Theory 135:545–550

    Article  Google Scholar 

  • Romero-Medina A, Triossi M (2013) Acyclicity and singleton cores in matching markets. Econ Lett 118:237–239

    Article  Google Scholar 

  • Roth AE (1982a) The economics of matching: stability and incentives. Math Oper Res 7:617–628

    Article  Google Scholar 

  • Roth AE (1982b) Incentive compatibility in a market with indivisibilities. Econ Lett 9:127–132

    Article  Google Scholar 

  • Roth AE (2007) Repugnance as a constraint on markets. J Econ Perspect 21:37–58

    Article  Google Scholar 

  • Roth AE, Peranson E (1999) The redesign of the matching market for American physicians: some engineering aspects of economic design. Am Econ Rev 89:748–780

    Article  Google Scholar 

  • Roth AE, Postlewaite A (1977) Weak versus strong domination in a market with indivisible goods. J Math Econ 4:131–137

    Article  Google Scholar 

  • Shapley LS, Scarf HE (1974) On cores and indivisibility. J Math Econ 1:23–37

    Article  Google Scholar 

  • Shapley LS, Shubik M (1971) The assignment game I: the core. Int J Game Theory 1:111–130

    Article  Google Scholar 

  • Sönmez T (1996) Implementation in generalized matching problems. J Math Econ 26:429–439

    Article  Google Scholar 

  • Sönmez T (1999) Strategy-proofness and essentially single-valued cores. Econometrica 67:677–689

    Article  Google Scholar 

  • Sotomayor M (2007) Connecting the cooperative and competitive structures of the multiple-partners assignment game. J Econ Theory 134:155–174

    Article  Google Scholar 

  • Tan JJM (1991) A necessary and sufficient condition for the existence of a complete stable matching. J Algorithms 12:154–178

    Article  Google Scholar 

  • Voorneveld M, Norde H (1997) A characterization of ordinal potential games. Games Econ Behav 19:235–242

    Article  Google Scholar 

  • Wako J (1984) A note on the strong core of a market with indivisible goods. J Math Econ 13:189–194

    Article  Google Scholar 

Download references

Acknowledgments

I was introduced to the topic through the research of Joe Ostroy whose continued advice and encouragement are greatly appreciated. I am also grateful to three anonymous referees and participants at Conference on Economic Design 2015 for helpful comments and to the Department of Economics at UCLA for its hospitality during my visit.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jaeok Park.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Park, J. Competitive equilibrium and singleton cores in generalized matching problems. Int J Game Theory 46, 487–509 (2017). https://doi.org/10.1007/s00182-016-0543-9

Download citation

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00182-016-0543-9

Keywords

JEL Classification

Navigation