Entropy Games

An entropy game is played on a finite arena by two-and-a-half players: Despot, Tribune and non-deterministic People. Whenever Despot and Tribune decide on their actions, it leaves a set L of possible behaviors of People. Despot wants the entropy (growth rate) of L to be as small as possible, while Tribune wants to make it as large as possible. The main result is that the entropy game is determined, and that the optimal strategies for Despot and Tribune are positional. The analysis is based on that of matrix multiplication games, which are novel and generalizing the theory of joint spectral radius. Complexity and decidability issues are also addressed.

[1]  A. Cicone.  A note on the Joint Spectral Radius , 2015, 1502.01506.

[2]  Szymon Torunczyk,et al.  Energy and Mean-Payoff Games with Imperfect Information , 2010, CSL.

[3]  Vladimir Protasov,et al.  Spectral simplex method , 2016, Math. Program..

[4]  Yurii Nesterov,et al.  Optimizing the Spectral Radius , 2013, SIAM J. Matrix Anal. Appl..

[5]  Klaus Weihrauch,et al.  Computable Analysis: An Introduction , 2014, Texts in Theoretical Computer Science. An EATCS Series.

[6]  L. Gurvits.  Stability of discrete linear inclusion , 1995 .

[7]  A. Ehrenfeucht,et al.  Positional strategies for mean payoff games , 1979 .

[8]  E. Rowland.  Theory of Games and Economic Behavior , 1946, Nature.

[9]  George A. Miller,et al.  Finite State Languages , 1958, Inf. Control..

[10]  Karin Schwab.  The Joint Spectral Radius Theory And Applications , 2016 .

[11]  J. Tsitsiklis,et al.  The boundedness of all products of a pair of matrices is undecidable , 2000 .

[12]  J. Theys.  Joint spectral radius : theory and approximations/ , 2005 .

[13]  Vincent D. Blondel,et al.  Polynomial-Time Computation of the Joint Spectral Radius for Some Sets of Nonnegative Matrices , 2009, SIAM J. Matrix Anal. Appl..

[14]  Uri Zwick,et al.  The Complexity of Mean Payoff Games on Graphs , 1996, Theor. Comput. Sci..

[15]  Yang Wang,et al.  Bounded semigroups of matrices , 1992 .

[16]  I. Daubechies,et al.  Sets of Matrices All Infinite Products of Which Converge , 1992 .

[17]  R. Jungers.  The Joint Spectral Radius: Theory and Applications , 2009 .

[18]  John N. Tsitsiklis,et al.  The Lyapunov exponent and joint spectral radius of pairs of matrices are hard—when not impossible—to compute and to approximate , 1997, Math. Control. Signals Syst..

[19]  A. Czornik.  On the generalized spectral subradius , 2005 .

[20]  Eugene Asarin,et al.  Entropy of regular timed languages , 2015, Inf. Comput..

[21]  Charles R. Johnson,et al.  Matrix analysis , 1985, Statistical Inference for Engineers and Data Scientists.

[22]  Eugene Asarin,et al.  Asymptotic behaviour in temporal logic , 2014, CSL-LICS.