⚛️ quantum physics

QuPort: Topology-, Port-, and Congestion-Aware Compilation for Modular Multi-QPU Quantum Systems

تقدم هذه الورقة QuPort، وهو إطار عمل للتجميع للأنظمة متعددة وحدات المعالجة الكمومية (multi-QPU) النمطية، والذي يستخدم نموذجاً ثلاثي المستويات وخوارزمية TPCCAP لتحسين عملية تعيين الكيوبتات، وتخصيص المنافذ، وازدحام الروابط البينية بشكل مشترك، وذلك بهدف تقليل حركة المرور عبر وحدات المعالجة الكمومية واختناقات الاتصال.

المؤلفون الأصليون: Soumyadip Sarkar, Subhasree Bhattacharjee

نُشر 2026-05-14

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

CC BY 4.0

المؤلفون الأصليون: Soumyadip Sarkar, Subhasree Bhattacharjee

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

تخيل أنك تحاول تنظيم حفلة ضخمة ومعقدة، حيث الضيوف هم "بتات كمومية" (qubits) والغرف التي يتواجدون فيها هي حواسيب كمومية صغيرة ومنفصلة تُسمى QPUs.

في الأيام الخوالي، كان جميع الضيوف في قاعة رقص واحدة ضخمة. كانت مهمة "منظم الحفلة" (المترجم/compiler) تقتصر على التأكد من أن الضيوف الذين يحتاجون للتحدث مع بعضهم البعض يقفون بجانب بعضهم البعض. وإذا لم يكونوا كذلك، كان على المنظم إعادة ترتيب الناس (عملية تسمى "التوجيه"/routing) حتى يتمكنوا من الدردشة.

لكن الآن، نحن نبني حواسيب كمومية نموذجية (modular). بدلاً من قاعة رقص واحدة ضخمة، لدينا مبنى يحتوي على العديد من الغرف الصغيرة والمنفصلة (QPUs). بعض الغرف متصلة ببعضها عبر ممرات، لكن الممرات ضيقة ومكلفة في الاستخدام.

تقدم هذه الورقة منظم حفلات جديداً يُدعى QuPort. وإليك كيف يعمل، باستخدام تشبيهات بسيطة:

1. الخرائط الثلاث

لتخطيط الحفلة، ينظر QuPort إلى ثلاث خرائط مختلفة في نفس الوقت:

قائمة الضيوف (الرسم البياني المنطقي - Logical Graph): من يحتاج للتحدث مع من، وبأي قدر؟ (بعض الأصدقاء مقربون جداً ويحتاجون للتحدث باستمرار؛ وآخرون يكتفون بإلقاء التحية مرة واحدة فقط).
تخطيط الغرف (الخريطة الفيزيائية - Physical Map): داخل كل غرفة صغيرة، أي الكراسي تجلس بجانب بعضها البعض؟
مخطط المبنى (الرسم البياني للربط البيني - Interconnect Graph): كيف ترتبط الغرف ببعضها؟ هل هناك ممرات مباشرة، أم يتعين عليك المرور عبر ثلاث غرف أخرى لتصل إلى الغرفة التالية؟

2. المشكلة الكبرى: عنق زجاجة "الباب"

إذا وضعنا صديقين مقربين في غرفتين مختلفتين، فسيتعين عليهما الصراخ عبر الممر. ولكن هناك مشكلتان كبيرتان:

كثرة الصراخ: إذا كان عدد أزواج الأصدقاء الذين في غرف مختلفة كبيراً، فستزدحم الممرات.
قلة الأبواب: كل غرفة لديها عدد محدود فقط من "أبواب التواصل" (المنافذ/ports). إذا وضعت 100 ضيف في غرفة، وكان 5 منهم فقط يحتاجون للصراخ للخارج، فلا يمكنك السماح إلا لـ 5 منهم بالخروج في المرة الواحدة. البقية سيعلقون بالداخل.

3. الحل: استراتيجية TPCCAP

يستخدم QuPort استراتيجية خاصة تسمى TPCCAP ليقرر من يذهب إلى أي غرفة. إنه يحاول الموازنة بين ثلاثة أشياء:

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

4. كيف يخطط QuPort للحفلة (الخوارزميات)

لا يعتمد QuPort على التخمين فحسب؛ بل يستخدم بعض الحيل الذكية لإيجاد أفضل ترتيب:

تجميع الحواف الثقيلة (Heavy-Edge Clustering): ينظر إلى أقوى الصداقات أولاً ويقوم بربط تلك الأزواج معاً في نفس الغرفة قبل القلق بشأن البقية.
الجشع المتوازن (Balanced Greedy): يملأ الغرف ضيفاً تلو الآخر، ويختار دائماً الغرفة التي تبدو الأكثر منطقية لهذا الضيف دون جعل الغرفة مزدحمة للغاية.
‌تر التلدين المحاكي (Simulated Annealing): هذا يشبه مرحلة "الشك الثاني". بعد الخطة الأولية، يحاول إجراء تغييرات عشوائية صغيرة (مثل تبديل ضيفين) ليرى ما إذا كانت الحفلة ستسير بسلاسة أكبر. إذا كان التغيير يجعل الأمور أفضل، فإنه يحتفظ به. وإذا جعل الأمور أسوأ، فقد يحتفظ به للحظة لتجنب الوقوع في خطة "جيدة بما يكفي" ولكنها ليست "مثالية".

5. قائمة "الأحداث عن بُعد"

بمجرد تعيين الضيوف للغرف، ينشئ QuPort قائمة تعليمات خاصة.

التعليمات المحلية: "الضيف أ والضيف ب في الغرفة 1. يمكنهما التحدث بشكل طبيعي".
الأحداث عن بُعد: "الضيف أ في الغرفة 1 والضيف ب في الغرفة 2. يحتاجان للتحدث".

لا يقوم QuPort بتحديد كيفية تحدثهم عبر الممر (سواء باستخدام الليزر، أو الأسلاك، أو السحر). هو ببساه يحدد النقطة التي يجب أن يحدث فيها هذا التواصل ويخبر مهندسي الأجهزة: "تحتاجون لبناء بروتوكول هنا للتعامل مع هذا الصراخ المحدد".

6. الجدول الزمني

أخيراً، يقدر QuPort المدة التي ستستغرقها الحفلة. يقوم بعدّ عدد "الصرخات" التي يمكن أن تحدث في وقت واحد دون سد الممرات أو نفاد الأبواب. ويعطي تقديراً تقريبياً للوقت الإجمالي (makespan) بناءً على هذه القواعد المجردة.

ما الذي لا يفعله QuPort

الورقة واضحة جداً بشأن ما ليس عليه عمل هذا الأداة:

هو ليس آلة فيزيائية.
لا يعرف الفيزياء المحددة لحاسوبك الكمومي (مثل كم من الوقت تدوم البطارية أو مقدار الخطأ في الليزر).
لا يقوم فعلياً بعملية "الصراخ" عبر الغرف.

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

ملخص تقني: QuPort - تجميع مدرك للطوبولوجيا، والمنافذ، والازدحام للأنظمة الكمومية متعددة وحدات المعالجة الكمومية (Multi-QPU) النمطية

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

تفرض البنى الكمومية النمطية (Modular architectures)، التي تربط بين عدة وحدات معالجة كمومية (QPUs) عبر وصلات بينية، تحديًا فريدًا في التجميع يختلف عن الأجهزة المتجانسة (Monolithic). في تجميع الجهاز الواحد، يتمثل القيد الأساسي في خريطة الاقتران المحلية؛ حيث تُحل التفاعلات غير المحلية عبر إدراج عمليات التبديل (SWAP). ومع ذلك، في الأنظمة النمطية، لا تعتمد التفاعلات بين الكيوبتات الموجودة في وحدات معالجة كمومية مختلفة على مجرد بوابات محلية "أطول"، بل تعتمد على موارد اتصال نادرة: طوبولوجيا الوصلات البينية، ومنافذ الاتصال، وسعة الرابط.

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

خلق حركة مرور مفرطة بين وحدات المعالجة الكمومية.
تركيز حركة المرور على عدد قليل من روابط الوصلات البينية (مما يسبب ازدحامًا).
تخصيص الكثير من الكيوبتات الحدودية (الكيوبتات التي تتفاعل مع وحدات معالجة كمومية أخرى) لوحدة معالجة كمومية ذات منافذ اتصال غير كافية.

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

2. المنهجية

QuPort هو إطار عمل تجميع مبني على لغة بايثون (Python) يعتمد على Qiskit. يقدم نموذج نظام ثلاثي المستويات وخوارزمية تقسيم لتحسين استخدام الموارد.

2.1 نموذج النظام

يجرد إطار العمل مشكلة التجميع إلى ثلاثة رسوم بيانية (Graphs) متميزة:

رسم التفاعل المنطقي ( $G_L$ ): رسم بياني غير موجه وموزون، حيث تمثل العقد الكيوبتات المنطقية وتمثل أوزان الحواف الأهمية الزمنية أو التكرارية للتفاعلات ثنائية الكيوبت.
خريطة الاقتران الفيزيائي: رسم بياني موجه يمثل الاتصال داخل كل وحدة معالجة كمومية على حدة (مثل الشبكة، أو الحلقة، أو الكلِique).
رسم الوصلات البينية لوحدات المعالجة الكمومية ( $G_Q$ ): رسم بياني غير موجه يمثل الطوبولوجيا التي تربط بين وحدات المعالجة الكمومية (مثل Mesh، أو Ring، أو Clos، أو Fat-tree). يُستخدم هذا الرسم لحساب مسافات القفز (Hop distances) وأحمال الروابط.

يفترض النظام وجود $N$ من وحدات المعالجة الكمومية، كل منها يحتوي على $C$ من كيوبتات الحوسبة و $P$ من كيوبتات الاتصال. يجب أن يحترم التقسيم (من المنطقي إلى وحدة المعالجة الكمومية $\pi$ ) قيد السعة ( $C+P$ ) لكل وحدة معالجة كمومية.

2.2 هدف TPCCAP

جوهر QuPort هو دالة الهدف TPCCAP (التقسيم المدرك للطوبولوجيا، والمنافذ، والازدحام)، $J(\pi)$ ، والتي تقلل من مجموع موزون لثلاثة حدود للتكلفة:

مسافة القطع الموزونة: $\sum w_{ij} \cdot d(\pi(i), \pi(j))$ . هذا يعاقب التفاعلات بين الكيوبتات المخصصة لوحدات معالجة كمومية متباعدة في رسم الوصلات البينية، حيث $d$ هي مسافة أقصر مسار.
تجاوز منفذ الاتصال: $\sum \max(0, b_q - P)^2$ . هذا يعاقب وحدات المعالجة الكمومية التي يتجاوز فيها عدد الكيوبتات الحدودية ( $b_q$ ) عدد منافذ الاتصال المتاحة ( $P$ ).
ازدحام حمل الرابط الموجه: $\sum L_e^2$ . هذا يعاقب مربع الحمل على حواف الوصلات البينية ( $e$ )، مما يمنع تركيز حركة المرور على روابط محددة.

2.3 الخوارزميات

ينفذ QuPort سلسلة من الاستدلالات (Heuristics) لحل مشكلة التقسيم والتخطيط:

تجميع الحواف الثقيلة (Heavy-Edge Clustering): يدمج أزواج الكيوبتات المنطقية ذات الوزن العالي في مجموعات طالما أن حجم المجموعة لا يتجاوز سعة وحدة المعالجة الكمومية.
التقسيم الجشع المتوازن (Balanced Greedy Partitioning): يخصص الكيوبتات المنطقية واحدًا تلو الآخر بناءً على الدرجة الموزونة، مع موازنة الحمل عبر وحدات المعالجة الكمومية ومكافأة الوضع بالقرب من الجيران الذين تم تخصيصهم بالفعل.
البحث المحلي لـ TPCCAP: يعمل على تحسين التقسيم الأولي عن طريق نقل الكيوبتات لتقليل دالة الهدف $J(\pi)$ مع الحفاظ على قيود السعة.
TPCCAP-SA (التلدين المحاكى - Simulated Annealing): يضيف مرحلة تحسين عشوائية للهروب من النهايات الصغرى المحلية عن طريق قبول التحركات التي تزيد من دالة الهدف أحيانًا.
تخطيط مدرك لمنافذ الاتصال: بعد التقسيم، يختار كيوبتات محددة لتشغل منافذ الاتصال بناءً على "درجتها الخارجية" (إجمالي وزن التفاعلات مع وحدات المعالجة الكمومية الأخرى).
بناء البرنامج الموزع: في الوضع الموزع، يستخرج إطار العمل العمليات ثنائية الكيوبت بين وحدات المعالجة الكمومية كـ أحداث بعيدة (Remote events) صريحة ويدرج حواجز التزامن، بينما يقوم بتوجيه العمليات المحلية فقط ضمن خرائط الاقتران الخاصة بكل وحدة معالجة كمومية.

2.4 الجدولة وتقدير التكلفة

يتضمن QuPort مقدرًا مدركًا للطوبولوجيا يقرب وقت التنفيذ (Makespan) باستخدام معاملات تكلفة مجردة:

التكاليف المحلية: أوقات تنفيذ البوابات للعمليات أحادية الكيوبت، وثنائية الكيوبت، وعمليات التبديل (SWAP).
التكاليف البعيدة: نموذج يجمع بين تكلفة توليد التشابك ( $\tau_E$ )، وتكلفة الرحلة الذهاب والإياب الكلاسيكية ( $\tau_C$ )، والعبء البعيد ( $\tau_R$ ).
الجدولة: يتم حشد العمليات البعيدة في "جولات" بناءً على منافذ الاتصال المتاحة وسعة الروابط، مع احترام طوبولوجيا الوصلات البينية.

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

التجريد الصريح ثلاثي المستويات: يقترح البحث تجريدًا على مستوى المجمع يفصل بين رسم التفاعل المنطقي، وخريطة الاقتران الفيزيائي، ورسم الوصلات البينية لوحدات المعالجة الكمومية. يسمح هذا الفصل بتحسين تكاليف النوعية (Modular-specific) مثل (المسافة، المنافذ، والازدحام) التي تكون غير مرئية للمجمعات التقلية المتجانسة.
هدف TPCCAP: دالة هدف مبتكرة تعمل على تحسين المسافة بين وحدات المعالجة الكمومية، وندرة منافذ الاتصال، وازدحام الروابط بشكل مشترك، بدلاً من التعامل معها كأمور منفصلة أو ثانوية.
مسار التجميع الموزع: آلية تنتج تمثيلًا وسيطًا حيث يتم فصل الدوائر المحلية والأحداث البعيدة بشكل صريح. يتيح ذلك للمجمع إنشاء جداول زمنية مدركة للنمطية دون الالتزام بتنفيذ مادي محدد للبوابات البعيدة.
إطار عمل مفتوح المصدر: تنفيذ هذه الخوارزميات بلغة بايثون و Qiskit، مما يوفر بيئة قابلة لإعادة الإنتاج لدراسة استراتيجيات التجميع النمطية.

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

يركز البحث على الهيكل الخوارزمي وصحة إطار العمل بدلاً من تقديم نتائج زمن تشغيل لأجهزة معايرة.

الصحة: يقدم المؤلفون براهين رسمية (الافتراضات 1 و 2) تثبت أن خوارزميات التقسيم الخاصة بهم (Heavy-edge, Greedy, TPCCAP, TPCCAP-SA) تستوفي بصرامة قيود السعة لكل وحدة معالجة كمومية، وأن روتين التوجيه متعدد المسارات يحافظ على وزن حركة المرور.
التحقق: يفرض إطار العمل فحوصات تحقق على مدخلات التقسيم، وبناء التخطيط، ومصفوفات حركة المرور لضمان قيم محدودة، موجبة، ومتماثلة.
نطاق النتائج: لا يدعي البحث التفوق على بروتوكولات أجهزة محددة أو توفير معدلات خطأ معايرة. بدلاً من ذلك، يوضح أن إطار العمل ينجح في توليد تقسيمات وبرامج موزعة صالحة تحترم القيود المجردة المحددة.

5. الأهمية والادعاءات

يضع البحث QuPort كـ تجريد على مستوى المجمع وليس كتنفيذ للأجهزة. تكمن أهميته في:

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

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