{"id":55,"date":"2025-04-26T17:41:04","date_gmt":"2025-04-26T17:41:04","guid":{"rendered":"https:\/\/blog.metu.edu.tr\/mtemiz\/?p=55"},"modified":"2025-04-26T18:10:43","modified_gmt":"2025-04-26T18:10:43","slug":"convex-and-nonconvex-optimization-for-wireless-systems","status":"publish","type":"post","link":"https:\/\/blog.metu.edu.tr\/mtemiz\/convex-and-nonconvex-optimization-for-wireless-systems\/","title":{"rendered":"Convex and Nonconvex Optimization for Wireless Communication and Sensing Systems"},"content":{"rendered":"\n<p class=\"p1\">Optimization plays a fundamental role in the design and performance enhancement of wireless communication systems. Many classical problems, such as power control, beamforming, and resource allocation, can be formulated as convex optimization problems, leading to efficient and globally optimal solutions within polynomial time&nbsp;using well-established methods like interior-point algorithms.<\/p>\n\n\n\n<p class=\"p1\">However, real-world wireless systems often involve nonconvex challenges due to interference management, hardware limitations, and the nonlinearity of practical objective functions such as sum-rate maximization or energy efficiency. In these nonconvex scenarios, specialized algorithms such as Sequential Quadratic Programming (SQP), Successive Convex Approximation (SCA), and Lagrangian methods are employed to find high-quality local optima.<\/p>\n\n\n\n<p class=\"p1\">Although convex methods are preferred for their optimum solutions and fast convergence, nonconvex approaches are essential for handling the complex, highly coupled nature of wireless networks. As wireless technologies evolve towards massive MIMO, mmWave, and integrated sensing and communication (ISAC), knowing both convex and nonconvex optimization techniques becomes crucial for achieving high performance and reliability in these systems.<\/p>\n\n\n\n<h3>Convex vs Nonconvex Optimization<\/h3>\n\n<table style=\"border-collapse: collapse;width: 100%\">\n<thead>\n<tr>\n<th style=\"border: 1px solid #000;padding: 8px\">Aspect<\/th>\n<th style=\"border: 1px solid #000;padding: 8px\">Convex Optimization<\/th>\n<th style=\"border: 1px solid #000;padding: 8px\">Nonconvex Optimization<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td style=\"border: 1px solid #000;padding: 8px\">Problem structure<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">Objective and constraints are convex.<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">Objective or constraints are nonconvex.<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid #000;padding: 8px\">Examples<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">\n&#8211; Power allocation (water-filling)<br \/>\n&#8211; Beamforming with SINR constraints (under certain conditions)\n<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">\n&#8211; Sum rate maximization<br \/>\n&#8211; Energy efficiency optimization\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid #000;padding: 8px\">Solvers<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">Efficient (e.g., CVX, SCS, MOSEK)<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">Heuristic (e.g., SCA, MM, Deep Learning, Global optimization)<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid #000;padding: 8px\">Global optimum?<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">Yes (guaranteed)<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">No (local optima usually found)<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid #000;padding: 8px\">Speed<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">Fast, polynomial-time algorithms<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">Slower, depending on method and initialization<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid #000;padding: 8px\">Difficulty<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">Easier to model, solve, and analyze.<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">Harder: often require approximations, relaxations, iterations<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid #000;padding: 8px\">Common Techniques<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">\n&#8211; Lagrangian duality<br \/>\n&#8211; KKT conditions<br \/>\n&#8211; Interior point methods\n<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">\n&#8211; Successive Convex Approximation (SCA)<br \/>\n&#8211; Semidefinite Relaxation (SDR)<br \/>\n&#8211; Stochastic optimization<br \/>\n&#8211; Reinforcement learning\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid #000;padding: 8px\">Use in Wireless Systems<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">\n&#8211; Beamforming<br \/>\n&#8211; Power control<br \/>\n&#8211; Resource allocation\n<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">\n&#8211; MIMO sum rate<br \/>\n&#8211; Energy-harvesting systems<br \/>\n&#8211; Intelligent Reflecting Surfaces (IRS) design\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n<h3>Some Nonconvex Optimization Methods<\/h3>\n<table style=\"border-collapse: collapse;width: 100%\">\n<thead>\n<tr>\n<th style=\"border: 1px solid #000;padding: 8px\">Method<\/th>\n<th style=\"border: 1px solid #000;padding: 8px\">Idea<\/th>\n<th style=\"border: 1px solid #000;padding: 8px\">Pros<\/th>\n<th style=\"border: 1px solid #000;padding: 8px\">Cons<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td style=\"border: 1px solid #000;padding: 8px\">SCA (Successive Convex Approx.)<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">Linearize around the current point, solve convexly<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">Simple, flexible<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">May converge slowly<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid #000;padding: 8px\">SDR (Semidefinite Relaxation)<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">Relax rank constraints in SDP form<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">Global optima for relaxed problem<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">May not recover rank-1 solution<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid #000;padding: 8px\">ADMM (Alternating Direction Method of Multipliers)<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">Split variables and solve alternately<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">Good for decentralized systems<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">Slow convergence sometimes<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid #000;padding: 8px\">Deep Learning<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">Data-driven mapping from inputs to outputs<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">Super fast inference<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">No guarantee on optimality<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid #000;padding: 8px\">SQP (Sequential Quadratic Programming)<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">Solve a sequence of quadratic approximations of the problem<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">Fast local convergence. Handles nonconvexity moderately well<\/td>\n<td style=\"border: 1px solid #000;padding: 8px\">Needs good initialization. May get stuck in poor local minima<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n<h3>Comparison of Interior Point Method (IPM) and Sequential Quadratic Programming (SQP)<\/h3>\n<table style=\"border: 1px solid black;border-collapse: collapse;width: 100%\">\n<thead>\n<tr>\n<th style=\"border: 1px solid black;padding: 8px\">Feature<\/th>\n<th style=\"border: 1px solid black;padding: 8px\">Interior Point Method (IPM)<\/th>\n<th style=\"border: 1px solid black;padding: 8px\">Sequential Quadratic Programming (SQP)<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td style=\"border: 1px solid black;padding: 8px\">Idea<\/td>\n<td style=\"border: 1px solid black;padding: 8px\">Solve constrained problems by moving through the interior of the feasible region using a barrier function.<\/td>\n<td style=\"border: 1px solid black;padding: 8px\">Solve by approximating the problem locally as a quadratic program (QP).<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;padding: 8px\">How it works<\/td>\n<td style=\"border: 1px solid black;padding: 8px\">Adds a penalty (log-barrier) for constraint violation; optimizes a &#8220;smoothed&#8221; version of the problem.<\/td>\n<td style=\"border: 1px solid black;padding: 8px\">At each step, solve a quadratic approximation of the Lagrangian with linearized constraints.<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;padding: 8px\">Handling Constraints<\/td>\n<td style=\"border: 1px solid black;padding: 8px\">Implicit: constraints are incorporated into the objective using barrier functions.<\/td>\n<td style=\"border: 1px solid black;padding: 8px\">Explicit: constraints are enforced at every step in the QP subproblem.<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;padding: 8px\">Steps per Iteration<\/td>\n<td style=\"border: 1px solid black;padding: 8px\">1. Solve a modified Newton step for the barrier problem.<br \/>2. Decrease barrier weight.<\/td>\n<td style=\"border: 1px solid black;padding: 8px\">1. Build QP.<br \/>2. Solve QP.<br \/>3. Line search for improvement.<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;padding: 8px\">Complexity per Iteration<\/td>\n<td style=\"border: 1px solid black;padding: 8px\">High \u2014 solving a large, dense linear system.<\/td>\n<td style=\"border: 1px solid black;padding: 8px\">Moderate \u2014 solving a QP (still needs a solver but often cheaper).<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;padding: 8px\">Global Convergence<\/td>\n<td style=\"border: 1px solid black;padding: 8px\">Good, especially for convex problems.<\/td>\n<td style=\"border: 1px solid black;padding: 8px\">Requires good initialization. Might fail on badly nonconvex problems.<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;padding: 8px\">Speed of Convergence<\/td>\n<td style=\"border: 1px solid black;padding: 8px\">Superlinear near solution (for convex).<\/td>\n<td style=\"border: 1px solid black;padding: 8px\">Superlinear (very fast near the solution).<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;padding: 8px\">Suitability<\/td>\n<td style=\"border: 1px solid black;padding: 8px\">Works very well for large-scale convex optimization.<\/td>\n<td style=\"border: 1px solid black;padding: 8px\">Better for small to medium-scale, highly accurate solutions.<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;padding: 8px\">Pros<\/td>\n<td style=\"border: 1px solid black;padding: 8px\">&#8211; Good at exploring feasible regions.<br \/>&#8211; No need for feasible starting point.<br \/>&#8211; Great for convex problems.<\/td>\n<td style=\"border: 1px solid black;padding: 8px\">&#8211; Very fast local convergence.<br \/>&#8211; Good for nonconvex problems if properly initialized.<br \/>&#8211; Explicit constraint handling.<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;padding: 8px\">Cons<\/td>\n<td style=\"border: 1px solid black;padding: 8px\">&#8211; Can be slow if the barrier weight is not managed well.<br \/>&#8211; Struggles with highly nonconvex problems.<\/td>\n<td style=\"border: 1px solid black;padding: 8px\">&#8211; Sensitive to initialization.<br \/>&#8211; May converge to local minima.<br \/>&#8211; Each QP solve can be costly for very large problems.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n<p>Note: The tables are generated with the help of generative AI (ChatGPT).<\/p>\n\n\n\n<p>I have listed below some related research articles that can be read to get insight into the optimization of wireless communication systems. This list will be updated as I come across new articles.<\/p>\n\n\n\n<ol class=\"wp-block-list\">\n<li>Shen, Kaiming, and Wei Yu. &#8220;Fractional programming for communication systems\u2014Part I: Power control and beamforming.&#8221; <i>IEEE Transactions on Signal Processing<\/i> 66.10 (2018): 2616-2630.<\/li>\n\n\n\n<li>Shen, Kaiming, and Wei Yu. &#8220;Fractional programming for communication systems\u2014Part II: Uplink scheduling via matching.&#8221; <i>IEEE Transactions on Signal Processing<\/i> 66.10 (2018): 2631-2644.<\/li>\n\n\n\n<li>Scutari, Gesualdo, Francisco Facchinei, and Lorenzo Lampariello. &#8220;Parallel and distributed methods for constrained nonconvex optimization\u2014Part I: Theory.&#8221; <i>IEEE Transactions on Signal Processing<\/i> 65.8 (2016): 1929-1944.<\/li>\n\n\n\n<li>Scutari, Gesualdo, et al. &#8220;Parallel and distributed methods for constrained nonconvex optimization-part ii: Applications in communications and machine learning.&#8221; <i>IEEE Transactions on Signal Processing<\/i> 65.8 (2016): 1945-1960.<\/li>\n\n\n\n<li>Khan, Ahmad Ali, and Raviraj S. Adve. &#8220;Percentile Optimization in Wireless Networks\u2014Part I: Power Control for Max-Min-Rate to Sum-Rate Maximization (and Everything in Between).&#8221;&nbsp;<em>IEEE Transactions on Signal Processing<\/em>&nbsp;(2024).<\/li>\n\n\n\n<li>Khan, Ahmad Ali, and Raviraj S. Adve. &#8220;Percentile Optimization in Wireless Networks\u2014Part II: Beamforming for Cell-Edge Throughput Maximization.&#8221;&nbsp;<em>IEEE Transactions on Signal Processing<\/em>&nbsp;(2024).<\/li>\n\n\n\n<li>Bj\u00f6rnson, Emil, Mats Bengtsson, and Bj\u00f6rn Ottersten. &#8220;Optimal multiuser transmit beamforming: A difficult problem with a simple solution structure [lecture notes].&#8221; <i>IEEE Signal Processing Magazine<\/i> 31.4 (2014): 142-148.<\/li>\n\n\n\n<li>Elbir, Ahmet M., et al. &#8220;Twenty-five years of advances in beamforming: From convex and nonconvex optimization to learning techniques.&#8221; <i>IEEE Signal Processing Magazine<\/i> 40.4 (2023): 118-131.<\/li>\n\n\n\n<li>Razaviyayn, Meisam, et al. &#8220;Nonconvex min-max optimization: Applications, challenges, and recent theoretical advances.&#8221; <i>IEEE Signal Processing Magazine<\/i> 37.5 (2020): 55-66.<\/li>\n\n\n\n<li>Liu, Ya-Feng, et al. &#8220;A survey of recent advances in optimization methods for wireless communications.&#8221; <i>IEEE Journal on Selected Areas in Communications<\/i> (2024).<\/li>\n\n\n\n<li>Lang, Hans-Dieter, Alon Ludwig, and Costas D. Sarris. &#8220;Convex optimization of wireless power transfer systems with multiple transmitters.&#8221; <i>IEEE Transactions on Antennas and Propagation<\/i> 62.9 (2014): 4623-4636.<\/li>\n\n\n\n<li>Luo, Zhi-Quan, and Wei Yu. &#8220;An introduction to convex optimization for communications and signal processing.&#8221; <i>IEEE Journal on selected areas in communications<\/i> 24.8 (2006): 1426-1438.<\/li>\n\n\n\n<li>Xu, Qinyi, et al. &#8220;Waveforming: An overview with beamforming.&#8221; <i>IEEE Communications Surveys &amp; Tutorials 20.1<\/i>&nbsp;(2017): 132-149.<\/li>\n\n\n\n<li>Temiz, Murat, Emad Alsusa, and Mohammed W. Baidas. &#8220;Optimized precoders for massive MIMO OFDM dual radar-communication systems.&#8221;&nbsp;<em>IEEE Transactions on Communications<\/em>&nbsp;69.7 (2021): 4781-4794.<\/li>\n\n\n\n<li>Gershman, Alex B., et al. &#8220;Convex optimization-based beamforming.&#8221; <i>IEEE Signal Processing Magazine<\/i> 27.3 (2010): 62-75.<\/li>\n\n\n\n<li>Chiang, Mung. &#8220;Nonconvex optimization for communication networks.&#8221; <i>Advances in Applied Mathematics and Global Optimization: In Honor of Gilbert Strang<\/i> (2009): 137-196.<\/li>\n\n\n\n<li>Danilova, Marina, et al. &#8220;Recent theoretical advances in non-convex optimization.&#8221; <i>High-Dimensional Optimization and Probability: With a View Towards Data Science<\/i>. Cham: Springer International Publishing, 2022. 79-163.<\/li>\n\n\n\n<li>Nemirovski, Arkadi S., and Michael J. Todd. &#8220;Interior-point methods for optimization.&#8221; <i>Acta Numerica<\/i> 17 (2008): 191-234.<\/li>\n\n\n\n<li>Gill, Philip E., Walter Murray, and Michael A. Saunders. &#8220;SNOPT: An SQP algorithm for large-scale constrained optimization.&#8221; <i>SIAM review<\/i> 47.1 (2005): 99-131.<\/li>\n<\/ol>\n\n\n\n<p>A student-contributed electronic textbook covering a variety of topics on process optimization: <a href=\"https:\/\/optimization.cbe.cornell.edu\/index.php?title=Main_Page\" target=\"_blank\" rel=\"noreferrer noopener nofollow\">https:\/\/optimization.cbe.cornell.edu\/index.php?title=Main_Page<\/a><\/p>\n\n\n\n<p>Let me know below in the comment section below if you want me to add any articles to this list or if you have any suggestions regarding this post. <br \/><\/p>\n\n\n\n<p>&nbsp;<\/p>\n\n\n\n<p>&nbsp;<\/p>\n\n\n\n<p>&nbsp;<\/p>\n\n\n\n<p>&nbsp;<\/p>\n\n\n\n<p>&nbsp;<\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Optimization plays a fundamental role in the design and performance enhancement of wireless communication systems. Many classical problems, such as power control, beamforming, and resource allocation, can be formulated as convex optimization problems, leading to efficient and globally optimal solutions within polynomial time&nbsp;using well-established methods like interior-point algorithms. However, real-world wireless systems often involve nonconvex <a href='https:\/\/blog.metu.edu.tr\/mtemiz\/convex-and-nonconvex-optimization-for-wireless-systems\/' class='excerpt-more'>[&#8230;]<\/a><\/p>\n","protected":false},"author":8845,"featured_media":56,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":"","_links_to":"","_links_to_target":""},"categories":[20,2],"tags":[24,22,7,18,23,21,25],"class_list":["post-55","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-mathematics","category-research","tag-beamforming","tag-convex-optimization","tag-deep-learning-for-wireless-communicaiton","tag-integrated-sensing-and-communications","tag-nonconvex-optimization","tag-optimization","tag-precoding-optimization","category-20-id","category-2-id","post-seq-1","post-parity-odd","meta-position-corners","fix"],"_links":{"self":[{"href":"https:\/\/blog.metu.edu.tr\/mtemiz\/wp-json\/wp\/v2\/posts\/55","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.metu.edu.tr\/mtemiz\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.metu.edu.tr\/mtemiz\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.metu.edu.tr\/mtemiz\/wp-json\/wp\/v2\/users\/8845"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.metu.edu.tr\/mtemiz\/wp-json\/wp\/v2\/comments?post=55"}],"version-history":[{"count":0,"href":"https:\/\/blog.metu.edu.tr\/mtemiz\/wp-json\/wp\/v2\/posts\/55\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blog.metu.edu.tr\/mtemiz\/wp-json\/wp\/v2\/media\/56"}],"wp:attachment":[{"href":"https:\/\/blog.metu.edu.tr\/mtemiz\/wp-json\/wp\/v2\/media?parent=55"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.metu.edu.tr\/mtemiz\/wp-json\/wp\/v2\/categories?post=55"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.metu.edu.tr\/mtemiz\/wp-json\/wp\/v2\/tags?post=55"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}