- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Journal of Applied Mathematics

Volume 2014 (2014), Article ID 190614, 20 pages

http://dx.doi.org/10.1155/2014/190614

## On the Structure of Cooperative and Competitive Solutions for a Generalized Assignment Game

^{1}Instituto de Matemática Aplicada San Luis (UNSL-CONICET), Ejército de los Andes 950, 5700 San Luis, Argentina^{2}Departament d'Economia i d'Història Econòmica, Universitat Autònoma de Barcelona and Barcelona GSE, Edifici B, Bellaterra, 08193 Barcelona, Spain

Received 5 December 2013; Revised 14 February 2014; Accepted 15 February 2014; Published 30 April 2014

Academic Editor: Pu-yan Nie

Copyright © 2014 R. Pablo Arribillaga et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We study cooperative and competitive solutions for a many-to-many generalization of Shapley and Shubik’s (1971) assignment game. We consider the Core, three other notions of group stability, and two alternative definitions of competitive equilibrium. We show that (i) each group stable set is closely related to the Core of certain games defined using a proper notion of blocking and (ii) each group stable set contains the set of payoff vectors associated with the two definitions of competitive equilibrium. We also show that all six solutions maintain a strictly nested structure. Moreover, each solution can be identified with a set of matrices of (discriminated) prices which indicate how gains from trade are distributed among buyers and sellers. In all cases such matrices arise as solutions of a system of linear inequalities. Hence, all six solutions have the same properties from a structural and computational point of view.

#### 1. Introduction

Gale and Shapley [1] introduce ordinal two-sided matching models to study assignment problems between two disjoint sets of agents. In the marriage model, where matchings are one-to-one, each agent has to be matched to at most an agent on the opposite set. It is assumed that each agent has strict ordinal preferences over the set of agents that he does not belong to plus the prospect of remaining unmatched. These models are ordinal and money does not play any role; in particular, money cannot be used to compensate an agent in the case he has to be matched to an agent at the bottom of the agent’s preference list. Ordinal models have been enormously useful and extensively used in economics to study situations where the assignment problem has only one issue: who is matched to whom.^{1} In these models and given a preference profile (a preference for each agent), a matching is stable if it is individually rational (no agent is assigned to a partner that is worse than to remain unmatched) and pairwise stable (there is no pair of agents that are not matched to each other but they would prefer to be so rather than to be matched to the partner proposed by the matching, or to one of them if the agent is a college). Gale and Shapley [1] show that, for every preference profile, the set of stable matchings is nonempty and it coincides with the Core of the associated cooperative game with nontransferable utility (and hence, coalitions with two or more agents from the same set of agents do not have additional blocking power).^{2}

However, there are many assignment problems (solved by markets) where money plays a significant role, for instance, through salaries or prices. Hence, in those cases agents’ preferences may be cardinal. But then, to describe a solution of the problem (in particular, to unsure its stability) it is not sufficient to specify the matching between the two sides of the market because it is also required to describe how each pair of assigned agents shares the gains of being matched to each other. Shapley and Shubik [2] propose the assignment game as an appropriated tool to study one-to-one matching problems with money (i.e., with transferable utility). The prototypical and most simple example of an assignment game is a market with sellers and buyers in which each seller owns one indivisible unit of a good and each buyer wants to buy at most one unit of one good. This setting differs from the marriage model of Gale and Shapley [1] by the fact that there exists money used as a means of exchange. In addition money is also used to determine buyers’ valuations (or maximal willingness to pay) of each unit of the available goods and sellers’ reservation prices (or minimal amounts at which they are willing to sell the unit of the good they own). Shapley and Shubik [2] show that the assignment game has, among others, the following properties. (i) There exists at least one competitive equilibrium price vector, with a price for each of the goods and an assignment between buyers and sellers such that, at those prices, each buyer is assigned to the seller that owns the good (namely, the buyer buys the unit of the good that the seller has and pays its price) that gives him the maximal net valuation (the difference between his valuation and the price of the good). (ii) The set of competitive equilibrium payoffs coincides with the Core of the cooperative game with transferable utility induced by the assignment game. (iii) The Core coincides with the set of individually rational and pairwise stable payoff vectors. In this model, a solution is not only an assignment (who buys to whom, or equivalently, who sells to whom) but it is also a description of how each assigned pair of agents splits the gains generated by their trade.^{3}

Sotomayor [3–8], Camiña [9], Milgrom [10], Fagebaume et al. [11], Jaume et al. [12], and Massó and Neme [13] are some of the papers that extend the one-to-one Shapley and Shubik [2] assignment game by allowing that buyers can buy different goods and/or that sellers can own and sell units of different goods to different buyers. Most of those papers show that some of the properties of the one-to-one model also hold for the generalized versions. In addition, most of the previously cited papers propose and study cooperative solution concepts that are natural in the many-to-one or many-to-many contexts. The Core is the most studied solution concept. Given a payoff vector and an associated assignment (the payoffs are obtained after distributing among players the net gains generated from each trade specified by the assignment) a coalition Core-blocks the payoff vector if all its agents, by breaking all their trades with all agents outside the coalition, may improve upon their payoffs by reorganizing new trades, performed only among themselves. The Core is the set of payoff vectors that are not Core-blocked by any coalition.

However, in this setting there are other alternative notions of group stability. They differ on the type of transactions that agents in a blocking coalition are allowed to perform with agents outside. That is, the notions depend on how sale contracts have been specified and, hence, on how they can be broken. The Core concept assumes that agents in a blocking coalition can only trade among themselves, without being able to keep any trade with agents outside the blocking coalition; thus, when a coalition of agents Core-blocks a proposed payoff vector, they have to break all contracts with agents outside the coalition. In the group stability notion defined in Massó and Neme [13] it is assumed that sale contracts are unit-by-unit. A trade of a unit of a good between a buyer and a seller is performed independently of the other traded units of the same good as well as of the traded units of the other goods. An agent of a blocking coalition can reduce (but not increase) the trade, with members outside the coalition, of a given good in the number of units that he wishes, but without being forced for this reason to reduce neither the number of traded units of the same good nor the number of units of the other goods. In this paper we consider the other two alternative notions of group stability. They are more appropriated for those cases where sale contracts are written good-by-good or globally. In the good-by-good case, the sale contract between a buyer and a seller includes all traded units of only one good, and it is independent of their trade on the other goods. Thus, when an agent belongs to a blocking coalition and the other does not, either they keep the trade of all units of the good specified in the sale contract or they completely eliminate the trade of this good. In the global case, the sale contract between a buyer and a seller includes all trades on all goods and, thus, when an agent belongs to a blocking coalition and the other does not, either they keep all trades or they have to be eliminated altogether.

Jaume et al. [12], when defining competitive equilibrium for this generalized assignment game, consider that given a price vector (a price for each of the goods) agents demand and supply those units of the goods that maximize their total payoff without taking into account the aggregate feasibility constraints. The supply or demand of each agent only depends on the price vector and his* individual* feasibility constraints. The fact that, at a given price vector, all supply and demand plans are mutually compatible is an equilibrium question, rather than a restriction on the individual maximization problems. On the other hand, the competitive equilibrium notion studied by Sotomayor [6–8] in related models assumes that individual demands and supplies have to be feasible for the market. Namely, when obtaining their optimal demands and supplies, it is assumed that agents cannot demand or supply more than the available amounts present in the market.

The most important results of this paper are the following. First, we show that each one of the sets of payoffs corresponding to the three group stability notions can be directly identified with the union of Cores of particular cooperative games with transferable utility, where the blocking power of coalitions is inherited from the corresponding nature of the sale contracts between buyers and sellers (unit-by-unit, good-by-good, or global). Second and using this identification, we show that the three notions of group stability are supported by a Cartesian product structure between a given set of* matrices of prices *and the set of optimal assignments; all payoff vectors in any of the sets corresponding to the three group stability notions are fully identified by a set of matrices of prices; all payoff vectors in any of the sets corresponding to the three group stability notions are completely identified with the solutions of a system of bounded linear inequalities. Third, we show that each of the two competitive equilibrium notions can be directly identified with the union of Cores of certain cooperative games with transferable utility. This result allows us to obtain for the two competitive equilibrium concepts the same conclusions that we have already obtained for the three group stability notions. Hence, cooperative as well as competitive solutions have all the same properties from a structural and computational point of view. Furthermore, all studied solutions maintain a strictly nested relationship.

In short, the paper contributes to the study of markets with indivisible goods. In particular, it shows that the two competitive equilibrium notions are immune with respect to the secession of subgroups of agents. It also identifies some structural properties that hold for competitive equilibrium solutions as well as for different notions of group stability.

The paper is organized as follows. In the next section we present the model introduced in Jaume et al. [12]. In Section 3 we define three notions of group stability and study the equivalence of each of these notions with the Cores of their corresponding cooperative games with transferable utility. We show that the three group stability sets of payoffs have a Cartesian product structure and that they can be identified as the solutions of a system of linear inequalities. In Section 4 we perform a similar analysis for the two notions of competitive equilibria. In Section 5 we compare the three notions of group stability with the two notions of competitive equilibria. The Appendices include the proofs of three results omitted in the main text.

#### 2. Preliminaries

A generalized assignment game (a* market*) consists of three finite and disjoint sets: the set of * buyers*, the set of * goods*, and the set of * sellers*. We denote a generic buyer by , a generic good by , and a generic seller by . Buyers have a constant marginal valuation of each good. Let be the monetary valuation that buyer assigns to each unit of good ; namely, is the maximum price that buyer is willing to pay for each unit of good . Denote by the* matrix of valuations*. We assume that buyer can buy at most units in total, where is the set of nonnegative integers. The strictly positive integer should be interpreted as a capacity constraint due to limits on 's ability for storage, transport, and so forth. Denote by the* vector of maximal demands*. Each seller has indivisible units of each good . Denote by the* matrix of capacities*. We assume that there is a strict amount of each good; namely,
Let be the monetary valuation that seller assigns to each unit of good ; that is, is the reservation (or minimum) price that seller is willing to accept for each unit of good . Denote by the* matrix of reservation prices*.

A* market * is a 7-tuple satisfying condition (1). Shapley and Shubik’s [2] (one-to-one) assignment game is a special case of a market where each buyer can buy at most one unit, there is only one unit of each good, and each seller only owns one unit of one of the goods; that is, , for all , , and, for all , if and if .

Let be a market. An* assignment* for market is a three-dimensional integer matrix (i.e., a 3rd-order tensor) describing a collection of deliveries of units of the goods from sellers to buyers. Each should be interpreted as “buyer receives units of good from seller .” We often omit the sets to which the subscripts belong to and write, for instance, and instead of and , respectively.

The assignment is* feasible* for market if each buyer buys at most units and each seller sells at most units of each good . We are only interested in feasible assignments, namely, in the set
For further reference, we denote this set of feasible assignments for market by (or simply by ).

The* total gain from trade of market ** at assignment * is

*Definition 1. *A feasible assignment is* optimal* for market if, for any feasible assignment , .

Example 2 below contains an instance of a market with a unique optimal assignment.

*Example 2. *Let be a market where , , , , , , and . For any ,
It is easy to check that is the unique optimal assignment for and .

Let (or simply ) be the set of all optimal assignments for market . The set is always nonempty.^{4} Denote by the total gain from trade of market at any optimal assignment.

Fix a market . Denote by the set of goods that are exchanged at some optimal assignment. Namely, Moreover, for each buyer and each seller , define as the set of goods that buys to at some optimal assignment.

#### 3. Cooperative Solutions: Core and Group Stability

Massó and Neme [13] define, for any market , two cooperative solutions: the Core and a group stable set (they call it setwise stable). As described in the Introduction the two concepts are based on the idea that a coalition will object to a proposed payoff vector if all agents in the coalition can improve upon their payoffs, but differ in that, when objecting, the Core requires that all members of the blocking coalition break their exchanges with agents outside the coalition while group stability (which we will call here type 1-group stability) allows that the exchanges of an agent in the blocking coalition with agents outside the coalition are maintained or reduced (since sale contracts are unit-by-unit). Here we propose two alternative notions of group stability. Type 2-group stability makes sense when sale contracts are performed good-by-good and therefore an agent in the blocking coalition can maintain with an agent outside the coalition the exchange of all units of the good or else delete them all. Type 3-group stability makes sense when between a buyer and a seller there exists only a sale contract and therefore an agent in the blocking coalition can maintain with an agent outside the coalition all exchanges or delete them all.

Let be a market and let be a coalition. Denote the sets of buyers and sellers in by and , respectively.

*Definition 3. *Let be a market and let be a coalition. A feasible assignment is* 1-group compatible with * if there exists an optimal assignment such that,(i)for all , implies that either or else ,(ii)for all , implies that either or else .^{5}

We want to emphasize that the above definition considers as compatible any reallocation of goods between the agents within the coalition and only decreases (with respect of some optimal assignment) the trade, of any good, between an agent in the coalition with another agent outside. The next two definitions of group compatibility limit the reallocations of goods between members of the blocking coalition and outsiders depending on whether sale contracts are good-by-good or global.

*Definition 4. *Let be a market and let be a coalition. A feasible assignment is 2-*group compatible with * if there exists an optimal assignment such that,(i)for all , implies that either or else ,(ii)for all , implies that either or else .

*Definition 5. *Let be a market and be a coalition. A feasible assignment is 3-*group compatible with * if there exists an optimal assignment such that,(i)for all , implies that either or else for all ,(ii)for all , implies that either or else for all .Let be a market, a coalition, and . Denote by the set of all feasible assignments that are* t*-group compatible with .

*Example **2 (continued)*. To see the differences among the three types of group compatibility, consider the coalition in market of Example 2. Then,
Thus, and

Let be a market. A 3rd-order tensor is a* distribution matrix *for market if, for all such that and , holds. Let be a distribution matrix for market and assume that for some and . Then, describes a possible way of how buyer and seller can split the gain they could obtain by exchanging one unit of good : buyer receives and seller receives . If , the value will be irrelevant since and will not exchange any unit of good in any optimal assignment. Observe that distribution matrices are not necessarily anonymous because a buyer may obtain different gains per unit of good if he buys the same good from different sellers, and vice versa. Denote by (or simply by ) the set of all distribution matrices for market .

*Definition 6. *A vector is a* feasible payoff *for market if

Denote by (or simply by ) the set of all feasible payoffs for market .

Let be a market and a coalition. For every and , define the* gain for ** at ** according to * by the expression^{6}
Observe that is independent of .

We are now ready to define the blocking notions according to the assignments that the coalition can use.

*Definition 7. *Let be a market and . A payoff * is not t*-*group blocked *if there exists a distribution matrix such that, for all coalition and ,

It is useful to point out that the definition depends on since the gain for depends on the set of feasible assignments (i.e.,* t*-group compatible) with . Finally, we define the three notions of group stability.

*Definition 8. *Let be a market and . A payoff is* t-group stable for * if it is not* t*-group blocked.^{7}

Denote by (or simply ) the set of payoffs that are* t*-group stable for . Since for all , it follows that
Moreover, there are markets for which these inclusions are strict and, hence,^{8}

By the above remark and the fact that (see Massó and Neme [13]) all* t*-group stable sets are nonempty. For further reference, we present this result as Proposition 9 below.

Proposition 9. *For any market and , .*

Massó and Neme [13] define the Core of market as the Core of the cooperative game with transferable utility induced by . They show first that the 1-group stable set is a strict subset of the Core and strictly contains the set of competitive equilibrium payoffs. Second, the 1-group stable set converges in the second replica to the set of competitive equilibrium payoffs while the Core does not converge to it in a finite number of replicas. Hence, one may infer from the two results that the two cooperative notions are essentially different. We will see here that the difference does not refer so much to the solution concept but rather to how the game for which the Core is obtained is defined. Massó and Neme [13] define the cooperative game by assuming that the assignment is feasible for a coalition if and only if members of only exchange goods among themselves.

*Definition 10. *Let be a market and let be a coalition. A feasible assignment is* Core-compatible with * if,(i)for all , implies ,(ii)for all , implies .Given , the set of all Core-compatible assignments with will be denoted by . Using this notion, we define the cooperative game with transferable utility where, for every ,^{9}
Then, the* Core of market *, denoted by , is the Core of the game ; namely,

Now, if we accept the notions of group stability as reasonable solutions, we can define new cooperative games with transferable utility where compatible assignments with a coalition admit that its members may have certain exchanges with agents outside . For this purpose it is necessary to consider a distribution matrix indicating how the gains from trade are distributed with members outside coalition . We now present these notions formally.

*Definition 11. *Let be a market, , and . The* cooperative game with transferable utility associated with ** and *, denoted by , is defined as follows: for every ,

If is given and we allow to choose among the set of assignments in , the game can be interpreted in a similar way as we interpreted the game defined in (20), where each coalition maximizes the total payoff since is the total gain received by members of under . We will denote by (or simply by ) the Core of the game .

*Remark 12. *Note that, for all and ,
Hence, is a feasible payoff (i.e., ) if and only if .

Using the games associated with we can now see that the notions of Core and group stability are extremely related. Indeed, the following result holds.

Theorem 13. *Let be a market. Then, for all ,
*

*Proof. *Fix and . We first show that, for all , . Let . By Remark 12, is a feasible payoff. Moreover, for all , . Hence, for all and all , . Thus, . Namely, .

Take now a payoff . Since is a feasible payoff, by Remark 12, , for all . Moreover, since is not -blocked, there exists such that, for all and all ,
Hence, there exists such that , for all ; namely, . Thus, .

*In the Appendices we show, using the market of Example 2, that the sets may be empty for some .*

*3.1. Cartesian Product Structure and Computation of the Group Stable Solutions*

*In this section we present, using Theorem 13, results on the structure of the t-group stable set of payoffs for and how to compute them.*

*Fix and . Define the utility of buyer at the pair as the total net gain obtained by from his exchanges specified by and the distribution of gains given by . Denote such utility by ; namely,
Similarly, define the utility of seller at the pair as the total net gain obtained by from his exchanges specified by and the distribution of gains given by . Denote such utility by ; namely,
Given , we will denote by and the vectors of utilities of buyers and sellers at , respectively.*

*Proposition 14. Let be a market, a distribution matrix, and . Then,
*

*Proof. *It is immediate to check that implies . To show that the other implication holds, assume . We first check that , for all . Let be arbitrary and let . Consider any coalition with . Then, . Hence, since and the definition of ,
Similarly, considering any coalition with ,
Moreover, by Remark 12, . But
holds. Hence, (23) and (24) imply
Thus, . Therefore, . Now it remains to be proven that if , then there exists such that , but observing that , it is proven similarly as we did previously.

*Denote by (or simply by ) the set of distribution matrices whose associated game has a nonempty Core. By Theorem 13 and Proposition 14, the set has the following Cartesian product structure.*

*Corollary 15. Let be a market and . Then,
*

*We will refer to the set as the set of t-distributions by groups. The above Corollary establishes that has a similar structure to the set of competitive equilibrium payoffs.^{10}*

*Lemma 16. Let and be such that . Then, , for all .*

*Proof. *Observe that the proof of Proposition 14 does not depend on the particular optimal assignment . Hence, with fixed , if , then the vector of utilities at the pair is independent of the chosen optimal assignment .

*By Lemma 16, for and , we can write instead of . Hence, the following result follows immediately from Theorem 13 and Lemma 16.*

*Corollary 17. Let be a market and . Then,
*

*The above corollary establishes that each payoff vector in comes from a distribution matrix . Again, Jaume et al. [12] show that a similar result holds for the set of competitive equilibrium payoffs when the gains from trade are determined by an equilibrium price vector (a price for each good).*

*Proposition 18 below gives necessary and sufficient conditions under which a distribution matrix is a t-distribution by groups. But to state it, we present, given an optimal assignment , the following system of inequalities on :
*

*Proposition 18. Let be a market and . Then, the following statements are equivalent. (i) is a t-distribution by groups.(ii)(iii)There exists such that , for all .(iv)For all , for all .(v) solves the system in (29).*

*Proof. *The equivalence between (iii) and (v) is immediate. That (ii) implies (i) is immediate since, by (30), . By the definition of , we have that (iii) implies (ii). That (iv) implies (iii) is also immediate. It remains to be proven that (i) implies (iv).

Assume and let . By Proposition 14, . Hence,
Thus, by the definition of ,
Hence,
Now, since holds, by the definition of it follows that
Thus, for all .

*4. Competitive Solutions*

*4. Competitive Solutions**4.1. Two Competitive Equilibrium Notions*

*4.1. Two Competitive Equilibrium Notions**In this section we first present two already known competitive solutions for generalized assignment games. Using a similar approach to the one already used with t-group stability we will see how competitive equilibria are related with the notions of Core, provided that the cooperative games with transferable utility are defined properly. This will allow us to draw conclusions with regard to the structure of competitive solutions and how to compute them.*

*The first competitive solution was presented by Jaume et al. [12]. We will see how we can obtain some of their results using the approach used in the previous section. This solution assumes that buyers and sellers exchange goods through competitive markets. Namely, there is a unique market for each of the goods (with its corresponding price). Hence, a price vector is an -dimensional vector of nonnegative real numbers. Buyers and sellers are price-takers in the following sense. Given a price vector each seller offers units of the goods he owns (up to his capacity) to maximize his net gains and each buyer demands units of the goods (up to his maximal capacity) to maximize his total net valuation. The unique information that each agent has about the markets, besides the price vector, is his per unit valuations of the goods and his capacity of maximal demand (if the agent is a buyer) and his reservation prices and number of units owned of each of the goods. Agents do not know the aggregate capacities.*

*In the second notion we will assume that the aggregate capacities of the market are known by the agents. For instance, because the market is small and all exchanges are performed simultaneously at the same place. Hence, given a price vector , agents will maximize their utility taking into account the market aggregate capacities. Namely, a buyer will never demand of good a quantity larger than , even though this amount is smaller than and the net valuation () of good is strictly larger than the net valuations of all the other goods. This notion can be seen as an extension of the competitive equilibrium notions introduced and studied in Sotomayor [6], in an assignment model with indivisible goods and by Sotomayor [7, 8], in a model with infinitely divisible goods, but in both cases and in contrast with our model, it is assumed that sellers only own units of the same good. In these three papers, given a price vector , agents’ demands and supplies are obtained by solving their maximizing problems over the set of feasible assignments; that is, it is assumed that agents know the aggregate capacities.*

*It is also possible to consider the case where only buyers know the aggregate capacities and only they adjust their demands to such constraints, and vice versa. Our proofs could be adapted easily to these two settings to obtain similar conclusions for them.*

*To present the first approach, we transcribe some definitions in Jaume et al. [12].*

*Supply of Seller *. For each price vector , seller offers of each good any feasible amount that maximizes his gain; namely,
To define the demand of buyer , we will use the following notation. Let and let
be the set of goods that give to buyer the maximal (and strictly positive) net valuation at . Obviously, for some , the set may be empty. Let
be the set of goods that give to buyer the maximal (and strictly positive) net valuation at . Obviously, for some , the set may be empty. It is obvious that, for all and all ,

*Demand of Buyer *. For each price vector , buyer demands any feasible amount of goods that maximize his net valuation at ; namely,

*Given and , denote by the element in such that, for all , .*

*Definition 19. *A -1-*competitive equilibrium*^{11} of market is a pair such that (E.D) for all ,, (E.S) for all and all ,.

*Next, we present the second competitive solution related to situations where agents, given a price vector, adjust their demands and supplies to the aggregate restrictions of the market. Given a price vector sellers will offer units of the goods (below their capacities) to maximize the net gains at , but sellers will know that buyers will be able to buy at most units in total, and buyers will demand units of the goods (below their capacities) to maximize the net valuations at , but knowing that sellers will be able to sell at most units of each good . To define the supply of seller , we will need the following notation. Let be a price vector and let*

*
be the sets of goods that give to seller a strictly positive net gain at , ordered in such a way that goods in give a larger net gain than goods in if and only if . Obviously, for some , the set may be empty from a given onwards.*

*Since seller knows the market constraints, knows that the maximal possible demand is . Hence, will adjust his supply to this demand. Now define
*

*
We may have from some onwards.*

*Now, let
be the set of goods that give to seller a nonnegative net gain at . Obviously, for some , the set may be empty. It is obvious that, for all and all ,
*

*Supply-0 of Seller **.* For each price vector , seller supplies any feasible amount for the market of the goods that maximize his net gain at ; namely,

*Therefore, describes the set of sales that maximize the net gain of seller at (taking into account the market constraints). ^{12} Observe that the set of sales described by each element in gives, to seller , the same net gain; namely, is indifferent among all sales in .*

*To define the demand of buyer , we will need the following notation. Let be a price vector and let*

*
be the sets of goods that give to buyer a strictly positive net valuation at , ordered in such a way that goods in give a larger net valuation than goods in if and only if . Obviously, for some , the set may be empty from some onwards.*

*Now we define
Obviously, for some , we may have from some onwards. Also, for all and all ,
*

*Demand*-*0 of Buyer **.* For each price vector , buyer demands any feasible amount for the market that maximizes his net valuation at ; namely,

*
Thus, describes the set of all purchases that maximize the net valuation of buyer at , taking into account the aggregate constraints of the market. ^{13} Observe that the set of purchases described by each element in give to the same net valuation; namely, is indifferent among all purchases in .*

*Definition 20. *A 0-*competitive equilibrium *of market is a pair such that (E.D0) for all , , (E.S0) for all , .

*In the remaining of this section, will be an index in . We say that the vector is a t-competitive equilibrium price (or simply a t-equilibrium price) of market if there exists such that is a t-competitive equilibrium of (or simply a t-equilibrium). Denote by the set of all t-equilibrium prices of market .*

*Fix a price vector and a feasible assignment . According to (20) and (21), the utility of buyer at is
and the utility of seller at is
*

*Definition 21. *Let be a market and . The set of* t*-*competitive equilibrium payoffs* is given by

*We now define a cooperative game with transferable utility that will allow us to draw conclusions about and , for , similarly as we did for and , for .*

*Definition 22. *Let be a market. A pair is -1-*compatible* in if,(i)for each , ,(ii)for each and , .The set of pairs -1-compatible in will be denoted by . Moreover, and with an abuse of notation, we will denote by the set of 0-*compatible assignments* in .^{14}

*Definition 23. *Let be a market, , a price vector, a coalition, and . Define the* net gain for ** at ** according to * by

*Note that if , then , where is given by (10) after setting, for all , for all . For each price vector , we can define the following associated games to market .*

*Definition 24. *Let be a market, , and a price vector. The* cooperative game ** with transferable utility associated with ** and * is defined as follows:

*We denote by (or simply by ) the Core of the game . We now see that these Cores are intimately related with the corresponding notions of competitive equilibria.*

*Theorem 25. Let be a market and . Then,
*

*To prove Theorem 25 we need the following two results.*

*Lemma 26. Let be a market and . Then, is a t-equilibrium if and only if, for all ,
*

*Proof. *See the Appendices.

*Parallel to Proposition 14, we now have Proposition 27.*

*Proposition 27. Let be a market, and a price vector. Then,
*

*Proof. *It is similar to the proof of Proposition 14 and therefore it is omitted.

*Proof of Theorem 25. *Assume and let be such that is a* t*-equilibrium. Then, by the definition of and Lemma 26, . To see that the other implication holds, let be such that and let . By Proposition 27, . Hence, for all ,
Thus, by Lemma 26, is a* t*-equilibrium and, hence, .

*It is easy to check that, for all ,
hold. Hence, , for all . Thus, by Theorem 25, the following result holds.*

*Corollary 28. Let be a market. Then, .*

*Proof. *Jaume et al. [12] show that . The inclusion follows from Theorem 25, (59). The strict inclusion follows from Example 29 below.

*Example 29. *Let be a market where , , , , , and . The unique optimal assignment is . Consider the price vector . Then, ,, . Thus, and, hence, . But , since at buyer would demand units of good .

*The next proposition follows immediately from Lemma 26 and the fact that if , then , for all .*

*Proposition 30. Let be a market and . Then, is a t-equilibrium if and only if and .^{15}*

*A result, similar to Theorem 13 for group stable sets, holds for the sets of competitive equilibrium payoffs.*

*Theorem 31. Let be a market. Then, for ,^{16}*

*Proof. *That holds follows from Theorem 25 and Propositions 27 and 30. To see that the other inclusion holds, let . By Proposition 27, there exists such that . Hence, by Lemma 26 and Theorem 25, .

*Corollary 32. Let be a market. Then, .*

*Proof. *Jaume et al. [12] show that . The inclusion follows from Theorem 31, (59). Example 29 below shows that the inclusion may be strict.

*Example **2**9 (continued)*. We already saw that . Hence, and . Moreover, we have that if and only if . But since , . Namely, .

*4.2. Cartesian Product Structure and Computation of Competitive Equilibria*

*4.2. Cartesian Product Structure and Computation of Competitive Equilibria*

*We have already seen that for the set is a Cartesian product in the following sense:
*

*Now, parallel to Lemma 16, the following result holds.*

*Lemma 33. Let be a market, , and a price vector. If , then for all pairs .*

*Proof. *The proof proceeds similarly to the proof of Proposition 14, using the fact that if , then for .

*Thus, if and , we will write simply by , without any reference to . We present this fact in the following corollary.*

*Corollary 34. Let be a market and . Then, .*

*Parallel to Proposition 14, we present several necessary and sufficient conditions for (one of them can be used to check whether or not belongs to ). Observe that the condition
is trivially satisfied for .*

*Fix and consider the system on of lineal inequalities given by
*

*Proposition 35. Let be a market, , and a price vector. Then, the following statements are equivalent.(i) is a -equilibrium price.(ii).(iii)(iv)There exists such that ,
for all with . (v)For all , for all with . (vi) solves system (63).*

*Proof. *The equivalence between (i) and (ii) follows from Theorem 25. The equivalence between (iv) and (vi) is immediate. That (iii) implies (ii) follows from the fact that . That (iv) implies (iii) follows easily from the definition . That (v) implies (iv) is also immediate. Hence, it only remains to be proved that (ii) implies (v).

Assume . By Proposition 14, if , then . Hence,
By the definition of ,

*The above proposition gives criteria and procedures to compute price vectors in and therefore payoff vectors in .*

*5. Comparison and Relationships among Solutions*

*5. Comparison and Relationships among Solutions**Our notation will enable us to compare the solutions and to show how the group stability notions, the notions of competitive equilibria, and the Core of a market are related. We first observe that, for all ,
Moreover, if *