Reflection of Long Game Formulas

We study game formulas the truth of which is determined by a semantical game of uncountable length. The main theme is the study of principles stating reflection of these formulas in various admissible sets. This investigation leads to two weak forms of strict-II¹₁ reflection (or ∑₁-compactness). We show that admissible sets such as H(ω₂) and L_ω2 which fail to have strict-II¹₁ reflection, may or may not, depending on set-theoretic hypotheses satisfy one or both of these weaker forms. Mathematics Subject Classification : 03C70, 03C75.     

The price of anarchy for non-atomic congestion games with symmetric cost maps and elastic demands

By showing that there is an upper bound for the price of anarchyρ(Γ) for a non-atomic congestion game Γ with only separable cost maps and fixed demands, Roughgarden and Tardos show that the cost of forgoing centralized control is mild. This letter shows that there is an upper bound for ρ(Γ) in Γ for fixed demands with symmetric cost maps. It also shows that there is a weaker bound for ρ(Γ) in Γ with elastic demands.     

Sufficient conditions for optimality of threat strategies in a differential game

The problem of defining threat strategies in nonzero-sum games is considered, and a definition of optimal threat strategies is proposed in the static case. This definition is then extended to differential games, and sufficient conditions for optimality of threat strategies are derived. These are then applied to a simple example. The definition proposed here is then compared with the definition of threat strategies given by Nash.     

The bang-bang-bang problem revisited

The solution given by Isaacs to the bang-bang-bang problem is shown to be a solution in aweak sense only. A solution in a stronger sense is demonstrated involving the notions of extended closed-loop strategies and of extended value-function. The bang-bang-bang singular surface is interpreted in a new way.The author is grateful to Professor J. V. Breakwell for his criticism and valuable remarks.     

On the reduced game property for and the axiomatization of theT-value of TU-games

Summary The τ-value is a one-point solution concept for transferable utility (TU-) games. The paper introduces a particular type of a reduced game. It is established that the τ-value possesses the reduced game property with respect to the reduced game presented. That is, there is no inconsistency in what the players of the reduced game receive-either in the original game or in the reduced game-according to the τ-value concept. In addition, the paper provides an axiomatic characterization of the τ-value in terms of the relevant reduced game property and standardness for two-person games.     

RAT selection for IoT devices in HetNets: Reinforcement learning with hybrid SMDP algorithm

Due to the increasing deployment of heterogeneous networks (HetNets), the selection of which radio access technologies (RATs) for Internet of Things (IoT) devices such as user equipments (UEs) has recently received extensive attention in mobility management research. Most of existing RAT selection methods only optimize the selection strategies from the UE side or network side, which results in heavy network congestion, poor user experience and system utility degradation. In this paper the UE side and the network side are considered comprehensively, based on the game theory (GT) model we propose a reinforcement learning with assisted network information algorithm to overcome the crucial points. The assisted information is formulated as a semi-Markov decision process (SMDP) provided for UEs to make accurate decisions, and we adopt the iteration approach to reach the optimal policy. Moreover, we investigate the impacts of different parameters on the system utility and handover performance. Numerical results validate that our proposed algorithm can mitigate unnecessary handovers and improve system throughputs.     

Transmit power and bits/channel use adaption in competitive cognitive radio networks

In this paper, we propose an optimization framework to determine the distribution of power and bits/channel use to secondary users in a competitive cognitive radio networks. The objectives of the optimization framework are to minimize total transmission power, maximize total bits/channel use and also to maintain quality of service. An upper bound on probability of bit error and lower bound on bits/channel use requirement of secondary users are considered as quality of service. The optimization problem is also constrained by total power budget across channels for a user. Simulating the framework in a centralized manner shows that more transmit power is required to allocate in a channel with higher noise power. However, allocation of bits/channel use is directly proportional to signal to interference plus noise power ratio. The proposed framework is more capable of supporting high bits/channel use requirement than existing resource allocation framework. We also develop the game theoretic user based distributed approach of the proposed framework. We see that user based distributed solution also follows centralized solution.     

Evolutionary game on a stochastic growth network

In some real complex systems the structures are difficult to map or changing over time. To explore the evolution of strategies on these complex systems, it is not realistic enough to specify their structures or topological properties in advance. In this paper, we address the evolutionary game on a stochastic growth network adopting the prisoner’s dilemma game. We introduce a growing rate q$q$ to control the ratio of network growth to strategy evolution. A large q$q$ denotes that the network grows faster than strategy evolution. Simulation results show that a fast growing rate is helpful to promote the average payoffs of both cooperators and defectors. Moreover, this parameter also significantly influences the cooperation frequency on the resulting networks. The coexisting mechanisms in this paper may provide a beneficial insight for understanding the emergence of complex topological structures and game behaviors in numerous real systems.     

Quantum Prisoner’s Dilemma game on hypergraph networks

We study the possible advantages of adopting quantum strategies in multi-player evolutionary games. We base our study on the three-player Prisoner’s Dilemma (PD) game. In order to model the simultaneous interaction between three agents we use hypergraphs and hypergraph networks. In particular, we study two types of networks: a random network and a SF-like network. The obtained results show that in the case of a three-player game on a hypergraph network, quantum strategies are not necessarily stochastically stable strategies. In some cases, the defection strategy can be as good as a quantum one.     

Kaleidoscope of life: A 24-neighbourhood outer-totalistic cellular automaton

One of the challenges of cellular automaton research is finding models with a low complexity and at the same time a rich dynamics. A measure of low complexity is the number of states in the model and the number of transition rules to switch between those states. In this paper, we propose a 2-dimensional 2-state cellular automaton that-though governed by a single simple transition rule-has a sufficiently rich dynamics to be computationally universal. According to the transition rule, a cell’s state is determined by the sum of the states of the cells at orthogonal or diagonal distances one or two from the cell (distance-2 Moore neighbourhood), but not by the previous state of the cell itself. Notwithstanding its simplicity, this model is able to generate a great variety of patterns, including several types of stable configurations, oscillators and patterns that move over cellular space (gliders). We prove the computational universality of the model by constructing a universal set of logic gates (NOT and AND) from these patterns. A key element in this proof is the shifting of phases and positions of signals such that they meet the input requirements of the logic gates. Similarities of the model with classical spin systems are also discussed.