Empirical Measures and Strong Laws of Large Numbers in Categorical Probability

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

بيان المشكلة
تتناول الورقة التحدي المتمثل في صياغة النظريات الحدية الأساسية لنظرية الاحتمالات — وتحديداً نظرية جليفينكو-كانتي (Glivenko–Cantelli) والقانون القوي للأعداد الكبيرة (SLLN) — ضمن إطار الاحتمالات الفئوية (Categorical Probability). وبينما نجحت هذه الأطر الفئوية في تجريد مفاهيم مثل الاستقلال، والاشتراط، ونظرية دي فينيتي (de Finet theorem) باستخدام فئات ماركوف (Markov categories)، فإن هذه الأطر عادة ما تفترض وجود مورفيزمات (morphisms) كلية (أي مورفيزمات معرفة لجميع المدخلات).

تكمن الصعوبة المحددة التي تعالجها الورقة في طبيعة المقاييس التجريبية للمتتاليات اللانهائية. في نظرية القياس القياسية، يُعرّف المقياس التجريبي لمتتالية لانهائية $(x_i)_{i \in \mathbb{N}}$ كحد للترددات النسبية. ومع ذلك، قد لا يوجد هذا الحد لكل متتالية (مثل المتتاليات المتذبذبة)، وحتى عندما يوجد، قد يفشل في تعريف مقياس احتمالي صالح (مثل الفشل في تحقيق خاصية الجمع $\sigma$-additivity، كما في المتتالية $1, 2, 3, \dots$ على $\mathbb{N}$). وبناءً على ذلك، فإن عملية "أخذ عينات من مقياس تجريبي" هي بطبيعتها عملية جزئية. إن فئات ماركوف القياسية، التي تتطلب أن تكون جميع المورفيزمات كلية، غير كافية لنمذجة هذه الظاهرة بشكل مباشر. يسعى المؤلفون إلى تطوير إطار عمل تركيبي (استنباطي) يستوعب هذه الجزئيات مع استعادة نتائج نظرية القياس القياسية.

المنهجية
يستخدم المؤلفون نهجاً ذا شقين يجمع بين نظرية الفئات المجردة والبناءات الملموسة لنظرية القياس:

1. فئات شبه ماركوف (Quasi-Markov Categories): للتعامل مع الجزئية، يعمل المؤلفون ضمن فئات شبه ماركف. بخلاف فئات ماركوف القياسية حيث تكون جميع المورفيزمات كلية، تسمح فئات شبه ماركف بوجود مورفيزمات "شبه كلية". المورفيزم $f: A \to X$ هو شبه كلي إذا كان إما غير معرف أو ينتج مخرجاً معيارياً لكل مدخل. يدعم هذا الإطار ترتيباً جزئياً كانونياً (علاقة الامتداد) حيث $f \sqsupseteq g$ إذا كان $f$ يمتد لـ $g$.
2. الاستمرارية من النوع $\sigma$ ($\sigma$-Continuity): لإدارة المنتجات التنسورية اللانهائية (منتجات كولموغوروف) والمتتاليات اللانهائية، يقدم المؤلفون فرضية الاستمرارية من النوع $\sigma$. تضمن هذه الفرضية امتلاك مجموعات الـ hom امتثالات موجهة قابلة للعد (تقاطعات المجالات) وأن هذه الامتثالات تُحفظ بواسطة التركيب والمنتجات التنسورية. وقد ثبت أن هذه الخاصية تقابل استمرارية النوع $\sigma$ لمقاييس الاحتمال في نظرية القياس.
3. استنباط تعريف أخذ العينات التجريبي: جوهر المنهجية هو تعريف مورفيزم أخذ العينات التجريبي $es_X: X^\mathbb{N} \to X$. يأخذ هذا المورفيزم متتالية لانهائية كمدخل ويخرج عينة من مقياسها التجريبي. يقترح المؤلفون قاعدتين لمورفيزم أخذ العينات هذا:
   • الثبات تحت التبديل: المورفيزم ثابت تحت عمليات التبديل النهائية للمتتالية المدخلة.
   • الكفاية التجريبية: إذا كان التوزيع على $X^\mathbb{N}$ قابلاً للتبادل (exchangeable)، فإن أخذ العينات منه يكافئ أخذ العينات المتكرر المطبق على متتالية مأخوذة من العينات.
4. البناءات الملموسة: يبني المؤلفون مورفيزمات أخذ عينات تجريبي صريحة للفضاءات بوريل القياسية (المجموعات المنتهية، $\mathbb{N}$، و $\mathbb{R}$) ضمن فئة النواة الماركوفية الجزئية، Partial(BorelStoch). كما يقومون بتعريف مجالات هذه المورفيزمات بعناية لضمان أن الحدود الناتجة تحقق خاصية $\sigma$-additivity، ولأجل $\mathbb{R}$، تحقق التقارب المنتظم لدوال التوزيع التراكمية (CDFs).

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

• إطار العمل للجزئية: تطور الورقة نظرية فئات شبه ماركوف، وتحديداً إثبات وجود وخصائص منتجات كولموغوروف في هذا السياق. يتضمن ذلك إثبات أن Partial(BorelStoch) هي فئة شبه ماركف مستمرة من النوع $\sigma$.
• تعريف مورفيزمات أخذ العينات التجريبي: يقدم المؤلفون تعريفاً فئوياً صارماً لمورفيزمات أخذ العينات التجريبي عبر قاعدتي الثبات تحت التبديل والكفاية التجريبية. ويثبتون وجود هذه المورفيزمات لجميع فضاءات بوريل القياسية.
• البراهين التركيبية للنظريات الحدية: باستخدام وجود مورفيزمات أخذ العينات التجريبي وانقسام المعرفات المتوازنة (balanced idempotents)، يستنتج المؤلفون نسخاً مجردة من:
  • نظرية دي فينيتي (de Finetti Theorem): إظهار أن المورفيزمات القابلة للتبادل تتحلل عبر كائن التوزيع.
  • نظرية جليفينكو-كانتي (Glivenko–Cantelli Theorem): إثبات التقارب المنتظم للمقاييس التجريبية إلى التوزيع الأساسي.
  • القانون القوي للأعداد الكبيرة (SLLN): استنتاج تقارب المتوسطات التجريبية إلى القيمة المتوقعة.
• التوحيد: يقدم العمل برهاناً موحداً لنظرية دي فينيتي، ونظرية جليفينكو-كانتي، وSLLN من المبادئ الأولى ضمن إطار فئوي واحد، بدلاً من التعامل معها كنتائج منفصلة في نظرية القياس.

النتائج

1. القابلية للتمثيل: يعني وجود مورفيزمات أخذ العينات التجريبي أن الفئة هي قابلة للتمثيل ملاحظياً (observationally representable). وهذا يعني أنه لكل كائن $X$، يوجد كائن توزيع $PX$ (يمثل مقاييس الاحتمال على $X$) ومورفيزم أخذ عينات $samp: PX \to X$.
2. نظرية جليفينكو-كانتي التركيبية: في أي فئة شبه ماركف تحقق افتراضات المؤلفين (بما في ذلك وجود مورفيزمات أخذ العينات التجريبي)، ينقسم مورفيزم إعادة أخذ العينات $es^{(N)}$ عبر كائن التوزيع. يؤدي هذا إلى النتيجة القائلة بأنه لأي مورفيزم قابل للتبادل، يكون المقياس التجريبي مساوياً للتوزيع الأساسي بشكل شبه مؤكد.
3. استعادة النتائج القياسية: من خلال تطبيق النظريات المجردة في Partial(BorelStoch):
   • تستعيد نظرية جليفينكو-كانتي التركيبية النظرية القياسية للمتغيرات العشوائية ذات القيم الحقيقية، والتي تنص على أن دالة التوزيع التراكمي التجريبية تتقارب بانتظام إلى دالة التوزيع التراكمي الحقيقية بشكل شبه مؤكد.
   • يستعيد القانون القوي للأعداد الكاسية (SLLN) التركيبي قانون كولموغورف للأعداد الكبيرة للمتغيرات العشوائية ذات القيم الحقيقية ذات العزوم الأولى المحدودة. ويشير المؤلفون إلى أن تقييداً محدداً على مجال مورفيزم أخذ العينات التجريبي لـ $\mathbb{R}$ ضروري لضمان تقارب المتوسط التجريبي (للتعامل مع حالة عدم وجود المتوسط).

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