Resource Buying Games

In resource buying games a set of players jointly buys a subset of a finite resource set E (e.g., machines, edges, or nodes in a digraph). The cost of a resource e depends on the number (or load) of players using e, and has to be paid completely by the players before it becomes available. Each player i needs at least one set of a predefined family S_i in 2^E to be available. Thus, resource buying games can be seen as a variant of congestion games in which the load-dependent costs of the resources can be shared arbitrarily among the players. A strategy of player i in resource buying games is a tuple consisting of one of i's desired configurations S_i together with a payment vector p_i in R^E_+ indicating how much i is willing to contribute towards the purchase of the chosen resources. In this paper, we study the existence and computational complexity of pure Nash equilibria (PNE, for short) of resource buying games. In contrast to classical congestion games for which equilibria are guaranteed to exist, the existence of equilibria in resource buying games strongly depends on the underlying structure of the S_i's and the behavior of the cost functions. We show that for marginally non-increasing cost functions, matroids are exactly the right structure to consider, and that resource buying games with marginally non-decreasing cost functions always admit a PNE

Rational Verification in Iterated Electric Boolean Games

Electric boolean games are compact representations of games where the players have qualitative objectives described by LTL formulae and have limited resources. We study the complexity of several decision problems related to the analysis of rationality in electric boolean games with LTL objectives. In particular, we report that the problem of deciding whether a profile is a Nash equilibrium in an iterated electric boolean game is no harder than in iterated boolean games without resource bounds. We show that it is a PSPACE-complete problem. As a corollary, we obtain that both rational elimination and rational construction of Nash equilibria by a supervising authority are PSPACE-complete problems.Comment: In Proceedings SR 2016, arXiv:1607.0269

Matroids are Immune to Braess Paradox

The famous Braess paradox describes the following phenomenon: It might happen that the improvement of resources, like building a new street within a congested network, may in fact lead to larger costs for the players in an equilibrium. In this paper we consider general nonatomic congestion games and give a characterization of the maximal combinatorial property of strategy spaces for which Braess paradox does not occur. In a nutshell, bases of matroids are exactly this maximal structure. We prove our characterization by two novel sensitivity results for convex separable optimization problems over polymatroid base polyhedra which may be of independent interest.Comment: 21 page

Iowa Lottery Performance Report, FY2007

Agency Performance Repor

The effect of (non-)competing brokers on the quality and price of differentiated internet services

Price war, as an important factor in undercutting competitors and attracting customers, has spurred considerable work that analyzes such conflict situation. However, in most of these studies, quality of service (QoS), as an important decision-making criterion, has been neglected. Furthermore, with the rise of service-oriented architectures, where players may offer different levels of QoS for different prices, more studies are needed to examine the interaction among players within the service hierarchy. In this paper, we present a new approach to modeling price competition in (virtualized) service-oriented architectures, where there are multiple service levels. In our model, brokers, as intermediaries between end-users and service providers, offer different QoS by adapting the service that they obtain from lower-level providers so as to match the demands of their clients to the services of providers. To maximize profit, players, i.e. providers and brokers, at each level compete in a Bertrand game while they offer different QoS. To maintain an oligopoly market, we then describe underlying dynamics which lead to a Bertrand game with price constraints at the providers’ level. We also study cooperation among a subset of brokers. Numerical simulations demonstrate the behavior of brokers and providers and the effect of price competition on their market shares.Accepted manuscrip

Digital play and the actualisation of the consumer imagination

In this article, the authors consider emerging consumer practices in digital virtual spaces. Building on constructions of consumer behavior as both a sense-making activity and a resource for the construction of daydreams, as well as anthropological readings of performance, the authors speculate that many performances during digital play are products of consumer fantasy. The authors develop an interpretation of the relationship between the real and the virtual that is better equipped to understand the movement between consumer daydreams and those practices actualized in the material and now also in digital virtual reality. The authors argue that digital virtual performances present opportunities for liminoid transformations through inversions, speculations, and playfulness acted out in aesthetic dramas. To illustrate, the authors consider specific examples of the theatrical productions available to consumers in digital spaces, highlighting the consumer imagination that feeds them, the performances they produce, and the potential for transformation in consumer-players