Dynamic Spectrum Management: Complexity and Duality

• Published in: IEEE journal of selected topics in signal processing Vol. 2; no. 1; pp. 57 - 73
• Main Authors: Zhi-Quan Luo, Zhi-Quan Luo, Shuzhong Zhang, Shuzhong Zhang
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.02.2008; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Algorithms; Asymptotic properties; Channels; Communication systems; Complexity; Crosstalk; Density; DSL; duality; Dynamics; Formulations; Frequency division multiaccess; Interference; Radio spectrum management; Signal processing algorithms; Spectra; spectrum management; Studies; sum-rate maximization; System performance; Telephony; Time sharing computer systems
• ISSN: 1932-4553; 1941-0484
• DOI: 10.1109/JSTSP.2007.914876

Consider a communication system whereby multiple users share a common frequency band and must choose their transmit power spectral densities dynamically in response to physical channel conditions. Due to co-channel interference, the achievable data rate of each user depends on not only the power spectral density of its own, but also those of others in the system. Given any channel condition and assuming Gaussian signaling, we consider the problem to jointly determine all users' power spectral densities so as to maximize a system-wide utility function (e.g., weighted sum-rate of all users), subject to individual power constraints. For the discretized version of this nonconvex problem, we characterize its computational complexity by establishing the NP-hardness under various practical settings, and identify subclasses of the problem that are solvable in polynomial time. Moreover, we consider the Lagrangian dual relaxation of this nonconvex problem. Using the Lyapunov theorem in functional analysis, we rigorously prove a result first discovered by Yu and Lui (2006) that there is a zero duality gap for the continuous (Lebesgue integral) formulation. Moreover, we show that the duality gap for the discrete formulation vanishes asymptotically as the size of discretization decreases to zero.