The present invention is directed to relaying of wireless signals in MIMO wireless networks where the signals are transmitted and received by nodes using multiple antennas that are spatially separated from one another. More specifically, various embodiments of the present invention address relaying of signals between a data source node and a destination node within a wireless network using a relay node having multiple-antennas. The inventive technique reduces communication errors using jointly tuned linear signal processing in the relay and destination nodes.
Data source node 102 can multiplex a maximum of Ms streams using Ms antennas. Data source node 102 communicates data to destination node 106 via relay node 104. In order to do this, data source node 102 transmits a source send data x onto a first radio channel H. Here, x is a vector of length Ms and represents source send data transmitted by data source node 102 using Ms antennas. The elements of source send data x are information symbols [x1, x2, . . . , xMs]. Further, H is a matrix of dimensions (Mr, Ms) and represents the transformation that the first radio channel performs on a signal transmitted by the antennas at data source node 102, as observed from the antennas at relay node 104. Source send data x is observed at relay node 104 as relay receive data yr. Here, yr is a vector of size Mr and represents relay receive data received by relay node 104 using Mr antennas. Further, relay data processor 110 processes relay receive data yr using a relay transformation Φ to obtain relay send data xr. Relay transformation Φ can be mathematically represented as a matrix of dimensions (Mr, Mr).
Similarly, relay send data xr is retransmitted by relay node 104 over second radio channel G to destination node 106. Here xr is a vector of length Mr and represents relay send data transmitted by relay node 104 using Mr antennas. Further, G is a matrix of dimensions (Md, Mr) and represents the transformation that the second radio channel performs to a signal transmitted by the antennas at relay node 104, as observed from the antennas at destination node 106. Relay send data xr is observed at destination node 106 as destination receive data y. Here, y is a vector of size Md and represents relay receive data received by destination node 106 using Md antennas. Destination data processor 112 processes destination receive data y using a destination-unit transformation Ψ to get destination output data r. Destination-unit transformation Ψ can be mathematically represented as a matrix of dimensions (Ms, Md).
The present invention is directed at selecting jointly tuned linear transformations Φ and Ψ. Linear transformations Φ and Ψ are selected in a way that the mean square error (MSE) between x and r is reduced. In an embodiment, transformations Φ and Ψ are selected in a way that the mean square error (MSE) between x and r is minimized. The methods disclosed in conjunction with various embodiments of the present invention rely on the fact that both relay node 104 and destination node 106 have access to the current channel realization. In other words, relay node 104 and destination node 106 require information about the current state of a dynamic channel transform, or the current Channel State Information (CSI). Therefore, they need to update their CSI as dictated by the channel variation rate.
The mathematical basis for the present invention is briefly illustrated hereinafter. The apparatus and method disclosed in accordance with various embodiments of the present invention are applicable to spatial multiplexing in MIMO wireless networks with any combination of Ms, Mr, and Md satisfying Ms≦min(Md, Mr). While the transmission strategy disclosed hereinafter assumes that no direct communication path exists between data source node 102 and destination node 106, it would be apparent to one skilled in the art that the method and apparatus according to the present invention find application in MIMO wireless network where this simplification is not perfectly true. The simplification must not be construed as a limitation to the spirit and scope of the present invention.
The relation between x and yr can be mathematically modeled as follows:
where E1 is signal energy and includes the path-loss, N0(1) denotes the noise power at R, and n1 is a first noise vector. First noise vector n1 is assumed to be multivariate Gaussian according to CN(0,IMr), i.e. its entries are unit-variance zero-mean complex Gaussian random variables and mutually independent of each other.
Further, relay data processor 110 applies a relay transformation Φ to relay receive data yr to obtain a relay transmit data xr. This processing is denoted mathematically as follows:
x
r
=√{square root over (s)}Φy
r (2)
where s is an energy amplification factor, and relay transformation Φ does not alter the total signal power. In order to not alter the total signal power, relay transformation Φ must satisfy the condition: Tr (ΦΦH)=Mr, where Tr(.) denotes the trace of a matrix, and ΦH is the Hermitian transpose of Φ. Energy scaling factor s is used to remove the path-loss introduced by the first radio channel, and its value can be derived using the following condition:
sTr(yr,yrH)=Mr (3)
In an embodiment of the invention, the condition of equation (3) can be met on a channel realization basis, or it can be met in average. Without loss of generality, the inventor's mathematical model assumes that this is met in average. This leads to the relation:
Here, the value of ε{Tr(HHH)} depends on the channel distribution. For the purpose of illustration, and not to limit the scope and applicability of the teachings of the present invention, it is assumed that the elements of first radio channel H are independent and identically distributed according to CN(0,1). Therefore, ε{Tr(HHH)}=Ms.Mr. Energy amplification factor s can thus be expressed as:
Similarly, destination receive signal y is given by:
where the signal energy term E2 includes the path-loss over the second radio channel, and N0(2) denotes the noise power at destination node 106. Second noise vector n2 is assumed to be multivariate Gaussian according to CN(0,IMd), i.e. its entries are unit-variance zero-mean complex Gaussian random variables and mutually independent of each other. Taking into account the linear transformation and the power scaling, the end-to-end signal model can be written as:
where
Further, since the noises ni˜CN(0,I), i ε{1, 2}, the equivalent noise term n is distributed according to CN (0,Rn), where Rn is the noise covariance matrix, and is given as:
Further, the destination output data r is obtained from destination receive signal y by applying destination-unit transformation Ψ. This can be mathematically represented by the relation r=Ψy. Substituting equation (7) in this relation gives:
·r=√{square root over (γ)}Ψ·G·Φ·x+Ψ·n (9)
where n is additive white Gaussian noise distributed according to CN (0,Rn).
The vector r is an estimate of the transmitted vector x. The tuning of Φ and Ψ is to reduce the mean square error (MSE) between r and x. This tuning problem can be stated as:
where the expectation ε is taken over the statistics of source send data x, and the error covariance matrix can be computed as follows:
C
e=(√{square root over (γ)}ΨGΦH−I)(√{square root over (γ)}ΨGΦH−I)H+αΨGΦΦHGHΨH+βΨΨH (11)
This tuning problem can be solved by using Lagrange's method and Karush-Kuhn-Tucker (KKT) conditions. Denoting the Lagrange multiplier by μ, the Lagrangian is written as:
L(μ,Φ,Ψ)=Tr(Ce)+μ(Tr(ΦΦH)−Mr) (12)
Thereafter, the KKT conditions are applied to pair (Φ,Ψ) as follows:
Considering a matrix and its Hermitian transpose as independent variables and using the matrix derivatives
(13) and (14) yield the following relations between Φ and Ψ:
(γHHH+αI)ΦHGHΨHΨGΦ+μΦHΦ=√{square root over (γ)}HΨ·GΦ (18)
ΨGΦ(γHHH+αI)ΦHGHΨH+βΨΨH=√{square root over (γ)}Ψ·GΦ·H (19)
where in addition (13) is right-multiplied by Φ and (14) is left-multiplied by Ψ. In order to simplify the above system of equations, the singular value decompositions for both channel matrices are as follows:
H=TΣ·U
H
,TεM
Mr
,UεM
Ms (20)
G=VΛ·W
H
,VεM
Md
,WεM
Mr (21)
where the diagonal matrix [Σ]k,k=σk, k=1, . . . , Ms, contains the ordered singular values of the channel matrix H, and the diagonal matrix [Λ]n,n=λπ(n), n=1, . . . , N, where N=min(Mr,Md), contains the unordered eigenvalues of the channel matrix G. The symbol n has been used to denote a permutation of the ordered singular values λ1≦λ2≦ . . . λN. The relative ordering of the singular values of Σ and Λ will have an impact on the total MSE. Various embodiments of the present invention are directed to searching for the optimal permutation π* that minimizes the MSE among the Mr! permutations.
It is lengthy but straightforward to show that assuming the following structure for Φ and Ψ:
Φ=WDΦTH,DΦεMMr (22)
Ψ=UDΨVH,DΨεMMs,Md (23)
where DΦ=diag {dΦ,1, dΦ2, . . . , dΦ,Mr} is diagonal and DΨ=diag {dΨ,1, dΨ,2, . . . , dΨ,Ms} has zero entries elsewhere, equations (13) and (14) reduce to:
(γΣΣH+αI)DΦHΛHDΨHDΨΛDΦ+μDΦHDΦ=√{square root over (γ)}ΣDΨΛDΦ (24)
D
Ψ
ΛD
Φ(γΣΣH+αI)DΦHΛHDΨH+βDΨHDΨ=√{square root over (γ)}DΨΛDΦΣ (25)
Note that the first matrix equation involves Mr equations of singular values, while the second involves Ms equations. If Ms=Mr=Md, the system can be dealt with easily. However, when this is not the case, some singular values will not play a role in the result (for Mr≦Md), or they will be deterministically zero (for Mr≧Md). In order to find the solution in a general form, the following relations are defined:
σK=[Σ]k,k, k=1, . . . , K (26)
λK=[Λ]k,k, k=1, . . . , K (27)
dΦK=[DΦ]k,k, k=1, . . . , K (28)
dΨK=[DΨ]k,k, k=1, . . . , K (29)
where, for instance, σK denotes a column vector of K diagonal elements of Σ. If the matrix Σ has more diagonal entries than K, only the first K are taken; conversely, if Σ has less diagonal entries than K, the remaining entries of σK are filled with zeros. Using this notation, (24) and (25) are rewritten as:
(γσMr2+αI){circle around (×)}dΦMr2{circle around (×)}λMr2{circle around (×)}dΨMr2+μdΦMr2=√{square root over (γ)}σMr{circle around (×)}dΨMr{circle around (×)}λMr{circle around (×)}dΦMr (30)
(γσMs2+αI){circle around (×)}dΦMs2{circle around (×)}λMs2{circle around (×)}dΨMs2+βdΦMs2=√{square root over (γ)}σMs{circle around (×)}dΨMs{circle around (×)}λMs{circle around (×)}dΦMs (31)
where I denotes the all-ones vector of appropriate dimension, and {circle around (×)} denotes the Hadamard (i.e. element-wise) product. It eventually yields the following expressions for dΦ and dΨ:
where (.)+ indicates that the negative elements are replaced by zero. The number of independent streams that can be supported through the MIMO channel is given by the rank of the concatenated channel GH. Recalling that the power constraint is given by Tr(ΦΦH)=Mr and assuming that M≦rank (GH) subchannels are used for transmission, the Lagrange multiplier μ is solution to the following equation derived from (32):
where δk=σMr(k)λMr(π(k)), δ1≧δ2 . . . ≧δN. The optimal μ≧0 should ensure that the matrices DΦ and DΨ have positive singular values (or equivalently, that the elements of dΦ and dΨ have positive elements). One may observe that an element of DΦ, say dΦk, can only be negative if
This observation forms the basis of an iterative method of computing the Lagrange multiplier μ described with reference to
As discussed previously, the MSE is given by the trace of the error covariance matrix Ce. Employing the structure for Φ and Ψ assumed in (22) and (23) respectively, it can be shown that the MSE depends on DΦ and DΨ according to the following relation:
The MSE depends implicitly on the ordering of the singular values in Λ, represented by the permutation π of the ordered eigenvalues. In order to find the optimal solution, the above procedure should be applied for all Mr! possible π's, and the permutation π* that minimizes the MSE must be selected.
In an embodiment, the above procedure may be applied to only some of the Mr! possible permutations, in order to reduce the computational complexity of the approach. In this case, a chosen permutation π#, the permutation yielding least MSE out of all the permutations to which the above procedure is applied, may be chosen for generating the relay and destination-unit transformations. This embodiment trades performance for computational simplicity.
In another embodiment, chosen permutation π# corresponds to a pre-determined ordering of second singular values could also be used for generating the relay and destination-unit transforms. For example, a decreasing order, an increasing order, or a pre-determined order that has been observed to yield low MSE may be used. This approach avoids performing the tuning over all possible permutations. Again, this computational simplicity comes at the price of non-optimal MSE.
Thus, in various embodiments, chosen permutation π# selected for forming relay transformation Φ and destination transformation Ψ may not be the optimal permutation π*.
In yet another embodiment of the present invention, relay transformation Φ and destination transformation Ψ may be selected to implement a Maximum Likelihood receiver at destination node 106. In this embodiment, destination transformation Ψ can be represented as the following equation:
Further, for a Maximum Likelihood receiver at destination node 106, relay node 104 applies relay transformation Φ as computed using equation (22), where DΦ is given by the relation:
where μ is a constant computed as per the following relation:
Thereafter, the method tries at least one permutation of second singular values λK, and calculates the mean square error associated with each tried permutation. Finally, the permutation with the least mean square error is selected for forming at least one of relay transformation Φ and destination transformation Ψ. More specifically, at step 206, a new permutation π of first singular values σK and second singular values λK is selected. Then at step 208, pair-wise products δK of first singular values σK and second singular values λK are computed for permutation π. At step 210, the method sorts pair-wise products δK decreasingly (in descending order). The sorting is performed to ensure that, in each iteration of the method, the weakest mode among the remaining ones is considered. Then at step 212, the method calculates an Lagrange multiplier μ for permutation π. A method of calculating the Lagrange multiplier μ in accordance with an embodiment of the present invention is disclosed with reference to
At step 220, a chosen permutation π# that yields the least MSE between the destination output data r and source send data x is selected from among all considered permutations π. Finally, at step 222, at least one of relay transformation Φ and destination transformation Ψ are formed using dΦ and dΨ corresponding to chosen permutation π#. Relay transformation Φ may be formed using equation (22). Similarly, destination transformation Ψ may be formed using equation (23).
If the condition is true, then the Lagrange multiplier μ has been obtained, and the method stops. On the other hand, if the admissibility condition is not true, then the method proceeds to step 308. At step 308, the last mode is dropped. In other words, the values of dΦ,M and dΨ,M are set to zero, and mode count M is decremented by one. Thereafter, the method loops back to step 304, and a new value of Lagrange multiplier μ is computed using the decremented value of M. The method repeats in a loop of steps 304, 306, and 308, until the Lagrange multiplier μ is found.
Thereafter, the MIMO network node tries at least one permutation of second singular values λK, and calculates the mean square error associated with each tried permutation. The permutation with the least mean square error is selected for forming at least one of relay transformation Φ and destination transformation Ψ. More specifically, control logic 404 selects a new permutation X of second singular values λK Then pair-wise product calculation logic 410 computes pair-wise products δK of first singular values σK and second singular values λK for permutation π. Sorting logic 412 sorts pair-wise products δK decreasingly (in descending order). Then Lagrange logic 414 calculates an Lagrange multiplier u for permutation π. In various embodiments of the present invention, Lagrange logic 414 executes the iterative method disclosed with reference to
In various embodiments, logics 402, 408, 410, 412, 414 and 416, and control logic 404 may be implemented in hardware using Application Specific Integrated Circuits (ASICs), System-on-Chip (SoC) modules, Field Programmable Gate Arrays (FPGAs), or combinations thereof. In other embodiments, these may be implemented using software and/or firmware in conjunction with a general purpose processor.
The network node disclosed in conjunction with
Further, the network node disclosed in conjunction with
In general, this invention may find application in any wireless networking system which uses multiple-antennas and relays to communicate. For example, in cellular environments the relay transformation Φ may be applied at the relay which is a part of the infrastructure deployed by an operator to provide the service, and the destination transformation Ψ may be applied at mobile devices and base stations as applicable. In adhoc networks, the relay can be user equipment that cooperates with other users to communicate. In this case, the wireless interface of the user equipment may be configured to apply relay transformation Φ to data relayed by the user equipment and to apply destination transformation Ψ to data destined for the user equipment.
In various embodiments, the wireless network interface card is configured to receive data, or in other words, to perform the function of destination node 106 of the present invention. In these embodiments, transformation forming logic 418 may be configured to form only destination transformation Ψ. In other embodiments, the wireless network interface card is configured to relay data, or in other words, to perform the function of relay node 104 of the present invention. In these embodiments, transformation forming logic 418 may be configured to form only relay transformation Φ. In still other embodiments, the wireless network interface card is configured to both receive and relay data, for example in ad hoc networks. In these embodiments, transformation forming logic 418 may be configured to form both relay transformation Φ and destination transformation Ψ.
Mode selection logic 504 is configured to select a desired mode of operation for the MIMO wireless network node. More specifically, mode selection logic 504 identifies whether MIMO wireless network node 500 is acting as a relay node for the received data, or is it the destination of the received data. Mode selection logic 504 correspondingly selects either the relay mode, or the destination mode as the desired mode of operation of MIMO wireless network node 500. Mode selection logic 504 communicates the selected desired mode of operation to data processor 506.
Data processor 506 is configured to apply either a relay transformation Φ or a destination transformation Ψ depending on the desired mode of operation to process the received data and obtain a processed data. If the desired mode of operation is the relay mode, the processed data may subsequently be retransmitted. On the other hand, if the desired mode of operation is the destination mode, the processed data may be presented for error detection and/or correction, and decoding, as applicable.
Data processor 506 and/or mode selection logic 504 may be implemented using a Digital Signal Processing (DSP) processor, a general purpose processor, an Application Specific Integrated Circuit (ASIC), or reconfigurable hardware including but not limited to an Field Programmable Gate Array (FPGA).
A technical effect of various embodiments of the present invention is provide high performance relaying for MIMO wireless networks using reduced the complexity relaying systems.
Various implementation approaches of the present invention have been discussed to illustrate, but not to limit, the present invention. It would be apparent to one skilled in the art that the selection of any of these approaches depends on the specific application of the present invention. Various other implementation approaches can be envisioned by one skilled in the art, without deviating from the spirit and scope of the present invention.