Semantic Substrate Theory: An Operator-Theoretic Framework for Geometric Semantic Drift

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

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

تعاني الأبحاث الحالية حول الانزياح الدلالي (تطور المعنى في النماذج اللغوية أو المجموعات النصية بمرور الوقت) من قصورين أساسيين:

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

تجادل الورقة بأن الهدف لا ينبغي أن يكون استبدال المقاييس الحالية، بل توحيدها تحت بناء رسمي واحد للتمييز بين الأنواع المختلفة للتغير الدلالي.

2. المنهجية: إطار الركيزة الدلالية

المساهمة الجوهرية هي تعريف الركيزة الدلالية، وهي بنية رياضية مرتبطة بالزمن توحد الهندسة، والانتشار، ونظرية العمليات.

أ. التعريف الرسمي

لأي نافذة تحليلية $t$، تُعرف الركيزة الدلالية بأنها $S_t = (X, d_t, P_t)$:

• $X$: مجموعة من الكائنات الدلالية (مثل الكلمات أو الرموز/Tokens).
• $d_t$: مقياس مستحث بالتضمين على $X$، يتم إنشاؤه عبر خريطة تضمين $f_t: X \to \mathbb{R}^d$. ويتم بناء رسم بياني للجوار $G_t$ (مثل kNN) بناءً على هذا المقياس.
• $P_t$: نواة انتشار ماركوف (Markov diffusion kernel) لخطوة واحدة تمثل الانتشار الدلالي المحلي. وتُعرف عبر مقياس جوار محلي $m^{(t)}_x$ يجمع بين معامل "الخمول" $\alpha$ وأوزان الحواف $w_{xz}$.

ب. تفكيك أنماط الانزياح

يفكك الإطار الانزياح إلى أربعة أنماط رصدية غير متكافئة داخل الركيزة:

1. الانزياح الانتقالي ($D_{tr}$): الإزاحة المباشرة في فضاء التضمين ($\|f_{t_1}(x) - f_{t_0}(x)\|$). يلتقط الحركة العالمية ولكنه عرضة لآثار التراصف (alignment artifacts).
2. انزياح إعادة التوصيل ($D_{rw}$): يقيس التحول في توزيع الجوار المحلي (باستخدام تباعد جينسن-شانون، أو تغير الإنتروبيا، أو مسافة واسرستاين). هذا يلتقط إعادة التوزيع الدلالي المحلي بدلاً من الانتقال العالمي.
3. الانزياح الديناميكي: يحلل الانزياح كخاصية مسار لعملية دلالية تكرارية $x_{k+1} = F(x_k)$ (مثل إعادة الكتابة المتكررة). ويركز على الحساسية، وتبديل الأحواض، والاستمرارية بدلاً من مجرد الفروق بين نافذتين.
4. انزياح العملية: يميز بين التطور الدلالي العضوي ($F_t$) وبين تدخلات خطوط المعالجة ($G_t$، مثل ضبط السلامة أو الاسترجاع). ويحدد العملية المركبة $H_t = G_t \circ F_t$ ويسلط الضوء على عدم التبادلية ($G_t \circ F_t \neq F_t \circ G_t$)، مما يعني أن ترتيب التدخل والتطور يؤثر على الحالة الدلالية النهائية.

ج. التحليل الهندسي والانحناء

تقدم الورقة انحناء ريتشي الخشن ($\kappa_{OR}$) لقياس الانكماشية المحلية:

• الانحناء الموجب ($\kappa > 0$): يشير إلى "حوض دلالي" حيث يكون الانتشار انكماشيًا والجوار مستقرًا.
• الانحناء السالب ($\kappa \leq 0$): يشير إلى نظام "الجسر" حيث يكون الانتشار توسعيًا والاتصال هشًا.
• كتلة الجسر ($B_t(x)$): مقياس مبتكر على مستوى العقدة يُعرف بأنه مجموع الانحناء السالب الواقع على العقدة. ويعمل كمؤشر للتنبؤ بإعادة توصيل الجوار في المستقبل.

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

• إطار نظري موحد: يقترح "الركيزة الدلالية" لوضع الانزياحات الانتقالية، وإعادة التوصيل، والديناميكية، والعملية ضمن نموذج هندسي عملياتي واحد.
• متنبئ كتلة الجسر: يقدم $B_t(x)$ كمؤشر استباقي لعدم الاستقرار الدلالي وإعادة توصيل الجوار المستقبلي.
• التمييز الآلي: يوفر طريقة رسمية للتمييز بين "التقلب داخل حوض مستقر" وبين "الانتقال بين الأحواض"، وهو أمر مستحيل باستخدام درجات الكشف فقط.
• استقرار النظرية العملياتية: يستخدم انحناء ريتشي لإرساء شروط الاستقرار (التقرير 1)، موضحًا كيف يضمن الانحناء الموجب الانكماشية في عمليات ماركوف.
• عقد الاختبار القابل للتفنيد: تحدد الورقة صراحةً الافتراضات (A1–A6) والتنبؤات القابلة للاختبار (P1–P5) لمنع "تحيز الإدراك المتأخر" (hindsight bias) في الدراسات التجريبية المستقبلية.

4. النتائج

ملاحظة: هذه المخطوطة هي مقترح نظري؛ وهي لا تعرض نتائج أداء تجريبية.

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

5. الأهمية

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

باختصار، تقدم ورقة ستيفن راسل تحولًا تأسيسيًا في كيفية تصور الانزياح الدلالي، من مجرد مجموعة من مقاييس الكشف إلى نظرية موحدة وآلية ومبنية هندسيًا للتطور الدلالي.