A Compiler for Fault Tolerant Quantum Computing
تقدم هذه الورقة FTQC، وهو لهجة MLIR مفتوحة المصدر مصممة للحوسبة الكمومية المتحملة للأخطاء، تعمل على الحفاظ على البيانات الوصفية الحرجة لتصحيح الأخطاء من خلال مسار تجميع متعدد المستويات، مما يتيح اتخاذ قرارات قابلة للتحقق خاصة بالكود ويكشف عن التكاليف المعمارية الخفية عبر أهداف عتادية متنوعة.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلف ولم يصادق عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تعد الحواسيب الكمومية بحل مشكلات قد تستغرق الأجهزة الكلاسيكية آلاف السنين لحلها، لكنها هشة للغاية؛ إذ يمكن لأدنى اضطراب ناتج عن الحرارة أو الاهتزاز أن يبعثر المعلومات التي تحملها، مما يؤدي إلى فشل الحسابات. وللتغلب على ذلك، يعمل العلماء على بناء حواسيب كمومية مقاومة للأخطاء، لا تعتمد على أجزاء مثالية خالية من العيوب، بل تقوم بدلاً من ذلك بتجميع العديد من الجسيمات الفيزيائية معاً لتشكيل وحدة معلومات "منطقية" واحدة ومستقرة. فإذا حدث خلل في جسيم واحد داخل المجموعة، يمكن للجسيمات الأخرى اكتشاف الخطأ وإصلاحه دون فقدان البيانات. هذه العملية، المعروفة باسم تصحيح الخطأ الكمومي، هي أساس الآلة المستقبلية، لكنها تأتي بثمن باهظ: فقد تتطلب عملية حسابية واحدة مفيدة ملايين الجسيمات الفيزيائية التي تعمل في تناغم تام.
لا يقتصر التحدي على بناء الأجهزة فحسب، بل يمتد ليشمل كتابة البرمجيات للتحكم فيها. إن الأدوات الحالية لبرمجة الحواسيب الكمومية مصممة لأجهزة اليوم الصغيرة والمليئة بالضجيج، وهي لا تفهم القواعد المعقدة اللازمة لإدارة تصحيح الخطأ، مثل كيفية تتبع "المتلازمات" (syndromes) التي تشير إلى وجود خطأ، أو كيفية إعداد الموارد الخاصة اللازمة للحسابات الصعبة. وبدون نظام برمجيات يتحدث لغة تصحيح الخطأ، لن يتمكن المهندسون من ترجمة فكرة عالية المستوى بشكل موثوق إلى دائرة فيزيائية يمكن للآلة الحقيقية تنفيذها. وقد عالج فريق من الباحثين في مختبر أوك ريدج الوطني هذه الفجوة عبر إنشاء "مترجم" (compiler) جديد، وهو قطعة من البرمجيات تعمل كمترجم بين المنطق البشري وعالم تصحيح الخطأ الصارم الخاص بالحاسوب الكمومي المستقبلي.
بنى الباحثون نظاماً يسمى FTQC، وهو اختصار لـ "الحوسبة الكمومية المقاومة للأخطاء". فكر في المترجم (الكومبايلر) كمترجم يأخذ برنامجاً مكتوباً بلغة عالية المستوى ويحوله إلى تعليمات محددة تفهمها الآلة. وفي العالم الكمومي، يعد هذا أمراً صعباً لأن الآلة لا تقوم بتشغيل برنامج فحسب، بل يجب عليها مراقبة نفسها باستمرار بحثاً عن الأخطاء وتصحيحها في الوقت الفعلي. يقدم النظام الجديد طريقة لوصف هذه الوحدات المصححة للأخطاء مباشرة في الكود؛ فبدلاً من معاملة "الكيوبت المنطقي" كمتغير بسيط، تمنحه البرمجيات هوية محددة تتضمن قواعد تصحيح الخطأ الخاصة به. وهذا يسمح للمترجم بالتحقق، في كل خطوة، مما إذا كانت العمليات التي يتم إجراؤها صالحة لهذا النوع المحدد من الحماية من الأخطاء. فإذا حاول المبرمج دمج نوعين مختلفين من تصحيح الخطأ لا يعملان معاً، فإن المترجم يوقف العملية ويضع علامة على الخطأ قبل أن يصل الكود إلى الآلة.
ولإدارة هذا التعقيد، صمم الباحثون النظام بمستويين متميزين؛ حيث يتعامل المستوى العلوي مع التعليمات المنطقية، أي الرياضيات والمنطق عالي المستوى الذي يريد العالم تنفيذه، بينما يتعامل المستوى السفلي مع الواقع الفيزيائي، أي الجسيمات الفردية والبوابات المحددة التي تتحكم بها. وتوجد عملية خاصة في المنتصف تترجم التعليمات المنطقية إلى تعليمات فيزيائية، حيث تقوم بتوسيع أمر منطقي واحد إلى كتلة كبيرة من العمليات الفيزيائية. يضمن هذا التصميم إمكانية إرسال نفس البرنامج المنطقي إلى أنواع مختلفة من الأجهزة دون الحاجة إلى إعادة كتابته. كما يتضمن النظام حاسبة مدمجة لتقدير عدد الجسيمات الفيزيائية المطلوبة لمهمة معينة، وهذا أمر بالغ الأهمية لأن تكلفة تصحيح الخطأ مرتفقة؛ فقد تتطلب عملية حسابية بسيطة "مصنعاً" من الجسيمات الإضافية فقط للحفاظ على سلامة البيانات الرئيسية.
اختبر الفريق نظامهم باستخدام عدة خوارزميات كمومية قياسية، بما في ذلك طريقة للبحث في البيانات وتقنية لتحليل خصائص الجزيئات. وقاموا بتشغيل هذه الاختبارات على محاكي لمعرفة كيفية تعامل البرمجيات مع الترجمة وعدّ الموارد. وأظهرت النتائج أن المترجم يمكنه بنجاح تحويل البرامج المنطقية إلى دوائر فيزيائية لأنواع مختلفة من أكواد تصحيح الخطأ، بما في ذلك "كود ستين" (Steane code) و"كود السطح" (surface code). وكان أحد أكثر النتائج كشفاً عند تحليل عملية حسابية مكونة من ثلاثة كيوبتات تُعرف باسم "تحويل فورييه الكمومي" (Quantum Fourier Transform)، حيث حدد المترجم أنه لتشغيل هذه العملية مع تصحيح الخطأ، سيحتاج النظام إلى "مصنع حالات سحرية" (magic state factory) — وهو كتلة مخصصة من الموارد لإعداد حالات خاصة مطلوبة للرياضيات. وقد تطلب هذا المصنع خمسة أضعاف عدد الجسيمات الفيزيائية المستخدمة في الدائرة المشفرة نفسها. وهذا يسلط الضوء على تكلفة خفية في الحوسبة المقاومة للأخطاء: وهي أن الموارد اللازمة للحفاظ على النظام غالباً ما تفوق الموارد المطللة للحساب نفسه.
وبعيداً عن المحاكاة، نقل الباحثون عملهم إلى أجهزة حقيقية؛ حيث استهدفوا حاسوباً كمومياً فائق التوصيل بقدرة 20 كيوبت في مختبر أوك ريدج الوطني. واستخدموا المترجم الخاص بهم لترجمة دائرة منطقية بسيطة إلى التعليمات الأصلية للآلة. ولأن الآلة صغيرة جداً لتشغيل عملية كاملة مصححة للأخطاء، استخدموا المترجم لإنشاء الدائرة الفيزيائية ثم طبقوا عملية فك تشفير كلاسيكية على النتائج بعد انتهاء التشغيل. كانت النتائج واعدة: فمن خلال استخدام معلومات تصحيح الخطأ التي أنتجها المترجم، تمكنوا من تقليل خطأ القراءة المنطقية بمعامل قدره 3.3. وهذا يعني أن الإجابة النهائية كانت أكثر دقة بكثير من البيانات الخام من الآلة، مما يثبت أن مخرجات المترجم يمكن أن تصل بنجاح إلى الأجهزة الفيزيائية وتحسن جودة النتائج.
لا يدعي هذا العمل حل مشكلة بناء حاسوب مقاوم للأخطاء؛ فقد كانت التجارب محدودة الحجم ولم تثبت العتبة الكاملة التي يصبح عندها تصحيح الخطأ فعالاً بشكل مثالي. كما استخدمت عمليات المحاكاة نماذج مبسطة لبعض العمليات المعقدة، وكانت اختبارات الأجهزة عبارة عن تجارب إثبات مفهوم وليست عروضاً كاملة النطاق. ومع ذلك، يوفر النظام أساساً عملياً للمرحلة التالية من التطوير. فمن خلال جعل قواعد تصحيح الخطأ مرئية وقابلة للإدارة ضمن البرمجيات، أنشأ الباحثون أداة تسمح للمهندسين بفحص وتدقيق وتحسين تصميماتهم قبل بنائها. وهذا الوضوح ضروري للانتقال من الأفكار النظرية إلى الأنظمة الضخمة والمعقدة المطلوبة للجيل القادم من الحوسبة الكمومية.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.