Qurator: Scheduling Hybrid Quantum-Classical Workflows Across Heterogeneous Cloud Providers

إليك ملخص تقني مفصل لورقة البحث بعنوان: "Qurator: جدولة تدفقات العمل الهجينة بين الكم والكلاسيكية عبر مزودي السحابة غير المتجانسين."

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

يواجه دمج وحدات المعالجة الكمومية (QPUs) في تدفقات عمل الحوسبة عالية الأداء (HPC) عقبة حرجة وهي: زمن انتظار الطابور (Queue Latency). فبينما تُنفذ الدوائر الكمومية عادةً في ثوانٍ معدودة، قد تنتظر دقائق أو حتى أياماً في طوابير "الأولوية لمن يأتي أولاً" لدى مزودي الخدمات السحابية (مثل IBM وIonQ وRigetti).

• المقايضة: يتطلب تقليل وقت الانتظار غالباً اختيار أجهزة أقل حملاً، والتي قد تكون ذات دقة (Fidelity) أقل. وعلى العكس من ذلك، فإن اختيار الجهاز الأعلى دقة يؤدي غالباً إلى أوقات انتظار مفرطة.
• القيود الكلاسيكية: تفشل تقنيات الجدولة التقليدية في المجال الكمومي بسبب قيود فريدة:
  • مبرهنة عدم الاستنساخ (No-Cloning Theorem): تمنع تكرار المهام أو "سرقة العمل" (Work Stealing).
  • عدم القابلية للمقاطعة (Non-preemptibility): لا يمكن إيقاف المهام مؤقتاً أو نقلها بمجرد بدئها.
  • تبعيات التشابك (Entanglement Dependencies): المهام الموزعة التي تتشارك أزواج متشابكة (EPR pairs) يجب أن تُنفذ في وقت متزامن تقريباً قبل حدوث فك الترابط (Decoherence).
  • عدم التجانس (Heterogeneity): يعرض المزودون مقاييس معايرة، ومجموعات بوابات، وطبوغرافيات غير متوافقة.
  • الرسوم البيانية الموجهة الديناميكية (Dynamic DAGs): تولد تدفقات العمل الهجينة (مثل VQE وQAOA) دوائر كمومية ديناميكياً بناءً على التغذية الراجعة الكلاسيكية، مما يجعل الجدولة الثابتة مستحيلة.

2. المنهجية: بنية Qurator

Qurator هو مجدول غير مرتبط ببنية محددة (Architecture-agnostic)، صُمم لتحسين وقت الانتجار ودقة الدائرة بشكل مشترك عبر مزودين غير متجانسين. وهو ينمذج تدفقات العمل الهجينة كرسوم بيانية موجهة ديناميكية (Dynamic DAGs) ذات دلالات كمومية صريحة.

أ. تقدير الدقة الموحد

لمقارنة الأجهزة ذات البيانات غير المتوافقة، يقوم Qurator بتطبيع مقاييس المعايرة (أخطاء البوابات، أخطاء القراءة، أوقات التماسك) من ستة مزودين (IBM، IonQ، IQM، Rigetti، AQT، QuEra) إلى درجة نجاح لوغاريتمية موحدة.

• النموذج: يحسب درجة نجاح تشغيلية ($P_{ops}$) بناءً على أخطاء البوابات والقراءة، ويضيف عقوبة فك الترابط ($P_{decoh}$) بناءً على مدة الدائرة مقابل زمن التماسك ($T_2$).
• النتيجة: دقة مقدرة موحدة ($\hat{F}_{est}$) تسمح للمجدول بترتيب الأجهزة بغض النظر عن بنية الأجهزة الأساسية.

ب. دلالات الجدولة المدركة للكم

يقدم Qurator آليات محددة للتعامل مع القيود الكمومية:

• تقطيع الدائرة (Circuit Cutting): إذا كانت الدائرة كبيرة جداً لجهاز واحد أو تتطلب دقة عالية، يقوم Qurator بتقسيمها إلى دوائر فرعية أصغر. هذا يستبدل عبء المعالجة الكلاسية اللاحقة (Post-processing) بتقليل وقت الانتظار والدقة العالية على الأجهزة الأصغر.
• دمج المهام (Task Merging): يتم دمج عدة مهام كمومية مستقلة في عملية تقديم واحدة إلى وحدة معالجة كمومية (QPU) واحدة لتقليل عبء التزامن وازدحام الطوابير.
• حاجز التشابك (Entanglement Barrier): بالنسبة للمهام الموزعة، يضع Qurator حاجز مزامنة رسمياً. يقوم بحساب "الجبهة" (Frontier) للأسلاف غير المكتملين لتقدير متى ستكون المهام المتشابكة جاهزة، ثم يخصص الأجهزة بحيث تتماشى أوقات بدئها المقدرة قدر الإمكان لتقليل التباين (Skew) قبل أن يدمر فك الترابط الأزواج المتشابكة (EPR pairs).

ج. التحسين المتكيف مع الحمل

يستخدم Qurator معامل جدولة ($c_d$) لموازنة الدقة ووقت الانتظار ديناميكياً بناءً على حمل النظام:

• الحمل المنخفض: يعطي المعامل الأولوية للدقة (اختيار أفضل جهاز).
• الحمل العالي: ينقل المعامل الوزن نحو وقت الانتظار (اختيار الجهاز الأقل انشغالاً)، ولكن فقط من بين الأجهزة التي تلبي هدف الدقة المحدد من قبل المستخدم.
• التنبؤ: يستخدم نواة غاوسية (Gaussian kernel) فوق بيانات الطوابير التاريخية لتقدير أوقات الانتظار دون الحاجة للوصول إلى الحالات الداخلية للطوابير.

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

1. نموذج الدقة الموحد: طريقة للتوفيق بين بيانات المعايرة المتباينة من كبار المزودين الكميين في مقياس واحد قابل للمقارنة، تم التحقق من صحته مقابل نتائج الأجهزة.
2. الدلالات النوعية للكم: صياغة قيود مثل حواجز مزامنة التشابك ونظرية عدم الاستنساخ كقرارات جدولة من الدرجة الأولى (التقطيع والدمج).
3. التحسين المشترك: مجدول يعيد موازنة المقايضة بين الدقة ووقت الانتظار ديناميكياً، محققاً دقة قريبة من المثالية عند الأحمال المنخفضة، وتقليلاً كبيراً في وقت الانتظار عند الأحمال العالية دون انتهاك أهداف الدقة المحددة من المستخدم.
4. أول اختبار تشابك موزع: بما أن السحب العامة لا تدعم الحوسبة الكمومية الموزعة بعد، فقد أنشأ المؤلفون محاكياً ومجموعة جديدة من المقاييس (تباين البداية/النهاية، ووكيل البقاء) لتقييم الجدولة للمهام المتشابكة.

4. نتائج التقييم

تم تقييم النظام باستخدام محاكي مدفوع بـ أربعة أشهر من بيانات الطوابير الحقيقية من 11 جهازاً، ومعالجة ما يصل إلى 35,000 مهمة من مجموعة اختبار Munich Quantum Toolkit (MQT).

• الحمل المنخفض (5–500 مهمة): يتتبع Qurator خط الأساس "الأعلى دقة" ضمن نطاق 1% من الدقة، مع قبول زيادات طفيفة فقط في وقت الانتظار.
• الحمل العالي (5,000–35,000 مهمة):
  • يحقق تقليلاً بنسبة 30–75% في وقت الانتظار مقارنة بخط الأساس الأعلى دقة.
  • يحافظ على تكلفة دقة محكومة بالهدف المحدد من المستخدم (مثلاً 0.90).
  • يتفوق على خط الأساس "الأقل انشغالاً" بقبول طوابير أطول قليلاً لكسب دقة أعلى بنسبة 18–40%.
• الدوائر ذات الكيوبتات العالية: باستخدام تقطيع الدائرة، يحقق Qurator زيادة في الدقة تصل إلى 60% مقارنة باستراتيجية "الأقل انشغالاً" (التي غالباً ما تفشل تماماً في الدوائر الكبيرة) على حساب زيادة وقت الانتظار بسبب تقسيم المهام.
• التشابك الموزع: في ظل ظروف الطوابير الواقعية (آلاف المهام)، ينخفض "وكيل البقاء" للمهام المتشابكة الموزعة إلى ما يقرب من الصفر ($10^{-15}$ إلى $10^{-239}$)، مما يثبت أن الحوسبة الكمومية الموزعة غير مجدية حالياً على السحب العامة. ومع ذلك، فإن دمج الدوائر (تنفيذ المهام المتشابكة على جهاز واحد) يحسن معدلات البقاء بشكل كبير.

5. الأهمية

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