يعتمد التكافؤ الرصدي على عائلة الاختبارات المسموحة كاملة. ولا تنغلق الديناميكيات المختزلة إلا عندما تعجز الفروق الخفية عن تغيير ناتج محفوظ لاحق.
ما الذي ستتعلمه
- بناء اختبار مستقبلي يفصل بين مشاهدتين حاليتين متساويتين.
- فحص الشرط الخطي المنتهي لوجود تحديث مستقل للسجل المحفوظ.
- شرح كيف يمكن أن تعود المعلومات المستبعدة إلى الظهور في صورة ذاكرة.
قبل أن تبدأ: الدرسان 01–02. يقدم هذا الدرس الترميز المصفوفي المطلوب لإحداثيين.
اطرح السؤال المستقبلي نفسه على التحضيرين
يسهل اختبار تساوي القيم المعروضة حالياً: نقارن العرضين. أما التساوي بوصفهما حالتين تنبؤيتين فيتطلب أكثر من ذلك. طبّق المعالجة المسموحة نفسها على كل تحضير، ثم قارن المشاهدات الناتجة. إذا فصل أي إجراء مسموح بينهما، فلا يمكن إسناد علامة تنبؤية واحدة إلى التحضيرين في تلك التجربة.
هذا تعريف إجرائي، وليس مطالبةً بالاحتفاظ بكل تفصيل خفي يمكن تخيله. فالفرق الذي لا يستطيع أي تحضير أو عملية أو قياس مسموح إظهاره لا يلزم أن يصبح تمييزاً متاحاً للرصد. تحدد عائلة الاختبارات دقة الوصف. وقد يؤدي توسيع هذه العائلة إلى تقسيم صنف تكافؤ قديم؛ ولذلك يجب أن يبيّن النموذج أدوات التحكم التي تنتمي إلى واجهته التجريبية.
مثال محلول: بتّ تحكم خفي
لتكن الحالة الكاملة (b,m)، حيث b بتّ ظاهر وm بتّ ذاكرة. يقرأ الكاشف الحالي b. قارن (0,0) و(0,1): كلاهما يعرض صفراً. اسمح بتحديث U يستبدل b بنتيجة b XOR m مع الاحتفاظ بـm. وتعني XOR الجمع بترديد اثنين، ولذلك يعطي بتّان متساويان صفراً، ويعطي بتّان مختلفان واحداً.
بعد U تبقى الحالة الأولى (0,0)، وتصبح الثانية (1,1). يقرأ الكاشف نفسه الآن قيمتين مختلفتين. لذلك لا يستطيع b وحده تحديد العرض التالي تحت U. ويصلح الاحتفاظ بالبتّين كليهما التنبؤ. والبديل هو حذف U من أدوات التحكم المسموحة؛ وهذا يغير المسألة. أما الاستمرار في تسمية العرضين الابتدائيين متكافئين مع استخدام m لاحقاً فيترك التحديث المختزل ملتبساً.
افتح الرسم بالحجم الكامل ←
متى يكون التحديث المختزل معرّفاً تعريفاً سليماً؟
لتكن Π خريطة ترسل الحالة الكاملة إلى سجلها. نطلب تحديثاً V يستخدم السجلات وحدها، بحيث V(Π(z))=Π(U(z)). وهذا ممكن بالضبط عندما تظل أي حالتين كاملتين لهما السجل نفسه متساويتين في سجلهما بعد U. والضرورة مباشرة: لا تستطيع دالة V إسناد ناتجين إلى مدخل واحد.
لإثبات الكفاية، اختر أي ممثل z لسجل r وعرّف V(r)=Π(U(z)). يضمن الشرط أن يعطي أي ممثل آخر النتيجة نفسها. وهذا هو كامل مضمون كون التحديث على أصناف التكافؤ معرّفاً تعريفاً سليماً. وإذا سُمح بأدوات تحكم كثيرة، وجب تحقق الشرط للمتتاليات المكتملة ذات الصلة، لا لعملية واحدة مختارة لملاءمتها فحسب.
فحص دقيق بإحداثيين
اكتب تحديثاً خطياً على الصورة M(x,y)=(ax+by,cx+dy)، حيث x محفوظ وy خفي. يكون الإحداثي الظاهر التالي ax+by. ولذلك تختلف الحالتان (x,y) و(x,y′) في القراءة التالية بمقدار b(y−y′). ويتحقق الاستقلال لكل مدخل خفي إذا وفقط إذا كان b=0.
يحتفظ P هنا بالمركبة المحفوظة، ويحتفظ Q بمتممتها، وI هي عملية الهوية. يعطي ضرب PM=TP في Q العلاقة PMQ=0. وبالعكس، يستلزم هذا الشرط PM=PMP، ولذلك يحدد الجزء الظاهر من M التحديث T. هذا إسقاط للمعلومات على متجهات؛ أما القياس الكمي الفيزيائي فيحتاج إلى بناء أداة القياس المختلف في الدرس 07.
يمكن للحد المختار أن يعيد الاستقلال
أدر مستوى حقيقياً بزاوية θ مع الاحتفاظ بإحداثيه الأول فقط. تعتمد القيمة الظاهرة الوسيطة عموماً على الإحداثي الثاني الخفي. والآن أتبع الدوران بمعكوسه قبل إتاحة سجل مكتمل. حاصل ضربهما هو الهوية، فتساوي القيمة المحفوظة النهائية قيمتها الابتدائية بصرف النظر عن المدخل الخفي.
يوضح هذا المثال لماذا يختلف اختبار التسرب الداخلي عن اختبار التسرب عند الاكتمال. يمكن أن يكون الاكتمال حداً ينغلق عنده التحديث المختزل، حتى عندما لا تنغلق المراحل الوسيطة. لكنه لا يثبت أن كل مصدر يعكس عمله. يجب أن يحدد قانون المصدر الفعلي المتتالية، وأن تصدّق علامة الاكتمال بلوغَ الحد قبل استخدام قاعدة السجل المبسطة.
ماذا نفعل عندما يكون السجل أصغر مما يلزم؟
توجد ثلاث استجابات بنّاءة لفشل الاستقلال: الاحتفاظ بمزيد من الحالة، أو تقييد لغة العمليات، أو جعل التنبؤات تعتمد على تاريخ مسجل. يعطي الخيار الأخير معادلات ذاكرة. وقد يؤدي حذف متغير خفي يخضع للاسترخاء إلى تكامل موزون أسياً للقيم الظاهرة السابقة، مع حد يعتمد على التحضير الابتدائي الخفي.
لهذه الذاكرة معنى، لكن نموذجاً ذا وسيط زمني عادي واحد ومتغير مساعد يستطيع بالفعل إنتاجها. ولإثبات قيد مميز لنظرية ازدواجية الزمن، اشتق الذاكرة المسموحة وعلاقتها باستجابات المصدر المقيسة بصورة مستقلة. يقدم دليل السجلات والذاكرة عملية الحذف كاملة. احمل نتيجة هذا الدرس إلى عرض الفضاء الثنائي: ليس الإحداثي الحالي الدقيق بالضرورة حالة تنبؤية كافية.
تمارين وإجابات مفصلة
حاول حل كل سؤال، ثم افتح الإجابة لمقارنة الخطوات.
التمرين 1
بالنسبة إلى M(x,y)=(3x+2y,y)، قارن الحالتين الابتدائيتين (1,0) و(1,4). هل تستطيع قاعدة تستخدم x وحده التنبؤ بالمشاهدة التالية؟
اعرض الإجابة المفصلة
يعرض التحضيران x=1. تكون القراءة التالية للأول 3×1+2×0=3، وللثاني 3×1+2×4=11. ولا تستطيع دالة للمدخل المشترك، وهو واحد، أن تعطي كلاً من ثلاثة وأحد عشر. يساوي الفرق ثمانيةً: bΔy=2×4. يلزم الاحتفاظ بـy أو منع هذا الاقتران للحصول على تنبؤ مختزل دقيق من الرتبة الأولى.
التمرين 2
يرسل ربع دورة (x,y) إلى (−y,x). بيّن أثر تطبيق ربع الدورة مرتين، وحدد هل يتنبأ x وحده بتلك النتيجة المكتملة.
اعرض الإجابة المفصلة
طبّق القاعدة مرتين: تصبح (x,y) أولاً (−y,x)، ثم (−x,−y). تعتمد المركبة الأولى بعد خطوة واحدة على y الخفي. وبعد خطوتين تصبح −x، التي تعتمد على x المحفوظ وحده. وهكذا ينغلق التحديث المكتمل ذو الخطوتين على الصورة V(x)=−x، مع أن الخطوة المنفردة لا تنغلق. ويتطلب استخدامه أن تكون الخطوتان قد اكتملتا فعلاً.
مقالات مرتبطة بالإنجليزية
- When two histories count as the same observation
Completion identifies histories that leave the same record, while observation identifies records that available tests cannot distinguish. Their combined quotient is consistent only with the declared operations and contexts.
- Test languages and observable quotients
A test language determines which records an observer can distinguish. Enlarging that language refines the observable quotient and reveals when apparently different instruments retain the same information.
- Retained observations versus predictive states
A readable record need not contain enough information to predict its next update. An exact leakage criterion identifies when a linear completion is autonomous and measures the error when hidden information returns.