01اختبار ناجح واحد أضعف من لغة عمليات كاملة
قد تتجاهل الساعة عملية تفرع عند اختبارها فورًا، وتستجيب بعد معالجة أخرى. ويجعل التوليد المتداخل المسألة حتمية: إذ يمكن تشابك الفروع والتنقيحات وخطوات التوجيه والقراءات بترتيبات كثيرة. ويجب أن تشمل دعوى الحماية التسلسلات المعتمدة، لا نبضة معزولة واحدة.
تثبت المسودة أن معيار مبدِّل مدار الاستبانة قوي بما يكفي لضبط كل تشابك محدود. ويفيد ذلك خصوصًا نموذج الجوهر الفرد ونظرية ازدواجية الزمن، الذي تمثل مستوياته الداخلية الستة اعتمادات وظيفية متداخلة، لا ست مدد مستقلة.
02كتابة التسلسل المتداخل صراحة
لننظر في الكلمة W=Ur(τm)Ub(um)⋯Ur(τ₁)Ub(u₁). ينبغي لساعة الاستبانة وحدها إعطاء إحصاءات معتمدة مساوية لتطور الاستبانة بالنشاط الكلي Στj، بغض النظر عن مواضع فواصل التفرع ومقاديرها.
لا يعني ذلك ثبات الحالة الكاملة تحت التفرعات؛ فقد تتطور عوامل خفية. ويتعلق الشرط بكل الحالات الابتدائية في القطاع المختبر وكل مؤثرات القياس في الجبر المتاح المعلن. ولذلك هو تكافؤ إجرائي نسبي إلى لغة اختبار محددة.
03البرهان في صورة هايزنبرغ
ننقل مؤثر القياس النهائي خلفيًا عبر الكلمة. تُبقي مرافقته بالاستبانة المؤثر داخل جبر مدار الاستبانة Ar. وإذا وقع Kb في Ar′، أثرت مرافقته بالتفرع كالمحايد على كل مؤثر في ذلك الجبر. لذلك يمكن حذف كل عامل تفرع أثناء نقل المؤثر خلفيًا.
بعد حذف جميع عوامل التفرع لا يبقى إلا تطورات الاستبانة. وبما أنها تتشارك المولد السكوني نفسه، تُجمَع أنشطتها. ولا يلزم تبادل Kb مع Kr. فالحماية تخص فعلهما على الجبر الرصدي المعتمد، لا على كل درجة حرية خفية بالضرورة.
04لماذا قد يكفي حساب جبري محدود
في البعد المحدود يكون مدار الاستبانة تحليليًا. ويتولد امتداده الخطي من المبدِّلات المتكررة مع Kr، وتغلق مبرهنة كايلي–هاملتون المؤثر الفائق المعني بعد عدد محدود من القوى. لذلك لا يحتاج الاختبار الدقيق إلى أخذ عينات من تأخرات لا نهائية.
يمكن بناء جبر المدار من المصفوفات المقدمة وحساب مبدِّله. وهذه مهمة محدودة للتحقق من النموذج. ولا تثبت تلقائيًا إتاحة كل مؤثر مولَّد جبريًا للتجربة؛ بل يجب أن تبقى القياسات المعتمدة وفئة التحضير جزءًا من التحديد الفيزيائي.
05مثال إخفاق بعمليتين فقط
لكيوبت يُقرأ بـZ، لا يظهر طور تفرع Z فورًا. وإذا أُدخل دوران استبانة X قبل الكاشف نفسه، ظهر الطور. وهذا يكفي لبيان عدم كفاية اختبار التفرع وحده. وقد تكشف كلمات متداخلة أطول فروقًا خفية مشابهة.
الاستجابة الصحيحة ليست معايرة تصحيح عددي جديد لكل كلمة، بل تعيين جبر المدار المولد بكل عمليات الاستبانة المسموحة واختبار مولد التفرع بالنسبة إليه. وعندئذ تنتج دعوى حماية مستقلة عن التسلسل من شرط بنيوي واحد.
06الحماية التقريبية والخطأ التراكمي
إذا لم يختلف مولد التفرع الفعلي عن مولد محمي بأكثر من δ، حدت صيغة دوهاميل خطأ فاصل تفرع واحد بـδ|u|/ℏ. ويعطي استبدال عوامل التفرع واحدًا بعد آخر واستخدام متباينة المثلث حدًا كليًا متناسبًا مع Σ|u_j|.
لذلك يقل أثر عدد مستويات التداخل مقارنة بإجمالي نشاط التفرع وصحة حد المولد على نحو موحد. وقد يحتاج برنامج طويل إلى حماية أشد ولو كرر المستويات الوظيفية الستة نفسها. وتحتاج الانجرافات الزمنية أو تغييرات العمليات المعتمدة إلى تحليل جديد.
07ربط التداخل بنموذج الجوهر الفرد ونظرية ازدواجية الزمن دون مضاعفة الأزمنة
يمكن لمصدر متداخل تنظيم العمق وانتقاء الأصل ونمط العملية والاجتياز والتوجيه والعمل الأولي القابل للعكس. وتصدر واجهة سابعة السجل المكتمل. وقد تتشارك الوظائف معلمة ديناميكية واحدة مع إسناد أنشطة مقيسة متمايزة.
تبين مبرهنة الساعة كيف تبقى قراءة مختارة غير حساسة لكل أجزاء التفرع في هذه البنية. ولا تشتق عدد المستويات أو تثبت ضرورتها الفيزيائية أو تعيّن القراءة الناتجة زمنًا خاصًا نسبيًا. ومساهمتها لغة إجرائية متينة تُصاغ فيها تلك الدعاوى الأقوى وتُختبر.
احتفظ بالصلة
أفكار أساسية
- يجب أن يغطي استقلال الساعة الاختبارات المتأخرة والمتداخلة.
- يزيل معيار مبدِّل جبر المدار كل عامل تفرع من الإحصاءات المعتمدة.
- ينمو الخطأ التقريبي مع إجمالي نشاط التفرع تحت حد موحد للمولد.
نطاق الحجة. مبرهنة ساعات كمومية سكونية محدودة؛ ولا ينتقي عمق التداخل وحده الزمن الفيزيائي أو البعد المكاني.
المصادر والقراءة
تستند هذه النسخة العربية إلى المقال الإنجليزي المقابل. تُحفظ هوية الأعمال والمراجع ودرجة الاستدلال الواردة في المصدر.
- operational_clock_selection_focused.pdfمسودة عمل، ص. 4–9