هاملتونيات عيارية فعالة مضبوطة

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

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

02الهاملتوني الفعال يحتاج إلى بيان للخطأ

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

03حد الحلقة الرئيس

لكتلة ساكنة واحدة عند |t|/Δ<1/4، يتضمن التوسع إزاحة ثابتة من الرتبة الثانية وحد هولونومي من الرتبة الرابعة يتناسب مع m−Re tr W. ومعامله 2t⁴/(mΔ³). وتلزم الحدود الاضطرابية المطوية، إذ تلغي مساهمة من الرتبة الرابعة مستقلة عن الهولونومي عند W=I. ويؤدي إهمالها إلى هدف خاطئ حتى قبل مناقشة الأخطاء. ويتضمن البناء الكامل ذي الحجم المنتهي الآثار الكهربائية بالرتبة المعلنة ويحد الباقي.

04تحويل خطأ معياري إلى فترة زمنية

إذا كان ||H_eff−H_target||≤R، حدّت صيغة دوهامل الفرق بين التطورين الوحدويين بـ|T|R/ℏ، مع سقف مقداره اثنان. ولضمان خطأ لا يتجاوز η، نطلب |T|≤ηℏ/R. فمثلاً، يعطي R=10⁻³ بوحدات الطاقة، مع ℏ=1، ضمان خطأ لا يتجاوز 0.1 حتى T=100 بوحدات مقلوب الطاقة. وهذا حد توضيحي، لا حساب لمحاكاة عيارية بعينها. وتؤكد المسودة أن الثوابت الصارمة المحافظة قد تعطي ضمانات عددية ضعيفة حتى عندما تكون الأخطاء المحسوبة صغيرة.

05أهمية حدود القطع والحالات المحضّرة

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

06قد يصح الحد الصارم دون فائدة عددية

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

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

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

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