Prequential randomness and probability

This paper studies Dawid's prequential framework from the point of view of the algorithmic theory of randomness. Our first main result is that two natural notions of randomness coincide. One notion is the prequential version of the measure-theoretic definition due to Martin-Lof, and the other is the prequential version of the game-theoretic definition due to Schnorr and Levin. This is another manifestation of the close relation between the two main paradigms of randomness. The algorithmic theory of randomness can be stripped of its algorithmic aspect and still give meaningful results; the measure-theoretic paradigm then corresponds to Kolmogorov's measure-theoretic probability and the game-theoretic paradigm corresponds to game-theoretic probability. Our second main result is that measure-theoretic probability coincides with game-theoretic probability on all analytic (in particular, Borel) sets.

[1]  Vladimir Vovk,et al.  Prequential Randomness , 2008, ALT.

[2]  R. Mises Grundlagen der Wahrscheinlichkeitsrechnung , 1919 .

[3]  Vladimir Vovk,et al.  Continuous-time trading and the emergence of volatility , 2007, 0712.1483.

[4]  Alexander Gammerman,et al.  Computational Learning and Probabilistic Reasoning , 1996 .

[5]  Vladimir Vovk,et al.  Continuous-time trading and the emergence of probability , 2009, Finance and Stochastics.

[6]  Péter Gács,et al.  Uniform test of algorithmic randomness over a general space , 2003, Theor. Comput. Sci..

[7]  G. Shafer,et al.  Probability and Finance: It's Only a Game! , 2001 .

[8]  Jean-Philippe Touffut Augustin Cournot: Modelling Economics , 2007 .

[9]  V. Vovk,et al.  On the Empirical Validity of the Bayesian Method , 1993 .

[10]  Claude Dellacherie Ensembles analytiques, capacités, mesures de Hausdorff , 1972 .

[11]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[12]  Judea Pearl,et al.  CAUSATION, ACTION, AND COUNTERFACTUALS , 2004 .

[13]  C. Schnorr Zufälligkeit und Wahrscheinlichkeit , 1971 .

[14]  G. Choquet Theory of capacities , 1954 .

[15]  Thomas M. Cover,et al.  Elements of Information Theory , 2005 .

[16]  John L. Kelly,et al.  A new interpretation of information rate , 1956, IRE Trans. Inf. Theory.

[17]  A. Kechris Classical descriptive set theory , 1987 .

[18]  Nikolai K. Vereshchagin,et al.  On-Line Probability, Complexity and Randomness , 2008, ALT.

[19]  P. Martin-Löf Notes on constructive mathematics , 1970 .

[20]  J. J. Kelly A new interpretation of information rate , 1956 .

[21]  G. Shafer From Cournot’s Principle to Market Efficiency , 2007 .

[22]  V. Vovk A logic of probability, with application to the foundations of statistics , 1993 .

[23]  A. Kolmogorov,et al.  ALGORITHMS AND RANDOMNESS , 1988 .

[24]  P. Levy Théorie de l'addition des variables aléatoires , 1955 .

[25]  A. Dawid Calibration-Based Empirical Probability , 1985 .

[26]  Péter Gács,et al.  Exact Expressions for Some Randomness Tests , 1979, Math. Log. Q..

[27]  J. Pearl Causal diagrams for empirical research , 1995 .

[28]  Vladimir Vovk,et al.  Prequential probability: game-theoretic = measure theoretic , 2009, 0905.1673.

[29]  Jan Reimann,et al.  Effectively closed sets of measures and randomness , 2008, Ann. Pure Appl. Log..

[30]  Akimichi Takemura,et al.  Lévy’s Zero–One Law in Game-Theoretic Probability , 2009, Journal of Theoretical Probability.

[31]  Laurent Bienvenu Game-theoretic approaches to randomness: unpredictability and stochasticity. (Caractérisations de l'aléatoire par les jeux: imprédictibilité et stochasticité) , 2008 .

[32]  Jean-Luc Ville Étude critique de la notion de collectif , 1939 .

[33]  A. Dawid,et al.  Prequential probability: principles and properties , 1999 .

[34]  Per Martin-Löf,et al.  The Definition of Random Sequences , 1966, Inf. Control..