NetQMPI: An MPI-Inspired library for programming Distributed Quantum Applications over Quantum Networks using NetQASM SDK

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

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

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

يكمن الابتكار الجوهري لهذا العمل في تقديم أوامر عالية المستوى تتعامل مع الفيزياء المعقدة تلقائياً. في الطريقة القديمة، تطلبت عملية نقل قطعة من المعلومات الكمومية من آلة إلى أخرى بروتوكولاً متعدد الخطوات يتضمن إنشاء أزواج متشابكة، وقياسات محلية، ونقل بتات بيانات كلاسيكية. أما مع NetQកម្ម NetQMPI، فيمكن للمبرمج ببساطة إصدار أمر لإرسال "كيوبت" إلى وجهة محددة، ويتولى البرنامج التعامل مع كامل تسلسل الأحداث الأساسية. كما قدم الباحثون مجموعة خاصة من الأوامر للعمليات التي تشمل العديد من الآلات في آن واحد. ولأن قوانين الفيزياء تمنع نسخ حالة كمومية مجهولة، لم يكن بإمكانهم ببساطة بث المعلومات للجميع. بدلاً من ذلك، ابتكروا طريقة لـ "إظهار" (expose) حالة كمومية، مما يجعلها متاحة مفاهيمياً لجميع الآلات المتصلة لإجراء عملية حسابية مشتركة دون نسخها مادياً أبداً، ثم "إخفاء" (unexpose) الحالة لإعادة النظام إلى حالته الطبيعية بمجرد انتهاء العمل.

اختبر الفريق إطار عملهم من خلال محاكاة إنشاء حالة عالية التشابك، تُعرف باسم حالة "جرينبيرجر-هورن-زيلينجر" (Greenberger–Horne–Zeilinger)، عبر شبكة من عدة عقد. يعد هذا اختباراً قياسياً للشبكات الكمومية، مشابهاً لبرنامج "Hello World" في الحوسبة الكلاسيكية، لكنه يتطلب تنسيقاً دقيقاً بين جميع المشاركين. وعندما قارنوا أداة البحث الجديدة بالبرمجيات الموجودة، كان الفرق في التعقيد صارخاً. باستخدام الأدوات القديمة منخفضة المستوى، كان حجم الكود المطلوب لإعداد الشبكة والمنطق ينمو بسرعة مع إضافة المزيد من الآلات؛ حيث كان إضافة آلة رابعة يعني كتابة ملفات جديدة تماماً وتكرار كتل كبيرة من الكود. في المقابل، ظل كود NetQMPI بنفس الحجم تماماً بغض النظر عن عدد الآلات في الشبكة. ووجد الباحثون أنه باستخدام نهج البرنامج الواحد، انخفض تعقيد كتابة البرمجيات من مستوى ينمو مع مربع عدد الآلات إلى مستوى ثابت لا يتغير على الإطلاق.

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