Let $X_1,B_1,X_2,B_2$ and $Y_1,A_1,Y_2,A_2$ and $C_1$ and $C_2$ be binary random variables.


$I(X_2:B_2|C_2=0)+I(Y_2:A_2|C_2=1) \leq 1$.

This can be thought of as a bound on the capacity of a quantum channel called 2 (for example, you either perfectly correlate input $B_2$ with output $X_2$ (measurement result), or input $A_2$ with output $Y_2$, depending on the value of a bit $C_2$).

Do we have:

$I(X_1:B_1|C_1=0) \geq I(X_1\oplus X_2:B_1\oplus B_2|C_1=0, C_2=0)+ I(X_1\oplus Y_2:B_1\oplus A_2|C_1=0, C_2=1)$


$I$ is the mutual information and $\oplus$ the sum modulo 2.

If this inequality is true, how would you show it?


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.