Circuit Design Problems in Binary Polynomial Quantum Optimization

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

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

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

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