Notation:
We follow standard notations. In particular, we denote by \(o(1)\)  any function that tends to 0 as \(n\rightarrow \infty \) . Also, we denote by \(\mathcal {T}^{(n)}_{\mu }(P_{XY})\)  the strongly typical set defined in [1]}, and we abbreviate \(\mathcal {T}^{(n)}_{n^{-1/3}}(P_{XY})\)  simply by \(\mathcal {T}^{(n)}(P_{XY})\) . We further abbreviate probability mass function by pmf. When the pmf is not clear from the context, we write \(H_P(\cdot )\)  and \(I_P(\cdot ;\cdot )\)  to indicate that entropy and mutual information are meant with respect to \(P_{XY}\) .
