HTML

ePub

PDF

1. Introduction

Economic activities on the macro and micro levels often entail wide-spread externalities. This leads to disputes regarding the compensation levels for the various parties affected. The problem of how to fairly divide a surplus obtained through cooperation is one of the most fundamental issues studied in coalitional game theory, and it is relevant to a wide range of economic and social situations. These issues are often difficult to resolve, especially in environments with externalities, where the benefits of a group depend not only on its members but also on the arrangement of agents outside the group. This is the general problem to which this paper contributes. In this line, the concept of partition function form games effectively modeled such a problem in Lucas and Thrall (1963). In this sense, a game with externalities assigns a value to each pair consisting of a coalition and a coalition structure. The advantage of this model is that it considers both internal factors (coalition itself) and external factors (coalition structure) that may affect cooperative outcomes and allow to go deeper into cooperation problems. Thus, it is closer to real-life situations but more complex to analyze.

Given a game with externalities, we are usually interested to know how the “fruits” of cooperation are shared among the involved players. A solution for this kind of game is a function that assigns to every game a payoff vector, where each component of the vector is the payoff assigned to the corresponding individual player. Usually, the payoffs assigned to the individual players are based on their contribution to the different coalitions they are or can be members.

There has been a surge of literature that deals with solutions for games with externalities. The first paper that proposed a value concept for this type of games was Myerson (1977). More recently, Albizuri et al. (2005), Macho-Stadler et al. (2007), Ju (2007), and Pham Do and Norde (2007) apply the axiomatic approach to characterize a value for these games. All of them satisfy three basic proper-ties in the cooperative game theory framework: linearity, symmetry, and efficiency.

Linearity allows us to determine the value of any game that can be established as their linear combination. Symmetry is an elementary property that states that players’ names do not matter, and efficiency merely states that the value is a distribution of the value of the grand coalition among these players.

In particular, notice that the value does not always generate a Pareto efficient outcome; it would be Pareto efficient only when forming the grand coalition generates the largest total surplus. Hence, we have in mind economic environments where doing so is the most efficient way of organizing society. International negotiations and many other interesting economic environments clearly satisfy that the players maximize total surplus when they make decisions jointly because they can internalize the externalities.

In this work, we propose a simple mechanism (based on transfers among players) to share the joint surplus of cooperation among them by means of the different externalities to consider. In particular, we show that every linear-symmetric-efficient solution presented in Sánchez-Pérez (2017, Theorem 3) is obtained from this mechanism.

2. Preliminaries

Let $\mathrm{N}\mathrm{ }=\mathrm{ }\{1,\mathrm{ }2,\mathrm{ }...,\mathrm{ }\mathrm{n}\}$ be a fixed nonempty finite set, and let the members of N be interpreted as players in some game situation. Given N , let PT be the set of partitions of N , so:

Also, let $\mathrm{E}\mathrm{C}\mathrm{ }=\mathrm{ }\left\{\right(\mathrm{S},\mathrm{ }\mathrm{Q}\left)\mathrm{ }\right|\mathrm{S}\mathrm{ }\in \mathrm{ }\mathrm{Q}\mathrm{ }\in \mathrm{ }\mathrm{P}\mathrm{T}\mathrm{ }\}$ be the set of embedded coalitions; that is, the set of coalitions and specifications on how the other players are aligned.

Definition 1: A game with externalities is a mapping

The set of games with externalities with player set N is denoted by G, i.e.,

The value $$ $\mathrm{w}\mathrm{ }(\mathrm{S},\mathrm{ }\mathrm{Q})$ represents the payoff of coalition S, given the coalition structure Q forms. In this kind of game, the worth of some coalition depends not only on what the players of such coalition can jointly obtain but also on how the other players are organized. We assume that, in any game situation, the universal coalition N (embedded in $\left\{\mathrm{N}\mathrm{ }\right\})$ would actually form, so that the players would have w $(N, \{N \left\}\right)$ to divide among themselves. But we also anticipate that the actual allocation of this worth would depend on all the other potential worths $\mathrm{w}\mathrm{ }(\mathrm{S},\mathrm{ }\mathrm{Q})$ , as they influence the relative bargaining strengths of the players.

Given ${\mathrm{w}}_1,\mathrm{ }{\mathrm{w}}_2\mathrm{ }\in \mathrm{ }\mathrm{G}\mathrm{ }\mathrm{a}\mathrm{n}\mathrm{d}\mathrm{ }\mathrm{c}\mathrm{ }\in \mathbb{R}$ , we define the sum w 1 + 𝑤 2 and the product $\mathrm{c}{\mathrm{w}}_1$, in G, in the usual form, i.e., $({\mathrm{w}}_1\mathrm{ }+\mathrm{ }{\mathrm{w}}_2)\mathrm{ }(\mathrm{S},\mathrm{ }\mathrm{Q})\mathrm{ }=\mathrm{ }{\mathrm{w}}_1\mathrm{ }(\mathrm{S},\mathrm{ }\mathrm{Q})\mathrm{ }+{\mathrm{w}}_2\mathrm{ }(\mathrm{S},\mathrm{ }\mathrm{Q})$ and $\left(\mathrm{c}{\mathrm{w}}_1\right)\mathrm{ }(\mathrm{S},\mathrm{ }\mathrm{Q})\mathrm{ }=\mathrm{ }\mathrm{c}{\mathrm{w}}_1\mathrm{ }(\mathrm{S},\mathrm{ }\mathrm{Q})$ respectively. It is easy to verify that G is a |EC| − dimensional linear space with these operations.

For any $\mathrm{S}\mathrm{ }\subseteq \mathrm{ }\mathrm{N}$ , let [S] denote the partition of S which consists of the singleton elements of S, i.e., $\&\#091;\mathrm{S}\&\#093;\mathrm{ }=\mathrm{ }\left\{\right\{\mathrm{j}\left\}\mathrm{ }\right|\mathrm{j}\mathrm{ }\in \mathrm{ }\mathrm{S}\}$. For $\mathrm{Q}\mathrm{ }\in \mathrm{ }\mathrm{P}\mathrm{T}$ and $\mathrm{i}\mathrm{ }\in \mathrm{ }\mathrm{N}\mathrm{ },\mathrm{ }\mathrm{Q}\mathrm{i}$ denotes the member of Q where i belongs. Additionally, we denote the cardinality of a set by its corresponding lower-case letter, for instance $\mathrm{n}\mathrm{ }=\mathrm{ }\left|\mathrm{N}\mathrm{ }\right|,\mathrm{ }\mathrm{s}\mathrm{ }=\mathrm{ }\left|\mathrm{S}\right|,\mathrm{ }\mathrm{q}\mathrm{ }=\mathrm{ }\left|\mathrm{Q}\right|,\mathrm{ }{\mathrm{q}}_{\mathrm{i}}\mathrm{ }=\mathrm{ }\mathrm{Q}\mathrm{i}$ and so on.

A solution is a function $\mathrm{\phi }\mathrm{ }:\mathrm{ }\mathrm{G}\mathrm{ }{\mathbb{R}}^n$ such that ${\mathrm{\phi }}_{\mathrm{i}}\mathrm{ }\left(\mathrm{w}\right)$ is interpreted as the utility payoff which player i should expect from the game w.

Example 1: As an illustration of the kind of problems that can be modelled with a game with externalities, consider the following game w, which describes the situation where 3 companies $(\mathrm{N}\mathrm{ }=\mathrm{ }\{1,\mathrm{ }2,\mathrm{ }3\left\}\right)$ are competing for a market. When companies 1, 2, and 3 are on their own, each of them gets a worth of 50 monetary units. However, if any two of them get together, they can take over a larger share of the market and thus make more profit, affecting the other company. Finally, if the grand coalition is formed, they monopolize the entire market and thus obtain the maximum profit of 200 monetary units.

The intermediate worths are presented in table 1:

Thus, what is the utility payoff which each company should expect from the previous situation?

Now, the group of permutations of $\mathrm{N}\mathrm{ },\mathrm{ }{\mathrm{S}}_{\mathrm{n}}\mathrm{ }=\mathrm{ }\{\mathrm{\theta }\mathrm{ }:\mathrm{ }\mathrm{N}\mathrm{ }\to \mathrm{ }\mathrm{N}\mathrm{ }|\mathrm{\theta }\mathrm{ }\mathrm{i}\mathrm{s}\mathrm{ }\mathrm{b}\mathrm{i}\mathrm{j}\mathrm{e}\mathrm{c}\mathrm{t}\mathrm{i}\mathrm{v}\mathrm{e}\}$, acts on EC in the natural way; i.e., for $\mathrm{\theta }\mathrm{ }\in \mathrm{ }{\mathrm{S}}_{\mathrm{n}}$:

And also, Sn acts on the space of payoff vectors, ${\mathbb{R}}^n$

Next, some preliminaries related to integer partitions are needed for subsequent developments.

A partition of a non-negative integer is a way of expressing it as the unordered sum of other positive integers, and it is often written in tuple notation. Formally, $\mathrm{\lambda }\mathrm{ }=$ $\left[{\mathrm{\lambda }}_1,\mathrm{ }{\mathrm{\lambda }}_2,\mathrm{ }...,{\mathrm{\lambda }}_{\mathrm{l}}\right]$ is a partition of n if ${\mathrm{\lambda }}_1,{\mathrm{\lambda }}_2,\mathrm{ }...,{\mathrm{\lambda }}_{\mathrm{l}}$ are positive integers and ${\mathrm{\lambda }}_1\mathrm{ }+\mathrm{ }{\mathrm{\lambda }}_2\mathrm{ }+\mathrm{ }·\mathrm{ }·\mathrm{ }·\mathrm{ }+\mathrm{ }{\mathrm{\lambda }}_{\mathrm{l}}\mathrm{ }=\mathrm{ }\mathrm{n}$. The set of all partitions of n will be denoted by $\mathrm{\Pi }\mathrm{ }\left(\mathrm{n}\right)$, and, if $\mathrm{\lambda }\mathrm{ }\in \mathrm{ }\mathrm{\Pi }\mathrm{ }\left(\mathrm{n}\right),\mathrm{ }\left|\mathrm{\lambda }\right|$ is the number of elements of $\mathrm{\lambda }$.

For example, the partitions of n = 4 are $\&\#091;1,\mathrm{ }1,\mathrm{ }1,\mathrm{ }1\&\#093;, \&\#091;2,\mathrm{ }1,\mathrm{ }1\&\#093;, \&\#091;2,\mathrm{ }2\&\#093;, \&\#091;3,\mathrm{ }1\&\#093;$ and $\&\#091;4\&\#093;$. Sometimes we abbreviate this notation by dropping the commas, so $\&\#091;2,\mathrm{ }1,\mathrm{ }1\&\#093;$ becomes $\&\#091;211\&\#093;$.

If $\mathrm{Q}\mathrm{ }\in \mathrm{ }\mathrm{P}\mathrm{T}$ , there is a unique partition ${\mathrm{\lambda }}_{\mathrm{Q}}\mathrm{ }\in \mathrm{ }\mathrm{\Pi }\mathrm{ }\left(\mathrm{n}\right)$, associated with Q, where the elements of ${\mathrm{\lambda }}_{\mathrm{Q}}$ are exactly the cardinalities of the elements of Q. In other words, if $\mathrm{Q}\mathrm{ }=\mathrm{ }\{{\mathrm{S}}_1,\mathrm{ }{\mathrm{S}}_2,\mathrm{ }...,\mathrm{ }{\mathrm{S}}_{\mathrm{m}}\}\mathrm{ }\in \mathrm{ }\mathrm{P}\mathrm{T}$ , then ${\mathrm{\lambda }}_{\mathrm{Q}}\mathrm{ }=\mathrm{ }\&\#091;\left|{\mathrm{S}}_1\right|\mathrm{ },\mathrm{ }\left|{\mathrm{S}}_2\right|\mathrm{ },\mathrm{ }...,\mathrm{ }\left|{\mathrm{S}}_{\mathrm{m}}\right|\&\#093$;.

For a given $\mathrm{\lambda }\mathrm{ }\in \mathrm{ }\mathrm{\Pi }\mathrm{ }\left(\mathrm{n}\right)$ , we represent by λ◦ the set of numbers determined by the ${\lambda }_{i´s}$ and for $k \in \lambda ◦$ , we denote by 𝑚 𝑘 λ the multiplicity of k in partition $\mathrm{\lambda }.\mathrm{ }\mathrm{S}\mathrm{o},\mathrm{ }\mathrm{i}\mathrm{f}\mathrm{ }\mathrm{\lambda }\mathrm{ }=\mathrm{ }\&\#091;4,\mathrm{ }2,\mathrm{ }2,\mathrm{ }1,\mathrm{ }1,\mathrm{ }1\&\#093;$ , then $\left|\mathrm{\lambda }\right| = 6$ , $\mathrm{\lambda }◦\mathrm{ }=\mathrm{ }\{1,\mathrm{ }2,\mathrm{ }4\},\mathrm{ }\mathrm{a}\mathrm{n}\mathrm{d}\mathrm{ }{m}_1^{\mathrm{\lambda }}\mathrm{ }=\mathrm{ }3,m_2^{\mathrm{\lambda }}\mathrm{ }=\mathrm{ }2,\mathrm{ }{m}_4^{\mathrm{\lambda }}\mathrm{ }=\mathrm{ }1$.

Let $\mathrm{\lambda },\mathrm{ }\mathrm{\gamma }\mathrm{ }\in \mathrm{ }\mathrm{\Pi }\mathrm{ }\left(\mathrm{n}\right)$ be partitions such that $\mathrm{\gamma }◦\mathrm{ }\subseteq \mathrm{ }\mathrm{\lambda }◦$ , we define the difference $\mathrm{\lambda }\mathrm{ }-\mathrm{ }\mathrm{\gamma }$ as a new partition obtained from λ by removing the elements of γ. For example, $\&\#091;4,\mathrm{ }3,\mathrm{ }2,\mathrm{ }1,\mathrm{ }1,\mathrm{ }1\mathrm{ }\&\#093;-\&\#091;\mathrm{ }3,\mathrm{ }1,\mathrm{ }1\mathrm{ }\&\#093;=\&\#091;\mathrm{ }4,\mathrm{ }2,\mathrm{ }1\&\#093;$.

2.1 The axioms

In the cooperative game theory framework, an axiomatization is an important approach to better understanding cooperative solution concepts. Over the years, many different values and other concepts have been fully characterized by axioms. In particular, we define the usual linearity, symmetry, and efficiency axioms which are asked for solutions to satisfy in the cooperative game theory framework.

Axiom 1 (Linearity) $\mathrm{\phi }\mathrm{ }\mathrm{i}\mathrm{s}\mathrm{ }\mathrm{l}\mathrm{i}\mathrm{n}\mathrm{e}\mathrm{a}\mathrm{r}\mathrm{ }\mathrm{i}\mathrm{f}\mathrm{ }\mathrm{\phi }\mathrm{ }({\mathrm{w}}_1\mathrm{ }+{\mathrm{w}}_2)\mathrm{ }=\mathrm{\phi }\mathrm{ }\left({\mathrm{w}}_1\right)\mathrm{ }+\mathrm{ }\mathrm{\phi }\mathrm{ }\left({\mathrm{w}}_2\right)\mathrm{a}\mathrm{n}\mathrm{d}\mathrm{ }\mathrm{\phi }\mathrm{ }\left(\mathrm{c}{\mathrm{w}}_1\right)\mathrm{ }=\mathrm{ }\mathrm{c}\mathrm{\phi }\mathrm{ }\left({\mathrm{w}}_1\right),\mathrm{ }\mathrm{f}\mathrm{o}\mathrm{r}\mathrm{ }\mathrm{a}\mathrm{l}\mathrm{l}\mathrm{ }{\mathrm{w}}_1,\mathrm{ }{\mathrm{w}}_2\mathrm{ }\in \mathrm{ }\mathrm{G}\mathrm{ }\mathrm{a}\mathrm{n}\mathrm{d}\mathrm{ }\mathrm{c}\mathrm{ }\in \mathbb{ }\mathbb{R}.$

The axiom of linearity means that when a group of players shares the benefits (or costs) stemming from two different issues, how much each player obtains does not depend on whether they consider the two issues together or one by one. Hence, the agenda does not affect the final outcome. Also, the sharing does not depend on the unit used to measure the benefits.

Axiom 2 (Symmetry) $\mathrm{\phi }\mathrm{ }\mathrm{i}\mathrm{s}\mathrm{ }\mathrm{s}\mathrm{a}\mathrm{i}\mathrm{d}\mathrm{ }\mathrm{t}\mathrm{o}\mathrm{ }\mathrm{b}\mathrm{e}\mathrm{ }\mathrm{s}\mathrm{y}\mathrm{m}\mathrm{m}\mathrm{e}\mathrm{t}\mathrm{r}\mathrm{i}\mathrm{c}\mathrm{ }\mathrm{i}\mathrm{f}\mathrm{ }\mathrm{a}\mathrm{n}\mathrm{d}\mathrm{ }\mathrm{o}\mathrm{n}\mathrm{l}\mathrm{y}\mathrm{ }\mathrm{i}\mathrm{f}\mathrm{ }\mathrm{\phi }\mathrm{ }(\mathrm{\theta }\mathrm{ }·\mathrm{ }\mathrm{w})\mathrm{ }=\mathrm{ }\mathrm{\theta }\mathrm{ }·\mathrm{ }\mathrm{\phi }\mathrm{ }\left(\mathrm{w}\right)\mathrm{ }\mathrm{f}\mathrm{o}\mathrm{r}\mathrm{ }\mathrm{e}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{y}\mathrm{ }\mathrm{\theta }\mathrm{ }\in \mathrm{ }{\mathrm{S}}_{\mathrm{n}}\mathrm{ }\mathrm{a}\mathrm{n}\mathrm{d}\mathrm{ }\mathrm{w}\mathrm{ }\in \mathrm{ }\mathrm{G}.\mathrm{ }\mathrm{H}\mathrm{e}\mathrm{r}\mathrm{e},\mathrm{ }\mathrm{t}\mathrm{h}\mathrm{e}\mathrm{ }\mathrm{g}\mathrm{a}\mathrm{m}\mathrm{e}\mathrm{ }\mathrm{\theta }\mathrm{ }·\mathrm{ }\mathrm{w}\mathrm{ }\mathrm{i}\mathrm{s}\mathrm{ }\mathrm{d}\mathrm{e}\mathrm{f}\mathrm{i}\mathrm{n}\mathrm{e}\mathrm{d}\mathrm{ }\mathrm{a}\mathrm{s}\mathrm{ }(\mathrm{\theta }\mathrm{ }·\mathrm{ }\mathrm{w})\mathrm{ }(\mathrm{S},\mathrm{ }\mathrm{Q})\mathrm{ }=\mathrm{ }\mathrm{w}\mathrm{ }\mathrm{\theta }-1\mathrm{ }(\mathrm{S},\mathrm{ }\mathrm{Q})$ .

Symmetry means that players’ payoffs do not depend on their names. A player’s payoff is only derived from his influence on the worth of the coalitions.

Axiom 3 (Efficiency) $\mathrm{\phi }\mathrm{ }is\mathrm{ }efficient\mathrm{ }if\sum _{iϵN}{\mathrm{\phi }}_i\mathrm{ }\left(\mathrm{w}\right)\mathrm{ }=\mathrm{ }\mathrm{w}\mathrm{ }(\mathrm{N},\mathrm{ }\{\mathrm{N}\mathrm{ }\left\}\right)\mathrm{ }forall\mathrm{ }\mathrm{w}\mathrm{ }\in \mathrm{ }\mathrm{G}.[/\mathrm{p}]$

We assume that the grand coalition forms, and we leave issues of coalition formation out of this paper. Efficiency means that the value must be feasible and exhaust all the benefits from cooperation, given that everyone cooperates.

A solution that satisfies the previous axioms is referred to as an $LSEsolution$.

3. LSE solutions and the transfers procedure

Sánchez-Pérez (2017, Theorem 3) prove that a solution φ satisfies the axioms of linearity, symmetry and efficiency, if there exist | D n | real numbers $\left\{\mathrm{\beta }\mathrm{ }\right(\mathrm{\lambda },\mathrm{ }\mathrm{j},\mathrm{ }\mathrm{k}\left) \right| (\mathrm{\lambda },\mathrm{ }\mathrm{j},\mathrm{ }\mathrm{k}) \in {\mathrm{D}}_{\mathrm{n}}\}$ such that,

Here, the set ${\mathrm{D}}_{\mathrm{n}}$s defined as $D_{\mathrm{n}}\mathrm{ }=\mathrm{ }\left\{\right(\lambda ,\mathrm{ }j,\mathrm{ }k\left)\mathrm{ }\right|\lambda \mathrm{ }\in \mathrm{ }\mathrm{\Pi }\mathrm{ }\left(n\right)\mathrm{ }\backslash \mathrm{ }\{\&\#091;n\&\#093;\}\mathrm{ },\mathrm{ }j\mathrm{ }\in \mathrm{ }\mathrm{\lambda }◦,\mathrm{ }\mathrm{k}\mathrm{ }\in \mathrm{ }(\mathrm{\lambda }\mathrm{ }-\mathrm{ }\&\#091;\mathrm{j}\&\#093;)◦\}.[/\mathrm{p}]$

Although the parameters $\mathrm{\beta }\mathrm{ }=\mathrm{ }\left\{\mathrm{\beta }\mathrm{ }\right(\mathrm{\lambda },\mathrm{ }\mathrm{j},\mathrm{ }\mathrm{k}\left)\mathrm{ }\right|\mathrm{ }(\mathrm{\lambda },\mathrm{ }\mathrm{j},\mathrm{ }\mathrm{k})\mathrm{ }\in \mathrm{ }{\mathrm{D}}_{\mathrm{n}}\}$ in formula (1) can be any collection of real numbers, if $\mathrm{\beta }\mathrm{ }(\mathrm{\lambda },\mathrm{ }\mathrm{j},\mathrm{ }\mathrm{k})\mathrm{ }\in \mathrm{ }\&\#091;0,\mathrm{ }1\&\#093;$ we can refer to them as weights (or fractions) of the worths $\left\{\mathrm{w}\mathrm{ }\right(\mathrm{S},\mathrm{ }\mathrm{Q}){\}}_{(S,Q)\in EC}$.

Now, we describe the final payoff for player $\mathrm{i}\mathrm{ }\in \mathrm{ }\mathrm{N}$ as a result of the following elementary procedure:

1. 1. He/she receives the egalitarian amount $\frac{\mathrm{w}(\mathrm{N},\mathrm{w}\{\mathrm{N}\left\}\right)}{\mathrm{n}}$ .
2. 2. For each embedded coalition $(\mathrm{S},\mathrm{ }\mathrm{Q}),$ such that 𝑆 ≠ 𝑁 , there are transfers between players in S and players in $\mathrm{N}\mathrm{ }\backslash \mathrm{S}$ .

a) If player i belongs to S, then he/she receives (from each player in each $\mathrm{T}\mathrm{ }\in \mathrm{ }\mathrm{Q}\backslash \mathrm{ }\left\{\mathrm{S}\right\}$) a fraction $\mathrm{\beta }\mathrm{ }({\mathrm{\lambda }}_{\mathrm{Q}},\mathrm{ }\mathrm{s},\mathrm{ }\mathrm{t})$ of the worth $\mathrm{w}\mathrm{ }(\mathrm{S},\mathrm{ }\mathrm{Q}).$ In total from coalition T :

b) If player i does not belong to S, then he/she pays (to each player in S) a fraction β (λQ, s, qi) of the worth w (S, Q). In total to coalition S:

Notice that the weights are symmetric in the following sense:

If $\mathrm{i}\mathrm{ }\in \mathrm{ }\mathrm{S}$, then the weights associated to the embedded coalition (𝑆, 𝑄) depend on three parameters: the structure of Q, the cardinality of S and the cardinality of other coalitions T different from S.

If $\mathrm{i}\mathrm{ }\notin \mathrm{ }\mathrm{S}$, the weights depend on: the structure of Q, the cardinality of S and the cardinality of the coalition that contains player i.

In this note, we introduce a new entity that reflects the system of transfers described above. We define for any embedded coalition $(\mathrm{S},\mathrm{ }\mathrm{Q})$ such that $\mathrm{S}\mathrm{ }\ne \mathrm{ }\mathrm{N}$ and for any fixed $\mathrm{w}\mathrm{ }\in \mathrm{ }\mathrm{G}$ , the quantity:

Thus, if $\mathrm{i}\mathrm{ }\in \mathrm{ }\mathrm{S}$, then ${\mathrm{A}\mathrm{ }}_{\mathrm{i}}^{\mathrm{\beta }}(\mathrm{S},\mathrm{ }\mathrm{Q})$ = is the amount that player i receives in total from all other coalitions (in Q) different from S. On the other hand, if 𝑖 ∉ 𝑆, then ${\mathrm{A}\mathrm{ }}_{\mathrm{i}}^{\mathrm{\beta }}(\mathrm{S},\mathrm{ }\mathrm{Q})$= is the amount that player i must pay in total to the members in coalition S.

We can now state the main result:

Theorem 1: $\mathrm{L}\mathrm{e}\mathrm{t}\mathrm{ }\mathrm{\phi }\mathrm{b}\mathrm{e}\mathrm{ }\mathrm{a}\mathrm{ }\mathrm{v}\mathrm{a}\mathrm{l}\mathrm{u}\mathrm{e}\mathrm{ }\mathrm{o}\mathrm{n}\mathrm{ }\mathrm{G},\mathrm{ }\mathrm{\phi }\mathrm{i}\mathrm{s}\mathrm{ }\mathrm{l}\mathrm{i}\mathrm{n}\mathrm{e}\mathrm{a}\mathrm{r},\mathrm{ }\mathrm{s}\mathrm{y}\mathrm{m}\mathrm{m}\mathrm{e}\mathrm{t}\mathrm{r}\mathrm{i}\mathrm{c}\mathrm{ }\mathrm{a}\mathrm{n}\mathrm{d}\mathrm{ }\mathrm{e}\mathrm{f}\mathrm{f}\mathrm{i}\mathrm{c}\mathrm{i}\mathrm{e}\mathrm{n}\mathrm{t}\mathrm{ }\mathrm{i}\mathrm{f}\mathrm{ }\mathrm{a}\mathrm{n}\mathrm{d}\mathrm{ }\mathrm{o}\mathrm{n}\mathrm{l}\mathrm{y}\mathrm{ }\mathrm{i}\mathrm{f}\mathrm{ }\mathrm{t}\mathrm{h}\mathrm{e}\mathrm{r}\mathrm{e}\mathrm{ }\mathrm{e}\mathrm{x}\mathrm{i}\mathrm{s}\mathrm{t}\mathrm{s}\mathrm{ }\mathrm{a}\mathrm{ }\mathrm{u}\mathrm{n}\mathrm{i}\mathrm{q}\mathrm{u}\mathrm{e}\mathrm{ }\mathrm{s}\mathrm{e}\mathrm{q}\mathrm{u}\mathrm{e}\mathrm{n}\mathrm{c}\mathrm{e}\mathrm{ }\left\{\mathrm{\beta }\mathrm{ }\right(\mathrm{\lambda },\mathrm{ }\mathrm{k},\mathrm{ }\mathrm{j}\left)\mathrm{ }\right|\mathrm{ }(\mathrm{\lambda },\mathrm{ }\mathrm{k},\mathrm{ }\mathrm{j})\mathrm{ }\in \mathrm{ }{\mathrm{D}}_{\mathrm{n}}\}\mathrm{ }\mathrm{s}\mathrm{u}\mathrm{c}\mathrm{h}\mathrm{ }\mathrm{t}\mathrm{h}\mathrm{a}\mathrm{t}\mathrm{ }\mathrm{f}\mathrm{o}\mathrm{r}\mathrm{ }\mathrm{a}\mathrm{n}\mathrm{y}\mathrm{ }\mathrm{i}\mathrm{ }\in \mathrm{ }\mathrm{N},[/\mathrm{p}]$

Proof. It is immediate; one only needs to substitute the definition of ${\mathrm{A}\mathrm{ }}_{\mathrm{i}}^{\mathrm{\beta }}\left(\mathrm{S},\mathrm{ }\mathrm{Q}\right)$ into (2), and re-arrange the terms to obtain (1).

Thus, every linear, symmetric and efficient ϕ can be obtained from the transfers procedure previously described.

Example 2: $\mathrm{L}\mathrm{e}\mathrm{t}\mathrm{ }\mathrm{N}\mathrm{ }=\mathrm{ }\{1,\mathrm{ }2,\mathrm{ }.\mathrm{ }.\mathrm{ }.,\mathrm{ }9\}\mathrm{ }\mathrm{b}\mathrm{e}\mathrm{ }\mathrm{t}\mathrm{h}\mathrm{e}\mathrm{ }\mathrm{s}\mathrm{e}\mathrm{t}\mathrm{ }\mathrm{o}\mathrm{f}\mathrm{ }\mathrm{p}\mathrm{l}\mathrm{a}\mathrm{y}\mathrm{e}\mathrm{r}\mathrm{s}\mathrm{ }\mathrm{a}\mathrm{n}\mathrm{d}\mathrm{ }\mathrm{t}\mathrm{a}\mathrm{k}\mathrm{e}\mathrm{ }\mathrm{a}\mathrm{ }\mathrm{p}\mathrm{a}\mathrm{r}\mathrm{t}\mathrm{i}\mathrm{c}\mathrm{u}\mathrm{l}\mathrm{a}\mathrm{r}\mathrm{ }\mathrm{e}\mathrm{m}\mathrm{b}\mathrm{e}\mathrm{d}\mathrm{d}\mathrm{e}\mathrm{d}\mathrm{ }\mathrm{c}\mathrm{o}\mathrm{a}\mathrm{l}\mathrm{i}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}\mathrm{ }(\mathrm{S},\mathrm{ }\mathrm{Q}),\mathrm{ }\mathrm{s}\mathrm{u}\mathrm{c}\mathrm{h}\mathrm{ }\mathrm{t}\mathrm{h}\mathrm{a}\mathrm{t}\mathrm{ }\mathrm{S}\mathrm{ }=\mathrm{ }\{1,\mathrm{ }8\}\mathrm{ }\mathrm{a}\mathrm{n}\mathrm{d}$

Notice that ${\mathrm{\lambda }\mathrm{ }}_{\mathrm{Q}}=\mathrm{ }\&\#091;32211\&\#093;$ and in order to compute the payoff for player 1 or 8, one has to consider the transfers (associated to the coalition structure Q) between members of S and members of remaining coalitions $\mathrm{T}\mathrm{ }\in \mathrm{ }\mathrm{Q}\backslash \mathrm{ }\left\{\mathrm{S}\right\}$ (table 2).

The next example shows how to obtain any linear, symmetric and efficient solution (for n = 3) by applying the transfers procedure.

Example 3: If $\mathrm{N}\mathrm{ }=\mathrm{ }\{\mathrm{i},\mathrm{ }\mathrm{j},\mathrm{ }\mathrm{k}\},$ there are 5 different partitions for the set of players. According to the transfers procedure, the payoff for player i is obtained from the following system of transfers (table 3):

Thus, re-arranging the terms, any linear, symmetric efficient solution is of the form (for player i):

for any choice of real numbers $\mathrm{\beta }\mathrm{ }(\&\#091;111\&\#093;\mathrm{ },\mathrm{ }1,\mathrm{ }1),\mathrm{ }\mathrm{\beta }\mathrm{ }(\&\#091;21\&\#093;\mathrm{ },\mathrm{ }1,\mathrm{ }2),$ and

In particular, for Example 1, we compute a player’s payoff through the transfers procedure.

Example 4: From the game described in Example 1, we describe the payoff (for player 1, without loss of generality) according to the transfers procedure (table 4).

• First, the quantity 200/3 is allocated to player 1.

• In partition $\left\{\right\{1\} ,\mathrm{ }\{2\} ,\mathrm{ }\{3\left\}\right\}$ , he/she receives (from players 2 and 3) 100 · $\mathrm{\beta }\mathrm{ }(\&\#091;111\&\#093;\mathrm{ },\mathrm{ }1,\mathrm{ }1)$ and pays them 100 · $\mathrm{\beta }\mathrm{ }(\&\#091;111\&\#093;\mathrm{ },\mathrm{ }1,\mathrm{ }1)$ .

• In partition {{1, 2} , {3}}, he/she receives (from player 3) 120 · $\beta \mathrm{ }(\&\#091;21\&\#093;\mathrm{ },\mathrm{ }2,\mathrm{ }1)$ and pays 40 · β ([21] , 1, 2).

• In partition $\left\{\right\{1,\mathrm{ }3\} ,\mathrm{ }\{2\left\}\right\}$ , he/she receives (from player 2) 125 · $\beta \mathrm{ }(\&\#091;21\&\#093;\mathrm{ },\mathrm{ }2,\mathrm{ }1)$ and pays 45 · $\mathrm{\beta }\mathrm{ }(\&\#091;21\&\#093;\mathrm{ },\mathrm{ }1,\mathrm{ }2)$ .

• In partition $\left\{\right\{2,\mathrm{ }3\} ,\mathrm{ }\{1\left\}\right\}$ , he/she receives (from players 2 and 3) $\mathrm{\beta }\mathrm{ }(\&\#091;21\&\#093;\mathrm{ },\mathrm{ }1,\mathrm{ }2)$ and pays 260 · $\mathrm{\beta }\mathrm{ }(\&\#091;21\&\#093;\mathrm{ },\mathrm{ }2,\mathrm{ }1).$

4. Examples of LSE solutions

In this section we briefly present some solutions that can be implemented from the transfers procedure; i.e., they all are of the form (1). As a first example, we take the expected stand-alone value, ${\mathrm{\phi }}^{\mathrm{E}\mathrm{S}\mathrm{A}}$, which tells us how much a player may obtain in a game with externalities when we focus on the stand-alone side of the game:

which we obtain when we take in (1):

Shapley value

Pham Do and Norde (2007) define an extension of the Shapley (1953) value to the class of games with externalities as:

for each 𝑖 ∈ 𝑁 and each $\mathrm{w}\mathrm{ }\in \mathrm{ }\mathrm{G}$, where Sh is the Shapley value operator for transferable utilities (TU) games and v is defined as follows:

for each $\mathrm{S}\mathrm{ }\subseteq \mathrm{ }\mathrm{N}$.

This solution is of the form (1) with parameters:

Consensus value

Ju (2007) define the consensus value, φ J , as the middle point between the stand-alone value and the Shapley value of Pham Do and Norde (2007). The corresponding parameters for the consensus value are:

Myerson value

Myerson (1977) proceeds axiomatically and proposes a value extend-ing the well-known Shapley value (Shapley, 1953), which is defined for TU games. His proposal satisfies the axioms of linearity, symmetry, efficiency, and the “null” player property that states that players who have no effect on the outcome should neither receive nor pay anything. The Myerson value of a player is given by:

which we get with the parameters:

The value of Albizuri et al.

Albizuri et al. (2005) obtain a unique value characterized by the properties of linearity, symmetry, efficiency, oligarchy, and an additional symmetry requirement with respect to the embedded coalitions. They define the value for a player as:

Where $\mathrm{P}\mathrm{ }(\mathrm{S},\mathrm{ }\mathrm{N})\mathrm{ }=\mathrm{ }\left|\right\{(\mathrm{T},\mathrm{ }\mathrm{Q})\mathrm{ }\in \mathrm{ }\mathrm{E}\mathrm{C}|\mathrm{T}\mathrm{ }=\mathrm{ }\mathrm{S}\}|$. In fact, they notice that $\mathrm{P}\mathrm{ }(\mathrm{S},\mathrm{ }\mathrm{N})\mathrm{ }=\mathrm{ }\mathrm{p}\mathrm{ }(\mathrm{n}\mathrm{ }-\mathrm{ }\mathrm{s})$ , where p (k) represents the number of partitions of any set K with cardinality k.

This solution is also of the form (1). The corresponding parameters are:

The value of Macho-Stadler et al.

As a final example, Macho-Stadler et al. (2007) characterize the value:

which we get when we choose:

Example 5: We look at the system of weights for the different solutions described above in the case n = 3. For this particular case, there are 3 different weights associated with the transfers procedure:

Now, for the case n = 4 there are 7 different weights associated with the transfers procedure (table 6):

As we can observe, in both cases, the Myerson value is the only solution that considers negative weights.

Example 6: Recall the game described in Example 1, and applying the previous solutions, we get the following payoffs.

In order to select one of these solutions, one have to consider the axioms (other than linearity, symmetry and efficiency) that characterize each value. Some axioms are widely accepted and others could be more controversial.

For instance with the Myerson value, player 1 obtains a payoff of 42.5, which is less than his/her individual worth in the game (as-suming all players are on their own). This might be a consequence of the “null” property considered in the characterization of the Myerson value.

5. Final comments

The family of solutions for games with externalities that are simultaneously linear, symmetric, and efficient is wide and describes a |Dn| − dimensional affine vector space. It contains, among others, the expected stand-alone value, the Myerson value (Myerson, 1977), the Shapley value (Pham Do and Norde, 2007), the consensus value (Ju, 2007), the value of Albizuri et al. (2005), and the value of Macho-Stadler et al. (2007). A better understanding pattern of solutions is essential to get the difference (and similarity) between solutions within a given class and to know what changes when we switch to a different class of solutions. The paper unveils how any such class reflects a policy for sharing the common surplus in terms of transfers between players of a fixed embedded coalition and players of every coalition that belongs to the same partition.

References

Albizuri, M.J., J. Arin, and J. Rubio. 2005. An axiom system for a value for games in partition function form, International Game Theory Review, 7(1): 63-72.

Ju Y. 2007. The consensus value for games in partition function form, International Game Theory Review, 9(3): 437-452.

Lucas W.F. and R.M. Thrall. 1963. N-person games in partition function form, Naval Research Logistics Quarterly, 10: 281-298.

Macho-Stadler, I., D. Pérez-Castrillo, and D. Wettstein. 2007. Sharing the surplus: An extension of the Shapley value for environments with externalities, Journal of Economic Theory, 135: 339-356.

Myerson R.B. 1977. Values of games in partition function form, International Journal of Game Theory, 6(1): 23-31.

Pham Do K. and H. Norde. 2007. The Shapley value for partition function games, International Game Theory Review, 9(2): 353-360.

Sánchez-Pérez, J. 2017. A decomposition for the space of games with externalities, International Journal of Game Theory, 46: 205-233.

Shapley, L. 1953. A value for n-person games, in H. Kuhn and A. Tucker (eds.), Contributions to the Theory of Games II, Princeton, Princeton University Press.

IR