2025-11-13T00:34:10.513475

Compositional Symmetry as Compression: Lie Pseudogroup Structure in Algorithmic Agents

Ruffini
In the algorithmic (Kolmogorov) view, agents are programs that track and compress sensory streams using generative programs. We propose a framework where the relevant structural prior is simplicity (Solomonoff) understood as \emph{compositional symmetry}: natural streams are well described by (local) actions of finite-parameter Lie pseudogroups on geometrically and topologically complex low-dimensional configuration manifolds (latent spaces). Modeling the agent as a generic neural dynamical system coupled to such streams, we show that accurate world-tracking imposes (i) \emph{structural constraints} -- equivariance of the agent's constitutive equations and readouts -- and (ii) \emph{dynamical constraints}: under static inputs, symmetry induces conserved quantities (Noether-style labels) in the agent dynamics and confines trajectories to reduced invariant manifolds; under slow drift, these manifolds move but remain low-dimensional. This yields a hierarchy of reduced manifolds aligned with the compositional factorization of the pseudogroup, providing a geometric account of the ``blessing of compositionality'' in deep models. We connect these ideas to the Spencer formalism for Lie pseudogroups and formulate a symmetry-based, self-contained version of predictive coding in which higher layers receive only \emph{coarse-grained residual transformations} (prediction-error coordinates) along symmetry directions unresolved at lower layers.
academic

التماثل التركيبي كضغط: بنية زمرة لي الزائفة في الوكلاء الخوارزميين

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

  • معرّف الورقة: 2510.10586
  • العنوان: التماثل التركيبي كضغط: بنية زمرة لي الزائفة في الوكلاء الخوارزميين
  • المؤلف: جوليو روفيني (Neuroelectrics, Starlab, BCOM, برشلونة، إسبانيا)
  • التصنيف: cs.LG cs.AI cs.IT math.IT q-bio.NC
  • وقت النشر/المؤتمر: قيد المراجعة - مسار الإجراءات 2025
  • رابط الورقة: https://arxiv.org/abs/2510.10586

الملخص

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

الخلفية البحثية والدافع

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

المشكلة الأساسية التي تعالجها هذه الورقة هي: كيفية بناء إطار نظري قائم على التماثل للوكلاء الخوارزميين يمكنه ضغط وتتبع تدفقات البيانات الطبيعية ذات البنية التركيبية بفعالية؟

أهمية البحث

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

قيود الطرق الموجودة

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

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

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

شرح الطريقة

تعريف المهمة

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

الإطار النظري

1. تعريف النموذج التوليدي

التعريف 1 (النموذج التوليدي): النموذج التوليدي هو خريطة سلسة من متعدد الأبعاد C ذي البعد M إلى فضاء الملاحظة R^X:

f: C → R^X, I = f(c)

التعريف 2 (نموذج لي التوليدي): إذا كانت هناك زمرة لي زائفة G تعمل على C و R^X، بحيث لأي c ∈ C، يوجد γ ∈ G يحقق:

c = γ·c₀, f(c) = γ·I₀

فإن f يسمى نموذج لي التوليدي.

2. ديناميكيات تتبع العالم

تتبع الحالة عالية الأبعاد x ∈ R^X للوكيل معادلة الشبكة العصبية:

ẋ = F(x; w, I_θ(t))  (2)

قيد تتبع العالم هو:

p(x(t)) ≈ I_θ(t)  (3)

3. متطلبات التكافؤ

يتطلب التتبع الفعال احترام الديناميكيات الداخلية لنفس الإجراء الجماعي:

∀γ ∈ G: f(γ·x; w, γ·I_θ) = γ·f(x; w, I_θ)
p(γ·x) = γ·p(x)  (4)

نقاط الابتكار التقني

1. البنية العودية للتماثل التركيبي

باستخدام الخريطة الأسية لزمرة لي الزائفة، يمكن تحليل التحويلات المعقدة إلى:

γ = exp(∑ᵣₖ₌₁ θₖTᵏ)

يوفر هذا معاملات تركيبية عودية، مما يحقق ضغطاً منظماً.

2. كميات محفوظة من نوع نويثر

تحت المدخلات الثابتة، يؤدي التكافؤ إلى عدم تغير القراءة: p(x) = const، حيث يحدد كل قناة قراءة كمية محفوظة، وتقتصر المسارات على أوراق فضاء الطور ذات البعد (X-Y).

3. التحبيب الهرمي المخفض

من خلال علم الزمرة الزائفة الجزئية:

G = H₀ ⊃ H₁ ⊃ ... ⊃ H_L

بناء متعددات أبعاد مخفضة متداخلة:

M₀ ⊃ M₁ := M₀/H₁ ⊃ ... ⊃ M_L

4. تنفيذ طبقة التنبؤ

تتنبأ كل طبقة k بـ Îₖ = γ̂ₖ·I₀، وتحسب البقايا:

rₖ := γ̂ₖ⁻¹·I_θ(t) - I₀  (8)

تطبيق مشغل التحبيب:

mₖ→ₖ₊₁ := Cₖ→ₖ₊₁(rₖ)  (9)

إعداد التجارب

إثبات المفهوم: نموذج قط Blender

توفر الورقة في الملحق مثالاً تطبيقياً محدداً، باستخدام تجميع شخصية القط في برنامج Blender كتطبيق عملي لبنية هرمية لزمرة لي الزائفة:

خريطة البنية الهرمية

  1. المستوى 1: الكاميرا والعدسة - SE(3) × R
  2. المستوى 2: الجسم العام/الجذر - SE(3)
  3. المستوى 3: سلسلة الجذع/العمود الفقري - R^n_spine
  4. المستوى 4: الأطراف/المخالب/الذيل - R^n_limb
  5. المستوى 5: التشكل الوجهي - R^d_face
  6. المستوى 6: المظهر/الفراء/المواد - R^d_mat
  7. المستوى 7: الإضاءة والبيئة - SE(3) × R^d_SH

تنفيذ الإجراء التركيبي

استخدام نموذج منتج الأسيات (Product of Exponentials, PoE):

T(θ) = (∏ₙ∈chain e^[Sₙ]θₙ) M

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

التحقق النظري

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

التنفيذ المفاهيمي

يوضح مثال Blender:

  • التنفيذ العملي للتحليل المحلي للزمرة γ = γ^(7)γ^(6)...γ^(1)
  • المعنى الهندسي للفضاءات الحاصلة المتداخلة Mₖ = Mₖ₋₁/Hₖ
  • آلية انتشار البقايا التنبؤية في اتجاهات الحاصل

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

التماثل والتعلم العميق

  • شبكات التكافؤ الجماعي: قيود التكافؤ في هذه الورقة متطابقة روحياً مع شبكات CNN المتكافئة الجماعية
  • تعلم عدم التغير: Miao & Rao (2007) وآخرون حول تعلم زمرة لي لعدم التغير البصري
  • اكتشاف التماثل: Moskalev وآخرون (2022) وطرق الاستدلال على التماثل

تعلم المتعددات والضغط

  • افتراض المتعدد: توسيع افتراض المتعدد التقليدي بإضافة بنية تغطية هندسية
  • التمثيل الهرمي: يرتبط بتعلم التمثيل الهرمي للنماذج العميقة
  • نظرية المعلومات الخوارزمية: نظرية الضغط القائمة على تعقيد كولموغوروف

ترميز التنبؤ

  • ترميز التنبؤ التقليدي: Friston (2018) وآخرون حول نظرية المعالجة التنبؤية
  • التنبؤ الهرمي: توفر هذه الورقة صيغة رياضية رسمية قائمة على التماثل

الاستنتاجات والمناقشة

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

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

القيود

  1. افتراض المحلية: جميع الإنشاءات محلية، والبيانات العامة تتطلب شروط توافق إضافية
  2. فضاء الكمون المعقد: قد تفشل عندما يكون فضاء الكمون للنموذج التوليدي معقداً جداً
  3. تحديات التنفيذ العملي: وجود فجوة بين النظرية والتنفيذ العملي للشبكات العصبية

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

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

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

المزايا

  1. الابتكار النظري: دمج مبتكر لنظرية زمرة لي الزائفة مع نظرية الوكلاء الخوارزميين
  2. الصرامة الرياضية: توفير صيغة رياضية صارمة تربط عدة مجالات رياضية
  3. الوحدة: توحيد الضغط والتماثل والتعلم الهرمي في إطار واحد
  4. التوجيه العملي: توفير توجيه نظري لتصميم الهياكل المعمارية المدركة للتماثل
  5. القيمة متعددة التخصصات: ربط الرياضيات والتعلم الآلي والعلوم العصبية الحسابية وغيرها

أوجه القصور

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

التأثير

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

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

  1. المجالات ذات التماثل الواضح: مثل الروبوتات والرؤية الحاسوبية مع التحويلات الهندسية
  2. البيانات الهرمية: أنواع البيانات ذات البنية الهرمية الطبيعية
  3. مهام الضغط: التطبيقات التي تتطلب ضغطاً منظماً
  4. أنظمة ترميز التنبؤ: تنفيذ ترميز التنبؤ الذي يتطلب أساساً نظرياً

المراجع

تستشهد الورقة بأعمال ذات صلة غنية، بما في ذلك:

  • Cover & Thomas (2006): أساسيات نظرية المعلومات الخوارزمية
  • Goldschmidt (1967), Seiler (2010): نظرية سبنسر لزمر لي الزائفة
  • Poggio et al. (2016, 2020): نظرية التركيبية للتعلم العميق
  • Friston (2018): نظرية ترميز التنبؤ
  • Lynch & Park (2017): طرق زمرة لي في الروبوتات الحديثة

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