A Solution Concept and Its Axiomatic Results under Non-Transferable-Utility and Multi-Choice Situations

In real situations, agents might take different energy levels to participate. On the other hand, agents always face an increasing need to focus on non-transferable-utility situations efficiently in their operational processes. Thus, we introduce the replicated core under non-transferable-utility situations, and analyze non-emptiness of the replicated core by means of a balanced result. In order to express the rationality of the replicated core, we also define different reduced games to axiomatize the replicated core.


Introduction
Each agent of a standard game is either completely concerned or departed from all participation with some other members. However, agents may take different energy levels to participate in real situations. In a multi-choice game, each agent is consented to partake with finite different levels (strategies). By focusing on multi-choice games, Nouweland et al.
[1] pointed out some applications, such as a vast structure program with a deadline and a fine for each day if this deadline is overtime. The date of finalization hinges on the endeavor of how all of the members participate in the program: the greater they employ themselves, the sooner the program will be finished. This situation could be treated as a multi-choice game. The merit of a coalition where each member participates at a definite energy level is defined as the minus of the fine which requires to be remunerated for giving the date of finalization of the program when each member presents the relative endeavor. Based on the notion of replicated transferable-utility (TU) games, Calvo and Santos [2] pointed out that the extended Shapley value due to Nouweland et al. [1] concurs with the solution concept due to Moulin [3]. Inspired by the notions of the core on continuum market games (Hart [4]) and fuzzy TU games (Aubin [5]) respectively, Hwang and Liao [6] also proposed a different core concept in the context of multi-choice TU games by applying corresponding replicated TU games.
A non-transferable utility (NTU) game is a measurement of payoffs achievable by agents of each coalition via several joint courses of action (decision, strategy). The agents face the problem of choosing a payoff that is feasible for the entire coalition. This is a bargaining condition and its solution may be rationally required to satisfy various criteria, and different collections of axioms will characterize different solutions. The core concept is, possibly, the most instinctive allocation rule. The core can be naturally extended to multi-choice (NTU) games. However, the investigations of the core when there are no side payments may be much harder than in the TU situation. In Section 2, we propose a generalization of the traditional core, the replicated core, in the context of multi-choice NTU games. We present that the replicated core of a multi-choice NTU game coincides with a replicated subset of the traditional core of a replicated NTU game. In Section 3, we adopt a balancedness result to investigate the non-emptiness condition of the replicated core. In order to express the rationality for the replicated core, we define different reduced games to characterize the replicated core in Sections 4 and 5. Furthermore, some more comparisons and discussions are provided in Section 6.

Preliminaries
Assume that U is the universe of agents and N ⊆ U is a collection of agents with N = ∅. Assume that each agent i ∈ U has h i energy levels at which he/she/it can take, where h i is positive integer. Let H i = {0, 1, · · · , h i } be the energy level set of agent i, where 0 represents not participating and H + i = H i \ {0}. Let H N = ∏ i∈N H i be the product set of the energy level sets for agents of N. µ ∈ H N is a vector that presents current energy levels for every agent in N, where µ i is the energy level that agent i participates at currently for each i ∈ N. Given K ⊆ N and µ ∈ H N , we define B(µ) = {i ∈ N | µ i > 0} and µ K ∈ R K to be the restriction of µ to K. Furthermore, let |K| be the amount of elements in K, and θ K (N) ∈ R N be the vector satisfying The comprehensive hull of P is denoted to be comP. The interior of P is denoted to be intP, and the boundary of P is denoted to be ∂P. µ Definition 1. A multi-choice NTU game is (N, V), (Since h ∈ N is fixed in the paper, (N, v) could be written rather than (N, h, v).) where N = ∅ is a finite collection of agents and V is a characteristic mapping that assigns to every µ ∈ H N \ {0 N } a subset V(µ) ⊆ R B(µ) , such that V(µ) is nonempty, comprehensive and closed. (1) Situation (1) is standard. Comprehensiveness could be treated as a marked weakening of monotonicity. Situation (2) assures that V(µ) is a proper subset of R B(µ) . It could be treated as a weakening of boundedness. Denote the family of all multi-choice NTU games by MG.
A payoff vector of (N, V) is a vector x = (x i ) i∈N ∈ R N where x i could be treated as the per unit payoff that agent i obtains for each i ∈ N, hence h i x i is the entire payoff that agent i obtains in (N, V).
x is efficient (EFC) if (h i x i ) i∈N ∈ ∂V(h). x is singlely rational (SR) if jx i / ∈ intV(jθ {i} ) for each i ∈ N and for each j ∈ H + i . If payoff vector x is EFC and SRA, then x is said to be an imputation in (N, V). Denote the collection of imputations in (N, V) to be IP(N, V). Denote the collection of all feasible payoff vectors is the collection of efficient payoff vectors of (N, V). In the following, we define the replicated core on multi-choice NTU games.

Definition 2.
The replicated core C of a multi-choice NTU game (N, V) is defined by A standard NTU game is (N, V NTU ), where N = ∅ is a finite collection of agents and V NTU is a characteristic mapping that assigns to every T ∈ 2 N \ {∅} a subset V NTU (T) ⊆ R T , such that • V NTU (T) is non-empty, comprehensive, and closed.
The traditional core C NTU of a standard NTU game (N, V NTU ) is Assume that (N, V) ∈ MG and N h is a set of replicated agents with , we define the corresponding replicated vector X = (X T∩N h i ) i∈B(α(T)) ∈ R T to be that for all i ∈ B(α(T)), and vice versa.
The following result presents that the replicated core of a multi-choice NTU game coincides with a "replicated subset" of the traditional core of a replicated NTU game.
Proof of Proposition 1. The proof is trivial. Hence, we omit it.

Balancedness and Non-Emptiness
Scarf [7] showed that each balanced standard NTU game has a nonempty traditional core. Here, we offer an analogue result on multi-choice NTU games. (3) where V S NTU = V NTU (S) × R N\S for each S.
Remark 1. Scarf [7] showed that the traditional core is nonempty for each balanced standard NTU game.
Subsequently, we provide an analogue balancedness on multi-choice NTU games.
The following theorem presents that the balancedness of a multi-choice NTU game concurs with the balancedness of the corresponding replicated NTU game.
Hence, Θ is a balanced collection of H N . By the replication special nature of N h , V h NTU and the balancedness of (N, V) , it is easy to see that where i b , i c ∈ N h i . Note that Condition (8) can be done because that L t is the least common multiple.
Hence, A is a balanced collection of N. Similarly, by the replication special nature of N h , V h NTU and the balancedness of A multi-choice NTU extension of the Scarf's [7] result is as follows.
Theorem 2. The replicated core is nonempty for each m-balanced multi-choice NTU game.
Proof of Theorem 2. Assume that (N, V) ∈ MG and N h , V h NTU is the corresponding replicated NTU game. By Proposition 1, Hence, this theorem immediately follows Remark 1 and Theorem 1.

Axiomatic Result
One would make use of some more axioms as follows. σ satisfies efficiency Next, we provide a multi-choice NTU extension of the reduction proposed by Peleg [8]. Assume that (N, V) ∈ MG, T ∈ 2 N \ {∅} and x is a payoff vector. The reduced game in regard to T and x is (T, V T,x ) defined as follows. For all µ ∈ H T \ {0 T }, Consistency asserts that if x is appointed by σ for (N, V) ∈ MG, then the projection of x to S should be appointed by σ in the reduction V T,x for each T ⊆ N. Thus, the projection of x to S should be consistent with the expectations among the agents of T as mirrored by its reduction. Converse consistency asserts that if the projection of a single rational vector x to each T ⊆ N is consistent with the expectations among the agents of T as mirrored by its reduction, then x itself should be supported for total game. Here, we confine our consideration to non-level multi-choice NTU games, defined as those games (N, V) such that x = y if x, y ∈ ∂V(h) and x ≥ y.
Situation (9) states that ∂V(h) has no level segments, i.e., segments parallel to a coordinate hyperplane. We adopt it to ensure that, if x ∈ R N is efficient, then x T is efficient in (T, V T,x ).
Next, we would like to adopt SRY, SOPG, CONY, and CCONY to characterize the replicated core. The proofs that the replicated core satisfies CONY and CCONY are in the following steps: Lemma 1. Assume that (N, V) ∈ MG, x ∈ E * (N, V) and S ∈ 2 N \ {∅}. Then, the reduction (S, V S,x ) ∈ MG.
Proof of Lemma 1. It is trivial to verify the condition (9) and Definition 1.

Proof of Lemma 2.
Clearly, x T ∈ E * (T, V T,x ). If x T / ∈ E(T, V T,x ), then there exists y T ∈ E * (T, V T,x ) such that y T > x T . Thus, (y T , x N\T ) > x and (y T , x N\T ) ∈ E * (N, V). Thus, x / ∈ E(N, V). Similarly, there exists y ∈ E * (N, V) such that y x if x / ∈ E(N, V). Thus, (y T , x N\T ) ∈ E * (N, V). Therefore, y T x T and y T ∈ E * (T, V T,x ). Thus, x T / ∈ E(T, V T,x ).
Proof of Lemma 5. Assume that (N, V) ∈ MG with |N| ≥ 2 and x ∈ IP(N, V). Suppose that (T, V T,x ) ∈ MG and x T ∈ C(T, V T,x ) for each T ⊂ N with 0 < |T| < |N|. We will prove that . Two conditions could be distinguished: The proof is similar to the above processes by applying the reduction ({j}, V {j},x ).

Lemma 6.
If a solution σ satisfies CONY and SOPG, then it also satisfies EFCY.
Proof of Lemma 6. Assume that there exist (N, (N, V). Therefore, the desired contradiction could be presented. Proof of Theorem 3. By Lemmas 4 and 5, the replicated core satisfies CONY and CCONY. Absolutely, the replicated core satisfies SOPG and SRY.
We first prove that σ(N, V) ⊆ C(N, V). Assume that x ∈ σ(N, V). Since σ satisfies SRY and EFCY, x ∈ IP(N, V). Clearly, x T ∈ σ(T, V T,x ) for each T ⊂ N with 0 < |T| < |N| by CONY of σ. Based on the induction hypothesis, x T ∈ σ(T, V T,x ) = C(T, V T,x ) for each T ⊂ N with 0 < |T| < |N|. Thus, x ∈ C(N, V) by CCONY of the replicated core. The remaining proof could be completed analogously by switching the roles of C and σ. Thus, C(N, V) = σ (N, V).
The following examples present that each of the properties adopted in Theorem 3 should be logically independent of the others. In order to present the independence of the adopted properties, |U| ≥ 2 is necessary. Absolutely, σ satisfies SOPG, CONY, and CCONY, but σ violates SRY.

Example 4.
Here, we define a solution σ on MG to be Absolutely, σ satisfies SOPG, SRY, and CONY, but σ violates CCONY.

Another Reduction
In this section, we provide a multi-choice NTU extension of the reduction due to Moulin [9]. Given a payoff vector of some game assigned by a solution, and given a subgroup of agents, Moulin [9] introduced the reduction as that in which every coalition in the subgroup could reach payoffs to its agents only if they are harmonious with the original payoffs to "all" the agents outside of the subgroup. A natural multi-choice extension of Moulin's reduction is as follows. Assume that (N, V) ∈ MG, T ∈ 2 N \ {∅} and x is a payoff vector. The M-reduced game in regard to T and x is By replacing "reduction" with " M-reduction", we define the properties of M-consistency (MCONY) and converse M-consistency (CMCONY).
Proof of Lemma 7. Similar to Lemmas 1-4, the proof could be completed.
In the following, we adopt an example to present that the replicated core violates CMCONY. 1). Thus, x / ∈ C(N, V). The replicated core violates converse M-consistency.
To finalize this section, we show that there exists an unique solution other than the replicated core satisfying SOPG, SRY, MCONY, and CMCONY on MG. Proof of Lemma 8. Clearly, it is shown that the replicated core satisfies SOPG, SRY, and MCONY. Here, we define C mw by for each (N, V) ∈ MG, It is easy to verify that the solution C mw satisfies SOPG and SRY. To verify that C mw satisfies MCONY and CMCONY, it could similarly be completed by the proof of Lemmas 1-5. Similar to Lemma 6 and Theorem 3, it is easy to show that C mw is the only solution satisfying SOPG, SRY, MCONY, and CMCONY on MG.

Discussion
Some multi-choice NTU extensions of the core and related results have been introduced, such as Hwang and Li [10], Liu et al. [11], Tian et al. [12], and so on. One should compare our works with the works of Hwang and Li [10], Liu et al. [11], and Tian et al. [12].

•
The core due to Hwang and Li [10] was defined by determining a payoff for a given agent adopting at a given energy level. Based on the notion of replicated games, we propose the replicated core by considering an entire payoff for a given agent. • Liu et al. [11] derived an extended existence result of the payoff-dependent balanced core proposed by Bonnisseau and Iehlé [13] to multi-choice NTU games which implies a multi-choice generalization of the existence result due to Scarf [7]. By adopting an extended K-K-M-S theorem, Tian et al. [12] showed that a socially stable core is non-empty in a multi-choice NTU structured game if the transfer rate rule contains several values of power mappings, and this game is payoff-dependent balanced with reference to the rule. Different from the works of Liu et al. [11] and Tian et al. [12], we define the replicated core on multi-choice NTU games by means of "replicated NTU games". The non-emptiness of the replicated core is analyzed by extending the existence result due to Scarf [7] and the notion of replication simultaneously. Inspired by Peleg [8], we characterize the replicated core by means of consistency and its converse.
Multi-choice games permit a finite number of energy levels, while fuzzy games admit a continuous level. In a fuzzy game, every agent i can adopt level t i ∈ [0, 1] to participate. Fuzzy games and multi-choice games could be treated as continuous generalization and discrete generalization of standard games, respectively. In the framework of fuzzy NTU games, an extended core was introduced by Hwang [14]. The extended core due to Hwang [14] and the replicated core are based on the notions of the core on continuum market games (Hart [4]) and fuzzy TU games (Aubin [5]). The major difference is that our works are based on the "multi-choice" NTU games and "replicated NTU games", but Hwang's [14] works are based on the "fuzzy" NTU games. Although the notions of axiomatic results are similar, the techniques of the proofs are still different. Furthermore, the notion of replication can not be applied in Hwang [14].
By applying the replicated core, we would like to analyze cost distribution problems in which the indivisible commodities might be only available under finite natural numbers (energy levels). The replicated core is introduced to offer per unit payoffs (prices) among commodities in multi-choice NTU situations. Assume that N = {1, 2, · · · , n} is a collection of commodities (or projects) that could be equipped conjunctly by various departments. Let K(T) be the cost of offering the components in T ⊆ N conjunctly. The mapping K is called a cost-distributing problem (alternatively, K could be considered as a production mapping that appears to be the outcome for any coalition). Modeled by this conception, a cost distribution problem could be considered as a cooperative game, with K being its characteristic mapping. Another condition is investigated when the outcome could be altered continuously. In this condition, it is supposed that commodities are entirely divisible commodities and then quantities of commodities could be estimated with real numbers. This is an adequate approach for situations such as various rural commodities, petroleum commodities (olive oil, gas), and so on. However, there exist many others types of commodities for which this is not possible, such as buildings, cars, and so on. This class of indivisible commodities are only available under finite natural numbers. This is the type of condition that the replicated core would like to analyze: cost distribution problems in which commodities could be provided at finite different levels.

Conclusions
In view of the techniques of the analysis processes for the core concepts, consistency and converse consistency play essential roles. In this paper, the replicated core and its non-emptiness are investigated. In order to analyze the rationality, an axiomatic result of the replicated core is also proposed by adopting consistency and its converse. However, we also show that the replicated core violates converse M-consistency. In future investigation, we would like to propose axiomatic results by forsaking consistency or its converse.
On the other hand, Iñarra et al. [15] provided an update on the bargaining set, the kernel and the nucleolus, respectively, by investigating consistency, non-emptiness, and uniqueness of the nucleolus. Inspired by Iñarra et al. [15], it is reasonable that some more different solutions and related axiomatic results could be extended to multi-choice NTU games, such as the bargaining set, the kernel, the nucleolus, and so on. This is left to the readers.