Lecture 1. Introduction
What is information theory?
The first question that we want to address is: “What is information?” Although there are several ways in which we might think of answering this question, the main rationale behind our approach is to distinguish information from data. We think of information as something abstract that we want to convey, while we think of data as a representation of information, something that is storable/communicable. This is best understood by some examples.
Example. Information is a certain idea, while data is the words we use to describe this idea.
Example. Information is . Possible data describing this information are: , , , followed by a billion zeros.
As we are in a mathematical setting we want to rely on a quantitative approach. The main question that arises naturally is: “How can we measure information?” Making sense of this question requires us to have a model for how data is produced. Throughout this seminar we will consider the probabilistic model which we now introduce.
Definition (Probabilistic model). Data is a random variable taking values on the space (alphabet) having distribution (source distribution). We write .
To be precise, with the above we mean that there exists a probability space and a measurable space with some measurable function such that we have .
- While this set-up is very similar to what is done in statistics, the focus in information theory is different. In statistics it is assumed that the data comes from one of a family of distributions (statistical model), and the goal is to infer something about the particular distribution generating the data. On the other hand, in information theory the distribution of the data might be known or not, and the goal is to compress or communicate .
- In the probabilistic model we assume that the data is generated by a certain random source. This is a particular modeling assumption and it is not necessarily an expression of belief in how data are actually produced. This is a reasonable modeling assumption to make and it allows us to draw reasonable conclusions (for example, text data is clearly not randomly produced, but you can still do useful things by making the modeling assumption that the data was produced by a stochastic source).
- The original motivation behind the development of information theory as based on the probabilistic model came from a practical engineering problem (how to compress/communicate data), and not from the idea of how we measure information (although this aspect was also part of the motivation). The whole field of study was created by the 1948 paper of Claude Shannon.
- We are going to use the probabilistic model throughout this seminar, but other models exist as well. A popular model used in theoretical computer science is the algorithmic model (which defines the field of algorithmic information theory, as opposed to probabilistic information theory). In this model it is assumed that data is the output of some computer program (running on a Turing machine). While this approach could be thought of as a generalization of the probabilistic model (in fact, one way in which computers can work is to simulate from some probability distribution), many of the basic quantities in algorithmic information theory (like Kolmogorov complexity) are not computable. This is the reason why this field is suitable for theoretical insights, but it is not necessarily suitable for practical purposes.
How do we measure information in the probabilistic model?
In what follows we assume that the information to be conveyed coincides with the data itself (and we now assume that takes values in some countable set ), meaning that there is no universal hidden meaning that we are trying to convey apart from the data itself. For example, assume that the information we want to convey (a particular realization of it) is the text “This is the SAS”. A natural way of measuring the amount of information contained in this data is to look for other representations of this information, and to look for the smallest (in some sense that needs to be specified) representation. As we are in the probabilistic framework, we do not know in advance which data is going to be produced by the random source, so we look for a procedure that takes the random outcome and gives us on average the smallest or most compact representation of the information in that data.
Since the data is random, also the size of a particular realization (encoded data) is random. One way to take into account the randomness is to consider a representation (encoding scheme) that minimizes the expected length/size of the encoded data (and that is uniquely decodable). That is, we measure the amount of information in a given data as
If we set up things in this way, the measure of information is some functional of the source distribution , since is the only quantity governing the data. This functional is called the entropy and it is defined as follows.
Definition (Entropy). If is a discrete distribution, then the entropy of is defined as
where we write for the probability mass function of .
While it can be shown that is the minimal expected length of validly encoded data, we do not proceed this way (the ideas behind this fact are covered in the first couple of lectures of an information theory class). Instead, we will give some intuition on why is a good measure of information.
We first provide some intuition on why the information in the statement should be decreasing as a function of . In fact, recall that presently we assume to know the source distribution . If we know , how informative is a particular outcome form the source distribution? If (i.e., is a point mass at ), being informed that the random outcome is is not informative. On the other hand, if , being informed that the outcome is is extremely informative/significant (something very rare has happened).
The relevant decreasing function turns out to be the following:
In this respect, corresponds to the information that we get from the statement . So the average amount of information in the random outcome is given by
Connection between information theory and statistics
While the connection between information theory and statistics is not surprising as both fields rely on the probabilistic model, this correspondence is very strong and natural. We give some examples.
- Maximum likelihood estimators (MLE) can be seen as minimal codelength estimators. In a statistical model we assume that , with for some parameter space , and the goal is to find the parameter that generated the data. A popular estimator is the MLE since it is plausible to assume that the parameter that generated the data is the parameter whose corresponding distribution would have given maximal probability to , that is,
Note that we can rewrite the above as
which can be seen to correspond to the minimal number of bits required to represent assuming that it was generated by (codelength). Hence the connection between MLE in statistics and the minimal codelength estimator in information theory. In this setting we assume that we do not know the distribution generating the data and we try to find a good code to encode the data. The problem of finding a good code is in some sense equivalent to the problem of finding the distribution itself, since once you know the distribution you know the best code (in some sense). Also, we mention that many penalized-MLE estimators (where we take into account the complexity of the model by adding a penalty term to the MLE estimator) can be motivated from an information-theoretic point of view in terms of analogue of coding problems; this is the idea behind the “Minimum Description Length” principle.
- In Hypothesis testing, the optimal error exponents are information-theoretic quantities.
These are not just coincidental connections, but examples of basic relationships between fundamental limits of statistical inference on the one hand, and fundamental limits of communication and compression of data on the other hand.
We now turn to the main topic of this seminar, that is, the connection between information theory and probability theory.
Connection between information theory and probability theory
Since we are using a probabilistic model it is clear that probability theory is the language of information theory. However, it is not so obvious that information theory can say something fundamental about probability theory. In fact, in the past half century or so, it has been realized that information theory captures many fundamental concepts in probability theory. Before turning to one key example of such connection (the entropic central limit theorem) which will serve as motivation for the initial few lectures of the seminar, we introduce some relevant quantities.
Definition (Differential or Boltzmann-Shannon entropy). If , and (i.e., has a density with respect to the Lesbegue measure), then the differential entropy of (equivalently, differential entropy of ) is defined as
with the conventions and .
While we can think of as a measure of disorder (particularly motivated by the setting introduced by Boltzmann in physics), is not a measure of information in the same sense as is. The reason is that in the present context of “continuous” data (recall that we are in and a possible outcome of is a real number) we need infinitely many bits to encode each outcome of , so it is not meaningful to talk of the amount of information in an outcome as this is generally infinity. Nonetheless, the differential entropy represents a crucial quantity in information theory, and shows up for example both when considering communication over channels with continuous noise distributions, and when considering lossy data compression (the only kind of data compression possible with sources like , where one accepts some slight distortion of the data in order to be able to encode it with finitely many bits).
The notion that unifies the continuous entropy with the discrete entropy previously introduced is the relative entropy which we now define.
Definition (Relative entropy). If is a probability measure and is a -finite measure on , then the relative entropy between and is defined as
Typically and have respective densities and with respect to a given reference measure . Then the relative entropy reads
The following examples show how the relative entropy relates and .
- If is a countable set and is the counting measure, then
- If and is the Lesbegue measure, then
The following property of relative entropy is the most important inequality in information theory.
Lemma. Let be a probability measure on , and be a sub-probability measure on (i.e., is a nonnegative, countably additive measure with ). Then .
Proof. We only need to consider the case where . Let and . Then we have
where we have applied Jensen’s inequality (which holds as is a probability measure) using that is convex, and used that and that .
As a consequence of this result we can now show that the Gaussian distribution maximizes the entropy under constraints on the first two moments.
Lemma. Let be the class of all probability densities on (with respect to Lebesgue measure) with mean and variance and define
Then for any .
Proof. First of all note that
as is quadratic function and, consequently, only the first two moments are involved in computing its expectation. Hence, we have
We are now ready to present the first example of cross-fertilization where information-theoretic concepts can be used to capture fundamental properties in probability theory. Let us first recall the classical central limit theorem (CLT).
Theorem (CLT). If are i.i.d. real-valued random variables with mean and variance , then
for nice enough sets .
If we denote by the density of the normalized partial sum introduced in the statement of the theorem above, we note the following.
- For each we have . This follows immediately from basic properties of expected values.
- From the previous lemma it follows immediately that
So, the CLT tells us that the sequence converges to the maximizer of the entropy in . In fact, it turns out that the convergence in the central limit theorem can be studied in terms of the entropy and that the CLT is an expression of increasing entropy, as the following entropic central limit theorem describes.
Theorem (Entropic CLT). Let be i.i.d. real-valued random variables with mean and variance , and assume the distribution of has a density (with respect to Lebesgue measure). Under minimal assumptions (specifically, that for some ), we have
The entropic central limit theorem is remarkable as usually limit theorems do not come with an associated monotonicity statement. This suggests that the relative entropy is a natural tool to analyze the CLT.
Of course, a natural question that presents itself is whether other limit theorems in probability can be understood from a similar information-theoretic point of view.
Plan for future lectures
In the next lecture or two we will present a full proof of the entropic central limit theorem, and also discuss briefly how other limit theorems can be analogously understood from this information-theoretic point of view. Later, we will look at finer behavior than limit theorems, for instance we may look at how information theory can provide insights into large deviations and concentration inequalities.
Lecture by Mokshay Madiman | Scribed by Patrick Rebeschini