Why perfect secrecy can be ensured when a plain message and a cipher-text based on one-time pad are correlated? First, some well-known results are as follows.
For random variables $X$ and $Y$, we have
$$H(X,Y) \leq H(X) + H(Y).$$ The equality is achieved when $X$ and $Y$ are independent.

Second, in one-time pad, random variables $M$, $K$ and $C$ are used to denote a plain text, a private key and the codeword generated by $M \bigoplus K$ (modulo-2 operation), respectively. Note that $K$ is independent of $M$. We assume an eavesdropper also received the transmitted codeword $C$ through a public channel, but he does not know the key $K$.

Then my questions are as follows?

1) Are $M$ and $C$ correlated?
(The answer is "Yes" to me due to the post https://math.stackexchange.com/questions/1218305/if-x-and-y-are-correlated-random-varibales-and-z-is-independent-of-x-and-y-then )

2) If they are correlated, $H(M|C) &lt; H(M)$ should be true according to the statements in the beginning. However, in one-time pad, perfect secrecy can be achieved, which means $H(M|C) = H(M)$ when $H(M) \leq H(K)$. Can anyone help me out of this confusion?

Thank you very much in advance.
Are M and C correlated?


No.

The distribution that the values the M and C may take on are independent of each other.  The condition probability distribution that M has is unchanged no matter what the observed C value is.

This is true whether you are using the statistical meaning of correlation, or whether you are looking more specifically at linear correlations.

Here's why the answer to the math stack exchange is "they might be correlated", while the corresponding answer here is "they aren't"; consider in the math stack exchange case that $X$ and $Z$ are independent variables that can take the values 0 and 1 with probability 0.5 each, and that $X=Y$, and that the addition is integer addition.  In this case, if $Y$ is 0, $X+Z$ can take on the values 0 and 1, while if $Y$ is 1, $X+Z$ can take on the values 1 and 2; hence the probability distribution of $Y$ and $X+Z$ are not independent.

This corner case can't happen with one time pad.