Noise-aware Verification and Synthesis of Quantum Programs
تقدم هذه الورقة إطار عمل مدركاً للضجيج للبرمجة الكمومية يؤسس دلالات تعتمد على الأجهزة، ويطور منطق "هوار" (Hoare logic) مقابلاً للتحقق المحدود، ويمكّن من التخليق التلقائي لروتينات فرعية كمومية خالية من الحلقات ومثلى من حيث الضجيج عبر الاستفيد من نماذج الخطأ الواقعية من موردين مثل IBM.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك تحاول خبز الكعكة المثالية، ولكن بدلاً من مطبخ نقي ومنضبط الحرارة، أنت تخبز في وسط عاصفة ريحية حيث يظل باب الفرن يهتز مفتوحاً ويتطاير الدقيق بعيداً. هذا هو واقع الحوسبة الكمومية اليوم. يبني العلماء آلات يمكنها حل مشكلات مستحيلة على الحواسيب العادية، لكن هذه الآلات هشة للغاية. إنها تشبه المنحوتات الزجاجية الرقيقة التي تتحطم إذا نظرت إليها بحدة أو إذا أصبح الهواء دافئاً جداً. في عالم الفيزياء، تُسمى هذه "العاصفة الريحية" بـ الضجيج (Noise). وهو عبالخطأ العشوائي الذي يحدث عندما تحاول البتات الكمومية (الوحدات الصغيرة للمعلومات في هذه الحواسيب) القيام بعملها.
لفهم كيف يحاول العلماء إصلاح هذا، تحتاج إلى معرفة شيئين عن كيفية "تفكير" هذه الحواسيب. أولاً، هي لا تخزن مجرد إجابة واحدة مثل الحاسوب العادي؛ بل توجد في سحابة ضبابية من الاحتمالات المتعددة في آن واحد، تسمى التراكب (Superposition). ثانياً، عندما تحاول التحقق من الإجابة، تنهار السحابة لتصبح نتيجة واحدة، لكن عملية الوصول إلى هناك تكون فوضوية. لفترة طويلة، كتب علماء الحاسوب قواعد لهذه الآلات كما لو كانت مثالية، متجاهلين العاصفة الريحية. افترضوا أن الفرن دائماً عند درجة الحرارة الصحيحة تماماً. ولكن بما أن الآلات التي نمتلكها فعلياً هي آلات صاخبة (مليئة بالضجيج)، فإن تلك القواعد المثالية غالباً ما تؤدي إلى كعكات تالفة. تتحدث هذه الورقة البحثية عن تعلم الخبز في مهب الريح، عبر ابتكار قواعد جديدة تأخذ في الاعتبار الفوضى الموجودة في الأجهزة الحقيقية.
قام الباحثون، ستيفاني مورويا، وكريشنيدو تشاتيرجي، وتوماس أ. هينزينجر، ببناء مجموعة أدوات جديدة لمساعدة المبرمجين على كتابة كود كمومي يعمل بالفعل على آلات حقيقية صاخبة. هم يسمون نهجهم "الوعي بالضجيج" (noise-aware)، وهي طريقة منمقة لقول: "دعونا نتوقف عن التظاهر بأن الحاسوب مثالي ونبدأ في التصميم لواقع كونه معطلاً".
فكرتهم الكبرى هي التوقف عن النظر إلى الحالة الكمومية كصورة واحدة ضبابية (والتي يسمونها "مصفوفة الكثافة")، وبدلاً من ذلك، النظر إليها كمجموعة من الاحتمالات المحددة والمتميزة ذات الاحتمالات الخاصة بها (والتي يسمونها "المجموعة" أو الـ ensemble). فكر في الأمر هكذا: إذا كان لديك كيس من الكرات الزجاجية، فقد تخبرك الصورة الضبابية فقط أن الكيس "أغلبُه أحمر". لكن "المجموعة" تخبرك بالضبط عدد الكرات الحمراء والزرقاء والخضراء الموجودة هناك، ومدى احتمالية سحب كل واحدة منها. هذا التمييز أمر بالغ الأهمية لأننا في بيئة صاخبة، فإن مزيج الكرات المحدد هو ما يهم. قد تبدو حقيبتان مختلفتان متشابهتين في صورة ضبابية، ولكن إذا هززتهما (طبقت عملية صاخبة)، فقد تنتهي بهما الحال بشكل مختلف تماماً. من خلال تتبع المزيج المحدد، يمكن للباحثين التنبؤ بدقة بكيفية إفساد الضجيج للبرنامج، والأهم من ذلك، كيفية إصلاحه.
تقوم الورقة البحثية بثلاثة أمور رئيسية. أولاً، أنشأوا مجموعة جديدة من القواعد المنطقية ("منطق هوار" - Hoare logic) تعمل كمدقق إملائي للبرامج الكمومية. هذا المدقق لا يبحث عن الأخطاء المطبعية فحسب؛ بل يتحقق مما إذا كان برنامجك سيعمل حتى لو ارتكب الحاسوب أخطاء عشوائية. إنه يسم يسمح للمبرمجين بالقول: "أعدكم أنه إذا بدأت بهذا المزيج المحدد من الاحتمالات، فإن برنامجي سينتهي بهذا المزيج المحدد، حتى مع وجود الضجيج".
ثانياً، بنوا أداة يمكنها التحقق تلقائياً مما إذا كان البرنامج الكمومي القصير صحيحاً على قطعة معينة من الأجهزة. تخيل أن لديك وصفة محددة وفرناً محدداً. تقوم هذه الأداة بمحاكاة عملية الخبز خطوة بخوة، مع مراعاة كل تذبذب ومسودة هواء في ذلك الفرن المحدد، لتخبرك ما إذا كانت الكعكة ستنتفخ. لقد اختبروا ذلك على 55 مواصفات مختلفة من أجهزة IBM Qiskit، مما أثبت أن طريقتهم يمكنها فحص البرامج على آلات حقيقية بدقة عالية.
ثالثاً، وهو الأمر الأكثر إثارة، أنشأوا أداة يمكنها ابتكار برامج كمومية جديدة. بدلاً من محاولة إنسان تخمين أفضل طريقة لمهمة ما، تبحث الأداة عن البرنامج القصير "المثالي" الذي يعمل بشكل أفضل على آلة صاخبة معينة. لقد وجدوا شيئاً مفاجئاً: أحياناً، ليست أفضل طريقة للحصول على نتيجة مثالية على حاسوب صاخب هي اتباع مسار واحد صارم. بدلاً من ذلك، يتضمن الاستراتيجية المثلى التفرع الاحتمالي (probabilistic branching). وهذا يعني أن البرنامج يجب أن يرمي عملة معدنية أحياناً ليقرر أي مسار يسلك. على سبيل المثال، لتمييز حالتين كموميتين مختلفتين وصعبتين، قد تكون الاستراتيجية المثلى هي تشغيل اختبار واحد بنسبة 50% من الوقت واختبار مختلف بنسبة 50% الأخرى. هذا "المزج" بين الاستراتيجيات، والذي قد يبدو غير منطعي، يتبين أنه "الخلطة السرية" لهزيمة الضجيج.
اختبر الباحثون أداة التركيب (synthesis tool) الخاصة بهم على مهام شائعة مثل إعداد حالات كمومية محددة وفحص الأخطاء. واكتشفوا أن البرنامج "الأفضل" يتغير اعتماداً على أي آلة IBM محددة تستخدمها. فالبرنامج المثالي لشريحة صاخبة معينة قد يكون سيئاً جداً لشريحة أخرى. علاوة على ذلك، فإن برامجهم التي تم تركيبها غالباً ما بدت مختلفة تماماً عن الحلول "النموذجية" التي تُدرس للحواسيب المثالية الخالية من الضجيج. في كثير من الحالات، وجدوا أن استخدام الاحتمالية الكلاسيكية (رمي عملة لاختيار مسار) كان ضرورياً للحصول على أعلى معدل نجاح.
باختصار، هذه الورقة لا تكتفي بالقول "الحواسيب الكمومية صاخبة". بل تقدم إطاراً كاملاً لفهم هذا الضجيج، والتحقق مما إذا كان الكود الخاص بك سيصمد أمامه، وكتابة كود جديد تلقائياً يزدهر فيه. من خلال التعامل مع الحالة الكمومية كمجموعة مفصلة من الاحتمالات بدلاً من كونها متوسطاً ضبابياً، ومن خلال تبني فكرة أنك أحياناً تحتاج إلى رمي عملة معدنية لتفوز، فقد قطعوا خطوة كبيرة نحو جعل الحوسبة الكمومية عملية وممكنة في العالم الحقيقي الفوضوي.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.