فجوة محمية في نموذج الحالة المفردة المنتهي

01مستويان في البرنامج العياري

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

02الحالة الأرضية المعزولة

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

03اشتقاق الحد الموحد للفجوة

ليكن w* الوزن الطيفي للحالة المفردة في الفضاء الذاتي الحر الأعلى. وفي المجموع المميز تعطي مساهمة القمة وحدها 1≥Δw*/(z−λ*)، ومن ثم z−λ*≥Δw*. ويحمل كل نمط متحرك محقق للقيمة العظمى وزناً 1/(4m)، ولذلك w*≥1/(4m). وتعطي المداخلة الطيفية بعد ذلك gap(H)≥Δ/(4m). وعند m≥2 يمكن اختيار متجه في الفضاء الذاتي الحر الأعلى المتكرر متعامد مع الحالة المفردة، فتتحقق المساواة في المتباينة الأولى للفجوة: أي تساوي الفجوة z−λ*.

04مثال يعتمد على الرتبة

عند m=2 يكون الحد الأدنى الموحد Δ/8، وعند m=3 يكون Δ/12. وعند انعدام القفز تكون الفجوة الفعلية Δ، ولذلك فالتقدير الموحد أضعف عمداً. إذ يجب أن يظل صحيحاً لكل الهولونوميات المسموحة ولأي قفز مهما كبر. وعند هولونومي المحايد تستخرج المسودة لهذه الكتل حداً أدنى أقوى مقداره Δ/4. وتمنع مقارنة الحد العام بفجوة حالة خاصة الخلط بين ضمان للحالة الأسوأ والطيف الدقيق عند كل قيمة للمعاملات.

05لماذا لا يمثل هذا مسألة فجوة كتلة يانغ–ميلز؟

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

06حماية الفجوة ودقة الاضطراب تجيبان عن سؤالين مختلفين

تبقى الفجوة الساكنة موجبة حتى حين تكون |t|/Δ كبيرة، لكن التوسع منخفض الرتبة في هذه النسبة يغدو غير موثوق آنذاك. وبالعكس، تتيح نسبة قفز صغيرة هدفاً اضطرابياً يجب حساب خطئه بصورة مستقلة عن العزل. وتضمن الحزمة المحمية إتاحة فضاء جزئي طيفي؛ لكنها لا تضمن أن تصف صيغة معينة من الرتبة الرابعة ديناميكاه بدقة. ويفيد هذا التمييز خاصةً عند بناء آلية اكتمال في نظرية ازدواجية الزمن: يمكن أولاً إثبات فصل متين للحالات، ثم اختيار نطاق معاملات مضبوط لتفاعل حقلي فعال. ولا ينبغي استنتاج أي من الخطوتين من الأخرى وحدها.

07ما الذي يتطلبه التحديد الفيزيائي؟

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

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