Gauge Geometry of Hodge Zero-Mode Transport in Parameter-Dependent Topological Data Analysis

ملخص تقني: هندسة القياس لنقل الأنماط الصفرية لهودج في تحليل البيانات الطوبولوجية المعتمدة على المعاملات

1. بيان المشكلة

يعتمد تحليل البيانات الطوبولوجية (TDA) تقليديًا على الاستمرار المتجانس (persistent homology) لتلخيص ولادة وموت السمات الطوبولوجية عبر معامل الترشيح، والتي تُمثل عبر مخططات الباركود أو مخططات الاستمرار. ومع ذلك، في العديد من التطبيقات العملية — مثل تحليل السلاسل الزمنية، وكشف الشذوذ، والأنظمة الخاضعة لمعاملات تحكم متغيرة — تعتمد البيانات على معامل خارجي إضافي (مثل الزمن، أو درجة الحرارة، أو مجال خارجي) مستقل عن مقياس الترشيح.

تواجه الطرق الحالية للتعامل مع هذه البيانات المعتمدة على المعاملات، مثل الكروم (vineyards) (التي تتبع حركة النقاط في مخططات الاستمرار) أو الاستمرار المتعرج (zigzag persistence)، قيودًا جوهرية:

• عدم الاستقرار: عندما تقترب نقاط الاستمرار الهامة من بعضها البعض أو عندما تظهر العديد من السمات قصيرة العمر في وقت واحد، يصبح المطابقة النقطية غير مستقرة. يمكن للاضطرابات الصغيرة أن تغير بشكل جذري الارتباط بين السمات عند قيم معاملات مختلفة.
• الاعتماد على الأساس (Basis Dependence): تتبع المولدات الفردية أو تسميات السمات يعتمد على الأساس. قد يصبح الأساس الطبيعي عند قيمة معامل معينة تركيبة خطية مختلفة عند قيمة أخرى، مما يجعل التسمية العالمية غير متسقة.
• فقدان المعلومات الهيكلية: يركز التتبع النقطي على مسارات نقاط المخطط ولكنه يفشل في التقاط إعادة التنظيم، أو الخلط، أو الدوران لفضائات السمات الهومولوجية نفسها. حتى لو ظلت أعداد بيتي (Betti numbers) ثابتة، فإن البنية الداخلية لفضائ الهومولوجيا قد تشهد تغييرات كبيرة يغفل عنها الملخص التقليدي.

يفترض البحث أن البنية الطوبولوجية المعتمدة على المعامل يجب أن تُفهم ليس فقط كسلسلة من اللقطات الثابتة، بل كـ مشكلة نقل (transport problem) لفضائات المتجهات الهومولوجية فوق فضاء المعاملات.

2. المنهجية

يقترح المؤلفون إطار عمل حوسبي ينقل التركيز من نقاط الاستمرار الفردية إلى هندسة نقل فضائات السمات الهومولوجية. ويتم تحقيق ذلك من خلال تمثيل السمات الهومولوجية كـ الأنماط الصفرية (zero modes/kernel) لـ "لابلاس هودج" العادي ذي التركيب المحدود.

البناء الجوهري:

1. الفضاء المحيط والامتداد: يُعرف المؤلفون فضاء هيلبرت محيطًا مشتركًا $H_q$ (مجموعة السلاسل لمجمع بسيط أقصى). لكل قيمة معامل (مقياس الترشيح $d$ والمعامل الخارجي $\lambda$)، يتم تمديد لابلاس هودج العادي إلى هذا الفضاء الثابت. فضاء النمط الصفري $E_0(d, \lambda) = \ker \Delta_{\text{Hodge}}(d, \lambda)$ يكون متماثلًا مع الهومولوجيا الرمزية (simplicial homology) $H_q(K(d, \lambda))$.
2. حزمة الأنماط الصفرية: في "المناطق المنتظمة" من فضاء المعاملات (حيث يكون بُعد فضاء النمط الصفري ثابتًا وتوجد فجوة طيفية بين القيم الصفرية وغير الصفرية)، تشكل هذه الفضاءات الجزئية حزمة متجهة (vector bundle) فوق فضاء المعاملات.
3. الموصِفات الهندسية:
   • الاتصال (Connection): يتم استنتاج اتصال طبيعي من نوع "بيري" (Berry-type connection) على هذه الحزمة عبر الإسقاط المتعامد $P_0$ على فضاء النمط الصفري. صيغة الاتصال هي $A = \Psi^* d\Psi$، حيث $\Psi$ هو إطار محلي متعامد.
   • الانحناء (Curvature): يُعرَّف بـ $F = dA + A \wedge A$، أو بدلاً من ذلك عبر صيغة الإسقاط المستقلة عن القياس (gauge-invariant) $F = P_0 [dP_0, dP_0] P_0$. يقيس هذا الانحناء عدم التبادلية في النقل اللحظي في اتجاهات المعامل المختلفة، مما يحدد كمية إعادة التنظيم والخلط الموضعي.
   • الهولونومي (Holonomy): الأس المتتالي للمسار (path-ordered exponential) للاتصال على طول حلقة مغلقة. إنه يلتقط الذاكرة العالمية أو "المونودرومي" (monodromy) المتراكمة بعد اجتياز دورة، مما يمثل التحول الصافي لفضائ الميزة حتى لو عادت أعداد بيتي إلى قيمتها الأولية.

الاستقرار والانتظام:
يعتمد الإطار على "المناطق المنتظمة" حيث يتم الحفاظ على الفجوة الطيفية. يثبت المؤلفون أنه في هذه المناطق، يكون إسقاط النمط الصفري والانحناء مستقرين محليًا (متصلين ليبشيتز) تحت اضطرابات مؤثر لابلاس هودج. يضمن هذا أن الموصِفات الهندسية قوية تجاه الضجيج، بشرط عدم تلاشي الفجوة الطيفية.

اختيار لابلاس:
يستخدم البحث صراحةً لابلاس هودج العادي بدلاً من لابلاس الاستمرار (persistent Laplacian). يوفر لابلاس العادي تجسيدًا جوهريًا لفضاء الهومولوجيا عند كل نقطة معامل محددة، مما يجعله مناسبًا لتعريف هندسة النقل المحلية (الانحناء). في المقابل، يقوم لابلاس الاستمرار بتشفير نافذة ولادة-موت ثابتة، مما يضيف قيدًا هيكليًا إضافيًا يعقد تفسير الانحناء الموضعي كمقياس لإعادة التنظيم اللحظي.

3. المساهمات الرئيسية

• هندسة نقل الأنماط الصفرية: صياغة الاستمرار المعتمد على المعامل كنظرية نقل للأنماط الصفرية المرتبطة بلابلاس هودج العادي، باستخدام اتصالات بيري، والانحناء، والهولونومي.
• الموصِفات المستقلة عن القياس (Gauge-Invariant Descriptors): تقديم الانحناء والهولونومي كموصِفات مستقلة عن الأساس تصف إعادة تنظيم وذاكرة الفضائات الهومولوجية العالمية، متجاوزةً عدم استقرار التتبع النقطي.
• الاستقرار النظري: إثبات أن إسقاط النمط الصفري والانحناء مستقران تحت اضطرابات المؤثر في المناطق المنتظمة، حيث تعتمد ثوابت الاستقرار على الفجوة الطيفية.
• التحقق العددي: إثبات أن الطريقة المقترحة:
  • تعيد إنتاج مونودرومي نوع "الكروم" (vineyard) في الأنظمة المنتظمة.
  • تظل قابلة للحوسبة ومستقرة حتى عندما تندمج نقاط الاستمرار، حيث يفشل مطابقة الكروم.
  • تميز بين الأنظمة ذات مخططات الاستمرار المتشابهة جدًا ولكن ذات هندسات نقل مختلفة.
  • تكتشف الذاكرة العالمية (الاختلافات على مستوى الدورة) غير المرئية للتتبع المحلي.

4. النتائج العددية

قدم المؤلفون خمس تجارب باستخدام بيانات سحابة نقاط متحكم بها زمنيًا:

1. مونودرومي الكروم (Vineyard Monodromy): في سيناريو تبديل الميزات دوريًا، أعاد الهولونومي لدورة واحدة لحزمة الأنماط الصفرية تمامًا عملية التبديل الملحوظة في تتبع الكروم، مما يؤكد اتساق الإطار مع الطرق القائمة في الأنظمة المنتظمة.
2. عدم استقرار التتبع: في سيناريو اقتراب دورتين واندماجهما، أصبح التتبع النقطي غير مستقر (تكلفة مطابقة غامضة). ومع ذلك، أظهر الانحناء ذروة محلية واضحة عند لحظة الاندماج، مما قدم تفسيرًا هندسيًا لعدم استقرار التتبع المتجذر في إعادة التنظيم القوية لفضاء الميزة.
3. مخططات متشابهة، هندسة مختلفة: أنتج نظامان (اقتراب دوائر مزدوجة مقابل تحكم في الحجم فقط) مخططات استمرار متطابقة تقريبًا. ومع ذلك، كان خريطة الانحناء غير صفرية وموضعية للدوائر المتقاربة (مما يشير إلى الخلط) بينما كانت قريبة من الصفر للتحكم، مما كشف عن اختلافات هيكلية غير مرئية للمخططات القياسية.
4. الذاكرة العالمية (الهولونومي): أظهر نظامان ذا استمرار محلي متشابه تطورات هولونومية مختلفة للدورة الواحدة. تراكم أحد الأنظمة تحولًا غير بديهي (انحراف كبير عن الهوية)، بينما ظل الآخر قريبًا من الهوية، مما أثبت أن الهولونومي يلتقط تأثيرات الذاكرة العالمية التي يفتقدها التتبع المحلي.
5. الاستقرار تحت الضجيج: أظهر رد فعل الانحناء تجاه الضجيج أنه يتناسب مع حجم اضطراب لابلاس هودج الأساسي، مما أكد تقديرات الاستقرار النظرية ومتانة الموصِفات.

5. الأهمية والادعاءات

يزعم البحث أن هذا الإطار يوفر وجهة نظر هندسية-قياسية (gauge-geometric) لتحليل البيانات الطوبولوجية، مكملةً لا مستبدلةً للطرق الموجودة مثل الكروم.

• ما وراء الملخصات الثابتة: ينتقل بـ TDA من الملخصات الساكنة (أوقات الولادة/الموت) إلى وصف ديناميكي لكيفية تطور، ودوران، واختلاط الفضائات الهومولوجية.
• حل الغموض: يقدم بديلًا مستقرًا للتتبع النقطي في الأنظمة التي تندمج فيها الميزات أو تصبح غير قابلة للتمييز، من خلال التركيز على هندسة الفضاء الجزئي بدلاً من هوية المولدات الفردية.
• موصِفات جديدة: يعمل الانحناء والهولونومي كموصِفات مستقلة عن الأساس تقيس إعادة التنظيم الموضعي والذاكرة العالمية، على التوالي.
• الارتباط بالهندسة الكمومية: يستمد البناء أوجه تشابه مع الهياكل الهندسية الكمومية (اتصال وانحناء بيري)، مما يشير إلى رابط بين تحليل البيانات الطوبولوجية المعتمد على المعامل والتحليل الطوبولوجي الكمومي.

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