Diagonalizing Through the $\omega$-Chain: Iterated Self-Certification on Bounded Turing Machines and its Least Fixed Point

إليك ملخص تقني مفصل لورقة "القطرية عبر السلسلة $\omega$: التصديق الذاتي المتكرر على آلات تورينج المحدودة وثابتها الأدنى" للكاتبة ميارا سونج.

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

تتناول الورقة القيود الجوهرية لـ التصديق الذاتي المقيد (bounded self-certification) في آلات تورينج. وتحديداً، تبحث فيما إذا كانت آلة تورينج $A$ تعمل تحت قيد زمني صارم $T$ تستطيع أن تقرر ما إذا كانت ستتوقف خلال $T$ من الخطوات عند إعطائها ترميزها الخاص $\langle A \rangle$ كمدخل.

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

2. المنهجية

تقوم المؤلفة بترجمة هذا القيد التشغيلي إلى إطار نظري للمجالات (domain-theoretic framework) لتحليل الانتقال من الملاحظة المحدودة إلى الحوسبة اللانهائية.

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

تُعرف الورقة مجالاً $D$ من الدوال الجزئية الرتيبة $p: \mathbb{N} \to \{0, 1, \bot\}$، المرتبة حسب الامتداد ($p \sqsubseteq q$ إذا كان $q$ يتفق مع $p$ حيثما كان $p$ معرفاً).

• $p(k) = 1$: الآلة تتوقف عند أو قبل الخطوة $k$.
• $p(k) = 0$: الآلة لم تتوقف بحلول الخطوة $k$.
• $p(k) = \bot$: السلوك عند الخطوة $k$ غير محدد.

ب. المؤثر $F$

يتم تعريف دالة $F: D \to D$ تقوم بتقديم ملاحظة سلوك الآلة بمقدار خطوة واحدة:

• الحالة الأساسية ($k=0$): تسجل الملاحظة المباشرة للآلة عند الخطوة 0.
• الخطوة الاستقرائية ($k+1$): إذا كانت الحالة السابقة $p(k)$ هي $\bot$، تظل الحالة الجديدة $\bot$. إذا كانت $p(k)=1$، تظل $1$. إذا كانت$p(k)=0$، يتحقق المؤثر مما إذا كانت الآلة تتوقف تماماً عند الخطوة$k+1$.
• الخاصية الجوهرية: يعتمد $F$ فقط على السلف المباشر $p(k)$، مما يجعله مستمراً وفق سكووت (Scott-continuous).

ج. البناء التكراري

بدءاً من النموذج الجزئي الفارغ $p_0 = \bot$، تبني الورقة سلسلة $\omega$ متصاعدة:
$$p_0 \sqsubseteq p_1 \sqsubseteq p_2 \sqsubseteq \dots \quad \text{حيث} \quad p_{i+1} = F(p_i)$$
كل $p_i$ تمثل ملاحظة التوقف القابلة للحوسبة بواسطة آلة ذات قيد زمني $i$.

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

النظرية 1: لا يوجد ثابت محدود

لأي قيد زمني نهائي $T$، لا توجد آلة في الفئة $B_T$ (الآلات القابلة للحوسبة خلال زمن $T$) تمثل نقطة ثابتة للمؤثر $F$.

• التعليل: إذا كانت $p \in B_T$، فإنها تكون غير معرفة لـ $k \geq T$. ومع ذلك، فإن $F(p)$ يوسع التعريف ليشمل $T$ (محاكاة الآلة المقيدة بـ $T$ تستغرق $T$ من الخطوات، زائد 1 للقرار). وبالتالي، $F(p) \neq p$.
• الاستنتاج: التصديق الذاتي المقيد مستحيل؛ لا يمكن للآلة أن تستوعب سلوك التوقف الخاص بها بالكامل ضمن قيودها الزمنية الخاصة.

النظرية 2: الثابت الأدنى (LFP) غير محدود

الثابت الأدنى للمؤثر، $p_\omega = \text{lfp}(F) = \bigsqcup_{n < \omega} p_n$، موجود ويمثل ملاحظة التوقف الكاملة للآلة.

• طبيعة $p_\omega$: هي دالة كلية معرفة لجميع قيم $k \in \mathbb{N}$.
• عدم القابلية للحوسبة: $p_\omega$ ليست في $\bigcup_{T \in \mathbb{N}} B_T$. فهي تتطلب زمناً غير محدود (قيد زمني $\omega$) لحسابها، مما يمثل انتقالاً من الحوسبة المحدودة إلى اللانهائية.

النظرية 3: شبه القابلية للتقرير عبر الملاحظة غير المتماثلة

تعيد الورقة تفسير شبه القابلية للتقرير لمشكلة التوقف من خلال عدسة هذه السلسلة $\omega$:

• الحالة الإيجابية (تتوقف): إذا توقفت الآلة عند الخطوة $K$، فإن الخاصية يتم إثباتها بواسطة السابقة النهائية $p_{K+1}$. يتم حسم الإجابة في زمن محدد.
• الحالة السلبية (لا تتوقف): إذا لم تتوقف الآلة أبداً، فإن $p_\omega(k) = 0$ لجميع قيم $k$. ولإعلان "عدم التوقف" بشكل قاطع، يجب التحقق من التسلسل اللانهائي من الأصفار.
• الآلية القطرية: إن محاولة تقرير "عدم التوقف" ضمن قيد زمني نهائي $T$ تفشل لأن العبء الإضافي (+1) يسمح لـ "المُقطِّر" (diagonalizer) ببناء تناقض عند الخطوة $T+1$. هذا "التأجيل المستمر للقطرية" يدفع القرار السلبي إلى الحد اللانهائي غير القابل للحوسبة.

4. الأهمية والآثار

1. إعادة صياغة مشكلة التوقف: تصيغ الورقة مشكلة التوقف ليس فقط كاستحالة منطقية، بل كـ ظاهرة مقيدة بالموارد. فالعجز عن تحديد التوقف هو نتيجة مباشرة لعبء المحاكاة (+1 خطوة) الذي يمنع وجود نقطة ثابتة ضمن الحدود النهائية.
2. الحل عبر نظرية المجالات: توضح الورقة أنه بينما لا تستطيع أي آلة مقيدة تحقيق التصديق الذاتي، فإن حد سكووت (Scott limit) للعملية التكرارية ينجح في تحديد سلوك التوقف. "الحل" لمفارقة المرجعية الذاتية موجود، ولكن فقط عند مستوى حوسبي أعلى (زمن غير محدود).
3. الارتباط بنظرية لافري (Lawvere's Theorem): تربط الورقة عبء المحاكاة بنظرية لافري للنقطة الثابتة. فالعجز عن كون الآلة المقيدة شاملة (surjective) على فضاء الدوال الخاص بها (بسبب العبء الإضافي) يقود إلى عملية تكرارية يقع ثابتها الأدنى خارج فئة الحوسبة المقيدة الأصلية.
4. العمومية: النتالية مستقلة عن النموذج. أي نظام حوسبي بحد موارد نهائي وعبء محاكاة موجب تماماً (مثل آلات السجلات المحدودة، أو الدوائر ذات العمق الثابت) سيظهر نفس سلوك السلسلة $\omega$ والفشل في التصديق الذاتي المقيد.

الخاتمة

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