Achievable Hierarchies In Voting Games

Previous work by Diffo Lambo and Moulen [Theory and Decision 53, 313–325 (2002)] and Felsenthal and Machover [The Measurement of Voting Power, Edward Elgar Publishing Limited (1998)], shows that all swap preserving measures of voting power are ordinally equivalent on any swap robust simple voting game. Swap preserving measures include the Banzhaf, the Shapley–Shubik and other commonly used measures of a priori voting power. In this paper, we completely characterize the achievable hierarchies for any such measure on a swap robust simple voting game. Each possible hierarchy can be induced by a weighted voting game and we provide a constructive proof of this result. In particular, the strict hierarchy is always achievable as long as there are at least five players.     

Punishing greediness in divide-the-dollar games

Brams and Taylor 1994 presented a version of the divide-the-dollar game (DD), which they call DD1. DD1 suffers from the following drawback: when each player demands approximately the entire dollar, then if the least greedy player is unique, then this player obtains approximately the entire dollar even if he is only slightly less greedy than the other players. I introduce a parametrized family of 2-person DD games, whose “endpoints” (the games that correspond to the extreme points of the parameter space) are (1) a variant of DD1, and (2) a game that completely overcomes the greediness-related problem. I also study an n-person generalization of this family. Finally, I show that the modeling choice between discrete and continuous bids may have far-reaching implications in DD games.     

A Banzhaf share function for cooperative games in coalition structure

A cooperative game with transferable utility–or simply a TU-game– describes a situation in which players can obtain certain payoffs by cooperation. A value function for these games assigns to every TU-game a distribution of payoffs over the players. Well-known solutions for TU-games are the Shapley and the Banzhaf value. An alternative type of solution is the concept of share function, which assigns to every player in a TU-game its share in the worth of the grand coalition. In this paper we consider TU-games in which the players are organized into a coalition structure being a finite partition of the set of players. The Shapley value has been generalized by Owen to TU-games in coalition structure. We redefine this value function as a share function and show that this solution satisfies the multiplication property that the share of a player in some coalition is equal to the product of the Shapley share of the coalition in a game between the coalitions and the Shapley share of the player in a game between the players within the coalition. Analogously we introduce a Banzhaf coalition structure share function. Application of these share functions to simple majority games show some appealing properties.     

Hierarchies achievable in simple games

A previous work by Friedman et al. (Theory and Decision, 61:305–318, 2006) introduces the concept of a hierarchy of a simple voting game and characterizes which hierarchies, induced by the desirability relation, are achievable in linear games. In this paper, we consider the problem of determining all hierarchies, conserving the ordinal equivalence between the Shapley–Shubik and the Penrose–Banzhaf–Coleman power indices, achievable in simple games. It is proved that only four hierarchies are non-achievable in simple games. Moreover, it is also proved that all achievable hierarchies are already obtainable in the class of weakly linear games. Our results prove that given an arbitrary complete pre-ordering defined on a finite set with more than five elements, it is possible to construct a simple game such that the pre-ordering induced by the Shapley–Shubik and the Penrose–Banzhaf–Coleman power indices coincides with the given pre-ordering.     

Hyperplane games,prize games and NTU values

The Shapley value is a well-known solution concept for TU games. The Maschler–Owen value and the NTU Shapley value are two well-known extensions of the Shapley value to NTU games. A hyperplane game is an NTU game in which the feasible set for each coalition is a hyperplane. On the domain of monotonic hyperplane games, the Maschler–Owen value is axiomatized (Hart Essays in game theory. Springer, 1994). Although the domain of hyperplane game is a very interesting class of games to study, unfortunately, on this domain, the NTU Shapley value is not well-defined, namely, it assigns an empty set to some hyperplane games. A prize game (Hart Essays in game theory. Springer, 1994) is an NTU game that can be obtained by “truncating” a hyperplane game. As such, a prize game describes essentially the same situation as the corresponding hyperplane game. It turns out that, on the domain of monotonic prize games, the NTU Shapley value is well-defined. Thus, one can define a value which is well-defined on the domain of monotonic hyperplane games as follows: given a monotonic hyperplane game, first, transform it into a prize game, and then apply the NTU Shapley value to it. We refer to the resulting value as the “generalized Shapley value” and compare the axiomatic properties of it with those of the Maschler–Owen value on the union of the class of monotonic hyperplane games and that of monotonic prize games. We also provide axiomatizations of the Maschler–Owen value and the generalized Shapley value on that domain.

     

Equilibria for far-sighted players

A new equilibrium concept for non-cooperative games, based on the assumptions that players are rational and far-sighted, is examined. An outcome is extended non-myopically (XNM) stable for a player if that player is assured that no movecountermove sequence he could initiate by departing unilaterally from that outcome would benefit him. The extended non-myopic (XNM) equilibria of a game, the outcomes which are XNM stable for each player, therefore model permanent (enduring) equilibria in an ongoing conflict.Algorithms for the identification of XNM equilibria in a 2 × 2 game are presented. The XNM concepts are then applied to three special classes of games (no-conflict games, games of complete opposition, and strict ordinal games) to compare their predictions of long-term stability with the known properties of games in these classes.Research supported by Natural Sciences and Engineering Research Council of Canada Grant No. A8974.     

Mechanism robustness in multilateral bargaining

This paper discusses the relationship between coalitional stability and the robustness of bargaining outcomes to the bargaining procedure. We consider a class of bargaining procedures described by extensive form games, where payoff opportunities are given by a characteristic function (cooperative) game. The extensive form games differ on the probability distribution assigned to chance moves which determine the order in which players take actions. One way to define mechanism robustness is in terms of the property of no first mover advantage. An equilibrium is mechanism robust if for each member the expected payoff before and after being called to propose is the same. Alternatively one can define mechanism robustness as a property of equilibrium outcomes. An outcome is said to be mechanism robust if it is supported by some equilibrium in all the extensive form games (mechanisms) within our class. We show that both definitions of mechanism robustness provide an interesting characterization of the core of the underlying cooperative game.     

An axiomatic analysis of the Nash equilibrium concept

The purpose of this paper is to analyze axiomatically the Nash equilibrium concept. The class of games under study is a (relatively large) subclass of n-person normal form games. Solutions are correspondences which associate to each game a non empty set of strategy vectors of this game. It is shown that if a solution satisfies the axioms Independence of irrelevant alternatives (IIA) and Individual rationality (IR), then all the strategy vectors in this solution are Nash equilibria. This result holds good also if IR is replaced by Strong individual monotonicity (SIM) or Weak principle of fair compromise (WPFC).     

The Evolution of Coding in Signaling Games

Signaling games with reinforcement learning have been used to model the evolution of term languages (Lewis 1969, Convention. Cambridge, MA: Harvard University Press; Skyrms 2006, “Signals” Presidential Address. Philosophy of Science Association for PSA). In this article, syntactic games, extensions of David Lewis’s original sender–receiver game, are used to illustrate how a language that exploits available syntactic structure might evolve to code for states of the world. The evolution of a language occurs in the context of available vocabulary and syntax—the role played by each component is compared in the context of simple reinforcement learning.     

Endogenous correlated equilibria in noncooperative games

Most of the results of modern game theory presuppose that the choices rational agents make in noncooperative games are probabilistically independent. In this paper I argue that there is noa priori reason for rational agents to assume probabilistic independence. I introduce a solution concept for noncooperative games called anendogenous correlated equilibrium, which generalizes the Nash equilibrium concept by dropping probabilistic independence. I contrast the endogenous correlated equilibrium with the correlated equilibrium defined by Aumann (1974, 1987). I conclude that in general the endogenous correlated equilibrium concept is a more appropriate solution concept for noncooperative game theory than the less general Nash equilibrium concept. I close by discussing the relationship between endogenous correlated equilibrium and the game solution concept calledrationalizability introduced by Bernheim (1984) and Pearce (1984).     

Three-valued simple games

In this paper we study three-valued simple games as a natural extension of simple games. We analyze to which extent well-known results on the core and the Shapley value for simple games can be extended to this new setting. To describe the core of a three-valued simple game we introduce (primary and secondary) vital players, in analogy to veto players for simple games. Moreover, it is seen that the transfer property of Dubey (1975) can still be used to characterize the Shapley value for three-valued simple games. We illustrate three-valued simple games and the corresponding Shapley value in a parliamentary bicameral system.     

Correlated Equilibrium in Games with Incomplete Information Revisited

A mistake in “Five legitimate definitions of correlated equilibrium (CE) in games with incomplete information” motivates a re-examination of some extensions of the solution concept that Aumann introduced.     

Generalized externality games

Externality games are studied in Grafe et al. (1998, Math. Methods Op. Res. 48, 71). We define a generalization of this class of games and show, using the methodology in Izquierdo and Rafels (1996, 2001, Working paper, Univ Barcelona; Games Econ. Behav. 36, 174), some properties of the new class of generalized externality games. They include, among others, the algebraic structure of the game, convexity, and their implications for the study of cooperative solutions. Also the proportional rule is characterized for this class of games.     

Values for rooted-tree and sink-tree digraph games and sharing a river

We introduce values for rooted-tree and sink-tree digraph games axiomatically and provide their explicit formula representation. These values may be considered as natural extensions of the lower equivalent and upper equivalent solutions for line-graph games studied in van den Brink et al. (Econ Theory 33:349–349, 2007). We study the distribution of Harsanyi dividends. We show that the problem of sharing a river with a delta or with multiple sources among different agents located at different levels along the riverbed can be embedded into the framework of a rooted-tree or sink-tree digraph game correspondingly.     

High Stakes and Acceptance Behavior in Ultimatum Bargaining:

This paper presents the results of a within-subject experiment testing whether an increase in the monetary stakes by a factor of 50 – which had never been done before – influences individual behavior in a simple ultimatum bargaining game. Contrary to current wisdom, we found that lowest acceptable offers stated by the responder are proportionally lower in the high-stake condition than in the low-stake condition. This result may be interpreted in terms of the type of utility functions which characterize the subjects. However, in line with prior results, we find that an important increase of the monetary stakes in the ultimatum game has no effect on the offers made by the proposer. Yet, the present research suggests that the reasons underlying these offers are quite different when the stakes are high.     

A unified approach to restricted games

There have been two main lines in the literature on restricted games: the first line was started by Myerson (1977) that studied graph-restricted games an the second one was initiated by Faigle (1989). The present paper provides a unified way to look on the literature and establishes connections between the two different lines on restricted games. The strength and advantages of this unified approach becomes clear in the study of the inheritance of the convexity from the game to the restricted game where an interesting result by Nouweland and Borm (1991) on the convexity of graph-restricted games is turned into a direct consequence of the corresponding result by Faigle (1989), by means of this relation. This revised version was published online in June 2006 with corrections to the Cover Date.     

Long-Term Behavior in the Theory of Moves

This paper proposes a revised Theory of Moves (TOM) to analyze matrix games between two players when payoffs are given as ordinals. The games are analyzed when a given player i must make the first move, when there is a finite limit n on the total number of moves, and when the game starts at a given initial state S. Games end when either both players pass in succession or else a total of n moves have been made. Studies are made of the influence of i, n, and S on the outcomes. It is proved that these outcomes ultimately become periodic in n and therefore exhibit long-term predictable behavior. Efficient algorithms are given to calculate these ultimate outcomes by computer. Frequently the ultimate outcomes are independent of i, S, and n when n is sufficiently large; in this situation this common ultimate outcome is proved to be Pareto-optimal. The use of ultimate outcomes gives rise to a concept of stable points, which are analogous to Nash equilibria but consider long-term effects. If the initial state is a stable point, then no player has an incentive to move from that state, under the assumption that any initial move could be followed by a long series of moves and countermoves. The concept may be broadened to that of a stable set. It is proved that every game has a minimal stable set, and any two distinct minimal stable sets are disjoint. Comparisons are made with the results of standard TOM.     

Characterization of dominance relations in finite coalitional games

McGarvey (Econometrica, 21(4), 608–610, 1953) has shown that any irreflexive and anti-symmetric relation can be obtained as a relation induced by majority rule. We address the analogous issue for dominance relations of finite cooperative games with non-transferable utility (coalitional NTU games). We find any irreflexive relation over a finite set can be obtained as the dominance relation of some finite coalitional NTU game. We also show that any such dominance relation is induced by a non-cooperative game through β-effectivity. Dominance relations obtainable through α-effectivity, however, have to comply with a more restrictive condition, which we refer to as the edge-mapping property.     

K–Player Additive Extension of Two-Player games with an Application to the Borda Electoral Competition Game

In this note we introduce the notion of K–player additive extension of a symmetric two-player game and prove a result relating the equilibria in mixed strategies in the two games. Then we apply the result to the Borda electoral competition game.     

The epistemic structure of a theory of a game

This paper is a contribution to the systematic study of alternative axiom-sets for theories of (normal-form, complete-information) games. It provides an introduction to epistemic logic, describes a formulation in epistemic logic of the structure of a theory of a game (the broad theory of that game), and applies methods of epistemic logic to define strategies for dealing with two disturbing features of game theory, its hyperrationality assumptions and its indeterminacy. The analysis of these problems is conducted in terms of two principles which impregnate much game theory, Cleverness and Cloisteredness (the principles that players know respectively all, and only, the logical consequences of their assumed knowledge). Broad theories allow us to formulate and revise these principles despite their metatheoretical character. It is shown how Cleverness may be weakened by using logics which restrict the Rule of Epistemization, and Cloisteredness by using default logic or autoepistemic logic; the latter is used to characterize Nash equilibrium beliefs as parts of certain autoepistemic extensions of players' knowledge bases, but these particular extensions are rejected as ungrounded.I am grateful for most helpful comments to Robin Cubitt, Joe Halpern, Ernest Geffner, Philippe Mongin, David Squires, Elias Thijsse and Tim Williamson.