ورقة بحثية جديدة تمدّ نظرية تعقيد كولموغوروف إلى زمر التماثل عبر "مبرهنة ترميز هندسية"

ظهرت على منصة arXiv ورقة بحثية بعنوان "CAS I: مبرهنة ترميز هندسية" (CAS I: A Geometric Coding Theorem)، تفتح بها فريق البحث ما يصفونه ببداية سلسلة جديدة تحت اسم "الإحصاء الحسابي الخوارزمي" (Computational Algorithmic Statistics)، أو اختصاراً CAS. الورقة، التي قُدّمت في 15 يوليو 2026 وحملت الرقم التصنيفي arXiv:2607.13796، تغوص في سؤال ضيّق النطاق لكنه جوهري داخل نظرية المعلومات الخوارزمية (Algorithmic Information Theory): كيف يتصرف التعقيد (Complexity) حين تحمل الأجسام المُقاسة تماثلاً بنيوياً؟

المساهمة الأساسية للورقة هي بناء ما يسمّونه "أولوية التماثل" (Symmetry Prior)، وقد أثبت الباحثون أنها مقياس شبه كوني قابل للحوسبة من أسفل (Universal Lower Semi-computable Semi-measure) خاص بما يسمّونه "زمر التماثل القابلة للاستدعاء الثابت" (Fix-retractable Symmetry Groups). بلغة أبسط، هذه أداة رياضية تمنح احتمالات للأجسام المُهيكلة بناءً على مدى قابليتها للضغط (Compressibility)، لكنها مصمّمة خصيصاً لتأخذ التماثل بعين الاعتبار، بدل معاملة كل جسم كسلسلة عشوائية بلا بنية. الأمر مهم لأن نظرية المعلومات الخوارزمية الكلاسيكية، المبنية على تعقيد كولموغوروف (Kolmogorov Complexity) والأولوية الكونية لسولومونوف (Solomonoff's Universal Prior)، لم تُصمَّم أصلاً مع وضع زمر التماثل في الحسبان. البيانات الحقيقية، من التراكيب الجزيئية إلى الأنماط البصرية والأنظمة الفيزيائية، غالباً ما تكون مليئة بتماثلات تتعامل معها مقاييس الضغط العامة بشكل متعثر أو تتجاهلها كلياً.

إحياء مبرهنة الترميز في سياق هندسي

النتيجة التي تحمل الورقة اسمها، أي "مبرهنة الترميز الهندسية" (Geometric Coding Theorem)، هي نظير مباشر لمبرهنة الترميز الكلاسيكية (Coding Theorem) في نظرية المعلومات الخوارزمية. المبرهنة الأصلية، وهي نتيجة محورية تربط الاحتمال الخوارزمي (Algorithmic Probability) لسلسلة ما بتعقيدها الكولموغوروفي، أثبتت أن الأجسام الأسهل وصفاً خوارزمياً هي أيضاً الأكثر احتمالاً بحسب التوزيع الكوني. عبر إعادة بناء هذه العلاقة داخل الإطار الجبري لزمر التماثل، يمدّ الباحثون ركيزة عمرها عقود من الزمن في هذا المجال إلى منطقة تحكمها بنية نظرية الزمر (Group Theory) ونظرية المقولات (Category Theory)، وليس مجرد طول الوصف الخام.

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

لماذا قد يتجاوز الأمر النظرية البحتة

تسمية الورقة بـ"CAS I" تشير إلى أن الباحثين يضعون أساساً وليس نتيجة مكتملة بذاتها. فالإحصاء الخوارزمي (Algorithmic Statistics)، وهو التخصص الذي يستخدم قابلية الضغط لتفسير البيانات والتنبؤ بها، واجه تاريخياً صعوبة في صياغة كيفية تفاعل التماثل مع التعقيد بشكل رياضي دقيق. فإذا صمد إطار CAS أمام التمحيص واستمر تطويره في أوراق لاحقة، فقد يزوّد الباحثين بمفردات صارمة تفسّر لماذا تكون البنى المتماثلة، من الشبكات البلورية إلى مخططات تشارك الأوزان (Weight-sharing) في الشبكات العصبية، أبسط وأكثر احتمالية من نظيراتها غير المتماثلة.

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