Abstract
We consider a finite state, finite action, zero-sum stochastic games with data defining the game lying in the ordered field of real algebraic numbers. In both the discounted and the limiting average versions of these games, we prove that the value vector also lies in the same field of real algebraic numbers. Our method supplies finite construction of univariate polynomials whose roots contain these value vectors. In the case where the data of the game are rational, the method also provides a way of checking whether the entries of the value vectors are also rational.
Similar content being viewed by others
References
Bewley T, Kohlberg E (1976) The asymptotic theory of stochastic games. Math Oper Res 1:197–208
Filar JA (1981) Ordered field property for stochastic games when the player who controls transitions changes from state to state. J Optim Theory Appl 34:503–515
Frederiksen S (2015) Semi-algebraic tools for stochastic games. Ph.D. thesis, Aarhus Universitet, Aarhus, Denmark
Gillette D (1957) Stochastic games with zero stop probabilities. Contrib Theory Games 3:179–187
Hansen K, Koucky M, Lauritzen N, Miltersen P, Tsigaridas E (2011) Exact algorithms for solving stochastic games: extended abstract. In: STOC 11 proceedings of the forty-third annual ACM symposium on theory of computing, pp 205–214
Jaśkiewicz A, Nowak AS (2018) Nonzero-sum stochastic games. Springer, Berlin, pp 281–344
Jaśkiewicz A, Nowak AS (2018) Zero-sum stochastic games. Springer, Berlin, pp 215–280
Kaplansky I (1945) A contribution to von Neumann’s theory of games. Ann Math 46:474–479
Loustaunau P, Adams WW (1994) An introduction to Gröbner bases. American Mathematical Society, Providence
MacLane S, Birkhoff G (1967) Algebra. The Macmillan Company, New York
Mertens JF, Neyman A (1981) Stochastic games. Int J Game Theory 10:53–66
Mertens JF, Zamir S (1981) Incomplete information games with transcendental values. Math Oper Res 6:313–318
Milman E (2002) The semi-algebraic theory of stochastic games. Math Oper Res 27:401–418
Neyman A (2003) Real algebraic tools in stochastic games. Springer, Dordrecht, pp 57–75
Parthasarathy T, Raghavan TES (1981) An orderfield property for stochastic games when one player controls transition probabilities. J Optim Theory Appl 33:375–392
Parthasarathy T, Tijs SH, Vrieze OJ (1984) Stochastic games with state independent transitions and separable rewards. Springer, Berlin, pp 262–271
Raghavan TES, Filar JA (1991) Algorithms for stochastic games: a survey. Z Oper Res 35:437–472
Raghavan TES, Tijs SH, Vrieze OJ (1985) On stochastic games with additive reward and transition structure. J Optim Theory Appl 47:451–464
Rotman J (1998) Galois theory. Universitext. Springer, New York (Berlin. Print)
Shapley LS (1953) Stochastic games. Proc Natl Acad Sci 39:1095–1100
Shapley LS, Snow RN (1952) Basic solutions of discrete games. Princeton University Press, Princeton, pp 27–36
Sobel MJ (1981) Myopic solutions of markov decision processes and stochastic games. Oper Res 29:995–1009
Szczechla WW, Connell SA, Filar JA, Vrieze OJ (1997) On the Puiseux series expansion of the limit discount equation of stochastic games. SIAM J Control Optim 35:860–875
Tarski A (1951) A decision method for elementary algebra and geometry. University of California Press, Berkeley
von Neumann J (1928) Zur theorie der gesellschaftsspiele. Math Ann 100:295–320
Weyl H (1952) Elementary proof of a minimax theorem due to Von Neumann. Princeton University Press, Princeton, pp 19–26
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This research was supported by the Australian Research Council Discovery Grant DP150100618. The third author wishes to thank T.E.S. Raghavan for introducing him to this problem in the late 1970s. We are indebted to two anonymous referees, the associate editor and the editor-in-chief, for their helpful critique that helped us streamline the presentation.
Rights and permissions
About this article
Cite this article
Avrachenkov, K., Ejov, V., Filar, J.A. et al. Zero-Sum Stochastic Games over the Field of Real Algebraic Numbers. Dyn Games Appl 9, 1026–1041 (2019). https://doi.org/10.1007/s13235-018-00293-w
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13235-018-00293-w
Keywords
- Stochastic games
- Ordered field property
- Algebraic numbers
- Algebraic variety
- Gröbner basis polynomial equations