المبادئ الأولى للدوال الموجية العصبية: التناظر المضاد، والحدود العليا التغايرية، وأخطاء أخذ العينات المترابطة

1. اتخاذ الدالة الموجية موضوعًا للنمذجة يغيّر مسألة التعلم

يبني FermiNet الدالة الموجية من مواضع الإلكترونات ومعلومات النوى، ويقلّل القيمة المتوقعة للطاقة باستخدام مونت كارلو التغايري. يجب أن تمثّل الشبكة الارتباط الإلكتروني، وأن تحقق في الوقت نفسه شرط تغيّر الإشارة عند تبادل فرميونات متماثلة. وبخلاف نماذج الجهد الخاضعة للإشراف التي تتنبأ بالطاقة بالانحدار انطلاقًا من البنية، تأتي إشارة التدريب في هذه الطرق من تأثير الهاملتوني ومن القيم المتوقعة المقدّرة بأخذ العينات؛ وعادةً ما تتطلب التشكيلات النووية المختلفة تحسينًا مناسبًا لكل منها. لذلك يفصل هذا المقال بين أربعة بنود: خطأ التمثيل، وخطأ التحسين، وخطأ أخذ العينات، والتقريبات الفيزيائية؛ ولا يجوز تفسير «غياب تسميات طاقة خارجية» بأنه غياب للكلفة الحسابية أو الفرضيات الفيزيائية.[1] Ab-Initio Solution of the Many-Electron Schrödinger Equ

2. توفر المحددات التناظر المضاد، لكنها لا تعالج تلقائيًا جميع الارتباطات الإلكترونية

عند تبادل إلكترونات ذات لف مغزلي متماثل، يؤدي تبادل صفوف المحدد إلى تغيّر الإشارة؛ ويمكن للشبكة أن تجعل المدارات معتمدة على الإلكترونات الأخرى، فتنتج تمثيلًا أكثر مرونة من المدارات المستقلة البسيطة. يستخدم FermiNet هذه الفكرة لتعلّم الارتباطات متعددة الأجسام. تضمن بنية المحدد نوعًا من التناظر، لكنها لا تضمن صحة السطوح العقدية، ولا بلوغ الحالة الأدنى طاقةً بالتحسين. ينبغي عند مقارنة الطرق تثبيت الهاملتوني، وعدد الإلكترونات، والتشكيل النووي، والشروط الحدية، مع الإبلاغ بصورة منفصلة عن عدد المحددات، وحجم الشبكة، وميزانية التحسين. إن ترتيب الطرق حسب عدد المعاملات وحده يخلط بين تقريبات فيزيائية وإجراءات حسابية مختلفة.[1] Ab-Initio Solution of the Many-Electron Schrödinger Equ[3] Ab initio calculation of real solids via neural network

3. اشتقاق في هذا المقال: ينشأ الحد العلوي التغايري من المتوسط المرجّح لطيف الطاقة

بتوسيع حالة تجريبية مطبّعة على الحالات الذاتية المتعامدة للهاملتوني، تصبح القيمة المتوقعة للطاقة متوسطًا لطاقات الحالات الذاتية مرجّحًا بمربعات مقادير المعاملات؛ وجميع الأوزان غير سالبة ومجموعها واحد، ولذلك لا تقل هذه القيمة عن طاقة الحالة القاعية. يعتمد هذا البرهان على هاملتوني ذاتي المرافق ومجال تعريف مناسب. وقد ينخفض التقدير الفعلي من عينة محدودة مؤقتًا عن القيمة الحقيقية بسبب التقلبات الإحصائية، لذا لا يجوز اعتبار تقدير واحد حدًا علويًا رياضيًا صارمًا. وعند إدخال جهود كاذبة أو اقتطاعات أو هاملتوني تقريبي، فإن الحد العلوي يخص أيضًا المسألة المحلولة وحدها، ولا يشمل تلقائيًا كامل فيزياء الجزيء الحقيقي.作者分析与复核建议 / Author analysis

4. مثال دقيق في هذا المقال: طاقة المذبذب التوافقي ذي الحالة التجريبية الغاوسية وتباين الطاقة المحلية

في المذبذب التوافقي أحادي البعد عديم الأبعاد، نأخذ ψα(x) متناسبة مع exp(−αx²/2). يعطي الحساب المباشر الطاقة (α+1/α)/4، وتبلغ عند α=1 طاقة الحالة القاعية الدقيقة 1/2؛ ويكون تباين الطاقة المحلية (1−α²)²/(8α²)، وينعدم أيضًا عند هذه النقطة. يعرض الرسم منحنيات تحليلية بالكامل، مع تحقق مستقل بالتكامل العددي. ويوضح كيف يمكن لدالة موجية أفضل أن تحسّن الطاقة وكفاءة أخذ العينات معًا، لكن لا يمكن تعميم ذلك على أنه تكافؤ تام بين تحسين الطاقة وتحسين التباين في جميع الأنظمة الحقيقية؛ فقد تجعل الحالات المثارة والعقد غير الملائمة الوضع أكثر تعقيدًا.作者分析与复核建议 / Author analysis

5. تحوّل الطاقة المحلية القيمة المتوقعة للمؤثر إلى كمية قابلة لأخذ العينات

يؤدي تطبيق الهاملتوني على الدالة الموجية التجريبية ثم القسمة على الدالة الموجية إلى الحصول على الطاقة المحلية؛ وعند أخذ العينات وفق مربع مقدار الدالة الموجية، يساوي متوسطها الطاقة التغايرية. تجعل حسابات المشتقات والمشتقات الثانية معاملات الشبكة والدقة العددية والسلوك قرب العقد عوامل تؤثر مباشرةً في التقدير. يوصي هذا المقال بالإبلاغ عن توزيع الطاقة المحلية والذيول غير الاعتيادية، بدلًا من تقديم المتوسط والخطأ المعياري فقط. وإذا حُذفت لاحقًا قيم كبيرة قليلة، تكون الكمية المستهدفة بالتقدير قد تغيّرت بالفعل، ويجب توضيح قواعد القص والإحصاء المتين؛ كما ينبغي التمييز بين التثبيت أثناء التدريب والتقييم النهائي غير المتحيز.[1] Ab-Initio Solution of the Many-Electron Schrödinger Equ

6. اشتقاق في هذا المقال: عدد خطوات السلسلة المترابطة ليس عدد العينات المستقلة

عادةً ما تكون الحالات المتجاورة في سلسلة مونت كارلو مترابطة. فإذا كان الارتباط الذاتي المطبّع هو ρk، فإن تباين المتوسط يُضرب تقريبًا في 1+2Σρk، وينخفض تبعًا لذلك حجم العينة الفعال المستقل. عند إنشاء ارتباط من نوع AR(1) مع ρ=0.9، يبلغ عامل التضخيم في حد السلسلة الطويلة نحو 19، ولا تعادل 10000 خطوة، من حيث دقة المتوسط، إلا نحو 526 عينة مستقلة. حُسب الرسم وفق فرضية ارتباط صريحة، ولا يمثل الأداء الفعلي لأخذ العينات في FermiNet. ينبغي الاحتفاظ بمعلومات الاتساق بين السلاسل، والتهيئة للوصول إلى الاتزان، وحجم الخطوة، وتقدير الارتباط، وألا يُستخدم عدد دورات التدريب بديلًا عن حجم العينة الفعال لتقدير الطاقة النهائي.作者分析与复核建议 / Author analysis

7. تتطلب الطاقة الكلية وفروق الطاقة حسابين مختلفين للأخطاء

غالبًا ما تهتم المسائل الكيميائية بفروق الطاقة بين المتوافقات، أو طاقات الارتباط، أو منحنيات التفكك، لا بالطاقة الكلية منفردةً. وعند طرح طاقتين كبيرتين، يعتمد إلغاء الانحياز من عدمه على الطريقة والنظام؛ كما يعتمد التباين الإحصائي على التغاير بينهما. وتناقش الأعمال التي تستخدم الدوال الموجية التجريبية العصبية في DMC أيضًا الطاقات النسبية ومسائل التقارب. يوصي هذا المقال بأن تُدرج لكل فرق طاقة تقريبات الهاملتوني ومستويات التحسين وارتباطات أخذ العينات، مع بيان أوجه تماثلها أو اختلافها، وأن يُقيَّم الانحياز المنهجي والخطأ الإحصائي على نحو منفصل. لا يكفي انخفاض الطاقة الكلية وحده لإثبات دقة أكبر لفرق طاقة معيّن.[2] Towards the ground state of molecules via diffusion Mon[1] Ab-Initio Solution of the Many-Electron Schrödinger Equ

8. ما التقريبات التي تبقى في طرق الانتشار بالعقد الثابتة؟

يمكن لاستخدام دالة موجية عصبية حالةً تجريبية في DMC بالعقد الثابتة أن يحسّن الطاقة تحت قيد عقدي محدد، لكن أخطاء السطوح العقدية لا تزول تلقائيًا. قارنت الدراسة الأصلية هذا النهج المركّب عبر عدة أنظمة، وظلت النتائج مرتبطة بالحالة التجريبية والخطوة الزمنية والشروط المحددة. ينظر هذا المقال إلى ذلك بوصفه ضبطًا للأخطاء على مرحلتين: فحص التمثيل التغايري والعقد أولًا، ثم فحص الإسقاط والخطوة الزمنية وأخذ العينات. وإذا استخدمت طرق مختلفة جهودًا كاذبة أو شروطًا عقدية مختلفة، فينبغي شرحها بندًا بندًا، بدلًا من جمع جميع جداول الطاقة مباشرةً لمقارنة أصغر قيمة عددية.[2] Towards the ground state of molecules via diffusion Mon

9. يضيف التوسيع إلى الأنظمة الدورية شروطًا فيزيائية وعددية جديدة

تنطوي دورية المواد الصلبة الحقيقية على مسائل الحدود، والتآثرات بعيدة المدى، والحجم المحدود، وتمتد أبحاث الدوال الموجية العصبية الدورية بهذه الطرق إلى تلك الأوضاع. يرى هذا المقال أنه لا يجوز اعتبار النجاح في الجزيئات دليلًا مباشرًا على الدقة في الحد الترموديناميكي للمواد الصلبة. ينبغي الاحتفاظ بمعلومات الخلية الفائقة، والطور الحدي، ومعالجة كولوم، وقواعد الاستقراء بالنسبة إلى الحجم، ومقارنة كثافة الطاقة والكميات المرصودة ذات الصلة. فقد يتأثر انخفاض الطاقة لكل جسيم بين خلايا فائقة مختلفة أيضًا بتغير الحجم؛ لذا يجب أولًا توحيد المسألة الفيزيائية، ثم مناقشة ما إذا كان تمثيل الشبكة أفضل.[3] Ab initio calculation of real solids via neural network

10. خطة مقارنة تُوائِم كلًا من الميزانية والمسألة الفيزيائية

نقترح، بعد تثبيت النظام المستهدف والهاملتوني، مواءمة ميزانية التحسين، وميزانية أخذ العينات للتقييم النهائي، وميزانية البحث عن المعاملات الفائقة، كلًّا على حدة. ويُسجَّل مسبقًا كل من الطاقة، والتباين، وفرق الطاقة المستهدف، وكمية مرصودة واحدة على الأقل ذات صلة، مع استخدام سلاسل تقييم مستقلة بدلًا من نقطة التحقق الأكثر حظًا أثناء التدريب. ولكل طريقة، تُحفَظ البذور العشوائية ومحاولات التحسين الفاشلة والدقة العددية. وإذا تحسنت الطاقة وحدها بينما تدهورت الكميات المرصودة أو الطاقات النسبية، فيجب الإبلاغ بأمانة عن هذا التباين؛ وإذا كان الخطأ أدنى من قدرة أخذ العينات على التمييز، فينبغي زيادة التقييم المستقل بدلًا من الادعاء بتحقيق اختراق استنادًا إلى المنازل العشرية.作者分析与复核建议 / Author analysis

الملحق التقني A · تحقق مستقل بالتكامل من المثال الغاوسي

في ظل التوزيع التجريبي، تكون القيمة المتوقعة لـ x² هي 1/(2α)، والطاقة المحلية α/2+(1−α²)x²/2؛ ويعطي التعويض مباشرةً صيغة الطاقة المعروضة في الصفحة. ويمكن كذلك اشتقاق تباين الطاقة المحلية باستخدام العزم الغاوسي من الرتبة الرابعة. نتحقق عبر مسارين، هما العزوم التحليلية والتكامل العددي المستقل، ونفحص أن الطاقة عند α=1 تساوي 1/2 وأن التباين ينعدم، وكذلك تناظر الطاقة بين α و1/α. هذه اختبارات لمتطابقات دقيقة، ويمكنها كشف أخطاء الإشارة أو التطبيع في شيفرة الرسم، لكنها لا تدل على أن أي دالة موجية عصبية قد تقاربت إلى الحالة القاعية لجزيء حقيقي.作者分析与复核建议 / Author analysis

الملحق التقني B · يلزم فحص السلوك العددي قرب العقد على نحو منفصل

يتضمن حساب الطاقة المحلية القسمة على الدالة الموجية، وقد تظهر قرب العقد قيم عددية كبيرة وذيول في التوزيع. تجعل البنية المضادة للتناظر وجود العقد أمرًا لا مفر منه، لكن صحة السطوح العقدية تتحدد بالتمثيل والتحسين. يوصي هذا المقال بالاحتفاظ بالقيم غير الاعتيادية، وبمعلومات دقة المشتقات والحساسية عند مستويات مختلفة من الدقة العددية، وعدم حذف جميع الذيول بوصفها قيمًا شاذة. وبالنسبة إلى المتوسط النهائي، يجب توضيح ما إذا كان التثبيت يُدخل انحيازًا، والتحقق بتقدير مستقل. فقد ينشأ متوسط خسارة يبدو مستقرًا أثناء التدريب من قصّ يخفي مشكلات قرب العقد، مما يستلزم تشخيصًا أدق للتوزيع.作者分析与复核建议 / Author analysis

الملحق التقني C · تقارب الطاقة لا يضمن تقارب جميع الكميات المرصودة

إذا كانت فجوة الطاقة بين الحالة القاعية وإحدى الحالات المثارة صغيرة جدًا، فقد تظل الحالة التجريبية محتويةً على مكوّن مثار ملحوظ مع زيادة طفيفة فقط في الطاقة؛ وقد تُحدث هذه المكونات فروقًا كبيرة في بعض الكميات المرصودة. وعلى العكس، عند وجود فجوة طاقة معلومة وكبيرة، يمكن لفائض الطاقة أن يقيّد الوزن الإجمالي خارج الحالة القاعية. يوضح هذا المقال هذه المشروطية بالتوسيع على الحالات الذاتية، دون الادعاء بأن فجوة الطاقة في الأنظمة الحقيقية معلومة. ينبغي أن تختار البحوث كميات مرصودة ذات صلة بالمسألة الكيميائية المستهدفة، وأن توضح أيّها تدعمه الطاقة وأيّها يتطلب تحققًا مستقلًا، تجنبًا لتحويل الطاقة المنخفضة تلقائيًا إلى ادعاء بدقة جميع الخواص.作者分析与复核建议 / Author analysis

الملحق التقني D · يجب قياس إلغاء الأخطاء في الطاقات النسبية

إذا استُخدمت للحالتين تمثيلات متشابهة والتقريبات نفسها، فقد تُلغى الأخطاء المنهجية جزئيًا، لكن لا يمكن افتراض هذا الإلغاء بالحدس وحده. يوصي هذا المقال بحساب اتجاهات الخطأ عبر تشكيلات متعددة، ومقارنة عدم التوازي وفروق الطاقة المستهدفة، بدلًا من النظر إلى نقطة الاتزان فقط. ويجب أيضًا تحديد التغاير الإحصائي من مخطط أخذ العينات؛ فلا يجوز إسناد ارتباط موجب اعتباطيًا إلى حسابين مستقلين لتضييق الفترات. وبالنسبة إلى حالتين تختلف ميزانيتا تحسينهما، ينبغي أولًا التحقق من تماثل درجة التقارب. ولا يكون للتحسن في فروق الطاقة مصدر واضح قابل للتفسير إلا بعد مواءمة هذه الشروط.作者分析与复核建议 / Author analysis

11. الخلاصة: تتطلب القدرة على الحساب من المبادئ الأولى تفكيكًا كاملًا للأخطاء

تكمن أهمية الدوال الموجية العصبية في توفير تمثيل مرن متعدد الأجسام يحقق تناظرات مهمة، وفي دمجه مع مبدأ التغاير الكمومي. يوضح مثال المذبذب التوافقي الدقيق واشتقاق أخذ العينات المترابطة في هذا المقال أن أي رقم في جدول طاقات يجب فهمه مع التقريبات الفيزيائية وإجراءات التحسين والإحصاء المصاحبة له. إن ربط هذه المعلومات بالشيفرة والعشوائية والكميات المرصودة المستهدفة يتيح للباحثين تحديد مصدر التحسن، كما يتيح كشف الاختناقات المحددة في العقد أو التمثيل أو أخذ العينات عند الفشل. وهذا أقرب إلى بناء أدلة تراكمية في الكيمياء الكمومية من الاكتفاء بعرض أدنى طاقة كلية.作者分析与复核建议 / Author analysis

المعادلات والاشتقاقات الأساسية

مسار المنهج والأدلة

رسوم تحليلية وأمثلة عددية

مثال محلول قابل لإعادة الحساب

عند alpha=1 تكون الطاقة الدقيقة 0.5 وتباين الطاقة المحلية 0؛ وعند alpha=2 تكون الطاقة 0.625 والتباين 0.28125. وعند rho=0.9، يكون حجم العينة الفعال لسلسلة طويلة من 10000 خطوة نحو 526.316.

مقارنة الطرق

خطة التحقق والتجارب

1. تثبيت الهاملتوني والتشكيل النووي وعدد الإلكترونات والحدود، وتجنب الخلط في المقارنة بين مسائل فيزيائية مختلفة.
2. حفظ التمثيل وعدد المحددات والدقة وجميع إعدادات التحسين.
3. تحديد مقاييس التقييم النهائية مسبقًا للطاقة والتباين وفروق الطاقة والكميات المرصودة المستقلة.
4. مواءمة ميزانيات التحسين والبحث والتقييم النهائي كلًّا على حدة.
5. التقييم بسلاسل مستقلة، والإبلاغ عن التهيئة للوصول إلى الاتزان والارتباط الذاتي وحجم العينة الفعال.
6. التحقق بصورة إضافية في DMC من العقد والخطوة الزمنية وتقريبات الإسقاط؛ والتحقق بصورة إضافية من الحجم المحدود في الأنظمة الدورية.
7. تقديم الفترات باستخدام الوحدات والمرجع نفسيهما، والاحتفاظ بمحاولات التحسين الفاشلة والذيول غير الاعتيادية.
8. إتاحة تحليل قابل لإعادة الحساب؛ وعدم تسجيل مذبذب هذا المقال التوافقي بوصفه أداءً على جزيئات فعلية.

نطاق الانطباق والقيود

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

أدلة الدراسات الأصلية ونطاق انطباقها

أسئلة بحثية جديرة بالاختبار

1. في ظل التقريبات الفيزيائية نفسها، ما مقدار إسهام كل من تحسين العقد وكفاءة أخذ العينات؟
2. عندما تكون فروق الطاقة الكلية أصغر من الخطأ الإحصائي، ما الكميات المرصودة الأقدر على كشف قصور التمثيل؟
3. هل يمكن لأخذ العينات المترابطة أن يحسّن بصورة مستقرة دقة طرح طاقات كبيرة؟

المصادر الأولية وما يقابلها من ادعاءات

1. Ab-Initio Solution of the Many-Electron Schrödinger Equation with Deep Neural NetworksPfau et al. · 2019-09-05Fermionic ansatz, variational Monte Carlo, antisymmetry and molecular benchmark domain.
2. Towards the ground state of molecules via diffusion Monte Carlo on neural networksRen et al. · 2023-03-31Trial wavefunctions and fixed-node diffusion Monte Carlo; total versus relative energy and nodal limitations.
3. Ab initio calculation of real solids via neural network ansatzLi et al. · 2022-12-19Periodic boundary conditions and neural-network quantum states for solids.