 Research
 Open access
 Published:
A distributed approach to precoder selection using factor graphs for wireless communication networks
EURASIP Journal on Advances in Signal Processing volume 2013, Article number: 83 (2013)
Abstract
This paper addresses distributed parameter coordination methods for wireless communication systems. This proposes a method based on a messagepassing algorithm, namely minsum algorithm, on factor graphs for the application of precoder selection. Two particular examples of precoder selection are considered: transmit antenna selection and beam selection. Evaluations on the potential of such an approach in a wireless communication network are provided, and its performance and convergence properties are compared with those of a baseline selfish/greedy approach. Simulation results for the precoder selection examples are presented and discussed, which show that the graphbased technique generally obtains gain in sum rate over the greedy approach at the cost of a larger message size. Besides, the proposed method usually reaches the global optima in an efficient manner. Methods of improving the rate of convergence of the graphbased distributed coordination technique and reducing its associated message size are therefore important topics for wireless communication networks.
Introduction
In a cellular network, there are many occasions in which each cell needs to set a parameter value, such as reference signal, transmit power, beam direction, or scheduled user, in such a way that the setting is preferably in a compatible way with the settings of the neighboring cells in order to achieve a certain notion of optimality, such as maximizing the average system or user throughput, of the entire network [1, 2]. The choice made by one cell on a local parameter often affects the interference level experienced by its immediate neighbors and hence their respective choices made on their local parameters, which in turn would influence the choices made by their neighbors’ neighbors. The simplest example is perhaps the classical frequency reuse problem [3] where the frequency band in which each cell transmits or receives is preferably different from those of its immediate neighboring cells to avoid mutual interference [4].
In some cases, such as the frequency reuse problem, the parameter is of relatively static nature and can be optimally planned and set before the network deployment. However, in other cases, such as the transmit power control or antenna/beam selection problems, the parameter is more dynamic and requires coordination to be continually performed. Therefore, a systematic methodology for coordinating the choices of any parameters across the network is desired. Moreover, in order to facilitate flexible, dense deployment of small base stations in future cellular networks, there is also an increased interest in methods of performing the coordination of parameters among neighboring cells in an autonomous and distributed fashion without a central controller, as any unplanned addition (or removal) of base stations can substantially alter the system topology and thus the preferred settings.
Factor graph and the associated sumproduct algorithm have been widely used in probabilistic modeling of the relationship among interdependent (random) variables or parameters. There are numerous successful applications [5] including, most notably, various fastconverging algorithms for decoding lowdensity parity check codes and turbo codes, generalized Kalman filtering, fast Fourier transform, etc. One classic example motivated the most: the prisoner’s dilemma [6]. In a few words, the two prisoners find an equilibrium point if both greedily betray. However, this is not a good solution because they can individually decrease their sentences if both of them stay silent, which is the best solution, and it is reached only if there is a sort of communication or centralization. In this context, the graphbased approach reaches the optimal solution by applying the messagepassing algorithm. Similar (but different) applications of factor graphs have also been recently proposed for the problem of fast beam coordination among base stations in [7–10]. The basic idea in those works is to model the relationship between the local parameters to be coordinated among different communication nodes of a network and their respective performance metrics or costs using a factor graph [5]. In [7, 8], the belief propagation algorithm is adopted to solve the downlink transmit beamforming problem in a multicell multipleinputmultipleoutput (MIMO) system considering a onedimensional cellular model. Moreover, in [9, 10] some messagepassing algorithms (including the sumproduct algorithm) are deployed to coordinate parameters of downlink beamforming in a distributed manner in a multicell singleinputsingleoutput system.
In this work, we propose a method founded on the minsum algorithm on factor graphs for the application of precoder selection (i.e., transmit antenna selection [11] and beam selection) in a distributed manner. Based on factor graphs, a variant of the sumproduct algorithm [5], namely the minsum algorithm [12], can then be applied in order for all nodes, through iterative message passing with their respective neighbor nodes, to decide upon the best set of local parameters that can collectively maximize a global performance metric across the network. The algorithm allows each communication node to be indecisive of its own decision until sufficient information about how its decision would affect the overall network performance is accumulated. The performance of such a graphbased method along with other distributed methods, e.g., gametheoretic approach [13], for coordination of discrete parameters in a wireless communication network is evaluated.
Problem description
Consider a communication network with N communication nodes. A communication node described here may represent any communication device in general in a wireless communication network, for example, a basestation (BS), an access node, or a user equipment (UE) in a cellular communication system. Let p _{ i }, for i=1,2,…,N, denote a discrete parameter (or a vector of two or more discrete parameters) of the i th communication node, whose value is drawn from a finite set {\mathcal{P}}_{i} of \left{\mathcal{P}}_{i}\right possible parameter values for that node, where \left{\mathcal{P}}_{i}\right denotes the cardinality of {\mathcal{P}}_{i}, and let
be a vector collecting all the parameters in the network, where
Figure 1 shows a hexagon layout with N=7 communication nodes where the set {\mathcal{P}}_{i}\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{0.3em}{0ex}}=\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{0.3em}{0ex}}\{1,2,3\}, for i=1,2,…,7. Examples of discrete parameters are a precoding matrix index (PMI), which is largely used in 3GPP longterm evolution (LTE) systems and beyond to select precoding matrices [13, 14] to maximize the network throughput, and an index to a frequency band in a frequency reuse planning to minimize the number of collisions in frequency bands, just to name a few.
Each node i is associated with a list {\mathcal{N}}_{i} of proper neighbor nodes (i.e., excluding node i) whose choices of parameter values can affect the local performance of node i. For convenience, also let
denote the ‘inclusive’ neighbor list or just the neighbor list of node i. Let {\mathbf{p}}_{{\mathcal{A}}_{i}} denote the vector of those parameters of nodes in {\mathcal{A}}_{i}, with its ordering of parameters determined by the sorted indices in {\mathcal{A}}_{i}. Associated with each node i is a performance metric or cost, denoted by {M}_{i}\left({\mathbf{p}}_{{\mathcal{A}}_{i}}\right), which is a function of those parameters in the neighbor list {\mathcal{A}}_{i} of node i. Each node i is assumed to be capable of communicating with all nodes in {\mathcal{A}}_{i}.
Our goal is for each node i to find, in a distributed fashion, its own optimal parameter {p}_{i}^{\ast}, which is the corresponding component of the optimal global parameter vector p ^{∗} that minimizes the total (global) performance metric given by
The problem of coordinating parameters can be solved adopting basically two types of solutions: (1) centralized approach, which yields the optimal global parameter vector, and (2) distributed approaches, which on one hand often provide suboptimal solutions through greedy techniques such as noncooperative games, but on the other hand can provide nearoptimal solutions by using a factor graph.
Centralized solution
Conceptually, the simplest approach to the optimization problem described above is to solve it jointly at a central location by direct computing
which is an optimal solution to the problem by definition. A major issue of this approach is its huge computational complexity for large network size N, as the complexity grows exponentially as the number of communication nodes increases, along with the inherent high signaling load (backhaul traffic) between the communication nodes and a central processing unit.
The computational complexity of the centralized solution is indeed very high. The minimum (or maximum) value of a cost (utility) function is usually found throughout all the combinations of the discrete parameters. The total number of combinations of parameters c is given by
For instance, if the network has N=61 nodes and \left{\mathcal{P}}_{i}\right=3 for i=1,2,…,N, a number of c≈10^{29} computations must be done to find the optimal value, which might be computationally prohibitive. Alternatively, the centralized technique may be replaced with the standard alternatingcoordinate optimization technique for dense networks. Such an approach starts with an arbitrary choice of p and iteratively optimizes each element (or a particular set of elements) of p one at a time while holding others fixed. Its convergence to the globally optimum result can be guaranteed under under some conditions, e.g., convex utility/cost function.
Selfish/greedy solution
Another approach to the optimization problem above is for each communication node to selfishly set its own parameter to optimize its own local performance based on the most recent choices made and given by its neighbors. In this approach, the complexity of each node grows only linearly with the cardinality of the set of parameters {\mathcal{P}}_{i} since only the parameters of the node itself are considered in the optimization at the node. More precisely, in this approach, the local parameter p _{ i } at each communication node is iteratively chosen as
where n is the iteration index, {p}_{S,i}^{(n+1)} denotes the choice of p _{ i } made at iteration n+1 using this selfish/greedy approach, and {\mathbf{p}}_{S,{\mathcal{N}}_{i}}^{\left(n\right)} denotes the vector of those parameter choices made by nodes in {\mathcal{N}}_{i} at the n th iteration. In turn, the parameter {p}_{S,i}^{\left(n\right)} at each node is exchanged to its neighboring nodes so that every node obtains its parameter vector {\mathbf{p}}_{S,{\mathcal{N}}_{i}}^{\left(n\right)} to compute its next parameter {p}_{S,i}^{(n+1)}.
From a gametheoretic perspective, the greedy solution may be seen as a noncooperative game [6]. In this sense, the (greedy) game solution can be defined as a purestrategy Nash equilibrium (NE). In a few words, a NE is established if each player (i.e., each communication node) has chosen an action (i.e., a local parameter p _{ S,i }) and no one can benefit from changing its action unilaterally while the others keep theirs unmodified. Therefore, an action tuple \left\{{p}_{S,i}^{\star},{\mathbf{p}}_{S,{\mathcal{N}}_{i}}^{\star}\right\} for node i is a NE if
The superscript ⋆ denotes that the underlying parameter leads to a NE. The inequality above is a convenient form for representing a NE.
Graphbased solution
In the following, we describe another approach to the problem of minimizing the global metric in (1) by modeling the communication nodes and the associated local performance metrics using a factor graph. A factor graph is a bipartite graph consisting of a set of variable nodes and a set of factor nodes. Each variable node represents a variable and can only be connected to a factor node (but not another variable node) through an edge, while each factor node represents a factor which is a function of some of the variables. A factor node is connected to a variable node if and only if the corresponding function represented by the factor node depends on that variable.
Given a multivariate function, a factor graph expresses the mathematical structure of the factorization of such a multivariate function into several local functions. In our problem at hand, the global performance metric M(p) is factorized into a sum of N local performance metrics {M}_{i}\left({\mathbf{p}}_{{\mathcal{A}}_{i}}\right), which is described in (1). Specifically, for the problem formulated above, we associate each variable node with the parameter p _{ i } of a communication node and each factor node with its local performance metric {M}_{i}\left({\mathbf{p}}_{{\mathcal{A}}_{i}}\right). Accordingly, we label a variable node corresponding to p _{ i } as v(p _{ i }) and a factor node corresponding to {M}_{i}\left({\mathbf{p}}_{{\mathcal{A}}_{i}}\right) as v(M _{ i }). An edge connecting a factor node v(M _{ i }) with a variable node v(p _{ k }) exists if and only if k\in {\mathcal{A}}_{i}. For example, Figure 2 shows a hexagon layout of seven communication nodes, each associated with a factor node representing the local performance metric {M}_{i}\left({\mathbf{p}}_{{\mathcal{A}}_{i}}\right) and a variable node representing the local parameter p _{ i }. The factor node associated with the local performance metric {M}_{i}\left({\mathbf{p}}_{{\mathcal{A}}_{i}}\right) of communication node i is connected through edges to the respective variable nodes associated with its own local parameter p _{ i } and those parameters {\left\{{p}_{i}\right\}}_{i\in {\mathcal{N}}_{i}} of its neighbors upon which the metric {M}_{i}\left({\mathbf{p}}_{{\mathcal{A}}_{i}}\right) depends. For clarity, we use a different color to represent different communication nodes and the corresponding edges connecting their respective factor nodes with the relevant variable nodes.
The graph in Figure 2 can be also reorganized as in Figure 3, which clearly shows the bipartite property of the graph with factor nodes connected only to variable nodes through the respective edges. A messagepassing algorithm, such as the sumproduct algorithm, can then be executed on such a graph. Specific messages are computed and passed along each edge of the graph. Those messages that are passed on edges connecting factor and variable nodes of different colors correspond to information exchange between two neighboring communication nodes, while those messages that are passed on edges that connect nodes of the same color represent internal communications within each communication node. Each message depends only on the variable whose associated variable node is a vertex of the edge over which the message is passed along. More precisely, each message is simply a table of values with each entry corresponding to one of the possible values of the variable, as described in detail in the following.
The graphbased distributed parameter coordination algorithm
In this section, we describe the algorithm associated with the proposed distributed solution for the problem of parameter coordination. The sumproduct algorithm [5] can be applied whenever the variables and functions associated with the factor graph are defined on a commutative semiring whose elements satisfy the distributive law. For our problem at hand, we apply the variant of sumproduct algorithm that is based on the minsum commutative semiring [12]. Recall that a semiring is a mathematical structure (e.g., a set) equivalent to a ring without an additive inverse. In a general way, the binary operations addition and multiplication can be replaced with others as long as the distributed law still holds. In this sense, a minsum semiring simply replaces the addition operation with the minimum operation and the multiplication operation with the addition operation. In this case, the sumproduct algorithm is also called the minsum algorithm.
More specifically, let {\mu}_{{M}_{i}\to {p}_{k}}\left({p}_{k}\right) denote the message to be passed from a factor node v(M _{ i }) to a variable node v(p _{ k }), and let {\mu}_{{p}_{k}\to {M}_{i}}\left({p}_{k}\right) denote the message to be passed from the variable node v(p _{ k }) to the factor node v(M _{ i }). Figure 4 shows the two kinds of messages passing on in a fragment of a factor graph. The minsum algorithm, when applied to our problem at hand, simply iterates between the following two kinds of message computations and exchanges:

1.
Factor node to variable node:
\phantom{\rule{6.0pt}{0ex}}\begin{array}{c}{\mu}_{{M}_{i}\to {p}_{k}}\left({p}_{k}\right)=\underset{{\mathbf{p}}_{{\mathcal{A}}_{i}\setminus \left\{k\right\}}}{min}\left\{{M}_{i}\left({\mathbf{p}}_{{\mathcal{A}}_{i}}\right)+\sum _{j\in {\mathcal{A}}_{i}\setminus \left\{k\right\}}{\mu}_{{p}_{j}\to {M}_{i}}\left({p}_{j}\right)\right\},\end{array}(5)where the notation ∖{k} means that the underlying operator is performed over all associated variables except to variable k. To prevent messages from increasing endlessly, the messages are normalized to have zero mean.

2.
Variable node to factor node:
{\mu}_{{p}_{k}\to {M}_{i}}\left({p}_{k}\right)=\sum _{j\in {\mathcal{A}}_{k}\setminus \left\{i\right\}}{\mu}_{{M}_{j}\to {p}_{k}}\left({p}_{k}\right),(6)which aggregates all the incoming messages at variable node v(p _{ k }) except to the one from factor node v(M _{ i }).
Here, an ideal errorfree message pass is considered. The algorithm may begin with each factor node v(M _{ i }) computing outgoing message {\mu}_{{M}_{i}\to {p}_{k}}\left({p}_{k}\right) to v(p _{ k }) for each k\in {\mathcal{A}}_{i} using (5) with all incoming messages {\mu}_{{p}_{k}\to {M}_{i}}\left({p}_{k}\right) from connected variable nodes initialized to unit messages, that is, messages with entries equal to zero for the problem at hand. It is worth mentioning that the initialization with unit messages may lead nodes to compute and propagate messages with equal entries. In such situation, nodes are not capable of iteratively finding the best parameters as all the entries return the same cost. To circumvent this, the initial incoming messages {\mu}_{{p}_{k}\to {M}_{i}}\left({p}_{k}\right) can be initialized to random values close to zero.
Upon receipt of the message {\mu}_{{M}_{i}\to {p}_{k}}\left({p}_{k}\right), each variable node v(p _{ k }) then computes outgoing message {\mu}_{{p}_{k}\to {M}_{i}}\left({p}_{k}\right) to v(M _{ i }) for each i\in {\mathcal{A}}_{k}. Those new messages {\mu}_{{p}_{k}\to {M}_{i}}\left({p}_{k}\right) can be conveniently normalized to avoid messages increasing endlessly. The parameter for communication node i is determined at its variable node v(p _{ i }) by
The algorithm then iterates until a stopping criterion is reached, either a predetermined maximum number of iteration λ or when the set of parameters computed in (7) converges to a fixed state, that is, the updated messages are equal to the previous computed messages, or equivalently,
where n is an iteration index such that n≤λ.
Note that both messages computed in (5) and (6) depend only on the value of p _{ k }. Since {p}_{k}\in {\mathcal{P}}_{k} and {\mathcal{P}}_{k} is assumed to be discrete and finite, each of the messages can be represented by a table of \left{\mathcal{P}}_{k}\right entries.
In particular, the computation in (6) is just adding up the corresponding entries of multiple tables of the same size together. We summarize the proposed graphbased distributed coordination method from each communication node’s perspective in Table 1. Note that to reduce computational complexity, the minimization operation in (5) in step 2 can be computed through the standard alternatingcoordinate optimization technique, although its convergence may not be guaranteed in this case.
When the factor graph contains no cycle (i.e., a closed path in the graph), it can be shown [5] that the messagepassing algorithm described above will yield the exact optimal solution that optimizes (1) in a single iteration. However, when it contains cycles, the algorithm has no natural termination and the messages pass multiple times on the edges of the factor graph in an iterative manner. In this case, the algorithm typically yields good approximations to the true optimal solution [5].
Regarding convergence issues, an undesired effect, i.e., pingpong effect, may be experienced by nodes during the iterative process. The pingpong effect refers to the alternation between two (or more) possible values of a variable ad infinitum. To avoid the continuity of this state, some perturbation may be inserted in the system, such as the addition of noise or forcing an unexpected value of some variables. In this context, the randomness of a random scheduling, which is discussed below, acts as a perturbation in the system.
Messagepassing scheduling
Regarding cases with cyclic graphs, the iterative process described above must follow a messagepassing schedule to compute approximations of the true marginal functions. That is, the messagepassing schedule must describe the way nodes are activated and the way messages are passed at each iteration. Note that the graphbased algorithm follows the message propagation rules previously described. In this work, two sorts of node scheduling based on the socalled flooding schedule [15] were considered: (1) random scheduling (RS), where each node has a certain probability of being activated to participate in the message pass at each iteration, and (2) simultaneous scheduling (SS), where all the nodes participate in the message pass at the same time at each iteration:

1.
Random scheduling: In this scheduling mode, each node has two possibilities (which is similar to a ‘coin flipping’) at each iteration of the messagepassing process: being either active or inactive. Let P _{active} be the probability of being active, i.e., the chance of passing/receiving messages, during the iterative messagepassing process. Thus, every node has P _{active} % chance of being active at each iteration. If a node is inactive in a particular iteration, that node neither receives nor passes messages on its associated edges. That is, the messages associated with that node are not updated.

2.
Simultaneous scheduling: In this scheduling mode, all the nodes pass/receive messages to/from their neighboring nodes, which is equivalent to set P _{active}=1 in the mode RS, i.e., 100% of the nodes active during the whole messagepassing process.
Intuitively, the mode RS decreases the traffic of information among nodes because not all nodes are active during the message pass. In case of occurrence of the pingpong effect, the inactivation of some nodes may perturb the system so that such an undesired effect ceases. On the other hand, the mode SS can reach a potential convergence point in a faster manner since all the nodes exchange messages. Thus, the choice of the messagepassing scheduling mode might depend on the network demand, such as latency and backhaul traffic. Moreover, the parameter P _{active} may be optimized in order to either decrease the signaling load or speed up the convergence.
In the following, the application in which the proposed algorithm is evaluated as well as its associated parameters and performance metrics is presented.
Precoder selection problem
In this section, we discuss the parameter coordination problem, i.e., precoder selection, modeled by (1) in the context of wireless communications. Each parameter p _{ i } may represent a PMI for BS i in the downlink (or UE i in the uplink) in a cellular network, indicating which precoder from a predetermined set {\mathcal{P}}_{i} of precoders or beamforming weights that BS (or UE) i should use at a certain radio resource block to transmit signals. In practical systems, different UEs may be scheduled, and thus, different precoders may be used at different radio resource blocks. In this case, the coordination of precoders may be performed independently for each individual radio resource block.
Consider a multicell MIMO system in the downlink in which each BS has N _{ t } available transmit antennas and each item of UE has N _{ r } receive antennas. For convenience, each item of UE is simply referred to as a UE. The BS i transmits precoded and spatially multiplexed vector x _{ i } to its associated UE i. The vector x _{ i } is defined as
where N _{ s } is the number of data streams, s _{ i } is the N _{ s }×1 spatially multiplexed symbol vector, and \mathbf{W}\left({p}_{i}\right)\in \mathcal{W} is the N _{ t }×N _{ s } precoding matrix specified by the parameter p _{ i }. Examples of set \mathcal{W} can be a LTE precoder codebook, a fixed beamforming weight codebook, and a transmit antenna selection (TAS) codebook. In general, \mathcal{W} is the set of all precoding matrices available for every communication node in the network. In order to index the elements of \mathcal{W}, assume an index set \mathcal{I}, which is equivalent to {\mathcal{P}}_{i}, defined as
for all the communication nodes. Then, a bijective function
maps the elements of {\mathcal{P}}_{i} onto the elements of \mathcal{W} properly.
This work focuses on two particular examples of precoding matrix W: (1) TAS precoders and (2) discrete Fourier transform (DFT)matrixbased precoders:

1.
Transmit antenna selection: Let each element of \mathcal{W} be an N _{ t }×N _{ s } submatrix of an identity matrix {\mathbf{I}}_{{N}_{t}}. That is, the unique nonnull entry of each column of this submatrix selects a transmit antenna. For example, for N _{ t }=3 and N _{ s }=2,
\mathcal{W}=\left\{\left[\begin{array}{ll}1& 0\\ 0& 1\\ 0& 0\end{array}\right],\left[\begin{array}{ll}1& 0\\ 0& 0\\ 0& 1\end{array}\right],\left[\begin{array}{ll}0& 0\\ 1& 0\\ 0& 1\end{array}\right]\right\},(11)where each matrix in \mathcal{W} is a particular W indexed by {p}_{i}\in {\mathcal{P}}_{i}, according to (9) and (10). In other words, each matrix W selects two antennas out of three, where the first matrix selects antennas 1 and 2, the second matrix selects antennas 1 and 3, and finally the last matrix selects antennas 2 and 3.

2.
Fixedbeam selection: Let each element of \mathcal{W} be an N _{ t }×N _{ s } submatrix of the N _{ t }×N _{ t } DFT matrix F defined as being
\mathbf{F}=\frac{1}{\sqrt{{N}_{t}}}\left[\begin{array}{lllll}1& 1& 1& \cdots & 1\\ 1& w& {w}^{2}& \cdots & {w}^{({N}_{t}1)}\\ 1& {w}^{2}& {w}^{4}& \cdots & {w}^{2({N}_{t}1)}\\ \vdots & \vdots & \vdots & \xe2\u2039\pm & \vdots \\ 1& {w}^{({N}_{t}1)}& {w}^{2({N}_{t}1)}& \cdots & {w}^{({N}_{t}1)({N}_{t}1)}\end{array}\right],where w={e}^{\frac{2\mathrm{\Pi j}}{{N}_{t}}}, e is the basis of the natural logarithm and j is the imaginary unit. Basically, each matrix W changes the relative phase and direction of the vector s to be transmitted. For instance, for N _{ t }=3 and N _{ s }=2,
\phantom{\rule{6.0pt}{0ex}}\mathcal{W}=\frac{1}{\sqrt{3}}\left\{\left[\begin{array}{ll}1& 1\\ 1& {e}^{\frac{2\mathrm{\Pi j}}{3}}\\ 1& {e}^{\frac{4\mathrm{\Pi j}}{3}}\end{array}\right],\left[\begin{array}{ll}1& 1\\ 1& {e}^{\frac{4\mathrm{\Pi j}}{3}}\\ 1& {e}^{\frac{8\mathrm{\Pi j}}{3}}\end{array}\right],\left[\begin{array}{ll}1& 1\\ {e}^{\frac{2\mathrm{\Pi j}}{3}}& {e}^{\frac{4\mathrm{\Pi j}}{3}}\\ {e}^{\frac{4\mathrm{\Pi j}}{3}}& {e}^{\frac{8\mathrm{\Pi j}}{3}}\end{array}\right]\right\},(12)where each matrix in \mathcal{W}, similar to the TAS case, is a particular W indexed by {p}_{i}\in {\mathcal{P}}_{i}, according to (9) and (10). In this example, there are three different beams to be selected, each one with a different combination of phase and direction.
The sampled incoming signal vector at the receiver i is given as being
where H _{ j i } denotes the MIMO channel response from BS j to the UE served by BS i in the downlink, quasistatic over a data block, and v _{ i } is a zeromean circularly symmetric complex Gaussian noise vector. The constant g _{ j i } is a gain that corresponds to the path loss of each signal, here modeled in a simplified way as being
where the constant α refers to the path loss exponent and d _{ j i } is the distance between the transmitter j and the receiver i. The second term on the righthand side refers to the interference caused by the neighboring communication nodes. For each transmitter, the average transmit power is constant and given by
where P _{ T } is the average transmitted power in units of energy per signaling period. Also, the symbols are assumed to be uncorrelated, which means that \mathbb{E}\left\{{\mathbf{s}}_{i}{\mathbf{s}}_{i}^{H}\right\}={\mathbf{I}}_{{N}_{s}}.
In both cases, the local performance metric {M}_{i}\left({\mathbf{p}}_{{\mathcal{A}}_{i}}\right) may represent the negative of the data throughput [16, 17] of the cell corresponding to BS i measured by
where R _{ i }, defined herein as
denotes the covariance matrix of the noise plus interference experienced by the UE served by BS i in the downlink given that {\mathbf{R}}_{{\mathbf{v}}_{i}} is the covariance matrix of the noise vector v _{ i }.
The global performance metric is simply the total data throughput in the network. Hence, the goal here is to employ a distributed algorithm for the BS to negotiate their choices of downlink precoding matrices with their respective neighbors so that the total data throughput in the network is maximized.
The channel response includes both a fast fading component and a path loss component, the latter determined by the distance between the corresponding BS and UE, according to (14). A basic system model is therefore needed to compute the relative distances between BS and UEs for each random drop of UEs in the cell grid considering fixed BSs’ positioning. For convenience, the lognormal shadowing has not been modeled in this work.
To obtain more realistic results, each MIMO channel response was drawn from a data set \mathcal{D} of measured channel matrices acquired by Ericsson Research during measurement campaigns made in Kista neighborhood in Stockholm, Sweden. The measurement campaigns were performed using a single BS placed on the roof of a building and a UE mounted inside a van at a convenient driving speed (see more details in [18, 19]). A total of 324,000 samples of 2×3 channel matrices measured along a particular route of Kista compound the set \mathcal{D}. For the sake of removing any ‘original’ largescale fading effect, each entry of the channel matrices was previously transformed into a zeromean and unityvariance variable, such that
where D _{ j i }, randomly picked up from set \mathcal{D}, is associated with receiver j and transmitter i, μ _{ D } and {\sigma}_{D}^{2} are the mean and the variance of the entries of the matrices in \mathcal{D}, respectively, and H _{ j i } is the transformed MIMO channel matrix also associated with receiver j and transmitter i. The indices k and l index the element (k,l) of both matrices D _{ j i } and H _{ j i }. Then, the path loss modeled by the parameters g _{ j i } is in turn inserted to the matrix H _{ j i } according to (13). It is worth noting that each element of \mathcal{D} is randomly chosen only once so that each pair of receiver and transmitter has a different channel matrix. Particularly, the resulting channel matrices are characterized by the presence of a number of eigenmodes less than 2. Such a feature is observed in the estimated power coupling matrix Ω[20] of resulting MIMO channel matrices, which is shown in Figure 5. The matrix Ω shows the spatial arrangement of scattering objects between the transmitter and the receiver, where its columns refer to the transmit eigenmodes and the rows the receive eigenmodes. This matrix characterizes the entire data set \mathcal{D}. Consequently, as all the pairs of receiver and transmitter draw their channel matrices from \mathcal{D}, they observe the same spatial correlation. The motivation to use such a channel model is to provide a suitable scenario for the beam selection technique, which usually benefits from the characteristics of spatially correlated channel matrices.
Next, simulation results of the application of the proposed method in the precoder selection problems are shown and discussed.
Simulation results
In this section, the global performance metric presented in (16) in the precoder selection problem is investigated in order to evaluate how it behaves statistically in terms of cumulative distribution curves CDFs. Both examples of precoding selection, TAS and beam selection, are compared with the centralized solution, which is optimal by definition; the greedy solution, which is expected to provide a suboptimal result; and a lower bound provided by the random choice of the precoding matrix, kept constant during the simulation run, at each node. Moreover, the convergence speed, which is inversely proportional to the average number of iterations until convergence per simulation run, of both distributed approaches is qualitatively assessed in terms of CDF curves for only the cases where the underlying algorithm converges, following (4) and (8). Additionally, the convergence rate, defined as the ratio of the number of runs where the underlying algorithm converges to the total number of simulation runs, is shown for both distributed techniques. Both distributed algorithms are evaluated considering the different types of messagepassing scheduling.
In order to evaluate the scalability of the proposed algorithm, a hexagon layout with N=7 or N=61 cells and a single communication node in each cell was adopted. It is worth noting that for the case of N=61, the centralized technique was replaced with the alternatingcoordinate technique. In this case, the set of parameters of a certain neighborhood are coordinated while holding others fixed. The precoding matrix codebooks defined in (11) and (12) were used as the parameter set for TAS and beam selection, respectively. As for the MIMO setup, each transmitter has N _{ t }=3 available transmit antennas and N _{ s }=2 data streams to be transmitted, and each receiver has N _{ r }=2 receive antennas. To obtain more realistic results, each MIMO channel response was drawn from a set containing 324,000 2×3 channel matrices, according to (18). The parameter initialization is at random, i.e., nodes pick one of the PMIs randomly at the beginning of each simulation run in the greedy technique. In the graphbased approach, the initial messages defined in (6) are equal to zero. The maximum number of iterations λ in each simulation run is 100. Finally, a total of 1,000 runs were conducted for statistical purposes for the sevennode network case. Due to the fact that the number of channel data samples available is limited, a total of only 85 runs were conducted for the 61node network case. It is worth mentioning that the channel responses were kept constant during the λ iterations. These simulation parameters above were adopted for both simultaneous and random messagepassing schedulers. As for random scheduling, the parameter P _{active} was set to 90%, 70%, or 30%. Table 2 lists the simulation parameters.
Example 1: transmit antenna selection
For the TAS example, the number of radio frequency chains is 2. Consequently, the parameters to be coordinated are three PMIs for all the cells. Such parameters index the elements of the codebook in (11). Next, simulation results considering a network with seven cells, each one with a communication node, are presented.
TAS and N=7 nodes
The graphbased technique appears not to be affected by the different types of messagepassing scheduling in terms of sum rate. Figure 6 shows that the proposed method in all the scheduling modes provides approximately the same performance. The maximum achievable sum rate is about 49 bits per channel use, reached by the centralized approach and also by the graphbased technique. From the curves in Figure 6, the graphbased technique approaches the optimal solution in all the simulation runs, reaching the global optimum in most of them. Clearly, the graphbased technique outperforms the greedy one.
The greedy technique is also not significantly affected by the different types of messagepassing scheduling in terms of sum rate. According to Figure 6, the greedy technique with any of the scheduling modes reaches the sum rate value of 48 bits per channel use or less with 100% probability, while both the proposed and the centralized technique provide about 49 bits per channel use.
According to the results, the gain in sum rate obtained by the graphbased technique over the greedy one is largely independent of the type of scheduling. For instance, from the 50th CDF percentile, such a gain is about 2.4% for all the messagepassing scheduling modes. Table 3 shows the statistics above. Despite the small gain observed over the greedy, the proposed method provides a solution near (or equal to) the optima.
It is clear that the TAS with both greedy and graphbased solutions outperforms the random choice approach. However, the maximum gain obtained over the random choice is around 9%, which may be considered too small for a precoder selection technique.
With respect to convergence speed, the proposed method with random scheduling converges faster than that with simultaneous scheduling. Figure 7 shows that the higher the probability of being active, the higher the speed of convergence. The same behavior occurs for the greedy technique. However, it converges faster than the graphbased. Both greedy and graphbased techniques converged in ten iterations or less with 100% probability.
In terms of convergence rate, the proposed method has a different rate for each messagepassing scheduling mode. For instance, the graphbased technique with simultaneous scheduling converges with 98% probability. Further, the proposed method with random scheduling converges with 98.5% when P _{active}=0.9, 99.3% probability when P _{active}=0.7, and 100% probability when P _{active}=0.3. Finally, the greedy technique with random scheduling converges with 100% probability, while it converges with 99.6% probability in the simultaneous scheduling mode. Table 4 shows all the statistics regarding convergence rate. Interestingly, even when the proposed method does not converge, it provides a nearoptimal solution, as expected. In the following, simulation results considering a larger network with N=61 are presented.
TAS and N=61 nodes
Increasing the network size to 61 nodes, the graphbased technique is still not affected by the different modes of messagepassing scheduling in terms of sum rate. Accordingly, Figure 8 shows that all the scheduling modes make the proposed method to have approximately the same performance. For this network size, the centralized approach is properly replaced with the alternatingcoordinate technique, which provides the ‘best’ solution in this case. It reaches a maximum sum rate of about 231 bits per channel use, followed by the graphbased technique. In Figure 8, the proposed method approaches the best solution in all the simulation runs (often reaching the best) and outperforms the greedy technique. Moreover, the proposed method appears to be scalable since it maintains its good performance in larger networks. The greedy technique is also not significantly affected by the different types of messagepassing scheduling, but as shown in Figure 8, the maximum achievable sum rate for such an approach is around 227 bits per channel use.
In general, the gain in sum rate obtained by the graphbased technique over the greedy one is largely independent of the scheduling mode in terms of sum rate. For instance, from the 50th CDF percentile, the gain is about 1.459% for all the scheduling modes. Again, the gain obtained over the random choice is too small, around 8%. Table 5 shows the statistics above.
As for convergence speed, the graphbased technique with simultaneous scheduling converges faster than that with random scheduling, as in the previous case. Figure 9 also shows that the higher the probability of node activation, the higher the speed of convergence. Again, the greedy technique has the same behavior, but it converges faster than the graphbased technique. In Figure 9, both techniques converge in up to 24 iterations.
With regard to convergence rate, the graphbased technique observes different rates, which depends on the messagepassing scheduling mode. For instance, such an approach with simultaneous scheduling converges with 88.2% probability. However, considering random scheduling, it converges with 90.5% probability when P _{active}=0.9, with 94.1% probability when P _{active}=0.7, and with 100% when P _{active}=0.3. Differently, the greedy technique converges with 100% probability in all the scheduling modes except in the simultaneous scheduling mode, where it converges with 96% probability. Table 6 shows all the statistics above regarding convergence rate.
Example 2: fixedbeam selection
For the beam selection problem, the parameters to be coordinated are also three PMIs for all the cells. Such parameters index the elements of the codebook in (12). Next, simulation results considering a network with seven cells, each one with a communication node, are presented.
Beam selection and N=7 nodes
Similar to the previous example, the graphbased technique appears not to be affected by the different modes of messagepassing scheduling in terms of sum rate. In Figure 10, the proposed method has approximately the same performance in all the scheduling modes. The maximum achievable sum rate is about 51 bits per channel use, reached by both the centralized and graphbased techniques. From the curves in Figure 10, the graphbased technique approaches the optimal solution in all the simulation runs, reaching the global optimum in most of them. Once more, the proposed method provides a nearoptimal solution. As expected, the graphbased technique outperforms the greedy and also the random choice with a large gain in sum rate.
The greedy technique is not affected by the different types of messagepassing scheduling in terms of sum rate. Still in Figure 10, the greedy technique with any of the scheduling modes reaches the sum rate value of 45 bits per channel use or less with 100% probability, while both the proposed and the centralized technique provide about 51 bits per channel use as aforementioned. Figure 10 also shows that the greedy technique poorly outperforms the random choice.
Based on the curves in Figure 10, the gain in sum rate obtained by the graphbased technique over the greedy is largely independent of the mode of scheduling. For instance, from the 50th CDF percentile, such a gain is around 24.7% for all the messagepassing scheduling modes. Table 7 shows the statistics above. Dissimilarly to the previous example, the gain observed over the greedy and the random choice is significantly large.
As for convergence speed, the proposed method technique with random scheduling converges faster than that with simultaneous scheduling. Figure 11 shows that the higher the probability of being active, the higher the speed of convergence. Again, the greedy technique behaves the same way, i.e., converges faster than the graphbased technique. Both the greedy and graphbased techniques converge in 15 iterations or less with 100% probability.
In terms of convergence rate, the graphbased technique has a different rate for each messagepassing scheduling mode adopted. For instance, the graphbased technique with simultaneous scheduling converges with 90.6% probability. Further, the proposed method with random scheduling converges with 91.9% when P _{active}=0.9, 95.9% probability when P _{active}=0.7, and 100% probability when P _{active}=0.3. On the other hand, the greedy technique converges with 100% probability with any of the messagepassing scheduling types. Table 8 shows all the statistics regarding convergence rate. Once again, even when the proposed method does not converge, it provides a nearoptimal solution, as expected.
Beam selection and N=61 nodes
Considering a network size of 61 nodes, the graphbased technique is still not affected by the different modes of messagepassing scheduling in terms of sum rate. Such a behavior is shown in Figure 12, where all the scheduling modes make the proposed method to have approximately the same performance. Properly, the centralized approach is replaced with the alternatingcoordinate technique, which reaches a maximum sum rate of about 257 bits per channel use, followed by the graphbased technique. In Figure 12, the proposed method approaches the solution of the alternatingcoordinate technique in all the simulation runs (often reaching that result) and outperforms the greedy technique. Thus, the proposed method maintains its good performance even in such a larger network. The greedy technique is not significantly affected by the different modes of messagepassing scheduling, but Figure 12 shows that it achieves a lower maximum sum rate of 218 bits per channel use. Again, the random choice is greatly outperformed by the proposed technique.
As observed in all the examples above, the gain in sum rate obtained by the proposed method over the greedy technique is independent of scheduling mode in terms of sum rate. For example, from the 50th CDF percentile, the gain is around 21% for all the scheduling modes. Table 9 shows the statistics above.
In terms of convergence speed, the graphbased technique with the simultaneous scheduling converges faster than that with random scheduling, as in all the previous cases. For both the graphbased and greedy techniques, Figure 13 shows that the higher the probability of node activation, the higher the speed of convergence. In Figure 13, both techniques converge in up to 38 iterations. Nevertheless, the greedy technique converges faster than the graphbased.
As for convergence rate, the graphbased technique observes different rates, which depends on the messagepassing scheduling mode. However, in this example, the proposed method shows small convergence rates. For instance, the graphbased approach with simultaneous scheduling converges with 16.4% probability. Considering random scheduling, it converges with 22.3% probability when P _{active}=0.9, with 22.3% probability when P _{active}=0.7, and with 36.4% when P _{active}=0.3. On the contrary, the greedy technique converges with 100% probability in all the scheduling modes. Table 10 shows all the statistics above regarding convergence rate. The small number of simulation runs in this example may have led to those small rates, but despite those rates, the proposed method has a similar performance compared to the alternatingcoordinate technique and also outperforms the greedy solution with large gain in sum rate.
Summary of the results
The small observed gain in the TAS problem is likely due to the choice of the particular precoder codebook of antenna selection. The selection of transmit antennas at a certain node seems not to significantly affect the selection made by the others and, consequently, poorly mitigates mutual interference observed by nodes. Therefore, even the simpler greedy solution may achieve a good result. Besides, the comparison of the TAS with the random choice shows that it does not have a great impact on the performance of the nodes since it provides gains in sum rate below 10%.
In the fixedbeam selection problem, the large observed gain is likely due to the use of directional beamforming precoding matrices. The selection of fixed beams at a certain node seems to impact on the selection made by the others since it may directly avoid a node causing interference to its neighbors. Thus, the graphbased technique can obtain a better solution than the greedy one based on the fact that the messages exchanged among nodes regard the impact of nodes’ decisions on their neighboring nodes.
In general, the proposed method reaches the global optima efficiently, which means lower computational complexity and less backhaul traffic, compared with the centralized solution, and always outperforms the greedy solution and, consequently, the random choice approach. Additionally, the use of different modes of messagepassing scheduling does not impact on the solution in terms of sum rate but affects convergence speed and convergence rate. Simultaneous scheduling leads to fasterbutlessoften convergence as all the nodes exchange messages. Random scheduling makes the algorithms to converge more frequently and demand more iterations to converge, but less nodes participate in the messagepassing procedure. Therefore, the choice of the messagepassing scheduling might depend on the network constraints, such as low latency and limited backhaul traffic.
Conclusions
The graphbased method for distributed parameter coordination considers the impact of nodes’ decisions on their neighboring nodes. The information (message) exchange is only among neighbors. Such a technique reaches the (near) optimal solution more frequently than the greedy approach at cost of larger message size and slower convergence. The use of random scheduling in the problems of precoder selection tends to enhance the convergence rate but decreases the convergence speed. It is worthwhile to note that the graphbased approach is totally adaptable to any discrete problem of parameter coordination and any network size. As for the numerical results, the graphbased technique provides good gains in the global cost over the greedy solution, specially in the beam selection problem. As future studies, one may think of working on messagepassing scheduling with faster convergence and message exchange with reduced message size.
References
Z Han: Resource Allocation for Wireless Networks: Basics, Techniques, and Applications. New York: Cambridge University Press; 2008.
A Paulraj: Introduction to SpaceTime Wireless Communications. Cambridge: Cambridge University Press; 2003.
Rappaport T: Wireless Communications: Principles and Practice. Upper Saddle River: Prentice Hall; 2001.
J Andrews: Overcoming interference in spatial multiplexing MIMO cellular networks. IEEE Wireless Commun. 2007, 14(6):95104.
F Kschischang: Factor graphs and the sumproduct algorithm. IEEE Trans. Inf. Theory 2001, 47(2):498519. 10.1109/18.910572
Başar T, GJ Olsder: Dynamic, Noncooperative Game Theory. London: Harcourt Brace & Company; 1995.
I SohnA graphical model approach to downlink cooperative MIMO systems. In 2010 IEEE Global Telecommunications Conference (GLOBECOM 2010). Miami, 6–10 Dec 2010, pp. 1–5
I Sohn: Belief propagation for distributed downlink beamforming in cooperative MIMO cellular networks. IEEE Trans. Wireless Commun. 2011, 10(12):41404149.
BL Ng, J Evans, S Hanly, D Aktas. Transmit beamforming with cooperative base stations. In 2005 IEEE International Symposium on Information Theory (ISIT 2005). Adelaide, 4–9 Sept 2005,pp. 1431–1435
BL Ng: Distributed downlink beamforming with cooperative base stations. IEEE Trans. Inf. Theory 2008, 54(12):54915499.
JRW Heath: Multimode antenna selection for spatial multiplexing systems with linear receivers. IEEE Trans. Signal Process. 2005, 53(8):30423056.
S Aji: The generalized distributive law. IEEE Trans. Inf. Theory 2000, 46(2):325343. 10.1109/18.825794
I Guerreiro, C Cavalcante. A distributed approach for antenna subset selection inMIMO systems. In 2010 7th International Symposium on Wireless Communication Systems (ISWCS 2010). York, 19–22 Sept 2010, pp. 199–203
J Lee: MIMO technologies in 3GPP LTE and LTEadvanced. EURASIP J. Wireless Commun. Netw. 2009, 2009: 3:13:10.
F Kschischang: Iterative decoding of compound codes by probability propagation in graphical models. IEEE J. Selected Areas Commun. 1998, 16(2):219230. 10.1109/49.661110
E Telatar: Capacity of multiantenna Gaussian channels. Eur. Tran. Telecommun. 1999, 10: 585595. 10.1002/ett.4460100604
G Scutari: Optimal linear precoding strategies for wideband noncooperative systems based on game theory  part I: Nash equilibria. IEEE Trans. Signal Process. 2008, 56(3):12301249.
Y Selen, H Asplund. 3G LTE simulations using measured MIMO channels. In IEEE Global Telecommunications Conference, 2008 (IEEE GLOBECOM 2008), New Orleans, 30 Nov–4 Dec 2008, pp. 1–5
M Binelo, ALF De Almeida, J Medbo, H Asplund, FRP Cavalcanti. MIMO channel characterization and capacity evaluation in an outdoor environment. In 2010 IEEE 72nd Vehicular Technology Conference Fall (VTC 2010Fall). Ottawa, 6–9 Sept 2010, pp. 1–5
M Ozcelik, N Czink, E Bonek. What makes a good MIMO channel model? In 2005 IEEE 61st Vehicular Technology Conference, 2005 (VTC 2005Spring), vol. 1, Stockholm, 30 May–1 June 2005, pp. 156–160
Acknowledgments
This work was partially supported by the Innovation Center, Ericsson Telecomunicações S.A., Brazil, and National Council for Scientific and Technological Development (CNPq). The authors would like to thank JiannChing Guey for valuable discussions and Ericsson Research for providing the measurement data.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ original submitted files for images
Below are the links to the 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.
About this article
Cite this article
Guerreiro, I.M., Hui, D. & Cavalcante, C.C. A distributed approach to precoder selection using factor graphs for wireless communication networks. EURASIP J. Adv. Signal Process. 2013, 83 (2013). https://doi.org/10.1186/16876180201383
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/16876180201383