01تمنح السجلات الترتيب الزمني مضمونًا إجرائيًا
كثيرًا ما يتضمن الرصد الحاضر أدلة على أحداث سابقة: نتائج مخزنة أو ارتباطات أو أرشيف عمليات مكتملة. وتصوغ المسودة ذلك بتمييز الطور المتكرر من تمثيل مرتب للسجلات المتاحة. ويرتبط الاتجاه الزمني بتغيرات الإتاحة، لا بمجرد الحركة حول دائرة طور.
يوفر ذلك لنموذج الجوهر الفرد ونظرية ازدواجية الزمن جسرًا بين عملية توليدية واحدة وأرصاد كثيرة مرتبة. وهو جسر مشروط: يجب أن يحدد النموذج ما يُعد سجلًا متاحًا وكيف تؤثر فيه العودات المكتملة المسموحة. وقد تعني الإتاحة معلومات يمكن الوصول إليها، لا مجرد العدد الكلي لدرجات الحرية المجهرية.
02تعريف العودة الموجبة
لتكن L مجموعة مرتبة، وℓo حالة إتاحة سجلاتها الحالية، وρg الفعل الحافظ للترتيب لعودة مكتملة g. نعرّف C بأنها العودات التي لا تنقص الإتاحة نسبة إلى ℓo. وينتمي المحايد إليها لأنه يترك السجل الحالي دون تغيير.
إذا كانت i وj موجبتين، كانت ℓo≤ρi(ℓo)، ويعطي تطبيق ρi على ℓo≤ρj(ℓo) العلاقة ρi(ℓo)≤ρiρj(ℓo). ويثبت التعدي إيجابية تركيبهما. إذن C أحادية: تحتوي عدم الفعل وتنغلق تحت التركيب، وإن لم تحتوِ المعكوسات.
03أي العودات تبقى قابلة للعكس؟
لنفترض أن فعل العودة يتكون من تماثلات ذاتية للترتيب. إذا كانت g وg⁻¹ موجبتين، استلزمت المتباينتان ρg(ℓo)=ℓo. وبالعكس، كل عودة لا تغير الإتاحة الحالية موجبة في الاتجاهين. ومن ثم يكون تقاطع العودات الموجبة مع معكوساتها مثبِّت السجل الحالي بالضبط.
عندما تفصل القراءة الجذر بما يكفي بحيث لا يثبت إتاحته إلا المحايد، تكون الأحادية الموجبة حادة: فلا يملك تقدم موجب غير تافه معكوسًا موجبًا. وهذا هو مضمون سهم سجلات صارم رياضيًا. وإذا وُجدت عمليات تثبيت غير ظاهرة، وجب أخذ فضاء قسمي بالنسبة إليها أو إبقاؤها حركات محايدة.
04نموذج أرشيف بالأعداد الصحيحة
لتكن زمرة العودة القابلة للعكس الأعداد الصحيحة، ولتمثل الإتاحة أيضًا بمستوى أرشيف صحيح. تغير الإزاحة بمقدار k المستوى بالمقدار نفسه. وعند المستوى الحالي صفر تكون العودات الموجبة للسجلات بالضبط k≥0. ويجمع تركيبها زيادات غير سالبة، بينما تعكس العودات السالبة ترتيب الأرشيف.
هذا مثال اتساق شفاف، وليس نموذج ذاكرة فيزيائية كاملًا. فالأرشيف الفعلي يحتاج إلى سعة فارغة وعملية كتابة وحماية من الاضطراب اللاحق وقاعدة معلنة لوصول الراصد. ويوضح المثال كيف ينتج الترتيب الأحادي الجانب متى مُثلت هذه الأدوار الإجرائية بالفعل المرتب المذكور.
05من ترتيب إلى ساعة للأحداث
لا يلزم أن يكون ترتيب السجلات مدة عددية. ولإرفاق ساعة، نُسند تأخرات جمعية للتقدمات ونشترط توافقها مع التكافؤات الرصدية. ولوجود زمن أحداث كلي، يجب أن يساوي تأخر كل تقدم فرق الزمن المسند إلى غايته والزمن المسند إلى بدايته.
إذا كان هذا التأخر التام موجبًا تمامًا بين أحداث متميزة، كانت علاقة قابلية الوصول الناتجة ترتيبًا جزئيًا: فلا يمكن أن يكون كل من حدثين متميزين لاحقًا للآخر. ويعيق تأخر جمعي غير صفري حول حلقة مغلقة وجود ساعة كلية تامة. ولذلك يهم التمييز بين المدد المحلية ودالة جهد كلية لزمن الأحداث حتى في تصور قائم على السجلات.
06سهم السجلات والإنتروبيا والنطاق الفيزيائي
ليس نمو ترتيب السجلات برهانًا تلقائيًا على ازدياد الإنتروبيا الديناميكية الحرارية. فالأخيرة تحتاج إلى فضاء حالات واحتمالات ووصف خشن أو حمام حراري وميزانية إنتروبيا. وقد تزيد عملية قابلة للعكس السجلات المتاحة لراصد مُحضَّر مع حفظ المعلومات في موضع آخر من النظام الكامل.
يمكن للاعتمادات الداخلية الستة المتداخلة تنظيم تركيب سجل مقبول، بينما تتيح الواجهة الخارجية النتيجة المكتملة. ويمنح هذا التفسير المراتب دورًا وظيفيًا. لكن لإثبات سهم فيزيائي يجب أن يفسر النموذج لماذا تنتج قوانين تحضيره وحفظه الإتاحة المرتبة المستخدمة في المبرهنة. وهذه مهمة أدق من إعلان الاكتمال نفسه غير قابل للعكس.
احتفظ بالصلة
أفكار أساسية
- تُعرَّف العودات الموجبة بعدم تناقص السجلات المتاحة.
- تقاطعها مع العودات المعكوسة هو مثبِّت السجل الحالي بالضبط.
- يحتاج ترتيب السجلات والمدة العددية والإنتروبيا الديناميكية الحرارية إلى بُنى منفصلة.
نطاق الحجة. تفترض المبرهنة تحقيقًا مرتبًا لإتاحة السجلات ولا تشتق اللاعكوسية الديناميكية الحرارية.
المصادر والقراءة
تستند هذه النسخة العربية إلى المقال الإنجليزي المقابل. تُحفظ هوية الأعمال والمراجع ودرجة الاستدلال الواردة في المصدر.
- SMM_DTT_Axioms_v4.pdfمسودة عمل، ص. 23–29