Path monotonicity, consistency and axiomatizations of some weighted solutions

On the domain of cooperative games with transferable utility, we introduce path monotonicity, a property closely related to fairness (van den Brink, in Int J Game Theory 30:309–319, 2001). The principle of fairness states that if a game changes by adding another game in which two players are symmetric, then their payoffs change by the same amount. Under efficiency, path monotonicity is a relaxation of fairness that guarantees that when the worth of the grand coalition varies, the players’ payoffs change according to some monotone path. In this paper, together with the standard properties of projection consistency (Funaki, in Dual axiomatizations of solutions of cooperative games. Mimeo, New York, 1998) and covariance, we show that path monotonicity characterizes the weighted surplus division solutions. Interestingly, replacing projection consistency by either self consistency (Hart and Mas-Colell, in Econometrica 57:589–614, 1989) or max consistency (Davis and Maschler, in Nav Res Logist Q 12:223–259, 1965) we obtain new axiomatic characterizations of the weighted Shapley values and the prenucleolus, respectively. Finally, by the duality approach we provide a new axiomatization of the weighted egalitarian non-separable contribution solutions using complement consistency (Moulin, in J Econ Theory 36:120–148, 1985).


Introduction
A cooperative game with transferable utility (hereafter game) describes a situation in which a society or community can profit from joint efforts. It consists of a finite set of players and a real-valued function defined on the set of coalitions of players. Assuming that the grand coalition will form, the question is how to allocate the gains from cooperation among the players. A single-valued solution (or rule) is a mapping that assigns to each game a feasible payoff vector, being one of the objectives of the axiomatic method to identify a solution by a set of appealing properties.
Probably, the most relevant single-valued solution is the Shapley value (Shapley 1953b) which considers that players should be paid only according to their marginal contributions to all coalitions. In front of this marginality principle, the equal surplus division solution (Driessen and Funaki 1991) 1 relies on egalitarian considerations: it assigns to every player what they can achieve for themselves alone, and distributes equally what is left of the gains of cooperation. Both solutions satisfy equal treatment of equals. This property states that if two players have equal contributions to all coalitions, they must receive the same payoff. Nevertheless, in many applications, and because of external features of the players, the assumption that every player has the same abilities may not be appropriated. The weighted Shapley values (Shapley 1953a) and the weighted surplus division solutions (Calleja and Llerena 2016) take care of this aspect by assigning exogenously each player to a strictly positive weight, representing such abilities. A different prominent rule is the prenucleolus (Schmeidler 1969) that takes specially care of minimizing complaints of coalitions to a particular allocation.
In this paper, we consider the problem of axiomatizing the weighted surplus division solution on the domain of all games. Despite the equal surplus division solution has recently been characterized, 2 as far as we know, there is no proper axiomatic characterization of its non-symmetric generalization. Interestingly, our results show that, although the definitions of the weighted surplus division solutions, the weighted Shapley values and the prenucleolus differ completely, from an axiomatic approach the difference can be pointed out to one axiom: consistency, an outstanding relational property in the axiomatic method. 3 Together with projection consistency (Funaki 1998), Theorem 1 (i) characterizes the family of the weighted surplus division solutions by means of the well established property of covariance and path monotonicity, a sort of aggregate monotonicity (Megiddo 1974) that distributes any variation in the worth of the grand coalition following a fixed pattern reflecting some exogenous circumstances or priorities among players that are not captured by the characteristic function of the game. From a different angle, and under efficiency, path monotonicity can be viewed as a relaxation of two equivalent properties (on the full domain of games): fairness, due to van den Brink (2001) and inspired in the notion of fairness as introduced in Myerson (1977), and differential marginality (Casajus 2011). Fairness (marginality) guarantees that if we add a game to another game in which two players are symmetric then, since their marginal contributions to coalitions containing neither of them coincide in both games, the players' payoffs change by the same amount. Not surprisingly, fairness, together with the standard property of efficiency, imply path monotonicity. Outstandingly, replacing projection consistency in Theorem 1 (i) by either self consistency (Hart and Mas-Colell 1989) or by max consistency (Davis and Maschler 1965) and considering path monotonicity for two-person games only, we obtain new axiomatic characterizations of the family of weighted Shapley values (Theorem 1 (ii)) and the prenucleolus (Theorem 2). All these characterization results are collected in Sect. 3.
In Sect. 4 we observe that substituting path monotonicity in Theorem 1 by fairness allows to get new axiomatic characterizations of the equal surplus division solution (Theorem 3 (i)) and the Shapley value (Theorem 3 (ii)). Furthermore, the notion of duality in coalitional games (see, for instance, Oishi et al. 2016) leads to a new axiomatic characterization of the egalitarian non-separable contribution solution (Moulin 1985) (Theorem 3 (iii)). 4 Finally, replacing path monotonicity by fairness (for two-person games) in Theorem 2, we obtain a new characterization of the prenucleolus (Theorem 4).
The remainder of the paper is organized as follows. In Sect. 2 we introduce some preliminaries on games. In Sect. 5 we introduce the dual property of path monotonicity in order to provide, together with complement consistency (Moulin 1985) and covariance, an axiomatic characterization of the family of weighted egalitarian non-separable contribution solutions (Theorem 7). We conclude with some remarks for future research and comparing our results with the characterizations provided in Sobolev (1975), Hart andMas-Colell (1989), Orshan (1993) and Driessen and Funaki (1997). The "Appendix" contains the independence of the properties in the characterization results.

Preliminaries
The set of natural numbers N denotes the universe of potential players. A coalition is a non-empty finite subset of N and let N denote the set of all coalitions of N. Given S, T ∈ N , we use S ⊂ T to indicate strict inclusion, that is, S ⊆ T and S = T . By |S| we denote the cardinality of the coalition S ∈ N . A transferable utility coalitional game is a pair (N , v) where N ∈ N is the set of players and v : 2 N −→ R is the characteristic function that assigns to each coalition S ⊆ N a real number v(S), representing what S can achieve by agreeing to cooperate, with the convention that v(∅) = 0. Given a game (N , v), the dual game (N , v d  Given N ∈ N and ∅ = N ⊆ N , the unanimity game (N , u N ) associated to N is defined as u N (S) = 1 if N ⊆ S and u N (S) = 0 otherwise. Given a game (N , v) and For any two games (N , v), (N , w), and α ∈ R, we define the game (N , v + w) as Given N ∈ N , let R N stand for the space of real-valued vectors indexed by N , The set of feasible payoff vectors of (N , v) is defined by A solution on a class of games Γ ⊆ Γ is a correspondence σ that associates with In this case, σ (N , v) is treated as the unique element of this singleton set. Notice that a single-valued solution is always nonempty but not necessarily an efficient allocation. We say that a single-valued solution σ on Γ ⊆ Γ satisfies efficiency (E) if all the gains from cooperation are shared among the players, that is, for all N ∈ N and all (N , v) Apart from efficiency, a classical invariant requirement w.r.t. changes in scale that are comparable with positive affine transformations is covariance.
On the dual of games Γ ⊆ Γ that is closed under the duality operator, two properties are dual to each other if whenever a solution σ satisfies one of them, the dual solution σ d satisfies the other. A property is self dual if it is dual to itself. It is not difficult to check that efficiency, covariance and equal treatment of equals are self dual.
For our purposes, we introduce some well-known efficient single-valued solutions defined on Γ . Let N ∈ N and (N , v) ∈ Γ . The Shapley value, Sh, is defined by Let α T = S⊆T (−1) |T |−|S| v(S) for all ∅ = T ⊆ N . Then, we can express the game (N , v) by a linear combination of the unanimity games as v = ∅ =T ⊆N α T u T . The weighted Shapley value relative to a list of positive weights w = (w i ) i∈N ∈ R N ++ , Sh w , is defined by Notice that when w i = w j for all i, j ∈ N, then Sh w (N , v) = Sh (N , v). Let N ∈ N and (N , v) ∈ Γ . The equal surplus division solution, E S, is defined by The weighted surplus division solution relative to a list of positive weights w = Given a list of positive weights w, E S w can be interpreted as a two-stage rule: after assigning to every player what they can achieve for themselves alone, it distributes what is left of the gains of cooperation proportionally according to w, representing some exogenous abilities or bargaining power of the players. Notice that when The dual solutions of E S and E S w are, respectively, the egalitarian non-separable contribution solution, E N SC, and the weighted egalitarian non-separable contribution solution, E N SC w . Let N ∈ N and (N , v) ∈ Γ . The E N SC is defined by setting, for all i ∈ N , Let N ∈ N and (N , v) ∈ Γ . With any preimputation x ∈ X (N , v) we associate the vector of all excesses e(S, x) = v(S) − x(S), ∅ = S ⊂ N , the components of which are non-increasingly ordered. The prenucleolus, ν * , is the preimputation that minimizes with respect to the lexicographic order 5 the vector of excesses over the set of preimputations.
For the two-agent case, the weighted standard solution relative to a list of positive weights w = (w i ) i∈N ∈ R N ++ , ST w , is defined as follows: for all N = {i, j} ∈ N and all (N , v) ∈ Γ , Many solutions in the literature coincide with the standard solution that show up when all the players have the same weight.
Given a list of positive weights w ∈ R N ++ , we say that a single-valued solution σ (N , v). If all weights are identical, we say that σ satisfies standardness (ST).

Consistency and path monotonicity
The main concern of this section is to characterize the weighted surplus division solutions by means of consistency together with monotonicity and covariance. Interestingly, our characterization result shows that, from an axiomatic point of view, the consistency principle distinguishes the weighted surplus division solutions, the weighted Shapley values and the prenucleolus.
Consistency is a sort of internal stability requirement that relates the solution of a game to the solution of a reduced game that results when some agents leave. The different ways in which the agents that remain evaluate the possible coalitions give rise to different notions of reduced game. Here we deal with four ways of reducing a game: the self reduced game (Hart and Mas-Colell 1989), the projection reduced game (Funaki 1998), the complement reduced game (Moulin 1985) and the max reduced game (Davis and Maschler 1965). The terminology is taken from Thomson (2003).
In the self reduced game (relative to N at σ ), the worth of a coalition R ⊆ N is determined under the assumption that R joins all members of N \N , provided they are paid according to σ in the subgame associated to R ∪ (N \N ). In the projection reduced game (relative to N at x), when players in N \N leave the game, for a proper subcoalition R ⊂ N cooperation is no longer possible with them. By contrast, in the complement reduced game (relative to N at x) each coalition R ⊆ N is required to join all the members of N \N , provided that they are paid according to x. Finally, in the max reduced game (relative to N at x), the worth of a coalition R ⊂ N is determined under the assumption that R can choose the best partners in N \N , provided that they are paid according to x.
The following notions of consistency rely on the above definitions of reduced game. A single-valued solution σ on Γ ⊆ Γ satisfies The consistency principle states that in the corresponding reduced game the original agreement should be confirmed. Funaki (1998) shows that projection consistency and complement consistency are dual properties.
The next result links consistency with covariance (for two-person games) and efficiency.
Proposition 1 Let σ be a single-valued solution on Γ that satisfies either projection consistency, complement consistency, self consistency or max consistency and, for two-person games, covariance. Then, σ satisfies efficiency.
Proof Let σ be a single-valued solution on Γ that satisfies CO for two-person games and PC. Let ({i, j}, 0) be the null game. Then, by CO (for two-person games) we (1) Now, let ({i}, v) be a one-person game and, for some j ∈ N\{i}, consider the The same arguments hold replacing PC by either CC, SC or MC.
Several notions of monotonicity have played a role in characterizing solutions on different frameworks. 6 In this section, we introduce a variant of aggregate monotonicity (Megiddo 1974), which states that nobody is worse off whenever the worth of the grand coalition increases, while the worth of every other coalition remains unchanged. By imposing some regularity in the way players share the extra profits (loses) if only the worth of the grand coalition increases (decreases), we introduce path monotonicity.
Definition 5 A monotone path is a function f : N × R → N ∈N R N satisfying the following conditions: for all N ∈ N and all t ∈ R, Notice that a monotone path assigns positive (negative) vectors to positive (negative) real numbers. Let F mon denote the class of monotone paths.
A monotone path f specifies a complete list of monotonic agreements. We assume that whenever a set of players N ∈ N reaches an agreement (which can be different for different sets) on how to distribute monotonically an amount t ∈ R, representing the difference of the worth of the grand coalitions between two games, they will respect this agreement by following the same principle, regardless of the games they eventually play.
The family F mon is very rich. Possibly, the simplest monotone path is to consider that all players should be treated equally: for all N ∈ N , all t ∈ R and all i ∈ N , However, path monotonicity allows for treating players differently to reflect some individual abilities or exogenous circumstances among them (like income or health status) that are not captured by the mathematical description of the game. For instance, given a list of exogenous weights Obviously, path monotonicity implies aggregate monotonicity, but the next example shows that the reverse implication is not true.
The Shapley value, the equal surplus division solution and the egalitarian nonseparable contribution solution satisfy path monotonicity (w.r.t.f ). For any list of positive weights w ∈ R N ++ , the weighted Shapley value and the weighted surplus division solution also meet path monotonicity (w.r.t. f w ). However, not all weighted egalitarian non-separable contribution solution satisfies aggregate monotonicity, and so path monotonicity. Let us provide an example to check this point. (N , v) and (N , v ) with set of players N = {1, 2, 3} and characteristic functions as follow:

Example 2 Consider two games
be a list of positive weights such that w 1 = 3 and w 2 = w 3 = 1. A routine calculus shows that E N SC w (v) = (1, 0, 0) and E N SC w (v ) = 4 5 , 3 5 , 3 5 . Hence, E N SC w is not aggregate monotonic (and neither path monotonic).
Notice that, since E S w and E N SC w are dual to each other and E S w satisfies path monotonicity, from Example 2 we may conclude that path monotonicity is not self dual.
The next remark highlights that path monotonicity yields some structure on the associated monotonic function f ∈ F mon .
Remark 1 Interestingly, if σ is a single-valued solution on Γ satisfying path monotonicity w.r.t f ∈ F mon , then f is additive. That is, for all N ∈ N and all t, t ∈ R, To show it, consider three games (N , v), (N , v ) and (N , v ) Moreover, if an additive function g : R → R is monotonic, then there exists a constant k ∈ R such that g(x) = k · x for all x ∈ R (see, for instance, Theorem 2.1 in Jung 2011). Hence, there exist k 1 , . . . , k n ∈ R such that, for all N ∈ N and all α, t ∈ R, f (N , α·t) = (k 1 · α · t, . . . , k n · α · t) = α·(k 1 · t, . . . , k n · t) = α· f (N , t).
Consequently, f ∈ F mon is homogeneous.
The next two lemmas are important to prove an intermediate result showing that imposing, for two-person games, covariance and path monotonicity, consistency enables us to generate endogenously a collection of positive weights.
Lemma 1 Let σ be a single-valued solution on Γ that satisfies, for two-person games, covariance and path monotonicity. Then, for all {i, j} ∈ N it holds Proof Let σ be a single-valued solution on Γ that satisfies CO and P-MO for twoperson games. Let N = {i, j} and consider the associated unanimity game (N , u N ).  (N , −1). Hence, σ (N , u N ) > (0, 0) which proves (i). Moreover, since f is homogeneous (see Remark 1) we have σ (N , u N Lemma 2 Let σ be a single-valued solution on Γ that satisfies, for two-person games, covariance and path monotonicity. Let N ∈ N with |N | = 3. Then, for all k, s ∈ N , (i) if σ satisfies either projection consistency or self consistency, it holds (ii) if σ satisfies max consistency, it holds Proof Let σ be a single-valued solution on Γ that satisfies, for two-person games, CO and P-MO. where the second equality holds by CO (for two-person games) and the last one by Lemma 1 (ii). Thus, By Lemma 1 (i), σ {k, s}, u {k,s} > (0, 0), which implies that σ k (N , u N ) and σ s (N , u N ) have the same sign. By Proposition 1, σ satisfies E, then i∈N σ i (N , u N ) = 1 and thus σ i (N , u N ) > 0 for all i ∈ N . Finally, from (6) it follows (4). The same arguments hold replacing PC by SC.
For all pairs of agents k, s ∈ N , by MC it holds that where the second equality holds by CO (for two-person games) and the last one by Lemma 1 (ii). Thus, σ |{k,s} (N , u N By Lemma (i), σ {k, s}, u {k,s} > (0, 0), which implies Suppose, on the contrary, σ k (N , u N being l ∈ N \{k, s}. Thus, By MC and, for two-person games, P-MO and CO (from which it follows expression (1) in the proof of Proposition 1), there is a monotone path f ∈ F mon such that Since f ∈ F mon and, by (11) M,x (u N )(k) > 0, in contradiction with σ k (N , u N ) = 0. This proves the claim, that is, inequality (9). But then, from (7) it follows (5).
Next, we connect consistency, covariance and path monotonicity with w−proportionality.
Proposition 2 Let σ be a single-valued solution on Γ that satisfies either projection consistency, self consistency or max consistency and, for two-person games, covariance and path monotonicity. Then, σ satisfies w-proportionality.
Proof Let σ be a single-valued solution on Γ that satisfies PC and, for two-person games, CO and P-MO. By Proposition 1, σ satisfies E. Next we see that σ satisfies w−P w.r.t. the following collection of weights: fix a player l ∈ N and define ({i}, v). If |N | = 2 we distinguish two cases: If α = 0, then by CO (for two-person games) (see expression (1) in the proof of Proposition 1) we have σ (N , v) = (v(l), v(i)) = ST w (N , v).
If α > 0, then for all k ∈ N , we have where the second and the third equalities follow by CO (for two-person games) and E, respectively. If α < 0, notice first that v = −α · (−u N ) + (v(l), v(i)). By CO (for two-person games) and Lemma 1 (ii), σ (N , v) = α · σ (N , u N ) + (v(l), v(i)). Now, following the reasoning above we obtain σ k (N , v) = ST w k (N , v), for all k ∈ N .
The same arguments hold replacing PC by SC or PC by MC and taking into account Lemma 2 (ii). Proof (i) Let w ∈ R N ++ be a list of positive weights. Clearly, E S w satisfies CO and P-MO (w.r.t. the monotone path f w as defined in (3)). Moreover, Calleja and Llerena (2016) show that it also satisfies PC. To prove uniqueness, suppose there is a single-valued solution σ on Γ satisfying these three properties. By Propositions 1 and 2, σ satisfies E and w−P (w.r.t a list of positive weights w ∈ R N ++ ). Let (N , v) be a game.
where the first equality follows by PC, the second one by w−P and the definition of projection reduced game, and the last one by E. Reordering terms, we obtain or, equivalently, Notice that this equality holds for all j ∈ N \{i}. Adding up, and summing up (σ i (N , v) − v(i)) w i to both sides of the equality we obtain, where the last equality follows from E. Hence, (ii) Let w ∈ R N ++ be a list of positive weights. It is well known that Sh w satisfies SC and CO. In addition, it also satisfies P-MO [w.r.t. the monotone path f w as defined in (3)]. Uniqueness comes from Hart and Mas-Colell (1989) (Theorem C) taking into account that P-MO implies monotonicity (by condition (3) in Definition 5) and CO together with SC imply E (by Proposition 1). 7 It is well known that the prenucleolus does not satisfy aggregate monotonicity 8 (and thus path monotonicity). However, imposing this property for two-person games only, we obtain a new characterization of the prenucleolus using max consistency.

Theorem 2
The prenucleolus is the unique single-valued solution on Γ that satisfies max consistency, covariance and, for two-person games, path monotonicity.
Proof It is well-known that ν * satisfies MC, CO and ST, which implies P-MO [w.r.t. the monotone pathf as defined in (2)] for two-person games.
To prove uniqueness, suppose there is a single-valued solution σ on Γ satisfying these three properties. By Propositions 1 and 2, σ satisfies E and w−P. From Hokari (2005) (Proposition 1), E, w−P and MC jointly imply ST. Finally, since MC and ST imply ETE, by Orshan (1993) (Theorem 3.2) it follows that σ coincides with ν * .

Remark 2
The characterizations (and the independence of the properties) stated in Theorem 1 hold if we impose path monotonicity and covariance for two-person games only. Thus, Theorems 1 and 2 allow for a comparison of the family of weighted Shapley values, the family of weighted surplus division solutions and the prenucleolus by means of consistency. Notice that, although with projection consistency or self consistency together with covariance and path monotonicity (for two-person games) a large family of solutions is characterized, when working with max consistency we obtain only the prenucleolus (not the family of weighted prenucleoli). 9 The key result is provided by Hokari (2005), who shows that efficiency, w-proportionality and max consistency enforce indeed standardness and thus equal treatment of equals.
Formally, axiomatizations that require some properties for two-person games only are more compelling than those that impose the properties meet for games with an arbitrary number of players. However, axiomatizations that do not force any initial condition for two-person games reflect more accurately the normative behaviour of the solutions. In fact, sometimes we get impossibility results when the properties are required over the full domain of games (see Theorem 5 in Sect. 4).

Consistency and fairness
By using fairness, a property due to van den Brink (2001) and related to fairness as introduced by Myerson (1977), instead of path monotonicity, we obtain a new axiomatic comparison of the Shapley value, the equal surplus division solution, the egalitarian non-separable contribution solution and the prenucleolus.
A single-valued solution σ on Γ ⊆ Γ satisfies Fairness means that if a game changes by adding another game in which two players i and j are symmetric, then the payoffs of players i and j change by the same amount. If we measure the relevance of a player in terms of marginality, fairness is a quite natural requirement since adding such a game does not change the marginal contributions of symmetric players. Making use of this property, van den Brink (2001) and Casajus (2014) characterize the Shapley value. Not surprisingly, efficiency together with fairness imply path monotonicity. It is not difficult to check that fairness is a self dual property.

Proposition 3 Let σ be a single-valued solution on Γ that satisfies efficiency and fairness. Then, σ satisfies path monotonicity.
Proof Let σ be a single-valued solution on Γ that satisfies E and F. Let N ∈ N , t ∈ R and consider two games (N , v), (N , v ) Hence, σ satisfies P-MO [w.r.t. the monotone pathf as defined in (2)].
Proposition 3 shows that, under efficiency, path monotonicity can be viewed as a relaxation of fairness by allowing that when the worth of the grand coalition varies, the players' payoffs change in the same direction, but not necessarily by the same amount, as fairness suggests. Now, replacing path monotonicity by fairness in Theorem 1, we obtain new axiomatic characterizations of the Shapley value and the equal surplus division solution. Moreover, imposing complement consistency we provide a new axiomatic characterization of the egalitarian non-separable contribution solution. Since the prenucleolus satisfies fairness for two-person games (because it satisfies standarness), from Propositions 1, 3 and Theorem 2 we obtain an alternative characterization.

Theorem 4
The prenucleolus is the unique single-valued solution on Γ that satisfies max consistency, covariance and, for two-person games, fairness.

Remark 3
The characterizations stated in Theorem 3 hold if we impose fairness for two-person games only. Thus, Theorems 3 and 4 allow for a comparison of the Shapley value, the equal surplus division solution, the egalitarian non-separable contribution solution and the prenucleolus by means of consistency.
Since the prenucleolus does not satisfy neither path monotonicity nor fairness (see Proposition 3) for games with an arbitrary number of players, two impossibility results emerge from both Theorems 2 and 4.
Theorem 5 There is no single-valued solution on Γ that satisfies (i) max consistency, covariance and path monotonicity.
(ii) max consistency, covariance and fairness. Theorem C in Hart and Mas-Colell (1989)  This reformulation opens an interesting question: which is the set of rules that emerges from substituting in Theorem 6 self consistency by either projection consistency, complement consistency or max consistency? Notice that we partially overcome this problem working with path monotonicity. Unfortunately, we have been unsuccessful in our attempts to solve this problem using monotonicity as defined in Hart and Mas-Colell (1989), and we leave it for future research.

Concluding remarks
It is well known that efficiency, covariance and equal treatment of equals for twoperson games are equivalent to standardness. The Shapley value, the equal surplus division solution and the egalitarian non-separable contribution solution satisfy these properties for any game. Moreover, covariance only for two-person games together with either self consistency, projection consistency or complement consistency imply efficiency (Proposition 1). Consequently, Theorem B' in Hart and Mas-Colell (1989) can be reformulated (dropping efficiency) in terms of covariance and equal treatment of equals for two-person games, together with self consistency. Moreover, Corollary 4.4. (i) in Driessen and Funaki (1997) can be rewritten by means of covariance and equal treatment of equals together with projection consistency, dropping efficiency too. Finally, the egalitarian non-separable contribution solution can be characterized by means of covariance, equal treatment of equals and complement consistency, which is also a refinement of Corollary 4.4. (ii) in Driessen and Funaki (1997). 10 Interestingly, Sobolev (1975) characterizes the prenucleolus as the unique single-valued solution that satisfies covariance, anonymity 11 and max consistency. Orshan (1993) shows that anonymity can be weakened and replaced by equal treatment of equals. Theorems 2, 3 and 4 modify, respectively, these characterizations replacing equal treatment of equals by path monotonicity/fairness (for two-person games). It is not difficult to check that path monotonicity/fairness neither imply equal treatment of equals nor they are implied by it.
As underlined in Sect. 3, not all weighted egalitarian non-separable contribution solution, E N SC w , satisfy aggregate monotonicity (see Example 2). Therefore, complement consistency, covariance and path monotonicity do not characterize the family of E N SC w . However, for any list of positive weights, the E N SC w meets path mono-tonicity for two-person games. 12 In view of Theorem 2, one may wonder if complement consistency, covariance and, for two-person games, path monotonicity, characterize the family of E N SC w . At this point some difficulties appear. First, as the next example shows, E N SC w does not satisfy w-proportionality. Let (N , v) be a game with N = {1, 2}, v(1) = 1, v(2) = 0, v(N ) = 2 and consider w ∈ R N ++ such that w 1 = 2 and w 2 = 1. Then, E N SC w (N , v) = 4 3 , 2 3 and ST w (N , v) = 5 3 , 1 3 . Thus, Proposition 2 does not hold when imposing complement consistency. If we want to use the duality approach from Theorem 1(i) (and taking into account Remark 2), a second drawback is that path monotonicity for two-person games is neither self dual. To see it, consider the single-valued solution defined, for all N ∈ N and all (N , v) ∈ Γ , as follows: Notice that satisfies path monotonicity (w.r.f.f as defined in (2)). The dual solution d is given by setting, for all N ∈ N and all (N , v) ∈ Γ , Let (N , v), (N , v )  , which proves that d is not aggregate monotonic, and hence path monotonicity is not self dual for two-person games. Thus, in future research it could be interesting to pay attention to this issue.
Nevertheless, a characterization of the family of weighted non-separable contribution solutions can be derived introducing the dual property of path monotonicity.
A single-valued solution σ on Γ ⊆ Γ satisfies • Constant shift path monotonicity 13 if there exists a monotone path f ∈ F mon such that, for all N ∈ N and all (N , v), (N , v ) Constant shift path monotonicity says that if the impact in the game (N , v) is such that all coalitions increase (decrease) in the same amount t and players agree on how to distribute it, then they should respect this agreement regardless of the initial game (N , v). It is not difficult to check that constant shift path monotonicity and path monotonicity are dual to each other. This fact, together with Theorem 1 (i), lead to the following characterization result.
12 Let w ∈ R N ++ . It can be easily checked that E N SC w satisfies, for two-person games, path monotonicity w.r.t. a monotone path g w ∈ F mon such that, for all N = {i, j} ∈ N and all t ∈ R, g w i (N , t) = w j w i +w j · t and g w j (N , t) = w i w i +w j · t. Notice that g w = f w as defined in (3). 13 We thank an anonymous referee for providing us this property.
Theorem 7 A single-valued solution σ on Γ satisfies complement consistency, covariance and constant shift path monotonicity if and only if there exists a list of positive weights w ∈ R N ++ such that σ = E N SC w .
To finish, a quite natural question is to study the implications of considering weakly monotonic functions rather than strictly monotonic functions in the definition of a monotone path (Definition 5). It turns out that imposing "weak" path monotonicity in Theorem 1 (i) and (ii) provides larger classes of single-valued solutions than E S w and Sh w that include, for instance, any marginal contribution solution and any f πsurplus division solution (see "Appendix" for formal definitions), respectively. On the other hand, the single-valued solution introduced by Peleg and Sudhölter (2007) (see Sect. 6.3.2. p. 118) satisfies, on the domain of balanced games, 14 covariance, max consistency and, for two-person games, "weak" path monotonicity. Consequently, on balanced games, imposing "weak" path monotonicity in Theorem 2 does not characterize the prenucleolus. This may suggest that, on the full domain of games, Theorem 2 does not remain valid when working with this weaker form of path monotonicity, although it is still an open question. In our opinion, dealing with such problems may require a good understanding of weighted solutions and properties when zero weights are allowed, in the line of the works of Kalai and Samet (1987), Monderer et al. (1992) or Nowak and Radzik (1995) for the weighted Shapley values, or Hokari (2005) for the prenucleolus.
3. Let π be a permutation on N, the f π −surplus division solution, denoted by E S f π , is defined as follows: for all N ∈ N , all (N , v) ∈ Γ and all i ∈ N , where f π is defined as follows: for all t ∈ R, f π (N , t) = t · e { j} , being j ∈ N such that π( j) ≥ π(i) for all i ∈ N . f π assigns all the amount t to the last player in N according to π .
• Independence of the properties in Theorems 1, 3, 6 and Theorem 7: E S f π satisfies covariance and projection consistency but, for two-person games, neither monotonicity (and thus path monotonicity) nor fairness. The dual solution of E S f π satisfies covariance and complement consistency but neither fairness nor constant shift path monotonicity. Sh satisfies covariance, path monotonicity, constant shift path monotonicity and fairness but neither projection consistency nor complement consistency. E D satisfies path monotonicity, constant shift path monotonicity, fairness, projection consistency, complement consistency and self consistency but not covariance for two-person games. Additionally, the marginal contribution solution, mc π , satisfies covariance and self consistency but, for twoperson games, neither monotonicity nor fairness. E S satisfies covariance, path monotonicity and fairness but not self consistency. • Independence of the properties in Theorems 2 and 4: E D satisfies max consistency, path monotonicity and fairness, but not covariance. E S satisfies path monotonicity, fairness and covariance, but not max consistency. Finally, to find a single-valued solution satisfying max consistency and covariance but, for two-person games, neither path monotonicity nor fairness, see Lemma 6.3.15 in Peleg and Sudhölter (2007).