System and method for enhancing throughput in an additive Gaussian noise channel with a predetermined rate set and unknown interference

TECHNICAL FIELD OF THE INVENTION

The present invention is directed, in general, to wireless networks and, more specifically, to a system and method for determining throughput for an additive white Gaussian noise (AWGN) channel with a predetermined rate set and unknown interference.

BACKGROUND OF THE INVENTION

Over the last several years, wireless networks have become indispensable tools for carrying voice and data communications for both business and personal use. Wireless networks partition a given geographical region into cells. Each cell is given a base station that serves as the anchor point to the network for all users in the cell. Users are assigned to the different cells based on, for example, channel conditions and network loading.

In current networks, coordination between base stations is not considered; users are only controlled by their assigned base station. However, due to the nature of wireless transmission, users in neighboring cells interfere with the transmission in a given cell. In general, this out-of-cell interference is unknown and uncontrollable. Unfortunately, the performance of the channels in the cell critically depends on the out-of-cell interference since the achievable transmission rate of each channel is related to its signal-to-interference-plus-noise ratio experienced at the receiver.

The network is then faced with the task of determining its maximum average rate of reliable transmission under the uncertainty on the interference level. Cover, in "Broadcast Channels," IEEE Transactions on Information Theory, vol. IT-18, pp. 2-14, Jan. 1972 (incorporated herein by reference), defined such compound channels and showed their equivalence to broadcast channels. Cover proposed and analyzed a solution, which he called "superposition coding," for reliable transmission over such channels. In particular, Cover showed that superposition coding achieves larger throughput than time-sharing techniques.

Subsequently, Bergmans, in "A Simple Converse for Broadcast Channels with Additive White Gaussian Noise Maximum Likelihood Decoding," <i>IEEE Transactions</i> on Information Theory, vol. IT-20, pp. 279-280, Mar. 1974 (incorporated herein by reference), demonstrated the optimality of superposition coding. The main idea behind superposition coding, as it pertains to channel throughput, is to make sure that some data is correctly received even when the interference is large; additional information can be received when the interference is small.

Shamai, in "A Broadcast Strategy for the Gaussian Slowly Fading Channel," in Proceedings of the IEEE International Symposium on Information Theory 1997, p. 150 (incorporated herein by reference), calculates the maximum throughput achievable under superposition coding, but shows that achieving the maximum throughput requires an infinite number of coding levels. Liu, et <i>al.,</i> in "Optimal Rate Allocation for Superposition Coding in Quasi-static Fading Channels," in Proceedings of IEEE International Symposium on Information Theory 2002, p. 111 (incorporated herein by reference), consider only a finite number of levels in the superposition coding and show that the performance achieved with two levels is fairly close to the maximum throughput. However, Liu, et <i>al.,</i> assume that the transmitter does not have any information on the state of the channel. On the other hand, Whiting, <i>et al.,</i> in "Optimal Encoding over Uncertain Channels with Decoding Delay Constraints," in Proceedings of the IEEE International Symposium on Information Theory 2000, p. 430 (incorporated herein by reference), assume the transmitter to have delayed feedback knowledge about the channel state and a finite decoding delay. Whiting, et <i>al.,</i> then provide the maximum achievable average rate using a broadcast approach.

All of the above-referenced prior art approaches have assumed that the transmission rates are of infinite granularity. However, in practical scenarios (due to standard specifications, practical implementations and the cost of building commercial transmitters and receivers), the set of allowed transmission rates is finite and predetermined, and the transmitters are constrained to only use some of these specified rates.

What is needed in the art is a technique for determining the throughput achievable under superposition coding given a finite, predetermined set of allowed transmission rates. What is further needed in the art is a system and a method for performing such technique.

SUMMARY OF THE INVENTION

To address the above-discussed deficiencies of the prior art, the present invention provides, in one aspect, a system for determining channel throughput achievable under superposition coding given a finite, predetermined set of allowed transmission rates. In one embodiment, the system includes: (1) a noise level calculator configured to calculate associated optimal noise levels for at least some rate subsets of the set of allowed transmission rates and (2) a code feasibility calculator associated with the noise level calculator and configured to determine whether feasible superposition codes exist for the at least some rate subsets given the associated optimal noise levels and thereby identify ones of the at least some rate subsets that are suitable for subsequent wireless transmissions.

In another aspect, the present invention provides a method of determining channel throughput achievable under superposition coding given a finite, predetermined set of allowed transmission rates. In one embodiment, the method includes: (1) calculating associated optimal noise levels for at least some rate subsets of the set of allowed transmission rates and (2) determining whether feasible superposition codes exist for the at least some rate subsets given the associated optimal noise levels and thereby identifying ones of the at least some rate subsets that are suitable for subsequent wireless transmissions.

It is assumed that the channel can reliably support at least one of the rates in the pre-determined rate set with an arbitrarily small probability of decoding error. Assuming that the rates need to be chosen from a finite set of predetermined rates leads to a combinatorial optimization problem and significantly contributes to the complexity of the problem. A sequence of propositions culminating in an application of the Kuhn-Tucker theorem to solve a constrained optimization problem will be set forth. This yields an algorithm that optimizes both the subset of transmission rates that ought to be used, and the power allocations to the various rates and the corresponding noise power levels.

The foregoing has outlined, rather broadly, preferred and alternative features of the present invention so that those skilled in the art may better understand the detailed description of the invention that follows. Additional features of the invention will be described hereinafter that form the subject of the claims of the invention. Those skilled in the art should appreciate that they can readily use the disclosed conception and specific embodiment as a basis for designing or modifying other structures for carrying out the same purposes of the present invention. Those skilled in the art should also realize that such equivalent constructions do not depart from the spirit and scope of the invention in its broadest form.

BRIEF DESCRIPTION OF THE DRAWINGS

For a more complete understanding of the present invention, reference is now made to the following descriptions taken in conjunction with the accompanying drawings, in which: <ul id="ul0001" list-style="none" compact="compact"><li>FIGURE 1 illustrates a block diagram of one embodiment of a system for determining the throughput achievable under superposition coding given a finite, predetermined set of allowed transmission rates constructed according to the principles of the present invention;</li><li>FIGURE 2 illustrates a flow diagram of one embodiment of a method of determining the throughput achievable under superposition coding given a finite, predetermined set of allowed transmission rates carried out according to the principles of the present invention;</li><li>FIGURE 3 illustrates a graph of signal-to-noise ratio (SNR) versus optimal throughput using superposition coding for different values of mean noise power 1/α, when the pdf of the noise power is exponential;</li><li>FIGURE 4 illustrates a graph of SNR versus optimal throughput using superposition coding, both when the optimal rate subset for each SNR is unrestricted, and when it is forced to be of size 1 (single-rate coding), for α = 0.7; and</li><li>FIGURE 5 illustrates a graph of SNR versus the sum of the rates in the optimal rate subset for superposition and single-rate coding, for α = 0.7.</li></ul>

DETAILED DESCRIPTIO

N

A description of the channel model used herein will now be described, along with the assumptions made and a mathematical formulation of the problem of interest. A single user, point-to-point channel, modeled as a discrete-time, flat fading, additive white Gaussian noise channel with noise variance σ² will be considered. The interference from other users' transmissions is assumed to be time-varying and modeled as a zero-mean, Gaussian random variable (r.v.), which is independent of the thermal noise of the channel. The interference power I, i.e., the variance of this Gaussian r.v., is itself an r.v. chosen according to a known probability density function which depends on the location and the transmission characteristics of the users. The joint effect of the interference and thermal noise will be considered as an equivalent noise process, the power of which is given as <i>N</i> = <i>I</i>+σ², since the interference is assumed to be independent of the thermal noise. A new noise power <i>N</i> is then chosen according to a known probability density function (pdf) <i>f</i>_<i>N</i>(·). This pdf is assumed to be monotone decreasing and have infinite support, taken to be [0, ∝), without loss of generality. It is implicitly assumed that interference cancellation between the different transmitting users is not employed at the receiver. In addition, it is assumed that the received power is upper-bounded by P. Perfect power control is employed to ensure that the received power remains constant and independent of channel condition and the level of interference. This requires that the transmitter has perfect and instantaneous knowledge of the channel gain between the transmitter and the receiver. Finally, it is assumed that a set of <i>M</i> possible rates exists from which the transmitter must choose its transmission rate(s).

The rate set is denoted by <img file="EP1610486A2_D0001.tif" /> The elements of an arbitrary subset <img file="EP1610486A2_D0002.tif" /> containing <i>K</i> of these <i>M</i> rates is denoted by <img file="EP1610486A2_D0003.tif" /> ≡ {<i>R</i>₁,<i>R</i>₂,...,<i>R</i>_<i>K</i>}. Reuse of a rate in a subset is not permitted, i.e., all elements of <img file="EP1610486A2_D0004.tif" /> must be distinct.

Having set forth the applicable channel model, superposition coding will now be described. Given a rate subset <img file="EP1610486A2_D0005.tif" /> of size <i>K, K</i> noise power levels exist, denoted (<i>N</i>₁,...,<i>N</i>_<i>K</i>). Without loss of generality, it is assumed that they are labeled in increasing order:<maths id="math0001" num="(1)"><math display="block"><mrow><mtext>0 ≤ </mtext><msub><mrow><mtext mathvariant="italic">N</mtext></mrow><mrow><mtext>1</mtext></mrow></msub><mtext> ≤ </mtext><msub><mrow><mtext mathvariant="italic">N</mtext></mrow><mrow><mtext>2</mtext></mrow></msub><mtext> ≤ ... ≤ </mtext><msub><mrow><mtext mathvariant="italic">N</mtext></mrow><mrow><mtext mathvariant="italic">K</mtext></mrow></msub><mtext>.</mtext></mrow></math><img file="EP1610486A2_D0006.tif" /></maths>

The codewords with rate <i>R</i>_<i>k</i> are allocated power <i>P</i>_<i>k</i>, <i>k</i> = 1,...,<i>K</i>. A superposition decoding scheme operates as follows: a permutation π of the set {1,...,<i>K</i>} → {1,...,<i>K</i>} is chosen, and an attempt is made to decode the codeword with rate <i>R</i>_π(<i>K</i>) at the highest noise level <i>N</i>_<i>K</i>. If decoding is successful, the decoded codeword is subtracted from the received codeword. Then, an attempt is made to decode the codeword with rate <i>R</i>_{π(<i>K</i>-1)} at the next highest noise level <i>N</i>_<i>K</i>-1 and that decoded codeword subtracted. This proceeds until all codewords are successfully decoded. In other words, each rate <i>R</i>_<i>j</i> has a power allocation <i>P</i>_<i>j</i>, such that at noise power level <i>N</i>_<i>k</i>, the codewords of rate <i>R</i>_π(<i>k</i>) can be decoded, assuming that the codewords with rates <i>R</i>_{π(<i>k</i>+1)},...,<i>R</i>_π(<i>K</i>) are already decoded and those with rates <i>R</i>_π(1),...,<i>R</i>_{π(<i>k</i>-1)} are not yet decoded:<maths id="math0002" num=""><img file="EP1610486A2_D0007.tif" /></maths> Note that equation (2) implicitly assumes that Shannon's expression for the capacity of an AWGN channel sets the maximum transmission rate. The natural logarithm is used, so the rate is expressed as nats/s/Hz ("nats" being natural, or ln₂, bits). Equation (2) associates the rate <i>R</i>_{<i>n</i>(<i>k</i>)} with the noise power level <i>N</i>_<i>k</i>, <i>k</i> = 1,...,<i>K</i>. Note that equation (2) is equivalent to<maths id="math0003" num=""><img file="EP1610486A2_D0008.tif" /></maths><maths id="math0004" num="(4)"><math display="block"><mrow><msub><mrow><mtext>γ</mtext></mrow><mrow><mtext mathvariant="italic">k</mtext></mrow></msub><mtext> = exp(2</mtext><msub><mrow><mtext mathvariant="italic">R</mtext></mrow><mrow><mtext mathvariant="italic">k</mtext></mrow></msub><mtext>) - 1,   </mtext><mtext mathvariant="italic">k</mtext><mtext> = 1, ..., </mtext><mtext mathvariant="italic">K</mtext><mtext>.</mtext></mrow></math><img file="EP1610486A2_D0009.tif" /></maths>

Thus, given π, <i>R</i>₁,...,<i>R</i>_<i>K</i> and <i>N</i>₁,...,<i>N</i>_<i>K</i>, equation (3) completely determines <i>P</i>₁,...,<i>P</i>_<i>K</i>. Further, it is clear from equation (3) that <i>P</i>_<i>k</i> ≥ 0, <i>k</i> = 1,...,<i>K</i>. Of course, the total power allocation cannot exceed the available total power <i>P</i>:<maths id="math0005" num=""><img file="EP1610486A2_D0010.tif" /></maths> where equation (11) gives <i>q</i>_π(<i>k</i>), <i>k</i> = 1,...,<i>K</i>.

Formally, for a given total received power P, rate set<img file="EP1610486A2_D0011.tif" /> = {<i>R</i>₁,...,<i>R</i>_<i>K</i>} and permutation n, if the noise power levels <i>N</i> = (<i>N</i>₁,...,<i>N</i>_<i>K</i>) satisfy equations (1) and (5), (<img file="EP1610486A2_D0012.tif" /> π,N,P) is called a "superposition coding scheme supporting the rate set<img file="EP1610486A2_D0013.tif" />" with decoding order π, noise power levels <i>N,</i> individual power allocations defined by equation (3), and total (received) power at most P.

The throughput using the superposition coding scheme (<img file="EP1610486A2_D0014.tif" />π,<i>N</i>,<i>P</i>) is<maths id="math0006" num=""><img file="EP1610486A2_D0015.tif" /></maths> where <i>f</i>_<i>N</i>(·) is the pdf of the noise power. Given a rate set<img file="EP1610486A2_D0016.tif" /> of size <i>M</i> and total received power P, the goal is to find the superposition coding scheme (<img file="EP1610486A2_D0017.tif" />π<i>,N,P</i>) that maximizes the throughput given in equation (6). In other words,<maths id="math0007" num=""><img file="EP1610486A2_D0018.tif" /></maths> which is equivalent to<maths id="math0008" num=""><img file="EP1610486A2_D0019.tif" /></maths> where equation (6) gives T. The first three optimizations in equation (8) are computed by searching over all 2^<i>M</i>-1 nonempty subsets of the given rate set <img file="EP1610486A2_D0020.tif" /> and all <i>K</i>! permutations on each subset of size <i>K, K =</i> 1,...,<i>M</i>. The innermost optimization for a given subset {<i>R</i>₁,...,<i>R</i>_<i>K</i>} and n is that of maximizing the throughput subject to equations (1) and (5):<maths id="math0009" num=""><img file="EP1610486A2_D0021.tif" /></maths>

If the maximum throughput from the optimization problem of equation (9) is denoted <i>T*</i> (<i>R</i>₁,...,<i>R</i>_<i>K</i><i>, π</i>), the following three propositions and theorem result: <ul id="ul0002" list-style="none" compact="compact"><li>Proposition 1: Let (<i>N</i>*₁,...,<i>N</i>*_<i>K</i>) achieve the maximum in equation (9), and suppose <i>N</i>₁* = 0. Then<maths id="math0010" num=""><math display="block"><mrow><mtext mathvariant="italic">T</mtext><mtext>* (</mtext><msub><mrow><mtext mathvariant="italic">R</mtext></mrow><mrow><mtext>1</mtext></mrow></msub><mtext>,...,</mtext><msub><mrow><mtext mathvariant="italic">R</mtext></mrow><mrow><mtext mathvariant="italic">K</mtext></mrow></msub><mtext>,π) = </mtext><mtext mathvariant="italic">T</mtext><mtext>* (</mtext><msub><mrow><mtext mathvariant="italic">R'</mtext></mrow><mrow><mtext>1</mtext></mrow></msub><mtext>,...,</mtext><msub><mrow><mtext mathvariant="italic">R'</mtext></mrow><mrow><mtext mathvariant="italic">K</mtext><mtext>-1</mtext></mrow></msub><mtext>,π')</mtext></mrow></math><img file="EP1610486A2_D0022.tif" /></maths> where <i>R</i>_π(1) is dropped from the original rate subset <img file="EP1610486A2_D0023.tif" /> to yield the reduced rate subset <img file="EP1610486A2_D0024.tif" /> = {<i>R</i>'₁,...,<i>R</i>'_K-1}, and π' is the restriction of the original permutation π to <img file="EP1610486A2_D0025.tif" /></li><li>Proposition 2: Suppose the noise power probability density function <i>f</i>_<i>N</i>(·) is continuous and monotone decreasing. Then, for any rate subset {<i>R</i>₁,...,<i>R</i>_<i>K</i>} and permutation π, the throughput <i>T</i>(<i>R</i>₁,...,<i>R</i>_<i>K</i><i>,π,N</i>₁,...,<i>N</i>_<i>K</i>), viewed as a function of <i>N</i>₁,...,<i>N</i>_<i>K</i>, is a concave continuously differentiable mapping from the open convex set <img file="EP1610486A2_D0026.tif" /> into <img file="EP1610486A2_D0027.tif" />.</li><li>Proposition 3: Given a rate subset {<i>R</i>₁,...,<i>R</i>_<i>K</i>} and permutation n: {1,...,<i>K</i>} → {1,...,<i>K</i>}, and noise power levels <i>N</i>₁,..., <i>N</i>_<i>K</i>: <ul id="ul0003" list-style="none" compact="compact"><li>(a) The values of <i>P</i>_<i>k</i> obtained from equation (3) satisfy the following property:<maths id="math0011" num=""><img file="EP1610486A2_D0028.tif" /></maths><maths id="math0012" num=""><img file="EP1610486A2_D0029.tif" /></maths></li><li>(b) For all m ≥ 1,<maths id="math0013" num=""><img file="EP1610486A2_D0030.tif" /></maths></li></ul></li></ul>

Theorem: Let the pdf of the noise power, <i>f</i>_<i>N</i>(·), be monotone decreasing with infinite support. For a given rate subset <i>R</i>₁,...,<i>R</i>_<i>K</i>, permutation π, and maximum received power <i>P</i>, <i>T</i>(<i>R</i>₁,...,<i>R</i>_<i>K</i>, π,<i>N</i>) has a global maximum at (<i>N</i>*₁, ... , <i>N</i>*_<i>K</i>) [over the set of all <i>N*</i> with 0 &lt; <i>N</i>₁ ≤ <i>N</i>₂ ≤ ... ≤<i>N</i>_<i>K</i>] if and only if λ &gt; 0 exists such that<maths id="math0014" num="(13)"><math display="block"><mrow><msub><mrow><mtext mathvariant="italic">f</mtext></mrow><mrow><mtext mathvariant="italic">N</mtext></mrow></msub><mtext>(</mtext><msubsup><mrow><mtext mathvariant="italic">N</mtext></mrow><mrow><mtext mathvariant="italic">i</mtext></mrow><mrow><mtext>*</mtext></mrow></msubsup><mtext>)</mtext><mfrac><mrow><msub><mrow><mtext mathvariant="italic">R</mtext></mrow><mrow><mtext>π(i)</mtext></mrow></msub></mrow><mrow><msub><mrow><mtext mathvariant="italic">q</mtext></mrow><mrow><mtext>π(i)</mtext></mrow></msub></mrow></mfrac><mtext> = λ,   </mtext><mtext mathvariant="italic">i</mtext><mtext> = 1, ..., </mtext><mtext mathvariant="italic">K</mtext><mtext>,</mtext></mrow></math><img file="EP1610486A2_D0031.tif" /></maths><maths id="math0015" num=""><img file="EP1610486A2_D0032.tif" /></maths>

From equation (13), it follows that <i>N</i>*₁ &gt; 0 guarantees λ &gt; 0. Thus the only condition to be checked for a critical point (<i>N*</i>₁,...,<i>N*</i>_<i>K</i>) obtained by solving equation (13) is<maths id="math0016" num=""><img file="EP1610486A2_D0033.tif" /></maths>

The theorem leads to a general algorithm for computing optimal noise levels for any decreasing noise pdf. However, the algorithm can be significantly simplified if the noise pdf is assumed to decrease in an exponential manner. Under the additional assumption that <i>f</i>_<i>N</i>(·) is exponential, the optimal noise levels can be explicitly calculated in a recursive fashion for any permutation. This yields an algorithm to determine the maximum throughput and the throughput-maximizing set of discrete noise levels and the associated power allocation.

Let the noise power pdf be denoted by <i>f</i>_<i>N</i>(<i>n</i>) = α exp(-α<i>n</i>), for <i>n</i> &gt; 0, where α &gt; 0 is a known parameter. Equation (13), evaluated for consecutive noise levels, can now be used to find a relation between <i>N</i>*_<i>i</i> and <i>N</i>*₁:<maths id="math0017" num=""><math display="block"><mrow><msub><mrow><mtext mathvariant="italic">f</mtext></mrow><mrow><mtext mathvariant="italic">N</mtext></mrow></msub><mtext>(</mtext><msubsup><mrow><mtext mathvariant="italic">N</mtext></mrow><mrow><mtext mathvariant="italic">i</mtext></mrow><mrow><mtext>*</mtext></mrow></msubsup><mtext>)</mtext><mfrac><mrow><msub><mrow><mtext mathvariant="italic">R</mtext></mrow><mrow><mtext>π(</mtext><mtext mathvariant="italic">i</mtext><mtext>)</mtext></mrow></msub></mrow><mrow><msub><mrow><mtext mathvariant="italic">q</mtext></mrow><mrow><mtext>π(</mtext><mtext mathvariant="italic">i</mtext><mtext>)</mtext></mrow></msub></mrow></mfrac><mtext> = λ = </mtext><msub><mrow><mtext mathvariant="italic">f</mtext></mrow><mrow><mtext mathvariant="italic">N</mtext></mrow></msub><mtext>(</mtext><msubsup><mrow><mtext mathvariant="italic">N</mtext></mrow><mrow><mtext mathvariant="italic">i</mtext><mtext>+1</mtext></mrow><mrow><mtext>*</mtext></mrow></msubsup><mtext>)</mtext><mfrac><mrow><msub><mrow><mtext mathvariant="italic">R</mtext></mrow><mrow><mtext>π(</mtext><mtext mathvariant="italic">i</mtext><mtext>+1)</mtext></mrow></msub></mrow><mrow><msub><mrow><mtext mathvariant="italic">q</mtext></mrow><mrow><mtext>π(</mtext><mtext mathvariant="italic">i</mtext><mtext>+1)</mtext></mrow></msub></mrow></mfrac></mrow></math><img file="EP1610486A2_D0034.tif" /></maths><maths id="math0018" num=""><math display="block"><mrow><mtext>⇔ </mtext><msubsup><mrow><mtext mathvariant="italic">N</mtext></mrow><mrow><mtext mathvariant="italic">i</mtext><mtext>+1</mtext></mrow><mrow><mtext>*</mtext></mrow></msubsup><mtext> = </mtext><msubsup><mrow><mtext mathvariant="italic">N</mtext></mrow><mrow><mtext mathvariant="italic">i</mtext></mrow><mrow><mtext>*</mtext></mrow></msubsup><mtext> + </mtext><msub><mrow><mtext mathvariant="italic">x</mtext></mrow><mrow><mtext>π(</mtext><mtext mathvariant="italic">i</mtext><mtext>)</mtext></mrow></msub><mtext>,</mtext></mrow></math><img file="EP1610486A2_D0035.tif" /></maths><maths id="math0019" num=""><img file="EP1610486A2_D0036.tif" /></maths> in which the parameters <i>x</i>_{<i>n</i>(<i>i</i>)} are calculated according to the following equation:<maths id="math0020" num=""><img file="EP1610486A2_D0037.tif" /></maths>    with <i>N</i>*₁ determined from the power constraint:<maths id="math0021" num=""><img file="EP1610486A2_D0038.tif" /></maths><maths id="math0022" num=""><img file="EP1610486A2_D0039.tif" /></maths>

The only remaining feasibility condition of the above solution that remains to be checked is:<maths id="math0023" num=""><img file="EP1610486A2_D0040.tif" /></maths>

The above results may now be put together to result in the following algorithm for determining the throughput-optimal set of transmission rates and the corresponding set of discrete noise levels when the noise pdf is exponentially decreasing. <ul id="ul0004" list-style="none" compact="compact"><li>Step 1 : Let <i>K</i> = 1 (this is the number of transmission rates chosen from the original rate set).</li><li>Step 2: Choose a subset of <i>K</i> rates from the original set, denoted {<i>R</i>₁,...,<i>R</i>_<i>K</i>}.</li><li>Step 3: For each permutation π, do the following: <ul id="ul0005" list-style="none" compact="compact"><li>3.1: Determine the parameters <i>q</i>_{<i>n</i>(<i>i</i>)} and <i>x</i>_{<i>n</i>(<i>i</i>)} for the chosen rate subset, for <i>i</i> = 1,...,<i>K</i>-1, from equations (11) and (17) respectively.</li><li>3.2: If equation (19) is satisfied, then a feasible superposition code exists supporting this rate subset with decoding order specified by n, and the noise levels can be calculated from equations (17), (18) and (16), in that order. Finally the achieved throughput for the chosen rate subset <img file="EP1610486A2_D0041.tif" /> is given by:<maths id="math0024" num=""><img file="EP1610486A2_D0042.tif" /></maths></li><li>3.3: If on the other hand equation (19) is not satisfied, no superposition code exists using decoding order n supporting the chosen rate subset for the given power constraint.</li><li>3.4: Repeat Steps 3.1-3.3 for each permutation on the given rate subset {<i>R</i>₁,...,<i>R</i>_<i>K</i>} chosen in Step 2.</li></ul></li><li>Step 4: For a given <i>K</i>, choose all possible rate subsets of size <i>K</i> and repeat the operations in Steps 3.1-3.4.</li><li>Step 5: Repeat the operations in Steps 2 through 4 for all possible sizes of the rate subset by varying <i>K</i> from 1 to <i>M,</i> where <i>M</i> is the number of rates in the original rate subset, from which the rate subset has to be chosen. At the end of this step, the throughput values for all possible feasible rate subsets and permutations should be in hand.</li><li>Step 6: Choose the largest value of the achievable throughputs obtained in Steps 3.1-3.4 for the different rate subsets under consideration.</li></ul>

Note that the above procedure can be repeated for different received power constraints P to obtain the maximum achieved throughput under superposition coding as a function of the received power, or equivalently as a function of the transmit power (if the relation between transmit and receive power is known).

Further, the algorithm works for arbitrary monotone decreasing <i>f</i>_<i>N</i>(·) if equations (17), (18) and (16) are all replaced by equations (13) and (14) to solve for the optimal noise power levels and if equation (19) is replaced by equation (15) in which the appropriate values for the noise power levels are used. Finally, in Step 3.2, the throughput T for a given rate subset and a given permutation π is calculated according to equation (6).

Having set forth an algorithm for determining the throughput-optimal set of transmission rates and the corresponding set of discrete noise levels, a system configured to operate in accordance with the principles of the algorithm may now be illustrated. Accordingly, FIGURE 1 illustrates a block diagram of one embodiment of a system for determining the throughput achievable under superposition coding given a finite, predetermined set of allowed transmission rates constructed according to the principles of the present invention.

A database 110 contains the finite, predetermined set of allowed transmission rates from which the subsets are chosen for analysis. In the illustrated embodiment, a conventional or later-established industry transmission standard determines the set. Proprietary transmission rates may alternatively occupy the set.

A noise level calculator 120 is coupled to the database 110. The noise level calculator 120 is configured to calculate associated optimal noise levels for at least some rate subsets of the set of allowed transmission rates. In doing so, the illustrated embodiment of the noise level calculator 120 chooses subsets containing one or more transmission rates, but of fewer members than the entire set.

In the illustrated embodiment, the noise level calculator is configured to calculate associated optimal noise levels for all rate subsets of the set of allowed transmission rates as the algorithm set forth above does. Further, the illustrated embodiment of the noise level calculator employs equations that at least approximate equations (11) and (17) above to find the parameters <i>q</i>_π(<i>i</i>) and <i>x</i>_{<i>π</i>(<i>i</i>)} for each rate subset. <i>N</i>₁ and <i>N</i>_<i>i</i> can also be calculated as desired. "At least approximate" means that the equations may not be exactly as those set forth above, but achieve substantially the same result. Of course, any suitable equation or equations for determining optimal noise levels fall within the broad scope of the present invention.

A code feasibility calculator 130 is associated with the noise level calculator 120. The code feasibility calculator 130 is configured to determine whether feasible superposition codes exist for the at least some rate subsets given the associated optimal noise levels. The rate subsets lacking feasible superposition codes are disregarded. The rate subsets having feasible superposition codes are suitable for subsequent wireless transmissions.

The illustrated embodiment of the code feasibility calculator 130 is further configured to determine throughputs associated with the ones of the at least some rate subsets. Further, the illustrated embodiment of the code feasibility calculator 130 employs an equation that at least approximates equation (20), respectively equation (6). Of course, any suitable equation or equations for determining throughputs fall within the broad scope of the present invention.

The illustrated embodiment of the code feasibility calculator 130 is further configured to select a one of the at least some rate subsets having a maximum associated throughput. It is assumed that maximizing throughput is the desired objective, though the broad scope of the present invention is not so limited.

Having selected the one (feasible) rate subset having the maximum associated throughput, the illustrated embodiment of the code feasibility calculator 130 is further configured to calculate power allocations for rates in the selected rate subset. The code feasibility calculator 130 can then provide the appropriate rate subset and power allocation for the various rates in the subset to a wireless network 140 for subsequent transmissions.

Turning now to FIGURE 2, illustrated is a flow diagram of one embodiment of a method of determining the throughput achievable under superposition coding given a finite, predetermined set of allowed transmission rates carried out according to the principles of the present invention.

The method begins in a start step 210, wherein it is desired to determine channel throughput achievable under superposition coding given a finite, predetermined set of allowed transmission rates. The method proceeds to a step 220 in which associated optimal noise levels are calculated for at least some rate subsets of the set of allowed transmission rates. Next, in a step 230, the existence of feasible superposition codes for the at least some rate subsets given the associated optimal noise levels is determined. Rate subsets that are suitable for subsequent wireless transmissions are thereby identified.

Then, in a step 240, associated throughputs for the suitable rate subsets are determined. Next, in a step 250, the rate subset having the maximum associated throughput is selected. The method ends in an end step 260 wherein, in the illustrated embodiment, power levels for the rates in the selected rate subset are determined and given over to a wireless network for subsequent transmissions.

Some numerical results will now be presented to illustrate the performance of the superposition coding scheme when the pdf of noise power is exponential with parameter α, for various choices of α. The set of available rates (again expressed in nats/s/Hz) is {2,1,²/₃,½/¹/₃,¼,¹/₅}. The power P and the noise power levels <i>N</i>*₁,...,<i>N</i>*_<i>K</i> are normalized by dividing them by the mean noise power <maths id="math0025" num=""><math display="inline"><mrow><mover accent="true"><mrow><mtext mathvariant="italic">N</mtext></mrow><mo>¯</mo></mover></mrow></math><img file="EP1610486A2_D0043.tif" /></maths> = 1/α. Thus P may be replaced in the optimization problem by the signal-to-noise ratio (SNR) <i>P</i>/<maths id="math0026" num=""><math display="inline"><mrow><mover accent="true"><mrow><mtext mathvariant="italic">N</mtext></mrow><mo>¯</mo></mover></mrow></math><img file="EP1610486A2_D0044.tif" /></maths>, where <i>N</i>*₁,...,<i>N</i>*_<i>K</i> now refer to the noise power levels normalized by the mean.

The results are plotted in FIGUREs 3, 4 and 5. In each of them, SNR is plotted versus the maximal throughput for this SNR. The maximal throughput is the throughput given by equation (20) for the best rate subset and the best permutation over this rate subset, with <i>N</i>*₁,...,<i>N</i>*_<i>K</i> obtained from equations (17), (18) and (16).

Turning to FIGURE 3, shown are throughput versus SNR curves for different values of the mean noise power <i>I</i>/α, when the pdf of the noise power is exponential. For a given SNR, the maximal throughput increases as mean noise power decreases, <i>i</i>.<i>e</i>., as α increases. Turning to FIGURE 4, α is set equal to 0.7 and the maximal throughput is plotted using a superposition code versus SNR, and this is compared to the maximal throughput when only one rate is permitted to be used out of the rate subset. The difference in throughput between the two curves represents the gain due to superposition coding.

For low SNRs, the two throughputs are close, but start to diverge as SNR increases. The reason for this widening gap is that as more power is available, the superposition code can take advantage of it to use rate subsets with finer granularity than if only use a single rate is used. In particular, the slope of the single-rate throughput curve changes discontinuously at an SNR of approximately 18 dB. At this point, the SNR is high enough that a higher rate is feasible as the single-rate code, so this curve then starts to climb up toward the superposition code curve.

In FIGURE 5, the sum of the rates in the optimal rate subset is plotted for α = 0.7, for both superposition and single-rate coding versus SNR. As available power rises, the sum of the rates in the optimal rate subset rises as well, except for the initial drop in the superposition code sum-rate at very low SNR. However, since the single-rate code can only use one rate, this optimal rate rises in bigger jumps than for the superposition code, which can use higher rates when power is available, with finer granularity than if only a single rate is used.

In general, the size of the optimal rate subset used in the superposition code increases with SNR. However, a pattern could not be readily identified in the optimal permutations over these optimal rate subsets. In fact, situations arose where the optimal rate subset was the same at two different SNRs, but the optimal permutations were different.

Although the present invention has been described in detail, those skilled in the art should understand that they can make various changes, substitutions and alterations herein without departing from the spirit and scope of the invention in its broadest form.