Abstract

Hedonic games are simple models of coalition formation whose main solution concept is that of core partition. Several conditions guaranteeing the existence of core partitions have been proposed so far. In this paper, we explore hedonic games where a reduced family of coalitions determines the development of the game. We allow each coalition to select a subset of it so as to act as its set of representatives (a distribution). Then, we introduce the notion of subordination of a hedonic game to a given distribution. Subordination roughly states that any player chosen as a representative for a coalition has to be comfortable with this decision. With subordination we have a tool, within hedonic games, to compare how a “convenient” agreement reached by the sets of representatives of different groups of a society is “valued” by the rest of the society. In our approach, a “convenient” agreement is a core partition, so this paper is devoted to relate the core of a hedonic game with the core of a hedonic game played by the sets of representatives. Thus we have to tackle the existence problem of core partitions in a reduced game where the only coalitions that matter are those prescribed by the distribution as a set of representatives. We also study how a distribution determines the whole set of core partitions of a hedonic game. As an interesting example, we introduce the notion of hedonic partitioning game, which resembles partitioning games studied in the case where a utility, transferable or not, is present. The existence result obtained in this new class of games is later used to provide a nonconstructive proof of the existence of a stable matching in the marriage model.

1. Introduction

Coalitional games are models which take into account the interaction between the players of the game. In general, any subgroup of players (a coalition) can influence the result of the game. However, it has been recognized that, sometimes, some of the coalitions can completely determine the development of the game. In their seminal paper, Kaneko and Wooders [1] introduce the class of partitioning games as a way to capture the fact that “In an -cooperative game it may not be equally easy to form every coalition.” In those games, only a subset of coalitions play such an essential role that determines the behavior of all the other coalitions. This characteristic is shared for several of the games studied in the literature such as the marriage game [2], the bridge game [3], the assignment game [4], and the m-sided assignment game [5] among others. Kaneko and Wooders [1] present a transferable utility version for partitioning games and a nontransferable utility version as well and focus on the nonemptiness of the core of the games. As a key contribution, they provide a list of necessary and sufficient conditions to characterize a class of families of coalitions under which any possible induced partitioning game has nonempty core, a property motivated by the behavior exhibited by the assignment game. We point out that the essential coalitions in the well-known marriage game of Gale and Shapley [2] satisfy those conditions, although none of the versions of the games presented by Kaneko and Wooders [1] suit well to deal with the existence of a stable matching. Hedonic games [6, 7], which constitute another class of games, have received considerable attention in the last decade and seem to be more appropriate to deal with matching problems than coalitional games where a utility is present. A hedonic games is a simple model of coalition formation determined by a set of players and a profile of preferences where, for any is an ordering of the coalitions containing player . The main solution concept for a hedonic game is that of core partition, namely, a partition of the set of players that is resistant to a certain class of objections raised by the coalitions in the game (Section 2). There are several sufficient conditions for the existence of core partitions, being those of top-coalition properties [6], consecutiveness, and ordinal balancedness [7] among the most well known. Iehlé [8] gives a complete answer to the existence problem in a general setting by introducing the notion of pivotal balancedness. To define pivotal balancedness first it is associated one of its subsets to each coalition . Iehlé [8] calls this family of subsets a distribution. Iehlé's condition states that a hedonic game has nonempty core if and only if there is a distribution such that the game is pivotally balanced with respect to this distribution (see Section 2). Thus, checking this condition is a two-step procedure. First, a distribution has to be considered, and then, the balancedness condition has to be verified.

On the other hand, in many situations, different groups in a society choose a subgroup to act as their representatives. Then, the agreements (if any) reached by the groups of representatives are imposed, one way or the other, to the whole society. An interesting issue is whether a “convenient” agreement for the representatives is also good for the rest of the society. With this idea in mind, we note that a set of representatives for a coalition can be taken as an element of a distribution , a relation that builds a bridge between our objective and a well-developed mathematical framework. We also point out that, although the notion of pivotally balancedness works very well to deal with the general existence problem of core partitions in hedonic games, it does not reflect to which extent a family of coalitions of representatives determines the behavior of the game. For instance, if a family of coalitions of representatives (a distribution) plays a reduced game where the only admissible coalitions are those in , an interesting issue is to look for relationships, if any, between the cores of both games. For instance, if is a core partition in the reduced game (an agreement between the groups of representatives), is also a core partition (a good agreement for the whole society) in the original game? Answers to this problem could help, at least, in two dimensions to the treatment of hedonic games. First, since we start with a distribution, the first step in the two-step procedure mentioned above is simplified. Second, in order to get core partitions in the original game, one can solve a reduced and possibly simpler game.

Unfortunately, as several examples show, there are no general results. What is missing is the description of some connection, apart from inclusion, between a coalition and its set of representatives. To tackle this point, we appeal to the notion of a hedonic game subordinated to a distribution. In order to deal with the reduced game played by the coalitions of representatives we present some results about a hedonic game with a restricted family of admissible coalitions. They are simple extensions of the main existence results proved by Iehlé [8]. Pápai [9] has already used the idea of restrict the family of feasible coalitions to get uniqueness results about core partitions in hedonic games, while the idea of subordination (Section 3) seems to be new. Subordination in a game roughly states that any player chosen as a representative of a coalition has to be comfortable with this decision. This is formalized by asking that if stands for the set of representatives of a coalition , then for any . Subordination involves some degree of anonymity on the individual preferences, although it is weaker than the common ranking property [10] or the top-coalition condition [6]. When subordination is present, a balancedness condition has to be checked only on the family of representatives to guarantee the existence of core partitions. Moreover, under mild additional conditions, the family of representatives determines completely the core of the hedonic game.

The organization of the paper is as the following. In the next section, we present our version of hedonic games where some restrictions on the family of admissible coalitions are imposed. They are a straightforward extension of hedonic games as stated by Banerjee et al. [6] and Bogomolnaia and Jackson [7] where there is no restriction on the family of admissible coalitions. For this enlarged class of hedonic games we state two balancedness conditions extending those of ordinal balancedness of Bogomolnaia and Jackson [7] and pivotal balancedness of Iehlé [8]. Following those authors, we show that both conditions are sufficient to guarantee the existence of core partitions, while pivotal balancedness is also a necessary condition. In Section 3 we study the issue of subordination. The idea behind subordination is that, given a reduced family of coalitions, along with a profile of preferences, there are games whose core behavior is determined by this basic information. We state some sufficient conditions to guarantee the existence of core partitions and to guarantee that the core of the whole game is fully determined by the basic information given on a reduced family of coalition as well. Several examples and counter examples are also shown there. In Section 4 we relate subordination to other sufficient conditions guaranteeing the existence of core partitions in hedonic games like top-coalition properties [6] and consecutiveness [7]. At the end of this section, we introduce the notion of partitioning hedonic game. They always have a family of essential coalitions associated, and we prove that every partitioning game has nonempty core if the family of essential coalitions satisfies either condition (ii) or the equivalent condition (iii) of Theorem 2.7 of Kaneko and Wooders [1]. We use the results about hedonic partitioning games to elaborate a nonconstructive proof of the existence of a stable matching in the marriage game [2] different from the proof provided by Sotomayor [11]. To this end, we associate a partitioning hedonic game to each marriage problem, so that results in Section 4 can be used. We include a final Appendix where we sketch the existence proof of core partitions in hedonic games with a restricted family of admissible coalitions very similar to that of Theorem 3 of Iehlé [8].

2. Hedonic Games

To define a hedonic game, we start with a nonempty finite set , the players, and its family of nonempty subsets, the coalitions. Given any family of coalitions and a player , we denote by the subfamily of coalitions in containing player . A hedonic game is a 3-tuple , where is a nonempty family and is a preference profile with , for any , being a reflexive, complete, and transitive binary relation on . For any , will stand for the strict preference relation related to if and only if but not . will denote the family of partitions of such that for any . Given and , will denote the unique set in containing player .

Given a hedonic game and , we say that blocks if, for any , . The core of is the set of partitions in blocked by no coalition. In a game , is the family of admissible coalitions. The most studied case in the literature is , namely, when there is no restriction on the set of admissible coalitions (see, e.g., [68]). When this is the case, we will omit from all the notation, and we will use instead of to denote the individual (strict) preference of a player . The case , as stated in this paper, has already been used by Cesco [12] to study some existence result in many-to-one matching problems.

Definition 1. A nonempty collection such that for any is called essential.
Families with such a characteristic have been used by Kaneko and Wooders [1], Quint [5], and Le Breton et al. [13] among others to study the existence of core solutions in games where a restricted family of coalitions determines the behavior of the whole game. From now on, when dealing with a hedonic game , we will assume that the family is essential.
A family of coalitions is balanced if there exists a collection of positive real numbers satisfying , for all . The numbers are the balancing weights for . is minimal balanced if there is no proper balanced subfamily of it. In this case, the set of balancing weights is unique. A family of essential coalitions is -partitionable [1] if and only if the only minimal balanced subfamilies that it contains are partitions.

Definition 2. Given a nonempty family of coalitions , is an -distribution if, for each coalition , and . In addition, an -distribution is simply called a distribution when .
Given an -distribution , a family is -balanced if the family is balanced.

Definition 3. is ordinally balanced if for each balanced family there is a partition such that, for any for some .
Ordinal balancedness is first stated by Bogomolnaia and Jackson [7] for the case .

Definition 4. is pivotally balanced with respect to an -distribution , if for each -balanced family there is a partition such that, for any , for some . The game is pivotally balanced if it is pivotally balanced with respect to some -distribution .
This general concept of pivotal balancedness was introduced by Iehlé [8] for the case .

Remark 5. Ordinal balancedness implies pivotal balancedness with respect to the -distribution , where stands for the indicator vector of the coalition , namely, when is the -dimensional vector with if player belongs to and if player does not belong to .
The following result is a simple extension of the main characterization proved by Iehlé [8, Theorem 3] and whose proof is carried out in a similar way. However, for the sake of completeness, we sketch the proof in the Appendix.

Theorem 6 (see Iehlé [8]). Let be a hedonic game with as its family of admissible coalitions. Then, the core of is nonempty if and only if the game is pivotally balanced.

3. Subordinated Games

As a motivation for the content of this section, let us start with an example which is a slight modification of Game 5 of Banerjee et al. [6].

Example 7. Let be a hedonic game with and where the preferences for players , and are given in the three lines below (in this example and in the following ones as well, we will omit the subscript in the symbol describing the preference of player to avoid misleading): The only core partition in is . According to Iehlé [8, Proposition 1], is pivotally balanced with respect to the distribution given by The family describes the set of essentially different coalitions in the distribution . Moreover, if we consider the game where is restriction of to the family , namely, if are the restricted preferences for players , , and , respectively, then it is easy to check that is also the only core partition of this game with a restricted family of admissible coalition.
In this example, the game is pivotally balanced with respect to the family , and this family determines completely the core of the game in the sense that the core of the reduced game coincides with that of . However, as the following example shows, there can be no relation at all between the core of a hedonic game and the core of a reduced game related to one of the distributions the game is pivotally balanced to.

Example 8. Let the be a game with and with preferences for players , , , and given by respectively. This game is pivotally balanced since is clearly a core partition in . Moreover, according to Iehlé [8, Proposition 1], the game is pivotally balanced with respect to the distribution , where for any with and . In this case, coincides with the family of all coalitions with cardinality less than four. However, in the associated game , it is a simple exercise to check that there is a blocking coalition in for any of the fifteen -partitions that this game have. Therefore, this game has no core partition.

The aim of this section is to explore more deeply these kind of relationships. To this end we start by defining what we mean by a subordinated game.

Definition 9. A hedonic game is subordinated to a distribution when, for any and any , whenever contains player .

The game in Example 7 is subordinated to the distribution showed there.

We point out that, for any given distribution in a hedonic game , the family is an essential family of coalitions since , and therefore, for any .

When subordination is present, the behavior of the coalitions in a distribution determines, to some extent, the core of a hedonic game. The next result illustrates this point. Given a hedonic game and a distribution , let be the hedonic game having as its family of admissible coalitions and where is the restriction of to .

Theorem 10. Let be a hedonic game subordinated to a distribution with . Then,(a)the core of is included in the core of .(b)If, for any such that for any , for any , then the core of is the same as the core of .

Proof. Let . We will show that too. Clearly, there is no objecting . So, let us assume that there is objecting . Then, for each , we have that But, because of subordination, for all . Then, for any , and since is the restriction of to , from (8) we get that for all . But this indicates that objects in , a contradiction. Thus, .
To see part (b), let us assume that . Then, for at least one , . Let . Then, for each , . Thus, is an objection to , a contradiction proving that .

In general, the reverse inclusion of that stated in (a) does not hold, mainly because some core partitions in are not -partitions in . On the other hand, we note that the game in Example 7 is a subordinated game for which condition (b) of Theorem 10 holds, which supports the equality between the core of and that of . However, in general, the inclusion in (a) of Theorem 10 is strict as Example 8 shows. Furthermore, the inclusion can be strict even though the core of is nonempty. The next example illustrates this point.

Example 11. Let be a hedonic game with , and let be the distribution given by Then . Let the preference profile in have preferences for players , , and given by Consequently, the preference profile defined on in the associated game is It is easy to check that the only core partition of is . Thus, while is still a core partition in , it is also simple to check that is a core partition in too.
While condition (b) of Theorem 10 is sufficient for the coincidence of the cores of and , respectively, when subordination is present, the next example shows that it is not necessary.

Example 12. Let and be like in Example 11. We now replace the individual preference of player 2 by the following one: Then, although this new game does not satisfy condition (b) of Theorem 10, it is easy to check that is the only core partition in both games and .
Finally, when subordination is not present, we can say nothing about the inclusion stated in part (a) of Theorem 10 as the two games in the next example show.

Example 13. Let us start with the game and the same distribution used in Example 7. We now modify the individual preference of player 2 as follows: Then the game with preference profile with this new preference for player is no longer subordinated to the distribution since , but for player . Nevertheless, its only core partition is still . On the other hand, the associated game coincides with that of Example 7. Then, its only core partition is too, and the inclusion stated in part (a) of Theorem 10 is verified although subordination is not present.
Now, let , and let a hedonic game with the preferences of players , , and given by The only core partition in is . Now, let be the same distribution used in Example 7. Again, since but for player , is not subordinated to . Also, the game is equal to the corresponding game for the game in Example 7, so its only core partition is . Then is not included in in this case.
In the light of Theorem 10, any condition guaranteeing the nonemptiness of the core of the game (e.g., pivotal balancedness) will be a sufficient condition for the nonemptiness of the subordinated game to . Thus, the nonemptiness of the core of implies the pivotal balancedness of , although Theorem 10 does not exhibit a family such that the game be pivotally balanced with respect . However, if we impose on the more strict condition of ordinal balancedness, then we can also exhibit, easily, such a distribution.

Proposition 14. Let be a hedonic game subordinated to a distribution with . If is ordinally balanced, then is pivotally balanced with respect to the distribution .

Proof. Let be an -balanced family of coalitions in . Then, the family is balanced. Since for each , , is also balanced in . Thus, there is an -partition such that, for each , for some , with containing player . However, since is subordinated to , we get that for some such that .

Corollary 15. Let be a hedonic game subordinated to a distribution with . If is partitionable then is pivotally balanced with respect to the distribution .

Remark 16. Theorem 10, Proposition 14 and its Corollary 15 are related to a given game and a distribution . Hence we derive the family of essential coalitions and the reduced game . If we start with a family of essential coalitions and is now any hedonic game  subordinated to a distribution such that , those results can be extended to a whole family of games.
The result in Proposition 14 is no longer true when ordinal balancedness for the game is replaced by pivotal balancedness as Example 17 shows.

Example 17. Let us consider Game 5 of Banerjee et al. [6], which is the game with and where the individual preferences for players , , and are given by The only core partition in is . If is the distribution given by then . The associated hedonic game is not ordinally balanced. In fact, the family is -balanced. However, for any in this game, there is always a player that strictly prefers the worst coalition he belongs to in to . For instance, if , player 3 strictly prefers either or to . On the other hand, it is easy to check that is subordinated to , but, clearly, it is not pivotally balanced with respect to . Nevertheless, since its core is nonempty, it is pivotally balanced with respect to another distribution (see [8]).
Even when we do not have much more information about the game and consequently we are not aware whether Proposition 14 applies or not, there is still a procedure that can be useful to gather information about the game in many cases.

Definition 18. Given a hedonic game and a distribution , we say that a distribution is finer than if for any .
We point out that when a distribution satisfies that for all , then pivotal balancedness and ordinal balancedness coincide.
In the next result we are going to use the following notation. Given a distribution , for any , and for any natural number , let . We agree in putting .

Lemma 19. Given a hedonic game subordinated to a distribution with , there is a finer distribution than with for any and such that is also subordinated to the distribution .

Proof. Since, for any , , there is a first , , such that . Now, for any , we define . Then, for any we have that
Moreover, for any given and since the game is subordinated to , we have that for any , so the game is also subordinated to .

In the game of Example 17, .

The rationale behind the definition of distribution is that the set of representatives of a coalition can also be a set of representatives of . What subordination implies is that if the members of a coalition want to represent a set of representatives of a coalition ( for all ) then they are willing to represent the coalition too. We point out that, since always , the distribution is endowed with a certain minimality property. Namely, for any , is the smaller set (with respect to inclusion) that it is able to act as a representative of coalition , according to the rules of selection of representatives prescribed by the distribution . Moreover, is defined in a unique way. Under the hypothesis of Lemma 19, we can consider the game with . We note that for any coalition it holds that . Thus if is ordinally balanced then, because of Proposition 14, is pivotally balanced with respect to the distribution . Therefore, when subordination is present, wether we know that the game is ordinally balanced or not, there is still another instance to get information about the core of the original game through the simpler game . An interesting example is when the family . This case illustrates the situation where each coalition is willing to admit a set with only one player as its set of representatives. Then, according to Theorem 10, the partition is a core partition in . Moreover, if for any , , and there is such that , then is the only core partition in , for in this case for any , .

Example 8 shows that a game can be pivotally balanced with respect to a distribution with , while the associated reduced game is not pivotally balanced. Thus, in this case, there seems to be no information in the game about the core of . However, when subordination is present we obtain a positive result.

Definition 20. Given a hedonic game , we say that a distribution with is tight if for any partition there is a partition such that, for any , .

Theorem 21. Let be a hedonic game subordinated to a tight distribution with . Then, the core of is nonempty if and only if the core of is nonempty.

Proof. Let us assume first that is a core partition in . Since is tight, there is a partition such that for any . We claim that is a core partition in . If this was not the case, there would be such that for any , but then would block , a contradiction.
The other implication follows directly from part (a) of Theorem 10.

Remark 22. From the proof of the latter theorem, it follows that, when a game is pivotally balanced with respect to a tight distribution with , the pivotal balancedness of always implies that of . However, when subordination is not present, this condition is not necessary as the second game in Example 13 illustrates. On the other hand, Example 8 shows a case of a pivotally balanced game with respect to a distribution , where the distribution is not tight and the the associated reduced game is not pivotally balanced. Thus, without “tightness,” the pivotal balancedness of a reduced game is independent of that of .

Remark 23. When subordination is present in a game , for any given partition and any . However, although , , is an -family of mutually exclusive sets, it is not, in general, a partition. Thus, tightness provides a related but stronger characteristic than subordination about the game.

4. Subordination and Other Sufficient Conditions

Subordination seems to be a strong condition capable of linking core properties of a hedonic game with core properties of some of its reduced games constructed based on a restricted family of coalitions. Many of the games studied in the literature share the characteristic that its behavior also depends on particular subfamilies of coalitions. The aim of this section is to relate some of these games to subordination.

4.1. Consecutive Games

Consecutive games were studied by Bogomolnaia and Jackson [7]. In order to define them, let be a finite set and a bijection, namely, an ordering on . A coalition is consecutive with respect to if with implies that too.

Definition 24. A hedonic game is consecutive if there is an ordering on such that for some implies that is consecutive with respect to .

Proposition 25. Let be a consecutive game and an ordering on that makes the game consecutive. Then,(a) is subordinated to the distribution defined by if is consecutive (with respect to and for some if is not consecutive.(b)If , the core of and the core of coincide.(c) is pivotally balanced with respect to the distribution .

Proof. (a) Clearly for any when is consecutive. On the other hand, when is not consecutive. Thus, is subordinated to .
(b) Since is consecutive}, implies that is not consecutive, and thus, for the unique element of . Then, condition (b) of Theorem 10 also applies. So, the core of is the same as the core of .
(c) First we are going to show that is ordinally balanced. Let be a balanced family of coalitions. From Greenberg and Weber [14, Proposition 1], it follows that the family is partitionable, so (c) follows from Corollary 15.

Remark 26. We point out that part (c) of Proposition 25 has already been proven by Iehlé [8, Proposition 3]. Iehlé's proof and ours are somehow different, but both are based on Proposition 1 of Greenberg and Weber [14].

4.2. Top-Coalition Property

The top-coalition property [6] is another well-known condition guaranteeing the existence of a core partition in a hedonic game . It is also connected to subordination, as the following result shows. We recall that is a top coalition of if and for any and with , .

Definition 27. A hedonic game satisfies the top-coalition property if for any coalition there is a top-coalition of . One says that a distribution is a top-coalition distribution of if, for any , is a top-coalition of .

Proposition 28. Let be a hedonic game satisfying the top-coalition property. Then, is subordinated to any top-coalition distribution .

Proof. It follows directly from the definition of .

Many of the examples presented in Banerjee et al. [6, Section 6] also satisfy the property that the top-coalition distribution chosen is ordinally balanced. However, unlike consecutive games, a hedonic game satisfying the top-coalition property may have core partitions although a top-coalition distribution is not, for instance, ordinally balanced. Let us see the following example.

Example 29. Let us consider Game 5 of Banerjee et al. [6] again (see Example 13) but now with the distribution assigning for any with and . Then, is a top coalition for any . However, for there is no partition such that, for any , for at least one , whose members are elements of the family . In fact, any partition has to contain a coalition with only one element. For this element , it holds that is not for any of the coalitions of containing it. Of course, the game is not pivotally balanced with respect to either. However, the game is pivotally balanced with respect to the distributions , , , , , obtained from by the procedure described by Iehlé [8, Proposition 3].

4.3. Partitioning Hedonic Games

Hedonic partitioning games do not seem to have been studied from this approach before. Our motivation to study them comes from partitioning games as introduced by Kaneko and Wooders [1] in the context of cooperative games where a utility, transferable or not, is present. In addition, we also introduce this new class of games to have a tool to deal with matching problems from a game theoretic point of view. Partitioning games, as Kaneko and Wooders [1] show in their fundamental paper, take the idea that the development of a game can depend on a restricted family of coalitions to the utmost extreme. Not only the development of a particular game is completely determined by but also a whole class of games related to this family has its development prescribed by . In partitioning games, the behavior of any coalition outside the family is determined by its -partitions.

In order to define a partitioning hedonic game, we start with a hedonic game with a restricted family of admissible coalitions which we will call the germ of the partitioning hedonic game. For any , , let and for any , let with satisfying for all .

Definition 30. A partitioning hedonic game is a hedonic game for which there exists a germ such that, for any is defined as: Let us use to denote a hedonic partitioning game with as its family of essential coalitions. We note that the associated reduced game to the partitioning game coincides with its germ.

Theorem 31. Let a partitionable essential family of coalitions be given. Then, every partitioning hedonic game has nonempty core. Moreover, , where is any germ of .

Proof. Let be a distribution such that for any , and if . Clearly . We claim that is subordinated to . In fact, for any , clearly for any . And if , for any according to the construction of the preference . Since is partitionable [1] then, according to Corollary 15, the core of is nonempty. Moreover, since condition (b) of Theorem 10 also holds, we have that .

4.4. The Marriage Model: A Nonconstructive Proof of the Existence of Stable Matchings

As a simple but interesting consequence of Theorem 31, we derive a new nonconstructive (see also [11]) proof about the existence of a stable matching in the marriage model of Gale and Shapley [2]. To do this, we first associate a partitioning hedonic game to each marriage problem. Then, we will show that the core of the game is related to the set of stable matchings.

The marriage model consists of two finite sets of agents, the sets of “men” and the set of “women.” It is assumed that any man is endowed with a preference over the set and that any woman has a preference on the set . Individual preferences are assumed to be reflexive, complete, and transitive on their corresponding domains. Let us denote by a marriage problem, where and are the preference profiles corresponding to the men and women.

A matching is a function satisfying the following.(a)For each , if , then .(b)For each , if , then .(c) for all .

A matching is stable if for all (individual stability) and if there is no pair , such that , , and and (pairwise stability). The pair is called a blocking pair.

Given a marriage problem , let us consider the family . Clearly is essential. Moreover, it is a partitionable family as follows from the result of Kaneko and Wooders [1] about the existence of core points for every assignment game [4].

Given a marriage problem let and as before. To such a problem, we associate the hedonic game with as its family of admissible coalitions where, for each is defined on as follows. If for some if and only if when , when and , when and .If for some , if and only if when , when and , when and .

For any , we also declare that when .

With each partition in the game , we associate the matching , where, for each , if and if . Similarly, for each , if and if .

Now, we are ready to state the following result.

Theorem 32. Let be a marriage problem. Then, there is a one-to-one correspondence between the stable matchings of and the core partitions of the partitioning game whose germ is , the associated game to the marriage problem. Therefore, the set of stable matchings of is always nonempty.

Proof. From Theorem 31 we have that is nonempty. We claim that is a stable matching for each core partition in . To see this, let . If , then , and since is a core partition, cannot be strictly preferred to . Thus, , and according to the definition this implies that . A similar argument shows that, for each , for any such that . Then, is individually stable.
On the other hand, let us assume that there is a blocking pair to . We claim that the coalition objects the partition , leading to a contradiction. Indeed, from we get that or, equivalently, that when (). We also get that when (). In a similar way we obtain that implies that showing that blocks . Thus, there is a one-to-one correspondence between the stable matchings of the marriage problem and the core partitions of which coincides with the core of the partitioning game .

Remark 33. When all men have identical preferences and all women have identical preferences as well (Becker [15] marriage game), Banerjee et al. [6] give an existence result also generating a hedonic game similar to our partitioning game. For this particular case they also reach a uniqueness result.

5. Conclusions

In this paper we introduce the concept of subordination in hedonic games. It is an appropriate tool to relate the core partitions of a game with the core partitions of a suitable derived subgame. We also extend to hedonic games the notion of partitioning games previously developed in cooperative games where a utility is present. We use results about subordination to show that a particular class of partitioning hedonic games behave pretty much in the same way as partitioning games behave in the class of cooperative games where a utility is present. As an interesting consequence we derive a new nonconstructive proof of the existence of stable matchings in the marriage model. Finally, in the sake of completeness, we present a proof of the existence of core partitions in hedonic games with a restricted family of admissible coalitions.

Appendix

Proof of Theorem 6 (a sketch). Let be a core partition in . Then the game is pivotally balanced with respect to any -distribution such that (see [8, Proposition 1]).
To see the converse, we will parallel Iehle's proof of Theorem 10 of the latter reference.
Let us first take a utility profile for each , namely, a function such that if and only if . Such a utility profile always exists. Now we construct an -game with the restricted family of admissible coalitions where, for any , and, if is the family of all -partitions of , We now show that if is pivotally balanced with respect to an -distribution then, for any -balanced family of coalitions , satisfies a generalized version of -balancedness [16] for -games with a restricted family of coalitions. We claim that this condition implies that there is (given a set , and stand for the boundary and the interior of , resp.). Such a point is called a core-point in . To prove this claim, we will parallel the first part of Billera's proof of Theorem 1 in Billera [16]. We note that, for any is generated, in the sense indicated by (A.1), by a unique vector , where if and if . We now construct the matrix , with rows indexed by the players in , and the columns indexed by the members of and whose entries are given by where is chosen such that for any , . On the other hand, let be another matrix with the same dimension as and whose entries are given by Namely, the columns of are the indicator vectors of the coalitions in different from . Since the family contains the individual coalitions and if (we note that , we have that the convex set is bounded. So, we can apply a well-known result of Scarf [17, Theorem 2] to guarantee the existence of a subbasis (A subbasis for the linear system is a set of linearly independent columns of for which there is a vector such that , and for any    for the linear system of inequalities so that if we define then for each column of there is a row of , satisfying such that Therefore, the vector does not belong to for any . If we are able to show that , then any Pareto optimal point will be a core point in . To see this, we first note that, by construction, for any . On the other hand, since is a subbasis, there is such that and if . We claim that, in fact, . Then, the subbasis contains a balanced subfamily . Since the game satisfies the balancedness property and for any , we conclude that . We mention that the proof of the claim is the same given by Billera [16] during the proof of Theorem 6 for the case that the game is “finitely generated,” so we omit it here.
To end the proof of the theorem we have to show that the existence of a core point in implies the existence of a core partition in . Nevertheless, since , there is an -partition of such that for any . We claim that is a core partition in . In fact, any blocking coalition to would imply that for any and thus that , a contradiction.

Remark 34. The proof of the existence of a core point given previously for a particular case of “finitely generated” game with a restricted family of admissible coalitions can be extended, with minor modifications, to the general case of a “finitely generated” game and later, following Billera [16], to a general game with a restricted family of admissible coalitions.

Acknowledgments

The author would like to thank CONICET and UNSL (Argentina) for their financial support.