Covert Communication with Finite Blocklength in AWGN Channels

Abstract

Covert communication is to achieve a reliable transmission from a transmitter to a receiver while guaranteeing an arbitrarily small probability of this transmission being detected by a warden. In this work, we study the covert communication in AWGN channels with finite blocklength, in which the number of channel uses is finite. Specifically, we analytically prove that the entire block (all available channel uses) should be utilized to maximize the effective throughput of the transmission subject to a predetermined covert requirement. This is a nontrivial result because more channel uses results in more observations at the warden for detecting the transmission. We also determine the maximum allowable transmit power per channel use, which is shown to decrease as the blocklength increases. Despite the decrease in the maximum allowable transmit power per channel use, the maximum allowable total power over the entire block is proved to increase with the blocklength, which leads to the fact that the effective throughput increases with the blocklength.

I Introduction

In future wireless networks, the demand for wireless data is growing at such a rate that requires 1000x today’s capacity in the next five to ten years. Against this background, crucial concerns on the security and privacy of wireless communications are emerging since a large amount of confidential information (e.g., email/bank account information and password, credit card details) is transferred over wireless networks. In addition to the secrecy and integrity of the transmitted information, in some scenarios a user may wish to transmit messages over wireless networks without being detected. This is due to the fact that (for example) the exposure of this transmission may disclose the user’s location information, which probably violates the privacy of the user. Therefore, covert communication is attracting an increasing amount of research interests recently (e.g., [1, 2, 3]). In covert communication, a transmitter (Alice) intends to communicate with a legitimate receiver (Bob) without being detected by a warden (Willie), who is observing this communication.

In fact, covert communication was addressed by spread spectrum techniques in the early 20th century and a review on spread spectrum techniques can be found in [4]. However, the performance limit of covert communication has not been fully examined in the literature and recently attracts much research attention. Considering additive white Gaussian noise (AWGN) channels, a square root law has been derived in [5], which states that Alice can transmit no more than $𝒪(\sqrt{n})$ bits in $n$ channel uses covertly and reliably to Bob. Following [5], the scaling constant of the amount of information with respect to the square root of $n$ was characterized for a broad class of discrete memoryless channels (DMCs) and AWGN channels in [6]. We note that this square root law requires a pre-shared secret to be established between Alice and Bob prior to Alice’s transmission. This pre-shared secret is proved to be unnecessary for the square root law when the channel quality from Alice to Bob is higher than that from Alice to Willie, for binary symmetric channel (BSC) [7], DMC [8], and AWGN channel [8].

In the square root law we have $𝒪(\sqrt{n})/n\to 0$ as $n\to \mathrm{\infty }$, which states that the rate is asymptotically zero (i.e., the average number of bits that can be covertly and reliably transmitted per channel use asymptotically approaches zero). However, in some scenarios a positive rate has been proved to be achievable (e.g., [7, 9, 10, 11, 12, 13]). For example, it is proved that a positive rate can be obtained when Willie has uncertainty about the receiver noise variance in AWGN channels [11, 13], when Willie does not exactly know the receiver noise model in BSC channels [7], or when Willie lacks knowledge of his channel characteristics in AWGN and block fading channels [12, 13]. In addition to the noise or channel uncertainty, as proved in [10] a positive rate can also be achieved when Willie has uncertainty on the time instant of the communication.

In the literature as seen in the aforementioned works, only [11] mentioned the impact of finite samples (i.e., finite $n$) on the detection performance at Willie. It is numerically shown that with noise uncertainty at Willie there may exist an optimal number of samples that maximizes the communication rate subject to $\xi \ge 1-ϵ$, where $\xi$ is the sum of false positive and miss detection rates at Willie and is an arbitrarily small number. Besides the detection performance at Willie, finite $n$ also has significant impact on the maximal achievable rate $R$ of the channel from Alice to Bob (i.e., the maximal achievable rate decreases as $n$ decreases for a fixed decoding error probability $\delta$) [14], which has not been considered in the literature of covert communication (including [11]). Therefore, the impact of finite $n$ on covert communication has not been well examined. This leaves a significant gap in our understanding of the performance limit of practical covert communication, since in practice the length of a codeword is always finite. For example, to achieve transmission efficiency (e.g., short delay) we may require the codeword to be short (e.g., in the order of $100$ channel uses) for vehicle-to-vehicle communication or real-time video processing [15].

I-A Our Contributions

Considering AWGN channels, we study the impact of finite $n$ on both the maximal achievable rate at Bob and detection performance at Willie in covert communication. To this end, noting that the decoding error probability $\delta$ is not negligible when $n$ is finite, we first propose to adopt the effective throughput $\eta$ (i.e., $\eta =nR(1-\delta )$) subject to $\xi \ge 1-ϵ$, as the performance metric to evaluate covert communication. As can be seen from the definition of $\eta$, it explicitly captures the tradeoff among $n$, $R$, and $\delta$ for a given covert requirement.

We consider a maximum blocklength of $N$ channel uses, in which the covert information needs to be transmitted. Hence, the actual number of channel uses $n$ is constrained by $n\le N$. Although a larger $n$ offers more observations to Willie for detecting the transmission, we analytically prove that the optimal value of $n$ that maximizes $\eta$ subject to the given covert requirement is $N$ (i.e., the entire block with all available channel uses). We also determine the maximum allowable transmit power per channel use (denoted by $P^{\ast }$) that achieves the maximum $\eta$. Our examination shows that $P^{\ast }$ decreases as $N$ increases, which is due to the fact that increasing $N$ forces Alice to allocate less power for each channel use to meet the covert requirement. Nevertheless, we show that the maximum allowable total transmit power (i.e., $N{P}^{\ast }$) increases as $N$ increases, which leads to the fact that the effective throughput of the communication from Alice to Bob increases as $N$ increases. The results in this paper, for the first time, provide important insights on the design of covert communication with a finite blocklength.

Notations: Scalar variables are denoted by italic symbols. Vectors and matrices are denoted by lower-case and upper-case boldface symbols, respectively. Given a vector $𝐱$, $x[i]$ denotes the $i$-th element of $𝐱$. The expectation is denoted by $𝔼\{\cdot \}$ and $𝒞𝒩(0,{\sigma }^2)$ denotes the circularly-symmetric complex normal distribution with zero mean and variance ${\sigma }^2$.

II System Model

II-A Channel Model

Figure 1: Illustration of the system model of interest for covert communication.

The system model of interest for covert communication is illustrated in Fig. 1, where each of Alice, Bob, and Willie is equipped with a single antenna. We assume the channel from Alice to Bob and the channel from Alice to Willie are only subject to AWGN. In the covert communication, Alice transmits $n$ complex-valued symbols $x[i]$ ($i=1,2,\mathrm{\dots },n$) in each codeword to Bob, while Willie is passively collecting $n$ observations on Alice’s transmission to detect her presence (i.e., whether Alice is transmitting). In this work, we consider that the length of a codeword is constrained by a maximum blocklength denoted by $N$. Thus, we have $n\le N$ as a constraint on $n$. We denote the AWGN at Bob and Willie as $r_b[i]$ and $r_w[i]$, respectively, where $r_b[i]\sim 𝒞𝒩(0,{\sigma }_b^2)$, $r_w[i]\sim 𝒞𝒩(0,{\sigma }_w^2)$, ${\sigma }_b^2$ and ${\sigma }_w^2$ are the noise variances at Bob and Willie, respectively. In addition, we assume that $x[i]$, $r_b[i]$, and $r_w[i]$ are mutually independent. We denote the transmit power of Alice as $P$ (i.e., $𝔼\{{|x[i]|}^2\}=P$). Furthermore, we assume that Alice adopts Gaussian signaling, i.e., $x[i]\sim 𝒞𝒩(0,P)$.

II-B Channel Coding Rate for Finite Blocklength

The received signal at Bob for each signal symbol is given by

$y_b[i]=x[i]+r_b[i].$ (1)

As pointed out by [14], the decoding error probability at Bob is not negligible when $n$ is finite. As such, for a given decoding error probability $\delta$ the channel coding rate of the channel from Alice to Bob can be approximated by [14, 16]

$R\approx {\log }_2(1+{\gamma }_b)-\sqrt{{\displaystyle \frac{{\gamma }_b({\gamma }_b+2)}{n{({\gamma }_b+1)}^2}}}{\displaystyle \frac{Q^{-1}(\delta )}{\ln (2)}}+{\displaystyle \frac{{\log }_2(n)}{2n}},$ (2)

where ${\gamma }_b=P/{\sigma }_b^2$ is the signal-to-noise ratio (SNR) at Bob, and $Q^{-1}(\cdot )$ is the inverse Q-function. Equivalently, for a given channel coding rate $R$, the decoding error probability at Bob is given by

$\delta =Q\left({\displaystyle \frac{\sqrt{n}(1+{\gamma }_b)\left(\ln (1+{\gamma }_b)+\frac{1}{2}\ln (n)-R\ln 2\right)}{\sqrt{{\gamma }_b({\gamma }_b+2)}}}\right).$ (3)

II-C Binary Hypothesis Testing at Willie

In order to detect Alice’s presence, Willie is to distinguish the following two hypotheses

(4)

where ${\mathscr{H}}_0$ denotes the null hypothesis where Alice is not transmitting, ${\mathscr{H}}_1$ denotes the alternative hypothesis where Alice is transmitting, and $y_w[i]$ is the received signal at Willie. Following the assumptions detailed in Section II-A, we have the likelihood functions of $y_w[i]$ under ${\mathscr{H}}_0$ and ${\mathscr{H}}_1$ as $f(y_w[i]|{\mathscr{H}}_0)=𝒞𝒩(0,{\sigma }_w^2)$ and $f(y_w[i]|{\mathscr{H}}_1)=𝒞𝒩(0,P+{\sigma }_w^2)$, respectively. In the cover communication, the ultimate goal of Willie is to minimize the total error rate, which is given by

$\xi =P_F+P_M,$ (5)

where $P_F\triangleq \mathrm{Pr}({𝒟}_1|{\mathscr{H}}_0)$ is the false positive rate, $P_M\triangleq \mathrm{Pr}({𝒟}_0|{\mathscr{H}}_1)$ is the miss detection rate, ${𝒟}_1$ and ${𝒟}_0$ are the binary decisions that infer whether Alice is present or not, respectively. We assume that Willie knows both $P$ and ${\sigma }_w^2$ exactly, and thus the optimal test that minimizes $\xi$ is the likelihood ratio test with $\lambda =1$ as the threshold, which is given by

(6)

After performing some algebraic manipulations, (6) can be reformulated as

(7)

where $T$ is the average power of each received symbol at Willie and $\mathrm{\Gamma }$ is the threshold for $T$, which is given by

$\mathrm{\Gamma }={\displaystyle \frac{(P+{\sigma }_w^2){\sigma }_w^2}{P}}\ln \left({\displaystyle \frac{P+{\sigma }_w^2}{{\sigma }_w^2}}\right).$ (8)

As per (6) and (7), we note that the radiometer is indeed the optimal detector when Willie knows the likelihood functions exactly (i.e., there are no nuisance parameters embedded in the likelihood functions). Following (7) and noting that $T$ is a chi-squared random variable with $2n$ degrees of freedom, the false positive rate and miss detection rate are given by [9, 11]

$P_F$ $=\mathrm{Pr}(T>\mathrm{\Gamma }|{\mathscr{H}}_0)=1-{\displaystyle \frac{\gamma (n,\frac{n\mathrm{\Gamma }}{{\sigma }_w^2})}{\mathrm{\Gamma }(n)}},$ (9)

$P_M$ (10)

where $\mathrm{\Gamma }(n)=(n-1)!$ is the gamma function and $\gamma (\cdot ,\cdot )$ is the incomplete gamma function given by

$\gamma (n,x)={\displaystyle {\int }_0^x}{e}^{-t}{t}^{n-1}𝑑t.$ (11)

With the radiometer as the optimal detector, following Pinsker’s inequality, we have a lower bound on $\xi$, which is given by [5, 17, 18]

$\xi \ge 1-\sqrt{{\displaystyle \frac{1}{2}}𝒟({\mathbb{P}}_0\parallel {\mathbb{P}}_1)},$ (12)

where $𝒟({\mathbb{P}}_0\parallel {\mathbb{P}}_1)$ is the Kullback-Leibler (KL) divergence from ${\mathbb{P}}_0$ to ${\mathbb{P}}_1$, which can be expressed as

$𝒟({\mathbb{P}}_0\parallel {\mathbb{P}}_1)=n\left[\ln \left({\displaystyle \frac{P+{\sigma }_w^2}{{\sigma }_w^2}}\right)-{\displaystyle \frac{P}{P+{\sigma }_w^2}}\right].$ (13)

II-D Covert Requirement

Covert communication requires $\xi \ge 1-ϵ$ for some arbitrarily small $ϵ$. As per (12), we can ensure $𝒟({\mathbb{P}}_0\parallel {\mathbb{P}}_1)\le 2{ϵ}^2$ in order to guarantee $\xi \ge 1-ϵ$. We note that $𝒟({\mathbb{P}}_0\parallel {\mathbb{P}}_1)\le 2{ϵ}^2$ is a more strict constraint relative to $\xi \ge 1-ϵ$ as per (12). From a conservative point of view and to avoid the complex expressions for $P_F$ and $P_M$, in this work we adopt $𝒟({\mathbb{P}}_0\parallel {\mathbb{P}}_1)\le 2{ϵ}^2$ as the requirement for covert communication. Also, the value of $ϵ$ is especially very small in order to provide good covertness. Thus, in this work we only consider $ϵ\in (0,0.5]$ because $ϵ>0.5$ means that Willie is allowed to achieve more than 50% success detection rate.

III Covert Communication with A Finite Number of Channel Uses

In this section, we first adopt the effective throughput to evaluate the performance of covert communication in AWGN channels with finite blocklength. Then, we determine the optimal $n$ and $P$ that maximize this effective throughput subject to the covert requirement.

III-A Effective Throughput

The square root law states that Alice can transmit no more than $𝒪(\sqrt{n})$ bits in $n$ channel uses covertly and reliably to Bob. Such scaling-law results are obtained when $n\to \mathrm{\infty }$. As such, these square-law results cannot be applied in the covert communication with finite $n$. In this work, we focus on the amount of information that can be transmitted reliably from Alice to Bob for a given positive $ϵ$. Noting that the decoding error probability of a channel with finite blocklength is not negligible, we adopt the effective throughput from Alice to Bob as the main performance metric for the covert communication with finite blocklength, while utilizing the covert requirement as the constraint. The effective throughput from Alice to Bob is defined as [20, 19]

$\eta =nR(1-\delta ).$ (14)

We note that $\eta$ gives the average number of information bits that can be transmitted from Alice to Bob reliably (excluding information bits suffering from decoding errors) by utilizing a codeword with finite length $n$.

III-B Optimal Number of Channel Uses and Transmit Power

The ultimate goal of our design in covert communication is to achieve the maximum effective throughput while guaranteeing the covert requirement. To this end, we first consider a fixed channel coding rate $R$ and focus on the design of the number of channel uses and the transmit power $P$, since the design of $n$ and $P$ affects both the effective throughput from Alice to Bob and the detection performance at Willie. As such, for a given $R$ the optimization problem in the covert communication of interest can be written as

$\underset{n,P}{argmax}\eta ,$ (15)

$\text{s.t.}𝒟({\mathbb{P}}_0\parallel {\mathbb{P}}_1)\le 2{ϵ}^2,$ (16)

$n\le N.$ (17)

Theorem 1

The optimal values of $n$ and $P$ that maximize the effective throughput $\eta$ subject to $𝒟({\mathbb{P}}_0\parallel {\mathbb{P}}_1)\le 2{ϵ}^2$ and $n\le N$ are derived as

$n^{\ast }$ $=N,$ (18)

$P^{\ast }$ $=({\sigma }_w^2+P^{\ast })\left[\ln \left({\displaystyle \frac{P^{\ast }}{{\sigma }_w^2}}+1\right)-2{ϵ}^{2}N\right],$ (19)

where $P^{\ast }$ is the solution to the fixed-point equation (19).

Proof:

The detailed proof is provided in Appendix. ∎

Based on Theorem 1, we see that it is best for Alice to transmit over all available channel uses for covert communication, provided that the transmit power is optimized to maintain the same level of covertness despite that Willie has more observations when $n$ is larger. The same level of covertness is achieved by reducing the transmit power when $n$ becomes larger, which can be seen from (19) that $P^{\ast }$ decreases with $N$. It is interesting to observe that both $n^{\ast }$ and $P^{\ast }$ are not functions of $R$. This demonstrates that the obtained $n^{\ast }$ and $P^{\ast }$ are globally optimal, regardless the value of the channel coding rate $R$. As such, the optimal value of $R$ that maximizes the effective throughput subject to the covert requirement can be obtained through

$R^{\ast }=\underset{0\le R}{argmin}NR\left[1-\delta (P^{\ast },N,R)\right],$ (20)

where $\delta (P^{\ast },N,R)$ is obtained by substituting $P=P^{\ast }$ and $n^{\ast }=N$ into (3). We note that $R^{\ast }$ can be also obtained through searching the optimal value of $\delta$ that maximizes $\eta$ for $n^{\ast }=N$ and $P=P^{\ast }$. We define ${\delta }^{\ast }=\delta (P^{\ast },N,R^{\ast })$ and denote the maximum effective throughput as ${\eta }^{\ast }$, which is achieved by substituting $P^{\ast }$, $n^{\ast }$, $R^{\ast }$, and ${\delta }^{\ast }$ into (14).

IV Numerical Results

In this section, we provide numerical results on the effective throughput subject to $\xi \ge 1-ϵ$ to verify our analysis on the covert communication with $𝒟({\mathbb{P}}_0\parallel {\mathbb{P}}_1)\le 2{ϵ}^2$ as the constraint.

Figure 2: Maximum allowable total transmit power $N{P}^{\ast }$ versus $ϵ$ for different values of $N$, where ${\sigma }_b^2={\sigma }_w^2=1$.

In Fig. 2 we plot the maximum allowable total transmit power $N{P}^{\ast }$ over the entire block versus $ϵ$. In this figure and the following figures, the curves for $\xi \ge 1-ϵ$ are achieved by numerically evaluating the false positive and detection rates as per (9) and (10), respectively. In this figure, we observe that the $N{P}^{\ast }$ with $\xi \ge 1-ϵ$ as the constraint is higher than that with $𝒟({\mathbb{P}}_0\parallel {\mathbb{P}}_1)\le 2{ϵ}^2$ as the constraint. This is due to the fact that the equality in (12) cannot be achieved in the considered system model, and hence $𝒟({\mathbb{P}}_0\parallel {\mathbb{P}}_1)\le 2{ϵ}^2$ is a more strict constraint than $\xi \ge 1-ϵ$. We also observe that $N{P}^{\ast }$ increases (hence the effective throughput increases) as $N$ increases, which can be explained by our Theorem 1. Finally, we observe that $N{P}^{\ast }$ decreases (hence the effective throughput decreases) as $ϵ$ decreases, which demonstrates the tradeoff between the covert requirement and the achievable effective throughput (e.g., a more strict covert requirement leads to a smaller effective throughput).

Figure 3: $N{P}^{\ast }$, $\eta$, $P^{\ast }$, and $\eta /N$ versus $N$, where ${\sigma }_b^2={\sigma }_w^2=1$, $\delta =0.01$, and $ϵ=0.1$.

In Fig. 3, we plot $N{P}^{\ast }$, $\eta$, $P^{\ast }$, and $\eta /N$ versus $N$ in different sub-figures, respectively. As expected, we first observe that $N{P}^{\ast }$ and $\eta$ monotonically increase as $N$ increases in Fig. 3 (a) and Fig. 3 (b), respectively. Although $N{P}^{\ast }$ increases as shown in Fig. 3 (a), it is interesting to observe that the maximum allowable transmit power $P^{\ast }$ monotonically decreases as $N$ increases in Fig. 3 (c). This can be explained by (19) in our Theorem 1. Intuitively, this is due to the fact that as the number of observations at Willie increases, Alice has to reduce her transmit power in order to meet the same detection performance at Willie. In Fig. 3 (d), we observe that the effective throughput per channel use (i.e., $\eta /N$) monotonically increases as $N$ increases. This is due to the fact that the decrease in $\delta$ (i.e., the decoding error probability given in (3)) caused by increasing $N$ is more than the increase in $\delta$ caused by the reduction of $P^{\ast }$ as shown in Fig. 3 (c). These aforementioned observations based on Fig. 3 demonstrate that increasing $N$ not only helps Alice to allocate less transmit power to each channel use in order to maintain the same level of covertness, but also reduces the decoding error probability in the communication from Alice to Bob, which turns out to improve the effective throughput of the covert communication.

Figure 4: Effective throughput $\eta$ versus the decoding error probability $\delta$ for different values of $N$, where ${\sigma }_b^2={\sigma }_w^2=1$ and $ϵ=0.1$.

In Fig. 4, we plot the effective throughput $\eta$ subject to $\xi \ge 1-ϵ$ versus the decoding error probability $\delta$. We first observe that the optimal value of $\delta$ that maximizes $\eta$ indeed exists, based on which we can determine the optimal $R$. We also observe that the optimal value of $\delta$ decreases as $N$ increases. As shown in Fig. 3 (c), the maximum allowable transmit power $P^{\ast }$ decreases as $N$ increases. As per (2), the observation, that both ${\delta }^{\ast }$ and $P^{\ast }$ decreases as $N$ increases, indicates that the optimal channel coding rate $R^{\ast }$ decreases as $N$ increases. We also plot the maximum effective throughput per channel use (i.e., ${\eta }^{\ast }/N$) versus $N$ in Fig. 5. In this figure, we first observe that as $N$ increases ${\eta }^{\ast }/N$ increases, which is consistent with our observation found in Fig. 3 (d). We also observe that as $ϵ$ increases slightly (e.g., from $0.02$ to $0.08$) ${\eta }^{\ast }/N$ significantly increases. This demonstrates that the achievable effective throughput is very sensitive to the the covert requirement.

V Conclusion

This work investigated the covert communication with finite blocklength (i.e., a finite number of channel uses $n\le N$) over AWGN channels. We proved that the effective throughput of covert communication is maximized when all available channel uses are utilized, i.e., $n^{\ast }=N$. To guarantee the same level of covertness, the maximum allowable transmit power per channel use decreases as $N$ increases, while the maximum allowable total transmit power over all channel uses increases as $N$ increases. In contrast, we found that both the effective throughput and the effective throughput per channel use increase as $N$ increases. This is due to the fact that increasing $N$ not only reduces the transmit power allocated to each channel use, but also decreases the decoding error probability of the communication from Alice to Bob.

Appendix

We present our proof of Theorem 1 in the following 6 steps.

Step 1: We note that $\eta$ and $𝒟({\mathbb{P}}_0\parallel {\mathbb{P}}_1)$ are both monotonically increasing functions of $P$ and $n$. As such, we can conclude that the equality in the constraint (16) is always met in order to maximize $\eta$. Thus, we have $𝒟({\mathbb{P}}_0\parallel {\mathbb{P}}_1)=2{ϵ}^2$ and following (13) we have

$n={\displaystyle \frac{2{ϵ}^2}{f({\gamma }_w)}},$ (21)

where

$f({\gamma }_w)\triangleq {\displaystyle \frac{𝒟({\mathbb{P}}_0\parallel {\mathbb{P}}_1)}{n}}=\ln \left({\gamma }_w+1\right)-{\displaystyle \frac{{\gamma }_w}{{\gamma }_w+1}},$ (22)

and ${\gamma }_w=P/{\sigma }_w^2$ is the SNR at Willie.

Step 2: We note $f(0)=0$ and we derive the first derivative of $f({\gamma }_w)$ with respect to ${\gamma }_w$ as

${\displaystyle \frac{\partial f({\gamma }_w)}{\partial {\gamma }_w}}={\displaystyle \frac{{\gamma }_w}{{({\gamma }_w+1)}^2}}\ge 0,$ (23)

which leads to the fact that $f({\gamma }_w)$ is a monotonically increasing function of ${\gamma }_w$. With the constraint $𝒟({\mathbb{P}}_0\parallel {\mathbb{P}}_1)=2{ϵ}^2$, $n$ is a monotonically decreasing function of $f({\gamma }_w)$ as per (21), which results in that $n$ is a monotonically decreasing function of ${\gamma }_w$ (thus of $P$).

Step 3: Instead of directly proving $n^{\ast }=N$ for maximizing the effective throughput, we next prove that $n^{\ast }=N$ maximizes $n{\gamma }_w$ (i.e., maximizes $nP$) under the constraint (21) in the remaining steps. This is due to the fact that $nP$ is the total transmit power for the $n$ channel uses and the effective throughput increases as the total transmit power increases [14].

Step 4: We next prove that either $n=1$ or $n=N$ maximizes $n{\gamma }_w$. To this end, in the following we first show that $n{\gamma }_w$ initially decreases and then increases with $n$. Following (21) and (22), we have

$n{\gamma }_w={\displaystyle \frac{2{ϵ}^2}{g({\gamma }_w)}},$ (24)

where $g({\gamma }_w)$ is given by

$g({\gamma }_w)={\displaystyle \frac{\ln (1+{\gamma }_w)}{{\gamma }_w}}-{\displaystyle \frac{1}{1+{\gamma }_w}}.$ (25)

We then derive the first derivative of $g({\gamma }_w)$ with respect to ${\gamma }_w$ as

${\displaystyle \frac{\partial g({\gamma }_w)}{\partial {\gamma }_w}}={\displaystyle \frac{h({\gamma }_w)}{{\gamma }_w^2{(1+{\gamma }_w)}^2}},$ (26)

where

$h({\gamma }_w)=2{\gamma }_w^2+{\gamma }_w-{(1+{\gamma }_w)}^2\ln (1+{\gamma }_w).$ (27)

We note that there are only two solutions to $h({\gamma }_w)=0$ for ${\gamma }_w\ge 0$, including ${\gamma }_w=0$ and ${\gamma }_w={\gamma }_w^{†}$. We also note that as ${\gamma }_w\to \mathrm{\infty }$ we have $h({\gamma }_w)\to -\mathrm{\infty }$. Then, we can conclude that $h({\gamma }_w)\ge 0$ for and $h({\gamma }_w)\le 0$ for ${\gamma }_w\ge {\gamma }_w^{†}$. As such, noting ${\gamma }_w^2{(1+{\gamma }_w)}^2\ge 0$ and following (26), we have $\partial g({\gamma }_w)/\partial {\gamma }_w\ge 0$ for and $\partial g({\gamma }_w)/\partial {\gamma }_w\le 0$ for ${\gamma }_w\ge {\gamma }_w^{†}$. This indicates that $g({\gamma }_w)$ initially increases and then decreases with ${\gamma }_w$. As per (24), we know that $n{\gamma }_w$ monotonically decreases with $g({\gamma }_w)$, which leads to the fact that $n{\gamma }_w$ first decreases and then increases as ${\gamma }_w$ increases (i.e., $n{\gamma }_w$ has one minimum value but no maximum value). We recall that $n$ is a monotonically decreasing function of ${\gamma }_w$ under the constraint (21), which is proved following (23). Therefore, we conclude that $n{\gamma }_w$ first decreases and then increases as $n$ increases, and thus the maximum value of $n{\gamma }_w$ is achieved either at $n=1$ or $n=N$.

Step 5: We next prove that $n=N$ (not $n=1$) maximizes $n{\gamma }_w$. Substituting ${\gamma }_w^{†}$ into (21), we have $n^{†}=2{ϵ}^2/f({\gamma }_w^{†})$. For , we have due to $f({\gamma }_w^{†})>0.4675$. When , $n{\gamma }_w$ increases with $n$ due to $n\ge 1$. As such, for the optimal value of $n$ that maximizes $n{\gamma }_w$ is $N$ (i.e., $n^{\ast }=N$). For $0.4835\le ϵ\le 0.5$, we have again due to $f({\gamma }_w^{†})>0.4675$. We next confirm that even for we still have $n^{\ast }=N$. To this end, we only have to confirm $n{\gamma }_w$ for $n=2$ is larger than that for $n=1$. When $n=1$, following (21) we have $f({\gamma }_w)=2{ϵ}^2$. The maximum value of ${\gamma }_w$ that guarantees $f({\gamma }_w)=2{ϵ}^2$ (i.e., $n=1$) is obtained when $ϵ=0.5$ since $f({\gamma }_w)$ is a monotonically increasing function of ${\gamma }_w$ as proved by (23). We obtain this maximum value by solving $f({\gamma }_w)=0.5$ as , which leads to when $n=1$. When $n=2$, following (21) we have $f({\gamma }_w)={ϵ}^2$. The minimum value of ${\gamma }_w$ that guarantees $f({\gamma }_w)={ϵ}^2$ (i.e., $n=2$) is obtained when $ϵ=0.4835$. We obtain this minimum value by solving $f({\gamma }_w)={(0.4835)}^2$ as ${\gamma }_w^{n=2}>1.16$, which leads to $n{\gamma }_w>2.32$ when $n=2$. As such, we have when $n=1$ and $n{\gamma }_w>2.32$ when $n=2$, which results in $n{\gamma }_w$ for $n=2$ is larger than $n{\gamma }_w$ for $n=1$. We recall that $n{\gamma }_w$ monotonically increases with $n$ when $n\ge n^{†}$. Therefore, for $0.4835\le ϵ\le 0.5$ the optimal value of $n$ that maximizes $n{\gamma }_w$ is $N$.

Step 6: So far, we have proved $n^{\ast }=N$. Then, substituting $n^{\ast }=N$ into (21), we obtain the fixed-point equation in (19).