CS687 2024-25 II
1. Overview
The initial part of the course will focus on randomness of finite strings.
The initial lectures [8 lectures] will cover some of the basic techniques from set theory and computability theory needed for the course.
The course covers the motivations and basics of algorithmic information theory, namely, the notions of
- Plain Kolmogorov Complexity [3 lectures]
- Self-delimiting Kolmogorov Complexity [7 lectures]
Further, we will show that incompressible objects contain many properties which we expect from random objects. [4 lectures]
We will introduce some basic inequalities from classical information theory. [3 lectures]
The second half of the course will focus on the randomness of infinite objects. We will introduce the notion of Martin-Lof randomness using constructive measure [5 lectures] and cover the important properties of symmetry of relative randomness, i.e. van Lambalgen Theorem [5 lectures] and the Kucera-Gacs theorem [5 lectures].
2. Grading Policy
- Homeworks - 2 (weightage 2x15 = 30 percent)
- Midsem - 30 percent
- Endsem - 40 percent.
3. Lecture Notes
- Set theoretic and Computability Theoretic Preliminaries
- Plain Kolmogorov Complexity
- Self-delimiting Kolmogorov Complexity
- Applications to probability theory
- Martin-Löf randomness and properties of ML-randoms: van Lambalgen theorem and the Kučera-Gàcs theorem
The class will a proof of van Lambalgen's Theorem. This proof is from the paper "Resource-bounded van Lambalgen's Theorems" by D. Chakravarthy, S. Nandakumar and H. Shukla, 2017, available at the publications page on my website.
- Basics of Shannon Information Theory
4. Textbooks
Lecture notes will be provided. The following textbooks may be referred.
- Li, Vitanyi. An Introduction to Kolmogorov Complexity and its Applications, 4th Edition, Springer, 2019.
- Downey, Hirschfeldt. Algorithmic Randomness and Complexity, Springer, 2010.
- Nies, Computability and Randomness, Oxford, 2009.
- Shen, Uspensky, Vereschagin, "Kolmogorov Complexity and Algorithmic Randomness", AMS, 2017.