A Modular, Topology-Aware Software Stack for Entanglement-Based Distributed Quantum Computing
تقدم هذه الورقة إطار عمل برمجياً مفت المصدر، مدركاً للطوبولوجيا، يقوم بالتصميم المشترك لعمليتي التجميع والجدولة للحوسبة الكمومية الموزعة عبر تقسيم الدارات عبر وحدات معالجة كمومية مترابطة، مما يثبت أن كفاءة التنفيذ تعتمد بشكل حاسم على التفاعل بين طوبولوجيا الشبكة، والاتصال داخل وحدة المعالجة الكمومية، واستراتيجيات التجميع.
المؤلفون الأصليون:Luke Andreesen, Shobhit Gupta, Sean Sullivan, Manish Kumar Singh
تعد الحواسيب الكمومية بحل مشكلات قد تستغرق الحواسيب الفائقة اليوم آلاف السنين لإنجازها، لكنها تواجه جداراً فيزيائياً. إن بناء آلة واحدة تحتوي على عدد كافٍ من الوحدات الصغيرة الهشة للمعلومات للتعامل مع هذه المهام الضخمة يزداد صعوبة بشكل هائل. فهذه الوحدات، المعروفة باسم الكيوبتات (qubits)، يصعب الحفاظ على استقرارها، كما أن ربطها جميعاً معاً داخل جهاز واحد يخلق شبكة متشابكة من التداخل. ولتجاوز ذلك، يتطلع العلماء إلى نهج مختلف: فبدلاً من بناء دماغ واحد ضخم، يحاولون ربط عدة معالجات كمومية أصغر حجماً ببعضها البعض. وتتواصل هذه المعالجات عبر مشاركة اتصال غريب يسمى "التشابك" (entanglement)، حيث ترتبط حالة جسيم في آلة واحدة فورياً بجسيم في آلة أخرى، بغض النظر عن المسافة بينهما. هذا الأسلوب، المسمى بالحوسبة الكمومية الموزعة، قد يسمح للباحثين برفع مستوى القدرة دون الاصطدام بالحدود القصوى لشريحة واحدة. ومع ذلك، فإن جعل هذه الآلات المنفصلة تعمل كآلة واحدة يتطلب ما هو أكثر من مجرد الأجهزة؛ فهو يتطلب طريقة متطورة لإدارة تدفق المعلومات وتوقيت تفاعلاتها.
لقد طور فريق من الباحثين في شركة "memQ Inc" إطار عمل برمجياً جديداً صُمم لحل مشكلة الإدارة هذه. فقد أنشأوا نظاماً نموذجياً يعمل كمترجم ومراقب حركة مرور للبرامج الكمومية الموزعة. يأخذ البرنامج الكمومي القياسي ويقوم بتفكيكه، مقرراً أي الأجزاء يجب أن تعمل على أي معالج. ثم يعيد بناء البرنامج، مدرجاً الخطوات اللازمة لنقل المعلومات بين الآلات باستخدام التشابك. والأهم من ذلك، أن هذا النظام لا يفترض وجود عالم مثالي؛ فهو يسمح للمستخدمين بتحديد المخطط الدقيق للشبكة، بما في ذلك عدد المعالجات، وكيفية اتصالها ببعضها البعض، وكيفية توصيل الكيوبتات داخل كل معالج. بعد ذلك، يقوم البرنامج بمحاكاة التنفيذ، مع مراعاة الوقت المستغرق لتوليد روابط التشابك والتأخيرات الناتجة عن شكل الشبكة المحدد.
استخدم الباحثون أداتهم لاختبار كيف تؤثر تصميمات الشبكات المختلفة واستراتيجيات البرمجيات على تكلفة تشغيل برنامج ما. وفي هذا السياق، تُقاس "التكلفة" بعدد أزواج التشابك التي يجب أن يستهلكها النظام لإكمال المهمة. وبما أن توليد هذه الأزواج عملية بطيئة وصعبة، فإن استخدام عدد أقل منها يجعل النظام أكثر عملية. ووجد الفريق أنه لا توجد طريقة واحدة مثلى لتنظيم الشبكة أو تقسيم العمل. فبالنسبب لبعض أنواع المشكلات، تكون الشبكة التي يتصل فيها كل معالج مباشرة بكل معالج آخر هي الأكثر كفاءة. أما بالنسبة لأنواع أخرى، فإن سلسلة بسيطة أو حلقة من المعالجات تعمل بشكل أفضل، وذلك اعتماداً على حجم المشكلة والمخطط المحدد للآلات. كما اكتشفوا أن التوصيلات الداخلية لكل معالج تلعب دوراً بالغ الأهمية؛ فإذا كانت الكيوبتات داخل الآلة متصلة فقط بجيرانها المباشرين، فإن النظام غالباً ما يحتاج إلى عشرة أضعاف عدد أزواج التشابك مقارنة بالحالة التي تكون فيها جميع الكيوبتات متصلة ببعضها البعض. يحدث هذا لأن البرنامج يضطر إلى نقل البيانات ذهاباً وإياباً داخل الآلة لمجرد إيصالها إلى المكان الصحيح لعملية بعيدة، وتلك الخطوات الإضافية تكسر كفاءة مجموعات العمليات.
كما بحثت الدراسة في كيفية جدولة هذه العمليات عندما لا يكون ضمان نجاح روابط التشابك أمراً فورياً. ففي العالم الحقيقي، يعد إنشاء رابط تشابك حدثاً احتمالياً؛ فقد يحدث بسرعة، أو قد يستغرق عدة محاولات. وقد بنى الباحثون مجدولاً يمكنه التعامل مع عدم اليقين هذا، حيث يقرر أي معالج يجب أن يحاول إجراء اتصال تالٍ عندما تكون عدة معالجات في حالة انتظار. واختبروا قواعد مختلفة لاتخاذ القرار هذا، مثل خدمة الطلب الذي انتظر لفترة أطول مقابل خدمة الطلب الذي سيستغرق وقتاً أقل للإنجاز. وأظهرت عمليات المحاكاة التي أجروها أن كون المرء ذكياً في تحديد الطلب التالي الذي سيتم خدمته يمكن أن يقلل إجمالي وقت الانتظار بنسبة تقارب ثمانية عشر بالمائة مقارنة بنهج "من يأتي أولاً يُخدم أولاً" البسيط. ولا يأتي هذا التحسن من خوارزمية معقدة جديدة، بل ببساطة من الإقرار بأن بعض الطلبات أكثر إلحاحاً أو أقصر زمناً من غيرها.
ولعل الاكتشاف الأكثر أهمية هو أن أفضل استراتيجية برمجية تعتمد كلياً على الأجهزة التي تعمل عليها. فقد قارن الفريق عدة طرق لتقسيم برنامج كمومي. إحدى هذه الطرق، التي تجمع العمليات المتشابهة معاً، حققت نجاحاً باهراً في الدوائر ذات الهياكل المتكررة، لكن أداءها كان ضعيفاً في حالات أخرى. أما الطريقة الأخرى، التي تعيد تقييم مكان وضع البيانات باستمرار أثناء تشغيل البرنامج، فقد تفوقت في المشكلات غير المهيكلة، لكنها قد تكون غير فعالة في حالات أخرى. وتشير النتائج إلى أن نهج "المقاس الواحد الذي يناسب الجميع" في برمجة الحواسيب الكمومية الموزعة لن ينجح. بدلاً من ذلك، يجب أن يكون البرنامج مرناً بما يكفي للتكيف مع استراتيجيته بناءً على الشكل المحدد للشبكة وطبيعة المشكلة التي يتم حلها.
ومن خلال توفير أداة مفتوحة المصدر تتيح للباحثين دمج واستخدام هذه الاستراتيجيات، وضع المؤلفون حجر الأساس للمستقبل في التصميم المشترك للأجهزة والبرمجيات الكمومية. وتوضح أعمالهم أن الطريق نحو حوسبة كمومية موزعة قوية لا يقتصر فقط على بناء آلات أفضل، بل يتعلق بفهم العلاقة المعقدة بين المخطط الفيزيائي للآلة والبرمجيات التي تعمل عليها. يتيح إطار العمل للعلماء اختبار هذه الأفكية في بيئة محاكاة قبل بناء الأجهزة، مما يضمن تصميم الأنظمة النهائية مع فهم واضح لحدودها وإمكاناتها. ومع تقدم هذا المجال، ستكون هذه القدرة على تخصيص البرمجيات لتناسب طوبولوجيا الشبكة أمراً ضرورياً لتحويل رؤية المعالجات الكمومية المرتبطة إلى واقع ملموس.
ملخص تقني: حزمة برمجيات نمطية مدركة للطوبولوجيا للحوسبة الكمومية الموزعة القائمة على التشابك
بيان المشكلة تهدف الحوسبة الكمومية الموزعة (DQC) إلى التوسع لما وراء قيود المعالجات المتجانسة عبر ربط وحدات معالجة كمومية (QPUs) متعددة بواسطة روابط قائمة على التشابك. ومع ذلك، فإن تحقيق هذه الرؤية يتطلب نهج تصميم مشترك يدمج مواصفات الأجهزة، وطوبولوجيا الشبكة، وخوارزميات التصنيف (Compilation)، واستراتيجيات الجدولة. تفتقر الأدوات البرمجية الحالية إلى التكامل؛ فالمصنفات الدائرية المتجانسة (مثل Qiskit وPennyLane) تفتقر إلى الوعي بالشبكة، بينما تركز محاكيات الشبكات الكمومية (مثل SeQUeNCe وNetSquid) على بروتوكولات الروابط دون قدرات تصنيف الدوائر من الطرف إلى الطرف. كما أن الأعمال السابقة حول تقسيم الدوائر تعتمد غالباً على افتراضات أجهزة مثالية (مثل الاتصال من الكل إلى الكل) وتفشل في توفير جداول تنفيذ مرتبطة زمنياً أو دعم توليد التشابك العشوائي. هناك فجوة حرجة في الأدوات التي تسمح للباحثين باستكشاف فضاء التصميم لأنظمة الحوسبة الكمومية الموزعة بشكل منهجي، مع مراعاة الطوبولوجيا المحددة لكل وحدة (بين الوحدات وداخلها)، وسعات الكيوبتات، والطبيعة العشوائية لتوليد التشابك.
المنهجية يقدم المؤلفون إطار عمل برمجياً مفتوح المصدر ونمطياً مصمماً لسد الفجوة بين الخوارزميات الكمومية عالية المستوى والتنفيذ في الأجهزة الموزعة. يعمل إطار العمل من خلال مسار يتكون من أربع وحدات أساسية:
منشئ الشبكة الكمومية (QNC): أداة رسومية تسمح للمستخدمين بتعريف تكوينات شبكة عشوائية، بما في ذلك الاتصال داخل وحدة المعالجة الكمومية (مثل الجار الأقرب مقابل الكل-إلى-الكل)، وطوبولوجيا ما بين وحدات المعالجة الكمومية (مثل السلسلة، الحلقة، المحور، الشبكة، والكل-إلى-الكل)، ودقة الروابط، وسعات الكيوبتات. يتم تصدير هذا التكوين كملف JSON قياسي.
المصنف (Compiler): يستقبل المصنف دائرة OpenQASM قياسية وتكوين الشبكة، ثم يقوم بـ:
المعالجة المسبقة: تحويل الدائرة إلى رسم بياني موجه غير حلقي (DAG).
تقسيم التفاعل الديناميكي: يقسم الدائرة إلى قطاعات زمنية ويقسم رسم التفاعل لكل قطاع بشكل مستقل باستخدام نسخة معدلة من خوارزمية Kernighan-Lin المدركة للطوبولوجيا. يسمح هذا بتطور وضع الكيوبت عبر الزمن، باستخدام الانتقال الآني للحالة (state teleportation) لنقل الكيوبتات بين القطاعات.
تقسيم الرسم البياني الفائق (Hypergraph Partitioning):* ينمذج الدائرة كرسم بياني فائق حيث تمثل "حزم البوابات" (مجموعات البوابات التي تشترك في كيوبت تحكم) حوافاً فائقة. يستخدم هذا النهج مقسم KaHyPar لتعظيم تجميع البوابات، مما يقلل من عدد أزواج EPR المطلوبة عبر السماح لعدة بوابات بعيدة بمشاركة زوج واحد من EPR باستخدام بروتوكولات Cat-Entangler/Cat-Disentangler.
إعادة بناء الدائرة: يحول جدول التقسيم مرة أخرى إلى دائرة موزعة. يقوم بإدراج العمليات الأولية اللازمة، بما في ذلك الانتقال الآني للحالة (لإعادة التعيين الديناميكي)، وعمليات البوابة البعيدة (باستخدام Cat-Entangler/Cat-Disentangler)، وعمليات SWAP المحلية لتوجيه الكيوبتات إلى كيوبتات الاتصال داخل وحدة المعالجة الكمومية. المخرج هو برنامج OpenQASM موزع مع تعريفات بوابات مخصصة.
التحقق (Verification): وحدة تعيد بناء نسخة متجانسة مكافئة للدائرة الموزعة للتحقق من دقة توزيع نتائج القياس مقارنة بالمدخل الأصلي.
المجدول (Scheduler): يخصص طوابع زمنية لجميع العمليات في الـ DAG الموزع. يدعم وضعين:
الحتمي (Deterministic): يستخدم مدد زمنية متوسطة ثابتة لجميع العمليات.
الأحداث المنفصلة (Discrete-Event): يحاكي توليد التشابك المعلن (heralded) العشوائي كعملية بواسون (Poisson process). يتضمن ثلاث سياسات لتحكيم الروابط: "الداخل أولاً" (FIFO)، "المدة الأقصر"، و"المسار الحرج" (إعطاء الأولوية للطلبات ذات طول المسار الموزون المتبقي الأكبر).
المخرجات: يصدر إطار العمل جدول تنفيذ مرتبط زمنياً (يتم تمثيله بمخطط غانت) وبرنامج OpenQASM موزع متوافق مع أدوات العمل المتجانسة الموجودة.
المساهمات الرئيسية
إطار عمل نمطي: أول إطار عمل مفتوح المصدر يدمج تقسيم الدوائر، وإعادة البناء، والجدولة العشوائية للحوسبة الكمومية الموزعة مع واجهات معيارية، مما يسمح باستبدال واختبار الاستراتيجيات.
الإدراك بالطوبولوجيا: على عكس الأدوات السابقة، ينمذج هذا الإطار صراحةً طوبولوجيا الشبكة بين وحدات المعالجة الكمومية وقيود الاتصال داخل كل وحدة (مثل الجار الأقرب مقابل الكل-إلى-الكل)، مما يضمن أن البرامج المولدة قابلة للتنفيذ فيزيائياً.
الاستراتيجيات الديناميكية مقابل الثابتة: تنفيذ ومقارنة التقسيم التفاعلي الديناميكي (الذي يسمح بحركة الكيوبت عبر الانتقال الآني) مقابل تقسيم الرسم البياني الفائق الثابت (الذي يركز على تجميع البوابات).
الجدولة العشوائية: مجدول أحداث منفصلة ينمذج الطبيعة الاحتمالية لتوليد التشتبك، مما يوفر تقديرات واقعية لوقت التنفيذ بدلاً من الحدود المثالية.
التحقق: وحدة تحقق مدمجة تؤكد التكافؤ المنطقي للبرنامج الموزع مع الدائرة المتجانسة الأصلية.
النتائج قيم المؤلفون إطار العمل باستخدام دوائر QASMBench (مثل QFT، وAdder، وQuantum Volume) عبر تكوينات شبكة متنوعة:
الاعتماد على الطوبولوجيا: تختلف استراتيجية التصنيف المثلى وتكلفة الموارد (مقاسة بأزواج EPR) بشكل كبير بناءً على طوبولوجيا الشبكة. على سبيل المثال، في تكوين سلسلة مقابل حلقة مكون من 5 وحدات معالجة كمومية، تغير الأداء النسبي للطوبولوجيا مع زيادة حجم الدائرة (من 40 إلى 60 كيوبت) بسبب المقايضات بين مسافة التوجيه وتجزئة تجميع البوابات.
تأثير اتصال داخل وحدة المعالجة الكمومية: إن افتراض اتصال "الكل-إلى-الكل" داخل الوحدة (الشائع في نماذج الأيونات المحبوسة) مقابل "الجار الأقرب" (الشائع في النماذج فائقة التوصيل) يؤثر بشكل جذري على تكاليف الموارد. بالنسبة لدائرة QFT مكونة من 18 كيوبت، أدى تغيير الاتصال من الكل-إلى-الكل إلى الجار الأقرب إلى زيادة استهلاك أزواج EPR بأكثر من 10 أضعاف لبعض استراتيجيات التقسيم، مما يسلط الض الضوء على خطر التقديرات المتفائلة في الأعمال السابقة.
أداء الاستراتيجيات: لا تهيمن استراتيجية تقسيم واحدة على جميع السيناريوهات. تفوق مقسم الرسم البياني الفائق في الهياكل المتكررة (مثل دوائر Adder) من خلال تعظيم تجميع البوابات، بينما كان مقسم التفاعل الديناميكي أفضل في الدوائر غير المهيكلة (مثل Quantum Volume).
تأثير الجدولة: في عمليات المحاكاة العشوائية، قللت سياسات الجدولة الواعية بالنزاع (المدة الأقصر والمسار الحرج) أوقات الإنجاز بنسبة 17-18% تقريباً مقارنة بسياسة FIFO، مما يثبت أن استراتيجيات تحكيم الروابط تؤثر مادياً على وقت التنفيذ.
الأهمية والادعاءات يجادل البحث بأن الحوسبة الكمومية الموزعة لا يمكن تحسينها من خلال نهج "مقاس واحد يناسب الجميع". بدلاً من ذلك، تتطلب منهجية تصميم مشترك بين الأجهزة والبرمجيات حيث يتم تكييف استراتيجيات التصنيف والجدولة مع هيكل الدائرة المحدد والقيود الفيزيائية للأجهزة المستهدفة (الطوبولوجيا، الاتصال، وعدد الكيوبتات).
تكمن الأهمية الأساسية لإطار العمل في قدرته على:
كشف مقايضات التصميم: يكشف أن الافتراضات المتعلقة بالاتصال (مثل تجاهل تكاليف التوجيه داخل وحدة المعاللة الكمومية) يمكن أن تؤدي إلى تقديرات موارد متفائلة للغاية وغير قابلة للتعميم.
تمكين الاستكشاف المنهجي: من خلال توفير حزمة نمطية، فإنه يسمح للباحثين باختبار خوارزميات تقسيم جديدة وسياسات جدولة جديدة مقابل خط أساس ثابت دون الحاجة لإعادة بناء سلسلة الأدوات بأكملها.
دعم التطوير المبكر للحوسبة الكمومية الموزعة: مع نضوج الأجهزة الموزعة، يوفر هذا الإطار خط أساساً قابلاً للضبط للإجابة على أسئلة حاسمة تتعلق بالطلب على التشابك، وسلوك التوسع، واستراتيجيات التصليف المثلى للأنظمة الموزعة المبكرة.
أشار المؤلفون بتواضع إلى أن إطار العمل الحالي يستهدف عصر NISQ ولا يدعم بعد التصنيف على المستوى المنطقي أو تصحيح الخطأ الكمومي، تاركين هذه كتوجهات للعمل المستقبلي.