01وصف الراصد بقدراته
لا يلزم أن يكون الراصد في الجانب الإجرائي لنموذج الجوهر الفرد ونظرية ازدواجية الزمن ذاتًا واعية. فقد يكون كاشفًا أو ذاكرة أو شبكة أدوات ذات تحضيرات وقراءات معلنة. وتحدد قدراته فروقه الرصدية. وتسمية متغير بأنه قابل للرصد دون تقديم اختبار له تُبقي هذه المسألة المركزية دون حل.
لغة الاختبار مجموعة الاختبارات المسموحة، بما فيها سياقات التحضير والمتابعة المقبولة. وهي تحدد السجلات المكتملة التي يمكن تمييزها. وبذلك تصبح حدود الرصد عنصرًا صريحًا في النموذج، بدل عبارة غير رسمية عن خفاء العملية الداخلية.
02مزيد من الاختبارات يعني عادة مساواة أزواج أقل
لتكن S مجموعة اختبارات، ولتكن Eq(S) العلاقة التي تساوي السجلات المتفقة تحت كل اختبار سياقي تولده S. إذا توسعت S أصبح تحقيق الاتفاق أصعب. لذلك تصغر مجموعة الأزواج المتكافئة، بينما قد يزداد عدد الفئات الرصدية.
قد يبدو الاتجاه مخالفًا للحدس: لغة قياس أكبر تنتج علاقة تكافؤ أصغر وفضاء قسميًا رصديًا أكثر تفصيلًا. ولذلك تسمى المطابقة عاكسة للترتيب. وهي تصف الاستبانة التجريبية، لا تغيرًا في المسارات الكامنة.
03السير في الاتجاه المقابل
بدءًا من علاقة تطابق مقترحة ξ، نعرّف Inv(ξ) بأنها جميع الاختبارات المعتمدة الثابتة على فئات تكافئها. وتثبت المسودة مطابقة دقيقة: لا تمحو ξ فرقًا تستطيع S كشفه إذا وفقط إذا كانت جميع اختبارات S ثابتة تحت ξ.
أحد الاتجاهين مباشر: إذا اتفقت السجلات المرتبطة بـξ تحت كل اختبار من S، كانت تلك الاختبارات ثابتة. وفي الاتجاه العكسي يكون الإغلاق السياقي أساسيًا. فبما أن ξ علاقة تطابق، يبقى ثباتها عند وضع السجلات في السياقات المسموحة؛ ولذلك تبقى الاختبارات المولَّدة كلها ثابتة على فئات ξ.
04مثال كاشف مع وصول متأخر
لنفترض أن جهازًا ثنائي المستوى يتيح قياس Z. قد تحمل حالتان تتفقان في إحصاءات Z طورين نسبيين مختلفين. وإذا لم تُجَز دورانات، خرجت تلك الأطوار من لغة الاختبار المذكورة. وبإضافة دوران معاير يتبعه كاشف Z نفسه، يتاح مكون آخر من الحالة.
يوضح هذا طريقتين مختلفتين لتحسين الرصد: إضافة كاشف جديد، أو إبقاء الكاشف وإضافة تحويل يجعل متغيرًا خفيًا إشارة مقروءة. وتهم الثانية نظرية ازدواجية الزمن خصوصًا، إذ قد تحول عملية اكتمال معلومات طور داخلية إلى سجل لاحق. وتحدد تفاصيل التحويل ما يبقى في الفضاء القسمي الرصدي.
05متى تكون لغتان متكافئتين تجريبيًا
قد تتضمن قائمة الاختبارات تكرارًا. ويشمل الإغلاق Inv(Eq(S)) كل اختبار معتمد لا يميز أكثر مما تميزه S أصلًا. وقد تبدو لغتان مختلفتين مع اتفاق إغلاقهما، ومن ثم اتفاق فضائهما القسمي الرصدي.
مثلًا، قد يرمّز كاشف يعيد عددًا صحيحًا وزوج كاشفات يعيدان خارج قسمته وباقيها بالنسبة إلى قاسم ثابت المعلومات نفسها تمامًا، إذا تاح المكونان بلا خطأ. تختلف العروض وتتطابق فئات المساواة. أما حفظ الباقي وحده فيفقد معلومات. فالمعيار يقارن قابلية التمييز، لا المظهر الخارجي للقراءات.
06كيف يوجه هذا إعادة البناء الفيزيائية
ينبغي لنموذج مقترح للجوهر الفرد وازدواجية الزمن سرد أدوات التحكم المسموحة بالمصدر والسجلات المحفوظة ولغة الاختبار الفعلية قبل ادعاء بُعد رصدي أو سهم زمن أو طور منتقى. فجبر الكميات القابلة للرصد المولَّد رياضيًا لا يتيح تجريبيًا كل عنصر فيه تلقائيًا. وقد تخفي قيود التحضير فروقًا حتى مع توافر مؤثرات القياس.
يقترح الإطار دورة تطوير عملية: البدء بمجموعة اختبارات متواضعة، وحساب فضائها القسمي، وتعيين مسارين تدمجهما، وتصميم اختبار متأخر قابل للتنفيذ يفصلهما. فإن لم يكن أي اختبار كهذا مسموحًا، فقد يكون الدمج مبررًا إجرائيًا. وإن وُجد، احتاج النموذج إلى حالة محفوظة أغنى. وهذا مسار منظم من ازدواجية الزمن المفاهيمية إلى أسئلة ملموسة عن المعلومات والقياس.
احتفظ بالصلة
أفكار أساسية
- تعتمد الفروق الرصدية على لغة اختبارات صريحة.
- تنقح إضافة الاختبارات الفضاء القسمي بدل تغيير مسارات المصدر.
- يمكن التعرف إلى لغات الاختبار المتكافئة من إغلاقها الرصدي المشترك.
نطاق الحجة. مطابقة غالوا نتيجة تنظيمية رياضية، وليست اشتقاقًا للكواشف المتاحة فيزيائيًا.
المصادر والقراءة
تستند هذه النسخة العربية إلى المقال الإنجليزي المقابل. تُحفظ هوية الأعمال والمراجع ودرجة الاستدلال الواردة في المصدر.
- SMM_DTT_Axioms_v4.pdfمسودة عمل، ص. 13–17