2025-11-17T00:16:13.462169

Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction

Lorenzin, Zanasi
Increasingly in recent years, probabilistic computation has been investigated through the lenses of categorical algebra, especially via string diagrammatic calculi. Whereas categories of discrete and Gaussian probabilistic processes have been thoroughly studied, with various axiomatisation results, more expressive classes of continuous probability are less understood, because of the intrinsic difficulty of describing infinite behaviour by algebraic means. In this work, we establish a universal construction that adjoins infinite tensor products, allowing continuous probability to be investigated from discrete settings. Our main result applies this construction to $\mathsf{FinStoch}$, the category of finite sets and stochastic matrices, obtaining a category of locally constant Markov kernels, where the objects are finite sets plus the Cantor space $2^{\mathbb{N}}$. Any probability measure on the reals can be reasoned about in this category. Furthermore, we show how to lift axiomatisation results through the infinite tensor product construction. This way we obtain an axiomatic presentation of continuous probability over countable powers of $2=\lbrace 0,1\rbrace$.
academic

الاقتراب من المستمر من خلال المنفصل: بناء حاصل الضرب الموتري اللانهائي

المعلومات الأساسية

  • معرّف الورقة: 2510.14716
  • العنوان: الاقتراب من المستمر من خلال المنفصل: بناء حاصل الضرب الموتري اللانهائي
  • المؤلفون: أنطونيو لورنزين (a.lorenzin.95@gmail.com)، فابيو زاناسي (جامعة كوليدج لندن)
  • التصنيف: math.CT (نظرية الفئات)، cs.LO (المنطق في علوم الحاسوب)
  • تاريخ النشر: 16 أكتوبر 2025 (مسودة arXiv)
  • رابط الورقة: https://arxiv.org/abs/2510.14716

الملخص

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

تؤسس هذه الورقة بناءً عاماً لإرفاق حواصل الضرب الموترية اللانهائية، مما يسمح بدراسة الاحتمالية المستمرة من الإعدادات المنفصلة. يطبق النتيجة الرئيسية هذا البناء على FinStoch (فئة المجموعات المحدودة والمصفوفات العشوائية)، مما ينتج عنه فئة نوى ماركوف الثابتة محلياً، حيث تكون الكائنات مجموعات محدودة بالإضافة إلى فضاء كانتور 2N2^{\mathbb{N}}. يمكن تطبيق أي مقياس احتمالي على الأعداد الحقيقية في هذه الفئة. علاوة على ذلك، يتم عرض كيفية رفع النتائج البديهية من خلال بناء حاصل الضرب الموتري اللانهائي، وبالتالي الحصول على تمثيل بديهي للاحتمالية المستمرة على القوة القابلة للعد من 2={0,1}2=\{0,1\}.

السياق البحثي والدافع

خلفية المشكلة

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

المشكلة الأساسية

على الرغم من أن فئات الاحتمالية المنفصلة (مثل FinStoch و BinStoch) والاحتمالية الغاوسية قد حصلت على بديهيات كاملة، إلا أن البديهية الرسومية للاحتمالية المستمرة لا تزال تمثل فجوة أساسية. يكمن التحدي الرئيسي في كيفية ترميز السلوك اللانهائي مباشرة ضمن إطار عمل الجبر الرسومي الموجود.

الدافع البحثي

  1. الحاجة النظرية: الحاجة إلى توفير وصف فئوي كامل للاحتمالية المستمرة
  2. الابتكار المنهجي: ربط الاحتمالية المنفصلة والمستمرة من خلال حواصل الضرب الموترية اللانهائية
  3. القيمة العملية: توفير أدوات جبرية للاستدلال الاحتمالي المستمر

المساهمات الأساسية

  1. البناء العام: إدخال بناء عام لإرفاق حواصل الضرب الموترية اللانهائية بأي فئة شبه ديكارتية (النظرية 1)
  2. التمثيل الرسومي: توفير تمثيل رسومي للفئات المولدة بحرية ذات حواصل الضرب الموترية اللانهائية، باستخدام تدوين الصفائح
  3. توصيف FinStoch⊗∞: توصيف FinStoch⊗∞ باستخدام فضاءات Stone ونوى ماركوف الثابتة محلياً (النظرية 2)
  4. التمثيل البديهي: توفير تمثيل بديهي لـ CantorStochlc، أي قيد FinStoch⊗∞ على قوى 2 وفضاء كانتور 2^ℕ (النتيجة 2)

شرح الطريقة

الأساس النظري: الفئات شبه الديكارتية

التعريف 1: الفئة شبه الديكارتية هي فئة أحادية متماثلة (C,⊗,I) حيث الوحدة الأحادية I هي كائن نهائي.

أمثلة رئيسية:

  • FinStoch: الكائنات هي مجموعات محدودة، والتشكلات هي دوال عشوائية f: X → Y
  • BinStoch: فئة فرعية من FinStoch، الكائنات هي قوى محدودة من 2={0,1}
  • BorelStoch: الكائنات هي فضاءات Borel القياسية، والتشكلات هي نوى ماركوف

تعريف حاصل الضرب الموتري اللانهائي

التعريف 2: حاصل الضرب الموتري اللانهائي المجرد هو دالة X: P_(J)^{op} → C، التي تعين المجموعات الفرعية المحدودة F إلى X_F := ⊗_{j∈F} X_j.

التعريف 3: حاصل الضرب الموتري اللانهائي الملموس X = ⊗_{j∈J} X_j هو حد المجموعة المقابلة للاحتمالية اللانهائية المجردة، وهذا الحد يتم الحفاظ عليه بواسطة -⊗Y.

البناء العام C⊗∞

الفكرة الأساسية: تعريف التشكلات من خلال العائلات المتوافقة (compatible families)، التي تحقق:

  • الطبيعية: التبديل مع تشكلات الإسقاط
  • شرط التغطية: كل مجموعة فرعية محدودة من الهدف لها مجموعة فرعية محدودة مقابلة من المصدر
  • الوراثة: إذا كانت (F,G) في العائلة، فإن جميع (F',G) (F' ⊇ F) موجودة أيضاً في العائلة

التعريف 8: التشكل f: X → Y في C⊗∞ هو فئة من العائلات المتوافقة، والتركيب يتم تعريفه نقطياً:

(gf)_{F,H} := g_{G,H} f_{F,G}

تدوين الصفائح (Plate Notation)

لتمثيل العائلات المتوافقة بشكل بديهي، يتم إدخال تدوين الصفائح:

f_{F,G}
─────────  يمثل التشكل f: X → Y
(F,G) ∈ Λ_f
  X    Y

يشبه هذا التدوين تدوين الصفائح في شبكات بايز، لكنه متخصص لتمثيل العائلات المتوافقة.

النظريات الرئيسية

النظرية 1: الخصائص العامة

بالنسبة لفئة شبه ديكارتية C مع حذف الحذف، يوجد فئة شبه ديكارتية C⊗∞ مع حواصل ضرب موترية لانهائية ودالة أحادية متماثلة صارمة C → C⊗∞، بحيث أنه لأي فئة شبه ديكارتية D مع حواصل ضرب موترية لانهائية ودالة أحادية متماثلة φ: C → D، يوجد دالة أحادية متماثلة فريدة φ̃: C⊗∞ → D محفوظة ITP بحيث يتبادل الرسم البياني.

النظرية 2: توصيف فضاء Stone

الدالة الأحادية المتماثلة المحفوظة ITP

φ: FinStoch⊗∞ → StoneStoch^{lc}

هي كاملة وأمينة، وصورتها الأساسية هي حاصل الضرب الموتري اللانهائي للمجموعات المحدودة بالمعنى الطوبولوجي.

نوى ماركوف الثابتة محلياً (التعريف 11): تشكل بين فضاءات Stone f: X → Y يحقق:

  • f(U|-): X → 0,1 ثابت محلياً لجميع المجموعات المفتوحة المغلقة U
  • f(-|x): Clopen(Y) → 0,1 مقياس احتمالي محدود الإضافة لجميع x∈X

الإعدادات التجريبية والتطبيقات

حالة سلاسل ماركوف

تعرض الورقة تطبيق تدوين الصفائح من خلال سلاسل ماركوف. يمكن تمثيل سلسلة ماركوف المتجانسة زمنياً كـ:

c_n: X → X^n := f ∘ c_{n-1}

في إعداد حاصل الضرب الموتري اللانهائي، يمكن تعريف سلسلة ماركوف لانهائية c: X → X^ℕ، وإثبات عدم تغيرها تحت إضافة خطوة سابقة:

c_n = c_{n-1} ∘ f = c ∘ f

النتائج التجريبية

القدرة التعبيرية

النتيجة الرئيسية: يحتوي CantorStoch^{lc} على جميع المقاييس الاحتمالية على ℝ. يحدث هذا لأن ℝ هو حاصل الضرب الموتري اللانهائي من 2 في BorelStoch، بينما 2^ℕ هو الكائن المقابل في CantorStoch^{lc}.

الإنجازات البديهية

النتيجة 3: CantorStoch^{lc} متماثل مع Free^∞(Σ,E)، حيث (Σ,E) هي النظرية الأحادية المتماثلة لـ CausCirc.

هذا يعني أنه يمكن توصيف هذه الفئة الاحتمالية المستمرة بالكامل باستخدام مولدات ومعادلات محدودة.

الأعمال ذات الصلة

نظرية الاحتمالية الفئوية

  • نظرية فئات ماركوف لـ Fritz وآخرين 11
  • البديهيات للاحتمالية المنفصلة 21
  • الرسوم البيانية النصية للاحتمالية الغاوسية 25

حواصل الضرب الموترية اللانهائية

  • العمل الرائد لـ Fritz و Rischel 16
  • التطبيقات في الاحتمالية الفئوية 13,14

الابتكار في هذه الورقة

بالمقارنة مع الأعمال الموجودة، توفر هذه الورقة للمرة الأولى طريقة منهجية للبناء من الاحتمالية المنفصلة إلى المستمرة، مع توفير تمثيل بديهي كامل.

الخلاصة والمناقشة

الاستنتاجات الرئيسية

  1. تأسيس بناء عام لإرفاق حواصل الضرب الموترية اللانهائية
  2. إثبات أن FinStoch⊗∞ يمكن توصيفه كنوى ماركوف الثابتة محلياً
  3. توفير بديهية كاملة للاحتمالية المستمرة
  4. عرض طريقة منهجية من المنفصل إلى المستمر

القيود

  1. قيود القدرة التعبيرية: عدم القدرة على استرجاع BorelStoch الكامل، لأن درجات الحرية للدوال القابلة للقياس لا يمكن التقاطها بالكامل من خلال العمليات المحدودة
  2. قيد الثبات المحلي: يمكن فقط التعامل مع نوى ماركوف الثابتة محلياً، وليس جميع العمليات الاحتمالية المستمرة
  3. قيد القابلية للعد: ينطبق البناء فقط على حواصل الضرب الموترية اللانهائية القابلة للعد

الاتجاهات المستقبلية

  1. التوسع إلى نوى ماركوف العامة: البحث عن كيفية وصف النوى العامة باستخدام النوى الثابتة محلياً
  2. تحليل المقاييس: البحث عن البنى العامة التي تضمن وجود الشروط في فئات ماركوف
  3. ثنائية Stone: دراسة التشكلات الاحتمالية بين الجبر البوليني من خلال ثنائية Stone
  4. فئات أخرى: التطبيق على الاحتمالية الغاوسية والخليط الغاوسي وفئات أخرى

التقييم المتعمق

المميزات

  1. الابتكار النظري: أول ربط منهجي بين الوصف الفئوي للاحتمالية المنفصلة والمستمرة
  2. البناء العام: توفير بناء عام ينطبق على جميع الفئات شبه الديكارتية
  3. الأداة العملية: توفير تدوين الصفائح كأداة بديهية للاستدلال المعقد بحاصل الضرب الموتري اللانهائي
  4. النتائج العميقة: إثبات أن فضاء كانتور كافٍ لتمثيل جميع المقاييس الاحتمالية على الأعداد الحقيقية

أوجه القصور

  1. التطبيقات المحدودة: حالات سلاسل ماركوف نسبياً بسيطة، تحتاج إلى تطبيقات أكثر تعقيداً لعرض الإمكانيات
  2. تعقيد الحساب: عدم مناقشة مشاكل التعقيد في الحسابات العملية
  3. تفاصيل التنفيذ: نقص في تفاصيل الخوارزميات الملموسة وأدوات الحساب

التأثير

  1. المساهمة النظرية: توفير أدوات نظرية مهمة لنظرية الاحتمالية الفئوية
  2. الأهمية المنهجية: فتح طريقة جديدة للاقتراب من المستمر من خلال المنفصل
  3. آفاق التطبيق: توفير أساس نظري جديد للبرمجة الاحتمالية وتعلم الآلة

السيناريوهات المناسبة

  1. البحث النظري: البحث في نظرية الفئات والاحتمالية والمنطق
  2. البرمجة الاحتمالية: توفير أساس دلالي أكثر صرامة
  3. تعلم الآلة: توفير أدوات جبرية للنماذج الاحتمالية
  4. التحقق الشكلي: توفير أدوات لتحليل الأنظمة الاحتمالية الشكلية

المراجع

تستشهد الورقة بـ 29 مرجعاً ذا صلة، تشمل بشكل أساسي:

  • 11 Fritz, T.: نهج اصطناعي لنوى ماركوف (العمل الأساسي لفئات ماركوف)
  • 16 Fritz, T., Rischel, E.F.: المنتجات اللانهائية وقوانين الصفر والواحد (العمل الأصلي لحواصل الضرب الموترية اللانهائية)
  • 21 Piedeleu, R. وآخرون: بديهية كاملة للتكافؤ في البرمجة الاحتمالية المنفصلة
  • 25 Stein, D. وآخرون: الجبر التربيعي الرسومي (الرسوم البيانية النصية للاحتمالية الغاوسية)

تقدم هذه الورقة مساهمة مهمة في مجال نظرية الاحتمالية الفئوية، حيث توفر طريقة منهجية للمعالجة الجبرية للاحتمالية المستمرة. على الرغم من أن هناك حاجة إلى مزيد من التطوير في جوانب التطبيق العملي، إلا أن قيمتها النظرية والابتكار المنهجي لهما أهمية عميقة وبعيدة المدى.