New Approximations of Non-Separable MIMO Channels by Separable Channels for Accurate Ergodic Capacity Analysis
تقترح هذه الورقة تقريبين جديدين للقنوات القابلة للفصل — النموذج المُمكّن بواسطة تباعد كولباك - ليبلر وطريقة مطابقة العزوم — للتغلب على التعقيد التحليلي لنموذج قناة "فايكسلبرجر" لأنظمة MIMO غير القابلة للفصل، حيث توفر الأخيرة تقديرًا مغلق الصيغة ومتينًا للسعة الإرغودية يتفوق على نماذج "كرونيكر" التقليدية عبر جميع نطاقات نسبة الإشارة إلى الضجيج.
المؤلفون الأصليون:Thanh Luan Nguyen, Zygmunt J. Haas, Chadi Abou-Rjeily, Georges Kaddoum
تخيل عالماً لا تنتقل فيه الإشارات اللاسلكية كشعاع واحد ثابت، بل كأسراب فوضوية من الانعكاسات التي ترتد عن المباني والأشجار والأرض. في الجيل القادم من الشبكات اللاسلكية، يعمل المهندسون على حشد المزيد من الهوائيات في الأجهزة لالتقاط هذه الفوضى وتحويلها إلى بيانات أسرع وأكثر موثوقية. تعتمد هذه التقنية، المعروفة باسم "تعدد المدخلات وتعدد المخرجات" (MIMO)، على القدرة على التنبؤ بكيفية سلوك هذه الإشارات. وللقيام بذلك، يستخدم العلماء خرائط رياضية تسمى نماذج القنوات. لسنوات طويلة، كانت الخريطة الأكثر شيوعاً هي نسخة مبسطة تفترض أن سلوك الإشارة عند طرف الإرسال مستقل تماماً عن سلولها عند طرف الاستقبال. لقد كانت صورة أنيقة وسهلة الحساب، لكنها غالباً ما فشلت في رصد الواقع الفوضوي للعالم الحقيقي، خاصة في البيئات التي ترتد فيها الإشارات بأنماط غير متوقعة ومتفرقة. وعند استخدام هذه الخريطة القديمة، كانت غالباً ما تقلل من تقدير كمية البيانات التي يمكن إرسالها بالفعل، مما يؤدي إلى تصميمات أقل كفاءة مما يمكن أن تكون عليه.
لقد طور فريق من الباحثين الآن طريقة جديدة لرسم خرائط هذه البيئات اللاسلكية المعقدة، وهي طريقة دقيقة وعملية في آن واحد. فقد ركزوا على نموذج متطور وشديد التفصيل يُعرف بنموذج "فايتسلبرجر" (Weichselberger model)، والذي يصف الروابط المعقدة بين كل هوائي إرسال وهوائي استقبال على حدٍ سواء. وبينما يعد هذا النموذج دقيقاً للغاية، إلا أنه ثقيل رياضياً لدرجة تجعل استخدامه في حسابات التصميم العملية أمراً مستحيلاً تقريباً. كان هدف الباحثين هو إيج ط نسخة أبسط من هذه الخريطة المعقدة تحتفظ بالتفاصيل الجوهرية ولكنها تتخلص من الرياضيات المستحيلة. وقد اتبعوا هذا المشكلة عبر ابتكار طريقتين متمايزتين لتقريب اتصالات الإشارة المعقدة. سعت الطريقة الأولى إلى إيجاد أبسط نسخة ممكنة من خريطة الإشارة تظل أقرب ما يكون إلى الواقع المعقد الأصلي. أما الطريقة الثانية، فقد اتبعت نهجاً مختلفاً، حيث ركزت على مطابقة "البصمة" الإحصائية لتوزيع قدرة الإشارة مع شكل رياضي معروف جيداً.
تعمل الطريقة الأولى التي طوروها من خلال البحث عن أقرب تطابق لخريطة الإشارة المعقدة باستخدام مقياس محدد للاختلاف. تخيل الأمر كأنك تحاول ط ورقة مجعدة لتصبح ورقة مسطحة لا تزال تشبه الكائن الأصلي. وقد وجد الباحثون أن هذه الطريقة تعمل بشكل ممتاز عندما تكون البيئة "متفرقة"، أي عندما ترتد الإشارة عن عدد قليل من الأجسام المتميزة بدلاً من سحابة كثيفة من المشتتات. في ظل هذه الظروف، كانت الخرائط القدسة المبسطة خاطئة، إذ كانت تتوقع سعة أقل بكثير مما هو موجود بالفعل. وقد صححت الطريقة الجديدة هذا الخطأ، حيث قدمت تقديراً أكثر دقة وإحكاماً لحجم البيانات التي يمكن أن تتدفق عبر النظام. ومع ذلك، اكتشف الباحثون قيداً: ففي حالات الطاقة المنخفضة جداً، كانت هذه الطريقة الأولى تواجه أحياناً صعوبة في الحفاظ على إجمالي الطاقة في الإشارة، مما يؤدي إلى عدم دقة طفيفة.
ولحل هذه المشكلة المتبقية، قدم الفريق طريقة ثانية أكثر متانة. فبدلاً من مجرد البحث عن الشكل الأقرب، يقوم هذا النهج بمطابقة العزوم الإحصائية للإشارة بعناية — أي متوسط قدرتها وكيفية تقلب تلك القدرة — مع توزيع رياضي قياسي يُعرف بتوزيع "ويشارت" (Wishart distribution). ومن خلال القيام بذلك، نجحوا في إنشاء نموذج يظل دقيقاً عبر جميع مستويات الطاقة، من الإشارات الضعيفة جداً إلى القوية جداً. وعندما اختبر الباحثون هذه النماذج الجديدة مقابل محاكاة حاسوبية لسيناريوهات من العالم الحقيقي، كانت النتائج واضحة؛ فقد تفوقت الطرق الجديدة باستمرار على الخرائط التقليدية المبسطة. وفي البيئات التي تكون فيها الإشارات متفرقة وغير منتظمة، فشلت الخرائط القديمة بشكل كبير، بينما تتبعت النماذج الجديدة السعة الحقيقية بدقة شبه تامة. وحتى عندما اختبر الباحثون النماذج على أنظمة هوائيات أكبر بكثير، بالانتقال من ثمانية هوائيات إلى أربعة وستين، ظلت الدقة صامدة.
كما تناولت الدراسة بيئات عالية التنظيم، مثل تلك التي تخلقها التقنيات المتقدمة مثل "الأسطح الذكية القابلة لإعادة التشكيل" (reconfigurable intelligent surfaces)، حيث يتم توجيه الإشارات في أنماط محددة للغاية. في هذه الحالات، وجد الباحثون أنه حتى أفضل نماذجهم المبسطة لا يمكنها التقاط كل تفاصيل الإشارة بدقة، لا سيما عندما يحاول النظام إرسل تدفقات متعددة ومستقلة من البيانات في وقت واحد وبقدرة عالية. ومع ذلك، حتى في هذه السيناريوهات الصعبة، قدمت نماذجهم الجديدة تقديراً أفضل بكما من المعيار القديم. وقد أثبت الباحثون أن نهجهم الجديد يسمح للمهندسين باستخدام صيغ رياضية دقيقة (closed-form formulas) لحساب سعة الشبكة، وهو إنجاز كان مستحيلاً في السابق مع النماذج غير القابلة للفصل والمعقدة. وهذا يعني أن مصممي الشبكات يمكنهم الآن الاعتماد على أدوات رياضية دقيقة لتحسين أنظمتهم دون الحاجة إلى إجراء عمليات محاكاة حاسوبية طويلة ومستهلكة للوقت. ويؤكد هذا العمل أنه بينما يبدو العالم اللاسلكي معقداً، فمن الممكن إنشاء خرائط بسيطة وموثوقة تلتقط إمكاناته الحقيقية، مما يضمن بناء الشبكات المستقبلية على أساس من الفهم الدقيق بدلاً من التقديرات التقريبية الخشنة.
ملخص تقني: تقريبات جديدة للقنوات غير المنفصلة بنظام MIMO عبر قنوات منفصلة لتحليل دقيق للسعة المتوسطة (Ergodic Capacity)
بيان المشكلة يعتمد التقييم الأدائي الدقيق لأنظمة تعدد المدخلات والمخرتجات (MIMO) للجيل القادم، وخاصة تلك التي تستخدم مصفوفات الفتحات فائقة الضخامة (ELAA) والأسطح الذكية القابلة لإعادة التشكيل (RIS)، بشكل كبير على نماذج القنوات التي تلتقط الاقتران المعقد بين هوائيات الإرسال والاستقبال. وبينما يوفر نموذج "كرونيكر" (Kronecker) الكلاسيكي قابلية المعالجة الرياضية من خلال افتراض الارتباط المكاني المنفصل، إلا أنه غالباً ما يفشل في التقاط التبعيات الفيزيائية في بيئات الانتشار الواقعية، مما يؤدي إلى تقليل تقدير سعة القناة بشكل كبير، لا سيما في سيناريوهات التشتت المتناثرة وغير المنتظمة.
ولمعالجة ذلك، برز نموذج "فايتشلسبيرجر" (Weichselberger) كإطار عمل أكثر عمومية قادر على توصيف الاقتران التعسفي عبر مصفوفة اقتران القدرة غير المنفصلة (P). ومع ذلك، فإن البنية غير المنفصلة لنموذج "فايتشلسبيرجر" تفرض تعقيداً تحليلياً شديداً. فغالباً ما تعتمد الطرق الموجودة لتقييم السعة المتوسطة (EC) على حدود عليا تحليلية أو تقريبات الأنظمة الكبيرة، وهي غير كافية للأنظمة ذات المصفوفات ذات الأبعاد المحدودة حيث يتطلب الأمر تقييماً دقيقاً للأداء. وهناك حاجة ماسة إلى تقريبات رياضية قابلة للمعالجة تحافظ على الخصائص الإحصائية لنموذج "فايتشلسبيرجر" مع تمكين تحليل السعة بصيغة مغلقة دقيقة.
المنهجية يقترح المؤلفون إطارين مختلفين للتحليل من الرتبة-1 (rank-1 factorization) لتقريب مصفوفة اقتران القدرة غير المنفصلة P الخاصة بقناة "فايتشلسبيرجر"، وذلك بهدف تحويل القناة المعقدة غير المنفصلة إلى شكل منفصل (مزدوج الارتباط). ويتم الإبقاء على مكون خط البصر (LOS) الحتمي بدقة، بينما يركز التقريب فقط على المكون العشوائي لخط عدم البصر (NLOS).
التقريب المعتمد على تباعد كولباك-ليبلر (KLD): يقوم النهج الأول باشتقاق أقرب نموذج تلاشي (fading) منفصل (متعدد الارتباط من نوع رايلي) لنموذج "فايتشلسبيرجر" تحت معيار تباعد كولباك-ليبلر (KLD). وتتم صياغة هذه المسألة كتحليل مصفوفة غير سالبة من الرتبة-1 (NMF) للمصفوفة P تحت مسافة "إيتاكورا-سايتو" (IS). ويطور المؤلفون خوارزمية تكرارية (الخوارزمية 1) تضمن التناقص الرتيب للدالة الهدف وتتقارب نحو التقريب الأمثل العالمي للرتبة-1 (PKLD=αβ⊤).
طريقة مطابقة العزوم (MMM): إدراكاً للقيود المتعلقة بنموذج KLD فيما يخص الحفاظ على إجمالي قدرة القناة في أنظمة SNR المنخفضة، قدم المؤلفون طريقة مبتكرة لمطابقة العزوم (MMM). يقوم هذا النهج برسم خرائط لإحصائيات القناة الدقيقة إلى توزيع "ويشرت" (Wishart). تتضمن العملية ما يلي:
تطبيع القناة (Channel Normalization): تغيير مقياس مصفوفة اقتران القدرة لإزالة عدم التوازن المهيمن في القدرة، مما ينتج عنه ملف تباين أقرب إلى بنية "ويشرت" متماثلة المناحي.
اشتقاق العزوم (Cumulant Derivation): اشتقاق المؤلفون تعبيرات تكرارية جديدة للعزوم والعزوم التراكمية للمصفوفات لجمع مصفوفات "ويشرت" المعقدة ذات التباين القطري. ويستخدمون صيغة "زاسن-زاسن" (Zassenhaus) متعددة المتغيرات للتعامل مع عدم التبادلية، رغم أن الإطار يركز على الحد الجمعي من أجل القابلية للتحليل.
مسألة عزم ستيلتجس (Stieltjes Moment Problem): تصيغ الطريقة نظاماً من المعادلات لمطابقة عزوم القيم الذاتية لكسب القناة الطبيعي مع مجموع مصفوفات "ويشرت" معقدة ومتماثلة المناحي. ويتم حل ذلك كمسألة عزم "ستيلتجس" باستخدام كثيرات الحدود المتعامدة ومصفوفات "جاكوبي" لتحديد معاملات التوزيع المستهدف.
الاسترداد (Recovery): تُستخدم المعاملات لإعادة بناء تحليل الرتبة-1 لمصفوفة اقتران القدرة الأصلية (PMMM).
المساهمات الرئيسية
الاشتقاق الخوارزمي: يصيغ البحث خوارزمية تقريب للرتبة-1 فعالة حسابياً لتقريب مصفوفة اقتران القدرة غير المنفصلة مدعومة بـ KLD، مما يظهر تقارباً سريعاً وتتبعاً دقيقاً لتوزيع القيم الذاتية.
الإطار التحليلي: يؤسس البحث إجراءً تحليلياً قابلاً للمعالجة لـ MMM يقوم برسم خرائط إحصائيات القناة الدقيقة إلى مصفوفة "ويشرت" مكافئة عبر حل مسألة عزم "ستيلتجس". ويتضمن ذلك اشتقاق تعبيرات تكرارية جديدة لعزوم/عزوم تراكم المصفوفات لمجموع مصفوفات "ويشرت" المعقدة.
تعبيرات السعة ذات الصيغة المغلقة: يشتق المؤلفون تعبيرات تحليلية دقيقة وصيغ مغلقة للسعة المتوسطة (Ergodic Capacity) لكل من النماذج المدعومة بـ KLD والمدعومة بـ MMM.
التحليل التقاربي: يتم تقديم تحليل لفجوة السعة عند SNR العالي، مما يثبت رسمياً أن النموذج المدعوم بـ KLD يحقق فجوة سعة أضيق مقارنة بالنموذج المرجعي "كرونيكر"، خاصة في بيئات التشتت المتناثرة.
النتائج أدت عملية التحقق العددي عبر بيئات التشتت المتناثرة، والمتوسطة، والغنية، وكذلك مصفوفات الاقتران عالية الهيكلية (التي تأخذ شكل الصليب أو القطر)، إلى النتائج التالية:
التقارب: يتقارب التحليل المعتمد على KLD بسرعة (عادةً في غضون 25 تكراراً) عبر جميع السيناريوهات.
الدقة مقابل كرونيكر: يقلل نموذج "كرونيكر" التقليدي بشدة من تقدير السعة في بيئات التشتت المتناثرة وغير المنتظمة. ويحسن كلا النموذجين المقترحين للرتبة-1 من هذه الدقة بشكل كبير.
أداء KLD مقابل MMM:
يوفر النموذج المدعوم بـ KLD تقديراً أكثر إحكاماً للسعة من نموذج "كرونيكر" في أنظمة SNR المتوسطة إلى العالية، خاصة في التشتت المتناثر. ومع ذلك، فإنه يميل إلى إساءة توصيف السعة في أنظمة SNR المنخفضة بسبب عدم قدرته على الحفاظ على إجمالي قدرة القناة. بينما يعمل النموذج المدعوم بـ MMM كبديل قوي؛ فهو يحسن باستمرار دقة السعة مقارنة بنموذج "كرونيكر" عبر جميع أنظمة SNR. كما يحافظ على دقة عالية في أنظمة SNR المنخفضة والسيناريوهات عالية الهيكلية حيث يظهر نموذج KLD عدم تطابق طفيف، وإن كان قد يظهر انحرافات بسيطة في مناطق SNR العالية لبعض الهياكل شديدة التنظيم (مثل الهياكل القطرية التي تحاكي تعدد الإرسال المكاني).
القابلية للتوسع: تتوسع الأطر المقترحة بفعالية من مصفوفات 8×8 إلى 64×64 هوائي، مع الحفاظ على الدقة في تقدير السعة.
الأهمية يزعم البحث أنه من خلال توفير تعبيرات دقيقة وصيغ مغلقة للسعة المتوسطة لهذه القنوات المقاربة المنفصلة، فإنه يقدم بديلاً فعالاً حسابياً وعالي الدقة لنموذج "كرونيكر" التقليدي. يعالج هذا العمل الحاجة الملحة لأطر رياضية قابلة للمعالجة لتقييم بنيات الجيل القادم (مثل الأنظمة المدعومة بـ RIS وأنظمة الهولوغرافيك MIMO) حيث تكون الطبيعة غير المنفصلة للقناة أمراً حاسماً. ويُبرز النموذج المدعوم بـ MMM، على وجه الخصوص، كحل قوي يحافظ على العزوم الإحصائية المهيمنة ويوفر تقديرات موثوقة للسعة عبر مختلف أنظمة SNR وبيئات التشتت، متجاوزاً بذلك القيود المحددة لكل من نموذج "كرونيكر" ونموذج KLD وحده.