انتقل إلى المحتوى

A189 · الاختبارات وطرائق البحث

الحالة الدنيا المحضَّرة للنموذج

لا تتضمن الحالة الدنيا لنموذج خطي منتهٍ ومحضَّر إلا التمييزات القابلة للوصول التي يمكن أن تؤثر في القراءات المستقبلية. ويبين فضاء قسمي صريح ومثال ذو نمطين لماذا ينتمي التحضير المستقل إلى الواجهة التشغيلية.

5 دقائق تقريبًا للقراءةاقرأ المقال المقابل بالإنجليزية EN

01الحالة التي تستطيع التجربة تمييزها فعلاً

قد يحتوي نموذج متغيرات أكثر مما تستطيع تجربة تحضيره أو رصده. وتسأل مسودة الهولونومي التشغيلي أي جزء من نموذج خطي منتهٍ يتحدد بسلوكه المختبري المعلن. وهذا وثيق الصلة بنموذج الجوهر الفرد ونظرية ازدواجية الزمن: فقد تحمل المسارات الداخلية تمييزات تختفي في السجل الخارجي. لذلك ينبغي اشتقاق الحالة المتاحة فيزيائياً من التحضيرات والضوابط والقراءات المستقبلية المتاحة. ولا ينفي حذف المتغيرات غير المتاحة تفسير المصدر، بل يحدد جوانبه التي يمكن للواجهة المحددة دعمها.

02للتحكم والتحضير دوران مختلفان

ننظر في نظام منتهٍ يحقق dx/dt=Ax+Bu، ومخرجه y=Cx+Du. ويُمثَّل التحضير المستقل لحالة ابتدائية بخريطة منفصلة E. ويضمن جمع B وE في F=[B E] عدم إسقاط نمط ابتدائي متاح لمجرد عجز التحكم المستمر عن إثارته. ويتضمن وصف النقل الموسع استجابة التحكم واضمحلال التحضير معاً. ويهم ذلك النماذج الذرية أو نماذج الساعات: فقد يكشف تحضير حالة طور مثارة درجة حرية لا يبلغها التحفيز المستمر الاعتيادي.

F=[B E]; Mₖ=CAᵏF.
يحتوي مستطيل كبير لفضاء الحالات منطقة قابلة للوصول وأخرى غير قابلة للرصد. ويُحذف تقاطعهما عند تشكيل الفضاء القسمي الأدنى المحضّر.
الشكل 1. الجزء المحضّر والقابل للرصد هو الحالة الدنيا. في واجهة خطية محضّرة، لا تساهم في السلوك الأدنى إلا المعلومات القابلة للوصول التي تبقى بعد التكافؤ الرصدي. والحالة القانونية هي R/(R∩N)، لا الحامل الخفي كله. عرض بالحجم الكامل ↗ الرسم بالعربيةالرسم بالإنجليزيةعرض النسختين والمقالات المرتبطة

03الفضاءان القابل للوصول وغير القابل للرصد

يتولد فضاء الوصول R من جميع المتجهات AᵏFv. ويحتوي الحالات الناتجة عن اتجاهات التحكم والتحضير المسموحة وتطورها اللاحق. أما الفضاء غير القابل للرصد N فهو تقاطع نوى CAᵏ: أي الحالات التي يتلاشى مخرجها المستقبلي كله. والفضاءان ثابتان تحت A. ويمكن تحضير حالة في R∩N، لكنها لا تؤثر في أي قراءة مستقبلية مسموحة. لذلك يمكن أخذ الفضاء القسمي بالنسبة إلى هذه التمييزات دون تغيير السلوك المعلن. أما الحالات خارج R فلا يمكن تحضيرها عبر الواجهة، ولا يلزم ظهورها في الوصف الأدنى.

R = span{Aᵏ im F : k≥0}; N = ⋂k≥0 ker(CAᵏ).
Xcan = R/(R∩N).

04لماذا يكون هذا الفضاء القسمي قانونياً؟

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

تُرسل خمس عقد لمسارات إلى ثلاث فئات. يندمج زوجان تحت الاختبارات المسموحة، بينما يبقى مسار واحد متميزاً.
الشكل 2. قد تعطي مسارات مختلفة رصداً واحداً. يعني التكافؤ الرصدي h ∼ k أن جميع الاختبارات المسموحة تعطي النتيجة نفسها. ويمكن لتغيير لغة الاختبار فصل فئة تكافؤ وكشف تمييزات كانت خفية سابقاً. عرض بالحجم الكامل ↗ الرسم بالعربيةالرسم بالإنجليزيةعرض النسختين والمقالات المرتبطة

05مثال محسوب ذو نمطين

نأخذ A=diag(−1,−2)، ونجعل التحكم يثير الإحداثي الأول، والتحضير المستقل يثير الثاني، ونقرأ مجموعهما. لاستجابة التحكم وحده قطب واحد عند −1. وبعد إدراج التحضير، يتضمن السلوك المرصود أيضاً اضمحلالاً بقطب عند −2، فيصبح بُعده الأدنى اثنين. وإهمال التحضير سيعلن خطأً أن النمط الثاني غير فيزيائي. ويبين المثال لماذا يجب أن تصرح أي حجة استحالة لأثر مقترح لازدواجية الزمن بالواجهة الكاملة. فقد يكون نمط خفياً عن قناة تحكم واحدة ومرئياً لتهيئة أخرى مسموحة.

B=e₁; E=e₂; C=(1,1).
Gaug(s)=((s+1)⁻¹, (s+2)⁻¹).

06الحساب الدقيق منتهٍ

رغم كتابة R وN باستخدام جميع قوى A غير السالبة، لا يحتاج تحقق منتهٍ بُعده n إلا إلى القوى حتى n−1 لبنائهما. فمتطابقة كايلي–هاملتون تعبر عن القوى الأعلى بتراكيب من القوى الأدنى. ولذلك يمكن حساب الوصول والرصد بمصفوفات كتلية منتهية بعد تحديد مصفوفات النظام الدقيقة. وهذا يجعل الفضاء القسمي بنائياً، لا وجودياً فحسب. لكن في البيانات المقاسة المشوشة تحل قيم صغيرة غير يقينية محل القيم المفردة الصفرية الدقيقة، ويصبح اختيار رتبة النموذج استدلالاً إحصائياً. وقد يقدم نموذج المصدر بنية رمزية دقيقة تساعد القرار، لكن الدقة التجريبية وحدها لا تصادق على رتبة جبرية دقيقة.

07ما الذي يعلمه ذلك لبرنامج المصدر؟

يمكن لنموذج الجوهر الفرد ونظرية ازدواجية الزمن تفسير X حاملاً يسنده المصدر، وXcan حالةَ السجل التنبؤية المحفوظة. ويمنح الفضاء القسمي معنى صارماً لعبارة «الأرصاد المكتملة وحدها علنية» في هذا السياق الخطي المنتهي. لكنه لا يشتق التحضيرات أو القراءة المختارة من الجوهر الفرد، ولا يثبت أن كل النماذج الكمومية أو الثقالية تقبل الاختزال نفسه. وينبغي لبناء مصدر لاحق أن يحدد الواجهة المسموحة، ويبين التمييزات الخفية التي تبقى ذات صلة تنبؤية. وإذا لم يبق متغير زمني مقترح إلا خارج Xcan، عجزت التجربة الحالية عن تأسيس دوره التجريبي المستقل.

تابع الصلة

أفكار أساسية

  • ينتمي التحضير المستقل إلى الواجهة التشغيلية.
  • الحالة الدنيا هي السلوك القابل للوصول بعد القسمة على التمييزات غير القابلة للرصد.
  • تحتاج المتغيرات التوليدية الخفية إلى شاهد متاح لتحمل ادعاءات تجريبية.

نطاق الحجة. نتيجة دقيقة للأنظمة المحضّرة الخطية الثابتة زمنياً والمنتهية الأبعاد؛ ولا تصنف جميع نماذج المصدر اللاخطية أو الكمومية.

المصادر والقراءة

تستند هذه النسخة العربية إلى المقال الإنجليزي المقابل. تُحفظ هوية الأعمال والمراجع ودرجة الاستدلال الواردة في المصدر.

  1. Operational Reduction and Exact Holonomy Localization for Finite Linear Dual-Time ModelsOperational_No_Go_Exact_Holonomy_Localization_v4.pdf, المسودة كاملة، ص. 1–9