يعتمد التكافؤ الرصدي على عائلة الاختبارات المسموح بها كاملة. ولا تنغلق الديناميكا المختزلة إلا حين لا تستطيع الفروق الخفية تغيير خرج لاحق محتفظ به.
ما ستتعلمه
- بناء اختبار مستقبلي يفصل بين مشاهدتين حاليتين متساويتين.
- فحص الشرط الخطي المنتهي لتحديث مستقل للمعلومات المحتفظ بها.
- شرح كيف يمكن أن تعود المعلومات المستبعدة على صورة ذاكرة.
قبل أن تبدأ: الدرسان 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 مع أن الخطوة المنفردة لا تنغلق. ويتطلب استخدامه اكتمال الخطوتين فعلًا.
تابع مع المقالات
- متى يُعدّ تاريخان المشاهدة نفسها؟
تقديم الاكتمال والتكافؤ الرصدي بوصفهما طريقتين مختلفتين لتعيين التواريخ المتكافئة. وشرح كيف تحدّد الاختبارات المتاحة للراصد الفروق التي تبقى.
- لغات الاختبار وحواصل القسمة الرصدية
استكشاف كيف تغيّر الاختبارات الأغنى الفروق التي يحتفظ بها نموذج للسجلات. وتقديم التقابل الذي تقترحه المسودة بين لغات الاختبار وعلاقات التطابق الرصدي.
- المشاهدات المحتفظ بها والحالات التنبؤية
بحث متى تكفي المعلومات المحتفظ بها للتنبؤ بالمخرجات المستقبلية بصورة مستقلة. وشرح معيار الاكتمال ولماذا لا يضمن حفظ المشاهدات حفظ كل فرق ذي صلة بالديناميكا.