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.
- معرّف الورقة: 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 لها قيود مهمة:
- الحفاظية المفرطة: في بعض السيناريوهات ذات الصلة العملية، خاصة تحت تشكيل الشعاع الإحصائي الكامل على قنوات ذات متوسط صفري، قد ينتج حد UatF حدود معدل تافهة (صفر)
- نقص عدم التغير بالقياس: قد يؤدي مجرد تغيير حجم مشكل الشعاع إلى تغيير الحد بشكل كبير، خاصة عند استخدام استراتيجيات تشكيل شعاع بسيطة
- القيود النظرية: يستبدل حد UatF القناة الفعلية اللحظية بمتوسطها ويعامل الانحرافات كضوضاء غير مترابطة
تنقسم خوارزميات التحكم بالطاقة الموجودة إلى فئتين رئيسيتين:
- المخططات عينة تلو الأخرى: حل مشكلة التحسين لكل عينة قناة، لكن قابلية التوسع ضعيفة في أنظمة MIMO الموزعة
- المخططات على المستوى الإحصائي: حل مشكلة تحسين واحدة لكل توزيع قناة، لكن تعتمد على حدود UatF وترث قيودها
تهدف هذه الورقة إلى تطوير تقنيات يمكنها استخدام حدود بديلة، خاصة تلك الحدود النظرية للمعلومات التي لا تتأثر بعيوب حد UatF.
- اقتراح إطار عمل دالة MSP: إدخال مفهوم الدوال أحادية التوجه والقابلة للتوسع والموجبة (Monotonic, Scalable, and Positive, MSP)، كمتغير من الدوال التداخلية القياسية
- إنشاء الأساس النظري: إثبات تقارب خوارزميات النقطة الثابتة لخرائط MSP، مما يوسع نظرية الدوال التداخلية القياسية الموجودة
- تطوير إطار تحسين عام: اقتراح إطار عمل للتحكم بالطاقة يمكنه التعامل مع حدود نظرية معلومات متعددة، وليس مقتصراً على حدود UatF
- توفير ضمانات التقارب: توفير خوارزمية متقاربة قابلة للإثبات للحل الأمثل العام لمشكلة التحكم بالطاقة الأقصى-الأدنى
- التحقق التجريبي: التحقق من خلال المحاكاة من الأداء المحسّن للطريقة المقترحة مقارنة بالمخططات القائمة على UatF
ضع في الاعتبار رابط صعود شبكة MIMO متعددة المستخدمين مع L نقطة وصول، كل منها مزودة بـ M هوائي، والنظام يحتوي على N مستخدم بهوائي واحد. الهدف هو حل مشكلة التحسين الموزونة الأقصى-الأدنى:
maxp∈R++Nminu∈Uαu−1ru(p)s.t.∥p∥≤pmax
حيث ru(p) هو معدل القابلية للتحقق للمستخدم u، و p هو متجه توزيع الطاقة.
دالة MSP f:R++N→R++ تحقق ثلاث خصائص:
- أحادية التوجه: x≤y⇒f(x)≤f(y)
- القابلية للتوسع: ∀α>1,f(αx)<αf(x)
- الإيجابية: infx∈R++Nf(x)>0
القضية 1: بالنسبة لخريطة MSP T:R++N→R++N، يوجد زوج قيمة ذاتية شرطي فريد (γ∗,x∗) يحل:
T(x)=γx,∥x∥=1
القضية 2: تحت الشروط المناسبة، الدالة
f(x)=E[g(x,ω)]h(x)
هي دالة MSP، حيث g و h تحقق شروط عشوائية وأحادية توجه محددة.
معدل القابلية للتحقق للمستخدم u يُعرّف كـ:
ru(p)=E[log(1+su(p,ω))]
حيث نسبة الإشارة إلى التداخل والضوضاء اللحظية هي:
su(p,ω)=∑k=upk∣hk(ω)Hvu(ω)∣2+σ2pu∣hu(ω)Hvu(ω)∣2
النتيجة 1: بالنظر إلى الطاقة الأولية p1∈R++N، يتم إنشاء التسلسل (pn)n∈N من خلال التكرار:
pn+1=∥T(pn)∥pmaxT(pn)
يتقارب إلى توزيع الطاقة الأمثل p∗، حيث T(p)=[α1f1(p),...,αNfN(p)]t.
- تجاوز قيود UatF: استخدام حدود نظرية المعلومات مباشرة بدلاً من تقريب UatF
- الحفاظ على الجدوى الحسابية: من خلال تقريب التوقع بأخذ عينات مونت كارلو، تجنب التقريبات الإضافية
- ضمان التقارب العام: توفير إثبات التقارب بناءً على نظرية النقطة الثابتة
- العمومية: الإطار قابل للتطبيق على استراتيجيات تشكيل شعاع وأنماط قنوات متعددة
- منطقة التغطية: 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
تظهر نتائج المحاكاة:
- التحقق من التقارب: تتقارب خوارزمية النقطة الثابتة المقترحة إلى حل مستقر في حوالي 30 تكراراً
- تحسن الأداء: مقارنة بمخطط UatF، يرتفع الحد الأدنى لمعدل المستخدم من حوالي 3.2 بت/ثانية/هرتز إلى حوالي 4.2 بت/ثانية/هرتز، بتحسن بنسبة 31%
- المتانة: تظهر الخوارزمية متانة جيدة تجاه ضوضاء أخذ عينات مونت كارلو، مع عدم وجود انجراف تقريباً في عملية التقارب
- تحت تشكيل الشعاع MMSE، يؤدي التحسين المباشر لحد OER إلى مكاسب أداء كبيرة مقارنة باستخدام مشكلة وكيل UatF
- تتقارب الخوارزمية بسرعة، مع جدوى جيدة للتطبيقات العملية
- التأثير المحدود لتقدير مونت كارلو بعينة محدودة على تقارب الخوارزمية
- التحكم بالطاقة في MIMO الضخمة: تصميم الخوارزميات القائمة على حدود UatF
- تحسين الشبكات غير الخلوية: تشكيل الشعاع الموزع وتوزيع الطاقة
- نظرية الدوال التداخلية: الدوال التداخلية القياسية وتطبيقاتها في الشبكات اللاسلكية
- مقارنة بطرق UatF التقليدية: يمكنها التعامل مع حدود نظرية معلومات أكثر إحكاماً، تجنب التقديرات المحافظة المفرطة
- مقارنة بالمخططات عينة تلو الأخرى: الحفاظ على قابلية التوسع للتحسين على المستوى الإحصائي
- مقارنة بالنظرية الموجودة: توسيع إطار الدوال التداخلية القياسية إلى فئة دوال MSP الأكثر عمومية
- تم تطوير إطار عمل للتحكم بالطاقة يتجاوز حدود UatF بنجاح
- توفير خوارزمية نقطة ثابتة مع ضمانات تقارب عام
- التحقق التجريبي من فعالية الطريقة وجدواها العملية
- افتراض استقلالية تشكيل الشعاع: يتطلب الإطار الحالي أن تكون استراتيجية تشكيل الشعاع مستقلة عن متجه قوة الإرسال
- متطلبات المعلومات الإحصائية: تحتاج إلى معرفة إحصائية للنظام لأخذ عينات مونت كارلو
- تأثير العينة المحدودة: على الرغم من أن الأدلة التجريبية تشير إلى تأثير محدود، إلا أن هناك نقصاً في تحليل التقارب الصارم للعينة المحدودة
- التوسع إلى الحالة العامة حيث يعتمد تشكيل الشعاع على الطاقة
- دراسة التأثير الصارم لضوضاء العينة المحدودة على التقارب
- التطبيق على حدود نظرية معلومات أخرى، مثل حدود فك التشفير المتماسك
- تطوير خوارزميات التنفيذ الموزع
- مساهمة نظرية كبيرة: يوفر إطار عمل دالة MSP أساساً نظرياً جديداً للتحكم بالطاقة
- قيمة عملية عالية: الخوارزمية بسيطة وتتمتع بضمانات تقارب، مناسبة للنشر العملي
- تحسن أداء واضح: تحسن ملحوظ مقارنة بطريقة UatF التقليدية
- كتابة واضحة: الاشتقاق الرياضي صارم والتعبير واضح
- نطاق التطبيق محدود: يقيد افتراض استقلالية تشكيل الشعاع عمومية الطريقة
- نطاق التجربة محدود: تم التحقق فقط تحت تكوينات شبكة محددة
- نقص تحليل التعقيد: لم يتم توفير تحليل تفصيلي للتعقيد الحسابي
- القيمة الأكاديمية: توفير أدوات نظرية جديدة للتحكم بالطاقة في MIMO الضخمة
- الأهمية العملية: من المتوقع تطبيقها على أنظمة الجيل السادس والأنظمة اللاسلكية من الأجيال القادمة
- إمكانية التكرار: وصف الخوارزمية واضح، مما يسهل التكرار والتوسع
- تحسين الطاقة في أنظمة MIMO الضخمة
- توزيع الموارد في الشبكات غير الخلوية
- مشاكل تحسين الشبكات اللاسلكية التي تتطلب ضمانات تقارب صارمة
- السيناريوهات حيث تكون معلومات حالة القناة الإحصائية متاحة
تستشهد الورقة بـ 23 مرجعاً ذا صلة، تشمل بشكل أساسي:
- الكتب المدرسية والمسوحات الكلاسيكية لأنظمة MIMO الضخمة والشبكات غير الخلوية
- الأساس النظري للتحكم بالطاقة والدوال التداخلية
- الأعمال ذات الصلة بتصميم تشكيل الشعاع
- نتائج البحث في حدود نظرية المعلومات
التقييم الإجمالي: هذه ورقة عالية الجودة تجمع بين النظرية والتطبيق، وتوفر مساهمات نظرية مهمة وخوارزميات عملية في مجال التحكم بالطاقة. على الرغم من وجود بعض القيود، فإن ابتكارها وقيمتها العملية تجعلها تقدماً مهماً في هذا المجال.