# Allocation Rules for Games with Optimistic Aspirations

Authors: Luisa Carpente; Balbina Casas-Méndez; Ignacio García-Jurado; Anne van den Nouweland
Journal: Game Theory
 (2013)

---

## Abstract

A game with optimistic aspirations specifies two values for each
coalition of players: the first value is the worth that the players
in the coalition can guarantee for themselves in the event that they
coordinate their actions, and the second value is the amount that
the players in the coalition aspire to get under reasonable but very
optimistic assumptions about the demands of the players who are not
included in the coalition. In this paper, in addition to presenting
this model and justifying its relevance, we introduce allocation
rules and extend the properties of efficiency, additivity,
symmetry, and null player property to this setting. We demonstrate
that these four properties are insufficient to find a unique
allocation rule and define three properties involving null players
and nullifying players that allow the identification of unique
allocation rules. The allocation rules we identify are the Midpoint
Shapley Value and the Equal Division Rule.


---

## Body

## 1. Introduction

In this paper we introduce games with optimistic aspirations, and we identify two allocation rules for such games—the Midpoint Shapley Value and the Equal Division Rule.A game with optimistic aspirations specifies two values for each coalition of players: the first value is the worth that the players in the coalition can guarantee for themselves in the event that they coordinate their actions (where the word guarantee implies a very conservative attitude), and the second value is the amount that the players in the coalition aspire to get under reasonable but very optimistic assumptions about the demands of the players who are not included in the coalition.The two allocation rules that we define on the class of games with optimistic aspirations in this paper, the Midpoint Shapley Value and the Equal Division Rule, are found by extending the axioms that were used in Shapley [1] to define the Shapley Value and augmenting them with stronger versions of the null player property—the strong null player property, the nullifying player property, and the destroyer player property. The strong null player property and the destroyer player property lead to the Midpoint Shapley Value, while the nullifying player property leads to the Equal Division Rule.This paper contributes to the field of cooperative game theory. Games with optimistic aspirations are inspired much in the same way in which von Neumann and Morgenstern [2] already introduced cooperative games, namely, as descriptions of situations that are devoid of a specific structure of negotiations but that capture the potential of coalitions of players when they cooperate. We add one element to the description of cooperative transferable utility games, namely, the optimistic aspirations of coalitions of players, to get a richer description than that which results from traditional cooperative games.The resulting games with optimistic aspirations incorporate elements of the lower value approach, which associates with each coalitionS the lower value of the zero-sum game between coalition S and its complement N∖S and which is an adaptation of the classical approach by von Neumann and Morgenstern [2] and was studied in more detail in Carpente et al. [3].Games with optimistic aspirations bear similarity to interval games as introduced in Carpente et al. [4], which associate with every coalition of players S the interval whose extremes are, respectively, the lower value and the upper value of the zero-sum game between coalition S and coalition N∖S. However, as we will see in Section 3, neither the lower value nor the upper value reflects the possible asymmetries that may exist between the players and coalitions that are captured by the optimistic aspirations that we define.Games with optimistic aspirations also bear superficial similarity to games with upper bounds as introduced in Carpente et al. [5]. In a game with upper bounds, there is some external bound on the maximum payoff that a coalition can possibly get and any proposed allocation has to respect these bounds. The difference between games with optimistic aspirations and games with upper bounds is subtle but important: in a game with upper bounds, there is some external bound on the maximum payoff that a coalition can possibly get, and any proposed allocation has to respect these bounds. In a game with optimistic aspirations, however, the optimistic aspirations model goals that coalitions have in mind and use in negotiations, but they do not constitute bounds on possible agreements that can be reached in the grand coalition.Games with optimistic aspirations can be used to shed light on many situations. We name just a few for illustration: in minimal cost spanning tree situations the optimistic values identified in Bergantiños and Vidal-Puga [6] can be incorporated into a cooperative game with optimistic aspirations, while in queueing problems the optimistic estimates of the costs of coalitions identified in Maniquet [7] can be taken into account as optimistic aspirations. For more potential areas of application of games with optimistic aspirations, we refer the reader to Fiestras-Janeiro et al. [8].The paper is organized as follows. In Section2 we recall definitions and results from the literature that we will use later on in this paper. In Section 3 we introduce games with optimistic aspirations and provide the motivation for the introduction of this class of games. In this section we also identify two ways to decompose games with optimistic aspirations into basic games that are inspired by unanimity games and canonical games. In Section 4 we introduce allocation rules and extend the properties efficiency, additivity, symmetry, and null player property to the setting of games with optimistic aspirations. We demonstrate that the four properties obtained are insufficient to identify a unique allocation rule, and then we proceed by defining three properties related to null players and nullifying players that allow the identification of two allocation rules. We conclude in Section 5 with a summarization of the crucial thoughts and some possible implications for the advancement of cooperative game theory.


## 2. TU Games and Related Definitions

In this section we recall definitions and results from the literature that we will use later on in this paper.LetN be a finite set of players. We denote by 2N={S∣S⊆N} the set of all subsets of N, which are called coalitions. We adopt the common notation of denoting the cardinality of the player set N by n and the cardinality of a coalition S by s. A cooperative game with transferable utility (or a TU-game) is a pair (N,v) consisting of the set of players N and a characteristic function v:2N→ℝ that assigns to each coalition S of players a value v(S), with v(∅)=0. It is common to identify a cooperative game (N,v) with its characteristic function v, because the player set N can be reconstructed from the domain of the characteristic function. We denote by G(N)={v:2N→ℝ∣v(∅)=0} the class of TU games with set of players N, and we denote by G the class of TU games with a finite set of players. A special game is the so-called zero game in which each coalition’s value equals 0, and this game is denoted by the symbol 0.The classG(N) forms a vector space of dimension 2n-1. We will use two different widely known bases of G(N), the unanimity games basis and the canonical games basis. The unanimity games basis of G(N) consists of the unanimity games uS∈G(N),  S∈2N∖{∅}, which are defined by uS(T)=1 if  T⊆N with S⊆T and uS(T)=0 if  T⊆N with S⊈T. Every v∈G(N) can be written as a linear combination of unanimity games, v=∑S∈2N∖{∅}‍aSvuS, with unique unanimity coefficients aSv∈ℝ for each S. The canonical games basis of G(N) consists of the canonical games eS∈G(N), S∈2N∖{∅}, which are defined by eS(T)=1 if T=S and eS(T)=0 if T≠S. Every v∈G(N) can uniquely be written as a linear combination of canonical games as follows: v=∑S∈2N∖{∅}‍v(S)eS.An allocation rule for TU games is a map that associates a vectorψ(v)∈ℝN with every game (N,v)∈G(N). The Shapley Value is one such allocation rule, and in Shapley [1] this rule was found as the unique allocation rule for TU games that satisfies the four properties efficiency, additivity, symmetry, and the null player property (a more widely available source for this material is Winter [9]). An allocation rule ψ for TU games satisfies efficiency if ∑i∈N‍ψi(v)=v(N) for all (N,v)∈G(N), it satisfies additivity if ψ(v+v-)=ψ(v)+ψ(v-) for any two TU games (N,v),(N,v-)∈G(N), it satisfies symmetry if ψi(v)=ψj(v) for any (N,v)∈G(N) and players i,j∈N such that v(S∪{i})=v(S∪{j}) for every coalition S⊆N∖{i,j}, and, finally, an allocation rule ψ for TU games satisfies the null player property if ψi(v)=0 for any (N,v)∈G(N) and player i∈N such that v(S∪{i})=v(S) for every coalition S⊂N. There are several equivalent definitions of the Shapley Value, which is usually denoted by ϕ, and the definition that is closest to Shapley’s [1] work is given by ϕi(v)=∑S⊆N:i∈S‍(aSv/s) for any TU-game (N,v)∈G(N) and any player i∈N (remember that aSv, S∈2N∖{∅}, denote the unique unanimity coefficients).A playeri∈N such that v(S∪{i})=v(S) for every coalition S⊂N does not ever change the worth of a coalition of players by joining or deserting it and is called a null player in the TU-game (N,v). In contrast, a nullifying player (as introduced by van den Brink [10]) is one whose presence in a coalition causes the worth of the coalition to be equal to zero; that is, player i∈N is a nullifying player if v(S)=0 for every coalition S⊂N with i∈S. Van den Brink shows that an axiom that requires nullifying players in TU games to get a payoff 0, in conjunction with efficiency, additivity, and symmetry, leads to the Equal Division allocation rule that for every TU-game (N,v)∈G(N) divides v(N) equally among all the players in N.


## 3. Games with Optimistic Aspirations

In this section we introduce the definition of games with optimistic aspirations, and we provide the motivation for the introduction of this class of games. Also, we establish that every game with optimistic aspirations can be written as a linear combination of certain basic games with limited aspirations.A game with optimistic aspirations and set of playersN is a pair of TU games (p,o)∈G(N)×G(N) with p(N)=o(N) and p(S)≤o(S) for all S∈2N∖{∅,N}. We denote the set of games with optimistic aspirations and set of players N by O(N)={(p,o)∣p,o∈G(N),p(S)≤o(S)∀S⊂N,andp(N)=o(N)}, and we denote by O the class of games with optimistic aspirations and a finite set of players. For every coalition S⊆N, the pessimistic worth p(S) is the worth that the players in the coalition can guarantee themselves through appropriately chosen coordinated actions (where the word guarantee implies a very conservative attitude) and independent of the actions chosen by the players not in S, while the optimistic worth o(S) denotes the worth that the players in the coalition aspire to get under reasonable but very optimistic assumptions about the demands of the players who are not included in the coalition.We explain games with optimistic aspirations as well as our motivation for introducing such games by means of a simple example. Consider an interactive situation that can be described by the following 2-player strategic-form game:(1)1,10,00,010,1.Suppose that the two players involved recognize that they can benefit from cooperation and both play their second action (i.e., row 2 and column 2), so that their joint payoffs are 11—much higher than for any other pair of strategies that the players can choose. However, the players have to figure out what side payments would be reasonable to use in order to give both of them the correct incentives to cooperate with each other. One approach to this question is the pessimistic approach that considers the TU-game(N,v_) in which each coalition S is assigned the lower value of the zero-sum game between coalition S and coalition N∖S and applies some allocation rule, for example, the Shapley Value, to obtain an allocation of the payoffs in this game. We refer the reader to Carpente et al. [3] for more extensive explanation as well as an axiomatization of the lower-value approach and suffice here by saying that this procedure applied to the situation in our example leads to the game ({1,2},v_) with v_(1)=v_(2)=0 and v_(N)=11.A more optimistic perspective is to consider for each coalitionS the upper value (v¯) of the zero-sum game between coalition S and coalition N∖S. This upper value assigns to each coalition the value that it can obtain under circumstances where it reacts optimally to the strategies played by the players outside the coalition under the assumption that those players are choosing their strategies with the purpose of holding the coalition members’ payoffs down. In our example, doing so would result in the game ({1,2},v¯) with v¯(1)=v¯(2)=1 and v¯(N)=11 (please see Carpente et al. [4] for a more extensive explanation of the upper value).However, as we clearly see in our example, neither the lower value nor the upper value reflects the clear asymmetries that exist between the two players in our simple example. In order to incorporate those, we consider the optimistic aspirations of coalitions—the value that the players in the coalition aspire to get under reasonable but very optimistic assumptions about the demands of the players who are not included in the coalition. We define the optimistic aspirations of coalitions in our example aso(1)=10, o(2)=1, and o(N)=11, because these values are the maximum values that each of the coalitions can obtain in any reasonable play of the game (note that player 1 can obtain 10 without any negative effect on player 2’s payoff). Clearly, these optimistic aspirations reflect the asymmetry that exists between the two players in our example.We think it is desirable to consider a model that takes this sort of optimistic information into account, while at the same time recognizing that the players have no strategies that guarantee them these optimistic payoffs. To this end, we introduce games with optimistic aspirations, which consist of a TU-gamep (for “pessimistic”) that gives for each coalition the value that the players in the coalition can guarantee themselves through the use of some appropriate coordinated strategy and a TU-game o (for “optimistic”) that gives for each coalition its optimistic aspiration—the value that the players in S could use as an aim in negotiations over payoffs in the grand coalition.In our proofs later in this paper, we will use that we can decompose every game with optimistic aspirations(p,o)∈O(N) into certain basic games. Since we have seen in Section 2 that the unanimity games uS∈G(N), S∈2N∖{∅}, form a basis of G(N), it is tempting to use {(uS,0)∣S∈2N∖∅}∪{(0,uS)∣S∈2N∖∅} as a basis for O(N), which is after all a subset of G(N)×G(N). However, (uS,0)∉O(N), because it violates the condition uS(T)≤0(T)=0 for all T⊆N that we have imposed on games with optimistic aspirations (p,o)∈O(N). In fact, O(N) is not a vector space because the condition p(S)≤o(S) for all S⊆N implies that if (p,o)∈O(N) such that p≠o, then -(p,o)∉O(N).In the following theorem we identify a basis ofO(N) by establishing that every game (p,o)∈O(N) can be written as a linear combination of games with optimistic aspirations (uS,uS) and (uN,uS) in a unique way.Theorem 1.
Every game with optimistic aspirations can be written as a linear combination of games in the family{(uS,uS)∣S∈2N∖∅}∪{(uN,uS)∣S∈2N∖∅}⊂O(N) in a unique way.Proof.
Let(p,o)∈O(N). We use that every v∈G(N) can be written as v=∑S∈2N∖∅‍aSvuS with unique unanimity coefficients aSv∈ℝ, S∈2N∖{∅}. From this we derive that
(2)(p,o)=∑S∈2N∖∅‍aSp(uS,0)+∑S∈2N∖∅‍aSo(0,uS)=∑S∈2N∖∅‍aSp(uS,uS)+∑S∈2N∖∅‍(aSo-aSp)(0,uS).
Notice that (0,uS) is not in O(N) for any S∈2N∖∅ (because uS(N)=1≠0=0(N)). However, in expression (2) we can replace the game 0 by the game uN, as we demonstrate in the following.
IfT⊂N, T≠N, then uN(T)=0, so that
(3)∑S∈2N∖∅‍(aSo-aSp)uN(T)=0.
IfT=N, then
(4)∑S∈2N∖∅‍(aSo-aSp)uN(T)=∑S∈2N∖∅‍(aSo-aSp)=∑S∈2N∖∅‍(aSo-aSp)uS(N)=o(N)-p(N)=0.
Using (3) and (4) in (2), we derive
(5)(p,o)=∑S∈2N∖∅‍aSp(uS,uS)+∑S∈2N∖∅‍(aSo-aSp)(uN,uS)=∑S∈2N∖{∅,N}‍aSp(uS,uS)+∑S∈2N∖{∅,N}‍(aSo-aSp)(uN,uS)+aNo(uN,uN),
where we take the term (uN,uN) outside the summation signs because it appears in both the first and the second summation.
We now turn to demonstrating that the decomposition in (5) is unique. Let αS, S∈2N∖{∅,N}, βS, S∈2N∖{∅,N}, and γN be generic coefficients such that
(6)(p,o)=∑S∈2N∖{∅,N}‍αS(uS,uS)+∑S∈2N∖{∅,N}‍βS(uN,uS)+γN(uN,uN).
Then, obviously,
(7)p=∑S∈2N∖{∅,N}‍αSuS+∑S∈2N∖{∅,N}‍βSuN+γNuN=∑S∈2N∖{∅,N}‍αSuS+(∑S∈2N∖{∅,N}‍βS+γN)uN,(8)o=∑S∈2N∖{∅,N}‍(αS+βS)uS+γNuN.
It thus follows from (7) and the uniqueness of the unanimity coefficients aSp that
(9)αS=aSp,∀S∈2N∖{∅,N},(10)∑S∈2N∖{∅,N}‍βS+γN=aNp,
and it follows from (8) and the uniqueness of the unanimity coefficients aSo that
(11)αS+βS=aSo∀S∈2N∖{∅,N},(12)γN=aNo.
Combining (11) and (9), we obtain
(13)βS=aSo-aSp∀S∈2N∖{∅,N}.
Equalities (9), (12), and (13) demonstrate that the decomposition in (6) is necessarily the same as that in (5) (note that (10), (12), and (13) are mutually consistent, as is demonstrated in the sequence of equalities aNp=∑S∈2N∖{∅,N}‍βS+γN=∑S∈2N∖{∅,N}‍(aSo-aSp)+aNo=o(N)-p(N)+aNp=aNp).We can also identify a basis ofO(N) consisting of canonical games. We demonstrate this in the following theorem.Theorem 2.
Every game with optimistic aspirations can be written as a linear combination of games in the family{(eS,eS)∣S∈2N∖∅}∪{(0,eS)∣S∈2N∖∅}⊂O(N) in a unique way.Proof.
Let(p,o)∈O(N). We use that every v∈G(N) can be written as v=∑S∈2N∖∅‍v(S)eS in terms of the canonical basis of G(N). We easily derive that
(14)(p,o)=∑S∈2N∖∅‍p(S)(eS,0)+∑S∈2N∖∅‍o(S)(0,eS)=∑S∈2N∖∅‍p(S)(eS,eS)+∑S∈2N∖∅‍(o(S)-p(S))(0,eS).
Unlike with the unanimity games (see Theorem 1), there is no problem with any of the games in (14) not being in O(N). This holds because o(S)-p(S)≥0 for all S⊂N and o(N)-p(N)=0.


## 4. Allocation Rules and Properties

The objective of this paper is to find reasonable allocation rules for the class of games with optimistic aspirationsO.Definition 3.
An allocation ruleψ on O is a map that associates a vector ψ(p,o)∈ℝN with every (p,o)∈O(N)⊂O.We have in mind to find an extension of the Shapley Value, and therefore, we start by looking for allocation rules that satisfy axioms similar to those that axiomatize the Shapley Value on the class of gamesG. In the following, we extend these properties, which we explained in Section 2, to allocation rules for games with optimistic aspirations.Efficiency (EFF). Allocation rule ψ satisfies EFF if for all (p,o)∈O(N)(15)∑i∈N‍ψi(p,o)=p(N)(=o(N)).Additivity (ADD). Allocation rule ψ satisfies ADD if for every (p,o),(p-,o-)∈O(N)(16)ψ((p,o)+(p-,o-))=ψ(p,o)+ψ(p-,o-).Two playersi,j∈N are said to be symmetric in (p,o) if p(S∪{i})=p(S∪{j}) and o(S∪{i})=o(S∪{j}) for every coalition S⊂N∖{i,j}.Symmetry (SYM). Allocation rule ψ satisfies SYM if for every (p,o)∈O(N) and players i,j∈N who are symmetric in (p,o)(17)ψi(p,o)=ψj(p,o).A playeri∈N is said to be a null player in (p,o) if p(S∪{i})=p(S) and o(S∪{i})=o(S) for every coalition S⊂N.Null Player Property (NPP). Allocation rule ψ satisfies NPP if for every (p,o)∈O(N) and player i∈N who is a null player in (p,o)(18)ψi(p,o)=0.In the following example, we demonstrate that the four properties defined previously do not determine a unique allocation rule for games with optimistic aspirations.Example 4.
We consider convex combinations of the Shapley Valuesϕ(p) and ϕ(o). For each λ∈[0,1], we define an allocation rule ϕλ by
(19)ϕλ(p,o)=λϕ(p)+(1-λ)ϕ(o).
It follows easily from the fact that the Shapley Value on G(N) satisfies the appropriate efficiency, additivity, symmetry, and null player properties (as explained in Section 2) that ϕλ satisfies EFF, ADD, SYM, and NPP for each λ∈[0,1]. However, varying λ leads to different allocations for games with optimistic aspirations (p,o) in which ϕ(p)≠ϕ(o). For an example of such a game, consider the player set N={1,2}, and define the game with optimistic aspirations (p,o) by p(2)=1, p(1)=p(N)=2, and o(1)=o(2)=o(N)=2. Then ϕ(p)=(3/2,1/2) and ϕ(o)=(1,1).It is clear from Example4 that we need to augment the set of axioms in order to pinpoint a unique allocation rule for games with optimistic aspirations. We will identify three different alternatives to the null player property, and we will show that each of these three, when used in conjunction with EFF, ADD, and SYM, leads to a unique allocation for each game (p,o)∈O(N). We discuss each of the three alternative axioms in turn.


### 4.1. The Strong Null Player Property

The strong null player property is a direct strengthening of NPP.Strong Null Player Property (SNPP). Allocation rule ψ satisfies SNPP if for every (p,o)∈O(N) and i∈N it holds that (a) if i is a null player in p, then ψi(p,o)=(1/2)ψi(o,o) and (b) if i is a null player in o, then ψi(p,o)=(1/2)ψi(p,p).The SNPP implies the NPP. To see this, consider a game with optimistic aspirations(p,o) and a player i who is a null player in both p and o. Because i is a null player in o, it follows from application of SNPP of ψ to the game with optimistic aspirations (o,o) that ψi(o,o)=(1/2)ψi(o,o). From this it follows that ψi(o,o)=0 has to hold. Now, we can derive from SNPP and the fact that i is a null player in p that ψi(p,o)=(1/2)ψi(o,o)=0.We show in the following theorem that the SNPP leads us to the allocation ruleϕλ with λ=1/2, as defined in Example 4. We give this allocation rule the name Midpoint Shapley Value.Definition 5.
The Midpoint Shapley Value is the allocation ruleϕ1/2 on O that associates with every (p,o)∈O(N) the payoff vector ϕ1/2(p,o)=(1/2)ϕ(p)+(1/2)ϕ(o).Theorem 6.
The Midpoint Shapley Valueϕ1/2 is the unique allocation rule on O satisfying EFF, ADD, SYM, and SNPP.Proof.
It follows easily from the fact that the Shapley Value satisfies the appropriate efficiency, additivity, symmetry, and null player properties, thatϕ1/2 satisfies EFF, ADD, SYM, and SNPP. Let ψ be an allocation rule on O that satisfies the four properties. It suffices to demonstrate that ψ is uniquely determined.
The fact thatO(N) is not a vector space necessitates some caution when subtracting games. Suppose that (p,o) and (p-,o-) are two games in O(N) such that (p,o)-(p-,o-)∈O(N) as well. Then ADD of ψ implies that
(20)ψ(p,o)=ψ((p,o)-(p-,o-)+(p-,o-))=ψ((p,o)-(p-,o-))+ψ(p-,o-),
so that
(21)ψ((p,o)-(p-,o-))=ψ(p,o)-ψ(p-,o-).
Now, let(p,o)∈O(N). We demonstrated in Theorem 1 (see (5)) that
(22)(p,o)=∑S∈2N∖{∅,N}‍aSp(uS,uS)+∑S∈2N∖{∅,N}‍(aSo-aSp)(uN,uS)+aNo(uN,uN),
which we rewrite as
(23)(p,o)=∑S∈2N∖{∅,N}‍aSp(uS,uS)+aNo(uN,uN)+∑S∈2N∖{∅,N}∣(aSo-aSp)≥0‍(aSo-aSp)(uN,uS)-∑S∈2N∖{∅,N}∣(aSo-aSp)<0‍(aSp-aSo)(uN,uS).
It is easy to show that by first one-by-one adding the games in the first two lines of this expression and then one-by-one subtracting the games in the last line, we can obtain (p,o) through a chain of games that all are in O(N) (the details are available from the authors on request). Thus, we can use ADD and (21) to derive from (23) that
(24)ψ(p,o)=∑S∈2N∖{∅,N}‍ψ(aSp(uS,uS))+ψ(aNo(uN,uN))+∑S∈2N∖{∅,N}∣(aSo-aSp)≥0‍ψ((aSo-aSp)(uN,uS))-∑S∈2N∖{∅,N}∣(aSo-aSp)<0‍ψ((aSp-aSo)(uN,uS)).
Thus, it remains to prove that ψ is uniquely determined on games with optimistic aspirations of the form appearing in (24).
Case1. Let S∈2N∖{∅} and a∈ℝ. Consider the game (p~,o~):=a(uS,uS). Clearly, all players in N∖S are null players in (p~,o~) and thus by NPP (note that we can use NPP because it is implied by SNPP) ψi(p~,o~)=0 for all i∈N∖S. In addition, by EFF it must hold that ∑i∈N‍ψi(p~,o~)=p~(N)=a, so that we obtain ∑i∈S‍ψi(p~,o~)=a. Since all players in S are symmetric in (p~,o~), it follows from SYM that ψi(p~,o~)=ψj(p~,o~) for all i,j∈S, so that we find that ψi(p~,o~)=a/s for all i∈S must hold.
Case2. Let S∈2N∖{∅,N} and a∈ℝ, a≥0. Consider the game (p~,o~):=a(uN,uS). All players in N∖S are null players in o~=auS, so that it follows from SNPP that ψi(p~,o~)=(1/2)ψi(p~,p~) for all i∈N∖S. It follows from the Case 1 aforementioned that ψi(p~,p~)=a/n for all i∈N. By EFF it must hold that ∑i∈N‍ψi(p~,o~)=p~(N)=a, so that we obtain ∑i∈S‍ψi(p~,o~)=a-∑i∈N∖S‍ψi(p~,o~)=a(1-((n-s)/2n))=(a/2)(1+(s/n)). Since all players in S are symmetric in (p~,o~), it follows from SYM that ψi(p~,o~)=ψj(p~,o~) for all i,j∈S, so that we find that ψi(p~,o~)=(a/2s)(1+(s/n))=(a/2s)+(a/2n)  for all i∈S must hold.
The Cases 1 and 2 aforementioned demonstrate thatψ is uniquely determined (and equal to ϕ1/2) for all games with optimistic aspirations that appear in (24).In principle, we can change the weights1/2 on ψ(p,p) and ψ(o,o) in the strong null player property. If, for some λ∈(0,1), we change these weights to λ and 1-λ, respectively, then we would obtain the convex combination ϕλ of the Shapley Values of p and o as the allocation rule satisfying EFF, ADD, SYM, and SNPP (this is easily verified by going through the proof of Theorem 6  and making the appropriate adjustments in Case 2, which is the only place where adjustments are needed). However, we see no motivation to treat the games p and o differently, and thus we use the weights 1/2.Another option one may consider is to take the point of view that if a playeri is a null player in the game o, then ψi(p,o)=ψi(p,p), the motivation for which could be that if player i has no influence on the optimistic aspirations of coalitions, then player i’s allocation should be determined by his influence in p solely. However, such a property, combined with ADD, EFF, SYM, and NPP, leads to the conclusion that ψ(p,o)=ψ(p,p) for all games with optimistic aspirations (p,o)∈O(N), and thus the optimistic aspirations are not taken into account for any game (a proof is available from the authors upon request).


### 4.2. The Nullifying Player Property

Instead of concentrating on null players, we can also concentrate on nullifying players. Since a nullifying player’s presence prevents others from obtaining a positive worth, the other players may argue that such a player deserves no positive payoff. On the other hand, the nullifying player himself can argue that he deserves no negative payoff either since he can guarantee himself zero by not joining any others. The nullifying player property states that a nullifying player gets a payoff 0. We extend the nullifying player property to the setting of games with optimistic aspirations and investigate if replacing NPP with the new property determines an allocation rule.A playeri∈N is said to be a nullifying player in (p,o) if p(S)=o(S)=0 for every coalition S⊆N with i∈S.Nullifying Player Property (NFPP). Allocation rule ψ satisfies NFPP if for every (p,o)∈O(N) and player i∈N who is a nullifying player in (p,o)(25)ψi(p,o)=0.We show in the following theorem that the NFPP leads us to the Equal Division allocation rule.Definition 7.
The Equal Division Rule is the allocation ruleED on O that associates with every (p,o)∈O(N) and player i∈N the payoff vector defined by EDi(p,o)=p(N)/n.Theorem 8.
The Equal Division RuleED is the unique allocation rule on O satisfying EFF, ADD, SYM, and NFPP.Proof.
It follows easily and straightforwardly thatED satisfies EFF, ADD, SYM, and NFPP. Let ψ be an allocation rule on O that satisfies the four properties. It suffices to demonstrate that ψ is uniquely determined. To do so, we use the canonical basis of G(N), which consists of the games eS∈G(N), S⊂N, defined by eS(T)=1 if T=S and eS(T)=0 if T≠N. Every v∈G(N) can uniquely be written as a combination of canonical games as follows: v=∑S∈2N∖∅‍v(S)eS.
Now, let(p,o)∈O(N). We demonstrated in Theorem 2 (see (14)) that
(26)(p,o)=∑S∈2N∖∅‍p(S)(eS,eS)+∑S∈2N∖∅‍(o(S)-p(S))(0,eS).
Like we did in the proof of Theorem 6, we can thus use ADD to derive that
(27)ψ(p,o)=∑S∈2N∖∅‍ψ(p(S)(eS,eS))+∑S∈2N∖∅‍ψ((o(S)-p(S))(0,eS)).
Thus, it remains to prove that ψ is uniquely determined on games with optimistic aspirations of the form appearing in (27).
Case1. Let S∈2N∖{∅,N} and a,b∈ℝ, b≥0. Consider the games (p~,o~):=a(eS,eS) and (p^,o^):=b(0,eS). Clearly, all players in N∖S are nullifying players in (p~,o~) and also in (p^,o^) and thus by NFPP ψi(p~,o~)=ψi(p^,o^)=0 for all i∈N∖S. In addition, by EFF it must hold that ∑i∈N‍ψi(p~,o~)=p~(N)=0=p^(N)=∑i∈N‍ψi(p^,o^), so that we obtain ∑i∈S‍ψi(p~,o~)=∑i∈S‍ψi(p^,o^)=0. Since all players in S are symmetric in (p~,o~) and also in (p^,o^), it follows from SYM that ψi(p~,o~)=ψj(p~,o~) and ψi(p^,o^)=ψj(p^,o^) for all i,j∈S, so that we find that ψi(p~,o~)=ψi(p^,o^)=0/s=0 for all i∈S must hold.
Case2. Let a∈ℝ, and consider the game (p~,o~):=a(eN,eN). By EFF it must hold that ∑i∈N‍ψi(p~,o~)=p~(N)=a. Since all players in S are symmetric in (p~,o~), it follows from SYM that ψi(p~,o~)=ψj(p~,o~) for all i,j∈N, so that we find that ψi(p~,o~)=a/n for all i∈N must hold.
Remember thato(N)-p(N)=0, so that we do not have to consider the game (0,eN). Thus, Cases 1 and 2 mentioned previously demonstrate that ψ is uniquely determined (and equal to ED) for all games with optimistic aspirations that appear in (27).


### 4.3. The Destroyer Player Property

Instead of concentrating on the worths of coalitions that include a nullifying player, we can also concentrate on what happens to the worths of coalitions when a nullifying player joins it. Hence, instead of concentrating on the fact that a nullifying player causes the worth of any coalition he is a member of to be 0, we look at the change in worth that he causes when he joins various coalitions. To reflect this change of focus, we give an alternative (but equivalent) description of nullifying players.A playeri∈N is said to be a nullifying player in (p,o) if p(S∪{i})=o(S∪{i})=0 for every coalition S⊂N.When a nullifying player joins a coalitionS of players, he destroys the worth p(S) that coalition S could guarantee itself and also causes the optimistic aspiration to change from o(S) to 0. The destroyer player property (see the following) states that a nullifying player should get a payoff that is equal to the value that he destroys in expectation by joining a coalition, assuming that first the cardinality of a coalition is selected at random (from the range 0 to n-1), then a coalition of that size is selected at random, and, finally, a random choice determines whether we consider the effect on p or o.Destroyer Player Property (DPP). Allocation rule ψ satisfies DPP if for every (p,o)∈O(N) and player i∈N who is a nullifying player in (p,o)(28)ψi(p,o)=-∑S⊂N∖{i}‍12n(n-1s)p(S)-∑S⊂N∖{i}‍12n(n-1s)o(S).It turns out that DPP together with EFF, ADD, and SYM determines a unique allocation rule and that it is the Midpoint Shapley Valueϕ1/2, which we already encountered in Theorem 6.Theorem 9.
The Midpoint Shapley Valueϕ1/2 is the unique allocation rule on O satisfying EFF, ADD, SYM, and DPP.Proof.
With regard to existence, it remains to demonstrate thatϕ1/2 satisfies DPP. Let (p,o)∈O(N) be a game with optimistic aspirations with a nullifying player i∈N. Then
(29)ϕi1/2(p,o)=12ϕi(p)+12ϕi(o)=12∑S⊂N∖{i}‍s!(n-s-1)!n!(p(S∪{i})-p(S))+12∑S⊂N∖{i}‍s!(n-s-1)!n!(o(S∪{i})-o(S))=-∑S⊂N∖{i}‍12n(n-1s)p(S)-∑S⊂N∖{i}‍12n(n-1s)o(S),
where the second equality uses the definition of the Shapley Value and the third equality uses the fact that player i is nullifying in (p,o).
To prove uniqueness, letψ be an allocation rule on O that satisfies EFF, ADD, SYM, and DPP. It suffices to demonstrate that ψ is uniquely determined. As in the proof of Theorem 8, we derive using ADD of ψ that
(30)ψ(p,o)=∑S∈2N∖∅‍ψ(p(S)(eS,eS))+∑S∈2N∖∅‍ψ((o(S)-p(S))(0,eS)).
Remember thato(N)-p(N)=0, so that we do not have to consider the game (0,eN). For games (p~,o~) defined either by (p~,o~)=a(eS,eS) for some S∈2N∖{∅} and a∈ℝ, or by (p~,o~)=a(0,eS) for some S∈2N∖{∅,N} and a∈ℝ with a≥0, the following reasoning holds: all players in N∖S are nullifying players in (p~,o~) and thus by DPP
(31)ψi(p~,o~)=-∑S⊂N∖{i}‍12n(n-1s)p~(S)-∑S⊂N∖{i}‍12n(n-1s)o~(S)
for all i∈N∖S, which means that these values are uniquely determined. In addition, by EFF it must hold that ∑i∈N‍ψi(p~,o~)=p~(N), so that we obtain ∑i∈S‍ψi(p~,o~)=p~(N)-∑i∈N∖S‍ψi(p~,o~). Since all players in S are symmetric in (p~,o~), it follows from SYM that ψi(p~,o~)=ψj(p~,o~) for all i,j∈S, and thus we find that ψi(p~,o~)=((p~(N)-∑i∈N∖S‍ψi(p~,o~))/s) for all i∈S must hold. This uniquely determines ψi(p~,o~) for all i∈S.


## 4.1. The Strong Null Player Property

The strong null player property is a direct strengthening of NPP.Strong Null Player Property (SNPP). Allocation rule ψ satisfies SNPP if for every (p,o)∈O(N) and i∈N it holds that (a) if i is a null player in p, then ψi(p,o)=(1/2)ψi(o,o) and (b) if i is a null player in o, then ψi(p,o)=(1/2)ψi(p,p).The SNPP implies the NPP. To see this, consider a game with optimistic aspirations(p,o) and a player i who is a null player in both p and o. Because i is a null player in o, it follows from application of SNPP of ψ to the game with optimistic aspirations (o,o) that ψi(o,o)=(1/2)ψi(o,o). From this it follows that ψi(o,o)=0 has to hold. Now, we can derive from SNPP and the fact that i is a null player in p that ψi(p,o)=(1/2)ψi(o,o)=0.We show in the following theorem that the SNPP leads us to the allocation ruleϕλ with λ=1/2, as defined in Example 4. We give this allocation rule the name Midpoint Shapley Value.Definition 5.
The Midpoint Shapley Value is the allocation ruleϕ1/2 on O that associates with every (p,o)∈O(N) the payoff vector ϕ1/2(p,o)=(1/2)ϕ(p)+(1/2)ϕ(o).Theorem 6.
The Midpoint Shapley Valueϕ1/2 is the unique allocation rule on O satisfying EFF, ADD, SYM, and SNPP.Proof.
It follows easily from the fact that the Shapley Value satisfies the appropriate efficiency, additivity, symmetry, and null player properties, thatϕ1/2 satisfies EFF, ADD, SYM, and SNPP. Let ψ be an allocation rule on O that satisfies the four properties. It suffices to demonstrate that ψ is uniquely determined.
The fact thatO(N) is not a vector space necessitates some caution when subtracting games. Suppose that (p,o) and (p-,o-) are two games in O(N) such that (p,o)-(p-,o-)∈O(N) as well. Then ADD of ψ implies that
(20)ψ(p,o)=ψ((p,o)-(p-,o-)+(p-,o-))=ψ((p,o)-(p-,o-))+ψ(p-,o-),
so that
(21)ψ((p,o)-(p-,o-))=ψ(p,o)-ψ(p-,o-).
Now, let(p,o)∈O(N). We demonstrated in Theorem 1 (see (5)) that
(22)(p,o)=∑S∈2N∖{∅,N}‍aSp(uS,uS)+∑S∈2N∖{∅,N}‍(aSo-aSp)(uN,uS)+aNo(uN,uN),
which we rewrite as
(23)(p,o)=∑S∈2N∖{∅,N}‍aSp(uS,uS)+aNo(uN,uN)+∑S∈2N∖{∅,N}∣(aSo-aSp)≥0‍(aSo-aSp)(uN,uS)-∑S∈2N∖{∅,N}∣(aSo-aSp)<0‍(aSp-aSo)(uN,uS).
It is easy to show that by first one-by-one adding the games in the first two lines of this expression and then one-by-one subtracting the games in the last line, we can obtain (p,o) through a chain of games that all are in O(N) (the details are available from the authors on request). Thus, we can use ADD and (21) to derive from (23) that
(24)ψ(p,o)=∑S∈2N∖{∅,N}‍ψ(aSp(uS,uS))+ψ(aNo(uN,uN))+∑S∈2N∖{∅,N}∣(aSo-aSp)≥0‍ψ((aSo-aSp)(uN,uS))-∑S∈2N∖{∅,N}∣(aSo-aSp)<0‍ψ((aSp-aSo)(uN,uS)).
Thus, it remains to prove that ψ is uniquely determined on games with optimistic aspirations of the form appearing in (24).
Case1. Let S∈2N∖{∅} and a∈ℝ. Consider the game (p~,o~):=a(uS,uS). Clearly, all players in N∖S are null players in (p~,o~) and thus by NPP (note that we can use NPP because it is implied by SNPP) ψi(p~,o~)=0 for all i∈N∖S. In addition, by EFF it must hold that ∑i∈N‍ψi(p~,o~)=p~(N)=a, so that we obtain ∑i∈S‍ψi(p~,o~)=a. Since all players in S are symmetric in (p~,o~), it follows from SYM that ψi(p~,o~)=ψj(p~,o~) for all i,j∈S, so that we find that ψi(p~,o~)=a/s for all i∈S must hold.
Case2. Let S∈2N∖{∅,N} and a∈ℝ, a≥0. Consider the game (p~,o~):=a(uN,uS). All players in N∖S are null players in o~=auS, so that it follows from SNPP that ψi(p~,o~)=(1/2)ψi(p~,p~) for all i∈N∖S. It follows from the Case 1 aforementioned that ψi(p~,p~)=a/n for all i∈N. By EFF it must hold that ∑i∈N‍ψi(p~,o~)=p~(N)=a, so that we obtain ∑i∈S‍ψi(p~,o~)=a-∑i∈N∖S‍ψi(p~,o~)=a(1-((n-s)/2n))=(a/2)(1+(s/n)). Since all players in S are symmetric in (p~,o~), it follows from SYM that ψi(p~,o~)=ψj(p~,o~) for all i,j∈S, so that we find that ψi(p~,o~)=(a/2s)(1+(s/n))=(a/2s)+(a/2n)  for all i∈S must hold.
The Cases 1 and 2 aforementioned demonstrate thatψ is uniquely determined (and equal to ϕ1/2) for all games with optimistic aspirations that appear in (24).In principle, we can change the weights1/2 on ψ(p,p) and ψ(o,o) in the strong null player property. If, for some λ∈(0,1), we change these weights to λ and 1-λ, respectively, then we would obtain the convex combination ϕλ of the Shapley Values of p and o as the allocation rule satisfying EFF, ADD, SYM, and SNPP (this is easily verified by going through the proof of Theorem 6  and making the appropriate adjustments in Case 2, which is the only place where adjustments are needed). However, we see no motivation to treat the games p and o differently, and thus we use the weights 1/2.Another option one may consider is to take the point of view that if a playeri is a null player in the game o, then ψi(p,o)=ψi(p,p), the motivation for which could be that if player i has no influence on the optimistic aspirations of coalitions, then player i’s allocation should be determined by his influence in p solely. However, such a property, combined with ADD, EFF, SYM, and NPP, leads to the conclusion that ψ(p,o)=ψ(p,p) for all games with optimistic aspirations (p,o)∈O(N), and thus the optimistic aspirations are not taken into account for any game (a proof is available from the authors upon request).


## 4.2. The Nullifying Player Property

Instead of concentrating on null players, we can also concentrate on nullifying players. Since a nullifying player’s presence prevents others from obtaining a positive worth, the other players may argue that such a player deserves no positive payoff. On the other hand, the nullifying player himself can argue that he deserves no negative payoff either since he can guarantee himself zero by not joining any others. The nullifying player property states that a nullifying player gets a payoff 0. We extend the nullifying player property to the setting of games with optimistic aspirations and investigate if replacing NPP with the new property determines an allocation rule.A playeri∈N is said to be a nullifying player in (p,o) if p(S)=o(S)=0 for every coalition S⊆N with i∈S.Nullifying Player Property (NFPP). Allocation rule ψ satisfies NFPP if for every (p,o)∈O(N) and player i∈N who is a nullifying player in (p,o)(25)ψi(p,o)=0.We show in the following theorem that the NFPP leads us to the Equal Division allocation rule.Definition 7.
The Equal Division Rule is the allocation ruleED on O that associates with every (p,o)∈O(N) and player i∈N the payoff vector defined by EDi(p,o)=p(N)/n.Theorem 8.
The Equal Division RuleED is the unique allocation rule on O satisfying EFF, ADD, SYM, and NFPP.Proof.
It follows easily and straightforwardly thatED satisfies EFF, ADD, SYM, and NFPP. Let ψ be an allocation rule on O that satisfies the four properties. It suffices to demonstrate that ψ is uniquely determined. To do so, we use the canonical basis of G(N), which consists of the games eS∈G(N), S⊂N, defined by eS(T)=1 if T=S and eS(T)=0 if T≠N. Every v∈G(N) can uniquely be written as a combination of canonical games as follows: v=∑S∈2N∖∅‍v(S)eS.
Now, let(p,o)∈O(N). We demonstrated in Theorem 2 (see (14)) that
(26)(p,o)=∑S∈2N∖∅‍p(S)(eS,eS)+∑S∈2N∖∅‍(o(S)-p(S))(0,eS).
Like we did in the proof of Theorem 6, we can thus use ADD to derive that
(27)ψ(p,o)=∑S∈2N∖∅‍ψ(p(S)(eS,eS))+∑S∈2N∖∅‍ψ((o(S)-p(S))(0,eS)).
Thus, it remains to prove that ψ is uniquely determined on games with optimistic aspirations of the form appearing in (27).
Case1. Let S∈2N∖{∅,N} and a,b∈ℝ, b≥0. Consider the games (p~,o~):=a(eS,eS) and (p^,o^):=b(0,eS). Clearly, all players in N∖S are nullifying players in (p~,o~) and also in (p^,o^) and thus by NFPP ψi(p~,o~)=ψi(p^,o^)=0 for all i∈N∖S. In addition, by EFF it must hold that ∑i∈N‍ψi(p~,o~)=p~(N)=0=p^(N)=∑i∈N‍ψi(p^,o^), so that we obtain ∑i∈S‍ψi(p~,o~)=∑i∈S‍ψi(p^,o^)=0. Since all players in S are symmetric in (p~,o~) and also in (p^,o^), it follows from SYM that ψi(p~,o~)=ψj(p~,o~) and ψi(p^,o^)=ψj(p^,o^) for all i,j∈S, so that we find that ψi(p~,o~)=ψi(p^,o^)=0/s=0 for all i∈S must hold.
Case2. Let a∈ℝ, and consider the game (p~,o~):=a(eN,eN). By EFF it must hold that ∑i∈N‍ψi(p~,o~)=p~(N)=a. Since all players in S are symmetric in (p~,o~), it follows from SYM that ψi(p~,o~)=ψj(p~,o~) for all i,j∈N, so that we find that ψi(p~,o~)=a/n for all i∈N must hold.
Remember thato(N)-p(N)=0, so that we do not have to consider the game (0,eN). Thus, Cases 1 and 2 mentioned previously demonstrate that ψ is uniquely determined (and equal to ED) for all games with optimistic aspirations that appear in (27).


## 4.3. The Destroyer Player Property

Instead of concentrating on the worths of coalitions that include a nullifying player, we can also concentrate on what happens to the worths of coalitions when a nullifying player joins it. Hence, instead of concentrating on the fact that a nullifying player causes the worth of any coalition he is a member of to be 0, we look at the change in worth that he causes when he joins various coalitions. To reflect this change of focus, we give an alternative (but equivalent) description of nullifying players.A playeri∈N is said to be a nullifying player in (p,o) if p(S∪{i})=o(S∪{i})=0 for every coalition S⊂N.When a nullifying player joins a coalitionS of players, he destroys the worth p(S) that coalition S could guarantee itself and also causes the optimistic aspiration to change from o(S) to 0. The destroyer player property (see the following) states that a nullifying player should get a payoff that is equal to the value that he destroys in expectation by joining a coalition, assuming that first the cardinality of a coalition is selected at random (from the range 0 to n-1), then a coalition of that size is selected at random, and, finally, a random choice determines whether we consider the effect on p or o.Destroyer Player Property (DPP). Allocation rule ψ satisfies DPP if for every (p,o)∈O(N) and player i∈N who is a nullifying player in (p,o)(28)ψi(p,o)=-∑S⊂N∖{i}‍12n(n-1s)p(S)-∑S⊂N∖{i}‍12n(n-1s)o(S).It turns out that DPP together with EFF, ADD, and SYM determines a unique allocation rule and that it is the Midpoint Shapley Valueϕ1/2, which we already encountered in Theorem 6.Theorem 9.
The Midpoint Shapley Valueϕ1/2 is the unique allocation rule on O satisfying EFF, ADD, SYM, and DPP.Proof.
With regard to existence, it remains to demonstrate thatϕ1/2 satisfies DPP. Let (p,o)∈O(N) be a game with optimistic aspirations with a nullifying player i∈N. Then
(29)ϕi1/2(p,o)=12ϕi(p)+12ϕi(o)=12∑S⊂N∖{i}‍s!(n-s-1)!n!(p(S∪{i})-p(S))+12∑S⊂N∖{i}‍s!(n-s-1)!n!(o(S∪{i})-o(S))=-∑S⊂N∖{i}‍12n(n-1s)p(S)-∑S⊂N∖{i}‍12n(n-1s)o(S),
where the second equality uses the definition of the Shapley Value and the third equality uses the fact that player i is nullifying in (p,o).
To prove uniqueness, letψ be an allocation rule on O that satisfies EFF, ADD, SYM, and DPP. It suffices to demonstrate that ψ is uniquely determined. As in the proof of Theorem 8, we derive using ADD of ψ that
(30)ψ(p,o)=∑S∈2N∖∅‍ψ(p(S)(eS,eS))+∑S∈2N∖∅‍ψ((o(S)-p(S))(0,eS)).
Remember thato(N)-p(N)=0, so that we do not have to consider the game (0,eN). For games (p~,o~) defined either by (p~,o~)=a(eS,eS) for some S∈2N∖{∅} and a∈ℝ, or by (p~,o~)=a(0,eS) for some S∈2N∖{∅,N} and a∈ℝ with a≥0, the following reasoning holds: all players in N∖S are nullifying players in (p~,o~) and thus by DPP
(31)ψi(p~,o~)=-∑S⊂N∖{i}‍12n(n-1s)p~(S)-∑S⊂N∖{i}‍12n(n-1s)o~(S)
for all i∈N∖S, which means that these values are uniquely determined. In addition, by EFF it must hold that ∑i∈N‍ψi(p~,o~)=p~(N), so that we obtain ∑i∈S‍ψi(p~,o~)=p~(N)-∑i∈N∖S‍ψi(p~,o~). Since all players in S are symmetric in (p~,o~), it follows from SYM that ψi(p~,o~)=ψj(p~,o~) for all i,j∈S, and thus we find that ψi(p~,o~)=((p~(N)-∑i∈N∖S‍ψi(p~,o~))/s) for all i∈S must hold. This uniquely determines ψi(p~,o~) for all i∈S.


## 5. Conclusions

In this paper we introduced games with optimistic aspirations in order to be able to capture more of the possible asymmetries between participants in various situations than is possible using existing cooperative game formulations. We also identified two allocation rules for games with optimistic aspirations by first extending the axioms efficiency, additivity, symmetry, and the null player property to the setting of games with optimistic aspirations and, after having shown that the four axioms EFF, ADD, SYM, and NPP do not identify a unique allocation rule, considering three possible alternatives of NPP, namely, the strong null player property, the nullifying player property, and the destroyer player property. We demonstrated that replacing the NPP with the SNPP or DPP leads to the Midpoint Shapley Value, while replacing it with the NFPP leads to the Equal Division Rule.Thus, we now have a richer way of modeling situations in which there are deeper asymmetries between the participants in a cooperative framework, and we have two methods of allocating the gains from cooperation in such situations that have been identified on the basis of appealing properties. We anticipate that this new methodology will be very useful to obtain new insights into all sorts of cost allocation problems and intend to address specific applications in future research.



---

*Source: 540487-2013-09-03.xml*