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

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

معايرة ساعة بعدد محدود من الاختبارات

تستطيع اختبارات متأخرة محدودة تقييد الانحراف عن حماية الساعة إذا اكتمل إطارها الرصدي واستبعد حد مستقل لعرض النطاق العودات الدورية. وتضبط الشهادة الناتجة الأخطاء عبر تسلسلات متداخلة.

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

01من مبرهنة دقيقة إلى قياسات محدودة

يشير معيار انتقاء الساعة الدقيق إلى كل الحالات ومتصل من الأنشطة. أما المعايرة المختبرية فلها إعدادات محدودة ودقة محدودة. وتشتق المسودة اتجاهًا عكسيًا محدودًا تحت ضابطين مستقلين: إطار اختبارات رصدية وحد أعلى للعرض الطيفي لمولد التفرع.

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

02اختيار مؤثرات متأخرة تستوفي القيود المعنية

لمؤثرات القياس المعتمدة E_j وتأخرات الاستبانة τ_j، نعرّف F_j=Ur(τ_j)†E_jUr(τ_j). وينبغي أن يساوي مبدِّلها الهرميتي المشترك الفئة غير الظاهرة المقصودة N=Ar′∩Herm(Hc). وتوجد عائلة محدودة كهذه في البعد المحدود، لكن الاختيارات الاعتباطية ليست مفيدة بالضرورة.

نعرّف خريطة المبدِّلات الخطية L(X)=(i[X,F_j])_j. وتقيس أصغر قيمة مفردة غير صفرية لها σ* على المتمم المتعامد لـN قوة كشف الإطار للانحراف عن الحماية. ويعني صغرها أن تغيرات كبيرة في المولد قد تنتج إشارات اختبار صغيرة.

L(X)=(i[X,F_j])_j
σ*=min_{X⊥N,‖X‖₂=1}(Σj‖[X,F_j]‖₂²)¹/²
يمثل منحنى في مستوى معلمتين نماذج تتشارك الكمية المرصودة نفسها بعد المعايرة. ويتقاطع معه منحنى ثانٍ عند نقطة فيزيل هذا الالتباس التوضيحي.
الشكل 1. قد تُبقي المعايرة اتجاهات خفية في فضاء المعلمات. قد يختار قياس ثابت منحنى من النماذج بدلًا من نقطة واحدة. ويجب أن يبقى التنبؤ ثابتًا على ليف المعايرة هذا، أو أن يستند إلى كميات تشخيصية إضافية مقيسة باستقلال. عرض بالحجم الكامل ↗ الرسم بالعربيةالرسم بالإنجليزيةعرض النسختين والمقالات المرتبطة

03لماذا يلزم حد مستقل لعرض النطاق

ليحد W العرض الطيفي لـKb، ولنختر نبضة تفرع h بحيث β=Wh/(2ℏ)<π. وفي الأساس الذاتي لـKb يُضرب عنصر مصفوفي من تغير مؤثر القياس المتأخر بجيب فرق طاقته مضروبًا في h. ويحفظ قيد عرض النطاق ذلك الجيب في مجال مضبوط.

دون هذا القيد، ينتج انشقاق ثنائي المستوى 2πnℏ/h عودة تامة عند h لكل صحيح موجب n. وقد تنعدم جميع الفروق المأخوذة عينات بينما يبتعد المولد عن الشكل العددي. لذلك لا تثبت نبضة صفرية منفردة استقلال التفرع بمفردها.

D_j=Ub(h)†F_jUb(h)−F_j
β=Wh/(2ℏ)<π

04شهادة الخطأ المحدودة

لنفترض أن كل e_j حد أعلى للاستجابة المطلقة لكل حالة دخل، أي بصورة مكافئة لـ‖D_j‖. تحد المسودة مسافة δ بين Kb والفئة غير الظاهرة بعامل متناسب مع W/(σ* sin β) مضروبًا في فروق الاختبارات المجمعة.

وبعد تحديد المسافة، لا يتجاوز خطأ احتمال الخرج لأي تسلسل متداخل محدود δ مضروبة في إجمالي نشاط التفرع المطلق مقسومًا على ℏ، بحد أقصى واحد. يستبدل البرهان كل عملية تفرع بنظيرتها المحمية ويجمع الفروق الوحدوية الناتجة تلسكوبيًا.

dist(Kb,N)≤√d W(Σj e_j²)¹/²/[2σ* sin β]
خطأ التسلسل ≤min{1,(δ/ℏ)Σk|u_k|}
يبين مربع تبادلي أن تنفيذ عملية تفرع قبل اختبار معتمد للساعة أو بعده يعطي الإحصاء نفسه. ويغير تطور الاستبانة الساعة.
الشكل 2. ساعة محمية لا تتأثر بعمليات التفرع. في النموذج السكوني المحدود الأبعاد المذكور، يكافئ عدم ظهور التفرع تبادل مولِّد التفرع مع جبر كميات الساعة القابلة للرصد بعد تطوره بفعل الاستبانة. وهذا معيار يجب التحقق منه، وليس قانونًا تلقائيًا لكل ساعة. عرض بالحجم الكامل ↗ الرسم بالعربيةالرسم بالإنجليزيةعرض النسختين والمقالات المرتبطة

05استخراج حدود كل المدخلات بعدد محدود من القياسات

لساعة بُعدها d، تحدد تحضيرات معايرة من حالات الأساس وتراكبات الأزواج الحقيقية والتخيلية كل عنصر في مصفوفة استجابة هرميتية. وهذا استقصاء مقطعي محدود. وتعطي قياسات الاحتمال المتكررة مجالات إحصائية، وتضيف أخطاء التحضير والكاشف مجالات منهجية.

يجب أن تشمل الحدود العليا المستخدمة في المبرهنة النوعين. فبعض فروق رامزي الصغيرة شواهد لتلك التحضيرات فقط، ولا تشهد بحد أعلى على جميع الحالات. ويحتاج إطار الاختبار الحقيقي أيضًا إلى حد سفلي صحيح لـσ*، كما يجب أن يظل تقدير عرض النطاق صحيحًا على عائلة التشغيل المختبرة.

06مثال تصميم بسيط

لكيوبت بقراءة Z واستبانة X، يعطي تأخران يقابلان الزاويتين صفر وπ/2 مؤثري قياس مستقلين Z وY. وثابت قابليتهما للرصد σ*=1. ويجعل أخذ تأخرين متقاربين جدًا الثابت أصغر بكثير ويضخم لايقين الاحتمال نفسه.

لذلك يختار بروتوكول معقول أولًا مؤثرات متباعدة جيدًا داخل مدى الاستبانة المسموح، ثم يختار h باستخدام حد W المستقل، ثم يخصص المحاولات لتحقيق δ المطلوبة. ويفصل هذا التسلسل تصميم الجهاز من البيانات اللاحقة المستخدمة لاختبار الحماية.

07أهمية ذلك لنموذج الجوهر الفرد ونظرية ازدواجية الزمن

ينبغي أن تصمد الساعة الخارجية المدعاة أمام معايرة محدودة ملموسة، لا أمام اختبار مبدل رمزي مثالي فقط. وتوفر المبرهنة مسارًا من الفروق المقيسة إلى أخطاء محدودة للعمليات التوليدية المتداخلة، وتظهر افتراضات الموارد.

تبقى النتيجة من التحكم الكمومي الاعتيادي. وتتمثل مساهمتها في نموذج الجوهر الفرد ونظرية ازدواجية الزمن بالدور الإجرائي الممكن في بناء مشترك للهندسة والساعة. ولإثبات زمن خارجي عام، يجب أن يفسر مبدأ انتقاء فيزيائي أعمق لماذا تقع كل الساعات المادية المعنية في الفئة المحمية المعايرة.

احتفظ بالصلة

أفكار أساسية

  • تحتاج الشهادة المحدودة إلى إطار اختبارات متأخرة كامل وحد لعرض النطاق معًا.
  • تقيس القيمة المفردة σ* أثر خطأ القياس في الاستنتاج.
  • يضبط حد معاير للمولد تسلسلات متداخلة محدودة اعتباطية.

نطاق الحجة. شهادة لنموذج سكوني محدود الأبعاد؛ ويُفترَض الوصول إلى تحضير كل المدخلات وحدود معايرة مستقلة.

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

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

  1. operational_clock_selection_focused.pdfمسودة عمل، ص. 6–9