A Low-Complexity Message Recovery Methodfor Compute-and-Forward Relaying

A Low-Complexity Message Recovery Method
for Compute-and-Forward Relaying

Amaro Barreal, Joonas Pääkkönen, David Karpuk, Camilla Hollanti, Olav Tirkkonen
Department of Mathematics and Systems Analysis, School of Science, Aalto University.
Department of Communications and Networking, School of Electrical Engineering, Aalto University.
{amaro.barreal, joonas.paakkonen, david.karpuk, camilla.hollanti, olav.tirkkonen}@aalto.fi
Abstract

The Compute-and-Forward relaying strategy achieves high computation rates by decoding linear combinations of transmitted messages at intermediate relays. However, if the involved relays independently choose which combinations of the messages to decode, there is no guarantee that the overall system of linear equations is solvable at the destination. In this article it is shown that, for a Gaussian fading channel model with two transmitters and two relays, always choosing the combination that maximizes the computation rate often leads to a case where the original messages cannot be recovered. It is further shown that by limiting the relays to select from carefully designed sets of equations, a solvable system can be guaranteed while maintaining high computation rates. The proposed method has a constant computational complexity and requires no information exchange between the relays.

I Introduction

In wireless multiuser relay networks, both interference from multiple transmitters and noise degrade the system performance. To combat these issues, Nazer and Gastpar recently introduced a new relaying strategy called Compute-and-Forward (CaF) [1]. Their key idea is to decode an integer linear combination of the transmitted messages at intermediate relays, and then forward the combinations to the destination.

Finding integer combinations that yield high transmission rates turns out, however, to be a complicated task. Particularly, finding the equation coefficients of the linear combinations that maximize the data transmission rate coincides with a Shortest Vector Problem (SVP) [2], for which various algorithms have been proposed [3, 4, 5]. Unfortunately, these algorithms tend to be either highly complex or suboptimal. Recently, algorithms of polynomial complexity for finding the equation coefficients that maximize the rate have been presented [6, 7]. However, choosing the coefficient vectors that maximize the instantaneous computation rate might result in an overall unsolvable system of linear equations at the destination due to linear dependency of the coefficient vectors – that is, the original messages might not necessarily be recoverable even if the combinations are successfully decoded at the relays.

The message recoverability problem has been addressed in [4], where precoding at the transmitters is used to increase the probability of receiving independent combinations at the destination, while [5, 8, 9] allow cooperation between the relays. These methods either require preprocessing at the transmitters or signaling between the relays.

In [10], this problem is mitigated by choosing a subset of relays with suitable equation coefficients. This approach can however not be used in the symmetric case, that is if the number of relays equals the number of transmitters.

In this paper, we introduce a new, efficient approach to finding the coefficient vectors for a system with two transmitters and two relays. We observe that, in a Gaussian fading channel, there are only few coefficient vectors that typically maximize the computation rate. Based on this observation, we compile small coefficient vector candidate sets for both relays so that the probability of the relays choosing linearly dependent vectors vanishes.

Our proposed method does not require jointly finding the coefficients at the relays, thus there is no need for cooperation. Furthermore, searching for appropriate coefficient vectors only over a small set of vectors reduces the computational complexity as opposed to solving the corresponding SVP.

The main benefits of our proposed method are twofold. Firstly, the end-to-end information outage probability vanishes as the message rate at the transmitters approaches zero. Secondly, the computational complexity of our scheme is constant while still providing a relatively high throughput. Our findings are supported by extensive computer simulations.

The paper is organized as follows. We give a brief introduction of the CaF protocol in Section II, and introduce methods for finding suitable equation coefficients in Section III. Section IV presents the performance metrics and corresponding numerical results, while Section V concludes the paper.

Ii The Compute-and-Forward Protocol

In this article, we focus on a wireless multiple-access system with transmitters and relays, as illustrated in Figure 1.

Relay 1

Relay 2

Tx 1

Tx 2

Dest.

First Hop

Second Hop

Fig. 1: System model with two transmitters and two relays connected to a destination. The first hop is modeled as a wireless multiple access fading channel. The relays are connected to the destination with error-free bit pipes.

The first hop from the transmitters to the relays is modeled as a Gaussian fading channel. The relays are connected to a destination with error-free bit pipes with unlimited capacities. The goal of the system is to reliably transfer information from both transmitters, via the relays, all the way to the destination. The relays apply the original CaF strategy introduced in [1], briefly exposed in the following.

The transmitters want to communicate messages , , where is prime. Before transmission, these messages are encoded into -dimensional codewords that are subject to the power constraint . Note that throughout this paper, we assume that both transmitters use identical transmission powers, and that the relays have identical noise levels with normalized variance, i.e., . This is justified as allowing asymmetric values affects the performance metric used for simulations for all three considered strategies equally, and hence does not affect the comparison results.

Definition 1.

The message rate at transmitter is defined as

(1)

For the received signal at relay , we use the following channel model:

(2)

where is additive white Gaussian noise with normalized variance , and the channel coefficients are assumed to be i.i.d. and real-valued, [1]. Let denote the channel vector for relay .

Channel state information is only available at the relays. Further, it is important to note that we assume that each relay only knows the channels to itself, i.e., relay 1 knows and , while relay 2 knows and .

The key feature of CaF is to decode and forward linear combinations of the transmitted messages. In this paper, we only consider integer combinations of the transmitted codewords.

Remark 1.

As noted above, each transmitter encodes its message into a lattice vector . Hence, although the destination ultimately wants to decode the messages , the relays decode linear equations involving the codewords , and it is thus meaningful to consider -linear rather than -linear combinations. The destination, upon reception of enough -linearly independent equations, can solve for the codewords and recover the original messages [1].

The integer combination of relay is represented by an equation coefficient vector , more explicitely

(3)

These vectors form the equation coefficient matrix

(4)

and the destination can recover the single codewords if and only if is invertible, that is .

Figure 2 shows that, if the relays always choose the equation coefficient vector that maximizes their instantaneous computation rate, the probability of the matrix being singular is noticeable. This phenomenon is more pronounced for low values, and even more considerable for more than two relays and transmitters. In this article, we focus on the case .

Fig. 2: Probability of the equation coefficient matrix being singular for various numbers of relays and transmitters when independently choosing the coefficient vectors that maximize the computation rate.

The most important performance metric of CaF is the so-called computation rate, whose meaning is explained in the following. If relay achieves computation rate , then it is able to decode a linear combination of the codewords whose corresponding message rates satisfy . That is, relay can support message rate if

(5)

where is the message rate at transmitter , and means that the message of transmitter is included in the linear combination decoded by relay .

In the scenario considered in this paper, we have two transmitters with identical message rates .

Both relays can support this message rate if

(6)

The main observations about the computation rate derived in [1] are summarized in the following theorem.

Theorem 1.

In the above setup, a computation rate region of

(7)

is achievable. This expression is further maximized by choosing to be

(8)

resulting in a computation rate region of

(9)

The computation rate is thus a function of the channel coefficients and the equation coefficients. While the channel coefficients are random variables, the relays are free to choose their desired equation coefficients. In this paper, we mainly focus on how to efficiently find equation coefficient vectors which yield high computation rates while ensuring that the vectors chosen by the relays are linearly independent.

Iii Selecting the Equation Coefficient Vectors

In this section we present three methods in detail for finding equation coefficient vectors at the relays, all of which require no cooperation between the relays.

The main interest in this article is to guarantee a solvable system of equations at the destination, while still being able to support high message rates. To that end, we will include the following indicator function in our performance metric:

(10)

1. Exhaustive search: Each relay searches over all possible equation coefficient vectors and chooses the one that maximizes its instantaneous computation rate (9).

Lemma 1.

[3] Finding the coefficient vector that maximizes the instantaneous computation rate is equivalent to solving

(11)

where

(12)

and corresponds to finding the shortest vector in the lattice whose Gram matrix is .

While maximizing the computation rate individually at each relay yields the highest message rate supported by the given channel realizations, there is no guarantee that the chosen vectors form an invertible matrix at the destination.

2. Proposed splitting method: In our proposed method, we split possible coefficient vectors into two disjoint sets and . Set is pre-assigned to one relay, while set is pre-assigned to the other. Each relay independently chooses the vector within its set that maximizes the computation rate (9).

Remark 2.

Let be a solution to (11). Note that the matrix is symmetric, that is (11) results in

Thus if is a solution to (9), so is . In particular, we can fix .

One may thus divide the set of candidate vectors into equivalence classes modulo the -action of . Solutions to (11) are sought for in the quotient space . The elements in are equivalence classes of vectors up to , i.e. pairs of vectors, . A unique way of representing elements in is by points in in the right half plane, including the upper y-axis, but not the lower part, i.e., with vectors , or , .

Proposition 1.

The rotation acts in a non-degenerate fashion on . Any point has a unique pair , so that and . Thus can be divided into disjoint sets and so that , , and .

Proof.

Consider the vector . Its equivalence class is . The action of on a vector commutes with scalar multiplication by . Thus . Clearly, , as , and . The action of thus divides into a disjoint set of pairs. One element of each pair can be taken to , the other to . ∎

Following Remark 2, we define the following set.

(13)

Let such that , and , and define

(14)

While preventing the relays from selecting arbitrary coefficient vectors decreases the expected computation rate at the relays, choosing linearly independent vectors ensures that the messages can be recovered at the destination – provided that the relays are able to support the message rate at the transmitters. This claim is justified in the following proposition.

Proposition 2.

For any choice of sets , as proposed above, we have almost surely

(15)
Proof.

Since , we have . It hence suffices to show that there exist vectors , such that for every channel realization ,

or equivalently .

Choose , . Then, for we have , and, since

for we have , hence

as required, where equality holds if and only if . ∎

The following proposition gives a further criterion for designing the sets of vectors and .

Proposition 3.

Let and be two sets of vectors, chosen as above, and denote by , the expected computation rate of the first and second relay using the assigned sets, respectively. If there exists a rotation matrix such that

(16)

is a bijective isometry, we have

(17)
Proof.

Assume is such a matrix. Then, for every we find such that . Moreover, .

Let , . Then, for a fixed power , and since ,

It follows .

To conclude the proof, note that the distribution of the channel is rotation invariant. We thus have

3. Multiple Access: For the sake of comparison, we also consider a simple multiple access method where each relay decodes the message corresponding to the stronger channel coefficient while treating the other message as noise. More concretely, if is the channel observed by relay , then the relay decodes iff , and decodes otherwise. In this scenario, for , , if , message , can be decoded by relay if

(18)

We say that a determinant error occurs if both relays decode and forward the same message.

Iv Simulation Results

In this section, we present extensive simulation results for the end-to-end performance of the methods introduced in Section III for the 2-by-2 relaying system described earlier.

We start by defining two sets of vectors and as in (14) for the proposed strategy. Note that for a given channel realization , the equation coefficient vector maximizing the computation rate at relay is the one that best aligns with [1]. It is thus crucial to provide each relay with vectors that can approximate channel vectors lying in any direction.

Further, to achieve low computation complexity, we construct disjoint sets of small cardinality. For the following simulations, we fix in (13), resulting in sets of cardinality , .

Proposition 4.

Splitting as discussed above exists, where . For such splittings, for any channel realization, almost surely. Further, .

Proof.

Choose such that , either or , but not both. Then according to Prop. 1, , and, . Note that if , we have . Thus, according to Prop. 2, the first statement holds and by Prop. 3, the second statement follows. ∎

One example of such and is depicted in Figure 3.

Fig. 3: All vectors that maximize the computation rate for channel realizations (left) and sets of vectors , for the proposed method (right).

We now compare the three introduced methods. Our two main performance metrics are minimum end-to-end rate and end-to-end outage as described in the following.

Minimum end-to-end rate: This metric is defined to be the expected value of the minimum of the two computation rates at the relays. If the coefficient matrix is not invertible, this metric is defined to be zero as the destination cannot recover both of the original messages. The minimum end-to-end rate can be expressed as

(19)

where denotes the expected value, and is the computation rate at relay defined as in (9). We illustrate this performance metric for varying values in Figure 4.

Fig. 4: Expected minimum end-to-end rate vs. SNR.

The proposed splitting method performs relatively close to the exhaustive search method, and clearly beats the multiple access strategy (cf. Section III-3). It is to be expected that the splitting method cannot outperform the exhaustive search whenever it has positive rate (cf. (19)) in terms of end-to-end rate, since the exhaustive search has a considerably higher number of coefficient vectors from which to choose. The drawback of the exhaustive search is, however, its high complexity compared to the constant complexity of our proposed method. We argue that, in many cases, it is more important to have a fast, lightweight algorithm that finds relatively high rates, rather than strictly maximizing the rate at the cost of computation time and power.

End-to-end outage: The system is said to be in outage if at least one of the relays cannot support the symmetric message rate at the transmitters, or if the equation coefficient matrix is not invertible. The outage probability with symmetric message rates can be expressed as

(20)

Figure 5 presents simulated end-to-end outage probabilities for a fixed value as a function of the symmetric message rates.

Fig. 5: End-to-end outage as a function of the message rate for SNR 10 dB.

While for the exhaustive and multiple-access strategies the outage probability converges to a non-zero value for decreasing message rate, for the proposed splitting method it goes to zero as the message rate goes to zero, as indicated by Prop. 2.

V Conclusions and Future Work

In this article it was shown that pre-assigning sets of equation coefficient vectors to intermediate relays in the framework of Compute-and-Forward relaying helps preventing the overall system of linear equations at the destination from being singular, while maintaining high computation rates and thus being able to support high message rates. The advantage of the proposed method its constant complexity, as opposed to solving a hard shortest vector problem. Moreover, no cooperation between the relays is required.

In this article, we restricted ourselves to real-valued channels, as well as the case of only two transmitters and relays. It was however observed that the problem of the coefficient matrix being singular is even more dramatic for larger number of transmitters and relays. Therefore, as a natural extension, future work includes generalizing the introduced method for an arbitrary, not necessarily symmetric number of transmitters and relays, as well as considering complex-valued channels.

Moreover, while design criteria for the sets of vectors have been mentioned, it still remains open to describe analytically a way of finding the best possible disjoint partition of the equation coefficient vectors.

Acknowledgements

The authors are financially supported by the Academy of Finland grants #276031, #282938, #283262 and #268364, the Finnish Funding Agency for Innovation grant 40142/13, and a grant from Magnus Ehrnrooth Foundation. The support from the European Science Foundation under the COST Action IC1104 is also gratefully acknowledged.

References

  • [1] B. Nazer and M. Gastpar, “Compute-and-forward: Harnessing interference through structured codes,” IEEE Trans. Inf. Theory, vol. 57, no. 10, pp. 6463-6486, Oct. 2011.
  • [2] A. Lenstra, H. Lenstra, and L. Lovász, “Factoring polynomials with rational coefficients,” Mathematische Annalen, vol. 261, no. 4, pp. 515-534, 1982.
  • [3] C. Feng, D. Silva, and F. R. Kschischang, “Design criteria for lattice network coding,” in Proc. IEEE 45th Annual Conference on Information Sciences and Systems (CISS), Baltimore, MD, USA, 2011.
  • [4] M. El Soussi, A. Zaidi, L. Vandendorpe, “Compute-and-Forward on a Multiaccess Relay Channel: Coding and Symmetric-Rate Optimization,” IEEE Trans. Wireless Commun., vol. 13, no. 4, pp. 1932-1947, Apr. 2014.
  • [5] L. Wei and W. Chen, “Compute-and-forward network coding design over multi-source multi-relay channels,” IEEE Trans. Wireless Commun., vol. 11, no. 9, pp. 3348-3357, Sept. 2012.
  • [6] S. Sahraei, and M. Gastpar, “Compute-and-Forward: Finding the Best Equation,” 52nd Annual Allerton Conference on Communication, Control, and Computing (Allerton), Monticello, IL, USA, pp. 227-233, Sept. 2014.
  • [7] J. Wen, B. Zhou, W. H. Mow, and X.-W. Chang, “Compute-and-Forward Protocol Design Based on Improved Sphere Decoding,” Available online: http://arxiv.org/abs/1410.4278.
  • [8] K. N. Pappi, P. D. Diamantoulakis, and G. K. Karagiannidis, “Compute-and-Forward with Relay Selection: A Cooperative Game,” in Proc. IEEE Wireless Communications and Networking Conference (WCNC), pp. 81-86, Istanbul, Turkey, 6-9 April, 2014.
  • [9] A. Mejri and G.R.-B. Othman, “Practical Physical Layer Network Coding in Multi-Sources Relay Channels via the Compute-and-Forward,” in Proc. IEEE Wireless Communications and Networking Conference Workshops (WCNCW 2013), pp. 166,171, Shanghai, China, 7-10 April 2013.
  • [10] S.-N. Hong and G. Caire, “Antenna and user selection for a cloud base station with (Reverse) Compute and Forward,” in Proc. IEEE Globecom Workshops, pp. 261-266, Anaheim, California, USA, 3-7 Dec. 2012.
Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
24959
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description