A Riemannian View on Active Subspaces

ملخص تقني: رؤية ريمانية للفضاءات النشطة

بيان المشكلة
توفر الفضاءات النشطة طريقة قائمة على القيم الذاتية المرتبة لتقليل الأبعاد في النطاقات الإقليدية عالية الأبعاد. فهي تحدد فضاءً جزئياً منخفض الأبعاد حيث تتغير كمية قياسية مهتم بها، $f: \mathbb{R}^n \to \mathbb{R}$، بشكل ملحوظ في المتوسط، بينما تظل ثابتة تقريباً في المتمم العمودي. ومع ذلك، فإن العديد من التطبيقات الحديثة تتضمن معاملات توجد طبيعياً على متشعبات ريمانية (على سبيل المثال، تحليل الشكل الإحصائي، حيث تكون فضاءات الشكل المسبق عبارة عن كرات فائقة)، بدلاً من الفضاءات الإقليدية. يعتمد التعريف القياسي للفضاءات النشطة على التماثل القانوني للفضاء الإقليدي، مما يسمح بالمتوسط العالمي لمتجهات التدرج. أما على المتشعب المنحني، فإن متجهات المماس عند نقاط مختلفة تنتمي إلى فضاءات مماسية متميزة، مما يجعل المتوسط العالمي المباشر غير محدد دون وجود آلية للمقارنة بينهم. تعالج الورقة تحدي توسيع إطار عمل الفضاءات النشطة ليشمل الدوال الناعمة المعرفة على المتشعبات الريمانية مع الحفاظ على قابلية تفسير القيم الذاتية كمتوسط مربعات المشتقات الاتجاهية.

المنهجية
تطور الورقة صياغة جوهرية (intrinsic) للفضاءات النشطة على متشعب ريماني $(M, g)$ من خلال تعميم الضرب الخارجي للتدرج. تتضمن المنهجية الأساسية ثلاث خطوات رئيسية:

1. المتوسط الجوهري عبر النقل الموازي: لتعريف متوسط عالمي للتدرجات، يقوم المؤلفون بنقل كل تدرج ريماني $\nabla_M f(p)$ من فضاء المماس المحلي $T_p M$ إلى فضاء مماس مركزي $T_{p_0} M$ على طول الجيوديسيك الفريد الذي يربط $p$ بنقطة مركزية $p_0$. ويتم تحقيق ذلك باستخدام مؤثر النقل الموازي $P_p$. وبذلك يتم تعريف "الضرب الخارجي لمتوسط التدرج الريماني" كالتالي:
   $$G_0 = \int_X P_p [\nabla_M f(p)] \otimes P_p [\nabla_M f(p)] \, d\mu(p)$$
   حيث $\mu$ هو مقياس احتمالي على المتشعب (يدعم عادةً كرة جيوديسيكية). ينتج عن هذا البناء تينسور متماثل موجب شبه محدد على فضاء المتجهات الوحيد $T_{p_0} M$.

2. الجيوديسيكات المتشعبية النشطة (AMG): يؤدي التفكيك الذاتي لـ $G_0$ إلى قيم ذاتية $\lambda_i$ ومتجهات ذاتية $w_i$ في $T_{p_0} M$. ويعرف المؤلفون "الجيوديسيكات المتشعبية النشطة" بأنها صور الخطوط المستقيمة التي تمتد بواسطة هذه المتجهات الذاتية تحت الخريطة الأسية: $W_{1,i} = \{ \exp_{p_0}(t w_i) \}$. وتعمل هذه الجيوديسيكات كاتجاهات نشطة على المتشعب.

3. المقارنة الجوهرية مقابل الخارجية: تقارن الورقة بين هذا النهج الجوهري والنهج الخارجي، حيث يتم تضمين المتشعب في فضاء إقليدي أعلى $\mathbb{R}^m$. تقوم الطريقة الخارجية بمتوسط التدرجات المحيطة ثم إسقاطها على فضاء المماس المركزي. ويستنتج المؤلفون علاقة دقيقة بين المنظورين الجوهري والخارجي، موضحين أن الطيف الخارجي هو نسخة "مدمجة" من الطيف الجوهري بسبب الإسقاط الجزئي المتساوي القياس.

المساهمات الرئيسية
تقدم الورقة أربع مساهمات رئيسية:

• التعميم الجوهري: قدموا ضرب التدرج الخارجي عبر النقل الموازي (المعادلة 12) كتينسور خالٍ من الإحداثيات توفر قيمه الذاتية تفسيراً دقيقاً كمتوسط مربعات المشتقات الاتجاهية على طول حقل إطار منقول (التمهيد 1).
• الجيوديسيكات المتشعبية النشطة: عرفوا مجموعة مرتبة من الاتجاهات الجيوديسيكية (التعريف 3) التي تعمم الفضاءات النشطة. وخلافاً لعمليات الاختزال غير الخطية بالكامل (مثل المتشعبات النشطة أو الشبكات العصبية) التي قد تتحول إلى منحنيات تملأ الفضاء، تحافظ الـ AMGs على تعقيد منخفض وقابلية للتعريف من خلال قصر البحث على الصور الأسية للخطوط المستقيمة في فضاء مماس واحد.
• التوافق الكمي الجوهري-الخارجي: تثبت الورقة أنه بينما يختلف المنظوران الجوهري والخارجي بشكل جوهري، فإنهما يتفقان من الدرجة الثانية ($O(R^2)$) في نصف قطر $R$ للكرة الجيوديسيكية التي تم أخذ العينات منها. تتفق القيم الذاتية عند $O(R^2)$، وتتفق الفضاءات الذاتية المهيمنة عند $O(R^2/\eta)$ حيث $\eta$ هي الفجوة الطيفية (الخاصية 3). والأهم من ذلك، أنها توضح أن إسقاط المتجه الذاتي المحيط المهيمن (وهو ممارسة خارجية شائعة) يمكن أن يفشل إذا كان الاتجاه يقع في الفضاء الصفري للإسقاط، بينما تظل الطريقة الجوهرية قوية.
• التطبيق على تحليل الشكل: تم استلهام النظرية وتطبيقها صراحةً على فضاءات الشكل المسبقة في التحليل الإحصائي للشكل، وهي كرات فائقة. توفر النتائج إطاراً مباشراً لتقليل الأبعاد المدفوع بالاستجابة في دوال الشكل.

النتائج والرسوم التوضيحية العددية
يتحقق المؤلفون من الصياغة باستخدام أمثلة عددية على الكرة $S^2$:

• استعادة الحافة (Ridge Recovery): بالنسبة لدالة خطية محيطة مقيدة على الكرة (دالة حافة)، تنجح الـ AMG الجوهرية في تحديد اتجاه الجيوديسيك النشط. توضح الورقة أن بنية الحافة يتم استعادتها في الإحداثيات الطبيعية مع خطأ يتلاشى بمعدل تربيعي محدود بالانحناء ($O(R^2)$)، وهو ما يتوافق مع الخاصية 3.
• الحالات المتدهورة: تفحص الورقة سيناريو تتطابق فيه النقطة المركزية مع اتجاه التدرج لحافة محيطة. في هذه الحالة، تفشل الطريقة الخارجية (إسقاط المتجه الذاتي المحيط المهيمن)، مما يعطي متجهاً صفرياً تافهاً. في المقابل، تحدد الطريقة الجوهرية بشكل صحيح أنه لا يوجد اتجاه واحد مهيمن، حيث تعيد قيمتين ذاتيتين متساويتين، مما يتجنب نمط فشل "الهيمنة المسقطة".
• الدوال غير الحافة: بالنسبة للدوال التربيعية التي ليست حواف، توفر الطريقة الجوورية ترتيباً أميناً للاتجاهات بناءً فقط على تغير الدالة، بينما تخلط الطريقة الخارجية هذا التغير مع هندسة التضمين.

الأهمية والادعاءات
تدعي الورقة أن الصياغة الجوهرية تقدم تمثيلاً أكثر أمانة لهندسة النطاق، وهي خالية من آثار التضمين المحدد. وتجادل بأنه بينما تعتبر الطرق الخارجية مريحة حسابياً، إلا أنها تُدخل "إسقاطاً جزئياً متساوي القياس" يمكن أن يشوه ترتيب الأهمية، خاصة عند تمديد النشاط خارج النقطة المركزية.

يؤكد المؤلفون أن الطريقة المقترحة هي محلية جيوديسيكية. إن تفسير القيم الذاتية كمؤشرات للفضاءات الجزئية غير النشطة يكون صالحاً فقط ضمن جوار طبيعي (كرة جيوديسيكية) ممركز حول $p_0$. ويتطلب التوسع في ذلك إلى نطاق عالمي استخدام أطلس من التحليلات المحلية أو بنية تقسيم (foliation) أكثر تعقيداً، وهو ما ذُكر كعمل مستقبلي. لا تدعي الورقة حل مشكلة تقليل الأبعاد العالمية لأي متشعبات، بل توفر امتداداً صارماً، قابلاً للتفسير، ومثالياً محلياً للفضاءات النشطة للدوال الناعمة على المتشعبات الريمانية، مع قابلية تطبيق فورية على البيانات الكروية الفائقة في تحليل الشكل.