Improving fermionic variational quantum eigensolvers with Majorana swap networks
تقدم هذه الورقة استراتيجيتين لتجميع شبكة تبديل مايورانا (Majorana swap network) من أجل خوارزميات الحل الطاقي الكمي التبايني، مما يقلل بشكل كبير من عمق الدائرة وعدد بوابات البوابتين الكميتين لمحاكاة الأنظمة الفرميونية، وبالتالي يعزز من جدواها على الأجهزة الكمية في المدى القريب.
المؤلفون الأصليون:D. E. Fisher, S. A. Fldzhyan, D. V. Minaev, S. S. Straupe, M. Yu. Saygin
تخيل أنك تحاول محاكاة حفلة رقص معقدة حيث الضيوف عبارة عن جسيمات متناهية الصغر وغير مرئية تسمى "الفيرميونات". لهذه الجسيمات قاعدة صارمة للغاية: فهي تكره أن تكون قريبة جداً من بني جنسها، ويجب أن تتبادل الأماكن بطريقة محددة للغاية وفوضوية تخلق "إشارة" أو تغيراً في الحالة المزاجية في كل مرة يتحركون فيها. في عالم الفيزياء الكمومية، هكذا تتصرف الإلكترونات داخل الجزيئات، وفهم هذه الرقصة هو المفتاح لتصميم أدوية جديدة، وبطاريات فائقة الكفاءة، ومواد أكثر قوة.
لمشاهدة هذه الرقصة على جهاز كمبيوتر، يستخدم العلماء أداة خاصة وهي الكمبيوتر الكمومي. ومع ذلك، فإن هذه الآلات تتحدث لغة مختلفة عن لغة الجسيمات الراقصة؛ فهي تتحدث لغة "الكيوبتات" (qubits)، والتي تشبه مفاتيح الإضاءة البسيطة التي يمكن أن تكون في حالة تشغيل، أو إيقاف، أو كليهما في آن واحد. المشكلة هي أن ترجمة حركات رقص الفيرميونات المعقدة والمتقلبة المزاجية إلى لغة الكيوبتات تتطلب عادةً شبكة ضخمة ومتشابكة من التعليمات. الأمر يشبه محاولة توجيه حفلة رقص عبر الصراخ بالتعليمات لكل ضيف على حدة باستخدام مكبر صوت في نفس الوقت؛ تصبح التعليمات طويلة ومعقدة لدرجة أن الكمبيوتر يتعب ويرتكب الأخطاء قبل أن تنتهي الرقصة حتى. هذا هو العائق الكبير الذي يواجهه العلماء: كيف نجعل تلك الترجمة قصيرة، ونظيفة، وسريعة بما يكفي لأجهزة الكمبيوتر الكمومية الحالية المليئة بالضجيج والعيوب.
تقدم هذه الورقة البحثية طريقة جديدة ذكية لتنظيم تلك الترجمة، حيث تعمل كمدرب رقص ماهر يعيد ترتيب أرضية الرقص بحيث يمكن للضيوف تبادل الأماكن دون الحاجة للصراخ عبر الغرفة. يقترح المؤلفون، وهم فريق من موسكو، استراتيجية تستخدم "شبكات تبادل مايورانا" (Majorana swap networks). فكر في الفيرميونات ليس كراقصين منفردين، بل كأزواج من الراقصين يمسكون بأيدي بعضهم البعض (تسمى مؤثرات مايورانا). وبدلاً من استخدام الطريقة الضخمة والمعتادة لتبادل هذه الأزواج، يستخدم الفريق نوعاً جديداً من "بوابات التبادل" (swap gates) يكون أكثر دقة ويتطلب خطوات أقل. لقد طوروا خدعتين رئيسيتين؛ أولاً، بالنسبة لأكثر رقصات الرقص تعقيداً (المسماة UCCGSD)، ابتكروا خوارزمية دورية تعيد ترتيب الراقصين إلى مواضعهم الصحيحة باستخدام عدد أقل بكثير من الحركات مقارنة بالسابق، وتحديداً عبر تقليل عبء "التوجيه" (routing) من مقياس تكعيبي إلى مقياس تكعيبي (رغم أن العدد الإجمالي لحركات الرقص يظل مرتفعاً). ثانياً، والأكثر إثارة، قاموا بتصميم شبكة مخصصة لروتين رقص انسيابي وشائع يسمى k-UpCCGSD.
وعندما اختبروا هذه الشبكات الجديدة، كانت النتائج تحسناً ملحوظاً. ففي الحواسيب حيث يمكن لكل كيوبت التواصل مع أي كيوبت آخر (اتصال الكل إلى الكل)، قللت طريقتهم الجديدة من عمق دائرة التعليمات بنسبة 50% تقريباً، وخفضت عدد بوابات الكيوبت-الثنائي بنحو 20%. أما في الأجهزة ذات التوزيع الأكثر تقييداً، والتي تشبه شبكة من صفين وN من الأعمدة (وهو أمر شائع في الأجهزة الواقعية)، فقد كانت التوفيرات أكثر دراماتيكية: حوالي 55% أقل من خطوات الدائرة و40% انخفاض في عدد البوابات المتشابكة. كما أجرى المؤلفون عمليات محاكاة باستخدام الضجيج الرقمي لمحاكاة الأخطاء في العالم الحقيقي، ووجدوا أن طريقتهم الجديدة كانت أكثر متانة بشكل عام، مما يعني أن "الرقصة" المحاكات بقيت أقرب إلى الإجابة الصحيحة حتى عندما كان الكمبيوتر مليئاً بالأعطال. ورغم أن هذا لا يحل كل مشاكل الكيمياء الكمومية، إلا أنه يشير إلى أنه من خلال تغيير كيفية إعادة ترتيب المعلومات الكمومية، يمكننا جعل هذه المحاكاة أكثر عملية للأجهزة التي نمتلكها اليوم.
ملخص تقني: تحسين خوارزميات القيم الذاتية الكمومية التباينية للفيرميونات باستخدام شبكات تبديل مايورانا
بيان المشكلة تعد المحاكاة الدقيقة للأنظمة الفيرميونية المترابطة تطبيقًا رئيسيًا للحوسبة الكمومية، ومع ذلك فهي تواجه عقبات كبيرة على الأجهزة الكمومية ذات المقياس المتوسط المليئة بالضجيج (NISQ). يكمن التحدي الجوهري في رسم خرائط العمليات الفيرميونية غير الموضعية إلى الكيوبتات. تؤدي عمليات الترميز القياسية مثل "جوردان-ويجنر" (JW) و"برافاي-كيتايف" (BK) إلى توليد سلاسل "باولي" ذات دعم ينمو مع عدد الأنماط الفيرميونية (M)، مما يؤدي إلى دوائر عميقة وارتفاع في عدد بوابات الكيوبت الثنائية. هذا الطابع غير الموضعي يؤدي إلى تفاقم تراكم الخطأ. وبينما استُخدمت شبكات التبديل (SNs) باستخدام بوابات التبديل الفيرميونية (FSWAP) لفرض محلية فعالة، إلا أن العبء التراكمي للعمليات غير الموضعية في الأنواع الشائعة من "الأنماط المتغيرة" (ansatzes)، مثل عائلة "يونيتاري كابلد كلسيد" (UCC)، لا يزال كبيرًا.
المنهجية يقدم المؤلفون إطار عمل يعتمد على عمليات مايورانا وشبكات تبديل مايورانا (MSNs) لتحسين تجميع خوارزميات القيم الذاتية الكمومية التباينية (VQE).
تمثيل مايورانا: بدلاً من الأنماط الفيرميونية القياسية، يستخدم هذا النهج تمثيل كل نمط باستخدام عمليتي مايورانا (γ^)، اللتين تتبعان علاقات تباعد بسيطة وتترجم طبيعيًا إلى مجموعة "باولي".
بوابات تبديل مايورانا (MSWAP): يُعرف المؤلفون بوابات MSWAP بأنها عمليات تنفذ تبديلات مُوقعة لعمليتي مايورانا. وخلافًا لبوابات FSWAP التي تبدل أنماطًا فيرميونية كاملة، تعمل بوابات MSWAP على مكونات مايورانا الفردية. وهذا يسمح بتحكم أدق في دعم العملية ويسمح بتفكيكات مدمجة (على سبيل المثال، عملية كليفورد ثنائية الكيوبت واحدة للأنماط المتجاورة في ترميز JW).
الترميزات المعدلة: من خلال تطبيق طبقات من بوابات MSWAP، ينشئ المؤلفون "ترميزات جوردان-ويجنر معدلة". وفي هذه الحالات الوسيطة، يمكن تمثيل عمليات الإثارة (الأحادية والثنائية) بسلاسل "باولي" أقصر، مما يقلل من عدد البوابات المتشابكة المطلوبة.
أهداف النمط المتغير (Ansatz Targets): يركز العمل على نوعين محددين من UCC:
UCCGSD: وهو نمط الإثارة الأحادية والثنائية المعمم، والذي يحتوي على O(M4) من حدود الإثارة الثنائية.
k-UpCCGSD: وهو نمط أكثر إيجازًا يقيد الإثارات الثنائية بالمدارات المقترنة مكانيًا، وغالبًا ما يتكرر في k من الطبقات.
المساهمات الرئيسية
تفكيكات الإثارة المُحسّنة: يقدم المؤلفون بناءات للبوابات لتدويرات الإثارة الثنائية التي تتكامل مباشرة مع طبقات MSWAP. ومن خلال تخليق الدورات في ترميز معدل حيث يكون دعم "باولي" مدمجًا، حققوا خفضًا بنسبة 40% في عمق الدائرة للنواة الرباعية الكيوبتات للإثارات الثنائية مقارنة بتفكيك "يوردانوف" القياسي (12 بوابة CX مقابل 13 بوابة CX).
خوارزمية التبديل الدوري لـ UCCGSD: تم تطوير خوارزمية جديدة لتوطين جميع حدود الإثارة الثنائية O(M4) في نمط UCCGSD العام.
الآلية: تستخدم إجراء مسح دوري لنقل الأنماط المختارة عبر "قائمة نشطة" من الأزواج الفيرميونية.
التدرج (Scaling): تكشف الخوارزمية عن جميع دعامات الأنماط الأربعة المطلوبة باستخدام O(M3) فقط من عمليات تبديل مايورانا المساعدة. وهذا يحسن من عبء التبديل المساعد O(M4) المستخدم في نهج FSN السابق.
توضيح: يشير المؤلفون إلى أنه بينما تم تقليل عبء التوجيه (routing) إلى الدرجة التكعيبية، فإن العدد الإجمالي لتدويرات الإثارة الثنائية المتغيرة يظل O(M4). يكمن التحسين في كفاءة التوجيه المطلوب لجعل هذه الحدود موضعية.
دوائر MSN لـ k-UpCCGSD: بالنسبة لنمط k-UpCCGSD، صمم المؤلفون دوائر MSN مخصصة لتخطيط 2×N من الكيوبتات (صفوف منفصلة لمدارات سبين α و β).
الدمج: يتم دمج دورات الإثارة مباشرة في طبقات MSWAP، مما يلغي الحاجة إلى مراحل تبديل ودوران منفصلة.
المقارنة: مقارنةً بالمرجع الأساسي FSN، تتجنب طريقة MSN عمليات التبديل غير الضرورية بين مدارات السبين المتضادة.
التقييم الواعي بالضجيج: تدرس الدراسة استراتيجيات التجميع هذه باستخدام قنوات خطأ التحلل (depolarizing) والخطأ المرتبط، بالإضافة إلى نماذج الضجيج للأجهزة فائقة التوصيل وأجهزة مصيدة الأيونات.
النتائج تقدم الاختبارات الرقمية على نماذج جزيئية صغيرة مقاييس الأداء التالية:
الاتصال من الكل إلى الكل (All-to-All Connectivity):
عمق الدائرة: انخفض بنسبة تقارب 50%.
عدد بوابات الكيوبت الثنائية: انخفض بنسبة تقارب 20%.
الاتصال المقيد 2×N:
عمق الدائرة: انخفض بنسبة تقارب 55%.
عدد بوابات الكيوبت الثنائية: انخفض بنسبة تقارب 40%.
المتانة ضد الضجيج: تُظهر عمليات تجميع MSN عمومًا حساسية أقل أو أدنى مستويات الحساسية للضجيج مقارنة بالبدائل ذات المرجع الثابت (مثل FSN القياسي أو التفكيكات القياسية)، وإن كان ذلك يعتمد على نوع القناة.
الأهمية والادعاءات يزعم البحث أن التحسينات الهيكلية في تجميع الدوائر عبر شبكات تبديل مايورانا يمكن أن تخفف بشكل كبير من عبء الموارد لمحاكاة الفيرميونات على أجهزة NISQ. وتتجلى أهمية ذلك في جانبين:
الكفاءة: تقلل الطرق المقترحة من العوامل الثابتة في عمق الدائرة وعدد البوابات، وهو أمر بالغ الأهمية عندما تكون تكاليف التبديل والقياس هي الحاسمة لنجاح الخوارزمية.
القابلية للتوسع: يمثل عبء التوجح O(M3) لـ UCCGSD تحسنًا تقاربيًا (asymptotic) مقارنة باستراتيجيات التوجيه O(M4) السابقة، حتى لو ظل إجمالي عدد الدورات مرتفعًا.
التوافق مع الأجهزة: يتوافق التصميم المحدد لـ MSN مع تخطيطات 2×N بشكل طبيعي مع طوبولوجيا الأجهزة الحالية (مثل الكيوبتات فائقة التوصيل)، مما يوفر مسارًا عمليًا لتنفيذات VQE أكثر متانة.
يخلص المؤلفون إلى أن هذه التحسينات الهيكلية، جنباً إلى جنب مع التصميم الواعي بالضجيج، توفر مسارًا واعدًا لتحسين أداء خوارزميات القيم الذاتية الكمومية التباينية على الأجهزة الكمومية الحالية والقريبة من المستقبل.