Shannon Entropy, Information Gain, and Picking Balls from Buckets

I’m a curriculum developer for the Machine Learning Nanodegree Program at Udacity. Given our promise to students that they’ll always be learning the most valuable and the most cutting-edge skills, it’s incumbent upon me to always be looking for ways to upgrade our content. After all, we can’t possibly teach the most modern and transformative technologies with static content that never changes! Machine Learning is an exciting and ever-changing space, and our program must mirror that if we’re to fulfill our obligation to our students. So, I spend a LOT of my time researching and studying new opportunities to bring the latest skills, trends, and technologies to our classrooms, and right now, I’m working on something really exciting for an upcoming launch.

Entropy and Information Gain are super important in many areas of machine learning, in particular, in the training of Decision Trees. My goal is to really understand the concept of entropy, and I always try to explain complicated concepts using fun games, so that’s what I do in this post. Enjoy!

In his 1948 paper “A Mathematical Theory of Communication”, Claude Shannon introduced the revolutionary notion of Information Entropy.

Claude Shannon

This blog post is a more detailed version of this video:

Entropy in Physics

Entropy, so far, had been a concept in physics. Namely, it is the (log of the) number of microstates or microscopic configurations. In colloquial terms, if the particles inside a system have many possible positions to move around, then the system has high entropy, and if they have to stay rigid, then the system has low entropy.

For example, water in its three states, solid, liquid, and gas, has different entropies. The molecules in ice have to stay in a lattice, as it is a rigid system, so ice has low entropy. The molecules in water have more positions to move around, so water in liquid state has medium entropy. The molecules inside water vapor can pretty much go anywhere they want, so water vapor has high entropy.

Water in its three states, and their respective entropies

But what does this have to do with information theory? Well, the answer for this is by studying the relationships between knowledge and probability.

Entropy and Knowledge

To introduce the notion of entropy in probability, we’ll use an example throughout this whole article. Let’s say we have 3 buckets with 4 balls each. The balls have the following colors:

  1. Bucket 1: 4 red balls
  2. Bucket 2: 3 red balls, and 1 blue ball
  3. Bucket 3: 2 red balls, and 2 blue balls
The buckets

And we’ll judge these three options by how much information we have on the color of a ball drawn at random. In this case, we have the following:

  1. In the first bucket, we’ll know for sure that the ball coming out is red.
  2. In the second bucket, we know with 75% certainty that the ball is red, and with 25% certainty that it’s blue.
  3. In the third bucket, we know with 50% certainty that the ball is red, and with the same certainty that it’s blue.

So it makes sense to say that Bucket 1 gives us the most amount of “knowledge” about what ball we’ll draw (because we know for sure it’s red), that Bucket 2 gives us some knowledge, and that Bucket 3 will give us the least amount of knowledge. Well, Entropy is in some way, the opposite of knowledge. So we’ll say that Bucket 1 has the least amount of entropy, Bucket 2 has medium entropy, and Bucket 3 has the greatest amount of entropy.

Entropy and Information are opposites

But we want a formula for entropy, so in order to find that formula, we’ll use probability.

Entropy and Probability

So now the question is, how do we cook up a formula which gives us a low number for a bucket with 4 red balls, a high number for a bucket with 2 red and 2 blue balls, and a medium number for a bucket with 3 red and 1 blue balls? Well, as a first attempt, let’s remember the definition of entropy: If molecules have many possible rearrangements, then the system has high entropy, and if they have very few rearrangements, then the system has low entropy. So a first attempt would be to count the number of rearrangements of these balls. In this case, we have 1 possible rearrangement for Bucket 1, 4 for Bucket 2, and 6 for Bucket 3, this number given by the binomial coefficient.

Number of rearrangements for the balls in each bucket

This number of arrangements won’t be part of the formula for entropy, but it gives us an idea, that if there are many arrangements, then entropy is large, and if there are very few arrangements, then entropy is low. In the next section, we’ll cook up a formula for entropy. The idea is, to consider the probability of drawing the balls in a certain way, from each bucket.

Entropy and an Interesting Game Show

So, in order to cook up a formula, we’ll consider the following game. The spoiler is the following: The probability of winning this game, will help us get the formula for entropy.

In this game, we’re given, again, the three buckets to choose. The rules go as follows:

  1. We choose one of the three buckets.
  2. We are shown the balls in the bucket, in some order. Then, the balls go back in the bucket.
  3. We then pick one ball out of the bucket, at a time, record the color, and return the ball back to the bucket.
  4. If the colors recorded make the same sequence than the sequence of balls that we were shown at the beginning, then we win 1,000,000 dollars. If not, then we lose.

This may sound complicated, but it’s actually very simple. Let’s say for example that we’ve picked Bucket 2, which has 3 red balls, and 1 blue ball. We’re shown the balls in the bucket in some order, so let’s say, they’re shown to us in that precise order, red, red, red, blue. Now, let’s try to draw the balls to get that sequence, red, red, red, blue. What’s the probability of this happening? Well…

  1. In order for the first ball to be red, the probability is 3/4, or 0.75.
  2. For the second ball to be red, the probability is again 3/4. (Remember that we put the first ball back in the bucket after looking at its color.)
  3. For the third ball to be red, the probability is again 3/4.
  4. For the fourth ball to be blue, the probability is now 1/4, or 0.25.

As these are independent events, then the probability of the 4 of them to happen, is (3/4)*(3/4)*(3/4)*(1/4) = 27/256, or 0.105. This is not very likely. In the figures below, we can see the probabilities of winning if we pick each of the three buckets.

For exposition, the following three figures show the probabilities of winning with each of the buckets. For Bucket 1, the probability is 1, for Bucket 2, the probability is 0.105, and for Bucket 3, the probability is 0.0625.

Probabillity of winning with Bucket 1 is 1
Probabillity of winning with Bucket 2 is 0.105
Probabillity of winning with Bucket 3 is 0.0625

Or, as summarized in the following table:

Ok, now we have some measure that gives us different values for the three Buckets. The probability of winning at this game, gives us:

  1. 1.0 for Bucket 1
  2. 0.105 for Bucket 2
  3. 0.0625 for Bucket 3

In order to build the entropy formula, we want the opposite, some measure that gives us a low number for Bucket 1, a medium number for Bucket 2, and a high number for Bucket 3. No problem, this is where logarithms will come to save our life.

Turning Products into Sums

The following is a very simple trick, yet used very widely, particularly in Machine Learning. See, products are never very good. Here we have a product of 4 numbers, which is not bad, but imagine if we had a million data points. How would the product of a million small probabilities (between 0 and 1) would look? It would be a ridiculously tiny number. In general we want to avoid products as much as we can. What’s better than a product? Well, a sum! And how do we turn products into sums? Exactly, using the logarithm function, since the following identity will be very helpful:

Logarithm identity

So, what do we do? Well, we have a product of four things, we take the logarithm, and that becomes the sum of four things. In the case of Bucket 2 (3 red balls, 1 blue ball), we have the following:

And taking the logarithm (in this case, we’ll take the logarithm, and multiply by -1, to make things positive), we get:

For purposes of this post, we’ll take logarithm base 2, we’ll see later why (Hint: Information theory)

Now, as a final step, we take the average, in order to normalize. And that’s it, that’s the entropy! For Bucket 2, it’s 0.811:

Entropy for Bucket 2

If we calculate the entropy for Bucket 1 (4 red balls), we get:

Entropy for Bucket 1

And for Bucket 3 (2 red balls, 2 blue balls), we get:

Entropy for Bucket 3

So we have our formula for entropy, the negative logarithm of the probability of winning at our game. Notice that this is low for Bucket 1, high for Bucket 3, and medium for Bucket 2. In summary, we have the following:

Entropies for the different buckets.

For the formula lovers out there, the general formula is as follows. If our bucket has m red balls, and n blue balls, the formula is as follows:

General formula for Entropy

Multi-class Entropy

So far we’ve been dealing with two classes, red and blue. In order to relate Entropy with Information Theory, we need to look at entropy with several classes. Let’s switch to letters, to make this more clear. We have the following three buckets, with 8 letters each. Bucket 1 has the letters AAAAAAAA, Bucket 2 has the letters AAAABBCD, and Bucket 3 has the letters AABBCCDD. While it’s straightforward to see that Bucket 1 has the least amount of entropy, the difference between Bucket 2 and Bucket 3 is not obvious. We’ll see below that Bucket 3 has the highest entropy of the three, while Bucket 2 has medium

Multi-class entropy example

The formula for entropy generalizes very easily to more classes. This is the general formula:

General formula for multi-class entropy

Where there are n classes, and p_i is the probability an object from the i-th class appearing. For our three buckets, we have the following:

In this case, since Bucket 1 has only one class (the letter A), and the probability of it appearing is 1, then the entropy is:

Entropy for Bucket 1

For Bucket 2, since we have 4 classes (the letters A, B, C, and D), and the probability of A appearing is 4/8, for B it’s 2/8, for C it’s 1/8, and for D it’s 1/8, then the entropy is:

Entropy for Bucket 2

And finally for Bucket 3, since we have 4 classes (the letters A, B, C, and D), and the probability of each appearing is 1/4, then the entropy is:

Entropy for Bucket 3

Ok, so we’ve calculated the entropy for our three buckets.

Entropy for the three buckets

But something much more interesting is happening, which is where information theory finally comes into play.

Information Theory

Here’s another way to see entropy. Let’s say we want to draw a random letter from one of the buckets. On average, how many questions do we need to ask to find out what letter it is?

First, let’s get the easy case out of the way. If the bucket is Bucket 1, we know for sure that the letter is an A. So right there, we know that for Bucket 1, we need to ask 0 questions on average, to guess what letter we got. For the sake of redundancy, let’s put it in a formula:

Average number of questions to find out the letter drawn out of Bucket 1

Now, for buckets 2 and 3, naively, one would think that 4 questions is enough to find out any letter. Namely, the following four questions would be enough:

  1. Is the letter an A?
  2. Is the letter a B?
  3. Is the letter a C?
  4. Is the letter a D?

So, first off, the fourth question is redundant, since if the answer to all the previous ones is “no”, then we know for sure that the letter is a D. So three questions is enough. Now, can we do better than that? Well, our questions don’t need to be independent. We can tailor our question 2 based on the answer to question 1, as follows:

  1. Is the letter A or B?
  2. a) If the answer to question 1 is “yes”: Is the letter A? If the answer to question 1 is “no”: Is the letter C?

And that will actually do it, because based on the two answers, we get the following:

  1. “Yes” and “Yes”: Letter is A
  2. “Yes” and “No”: Letter is B
  3. “No” and “Yes”: Letter is C
  4. “No” and “No”: Letter is D

This tree of questions can be seen in the following image:

Tree of questions

Now, for Bucket 3, each letter appears with probability 1/4, since there are 8 letters, and 2 of each. Thus, the average number of questions to find out the letter drawn out of Bucket 2 is precisely 2, as the next formula states:

Average number of questions to guess the letter drawn out of Bucket 2

Now, let’s look at Bucket 1. Of course, if we use the same question tree as we used for Bucket 2, we can see that the average number of questions is 2. But we can do a bit better. Actually, let’s use the first attempt. First asking if the letter is A, then B, then C. That’s the following tree:

Tree of questions for Bucket 2

In this case, we have the following:

  1. If the letter is A, we found out in 1 question.
  2. If the letter is B, we found out in 2 questions.
  3. If the letter is C or D, we found out in 3 questions.

Now the trick is the following. A appears much more often than C and D, so on average, we may be doing much better. How much better? Well, recall that Bucket 2 has the letters AAAABBCD, so A appears 1/2 the time, B appears 1/4 of the time, and C and D appear each 1/8 of the time. So the average number of questions is:

Average number of questions to find out a letter drawn out of Bucket 2

So, in terms of average number of questions asked to find out a letter drawn out of each of the buckets, we have the following:

Average number of questions

Well, that’s exactly the entropy! Here’s the connection between Entropy and Information Theory. If we want to find out a letter drawn out of a bucket, the average number of questions we must ask to find out (if we ask our questions in the smartest possible way), is at least the entropy of the set. This means, the entropy of the set is a lower bound on the number of questions we must ask in average to find out. In the cases we saw above, the number of questions is exactly the entropy. In general, this won’t happen, we may need to ask more questions than the entropy. But we will never be able to do it with less questions than the entropy of the set.

Of course, one huge question arises: How did we know that the way we asked the questions was the best possible? This is not obvious, and needs some thinking.

Acknowledgements

  • I would like to thank Timothy Man for his clarification and thorough explanation of the concept of entropy in physics.
  • Also, I’d like to thank Hector Plata for valuable corrections.

Suggestions? Corrections? Please e-mail me at luis.serrano@udacity.com.

And if you like what you saw, please feel free to check our Nanodegree Programs at Udacity!