Entanglement-Aware Quantum Circuit Optimization through Globally Optimal Partitioning
تقدم هذه الورقة إطار عمل قابلاً للتوسع يجمع بين تقسيم الدوائر القائم على البرمجة الخطية الصحيحة ذات الحل الأمثل عالمياً وبين إعادة تركيب رتبة شميت-أوبريتور (operator-Schmidt rank) المدركة للتشابك، مما يظهر معدلات تحقق وتخفيضات في عدد بوابات CNOT متفوقة مقارنة بالأدوات الحالية مثل BQSKit.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلف ولم يصادق عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في السباق لبناء حواسيب كمومية مفيدة، لا يقاتل العلماء فقط للحفاظ على الذرات الهشة في حالة من التراكب الكمومي؛ بل يخوضون أيضاً حرب كفاءة. يعمل الحاسوب الكمومي من خلال معالجة وحدات صغيرة من المعلومات تسمى الكيوبتات (qubits). ولإجراء عملية حسابية، يجب أن تتفاعل هذه الكيوبتات مع بعضها البعض من خلال سلسلة من العمليات المعروفة بالبوابات (gates). ومع ذلك، فإن الآلات الكمومية الحقيقية فوضوية ومحدودة؛ فهي غالباً لا تستطيع ربط كل كيوبت بكل كيوبت آخر بشكل مباشر، وكل تفاعل يقدم قدراً صغيراً من الضجيج الذي يمكن أن يفسد العملية الحسابية. وللحصول على نتيجة، يجب على المهندسين ترجمة مسألة رياضية معقدة إلى تسلسل محدد من هذه البوابات، وهي عملية تسمى "التجميع" (compilation). والهدف هو استخدام أقل عدد ممكن من البوابات وترتيبها بطريقة تحترم الاتصالات الفيزيائية للآلة. فإذا كان التسلسل طويلاً جداً أو متشابكاً للغاية، فإن الضجيج سيطغى على الإشارة قبل العثور على الإجابة.
التحدي يكمكم في أن إيجاد التسلسل الأكثر كفاءة أمر صعب للغاية. الأمر يشبه محاولة إيجاد أقصر مسار عبر متاهة تحتوي على مليارات المسارات الممكنة، حيث تتحرك الجدران أثناء سيرك. غالباً ما تتخذ الأدوات الحالية طرقاً مختصرة، فتتخذ قرارات سريعة ومحلية تبدو جيدة في اللحظة الراهنة ولكنها تؤدي إلى رحلة أطول وأكثر فوضوية في المجمل. قد تقوم هذه الأدوات بتحسين جزء صغير من الحساب دون رؤية كيف يؤثر ذلك على بقية الأجزاء. يقدم هذا البحث نهجاً جديداً يغير كيفية تفكيك هذه الحسابات وإعادة بنائها. فبدلاً من الاعتماد على التخمينات السريعة، طور الباحثون طريقة تنظر إلى الدارة بأكملها دفعة واحدة لإيجاد أفضل طريقة لتقسيمها إلى قطع يمكن إدارتها، ثم تستخدم فهماً عميقاً لكيفية تشابك تلك القطع لإعادة بنائها بشكل أكثر كفاءة.
قام الباحثون، الذين يعملون من مؤسسات في المجر، بإنشاء إطار عمل يعامل الدارة الكمومية كخريطة من التبعيات. لقد أدركوا أن أفضل طريقة لتحسين دارة كبيرة هي قطعها إلى كتل أصغر ومستقلة بذاتها، وتحسين كل كتلة على حدة، ثم إعادة حياكتها معاً. ومع ذلك، فإن الطريقة التي تقطع بها الدارة تهم للغاية؛ فإذا قطعتها بشكل سيئ، فقد تفوت فرصاً لتبسيط المنطق، أو قد تخلق مشكلة جديدة حيث لا يمكن تنفيذ الكتل بالترتيب الصحيح. صاغ الفريق مسألة القطع هذه كأحجية رياضية تضمن أفضل اختيار ممكن للكتل من قائمة تضم جميع الخيارات المتاحة. ويسمون هذا "التقسيم الأمثل عالمياً" (globally optimal partitioning)، وهو يضمن أن مجموعة الكتل المختارة هي تلك التي تؤدي إلى أصغر إجمالي لعدد البوابات، بدلاً من مجرد مجموعة من الكتل التي تصادف أنها فعالة محلياً.
بمجرد قطع الدارة إلى هذه الكتل المثلى، يطبق الباحثون تقنية ثانية ذكية بنفس القدر لإعادة بنائها. إنهم يستخدمون خاصية من خصائص ميكانيكا الكم تسمى "رتبة شميدت للمؤثر" (operator-Schmidt rank)، والتي تقيس مدى عمق تشابك الكيوبتات داخل الكتلة مع بعضها البعض. فكر في هذه الرتبة كمقياس لمدى "تشابك" الكيوبتات معاً؛ حيث تعني الرتبة الأعلى أنها مرتبطة ببعضها بشكل أكثر تعقيداً. يستخدم الباحثون هذا القياس لتوجيه البحث عن أبسط ترتيب ممكن من البوابات الذي يمكنه إعادة إنتاج سلوك الكتلة. وبدلاً من تجربة كل تركيبة عشوائية من البوابات، تنظر طريقتهم إلى بنية التشابك وتتنبأ بترتيبات البوابات الأكثر احتمالاً للنجاح. وهذا يسمح لهم بإيجاد حل يستخدم عدداً أقل من البوابات مقارنة بالطرق السابقة، وتحديداً من خلال تجنب الخطوات غير الضرورية التي لا تساهم في نمط التشابك النهائي.
لاختبار أفكارهم، قارن الفريق نظامهم الجديد بأداة معروفة تسمى BQSKit، والتي تعد حالياً معياراً في هذا المجال. وقد قاموا بتشغيل كلا النظامين على مجموعة كبيرة من الدارات المرجعية، تتراوح من الأمثلة الصغيرة البسيطة إلى الحسابات الضخمة والمعقدة التي تشمل عشرات الكيوبتات. وكانت النتائج واضحة؛ ففي اختبار لـ 772 عملية كمومية محددة، نجحت الطريقة الجديدة في إيجاد حل فعال ومتحقق لـ 741 منها، بينما تمكنت الأداة القياسية من إيجاد 617 فقط. والأهم من ذلك، أنه في الحالات التي وجدت فيها كلتا الأداتين حلاً، أنتجت الطريقة الجديدة دارة بعدد بوابات أقل أو مساوٍ في كل الحالات، دون أي خسائر. وعند النظر إلى عملية التحسين الكاملة من البداية إلى النهاية لدارات كاملة، قللت الطة الجديدة إجمالي عدد البوابات بشكل كبير، خاصة في المراحل الأولية من التحسين. وبينما واجهت الأداة القياسية أحياناً صعوبة في إنهاء المهمة في وقت معقول للدارات الأكبر، فقد أكملت الطريقة الجديدة العمل، وغالباً في جزء من الوقت، وأنتجت نتيجة أكثر نظافة وكفاءة. ومع ذلك، كانت نتائج التوقيت دقيقة؛ فبالنسبة للتقسيمات المكونة من ثلاثة كيوبتات، كانت الأداة القياسية أسرع في الوقت التراكمي الإجمالي لأن الطريقة الجديدة شهدت بعض عمليات التشغيل الطويلة جداً، رغم أن الطريقة الجديدة كانت أسرع عموماً في مراحل التحسين الأولية.
استكشفت الدراسة أيضاً ما يحدث عندما يتم جعل الكتل المستخدمة للتحسين أكبر قليلاً. فمن خلال السماح للنظام بالنظر في مجموعات من أربعة كيوبتات بدلاً من ثلاثة فقط، وجد الباحثون أن بإمكانهم استخراج كفاءة أكبر، مما يقلل عدد البوابات بشكل أكبر. ومع ذلك، جاء هذا مقابل مقايضة: فقد زاد الوقت المطلوب لإيجاد هذه الحلول. ووجد الفريق أنه بينما وفرت كتل الكيوبتات الأربعة ضغطاً أفضل، فإن الوقت الإضافي المستغرق في البحث عنها لم يكن يستحق العناء دائماً لكل دائرة على حدة. وهذا يشير إلى أن النهج الأفضل يعتمد على المسألة المحددة، لكن الإطار الجديد يوفر المرونة لاختيار التوازن المناسب. كما لاحظ الباحثون أنه بينما تتفوق طريقتهم في تقليل عدد البوابات، فإن التخطيط الفيزيائي للحاسوب الكمومي لا يزال يفرض بعض الخطوات الإضافية، المعروفة باسم "التوجيه" (routing)، والتي تضيف بوابات مرة أخرى إلى النظام. وحتى مع هذا القيد، ظلت دوائرهم المحسنة متفوقة على تلك التي تنتجها الطرق الموجودة.
يمثل هذا العمل خطوة مهمة للأمام لجعل الحواسيب الكمومية عملية. فمن خلال الجمع بين استراتيجية عالمية صارمة لتقسيم المشكلة واستراتيجية ذكية مدركة للتشابك لحل الأجزاء، أظهر الباحثون أنه من الممكن بناء دوائر كمومية أفضل دون انتظار أجهزة أفضل. إن طريقتهم لا تكتفي بمجرد تعديل حواف المشكلة، بل تعيد التفكير في بنية الحل نفسه. وتشير النتائج إلى أن الطريق نحو الحوسبة الكمومية المفيدة لا يكمن فقط في بناء آلات أكبر، بل في أن نكون أكثر ذكاءً في كيفية توجيه تلك الآلات لما يجب فعله. يوفر الإطار الجديد، الذي تم تنفيذه في حزمة مفتوحة المصدر تسمى SQUANDER، وسيلة لدفع حدود ما يمكن أن تحققه الحواسيب الكمومية الحالية، وتحويل الدارات التي كانت سابقاً شديدة التعقيد بحيث لا يمكن تشغيلها إلى دوارات يمكن إدارتها وفعالة.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.