This article investigates the properties of social choice functions (SCFs) that represent resource allocation strategies for interference coupled wireless systems. The resources can be physical layer parameters such as power vectors or spatial streams. Strategy proofness and efficiency properties of SCFs are used to capture the properties of non-manipulability and Pareto optimality of resource allocation strategies, respectively. This article introduces and investigates the concepts of (strong) intuitive fairness and non-participation in interference coupled systems. The analysis indicates certain inherent limitations when designing strategy proof and efficient resource allocation strategies, if additional desirable and intuitive properties are imposed. These restrictions are investigated in an analytical mechanism design framework for interference coupled wireless systems. The article also investigates the permissible SCFs, which can be implemented by a mechanism in either Nash equilibrium or dominant strategy for utility functions representing interference coupled wireless systems. Among other results, it is shown that a strategy proof and efficient resource allocation strategy cannot simultaneously satisfy continuity and the often encountered property of non-participation.
From the evolution of wireless infrastructure from second generation to third generation, there has been a gradual transition from voice centric to data centric applications. Many of these applications are quality of service (QoS) based. A QoS application typically requires users to report their channel qualities to a central controller. The vendors manufacturing end user equipment have an incentive to report a higher channel quality, than the true channel quality experienced by the user. Such a misrepresentation of the channel quality is motivated by the vendor’s intention of over provisioning for its users. There can be other instances, where the users have an incentive to misrepresent their measured channel quality or interference temperature. The result of solving a resource allocation problem with misrepresented utilities is that the outcome might not always be the one desired by the central controller, e.g., base station, operator. Such a misrepresentation of utilities can have an undesirable effect on the resource allocation. Being in a position to tackle such a misrepresentation helps in better formulation of the optimization problem for radio resource allocation in wireless networks.
Expecting the resource allocation strategy to be strategy proof could be one possible solution to the central controller’s dilemma of solving an optimization problem with misrepresented utilities. Much of previous strategy proofness literature in wireless network has been motivated from the perspective, that the users might have a motivation and ability to misrepresent their utilities (refer to the networks-related literature in “Literature survey” section).
We utilize the social choice function (SCF) to represent resource allocation strategies in interference coupled wireless systems. The goals of the designed resource allocation strategies can be viewed in terms of social choice, which is simply an aggregation of the preferences of the different users toward a single joint decision. The difference of interest between the operator and users is one example in networks, where the theory of mechanism design can be utilized. Mechanism design attempts implementing desired social choices in a strategic setting, assuming that the different members of society act rationally in a game theoretic sense .
We utilize an axiomatic framework for SCFs (discussed in detail in “SCFs” section). An SCF represents a resource allocation strategy in interference coupled wireless systems. In our abstraction, if an SCF satisfies a particular axiom, then the resource allocation strategy is said to satisfy the property corresponding to the axiom. We capture the non-manipulation of the resource allocation strategy by the property of strategy proofness of the SCF. An example of a strategy proof SCF is the second price auction (Vickrey Clarke Groves auction). Pareto optimality of the resource allocation strategy is captured by the property of efficiency. This article studies such and certain other desirable properties of SCFs representing resource allocation strategies.
We consider resource sets beyond pure exchange economies. The only constraint on our resource sets is that they satisfy the signal-to-interference plus noise ratio (SINR)-based utility (SBU) function framework (see “Utility modeling” section). This article provides certain new insights on a particular class of strategy proof and efficient resource allocation strategies and has the following main contributions (see “Analysis: properties of resource allocation strategies” section):
1 We introduce the property of intuitive fairness (see “SCFs” section). Intuitive fairness implies that if a particular user scales down its demand for utility, then the other users must obtain the same or better utility. For strong intuitive fairness, the users can choose from a family of utility functions.
(a) A strategy proof and efficient resource allocation strategy, which satisfies the property of intuitive fairness (see Definition 6) is robust to a particular user’s scaling down of the utility, when the utilities of all other users are fixed.
(b) A strategy proof and efficient resource allocation strategy, satisfying either intuitive fairness (see Definition 6) or strong intuitive fairness (see Definition 7), can be altered only if two or more users change their utilities, i.e., the resource allocation strategy is robust to the change in utilities of any singular user.
(c) If a strategy proof and efficient resource allocation strategy is not constant with respect to the utility of a user k, then another user j (j ≠ k) experiences a measurable decrease in its performance, even if this other user j’s utility function is fixed.
2 We introduce the property of non-participation, which says that if a particular user does not demand any utility, then it obtains no resource.A strategy proof and efficient resource allocation strategy for interference coupled systems cannot simultaneously satisfy continuity and the property of non-participation. Continuity is a desirable property of resource allocation strategies for designing practical algorithms and for mathematical tractability. Hence, this result proves to be an impossibility result, i.e., a strategy proof, efficient, and non-participation resource allocation strategies are discontinuous.
3 Let a mechanism implement an SCF in Nash equilibrium. Then, there exists a “point” in the set of physical layer resources, such that the SCF chooses this point for all possible utility functions in the family of SBU functions. A similar result can be proved for dominant strategy implementation.
3 A resource allocation strategy is strategy proof, if and only if the SINR function γk for a particular user k is a constant function, independent of its own utility uk. The constant mentioned in the previous sentence depends on the utility functions of the other users.
There has been a significant amount of economic literature on this topic. We give a brief overview of this literature in “Literature survey” section. It can be observed from the literature that previous work in networks and communication theory has typically focused on the design of strategy proof resource allocation strategies for particular wireless or communication systems. This article characterizes certain boundaries while designing strategy proof and efficient resource allocation strategies, when combined with certain desirable and intuitive properties. We investigate these contradictions in the framework of interference coupled wireless systems and an analytical framework of mechanism design, described in the following section.
In this article, we shall investigate the case of interference coupled wireless systems, beyond pure exchange economies. Before we begin to describe our system model and present the relevant definitions, we provide certain notational conventions used in the article in the next section.
Preliminaries and notation
Matrices and vectors are denoted by bold capital letters and bold lowercase letters, respectively. Let y be a vector, then yl =[y]l is the lth component. Let y−l denote the vector y without the lth component. Likewise Gmn = [G]mn is a component of the matrix G. The notation y ≥ 0 implies that yl ≥ 0 for all components l. x ⪈ y implies component-wise inequality with strict inequality for at least one component. Similar definitions hold for the reverse directions. x ≠ y implies that the vector differs in at least one component. Let denote a set of vectors and denote a family (class) of functions or tuples. We use yk for indexing of individual components of vectors and individual components of tuples of functions, where . Let unless otherwise specified. The set of non-negative real numbers and positive real numbers are denoted as and as , respectively.
Interference coupled wireless systems
In a wireless system, the users’ utilities can strongly depend on the underlying physical layer. An important measure for the link performance in cellular and ad hoc wireless networks is the SINR. SINR is also utilized as a performance indicator in the standardization community. Hence, results pertaining to such a model could help investigate the limitations of SINR-based communication systems. Consider K users with transmit powers p = [p1, … , pK]T and . The noise power at each receiver is σ2. Hence, the SINR at each receiver depends on the extended power vector
The resulting SINR of user k is
where is the interference (plus noise) as a function of . In order to model interference coupling, we shall follow the axiomatic approach proposed in [2,3]. The general interference functions possess the properties of conditional positivity, scale invariance, and monotonicity with respect to the power component and strict monotonicity with respect to the noise component. For further details, kindly refer to the Appendix.
In mathematical economics, the modeling of users’ utilities is an initial step toward characterizing the preferences of the users and in turn utilizing the framework of mechanism design and implementation theory. In our system model, each user can choose its own utility function. For a user, announcing its true utilities to the operator might not be in its best interest, i.e., the users can choose to reveal a utility function, which differs from their true utility functions, so as to obtain more utility.
Generally, it is not possible to accurately communicate a non-parametric utility function in an Euclidean space. However, for the purpose of obtaining certain initial intuition on the topic we have not concerned ourselves with this issue. For a practical implementation we can utilize approximations, e.g., a parametrization, where one could transmit a scalar and choose a function from a look up table based on the transmitted scalar or transmission of a finite number of scalars (based on the system constraints, e.g., bandwidth, time duration of block fading, etc.), which represent coefficients of a polynomial utilized to approximate the utility function. Scalar parameterized mechanisms have been discussed in .
We are particularly interested in analyzing the class of utility functions, which are functions of the SINR, given by (2). The utility functions, which shall be introduced in Definition 1, are motivated based on the below two factors.
• Users in a wireless system are coupled by interference.
• Performance indicators in wireless systems are influenced by physical layer parameters.
In this article, “utility” can represent certain arbitrary performance measures, which depend on the SINR by a strictly monotonic, increasing, and continuous function q defined on . The utility of user k is
An example of the above case is capacity: q(x) = log(1 + x) and effective bandwidth q(x) = x / (1 + x) . The same theory can be developed for strictly monotonic, decreasing, and continuous functions . For the following performance indicators, we would like to minimize the objective function, e.g., mean square error : , BER: , and high-SNR approximation of BER with diversity order α.
Analytical framework: SCFs and mechanism design
In this section, we review certain mechanism design and implementation theoretic notation , in the context of interference coupled systems. We assume that the number of users K ≥ 2. Let be an arbitrary set of outcomes at the physical layer. Let and rk ∈ Rk. Resources at the physical layer are power, antenna weights, spatial streams, etc. A combination of these could also be considered as resources and modeled by our framework.
Consider a SIMO uplink scenario with a total power constraint or a MISO downlink scenario with a total power constraint Ptotal and beamforming vectors for the users being ωk, with . The set of resources can be represented in this scenario as follows.
Let r = [r1, … ,rK]. A result is said to be presented for the case of pure exchange economies, if the resource set is defined as follows:
As mentioned in the “Introduction” section, in this article we analyze the case of interference coupled wireless systems, beyond pure exchange economies.
As has been observed earlier in this article, the set of outcomes is the set of resources, which could be the set of power . In this special case, where power allocation is an outcome, we have that the particular power vector .
Consider the case, when the users report their utility functions to a central controller, e.g., base station. Based on a system objective (an SCF), the base station allocates resources to the users. Based on the allocated resources, the users derive their own performance, e.g., QoS level.
Different users in a wireless system could have different preferences depending on their resource allocation strategy. We shall utilize the SCF to characterize resource allocation strategies. If a particular property (axiom) is satisfied by the SCF, then the corresponding property is satisfied by the resource allocation strategy, i.e., we utilize certain properties (axioms) to emulate desirable properties of resource allocation strategies.
An SCF aggregates the preferences of all the users into a social choice for the entire system, i.e., the resource allocation strategy.
We now clarify that what we mean by a strategy K-tuple and a strategy set. A strategy is a complete contingent plan or decision rule that says what a user will do at each of its information sets. Let be the strategy set of a user and be the strategy set of the set of users . We now present certain well-known desired properties of SCFs. We shall revisit strategy K-tuples and strategy sets, when we deal with mechanisms and implementation theoretic concepts in “Mechanism design and implementation theoretic concepts” section.
Review of extant properties of SCFs
We formalize certain desirable properties of resource allocation strategies by means of an axiomatic framework for SCFs to capture these properties. In this article, we are interested in exploring the interplay between the axiomatic framework and the implementation of resource allocation strategies.
Consider for two users an SCF f (see Equation 7). We analyze the case for linear interference functions and for a total power constraint Ptotal. Then we have that and , where v12 and v21 are the normalized coupling between user 1 and 2. Let the utility sets for the users be as follows:
where [ω1, ω2] = ω > 0. Let us choose the following f :
where s = [s1, s2], p = es such that pk ∈ p, and Ptotal is the total power constraint on the system for 2 users (see Figure 1b). The function is strictly convex and bounded. Therefore, there exists a unique optimizer, i.e., the function f is a well-defined SCF. From (7) we can see that a user has an incentive to misrepresent its utility function.
Figure 1. Depiction of a the set of resourcesand the QoS setfor the case of 2 users in a wireless system. (a) Set of resources for two users. In this case, the set of powers permitted by the power constraints for the two users. (b) SINR region corresponding to the set of powers, with the transformation γ = γ(p). (c) QoS region after the transformation of the SINR region via the utility function mapping u(p) = q(γ(p)).
By misrepresenting its utility function, a user can manipulate the outcome of a resource allocation strategy. Avoiding such behavior is a desired property from the perspective of an operator or a regulator. The property, that a particular resource allocation strategy is non-manipulable, is emulated by the SCF f satisfying the property strategy proofness. The following two definitions can also be found in .
An SCF is said to be strategy proof if the users have no incentive to misrepresent their utilities to the central controller.
Efficiency from the point of view of wireless communication (physical layer perspective) of the resource allocation strategies implies choosing an operating point on the Pareto boundary of the feasible utility region .
where r is a resource vector.
The option set Qk is the set of resources for all the users, which user k can influence with its utility function, given the utility function (K − 1)-tuples . The use of option sets has proved to be a useful technique in analyzing strategy proof SCFs . The reader should bear in mind that option sets are relative to a given function on a given domain, even if this is not explicit in the notation. We shall now present certain new properties, which are quite natural from a wireless system perspective.
Introduced properties of SCFs
In this section, we introduce the properties of (strong) intuitive fairness and non-participation and connect them with certain well established concepts in literature.
An SCF f is said to satisfy the property of intuitive fairness, if for all utility function K-tuples , for all user we have that, for arbitrarily chosen (uk, u−k) and 0 < λ < 1, uk(f(λuj, u−j)) ≥ uk(f(uj, u−j)), , k ≠ j.
An SCF is said to be intuitive fair, if for all users , we have the case, that if any user linearly scales down its utility, then the other users should either obtain the same or better utility as in the case, when the user had not scaled its utility. Definition 6 is similar to the axiom of population monotonicity (in the context of cooperative bargaining theory ) introduced under a different name in . The axiom of population monotonicity states the following. Suppose a group of users have arrived to play a particular resource allocation game. If the users (with ) do not show up, let the set of users reach a particular solution outcome. If the users show up afterwards, resource allocation is carried out again and no user in should be better off.
Now, we allow the user to possess the ability of not only scaling its utility function, but also choosing other utility functions altogether.
In the definition of strong intuitive fairness it can be seen that the utility function is dominated by the utility function uk, for all users , for all resource vectors , and all utility function (K − 1)-tuples .
The SCF f presented in Example 3 satisfies the properties of efficiency and strong intuitive fairness.
The properties of intuitive fairness and strong intuitive fairness are somehow connected to the property of min–max fairness. For any resource allocation strategy providing QoS to the users we can associate a specific notion of fairness. The consideration of fairness notions has mainly been a wired network issue [12,13]. The most common fairness notion is min–max fairness. It represents an equilibrium associated with an ideal social system characterized by the fact that no user’s QoS measure can be increased without decreasing an already lower user’s QoS measure.
In the framework of interference coupled systems the min–max fair power allocation solves the problem
where describes the QoS requirement of the kth user and the corresponding SINR threshold. Vis the link gain matrix for the interference coupled wireless system. Fortunately, in cellular wireless networks the intricacies associated with the so-called bottleneck connections are nonexistent. Under non-existing or equal QoS requirements the min–max fair power allocation equalizes all link QoS measures and represents the right eigen-vector of the interference matrix.
Comparing min–max fairness to intuitive fairness, we can see that if a particular user k reduces its demand for utility, then there are more resources for the remaining users. Hence, another user could increase its utility without decreasing the utility of a user .
The sequence of utility functions are defined by their values, so the utility functions converge if their values converge. This reduces the convergence of real-valued functions to the convergence of real numbers. Such a convergence is called pointwise convergence. We are dealing with utility function K-tuples (K-tuple of utility functions) as against utility functions. Hence, we use the l − 1 norm. We would like at this point to remind the reader that we say that an SCF f is continuous, if for all convergent sequences of utility K-tuples the following expression holds:
We now explain a very natural property, which is almost always satisfied for all resource allocation strategies occurring in interference coupled wireless systems. The property states that, if a particular user demands no utility, then the resource allocation strategy does not allocate any resource to this user.
In practical wireless networks it must be noted that if a user requires no utility, i.e., it demands no resources at a particular time instant, it still has to utilize some resources to report its utility function to the resource allocation agent (central controller). Hence, the property of non-participation though seemingly intuitive and harmless could lead to certain restrictions for resource allocation strategies, when it is expected to be satisfied with certain other properties. This will displayed in detail later in the proof of Theorem 3 (where the interplay of axioms of non-participation and continuity along with strategy-proofness and efficiency is brought to light).
Equipped with the suitable notations and framework, we present the results of our analysis in “Analysis: properties of resource allocation strategies” section.
Mechanism design and implementation theoretic concepts
In the previous section, we have seen that the SCF being used as a tool to capture certain desirable properties of resource allocation strategies in a wireless system. We shall now like to shift our focus to investigating the implementation aspects of resource allocation strategies in a wireless network. For this purpose, we shall utilize the theory of mechanism design and implementation theory. We begin by introducing the mechanism below.
A mechanism is a procedure for determining outcomes. Who gets to choose the mechanism, i.e., who is mechanism designer depends on the scenario in question, e.g., base station, operator, regulator, etc.
Consider an example, where the resources at the physical layer are only the powers of the users, i.e., , with the set of powers defined as follows: and the utility function is defined by (4). With this scenario, Figure 1 displays the concepts of an SCF f, the set of outcomes and the set of utilities .
Let g(Sk, s−k) be the attainable set of user k at s−k, i.e., the set of outcomes that user k can induce when the other users select s−k. For , uk ∈ Uk and a resource vector , let be the weak lower contour set of user k with uk at resource vector r.
The Nash equilibrium of a mechanism can also be characterized in terms of the weak lower contour set as follows. Given a mechanism , the strategy profile is a Nash equilibrium of g at if for all , g(Sk,s−k) ⊆ L(g(s),uk). Let Ng (u) be the set of Nash equilibria of the mechanism g at utility function tuple u. We now introduce the corresponding implementation theoretic concept of Nash equilibrium implementation.
• For any strategy K-tuple s ∈ Ng (u), g(s) = f(u).
Hence, there exists a strategy K-tuple s ∈ Ng (u) such that g(s) = f(u).
The SCF f is Nash implementable if there exists a mechanism that implements f in Nash equilibria. The second condition in Definition 11 ensures that irrespective of the choice of the strategy K-tuple in the set Ng (u), we always obtain the same outcome in the set of outcomes, namely f(u). Such a requirement is essential for implementation, since otherwise, we would not be in a position to characterize the properties of the SCF f . We now turn to another concept in game theory and mechanism design, namely that of strategic dominance, i.e., a particular strategy sk is “better” than another strategy for a particular user , independent of the other users strategies s−k. Even though, the concept of dominant strategy is sometimes thought of as a simplification , it is still a useful analytical and practical tool to investigate mechanisms and resource allocation strategies.
Let be the set of dominant strategies for user k of mechanism g at utility function uk. The strategy K-tuple is a dominant strategy equilibrium of g at utility K-tuple if for all users , . Let DSg(u) be the set of dominant strategy equilibria of mechanism g at utility K-tuple u.
In the context of wireless systems, the authors of  show that with an appropriately designed downlink scheduler the socially optimal uplink rate allocation emerges as a dominant strategy for all users.
1. there exists a strategy K-tuple s ∈ DSg (u) such that g(s) = f(u) and
2. for any strategy K-tuple s ∈ DSg (u), g(s) = f(u).
The SCF f is dominant strategy implementable if there exists a mechanism that implements f in dominant strategy equilibria.
The mechanism g is called a direct revelation mechanism associated with the SCF f if for all and g(u) = f(u) for all . We do not distinguish between the SCF f and the direct revelation mechanism associated with the SCF f . While analyzing the implementation aspects in “Nash implementation and dominant strategy implementation” section, when we say the SCF f , we also mean the direct revelation mechanism g associated with the SCF f .
Analysis: properties of resource allocation strategies
For certain interference coupled wireless scenarios we would like to characterize resource allocation strategies, which satisfy certain desirable properties from the axiomatic framework, which can be implemented using mechanisms (see Figure 2).
Figure 2. Abstraction: Investigation of the possibility of obtaining implementable resource allocation strategies satisfying certain desirable axioms. The left hand side of the figure displays axioms representing desirable properties of resource allocation strategies. The right hand side of the figure gives examples of possible implementation solutions.
We shall present following results in this section.
1. Results pertaining to desired properties of resource allocation strategies captured by SCFs (see sections “Nash implementation and dominant strategy implementation”, “Intuitive fairness and strong intuitive fairness SCFs”, and “Non-participation and continuity properties of SCFs” sections.
2. Results pertaining to Nash equilibrium implementation and Dominant strategy implementation of resource allocation strategies in a wireless network based on a SINR physical layer model (see “Nash implementation and dominant strategy implementation” section).
Non-manipulable and efficient SCFs
We begin by presenting a result, which states the following. An SCF f is strategy proof , if and only if for all users , the outcome of the resource allocation for the kth user, i.e., γk(r) is a constant, which is independent of its own utility function . However, this constant is dependent on the utility functions u1, … ,uk−1, uk + 1, … ,uK, i.e., the utilities of the other users u−k.
An SCF f is strategy proof, if and only if for all usersand for all utility function (K − 1)-tuples , there exists a constant ck(u−k) > 0 such that for all resource vectors r ∈ Qk(u−k), γk(r) = ck(u−k), where γk is the SINR function of the kthuser.
“⇒”: Assume that the SCF f is strategy proof . Let there be an arbitrary user and an utility function (K − 1)-tuple also chosen arbitrarily but fixed. Then, for utility functions chosen arbitrarily, we have that
We now present a result for the 2-user case. This result shows the restriction of the available SCFs f , if we want them to satisfy the properties of strategy proofness and efficiency, i.e., the resource allocation strategy is non-manipulable and is Pareto optimal.
Let the number of users K = 2. Then SCF f is efficient and strategy proof, if and only if there exists a resource vectorwith γ(r∗) a Pareto optimal resource allocation and for all utility function 2-tuples, we have that f(u1, u2) = r∗.
“⇒”: We have the number of users K = 2. Let SCF f be strategy proof and efficient. For (u−1 = u2) each resource r ∈ Q1(u−1) is on the Pareto boundary (γ1(r), γ2(r)) of the SINR region. From the strategy proofness of the SCF f , for all utility functions , we have
“⇐”: Can be easily proved. □
The classical results [16,17] are for the case of pure exchange economies. Our results are for the case of beyond pure exchange economies for interference coupled systems. Theorems 1 and 1 provide certain initial intuition on the structure of strategy proof and efficient SCFs for the case of interference coupled systems. We observe that the structure imposed by the SBU function framework is quite restrictive. This structure is the basis of the impossibility results presented in Theorems 2, 3, 4, and 3.
Intuitive fairness and strong intuitive fairness SCFs
Here we present our results in relation to the restrictions obtained, when we try to obtain strategy proof and efficient resource allocation strategies, which satisfy the property of either
• intuitive fairness or
• strong intuitive fairness.
We now present a result, which states the following: a non-manipulable, efficient, and intuitive fair resource allocation strategy is independent of the downwards scaling of the utility function of a particular user , when the utility function (K − 1)-tuple is fixed, i.e., the resource allocation strategy is robust to downwards scaling of the utility function of a particular user, when the utility functions of all the other users are fixed.
⇒: Let SCF f be strategy proof , efficient and not a constant function. Let us assume that SCF f is intuitive fair. Then, we have that for all users , for all utility function K-tuples for u(λ) = (λuk, u−k), 0 < λ ≤ 1 and for all users , we have that
Furthermore, we have that γk(f(u(λ))) ≥ γk(f(u)). For user j we have from Theorem 1, that γk(f(u(λ))) = γk(f(u)). Then, for r(λ) := f(u(λ)) we have that uk(r(λ)) ≥ uk(f(u)) for . Since, SCF f is efficient, we must have that uk(r(λ)) = uk(f(u)) for .
Then, it can easily be observed that the SCF satisfies the property of intuitive fairness. □
The SCF f (ω) defined according to (7) (in Example 7) satisfies the properties of efficiency and intuitive fairness.
We now present a corollary to Theorem 2, which states the following. Let a resource allocation strategy be non-manipulable and efficient. If the resource allocation strategy is not robust to downward scaling of the utility function of a particular user , then at least one other user pays the price with a decrease in its performance, even if the utility functions u−k are fixed.
Since, the SCF f satisfies the axioms of strategy proofness and efficiency, we have that
From Theorem 1 we have for an arbitrarily chosen user k, that uk(f(λuk, u−k)) = uk(f(uk, u−k)). Furthermore, we have that f(λuk,u−k) = f(uk,u−k) for 0 < λ < 1. □
We now present certain results, in relation to the stronger property of strong intuitive fairness.
Let an SCF f be strategy proof and efficient. Then, the SCF f fulfills the property of strong intuitive fairness, if and only if for an arbitrary user, for allwith utility function (K − 1)-tuple, there exists a constant dk(u−k,j) such that for all resources r ∈ Qk(u−k) we have that
“⇒”: Let us choose a user arbitrarily. We shall take the perspective of user k without any loss of generality. Let us arbitrarily choose a utility function (K − 1)-tuple . We have to show that for utility functions , the expression holds for all . Let us assume that there exists a user k0, where , such that
From Theorem 1 we have that . Since, SCF f is efficient, we must have that , for all . Therefore, from Theorem 1, we have that . We can have the same expression also for and . Then, for arbitrary utility functions we have . We have proved the desired result.
“⇐”: Let us choose a strategy proof and efficient SCF f . Let, for an arbitrary user and for all other users with utility function -tuple , there exists a constant dk(u−k,j) such that for each resource vector r ∈ Qk(u−k) we have that uk(r) = dk(u−k,j). Then, it can easily be verified that the SCF f satisfies the property of strong intuitive fairness. □
From the above proof, we can obtain the following additional result. If a resource allocation strategy satisfies the properties of strategy proofness, efficiency, and strong intuitive fairness, then changing the preference of a single user is not sufficient to change the resource allocation, i.e., to affect a change in the resource allocation at least two users must change their preferences or utility functions for the desired resources.
Let an SCF f be strategy proof and efficient. Then, the SCF f fulfills the property of strong intuitive fairness, if for all usersand for all utility function (K − 1)-tuples, we have that the cardinality of the option set Qk(uk) is equal to 1. Therefore, for any utility functionswe have.
The proof is contained in the proof of Theorem 3.
Theorem 4 has a certain connection to the axiom non-dummy introduced in . An SCF f is non-dummy, if , and , such that . The non-dummy axiom states that each user can change the outcome of the SCF by changing its utility function. It guarantees every user the minimum right to affect the social decision. Then, we can say that a strategy proof, efficient, and strong intuitive fair resource allocation strategy for interference coupled systems does not satisfy the axiom non-dummy.
Non-participation and continuity properties of SCFs
In this section, we present a result, which states that if the resource allocation strategy is non-manipulable, Pareto optimal satisfies property of non-participation, then the resource allocation strategy has to be discontinuous. This has certain implications on the algorithmic implementation of resource allocation strategies. Furthermore, continuity is a desirable property for resource allocation strategies, e.g., in certain classes of widely used games, the Nash equilibrium is a continuous function of the game parameters, which follows from the implicit function theorem .
Let an SCF f be strategy proof and efficient. Then, the SCF f cannot simultaneously be continuous and satisfy the property of non-participation.
Let an SCF f be strategy proof and efficient. For the sake of obtaining a contradiction, let us assume that the SCF f is continuous and satisfies the property of non-participation. Let us choose a user arbitrarily and take the perspective of this user k, without any loss in generality. Let us choose a utility function (K − 1)-tuple arbitrarily. For all power vectors we have that . Therefore, , for all power vectors . Exploiting the fact, that is an interference function, we have that
Then, we have that
Equation 16 follows from the property of non-participation (Definition 8), which we have assumed that our SCF f satisfies (for the sake of obtaining a contradiction). However, . As can be observed that the constant is independent of λ. Therefore, inf0<λ<1fk(u(λ)) > 0, which is in contradiction with (16). Hence, we have our desired contradiction, which proves the result. □
The SCF f (ω) defined in (7) (in Example 3) satisfies the properties of efficiency, continuity, and non-participation. Another practical way of justifying the non-fulfillment of the axiom of non-participation along with the other axioms in practical resource allocation strategies is that in practical resource allocation strategies a user always utilizes certain resources, i.e., in practical resource allocation strategies fk(0, u−k) = c for some constant c > 0. A simple way to picture this is that even if the user decides to transmit nothing, it would require some resource to sense the channel or measure the interference temperature. Hence, the constant c can be made arbitrarily small, however we always have c > 0.
Nash implementation and dominant strategy implementation
In this section, we present certain results pertaining to Nash equilibrium implementation and dominant strategy implementation aspects for the class of SBU functions. In this article, we have not concerned ourselves with existence and uniqueness issues of the Nash equilibrium. For the purpose of analysis of this article, we assume that these issues have been addressed. One such paper toward this direction is . We begin by presenting Lemma 1, which characterizes the Nash equilibrium properties of a strategy K-tuple.
(1) Choose an arbitrary strategy K-tuple . Then, we have for all users , , i.e., we have for all users and for all , , i.e., we have for all users and for all , . Let , for any . We have for all users and for all that , i.e., .
A similar result as in the Nash equilibrium implementation developed in Lemma 1 can be proved for dominant strategy implementation, i.e., for arbitrary , we have that . We shall now develop the connection between the Nash equilibrium and an SCF f, which can be implemented in Nash equilibrium and between an SCF f and its dominant strategy implementation.
An SCF f can be implemented in Nash equilibrium, if and only if it is a constant function. Furthermore, an SCF f can be implemented in dominant strategy, if and only if it is a constant function.
“⇒”: We shall only prove the result for the first statement of the theorem. Let be arbitrary utility functions in the family of functions , where and . Let s(1) and s(2) be two strategy K-tuples such that s(1) ∈ Ng (u(1)) and s(2) ∈ Ng (u(2)). We have from Lemma 1 that s(1) ∈ Ng (u(2)). This gives us
Equality (a) in (17) follows from condition 2 in Definition 11 and equality (b) in (17) follows from s(1) ∈ Ng (u(1)).
“⇐”: The other direction can easily be verified. The proof for the second statement of the theorem can be carried out in a similar manner. □
We now compare Theorem 4 with Maskin’s result in . Maskin’s result requires an SCF to satisfy the following two properties: monotonicity and no-veto power. In , an SCF satisfies Maskin’s monotonicity condition, if and , if r=f(u) and for all users , if implies , then .
Transitioning to our case of SBU functions, let , for all and for some . Then, from the definition of SBU functions (Definition 1) we have , for all users . Once again, from Definition 1 we have , for all users and for all .
It can be observed that our class of SBU functions always satisfies the monotoncity property of Maskin. On the other hand, it does not satisfy the no-veto property (see , p. 31). Furthermore, we analyze a smaller class of utility functions, compared to the general class analyzed by Maskin. Therefore, the domain for our SCFs is smaller than the domain of SCFs for the results from Maskin. Hence, the class of mechanisms which can implement our SCF in Nash equilibria should potentially be larger. However, we observe from Theorem 4 that for the class of SBU functions the only permitted mechanisms, which implement the SCF in Nash equilibria or dominant strategy are constant functions.
Consider a multiuser multiple access channel, with a beamforming array at the base station [21,22]. For fixed channels, the optimal beamforming weight vectors for the kth user, with respect to maximizing s can easily be calculated. The optimal SINR for the kth user can be written as: where pk, hk, and are the power, the channel vectors at the base station array and the noise for the kth user, respectively. The interference function for the kth user is, . The structure of the feasible utility region depends on several factors, for instance, the receiver strategy. For one set of beamformers ωk, corresponds to one particular utility region U(Ptotal, ω) for fixed channels, where ω = [ω1, … ,ωK and Ptotal is the total power constraint. Let a mechanism g implement in Nash equilibria. Then from Theorem 4 the only permitted solution is the constant power allocation, i.e., a fixed power vector.
Economic literature survey
All the work cited here is for the case of pure exchange economies. Hurwicz  showed that there is no strategy proof , efficient, and individually rational mechanism in 2 user 2 resource pure exchange economy. The authors of  attempted to replace individual rationality in Hurwicz’s result with a weaker axiom of non-dictatorship. Ameliorating upon both results, Zhou  established an impossibility result that there is no strategy proof , efficient, and non-dictatorial mechanism in 2 user m resource (m≥2) pure exchange economies. He conjectures that there are no strategy proof , efficient, and non-inversely dictatorial mechanisms in the case of 3 or more users. In , Zhou’s conjecture has been examined and a new class of strategy proof and efficient mechanisms in the case of four or more users (operators) was discovered.
The studies by the authors of [18,27] provided examples of strategy proof , efficient, and non-dictatorial SCFs. These SCFs are also non-dummy. When we have four or more users, two-stage dictator making mechanisms are strategy proof , efficient, and non-dummy. When we have three or more users, the SCFs provided by Satterthwaite and Sonnenschein  are strategy proof and efficient. When we have four or more users, Kato and Ohseto  have shown existence of certain strategy proof , efficient, non-dummy, and dictatorial SCFs.
The property of strategy proofness requiring revealing of a users’ preference is a dominant strategy. However, as can be seen from the previous results, this concept has serious drawbacks. In particular, many strategy proof mechanisms have multiple Nash equilibrium, some of which produce undesired outcomes. A possible solution to this problem is to require double implementation in Nash equilibrium and in dominant strategies. Saijo et al.  characterize securely implementable SCF and compare their results with dominant strategy implementations. Reichelstein and Reiter  discuss the realization and implementation of a social choice rule. It is shown that Nash implementation is always at least as costly, in message space size, as (decentralized) realization.
Networks literature survey
Our reference list is by no means comprehensive and the interested reader is further referred to the references in the mentioned papers. The studies of [29,30] introduce the concept of a progressive second price auction. Lazar and Semret  have shown that a certain form of the Nash equilibrium holds when the progressive second price auction is applied by independent sellers on each link of a network with arbitrary topology. The studies of [31-33] study rules and structure of games such that their outcomes achieve certain objectives.
Huiping and Junde  propose a strategy proof trust management system fitting to wireless ad hoc networks. Pal and Tardos  have developed a general method for turning a primal-dual algorithm into a group strategy proof cost-sharing mechanism. The authors of [36,37] have called nodes selfish if they are owned by independent users and their only objective is to maximize their individual goals. The article presents a game theoretic framework for truthful broadcast protocol and strategy proof pricing mechanism. Guanxiang et al.  have proposed an auction-based admission control and pricing mechanism for priority services, where each user pays a congestion fee for the external effect caused by their participation. The mechanism is proved to be strategy proof and efficient. Wang and Li  have addressed the issue of user cooperation in selfish and rational wireless networks using an incentive approach. They have presented a strategy proof pricing mechanism for the unicast problem. The authors of [40,41] have provided a tutorial on mechanism design and attempt to apply it to concepts in engineering. Huang et al. [42,43] have utilized SINR and power auctions to allocate resources in a wireless scenario and present an asynchronous distributed algorithm for updating power levels and prices to characterize convergence using supermodular game theory. Wu et al.  have proposed a repeated spectrum sharing game with cheat-proof strategies. They propose specific cooperation rules based on maximum total throughout and proportional fairness criteria. Sharma and Teneketzis  have presented a decentralized algorithm to allocated transmission powers, such that the algorithm takes into account the externalities generated to the other users. Kakhbod and Teneketzis  consider a decentralized bandwidth/rate allocation problem in unicast service provisioning. They present a mechanism, which is implementable in Nash equilibrium, individually rational and budget balanced. Procaccia and Tennenholtz  advocate the reconsideration of highly structured optimization problems in the context of mechanism design. They argue that, in certain domains, approximation can be leveraged to obtain truthfulness without resorting to payments.
The article investigates certain desirable and natural properties of SCFs representing resource allocation strategies for interference coupled wireless systems. The property of non-manipulation and Pareto optimality of the resource allocation strategies is captured by the properties of strategy proofness and efficiency of the SCF, respectively. We introduce the certain desirable and natural properties of resource allocation strategies, namely (strong) intuitive fairness and non-participation. We prove that there are certain inconsistencies, among the properties of strategy proofness, efficiency, (strong) intuitive fairness, non-participation, and continuity. These inconsistencies result in certain limitations while having algorithmic implementations and certain analytical investigations of these resource allocation strategies. Hence, it can be observed that non-manipulation and Pareto optimality of the resource allocation strategies are stringent requirements and along with certain other desirable properties is not always implementable. It has been shown that the only permissible SCF representing a resource allocation strategy in interference coupled wireless systems, which can be implemented in either Nash equilibrium or dominant strategy is the trivial constant function.
Note that we require that is strictly monotonic with respect to the last component . An example is , where is a vector of interference coupling coefficients. The axiomatic framework A1–A4 is connected with the framework of standard interference functions.
For any constant noise power the function is standard. Conversely, any standard interference. function can be expressed within the framework A1–A4. The details about the relationship between the model A1–A4 and Yates’ standard interference functions were discussed in  and further investigated in . For the purpose of this article, it is sufficient to be aware that there exists a connection between these two models and the results of this article are applicable to standard interference functions.
The authors declare that they have no competing interests.
RD Yates, A framework for uplink power control in cellular radio systems. IEEE J. Sel. Areas Commun 13(7), 1341–1348 (1995). Publisher Full Text
M Schubert, H Boche, QoS-based resource allocation and transceiver optimization. Found. Trends Commun. Inf. Theory 2 (2006). Publisher Full Text
R Johari, JN Tsitsiklis, Efficiency of scalar-parameterized mechanisms. Oper. Res 57(4), 823–839 (2009). Publisher Full Text
DNC Tse, SV Hanly, Linear multiuser receivers: effective interference, effective bandwidth and user capacity. IEEE Trans. Inf. Theory 45(2), 641–657 (1999). Publisher Full Text
E Maskin, Nash equilibrium and welfare optimality. Rev. Econ. Stud 66, 23–38 (1999). Publisher Full Text
S Babera, B Peleg, Strategy-proof voting schemes with continuous preferences. Social Choice Welfare 7, 31–38 (1990). Publisher Full Text
W Thomson, The fair division of a fixed supply among a growing population. Math. Oper. Res 8, 319–326 (1983). Publisher Full Text
A Gibbard, Manipulation of voting schemes: a general result. Econometrica 41, 587–601 (1973). Publisher Full Text
MA Satterthwaite, Strategy-proofness and arrow’s conditions: existence and correspondence theorems for voting procedures and social welfare functions. J. Econ. Theory 10(2), 187–217 (1975). Publisher Full Text
M Kato, S Ohseto, Non-dummy agents in pure exchange economies. Jpn. Econ. Rev 55(2), 212–220 (2004). Publisher Full Text
P Dasgupta, P Hammmond, E Maskin, The implementation of social choice rules: some general results of incentive Compatibility. Rev. Econ. Stud 46, 185–216 (1979). Publisher Full Text
M Kato, S Ohseto, Towards general impossibility theorems in pure exchange economies. Social Choice Welfare 19, 659–664 (2002). Publisher Full Text
MA Satterthwaite, H Sonnenschein, Strategy-proof allocation mechanisms at differntiable points. Rev. Econ. Stud 48, 587–597 (1981). Publisher Full Text
NR Suri, Y Narahari, D Manjunath, An efficient pricing based protocol for broadcasting in wireless ad hoc networks, First International Conference on Communication System Software and Middleware, 2006. Comsware 2006, (2006, pp), . 1–7
Z Guanxiang, L Yan, Y Zongkai, C Wenqing, Auction-based admission control and pricing for priority services, 29th Annual IEEE International Conference on Local Computer Networks, 2004, (2004, pp), . 398–399
D Garg, Y Narahari, S Gujar, Foundations of mechanism design: a tutorial. Part 2—advanced concepts and results. Sadhana 33(2), 131–174 (2008). Publisher Full Text
A Kakhbod, D Teneketzis, An individually rational, budget-balanced mechanism that implements in Nash equilibria the solution of the unicast service provisioning problem, Proceedings of the 47th annual Allerton conference on Communication, control, and computing, 2009