Algorithmic Statistics: Forty Years Later

Nikolay Vereshchagin (1) , Alexander Shen (2)

1 Department of Mathematical Logic and Theory of Algorithms
2 ESCAPE - Systèmes complexes, automates et pavages

Algorithmic statistics has two different (and almost orthogonal) motivations. From the philosophical point of view, it tries to formalize how the statistics works and why some statistical models are better than others. After this notion of a " good model " is introduced, a natural question arises: it is possible that for some piece of data there is no good model? If yes, how often these bad (non-stochastic) data appear " in real life " ? Another, more technical motivation comes from algorithmic information theory. In this theory a notion of complexity of a finite object (=amount of information in this object) is introduced; it assigns to every object some number , called its algorithmic complexity (or Kolmogorov complexity). Algorithmic statistic provides a more fine-grained classification: for each finite object some curve is defined that characterizes its behavior. It turns out that several different definitions give (approximately) the same curve. 1 In this survey we try to provide an exposition of the main results in the field (including full proofs for the most important ones), as well as some historical comments. We assume that the reader is familiar with the main notions of algorithmic information (Kolmogorov complexity) theory. An exposition can be found in [44, chapters 1, 3, 4] or [22, chapters 2, 3], see also the survey [37]. 1 Road-map: Section 2 considers the notion of (α, β)-stochasticity; Section 3 considers two-part descriptions and the so-called " minimal description length principle " ; Section 4 gives one more approach: we consider the list of objects of bounded complexity and measure how far some object is from the end of the list, getting some natural class of " standard descriptions " as a by-product; finally, Section 5 establishes a connection between these notions and resource-bounded complexity. The rest of the paper deals with an attempts to make theory close to practice by considering restricted classes of description (Section 6) and strong models (Section 7). A short survey of main results of algorithmic statistics was given in [43] (without proofs); see also the last chapter of the book [44].

Mots clés: algorithmic statistics; Kolmogorov structure function; Kolmorogov complexity; randomness deficiency

Domaines: Informatique [cs]; Logique [math.LO]

Nikolay Vereshchagin, Alexander Shen. Algorithmic Statistics: Forty Years Later. Adam Day; Michael Fellows. Computability and Complexity. Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday, 10010, Springer, pp.669 - 737, 2017, Lecture Notes in Computer Science, 978-3-319-50061-4. ⟨10.1007/978-3-319-50062-1_41⟩. ⟨hal-01480627⟩