Trade-offs between Error Exponents and Excess-Rate Exponents of Typical Slepian–Wolf Codes

Abstract

Typical random codes (TRCs) in a communication scenario of source coding with side information in the decoder is the main subject of this work. We study the semi-deterministic code ensemble, which is a certain variant of the ordinary random binning code ensemble. In this code ensemble, the relatively small type classes of the source are deterministically partitioned into the available bins in a one-to-one manner. As a consequence, the error probability decreases dramatically. The random binning error exponent and the error exponent of the TRCs are derived and proved to be equal to one another in a few important special cases. We show that the performance under optimal decoding can be attained also by certain universal decoders, e.g., the stochastic likelihood decoder with an empirical entropy metric. Moreover, we discuss the trade-offs between the error exponent and the excess-rate exponent for the typical random semi-deterministic code and characterize its optimal rate function. We show that for any pair of correlated information sources, both error and excess-rate probabilities exponential vanish when the blocklength tends to infinity.

1. Introduction

As is well known, the random coding error exponent is defined by

$$\begin{array}{c}\hfill {\mathsf{E}}_r\left(R\right)=\underset{n\to \infty }{lim}\left\{-\frac{1}{n}log\mathbb{E}\left[P_e\left({\mathcal{C}}_n\right)\right]\right\},\end{array}$$ (1)

where R is the coding rate, $P_e\left({\mathcal{C}}_n\right)$ is the error probability of a codebook ${\mathcal{C}}_n$, and the expectation is with respect to (w.r.t.) the randomness of ${\mathcal{C}}_n$ across the ensemble of codes. The error exponent of the typical random code (TRC) is defined as [1]

$$\begin{array}{c}\hfill {\mathsf{E}}_{trc}\left(R\right)=\underset{n\to \infty }{lim}\left\{-\frac{1}{n}\mathbb{E}\left[log{P}_e\left({\mathcal{C}}_n\right)\right]\right\}.\end{array}$$ (2)

We believe that the error exponent of the TRC is the more relevant performance metric, as it captures the most likely error exponent of a randomly selected code, as opposed to the random coding error exponent, which is dominated by the relatively poor codes of the ensemble, rather than the channel noise, at relatively low coding rates. In addition, since in random coding analysis, the code is selected at random and remains fixed, it seems reasonable to study the performance of the chosen code itself instead of directly considering the ensemble performance.

To the best of our knowledge, not much is known about TRCs. In [2], Barg and Forney considered TRCs with independently and identically distributed codewords, along with typical linear codes, for the special case of the binary symmetric channel with maximum likelihood (ML) decoding. It was also shown that at a certain range of low rates, $E_{trc}\left(R\right)$ lies between $E_r\left(R\right)$ and the expurgated exponent, $E_{ex}\left(R\right)$. In [3] Nazari et al. provided bounds on the error exponents of TRCs for both discrete memoryless channels (DMC) and multiple-access channels. In a recent article by Merhav [1], an exact single-letter expression has been derived for the error exponent of typical, random, fixed composition codes, over DMCs, and a wide class of (stochastic) decoders, collectively referred to as the generalized likelihood decoder (GLD). Later, Merhav studied error exponents of TRCs for the colored Gaussian channel [4], typical random trellis codes [5], and a Lagrange dual lower bound for the TRC exponent [6]. Large deviations around the TRC exponent were studied in [7].

While originally defined for pure channel coding [1,2,3], the notion of TRCs has natural analogues in other settings as well, such as source coding with side information in the decoder [8]. Typical random Slepian–Wolf (SW) code of a certain variant of the ordinary variable-rate random binning code ensemble is the main theme of this work. The random coding error exponent of SW coding, based on fixed-rate (FR) random binning, was first addressed by Gallager in [9], and improved later on by the expurgated bound in [10] and [11]. Variable-rate (VR) SW coding received less attention in the literature; VR codes under average rate constraint have been studied in [12] and proved to outperform FR codes in terms of error exponents. Optimum trade-offs between the error exponent and the excess-rate exponent in VR coding were analyzed in [13]. Sphere-packing upper bounds for source coding with side information in the FR and VR regimes were studied in [9] and [12], respectively. More works where exponential error bounds in source coding have been studied are [14,15,16,17,18].

It turns out that both the FR and VR ensembles suffer from an intrinsic deficiency, caused by statistical fluctuations in the sizes of the bins that are populated by the relatively small type classes of the source. This fundamental problem of the ordinary ensembles is alleviated in some variant of the ordinary VR ensemble-the semi-deterministic (SD) code ensemble, which has already been proposed and studied in its FR version in [18]. In the SD code ensemble, for source type classes which are exponentially larger than the space of the available bins, we just randomly assign each source sequence into one of the bins, as is done in ordinary random binning. Otherwise, for relatively small type classes, we deterministically order each source sequence into a different bin, which provides a one-to-one mapping. This way, all these relatively small source type classes do not contribute to the probability of error. The main results concerning the SD code are the following:

1. The random binning error exponent and the error exponent of the TRC are derived in Theorems 1 and 2, respectively, and proved in Theorem 3 to be equal to one another in a few important special cases, which include the matched likelihood decoder, the MAP decoder, and the universal minimum entropy decoder. To the best of our knowledge, this phenomenon has not been seen elsewhere before, since the TRC exponent usually improves upon the random coding exponent. As a byproduct, we are able to provide a relatively simple expression for the TRC exponent.

2. We prove in Theorem 4 that the error exponent of the TRC under MAP decoding is also attained by two universal decoders: the minimum entropy decoder and the stochastic entropy decoder, which is a GLD with an empirical conditional entropy metric. As far as we know, this result is first of its kind in source coding; in other scenarios, the random coding bound is attained also by universal decoders, but here, we find that the TRC exponent is also universally achievable. Moreover, while the likelihood decoder and the MAP decoder have similar error exponents [19], here we prove a similar result, but for two universal decoders (one stochastic and one deterministic) that share the same metric.

3. We discuss the trade-offs between the error exponent and the excess-rate exponent for a typical random SD code, similarly to [13], but with a different notion of the excess-rate event, which takes into account the available side information. In Theorem 5, we provide an expression for the optimal rate function that guarantees a required level for the error exponent of the typical random SD code. Analogously, Theorem 6 proposes an expression for the optimal rate function that guarantees a required level for the excess-rate exponent. Furthermore, we show that for any pair of correlated information sources, the typical random SD code attains both exponentially vanishing error and excess-rate probabilities.

The remaining part of the paper is organized as follows. In Section 2, we establish notation conventions. In Section 3, we formalize the model, the coding technique, the main objectives of this work, and we review some background. In Section 4, we provide the main results concerning error exponents and universal decoding in the SD ensemble, and in Section 5, we discuss the trade-offs between the error exponent and the excess-rate exponent.

2. Notation Conventions

Throughout the paper, random variables will be denoted by capital letters, realizations will be denoted by the corresponding lower case letters, and their alphabets will be denoted by calligraphic letters. Random vectors and their realizations will be denoted, respectively, by boldface capital and lower case letters. Their alphabets will be superscripted by their dimensions. Sources and channels will be subscripted by the names of the relevant random variables/vectors and their conditionings, whenever applicable, following the standard notation conventions, e.g., $Q_U$, $Q_{V|U}$, and so on. When there is no room for ambiguity, these subscripts will be omitted. For a generic joint distribution $Q_{UV}=\{Q_{UV}(u,v),u\in \mathcal{U},v\in \mathcal{V}\}$, which will often be abbreviated by Q, information measures will be denoted in the conventional manner, but with a subscript Q; that is, $H_Q\left(U\right)$ is the marginal entropy of U, $H_Q\left(U\right|V)$ is the conditional entropy of U given V, and $I_Q(U;V)=H_Q\left(U\right)-H_Q\left(U\right|V)$ is the mutual information between U and V. The Kullback–Leibler divergence between two probability distributions, $Q_{UV}$ and $P_{UV}$, is defined as

$$\begin{array}{c}\hfill D(Q_{UV}\parallel P_{UV})=\sum _{(u,v)\in \mathcal{U}\times \mathcal{V}}{Q}_{UV}(u,v)log\frac{Q_{UV}(u,v)}{P_{UV}(u,v)},\end{array}$$ (3)

where logarithms, here and throughout the sequel, are understood to be taken to the natural base. The probability of an event $\mathcal{E}$ will be denoted by $\mathbb{P}\left\{\mathcal{E}\right\}$, and the expectation operator w.r.t. a probability distribution Q will be denoted by ${\mathbb{E}}_Q[·]$, where the subscript will often be omitted. For two positive sequences, $\left\{a_n\right\}$ and $\left\{b_n\right\}$, the notation $a_n\doteq b_n$ will stand for equality in the exponential scale, that is, ${lim}_{n\to \infty }(1/n)log\left(a_n/b_n\right)=0$. Similarly, $a_n\stackrel{·}{\le }{b}_n$ means that ${lim\; sup}_{n\to \infty }(1/n)log\left(a_n/b_n\right)\le 0$, and so on. The indicator function of an event $\mathcal{A}$ will be denoted by $𝟙\left\{\mathcal{A}\right\}$. The notation ${\left[t\right]}_{+}$ will stand for $max\{0,t\}$.

The empirical distribution of a sequence $\mathit{u}\in {\mathcal{U}}^n$, which will be denoted by ${\widehat{P}}_{\mathit{u}}$, is the vector of relative frequencies, ${\widehat{P}}_{\mathit{u}}\left(u\right)$, of each symbol $u\in \mathcal{U}$ in $\mathit{u}$. The type class of $\mathit{u}\in {\mathcal{U}}^n$, denoted $\mathcal{T}\left(\mathit{u}\right)$, is the set of all vectors ${\mathit{u}}^{\prime }$ with ${\widehat{P}}_{{\mathit{u}}^{\prime }}={\widehat{P}}_{\mathit{u}}$. When we wish to emphasize the dependence of the type class on the empirical distribution $\widehat{P}$, we will denote it by $\mathcal{T}\left(\widehat{P}\right)$. The set of all types of vectors of length n over $\mathcal{U}$ will be denoted by ${\mathcal{P}}_n\left(\mathcal{U}\right)$, and the set of all possible types over $\mathcal{U}$ will be denoted by $\mathcal{P}\left(\mathcal{U}\right)={\bigcup }_{n=1}^{\infty }{\mathcal{P}}_n\left(\mathcal{U}\right)$. Information measures associated with empirical distributions will be denoted with ‘hats’ and will be subscripted by the sequences from which they are induced. For example, the entropy associated with ${\widehat{P}}_{\mathit{u}}$, which is the empirical entropy of $\mathit{u}$, will be denoted by ${\widehat{H}}_{\mathit{u}}\left(U\right)$. Similar conventions will apply to the joint empirical distribution, the joint type class, the conditional empirical distributions and the conditional type classes associated with pairs (and multiples) of sequences of length n. Accordingly, ${\widehat{P}}_{\mathit{u}\mathit{v}}$ would be the joint empirical distribution of $(\mathit{u},\mathit{v})={\left\{(u_i,v_i)\right\}}_{i=1}^n$, $\mathcal{T}\left({\widehat{P}}_{\mathit{u}\mathit{v}}\right)$ will denote the joint type class of $(\mathit{u},\mathit{v})$, $\mathcal{T}\left({\widehat{P}}_{\mathit{u}|\mathit{v}}\right|\mathit{v})$ will stand for the conditional type class of $\mathit{u}$ given $\mathit{v}$, ${\widehat{H}}_{\mathit{u}\mathit{v}}\left(U\right|V)$ will be the empirical conditional entropy, and so on. Likewise, when we wish to emphasize the dependence of empirical information measures upon a given empirical distribution Q, we denote them using the subscript Q, as described above.

3. Problem Formulation and Background

3.1. Problem Formulation

Let $(\mathit{U},\mathit{V})={\left\{(U_t,V_t)\right\}}_{t=1}^n$ be n independent copies of a pair of random variables, $(U,V)\sim P_{UV}$, taking on values in finite alphabets, $\mathcal{U}$ and $\mathcal{V}$, respectively. The vector $\mathit{U}$ will designate the source vector to be encoded and the vector $\mathit{V}$ will serve as correlated side information available to the decoder. In ordinary VR binning, the coding rate is not fixed for every $\mathit{u}\in {\mathcal{U}}^n$, but depends on its empirical distribution. Let us denote a rate function by $R(·)$, which is a given continuous function from the probability simplex of $\mathcal{U}$ to the set of nonnegative reals. In that manner, for every type $Q_U\in {\mathcal{P}}_n\left(\mathcal{U}\right)$, all source sequences in $\mathcal{T}\left(Q_U\right)$ are randomly partitioned into $e^{nR\left(Q_U\right)}$ bins. Every source sequence is encoded by its bin index, denoted by $\mathcal{B}\left(\mathit{u}\right)$, along with a header that indicates its type index, which requires only a negligible extra rate when n is large enough.

The SD code ensemble is a refinement of the ordinary VR code: for types with $H_Q\left(U\right)\ge R\left(Q_U\right)$, i.e., type classes which are exponentially larger than the space of available bins, we just randomly assign each source sequence into one out of the $e^{nR\left(Q_U\right)}$ bins. For the other types, we deterministically order each member of $\mathcal{T}\left(Q_U\right)$ into a different bin. This way, all type classes with $H_Q\left(U\right)<R\left(Q_U\right)$ do not contribute to the probability of error. The entire binning code of source sequences of blocklength n, i.e., the set ${\left\{\mathcal{B}\left(\mathit{u}\right)\right\}}_{\mathit{u}\in {\mathcal{U}}^n}$, is denoted by ${\mathcal{B}}_n$. A sequence of SW codes, ${\left\{{\mathcal{B}}_n\right\}}_{n\ge 1}$, indexed by the block length n, will be denoted by $\mathcal{B}$.

The decoder estimates $\mathit{u}$ based on the bin index $\mathcal{B}\left(\mathit{u}\right)$, the type index $\mathcal{T}\left(\mathit{u}\right)$, and the side information sequence $\mathit{v}$, which is a realization of $\mathit{V}$. The optimal (MAP) decoder estimates $\mathit{u}$ according to

$$\begin{array}{c}\hfill \widehat{\mathit{u}}=\underset{{\mathit{u}}^{\prime }\in \mathcal{B}\left(\mathit{u}\right)\cap \mathcal{T}\left(\mathit{u}\right)}{arg\; max}P({\mathit{u}}^{\prime },\mathit{v}).\end{array}$$ (4)

As in [1,20], we consider here the GLD. The GLD estimates $\mathit{u}$ stochastically, using the bin index $\mathcal{B}\left(\mathit{u}\right)$, the type index $\mathcal{T}\left(\mathit{u}\right)$, and the side information sequence $\mathit{v}$, according to the following posterior distribution

$$\begin{array}{c}\hfill \mathbb{P}\left\{\widehat{\mathit{U}}={\mathit{u}}^{\prime }|\mathit{v},\mathcal{B}\left(\mathit{u}\right),\mathcal{T}\left(\mathit{u}\right)\right\}=\frac{exp\left\{nf\left({\widehat{P}}_{{\mathit{u}}^{\prime }\mathit{v}}\right)\right\}}{{\sum }_{\tilde{\mathit{u}}\in \mathcal{B}\left(\mathit{u}\right)\cap \mathcal{T}\left(\mathit{u}\right)}exp\left\{nf\left({\widehat{P}}_{\tilde{\mathit{u}}\mathit{v}}\right)\right\}},\end{array}$$ (5)

where ${\widehat{P}}_{\mathit{u}\mathit{v}}$ is the empirical distribution of $(\mathit{u},\mathit{v})$ and $f(·)$ is a given continuous, real valued functional of this empirical distribution. The GLD provides a unified framework which covers several important special cases, e.g., matched decoding, mismatched decoding, MAP decoding, and universal decoding (similarly to the $\alpha$-decoders described in [11]). A more detailed discussion is given in [20].

The probability of error is the probability of the event $\{\widehat{\mathit{U}}\ne \mathit{U}\}$. For a given binning code ${\mathcal{B}}_n$, the probability of error is given by

$$\begin{array}{c}\hfill P_e\left({\mathcal{B}}_n\right)=\sum _{\mathit{u},\mathit{v}}P(\mathit{u},\mathit{v})·𝟙\left\{{\widehat{H}}_{\mathit{u}}\left(U\right)\ge R\left({\widehat{P}}_{\mathit{u}}\right)\right\}·\frac{{\sum }_{{\mathit{u}}^{\prime }\in \mathcal{B}\left(\mathit{u}\right)\cap \mathcal{T}\left(\mathit{u}\right),{\mathit{u}}^{\prime }\ne \mathit{u}}exp\left\{nf\left({\widehat{P}}_{{\mathit{u}}^{\prime }\mathit{v}}\right)\right\}}{{\sum }_{\tilde{\mathit{u}}\in \mathcal{B}\left(\mathit{u}\right)\cap \mathcal{T}\left(\mathit{u}\right)}exp\left\{nf\left({\widehat{P}}_{\tilde{\mathit{u}}\mathit{v}}\right)\right\}}.\end{array}$$ (6)

For a given rate function, we derive the random binning exponent of this ensemble, which is defined by

$$\begin{array}{c}\hfill {\mathsf{E}}_r\left(R(·)\right)=\underset{n\to \infty }{lim}\left\{-\frac{log\mathbb{E}\left[P_e\left({\mathcal{B}}_n\right)\right]}{n}\right\},\end{array}$$ (7)

and compare it to the TRC exponent, which is

$$\begin{array}{c}\hfill {\mathsf{E}}_{trc}\left(R(·)\right)=\underset{n\to \infty }{lim}\left\{-\frac{\mathbb{E}[log{P}_e\left({\mathcal{B}}_n\right)]}{n}\right\}.\end{array}$$ (8)

Although it is unclear that the limits in (7) and (8) exist a priori, it will be evident from the analyses in Appendix A and Appendix B, respectively.

One way to define the excess-rate probability is as $\mathbb{P}\{R\left({\widehat{P}}_{\mathit{U}}\right)\ge R\}$, where R is some target rate [13]. Due to the availability of side information in the decoder, it makes sense to require a target rate which depends on the pair $(\mathit{u},\mathit{v})$. Since the lowest possible compression rate in this setting is given by $H_P\left(U\right|V)$ [8], given $\mathit{U}=\mathit{u}$ and $\mathit{V}=\mathit{v}$, it is reasonable to adopt ${\widehat{H}}_{\mathit{u}\mathit{v}}\left(U\right|V)$ as a reference rate. Hence, an alternative definition of the excess-rate probability of a code ${\mathcal{B}}_n$, is as $p_{er}({\mathcal{B}}_n,R(·),\Delta )=\mathbb{P}\{R\left({\widehat{P}}_{\mathit{U}}\right)\ge {\widehat{H}}_{\mathit{U}\mathit{V}}\left(U\right|V)+\Delta \}$, where $\Delta >0$ is a redundancy threshold. (Note that the entire analysis remains intact if we allow a more general redundancy threshold as $\Delta =\Delta \left({\widehat{P}}_{\mathit{u}\mathit{v}}\right)$. This covers other alternatives for the excess-rate probability, e.g., $\mathbb{P}\{R\left({\widehat{P}}_{\mathit{U}}\right)\ge R\}$ or $\mathbb{P}\{R\left({\widehat{P}}_{\mathit{U}}\right)\ge \alpha {\widehat{H}}_{\mathit{U}}\left(U\right)\}$, $\alpha \in (0,1)$.) Accordingly, the excess-rate exponent function, achieved by a sequence of codes $\mathcal{B}$, is defined as

$$\begin{array}{c}\hfill {\mathsf{E}}_{er}(\mathcal{B},R(·),\Delta )=\underset{n\to \infty }{lim\; inf}-\frac{1}{n}log{p}_{er}({\mathcal{B}}_n,R(·),\Delta ).\end{array}$$ (9)

The main mission is to characterize the optimal trade-off between the error exponent and the excess-rate exponent for the typical random SD code, and the optimal rate function that attains a prescribed value for the error exponent of the typical random SD code.

3.2. Background

In pure channel coding, Merhav [1] has derived a single-letter expression for the error exponent of the typical random fixed composition code:

$$\begin{array}{c}\hfill {\mathsf{E}}_{trc}(R,Q_X)=\underset{n\to \infty }{lim}\left\{-\frac{1}{n}\mathbb{E}\left[log{P}_e\left({\mathcal{C}}_n\right)\right]\right\}.\end{array}$$ (10)

In order to present the main result of [1], we define first a few quantities. Consider a DMC, $W=\left\{W\right(y\left|x\right),x\in \mathcal{X},y\in \mathcal{Y}\}$, where $\mathcal{X}$ and $\mathcal{Y}$ are the finite input/output alphabets. Define

$$\begin{array}{c}\hfill \alpha (R,Q_Y)=\underset{\{Q_{\tilde{X}|Y}:I_Q(\tilde{X};Y)\le R,Q_{\tilde{X}}=Q_X\}}{max}\{g\left(Q_{\tilde{X}Y}\right)-I_Q(\tilde{X};Y)\}+R,\end{array}$$ (11)

where the function $g(·)$, which is the decoding metric, is a continuous function that maps joint probability distributions over $\mathcal{X}\times \mathcal{Y}$ to real numbers. Additionally define

$$\begin{array}{cc}\hfill \Gamma (Q_{X{X}^{\prime }},R)& =\underset{Q_{Y|X{X}^{\prime }}}{min}\left\{D\right(Q_{Y|X}\parallel W|Q_X)+I_Q(X^{\prime };Y|X)\hfill \\ \hfill & +{[max\{g\left(Q_{XY}\right),\alpha (R,Q_Y)\}-g\left(Q_{X^{\prime }Y}\right)]}_{+}\},\hfill \end{array}$$ (12)

where $D(Q_{Y|X}\parallel W|Q_X)$ is the conditional divergence between $Q_{Y|X}$ and W, averaged by $Q_X$. A brief intuitive explanation on the term $\Gamma (Q_{X{X}^{\prime }},R)$ can be found in [7] (Section 4.1). Having defined the above quantities, the error exponent of the TRC is given by [1]

$$\begin{array}{c}\hfill {\mathsf{E}}_{trc}(R,Q_X)=\underset{\{Q_{X^{\prime }|X}:I_Q(X;X^{\prime })\le 2R,Q_{X^{\prime }}=Q_X\}}{min}\{\Gamma (Q_{X{X}^{\prime }},R)+I_Q(X;X^{\prime })-R\}.\end{array}$$ (13)

Returning to the SW model, several articles have been written on error exponents for the FR and the VR codes. Here, we mention only those results that are directly relevant to the current work. The random binning and expurgated bounds of the FR ensemble in the SW model are given, respectively, by [11] (Section VI, Theorem 2), [10](Appendix I, Theorem 1)

$$\begin{array}{cc}\hfill E_r^{fr}\left(R\right)& =\underset{Q_U}{min}\left\{D(Q_U\parallel P_U)+E_r(Q_U,P_{V|U},H_Q\left(U\right)-R)\right\},\hfill \end{array}$$ (14)

$$\begin{array}{cc}\hfill E_{ex}^{fr}\left(R\right)& =\underset{Q_U}{min}\left\{D(Q_U\parallel P_U)+E_{ex}(Q_U,P_{V|U},H_Q\left(U\right)-R)\right\},\hfill \end{array}$$ (15)

where $E_r(Q_U,P_{V|U},S)$ and $E_{ex}(Q_U,P_{V|U},S)$ are, respectively, the random coding and expurgated bounds associated with the channel $P_{V|U}$ w.r.t. the ensemble of fixed composition code of rate S, whose composition is $Q_U$. The exponent function $E_r(Q_U,P_{V|U},S)$ is given by

$$\begin{array}{c}\hfill E_r(Q_U,P_{V|U},S)=\underset{Q_{V|U}}{min}\left\{D\right(Q_{V|U}\parallel P_{V|U}|Q_U)+{[I_Q(U;V)-S]}_{+}\},\end{array}$$ (16)

and $E_{ex}(Q_U,P_{V|U},S)$ is given by

$$\begin{array}{c}\hfill E_{ex}(Q_U,P_{V|U},S)=\underset{\{Q_{U^{\prime }|U}:I_Q(U;U^{\prime })\le S,Q_{U^{\prime }}=Q_U\}}{min}\{{\mathbb{E}}_{Q_{U{U}^{\prime }}}\left[d_{P_{V|U}}(U,U^{\prime })\right]+I_Q(U;U^{\prime })-S\},\end{array}$$ (17)

where

$$\begin{array}{c}\hfill d_{P_{V|U}}(u,u^{\prime })=-log\left[\sum _{v\in \mathcal{V}}\sqrt{P_{V|U}\left(v\right|u)P_{V|U}\left(v\right|u^{\prime })}\right].\end{array}$$ (18)

The exact error exponent of VR random binning is given by [13] (Equation (34)):

$$\begin{array}{c}\hfill E_r^{vr}\left(R(·)\right)=\underset{Q_{UV}}{min}\left\{D(Q_{UV}\parallel P_{UV})+{[R\left(Q_U\right)-H_Q\left(U\right|V)]}_{+}\right\}.\end{array}$$ (19)

4. Error Exponents and Universal Decoding

To present some of the results, we need a few more definitions. The minimum conditional entropy (MCE) decoder estimates $\mathit{u}$, using the bin index $\mathcal{B}\left(\mathit{u}\right)$, the type index $\mathcal{T}\left(\mathit{u}\right)$, and the side information vector $\mathit{v}$, according to

$$\begin{array}{c}\hfill \widehat{\mathit{u}}=\underset{{\mathit{u}}^{\prime }\in \mathcal{B}\left(\mathit{u}\right)\cap \mathcal{T}\left(\mathit{u}\right)}{arg\; min}{\widehat{H}}_{{\mathit{u}}^{\prime }\mathit{v}}\left(U\right|V).\end{array}$$ (20)

The stochastic conditional entropy (SCE) decoder is a special case of the GLD with the decoding metric $f\left({\widehat{P}}_{\mathit{u}\mathit{v}}\right)=-{\widehat{H}}_{\mathit{u}\mathit{v}}\left(U\right|V)$; i.e., it estimates $\mathit{u}$ according to the following posterior distribution

$$\begin{array}{c}\hfill \mathbb{P}\left\{\widehat{\mathit{U}}={\mathit{u}}^{\prime }|\mathit{v},\mathcal{B}\left(\mathit{u}\right),\mathcal{T}\left(\mathit{u}\right)\right\}=\frac{exp\{-n{\widehat{H}}_{{\mathit{u}}^{\prime }\mathit{v}}\left(U\right|V)\}}{{\sum }_{\tilde{\mathit{u}}\in \mathcal{B}\left(\mathit{u}\right)\cap \mathcal{T}\left(\mathit{u}\right)}exp\{-n{\widehat{H}}_{\tilde{\mathit{u}}\mathit{v}}\left(U\right|V)\}}.\end{array}$$ (21)

First, we present random binning error exponents, which are modifications of (19) to this ensemble. Define the expression

$$\begin{array}{c}\hfill E(Q_{UV},R(·))=\underset{Q_{U^{\prime }|V}}{min}{\left[R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)+{[f\left(Q_{UV}\right)-f\left(Q_{U^{\prime }V}\right)]}_{+}\right]}_{+}\end{array}$$ (22)

and the exponent functions:

$$\begin{array}{cc}\hfill E_{r,GLD}\left(R(·)\right)& =\underset{\{Q_{UV}:H_Q\left(U\right)\ge R\left(Q_U\right)\}}{min}\left\{D(Q_{UV}\parallel P_{UV})+E(Q_{UV},R(·))\right\},\hfill \end{array}$$ (23)

and

$$\begin{array}{c}\hfill E_{r,MAP}\left(R(·)\right)=\underset{\{Q_{UV}:H_Q\left(U\right)\ge R\left(Q_U\right)\}}{min}\left\{D(Q_{UV}\parallel P_{UV})+{[R\left(Q_U\right)-H_Q\left(U\right|V)]}_{+}\right\}.\end{array}$$ (24)

The following result is proved in Appendix A.

Theorem 1.

Let $R(·)$ be a given rate function. Then, for the SD ensemble,

1. ${\mathsf{E}}_r\left(R(·)\right)=E_{r,GLD}\left(R(·)\right)$ for the GLD;

2. ${\mathsf{E}}_r\left(R(·)\right)=E_{r,MAP}\left(R(·)\right)$ for the MAP and MCE decoders.

As a matter of fact, a special case of the second part of Theorem 1 has already been proved in [18] for the FR regime, while here, we prove a stronger result, according to which, the MCE decoder attains the same random binning error exponent as the MAP decoder, in the VR coding regime too. The first part of Theorem 1 is completely new; it proposes a single letter expression for the random binning error exponent, for a wide family of stochastic and deterministic decoders. Additionally, note that an analogous result to the first part of Theorem 1 has been proved in [20]. Comparing the expressions in (19) and (24), namely, the random binning error exponents of the ordinary VR and the SD VR ensembles, respectively, we find that they differ at relatively high coding rates, since these minimization problems share the same objective but (24) also has the constraint $H_Q\left(U\right)\ge R\left(Q_U\right)$. The origin of this constraint is the deterministic coding of the relatively small type classes.

Next, we provide a single-letter expression for the error exponent of the TRCs in this ensemble. We define

$$\begin{array}{cc}\hfill \gamma (R(·),Q_U,Q_V)& =\underset{\left\{\begin{array}{c}{Q}_{\tilde{U}|V}:Q_{\tilde{U}}=Q_U,\\ H_Q\left(\tilde{U}\right|V)\ge R\left(Q_{\tilde{U}}\right)\end{array}\right\}}{max}\{f\left(Q_{\tilde{U}V}\right)+H_Q\left(\tilde{U}\right|V)\}-R\left(Q_{\tilde{U}}\right)\hfill \end{array}$$ (25)

and

$$\begin{array}{cc}\hfill \Psi (R(·),Q_{U{U}^{\prime }V})& ={\left[max\{f\left(Q_{UV}\right),\gamma (R(·),Q_U,Q_V)\}-f\left(Q_{U^{\prime }V}\right)\right]}_{+}.\hfill \end{array}$$ (26)

Furthermore, define

$$\begin{array}{c}\hfill \Lambda (Q_{U{U}^{\prime }},R\left(Q_U\right))=\underset{Q_{V|U{U}^{\prime }}}{min}\left\{\Psi (R\left(Q_U\right),Q_{U{U}^{\prime }V})-H_Q\left(V\right|U,U^{\prime })-{\mathbb{E}}_Q[logP\left(V\right|U)]\right\},\end{array}$$ (27)

and the following exponent function:

$$\begin{array}{c}\hfill E_{trc,GLD}\left(R(·)\right)=\underset{\left\{\begin{array}{c}{Q}_{U{U}^{\prime }}:Q_{U^{\prime }}=Q_U,\\ H_Q\left(U\right)\ge R\left(Q_U\right)\end{array}\right\}}{min}\left\{\Lambda (Q_{U{U}^{\prime }},R\left(Q_U\right))-{\mathbb{E}}_Q[logP\left(U\right)]-H_Q(U,U^{\prime })+R\left(Q_U\right)\right\}.\end{array}$$ (28)

Then, the following theorem is proved in Appendix B.

Theorem 2.

Let $R(·)$ be a given rate function. Then, for the SD ensemble and the GLD,

$$\begin{array}{c}\hfill {\mathsf{E}}_{trc}\left(R(·)\right)=E_{trc,GLD}\left(R(·)\right).\end{array}$$ (29)

As explained before, an analogous result has already been proved in pure channel coding [1], and one can find a high degree of similarity between the expressions in (25)–(28) and the expressions in Section 3.2. While in channel coding, the coding rate is fixed, here, on the other hand, we allow the rate to depend on the type class of the source. In order to optimize the rate function, we constrain the problem by introducing the excess-rate exponent (9), which is the exponential rate of decay of the probability that the compression rate will be higher than some predefined level. A detailed discussion on optimal rate functions and optimal trade-offs between these two exponents can be found in Section 5.

The definition of the error exponent of the TRC as in (8) should not be taken for granted. The reason for that is the following. It turns out that the definition in (8) and the value of $-\frac{1}{n}log{P}_e\left({\mathcal{B}}_n\right)$ for the highly probable codes in the ensemble may not be the same, and they coincide if and only if the ensemble does not contain both zero error probability codes and positive error probability codes. For example, the FR ensemble in SW coding contains the one-to-one code (which obviously attains $P_e\left({\mathcal{B}}_n\right)=0$) as long as $R\ge log\left|\mathcal{U}\right|$, but it is definitely not a typical code, at least when ordinary random binning is considered. Hence, in this case, we conclude that $-\frac{1}{n}\mathbb{E}[log{P}_e\left({\mathcal{B}}_n\right)]=\infty$, while the value of $-\frac{1}{n}log{P}_e\left({\mathcal{B}}_n\right)$ for the highly probable codes is still finite. As for the SD code ensemble, the definition in (8) indeed provides the error exponent of the highly probable codes in the ensemble, which is explained by the following reasoning. For any given rate function such that $R\left(Q_U\right)<H_Q\left(U\right)$ for at least one type class, all the type classes with $R\left(Q_U\right)<H_Q\left(U\right)$ are encoded by random binning; thus, all the codes in the ensemble have a strictly positive error probability, which implies that the value of $-\frac{1}{n}log{P}_e\left({\mathcal{B}}_n\right)$ concentrates around the error exponent of the TRC, as defined in (8).

The proof of Theorem 2 follows exactly the same lines as the proof of ([1] (Theorem 1)), except for one main modification: when we introduce the type class enumerator $N\left(Q_{U{U}^{\prime }}\right)$ (see below) and sum over joint types, the summation set becomes $\{Q_{U{U}^{\prime }}:Q_{U^{\prime }}=Q_U,H_Q\left(U\right)\ge R\left(Q_U\right)\}$, where the constraint $H_Q\left(U\right)\ge R\left(Q_U\right)$ is due to the indicator function in (6). Afterwards, the analysis of the type class enumerator yields the constraint $H_Q(U,U^{\prime })\ge R\left(Q_U\right)$, which becomes redundant and thus omitted. This constraint is analogous to the constraint $I_Q(X;X^{\prime })\le 2R$ in the minimization of (13). The origin of $H_Q(U,U^{\prime })\ge R\left(Q_U\right)$ is the following. Define

$$\begin{array}{c}\hfill N\left(Q_{U{U}^{\prime }}\right)=\sum _{(\mathit{u},{\mathit{u}}^{\prime })\in \mathcal{T}\left(Q_{U{U}^{\prime }}\right)}𝟙\left\{\mathcal{B}\left({\mathit{u}}^{\prime }\right)=\mathcal{B}\left(\mathit{u}\right)\right\},\end{array}$$ (30)

which enumerate pairs of source sequences. Then, one of the main steps in the proof of Theorem 2 is deriving the high probability value of $N\left(Q_{U{U}^{\prime }}\right)$, which is 0 if $H_Q(U,U^{\prime })<R\left(Q_U\right)$ (a relatively small set of source pair and relatively large number of bins) and $e^{n[H_Q(U,U^{\prime })-R\left(Q_U\right)]}$ for $H_Q(U,U^{\prime })\ge R\left(Q_U\right)$ (a large set of source sequence pair and a small number of bins). One should note that the analysis of $N\left(Q_{U{U}^{\prime }}\right)$ is not trivial, since it is not a binomial random variable; i.e., the enumerator $N\left(Q_{U{U}^{\prime }}\right)$ is given by the sum of dependent binary random variables. For a sum N of independent binary random variables, ordinary tools from large deviation theory (e.g., the Chernoff bound) can be invoked for assessing the exponential moments $\mathbb{E}\left[N^s\right]$, $s\ge 0$, or the large deviation rate function of $\mathbb{P}\{N\ge e^{n\sigma }\}$, $\sigma \in \mathrm{I}\mathrm{R}$. For sums of dependent binary random variables, such as $N\left(Q_{U{U}^{\prime }}\right)$ in the current problem, this can no longer be done by the same techniques, and it requires more advanced tools (see, e.g., [1,4,5,6]).

It is possible to compare (23) and (28) analytically in the special cases of the matched or the mismatched likelihood decoders and the MCE decoder. In the following theorem, the choice $f\left(Q_{UV}\right)=\beta {\mathbb{E}}_Q[log\tilde{P}(U,V)]$, where $\tilde{P}(U,V)$ is a possibly different source distribution than $P(U,V)$, corresponds to a family of stochastic mismatched decoders. We have the following result, the proof of which is given in Appendix D.

Theorem 3.

Consider the SD ensemble and a given rate function $R(·)$. Then,

1. For a GLD with the decoding metric $f\left(Q\right)=\beta {\mathbb{E}}_Q[log\tilde{P}(U,V)]$, for a given $\beta >0$,

   $$\begin{array}{c}\hfill E_{trc,GLD}\left(R(·)\right)=E_{r,GLD}\left(R(·)\right).\end{array}$$ (31)
2. For the MCE decoder,

   $$\begin{array}{c}\hfill E_{trc,MCE}\left(R(·)\right)=E_{r,MCE}\left(R(·)\right).\end{array}$$ (32)

This result is quite surprising at first glance, since one expects the error exponent of the TRC to be strictly better than the random binning error exponent, as in ordinary channel coding at relatively low coding rates [1,2]. This phenomenon is due to the fact that part of the source type classes are deterministically partitioned into bins in a one-to-one fashion, and hence do not affect the probability of error (notice that the constraint $H_Q\left(U\right)\ge R\left(Q_U\right)$ appears in both the random binning and the TRC exponents, while in the latter, it makes the original constraint $H_Q(U,U^{\prime })\ge R\left(Q_U\right)$ redundant). In the cases of FR or ordinary VR binning, these relatively “thin” type classes dominated the error probability at relatively high binning rates, but now, by encoding them deterministically into the bins; other mechanisms dominate the error event, such as the channel noise (between $\mathit{U}$ and $\mathit{V}$) or the random binning of the type classes with $H_Q\left(U\right)\ge R\left(Q_U\right)$. The result of the second part of Theorem 3 is also nontrivial, since it establishes an equality between the error exponent of the TRC and the random binning error exponent, but now for a universal decoder.

Concerning universal decoding, it is already known [21] (Exercise 3.1.6), [13] that the random binning error exponents under optimal MAP decoding in both the FR and VR codes, given by (14) and (19), respectively, are also attained by the MCE decoder. Furthermore, a similar result for the SD ensemble has been proved here in Theorem 1. The natural question that arises is whether the error exponent of the TRC is also universally attainable. The following result, which is proved in Appendix E, provides a positive answer to this question.

Theorem 4.

Consider the SD ensemble and a given rate function $R(·)$. Then, the error exponents of the TRC under the MAP, the MCE, and the SCE decoders are all equal; i.e.,

$$\begin{array}{c}\hfill E_{trc,MAP}\left(R(·)\right)=E_{trc,MCE}\left(R(·)\right)=E_{trc,SCE}\left(R(·)\right).\end{array}$$ (33)

Theorem 4 asserts that the error exponent of the typical random SD code is not affected if the optimal MAP decoder is replaced by a certain universal decoder, which must not even be deterministic. While the left hand equality in (33) follows immediately from the results of Theorems 1 and 3, the right hand equality in (33) is far less trivial, since the SCE decoder is both universal and stochastic, and hence, its TRC exponent is expected to be inferior w.r.t. the TRC exponent under MAP decoding, but nevertheless, they turn out to be equal. Comparing to channel coding, it has been recently proved in [22] that the error exponent of the typical random fixed composition code (given in (13)) is the same for the ML and the maximum mutual information decoder, but on the other hand, numerical evidence shows that a GLD which is based on an empirical mutual information metric attains a strictly lower exponent.

5. Optimal Trade-off Functions

In this section, we study the optimal trade-off between the threshold $\Delta$, the error exponent of the TRC, and the excess-rate exponent. Since both exponents depend on the rate function, we wish to characterize rate functions that are optimal w.r.t. this trade-off. Since a single-letter characterization of the error exponent of the TRC has already been given in (28), we next provide a single-letter expression for the excess-rate exponent. Define the following exponent function:

$$\begin{array}{c}\hfill E_{er}(R(·),\Delta )=\underset{\{Q_{UV}:R\left(Q_U\right)\ge H_Q\left(U\right|V)+\Delta \}}{min}D(Q_{UV}\parallel P_{UV}).\end{array}$$ (34)

Then, we have the following.

Proposition 1.

Fix $\Delta >0$ and let $R(·)$ be any rate function. Then,

$$\begin{array}{c}\hfill {\mathsf{E}}_{er}(\mathcal{B},R(·),\Delta )=E_{er}(R(·),\Delta ).\end{array}$$ (35)

Proof. 

The excess-rate probability is given by:

$$\begin{array}{cc}\hfill & \mathbb{P}\{R\left({\widehat{P}}_{\mathit{U}}\right)\ge {\widehat{H}}_{\mathit{U}\mathit{V}}\left(U\right|V)+\Delta \}\hfill \end{array}$$

$$\begin{array}{cc}\hfill & =\sum _{Q_{UV}}𝟙\{R\left(Q_U\right)\ge H_Q\left(U\right|V)+\Delta \}·\mathbb{P}\{(\mathit{U},\mathit{V})\in \mathcal{T}\left(Q_{UV}\right)\}\hfill \end{array}$$ (36)

$$\begin{array}{cc}\hfill & \doteq \sum _{\{Q_{UV}:R\left(Q_U\right)\ge H_Q\left(U\right|V)+\Delta \}}exp\left\{-nD(Q_{UV}\parallel P_{UV})\right\}\hfill \end{array}$$ (37)

$$\begin{array}{cc}\hfill & \doteq exp\left\{-n·\underset{\{Q_{UV}:R\left(Q_U\right)\ge H_Q\left(U\right|V)+\Delta \}}{min}D(Q_{UV}\parallel P_{UV})\right\},\hfill \end{array}$$ (38)

which proves the desired result. □

Since Proposition 1 is proved by the method of types [21], we conclude that the excess-rate event is dominated by one specific type class $\mathcal{T}\left(Q_{UV}\right)$, whose respective rate $R\left(Q_U\right)$ has been chosen too large w.r.t. the value of $H_Q\left(U\right|V)+\Delta$. One extreme case is when the rate function is given by $H_Q\left(U\right)$, which obviously provides a one-to-one mapping, since the size of each $\mathcal{T}\left(Q_U\right)$ is upper-bounded by $e^{n{H}_Q\left(U\right)}$. In this case, the probability of error is zero, while the excess-rate probability is one, at least when $\Delta$ is not too large. In Section 5.2, we prove that the optimal rate function is indeed upper-bounded by $H_Q\left(U\right)$, but can also be strictly smaller, especially when the requirement on the error exponent is not too stringent.

One way to explore the trade-off between the error exponent of the TRC and the excess-rate exponent, which will be presented in Section 5.1, is to require the excess-rate exponent to exceed some value ${\mathsf{E}}_r>0$, then solve $E_{er}(R(·),\Delta )\ge {\mathsf{E}}_r$ for an optimal rate function $R^{*}\left(Q_U\right)$, and then to substitute this optimal rate function back into the error exponents in (24) and (28) to give expressions for the optimal trade-off function $E_e({\mathsf{E}}_r,\Delta )$. In Section 5.2, we present an alternative option to characterize this trade-off, which is to require the error exponent of the TRC to exceed some value ${\mathsf{E}}_e>0$, to solve $E_e\left(R(·)\right)\ge {\mathsf{E}}_e$ in order to extract an optimal rate function, and then to substitute it back into the excess-rate exponent in (34) to provide an expression for the optimal trade-off function $E_{er}({\mathsf{E}}_e,\Delta )$.

5.1. Constrained Excess-Rate Exponent

Relying on the exponent function in (34), the following theorem proposes a rate function, whose optimality is proved in Appendix F.

Theorem 5.

Let ${\mathsf{E}}_r>0$ be fixed. Then, the constraint $E_{er}(R(·),\Delta )\ge {\mathsf{E}}_r$ implies that

$$\begin{array}{c}\hfill R\left(Q_U\right)\le J(Q_U,{\mathsf{E}}_r,\Delta )\stackrel{▵}{=}\underset{\{Q_{V|U}:D(Q_{UV}\parallel P_{UV})\le {\mathsf{E}}_r\}}{min}\left\{H_Q\left(U\right|V)+\Delta \right\}.\end{array}$$ (39)

This means that we have a dichotomy between two kinds of source types. Each type class that is associated with an empirical distribution that is relatively close to the source distribution, i.e., when $D(Q_{UV}\parallel P_{UV})\le {\mathsf{E}}_r$ for some $Q_{V|U}$, is partitioned into $e^{nJ(Q_U,{\mathsf{E}}_r,\Delta )}$ bins, and the rest of the type classes, those that are relatively distant from $P_U$, are encoded by a one-to-one mapping. Two extreme cases should be considered here. First, when ${\mathsf{E}}_r$ is relatively small, then only the types closest to $P_U$ are encoded with a rate approximately $H_P\left(U\right|V)+\Delta$, which can be made arbitrarily close to the SW limit [8], and each a–typical source sequence is allocated with $n·{log}_2\left|\mathcal{U}\right|$ bits. This coding scheme is the one related to VR coding with an average rate constraint, like the one discussed in [12]. Second, when ${\mathsf{E}}_r$ is extremely large, then each type class is encoded to $exp\{n\Delta \}$ bins, which is equivalent to FR coding.

Following the first part of Theorem 3, let us denote the error exponent of the TRC under MAP decoding by $E_e(·)$. Upon substituting the optimal rate function of Theorem 5 back into (24) and (28) and using the fact that $E_e(·)$ is monotonically increasing, we find that the optimal trade-off function for the typical random SD code is given by

$$\begin{array}{c}\hfill E_e({\mathsf{E}}_r,\Delta )=\underset{\left\{Q_{UV}:H_Q\left(U\right)\ge J\left(Q_U\right)\right\}}{min}\left\{D(Q_{UV}\parallel P_{UV})+{[J\left(Q_U\right)-H_Q\left(U\right|V)]}_{+}\right\},\end{array}$$ (40)

or, alternatively,

$$\begin{array}{cc}\hfill E_e({\mathsf{E}}_r,\Delta )& =\underset{\left\{\begin{array}{c}{Q}_{U{U}^{\prime }}:Q_{U^{\prime }}=Q_U,\\ H_Q\left(U\right)\ge J\left(Q_U\right)\end{array}\right\}}{min}\left\{\Lambda (Q_{U{U}^{\prime }},J\left(Q_U\right))-{\mathbb{E}}_Q[logP\left(U\right)]-H_Q(U,U^{\prime })+J\left(Q_U\right)\right\},\hfill \end{array}$$ (41)

where $J\left(Q_U\right)=J(Q_U,{\mathsf{E}}_r,\Delta )$ is given in (39). The dependence of $E_e({\mathsf{E}}_r,\Delta )$ on ${\mathsf{E}}_r$ is as follows. Let $Q_{U{U}^{\prime }}^{*}(\Delta )$ and $Q_{V|U}^{*}$ be the respective minimizers of the problems which are similar to (39) and (41), except that the constraint $D(Q_{UV}\parallel P_{UV})\le {\mathsf{E}}_r$ is removed from (39). Furthermore, let $Q_U^{*}(\Delta )$ be the marginal distribution of $Q_{U{U}^{\prime }}^{*}(\Delta )$. Now, when ${\mathsf{E}}_r$ is sufficiently large, i.e., when ${\mathsf{E}}_r\ge D(Q_U^{*}(\Delta )\times Q_{V|U}^{*}\parallel P_{UV})$, $E_e({\mathsf{E}}_r,\Delta )$ reaches a plateau and is the lowest possible. It follows from the fact that the stringent requirement on the excess-rate forces the encoder to encode each type class $Q_U$ to its target rate $\Delta$, thus all of them affect the error event. Otherwise, when ${\mathsf{E}}_r<D(Q_U^{*}(\Delta )\times Q_{V|U}^{*}\parallel P_{UV})$, the constraint $D(Q_{UV}\parallel P_{UV})\le {\mathsf{E}}_r$ is active and $E_e({\mathsf{E}}_r,\Delta )$ is a monotonically nonincreasing function of ${\mathsf{E}}_r$. The reason for that is the fact that as ${\mathsf{E}}_r$ decreases, more and more type classes are encoded with $n·{log}_2\left|\mathcal{U}\right|$ bits, and hence do not contribute to the error event. When ${\mathsf{E}}_r=0$, necessarily $Q_U=P_U$, only the typical set is encoded, and $E_e(0,\Delta )$ is the highest possible. In this case, $J\left(Q_U\right)=H_P\left(U\right|V)+\Delta$ and the constraint set in (41) becomes empty when $\Delta >I_P(U;V)$, and then $E_e(0,\Delta )=\infty$.

5.2. Constrained Error Exponent

Based on (24), the following theorem proposes a rate function, whose optimality is proved in Appendix G.

Theorem 6.

Let ${\mathsf{E}}_e>0$ be fixed. Then, the constraint $E_e\left(R(·)\right)\ge {\mathsf{E}}_e$ implies that

$$\begin{array}{c}\hfill R\left(Q_U\right)\ge \Omega (Q_U,{\mathsf{E}}_e)\stackrel{▵}{=}min\left\{H_Q\left(U\right),G(Q_U,{\mathsf{E}}_e)\right\},\end{array}$$ (42)

where,

$$\begin{array}{c}\hfill G(Q_U,{\mathsf{E}}_e)=\underset{\{Q_{V|U}:D(Q_{UV}\parallel P_{UV})\le {\mathsf{E}}_e\}}{max}\{H_Q\left(U\right|V)+{\mathsf{E}}_e-D(Q_{UV}\parallel P_{UV})\}.\end{array}$$ (43)

The dependence of $G(Q_U,{\mathsf{E}}_e)$ on ${\mathsf{E}}_e$ is as follows. For any given $Q_U$, let ${\tilde{Q}}_{V|U}$ be the minimizer of $D(Q_{UV}\parallel P_{UV})$. Then, as long as ${\mathsf{E}}_e<D(Q_U\times {\tilde{Q}}_{V|U}\parallel P_{UV})$, the constraint set in (43) is empty, and $R\left(Q_U\right)$ can vanish, which practically means that in this range, the entire type class $\mathcal{T}\left(Q_U\right)$ can be totally ignored, while still achieving $P_e\approx e^{-n{\mathsf{E}}_e}$. Only for the unique type $Q_U=P_U$, $G(P_U,{\mathsf{E}}_e)>0$ for all ${\mathsf{E}}_e\ge 0$, and specifically, we find that $G(P_U,0)=H_P\left(U\right|V)$. Furthermore, let $Q_{V|U}^{*}$ be the maximizer in the unconstrained problem

$$\begin{array}{c}\hfill \underset{Q_{V|U}}{max}\left\{H_Q\left(U\right|V)-D(Q_{UV}\parallel P_{UV})\right\}.\end{array}$$ (44)

Then, as long as ${\mathsf{E}}_e\in [D(Q_U\times {\tilde{Q}}_{V|U}\parallel P_{UV}),D(Q_U\times Q_{V|U}^{*}\parallel P_{UV}))$, $G(Q_U,{\mathsf{E}}_e)$ is a monotonically nondecreasing function of ${\mathsf{E}}_e$. When ${\mathsf{E}}_e\ge D(Q_U\times Q_{V|U}^{*}\parallel P_{UV})$, the maximization in (43) reaches its unconstrained optimum, and $G(Q_U,{\mathsf{E}}_e)$ increases without bound in an affine fashion as ${\mathsf{E}}_e+H_{Q^{*}}\left(U\right|V)-D(Q_U\times Q_{V|U}^{*}\parallel P_{UV})$. As can be seen in (42), $\Omega (Q_U,{\mathsf{E}}_e)$ finally reaches a plateau at the level of $H_Q\left(U\right)$.

Upon substituting $\Omega (Q_U,{\mathsf{E}}_e)$ back into (34) and using the fact that $E_{er}(·,\Delta )$ is monotonically nonincreasing, we find that the trade-off function is given by

$$\begin{array}{c}\hfill E_{er}({\mathsf{E}}_e,\Delta )=\underset{\{Q_{UV}:\Omega (Q_U,{\mathsf{E}}_e)\ge H_Q\left(U\right|V)+\Delta \}}{min}D(Q_{UV}\parallel P_{UV}).\end{array}$$ (45)

Since $\Omega (Q_U,{\mathsf{E}}_e)$ is monotonically nondecreasing in ${\mathsf{E}}_e$ for every $Q_U$, $E_{er}({\mathsf{E}}_e,\Delta )$ is monotonically nonincreasing in ${\mathsf{E}}_e$, which is not very surprising. The dependence of $E_{er}({\mathsf{E}}_e,\Delta )$ on ${\mathsf{E}}_e$ and $\Delta$ is as follows. At ${\mathsf{E}}_e=0$, notice that $\Omega (Q_U,0)=-\infty$ for any $Q_U\ne P_U$ while $\Omega (P_U,0)=H_P\left(U\right|V)$. Thus, $E_{er}(0,\Delta )=0$ as long as $\Delta =0$, and it follows from the monotonicity that $E_{er}({\mathsf{E}}_e,0)=0$ everywhere. Otherwise, if $\Delta >0$, $\{Q_{UV}:\Omega (Q_U,{\mathsf{E}}_e)\ge H_Q\left(U\right|V)+\Delta \}$ is empty as long as ${\mathsf{E}}_e<{\mathsf{E}}_e^{*}(\Delta )$, where an expression for ${\mathsf{E}}_e^{*}(\Delta )$ can be found by solving

$$\begin{array}{c}\hfill \underset{Q_{UV}}{max}\{\Omega (Q_U,{\mathsf{E}}_e)-H_Q\left(U\right|V)\}\le \Delta ,\end{array}$$ (46)

and then $E_{er}({\mathsf{E}}_e,\Delta )=\infty$ in this range. In the other extreme case of a very large ${\mathsf{E}}_e$, $\Omega (Q_U,{\mathsf{E}}_e)$ reaches a plateau at a level of $H_Q\left(U\right)$. Then, if $\Delta \le H_P\left(U\right)-H_P\left(U\right|V)=I_P(U;V)$, $E_{er}({\mathsf{E}}_e,\Delta )$ reaches zero for a sufficiently large ${\mathsf{E}}_e$. Else, if $\Delta >I_P(U;V)$, $E_{er}({\mathsf{E}}_e,\Delta )$ reaches a strictly positive plateau, given by

$$\begin{array}{c}\hfill \underset{\{Q_{UV}:I_Q(U;V)\ge \Delta \}}{min}D(Q_{UV}\parallel P_{UV}),\end{array}$$ (47)

which is a monotonically nondecreasing function of $\Delta$. Particularly, it means that in this range, the typical random SD code attains both an exponentially vanishing excess-rate probability and $P_e\approx 0$.

It is interesting to relate this to the expurgated bound of the FR code in the SW model, which is given by (15). Comparing $E_{ex}^{fr}\left(R\right)$ and $E_e(\infty ,\Delta )$ analytically is rather difficult. Thus, we examined these two exponent functions numerically. Consider the case of a double binary source with alphabets $\mathcal{U}=\mathcal{V}=\{0,1\}$, and joint probabilities given by $P_{UV}(0,0)=0.75$, $P_{UV}(0,1)=0.1$, $P_{UV}(1,0)=0$, and $P_{UV}(1,1)=0.15$. We already mentioned before, that in the special case of ${\mathsf{E}}_r=\infty$, the rate function is given by the threshold $\Delta$, hence we choose $\Delta =R$ in order to have a fair comparison. Graphs of the functions $E_{ex}^{fr}\left(R\right)$ and $E_e(\infty ,R)$ are presented in Figure 1.

Figure 1.

Graphs of the functions $E_{ex}^{fr}\left(R\right)$ and $E_e(\infty ,R)$.

As can be seen in Figure 1, both $E_{ex}^{fr}\left(R\right)$ and $E_e(\infty ,R)$ tend to infinity as R tends to $log2\approx 0.693$. For relatively high binning rates, $E_{ex}^{fr}\left(R\right)$ is strictly higher than $E_e(\infty ,R)$, which can be explained in the following way: Referring to the analogy between SW coding and channel coding, one can think of each bin as containing a channel code. In general, a channel code behaves well if it does not contain pairs of relatively “close” codewords. Since we randomly assign the source vectors into the bins (even if the populations of the bins are totally equal, which can be attained by randomly partitioning each type class into $exp\left\{nR\right\}$ subsets), it is reasonable to assume that some bins will contain relatively bad codebooks. On the other hand, in the expurgated SW code [11], each type class $\mathcal{T}\left(Q_U\right)$ is partitioned into $exp\left\{nR\right\}$ “balanced” subsets in some sense (referring to the enumerators $N\left(Q_{U{U}^{\prime }}\right)$ in (30), they are equally populated in all of the bins), such that the codebooks contained in the bins have approximately equal error probabilities. Moreover, we conclude from (15) that each bin contains a codebook with a quality of an expurgated channel code. This code is certainly better than the TRCs in the SD ensemble.

In channel coding, it is known [23] that the random Gilbert–Varshamov ensemble has an exact random coding error exponent which is as high as the maximum between (16) and (17). In SW source coding, on the other hand, it seems to be a more challenging problem to define an ensemble, such that the error exponent of its TRCs is as high as $E_{ex}^{fr}\left(R\right)$ of (15). Since the gap between $E_{ex}^{fr}\left(R\right)$ and $E_e(\infty ,R)$ is not necessarily very significant, as can be seen in Figure 1, we conclude that the SD ensemble may be more attractive because the amount of computations needed for drawing a code from it are much lower than the amount of computations required for having an expurgated SW code. In addition, it is important to note that the probability of drawing a SD code with an exponent much lower than $E_e(\infty ,R)$ decays exponentially fast, in analogy to the result in pure channel coding [7].

Appendix A. Proof of Theorem 1

By definition, we have

$$\begin{array}{c}\hfill \mathbb{E}\left[P_e\left({\mathcal{B}}_n\right)\right]=\mathbb{E}\left[\frac{{\sum }_{{\mathit{u}}^{\prime }\in \mathcal{B}\left(\mathit{U}\right),{\mathit{u}}^{\prime }\ne \mathit{U}}exp\left\{nf\left({\widehat{P}}_{{\mathit{u}}^{\prime }\mathit{V}}\right)\right\}}{{\sum }_{\tilde{\mathit{u}}\in \mathcal{B}\left(\mathit{U}\right)}exp\left\{nf\left({\widehat{P}}_{\tilde{\mathit{u}}\mathit{V}}\right)\right\}}\right].\end{array}$$ (A1)

Step 1: Averaging Over the Random Code

We first condition on the true source sequences $(\mathit{U}=\mathit{u},\mathit{V}=\mathit{v})$ and take the expectation only w.r.t. the random binning. We get

$$\begin{array}{cc}\hfill & \mathbb{E}\left[P_e\left({\mathcal{B}}_n\right)\right|\mathit{u},\mathit{v}]\hfill \end{array}$$

$$\begin{array}{cc}\hfill & =\mathbb{E}\left[\frac{{\sum }_{{\mathit{u}}^{\prime }\in \mathcal{B}\left(\mathit{u}\right),{\mathit{u}}^{\prime }\ne \mathit{u}}exp\left\{nf\left({\widehat{P}}_{{\mathit{u}}^{\prime }\mathit{v}}\right)\right\}}{exp\{n·f\left({\widehat{P}}_{\mathit{u}\mathit{v}}\right)\}+{\sum }_{{\mathit{u}}^{\prime }\in \mathcal{B}\left(\mathit{u}\right),{\mathit{u}}^{\prime }\ne \mathit{u}}exp\left\{nf\left({\widehat{P}}_{{\mathit{u}}^{\prime }\mathit{v}}\right)\right\}}\right]\hfill \end{array}$$ (A2)

$$\begin{array}{cc}\hfill & ={\int }_0^1\mathbb{P}\left\{\frac{{\sum }_{{\mathit{u}}^{\prime }\in \mathcal{B}\left(\mathit{u}\right),{\mathit{u}}^{\prime }\ne \mathit{u}}exp\left\{nf\left({\widehat{P}}_{{\mathit{u}}^{\prime }\mathit{v}}\right)\right\}}{exp\{n·f\left({\widehat{P}}_{\mathit{u}\mathit{v}}\right)\}+{\sum }_{{\mathit{u}}^{\prime }\in \mathcal{B}\left(\mathit{u}\right),{\mathit{u}}^{\prime }\ne \mathit{u}}exp\left\{nf\left({\widehat{P}}_{{\mathit{u}}^{\prime }\mathit{v}}\right)\right\}}\ge s\right\}ds\hfill \end{array}$$ (A3)

$$\begin{array}{cc}\hfill & ={\int }_0^{\infty }n{e}^{-n\xi }·\mathbb{P}\left\{\frac{{\sum }_{{\mathit{u}}^{\prime }\in \mathcal{B}\left(\mathit{u}\right),{\mathit{u}}^{\prime }\ne \mathit{u}}exp\left\{nf\left({\widehat{P}}_{{\mathit{u}}^{\prime }\mathit{v}}\right)\right\}}{exp\{n·f\left({\widehat{P}}_{\mathit{u}\mathit{v}}\right)\}+{\sum }_{{\mathit{u}}^{\prime }\in \mathcal{B}\left(\mathit{u}\right),{\mathit{u}}^{\prime }\ne \mathit{u}}exp\left\{nf\left({\widehat{P}}_{{\mathit{u}}^{\prime }\mathit{v}}\right)\right\}}\ge e^{-n\xi }\right\}d\xi \hfill \end{array}$$ (A4)

$$\begin{array}{cc}\hfill & ={\int }_0^{\infty }n{e}^{-n\xi }·\mathbb{P}\left\{(1-e^{-n\xi })\sum _{{\mathit{u}}^{\prime }\in \mathcal{B}\left(\mathit{u}\right),{\mathit{u}}^{\prime }\ne \mathit{u}}exp\left\{nf\left({\widehat{P}}_{{\mathit{u}}^{\prime }\mathit{v}}\right)\right\}\ge e^{-n\xi }exp\left\{nf\left({\widehat{P}}_{\mathit{u}\mathit{v}}\right)\right\}\right\}d\xi \hfill \end{array}$$ (A5)

$$\begin{array}{cc}\hfill & \doteq {\int }_0^{\infty }n{e}^{-n\xi }·\mathbb{P}\left\{\sum _{{\mathit{u}}^{\prime }\in \mathcal{B}\left(\mathit{u}\right),{\mathit{u}}^{\prime }\ne \mathit{u}}exp\left\{nf\left({\widehat{P}}_{{\mathit{u}}^{\prime }\mathit{v}}\right)\right\}\ge exp\left\{n[f\left({\widehat{P}}_{\mathit{u}\mathit{v}}\right)-\xi ]\right\}\right\}d\xi ,\hfill \end{array}$$ (A6)

where (A4) follows by changing the integration variable in (A3) according to $s=e^{-n\xi }$. Define

$$\begin{array}{c}\hfill N_{\mathit{u},\mathit{v}}\left(Q_{U|V}\right)=\sum _{{\mathit{u}}^{\prime }\in \mathcal{B}\left(\mathit{u}\right),{\mathit{u}}^{\prime }\ne \mathit{u}}𝟙\{{\mathit{u}}^{\prime }\in \mathcal{T}\left(Q_{U|V}\right|\mathit{v})\},\end{array}$$ (A7)

such that the probability in (A6) is given by

$$\begin{array}{cc}\hfill & \mathbb{P}\left\{\sum _{{\mathit{u}}^{\prime }\in \mathcal{B}\left(\mathit{u}\right),{\mathit{u}}^{\prime }\ne \mathit{u}}exp\left\{nf\left({\widehat{P}}_{{\mathit{u}}^{\prime }\mathit{v}}\right)\right\}\ge exp\left\{n[f\left({\widehat{P}}_{\mathit{u}\mathit{v}}\right)-\xi ]\right\}\right\}\hfill \end{array}$$

$$\begin{array}{cc}\hfill & =\mathbb{P}\left\{\sum _{Q_{U^{\prime }|V}}{N}_{\mathit{u},\mathit{v}}\left(Q_{U^{\prime }|V}\right)exp\left\{nf\left(Q_{U^{\prime }V}\right)\right\}\ge exp\left\{n[f\left({\widehat{P}}_{\mathit{u}\mathit{v}}\right)-\xi ]\right\}\right\}\hfill \end{array}$$ (A8)

$$\begin{array}{cc}\hfill & \doteq \mathbb{P}\left\{\underset{Q_{U^{\prime }|V}}{max}{N}_{\mathit{u},\mathit{v}}\left(Q_{U^{\prime }|V}\right)exp\left\{nf\left(Q_{U^{\prime }V}\right)\right\}\ge exp\left\{n[f\left({\widehat{P}}_{\mathit{u}\mathit{v}}\right)-\xi ]\right\}\right\}\hfill \end{array}$$ (A9)

$$\begin{array}{cc}\hfill & =\mathbb{P}\bigcup _{Q_{U^{\prime }|V}}\left\{N_{\mathit{u},\mathit{v}}\left(Q_{U^{\prime }|V}\right)exp\left\{nf\left(Q_{U^{\prime }V}\right)\right\}\ge exp\left\{n[f\left({\widehat{P}}_{\mathit{u}\mathit{v}}\right)-\xi ]\right\}\right\}\hfill \end{array}$$ (A10)

$$\begin{array}{cc}\hfill & \doteq \sum _{Q_{U^{\prime }|V}}\mathbb{P}\left\{N_{\mathit{u},\mathit{v}}\left(Q_{U^{\prime }|V}\right)\ge exp\left\{n[f\left({\widehat{P}}_{\mathit{u}\mathit{v}}\right)-f\left(Q_{U^{\prime }V}\right)-\xi ]\right\}\right\},\hfill \end{array}$$ (A11)

where $Q_{U^{\prime }V}=Q_{U^{\prime }|V}\times {\widehat{P}}_{\mathit{v}}$. Let us denote $B_0=f\left({\widehat{P}}_{\mathit{u}\mathit{v}}\right)-f\left(Q_{U^{\prime }V}\right)$. Now, given $\mathit{u}$ and $\mathit{v}$, $N_{\mathit{u},\mathit{v}}\left(Q_{U^{\prime }|V}\right)$ is a binomial sum of $|\mathcal{T}\left(Q_{U^{\prime }|V}\right|\mathit{v})|\doteq e^{n{H}_Q\left(U^{\prime }\right|V)}$ trials and success rate of the exponential order of $e^{-nR\left(Q_U\right)}$. Therefore, using the techniques of [24] (Section 6.3),

$$\begin{array}{cc}\hfill & -\frac{1}{n}log\mathbb{P}\left\{N_{\mathit{u},\mathit{v}}\left(Q_{U^{\prime }|V}\right)\ge exp\left\{n[B_0-\xi ]\right\}\right\}\hfill \end{array}$$

$$\begin{array}{cc}\hfill & =\left\{\begin{array}{cc}{\left[R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)\right]}_{+}\hfill & {\left[H_Q\left(U^{\prime }\right|V)-R\left(Q_U\right)\right]}_{+}\ge B_0-\xi \hfill \\ \infty \hfill & {\left[H_Q\left(U^{\prime }\right|V)-R\left(Q_U\right)\right]}_{+}<B_0-\xi \hfill \end{array}\right.\hfill \end{array}$$ (A12)

$$\begin{array}{cc}\hfill & =\left\{\begin{array}{cc}{\left[R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)\right]}_{+}\hfill & \xi \ge B_0-{\left[H_Q\left(U^{\prime }\right|V)-R\left(Q_U\right)\right]}_{+}\hfill \\ \infty \hfill & \xi <B_0-{\left[H_Q\left(U^{\prime }\right|V)-R\left(Q_U\right)\right]}_{+}\hfill \end{array}\right.,\hfill \end{array}$$ (A13)

and so,

$$\begin{array}{cc}\hfill & {\int }_0^{\infty }{e}^{-n\xi }·\mathbb{P}\left\{N_{\mathit{u},\mathit{v}}\left(Q_{U|V}\right)\ge exp\left\{n[B_0-\xi ]\right\}\right\}d\xi \hfill \end{array}$$

$$\begin{array}{cc}\hfill & \doteq {\int }_{{\left[B_0-{[H_Q\left(U^{\prime }\right|V)-R\left(Q_U\right)]}_{+}\right]}_{+}}^{\infty }{e}^{-n\xi }·e^{-n{[R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)]}_{+}}d\xi \hfill \end{array}$$ (A14)

$$\begin{array}{cc}\hfill & \doteq exp\left\{-n\left({[R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)]}_{+}+{\left[B_0-{[H_Q\left(U^{\prime }\right|V)-R\left(Q_U\right)]}_{+}\right]}_{+}\right)\right\}\hfill \end{array}$$ (A15)

$$\begin{array}{cc}\hfill & =exp\left\{-n\left(\begin{array}{cc}R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)+{\left[B_0\right]}_{+}\hfill & R\left(Q_U\right)\ge H_Q\left(U^{\prime }\right|V)\hfill \\ {\left[R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)+B_0\right]}_{+}\hfill & R\left(Q_U\right)<H_Q\left(U^{\prime }\right|V)\hfill \end{array}\right)\right\}\hfill \end{array}$$ (A16)

$$\begin{array}{cc}\hfill & =exp\left\{-n\left(\begin{array}{cc}{\left[R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)+{\left[B_0\right]}_{+}\right]}_{+}\hfill & R\left(Q_U\right)\ge H_Q\left(U^{\prime }\right|V)\hfill \\ {\left[R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)+{\left[B_0\right]}_{+}\right]}_{+}\hfill & R\left(Q_U\right)<H_Q\left(U^{\prime }\right|V)\hfill \end{array}\right)\right\}\hfill \end{array}$$ (A17)

$$\begin{array}{cc}\hfill & =exp\left\{-n·{\left[R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)+{\left[B_0\right]}_{+}\right]}_{+}\right\}.\hfill \end{array}$$ (A18)

Finally, we have that

$$\begin{array}{cc}\hfill & \sum _{Q_{U^{\prime }|V}}{\int }_0^{\infty }{e}^{-n\xi }·\mathbb{P}\left\{N_{\mathit{u},\mathit{v}}\left(Q_{U|V}\right)\ge exp\left\{n[B_0-\xi ]\right\}\right\}d\xi \hfill \end{array}$$ (A19)

$$\begin{array}{cc}\hfill & \doteq \underset{Q_{U^{\prime }|V}}{max}exp\left\{-n·{\left[R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)+{\left[B_0\right]}_{+}\right]}_{+}\right\}\hfill \end{array}$$ (A20)

$$\begin{array}{cc}\hfill & =exp\left\{-n·\underset{Q_{U^{\prime }|V}}{min}{\left[R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)+{\left[B_0\right]}_{+}\right]}_{+}\right\},\hfill \end{array}$$ (A21)

thus,

$$\begin{array}{c}\hfill E(\mathit{u},\mathit{v})=\underset{Q_{U^{\prime }|V}}{min}{\left[R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)+{[f\left({\widehat{P}}_{\mathit{u}\mathit{v}}\right)-f\left(Q_{U^{\prime }V}\right)]}_{+}\right]}_{+}.\end{array}$$ (A22)

Step 2: Averaging Over U and V

Notice that the exponent function $E(\mathit{u},\mathit{v})$ depends on $(\mathit{u},\mathit{v})$ only via the empirical distribution ${\widehat{P}}_{\mathit{u}\mathit{v}}$. Averaging over the source and the side information sequences, now yields

$$\begin{array}{cc}\hfill \mathbb{E}\left\{P_e\left({\mathcal{B}}_n\right)\right\}& =\sum _{\mathit{u},\mathit{v}}P(\mathit{u},\mathit{v})·𝟙\left\{{\widehat{H}}_{\mathit{u}}\left(U\right)\ge R\left({\widehat{P}}_{\mathit{u}}\right)\right\}·exp\left\{-n·E\left({\widehat{P}}_{\mathit{u}\mathit{v}}\right)\right\}\hfill \end{array}$$ (A23)

$$\begin{array}{cc}\hfill & \doteq \sum _{\{Q_{UV}:H_Q\left(U\right)\ge R\left(Q_U\right)\}}{e}^{-n·D(Q_{UV}\parallel P_{UV})}·exp\left\{-n·E\left(Q_{UV}\right)\right\}\hfill \end{array}$$ (A24)

$$\begin{array}{cc}\hfill & \doteq exp\left\{-n·\underset{\{Q_{UV}:H_Q\left(U\right)\ge R\left(Q_U\right)\}}{min}\left[D(Q_{UV}\parallel P_{UV})+E\left(Q_{UV}\right)\right]\right\},\hfill \end{array}$$ (A25)

which proves the first point of Theorem 1.

Step 3: Moving from Stochastic to Deterministic Decoding

In order to transform the GLD into the general deterministic decoder of

$$\begin{array}{c}\hfill \widehat{\mathit{u}}=\underset{{\mathit{u}}^{\prime }\in \mathcal{B}\left(\mathit{u}\right)\cap \mathcal{T}\left(\mathit{u}\right)}{arg\; max}f\left({\widehat{P}}_{{\mathit{u}}^{\prime }\mathit{v}}\right),\end{array}$$ (A26)

we just have to multiply $f(·)$, in

$$\begin{array}{c}\hfill E\left(Q_{UV}\right)=\underset{Q_{U^{\prime }|V}}{min}{\left[R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)+{[f\left(Q_{UV}\right)-f\left(Q_{U^{\prime }V}\right)]}_{+}\right]}_{+},\end{array}$$ (A27)

by $\beta \ge 0$, and then let $\beta \to \infty$. We find that the overall error exponent of the SD ensemble with the general deterministic decoder of (A26) is given by

$$\begin{array}{cc}\hfill E\left(P\right)& =\underset{\{Q_{UV}:H_Q\left(U\right)\ge R\left(Q_U\right)\}}{min}\left[D(Q_{UV}\parallel P_{UV})+\tilde{E}\left(Q_{UV}\right)\right],\hfill \end{array}$$ (A28)

where,

$$\begin{array}{cc}\hfill \tilde{E}\left(Q_{UV}\right)& =\underset{\{Q_{U^{\prime }|V}:f\left(Q_{U^{\prime }V}\right)\ge f\left(Q_{UV}\right)\}}{min}{\left[R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)\right]}_{+}.\hfill \end{array}$$ (A29)

Step 4: A Fundamental Limitation on the Error Exponent

Note that the minimum in (A29) can be upper–bounded by choosing a specific distribution in the feasible set. In (A29), we take $Q_{U^{\prime }|V}=Q_{U|V}$ and then

$$\begin{array}{cc}\hfill \tilde{E}\left(Q_{UV}\right)& \le {\left[R\left(Q_U\right)-H_Q\left(U\right|V)\right]}_{+}.\hfill \end{array}$$ (A30)

Hence, the overall error exponent is upper–bounded as

$$\begin{array}{cc}\hfill E\left(P\right)& \le \underset{\{Q_{UV}:H_Q\left(U\right)\ge R\left(Q_U\right)\}}{min}\left[D(Q_{UV}\parallel P_{UV})+{\left[R\left(Q_U\right)-H_Q\left(U\right|V)\right]}_{+}\right].\hfill \end{array}$$ (A31)

Step 5: An Optimal Universal Decoder

We prove that the upper bound of (A31) is attainable by choosing the universal decoding metric $f\left(Q_{UV}\right)=-H_Q\left(U\right|V)$. Now, we get for (A29)

$$\begin{array}{cc}\hfill \tilde{E}\left(Q_{UV}\right)& =\underset{\{Q_{U^{\prime }|V}:f\left(Q_{U^{\prime }V}\right)\ge f\left(Q_{UV}\right)\}}{min}{\left[R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)\right]}_{+}\hfill \end{array}$$ (A32)

$$\begin{array}{cc}\hfill & =\underset{\{Q_{U^{\prime }|V}:H_Q\left(U\right|V)\ge H_Q\left(U^{\prime }\right|V)\}}{min}{\left[R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)\right]}_{+}\hfill \end{array}$$ (A33)

$$\begin{array}{cc}\hfill & ={\left[R\left(Q_U\right)-H_Q\left(U\right|V)\right]}_{+},\hfill \end{array}$$ (A34)

which completes the proof of Theorem 1.

Appendix B. Proof of Theorem 2

Lower Bound on the Error Exponent

Our starting point is the following inequality, for any $\rho >0$,

$$\begin{array}{c}\hfill \mathbb{E}[log{P}_e\left({\mathcal{B}}_n\right)]\le log{\left(\mathbb{E}{\left[P_e\left({\mathcal{B}}_n\right)\right]}^{1/\rho }\right)}^{\rho },\end{array}$$ (A35)

which is due to the following considerations. First, for a positive random variable X, the function

$$\begin{array}{c}\hfill f\left(\rho \right)=log{\left(\mathbb{E}\left[X^{1/\rho }\right]\right)}^{\rho }\end{array}$$ (A36)

is monotonically decreasing, and second, by L’Hospital’s rule,

$$\begin{array}{c}\hfill \underset{\rho \to \infty }{lim}log{\left(\mathbb{E}\left[X^{1/\rho }\right]\right)}^{\rho }=\mathbb{E}[logX].\end{array}$$ (A37)

Recall that the error probability is given by

$$\begin{array}{cc}\hfill P_e\left({\mathcal{B}}_n\right)& =\sum _{\mathit{u},\mathit{v}}P(\mathit{u},\mathit{v})·𝟙\left\{{\widehat{H}}_{\mathit{u}}\left(U\right)\ge R\left({\widehat{P}}_{\mathit{u}}\right)\right\}·\frac{{\sum }_{{\mathit{u}}^{\prime }\in \mathcal{B}\left(\mathit{u}\right)\cap \mathcal{T}\left(\mathit{u}\right),{\mathit{u}}^{\prime }\ne \mathit{u}}exp\left\{nf\left({\widehat{P}}_{{\mathit{u}}^{\prime }\mathit{v}}\right)\right\}}{{\sum }_{\tilde{\mathit{u}}\in \mathcal{B}\left(\mathit{u}\right)\cap \mathcal{T}\left(\mathit{u}\right)}exp\left\{nf\left({\widehat{P}}_{\tilde{\mathit{u}}\mathit{v}}\right)\right\}}.\hfill \end{array}$$ (A38)

Let

$$\begin{array}{c}\hfill Z_{\mathit{u}}\left(\mathit{v}\right)=\sum _{\tilde{\mathit{u}}\in \mathcal{B}\left(\mathit{u}\right)\cap \mathcal{T}\left(\mathit{u}\right),\tilde{\mathit{u}}\ne \mathit{u}}exp\left\{nf\left({\widehat{P}}_{\tilde{\mathit{u}}\mathit{v}}\right)\right\},\end{array}$$ (A39)

fix $ϵ>0$ arbitrarily small, and for every $\mathit{u}\in {\mathcal{U}}^n$ and $\mathit{v}\in {\mathcal{V}}^n$, define the set

$$\begin{array}{c}\hfill B_{ϵ}(\mathit{u},\mathit{v})=\left\{{\mathcal{B}}_n:Z_{\mathit{u}}\left(\mathit{v}\right)\le exp\left\{n\alpha (R+ϵ,{\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})\right\}\right\}.\end{array}$$ (A40)

Following the result of [20] (Appendix B), we prove the following modification in Appendix C.

Lemma A1.

Let $ϵ>0$ be arbitrarily small. Then, for every $\mathit{u}\in {\mathcal{U}}^n$ and $\mathit{v}\in {\mathcal{V}}^n$,

$$\mathbb{P}\left\{Z_{\mathit{u}}\left(\mathit{v}\right)\le exp\left\{n\alpha (R+ϵ,{\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})\right\}\right\}\le exp\{-e^{nϵ}+nϵ+1\}.$$ (A41)

Thus, by the union bound,

$$\begin{array}{cc}\hfill \mathbb{P}\left\{\bigcup _{\mathit{u}\in {\mathcal{U}}^n}\bigcup _{\mathit{v}\in {\mathcal{V}}^n}{B}_{ϵ}(\mathit{u},\mathit{v})\right\}\stackrel{▵}{=}\mathbb{P}\left\{B_{ϵ}\right\}& \le \sum _{\mathit{u}\in {\mathcal{U}}^n}\sum _{\mathit{v}\in {\mathcal{V}}^n}\mathbb{P}\left\{B_{ϵ}(\mathit{u},\mathit{v})\right\}\hfill \end{array}$$ (A42)

$$\begin{array}{cc}\hfill & \le \sum _{\mathit{u}\in {\mathcal{U}}^n}\sum _{\mathit{v}\in {\mathcal{V}}^n}exp\{-e^{nϵ}+nϵ+1\}\hfill \end{array}$$ (A43)

$$\begin{array}{cc}\hfill & ={|\mathcal{U}\times \mathcal{V}|}^n·exp\{-e^{nϵ}+nϵ+1\},\hfill \end{array}$$ (A44)

which still decays double–exponentially fast. Recall that $\mathcal{Q}=\{Q_{U{U}^{\prime }}:Q_U=Q_{U^{\prime }}\}$. Then, for any $\rho \ge 1$

$$\begin{array}{cc}\hfill & \mathbb{E}\left\{{\left[P_e\left({\mathcal{B}}_n\right)\right]}^{1/\rho }\right\}\hfill \end{array}$$

$$\begin{array}{cc}\hfill & =\mathbb{E}\left\{P_e{\left({\mathcal{B}}_n\right)}^{1/\rho }·𝟙\left\{B_{ϵ}^c\right\}\right\}+\mathbb{E}\left\{P_e{\left({\mathcal{B}}_n\right)}^{1/\rho }·𝟙\left\{B_{ϵ}\right\}\right\}\hfill \\ \hfill & \le \mathbb{E}\left\{{\left[\sum _{\mathit{u},\mathit{v}}P(\mathit{u},\mathit{v})𝟙\left\{{\widehat{H}}_{\mathit{u}}\left(U\right)\ge R\left({\widehat{P}}_{\mathit{u}}\right)\right\}\frac{{\sum }_{{\mathit{u}}^{\prime }\in \mathcal{B}\left(\mathit{u}\right)\cap \mathcal{T}\left(\mathit{u}\right),{\mathit{u}}^{\prime }\ne \mathit{u}}exp\left\{nf\left({\widehat{P}}_{{\mathit{u}}^{\prime }\mathit{v}}\right)\right\}}{exp\left\{nf\left({\widehat{P}}_{\mathit{u}\mathit{v}}\right)\right\}+Z_{\mathit{u}}\left(\mathit{v}\right)}\right]}^{1/\rho }𝟙\left\{B_{ϵ}^c\right\}\right\}\hfill \end{array}$$ (A45)

$$\begin{array}{cc}\hfill & +\mathbb{P}\left\{B_{ϵ}\right\}\hfill \\ \hfill & \le \mathbb{E}\left\{\left[\sum _{\mathit{u},\mathit{v}}\sum _{{\mathit{u}}^{\prime }\in \mathcal{B}\left(\mathit{u}\right)\cap \mathcal{T}\left(\mathit{u}\right),{\mathit{u}}^{\prime }\ne \mathit{u}}P(\mathit{u},\mathit{v})𝟙\left\{{\widehat{H}}_{\mathit{u}}\left(U\right)\ge R\left({\widehat{P}}_{\mathit{u}}\right)\right\}\right.\right.\hfill \end{array}$$ (A46)

$$\begin{array}{c}\hfill \left.{\left.\times min\left\{1,\frac{exp\left\{nf\left({\widehat{P}}_{{\mathit{u}}^{\prime }\mathit{v}}\right)\right\}}{exp\left\{nf\left({\widehat{P}}_{\mathit{u}\mathit{v}}\right)\right\}+exp\left\{n\alpha (R+ϵ,{\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})\right\}}\right\}\right]}^{1/\rho }\right\}\end{array}$$

$$\begin{array}{cc}\hfill & {+|\mathcal{U}\times \mathcal{V}|}^n·exp\{-e^{nϵ}+nϵ+1\}\hfill \\ \hfill & \doteq \mathbb{E}\left\{\left[\sum _{\mathit{u}}\sum _{{\mathit{u}}^{\prime }\in \mathcal{B}\left(\mathit{u}\right)\cap \mathcal{T}\left(\mathit{u}\right),{\mathit{u}}^{\prime }\ne \mathit{u}}P\left(\mathit{u}\right)𝟙\left\{{\widehat{H}}_{\mathit{u}}\left(U\right)\ge R\left({\widehat{P}}_{\mathit{u}}\right)\right\}\right.\right.\hfill \end{array}$$ (A47)

$$\begin{array}{cc}\hfill & \left.{\left.\times \sum _{\mathit{v}}P\left(\mathit{v}\right|\mathit{u})exp\left\{-n·{\left[max\{f\left({\widehat{P}}_{\mathit{u}\mathit{v}}\right),\alpha (R+ϵ,{\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})\}-f\left({\widehat{P}}_{{\mathit{u}}^{\prime }\mathit{v}}\right)\right]}_{+}\right\}\right]}^{1/\rho }\right\}\hfill \end{array}$$ (A48)

$$\begin{array}{cc}\hfill & \doteq \mathbb{E}\left\{{\left[\sum _{\mathit{u}}\sum _{{\mathit{u}}^{\prime }\in \mathcal{B}\left(\mathit{u}\right)\cap \mathcal{T}\left(\mathit{u}\right),{\mathit{u}}^{\prime }\ne \mathit{u}}P\left(\mathit{u}\right)·𝟙\left\{{\widehat{H}}_{\mathit{u}}\left(U\right)\ge R\left({\widehat{P}}_{\mathit{u}}\right)\right\}·exp\left\{-n·\Lambda ({\widehat{P}}_{\mathit{u}{\mathit{u}}^{\prime }},R+ϵ)\right\}\right]}^{1/\rho }\right\}\hfill \end{array}$$ (A49)

$$\begin{array}{cc}\hfill & =\mathbb{E}\left\{{\left[\sum _{\{Q_{U{U}^{\prime }}\in \mathcal{Q}:H_Q\left(U\right)\ge R\left(Q_U\right)\}}N\left(Q_{U{U}^{\prime }}\right)·e^{n{\mathbb{E}}_Q[logP\left(U\right)]}·exp\left\{-n·\Lambda (Q_{U{U}^{\prime }},R+ϵ)\right\}\right]}^{1/\rho }\right\}\hfill \end{array}$$ (A50)

$$\begin{array}{cc}\hfill & \doteq \sum _{\{Q_{U{U}^{\prime }}\in \mathcal{Q}:H_Q\left(U\right)\ge R\left(Q_U\right)\}}\mathbb{E}\left\{{\left[N\left(Q_{U{U}^{\prime }}\right)\right]}^{1/\rho }\right\}·e^{n\left({\mathbb{E}}_Q[logP\left(U\right)]\right)/\rho }·exp\left\{-n·\Lambda (Q_{U{U}^{\prime }},R+ϵ)/\rho \right\},\hfill \end{array}$$ (A51)

where (A47) is due to Lemma A1, (A49) is by the method of types and the definition of $\Lambda (Q_{U{U}^{\prime }},R)$ in (27), and in (A50) we used the definition of $N\left(Q_{U{U}^{\prime }}\right)$ in (30). Therefore, our next task is to evaluate the $1/\rho$–th moment of $N\left(Q_{U{U}^{\prime }}\right)$. Let us define

$$\begin{array}{c}\hfill N_{\mathit{u}}\left(Q_{U^{\prime }|U}\right)=\sum _{{\mathit{u}}^{\prime }\in \mathcal{T}\left(Q_{U^{\prime }|U}\right|\mathit{u})}𝟙\left\{\mathcal{B}\left({\mathit{u}}^{\prime }\right)=\mathcal{B}\left(\mathit{u}\right)\right\}.\end{array}$$ (A52)

For a given $\rho \ge 1$, let $s\in [1,\rho ]$. Then,

$$\begin{array}{cc}\hfill \mathbb{E}\left\{{\left[N\left(Q_{U{U}^{\prime }}\right)\right]}^{1/\rho }\right\}& =\mathbb{E}\left\{{\left[\sum _{\mathit{u}\in \mathcal{T}\left(Q_U\right)}{N}_{\mathit{u}}\left(Q_{U^{\prime }|U}\right)\right]}^{1/\rho }\right\}\hfill \end{array}$$ (A53)

$$\begin{array}{cc}\hfill & =\mathbb{E}\left\{{\left({\left[\sum _{\mathit{u}\in \mathcal{T}\left(Q_U\right)}{N}_{\mathit{u}}\left(Q_{U^{\prime }|U}\right)\right]}^{1/s}\right)}^{s/\rho }\right\}\hfill \end{array}$$ (A54)

$$\begin{array}{cc}\hfill & \le \mathbb{E}\left\{{\left(\sum _{\mathit{u}\in \mathcal{T}\left(Q_U\right)}{\left[N_{\mathit{u}}\left(Q_{U^{\prime }|U}\right)\right]}^{1/s}\right)}^{s/\rho }\right\}\hfill \end{array}$$ (A55)

$$\begin{array}{cc}\hfill & \le {\left(\mathbb{E}\left\{\sum _{\mathit{u}\in \mathcal{T}\left(Q_U\right)}{\left[N_{\mathit{u}}\left(Q_{U^{\prime }|U}\right)\right]}^{1/s}\right\}\right)}^{s/\rho }\hfill \end{array}$$ (A56)

$$\begin{array}{cc}\hfill & ={\left(\sum _{\mathit{u}\in \mathcal{T}\left(Q_U\right)}\mathbb{E}\left\{{\left[N_{\mathit{u}}\left(Q_{U^{\prime }|U}\right)\right]}^{1/s}\right\}\right)}^{s/\rho },\hfill \end{array}$$ (A57)

where (A56) follows from Jensen’s inequality. Now, $N_{\mathit{u}}\left(Q_{U^{\prime }|U}\right)$ is a binomial random variable with $|\mathcal{T}\left(Q_{U^{\prime }|U}\right|\mathit{u})|\doteq e^{n{H}_Q\left(U^{\prime }\right|U)}$ trials and success rate which is of the exponential order of $e^{-nR}$. We have that [24](Section 6.3)

$$\begin{array}{c}\hfill \mathbb{E}\left\{{\left[N_{\mathit{u}}\left(Q_{U^{\prime }|U}\right)\right]}^{1/s}\right\}\doteq \left\{\begin{array}{cc}exp\{n[H_Q\left(U^{\prime }\right|U)-R]/s\}\hfill & H_Q\left(U^{\prime }\right|U)\ge R\hfill \\ exp\left\{n[H_Q\left(U^{\prime }\right|U)-R]\right\}\hfill & H_Q\left(U^{\prime }\right|U)<R\hfill \end{array}\right.,\end{array}$$ (A58)

and so,

$$\begin{array}{cc}\hfill \mathbb{E}\left\{{\left[N\left(Q_{U{U}^{\prime }}\right)\right]}^{1/\rho }\right\}& \le e^{n{H}_Q\left(U\right)·s/\rho }·{\left(\mathbb{E}\left\{{\left[N_{\mathit{u}}\left(Q_{U^{\prime }|U}\right)\right]}^{1/s}\right\}\right)}^{s/\rho }\hfill \end{array}$$ (A59)

$$\begin{array}{cc}\hfill & \doteq e^{n{H}_Q\left(U\right)·s/\rho }·\left\{\begin{array}{cc}exp\{n[H_Q\left(U^{\prime }\right|U)-R]/\rho \}\hfill & H_Q\left(U^{\prime }\right|U)\ge R\hfill \\ exp\{n[H_Q\left(U^{\prime }\right|U)-R]s/\rho \}\hfill & H_Q\left(U^{\prime }\right|U)<R\hfill \end{array}\right.\hfill \end{array}$$ (A60)

$$\begin{array}{cc}\hfill & =\left\{\begin{array}{cc}exp\{n[H_Q\left(U\right)·s+H_Q\left(U^{\prime }\right|U)-R]/\rho \}\hfill & H_Q\left(U^{\prime }\right|U)\ge R\hfill \\ exp\{n[H_Q\left(U\right)+H_Q\left(U^{\prime }\right|U)-R]s/\rho \}\hfill & H_Q\left(U^{\prime }\right|U)<R\hfill \end{array}\right.\hfill \end{array}$$ (A61)

$$\begin{array}{cc}\hfill & =\left\{\begin{array}{cc}exp\{n[H_Q\left(U\right)·s+H_Q\left(U^{\prime }\right|U)-R]/\rho \}\hfill & H_Q\left(U^{\prime }\right|U)\ge R\hfill \\ exp\{n[H_Q(U,U^{\prime })-R]s/\rho \}\hfill & H_Q\left(U^{\prime }\right|U)<R\hfill \end{array}\right..\hfill \end{array}$$ (A62)

After optimizing over s, we get

$$\begin{array}{cc}\hfill & \frac{1}{n}log\mathbb{E}\left\{{\left[N\left(Q_{U{U}^{\prime }}\right)\right]}^{1/\rho }\right\}\hfill \end{array}$$

$$\begin{array}{cc}\hfill & \le \underset{1\le s\le \rho }{min}\left\{\begin{array}{cc}\left[H_Q\left(U\right)·s+H_Q\left(U^{\prime }\right|U)-R\right]/\rho \hfill & H_Q\left(U^{\prime }\right|U)\ge R\hfill \\ \left[H_Q(U,U^{\prime })-R\right]s/\rho \hfill & H_Q\left(U^{\prime }\right|U)<R,H_Q(U,U^{\prime })\ge R\hfill \\ \left[H_Q(U,U^{\prime })-R\right]s/\rho \hfill & H_Q\left(U^{\prime }\right|U)<R,H_Q(U,U^{\prime })<R\hfill \end{array}\right.\hfill \end{array}$$ (A63)

$$\begin{array}{cc}\hfill & =\left\{\begin{array}{cc}\left[H_Q\left(U\right)+H_Q\left(U^{\prime }\right|U)-R\right]/\rho \hfill & H_Q\left(U^{\prime }\right|U)\ge R\hfill \\ \left[H_Q(U,U^{\prime })-R\right]/\rho \hfill & H_Q\left(U^{\prime }\right|U)<R,H_Q(U,U^{\prime })\ge R\hfill \\ \left[H_Q(U,U^{\prime })-R\right]\rho /\rho \hfill & H_Q\left(U^{\prime }\right|U)<R,H_Q(U,U^{\prime })<R\hfill \end{array}\right.\hfill \end{array}$$ (A64)

$$\begin{array}{cc}\hfill & =\left\{\begin{array}{cc}\left[H_Q(U,U^{\prime })-R\right]/\rho \hfill & H_Q(U,U^{\prime })\ge R\hfill \\ \left[H_Q(U,U^{\prime })-R\right]\hfill & H_Q(U,U^{\prime })<R\hfill \end{array}\right.,\hfill \end{array}$$ (A65)

which gives, after raising to the $\rho$–th power,

$$\begin{array}{cc}\hfill {\left(\mathbb{E}\left\{{\left[N\left(Q_{U{U}^{\prime }}\right)\right]}^{1/\rho }\right\}\right)}^{\rho }& \le \left\{\begin{array}{cc}exp\left\{n\left[H_Q(U,U^{\prime })-R\right]\right\}\hfill & H_Q(U,U^{\prime })\ge R\hfill \\ exp\{n\left[H_Q(U,U^{\prime })-R\right]·\rho \}\hfill & H_Q(U,U^{\prime })<R\hfill \end{array}\right.\hfill \end{array}$$ (A66)

$$\begin{array}{cc}\hfill & =exp\left\{n({[H_Q(U,U^{\prime })-R]}_{+}-\rho {[R-H_Q(U,U^{\prime })]}_{+})\right\}.\hfill \end{array}$$ (A67)

Let us denote $F(Q,R,\rho )={[H_Q(U,U^{\prime })-R]}_{+}-\rho {[R-H_Q(U,U^{\prime })]}_{+}$. Continuing now from (A51),

$$\begin{array}{cc}\hfill & {\left(\mathbb{E}\left\{{\left[P_e\left({\mathcal{B}}_n\right)\right]}^{1/\rho }\right\}\right)}^{\rho }\hfill \end{array}$$

$$\begin{array}{cc}\hfill & \stackrel{·}{\le }{\left(\sum _{\{Q_{U{U}^{\prime }}\in \mathcal{Q}:H_Q\left(U\right)\ge R\left(Q_U\right)\}}\mathbb{E}\left\{{\left[N\left(Q_{U{U}^{\prime }}\right)\right]}^{1/\rho }\right\}·e^{n[{\mathbb{E}}_{Q}logP\left(U\right)]/\rho }·exp\left\{-n·\Lambda (Q_{U{U}^{\prime }},R+ϵ)/\rho \right\}\right)}^{\rho }\hfill \end{array}$$ (A68)

$$\begin{array}{cc}\hfill & \doteq \sum _{\{Q_{U{U}^{\prime }}\in \mathcal{Q}:H_Q\left(U\right)\ge R\left(Q_U\right)\}}{\left(\mathbb{E}\left\{{\left[N\left(Q_{U{U}^{\prime }}\right)\right]}^{1/\rho }\right\}\right)}^{\rho }·e^{n{\mathbb{E}}_{Q}logP\left(U\right)}·exp\left\{-n·\Lambda (Q_{U{U}^{\prime }},R+ϵ)\right\}\hfill \end{array}$$ (A69)

$$\begin{array}{cc}\hfill & \le \sum _{\{Q_{U{U}^{\prime }}\in \mathcal{Q}:H_Q\left(U\right)\ge R\left(Q_U\right)\}}exp\left\{n(F(Q,R,\rho )+{\mathbb{E}}_Q[logP\left(U\right)]-\Lambda (Q_{U{U}^{\prime }},R+ϵ))\right\}\hfill \end{array}$$ (A70)

$$\begin{array}{cc}\hfill & \doteq exp\left\{-n·\underset{\{Q_{U{U}^{\prime }}\in \mathcal{Q}:H_Q\left(U\right)\ge R\left(Q_U\right)\}}{min}(\Lambda (Q_{U{U}^{\prime }},R+ϵ)-F(Q,R,\rho )-{\mathbb{E}}_Q[logP\left(U\right)])\right\}.\hfill \end{array}$$ (A71)

where (A70) follows from (A67). Finally, it follows by (A35) that

$$\begin{array}{cc}\hfill & \underset{n\to \infty }{lim\; inf}-\frac{1}{n}\mathbb{E}[log{P}_e\left({\mathcal{B}}_n\right)]\hfill \end{array}$$

$$\begin{array}{cc}\hfill & \ge \underset{n\to \infty }{lim\; inf}-\frac{1}{n}log{\left(\mathbb{E}{\left[P_e\left({\mathcal{B}}_n\right)\right]}^{1/\rho }\right)}^{\rho }\hfill \end{array}$$ (A72)

$$\begin{array}{cc}\hfill & \ge \underset{\{Q_{U{U}^{\prime }}\in \mathcal{Q}:H_Q\left(U\right)\ge R\left(Q_U\right)\}}{min}(\Lambda (Q_{U{U}^{\prime }},R+ϵ)-F(Q,R,\rho )-{\mathbb{E}}_Q[logP\left(U\right)]).\hfill \end{array}$$ (A73)

Letting $\rho$ grow without bound yields that

$$\begin{array}{cc}\hfill & \underset{n\to \infty }{lim\; inf}-\frac{1}{n}\mathbb{E}[log{P}_e\left({\mathcal{B}}_n\right)]\hfill \\ \hfill & \ge \underset{\{Q_{U{U}^{\prime }}\in \mathcal{Q}:H_Q\left(U\right)\ge R\left(Q_U\right),H_Q(U,U^{\prime })\ge R\left(Q_U\right)\}}{min}(\Lambda (Q_{U{U}^{\prime }},R+ϵ)-H_Q(U,U^{\prime })\hfill \end{array}$$

$$\begin{array}{cc}\hfill & +R\left(Q_U\right)-{\mathbb{E}}_Q[logP\left(U\right)])\hfill \end{array}$$ (A74)

$$\begin{array}{cc}\hfill & =\underset{\{Q_{U{U}^{\prime }}\in \mathcal{Q}:H_Q\left(U\right)\ge R\left(Q_U\right)\}}{min}(\Lambda (Q_{U{U}^{\prime }},R+ϵ)-H_Q(U,U^{\prime })+R\left(Q_U\right)-{\mathbb{E}}_Q[logP\left(U\right)]).\hfill \end{array}$$ (A75)

Due to the arbitrariness of $ϵ>0$, we have proved that

$$\begin{array}{cc}\hfill & \underset{n\to \infty }{lim\; inf}-\frac{1}{n}\mathbb{E}[log{P}_e\left({\mathcal{B}}_n\right)]\hfill \\ \hfill & \ge \underset{\{Q_{U{U}^{\prime }}\in \mathcal{Q}:H_Q\left(U\right)\ge R\left(Q_U\right)\}}{min}(\Lambda (Q_{U{U}^{\prime }},R)-H_Q(U,U^{\prime })+R\left(Q_U\right)-{\mathbb{E}}_Q[logP\left(U\right)]).\hfill \end{array}$$ (A76)

completing half of the proof of Theorem 2.

Upper Bound on the Error Exponent

Consider a joint distribution $Q_{U{U}^{\prime }}$, that satisfies $H_Q(U,U^{\prime })>R$, and define the event $\mathcal{E}\left(Q_{U{U}^{\prime }}\right)=\{{\mathcal{B}}_n:N\left(Q_{U{U}^{\prime }}\right)<exp\left\{n[H_Q(U,U^{\prime })-R-ϵ]\right\}\}$. We want to show that $\mathbb{P}\left\{\mathcal{E}\left(Q_{U{U}^{\prime }}\right)\right\}$ is small. Consider the following:

$$\begin{array}{cc}\hfill \mathbb{P}\left\{\mathcal{E}\left(Q_{U{U}^{\prime }}\right)\right\}& =\mathbb{P}\{N\left(Q_{U{U}^{\prime }}\right)<exp\left\{n[H_Q(U,U^{\prime })-R-ϵ]\right\}\}\hfill \end{array}$$ (A77)

$$\begin{array}{cc}\hfill & =\mathbb{P}\{N\left(Q_{U{U}^{\prime }}\right)<e^{-nϵ}·\mathbb{E}\left\{N\left(Q_{U{U}^{\prime }}\right)\right\}\}\hfill \end{array}$$ (A78)

$$\begin{array}{cc}\hfill & =\mathbb{P}\left\{\frac{N\left(Q_{U{U}^{\prime }}\right)}{\mathbb{E}\left\{N\left(Q_{U{U}^{\prime }}\right)\right\}}-1<-(1-e^{-nϵ})\right\}\hfill \end{array}$$ (A79)

$$\begin{array}{cc}\hfill & \le \mathbb{P}\left\{{\left[\frac{N\left(Q_{U{U}^{\prime }}\right)-\mathbb{E}\left\{N\left(Q_{U{U}^{\prime }}\right)\right\}}{\mathbb{E}\left\{N\left(Q_{U{U}^{\prime }}\right)\right\}}\right]}^2>{(1-e^{-nϵ})}^2\right\}\hfill \end{array}$$ (A80)

$$\begin{array}{cc}\hfill & \le \frac{Var\left\{N\left(Q_{U{U}^{\prime }}\right)\right\}}{{(1-e^{-nϵ})}^2·{\mathbb{E}}^2\left\{N\left(Q_{U{U}^{\prime }}\right)\right\}}.\hfill \end{array}$$ (A81)

Let us use the shorthand notations $\mathcal{I}(\mathit{u},{\mathit{u}}^{\prime })=𝟙\left\{\mathcal{B}\left({\mathit{u}}^{\prime }\right)=\mathcal{B}\left(\mathit{u}\right)\right\}$, $K=\left|\mathcal{T}\right(Q_{U{U}^{\prime }}\left)\right|$, and $p=e^{-nR}$. Concerning the variance of $N\left(Q_{U{U}^{\prime }}\right)$, we have the following

$$\begin{array}{cc}\hfill & Var\left\{N\left(Q_{U{U}^{\prime }}\right)\right\}\hfill \end{array}$$

$$\begin{array}{cc}\hfill & =\mathbb{E}\left\{N^2\left(Q_{U{U}^{\prime }}\right)\right\}-{\mathbb{E}}^2\left\{N\left(Q_{U{U}^{\prime }}\right)\right\}\hfill \end{array}$$ (A82)

$$\begin{array}{cc}\hfill & =\mathbb{E}\left\{\left[\sum _{(\mathit{u},{\mathit{u}}^{\prime })\in \mathcal{T}\left(Q_{U{U}^{\prime }}\right)}\mathcal{I}(\mathit{u},{\mathit{u}}^{\prime })\right]\times \left[\sum _{(\tilde{\mathit{u}},\widehat{\mathit{u}})\in \mathcal{T}\left(Q_{U{U}^{\prime }}\right)}\mathcal{I}(\tilde{\mathit{u}},\widehat{\mathit{u}})\right]\right\}-{\left(Kp\right)}^2\hfill \end{array}$$ (A83)

$$\begin{array}{cc}\hfill & =\sum _{(\mathit{u},{\mathit{u}}^{\prime })\in \mathcal{T}\left(Q_{U{U}^{\prime }}\right)}\sum _{(\tilde{\mathit{u}},\widehat{\mathit{u}})\in \mathcal{T}\left(Q_{U{U}^{\prime }}\right)}\mathbb{E}\left\{\mathcal{I}(\mathit{u},{\mathit{u}}^{\prime })\mathcal{I}(\tilde{\mathit{u}},\widehat{\mathit{u}})\right\}-{\left(Kp\right)}^2\hfill \end{array}$$ (A84)

$$\begin{array}{cc}\hfill & =\sum _{(\mathit{u},{\mathit{u}}^{\prime })\in \mathcal{T}\left(Q_{U{U}^{\prime }}\right)}\mathbb{E}\left\{{\mathcal{I}}^2(\mathit{u},{\mathit{u}}^{\prime })\right\}+\sum _{\begin{array}{c}(\mathit{u},{\mathit{u}}^{\prime }),(\tilde{\mathit{u}},\widehat{\mathit{u}})\in \mathcal{T}\left(Q_{U{U}^{\prime }}\right)\\ (\mathit{u},{\mathit{u}}^{\prime })\ne (\tilde{\mathit{u}},\widehat{\mathit{u}})\end{array}}\mathbb{E}\left\{\mathcal{I}(\mathit{u},{\mathit{u}}^{\prime })\mathcal{I}(\tilde{\mathit{u}},\widehat{\mathit{u}})\right\}-{\left(Kp\right)}^2\hfill \end{array}$$ (A85)

$$\begin{array}{cc}\hfill & =Kp+K(K-1)p^2-{\left(Kp\right)}^2\hfill \end{array}$$ (A86)

$$\begin{array}{cc}\hfill & =Kp(1-p)\hfill \end{array}$$ (A87)

$$\begin{array}{cc}\hfill & \doteq exp\left\{n[H_Q(U,U^{\prime })-R]\right\},\hfill \end{array}$$ (A88)

and hence,

$$\begin{array}{cc}\hfill \mathbb{P}\left\{\mathcal{E}\left(Q_{U{U}^{\prime }}\right)\right\}& \stackrel{·}{\le }\frac{exp\left\{n[H_Q(U,U^{\prime })-R]\right\}}{exp\left\{n[2H_Q(U,U^{\prime })-2R]\right\}}\hfill \end{array}$$ (A89)

$$\begin{array}{cc}\hfill & =exp\{-n[H_Q(U,U^{\prime })-R]\},\hfill \end{array}$$ (A90)

which decays to zero since we have assumed that $H_Q(U,U^{\prime })>R$. Furthermore, if $H_Q(U,U^{\prime })\ge R+ϵ$, then $\mathbb{P}\left\{\mathcal{E}\left(Q_{U{U}^{\prime }}\right)\right\}$ tends to zero at least as fast as $e^{-nϵ}$. Now, for a given $ϵ>0$, and a given joint type $Q_{U{U}^{\prime }V}$, such that $H_Q(U,U^{\prime })\ge R+ϵ$, let us define

$$\begin{array}{c}\hfill Z_{\mathit{u}{\mathit{u}}^{\prime }}\left(\mathit{v}\right)=\sum _{\tilde{\mathit{u}}\in \mathcal{B}\left(\mathit{u}\right)\cap \mathcal{T}\left(\mathit{u}\right),\tilde{\mathit{u}}\ne \mathit{u},{\mathit{u}}^{\prime }}exp\left\{nf\left({\widehat{P}}_{\tilde{\mathit{u}}\mathit{v}}\right)\right\},\end{array}$$ (A91)

and

$$\begin{array}{cc}\hfill {\mathcal{G}}_n\left(Q_{U{U}^{\prime }V}\right)=\{{\mathcal{B}}_n:& \sum _{(\mathit{u},{\mathit{u}}^{\prime })\in \mathcal{T}\left(Q_{U{U}^{\prime }}\right)}𝟙\{\mathcal{B}\left({\mathit{u}}^{\prime }\right)=\mathcal{B}\left(\mathit{u}\right)\}\times \hfill \\ \hfill & \sum _{\mathit{v}\in \mathcal{T}\left(Q_{V|U{U}^{\prime }}\right|\mathit{u},{\mathit{u}}^{\prime })}𝟙\left\{Z_{\mathit{u}{\mathit{u}}^{\prime }}\left(\mathit{v}\right)\le e^{n[\alpha (R-2ϵ,Q_U,Q_V)+ϵ]}\right\}\ge \hfill \\ \hfill & exp\left\{n[H_Q(U,U^{\prime })-R-3ϵ/2]\right\}·\left|\mathcal{T}\left(Q_{V|U{U}^{\prime }}\right|\mathit{u},{\mathit{u}}^{\prime })\right|\},\hfill \end{array}$$ (A92)

where $(\mathit{u},{\mathit{u}}^{\prime })$ in the expression $\left|\mathcal{T}\right(Q_{V|U{U}^{\prime }}|\mathit{u},{\mathit{u}}^{\prime })|$ should be understood as any pair of source sequences in $\mathcal{T}\left(Q_{U{U}^{\prime }}\right)$. Next, we define

$$\begin{array}{c}\hfill {\mathcal{G}}_n=\bigcap _{\{Q_{U{U}^{\prime }V}:H_Q(U,U^{\prime })\ge R+ϵ\}}[{\mathcal{G}}_n\left(Q_{U{U}^{\prime }V}\right)\cap {\mathcal{E}}^c\left(Q_{U{U}^{\prime }}\right)].\end{array}$$ (A93)

We start by proving that $\mathbb{P}\left\{{\mathcal{G}}_n\right\}\to 1$ as $n\to \infty$, or equivalently, that $\mathbb{P}\left\{{\mathcal{G}}_n^c\right\}\to 0$ as $n\to \infty$. Now,

$$\begin{array}{cc}\hfill \mathbb{P}\left\{{\mathcal{G}}_n^c\right\}& =\mathbb{P}\left\{\bigcup _{\{Q_{U{U}^{\prime }V}:H_Q(U,U^{\prime })\ge R+ϵ\}}[{\mathcal{G}}_n^c\left(Q_{U{U}^{\prime }V}\right)\cup \mathcal{E}\left(Q_{U{U}^{\prime }}\right)]\right\}\hfill \end{array}$$ (A94)

$$\begin{array}{cc}\hfill & \le \sum _{\{Q_{U{U}^{\prime }V}:H_Q(U,U^{\prime })\ge R+ϵ\}}\mathbb{P}\left\{{\mathcal{G}}_n^c\left(Q_{U{U}^{\prime }V}\right)\cup \mathcal{E}\left(Q_{U{U}^{\prime }}\right)\right\}\hfill \end{array}$$ (A95)

$$\begin{array}{cc}\hfill & =\sum _{\{Q_{U{U}^{\prime }V}:H_Q(U,U^{\prime })\ge R+ϵ\}}[\mathbb{P}\left\{\mathcal{E}\left(Q_{U{U}^{\prime }}\right)\right\}+\mathbb{P}\left\{{\mathcal{G}}_n^c\left(Q_{U{U}^{\prime }V}\right)\cap {\mathcal{E}}^c\left(Q_{U{U}^{\prime }}\right)\right\}].\hfill \end{array}$$ (A96)

The last summation contains a polynomial number of terms. If we prove that the summand tends to zero exponentially with n, then $\mathbb{P}\left\{{\mathcal{G}}_n^c\right\}\to 0$ as $n\to \infty$. The first term in the summand, $\mathbb{P}\left\{\mathcal{E}\left(Q_{U{U}^{\prime }}\right)\right\}$, has already been proved to be upper bounded by $e^{-nϵ}$. Concerning the second term, we have the following

$$\begin{array}{cc}\hfill & \mathbb{P}\left\{{\mathcal{G}}_n^c\left(Q_{U{U}^{\prime }V}\right)\cap {\mathcal{E}}^c\left(Q_{U{U}^{\prime }}\right)\right\}\hfill \\ \hfill & =\mathbb{P}[\sum _{(\mathit{u},{\mathit{u}}^{\prime })\in \mathcal{T}\left(Q_{U{U}^{\prime }}\right)}𝟙\{\mathcal{B}\left({\mathit{u}}^{\prime }\right)=\mathcal{B}\left(\mathit{u}\right)\}·\sum _{\mathit{v}\in \mathcal{T}\left(Q_{V|U{U}^{\prime }}\right|\mathit{u},{\mathit{u}}^{\prime })}𝟙\left\{Z_{\mathit{u}{\mathit{u}}^{\prime }}\left(\mathit{v}\right)\le e^{n[\alpha (R-2ϵ,Q_U,Q_V)+ϵ]}\right\}<\hfill \\ \hfill & exp\left\{n[H_Q(U,U^{\prime })-R-3ϵ/2]\right\}·\left|\mathcal{T}\left(Q_{V|U{U}^{\prime }}\right|\mathit{u},{\mathit{u}}^{\prime })\right|,\hfill \end{array}$$ (A97)

$$\begin{array}{cc}\hfill & N\left(Q_{U{U}^{\prime }}\right)\ge exp\left\{n[H_Q(U,U^{\prime })-R-ϵ]\right\}]\hfill \\ \hfill & =\mathbb{P}[\sum _{(\mathit{u},{\mathit{u}}^{\prime })\in \mathcal{T}\left(Q_{U{U}^{\prime }}\right)}𝟙\{\mathcal{B}\left({\mathit{u}}^{\prime }\right)=\mathcal{B}\left(\mathit{u}\right)\}·\sum _{\mathit{v}\in \mathcal{T}\left(Q_{V|U{U}^{\prime }}\right|\mathit{u},{\mathit{u}}^{\prime })}𝟙\left\{Z_{\mathit{u}{\mathit{u}}^{\prime }}\left(\mathit{v}\right)>e^{n[\alpha (R-2ϵ,Q_U,Q_V)+ϵ]}\right\}>\hfill \\ \hfill & [N\left(Q_{U{U}^{\prime }}\right)-exp\left\{n[H_Q(U,U^{\prime })-R-3ϵ/2]\right\}]·\left|\mathcal{T}\left(Q_{V|U{U}^{\prime }}\right|\mathit{u},{\mathit{u}}^{\prime })\right|,\hfill \end{array}$$ (A98)

$$\begin{array}{cc}\hfill & N\left(Q_{U{U}^{\prime }}\right)\ge exp\left\{n[H_Q(U,U^{\prime })-R-ϵ]\right\}]\hfill \\ \hfill & \le \mathbb{P}[\sum _{(\mathit{u},{\mathit{u}}^{\prime })\in \mathcal{T}\left(Q_{U{U}^{\prime }}\right)}𝟙\{\mathcal{B}\left({\mathit{u}}^{\prime }\right)=\mathcal{B}\left(\mathit{u}\right)\}·\sum _{\mathit{v}\in \mathcal{T}\left(Q_{V|U{U}^{\prime }}\right|\mathit{u},{\mathit{u}}^{\prime })}𝟙\left\{Z_{\mathit{u}{\mathit{u}}^{\prime }}\left(\mathit{v}\right)>e^{n[\alpha (R-2ϵ,Q_U,Q_V)+ϵ]}\right\}>\hfill \\ \hfill & [exp\left\{n[H_Q(U,U^{\prime })-R-ϵ]\right\}-exp\left\{n[H_Q(U,U^{\prime })-R-3ϵ/2]\right\}]·\left|\mathcal{T}\left(Q_{V|U{U}^{\prime }}\right|\mathit{u},{\mathit{u}}^{\prime })\right|,\hfill \end{array}$$ (A99)

$$\begin{array}{cc}\hfill & N\left(Q_{U{U}^{\prime }}\right)\ge exp\left\{n[H_Q(U,U^{\prime })-R-ϵ]\right\}]\hfill \\ \hfill & \le \mathbb{P}[\sum _{(\mathit{u},{\mathit{u}}^{\prime })\in \mathcal{T}\left(Q_{U{U}^{\prime }}\right)}𝟙\{\mathcal{B}\left({\mathit{u}}^{\prime }\right)=\mathcal{B}\left(\mathit{u}\right)\}·\sum _{\mathit{v}\in \mathcal{T}\left(Q_{V|U{U}^{\prime }}\right|\mathit{u},{\mathit{u}}^{\prime })}𝟙\left\{Z_{\mathit{u}{\mathit{u}}^{\prime }}\left(\mathit{v}\right)>e^{n[\alpha (R-2ϵ,Q_U,Q_V)+ϵ]}\right\}>\hfill \end{array}$$

$$\begin{array}{cc}\hfill & [exp\left\{n[H_Q(U,U^{\prime })-R-ϵ]\right\}-exp\left\{n[H_Q(U,U^{\prime })-R-3ϵ/2]\right\}]·\left|\mathcal{T}\left(Q_{V|U{U}^{\prime }}\right|\mathit{u},{\mathit{u}}^{\prime })\right|]\hfill \end{array}$$ (A100)

$$\begin{array}{cc}\hfill & \le \frac{\mathbb{E}\left\{{\sum }_{(\mathit{u},{\mathit{u}}^{\prime })\in \mathcal{T}\left(Q_{U{U}^{\prime }}\right)}𝟙\{\mathcal{B}\left({\mathit{u}}^{\prime }\right)=\mathcal{B}\left(\mathit{u}\right)\}·{\sum }_{\mathit{v}\in \mathcal{T}\left(Q_{V|U{U}^{\prime }}\right|\mathit{u},{\mathit{u}}^{\prime })}𝟙\left\{Z_{\mathit{u}{\mathit{u}}^{\prime }}\left(\mathit{v}\right)>e^{n[\alpha (R-2ϵ,Q_U,Q_V)+ϵ]}\right\}\right\}}{[exp\left\{n[H_Q(U,U^{\prime })-R-ϵ]\right\}-exp\left\{n[H_Q(U,U^{\prime })-R-3ϵ/2]\right\}]·\left|\mathcal{T}\left(Q_{V|U{U}^{\prime }}\right|\mathit{u},{\mathit{u}}^{\prime })\right|}\hfill \end{array}$$ (A101)

$$\begin{array}{cc}\hfill & \stackrel{·}{\le }\frac{|\mathcal{T}\left(Q_{U{U}^{\prime }}\right)|·|\mathcal{T}\left(Q_{V|U{U}^{\prime }}\right|\mathit{u},{\mathit{u}}^{\prime })|·\mathbb{P}\left\{\mathcal{B}\left({\mathit{u}}^{\prime }\right)=\mathcal{B}\left(\mathit{u}\right),Z_{\mathit{u}{\mathit{u}}^{\prime }}\left(\mathit{v}\right)>e^{n[\alpha (R-2ϵ,Q_U,Q_V)+ϵ]}\right\}}{exp\left\{n[H_Q(U,U^{\prime })-R-ϵ]\right\}·\left|\mathcal{T}\left(Q_{V|U{U}^{\prime }}\right|\mathit{u},{\mathit{u}}^{\prime })\right|}\hfill \end{array}$$ (A102)

$$\begin{array}{cc}\hfill & \doteq \frac{exp\left\{n{H}_Q(U,U^{\prime })\right\}·\mathbb{P}\left\{\mathcal{B}\left({\mathit{u}}^{\prime }\right)=\mathcal{B}\left(\mathit{u}\right)\right\}·\mathbb{P}\left\{Z_{\mathit{u}{\mathit{u}}^{\prime }}\left(\mathit{v}\right)>e^{n[\alpha (R-2ϵ,Q_U,Q_V)+ϵ]}\right\}}{exp\left\{n[H_Q(U,U^{\prime })-R-ϵ]\right\}}\hfill \end{array}$$ (A103)

$$\begin{array}{cc}\hfill & =e^{nϵ}·\mathbb{P}\left\{Z_{\mathit{u}{\mathit{u}}^{\prime }}\left(\mathit{v}\right)>e^{n[\alpha (R-2ϵ,Q_U,Q_V)+ϵ]}\right\},\hfill \end{array}$$ (A104)

where (A99) follows by using the second event $N\left(Q_{U{U}^{\prime }}\right)\ge exp\left\{n[H_Q(U,U^{\prime })-R-ϵ]\right\}$ to increase the first event inside the probability in (A98), (A100) is true since the second event in (A99) was omitted, (A101) follows from Markov’s inequality, and (A103) is due to the independence between the two events inside the probability in (A102). As for the probability in (A104),

$$\begin{array}{cc}\hfill & \mathbb{P}\left\{Z_{\mathit{u}{\mathit{u}}^{\prime }}\left(\mathit{v}\right)>e^{n[\alpha (R-2ϵ,Q_U,Q_V)+ϵ]}\right\}\hfill \end{array}$$

$$\begin{array}{cc}\hfill & =\mathbb{P}\left\{\sum _{Q_{U|V}}N\left(Q_{UV}\right)e^{nf\left(Q_{UV}\right)}>e^{n[\alpha (R-2ϵ,Q_U,Q_V)+ϵ]}\right\}\hfill \end{array}$$ (A105)

$$\begin{array}{cc}\hfill & \doteq \underset{Q_{U|V}}{max}\mathbb{P}\left\{N\left(Q_{UV}\right)>exp\left\{n[\alpha (R-2ϵ,Q_U,Q_V)+ϵ-f\left(Q_{UV}\right)]\right\}\right\}\hfill \end{array}$$ (A106)

$$\begin{array}{cc}\hfill & \doteq e^{-nE},\hfill \end{array}$$ (A107)

where $N\left(Q_{UV}\right)$ is the number of source sequences within $\mathcal{B}\left(\mathit{u}\right)$, other than $\mathit{u}$ and ${\mathit{u}}^{\prime }$, that fall in the conditional type class $\mathcal{T}\left(Q_{U|V}\right|\mathit{v})$, which is a binomial random variable with $e^{n{H}_Q\left(U\right|V)}-2$ trials and success rate of exponential order $e^{-nR}$, and hence,

$$\begin{array}{cc}\hfill E& =\underset{Q_{U|V}}{min}\left\{\begin{array}{cc}{[R-H_Q\left(U\right|V)]}_{+}\hfill & f\left(Q_{UV}\right)+{[H_Q\left(U\right|V)-R]}_{+}\ge \alpha (R-2ϵ,Q_U,Q_V)+ϵ\hfill \\ \infty \hfill & f\left(Q_{UV}\right)+{[H_Q\left(U\right|V)-R]}_{+}<\alpha (R-2ϵ,Q_U,Q_V)+ϵ\hfill \end{array}\right.\hfill \end{array}$$ (A108)

$$\begin{array}{cc}\hfill & =\underset{\{Q_{U|V}:f\left(Q_{UV}\right)+{[H_Q\left(U\right|V)-R]}_{+}\ge \alpha (R-2ϵ,Q_U,Q_V)+ϵ\}}{min}{[R-H_Q\left(U\right|V)]}_{+}.\hfill \end{array}$$ (A109)

By definition of the function $\alpha (R,Q_U,Q_V)$, the set $\{Q_{U|V}:f\left(Q_{UV}\right)+{[H_Q\left(U\right|V)-R]}_{+}\ge \alpha (R-2ϵ,Q_U,Q_V)+ϵ\}$ is a subset of $\{Q_{U|V}:H_Q\left(U\right|V)\le R-2ϵ\}$. Thus,

$$\begin{array}{c}\hfill E\ge \underset{\{Q_{U|V}:H_Q\left(U\right|V)\le R-2ϵ\}}{min}{[R-H_Q\left(U\right|V)]}_{+}\ge 2ϵ,\end{array}$$ (A110)

and hence, $\mathbb{P}\left\{Z_{\mathit{u}{\mathit{u}}^{\prime }}\left(\mathit{v}\right)>e^{n[\alpha (R-2ϵ,Q_U,Q_V)+ϵ]}\right\}\stackrel{·}{\le }{e}^{-2nϵ}$, which provides

$$\begin{array}{c}\hfill \mathbb{P}\left\{{\mathcal{G}}_n^c\left(Q_{U{U}^{\prime }V}\right)\cap {\mathcal{E}}^c\left(Q_{U{U}^{\prime }}\right)\right\}\stackrel{·}{\le }{e}^{nϵ}·e^{-2nϵ}=e^{-nϵ},\end{array}$$ (A111)

which proves that $\mathbb{P}\left\{{\mathcal{G}}_n\right\}\to 1$ as $n\to \infty$. Now, for a given ${\mathcal{B}}_n\in {\mathcal{G}}_n\left(Q_{U{U}^{\prime }V}\right)$, we define the set

$$\begin{array}{c}\hfill \mathcal{K}({\mathcal{B}}_n,Q_{U{U}^{\prime }V})=\{(\mathit{u},{\mathit{u}}^{\prime },\mathit{v}):Z_{\mathit{u}{\mathit{u}}^{\prime }}\left(\mathit{v}\right)\le exp\left\{n[\alpha (R-2ϵ,Q_U,Q_V)+ϵ]\right\}\},\end{array}$$ (A112)

and

$$\begin{array}{c}\hfill \mathcal{K}({\mathcal{B}}_n,Q_{U{U}^{\prime }V}|\mathit{u},{\mathit{u}}^{\prime })=\{\mathit{v}:(\mathit{u},{\mathit{u}}^{\prime },\mathit{v})\in \mathcal{K}({\mathcal{B}}_n,Q_{U{U}^{\prime }V})\}.\end{array}$$ (A113)

Then, by definition, for any ${\mathcal{B}}_n\in {\mathcal{G}}_n\left(Q_{U{U}^{\prime }V}\right)$,

$$\begin{array}{cc}\hfill & \sum _{(\mathit{u},{\mathit{u}}^{\prime })\in \mathcal{T}\left(Q_{U{U}^{\prime }}\right)}𝟙\{\mathcal{B}\left({\mathit{u}}^{\prime }\right)=\mathcal{B}\left(\mathit{u}\right)\}·\frac{|\mathcal{T}\left(Q_{V|U{U}^{\prime }}\right|\mathit{u},{\mathit{u}}^{\prime })\cap \mathcal{K}({\mathcal{B}}_n,Q_{U{U}^{\prime }V}|\mathit{u},{\mathit{u}}^{\prime })|}{\left|\mathcal{T}\right(Q_{V|U{U}^{\prime }}|\mathit{u},{\mathit{u}}^{\prime })|}\hfill \\ \hfill & \ge exp\left\{n[H_Q(U,U^{\prime })-R-3ϵ/2]\right\},\hfill \end{array}$$ (A114)

where we have used the fact that $\mathcal{T}\left(Q_{V|U{U}^{\prime }}\right|\mathit{u},{\mathit{u}}^{\prime })$ has exponentially the same cardinality for all $(\mathit{u},{\mathit{u}}^{\prime })\in \mathcal{T}\left(Q_{U{U}^{\prime }}\right)$. Wrapping all up, we get that for any ${\mathcal{B}}_n\in {\mathcal{G}}_n$,

$$\begin{array}{cc}\hfill & P_e\left({\mathcal{B}}_n\right)\hfill \end{array}$$

$$\begin{array}{cc}\hfill & =\sum _{\mathit{u},\mathit{v}}P(\mathit{u},\mathit{v})𝟙\left\{{\widehat{H}}_{\mathit{u}}\left(U\right)\ge R\left({\widehat{P}}_{\mathit{u}}\right)\right\}\frac{{\sum }_{{\mathit{u}}^{\prime }\in \mathcal{B}\left(\mathit{u}\right)\cap \mathcal{T}\left(\mathit{u}\right),{\mathit{u}}^{\prime }\ne \mathit{u}}exp\left\{nf\left({\widehat{P}}_{{\mathit{u}}^{\prime }\mathit{v}}\right)\right\}}{exp\left\{nf\left({\widehat{P}}_{\mathit{u}\mathit{v}}\right)\right\}+exp\left\{nf\left({\widehat{P}}_{{\mathit{u}}^{\prime }\mathit{v}}\right)\right\}+Z_{\mathit{u}{\mathit{u}}^{\prime }}\left(\mathit{v}\right)}\hfill \\ \hfill & \ge \sum _{\{Q_{U{U}^{\prime }}:H_Q(U,U^{\prime })\ge R+ϵ,H_Q\left(U\right)\ge R\left(Q_U\right)\}}\sum _{(\mathit{u},{\mathit{u}}^{\prime })\in \mathcal{T}\left(Q_{U{U}^{\prime }}\right)}𝟙\{\mathcal{B}\left({\mathit{u}}^{\prime }\right)=\mathcal{B}\left(\mathit{u}\right)\}·exp\{n{\mathbb{E}}_{Q}logP\left(U\right)\}\hfill \\ \hfill & \times \sum _{Q_{V|U{U}^{\prime }}}\sum _{\mathit{v}\in \mathcal{T}\left(Q_{V|U{U}^{\prime }}\right|\mathit{u},{\mathit{u}}^{\prime })\cap \mathcal{K}({\mathcal{B}}_n,Q_{U{U}^{\prime }V}|\mathit{u},{\mathit{u}}^{\prime })}exp\{n{\mathbb{E}}_{Q}logP\left(V\right|U)\}\hfill \end{array}$$ (A115)

$$\begin{array}{cc}\hfill & \times \frac{exp\left\{nf\left(Q_{U^{\prime }V}\right)\right\}}{exp\left\{nf\left(Q_{UV}\right)\right\}+exp\left\{nf\left(Q_{U^{\prime }V}\right)\right\}+Z_{\mathit{u}{\mathit{u}}^{\prime }}\left(\mathit{v}\right)}\hfill \\ \hfill & \ge \sum _{\{Q_{U{U}^{\prime }}:H_Q(U,U^{\prime })\ge R+ϵ,H_Q\left(U\right)\ge R\left(Q_U\right)\}}\sum _{(\mathit{u},{\mathit{u}}^{\prime })\in \mathcal{T}\left(Q_{U{U}^{\prime }}\right)}𝟙\{\mathcal{B}\left({\mathit{u}}^{\prime }\right)=\mathcal{B}\left(\mathit{u}\right)\}·exp\{n{\mathbb{E}}_{Q}logP\left(U\right)\}\hfill \\ \hfill & \times \sum _{Q_{V|U{U}^{\prime }}}\sum _{\mathit{v}\in \mathcal{T}\left(Q_{V|U{U}^{\prime }}\right|\mathit{u},{\mathit{u}}^{\prime })\cap \mathcal{K}({\mathcal{B}}_n,Q_{U{U}^{\prime }V}|\mathit{u},{\mathit{u}}^{\prime })}exp\{n{\mathbb{E}}_{Q}logP\left(V\right|U)\}\hfill \end{array}$$ (A116)

$$\begin{array}{cc}\hfill & \times \frac{exp\left\{nf\left(Q_{U^{\prime }V}\right)\right\}}{exp\left\{nf\left(Q_{UV}\right)\right\}+exp\left\{nf\left(Q_{U^{\prime }V}\right)\right\}+exp\left\{n[\alpha (R-2ϵ,Q_U,Q_V)+ϵ]\right\}}\hfill \\ \hfill & \doteq \sum _{\{Q_{U{U}^{\prime }}:H_Q(U,U^{\prime })\ge R+ϵ,H_Q\left(U\right)\ge R\left(Q_U\right)\}}\sum _{(\mathit{u},{\mathit{u}}^{\prime })\in \mathcal{T}\left(Q_{U{U}^{\prime }}\right)}𝟙\{\mathcal{B}\left({\mathit{u}}^{\prime }\right)=\mathcal{B}\left(\mathit{u}\right)\}\hfill \\ \hfill & \times \sum _{Q_{V|U{U}^{\prime }}}\frac{|\mathcal{T}\left(Q_{V|U{U}^{\prime }}\right|\mathit{u},{\mathit{u}}^{\prime })\cap \mathcal{K}({\mathcal{B}}_n,Q_{U{U}^{\prime }V}|\mathit{u},{\mathit{u}}^{\prime })|}{\left|\mathcal{T}\right(Q_{V|U{U}^{\prime }}|\mathit{u},{\mathit{u}}^{\prime })|}·\left|\mathcal{T}\left(Q_{V|U{U}^{\prime }}\right|\mathit{u},{\mathit{u}}^{\prime })\right|·e^{n{\mathbb{E}}_{Q}logP(U,V)}\hfill \end{array}$$ (A117)

$$\begin{array}{cc}\hfill & \times exp\{-n·{[max\{f\left(Q_{UV}\right),\alpha (R-2ϵ,Q_U,Q_V)+ϵ\}-f\left(Q_{U^{\prime }V}\right)]}_{+}\}\hfill \\ \hfill & \doteq \sum _{\{Q_{U{U}^{\prime }V}:H_Q(U,U^{\prime })\ge R+ϵ,H_Q\left(U\right)\ge R\left(Q_U\right)\}}\sum _{(\mathit{u},{\mathit{u}}^{\prime })\in \mathcal{T}\left(Q_{U{U}^{\prime }}\right)}𝟙\{\mathcal{B}\left({\mathit{u}}^{\prime }\right)=\mathcal{B}\left(\mathit{u}\right)\}\hfill \\ \hfill & \times \frac{|\mathcal{T}\left(Q_{V|U{U}^{\prime }}\right|\mathit{u},{\mathit{u}}^{\prime })\cap \mathcal{K}({\mathcal{B}}_n,Q_{U{U}^{\prime }V}|\mathit{u},{\mathit{u}}^{\prime })|}{\left|\mathcal{T}\right(Q_{V|U{U}^{\prime }}|\mathit{u},{\mathit{u}}^{\prime })|}·e^{n{H}_Q\left(V\right|U,U^{\prime })}·e^{n{\mathbb{E}}_{Q}logP(U,V)}\hfill \end{array}$$ (A118)

$$\begin{array}{cc}\hfill & \times exp\{-n·{[max\{f\left(Q_{UV}\right),\alpha (R-2ϵ,Q_U,Q_V)+ϵ\}-f\left(Q_{U^{\prime }V}\right)]}_{+}\}\hfill \\ \hfill & \ge \sum _{\{Q_{U{U}^{\prime }V}:H_Q(U,U^{\prime })\ge R+ϵ,H_Q\left(U\right)\ge R\left(Q_U\right)\}}exp\left\{n[H_Q(U,U^{\prime })-R-3ϵ/2]\right\}·e^{n{H}_Q\left(V\right|U,U^{\prime })}\hfill \end{array}$$ (A119)

$$\begin{array}{cc}\hfill & \times e^{n{\mathbb{E}}_{Q}logP(U,V)}·exp\{-n·{[max\{f\left(Q_{UV}\right),\alpha (R-2ϵ,Q_U,Q_V)+ϵ\}-f\left(Q_{U^{\prime }V}\right)]}_{+}\}\hfill \\ \hfill & \doteq exp\left\{-n·\underset{\{Q_{U{U}^{\prime }V}:H_Q(U,U^{\prime })\ge R+ϵ,H_Q\left(U\right)\ge R\left(Q_U\right)\}}{min}\{-H_Q(U,U^{\prime })+R+3ϵ/2-H_Q\left(V\right|U,U^{\prime })\right.\hfill \end{array}$$ (A120)

$$\begin{array}{cc}\hfill & \left.-{\mathbb{E}}_Q[logP(U,V)]+{[max\{f\left(Q_{UV}\right),\alpha (R-2ϵ,Q_U,Q_V)+ϵ\}-f\left(Q_{U^{\prime }V}\right)]}_{+}\}\right\}\hfill \end{array}$$ (A121)

$$\begin{array}{cc}\hfill & \stackrel{▵}{=}exp\{-n{E}_{trc}(R,ϵ)\},\hfill \end{array}$$ (A122)

where (A117) follows from the definition of the set $\mathcal{K}({\mathcal{B}}_n,Q_{U{U}^{\prime }V}|\mathit{u},{\mathit{u}}^{\prime })$ in (A113) and (A120) is due to (A114). Consider the following:

$$\begin{array}{cc}\hfill & \mathbb{E}\left[-\frac{1}{n}log{P}_e\left({\mathcal{B}}_n\right)\right]\hfill \end{array}$$

$$\begin{array}{cc}\hfill & =\sum _{{\mathcal{B}}_n}\mathbb{P}\left\{{\mathcal{B}}_n\right\}\left(-\frac{1}{n}log{P}_e\left({\mathcal{B}}_n\right)\right)\hfill \end{array}$$ (A123)

$$\begin{array}{cc}\hfill & =\sum _{{\mathcal{B}}_n\in {\mathcal{G}}_n}\mathbb{P}\left\{{\mathcal{B}}_n\right\}\left(-\frac{1}{n}log{P}_e\left({\mathcal{B}}_n\right)\right)+\sum _{{\mathcal{B}}_n\in {\mathcal{G}}_n^c}\mathbb{P}\left\{{\mathcal{B}}_n\right\}\left(-\frac{1}{n}log{P}_e\left({\mathcal{B}}_n\right)\right)\hfill \end{array}$$ (A124)

$$\begin{array}{cc}\hfill & \le \sum _{{\mathcal{B}}_n\in {\mathcal{G}}_n}\mathbb{P}\left\{{\mathcal{B}}_n\right\}\left(-\frac{1}{n}log{e}^{-n{E}_{trc}(R,ϵ)}\right)+\sum _{{\mathcal{B}}_n\in {\mathcal{G}}_n^c}\mathbb{P}\left\{{\mathcal{B}}_n\right\}\left(-\frac{1}{n}log{e}^{-n{E}_{sp}\left(R\right)}\right)\hfill \end{array}$$ (A125)

$$\begin{array}{cc}\hfill & =\mathbb{P}\left\{{\mathcal{G}}_n\right\}{E}_{trc}(R,ϵ)+\mathbb{P}\left\{{\mathcal{G}}_n^c\right\}{E}_{sp}\left(R\right),\hfill \end{array}$$ (A126)

which implies that

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim\; sup}\mathbb{E}\left[-\frac{1}{n}log{P}_e\left({\mathcal{B}}_n\right)\right]\le E_{trc}(R,ϵ).\end{array}$$ (A127)

It follows from the arbitrariness of $ϵ$ that

$$\begin{array}{cc}\hfill & \underset{n\to \infty }{lim\; sup}\mathbb{E}\left\{-\frac{1}{n}log\left[P_e\left({\mathcal{B}}_n\right)\right]\right\}\hfill \\ \hfill & \le \underset{\{Q_{U{U}^{\prime }V}:H_Q(U,U^{\prime })\ge R,H_Q\left(U\right)\ge R\left(Q_U\right)\}}{min}\{-H_Q(U,U^{\prime })+R-H_Q\left(V\right|U,U^{\prime })\hfill \end{array}$$

$$\begin{array}{cc}\hfill & -{\mathbb{E}}_Q[logP(U,V)]+{[max\{f\left(Q_{UV}\right),\alpha (R,Q_U,Q_V)\}-f\left(Q_{U^{\prime }V}\right)]}_{+}\}\hfill \\ \hfill & =\underset{\{Q_{U{U}^{\prime }V}:H_Q\left(U\right)\ge R\left(Q_U\right)\}}{min}\{-H_Q(U,U^{\prime })+R-H_Q\left(V\right|U,U^{\prime })\hfill \end{array}$$ (A128)

$$\begin{array}{cc}\hfill & -{\mathbb{E}}_Q[logP(U,V)]+{[max\{f\left(Q_{UV}\right),\alpha (R,Q_U,Q_V)\}-f\left(Q_{U^{\prime }V}\right)]}_{+}\}\hfill \end{array}$$ (A129)

$$\begin{array}{cc}\hfill & =\underset{\{Q_{U{U}^{\prime }}\in \mathcal{Q}:H_Q\left(U\right)\ge R\left(Q_U\right)\}}{min}\{\Lambda (Q_{U{U}^{\prime }},R)-H_Q(U,U^{\prime })+R\left(Q_U\right)-{\mathbb{E}}_Q[logP\left(U\right)]\},\hfill \end{array}$$ (A130)

which completes the proof of Theorem 2.

Appendix C. Proof of Lemma A1

Let $N(\mathcal{T}\left(Q_{U|V}\right|\mathit{v}),\mathcal{B}\left(\mathit{u}\right))$ be defined as

$$\begin{array}{c}\hfill N(\mathcal{T}\left(Q_{U|V}\right|\mathit{v}),\mathcal{B}\left(\mathit{u}\right))=\sum _{{\mathit{u}}^{\prime }\in \mathcal{T}\left(Q_{U|V}\right|\mathit{v})}𝟙\left\{\mathcal{B}\left({\mathit{u}}^{\prime }\right)=\mathcal{B}\left(\mathit{u}\right)\right\}.\end{array}$$ (A131)

First, note that

$$\begin{array}{c}\hfill Z_{\mathit{u}}\left(\mathit{v}\right)=\sum _{\tilde{\mathit{u}}\in \mathcal{B}\left(\mathit{u}\right)\cap \mathcal{T}\left(\mathit{u}\right),\tilde{\mathit{u}}\ne \mathit{u}}exp\left\{nf\left({\widehat{P}}_{\tilde{\mathit{u}}\mathit{v}}\right)\right\}=\sum _{Q_{U|V}\in \mathcal{S}({\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})}N(\mathcal{T}\left(Q_{U|V}\right|\mathit{v}),\mathcal{B}\left(\mathit{u}\right))e^{nf\left(Q_{UV}\right)},\end{array}$$ (A132)

where $\mathcal{S}({\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})=\{Q_{U|V}:{({\widehat{P}}_{\mathit{v}}\times Q_{U|V})}_U={\widehat{P}}_{\mathit{u}}\}$. Thus, taking the randomness of ${\left\{\mathcal{B}\left(\mathit{u}\right)\right\}}_{\mathit{u}\in {\mathcal{U}}^n}$ into account,

$$\begin{array}{cc}\hfill & \mathbb{P}\left\{Z_{\mathit{v}}\left(\mathit{u}\right)\le exp\left\{n\alpha (R+ϵ,{\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})\right\}\right\}\hfill \end{array}$$

$$\begin{array}{cc}\hfill & =\mathbb{P}\left\{\sum _{Q_{U|V}\in \mathcal{S}({\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})}N(\mathcal{T}\left(Q_{U|V}\right|\mathit{v}),\mathcal{B}\left(\mathit{u}\right))e^{nf\left(Q_{UV}\right)}\le exp\left\{n\alpha (R+ϵ,{\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})\right\}\right\}\hfill \end{array}$$ (A133)

$$\begin{array}{cc}\hfill & \le \mathbb{P}\left\{\underset{Q_{U|V}\in \mathcal{S}({\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})}{max}N(\mathcal{T}\left(Q_{U|V}\right|\mathit{v}),\mathcal{B}\left(\mathit{u}\right))e^{nf\left(Q_{UV}\right)}\le exp\left\{n\alpha (R+ϵ,{\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})\right\}\right\}\hfill \end{array}$$ (A134)

$$\begin{array}{cc}\hfill & =\mathbb{P}\bigcap _{Q_{U|V}\in \mathcal{S}({\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})}\left\{N(\mathcal{T}\left(Q_{U|V}\right|\mathit{v}),\mathcal{B}\left(\mathit{u}\right))e^{nf\left(Q_{UV}\right)}\le exp\left\{n\alpha (R+ϵ,{\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})\right\}\right\}\hfill \end{array}$$ (A135)

$$\begin{array}{cc}\hfill & =\mathbb{P}\bigcap _{Q_{U|V}\in \mathcal{S}({\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})}\left\{N(\mathcal{T}\left(Q_{U|V}\right|\mathit{v}),\mathcal{B}\left(\mathit{u}\right))\le exp\left\{n[\alpha (R+ϵ,{\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})-f\left(Q_{UV}\right)]\right\}\right\}.\hfill \end{array}$$ (A136)

Now, $N(\mathcal{T}\left(Q_{U|V}\right|\mathit{v}),\mathcal{B}\left(\mathit{u}\right))$ is a binomial random variable with $|\mathcal{T}\left(Q_{U|V}\right|\mathit{v})|\doteq e^{n{H}_Q\left(U\right|V)}$ trials and success rate which is of the exponential order of $e^{-nR}$. We prove that by the very definition of the function $\alpha (R+ϵ,{\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})$, there must exist some conditional distribution $Q_{U|V}^{*}\in \mathcal{S}({\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})$ such that for $Q_{UV}^{*}={\widehat{P}}_{\mathit{v}}\times Q_{U|V}^{*}$, the two inequalities $H_{Q^{*}}\left(U\right|V)\ge R+ϵ$ and $H_{Q^{*}}\left(U\right|V)-R-ϵ\ge \alpha (R+ϵ,{\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})-f\left(Q_{UV}^{*}\right)$ hold. To show that, we assume conversely, i.e., that for every conditional distribution $Q_{U|V}\in \mathcal{S}({\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})$, which defines $Q_{UV}={\widehat{P}}_{\mathit{v}}\times Q_{U|V}$, either $H_Q\left(U\right|V)<R+ϵ$ or $H_Q\left(U\right|V)-R-ϵ<\alpha (R+ϵ,{\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})-f\left(Q_{UV}\right)$, which means that for every distribution $Q_{U|V}\in \mathcal{S}({\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})$

$$\begin{array}{cc}\hfill H_Q\left(U\right|V)-ϵ& <max\{R,R+\alpha (R+ϵ,{\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})-f\left(Q_{UV}\right)\}\hfill \end{array}$$ (A137)

$$\begin{array}{cc}\hfill & =R+{[\alpha (R+ϵ,{\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})-f\left(Q_{UV}\right)]}_{+}.\hfill \end{array}$$ (A138)

Writing it slightly differently, for every $Q_{U|V}\in \mathcal{S}({\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})$ there exists some real number $t\in [0,1]$ such that

$$\begin{array}{cc}\hfill H_Q\left(U\right|V)-ϵ& <R+t[\alpha (R+ϵ,{\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})-f\left(Q_{UV}\right)],\hfill \end{array}$$ (A139)

or equivalently,

$$\begin{array}{cc}\hfill \alpha (R+ϵ,{\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})& >\underset{Q_{U|V}\in \mathcal{S}({\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})}{max}\underset{t\in [0,1]}{min}f\left(Q_{UV}\right)+\frac{H_Q\left(U\right|V)-R-ϵ}{t}\hfill \end{array}$$ (A140)

$$\begin{array}{cc}\hfill & =\underset{Q_{U|V}\in \mathcal{S}({\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})}{max}\left\{\begin{array}{cc}f\left(Q_{UV}\right)+H_Q\left(U\right|V)-R-ϵ\hfill & H_Q\left(U\right|V)\ge R+ϵ\hfill \\ -\infty \hfill & H_Q\left(U\right|V)<R+ϵ\hfill \end{array}\right.\hfill \end{array}$$ (A141)

$$\begin{array}{cc}\hfill & =\underset{\{Q_{U|V}\in \mathcal{S}({\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}}):H_Q\left(U\right|V)\ge R+ϵ\}}{max}[f\left(Q_{UV}\right)+H_Q\left(U\right|V)]-R-ϵ\hfill \end{array}$$ (A142)

$$\begin{array}{cc}\hfill & \equiv \alpha (R+ϵ,{\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}}),\hfill \end{array}$$ (A143)

which is a contradiction. Let the conditional distribution $Q_{U|V}^{*}$ be as defined above. Then,

$$\begin{array}{cc}\hfill & \mathbb{P}\bigcap _{Q_{U|V}\in \mathcal{S}({\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})}\left\{N(\mathcal{T}\left(Q_{U|V}\right|\mathit{v}),\mathcal{B}\left(\mathit{u}\right))\le exp\left\{n[\alpha (R+ϵ,{\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})-f\left(Q_{UV}\right)]\right\}\right\}\hfill \end{array}$$ (A144)

$$\begin{array}{cc}\hfill & \le \mathbb{P}\left\{N(\mathcal{T}\left(Q_{U|V}^{*}\right|\mathit{v}),\mathcal{B}\left(\mathit{u}\right))\le exp\left\{n[\alpha (R+ϵ,{\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})-f\left(Q_{UV}^{*}\right)]\right\}\right\}.\hfill \end{array}$$ (A145)

Now, we know that both of the inequalities $H_{Q^{*}}\left(U\right|V)\ge R+ϵ$ and $H_{Q^{*}}\left(U\right|V)-R-ϵ\ge \alpha (R+ϵ,{\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})-f\left(Q_{UV}^{*}\right)$ hold. By the Chernoff bound, the probability of (A145) is upper bounded by

$$\begin{array}{c}\hfill exp\left\{-e^{n{H}_{Q^{*}}\left(U\right|V)}D(e^{-an}\parallel e^{-bn})\right\},\end{array}$$ (A146)

where $a=H_{Q^{*}}\left(U\right|V)+f\left(Q_{UV}^{*}\right)-\alpha (R+ϵ,{\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})$ and $b=R$, and where $D(\alpha \parallel \beta )$, for $\alpha ,\beta \in [0,1]$, is the binary divergence function, that is

$$\begin{array}{c}\hfill D(\alpha \parallel \beta )=\alpha log\frac{\alpha }{\beta }+(1-\alpha )log\frac{1-\alpha }{1-\beta }.\end{array}$$ (A147)

Since $a-b\ge ϵ$, the binary divergence is lower bounded as follows [24](Section 6.3):

$$\begin{array}{cc}\hfill D(e^{-an}\parallel e^{-bn})& \ge e^{-bn}\left\{1-e^{-(a-b)n}[1+n(a-b)]\right\}\hfill \end{array}$$ (A148)

$$\begin{array}{cc}\hfill & \ge e^{-nR}[1-e^{-nϵ}(1+nϵ)],\hfill \end{array}$$ (A149)

where in the second inequality, we invoked the decreasing monotonicity of the function $f\left(t\right)=(1+t)e^{-t}$ for $t\ge 0$. Finally, we get that

$$\begin{array}{cc}\hfill & \mathbb{P}\left\{N(\mathcal{T}\left(Q_{U|V}^{*}\right|\mathit{v}),\mathcal{B}\left(\mathit{u}\right))\le exp\left\{n[\alpha (R+ϵ,{\widehat{P}}_{\mathit{u}},{\widehat{P}}_{\mathit{v}})-f\left(Q_{UV}^{*}\right)]\right\}\right\}\hfill \end{array}$$ (A150)

$$\begin{array}{cc}\hfill & \le exp\left\{-e^{n{H}_{Q^{*}}\left(U\right|V)}·e^{-nR}[1-e^{-nϵ}(1+nϵ)]\right\}\hfill \end{array}$$ (A151)

$$\begin{array}{cc}\hfill & \le exp\left\{-e^{nϵ}[1-e^{-nϵ}(1+nϵ)]\right\}\hfill \end{array}$$ (A152)

$$\begin{array}{cc}\hfill & =exp\left\{-e^{nϵ}+nϵ+1\right\}.\hfill \end{array}$$ (A153)

This completes the proof of Lemma A1.

Appendix D. Proof of Theorem 3

By definition of the error exponents, it follows that $E_{trc,GLD}\left(R(·)\right)\ge E_{r,GLD}\left(R(·)\right)$. We now prove the other direction. The expression in (28) can also be written as

$$\begin{array}{cc}\hfill & E_{trc,GLD}\left(R(·)\right)\hfill \end{array}$$

$$\begin{array}{cc}\hfill & =\underset{\left\{\begin{array}{c}{Q}_{U{U}^{\prime }}:Q_{U^{\prime }}=Q_U,\\ H_Q\left(U\right)\ge R\left(Q_U\right)\end{array}\right\}}{min}\left\{\Lambda (Q_{U{U}^{\prime }},R\left(Q_U\right))-{\mathbb{E}}_Q[logP\left(U\right)]-H_Q(U,U^{\prime })+R\left(Q_U\right)\right\}\hfill \\ \hfill & =\underset{\left\{\begin{array}{c}{Q}_{U{U}^{\prime }}:Q_{U^{\prime }}=Q_U,\\ H_Q\left(U\right)\ge R\left(Q_U\right)\end{array}\right\}}{min}\left\{\underset{Q_{V|U{U}^{\prime }}}{min}\left\{\Psi (R\left(Q_U\right),Q_{U{U}^{\prime }V})-H_Q\left(V\right|U,U^{\prime })-{\mathbb{E}}_Q[logP\left(V\right|U)]\right\}\right.\hfill \end{array}$$ (A154)

$$\begin{array}{cc}\hfill & \left.-{\mathbb{E}}_Q[logP\left(U\right)]-H_Q(U,U^{\prime })+R\left(Q_U\right)\right\}\hfill \end{array}$$ (A155)

$$\begin{array}{cc}\hfill & =\underset{\left\{\begin{array}{c}{Q}_{U{U}^{\prime }V}:Q_{U^{\prime }}=Q_U,\\ H_Q\left(U\right)\ge R\left(Q_U\right)\end{array}\right\}}{min}\left\{\Psi (R\left(Q_U\right),Q_{U{U}^{\prime }V})-H_Q(U,U^{\prime },V)-{\mathbb{E}}_Q[logP(U,V)]+R\left(Q_U\right)\right\}\hfill \end{array}$$ (A156)

$$\begin{array}{cc}\hfill & =\underset{\left\{\begin{array}{c}{Q}_{U{U}^{\prime }V}:Q_{U^{\prime }}=Q_U,\\ H_Q\left(U\right)\ge R\left(Q_U\right)\end{array}\right\}}{min}\left\{\Psi (R\left(Q_U\right),Q_{U{U}^{\prime }V})+D(Q_{UV}\parallel P_{UV})-H_Q\left(U^{\prime }\right|U,V)+R\left(Q_U\right)\right\}\hfill \\ \hfill & =\underset{\mathcal{Q}}{min}\left\{D(Q_{UV}\parallel P_{UV})+R\left(Q_U\right)-H_Q\left(U^{\prime }\right|U,V)\right.\hfill \end{array}$$ (A157)

$$\begin{array}{cc}\hfill & \left.+{\left[max\{f\left(Q_{UV}\right),\gamma (R\left(Q_U\right),Q_U,Q_V)\}-f\left(Q_{U^{\prime }V}\right)\right]}_{+}\right\},\hfill \end{array}$$ (A158)

with the set $\mathcal{Q}$ given by $\mathcal{Q}=\{Q_{U{U}^{\prime }V}:Q_{U^{\prime }}=Q_U,H_Q\left(U\right)\ge R\left(Q_U\right)\}$, and where,

$$\begin{array}{cc}\hfill \gamma (R(·),Q_U,Q_V)& =\underset{\left\{\begin{array}{c}{Q}_{\tilde{U}|V}:Q_{\tilde{U}}=Q_U,\\ H_Q\left(\tilde{U}\right|V)\ge R\left(Q_{\tilde{U}}\right)\end{array}\right\}}{max}\{f\left(Q_{\tilde{U}V}\right)+H_Q\left(\tilde{U}\right|V)\}-R\left(Q_U\right).\hfill \end{array}$$ (A159)

We upper–bound the minimum in (A158) by decreasing the feasible set; we add to $\mathcal{Q}$ the constraint that $U\leftrightarrow V\leftrightarrow U^{\prime }$ form a Markov chain in that order and denote the new feasible set by $\tilde{\mathcal{Q}}$. We get that

$$\begin{array}{cc}\hfill E_{trc,GLD}\left(R(·)\right)& \le \underset{\tilde{\mathcal{Q}}}{min}\left\{D(Q_{UV}\parallel P_{UV})+R\left(Q_U\right)-H_Q\left(U^{\prime }\right|U,V)\right.\hfill \end{array}$$

$$\begin{array}{cc}\hfill & \left.+{\left[max\{f\left(Q_{UV}\right),\gamma (R\left(Q_U\right),Q_U,Q_V)\}-f\left(Q_{U^{\prime }V}\right)\right]}_{+}\right\}\hfill \\ \hfill & =\underset{\tilde{\mathcal{Q}}}{min}\left\{D(Q_{UV}\parallel P_{UV})+R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)\right.\hfill \end{array}$$ (A160)

$$\begin{array}{cc}\hfill & \left.+{\left[max\{f\left(Q_{UV}\right),\gamma (R\left(Q_U\right),Q_U,Q_V)\}-f\left(Q_{U^{\prime }V}\right)\right]}_{+}\right\}\hfill \\ \hfill & =\underset{\{Q_{UV}:H_Q\left(U\right)\ge R\left(Q_U\right)\}}{min}\left\{D(Q_{UV}\parallel P_{UV})+\underset{Q_{U^{\prime }|V}\in \widehat{\mathcal{Q}}}{min}\{R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)\right.\hfill \end{array}$$ (A161)

$$\begin{array}{cc}\hfill & \left.+{\left[max\{f\left(Q_{UV}\right),\gamma (R\left(Q_U\right),Q_U,Q_V)\}-f\left(Q_{U^{\prime }V}\right)\right]}_{+}\}\right\},\hfill \end{array}$$ (A162)

where $\widehat{\mathcal{Q}}=\{Q_{U^{\prime }|V}:Q_{U^{\prime }}=Q_U\}.$ In order to upper–bound the inner minimum in (A162), we split into two cases, according to the maximum between $f\left(Q_{UV}\right)$ and $\gamma (R\left(Q_U\right),Q_U,Q_V)$. This is legitimate when the inner minimum and this maximum can be interchanged, which is possible at least in the special cases of the matched/mismatched decoding metrics $f\left(Q\right)=\beta {\mathbb{E}}_Q[log\tilde{P}(U,V)]$ for some $\beta >0$, since if $f\left(Q\right)$ is linear, then the entire expression inside the inner minimum in (A162) is convex in $Q_{U^{\prime }|V}$. On the one hand, if the maximum is given by $f\left(Q_{UV}\right)$, then the inner minimum in (A162) is just

$$\begin{array}{c}\hfill \underset{Q_{U^{\prime }|V}\in \widehat{\mathcal{Q}}}{min}\left\{R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)+{\left[f\left(Q_{UV}\right)-f\left(Q_{U^{\prime }V}\right)\right]}_{+}\right\}.\end{array}$$ (A163)

On the other hand, if the maximum is given by $\gamma (R\left(Q_U\right),Q_U,Q_V)$, let $Q^{*}=Q_{\tilde{U}|V}^{*}$ be the maximizer in (A159), and then

$$\begin{array}{cc}\hfill & \underset{Q_{U^{\prime }|V}\in \widehat{\mathcal{Q}}}{min}\left\{R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)+{\left[\gamma (R\left(Q_U\right),Q_U,Q_V)-f\left(Q_{U^{\prime }V}\right)\right]}_{+}\right\}\hfill \end{array}$$

$$\begin{array}{cc}\hfill & =\underset{Q_{U^{\prime }|V}\in \widehat{\mathcal{Q}}}{min}\left\{R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)+{\left[f\left(Q_{\tilde{U}V}^{*}\right)+H_{Q^{*}}\left(\tilde{U}\right|V)-R\left(Q_U\right)-f\left(Q_{U^{\prime }V}\right)\right]}_{+}\right\}\hfill \end{array}$$ (A164)

$$\begin{array}{cc}\hfill & \le R\left(Q_U\right)-H_{Q^{*}}\left(U^{\prime }\right|V)+{\left[f\left(Q_{\tilde{U}V}^{*}\right)+H_{Q^{*}}\left(\tilde{U}\right|V)-R\left(Q_U\right)-f\left(Q_{U^{\prime }V}^{*}\right)\right]}_{+}\hfill \end{array}$$ (A165)

$$\begin{array}{cc}\hfill & =R\left(Q_U\right)-H_{Q^{*}}\left(U^{\prime }\right|V)+{\left[H_{Q^{*}}\left(\tilde{U}\right|V)-R\left(Q_U\right)\right]}_{+}\hfill \end{array}$$ (A166)

$$\begin{array}{cc}\hfill & =R\left(Q_U\right)-H_{Q^{*}}\left(U^{\prime }\right|V)+H_{Q^{*}}\left(\tilde{U}\right|V)-R\left(Q_U\right)\hfill \end{array}$$ (A167)

$$\begin{array}{cc}\hfill & =0,\hfill \end{array}$$ (A168)

where (A165) is because we choose $Q_{U^{\prime }|V}^{*}=Q_{\tilde{U}|V}^{*}$ instead of minimizing over all $Q_{U^{\prime }|V}\in \widehat{\mathcal{Q}}$ and (A167) is true since $H_{Q^{*}}\left(\tilde{U}\right|V)\ge R\left(Q_U\right)$ by the definition of $\gamma (R\left(Q_U\right),Q_U,Q_V)$. Combining (A163) and (A168), we find that (A162) is upper–bounded by

$$\begin{array}{cc}\hfill E_{trc,GLD}\left(R(·)\right)& \le \underset{\left\{Q_{UV}:H_Q\left(U\right)\ge R\left(Q_U\right)\right\}}{min}\left\{D(Q_{UV}\parallel P_{UV})\right.\hfill \end{array}$$

$$\begin{array}{cc}\hfill & \left.+max\left\{\underset{Q_{U^{\prime }|V}\in \widehat{\mathcal{Q}}}{min}\left\{R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)+{\left[f\left(Q_{UV}\right)-f\left(Q_{U^{\prime }V}\right)\right]}_{+}\right\},0\right\}\right\}\hfill \\ \hfill & =\underset{\left\{Q_{UV}:H_Q\left(U\right)\ge R\left(Q_U\right)\right\}}{min}\left\{D(Q_{UV}\parallel P_{UV})\right.\hfill \end{array}$$ (A169)

$$\begin{array}{cc}\hfill & \left.+{\left[\underset{Q_{U^{\prime }|V}\in \widehat{\mathcal{Q}}}{min}\left\{R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)+{\left[f\left(Q_{UV}\right)-f\left(Q_{U^{\prime }V}\right)\right]}_{+}\right\}\right]}_{+}\right\}\hfill \\ \hfill & =\underset{\left\{Q_{UV}:H_Q\left(U\right)\ge R\left(Q_U\right)\right\}}{min}\left\{D(Q_{UV}\parallel P_{UV})\right.\hfill \end{array}$$ (A170)

$$\begin{array}{cc}\hfill & \left.+\underset{Q_{U^{\prime }|V}\in \widehat{\mathcal{Q}}}{min}\left\{{\left[R\left(Q_U\right)-H_Q\left(U^{\prime }\right|V)+{\left[f\left(Q_{UV}\right)-f\left(Q_{U^{\prime }V}\right)\right]}_{+}\right]}_{+}\right\}\right\}\hfill \end{array}$$ (A171)

$$\begin{array}{cc}\hfill & =E_{r,GLD}\left(R(·)\right),\hfill \end{array}$$ (A172)

which proves the first point of the theorem. Moving forward, consider the following:

$$\begin{array}{c}\hfill E_{trc,MAP}\left(R(·)\right)\stackrel{\left(\mathrm{a}\right)}{=}{E}_{r,MAP}\left(R(·)\right)\stackrel{\left(\mathrm{b}\right)}{=}{E}_{r,MCE}\left(R(·)\right)\stackrel{\left(\mathrm{c}\right)}{\le }{E}_{trc,MCE}\left(R(·)\right)\stackrel{\left(\mathrm{d}\right)}{\le }{E}_{trc,MAP}\left(R(·)\right),\end{array}$$ (A173)

where $\left(\mathrm{a}\right)$ follows from the first point in this theorem by using the matched decoding metric $f\left(Q\right)=\beta {\mathbb{E}}_Q[logP(U,V)]$ and letting $\beta \to \infty$. Equality $\left(\mathrm{b}\right)$ is due to the second point of Theorem 1, which ensures that the random binning error exponents of the MAP and the MCE decoders are equal. Passage $\left(\mathrm{c}\right)$ is thanks to the fact that for any decoder, the error exponent of the typical random code is always at least as high as the random coding error exponent and $\left(\mathrm{d}\right)$ is due to the fact that the MAP decoder is optimal. Finally, the leftmost and the rightmost sides of (A173) are the same, which implies that passages $\left(\mathrm{c}\right)$ and $\left(\mathrm{d}\right)$ must hold with equalities. The equality in passage $\left(\mathrm{c}\right)$ concludes the second point of the theorem.

Appendix E. Proof of Theorem 4

The left equality in (33) is implied by the proved equality in passage $\left(\mathrm{d}\right)$ in (A173). In order to prove the right equality in (33), first note that $E_{trc,SCE}\left(R(·)\right)\le E_{trc,MAP}\left(R(·)\right)$ by the optimality of the MAP decoder. For the other direction, consider the universal decoding metric of $f\left(Q_{UV}\right)=-H_Q\left(U\right|V)$. Then, trivially,

$$\begin{array}{cc}\hfill \gamma (R(·),Q_U,Q_V)& =\underset{\left\{\begin{array}{c}{Q}_{\tilde{U}|V}:Q_{\tilde{U}}=Q_U,\\ H_Q\left(\tilde{U}\right|V)\ge R\left(Q_{\tilde{U}}\right)\end{array}\right\}}{max}\{f\left(Q_{\tilde{U}V}\right)+H_Q\left(\tilde{U}\right|V)\}-R\left(Q_U\right)=-R\left(Q_U\right),\hfill \end{array}$$ (A174)

and

$$\begin{array}{cc}\hfill \Psi (R(·),Q_{U{U}^{\prime }V})& ={\left[max\{f\left(Q_{UV}\right),\gamma (R(·),Q_U,Q_V)\}-f\left(Q_{U^{\prime }V}\right)\right]}_{+}\hfill \end{array}$$ (A175)

$$\begin{array}{cc}\hfill & ={\left[max\{-H_Q\left(U\right|V),-R\left(Q_U\right)\}+H_Q\left(U^{\prime }\right|V)\right]}_{+}\hfill \end{array}$$ (A176)

$$\begin{array}{cc}\hfill & ={\left[H_Q\left(U^{\prime }\right|V)-min\{H_Q\left(U\right|V),R\left(Q_U\right)\}\right]}_{+}\hfill \end{array}$$ (A177)

$$\begin{array}{cc}\hfill & \ge {\left[H_Q\left(U^{\prime }\right|U,V)-min\{H_Q\left(U\right|V),R\left(Q_U\right)\}\right]}_{+}.\hfill \end{array}$$ (A178)

We have the following

$$\begin{array}{cc}\hfill & E_{trc,SCE}\left(R(·)\right)\hfill \\ \hfill & =\underset{\mathcal{Q}}{min}\left\{D(Q_{UV}\parallel P_{UV})+R\left(Q_U\right)-H_Q\left(U^{\prime }\right|U,V)\right.\hfill \end{array}$$

$$\begin{array}{cc}\hfill & \left.+{\left[max\{f\left(Q_{UV}\right),\gamma (R\left(Q_U\right),Q_U,Q_V)\}-f\left(Q_{U^{\prime }V}\right)\right]}_{+}\right\}\hfill \\ \hfill & \ge \underset{\mathcal{Q}}{min}\left\{D(Q_{UV}\parallel P_{UV})+R\left(Q_U\right)-H_Q\left(U^{\prime }\right|U,V)\right.\hfill \end{array}$$ (A179)

$$\begin{array}{cc}\hfill & \left.+{\left[H_Q\left(U^{\prime }\right|U,V)-min\{H_Q\left(U\right|V),R\left(Q_U\right)\}\right]}_{+}\right\}\hfill \end{array}$$ (A180)

$$\begin{array}{cc}\hfill & =\underset{\mathcal{Q}}{min}\left\{D(Q_{UV}\parallel P_{UV})-min\{H_Q\left(U\right|V),H_Q\left(U^{\prime }\right|U,V),R\left(Q_U\right)\}+R\left(Q_U\right)\right\}\hfill \end{array}$$ (A181)

$$\begin{array}{cc}\hfill & \ge \underset{\mathcal{Q}}{min}\left\{D(Q_{UV}\parallel P_{UV})-min\{H_Q\left(U\right|V),H_Q\left(U^{\prime }\right),R\left(Q_U\right)\}+R\left(Q_U\right)\right\}\hfill \end{array}$$ (A182)

$$\begin{array}{cc}\hfill & =\underset{\{Q_{UV}:H_Q\left(U\right)\ge R\left(Q_U\right)\}}{min}\left\{D(Q_{UV}\parallel P_{UV})-min\{H_Q\left(U\right|V),H_Q\left(U\right),R\left(Q_U\right)\}+R\left(Q_U\right)\right\}\hfill \end{array}$$ (A183)

$$\begin{array}{cc}\hfill & =\underset{\{Q_{UV}:H_Q\left(U\right)\ge R\left(Q_U\right)\}}{min}\left\{D(Q_{UV}\parallel P_{UV})-min\{H_Q\left(U\right|V),R\left(Q_U\right)\}+R\left(Q_U\right)\right\}\hfill \end{array}$$ (A184)

$$\begin{array}{cc}\hfill & =\underset{\{Q_{UV}:H_Q\left(U\right)\ge R\left(Q_U\right)\}}{min}\left\{D(Q_{UV}\parallel P_{UV})+max\{R\left(Q_U\right)-H_Q\left(U\right|V),0\}\right\}\hfill \end{array}$$ (A185)

$$\begin{array}{cc}\hfill & =\underset{\{Q_{UV}:H_Q\left(U\right)\ge R\left(Q_U\right)\}}{min}\left\{D(Q_{UV}\parallel P_{UV})+{[R\left(Q_U\right)-H_Q\left(U\right|V)]}_{+}\right\}\hfill \end{array}$$ (A186)

$$\begin{array}{cc}\hfill & =E_{trc,MAP}\left(R(·)\right),\hfill \end{array}$$ (A187)

which completes the proof of the theorem.

Appendix F. Proof of Theorem 5

We start by writing the expression in (34) in a slightly different way using

${min}_{\{Q:g(Q)\le 0\}}f\left(Q\right)={min}_Q{sup}_{s\ge 0}\{f\left(Q\right)+s·g\left(Q\right)\}$:

$$\begin{array}{cc}\hfill E_{er}(R(·),\Delta )& =\underset{\{Q_{UV}:R\left(Q_U\right)\ge H_Q\left(U\right|V)+\Delta \}}{min}D(Q_{UV}\parallel P_{UV})\hfill \end{array}$$ (A188)

$$\begin{array}{cc}\hfill & =\underset{Q_{UV}}{min}\underset{\sigma \ge 0}{sup}\{D(Q_{UV}\parallel P_{UV})+\sigma ·(H_Q\left(U\right|V)+\Delta -R\left(Q_U\right))\}.\hfill \end{array}$$ (A189)

Now, the requirement $E_{er}(R(·),\Delta )\ge {\mathsf{E}}_r$ is equivalent to

$$\begin{array}{cc}\hfill & \underset{Q_{UV}}{min}\underset{\sigma \ge 0}{sup}\{D(Q_{UV}\parallel P_{UV})+\sigma ·(H_Q\left(U\right|V)+\Delta -R\left(Q_U\right))\}\ge {\mathsf{E}}_r\hfill \end{array}$$ (A190)

or,

$$\begin{array}{cc}\hfill & \forall Q_{UV},\exists \sigma \ge 0,D(Q_{UV}\parallel P_{UV})+\sigma ·(H_Q\left(U\right|V)+\Delta -R\left(Q_U\right))\ge {\mathsf{E}}_r\hfill \end{array}$$ (A191)

or,

$$\begin{array}{cc}\hfill & \forall Q_U,\forall Q_{V|U},\exists \sigma \ge 0,R\left(Q_U\right)\le H_Q\left(U\right|V)+\Delta +\frac{D(Q_{UV}\parallel P_{UV})-{\mathsf{E}}_r}{\sigma }\hfill \end{array}$$ (A192)

or that for any $Q_U\in \mathcal{P}\left(\mathcal{U}\right)$,

$$\begin{array}{cc}\hfill R\left(Q_U\right)& \le \underset{Q_{V|U}}{min}\underset{\sigma \ge 0}{sup}\left\{H_Q\left(U\right|V)+\Delta +\frac{D(Q_{UV}\parallel P_{UV})-{\mathsf{E}}_r}{\sigma }\right\}\hfill \end{array}$$ (A193)

$$\begin{array}{cc}\hfill & =\underset{Q_{V|U}}{min}\left\{\begin{array}{cc}{H}_Q\left(U\right|V)+\Delta \hfill & D(Q_{UV}\parallel P_{UV})\le {\mathsf{E}}_r\hfill \\ \infty \hfill & D(Q_{UV}\parallel P_{UV})>{\mathsf{E}}_r\hfill \end{array}\right.\hfill \end{array}$$ (A194)

$$\begin{array}{cc}\hfill & =\underset{\{Q_{V|U}:D(Q_{UV}\parallel P_{UV})\le {\mathsf{E}}_r\}}{min}\left\{H_Q\left(U\right|V)+\Delta \right\},\hfill \end{array}$$ (A195)

with the understanding that a minimum over an empty set equals infinity.

Appendix G. Proof of Theorem 6

It follows by the identities ${min}_{\{Q:g(Q)\le 0\}}f\left(Q\right)={min}_Q{sup}_{s\ge 0}\{f\left(Q\right)+s·g\left(Q\right)\}$ and ${\left[A\right]}_{+}={max}_{\mu \in [0,1]}\mu A$ that (24) can also be written as

$$\begin{array}{cc}\hfill E_e\left(R(·)\right)=\underset{Q_U}{min}\underset{Q_{V|U}}{min}\underset{\mu \in [0,1]}{max}\underset{\sigma \ge 0}{sup}\{D(Q_{UV}\parallel P_{UV})& +\mu ·(R\left(Q_U\right)-H_Q\left(U\right|V))\hfill \\ \hfill & +\sigma ·(R\left(Q_U\right)-H_Q\left(U\right))\},\hfill \end{array}$$ (A196)

such that $E_e\left(R(·)\right)\ge {\mathsf{E}}_e$ is equivalent to

$$\begin{array}{cc}\hfill & \forall Q_U,\forall Q_{V|U},\exists \mu \in [0,1],\exists \sigma \ge 0:\hfill \\ \hfill & D(Q_{UV}\parallel P_{UV})+\mu ·(R\left(Q_U\right)-H_Q\left(U\right|V))+\sigma ·(R\left(Q_U\right)-H_Q\left(U\right))\ge {\mathsf{E}}_e,\hfill \end{array}$$ (A197)

or,

$$\begin{array}{cc}\hfill & \forall Q_U,\forall Q_{V|U},\exists \mu \in [0,1],\exists \sigma \ge 0:\hfill \\ \hfill & R\left(Q_U\right)\ge \frac{\mu ·H_Q\left(U\right|V)+\sigma ·H_Q\left(U\right)+{\mathsf{E}}_e-D(Q_{UV}\parallel P_{UV})}{\mu +\sigma },\hfill \end{array}$$ (A198)

or that for any $Q_U\in \mathcal{P}\left(\mathcal{U}\right)$,

$$\begin{array}{cc}\hfill R\left(Q_U\right)& \ge \underset{Q_{V|U}}{max}\underset{\mu \in [0,1]}{min}\underset{\sigma \ge 0}{inf}\left\{\frac{\mu ·H_Q\left(U\right|V)+\sigma ·H_Q\left(U\right)+{\mathsf{E}}_e-D(Q_{UV}\parallel P_{UV})}{\mu +\sigma }\right\}\hfill \end{array}$$ (A199)

$$\begin{array}{cc}\hfill & =\underset{Q_{V|U}}{max}\underset{\mu \in [0,1]}{min}min\left\{H_Q\left(U\right),H_Q\left(U\right|V)+\frac{{\mathsf{E}}_e-D(Q_{UV}\parallel P_{UV})}{\mu }\right\}\hfill \end{array}$$ (A200)

$$\begin{array}{cc}\hfill & =\underset{Q_{V|U}}{max}min\left\{H_Q\left(U\right),\underset{\mu \in [0,1]}{min}\left\{H_Q\left(U\right|V)+\frac{{\mathsf{E}}_e-D(Q_{UV}\parallel P_{UV})}{\mu }\right\}\right\}\hfill \end{array}$$ (A201)

$$\begin{array}{cc}\hfill & =\underset{Q_{V|U}}{max}\left\{\begin{array}{cc}min\{H_Q\left(U\right),H_Q\left(U\right|V)+{\mathsf{E}}_e-D(Q_{UV}\parallel P_{UV})\}\hfill & {\mathsf{E}}_e\ge D(Q_{UV}\parallel P_{UV})\hfill \\ -\infty \hfill & {\mathsf{E}}_e<D(Q_{UV}\parallel P_{UV})\hfill \end{array}\right.\hfill \end{array}$$ (A202)

$$\begin{array}{cc}\hfill & =\underset{\{Q_{V|U}:D(Q_{UV}\parallel P_{UV})\le {\mathsf{E}}_e\}}{max}min\{H_Q\left(U\right),H_Q\left(U\right|V)+{\mathsf{E}}_e-D(Q_{UV}\parallel P_{UV})\}\hfill \end{array}$$ (A203)

$$\begin{array}{cc}\hfill & =min\left\{H_Q\left(U\right),\underset{\{Q_{V|U}:D(Q_{UV}\parallel P_{UV})\le {\mathsf{E}}_e\}}{max}\{H_Q\left(U\right|V)+{\mathsf{E}}_e-D(Q_{UV}\parallel P_{UV})\}\right\},\hfill \end{array}$$ (A204)

and the proof is complete.

Author Contributions

Both authors contributed equally to this research. All authors have read and agreed to the published version of the manuscript.

Funding

This research was supported by the Israel Science Foundation (ISF) grant number 137/18.

Conflicts of Interest

The authors declare no conflict of interest.