1 Introduction

In this note, we consider the family of discounted Shapley values. These values were considered in Joosten (1996) and can be interpreted as a trade-off between marginalism and egalitarianism.

The Shapley value (\(\varphi \)) is the reference rule for paying players according to their contribution in coalitional games with transferable utility (Shapley 1953). Young’s characterization of the Shapley value (Young 1985) shows that it is the unique value that satisfies efficiency, symmetry, and marginality. The last property says that if the marginal contributions of a player in two games are the same, then she should receive the same payoffs in both games. This property is a way of expressing the principle of paying players according to their productivity. An opposite option is to pay players equally, independent of their contributions in the game. This option is the egalitarian rule, expressed by the equal division solution (\(E\)), that is, the equal division of the coalition’s worth among all players. Recently, two different families have been considered that have both values as extreme cases: the egalitarian Shapley values \(\beta ^{\alpha }\), \(\alpha \in [0,1]\), which is a convex combination between \( \varphi \) and \(E\), i.e., \(\beta ^{\alpha }=\alpha \varphi +(1-\alpha )E\); and the discounted Shapley values, \(\varphi ^{\alpha }\), \(\alpha \in [0,1] \), where \(\varphi ^{1}=\varphi \) and \(\varphi ^{0}=E\).

In the Nash program, two complementary approaches can support a solution: an axiomatic approach, which looks for the properties that characterize the solution, or a strategic approach, where the payoffs of the solution at hand arise as a result of the players’ equilibrium behavior in a negotiation process. In the latter case, the interaction rules among players are given explicitly. This approach can help us to understand which factors are decisive in explaining why a particular cooperative solution concept should be taken into account.

In van den Brink and Funaki (2010), a bargaining game that implements the family of discounted Shapley values \(\varphi ^{\alpha }\) is offered. There, the bidding mechanism given by Pérez-Castrillo and Wettstein (2001), which implements the Shapley value, is considered. In the mechanism of Pé rez-Castrillo and Wettstein, agents firstly bid for the right to be the proposer: every player \(i\) announces a vector \(\left( b_{j}^{i}\right) _{j\ne i}\) and the winner is the player who maximizes his relative willingness to be the proposer, i.e., \(B^{i}=\sum _{j\ne i}\left( b_{j}^{i}-b_{i}^{j}\right) \). The winner has the right to make a proposal, \( \left( y_{j}^{i}\right) _{j\ne i}\), which can be accepted or rejected. If it is accepted for all remaining players, each respondent \(j\) receives \( y_{j}^{i}+b_{j}^{i}\) and the proposer receives \(v(N)-\sum _{j\ne i}\left( y_{j}^{i}+b_{j}^{i}\right) \). In the case where even one player rejects the proposal, the proposer leaves the game with \(v(i)-\sum _{j\ne i}b_{j}^{i}\), the remaining agents \(j\in N\backslash i\) continue the process with \( b_{j}^{i}\) and bargain over \(v(N\backslash i)\), and so on.Footnote 1 The way in which bids are performed guarantees that the payoffs associated with the subgame perfect equilibrium yield exactly the Shapley value in zero-monotonic games.Footnote 2 van den Brink and Funaki (2010) introduce a parameter \(\alpha \in [0,1]\) as a discount factor that determines the discounting of the available worth going from one round of negotiation to the next after a rejection of the proposal, i.e., the proposer \(i\) leaves the game with \(v(i)-\sum _{j\ne i}b_{j}^{i}\), and the remaining agents \(j\in N\backslash i\) continue the process with \(b_{j}^{i}\) and bargain over \(\alpha v(N\backslash i)\), and so on. Alternatively, we can interpret \(\left( 1-\alpha \right) \) as a probability of breakdown in the case of rejection. Breakdown means that the bargaining is finished, leaving the proposer \(i\) the final payoff \(v(i)-\sum _{j\ne i}b_{j}^{i}\) and the respondents with \(b_{j}^{i}\), \(j\ne i\). With probability \(\alpha \), the process continues to the next round with player set \(N\backslash i\), and so on. This extended bidding mechanism implements the discounted Shapley value \( \varphi ^{\alpha }\).

In van den Brink et al. (2011) a variation of this discounted bidding mechanism is considered in which the discount is applied only in the first round of the negotiations. Alternatively, the possibility of the negotiations breaking down after rejection of the proposal occurs only in the first round. After that, the mechanism is the same as that of Pérez-Castrillo and Wettstein (2001). Hence, there is no possibility of breakdown anymore. With this variation in the discounted bidding mechanism the egalitarian Shapley value \(\beta ^{\alpha }\) is implemented.

Comparing both mechanisms, for the discounted Shapley values there is discounting (or probability of breakdown) in each of the \(n\) possible rounds, whereas for the egalitarian Shapley values there is discounting (or probability of breakdown) only in the first round . From this point of view, the second mechanism exhibits a type of inconsistency between the first round and the remaining rounds. Therefore, the first mechanism and its corresponding associated solution, the discounted Shapley values, seems more natural.

In our paper we also follow the strategic approach. Our starting point is the bargaining procedure introduced by Hart and Mas-Colell (1996). There, a proposer is chosen randomly. He makes an offer, and the remaining players accept or reject the proposal. If all of the remaining players accept the proposal, the game ends. If a respondent rejects the offer, then, with a probability \(\rho \), another proposer is selected randomly, and, with probability \(\left( 1-\rho \right) \), breakdown occurs: the proposer leaves the game with a payoff of zero, and the remaining players restart the bargaining process.

This procedure is a sequential, perfect information game, and it has a stationary subgame perfect equilibrium (in advance, SP equilibrium). The average of the equilibrium proposals is the Shapley value. Moreover, when the probability \(\rho \) goes to one, the limit of these equilibrium proposals is the Shapley value.

In the same paper, Hart and Mas-Colell report a variant of this model that yields the egalitarian Shapley values. The variant applies only to what happens in the case of an offer’s rejection: for a given parameter \(0\le \alpha \le 1\), if the offer is rejected, with probability \(\rho \), the set of bargaining players is the same, with probability \((1-\rho )\alpha \), the proposer drops out of the game (receiving a payoff of zero), and with probability \((1-\rho )\left( 1-\alpha \right) /\left( s-1\right) \) Footnote 3 each respondent drops out of the game (receiving a payoff of zero). The average of the equilibrium proposals is now the egalitarian Shapley value \(\beta ^{\alpha }\), and when the probability \(\rho \) goes to one, the limit of these equilibrium proposals is the average. In summary, the Shapley value appears only when the proposer drops out the game. In addition, the egalitarian value appears only when one of the respondents drops out. Finally, each egalitarian Shapley value \(\beta ^{\alpha }\) appears when there is a probability \(\alpha \) that the proposer drops out and \(\left( 1-\alpha \right) \) that only one respondent drops out.

Immediately the question of whether the discounted Shapley values can be obtained with some suitable variation of the Hart and Mas-Colell model arises. Our paper answers this question. The result is simple: if we want to obtain a discounted Shapley value we need only to make the natural assumption that time is costly, which implies that players prefer to reach agreements at the beginning of bargaining. Assuming that all players have the same discount factor of \(\delta \in [0,1]\) Footnote 4, the main result is that when the risk of breakdown, \(\left( 1-\rho \right) \), and the discount factor, \(\delta \), are considered simultaneously, the subgame perfect equilibria of the bargaining yields as average payoffs a discounted Shapley value of \(\varphi ^{\alpha }\), where

$$\begin{aligned} \alpha =\frac{\delta \left( 1-\rho \right) }{1-\delta \rho }\ . \end{aligned}$$

The intuition of this result is the following. The Shapley value is an expectation of the marginal contributions that a player makes to the coalitions to which he belongs. These players’ marginal contributions arise from the computation of the equilibrium proposals because, when a player makes an offer, she has the opportunity to put the remaining players in front of an ultimatum situation: “if my offer is rejected, I may leave the game and you will lose my marginal contribution”. The bargaining power is on the side of the proposer, and, hence, she is able to fully extract her expected marginal contributions in the game as the Shapley value does. Nevertheless, the time cost factor \(\delta \) provides bargaining power to the respondent, because an offer’s rejection forces the conclusion of an agreement at least to the next round, which lowers the proposer’s expected payoffs. Therefore, a higher cost of delay (lower \(\delta \)) diminishes the asymmetries between players attributable to the differences in their marginal contributions. This scenario raises the bargaining power of the respondent, and this condition is why the outcome will be more egalitarian.

In summary, the introduction of a discount factor yields a simple and natural explanation of why the family of discounted Shapley values should be considered.

A remarkable fact is that when the discount factor is considered these values are obtained only in their average. In the Hart and Mas-Colell case (\(\delta =1\)), the average of the equilibrium proposals is always the Shapley value. When the fear of breakdown vanishes (\(\rho \rightarrow 1\)), the equilibrium proposals converge to the average. The introduction of a discount factor \(\delta \) now changes the convergence results drastically:

  1. (i)

    The average of the equilibrium proposals is the discounted Shapley value.

  2. (ii)

    With the discount factor \(\delta <1\) fixed, when the fear of breakdown vanishes (\(\rho \rightarrow 1\)) the average of the equilibrium payoffs converge to the equal division solution (\(\alpha \rightarrow 0\Rightarrow \varphi ^{\alpha }\rightarrow E\)). Nevertheless, the proposals do not converge to the average.

  3. (iii)

    With the risk of breakdown (\(1-\rho \)) fixed, when the players are nearly fully patient in the bargaining (\(\delta \rightarrow 1\)), the average of the equilibrium payoffs tend towards the Shapley value (\(\alpha \rightarrow 1\Rightarrow \varphi ^{\alpha }\rightarrow \varphi \)). When the players are impatient (\(\delta \rightarrow 0\)), the average of the equilibrium payoffs tend towards the equal division solution (\(\alpha \rightarrow 0\Rightarrow \varphi ^{\alpha }\rightarrow E\)).

This lack of convergence of the proposals to their average is a serious handicap if we want to use the strategic approach to find a suitable definition of a discounted Shapley value in games without transferable utility. This scenario arises because even though the proposals belong to the boundary of the feasible utility set, it does not follow that their average belongs to the boundary (it will not be in the boundary if the feasible set is strictly convex). Hence, the limit of the average payoffs when \(\rho \rightarrow 1\) need not be efficient.

For that reason we introduce an alternative variation of the Hart and Mas-Colell bargaining protocol. We replace the discount factor by a probability that either the proposer leaves the game, with a probability \( (1-\rho )\alpha \), or the game ends without agreements, with a probability \( (1-\rho )(1-\alpha )\), in the event that breakdown occurs. In TU-games this protocol also implements the discounted Shapley values. Moreover, the equilibrium proposals converge to their average when \(\rho \rightarrow 1\). In hyperplane gamesFootnote 5 these equilibrium payoffs converge to a unique payoff configuration, which is called the \( \alpha \)-consistent value of the hyperplane game. Assuming the same smoothness condition on the boundary of the feasible sets as in Hart and Mas-Colell (1996), we can use the same convergence result that was used there to obtain now the \(\alpha \)-consistent values for the general setting of games without transferable utility.

The results obtained in this paper complement those obtained in van den Brink and Funaki (2010) in their study of the family of discounted Shapley values. We show that in the alternating random proposer bargaining model of Hart and Mas-Colell, insofar as players have time preferences in the form of a constant discount rate, the discounted Shapley value immediately appears as the average equilibrium payoffs. In addition, we offer an alternative bargaining protocol that allows us to extend in a suitable way each \(\alpha \) -discounted Shapley value in the TU-games setting to the \(\alpha \) -consistent value in the NTU-games setting.

Finally, we wish to notice that in Kawamori (2014), in a work independently of ours, it is also implemented the discounted Shapley value with a variation of the Hart-Mas-Colell model. The similarity with our work lies in the consideration of the time discounting. The main differences between our works are the following. Firstly, in our model the proposer offers a payoff allocation for all the members that are still in the game; in Kawamori’s protocol the proposer chooses a coalition among the members still in the game, and an allocation for such coalition. In one hand, it gives more freedom to the proposer as she need not make an offer to all players, but in the other hand it has to pay a price for such freedom as it needs an additional regularity condition in the TU-game in order to guarantee the formation of the full coalition. Secondly, in Kawamori (2014) it only considered the transferable utility setting; in our work it is extended also to the model to the nontransferable utility setting.

The rest of the paper is organized as follows:

Section 2 is devoted to definitions and notation.

Section 3 considers the alternating random proposer bargaining model with the risk of breakdown and time preferences. The equilibrium proposals are characterized and it is proved that the family of discounted Shapley values is parameterized by both, the time cost factor and the probability of breakdown. In the Discussion part we show the differences from the Hart and Mas-Colell approach in considering or not the cost of delay. Additionally, we consider the length in the cost delay explicitly, as in Osborne and Rubinstein (1990), and we show the convergence result when the time between rounds vanishes. Moreover, we use the potential approach to show that each discounted Shapley value can be characterized with efficiency and the property of \(\alpha \)-balanced contributions. Moreover we show that this value satisfies also the property of \(\alpha \)-average balanced contributions, which will be useful in the characterization of the \(\alpha \)-consistent values in the next section.

Section 4 is devoted to games without transferable utility. We consider the scenario where players do not discount payoffs. After rejection, we introduce a probability of \((1-\rho )\alpha \) that the proposer leaves the game and a probability of \((1-\rho )(1-\alpha )\) that the game ends without agreements. The equilibrium proposals are characterized, and we show that TU-games also yield the discounted Shapley values as their average. We also show that, as a result the proposals themselves converge to the average. This fact allows us to characterize the \(\alpha \)-consistent values in the setting of games without transferable utility in manner that parallels Hart and Mas-Colell (1996) characterization of the consistent values (Maschler and Owen 1989, 1992).

Section 5 presents the final comments.

2 Preliminaries

Let \(N=\left\{ 1,\ldots ,n\right\} \) be the set of players. A cooperative game with transferable utility (TU-game) is a pair \((N,v)\) where \(N\) is a nonempty finite set and \(v:2^{N}\rightarrow {\mathbb {R}}\) is the characteristic function defined on the power set of \(N\) and satisfying \( v(\emptyset )=0\). Any element \(i\) of \(N\) is a player and every nonempty subset \(S\) of \(N\) is a coalition. The real number \(v(S)\) is the worth of the coalition \(S\), and it is interpreted as the total payoff that coalition \(S\) can obtain for its members independently of the remaining players’ behavior. A game \((N,v)\) is monotonic if \(v(S)\le v(T)\) whenever \(S\subseteq T\). We will denote with \(G^{N}\) the set of all TU-games with player set \(N\), and let \({\mathbf {G}}\) be the set of all games.

Let \((N,v)\) be a TU-game. For each coalition \(S\) and each player \(i\) in \(S\), we call \(v(S)-v(S\backslash i)\) the marginal contribution of player \( i \) to coalition \(S\) in \((N,v)\). The Shapley value of the game \((N,v)\) is the payoff vector \(\varphi (N,v)\in {{\mathbb {R}}} ^{N}\) defined for each \(i\in N\) by

$$\begin{aligned} \varphi _{i}(N,v)=\sum _{\begin{array}{c} S\subseteq N \\ i\epsilon S \end{array}}\frac{ \left( n-s\right) !\left( s-1\right) !}{n!}\left[ v(S)-v(S\backslash i) \right] \ , \end{aligned}$$

where \(s=\left| S\right| \) and \(n=\left| N\right| .\)

Alternatively, \(\varphi (N,v)\) can be obtained recursivelyFootnote 6 by

$$\begin{aligned} \varphi _{i}(S,v)=\frac{1}{s}\left[ v(S)-v(S\backslash i)\right] +\frac{1}{s} \sum _{j\in S\backslash i}\varphi _{i}(S\backslash j,v)\ , \quad \ \text {for all}\, i\in S\subseteq N\ , \end{aligned}$$

starting with

$$\begin{aligned} \varphi _{i}(\{i\},v)=v(i) \quad \text { for all }i\in N\ . \end{aligned}$$

The equal division solution is defined by

$$\begin{aligned} E_{i}(N,v)=\frac{v(N)}{n}\ , \quad \text {for all }i\in N\ . \end{aligned}$$

Joosten (1996) introduces two families of solutions with the Shapley value and equal division solution as extreme cases. The first family is called the egalitarian Shapley values, and is obtained as convex combinations of the Shapley value and the equal division solution. For every \(\alpha \in [0,1]\), he defines the egalitarian Shapley value \(\beta ^{\alpha }\) as the solution given by

$$\begin{aligned} \beta ^{\alpha }(N,v)=\alpha \varphi (N,v)+\left( 1-\alpha \right) E(N,v)\ . \end{aligned}$$
(1)

The second family \(\varphi ^{\alpha }\), \(\alpha \in [0,1]\), is defined as

$$\begin{aligned} \varphi _{i}^{\alpha }(N,v)=\sum _{\begin{array}{c} S\subseteq N \\ i\epsilon S \end{array}} \frac{\left( n-s\right) !\left( s-1\right) !}{n!}\alpha ^{n-s}\left[ v(S)-\alpha v(S\backslash i)\right] ,\ \quad \text { for all }i\subseteq N. \end{aligned}$$

In Driessen and Radzik (2002) these solutions \(\varphi ^{\alpha }\) have been called \(\alpha \)-discounted Shapley values. In van den Brink and Funaki (2010) it is shown that the family \(\varphi ^{\alpha }\) can be obtained recursively by

$$\begin{aligned} \varphi _{i}^{\alpha }\left( S,v\right) =\frac{v(S)}{s}+\frac{\alpha }{s} \left[ \sum _{j\in S\backslash i}\varphi _{i}^{\alpha }\left( S\backslash j,v\right) -v(S\backslash i)\right] ,\ \quad \text { for all }i\in S\subset N, \end{aligned}$$
(2)

starting with \(\varphi _{i}^{\alpha }\left( \{i\},v\right) =v(i)\).

Remark 1

If \(\left| N\right| \le 3\), it holds that \(\varphi ^{\alpha }=\beta ^{\alpha }\). For \(\left| N\right| >3\) there are examples where \( \varphi ^{\alpha }\) cannot be expressed as a convex combination of the Shapley value and the equal division solution.

3 Bargaining with risk of breakdown and time preferences

We show in this section that the family \(\varphi ^{\alpha }\) can be supported by a bargaining model in which the risk of breakdown and the time cost are the driving forces to reaching an agreement. The time cost preferences in the bargaining process is a factor that should be taken into account by the obvious fact that negotiations take place during that time. Each round requires time, and it is natural to assume that time is costly and that players prefer to reach agreements at the beginning of bargaining.

To model this setting we use alternating offers by a random proposer, as introduced in Hart and Mas-Colell (1996).

The rules are the following:

Let \((N,v)\in G^{N}\) be a TU-game and \(0\le \rho <1\) be a fixed parameter:

In each round there is a set \(S\subseteq N\) of active players, and a proposer \(i\in S\). In the first round, the active set is \(S=N\). The proposer is chosen at random from \(S\), with all players in \(S\) being equally likely to be selected. The proposer makes a feasible offer, i.e., \( \sum _{j\in N}a_{j}^{S,i}\le v(S)\). If all members of \(S\) accept the offer—they are asked in some prespecified order—then the game ends with these payoffs. If the offer is rejected by even one member of \(S\), then, with probability \(\rho \), we move to a next round where the set of active players again is \(S\), and, with probability \(1-\rho \), breakdown occurs: the proposer \(i\) leaves the game, receiving a payoff of zero, and the set of active players becomes \(S\backslash i\).

We also assume that players have preferences over the time in which agreements are reached. In particular, we suppose that the preferences on \( {{\mathbb {R}}} \times \{0,1,2,3,\ldots \}\) can be represented by \(\delta ^{t}x\), that is, for all \(t\in \{0,1,2,3,\ldots \}\), \(\left( x,t\right) \sim _{i}\left( y,t+1\right) \) if and only if\(\ x=\delta y\), where \(0\le \delta <1\). Moreover, we assume that players are endowed with von Neumann-Morgenstern preferences and are risk neutral. Therefore, the expected utility of the lottery \(\rho x\oplus \left( 1-\rho \right) y\) is \(u_{i}\left( \rho x\oplus \left( 1-\rho \right) y\right) =\rho x+\left( 1-\rho \right) y\), where the probability of \(x\) is \(\rho \), and the probability of \(y\) is \(\left( 1-\rho \right) \).

The SP equilibrium proposals are characterized in the next proposition.

Proposition 1

Let \((N,v)\) be a monotonic TU-game. Then for each specification of \(\rho \) \(\left( 0\le \rho <1\right) \) and \(\delta \) \( (0\le \delta \le 1)\), there is a SP equilibrium. The proposals corresponding to a SP equilibrium are always accepted and they are characterized by the following :

  1. (E.1

    \(\ a_{i}^{S,i}\left( \rho ,\delta \right) =v(S)-\sum _{j\in S\backslash i}a_{j}^{S,i}\left( \rho ,\delta \right) \) for each \(i\in S\subseteq N\); and

  2. (E.2)

    \(a_{j}^{S,i}\left( \rho ,\delta \right) =\delta \left( \rho a_{j}^{S}\left( \rho ,\delta \right) +\left( 1-\rho \right) a_{j}^{S\backslash i}\left( \rho ,\delta \right) \right) \) for each \(i,j\in S \) with \(i\ne j\) and each \(S\subseteq N\),

where \(a^{S}\left( \rho ,\delta \right) =\frac{1}{s}\sum _{i\in S}a^{S,i}\left( \rho ,\delta \right) \).

Moreover, these proposals are unique and nonnegative.

We use the recursive formula given in the next proposition.

Proposition 2

Let \(\left( a^{S}(\rho ,\delta )\right) _{S\subseteq N}\) be the average payoff configuration associated with proposals satisfying (E.1) and (E.2), then it holds that

$$\begin{aligned} a_{i}^{S}(\rho ,\delta )= & {} \alpha \left( \rho ,\delta \right) \left[ \frac{1}{s }\left( v(S)-v(S\backslash i)\right) +\frac{1}{s}\sum _{j\in S\backslash i}a_{i}^{S\backslash j}(\rho ,\delta )\right] \nonumber \\&+\left( 1-\alpha \left( \rho ,\delta \right) \right) \frac{v(S)}{s}=\varphi _{i}^{\alpha \left( \rho ,\delta \right) }\left( S,v\right) ,\ \ \ \ \ i\in S\subseteq N, \end{aligned}$$
(3)

where \(\alpha \left( \rho ,\delta \right) =\frac{\delta \left( 1-\rho \right) }{1-\delta \rho }\). Moreover, these vectors \(a^{S}(\rho ,\delta ),\) \( S\subseteq N,\) are unique and nonnegative.

Proof

Let \((N,v)\) be a monotonic TU-game. By (E.1), for any \(i\in S\subseteq N\) we have

$$\begin{aligned} sa_{i}^{S}(\rho ,\delta )=\left( v(S)-\sum _{j\in S\backslash i}a_{j}^{S,i}\left( \rho ,\delta \right) \right) +\sum _{j\in S\backslash i}a_{i}^{S,j}\left( \rho ,\delta \right) . \end{aligned}$$

Applying (E.2),

$$\begin{aligned} sa_{i}^{S}(\rho ,\delta )= & {} v(S)-\sum _{j\in S\backslash i}\delta \left( \rho a_{j}^{S}(\rho ,\delta )+\left( 1-\rho \right) a_{j}^{S\backslash i}(\rho ,\delta )\right) \\&+\sum _{j\in S\backslash i}\delta \left( \rho a_{i}^{S}(\rho ,\delta )+\left( 1-\rho \right) a_{i}^{S\backslash j}(\rho ,\delta )\right) \\= & {} v(S)-\delta \rho \sum _{j\in S\backslash i}a_{j}^{S}(\rho ,\delta )-\delta \rho a_{i}^{S}(\rho ,\delta )-\delta \left( 1-\rho \right) \sum _{j\in S\backslash i}a_{j}^{S\backslash i}(\rho ,\delta )\\&+\,s\delta \rho a_{i}^{S}(\rho ,\delta ) +\delta \left( 1-\rho \right) \sum _{j\in S\backslash i}a_{i}^{S\backslash j}(\rho ,\delta ) \\= & {} \left( 1\!-\!\delta \rho \right) v(S)\!-\!\delta \left( 1\!-\!\rho \right) v(S\backslash i)\!+\!s\delta \rho a_{i}^{S}(\rho ,\delta )\!+\!\delta \left( 1\!-\!\rho \right) \! \sum _{j\in S\backslash i}a_{i}^{S\backslash j}(\rho ,\delta ), \end{aligned}$$

which finally yields

$$\begin{aligned} a_{i}^{S}(\rho ,\delta )= & {} \frac{v(S)}{s}-\frac{1}{s}\frac{\delta \left( 1-\rho \right) }{1-\delta \rho }v(S\backslash i)+\frac{1}{s}\frac{\delta \left( 1-\rho \right) }{1-\delta \rho }\sum _{j\in S\backslash i}a_{i}^{S\backslash j}(\rho ,\delta )\nonumber \\= & {} \frac{\delta \left( 1-\rho \right) }{1-\delta \rho }\left[ \frac{1}{s} \left( v(S)-v(S\backslash i)\right) +\frac{1}{s}\sum _{j\in S\backslash i}a_{i}^{S\backslash j}(\rho ,\delta )\right] \nonumber \\&+\left( 1-\frac{\delta \left( 1-\rho \right) }{1-\delta \rho }\right) \frac{v(S)}{s}. \end{aligned}$$
(4)

The payoffs of the single coalitions \(\{i\}\), are \(a_{i}^{\{i\}}(\rho ,\delta )=v(i)=\varphi _{i}^{\alpha (\rho ,\delta )}(\{i\},v)\), for all \( i\in N\). Therefore, the nonnegativity and the uniqueness of \(a_{i}^{S}(\rho ,\delta )\) follows from the monotonicity of \((N,v)\) and (3) applied recursively.

Finally, comparing (4) with (2), we conclude that \( a^{S}(\rho ,\delta )=\varphi ^{\alpha (\rho ,\delta )}\left( S,v\right) \), for all \(S\subseteq N\). \(\square \)

Proof (Proof of Proposition 1)

The proof is performed by induction. It is immediate for the \(1\)-player case. Assume it holds when there are less than \(n\) players. Let \( a^{S,i}\left( \rho ,\delta \right) \), for \(i\in S\subseteq N\), be the proposals of a given SP equilibrium. Denote with \(c^{S}(\rho ,\delta )\) the expected payoff vector for the members of \(S\) in the subgame where the set of active players is \(S\). The induction hypothesis implies that \(c^{S}(\rho ,\alpha )=a^{S}(\rho ,\delta )\) and (E.1), (E.2) are satisfied for \(S\ne N\).

Let \(d^{N,i}\) be an SP equilibrium proposal vector of player \(i\in N\). Among the offers that are accepted, the best move for her is to offer each other player \(j\in N\backslash i\) his discounted expected payoff in the case of rejection, namely

$$\begin{aligned} d_{j}^{N,i}\left( \rho ,\delta \right) =\delta \left( \rho c_{j}^{N}\left( \rho ,\delta \right) +\left( 1-\rho \right) a_{j}^{N\backslash i}\left( \rho ,\delta \right) \right) \ , \end{aligned}$$

and then take the entire surplus:

$$\begin{aligned} d_{i}^{N,i}\left( \rho ,\delta \right) =v(N)-\sum _{j\in N\backslash i}\delta \left( \rho c_{j}^{N}\left( \rho ,\delta \right) +\left( 1-\rho \right) a_{j}^{N\backslash i}\left( \rho ,\delta \right) \right) \ . \end{aligned}$$

This proposal is the proposal that is best for \(i\) among those that will be accepted if \(i\) is the proposer. Moreover,

$$\begin{aligned} d_{i}^{N,i}\left( \rho ,\delta \right)= & {} v(N)-\delta \rho \sum _{j\in N\backslash i}c_{j}^{N}\left( \rho ,\delta \right) -\delta \rho c_{i}^{N}\left( \rho ,\delta \right) -\delta \left( 1-\rho \right) \sum _{j\in N\backslash i}a_{j}^{N\backslash i}\left( \rho ,\delta \right) \\&+\,\delta \rho c_{i}^{N}\left( \rho ,\delta \right) = \left( 1-\delta \rho \right) v(N)-\delta \left( 1-\rho \right) v(N\backslash i)+\delta \rho c_{i}^{N}\left( \rho ,\delta \right) \ , \end{aligned}$$

and by monotonicity,

$$\begin{aligned} \left( 1-\delta \rho \right) v(N)-\delta \left( 1-\rho \right) v(N\backslash i)\ge \delta \left( 1-\rho \right) \left( v(N)-v(N\backslash i)\right) \ge 0, \end{aligned}$$

hence \(d_{i}^{N,i}\left( \rho ,\delta \right) \ge \delta \rho c_{i}^{N}\left( \rho ,\delta \right) \).

On the other hand, any proposal from \(i\) that is rejected yields to \(i\) at most \(\delta \rho c_{i}^{N}\left( \rho ,\delta \right) \), which is not greater than \(d_{i}^{N,i}\left( \rho ,\delta \right) \). Hence, player \(i\) proposes \(d^{N,i}=a^{N,i}\left( \rho ,\delta \right) \) and the proposal will be accepted. From this, it follows that \(c^{N}(\rho ,\delta )=a^{N}(\rho ,\delta )\).

Nonnegativity still must be shown. First, note that the following strategy will guarantee \(i\) a nonnegative payoff: as respondent, accept only a payoff of zero, and as proposer, offer zero for every \(j\ne i\). This result implies that \(a^{N,i}\left( \rho ,\delta \right) \) must be nonnegative.

Conversely, we show that the proposals \(\left( a_{i}^{S,i}\left( \rho ,\delta \right) \right) _{S\subset N,i\in S}\) satisfying (E.1) and (E.2) do form an SP equilibrium.

We see first that they are all nonnegative. By (3) and monotonicity, it holds that \(a_{i}^{S}\left( \rho ,\delta \right) \ge 0\) for all \(i\in S\subseteq N\). This result implies that \(a_{j}^{N,i}\left( \rho ,\delta \right) \ge 0\) for all \(j\in N\backslash i\), and that

$$\begin{aligned} a_{i}^{N,i}\left( \rho ,\delta \right)= & {} \left( 1-\delta \rho \right) v(N)-\delta \left( 1-\rho \right) v(N\backslash i)+\delta \rho a_{i}^{N}\left( \rho ,\delta \right) \\\ge & {} \delta \left( 1-\rho \right) \left( v(N)-v(N\backslash i)\right) +\delta \rho a_{i}^{N}\left( \rho ,\delta \right) \ge 0. \end{aligned}$$

We now can verify that the strategies corresponding to these proposals do form an SP equilibrium. By the induction hypothesis, this is so in any subgame with player set \(S\ne N\). Fix a player \(i\in N\). Given the strategies of the other players, as a proposer, \(i\) cannot increase his payoff \(a_{i}^{N,i}(\rho ,\delta )\) from proposals that are accepted. Making proposals that were systematically rejected, he could only yield the chance to go to the breakdown stage, which provides him an expected payoff of \( \delta \rho a_{i}^{N}\left( \rho ,\delta \right) \). The suggested strategies, however, yield \(a_{i}^{N,i}(\rho ,\delta )\) which is better than \( \delta \rho a_{i}^{N}\left( \rho ,\delta \right) \). As a responder, \(i\) can only deviate by rejecting the offer \(a_{i}^{N,j}(\rho ,\delta )\) made by another player \(j\), but its expectation in the event of continuation, \( \delta \left( \rho a_{i}^{N}(\rho ,\delta )+(1-\rho )a_{i}^{N\backslash j}(\rho ,\delta )\right) \), is only \(a_{i}^{N,j}(\rho ,\delta )\). The only option that remains is to follow a strategy to drop out of the game, but in this case the payoff is zero and the payoffs associated to the proposed strategies in the SP equilibrium are nonnegative. \(\square \)

Theorem 1

Let \((N,v)\) be a monotonic TU-game. Then for every pair \((\rho ,\delta )\) \((0\le \rho <1\) and \(0\le \delta \le 1)\), there is a unique SP equilibrium. Moreover, for all \(i\in S\subseteq N\), we have

  1. (C.1)

    The SP equilibrium average payoff vector \(a_{i}^{S}(\rho ,\delta )\) equals \(\varphi _{i}^{\alpha }\left( S,v\right) \), the discounted Shapley value of the TU-game \((S,v)\), where \(\alpha =\frac{\delta \left( 1-\rho \right) }{1-\delta \rho }\);

  2. (C.2)

    For any discount factor \(\delta <1\) fixed, when \(\rho \rightarrow 1\) it holds that \(\left| a_{i}^{S,i}\left( \rho ,\delta \right) -a_{i}^{S,j}\left( \rho ,\delta \right) \right| \rightarrow \left( 1-\delta \right) v(S)\) and \(a_{i}^{S}\left( \rho ,\delta \right) \rightarrow E_{i}(S,v)\); and

  3. (C.3)

    For any probability of continuation \(\rho \) fixed, when \(\delta \rightarrow 1\) it holds that \(a_{i}^{S}\left( \rho ,\delta \right) \rightarrow \varphi _{i}(S,v)\), and when \(\delta \rightarrow 0\) it holds that \(a_{i}^{S}\left( \rho ,\delta \right) \rightarrow E_{i}(S,v)\).

Proof

(C.1) is an immediate consequence of Propositions (1) and (2). Now, given that \(\delta \) is fixed and \(\rho \rightarrow 1\), from (E.1) and (E.2) we have

$$\begin{aligned} a_{i}^{S,i}\left( \rho ,\delta \right)= & {} v(S)-\sum _{j\in S\backslash i}a_{j}^{S,i}\left( \rho ,\delta \right) \\= & {} v(S)-\sum _{j\in S\backslash i}\delta \left( \rho a_{j}^{S}(\rho ,\delta )+\left( 1-\rho \right) a_{j}^{S\backslash i}(\rho ,\delta )\right) \\= & {} \left( 1-\delta \rho \right) v(S)-\delta \left( 1-\rho \right) v(S\backslash i)+\delta \rho a_{i}^{S}\left( \rho ,\delta \right) \ , \end{aligned}$$

and

$$\begin{aligned} a_{i}^{S,j}\left( \rho ,\delta \right) =\delta \left( \rho a_{i}^{S}\left( \rho ,\delta \right) +\left( 1-\rho \right) a_{i}^{S\backslash j}\left( \rho ,\delta \right) \right) \ , \end{aligned}$$

which implies that \(a_{i}^{S,i}\left( \rho ,\delta \right) \rightarrow \left( 1-\delta \right) v(S)+\delta a_{i}^{S}\left( 1,\delta \right) \), and \( a_{i}^{S,j}\left( \rho ,\delta \right) \rightarrow \delta a_{i}^{S}\left( 1,\delta \right) \).

Moreover,

$$\begin{aligned} a_{i}^{S,i}\left( \rho ,\delta \right) -a_{i}^{S,j}\left( \rho ,\delta \right) =\left( 1-\delta \rho \right) v(S)-\delta \left( 1-\rho \right) \left( v(S\backslash i)+a_{i}^{S\backslash j}\left( \rho ,\delta \right) \right) \ , \end{aligned}$$

then \(\left| a_{i}^{S,i}\left( \rho ,\delta \right) -a_{i}^{S,j}\left( \rho ,\delta \right) \right| \rightarrow \left( 1-\delta \right) v(S)\). From (3) we can write

$$\begin{aligned} a_{i}^{S}\left( \rho ,\delta \right) =\frac{v(S)}{s}+\frac{1}{s}\frac{\delta \left( 1-\rho \right) }{\left( 1-\delta \rho \right) }\left[ \sum _{j\in S\backslash i}a_{i}^{S\backslash j}\left( \rho ,\delta \right) -v(S\backslash i)\right] \ , \end{aligned}$$
(5)

and then \(a_{i}^{S}\left( \rho ,\delta \right) \rightarrow \frac{v(S)}{s} =E_{i}(S,v),\) so (C.2) follows.

Given \(\rho \) fixed, it is also immediate from (5) that (C.3) holds. \(\square \)

It is interesting to compare these convergence results due to the introduction of a discount factor \(\delta \) with those of Hart and Mas-Colell without a discount factor:

Without discount factor (H&MC) For \(\delta =1\), when the fear of breakdown vanishes the equilibrium proposals converge to the average, and the average is always the Shapley value (i.e., when \(\rho \rightarrow 1\) then \(a^{S,i}(\rho ,1)\rightarrow a^{S}(\rho ,1)=Sh(S,v)\)).

Fixed discount factor For any \(0<\delta <1\) given, when the fear of breakdown vanishes the average equilibrium proposals converge to the equal division solution (i.e., when \(\rho \rightarrow 1\) then \(\varphi ^{\alpha }\rightarrow E\)). Nevertheless, the proposals do not converge to the average: \(\left| a_{i}^{S,i}\left( \rho ,\delta \right) -a_{i}^{S,j}\left( \rho ,\delta \right) \right| \rightarrow \left( 1-\delta \right) v(S)>0\) when \(v(S)>0\).

Fixed breakdown risk For any \(0\le \rho <1\) given, if the discount factor is close to one then the average equilibrium proposals converge to the Shapley value (i.e., \(\delta \rightarrow 1\) then \(\varphi ^{\alpha }\rightarrow Sh\)). In addition, if the discount factor is close to zero then the average equilibrium proposals converge to the equal division solution (i.e., \(\delta \rightarrow 0\) then \(\varphi ^{\alpha }\rightarrow E\) ).

In summary, the role played by the cost of delay in the Hart and Mas-Colell model and in our model is the same: insofar as the cost of delay vanishes the payoffs converge to the Shapley value. The difference lies in the terminology used. For Hart and Mas-Colell the cost of delay is present in the form of the breakdown probability \(\left( 1-\rho \right) \). In our model, the cost of delay is given by the parameter \(\alpha (\rho ,\delta )=\frac{\delta \left( 1-\rho \right) }{\left( 1-\delta \rho \right) } \), which is a function of the time discount \(\delta \) and the breakdown probability \(\left( 1-\rho \right) \) simultaneously.

3.1 Discussion

In the seminal works of Stähl (1972) and Rubinstein (1982) players were endowed with time cost preferences, which is the main force that induces players to reach agreements at the beginning of negotiations in a pure bargaining problem. This setting is given by a pair \((S,d)\), where \(S\) is a feasible set, \(S\cap {{\mathbb {R}}}_{+}^{N}\ne \emptyset \), and \(d\in S\) is the disagreement point. The Nash bargaining solution is the point \(\ x\in S\) that maximizes \(\left\{ \prod \nolimits _{i\in N}\left( x_{i}-d_{i}\right) |\ x\ge d\right\} \). Binmore (see Binmore and Dasgupta 1987, Chap. 4) showed that if the per-round discount factor is close to one, then the outcome of the unique subgame perfect equilibrium is close to the Nash (1953) bargaining solution. Binmore et al. (1986) (see also Roth (1989)) subsequently replaced the time preferences (assuming that players are indifferent as to the timing of an agreement) with the risk of breakdown after each proposal’s rejection. There, it was proved that when the probability of breakdown converges to zero the equilibrium converges to the Nash bargaining solution. Perhaps due to its technical simplicity, the risk of breakdown was the assumption made in many bargaining models that implement values on coalitional games. That the time discount has been ignored thus far in these models is a bit surprising. A possible answer could be the supposition that, from the implementation point of view, both assumptions were interchangeable. Then, adding both items in the same model becomes redundant. For example, in Hart and Mas-Colell (1996) the following is written:

Second, we do not consider time discount. The cost of delay in agreement is present in the form of the breakdown probability \(\rho \). Time discount would not add anything essential to the analysis. If so desired, however, it could be incorporated with only minor modifications of the conclusions. (Sect. 2, p. 363).

This apparent interchangeability should be presented with caution, as we have observed above. The first scholars to consider simultaneously time preference and the risk of breakdown in the bargaining were Osborne and Rubinstein (1990). There, it was shown (see Section 4.5) that when the fear of breakdown rather than the time cost of bargaining is the dominant consideration, the equilibrium is close to the Nash bargaining solution (i.e., \(\delta \rightarrow 1\), fixed \(\rho \)), whereas, on the contrary, when the time cost of bargaining rather than the fear of breakdown is the dominant consideration (i.e., \(\rho \rightarrow 1\), fixed \(\delta \)), the equilibrium is close to the equal solution (i.e., the point \(x\in S\) that maximizes \(\left\{ \prod \nolimits _{i\in N}x_{i}|\ x\ge 0\right\} \)).

Our Theorem 1 can be seen as an extension of the results given in Osborne and Rubinstein (1990) into the setting of n-person cooperative TU-games. As in Osborne and Rubinstein, we consider a period in each round as a real time interval of length \(\Delta >0\), and examine the limit of the game’s SP equilibria when \(\Delta \) approaches zero.

As the negotiations take place during the time \(\tau \in [0,\infty )\) , we assume that each player \(i\) has the same probability \(p(\tau )\) of being in the game up to time \(\tau \). Suppose that the rate at which this probability changes is a proportion of the time, that is, \(dp(\tau )=-\omega \tau \). Here, \(\omega \) is a positive and constant coefficient of proportionality, fixed by some characteristics of the players. They can be of fitness type, as expected time of life or vitality. Another possibility could be of economic “outside options” type, as in the work salary bargaining, given by the probability of obtaining alternative work in the market. The negative sign means that \( p(\tau )\) is decreasing over time. Taking the initial condition \(p(0)=1\), the solution of this ordinal differential equation is \(p(\tau )=e^{-\omega \tau }\). We enumerate the sequence of rounds by \(t=0,1,2,\ldots \), and denote with \(\Delta >0\) the length of the delay between rounds. We write \( p(t)=e^{-\omega \Delta t}\) as the probability of proposer \(i\) being in the game at round \(t\). Letting \(\gamma =e^{-\Delta }\) we obtain \(p(t)=\gamma ^{\omega t}\). Under the stationary assumption, the probability of being in the game at round \(t\) conditional on still being in the game at round \(t-1\) is \(\gamma ^{\omega }\). When the period of time \(\Delta \) of each round approaches zero, \(\gamma \) converges to \(1\) and so \(\rho \equiv \gamma ^{\omega }\rightarrow 1\).

On the other hand, when players have preferences over time, insofar as the delay between rounds decreases, the difference in the valuation of the same amount reached at two consecutive rounds decreases. Assume that preferences in time are represented by an exponential discounting function. That is, the present value of \(x\) at time \(\tau \) is \(u(x,\tau )=e^{-r\tau }x\), where \(r\) is the parameter that governs the degree of discounting. For example, in financial economics, \(r\) is the continuous compounded interest rate. As before we are assuming that a player’s attitude toward risk is constant during time and that the players are risk neutral. Therefore, for each round \(t\), \(u(x,t)=e^{-r\Delta t}x=\gamma ^{rt}x\). In this case the discount factor is \(\delta \equiv \gamma ^{r}\) and when \(\Delta \rightarrow 0\) it holds that \(\delta \equiv \gamma ^{r}\rightarrow 1\).

Now, given the parameters \((\omega ,r)\), the average of the equilibrium proposals is \(a(\omega ,r)=\varphi ^{\alpha \left( \omega ,r\right) }(N,v)\), where \(\alpha \left( \omega ,r\right) =\frac{\gamma ^{r}\left( 1-\gamma ^{\omega }\right) }{1-\gamma ^{r+\omega }}\). Therefore, when the time delay approaches to zero, i.e., \(\Delta \rightarrow 0\), it holds that \(\gamma \rightarrow 1\), and then

$$\begin{aligned} \lim _{\Delta \rightarrow 0}\frac{\gamma ^{r}\left( 1-\gamma ^{\omega }\right) }{1-\gamma ^{r+\omega }}\rightarrow \frac{\omega }{\omega +r}. \end{aligned}$$

Recall that when \(\omega \) decreases the probability \(p(t)=e^{-\omega \Delta t}\) of proposer \(i\) being in the game at round \(t\) increases. Moreover, when \(r\) decreases the time cost factor \(e^{-r\Delta t}\) increases. Then, we can rephrase the words of Osborne and Rubinstein as follows:

Corollary 1

If the fear of breakdown rather than the time cost of bargaining is the dominant consideration (\(r\) decreases, \(\omega \) remain fixed), then the average of the equilibrium proposals converges to the Shapley value (\(\alpha \left( \omega ,r\right) \rightarrow 1\) and \(\varphi ^{\alpha \left( \omega ,r\right) }\rightarrow Sh\)). However, if the time cost is the dominant consideration (\(\omega \) decreases, \(r\) remain fixed), then the average of the equilibrium proposals converges to the equal division solution (\(\alpha \left( \omega ,r\right) \rightarrow 0\) and \(\varphi ^{\alpha \left( \omega ,r\right) }\rightarrow E\)).

3.2 Potential and balanced contributions

In this section we show that \(\varphi ^{\alpha }\) also has an associated potential function, similar as it was defined in Hart and Mas-Colell (1989).

We first show that \(\varphi ^{\alpha }\) can be characterized by efficiency and \(\alpha \) -average balanced contributions.

Proposition 3

Let \((N,v)\) be a TU-game. Then the payoff configuration \( \varvec{\varphi }^{\alpha }=\left( \varphi ^{\alpha }(S,v)\right) _{S\subseteq N}\) is characterized by

  1. (a)

    Efficiency: \(\sum _{i\in S}\varphi _{i}^{\alpha }(S,v)=v(S)\) , for all \(S\subseteq N\), and

  2. (b)

    \(\alpha \) -Average balanced contributions: \(\sum _{j\in S\backslash i}\left( \varphi _{i}^{\alpha }(S,v)-\alpha \varphi _{i}^{\alpha }(S\backslash j,v)\right) =\sum _{j\in S\backslash i}\left( \varphi _{j}^{\alpha }(S,v)-\alpha \varphi _{j}^{\alpha }(S\backslash i,v)\right) \), for all \(i\in S\).

Proof

The result is a straightforward application of induction and (2). \(\square \)

Second we show that each \(\varphi ^{\alpha }\) has an associated \(P_{\alpha }\) potential.

Let \({\mathbf {G}}\) be the set of all games. Given a function \(P_{\alpha }: {\mathbf {G}}\rightarrow {{\mathbb {R}}}\) which associates a real number \(P_{\alpha }(N,v)\) with every game \((N,v)\), the \(\alpha \)-marginal contribution of a player \(i\in N\) in the game \((N,v)\) is defined by

$$\begin{aligned} D^{i}P_{\alpha }(N,v)=P_{\alpha }(N,v)-\alpha P_{\alpha }(N\backslash i,v) \text {.} \end{aligned}$$

The function \(P_{\alpha }\) is an \(\alpha \)-potential function if it satisfies that \(P_{\alpha }\left( \emptyset ,v\right) =0\) and

$$\begin{aligned} \sum _{i\in N}D^{i}P_{\alpha }(N,v)=v(N). \end{aligned}$$
(6)

Theorem 2

There exists a unique \(\alpha \)-potential function \(P_{\alpha }\). The \(\alpha \)-potential of any game \((N,v)\) is uniquely determined by (6) applied only to the game and its subgames. Moreover, \(DP_{\alpha }(N,v)=\left( D^{i}P_{\alpha }(N,v)\right) _{i\in N}=\varphi ^{\alpha }(N,v) \).

Proof

As \(v\) is fixed in what follows, we skip it in the notation. Formula (6) can be rewritten as

$$\begin{aligned} P_{\alpha }(N)=\frac{v(N)}{n}-\frac{\alpha }{n}\sum _{i\in N}P_{\alpha }(N\backslash i). \end{aligned}$$
(7)

Starting with \(P_{\alpha }\left( \emptyset \right) =0\), \(P_{\alpha }(N)\) is determined recursively and uniquely.

Next, we show that \(DP_{\alpha }\) satisfy properties (a) and (b) of proposition (3). Property (a) is true by expression (6). To see (b),

$$\begin{aligned} \sum _{j\in S\backslash i}\left( D^{i}P_{\alpha }(S)-\alpha D^{i}P_{\alpha }(S\backslash j)\right)= & {} \sum _{j\in S\backslash i}\left( P_{\alpha }(S)-\alpha P_{\alpha }(S\backslash i)\right) \\&-\,\alpha \sum _{j\in S\backslash i}\left( P_{\alpha }(S\backslash j)-\alpha P_{\alpha }(S\backslash \{i,j\})\right) \\= & {} \sum _{j\in S\backslash i}\left( P_{\alpha }(S)-\alpha P_{\alpha }(S\backslash j)\right) \\&-\,\alpha \sum _{j\in S\backslash i}\left( P_{\alpha }(S\backslash i)-\alpha P_{\alpha }(S\backslash \{i,j\})\right) \\= & {} \sum _{j\in S\backslash i}\left( D^{j}P_{\alpha }(S)-D^{j}P_{\alpha }(S\backslash i)\right) ,\quad \text { for all }i\in S. \end{aligned}$$

Then it holds that \(DP_{\alpha }\) must coincide with \(\varphi ^{\alpha }\). \(\square \)

Given \(\alpha \in [0,1]\) we say that a solution \(\psi \) satisfies \( \alpha \)-balanced contributions if

$$\begin{aligned} \psi _{i}(N,v)-\alpha \psi _{i}(N\backslash j,v)=\psi _{j}(N,v)-\alpha \psi _{j}(N\backslash i,v), \end{aligned}$$

for all \(i,j\in N\).

Theorem 3

There exists a unique solution for TU-games that satisfies efficiency and \(\alpha \)-balanced contributions. This solution is \(\varphi ^{\alpha }\).

Proof

Existence. As \(\varphi ^{\alpha }\) satisfies efficiency, it suffices to show that also satisfies \(\alpha \)-balanced contributions. As we know that \( DP_{\alpha }=\varphi ^{\alpha }\), we have:

$$\begin{aligned}&\varphi _{i}^{\alpha }(N)-\alpha \varphi _{i}^{\alpha }(N\backslash j) =D^{i}P_{\alpha }(N)-\alpha D^{i}P_{\alpha }(N\backslash j) \\&\quad =P_{\alpha }(N)-\alpha P_{\alpha }(N\backslash i)-\alpha P_{\alpha }(N\backslash j)+\alpha ^{2}P_{\alpha }(N\backslash \{i,j\}) \\&\quad = D^{j}P_{\alpha }(N)-\alpha D^{j}P_{\alpha }(N\backslash i)=\varphi _{j}^{\alpha }(N)-\alpha \varphi _{j}^{\alpha }(N\backslash i)\text {, \quad for all }i,j\in N. \end{aligned}$$

Uniqueness. Suppose that there exist two solutions, \(\psi \) and \(\phi \), that satisfy efficiency and \(\alpha \)-balanced contributions. By efficiency it holds that \(\psi (\{i\})=\phi (\{i\})=v(i)\), for all \(i\in N\). Assume by induction that \(\psi (S)=\phi (S)\) holds for all \(S\subset N\), \(S\ne N\). By \(\alpha \)-balanced contributions we have that

$$\begin{aligned} \psi _{i}(N)-\psi _{j}(N)=\alpha \left( \psi _{i}(N\backslash j)-\psi _{j}(N\backslash i)\right) =\phi _{i}(N)-\phi _{j}(N), \end{aligned}$$

which implies that

$$\begin{aligned} \psi _{i}(N)-\phi _{i}(N)=\psi _{j}(N)-\phi _{j}(N). \end{aligned}$$

As this happens for all pairs \(i,j\in N\), there must be a number \(d\) such that \(\psi _{i}(N)-\phi _{i}(N)=d\), for all \(i\in N\). By efficiency, we have that \(0=\sum _{i\in N}\psi _{i}(N)-\sum _{i\in N}\phi _{i}(N)=nd\), and so \(d=0\) . Therefore, we conclude that \(\psi (N)=\phi (N)\). \(\square \)

Remark 2

Two different families of efficient potential functions have been considered in Joosten (1996) and in Driessen and Radzik (2002). With the appropriate specification of some of the parameters that defines each family, it can be observed that the \(\alpha \)-potential function belongs to each of both families.

4 NTU-games

We wonder in this section if the previous procedure can yield an efficient solution for the general class of games without transferable utility (NTU-games). In this case, we work with \(V(S)\), which is a feasible utility set instead of a number \(v(S)\).

We need some additional notation to work with NTU-games.

Given two vectors \(x,y\in {{\mathbb {R}}} ^{N}\), we use the notation \(x\cdot y:=\sum _{i\in N}x_{i}y_{i}\), and \(x*y:=\left( x_{i}y_{i}\right) _{i\in N}\). If \(x\in {{\mathbb {R}}}^{N}\) and \( \emptyset \ne S\subset N\), we write \(x^{S}\) as the restriction of \(x\) to \(S\) , i.e., \(x^{S}=\left( x_{i}\right) _{i\in S}\in {{\mathbb {R}}}^{S}\). Let \( {{\mathbb {R}}}_{+}^{N}:=\{x\in {{\mathbb {R}}}^{N}\mid x\ge 0\}\) and \({{\mathbb {R}}} _{++}^{N}:=\{x\in {{\mathbb {R}}}^{N}\mid x>0\}\). A set \(A\subset {{\mathbb {R}}}^{N}\) is called comprehensive if \(A-{{\mathbb {R}}}_{+}^{N}\subset A\). The boundary of \(A\) is denoted by \(\partial A\). The boundary is nonlevel if for all \(x\in \partial A\) it holds that \(\{x\}-{{\mathbb {R}}}_{+}^{N}\cap \partial A=\{x\}\). A payoff configuration is a family \(\mathbf {x=} \left( x^{S}\right) _{S\subseteq N}\) where \(x^{S}\in {{\mathbb {R}}}^{S}\) for all \(S\subseteq N\). It is efficient if \(x^{S}\in \partial V(S)\) for all \( S\subseteq N\).

A nontransferable utility game (NTU-game for short), is a map \(V\) assigning to each coalition \(S\), \(\emptyset \ne S\subseteq N\), a subset \( V(S)\subset {{\mathbb {R}}}^{S}\) of attainable payoff vectors for players in \(S\). We assume the same regularity conditions as in Hart and Mas-Colell (1996).

  1. (A.1)

    for each coalition \(S\), \(V(S)\) is nonempty, closed, convex, and comprehensive. Moreover, \(0\in V(S)\) and \(V_{0}(S):=V(S)\cap {{\mathbb {R}}} _{+}^{S}\) is bounded.

  2. (A.2)

    \(\partial V(S)\) is nonlevel and smooth (i.e., for all \(x\in \partial A \) there exists a uniqueFootnote 7 \(\lambda =\lambda (x)\in {{\mathbb {R}}}_{++}^{S}\) such that \(V(S)\subset \{y\in {{\mathbb {R}}}^{S}:\ \lambda \cdot y\le \lambda \cdot x\}\)).

  3. (A.3)

    Monotonicity: \(V_{0}(S)\times \{0^{T\backslash S}\}\subset V_{0}(T)\) whenever \(S\subset T.\)

The assumption (A.3) is just the extension to NTU-games of the classical monotonicity assumption for TU-games. The class of all games that satisfy (A.1), (A.2), and (A.3) is denoted by \({{\mathcal {G}}}\).

Two relevant subclasses of NTU-games are:

  1. (1)

    Transferable utility games (TU-games), when for each coalition \(S\) , there is a number \(v(S)\) such that \(V(S)=\{x\in {{\mathbb {R}}}^{S}:\sum _{i\in S}x_{i}\le v(S)\}\) for all \(S\subseteq N\). If \(V\) is a TU-game, then it will also be denoted by \(v\).

  2. (2)

    Hyperplane games (H-games), when \(\partial V(S)\) is a hyperplane for all \(S\subset N\). That is, for each coalition \(S\), there exists a number \(v(S;\lambda ^{S})\) and a vector \(\lambda ^{S}\in {{\mathbb {R}}}_{++}^{S}\) such that \(V(S)=\{y\in {{\mathbb {R}}}^{S}:\ \lambda ^{S}\cdot y\le v(S;\lambda ^{S})\}\). For example, prize games can be modeled in this way: each coalition \(S\subseteq N\) has a prize \(\pi _{S}\). The prize \(\pi _{S}\) is indivisible, and only one member of \(S\) can receive it. The feasible set of each coalition \(S\) consists of all lotteries over which players in \(S\) obtain the prize \(\pi _{S}\) (for more details see Hart 1994).

figure a

In this setting we can define the bargaining protocol in the same way as before. This protocol only changes the feasibility condition that any proposal must satisfy, which now must be \(a^{S,i}\in V(S)\) for any player \(i\) in any active coalition \(S\subseteq N\).

It is rather straightforward to obtain the characterization of the equilibrium proposals, which we offer in the next proposition.

Proposition 4

Let \((N,V)\) be an NTU-game. Then for each specification of \(\rho \) \(\left( 0\le \rho <1\right) \) and \(\delta \) \((0\le \delta \le 1)\), there is a SP equilibrium. The proposals corresponding to an SP equilibrium are always accepted and they are characterized by

  1. (E’.1)

    \(\ a^{S,i}\left( \rho ,\delta \right) \in \partial V(S)\) for each \( i\in S\subseteq N\); and

  2. (E’.2)

    \(a_{j}^{S,i}\left( \rho ,\delta \right) =\delta \left( \rho a_{j}^{S}\left( \rho ,\delta \right) +\left( 1-\rho \right) a_{j}^{S\backslash i}\left( \rho ,\delta \right) \right) \) for each \(i,j\in S \) with \(i\ne j\) and each \(S\subseteq N\),

where \(a^{S}\left( \rho ,\delta \right) =\frac{1}{s}\sum _{i\in S}a^{S,i}\left( \rho ,\delta \right) \).

Moreover, these proposals are nonnegative.

The problem with this approach is that, in general, \(a^{S,i}\left( \rho ,\delta \right) \ne a^{S,j}\left( \rho ,\delta \right) \) if \(i\ne j\). In addition if \(V(S)\) is strictly convex, the average \(a^{S}\left( \rho ,\delta \right) \) might not belong to \(\partial V(S)\). Hence, the payoffs need not be efficient. Moreover, given a discount factor \(\delta >0\), these proposals could never converge when \(\rho \rightarrow 1\). We can see this fact with a simple two- players bargaining problem, with \(V(\{i\})=V(\{j\})={{\mathbb {R}}} _{-} \).

To overcome this difficulty we offer an alternative bargaining protocol that for TU-games also implements the discounted Shapley values. However, the equilibrium proposals converge to their average when \(\rho \rightarrow 1\). This fact allows us to use hyperplane games in which the equilibrium payoffs are unique. Moreover, under a smoothness assumption on the boundary of the feasible sets, we also my use a convergence result to obtain an efficient payoff configuration.

In our next bargaining model, we replace the discount factor with a probability that either the proposer leaves the game, or, the game ends without agreements, in which case breakdown occurs. Hence, in what follows we assume that time is free of cost for players, and so \(\delta =1\). The rules are the following.

Let \((N,V)\) be an NTU-game and \(0\le \rho <1\) and \(0\le \alpha \le 1\) be two fixed parameters:

In each round there is a set \(S\subseteq N\) of active players, and a proposer \(i\in S\). In the first round, the active set is \(S=N\). The proposer is chosen at random from \(S\), with all players in \(S\) being equally likely to be selected. The proposer makes a feasible offer \( a^{S,i}\in V(S)\). If all members of \(S\) accept the offer—they are asked in some prespecified order—then the game ends with these payoffs. If it is rejected by even one member of \(S\), then, with probability \(\rho \), we move to a next round where the set of active players is again \(S\). With probability \(\left( 1-\rho \right) \alpha \) the proposer \(i\) leaves the game, receiving a payoff of zero, and the set of active players becomes \( S\backslash i\). And with probability \(\left( 1-\rho \right) \left( 1-\alpha \right) \) the game ends without agreements, and all players receive a payoff of zero.

This bargaining procedure is a sequential, perfect information game, and it has an SP equilibrium. The proposals associated with the equilibrium are characterized as follows.

Proposition 5

Let \((N,V)\) be an NTU-game. Then for each specification of \(\rho \) (\(0\le \rho <1\)) and \(\alpha \) (\(0\le \alpha \le 1\)), there is a subgame perfect equilibrium. The proposals corresponding to a subgame perfect equilibrium are always accepted and they are characterized by

  1. (D.1)

    \(\ a^{S,i}\left( \rho ,\alpha \right) \in \partial V(S)\) for all \(i\in S\subseteq N\); and

  2. (D.2)

    \(a_{j}^{S,i}\left( \rho ,\alpha \right) =\rho a_{j}^{S}\left( \rho ,\alpha \right) +\left( 1-\rho \right) \alpha a_{j}^{S\backslash i}\left( \rho ,\alpha \right) \) if \(i,j\in S\) with \(i\ne j\) and \(S\subseteq N\),

where \(a^{S}\left( \rho ,\alpha \right) =\frac{1}{s}\sum _{i\in S}a^{S,i}\left( \rho ,\alpha \right) \) for each \(S\subseteq N\).

Moreover, these proposals are nonnegative.

When \(\rho \rightarrow 1\), these equilibrium proposals converge to the \( \alpha \) -consistent values, which are characterized as follows:

Proposition 6

Let \((N,V)\) be an NTU-game and \(\varvec{a}\left( \alpha \right) =\left( a^{S}\left( \alpha \right) \right) _{S\subseteq N}\) a payoff configuration. Then \(\varvec{a}\left( \alpha \right) \) is an \( \alpha \)-consistent value if and only if for each \(S\subseteq N\) there exists a vector \(\lambda _{S}\in {{\mathbb {R}}}_{++}^{S}\) such that

  1. (a)

    \(\ a^{S}\left( \alpha \right) \in \partial V(S)\);

  2. (b)

    \(\lambda ^{S}\cdot a^{S}\left( \alpha \right) =v(S;\lambda ^{S}):=\max \left\{ \lambda ^{S}\cdot c:\ c\in V(S)\right\} \); and

  3. (c)

    \(\ \sum _{j\in S\backslash i}\lambda _{i}^{S}\left( a_{i}^{S}\left( \alpha \right) -\alpha a_{i}^{S\backslash j}\left( \alpha \right) \right) =\sum _{j\in S\backslash i}\lambda _{j}^{S}\left( a_{j}^{S}\left( \alpha \right) -\alpha a_{j}^{S\backslash i}\left( \alpha \right) \right) \), for all \(i\in S\).

For hyperplane games the \(\alpha \)-consistent values are unique, and from (b) and (c) of the above proposition, we have the next recursive formula.

Proposition 7

Let \(\varvec{a}(\alpha )\) be the \(\alpha \)-consistent value of a hyperplane game, then it holds that

$$\begin{aligned} a_{i}^{S}(\alpha ){=}\frac{1}{s}\left[ \sum _{j\in S\backslash i}\alpha a_{i}^{S\backslash j}(\alpha ){\,+\,}\frac{1}{\lambda _{i}^{S}}\left( v(S;\lambda ^{S})-\sum _{j\in S\backslash i}\alpha \lambda _{j}^{S}a_{j}^{S\backslash i}\right) \right] \ ,\qquad i\in S\subseteq N,\nonumber \\ \end{aligned}$$
(8)

starting with \(a_{i}^{\{i\}}(\alpha )=v(i):=\max \left\{ c_{i}:\ c_{i}\in V(\{i\})\right\} \).

Note that in the case of TU-games, formula (8) yields

$$\begin{aligned} a_{i}^{S}(\alpha )= & {} \frac{1}{s}\left[ \sum _{j\in S\backslash i}\alpha a_{i}^{S\backslash j}(\alpha )+\left( v(S)-\alpha v(S\backslash i)\right) \right] =\frac{v(S)}{s}\\&+\frac{\alpha }{s}\left[ \sum _{j\in S\backslash i}a_{i}^{S\backslash j}\left( \alpha \right) -v(S\backslash i)\right] \ ,\qquad i\in S\subseteq N, \end{aligned}$$

which is an \(\alpha \)-discounted Shapley value.

We have the general convergence result:

Theorem 4

Let \((N,V)\) be an NTU-game satisfying assumptions (A.1), (A.2), and (A.3). Then for each \(0\le \rho <1\) and \(0\le \alpha \le 1\) there is an SP equilibrium. Moreover, as \(\rho \rightarrow 1\) every limit point of SP equilibrium payoff configuration is an \(\alpha \)-consistent value payoff configuration of \((N,V)\).

All the proofs of this section are just an straightforward adaptation of the results obtained in Sects. 2, 4, and 5, of Hart and Mas-Colell (1996), replacing \(a_{i}^{S\backslash j}\) with \(\alpha a_{i}^{S\backslash j}\). Therefore, we skip all these proofs.

Remark 3

When we address TU-games, the breakdown stage can be replaced as follows: “with probability \(\left( 1-\rho \right) \alpha \), the proposer \(i\) leaves the game, receiving a payoff of zero, and the set of active players becomes \(S\backslash i\). With probability \(\left( 1-\rho \right) \left( 1-\alpha \right) \), the first respondent \(j\in S\backslash i\) , who has rejected the offer—following a prespecified orderFootnote 8—leaves the game with a payoff of zero, and the set of active players becomes \(S\backslash j\).”In that case, Proposition (5) still holds. To see this, note that if player \(j\ne i\) rejects the proposal, his expected payoff in the continuation of the game will be \(\rho c_{j}^{N}\left( \rho ,\alpha \right) +\left( 1-\rho \right) \left( \alpha a_{j}^{N\backslash i}\left( \rho ,\alpha \right) +\left( 1-\alpha \right) 0\right) \). Thus, \(d_{j}^{N,i}=\rho c_{j}^{N}\left( \rho ,\alpha \right) +\left( 1-\rho \right) \left( \alpha a_{j}^{N\backslash i}\left( \rho ,\alpha \right) \right) \), for \(j\ne i\), and \(d_{i}^{N,i}=v(N)-\sum \nolimits _{j\ne i}d_{j}^{N,i}\), is the proposal that is best for \(i\) among the proposals that will be accepted if \(i\) is the proposer. Moreover,

$$\begin{aligned} d_{i}^{N,i}= & {} v(N)-\sum \nolimits _{j\ne i}d_{j}^{N,i} \\= & {} v(N)-\rho \sum \nolimits _{j\ne i}c_{j}^{N}\left( \rho ,\alpha \right) -\rho c_{i}^{N}\left( \rho ,\alpha \right) \\&-\left( 1-\rho \right) \alpha \sum \nolimits _{j\ne i}a_{j}^{N\backslash i}\left( \rho ,\alpha \right) +\rho c_{i}^{N}\left( \rho ,\alpha \right) \\= & {} \left( 1-\rho \right) \left( v(N)-\alpha v(N\backslash i)\right) +\rho c_{i}^{N}\left( \rho ,\alpha \right) . \end{aligned}$$

On the other hand, any proposal from \(i\) that is rejected yields to \(i\) at most

$$\begin{aligned} \rho c_{i}^{N}\left( \rho ,\alpha \right) +\left( 1-\rho \right) \left( \alpha 0+\left( 1-\alpha \right) \max \left\{ a_{i}^{N\backslash j}\left( \rho ,\alpha \right) |j\ne i\right\} \right) . \end{aligned}$$

By monotonicity and an induction argument, for all \(j\ne i\) it holds that \( a_{i}^{N\backslash j}\left( \rho ,\alpha \right) \le v(N\backslash j)\le v(N)\), and then

$$\begin{aligned}&\left( 1-\alpha \right) \max \left\{ a_{i}^{N\backslash j}\left( \rho ,\alpha \right) |j\ne i\right\} \le \left( 1-\alpha \right) v(N) \\&\quad =v(N)-\alpha v(N)\le v(N)-\alpha v(N\backslash i). \end{aligned}$$

Hence,

$$\begin{aligned}&\rho c_{i}^{N}\left( \rho ,\alpha \right) +\left( 1-\rho \right) \left( 1-\alpha \right) \max \left\{ a_{i}^{N\backslash j}\left( \rho ,\alpha \right) |j\ne i\right\} \le \rho c_{i}^{N}\left( \rho ,\alpha \right) \\&\quad +\left( 1-\rho \right) \left( v(N)-\alpha v(N\backslash i)\right) =d_{i}^{N,i}\text {.} \end{aligned}$$

Then player \(i\) proposes \(d^{N,i}=a^{N,i}\left( \rho ,\alpha \right) \) and the proposal will be accepted. From this, it follows that \(c^{N}(\rho ,\alpha )=a^{N}(\rho ,\alpha )\).

It is an open problem whether a similar argument can be reproduced for the NTU-games case. Although we have not found counterexamples, the proof of the characterization of the equilibrium proposals with this breakdown variation is not immediate.

5 Conclusion

The two families of the discounted and the egalitarian Shapley values can be compared either axiomatically or strategically. Our claim is that the axiomatic comparison is not conclusive. We briefly review the axiomatic approach.

In van den Brink et al. (2011) it is shown that all egalitarian Shapley values are characterized by Sobolev reduced game consistency (Sobolev 1973), and \(\alpha \)-standardness for two-player games. In Joosten (1996) it is shown that the discounted Shapley values are characterized by Hart and Mas-Colell reduced game consistency (Hart and Mas-Colell 1989), and \(\alpha \)-standardness. Such an \(\alpha \)-standardness axiom requires that in a two-player game, both players obtain a fraction \(\alpha \in [0,1]\) of their singleton worth, and the remainder is split equally among them. More formally,

- A solution \(\psi \) satisfies \(\alpha \)-standardness for two- player games, \(\alpha \in [0,1]\), if for every game \((N,v)\) with \(N=\{i,j\}\) , \(i\ne j\), it holds that \(\psi _{i}(N,v)=\alpha v(i)+\frac{1}{2}\left( v(N)-\alpha \left( v(i)+v(j)\right) \right) \).

In this way the difference lies in the type of consistency considered: either with the Sobolev reduced game, or the Hart and Mas-Colell reduced game. Their definitions are:

- A solution \(\psi \) satisfies Sobolev consistency if for every \( (N,v) \) with \(n\ge 2\), \(j\in N\), and \(x=\psi (N,v)\), it holds that \(\psi _{i}(N\backslash j,v^{x})=\psi _{i}(N,v)\)    for all \(i\in N\backslash j\), where the reduced game \((N\backslash j,v^{x})\) is given by

$$\begin{aligned} v^{x}(S)=\frac{s}{n-1}\left( v(S\cup j-x_{j}\right) +\frac{n-1-s}{n-1}v(S) \text {,}\quad \text {for all }S\subseteq N\backslash j\ . \end{aligned}$$

- A solution \(\psi \) satisfies Hart and Mas-Colell consistency if for every \((N,v)\) with \(n\ge 2\), \(T\subset N\), and all \(i\in N\), it holds that \( \psi _{i}(T,v_{T}^{\psi })=\psi _{i}(N,v)\), where the reduced game \( (T,v_{T}^{\psi })\) is given by

$$\begin{aligned} v_{T}^{\psi }(S)=\left( v(S\cup T^{c}\right) -\sum _{j\in T^{c}}\psi _{j}(S\cup T^{c})\text {,}\ \quad \text {for all }S\subseteq T\ \text {with } T^{c}=N\backslash T\ . \end{aligned}$$

Both definitions have in common an internal consistency of the solution when some players leave the game. However, apart from this fact, the definitions of consistency are rather different and they do not permit a clear comparison between them.

Another axiomatic comparison is possible with the use of the properties of \( \alpha \)-egalitarianism and \(\alpha \)-reducing player properties. A player is said to be a null player in a game \((N,v)\) if all of her marginal contributions are zero. In Joosten (1996) (see also van den Brink et al. 2011) it is shown that each \(\alpha \)-egalitarian Shapley value satisfies the property of \(\alpha \)-egalitarian null player property:

- A solution \(\psi \) is \(\alpha \) -egalitarian if for every null player \(i\in N\) in a game \((N,v)\) it holds that \(\psi _{i}(N,v)=\left( 1-\alpha \right) \frac{v(N)}{n}\).

When \(\alpha =1\), this is just the null player property. Moreover, each \(\alpha \)-egalitarian Shapley value \(\beta ^{\alpha }\), \(\alpha \in [0,1]\), is characterized by the properties of efficiency, symmetry, linearity, and \(\alpha \)-egalitarianism.

In van den Brink and Funaki (2010) it is shown that each \(\alpha \) -discounted Shapley value satisfies the property of \(\alpha \)-reducing player property. A player \(i\in N\) in a game \((N,v)\) is an \(\alpha \) -reducing player if \(v(S\cup i)=\alpha v(S)\).

- A solution \(\psi \) satisfies the \(\alpha \)-reducing player property if \( \psi _{i}(N,v)=0\) when \(i\) is an \(\alpha \)-reducing player in \((N,v)\) .

Again, when \(\alpha =1\), this property corresponds to the null player property. Moreover, each \(\alpha \)-discounted Shapley value \(\varphi ^{\alpha }\), \(\alpha \in [0,1]\), is characterized by efficiency, symmetry, linearity, and \(\alpha \)-reducing player properties.

Both axiomatic systems differ only in the \(\alpha \)-egalitarianism and \( \alpha \)-reducing player properties. Again, however, the comparison between both is not conclusive. They look equally natural, artificial, or both. In this paper we have considered the discounted Shapley values from a strategic point of view.

The bargaining model considered is based on the alternating random order proposer, where there is a probability \(\left( 1-\rho \right) \) of a breakdown in the negotiations in the case that the proposal is rejected by some respondent. In the case that breakdown occurs, we have considered two different options:

In the first option, only the proposer leaves the game (as in the original model of Hart and Mas-Colell 1996). However, we assume additionally a positive cost of delay in the payoffs given by a time discount \(\delta \). In the second option, there is a probability \(\alpha \) that the proposer leaves the game, and \(\left( 1-\alpha \right) \) that the game ends without agreements.

In both cases we have observed that the average of the SP equilibria payoffs is a \(\varphi ^{\alpha }\) value. In both models the degree of egalitarianism in the payoffs is given by the same factor: the relative bargaining power between the proposer and the respondent. With more power the proposer is better able to fully extract her expected marginal contributions in the game, and, hence, closer are the payoffs to the Shapley value. On the contrary, when the power moves to the respondent, the expected marginal contributions of the proposer associated with the ultimatum threats of leaving the game are taken into account to a lesser extent and, hence, the asymmetries between players given by their differences in their marginal contributions disappear. This fact yields outcomes closer to the equal division solution.

The source of this bargaining power is different in both models. In the first model, only the proposer has a chance to make threats by leaving the game after a rejection. From this fact, it looks as if she is the only player who has the power of commitment in the bargaining. Nevertheless, the time cost factor \(\delta \) provides the respondent with bargaining power, because rejecting the offer forces the finding of the agreement at least in the next round, lowering the proposer’s expected payoffs by the discount factor. Therefore, the higher cost of delay implies higher bargaining power for the respondent, and the outcome will be more egalitarian.

In the second model, the parameter \(\alpha /\left( 1-\alpha \right) \) measures the relative power of commitment, because it is the quotient of the probability that the proposer leaves the game if any offer she makes is rejected, \(\left( 1-\rho \right) \alpha \), and the probability that the game ends if her offer is rejected, \(\left( 1-\rho \right) \left( 1-\alpha \right) \). The relative distance between the Shapley value and the equal division solution depends on this relative bargaining power even if the absolute level of power of commitment is quite low (\(\rho \rightarrow 1\) ).

The main conclusion that we can extract from both models is that, insofar as the bargaining power is shared in some way between the proposer and the respondents in the negotiations it should be natural to consider outcomes between the Shapley value and the equal division solution. The agreements will be more or less close to such solutions depending on the relative bargaining power that the proposer and the respondents have in their bilateral face-to-face interaction. There are two different families between both extremes: the egalitarian Shapley values (a convex combination between them) and the discounted Shapley values. In the TU-games setting, both families can be obtained as equilibrium payoffs of a bargaining process: either as a variation of the bidding for the surplus mechanism or as a variation of the alternating random proposer mechanism. As in both cases time is used in each round, it is natural to assume that time is costly for players, which implies that they prefer not to delay the agreements. We have observed that in both type of models the introduction of a time discount factor automatically produces as a result a discounted Shapley value. From this point of view the family of discounted Shapley values seems more natural than the family of egalitarian Shapley values.