Reduced two-bound core games

This paper studies Davis–Maschler reduced games of two-bound core games and shows that all these reduced games with respect to core elements are two-bound core games with the same pair of bounds. Based on associated reduced game properties, we axiomatically characterize the core, the nucleolus, and the egalitarian core for two-bound core games. Moreover, we show that the egalitarian core for two-bound core games is single-valued and we provide an explicit expression.

game with nonempty core the unique core element that lexicographically minimizes the maximal excesses over all coalitions. The egalitarian core assigns all core elements from which no other core element can be obtained by a transfer from a richer to a poorer player.
In this paper, we focus on two-bound core games (cf. Gong et al. 2022), i.e., games where the core is nonempty and can be described by a lower bound and an upper bound on the pre-imputations. Two-bound core games generalize compromise stable games (cf. Quant et al. 2005), which include all games with at most three players and a nonempty core, additive games, unanimity games, bankruptcy games (cf. O'Neill 1982), 1-convex games (cf. Driessen 1985), big boss games (cf. Muto et al. 1988), clan games (cf. Potters et al. 1989), and reasonable stable games (cf. Dietzenbacher 2018).
In particular, we study Davis-Maschler reduced games of two-bound core games and show that all these reduced games with respect to core elements are two-bound core games. Moreover, the core of these reduced games can be described by the same pair of bounds. A solution satisfies the bilateral reduced game property (cf. Davis and Maschler 1965) if each pre-imputation assigned to the original game is consistently assigned to all reduced games with two players. A solution satisfies the converse reduced game property (cf. Davis and Maschler 1965) if each pre-imputation assigned to all reduced games with two players is assigned to the original game. Using the bilateral reduced game property and the converse reduced game property, we axiomatically characterize the core, the nucleolus, and the egalitarian core for twobound core games. Moreover, we show that the egalitarian core for two-bound core games is single-valued and we provide an explicit expression.
The remainder of this paper is organized as follows. Section 2 introduces preliminary definitions and notations for cooperative games. Section 3 studies Davis-Maschler reduced games of two-bound core games. Section 4 axiomatically characterizes the core, the nucleolus, and the egalitarian core. Section 5 concludes.

Preliminaries
Let N be a nonempty and finite set of players and let 2 N = {S | S ⊆ N } be the set of all coalitions. For all x ∈ R N , we denote A (transferable utility) game is a pair (N , v), where v : 2 N → R assigns to each coalition S ∈ 2 N its worth such that v(∅) = 0. The set of all games with player set N is denoted by N . For simplicity, we write v ∈ N rather than (N , v) ∈ N .
Let v ∈ N . The set of pre-imputations is the core is and the egalitarian core (cf. Arin and Iñarra 2001) is where for all i, j ∈ N with i = j and all x ∈ R N , The set of all games with nonempty core and player set N is denoted by The set of all two-bound core games with player set N is denoted by N t . A solution ϕ on a domain of games assigns to each game v in this domain a nonempty set ϕ(v) ⊆ X (v). Note that ϕ(v) = {v(N )} for each game v with one player. A solution ϕ on a domain of games is single-valued if |ϕ(v)| = 1 for each v in this domain. For a single-valued solution ϕ on a domain of games and a game v in this domain, ϕ(v) is often identified with its unique element.
The nucleolus η (cf. Schmeidler 1969) is a single-valued solution that assigns to each game with nonempty core a unique core element. Maschler et al. (1971) showed that the nucleolus of a convex game v ∈ N c is given by Gong et al. (2022) showed that the nucleolus of a two-bound core game . This implies that if two two-bound core games have equal cores, then their nucleoli are equal.

Reduced two-bound core games
In this section, we study Davis-Maschler reduced games of two-bound core games. First, we show that the core of a two-bound core game is equal to the core of a particular convex game, where the worth of each coalition is defined by the minimum total payoff of its members in any pre-imputation between the two bounds.
The following example shows that there exist two-bound core games that are not convex, and that there exist convex games that are not two-bound core games.
The reduced game (cf. Davis and Maschler 1965) of In other words, the worth of a coalition in a reduced game is defined as the maximal remainder in cooperation with any subgroup of players in the original game that are not present in the reduced game. It turns out that all reduced games of two-bound core games with respect to core elements are two-bound core games. Moreover, the core of these reduced games can be described by the same pair of bounds.
This means that (y, solution satisfies the bilateral reduced game property if the restriction of each preimputation assigned to the original game is consistently assigned to all reduced games with two players. The converse reduced game property requires that all pre-imputations for which each two-player restriction is assigned to the corresponding reduced game are assigned to the original game. Bilateral reduced game property (cf. Davis and Maschler 1965) For all v ∈ N t , all T ∈ 2 N with |T | = 2, and all x ∈ ϕ(v), we have v x T ∈ T t and x T ∈ ϕ(v x T ). Converse reduced game property (cf. Davis and Maschler 1965) By requiring the solution to assign the core to all games with two players, Peleg (1986) characterized the core using the bilateral reduced game property and the converse reduced game property. We obtain a similar axiomatic characterization of the core for two-bound core games.
Theorem 3 The core is the unique solution for two-bound core games satisfying unanimity, the bilateral reduced game property, and the converse reduced game property.
Proof Clearly, the core satisfies unanimity. To prove that the core satisfies the bilateral reduced game property, let v ∈ N t , let T ∈ 2 N with |T | = 2, let x ∈ C(v), and let l, u ∈ R N be such that Hence, the core satisfies the bilateral reduced game property. To prove that the core satisfies the converse reduced game property, let v ∈ N t and let x ∈ X (v) be such that v x T ∈ T t and x T ∈ C(v x T ) for all T ∈ 2 N with |T | = 2. Let S ∈ 2 N \ {∅, N } and let j ∈ N \ S. For all i ∈ S, so i∈S x i ≥ v(S). This implies that x ∈ C(v). Hence, the core satisfies the converse reduced game property. To prove uniqueness, let ϕ be a solution for two-bound core games satisfying unanimity, the bilateral reduced game property, and the converse reduced game property. We show that ϕ ϕ(v). By the bilateral reduced game property of ϕ, v x T ∈ T t and x T ∈ ϕ(v x T ) for all T ∈ 2 N with |T | = 2, so x T ∈ C(v x T ) for all T ∈ 2 N with |T | = 2. By the converse reduced game property of the core, this implies that x ∈ C(v). Hence, Let x ∈ C(v). By the bilateral reduced game property of the core, v x T ∈ T t and x T ∈ C(v x T ) for all T ∈ 2 N with |T | = 2, so x T ∈ ϕ(v x T ) for all T ∈ 2 N with |T | = 2. By the converse reduced game property of ϕ, this implies that x ∈ ϕ (v).
By requiring the solution to assign the nucleolus to all two-bound core games with two players, we obtain an axiomatic characterization of the nucleolus for two-bound core games using the bilateral reduced game property.
Standardness (cf. Aumann and Maschler 1985) For all v ∈ N t with N = {i, j}, we have Then Theorem 4 The nucleolus is the unique solution for two-bound core games satisfying standardness and the bilateral reduced game property.
so x T = EC v x T for all T ∈ 2 N with |T | = 2. By the converse reduced game property of the egalitarian core, this implies that x = EC(v). Hence, ϕ(v) = EC(v).

Concluding remarks
In this paper, we axiomatically characterized the core, the nucleolus, and the egalitarian core for two-bound core games using the Davis-Maschler reduced game properties. In fact, it can be shown that these solutions satisfy the stronger reduced game property which requires that the restriction of each pre-imputation assigned to the original game is consistently assigned to all reduced games (not only with two players), but the weaker bilateral reduced game property suffices in the axiomatic characterizations. To show that the properties in these axiomatic characterizations are independent, we introduce the following additional solutions.
A solution that satisfies unanimity and the converse reduced game property, but not the bilateral reduced game property, is the solution X , which is for all v ∈ N t defined by A solution that satisfies unanimity and the bilateral reduced game property, but not the converse reduced game property, is the solution C, which is for all v ∈ N t defined by A solution that satisfies standardness, but not the bilateral reduced game property, is the solution η, which is for all v ∈ N t defined by A solution that satisfies constrained egalitarianism, but not the bilateral reduced game property, is the solution EC, which is for all v ∈ N t defined by An overview of these solutions, their properties, and the axiomatic characterizations is presented in the following table. Here, + indicates that the rule satisfies the property, − indicates that the rule does not satisfy the property, and * indicates the axiomatic characterizations.
Hence, the properties in Theorems 3, 4, and 6 are independent.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.