Universal coding and prediction on ergodic random points

Bulletin of Symbolic Logic 28 (3):387-412 (2022)
  Copy   BIBTEX

Abstract

Suppose that we have a method which estimates the conditional probabilities of some unknown stochastic source and we use it to guess which of the outcomes will happen. We want to make a correct guess as often as it is possible. What estimators are good for this? In this work, we consider estimators given by a familiar notion of universal coding for stationary ergodic measures, while working in the framework of algorithmic randomness, i.e., we are particularly interested in prediction of Martin-Löf random points. We outline the general theory and exhibit some counterexamples. Completing a result of Ryabko from 2009 we also show that universal probability measure in the sense of universal coding induces a universal predictor in the prequential sense. Surprisingly, this implication holds true provided the universal measure does not ascribe too low conditional probabilities to individual symbols. As an example, we show that the Prediction by Partial Matching measure satisfies this requirement with a large reserve.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,505

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Algorithmic randomness over general spaces.Kenshi Miyabe - 2014 - Mathematical Logic Quarterly 60 (3):184-204.
Computability of the ergodic decomposition.Mathieu Hoyrup - 2013 - Annals of Pure and Applied Logic 164 (5):542-549.
On universal semiregular invariant measures.Piotr Zakrzewski - 1988 - Journal of Symbolic Logic 53 (4):1170-1176.
Universal Algorithmic Intelligence: A Mathematical Top-Down Approach.Marcus Hutter - 2006 - In Ben Goertzel & Cassio Pennachin (eds.), Artificial General Intelligence. Springer Verlag. pp. 227-290.
Which subsets of an infinite random graph look random?Will Brian - 2018 - Mathematical Logic Quarterly 64 (6):478-486.
Nonexistence of universal orders in many cardinals.Menachem Kojman & Saharon Shelah - 1992 - Journal of Symbolic Logic 57 (3):875-891.
Randomness notions and reverse mathematics.André Nies & Paul Shafer - 2020 - Journal of Symbolic Logic 85 (1):271-299.

Analytics

Added to PP
2022-05-04

Downloads
15 (#1,237,203)

6 months
6 (#869,904)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Tomasz Steifer
Polish Academy of Sciences

Citations of this work

No citations found.

Add more citations

References found in this work

Effectively closed sets of measures and randomness.Jan Reimann - 2008 - Annals of Pure and Applied Logic 156 (1):170-182.
Recognizing strong random reals.Daniel Osherson - 2008 - Review of Symbolic Logic 1 (1):56-63.

Add more references