Skip to main content

Energy efficiency in multiaccess fading channels under QoS constraints

Abstract

In this article, transmission over multiaccess fading channels under quality-of-service (QoS) constraints is studied in the low-power and wideband regimes. QoS constraints are imposed as limitations on the buffer violation probability. The effective capacity, which characterizes the maximum constant arrival rates in the presence of such statistical QoS constraints, is employed as the performance metric. A two-user multiaccess channel model is considered, and the minimum bit energy levels and wideband slope regions are characterized for different transmission and reception strategies, namely time-division multiple-access (TDMA), superposition coding with fixed decoding order, and superposition coding with variable decoding order. It is shown that the minimum received bit energies achieved by these different strategies are the same and independent of the QoS constraints in the low-power regime, while they vary with the QoS constraints in the wideband regime. When wideband slope regions are considered, the suboptimality of TDMA with respect to superposition coding is proven in the low-power regime. On the other hand, it is shown that TDMA in the wideband regime can interestingly outperform superposition coding with fixed decoding order. The impact of varying the decoding order at the receiver under certain assumptions is also investigated. Overall, energy efficiency of different transmission strategies under QoS constraints are analyzed and quantified.

1. Introduction

Energy efficiency is an important consideration in wireless systems and has been rigorously analyzed from an information-theoretic perspective. In [1], Verdú has extensively studied the spectral efficiency-bit energy tradeoff in the wideband regime, considering the Shannon capacity as the performance metric. For the Gaussian multiaccess channel, Caire et al. [2] have shown that time division multiple-access (TDMA) is in general a suboptimal transmission scheme in the low-power regime unless one considers the asymptotic scenario in which the power vanishes. It is also shown that fading channel makes the superposition strategy more favorable. In this analysis, Shannon capacity formulation is again adopted as the main performance metric. However, Shannon capacity does not quantify the performance in the presence of quality-of-service (QoS) limitations in the form of constraints on queueing delays or queue lengths. Indeed, most communication- and information-theoretic studies, while providing powerful results, do not generally concentrate on delay and QoS constraints [3].

At the same time, providing QoS guarantees is one of the key requirements in the development of next generation wireless communication networks since data traffic with multimedia content is expected to grow significantly and in real-time multimedia applications, such as voice over IP (VoIP) and interactive-video (e.g., videoconferencing), latency is a key QoS metric. Many efforts have been made to incorporate the delay constraints in the performance analysis [4–7]. In [4], delay limited capacity has been proposed as a performance metric, which is defined as the rate that can be attained regardless of the values of the fading states. In [6], the tradeoff between the average transmission power and average delay has been analyzed by considering an optimization problem in which the weighted combination of the average power and average delay is minimized over transmission policies that determine the transmission rate by taking into account the arrival state, buffer occupancy, channel state jointly together. In [7], the long-term average capacity has been proposed to study the fading multiaccess channel in the wideband regime and the suboptimality of TDMA has been shown again.

In this article, we follow a different approach. We consider statistical QoS constraints and study the energy efficiency under such limitations. We adopt the notion of effective capacity [8], which can be seen as the maximum constant arrival rate that a given time-varying service process can support while providing statistical QoS guarantees. The analysis and application of effective capacity in various settings have attracted much interest recently (see e.g. [9–16] and references therein). For instance, related to this study, in [13, 14], energy efficiency is addressed in a single-user setting when the wireless systems operate under buffer constraints and employ either adaptive or fixed transmission schemes for point-to-point links. The effective capacity regions for multiaccess channel with different scheduling policies have been characterized in [16]. In that work, it has been found that TDMA and superposition coding with variable decoding with respect to channel states can outperform superposition strategy with fixed decoding. In this article, we consider the performance of TDMA and superposition strategy in the presence of statistical QoS constraints but concentrate on the low-SNR regime. More specifically, we employ the tools provided in [1, 2] to investigate the bit energy and wideband slope regions under QoS constraints in the low-power and wideband regimes. The main contributions of this article are summarized in the following:

  1. (1)

    We show that different transmission and reception strategies do not affect the minimum bit energy levels required by each user. Additionally, we prove that while the minimum bit energies are independent of the QoS constraints in the low power regime, they vary with the QoS constraints in the wideband regime.

  2. (2)

    We determine that superposition coding with variable decoding order does not improve the performance in terms of slope region with respect to fixed decoding order in the low power regime, while it can achieve larger slope region in the wideband regime.

  3. (3)

    When wideband slope regions are considered, we show that TDMA is always suboptimal in the low power regime except the special case in which fading states are linearly dependent. On the other hand, TDMA in certain cases is demonstrated to perform better than superposition coding with fixed decoding order in the wideband regime. We also identify the condition for TDMA to be suboptimal in this regime.

The remainder of the article is organized as follows. In Section 2, the system model is briefly discussed. Section 3 presents some preliminaries on the analysis tools and effective capacity. The results in the low-power regime are provided in Section 4. Section 5 presents the results in the wideband regime. Finally, Section 6 concludes this article.

2. System model

As shown in Figure 1, we consider an uplink scenario where M users with individual power and buffer constraints (i.e., QoS constraints) communicate with a single receiver. It is assumed that the transmitters generate data sequences which are divided into frames of duration T . These data frames are initially stored in the buffers before they are transmitted over the wireless channel. The discrete-time signal at the receiver in the i th symbol duration is given by

Figure 1
figure 1

The system model.

Y i = ∑ j = 1 M h j i X j i + n i , i = 1 , 2 , …
(1)

where M is the number of users, X j [i] and h j [i] denote the complex-valued channel input and the fading coefficient of the j th user, respectively. We assume that {h j [i]}'s are jointly stationary and ergodic discrete-time processes, and we denote the magnitude-square of the fading coefficients by z j [i] = |h j [i]|2. Let z = (z1, z2, ..., z m ) be the channel state vector. Above, n[i] is a zero-mean, circularly symmetric, complex Gaussian random variable with variance E | n [ i ] | 2 = N 0 . The additive Gaussian noise samples {n[i]} are assumed to form an independent and identically distributed (i.i.d.) sequence. Finally, Y [i] denotes the received signal.

The channel input of user j is subject to an average energy constraint E | x j i | 2 ≤ P ̄ j / B for all j, where B is the bandwidth available in the system. Assuming that the symbol rate is B complex symbols per second, we can see that this formulation indicates that user j is subject to an average power constraint of P ̄ j . With these definitions, the average transmitted signal to noise ratio of user j is SNRj= P ̄ j N 0 B .

3. Preliminaries

3.1. Effective capacity region of the MAC channel

In [8], effective capacity is defined as the maximum constant arrival rate that a given service process can support in order to guarantee a statistical QoS requirement specified by the QoS exponent θ. The effective capacity is formulated as

C θ = - lim t → ∞ 1 θ t log e E e - θ S t bits / s ,
(2)

where the expectation is with respect to S t = ∑ i = 1 t s i , which is the time-accumulated service process, and {s[i], i = 1, 2, ...} denotes the discrete-time stochastic service process. Effective capacity can be regarded as the maximum throughput of the system while the buffer violation probability is guaranteed to decay exponential fast with decay rate controlled by θ, i.e., the buffer violation probability behaves as Pr Q > Q max ≈ e - θ Q max for large Qmax , where Q is stationary queue length.

We assume that the fading coefficients stay constant over the frame duration T and vary independently from one frame to another for each user. Hence, we basically consider a block-fading model. In this scenario, s[i] = T R[i], where R[i] is the instantaneous service rate in the i th frame duration [iT; (i+1)T). Then, the effective capacity in (2) can be expressed as

C θ = - 1 θ T log e E z e - θ T R i bits/s,
(3)

where R[i] is in general a function of the fading state z. (3) is obtained using the fact that instantaneous rates {R[i]} vary independently from one frame to another. It is interesting to note that as θ → 0 and hence QoS constraints relax, effective capacity approaches the ergodic capacity, i.e., C θ → E z R i . On the other hand, as shown in [13], C (θ) converges to the delay limited capacity as θ grows without limit (i.e., θ → ∞) and QoS constraints become increasingly more strict. Therefore, effective capacity enables us to study the performance levels between the two extreme cases of delay limited capacity, which can be seen as a deterministic service guarantee or equivalently as a performance level attained under hard QoS limitations, and ergodic capacity, which is achieved in the absence of any QoS considerations.

Suppose that Θ = (θ1, ..., θ M ) is a vector composed of the QoS constraints of M users. Let β j = θ j T B log e 2 , j = 1, 2, ..., M be the associated normalized QoS constraints. Also, let C(Θ) = (C1(θ1), ..., C M (θ M )) denote the vector of the normalized effective capacities.

In [16], the effective capacity regions of the multi-access channel for different scheduling policies have been characterized. The effective capacity region achieved by TDMA is

⋃ δ j C Θ ≥ 0 : C j θ j ≤ - 1 θ j T B log e E e - δ j θ j T B log 2 1 + SN R j δ j z j
(4)

where δ j is the fraction of time allocated to user j.

The effective capacity region achieved by superposition coding with fixed decoding order is given by

⋃ τ m C Θ ≥ 0 : C j θ j ≤ - 1 θ j T B log e E z e - θ j T ∑ m = 1 M ! τ m R π m - 1 j
(5)

where τ m is the fraction of time allocated to a specific decoding order π m , R π m - 1 j represents the maximal instantaneous service rate of user j at a given decoding order π m , which is given by

R π m - 1 j = B log 2 1 + SN R j z j 1 + ∑ π m - 1 i > π m - 1 j SN R i z i
(6)

where π m - 1 is the inverse trace function of π m .

Decoding orders can be varied for each channel fading state z. Suppose the vector space ℜ + M of the possible values for z is partitioned into M! disjoint regions Z m m = 1 M ! with respect to decoding orders π m m = 1 M ! . Then, the maximum effective capacity that can be achieved by the j th user is

C j θ j = - 1 θ j T B log e E z e - θ j T R j = - 1 θ j T B log e ∑ m = 1 M ! ∫ z ∈ Z m e - θ j T R π m - 1 j p z z d z
(7)

for j = 1, ..., M , where p z is the distribution function of z and R π m - 1 j is given in (6).

3.2. Spectral efficiency vs. bit energy

If we denote the effective capacity normalized by bandwidth or equivalently the spectral efficiency in bits per second per Hertz by

C E SNR , θ = C E SNR , θ B = - 1 θ T B log e E e - θ T R i ,
(8)

then it can be easily seen that E b N 0 min under QoS constraints can be obtained from [1]

E b N 0 min = lim SNR → 0 SNR C E SNR = 1 C ˙ E 0 .
(9)

Hence, energy efficiency improves as SNR diminishes and the minimum bit energy is attained as SNR vanishes. At E b N 0 min , the slope S 0 of the spectral efficiency versus E b /N0 (in dB) curve is is called the wideband slope, and is defined as [1]

S 0 = lim E b N 0 ↓ E b N 0 min C E E b N 0 10 log 10 E b N 0 - 10 log 10 E b N 0 min 10 log 10 2 .
(10)

Considering the expression for normalized effective capacity, the wideband slope can be found froma

S 0 = - 2 C ˙ E 0 2 C ̈ E 0 log e 2
(11)

where C ˙ E 0 and C ̈ E 0 are the first and second derivatives, respectively, of the function C E ( SNR ) in bits/s/Hz at zero SNR [1]. The minimum bit energy E b N 0 min and the wideband slope provide a linear approximation of the spectral efficiency-bit energy curve at low SNR levels and enables us to characterize and quantify the energy efficiency in the low-SNR regime.

4. Energy efficiency in the low-power regime

As described above, in order to transmit energy efficiently and achieve bit energy levels close to the minimum level, one needs to operate in the low-SNR regime in which either the power is low or bandwidth is large. In this section, we consider the low-power regime. We concentrate on the two-user multiaccess channel. Below, we first note the maximum effective capacities attained through different transmission strategies described in in Section 1. Subsequently, we identify the corresponding minimum bit energies and the wideband slopes.

Now, for the two-user TDMA, if we fix the fraction of time allocated to user 1 as δ ∈ [0, 1], the maximum effective capacities of the two-users in the TDMA region given by (4) become

C 1 SN R 1 = - 1 θ 1 T B log e E z e - δ θ 1 T B log 2 1 + SN R 1 z 1 δ
(12)

and

C 2 SN R 2 = - 1 θ 2 T B log e E z e - 1 - δ θ 2 T B log 2 1 + SN R 2 z 2 1 - δ ,
(13)

respectively,

Next, consider superposition coding with fixed decoding order. We denote the ratio of the transmitter-side signal-to-noise ratios as λ= SN R 1 SN R 2 = P ̄ 1 N 0 B / P ̄ 2 N 0 B . We assume that the value of this ratio is arbitrary but is kept fixed as SNR1 and SNR2 diminish in the low-SNR regime. Additionally, we let τ denote the fraction of time in which the decoding order (2, 1) is employed. Note that if the decoding order is (2, 1), the receiver first decodes the second user's signal in the presence of interference from first user's signal, and subsequently decodes the first user's signal with no interference. Note that the symmetric case occurs when the decoding order is (1, 2) in the remaining (1 -τ) fraction of the time. When this strategy is used, the maximum effective capacities in the region described in (5) can now be expressed as

C 1 SN R 1 = - 1 θ 1 T B log e E z e - θ 1 T B τ log 2 1 + SN R 1 z 1 + 1 - τ log 2 1 + SN R 1 z 1 1 + SN R 1 z 2 / λ ,
(14)
C 2 SN R 2 = - 1 θ 2 T B log e E z e - θ 2 T B τ log 2 1 + SN R 2 z 2 1 + λ SN R 2 z 1 + 1 - τ log 2 1 + SN R 2 z 2 .
(15)

Finally, we turn our attention to superposition coding with variable decoding order. In this case, the decoding order depends on the fading coefficients (z1, z2). We define z2 = g(SNR1) = g(λ SNR2) as the partition function in the z1 - z2 space.b Depending on which decoding order is employed in each region, we have different effective capacity expressions. If users are decoded in the order (1,2) when z2< g(SNR1) and are decoded in the order (2,1) when z2> g(SNR1), the effective capacities are given by

C 1 SN R 1 = - 1 θ 1 T B log e ∫ 0 ∞ ∫ g SN R 1 ∞ e - θ 1 T B log 2 1 + SN R 1 z 1 p z z 1 , z 2 d z 2 d z 1 + ∫ 0 ∞ ∫ 0 g SN R 1 e - θ 1 T B log 2 1 + SN R 1 z 1 1 + SN R 1 z 2 / λ p z z 1 , z 2 d z 2 d z 1 ,
(16)
C 2 SN R 2 = - 1 θ 2 T B log e ∫ 0 ∞ ∫ 0 g λ SN R 2 e - θ 2 T B log 2 1 + SN R 2 z 2 p z z 1 , z 2 d z 2 d z 1 + ∫ 0 ∞ ∫ g λ SN R 2 ∞ e - θ 2 T B log 2 1 + SN R 2 z 2 1 + λ SN R 2 z 1 p z z 1 , z 2 d z 2 d z 1 .
(17)

Similar effective capacity expressions can be derived if users are decoded in the order (2,1) if z2< g(SNR1) and decoded in the order (1,2) if z2> g(SNR1).

Assumption 1: Throughout the article, we consider the partition functions g(SNR1) that satisfy the following properties:

  1. (1)

    g(0) is finite.

  2. (2)

    The first and second derivatives of g with respect to SNR1, ġ SN R 1 and g ̈ SN R 1 , exist. Moreover, ġ 0 and g ̈ 0 are finite.

As will be seen in the ensuing analysis, the finiteness assumptions above will serve as sufficient conditions to ensure that the derivatives of effective capacity in the limit as SNR vanishes are finite.

Denote E b , i N 0 = SN R i C i as the bit energy of user i = 1, 2. The received bit energy is

E b , i r N 0 = E b , i N 0 E z i .
(18)

As the following result shows, the minimum received bit energies for the different strategies are the same.

Theorem 1: For all λ= SN R 1 SN R 2 and all g(z1, SNR1) satisfying the properties in Assumption 1, the minimum received bit energy for the multiaccess fading channel attained through TDMA, superposition coding with fixed decoding order, or superposition decoding with varying decoding order, is the same and is given by

E b , 1 r N 0 min = E b , 2 r N 0 min = log e 2 = - 1 . 59 dB .
(19)

Proof: See Appendix 1.

Remark 1: The result of Theorem 1 shows that different transmission strategies (e.g., TDMA or superposition coding) and different reception schemes (e.g., fixed or variable decoding orders) lead to the same fundamental limit on the minimum bit energy. Similarly as in [2], TDMA is optimally efficient in the asymptotic regime in which the signal-to-noise ratio vanishes. More interestingly, we note that this result is obtained in the presence of QoS constraints. Additionally, the minimum bit energy is clearly independent of the QoS limitations parametrized by the QoS exponents θ1 and θ2. Hence, the energy efficiency is not adversely affected by the buffer constraints in this asymptotic regime in which SNR → 0.

Remark 2: It can be easily shown using the effective capacity expressions provided in (4), (5), and (7) that the characterization in Theorem 1, i.e., the result that the minimum received energy per bit requirement for each user is - 1.59 dB under QoS constraints, holds in a more general setting in which the number of users M ≥ 2.

Having shown that the minimum bit energies achieved by different transmission and reception strategies are the same for each user, we note that the wideband slope regions have become more interesting since they quantify the performance in the non-asymptotic regime in which SNRs are small but nonzero. With the analysis approach introduced in [2], we have the following results.

Theorem 2: The multiaccess slope region achieved by TDMA is given by

S = S 1 , S 2 : 0 ≤ S 1 ≤ S 1 up , 0 ≤ S 2 ≤ S 2 up , κ 11 κ 12 κ 11 - S 1 + κ 21 κ 22 κ 21 - S 2 ≤ 1 + κ 12 + κ 22
(20)

where

S 1 up = 2 E z 1 2 β 1 E z 1 2 - E z 1 2 + E z 1 2 , S 2 up = 2 E z 2 2 β 2 E z 2 2 - E z 2 2 + E z 2 2 , κ 11 = 2 E z 1 2 β 1 E z 1 2 - E z 1 2 , κ 12 = E z 1 2 β 1 E z 1 2 - E z 1 2 , κ 21 = 2 E z 2 2 β 2 E z 2 2 - E z 2 2 , κ 22 = E z 2 2 β 2 E z 2 2 - E z 2 2 ,

β1 = θ1T B log2e and β2 = θ2T B log2e.

Proof: See Appendix 2.

The following results provide the wideband slope expressions when superposition transmission is employed.

Theorem 3: For any λ= SN R 1 SN R 2 , the multiaccess slope region achieved by the superposition coding with fixed decoding order is

S = S 1 , S 2 : 0 ≤ S 1 ≤ S 1 up , 0 ≤ S 2 ≤ S 2 up , λ E z 1 2 E z 1 z 2 1 S 1 - 1 S 1 up + E z 2 2 λ E z 1 z 2 1 S 2 - 1 S 2 up = 1 ,
(21)

where S 1 up and S 2 up are the same as defined in Theorem 2.

Proof: See Appendix 3.

Theorem 4: For any λ= SN R 1 SN R 2 , and any g(SNR1) satisfying the properties in Assumption 1, the multiaccess slope region achieved by superposition coding with variable decoding order is

S = S 1 , S 2 : 0 ≤ S 1 ≤ S 1 up , 0 ≤ S 2 ≤ S 2 up , λ E z 1 2 E z 1 z 2 1 S 1 - 1 S 1 up + E z 2 2 λ E z 1 z 2 1 S 2 - 1 S 2 up = 1 ,
(22)

where S 1 up and S 2 up are the same as defined in Theorem 2.

Proof: See Appendix 4.

Remark 3: Comparing (63) with (65) or (64) with (66) in the proof of Theorem 4 in Appendix 4, we see that different decoding orders do not change the wideband slope values for given user only if g(0) = z1, i.e., the z1-z2 space is equally divided. One more interesting remark is that if we compare the third conditions in (21) and (22), we notice that fixed decoding order achieves the same performance as variable decoding order.

Remark 4: It is interesting to note in the above results that, unlike the minimum bit energy levels, the wideband slopes depend on the QoS exponents θ1 and θ2 through β1 and β2. Indeed, as can be seen from the expressions of the upper bounds S 1 up and S 2 up , the wideband slopes tend to diminish as QoS constraints become more stringent and θ1 and θ2 increase. Smaller slopes indicate that at a given energy per bit level greater than E b r N 0 min , a smaller spectral efficiency is attained. Therefore, spectral efficiency degrades under more strict QoS constraints. Equivalently, to achieve the same level of spectral efficiency, higher energy per bit is required. Hence, from this perspective, a penalty in energy efficiency is experienced as buffer limitations become more stringent.

In the following result, we establish the suboptimality of TDMA.

Theorem 5: The wideband slope region of TDMA is inside the one attained with superposition coding.

Proof: We only need to consider the third conditions of (20) and (21). Substituting (58) and (59) into the left-hand side (LHS) of the third constraint in (20), we obtain

κ 12 + κ 22 + E z 1 2 E z 1 2 + 2 1 - τ λ E { z 1 z 2 } + E z 2 2 E z 2 2 + 2 λ τ E { z 1 z 2 } .
(23)

Comparing the sum of the last two terms with 1 (or more precisely subtracting 1 from the sum), we can write

E z 1 2 E z 1 2 + 2 1 - τ λ E { z 1 z 2 } + E z 2 2 E z 2 2 + 2 λ τ E { z 1 z 2 } - 1 = E z 1 2 E z 2 2 - 4 τ E { z 1 z 2 } 2 + 4 E { z 1 z 2 } 2 τ 2 E z 1 2 + 2 1 - τ λ E { z 1 z 2 } E z 2 2 + 2 λ τ E { z 1 z 2 } .
(24)

We are interested in the numerator which is a quadratic function of the parameter Ï„ . We note that the discriminant of this quadratic function satisfies

Δ = 16 E z 1 z 2 4 - 16 E z 1 z 2 2 E z 1 2 E z 2 2 = 16 E z 1 z 2 2 E z 1 z 2 2 - E z 1 2 E z 2 2 ≤ 0
(25)

where the Cauchy-Schwarz inequality E z 1 z 2 2 ≤E z 1 2 E z 2 2 is used. Thus, the numerator of (24) is always nonnegative, i.e., the slope region achieved by TDMA is inside the one achieved by superposition coding. The equality holds only if z1 and z2 are linearly dependent. □

In Figure 2, we plot the slope regions in independent Rayleigh fading channels with variances E z 1 =E z 2 =1. We assume β1 = 1 and β2 = 2. From the figure, we immediately observe the suboptimality of TDMA compared with superposition coding.

Figure 2
figure 2

The slope regions for independent Rayleigh fading channels.

5. Energy efficiency in the wideband regime

In this section, we consider the wideband regime in which the overall bandwidth of the system B is large. Let ζ= 1 B . Similar as in [13], we know that the minimum bit energy achieved in sparse multipath fading channelsc as B → ∞ (or equivalently ζ → 0) can be expressed as

E b , i N 0 min = lim ζ → 0 P ̄ i ζ / N 0 C i ζ = P ̄ i / N 0 C ˙ i 0 , i = 1 , 2 .
(26)

To make the analysis more clear, below we first express the capacity expressions in (12)-(17) as functions of ζ. (12) and (13) can be rewritten as

C 1 ζ = - ζ θ 1 T log e E z e - δ θ 1 T ζ log 2 1 + P ̄ 1 z 1 ζ δ N 0 ,
(27)

and

C 2 ζ = - ζ θ 2 T log e E z e - 1 - δ θ 2 T ζ log 2 1 + P ̄ 2 z 2 ζ 1 - δ N 0 ,
(28)

respectively.

For superposition coding with fixed decoding order, and fixed λ= SN R 1 SN R 2 = P ̄ 1 ζ / N 0 P ̄ 2 ζ / N 0 = P ̄ 1 P ̄ 2 , (14) and (15) now become

C 1 ζ = - ζ θ 1 T log e E z e - θ 1 T ζ τ log 2 1 + P ̄ 1 z 1 ζ N 0 + 1 - τ log 2 1 + P ̄ 1 z 1 ζ N 0 1 + P ̄ 2 z 2 ζ N 0 ,
(29)
C 2 ζ = - ζ θ 2 T log e E z e - θ 2 T ζ τ log 2 1 + P ̄ 2 z 2 ζ N 0 1 + P ̄ 1 z 1 ζ N 0 + 1 - τ log 2 1 + P ̄ 2 z 2 ζ N 0 .
(30)

Note that we can write g(SNR1) as g P ̄ 1 ζ N 0 , so similarly we can write (16) and (17) as functions of ζ

C 1 ζ = - ζ θ 1 T log e ∫ 0 ∞ ∫ g P ̄ 1 ζ N 0 ∞ e - θ 1 T ζ log 2 1 + P ̄ 1 z 1 ζ N 0 p z z 1 , z 2 d z 2 d z 1 + ∫ 0 ∞ ∫ 0 g P ̄ 1 ζ N 0 e - θ 1 T ζ log 2 1 + P ̄ 1 z 1 ζ N 0 1 + P ̄ 2 z 2 ζ N 0 p z z 1 , z 2 d z 2 d z 1
(31)
C 2 ζ = - ζ θ 2 T log e ∫ 0 ∞ ∫ 0 g P ̄ 2 ζ N 0 e - θ 2 T ζ log 2 1 + P ̄ 2 z 2 ζ N 0 p z z 1 , z 2 d z 2 d z 1 + ∫ 0 ∞ ∫ g P ̄ 2 ζ N 0 ∞ e - θ 2 T ζ log 2 1 + P ̄ 2 z 2 ζ N 0 1 + P ̄ 1 z 1 ζ N 0 p z z 1 , z 2 d z 2 d z 1 .
(32)

Then we immediately have the following result.

Theorem 6: For all g(SNR1) satisfying the properties in Assumption 1, the minimum bit energies for the two-user multiaccess fading channel in the wideband regime attained through TDMA, superposition coding with fixed decoding order, and superposition decoding with varying decoding order, depend on the individual QoS constraints at the users and are given by

E b , 1 N 0 min = - θ 1 T P ̄ 1 N 0 log e E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 ,
(33)
E b , 2 N 0 min = - θ 2 T P ̄ 2 N 0 log e E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 ,
(34)

respectively.

Proof: See Appendix 5.

Remark 5: As Theorem 6 shows, the same minimum bit energy is achieved through different transmission strategies (e.g., TDMA or superposition coding) and different reception schemes (e.g., fixed or variable decoding orders), and therefore TDMA is optimally energy efficient in the wideband regime as B → ∞. As before, Theorem 6 can be readily extended and similar expressions for the minimum energy per bit can be easily obtained for cases in which there are more than 2 users, i.e., M ≥ 2.

Remark 6: A stark difference from the result in Theorem 1 is that the minimum bit energy now varies with the specific QoS constraints at the users. When θ = 0, we can immediately show that the right-hand sides of (33) and (34) become log e 2 E z 1 and log e 2 E z 2 , respectively, which is equivalent to (19). For θ > 0, the energy efficiency is now adversely affected by the buffer constraints in the wideband regime.

Similarly as in Section 4, we next investigate the wideband slopes in order to quantify the performances and energy efficiencies of different transmission and reception methods in the non-asymptotic regime in which the bandwidth B is large but finite. We have the following results.

Theorem 7: In the wideband regime, the multiaccess slope region achieved by TDMA is given by

S = S 1 , S 2 : 0 ≤ S 1 ≤ S 1 up , 0 ≤ S 2 ≤ S 2 up , S 1 S 1 up + S 2 S 2 up ≤ 1
(35)

where

S 1 up = 2 N 0 log e 2 θ 1 T P ̄ 1 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 log e E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 2 ,
S 2 up = 2 N 0 log e 2 θ 2 T P ̄ 2 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 log e E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 2 2 .

Proof: See Appendix 6.

Theorem 8: In the wideband regime, the multiaccess slope region achieved by superposition coding with fixed decoding order is

S = S 1 , S 2 : 0 ≤ S 1 ≤ S 1 up , 0 ≤ S 2 ≤ S 2 up , N 0 log e 2 θ 1 T 2 log e E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 P ̄ 1 P ̄ 2 E z e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 z 2 1 S 1 - 1 S 1 up + N 0 log e 2 θ 2 T 2 log e E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 P ̄ 1 P ̄ 2 E z e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 1 z 2 1 S 2 - 1 S 2 up = 1
(36)

where S 1 up and S 2 up are defined in Theorem 7.

Proof: See Appendix 7.

Theorem 9: For any g(SNR1) satisfying the properties in Assumption 1, the multiaccess slope regions achieved by superposition coding with variable decoding order in the wideband regime are different for different decoding orders. The slope region is

S = ⋃ g 0 S 1 , S 2 : 0 ≤ S 1 ≤ 2 N 0 log e 2 θ 1 T 2 log e E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 P ̄ 1 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 2 + 2 P ̄ 1 P ̄ 2 ∫ 0 ∞ ∫ 0 g 0 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 z 2 p z 1 , z 2 d z 2 d z 1 0 ≤ S 2 ≤ 2 N 0 log e 2 θ 2 T 2 log e E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 P ̄ 2 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 2 2 + 2 P ̄ 1 P ̄ 2 ∫ 0 ∞ ∫ g 0 ∞ e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 1 z 2 p z 1 , z 2 d z 2 d z 1
(37)

if the decoding order is (1,2) when z2 < g(z1, SNR1), and the decoding order is (2,1) when z2 > g(z1, SNR1).

The slope region is

S = ⋃ g 0 S 1 , S 2 : 0 ≤ S 1 ≤ 2 N 0 log e 2 θ 1 T 2 log e E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 P ̄ 1 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 2 + 2 P ̄ 1 P ̄ 2 ∫ 0 ∞ ∫ g 0 ∞ e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 z 2 p z 1 , z 2 d z 2 d z 1 0 ≤ S 2 ≤ 2 N 0 log e 2 θ 2 T 2 log e E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 P ̄ 2 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 2 2 + 2 P ̄ 1 P ̄ 2 ∫ 0 ∞ ∫ 0 g 0 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 1 z 2 p z 1 , z 2 d z 2 d z 1
(38)

if the decoding order is (2,1) when z2 < g(z1, SNR1), and the decoding order is (1,2) when z2 > g(z1, SNR1).

Proof: See Appendix 8.

Remark 7: Unlike previous discussions, we have no closed form expression for the wideband slope region achieved by superposition coding with variable decoding order in the wideband regime. Another observation in the above result is that different decoding orders can result in different wideband slope regions.

Below we show the superiority of superposition coding with variable decoding compared with fixed decoding order.

Theorem 10: Superposition coding with variable decoding order achieves better performance in terms of wideband slope region with respect to superposition coding with fixed decoding order.

Proof: See Appendix 9.

In the following, we present the condition under which the suboptimality of TDMA compared with superposition coding with fixed decoding order can be established.

Theorem 11: If the following is satisfied

E z e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 z 2 E z e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 1 z 2 ≤ E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 2 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 2 2 ,
(39)

then the wideband slope region of TDMA is inside the one attained with superposition coding with fixed decoding order.

Proof: We consider the third conditions in (35) and (36). Substituting (86) and (87) into the LHS of the third condition in (35), we have

1 - 2 1 - τ P ̄ 2 E z e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 z 2 P ̄ 1 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 2 + 2 1 - τ E z e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 z 2 + P ̄ 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 2 2 P ̄ 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 2 2 + 2 τ P ̄ 1 E z e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 1 z 2
(40)

So if the wideband slope region is inside the one attained with superposition coding with fixed decoding order, we must have the above value to be greater than 1 for all 0 ≤ τ ≤ 1. After subtracting 1 from (40), we can obtain

P ̄ 1 P ̄ 1 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 2 + 2 1 - τ E z e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 z 2 P ̄ 2 P ̄ 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 2 2 + 2 τ P ̄ 1 E z e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 1 z 2 × 4 E z e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 z 2 E z e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 1 z 2 τ 2 - 4 E z e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 z 2 E z e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 1 z 2 τ + E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 2 2
(41)

The first two terms of the multiplication are positive values. The minimum value of the third term which is a quadratic function of Ï„ is achieved at Ï„= 1 2 , and the minimum value is

E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 2 2 - E z e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 z 2 E z e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 1 z 2
(42)

Thus, we obtain the condition stated in (39) for TDMA to be suboptimal. â–¡

Remark 8: It is interesting that if the condition (39) is not satisfied, TDMA can achieve some points outside the wideband slope region attained with superposition coding with fixed decoding order. This tells us that TDMA can be a better choice compared with superposition coding with fixed decoding order in some cases. As an additional point, we note that if, on the other hand, the condition in (39) is satisfied, TDMA performs worse than superposition coding with variable decoding order as well due to the characterization in Theorem 10.

In the numerical results, we plot the wideband slope regions for independent Rayleigh fading channels with variances E z 1 =E z 2 =1. We assume θ1 = 0.01, θ2 = 0.1, T = 2 ms. In Figure 3, we assume P ̄ 1 N 0 =2 P ̄ 2 N 0 =1 0 4 . The LHS of (39) is 0.1009, while the right-hand side is 0.1283. Hence, the inequality is satisfied. From the figure, we can see that TDMA is suboptimal compared with superposition coding. In Figure 4, we assume P ̄ 1 N 0 = 1 2 P ̄ 2 N 0 =1 0 4 . The LHS of (39) is 0.0131, while the right-hand side is 0.006. Hence, the inequality is not satisfied. Confirming the above discussion, we can observe in the figure that TDMA indeed achieves points outside the slope region attained with superposition coding with fixed decoding order.

Figure 3
figure 3

The slope regions for independent Rayleigh fading channels.

Figure 4
figure 4

The slope regions for independent Rayleigh fading channels.

6. Conclusion

In this article, we have analyzed the energy efficiency of two-user multiaccess fading channels under QoS constraints by employing the effective capacity as a measure of the maximal throughput. We have characterized the minimum bit energy and the wideband slope regions for different transmission strategies. We have conducted our analysis in two regimes: low-power regime and wideband regime. Through this analysis, we have shown the impact of QoS constraints on the energy efficiency of multiaccess fading channels. More specifically, we have found that the minimum bit energies are the same for each user when different transmission and reception techniques are employed. While these minimum values are equal those that can be attained in the absence of QoS constraints in the low-power regime, we have shown that strictly higher bit energy values, which depend on the QoS constraints, are needed in the wideband regime. We have also seen that while TDMA is suboptimal in the low-power regime when wideband slope regions are considered, it can outperform superposition coding with fixed decoding order in the wideband regime. Moreover, we have proven in the wideband regime that varying the decoding order can achieve larger slope region when compared with fixed decoding order for superposition coding. Numerical results validating our results are provided as well.

Appendix

1. Proof of Theorem 1

Consider the TDMA strategy. Taking the first derivative of the functions in (12) and (13) and letting SNR1 = 0, SNR2 = 0, we obtain

C Ë™ 1 0 = E z 1 log e 2 ,
(43)
C Ë™ 2 0 = E z 2 log e 2 .
(44)

Substituting (43) and (44) into (9), we have

E b , 1 N 0 min = log e 2 E z 1 ,
(45)
E b , 2 N 0 min = log e 2 E z 2
(46)

which imply (19) according to (18).

For the superposition coding with fixed decoding, evaluating the first derivative of (14) and (15) at SNR1 = 0 and SNR2 = 0, we immediately obtain

C Ë™ 1 0 = E z 1 log e 2
(47)
C Ë™ 2 0 = E { z 2 } log e 2
(48)

which again imply (19) taking into consideration (9) and (18).

Next, we prove the result for the variable decoding case. First, we consider (16) and (17) with the associated decoding order assignment. The first derivative of (16) can be expressed as

C ˙ 1 SN R 1 = - ϕ ˙ 1 β 1 ϕ 1 log e 2 = - 1 β 1 ϕ 1 log e 2 - ∫ 0 ∞ 1 + SN R 1 z 1 - β 1 p z 1 , g SN R 1 ġ SNR d z 1 - β 1 ∫ 0 ∞ ∫ g SN R 1 ∞ 1 + SN R 1 z 1 - β 1 - 1 z 1 p z 1 , z 2 d z 2 z 1 + ∫ 0 ∞ 1 + SN R 1 z 1 1 + SN R 1 g SN R 1 / λ - β 1 p z 1 , g SN R 1 ġ SN R 1 d z 1 - β 1 ∫ 0 ∞ ∫ 0 g SN R 1 1 + SN R 1 z 1 1 + SN R 1 z 2 / λ - β 1 - 1 z 1 1 + SN R 1 z 2 / λ 2 p z 1 , z 2 d z 2 d z 1
(49)

where Ï• Ë™ 1 is the first derivative of Ï•1, which is defined as

ϕ 1 = ∫ 0 ∞ ∫ g z 1 , SN R 1 ∞ e - θ 1 T B log 2 1 + SN R 1 z 1 p z z 1 , z 2 d z 2 d z 1 + ∫ 0 ∞ ∫ 0 g z 1 , SN R 1 e - θ 1 T B log 2 1 + SN R 1 z 1 1 + SN R 1 z 2 / λ p z z 1 , z 2 d z 2 d z 1 .
(50)

Under the assumptions that g(0) and Ä¡ 0 are finite, we can easily see from (49) that letting SNR1 = 0 leads to

C Ë™ 1 0 = E z 1 log e 2 .
(51)

Similarly, taking the first derivative of (17) and letting SNR2 = 0, we obtain

C Ë™ 2 0 = E z 2 log e 2 .
(52)

Applying the definitions (9) and (18), we prove (19) for this decoding order assignment. For the reverse decoding order assignment (i.e., users are decoded in the order (2,1) if z2 < g(SNR1) and decoded in the order (1,2) if z2 > g(SNR1)), following similar steps, we again obtain the result in (19). â–¡

2. Proof of Theorem 2

Taking the second derivatives of the functions in (12) and (13) and letting SNR1 = 0, SNR2 = 0, we obtain

C ̈ 1 0 = 1 log e 2 β 1 E z 1 2 - E z 1 2 - 1 δ E z 1 2
(53)

and

C ̈ 2 0 = 1 log e 2 β 2 E z 2 2 - E z 2 2 - 1 1 - δ E z 2 2 .
(54)

Combining (43), (44), (53), and (54) with (11), we now get

S 1 = 2 E z 1 2 β 1 E z 1 2 - E z 1 2 + 1 δ E z 1 2
(55)
S 2 = 2 E z 2 2 β 2 E z 2 2 - E z 2 2 + 1 1 - δ E z 2 2
(56)

which, after eliminating δ, provide us the third condition in (20). □

3. Proof of Theorem 3

The second derivatives of the functions (14) and (15) at zero signal-to-noise ratio are

C ̈ 1 0 = 1 log e 2 β 1 E z 1 2 - β 1 + 1 E z 1 2 - 2 1 - τ λ E z 1 z 2 C ̈ 2 0 = 1 log e 2 β 2 E z 2 2 - β 2 + 1 E z 2 2 - 2 λ τ E z 1 z 2 .
(57)

Then, the wideband slopes are given by

S 1 = 2 E z 1 2 β 1 E z 1 2 - E z 1 2 + E z 1 2 + 2 1 - τ λ E z 1 z 2
(58)
S 2 = 2 E z 2 2 β 2 E z 2 2 - E z 2 2 + E z 2 2 + 2 λ τ E z 1 z 2 .
(59)

After solving for Ï„ in (58) and (59) and subtracting the resulting equations, we obtain the third condition in (21) â–¡

4. Proof of Theorem 4

We need to consider the wideband slopes for different decoding order assignments. Due to the complex expressions involved, we here state the derivation for S 1 for the case in which the decoding order is (1,2) when z2 < g(z1, SNR1), and the decoding order is (2,1) when z2 > g(z1, SNR1). Taking the second derivative of (16), we have

C ̈ 1 SN R 1 = - ϕ ̈ 1 ϕ 1 - ϕ ˙ 1 2 β 1 ϕ 1 2 log e 2
(60)

where ϕ ˙ 1 is provided in (49) and ϕ ̈ 1 is given by

ϕ ̈ 1 = ∫ 0 ∞ 1 + SN R 1 z 1 1 + SN R 1 g SN R 1 / λ - β 1 p z 1 , g SN R 1 g ̈ SN R 1 d z 1 - 2 β 1 ∫ 0 ∞ 1 + SN R 1 z 1 1 + SN R 1 g SN R 1 / λ - β 1 - 1 z 1 1 + SN R 1 g SN R 1 / λ 2 p z 1 , g SN R 1 ġ SN R 1 d z 1 + ∫ 0 ∞ 1 + SN R 1 z 1 1 + SN R 1 g SN R 1 / λ - β 1 ṗ z 1 , g SN R 1 ġ SN R 1 2 d z 1 + β 1 β 1 + 1 ∫ 0 ∞ ∫ 0 ∞ 1 + SN R 1 z 1 1 + SN R 1 z 1 / λ - β 1 - 2 z 1 2 1 + SN R 1 g SN R 1 / λ 4 p z 1 , z 2 d z 2 d z 1 + 2 β 1 λ ∫ 0 ∞ ∫ 0 g SN R 1 1 + SN R 1 z 1 1 + SN R 1 z 1 / λ - β 1 - 1 z 1 z 2 1 + SN R 1 g SN R 1 / λ 3 p z 1 , z 2 d z 2 d z 1 - ∫ 0 ∞ 1 + SN R 1 z 1 - β 1 p z 1 , g SN R 1 g ̈ SN R 1 d z 1 + 2 β 1 ∫ 0 ∞ 1 + SN R 1 z 1 - β 1 - 1 z 1 p z 1 , g SN R 1 ġ SN R 1 d z 1 - ∫ 0 ∞ 1 + SN R 1 z 1 - β 1 ṗ z 1 , g SN R 1 ġ SN R 1 2 d z 1 + β 1 β 1 + 1 ∫ 0 ∞ ∫ g SN R 1 ∞ 1 + SN R 1 z 1 - β 1 - 2 z 1 2 p z 1 , z 2 d z 2 d z 1 .
(61)

Letting SNR1 = 0 and supposing that g(0), ġ 0 , and g ̈ 0 are finite, we have

C ̈ 1 0 = - 1 log e 2 β 1 E z 1 2 - E z 1 2 + E z 1 2 + 2 λ ∫ 0 ∞ ∫ 0 g 0 z 1 z 2 p z 1 , z 2 d z 2 d z 1
(62)

Substituting (62) and (51) into (11), we obtain

S 1 = 2 E z 1 2 β 1 E z 1 2 - E z 1 2 + E z 1 2 + 2 λ ∫ 0 ∞ ∫ 0 g 0 z 1 z 2 p z 1 , z 2 d z 2 d z 1 .
(63)

Similarly, we can derive

S 2 = 2 E z 2 2 β 2 E z 2 2 - E z 2 2 + E z 2 2 + 2 λ ∫ 0 ∞ ∫ g 0 ∞ z 1 z 2 p z 1 , z 2 d z 2 d z 1 .
(64)

If the decoding order is (2,1) when z2 < g(z1, SNR1), and is (1,2) when z2 > g(z1, SNR1), following the steps described above, we can obtain

S 1 = 2 E z 1 2 β 1 E z 1 2 - E z 1 2 + E z 1 2 + 2 λ ∫ 0 ∞ ∫ g 0 ∞ z 1 z 2 p z 1 , z 2 d z 2 d z 1
(65)
S 2 = 2 E z 2 2 β 2 E z 2 2 - E z 2 2 + E z 2 2 + 2 λ ∫ 0 ∞ ∫ 0 g 0 z 1 z 2 p z 1 , z 2 d z 2 d z 1 .
(66)

Combining (63) and (64) and eliminating g(0), we can obtain the third condition in (22). It is interesting that combining (65) and (66) and eliminating g(0), we still get the same third condition stated in (22). This shows us that the slope regions for different decoding order assignments overlap. â–¡

5. Proof of Theorem 6

Taking the first derivatives of (27) and (28) and letting ζ = 0, we obtain

C ˙ 1 0 = - 1 θ 1 T log e E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1
(67)
C ˙ 2 0 = - 1 θ 2 T log e E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 .
(68)

Substituting (67) and (68) into (26), we get the results in (33) and (34).

Next, we consider the superposition coding with fixed decoding. Evaluating the first derivative of (29) and (30) at ζ = 0, we again get

C ˙ 1 0 = - 1 θ 1 T log e E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1
(69)
C ˙ 2 0 = - 1 θ 2 T log e E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 .
(70)

which imply the results in (33) and (34).

We can also prove the results for the variable decoding case similarly as in the proof of Theorem 1.

Consider (31) and (32) with the associated decoding order. The first derivative of (31) can be expressed as

C ˙ 1 ζ = - 1 θ 1 T log e ϕ 1 - ζ ϕ ˙ 1 θ 1 T ϕ 1
(71)

where Ï•1 is

ϕ 1 = ∫ 0 ∞ ∫ g P ̄ 1 ζ N 0 ∞ e - θ 1 T ζ log 2 1 + P ̄ 1 z 1 ζ N 0 p z z 1 , z 2 d z 2 d z 1 + ∫ 0 ∞ ∫ 0 g P ̄ 1 ζ N 0 e - θ 1 T ζ log 2 1 + P ̄ 1 z 1 ζ N 0 1 + P ̄ 2 z 2 ζ N 0 p z z 1 , z 2 d z 2 d z 1
(72)

and Ï• Ë™ 1 is

ϕ ˙ 1 = - ∫ 0 ∞ ġ P ̄ ζ N 0 P ̄ 1 N 0 e - θ 1 T ζ log 2 1 + P ̄ 1 z 1 ζ N 0 p z z 1 , g P ̄ 1 ζ / N 0 d z 1 + ∫ 0 ∞ ∫ g P ̄ 1 ζ N 0 ∞ e - θ 1 T ζ log 2 1 + P ̄ 1 z 1 ζ N 0 θ 1 T ζ 2 log 2 1 + P ̄ 1 z 1 ζ N 0 - θ 1 T ζ P ̄ 1 z 1 N 0 log e 2 1 + P ̄ 1 z 1 ζ N 0 p z z 1 , z 2 d z 2 d z 1 + ∫ 0 ∞ ġ P ̄ 1 ζ N 0 P ̄ 1 N 0 e - θ 1 T ζ log 2 1 + P ̄ 1 z 1 ζ N 0 1 + P ̄ 2 g P ̄ 1 ζ / N 0 ζ N 0 p z z 1 , g P ̄ 1 ζ / N 0 d z 1 + ∫ 0 ∞ ∫ 0 g P ̄ 1 ζ N 0 e - θ 1 T ζ log 2 1 + P ̄ 1 z 1 ζ N 0 1 + P ̄ 2 z 2 ζ N 0 θ 1 T ζ 2 log 2 1 + P ̄ 1 z 1 ζ N 0 1 + P ̄ 2 z 2 ζ N 0 - θ 1 T ζ P ̄ 1 z 1 N 0 log e 2 1 + P ̄ 2 z 2 ζ N 0 1 + P ̄ 1 z 1 ζ N 0 + P ̄ 2 z 2 ζ N 0 p z z 1 , z 2 d z 2 d z 1 .
(73)

If we define f ζ = θ 1 T ζ 2 log 2 1 + P ̄ 1 z 1 ζ N 0 - θ 1 T ζ P ̄ 1 z 1 N 0 log e 2 1 + P ̄ 1 z 1 ζ N 0 we can show that

lim ζ → 0 f ζ = θ 1 T lim ζ → 0 log 2 1 + P ̄ 1 z 1 ζ N 0 ζ - P ̄ 1 z 1 N 0 log e 2 1 + P ̄ 1 z 1 ζ N 0 ζ = θ 1 T lim ζ → 0 - 1 ζ 2 log 2 1 + P ̄ 1 z 1 ζ N 0 + 1 ζ P ̄ 1 z 1 N 0 log e 2 1 + P ̄ 1 z 1 ζ N 0 + P ̄ 1 z 1 N 0 2 1 + P ̄ 1 z 1 ζ N 0 2 log e 2 = - lim ζ → 0 f ζ + θ 1 T log e 2 P ̄ 1 z 1 N 0 2
(74)

which gives us that

lim ζ → 0 f ζ = θ 1 T 2 log e 2 P ̄ 1 z 1 N 0 2 .
(75)

Similarly, we can show that

lim ζ → 0 θ 1 T ζ 2 log 2 1 + P ̄ 1 z 1 ζ N 0 1 + P ̄ 2 z 2 ζ N 0 - θ 1 T ζ P ̄ 1 z 1 N 0 log e 2 1 + P ̄ 2 z 2 ζ N 0 1 + P ̄ 1 z 1 ζ N 0 + P ̄ 2 z 2 ζ N 0 = θ 1 T 2 log e 2 P ̄ 1 z 1 N 0 2 + θ 1 T P ̄ 1 P ̄ 2 z 1 z 2 N 0 2 log e 2 .
(76)

With (75) and (76) in mind, we can obtain

lim ζ → 0 ϕ ˙ 1 = θ 1 T 2 log e 2 E z e - θ 1 T P ̄ 1 N 0 log e 2 z 1 P ̄ 1 z 1 N 0 2 + θ 1 T log e 2 ∫ 0 ∞ ∫ 0 g 0 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 P ̄ 1 P ̄ 2 z 1 z 2 N 0 2 p z 1 , z 2 d z 2 d z 1
(77)

and hence

C ˙ 1 0 = - 1 θ 1 T log e E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 .
(78)

Similarly, taking the derivative of (32) and letting ζ = 0, we have

C ˙ 2 0 = - 1 θ 2 T log e E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 .
(79)

which, after incorporating (26), again gives us the results in (33) and (34). For the reverse decoding order assignment, following similar steps, we still get the results in (33) and (34). â–¡

6. Proof of Theorem 7

The second derivatives of (27) and (28) at ζ = 0 are

C ̈ 1 0 = - 1 δ log e 2 P ̄ 1 N 0 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1
(80)
C ̈ 2 0 = - 1 1 - δ log e 2 P ̄ 2 N 0 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 2 2 E z 2 e - θ 1 T P ̄ 1 N 0 log e 2 z 2
(81)

Using the definition in (11), we can express the wideband slopes as

S 1 = 2 δ N 0 log e 2 θ 1 T P ̄ 1 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 log e E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 2
(82)
S 2 = 2 1 - δ N 0 log e 2 θ 2 T P ̄ 2 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 log e E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 2 2
(83)

which after simple computation give us the third condition in (35). â–¡

7. Proof of Theorem 8

Evaluating the second derivatives of (29) and (30) at ζ = 0 yields

C ̈ 1 0 = - 1 log e 2 P ̄ 1 N 0 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 2 + 2 1 - τ P ̄ 1 P ̄ 2 N 0 2 E z e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 z 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1
(84)
C ̈ 2 0 = - 1 log e 2 P ̄ 2 N 0 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 2 2 + 2 τ P ̄ 1 P ̄ 2 N 0 2 E z e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 1 z 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2
(85)

and as a result, the wideband slopes are given by

S 1 = 2 N 0 log e 2 θ 1 T 2 log e E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 P ̄ 1 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 2 + 2 1 - τ P ̄ 1 P ̄ 2 E z e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 z 2
(86)
S 2 = 2 N 0 log e 2 θ 2 T 2 log e E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 P ̄ 2 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 2 2 + 2 τ P ̄ 1 P ̄ 2 E z e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 1 z 2
(87)

After solving for Ï„ in (86) and (87) and subtracting the resulting equations, we have the third condition in (36). â–¡

8. Proof of Theorem 9

Similar to Theorem 4, we here present the derivation for S 1 for the case when the decoding order is (1,2) when z2 < g(z 1, SNR1), and the decoding order is (2,1) when z2 > g(z1, SNR1). The second derivative of (31) is

C ̈ 1 ζ = - 2 ϕ ˙ 1 θ 1 T ϕ 1 - ζ ϕ ̈ 1 ϕ 1 - ϕ ˙ 1 2 θ 1 T ϕ 1 2
(88)

where ϕ1 and ϕ ˙ 1 are (72) and (73), respectively, and ϕ ̈ 1 is given by

ϕ ̈ 1 = - ∫ 0 ∞ g ̈ P ̄ 1 ζ N 0 P ̄ 1 N 0 2 e - θ 1 T ζ log 2 1 + P ̄ 1 z 1 ζ N 0 p z 1 , g P ̄ 1 ζ / N 0 d z 1 - 2 ∫ 0 ∞ ġ P ̄ 1 ζ N 0 P ̄ 1 N 0 e - θ 1 T ζ log 2 1 + P ̄ 1 z 1 ζ N 0 θ 1 T ζ 2 log 2 1 + P ̄ 1 z 1 ζ N 0 - θ 1 T ζ P ̄ 1 z 1 N 0 log e 2 1 + P ̄ 1 z 1 ζ N 0 p z 1 , g P ̄ 1 ζ / N 0 d z 1 - ∫ 0 ∞ ġ P ̄ 1 ζ N 0 P ̄ 1 N 0 2 e - θ 1 T ζ log 2 1 + P ̄ 1 z 1 ζ N 0 θ 1 T ζ 2 log 2 1 + P ̄ 1 z 1 ζ N 0 - θ 1 T ζ P ̄ 1 z 1 N 0 log e 2 1 + P ̄ 1 z 1 ζ N 0 ṗ z 1 , g P ̄ 1 ζ / N 0 d z 1 + ∫ 0 ∞ ∫ g P ̄ 1 ζ N 0 ∞ e - θ 1 T ζ log 2 1 + P ̄ 1 z 1 ζ N 0 θ 1 T ζ 2 log 2 1 + P ̄ 1 z 1 ζ N 0 - θ 1 T ζ P ̄ 1 z 1 N 0 log e 2 1 + P ̄ 1 z 1 ζ N 0 2 - 2 ζ θ 1 T ζ 2 log 2 1 + P ̄ 1 z 1 ζ N 0 - θ 1 T ζ P ̄ 1 z 1 N 0 log e 2 1 + P ̄ 1 z 1 ζ N 0 + θ 1 T ζ log e 2 P ̄ 1 z 1 N 0 1 + P ̄ 1 z 1 ζ N 0 2 p z 1 , z 2 d z 2 d z 1 + ∫ 0 ∞ g ̈ P ̄ 1 ζ N 0 P ̄ 1 N 0 2 e - θ 1 T ζ log 2 1 + P ̄ 1 z 1 ζ N 0 1 + P ̄ 2 g P ̄ 1 ζ / N 0 ζ N 0 p z 1 , g P ̄ 1 ζ / N 0 d z 1 + 2 ∫ 0 ∞ ġ P ̄ 1 ζ N 0 P ̄ 1 N 0 e - θ 1 T ζ log 2 1 + P ̄ 1 z 1 ζ N 0 1 + P ̄ 2 g P ̄ 1 ζ / N 0 ζ N 0 θ 1 T ζ 2 log 2 1 + P ̄ 1 z 1 ζ N 0 1 + P ̄ 2 g P ̄ 1 ζ / N 0 ζ N 0 - θ 1 T ζ P ̄ 1 z 1 N 0 log e 2 1 + P ̄ 2 g P ̄ 1 ζ / N 0 ζ N 0 1 + P ̄ 1 z 1 ζ N 0 + P ̄ 2 g P ̄ 1 ζ / N 0 ζ N 0 p z 1 , g P ̄ 1 ζ / N 0 d z 1 + ∫ 0 ∞ ġ P ̄ 1 ζ N 0 P ̄ 1 N 0 2 e - θ 1 T ζ log 2 1 + P ̄ 1 z 1 ζ N 0 1 + P ̄ 2 g P ̄ 1 ζ / N 0 ζ N 0 ṗ z 1 , g P ̄ 1 ζ / N 0 d z 1 + ∫ 0 ∞ ∫ 0 g P ̄ 1 ζ N 0 e - θ 1 T ζ log 2 1 + P ̄ 1 z 1 ζ N 0 1 + P ̄ 2 z 2 ζ N 0 θ 1 T ζ 2 log 2 1 + P ̄ 1 z 1 ζ N 0 1 + P ̄ 2 z 2 ζ N 0 - θ 1 T ζ P ̄ 1 z 1 N 0 log e 2 1 + P ̄ 2 z 2 ζ N 0 1 + P ̄ 1 z 1 ζ N 0 + P ̄ 2 z 2 ζ N 0 2 - 2 ζ θ 1 T ζ 2 log 2 1 + P ̄ 1 z 1 ζ N 0 1 + P ̄ 2 z 2 ζ N 0 - θ 1 T ζ P ̄ 1 z 1 N 0 log e 2 1 + P ̄ 2 z 2 ζ N 0 1 + P ̄ 1 z 1 ζ N 0 + P ̄ 2 z 2 ζ N 0 + θ 1 T ζ P ̄ 1 z 1 N 0 log e 2 P ̄ 2 z 2 N 0 1 + P ̄ 1 z 1 ζ N 0 + P ̄ 2 z 2 ζ N 0 + P ̄ 1 z 1 N 0 + P ̄ 2 z 2 N 0 1 + P ̄ 2 z 2 ζ N 0 1 + P ̄ 2 z 2 ζ N 0 2 1 + P ̄ 1 z 1 ζ N 0 + P ̄ 2 z 2 ζ N 0 2 p z 1 , z 2 d z 2 d z 1
(89)

By letting ζ = 0 and recalling (75) and (76), we can show that

C ̈ 1 0 = - 1 log e 2 P ̄ 1 N 0 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 2 + 2 P ̄ 1 P ̄ 2 N 0 2 ∫ 0 ∞ ∫ 0 g 0 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 z 2 p z 1 , z 2 d z 2 d z 1 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1
(90)

Combining (78) and (90) with (11), we have

S 1 = 2 N 0 log e 2 θ 1 T 2 log e E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 P ̄ 1 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 2 + 2 P ̄ 1 P ̄ 2 ∫ 0 ∞ ∫ 0 g 0 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 z 2 p z 1 , z 2 d z 2 d z 1 .
(91)

Following similar steps, we can derive that

S 2 = 2 N 0 log e 2 θ 2 T 2 log e E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 P ̄ 2 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 2 2 + 2 P ̄ 1 P ̄ 2 ∫ 0 ∞ ∫ g 0 0 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 1 z 2 p z 1 , z 2 d z 2 d z 1 .
(92)

If the decoding order is (2,1) when z2 < g(z1, SNR1), and is (1,2) when z2 > g(z1 , SNR1), following the steps described above, we can obtain

S 1 = 2 N 0 log e 2 θ 1 T 2 log e E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 P ̄ 1 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 2 + 2 P ̄ 1 P ̄ 2 ∫ 0 ∞ ∫ g 0 ∞ e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 z 2 p z 1 , z 2 d z 2 d z 1 ,
(93)
S 2 = 2 N 0 log e 2 θ 2 T 2 log e E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 P ̄ 2 2 E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 2 2 + 2 P ̄ 1 P ̄ 2 ∫ 0 ∞ ∫ 0 g 0 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 1 z 2 p z 1 , z 2 d z 2 d z 1 .
(94)

Also note that the wideband slopes have non-negative values and we have the inequalities in (37) and (38). â–¡

9. Proof of Theorem 10

We need to compare the upper bound of the slope region in (36) with the upper bounds of both (37) and (38).

By moving the term with g(0) to the LHS of the equation, we can rewrite (91) and (92) as

∫ 0 ∞ ∫ 0 g 0 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 z 2 p z 1 , z 2 d z 2 d z 1 E z e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 z 2 = N 0 log e 2 θ 1 T 2 log e E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 P ̄ 1 P ̄ 2 E z e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 z 2 1 S 1 - 1 S 1 up
(95)

and

∫ 0 ∞ ∫ g 0 ∞ e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 1 z 2 p z 1 , z 2 d z 2 d z 1 E z e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 1 z 2 = N 0 log e 2 θ 2 T 2 log e E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 2 E z 1 e - θ 2 T P ̄ 2 N 0 log e 2 z 1 P ̄ 1 P ̄ 2 E z e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 1 z 2 1 S 2 - 1 S 2 up
(96)

Denote

γ 1 = ∫ 0 ∞ ∫ 0 g 0 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 z 2 p z 1 , z 2 d z 2 d z 1 E z e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 z 2
(97)
γ 2 = ∫ 0 ∞ ∫ g 0 ∞ e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 1 z 2 p z 1 , z 2 d z 2 d z 1 E z e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 1 z 2
(98)

We know that 0 ≤ γ1≤ 1 and 0 ≤ γ2≤ 1 vary with different g(0). Substitute (95) and (96) into the third condition of (36), we can obtain

N 0 log e 2 θ 1 T 2 log e E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 P ̄ 1 P ̄ 2 E z e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 z 2 1 S 1 - 1 S 1 up + N 0 log e 2 θ 2 T 2 log e E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 2 E z 1 e - θ 2 T P ̄ 2 N 0 log e 2 z 1 P ̄ 1 P ̄ 2 E z e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 1 z 2 1 S 2 - 1 S 2 up = γ 1 + γ 2
(99)

Following similar steps, we can get from (93) and (94)

N 0 log e 2 θ 1 T 2 log e E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 2 E z 1 e - θ 1 T P ̄ 1 N 0 log e 2 z 1 P ̄ 1 P ̄ 2 E z e - θ 1 T P ̄ 1 N 0 log e 2 z 1 z 1 z 2 1 S 1 - 1 S 1 up + N 0 log e 2 θ 2 T 2 log e E z 2 e - θ 2 T P ̄ 2 N 0 log e 2 z 2 2 E z 1 e - θ 2 T P ̄ 2 N 0 log e 2 z 1 P ̄ 1 P ̄ 2 E z e - θ 2 T P ̄ 2 N 0 log e 2 z 2 z 1 z 2 1 S 2 - 1 S 2 up = 2 - γ 1 - γ 2
(100)

Considering (99) and (100), we know that either γ1 + γ2 or 2 - γ1- γ2 must be less than 1, which implies that variable decoding order achieves points outside the region attained with fixed decoding order, proving the theorem. □

Endnotes

aWe note that the expressions in (9) and (11) differ from those in [1] by a constant factor due to the fact that we assume that the units of C E is bits/s/Hz rather than nats/s/Hz. bThe partition function can in general be a function of z1 as well, i.e., g(SNR1) = g(z1, SNR1). cAs discussed in [13, 14], wideband and low-power regimes are equivalent if rich multipath fading is experienced. Hence, in such a case, the same minimum bit energy and wideband slope expressions are obtained in both regimes.

References

  1. Verdú S: Spectral efficiency in the wideband regime. IEEE Trans Inf Theory 2002, 48(6):1319-1343. 10.1109/TIT.2002.1003824

    Article  MathSciNet  MATH  Google Scholar 

  2. Caire G, Tuninetti D, Verdú S: Suboptimality of TDMA in the low-power regime. IEEE Trans Inf Theory 2004, 50(4):608-620. 10.1109/TIT.2004.825003

    Article  MathSciNet  MATH  Google Scholar 

  3. Ephremides A, Hajek B: Information theory and communication networks: an unconsummated union. IEEE Trans Inf Theory 1998, 44: 2416-2434. 10.1109/18.720543

    Article  MathSciNet  MATH  Google Scholar 

  4. Hanly SV, Tse DNC: Multiaccess fading channels-part II: delay-limited capacities. IEEE Trans Inf Theory 1998, 44(7):2816-2831. 10.1109/18.737514

    Article  MathSciNet  MATH  Google Scholar 

  5. Telatar IE, Gallager RG: Combining queueing theory with information theory for multiaccess. IEEE J Sel Areas Commun 1995, 13: 963-969. 10.1109/49.400652

    Article  Google Scholar 

  6. Berry RA, Gallager RG: Communication over fading channels with delay constraints. IEEE Trans Inf Theory 2002, 48: 1135-1149. 10.1109/18.995554

    Article  MathSciNet  MATH  Google Scholar 

  7. Tuninetti D, Caire G, Verdú S: Fading multi-access channels in the wideband regime: the impact of delay constraints. In Proc 2002 IEEE Int Symp Information Theory. Lausanne, Switzerland; 2002:194.

    Google Scholar 

  8. Wu D, Negi R: Effective capacity: a wireless link model for support of quality of service. IEEE Trans Wirel Commun 2003, 2(4):630-643.

    Google Scholar 

  9. Tang J, Zhang X: Quality-of-service driven power and rate adaptation over wireless links. IEEE Trans Wirel Commun 2007, 6(8):3058-3068.

    Article  Google Scholar 

  10. Tang J, Zhang X: Cross-layer-model based adaptive resource allocation for statistical QoS guarantees in mobile wireless networks. IEEE Trans Wirel Commun 2008, 7(6):2318-2328.

    Article  Google Scholar 

  11. Liu L, Parag P, Tang J, Chen W-Y, Chamberland J-F: Resource allocation and quality of service evaluation for wireless communication systems using fluid models. IEEE Trans Inf Theory 2007, 53(5):1767-1777.

    Article  MathSciNet  MATH  Google Scholar 

  12. Liu L, Parag P, Chamberland J-F: Quality of service analysis for wireless user-cooperation networks. IEEE Trans Inf Theory 2007, 53(10):3833-3842.

    Article  MathSciNet  MATH  Google Scholar 

  13. Gursoy MC, Qiao D, Velipasalar S: Analysis of energy efficiency in fading channel under QoS constrains. IEEE Trans Wirel Commun 2009, 8(8):, 4252-4263.

    Article  Google Scholar 

  14. Qiao D, Gursoy MC, Velipasalar S: The impact of QoS constraints on the energy efficiency of fixed-rate wireless transmissions. IEEE Trans Wirel Commun 2009, 8(12):5957-5969.

    Article  Google Scholar 

  15. Qiao D, Gursoy MC, Velipasalar S: Energy efficiency in the low-SNR regime under queueing constraints and channel uncertainty. IEEE Trans Commun 2011, 59(7):2006-2017.

    Article  Google Scholar 

  16. Qiao D, Gursoy MC, Velipasalar S: Transmission strategies in multiple access fading channels with statistical QoS constraints. IEEE Trans Inf Theory 2012, 58(3):1578-1593.

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

This study was supported by the National Science Foundation under Grants CNS - 0834753 and CCF - 0917265.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Deli Qiao.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ original submitted files for images

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Qiao, D., Gursoy, M.C. & Velipasalar, S. Energy efficiency in multiaccess fading channels under QoS constraints. J Wireless Com Network 2012, 136 (2012). https://doi.org/10.1186/1687-1499-2012-136

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1499-2012-136

Keywords