Mechanism design and implementation theoretic perspective for interference coupled wireless systems

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.

[1]  Sujit Gujar,et al.  Foundations of mechanism design: A tutorial Part 1-Key concepts and classical results , 2008 .

[2]  Michael L. Honig,et al.  Auction-Based Spectrum Sharing , 2006, Mob. Networks Appl..

[3]  S. Reiter,et al.  Game forms with minimal message spaces , 1988 .

[4]  Peter E. Caines,et al.  Equilibria and convergence of auctions on networks , 2009, 2009 International Conference on Game Theory for Networks.

[5]  N. Rama Suri.  Design of Incentive Compatible Protocols for Wireless Networks: A Game Theoretic Approach , 2006, Proceedings IEEE INFOCOM 2006. 25TH IEEE International Conference on Computer Communications.

[6]  E. Maskin.  Nash Equilibrium and Welfare Optimality , 1999 .

[7]  A. Lazar.  The Progressive Second Price Auction Mechanism for Network Resource Sharing , 2007 .

[8]  Xiang-Yang Li,et al.  Truthful low-cost unicast in selfish wireless networks , 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..

[9]  Michael J. Grimble.  IEEE conference on decision and control , 1987 .

[10]  Éva Tardos,et al.  Group strategy proof mechanisms via primal-dual algorithms , 2003, 44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings..

[11]  Yoram Ofek,et al.  A new label-based source routing for multi-ring networks , 1995, TNET.

[12]  Holger Boche,et al.  Complete characterization of the Pareto boundary of interference-coupled wireless systems with power constraints — The log-convex case , 2009, 2009 IEEE International Conference on Acoustics, Speech and Signal Processing.

[13]  E. Maskin,et al.  The Implementation of Social Choice Rules: Some General Results on Incentive Compatibility , 1979 .

[14]  William Thomson,et al.  The Fair Division of a Fixed Supply Among a Growing Population , 1983, Math. Oper. Res..

[15]  Tansu Alpcan,et al.  Noncooperative Games for Control of Networked Systems , 2006 .

[16]  Junde Song,et al.  Strategy proof trust management in wireless ad hoc network , 2004, Canadian Conference on Electrical and Computer Engineering 2004 (IEEE Cat. No.04CH37513).

[17]  Michael L. Honig,et al.  Distributed interference compensation for wireless networks , 2006, IEEE Journal on Selected Areas in Communications.

[18]  Laurent Massoulié,et al.  Bandwidth sharing: objectives and algorithms , 2002, TNET.

[19]  Lin Zhou.  Inefficiency of strategy-proof allocation mechanisms in pure exchange economies , 1991 .

[20]  Holger Boche,et al.  A Unified Framework for Interference Modeling for Multi-User Wireless Networks , 2009, 2009 IEEE International Conference on Communications.

[21]  E. Seneta.  Non-negative Matrices and Markov Chains , 2008 .

[22]  Ali Kakhbod,et al.  An individually rational, budget-balanced mechanism that implements in Nash equilibria the solution of the unicast service provisioning problem , 2009, 2009 47th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

[23]  K. J. Ray Liu,et al.  Repeated open spectrum sharing game with cheat-proof strategies , 2009, IEEE Transactions on Wireless Communications.

[24]  Zongkai Yang,et al.  Auction-based admission control and pricing for priority services , 2004, 29th Annual IEEE International Conference on Local Computer Networks.

[25]  Holger Boche,et al.  Mechanism design and implementation theoretic perspective of interference coupled wireless systems , 2009 .

[26]  Slawomir Stanczak,et al.  Towards better understanding of medium access control for multiuser beamforming systems , 2005, IEEE Wireless Communications and Networking Conference, 2005.

[27]  Y. Narahari,et al.  An Efficient Pricing Based Protocol for Broadcasting in Wireless Ad hoc Networks , 2006, 2006 1st International Conference on Communication Systems Software & Middleware.

[28]  Demosthenis Teneketzis,et al.  An externalities-based decentralized optimal power allocation algorithm for wireless networks , 2009, TNET.

[29]  R.T. Maheswaran,et al.  Social welfare of selfish agents: motivating efficiency for divisible resources , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[30]  S. Morris.  COWLES FOUNDATION FOR RESEARCH IN ECONOMICS , 2001 .

[31]  Miki Kato,et al.  Non‐Dummy Agents in Pure Exchange Economies , 2004 .

[32]  Holger Boche,et al.  A unifying theory for uplink and downlink multiuser beamforming , 2002, 2002 International Zurich Seminar on Broadband Communications Access - Transmission - Networking (Cat. No.02TH8599).

[33]  Holger Boche,et al.  QoS-Based Resource Allocation and Transceiver Optimization , 2005, Found. Trends Commun. Inf. Theory.

[34]  Moshe Tennenholtz,et al.  Approximate mechanism design without money , 2009, EC '09.

[35]  Roy D. Yates,et al.  A Framework for Uplink Power Control in Cellular Radio Systems , 1995, IEEE J. Sel. Areas Commun..

[36]  J. Walrand,et al.  Mechanisms for Efficient Allocation in Divisible Capacity Networks , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[37]  M. Satterthwaite.  Strategy-proofness and Arrow's conditions: Existence and correspondence theorems for voting procedures and social welfare functions , 1975 .

[38]  Jean C. Walrand,et al.  Fair end-to-end window-based congestion control , 2000, TNET.

[39]  Holger Boche,et al.  Pareto Boundary of Utility Sets for Multiuser Wireless Systems , 2011, IEEE/ACM Transactions on Networking.

[40]  T. Saijo,et al.  Secure implementation , 1998 .

[41]  Timothy N. Cason,et al.  Secure Implementation Experiments: Do Strategy-proof Mechanisms Really Work? † , 2003 .

[42]  Jeffrey C. Ely,et al.  Foundations of Dominant Strategy Mechanisms , 2007 .

[43]  Ekram Hossain,et al.  Radio Resource Management in Wireless Networks , .

[44]  Jennifer Price,et al.  Leveraging Downlink for Efficient Uplink Allocation in a Single-Hop Wireless Network , 2007, IEEE Transactions on Information Theory.

[45]  A. Gibbard.  Manipulation of Voting Schemes: A General Result , 1973 .

[46]  Miki Kato,et al.  Toward general impossibility theorems in pure exchange economies , 2002, Soc. Choice Welf..

[47]  Sujit Gujar,et al.  Foundations of mechanism design: A tutorial Part 2-Advanced concepts and results , 2008 .

[48]  Stanley Reiter,et al.  Game Forms with Minimal Strategy Spaces , 1985 .

[49]  John N. Tsitsiklis,et al.  Efficiency of Scalar-Parameterized Mechanisms , 2008, Oper. Res..

[50]  David Tse,et al.  Linear Multiuser Receivers: Effective Interference, Effective Bandwidth and User Capacity , 1999, IEEE Trans. Inf. Theory.

[51]  Charles R. Johnson,et al.  Matrix analysis , 1985, Statistical Inference for Engineers and Data Scientists.

[52]  M. Satterthwaite,et al.  Strategy-Proof Allocation Mechanisms at Differentiable Points , 1981 .

[53]  Hans Peters,et al.  Axiomatic bargaining game theory , 1992, Theory and decision library C.

[54]  Bruce E. Hajek,et al.  VCG-Kelly Mechanisms for Allocation of Divisible Goods: Adapting VCG Mechanisms to One-Dimensional Signals , 2006, 2006 40th Annual Conference on Information Sciences and Systems.

[55]  Holger Boche,et al.  A Nash Equilibrium Analysis for Interference Coupled Wireless Systems , 2010, 2010 IEEE International Conference on Communications.

[56]  B. Peleg,et al.  Strategy-proof voting schemes with continuous preferences , 1990 .