Perturbation Theory of the Free Energy via the Mesoscopic Combined Partition Function

ملخص تقني: نظرية الاضطراب للطاقة الحرة عبر دالة التجزئة الميزوسكوبية المشتركة

بيان المشكلة
تعتمد حسابات طاقة هلمهولتز الحرة ($F$) للأنظمة الكلاسيكية المكونة من $N$ من الأجسام المتفاعلة عادةً على نظرية الاضطراب، من خلال التوسع حول نظام مرجعي قابل للحل. ومع ذلك، فإن المقاربات القياسية غالباً ما تعامل النظام كمتصل دون معالجة ظهور الامتداد الديناميكي الحراري (thermodynamic extensivity) بشكل صريح. ومن ناحية أخرى، أثبت عمل حديث [2] أن الامتداد الديناميكي الحراري (إضافية الإنتروبي) هو خاصية ناشئة عن عملية تجزئة مشتركة للفضاء الطوري (coarse-graining)، وهي مشروطة بتلاشي المعلومات المتبادلة بين الخلايا. تعالج هذه الورقة الفجوة بين هذين الإطارين: فهي تسعى لبناء نظرية اضطراب صارمة للطاقة الحرة تعمل مباشرة ضمن إطار التجزئة الميزوسكوبية، مما يربط صلاحية توسعات الاضطراب بشروط الامتداد.

المنهجية
توحد هذه الورقة مؤثر التجزئة المشترك $\mathcal{C} = \mathcal{C}_x \circ \mathcal{C}_p$ (الذي يعمل على الفضاءات المكانية والزخم) مع نظرية الاضطراب الإحصائية القياسية. وتتقدم المنهجية عبر الخطوات التالية:

1. بناء دالة التجزئة الميزوسكوبية: يتم تقسيم فضاء الطور أحادي الجسيم إلى خلايا ناتجة (product cells) $C_{i,\alpha} = V_i \times \Pi_\alpha$. ويتم تعريف هاميلتوني ميزوسكوبي $H_{\text{meso}}$ باستخدام متوسطات طاقات المرجع لكل خلية ($\bar{\varepsilon}^{(0)}_{i,\alpha}$) ومتوسطات التفاعلات بين الخلايا ($\bar{v}_{(i,\alpha)(j,\beta)}$). كما يتم إدخال وزن حجم فضاء الطور $W(\{n_{i,\alpha}\})$، المستمد من توزيع متعدد الحدود لأعداد الإشغال. وتُعرف دالة التجزئة الميزوسكوبية $Z_{\text{meso}}(\lambda)$ كجمع منفصل لجميع تكوينات أعداد الإشغال موزونة بـ $W$ وعامل بولتزمان لـ $H_{\text{meso}}$.
2. التفكك عند الصفر (Zero Coupling): تم إثبات أنه عند $\lambda=0$ (الحالة المرجعية)، تتفكك $Z_{\text{meso}}$ تماماً إلى القوة $N$ لدالة تجزئة الخلية الواحدة، $Z^{(0)}_{\text{meso}} = (Z^{(0)}_1)^N$، وذلك بفضل نظرية ذات الحدين (multinomial theorem). وهذا يؤسس لحالة مرجعية من الخلايا المستقلة إحصائياً.
3. توسع الاضطراب الميزوسكوبي: يتم التوسع في الطاقة الحرة $F_{\text{meso}}(\lambda) = -k_B T \ln Z_{\text{meso}}(\lambda)$ في قوى معامل الاقتران $\lambda$. وينتج عن ذلك توسع تراكمي (cumulant expansion) تكون فيه المعاملات عبارة عن عزم (moments) للاضطراب بين الخلايا $V_{\text{meso}}$ المحسوبة بالنسبة لتوزيع متعدد الحدود المرجعي.
4. الارتباط بالطاقة الحرة الكاملة: يتم اشتقاق صيغة ربط تربط الطاقة الحرة الكاملة $F(\lambda)$ بالتقريب الميزوسكوبي $F_{\text{meso}}(\lambda)$. ويتم تحديد الفرق صراحة كجموع للمعلومات المتبادلة (mutual informations) بين الخلايا $I(i, j; \lambda)$، بالإضافة إلى تصحيحات من رتب أعلى.

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

• تعريف دقيق لـ $Z_{\text{meso}}$: توفر الورقة تعريفاً دقيقاً لدالة التجزئة الميزوسكوبية المستمدة مباشرة من مؤثر التجزئة المشترك. وتثبت أن الحالة المرجعية تتفكك تماماً، مما يوفر أساساً صلباً لنظرية الاضطراب يحاكي حد المتصل القياسي ولكنه يعمل على خلايا منفصلة.
• التوسع التراكمي الميزوسكوبي: تم اشتقاق توسع تراكمي لـ $F_{\text{meso}}$ (المعادلة 27). حيث يمثل الحد من الدرجة الأولى متوسط طاقة المجال (mean-field energy) الموزون باحتمالات الإشغال المرجعية. بينما يتضمن الحد من الدرجة الثانية تباين التفاعل بين الخلايا.
• متباينة جيبس-بوغوليوبوف الميزوسكوبية: تثبت الورقة نسخة ميزوسكوبية من متباينة جيبس-بوغوليوبوف (المعادلة 28)، وتبرهن أن $F_{\text{meso}}(\lambda) \leq F^{(0)}_{\text{meso}} + \lambda \langle V_{\text{meso}} \rangle^{(0)}_{\text{meso}}$.
• صيغة الربط والامتداد: النتيجة المركزية هي صيغة الربط (المعادلة 31):
  $$F(\lambda) = F_{\text{meso}}(\lambda) - k_B T \sum_{i<j} I(i, j; \lambda) + O(|\Lambda|\ell^{-d}e^{-2\ell/\xi})$$
  توضح هذه المعادلة أن الخطأ في التقريب الميزوسكوبي هو بالضبط مجموع المعلومات المتبادلة بين الخلايا المكانية. وبما أن المعلومات المتبادلة تتلاشى أسياً في الأنظمة ذات التفاعلات قصيرة المدى (الاستقرار والاعتدال/temperedness)، فإن الطاقة الحرة الميزوسكوبية تتقارب مع الطاقة الحرة الكاملة في الحد الديناميكي الحراري.
• استعادة النتائج القياسية:
  • الدرجة الأولى: في حد حجم الخلية المتناهي في الصغر ($\ell \to 0$)، تستعيد نظرية الدرجة الأولى النتيجة القياسية $F_0 + \langle V \rangle_0$. وتحديداً، تعيد إنتاج معادلة فان در فالس وحالة "باركر-هندرسون" للمراجع ذات الكرات الصلبة.
  • الدرجة الثانية: يتقارب تصحيح الدرجة الثانية إلى صيغة عامل البنية القياسية التي تتضمن دالة الارتباط الزوجي $g_0(r)$ وعامل البنية $S_0(k)$.
• الأنظمة المرجعية المثلى: تحدد الورقة تفكيك "ويكس-تشاندلر-أندرسن" (WCC) كأفضل تقسيم لإمكان "لينارد-جونز" ضمن هذا الإطار، حيث يقلل من التراكم الثاني الميزوسكوبي (التباين)، مما يقلل من الانحراف عن حد جيبس-بوغوليوبوف.
• نصف قطر التقارب: يظهر التحليل أن التجزئة (حجم خلية ميزوسكوبي محدد $\ell$) تزيد من نصف قطر تقارب سلسلة الاضطراب مقارنة بنظرية المتصل، حيث يعمل متوسط الخلية على تنعيم جهد التفاعل.

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

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

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