Improving initial-state-dependent quantum circuit optimization by introducing state labels
تقدم هذه الورقة تحسينين لمُحسِّن الدوائر المعتمد على الحالة AQCEL — وهما مدير تسمية الحالة وعملية إزالة أزواج CX — واللذان يقللان بشكل كبير من عدد البوابات ثنائية الكيوبت ويحسنان الدقة لخوارزميات مثل "quantum parton shower" على أجهزة IBM الكمية.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك تحاول بناء آلة من قطع "ليغو" لحل لغز ما. في عالم الفيزياء الكمومية، تُسمى هذه القطع "كيوبتات" (qubits)، وتُسمى تعليمات تركيبها معاً "الدوائر الكمومية" (quantum circuits). لسنوات، حاول العلماء بناء هذه الآلات لمحاكاة أشياء مثل كيفية اصطدام الجسيمات في أقوى مسرعات الكون. لكن هناك عقبة: هذه الآلات الكمومية هشة للغاية. في كل مرة تركب فيها قطعة مع أخرى (عملية بوابة - gate operation)، هناك احتمال ضئيل بأن تهتز القطعة أو تسقط بسبب "الضجيج" (noise) أو الأخطاء. إذا كانت كتيب التعليمات طويلاً جداً، فقد تتفكك الآلة قبل أن تنهي المهمة.
لجعل الأمر يعمل، يحاول العلماء عادةً جعل كتيب التعليمات قصيراً قدر الإمكان، لكن عليهم توخي الحذر. معظم أدوات التحسين القياسية تعمل مثل أمين مكتبة صارم يقول: "هذه التعليمات يجب أن تعمل لأي لغز محتمل، لذا لا يمكننا حذف أي شيء للاحتياط". ولكن ماذا لو كنت تعرف بالفعل كيف يبدأ اللغز تماماً؟ ماذا لو كنت تعلم يقيناً أن القطعة الأولى دائماً حمراء؟ في هذه الحالة، لست بحاجة إلى تعليمات تخبر الآلة بما تفعله إذا كانت القطعة زرقاء، لأنها لن تكون زرقاء أبداً. يستكشف هذا البحث طريقة ذكية جديدة لإعادة كتابة التعليمات خصيصاً لنقطة بداية معروفة، مما يجعل الآلة الكمومية أسرع، وأقصر، وأقل عرضة للتعطل.
قصة المُحسِّن الذكي
تعرف على Aqcel، وهي أداة خاصة طورها باحثون في جامعة طوكيو. فكر في Aqcel كأنه محرر فائق الذكاء لكتيبات التعليمات الكمومية. مهمته هي النظر في قائمة طويلة ومعقدة من الخطوات والقول: "مهلاً، بما أننا نعرف كيف تبدأ الآلة في هذه الحالة المحددة، يمكننا تخطي هذه الخطوات!".
في الماضي، كان Aqcel جيداً في هذا الأمر بالفعل. كان يتحقق من "الكيوبتات المتحكمة" (المفاتيح الصغيرة التي تقرر ما إذا كانت الخطوة ستحدث) ويقيس حالتها. إذا كان المفتاح بالتأكيد في وضع "الإيقاف"، فإن Aqcel يحذف التعليمات التي تقول "يعمل إذا كان المفتاح في وضع التشغيل". ومع ذلك، كانت النسخة الأصلية من Aqcel تمتلك بعض العيوب؛ فقد كان يشبه المحقق الذي، في كل مرة يحتاج فيها إلى فحص دليل ما، يركض طوال الطريق إلى مسرح الجريمة ليرى الدليل، حتى لو كان قد رآه قبل خمس دقائق فقط. كان هذا يهدر الوقت والطاقة. كما أنه في بعض الأحيان، بعد حذف تعليمات كبيرة، كان يترك وراءه زوجاً من الخطوات الصغيرة عديمة الفائدة التي تلغي بعضها البعض، مثل كتابة "افتح الباب" ثم "أغلق الباب" فوراً في نفس النفس.
التحديثات الجديدة: مدير الملصقات ومزيل الأزواج
في هذا البحث الجديد، قدم الفريق تحديثين رئيسيين لـ Aqcel، محولين إياه إلى Aqcel-v2.
1. مدير ملصقات الحالة (خدعة الذاكرة)
تخيل أنك تلعب لعبة حيث يتعين عليك تذكر ما إذا كان مفتاح الضوء في وضع التشغيل أم الإيقاف. كان Aqcel القديم يركض إلى المفتاح ويقلبه للتحقق في كل مرة يحتاج فيها إلى معرفة ذلك. أما مدير ملصقات الحالة الجديد فهو يشبه ملاحظة لاصقة تضعها على المفتاح. بمجرد أن تتحقق من المفتاح وترى أنه في وضع "الإيقاف"، تكتب "إيقاف" على ملاحظة لاصقة وتلصقها على المفتاح. الآن، كلما احتجت إلى معرفة الحالة، تقرأ الملاحظة فقط. لست بحاجة للركض إلى المفتاح مرة أخرى ما لم يحدث شيء يغير حالته.
في العالم الكمومي، يعني هذا أن Aqcel-v2 يتذكر "ملصقات" الكيوبتات (سواء كانت 0 أو 1 أو مزيجاً بينهما). إذا قال الملصق "0"، فإن المُحسِّن يعرف أنه ليس بحاجة لإضاعة الوقت في قياسه مرة أخرى. هذا يوفر وقتاً هائلاً من "وقت التحسين". بالنسبة للدوائر التي اختبروها، قلل هذا من عدد مرات التحقق من الكيوبتات من 22 إلى 3 أو 4 فقط للدوائر الصغيرة، ومن 61 إلى حوالي 15-22 للدوائر الأكبر. إنه يشبه تقليل وقت واجباتك المنزلية بنسبة 75% بمجرد تذكر ما فعلته بالفعل.
2. إزالة أزواج CX (فريق التنظيف)
أحياناً، عندما يقوم Aqcel بتبسيط تعليمات معقدة، فإنه يترك وراءه زوجاً من "الأشباح". تخيل أن لديك آلة معقدة تستخدم مساعداً مؤقتاً (كيوبت مساعد/ancilla) لحمل فكرة ما. بمجرد استخدام الفكرة، من المفترض أن يعود المساعد للنوم (يعود إلى الحالة 0). لكن Aqcel القديم كان أحياناً يترك المساعد واقفاً هناك، لا يفعل شيئاً.
تعمل ميزة إزالة أزواج CX الجديدة كفريق تنظيف. فهي تبحث عن أزواج الخطوات التي لا تفعل شيئاً سوى إلغاء بعضها البعض. إذا رأت زوجاً من الخطوات حيث يتم استخدام مساعد ثم "إلغاء استخدامه" فوراً (العودة إلى حالته الأصلية)، فإنها تحذف الزوج بأكمله. هذا أمر ضخم لأن هذه "البوابات ثنائية الكيوبت" هي الأجزاء الأكثر عرضة للأخطاء في الحاسوب الكمومي. ومن خلال إزالتها، تصبح الدائرة أقصر وأقل عرضة للوقوع في الأخطاء.
تجربة القيادة: محاكاة زخات الجسيمات
لمعرفة ما إذا كانت هذه التحديثات قد نجحت بالفعل، اختبر الفريق Aqcel-v2 في مشكلة محددة تسمى الزخات الكمومية للبارتون (QPS). فكر في هذا كأنه محاكاة لاصطدام جسيم عالي الطاقة، حيث ينقسم جسيم واحد وينفجر إلى زخات من جسيمات أصغر، مثل كرة ثلج تتفكك إلى سحابة من رقاقات الثلج.
قاموا بتشغيل هذه المحاكاة على حاسوب كمومي حقيقي من صنع IBM (المعالج ibm_fez). وقارنوا بين ثلاثة أشياء:
- الدائرة الأصلية غير المُحسَّنة.
- الدائرة التي حسنها Aqcel القديم (v1).
- الدائرة التي حسنها Aqcel الجديد (v2).
النتائج:
كانت النتائج واعدة. بالنسبة لدائرة الاختبار الصغيرة، قلل Aqcel الجديد عدد البوابات ثنائية الكيوبت (الخطوات الصعبة والأكثر عرضة للخطأ) من 115 إلى 11 فقط. هذا تقليل هائل! وبالنسبة للدائرة الأكبر المكونة من خطوتين، قللت الطريقة الجديدة عدد البوابات بشكل أكبر بكثير من الطريقة القديمة، خاصة عند استخدام إعداد "عتبة الضجيج" (noise threshold) بقيمة 0.15.
عند تشغيل هذه الدوائر المُحسَّنة على حاسوب IBM الحقيقي، أنتج Aqcel-v2 نتائج كانت أقرب بكثير إلى الحالة المثالية الخالية من الضجيج مقارنة بالنسخة القديمة. لقد تحسنت "الدقة" (fidelity) (وهي درجة مدى قرب النتيجة من الحقيقة). بالنسبة للدائرة ذات الخطوتين، حققوا دقة بلغت 0.83، وهي نتيجة قوية لآلة مليئة بالضجيج. كما نظروا أيضاً في "عدد الانبعاثات" (عدد الجسيمات التي تم إنتاجها). الطريقة القديمة أنتجت أحياناً نتائج "غير فيزيائية" (مثل صفر جسيمات بينما ينبغي أن يكون هناك بعض الجسيمات)، لكن Aqcel-v2 حافظ على النتائج لتكون ضمن نطاق الفيزياء تماماً تقريباً.
ماذا يعني هذا (وماذا لا يعني)
يظهر البحث أنه إذا كنت تعرف بالضبط كيف يبدأ حاسوبك الكمومي، فيمكنك إعادة كتابة التعليمات لتكون أقصر وأكثر دقة. "مدير ملصقات الحالة" الجديد يوفر الوقت بعدم إعادة التحقق من الأشياء، و"إزالة أزواج CX" تنظف الفوضى التي تتركها عملية التبسيط.
ومع ذلك، يوضح المؤلفون بحذر أن هذا ليس عصا سحرية لـ كل المشكلات. هذه الطريقة تعمل جيداً فقط إذا كنت تعرف حالة البداية. إذا كان لديك دائرة تحتاج للعمل مع أي حالة بداية ممكنة (مثل تطبيق عام يعمل على أي هاتف)، فإن هذه الطريقة لن تساعد. كما يشير البحث إلى أنه في الدوائر العميقة والمعقدة جداً حيث تصبح الحالات الكمومية فوضوية للغاية بحيث يصعب تتبعها بالملصقات البسيطة، يصبح المُحسِّن أكثر تحفظاً ويقوم بإزالة عدد أقل من البوابات.
باختاً، يعد Aqcel-v2 أداة جديدة قوية للعلماء الذين يبنون محاكيات كمومية لسيناريوهات محددة ومعروفة. وهو يثبت أنه من خلال كوننا أذكياء بشأن ما نعرفه بالفعل، يمكننا جعل آلاتنا الكمومية تعمل بشكل أسرع وأكثر موثوقية، مما يقربنا خطوة أخرى من حل أكبر ألغاز الكون.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.