2025-11-12T09:16:09.818442

Beyond the Use-and-then-Forget (UatF) Bound: Fixed Point Algorithms for Statistical Max-Min Power Control

Cavalcante, Ain, Miretti et al.
We introduce mathematical tools and fixed point algorithms for optimal statistical max-min power control in cellular and cell-less massive MIMO systems. Unlike previous studies that rely on the use-and-then-forget (UatF) lower bound on Shannon achievable (ergodic) rates, our proposed framework can deal with alternative bounds that explicitly consider perfect or imperfect channel state information (CSI) at the decoder. In doing so, we address limitations of UatF-based algorithms, which inherit the shortcomings of the UatF bound. For example, the UatF bound can be overly conservative: in extreme cases, under fully statistical (nonadaptive) beamforming in zero-mean channels, the UatF bound produces trivial (zero) rate bounds. It also lacks scale invariance: merely scaling the beamformers can change the bound drastically, especially when simple beamforming strategies are employed. In contrast, our framework is compatible with information-theoretic bounds that do not suffer from the above drawbacks. We illustrate the framework by solving a max-min power control problem considering a standard bound that exploits instantaneous CSI at the decoder.
academic

تجاوز حد الاستخدام ثم النسيان (UatF): خوارزميات النقطة الثابتة للتحكم الإحصائي بالطاقة الأمثل

المعلومات الأساسية

  • معرّف الورقة: 2510.11582
  • العنوان: تجاوز حد الاستخدام ثم النسيان (UatF): خوارزميات النقطة الثابتة للتحكم الإحصائي بالطاقة الأمثل
  • المؤلفون: Renato L. G. Cavalcante, Noor Ul Ain, Lorenzo Miretti, Slawomir Stańczak
  • التصنيفات: eess.SP (معالجة الإشارات)، cs.IT (نظرية المعلومات الحاسوبية)، math.IT (نظرية المعلومات الرياضية)
  • تاريخ النشر: 13 أكتوبر 2025
  • رابط الورقة: https://arxiv.org/abs/2510.11582

الملخص

تقدم هذه الورقة أدوات رياضية وخوارزميات نقطة ثابتة للتحكم الأمثل بالطاقة بأسلوب إحصائي أقصى-أدنى في أنظمة MIMO الضخمة الخلوية وغير الخلوية. بخلاف الأبحاث السابقة التي تعتمد على حدود الاستخدام ثم النسيان (UatF) المستندة إلى معدلات Shannon القابلة للتحقق (الإرجودية)، يمكن للإطار المقترح التعامل مع حدود بديلة تأخذ في الاعتبار بشكل صريح معلومات حالة القناة (CSI) الكاملة أو غير الكاملة في جهاز فك التشفير. من خلال هذا النهج، يتم حل القيود الناشئة عن الخوارزميات القائمة على UatF التي ترث عيوب حد UatF. على سبيل المثال، قد يكون حد UatF محافظاً جداً: في الحالات القصوى، تحت تشكيل شعاع إحصائي كامل (غير متكيف) على قنوات ذات متوسط صفري، ينتج حد UatF حد معدل تافه (صفر). كما أنه يفتقر إلى عدم التغير بالقياس: يمكن لمجرد تغيير حجم مشكل الشعاع أن يغير الحد بشكل كبير، خاصة عند استخدام استراتيجيات تشكيل شعاع بسيطة.

الخلفية البحثية والدافع

تعريف المشكلة

اعتمد تطوير خوارزميات التحكم بالطاقة وتشكيل الشعاع في أنظمة MIMO الضخمة والشبكات غير الخلوية تاريخياً على حدود الاستخدام ثم النسيان (UatF)، لأنها عادة ما تنتج مشاكل تحسين قابلة للمعالجة والتوسع. ومع ذلك، فإن حدود UatF لها قيود مهمة:

  1. الحفاظية المفرطة: في بعض السيناريوهات ذات الصلة العملية، خاصة تحت تشكيل الشعاع الإحصائي الكامل على قنوات ذات متوسط صفري، قد ينتج حد UatF حدود معدل تافهة (صفر)
  2. نقص عدم التغير بالقياس: قد يؤدي مجرد تغيير حجم مشكل الشعاع إلى تغيير الحد بشكل كبير، خاصة عند استخدام استراتيجيات تشكيل شعاع بسيطة
  3. القيود النظرية: يستبدل حد UatF القناة الفعلية اللحظية بمتوسطها ويعامل الانحرافات كضوضاء غير مترابطة

الدافع البحثي

تنقسم خوارزميات التحكم بالطاقة الموجودة إلى فئتين رئيسيتين:

  • المخططات عينة تلو الأخرى: حل مشكلة التحسين لكل عينة قناة، لكن قابلية التوسع ضعيفة في أنظمة MIMO الموزعة
  • المخططات على المستوى الإحصائي: حل مشكلة تحسين واحدة لكل توزيع قناة، لكن تعتمد على حدود UatF وترث قيودها

تهدف هذه الورقة إلى تطوير تقنيات يمكنها استخدام حدود بديلة، خاصة تلك الحدود النظرية للمعلومات التي لا تتأثر بعيوب حد UatF.

المساهمات الأساسية

  1. اقتراح إطار عمل دالة MSP: إدخال مفهوم الدوال أحادية التوجه والقابلة للتوسع والموجبة (Monotonic, Scalable, and Positive, MSP)، كمتغير من الدوال التداخلية القياسية
  2. إنشاء الأساس النظري: إثبات تقارب خوارزميات النقطة الثابتة لخرائط MSP، مما يوسع نظرية الدوال التداخلية القياسية الموجودة
  3. تطوير إطار تحسين عام: اقتراح إطار عمل للتحكم بالطاقة يمكنه التعامل مع حدود نظرية معلومات متعددة، وليس مقتصراً على حدود UatF
  4. توفير ضمانات التقارب: توفير خوارزمية متقاربة قابلة للإثبات للحل الأمثل العام لمشكلة التحكم بالطاقة الأقصى-الأدنى
  5. التحقق التجريبي: التحقق من خلال المحاكاة من الأداء المحسّن للطريقة المقترحة مقارنة بالمخططات القائمة على UatF

شرح الطريقة

تعريف المهمة

ضع في الاعتبار رابط صعود شبكة MIMO متعددة المستخدمين مع L نقطة وصول، كل منها مزودة بـ M هوائي، والنظام يحتوي على N مستخدم بهوائي واحد. الهدف هو حل مشكلة التحسين الموزونة الأقصى-الأدنى:

maxpR++NminuUαu1ru(p)s.t.ppmax\max_{p \in \mathbb{R}^N_{++}} \min_{u \in U} \alpha_u^{-1} r_u(p) \quad \text{s.t.} \quad \|p\| \leq p_{\max}

حيث ru(p)r_u(p) هو معدل القابلية للتحقق للمستخدم u، و pp هو متجه توزيع الطاقة.

إطار عمل دالة MSP

التعريف

دالة MSP f:R++NR++f: \mathbb{R}^N_{++} \to \mathbb{R}_{++} تحقق ثلاث خصائص:

  1. أحادية التوجه: xyf(x)f(y)x \leq y \Rightarrow f(x) \leq f(y)
  2. القابلية للتوسع: α>1,f(αx)<αf(x)\forall \alpha > 1, f(\alpha x) < \alpha f(x)
  3. الإيجابية: infxR++Nf(x)>0\inf_{x \in \mathbb{R}^N_{++}} f(x) > 0

الأساس النظري

القضية 1: بالنسبة لخريطة MSP T:R++NR++NT: \mathbb{R}^N_{++} \to \mathbb{R}^N_{++}، يوجد زوج قيمة ذاتية شرطي فريد (γ,x)(γ^*, x^*) يحل: T(x)=γx,x=1T(x) = γx, \quad \|x\| = 1

القضية 2: تحت الشروط المناسبة، الدالة f(x)=h(x)E[g(x,ω)]f(x) = \frac{h(x)}{\mathbb{E}[g(x,ω)]} هي دالة MSP، حيث gg و hh تحقق شروط عشوائية وأحادية توجه محددة.

خوارزمية التحكم بالطاقة

دالة المعدل

معدل القابلية للتحقق للمستخدم u يُعرّف كـ: ru(p)=E[log(1+su(p,ω))]r_u(p) = \mathbb{E}[\log(1 + s_u(p,ω))]

حيث نسبة الإشارة إلى التداخل والضوضاء اللحظية هي: su(p,ω)=puhu(ω)Hvu(ω)2kupkhk(ω)Hvu(ω)2+σ2s_u(p,ω) = \frac{p_u |h_u(ω)^H v_u(ω)|^2}{\sum_{k \neq u} p_k |h_k(ω)^H v_u(ω)|^2 + σ^2}

تكرار النقطة الثابتة

النتيجة 1: بالنظر إلى الطاقة الأولية p1R++Np_1 \in \mathbb{R}^N_{++}، يتم إنشاء التسلسل (pn)nN(p_n)_{n \in \mathbb{N}} من خلال التكرار: pn+1=pmaxT(pn)T(pn)p_{n+1} = \frac{p_{\max}}{\|T(p_n)\|} T(p_n) يتقارب إلى توزيع الطاقة الأمثل pp^*، حيث T(p)=[α1f1(p),...,αNfN(p)]tT(p) = [α_1 f_1(p), ..., α_N f_N(p)]^t.

نقاط الابتكار التقني

  1. تجاوز قيود UatF: استخدام حدود نظرية المعلومات مباشرة بدلاً من تقريب UatF
  2. الحفاظ على الجدوى الحسابية: من خلال تقريب التوقع بأخذ عينات مونت كارلو، تجنب التقريبات الإضافية
  3. ضمان التقارب العام: توفير إثبات التقارب بناءً على نظرية النقطة الثابتة
  4. العمومية: الإطار قابل للتطبيق على استراتيجيات تشكيل شعاع وأنماط قنوات متعددة

إعداد التجربة

تكوين الشبكة

  • منطقة التغطية: 1000×1000 م²
  • عدد نقاط الوصول: L = 16، كل منها مزود بمصفوفة خطية موحدة رباعية العناصر
  • عدد المستخدمين: N = 25 مستخدماً بهوائي واحد
  • تردد الموجة الحاملة: fc = 3.7 GHz
  • عرض النطاق الترددي: B = 20 MHz
  • أقصى قوة إرسال: pmax = 200 mW

نموذج القناة

  • التلاشي على نطاق واسع: نموذج COST-231 Walfish-Ikegami UMi
  • التلاشي على نطاق صغير: نموذج قناة Rayleigh مع الارتباط المكاني
  • التلاشي الظلي: σsf = 8 dB

مؤشرات التقييم

  • الحد الأدنى لمعدل المستخدم: استخدام حد معدل الإرجودية الأمثل (OER)
  • أداء التقارب: العلاقة بين عدد التكرارات وقيمة الدالة الهدف

الطرق المقارنة

  • مخطط أقصى-أدنى UatF: التحكم بالطاقة التقليدي القائم على حد UatF
  • خوارزمية النقطة الثابتة المقترحة: الخوارزمية الجديدة القائمة على حد OER

نتائج التجربة

النتائج الرئيسية

تظهر نتائج المحاكاة:

  1. التحقق من التقارب: تتقارب خوارزمية النقطة الثابتة المقترحة إلى حل مستقر في حوالي 30 تكراراً
  2. تحسن الأداء: مقارنة بمخطط UatF، يرتفع الحد الأدنى لمعدل المستخدم من حوالي 3.2 بت/ثانية/هرتز إلى حوالي 4.2 بت/ثانية/هرتز، بتحسن بنسبة 31%
  3. المتانة: تظهر الخوارزمية متانة جيدة تجاه ضوضاء أخذ عينات مونت كارلو، مع عدم وجود انجراف تقريباً في عملية التقارب

الاكتشافات الرئيسية

  • تحت تشكيل الشعاع MMSE، يؤدي التحسين المباشر لحد OER إلى مكاسب أداء كبيرة مقارنة باستخدام مشكلة وكيل UatF
  • تتقارب الخوارزمية بسرعة، مع جدوى جيدة للتطبيقات العملية
  • التأثير المحدود لتقدير مونت كارلو بعينة محدودة على تقارب الخوارزمية

الأعمال ذات الصلة

الاتجاهات البحثية الرئيسية

  1. التحكم بالطاقة في MIMO الضخمة: تصميم الخوارزميات القائمة على حدود UatF
  2. تحسين الشبكات غير الخلوية: تشكيل الشعاع الموزع وتوزيع الطاقة
  3. نظرية الدوال التداخلية: الدوال التداخلية القياسية وتطبيقاتها في الشبكات اللاسلكية

مقارنة مساهمات هذه الورقة

  • مقارنة بطرق UatF التقليدية: يمكنها التعامل مع حدود نظرية معلومات أكثر إحكاماً، تجنب التقديرات المحافظة المفرطة
  • مقارنة بالمخططات عينة تلو الأخرى: الحفاظ على قابلية التوسع للتحسين على المستوى الإحصائي
  • مقارنة بالنظرية الموجودة: توسيع إطار الدوال التداخلية القياسية إلى فئة دوال MSP الأكثر عمومية

الخلاصة والمناقشة

الاستنتاجات الرئيسية

  1. تم تطوير إطار عمل للتحكم بالطاقة يتجاوز حدود UatF بنجاح
  2. توفير خوارزمية نقطة ثابتة مع ضمانات تقارب عام
  3. التحقق التجريبي من فعالية الطريقة وجدواها العملية

القيود

  1. افتراض استقلالية تشكيل الشعاع: يتطلب الإطار الحالي أن تكون استراتيجية تشكيل الشعاع مستقلة عن متجه قوة الإرسال
  2. متطلبات المعلومات الإحصائية: تحتاج إلى معرفة إحصائية للنظام لأخذ عينات مونت كارلو
  3. تأثير العينة المحدودة: على الرغم من أن الأدلة التجريبية تشير إلى تأثير محدود، إلا أن هناك نقصاً في تحليل التقارب الصارم للعينة المحدودة

الاتجاهات المستقبلية

  1. التوسع إلى الحالة العامة حيث يعتمد تشكيل الشعاع على الطاقة
  2. دراسة التأثير الصارم لضوضاء العينة المحدودة على التقارب
  3. التطبيق على حدود نظرية معلومات أخرى، مثل حدود فك التشفير المتماسك
  4. تطوير خوارزميات التنفيذ الموزع

التقييم المتعمق

المميزات

  1. مساهمة نظرية كبيرة: يوفر إطار عمل دالة MSP أساساً نظرياً جديداً للتحكم بالطاقة
  2. قيمة عملية عالية: الخوارزمية بسيطة وتتمتع بضمانات تقارب، مناسبة للنشر العملي
  3. تحسن أداء واضح: تحسن ملحوظ مقارنة بطريقة UatF التقليدية
  4. كتابة واضحة: الاشتقاق الرياضي صارم والتعبير واضح

أوجه القصور

  1. نطاق التطبيق محدود: يقيد افتراض استقلالية تشكيل الشعاع عمومية الطريقة
  2. نطاق التجربة محدود: تم التحقق فقط تحت تكوينات شبكة محددة
  3. نقص تحليل التعقيد: لم يتم توفير تحليل تفصيلي للتعقيد الحسابي

التأثير

  1. القيمة الأكاديمية: توفير أدوات نظرية جديدة للتحكم بالطاقة في MIMO الضخمة
  2. الأهمية العملية: من المتوقع تطبيقها على أنظمة الجيل السادس والأنظمة اللاسلكية من الأجيال القادمة
  3. إمكانية التكرار: وصف الخوارزمية واضح، مما يسهل التكرار والتوسع

السيناريوهات القابلة للتطبيق

  • تحسين الطاقة في أنظمة MIMO الضخمة
  • توزيع الموارد في الشبكات غير الخلوية
  • مشاكل تحسين الشبكات اللاسلكية التي تتطلب ضمانات تقارب صارمة
  • السيناريوهات حيث تكون معلومات حالة القناة الإحصائية متاحة

المراجع

تستشهد الورقة بـ 23 مرجعاً ذا صلة، تشمل بشكل أساسي:

  • الكتب المدرسية والمسوحات الكلاسيكية لأنظمة MIMO الضخمة والشبكات غير الخلوية
  • الأساس النظري للتحكم بالطاقة والدوال التداخلية
  • الأعمال ذات الصلة بتصميم تشكيل الشعاع
  • نتائج البحث في حدود نظرية المعلومات

التقييم الإجمالي: هذه ورقة عالية الجودة تجمع بين النظرية والتطبيق، وتوفر مساهمات نظرية مهمة وخوارزميات عملية في مجال التحكم بالطاقة. على الرغم من وجود بعض القيود، فإن ابتكارها وقيمتها العملية تجعلها تقدماً مهماً في هذا المجال.