Dirac-Bergmann analysis of SW-mapped non-commutative $U(1)$ electrodynamics with external currents

إليك ملخص تقني مفصل للورقة البحثية بعنوان: "تحليل ديراك-بيرجمان لكهروديناميكا $U(1)$ غير التبادلية الممسوحة عبر خريطة سيبيرغ-ويت (SW) مع التيارات الخارجية."

١. بيان المشكلة

تتناول الورقة تناقضاً جوهرياً في نظرية المجال غير التبادلية (NC) عند إدخال مصادر خارجية.

• السياق: في الكهروديناميكا غير التبادلية، تسمح خريطة سيبيرغ-ويت (SW) بالتعبير عن النظرية بدلالة مجالات تبادلية عادية. وقد أثبتت أعمال سابقة (تحديداً لـ أدورنو وآخرون) أنه بالنسبة للتيارات الخارجية الثابتة، فإن تنفيذ خريطة SW على مستوى الفعل (أي رسم الخريطة للفعل قبل التباين) يؤدي إلى معادلات حركة ليست متغيرة تحت تحويلات القياس (gauge covariant)، بينما يحافظ التنفيذ على مستوى المعادلات (رسم الخريطة بعد التباين) على التغاير مع القياس.
• الفجوة: بينما كان عدم التطابق في لاغرانج معروفاً، إلا أن الأصل الهاميلتوني (الكانوني) لهذا العائق لم يكن واضحاً. وتحديداً، لم يكن من المعلوم في أي مرحلة من خوارزمية قيود ديراك-بيرجمان يدخل العائق الناجم عن المصدر في سلسلة الاتساق، ولا كيف يعتمد على اختيار محدد لخريطة تيار SW.
• الهدف: إجراء تحليل كامل لـ ديراك-بيرجمان لأولويات كهروديناميكا $U(1)$ الممسوحة عبر خريطة SW بمستوى الفعل، مع وجود تيار خارجي $J_\mu$ غير ديناميكي ومحدد مسبقاً، ومعاملة التيار كخلفية ثابتة دون فرض حفظ التيار ($\partial_\mu J^\mu = 0$) مسبقاً.

٢. المنهجية

يستخدم المؤلفون خوارزمية ديراك-بيرجمان في فضاء الطور الكامل، مع معاملة المكون الزمني لمجال القياس ($A_0$) وزخمه النابض ($\pi_0$) كمتغيرات كانونية طوال الوقت.

• إعداد النموذج:
  • عدم التبادلية: مقتصرة على عدم التبادلية المكانية الصرفة ($\theta^{0i} = 0$) لضمان الوحدة (unitarity) والانتشار السببي.
  • خريطة SW: تستخدم خريطة تيار بانرجي (وهي معلمة من الدرجة الأولى ببارامترات $c_1=1, c_2=1/2, c_3=0$) والتي تتضمن حدوداً تعتمد على $F_{\alpha\beta}$ في اقتران التيار. وهذا يميزها عن الخريطة "الأدنى" (minimal map) التي استخدمها أدورنو وآخرون.
  • اللاغرانجيان: مُشيد كـ $L = L_{ws} + L_J$، حيث $L_{ws}$ هو لاغرانج ماكسويل الممسوح عبر SW والخالي من المصدر، و $L_J$ هو حد التفاعل المستمد من خريطة بانرجي.
• تنفيذ الخوارزمية:
  1. القيد الأولي: تم تحديده كـ $\phi_1 = \pi_0 \approx 0$ (بما أن $\dot{A}_0$ غائبة).
  2. القيد الثانوي: مشتق من الحفاظ الزمني لـ $\phi_1$، مما ينتج قيداً من نوع غاوس $\phi_2 \approx 0$ يتضمن تصحيحات تعتمد على المصدر.
  3. المرحلة الثالثية: يتم حساب الحفاظ الزمني لـ $\phi_2$ دون افتراض $\partial_\mu J^\mu = 0$. وهذا يولد مرشح قيد للمرحلة الثالثة، $\Phi^{\text{cand}}_3$.
  4. فحص الاتساق: يحلل المؤلفون روابط بواسون لهذه القيود لتحديد ما إذا كانت السلسلة تنغلق عبر قيد جديد أو عبر تثبيت مضاعف لاغرانج.

٣. المساهمات والنتوات الرئيسية

أ. الهوية المركزية (الافتراض ١)

أهم نتيجة هي تحديد هوية جبرية دقيقة عند المرحلة الثالثية من سلسلة ديراك:
$$\Phi^{\text{cand}}_3 = \dot{\phi}_2 = \partial_\nu E^\nu_B$$
حيث أن:

• $\Phi^{\text{cand}}_3$ هو مرشح القيد الثالثي الناتج عن خوارزمية ديراك.
• $\partial_\nu E^\nu_B$ هو تباعد معادلات أويلر-لاغرانج الممسوحة (تحقيق بانرجي).

الأهمية: يثبت هذا أن عائق توافق المصدر (الشرط المطلوب لاتساق المعادلات) يدخل في سلسلة ديراك تحديداً عند المرحلة الثالثية. ويؤكد أن عدم تطابق لاغرانج الذي حدده أدورنو وآخرون له تجلٍ كانوني مباشر: وهو فشل القيد الثالثي في التلاشي ما لم تتحقق شروط معينة على المصدر.

ب. الاعتماد على الخريطة

يوضح المؤلفون أن هذه الهوية تعتمد على الخريطة. فالشكل المحدد لـ $\Phi^{\text{cand}}_3$ يعتمد على الحدود المعتمدة على $F_{\alpha\beta}$ الفريدة لخريطة تيار بانرجي. إن خريطة SW مختلفة (مثل الخريطة الأدنى) ستنتج معاملات مختلفة في المرشح الثالثي، مما يعني أن "البصمة الكانونية" للعائق تختلف باختلاف معلمة خريطة SW.

ج. الانغلاق العام عبر تثبيت المضاعف

بالنسبة للمصادر غير المتجانسة العامة (حيث $\Theta_l = \theta^{li}\partial_i J_0 \neq 0$):

• إن الحفاظ على المرشح الثالثي $\dot{\Phi}^{\text{cand}}_3 \approx 0$ لا يولد قيداً رابعياً جديداً.
• بدلاً من ذلك، يعمل كمعادلة تفاضلية تثبت مضاعف لاغرانج الأولي ($u_1$) المرتبط بالقيد الأولي.
• النتيجة: تنغلق سلسلة ديراك عبر تثبيت المضاعف بدلاً من ظهور قيد جديد. وهذا يشير إلى أنه بالنسبة للمصادر العامة، لا يمتلك النظام بنية من الدرجة الأولى (first-class) قياسية في القطاع غير المقيد.

د. نوى المصدر الهرمية

يكشف التحليل أن اعتماد المصدر مشفر في ثلاث نوى متميزة:

1. $\Theta_l$: يتحكم في الربط الثانوي الذاتي وفي الربط الأولي-الثالثي.
2. $\Sigma_{lk}$: يتحكم في الربط الثانوي-الثالثي المختلط (التدرجات المكانية المتناظرة للتيار).
3. $\Xi_l$: يتحكم في الربط المختلط (تدرج تباعد المصدر).
   العائق العام يكون مرئياً في $\Theta_l$. وفقط إذا كانت $\Theta_l = 0$ (وغيرها من النوى تتلاشى)، يمكن للنظام استعادة بنية من الدرجة الأولى (first-class).

هـ. تحليل الفضاء الطوري المختزل (القطاع المقيد)

يشتق المؤلفون وصف هاميلتون المختزل، ومولد القياس، وروابط ديراك فقط للحالة الفرعية المقيدة حيث تتلاشى نوى المصدر ($\Theta_l = \Sigma_{lk} = \Xi_l = 0$) ويكون المرشح الثالثي صفراً تماماً.

• درجات الحرية: في هذا القطاع المقيد، يمتلك النظام درجتين من درجات الحرية الفيزيائية (المعيارية لـ $U(1)$).
• المقارنة على المسار (On-Shell):
  • القطاع الزمني (قانون غاوس): يستعيد الصيغة الهاميلتونية المختزلة تماماً قانون غاوس المتغير تحت تحويلات القياس الموجود في صياغة مستوى المعادلات لأدورنو وآخرين.
  • القطاع المكاني (قانون أمبير): تفشل معادلات التطور المكانية المختزلة في إعادة إنتاج قانون أمبير المتغير تحت تحويلات القياس بشكل كامل. فهي تحتفظ بعوائق غير قابلة للاختزال:
    1. عائق متغير تحت تحويلات القياس يعتمد على اختيار خريطة بانرجي.
    2. عائق مرتبط بالقياس يتضمن الجهد $A_i$.
  • الاستنتاج: لا يمكن اختزال مسار بانرجي بمستوى الفعل بالكامل إلى مسار مستوى المعادلات المتغير تحت تحويلات القياس للمصادر العامة، حتى في القطاع المختزل.

٤. الأهمية والآثار المترتبة

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

خلاصة الاستنتاج

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