4
$\begingroup$

The question: Consider transmitting the results of $1000$ flips of an unfair coin where the probability of heads is given by $p_H$. The information contained in an unfair coin flip can be computed:

$p_H\log_{2}(1/p_H)+(1−p_H)\log_{2}(1/(1−p_H))$

For $pH=0.999$, this entropy evaluates to $.0114.$ Can you think of a way to encode $1000$ unfair coin flips using, on average, just $11.4$ bits? (question from https://web.mit.edu/6.02/www/f2011/handouts/2.pdf)

My wrong answer: I thought that I could encode the location of the bits which turn up tails. Since there are 1000 flips, I could encode every flip using 10 bits ($2^{10}=1024$). taking the average expected length to encode each flip and then multiplying by $1000$ for all the flips gives:

$1000[(0.999)(0)+(0.001)(10)]\\ 1000(0.001)(10)\\ 10$

But I know that any encoding which averages a smaller length in bits than the entropy must have some ambiguity in the message, so since $10<11.4$, what information is my coding system missing?

$\endgroup$
9
  • 3
    $\begingroup$ How would you know how many tails had occurred? And thus how long your transmission sequence needed to be? $\endgroup$
    – hops
    Jul 14, 2020 at 4:24
  • 1
    $\begingroup$ Hello, welcome. How do you encode the flip sequence that contains two tails? $\endgroup$
    – AlexTP
    Jul 14, 2020 at 10:45
  • 2
    $\begingroup$ @AlexTP: If I interpret the OP correctly, it is $10$ bits per tail. But the expected (average) number of tails in $1000$ flips is $1$ tail, so it is $10$ bits per $1000$ flips on average. $\endgroup$
    – Matt L.
    Jul 14, 2020 at 11:52
  • $\begingroup$ In the case of more than one tail, I'd send a 20-bit sequence with the locations of both tails, and it would be read 10 bits at a time. Like @MattL. pointed out, this would average out to 10 bits per 1000 flips. $\endgroup$
    – Certusic
    Jul 14, 2020 at 14:32
  • 1
    $\begingroup$ @MattL. ok my bad thanks. @ Certusic i feel strange that you take advantage of sending nothing for the sequence of only head which occurs the most frequently. I will think about it and if i am not too dumb maybe i could come up with an answer. $\endgroup$
    – AlexTP
    Jul 14, 2020 at 14:39

3 Answers 3

2
$\begingroup$

The problem is the assumed knowledge that the receiver needs to have. In your coding scheme you assume that the receiver knows that you transmit exactly $1000$ symbols. If the receiver didn't know that, there is no way to distinguish the following two cases:

  1. $2$ tails at certain positions inside one block of $1000$ symbols
  2. $2$ tails at the same positions as for case 1. but in two different blocks

So your coding scheme is incomplete and that's why you end up with an average bit rate less than what we would expect from the entropy of the source.

Also note that your scheme, even though incomplete, will exceed the minimum possible bit rate for larger block lengths. That limit of the block length beyond which the required rate becomes larger than the minimum possible rate can be computed as the smallest integer value of $N$ satisfying

$$p\lceil\log_2(N)\rceil>-p\log_2(p)-(1-p)\log_2(1-p)\tag{1}$$

where $p$ denotes the probability of a tail.

Apart from the above, you would also need to assign a codeword to the case that there is no tail inside a given block. Of course, for this likely case it would be wise to choose a short codeword.

$\endgroup$
4
  • $\begingroup$ That's interesting, I just assumed that there is only one sequence being sent but if you have the possibility of more than one sequence (or just a perceived possibility) then that makes sense. One more question: does this mean that the entropy of a system only acts as a minimum in a situation where there's a possibility for more than one sequence? In other words, does this mean that if both parties agree, as part of the rules of the encoding scheme, that there will only ever be one sequence sent, that it's possible to have an expected signal length which is less than the entropy? $\endgroup$
    – Certusic
    Jul 15, 2020 at 21:46
  • 1
    $\begingroup$ @Certusic: Agreeing on a given sequence length is equivalent to giving extra information, apart from the actual code, which is just a mapping from source symbols to transmitted symbols. So in that sense, no, you can't get below the limit defined by entropy. $\endgroup$
    – Matt L.
    Jul 16, 2020 at 11:35
  • 1
    $\begingroup$ About your counter example, do other well-known lossless source coding algorithms e.g. Huffman, Shannon deal with the codeword variable-length ambiguity? $\endgroup$
    – AlexTP
    Jul 16, 2020 at 11:36
  • 2
    $\begingroup$ @AlexTP: The Huffman code is a prefix(-free) code, so no codeword equals the initial part of another longer codeword. $\endgroup$
    – Matt L.
    Jul 16, 2020 at 11:40
1
$\begingroup$

I will only answer the first part, why your encoding doesn't work.

Let $Z = X_1, ..., X_{1000} \sim \text{Bernoulli}(0.999)$.

Note that all random variables are i.i.d. Then

\begin{align*} E[-\log_2(Z)] &= E[-\log_2(P(X_1)) - \cdots - \log_2(P(X_{1000}))]\\ &= E[-\log_2(P(X_1))] + \cdots + E[-\log_2(P(X_{1000}))]\\ &= 1000E[-\log_2(P(X_1))]\\ &= 1000\left(-0.999\log_2(0.999) - 0.001\log_2(0.001)\right)\\ &\approx 11.4078 \end{align*}

This is what we should be able to achieve. Next, let's concatenate all coin flips $\{0, 1\}^{1000}$. Each position is one flip:

$C(\text{1st flip head}, \dots, \text{998 flip head, 999th flip tail}) = 0 \cdots 01$ (length: 1000)

This is a single binary number but requires a length of 1000 bit which would be a bit too long.

Your solution would be to only encode the position of tails. For example, tail = position 200 and tail = 800. Then $800 = 1100100000$, $200 = 0011001000$. We ignore heads. Let's write this more formally.

A code is a function $C : \mathcal{X} \to \Sigma^*$ where $\Sigma = \{0, 1\}$ and $\mathcal{X} = \{0, \dots, 999\}$. Then $C(800) = 1100100000$ and $C(200) = 0011001000$. Each $x \in \mathcal{X}$ appears with probability $\mathbb{P}(X = x)$.

For heads: we want a code length $0$ e.g. $C(12) = C(56) = \epsilon$. However, here the problem starts. This code is singular (not non-singular), because multiple code words map to $\epsilon$ (not injective). Often one assumes injectivity and/or $\Sigma^{+}$ (without $\epsilon$).

In Elements of Information theory, we find the following theorem:

Let $l_1^*, l_2^*, \dots, l_m^*$ be optimal codeword lengths for a source distribution $\mathbf{p}$ and a $D$-ary alphabet, and let $L^{*}$ be the associated expected length of an optimal code ($L^* = \sum p_il_i^*$). Then $$H_D(X) \leq L^* < H_D(X) + 1$$

But this theorem holds only for uniquely decodable codes / prefix codes / instanteous codes. So you need injectivity and can't ignore heads (if you want to use the theorem).

$\endgroup$
1
$\begingroup$

One possible encoding scheme is to get the instance of your random process, pick the positions of the "tails" and encode for their position.

Intuitively, for this code, the length of the code is $10$ bits times the number of tails. This will result on codes of different lengths depending on the number of occurrences of tails. As the $1000$ draws are independent, you can compute the probability for each count $N$ of tails using the binomial probability distribution : $p(N) = \binom{1000}{N} \cdot p_H^N \cdot (1-p_H)^{1000-N}$, where $p_H= 1- p_T = 1 - 0.999 = 0.001$ is the probability of "heads".

On average, you obtain a code length of $$\mathcal{C} = \sum_{N=1 \ldots 1000} 10 \cdot N \cdot p(N)$$

It follows that $$\mathcal{C} = 10 \sum_{N=0 \ldots 1000} N \cdot \frac{1000!}{N! (1000-N)!} \cdot p_H^N \cdot (1-p_H)^{1000-N} $$

that is, the mean of the binomial:

$$\mathcal{C} = 10 \cdot p_H \cdot 1000 = 10 $$

The extra information comes from the fact that you know a priori that thes probability is close to one. A similar encoding with $p_H=.5$ would result in code longer by a factor $5$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.