⚛️ phenomenology

PDFxTMDLib: A High-Performance C++ Library for Collinear and Transverse Momentum Dependent Parton Distribution Functions

تقدم هذه الورقة البحثية مكتبة PDFxTMDLib، وهي مكتبة C++ حديثة وعالية الأداء تتغلب على قيود التخصيص وتحليل عدم اليقين التي تعاني منها الأدوات الحالية مثل LHAPDF وTMDLib، وذلك من خلال توفير إطار عمل مرن لكل من دالات توزيع البارتونات المعتمدة على الزخم الطولي والزخم المستعرض، وهو ما تم التحقق من صحته عبر التكامل مع مولد الأحداث PYTHIA والدراسات المقارنة.

المؤلفون الأصليون: R. Kord Valeshabadi, S. Rezaie

نُشر 2026-02-16

📖 4 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: R. Kord Valeshabadi, S. Rezaie

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

تخيل أنك تحاول التنبؤ بنتيجة تصادم هائل وعالي السرعة بين بروتونين، مثل تلك التي تحدث في مصادم الهادونات الكبير (LHC). للقيام بذلك، تحتاج إلى معرفة ما بداخل تلك البروتونات بالضبط. البروتونات ليست كرات صلبة؛ بل هي حقائب فوضوية من الجسيمات الأصغر المكونة من الكواركات والجلوونات (التي تُعرف مجتمعة باسم "البارتونات").

المشكلة تكمن في أن هذه البارتونات تتحرك بجنون. فبعضها ينطلق بسرعة للأمام مباشرة، بينما يتأرجح البعض الآخر جانبًا إلى جنب.

الأدوات القديمة: "الخرائط المنفصلة"

لطالما استخدم الفيزيائيون خريطتين مختلفتين (مكتبات برمجية) للتنقل في هذه الفوضى:

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

المشكلة: أراد العلماء أداة واحدة حديثة يمكنها التعامل مع سيناريوهات "الطريق السريع المستقيم" وسيناريوهات "حركة المرور المتعرجة" معًا، وتكون سهلة التخصيص، وقادرة على التعامل مع أنماط حركة المرور الأكثر تعقيدًا في المستقبل.

الحل الجديد: PDFxTMDLib

قام مؤلفا هذا البحث، R. K. Valeshabadi و S. Rezaie، ببناء PDFxTMDLib. فكر في هذا كـ نظام GPS عالمي عالي التقنية لفيزياء الجسيمات.

إليك ما يجعله مميزًا، باستخدام بعض التشبيهات من الحياة اليومية:

1. "المحول العالمي" (الإطار الموحد)

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

2. "نظام الليغو" (البنية المعيارية)

كانت المكتبات القديمة تشبه نماذج بلاستيكية جاهزة التركيب؛ بمجرد لصقها معًا، لا يمكنك تغيير العجلات أو المحرك.
أما PDFxTMDLib فقد بُني مثل الليغو (Lego). فهو يفصل الأجزاء عن بعضها:

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

3. "وحش السرعة" (الأداء العالي)

في محاكاة الفيزياء، قد تحتاج إلى حساب سرعات هذه الجسيمات مليارات المرات لتجربة واحدة. إذا كان برنامجك بطيئًا، فستستغرق المحاكاة أسابيع بدلًا من أيام.
استخدم المؤلفون تقنيات برمجية متقدمة (مثل تعدد الأشكال عند وقت التجميع - compile-time polymorphism) لجعل هذه المكتبة سريعة. الأمر يشبه الترقية من دراجة هوائية إلى سيارة رياضية. في اختباراتهم، قاموا بمحاكاة تصادم جسيم شهير (عملية دريل-يان - Drell-Yan process)، ووجدوا أن مكتبتهم الجديدة أسرع بنحو 5.6% من المعيار القديم، مع إعطاء نفس النتائج الدقيقة تمامًا.

4. "فحص الخطأ" (التعامل مع عدم اليقين)

كل خريطة لها هامش خطأ، وأحيانًا تكون البيانات غير واضحة.
الأدوات القديمة الخاصة بالجسيمات "المتعرجة" (TMDs) لم تكن تمتلك طريقة جيدة لحساب هذه الأخطاء تلقائيًا؛ حيث كان عليك القيام بذلك يدويًا أو استخدام أداة منفصلة ومعقدة.
لقد بنى PDFxTMDLib ميزة فحص الخطأ هذه مباشرة داخل النواة. إنه يشبه جهاز الـ GPS الذي لا يخبرك بالطريق فحسب، بل يقول أيضًا: "هناك احتمال 10% لوجود ازدحام هنا"، ويقوم بالعمليات الحسابية نيابة عنك فورًا.

5. التصميم "الجاهز للمستقبل"

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

الخلاصة

PDFxTMDLib هو مكتبة برمجية حديثة، سريعة، ومرنة توحد عالمين كانا منفصلين سابقًا في بيانات فيزياء الجسيمات.

بالنسبة للعالم: فهي توفر الوقت، وتقلل من الأخطاء البرمجية، وتسمح بتجارب معقدة ومخصصة كان من الصعب جدًا إعدادها سابقًا.
بالنسبة للمجال العلمي: فهي توحد طريقة التعامل مع الجسيمات "المتعرجة"، مما يضمن أن الجميع يستخدمون نفس الأدوات عالية الجودة لفهم الكون.

لق{د جعل المؤلفون الكود متاحًا مجانًا ومفتوح المصدر، مما يسمح لأي شخص بتنزيله، واستخدامه، والمساعدة في تحسينه، لضمان استمرار تطور نظام الـ "GPS" الخاص بالعالم دون الذري.

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

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

التفكيك المتعامد (Collinear Factorization): يستخدم دالات التوزيع الجزئي المتعامدة (cPDFs) التي تعتمد على كسر الزخم الطولي ( $x$ ) ومقياس التفكيك ( $\mu$ ).
تفكيك $k_t$ ( $k_t$ -Factorization): يستخدم التوزيعات المعتمدة على الزخم العرضي (TMDs) أو دالات التوزيع غير المتكاملة (UPDFs)، والتي تعتمد بالإضافة إلى ذلك على الزخم العرضي ( $k_t$ ).

يعتمد الباحثون حاليًا على مكتبتين منفصلتين: LHAPDF لـ cPDFs، وTMDLib لـ TMDs. وقد حددت الورقة البحثية عدة قيود حرجة في هذه الأدوات الحالية:

نقص القابلية للتوسع: تستخدم كلتا المكتبتين استكمالًا (interpolation) ثابت الأبعاد (بعدين لـ cPDFs، وثلاثة أبعاد لـ TMDs)، مما يجعل من الصعب دعم التوزيعات ذات الرتب الأعلى مثل دالات التوزيع الجزئي المزدوجة (DPDFs).
محدودية التخصيص: يقتصر المستخدمون على خوارزميات مدمجة ولا يمكنهم بسهولة تنفيذ استكمال أو استقراء (extrapolation) أو قارئ ملفات مخصص.
عدم الاتساق في TMDs: تفتقر TMDLib إلى هيكل شبكة/ملفات موحد؛ حيث تستخدم مجموعات TMD مختلفة بروتوكولات مختلفة، مما يجعل من الصعب إضافة مجموعات جديدة أو إجراء تحليل متسق لانتشار عدم اليقين على مستوى التوزيع.
ميزات مفقودة في TMDs: بينما تدعم LHAPDF ترابط كيو سي دي (QCD coupling $\alpha_s$ ) وتقدير عدم اليقين، تفتقر TMDLib إلى دعم معياري لهذه الميزات داخل المكتبة نفسها.

2. المنهجية والهندسة المعمارية

قدم المؤلفون PDFxTMDLib، وهي مكتبة C++ حديثة مصممة لتوحيد التعامل مع cPDF وTMD ضمن إطار عمل واحد قابل للتوسع. بنيت الهندسة المعمارية على ثلاثة مبادئ تصميمية أساسية:

فصل الاهتمامات (Separation of Concerns): واجهات واضحة للقراءة، والاستكمال، والاستقراء للبيانات.
تعدد الأشكال وقت التجميع (Compile-Time Polymorphism): استخدام نمط "النمط المتكرر المرتجع الفضولي" (CRTP) لتقليل عبء التشغيل وزيادة الأداء إلى أقصى حد.
{ $\text{...}$ }
محو النوع (Type Erasure): السماح بالتعامل مع الواجهات المرنة دون وراثة تقليدية، مما يتيح أداءً عاليًا مع الحفاظ على واجهة برمجة تطبيقات (API) نظيفة.

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

فئة PDFSet: هي الفئة الأساسية التي يتعامل معها المستخدم (تعتمد على معاملات CollinearPDFTag أو TMDPDFTag). توحد واجهة حساب cPDFs، وTMDs، و $\alpha_s$ ، وعدم اليقين، والارتباطات.
نمط المصنع (Factory Pattern): تقوم فئات GenericCPDFFactory وGenericTMDFactory وCouplingFactory بإنشاء كائنات محددة بناءً على بيانات وصفية بتنسيق YAML، مما يسمح للمستخدمين بتجاوز تجريد PDFSet للوصول المباشر عالي الأداء.
فئة GenericPDF: فئة قالبية تشمل ثلاث استراتيجيات قابلة للاستبدال:
- IReader: يتولى عمليات الإدخال والإخراج للملفات (يدعم تنسيق lhagrid1 الخاص بـ LHAPDF وتنسيقًا جديدًا لـ TMD).
- IInterpolator: يقوم بعملية الاستكمال (مثل: ثنائي الخطية، ثلاثي الخطية، أو ثنائي التكعيب).
- IExtrapolator: يتعامل مع القيم خارج حدود الشبكة.
توحيد تنسيق الملفات: قدمت المكتبة تنسيق lhaggrid_tmd1، وهو امتداد لتنسيق lhagrid1 الخاص بـ LHAPDF. يعمل هذا التنسيق على توحيد هيكل الشبكة لـ TMDs (تنظيم البيانات حسب $x$ و $k_t^2$ و $\mu^2$ والنكهة/flavor) لحل مشكلة نقص التوحيد في مجتمع TMD.

3. المساهمات الرئيسية

إطار عمل موحد: مكتبة واحدة قادرة على التعامل مع التوزيعات المتعامدة والمعتمدة على الزخم العرضي، مما يبسط صيانة الكود لعلماء الظواهر الفيزيائية.
أول ميزات من نوعها لـ TMDs: تعد PDFxTMDLib أول مكتبة توفر تقديرًا معياريًا لعدم اليقين وحسابات ترابط كيو سي دي ( $\alpha_s$ ) مباشرة عند مستوى توزيع TMD.
القابلية للتوسع إلى أبعاد أعلى: تم تصميم الهندسة المعمارية صراحةً لتتوسع لتشمل التوزيعات ذات الأبعاد الأعلى (مثل DPDFs وDTMDs) عبر القوالب المتغيرة (variadic templates) والمكونات القابلة للاستبدال، مما يضمن مواكبة التطورات المستقبلية.
تحسين الأداء: من خلال استخدام CRTP وتوزيع الدوال اليدوي، تتجنب المكتبة عبء تعدد الأشكال أثناء التشغيل (runtime polymorphism) الشائع في دوال C++ الافتراضية، مما يؤدي إلى تنفيذ أسرع.
دعم لغات متعددة: توفر المكتبة واجهة برمجة تطبيقات بلغة C++ بالإضافة إلى ربط لغة بايثون (pdfxtmd)، مما يسهل التكامل في بيئات البحث المتنوعة.

4. النتائج والتحقق

تحقق المؤلفون من صحة PDFxTMDLib من خلال المقارنات العددية واختبارات الأداء:

الدقة العددية:
- cPDFs: أظهرت المقارنات مع LHAPDF لمجموعات مثل METAv10LHC وCT18LO وEPPS16nlo توافقًا تامًا عبر مختلف النقاط الكينماتيكية ( $x$ ، $\mu^2$ ).
- TMDs: أظهرت المقارنات مع TMDLib لمجموعات مسار التفرع (Parton Branching - PB) (مثل PB-LO-HERAI+II-2020) تطابقًا دقيقًا لمنحنيات التوزيع.
التحقق من الظواهر الفيزيائية (عملية دريل-يان Drell-Yan):
- تم دمج المكتبة في مولد الأحداث مونت كارلو PYTHIA8 لمحاكاة عمليات دريل-يان ( $pp \to Z \to \mu^+\mu^-$ ) عند طاقة 13 TeV.
- طابقت النتائج للمقاطع العرضية الكلية والتفاضلية (الكتلة الثابتة، السرعة الزاوية/rapidity، $p_T$ ) نتائج LHAPDF تمامًا.
الأداء:
- في محاكاة لـ 50 مليون حدث دريل-يان، قللت PDFxTMDLib وقت التنفيذ بنسبة تقارب 5.6% مقارنة بـ LHAPDF (162,263 ثانية مقابل 171,935 ثانية).
- يُعزى هذا التحسن إلى خوارزميات الاستكمال المحسنة وتقليل العبء الحسابي، رغم المستوى العالي من التجريد الذي تستخدمه المكتبة.

5. الأهمية والأثر

تعالج PDFxTMDLib فجوة حرجة في برمجيات الفيزياء عالية الطاقة من خلال توفير حل قوي ومعياري وعالي الأداء لحسابات PDF وTMD.

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

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