liveBook · Manning

Kolmogorov complexity

As explained in Sutskever's List

Kolmogorov complexity is the length of the shortest program that generates a given finite object in a fixed universal programming language.

A repeating sequence can be described by a short instruction; a particular long sequence of fair coin flips usually cannot. Kolmogorov complexity captures this difference: it is the length of the shortest program that outputs a given object. It measures how compactly that particular object can be described, rather than how long the object looks. section 8.2

This is a different question from Shannon entropy, which concerns average uncertainty across outcomes from a source. Kolmogorov complexity concerns one specified outcome. In the same compression-based view, an algorithmically random sequence has no substantially shorter description than the sequence itself. Kolmogorov and Ray Solomonoff independently developed this central intuition. section 8.2

Algorithmic statistics extends the idea from describing data to explaining it. It seeks a simple model that captures structure without treating noise as structure. A useful explanation combines a concise model with data that look typical under that model; randomness deficiency describes how awkwardly the data fit. section 8.2.1

When an observation strains a model

A black swan is an awkward observation for the model “all swans are white,” giving it high randomness deficiency relative to that model. Under “swans can be black or white,” the observation is less surprising. A short explanation is not enough if it makes the observed data exceptional. section 8.2.1

How Sutskever's List covers it

How deep it goes
Explains shortest descriptions, incompressibility, and model typicality through intuitive contrasts, without a program-finding procedure.
Examples
Contrasts repeating sequences with fair coin flips and tests model fit using a black swan.
What it assumes
Introduces shortest-program descriptions in plain language and explains their contrast with Shannon entropy.
What you can do after
Evaluate/understand whether an individual sequence is compressible and whether a simple model makes observed data typical.
How it connects
Connects algorithmic randomness and Shannon entropy to algorithmic statistics, minimum description length, and randomness deficiency.

Related concepts

This explainer was generated by Manning's knowledge graph from the text of Sutskever's List. The section links point to the parts of the book it draws on.