Efficient and identifiable noise models for symmetry-preserving quantum circuits
تقدم الورقة البحثية نموذج SA-IBF، وهو نموذج ضجيج ذو معملين وقابل للتعريف يتفوق على نماذج قلب البتات المستقلة القياسية ويطابق النماذج المحسنة بايزياً في الدقة بالنسبة للدوائر الكمومية الحافظة للتماثل، مع تقليل التكلفة الحسابية بشكل كبير.
تعد الحواسيب الكمومية بحل مشكلات مستعصية على آلات اليوم، بدءاً من تصميم أدوية جديدة وصولاً إلى نمذجة المواد المعقدة. ومع ذلك، فإن هذه الآلات هشة للغاية؛ إذ إن الحالات الكمومية الدقيقة التي تعتمد عليها تتأثر بسهولة ببيئتها، مما يتسبب في وقوع الحاسوب في الأخطاء. ولفهم هذه الأخطاء وإصلاحها، يبني العلماء "نماذج ضجيج". فكر في هذه النماذج كخريطة للتضاريس؛ فهي تصف كيف يتم تشويه المخرجات المثالية والنظرية للدائرة الكهربائية بفعل الواقع الفوضوي للأجهزة. وإذا كانت الخريطة دقيقة، يمكن للباحثين التنبؤ بما سيفعله الحاسوب فعلياً وتصحيح الأخطاء. لكن إنشاء هذه الخرائط أمر صعب؛ فالأجهزة تتغير، وأعباء العمل تتغير، ويجب أن تكون النماذج بسيطة بما يكفي لتكون مفيدة، ومفصلة بما يكفي لتكون حقيقية.
بالنسبة لفئة محددة من الدوائر الكمومية، تتبع النتيجة المثالية قاعدة صارمة: يجب أن يظل عدد البتات التي تكون في حالة "التشغيل" (on) في الإجابة النهائية ثابتاً. يُعرف هذا باسم "التماثل". وفي العالم الحقيقي، يؤدي الضجيج أحياناً إلى كسر هذه القاعدة، مما يتسبب في تسريب الاحتمالية إلى حالات محظورة. وقد سعى فريق من الباحثين بقيادة "يي بان" وزملائه في جامعة جورجيا وجامعة تينيسي في تشاتانوغا إلى إنشاء خريطة أفضل لهذه الدوائر المحددة. حيث قدموا نموذجاً جديداً ومبسطاً يسمى (SA-IBF). وخلافاً للنماذج القديمة التي كانت تعامل جميع الأخطاء كضباب موحد، يقوم هذا النهج الجديد بفصل الضجيج إلى سلوكين متميزين: انتشار الاحتمالية ضمن الحالات المسموح بها، وتسرب الاحتمالية خارجها. ومن خلال التعامل مع هذين السلوكين كميزتين منفصلتين، تمكن الفريق من إنشاء نموذج يتسم بدقة عالية وكفاءة حسابية عالية.
اختبر الباحثون نموذجهم الجديد على دوائر تعمل على معالجات "هيرون" (Heron) الكمومية من شركة "آي بي إم" (IBM). وقارنوا (SA-IBF) بنموذج "قلب البت المستقل" القياسي، الذي يفترض أن كل خطأ يحدث بشكل مستقل ويؤثر على التماثل بنفس الطريقة التي يؤثر بها على الانتشار الداخلي. كانت النتائج واضحة: تنبأ النموذج الجديد بسلوك الأجهزة الفعلي بدقة أكبر من النموذج القديم في كل اختبار من الاختبارات. وفي مجموعة واحدة من التجارب التي شملت 230 دائرة مختلفة، أنتج النموذج الجديد باستمرار تنبؤات أقرب إلى البيانات الحقيقية. ولم يكن التحسن مجرد مسأية بضع نقاط مئوية؛ بل في بعض الحالات، كان الانخفاض في الخطأ كبيراً بما يكفي ليتم قياسه بسهولة. كما تحقق الفريق من أن المعلمات (parameters) التي وجدوها سليمة رياضياً، مما يعني أن النموذج يمكنه التمييز بشكل موثوق بين نوعي الضجيج اللذين يقيسهما.
وما يجعل هذا العمل مهماً بشكل خاص هو مدى سرعة استخدام النموذج الجديد. فقد قارن الباحثون نموذجهم المكون من معلمتين بنموذج أكثر تعقيداً يتطلب واحد وعشرين معلمة ويستخدم عملية تحسين متطورة للملاءمة. وبينما استطاع النموذج المعقد في بعض الأحيان مطابقة دقة النموذج الجديد، إلا أنه استغرق وقتاً أطول بأكثر من مائتي مرة للتشغيل. وفي إحدى المقارنات، طابق النموذج الجديد أداء النموذج المعقد ذي الاثنين وعشرين معلمة ضمن هامش خطأ ضئيل جداً، لكنه فعل ذلك في جزء من الثانية. هذه السرعة أمر بالغ الأهمية لأن نماذج الضجيج تحتاج إلى إعادة معايرة بشكل متكرر مع تغير الأجهزة. فالنموذج الذي يستغرق دقائق أو ساعات للملاءمة يعد غير عملي للاستخدام الروتيني، بينما النموذج الذي يستغرق ثوانٍ يسمح للباحثين بتحديث فهمهم للآلة باستمرار.
كما استكشفت الدراسة مدى صمود هذه النماذج عند نقلها بين أجزاء مختلفة من نفس المعالج أو حتى بين معالجات مختلفة. ووجد الفريق أن المعلمات التي تم تعلمها من مجموعة واحدة من الدوائر يمكن تطبيقها غالباً على مجموعة أخرى في نفس الآلة بنتائج جيدة، مما يشير إلى أن خصائص الضجيج متسقة نوعاً ما عبر الأجهزة. ومع ذلك، أشاروا أيضاً إلى أن النموذج يعمل بشكل أفضل عندما يكون الضجيج قوياً بما يكفي ليكون مرئياً بوضوح. فعندما تكون معدلات الخطأ منخفضة للغاية، يصبح من الصعب التمييز بين الميزتين اللتين يحاول النموذج فصلهما، وهو قصور رسم الباحثون حدوده بعناية.
من خلال التركيز على التماثل المحدد لهذه الدوائر، تمكن الباحثون من تجريد العمل من التعقيد غير الضروري. لقد أظهروا أنك لست بحاجة إلى محاكاة ضخمة ومفصلة لكل خطأ محتمل للحصول على تنبؤ جيد. بدلاً من ذلك، فإن وصفاً بسيطاً مكوناً من رقمين يحترم قواعد النظام غالباً ما يكون كافياً. يقدم هذا النهج مساراً عملياً لتشغيل الخوارزميات الكمومية على أجهزة اليوم غير المثالية؛ فهو يسمح للعلماء بالحصول على إجابات أفضل من أجهزتهم دون انتظار الجيل القادم من المعالجات، وذلك ببساطة عبر استخدام طريقة أذكى وأسرع لفهم الضجيج الموجود بالفعل.
بيان المشكلة تعد نماذج الضجيج الكمومي ضرورية لمحاكاة الدوائر، وتوصيف أخطاء الأجهزة، وتطوير استراتيجيات تخفيف الخطأ. ومع ذلك، تواجه النماذج الحالية مقايضة بين التفصيل الفيزيائي والتكلفة الحسابية؛ فالنماذج المعقدة (مثل تلك التي تحتوي على أكثر من 20 معلمة يتم ضبطها عبر التحسين البايزي) دقيقة ولكنها مكلفة حسابياً ويصعب تمييزها. وفي المقابل، فإن النماذج البسيطة مثل "قلب البت المستقل" (IBF) فعالة ولكنها تفشل في الفصل بين ظاهرتين متميزتين للضجيج في الدوائر الحافظة للتماثل: انتشار الاحتمالية داخل قطاع وزن هامينج (Hamming-weight sector)، وتسرب الاحتمالية خارج هذا القطاع. في الدوائر التي تكون مخرجاتها المثالية مقيدة بقطاع واحد لوزن هامينج (مثل دوائر الكيمياء والسبين التي تحافظ على عدد الجسيمات أو المغناطيسية)، تقوم نماذج IBF القياسية بربط هاتين الظاهرتين عبر معدل قلب واحد، مما يحد من قدرتها على ملاءمة بيانات الأجهزة باستخدام مجموعة معلمات مدمجة. علاوة على على ذلك، فإن ضبط معلمات متعددة لبيانات ذات عدد محدد من العينات (finite-shot data) يؤدي غالباً إلى مشكلات في إمكانية التمييز (identifiability)، حيث تصبح المعلمات غير قابلة للتمييز عن بعضها البعض.
المنهجية يقدم المؤلفون نموذج SA-IBF (قلب البت المستقل الواعي بالتماثل)، وهو نموذج ضجيج ذو معلمتين بصيغة مغلقة مصمم خصيصاً للدوائر التي يكون دعم مخرجها المثالي على قطاع واحد لوزن هامينج.
بناء النموذج:
يعرّف SA-IBF نواة عشوائية KSA كخليط من مكونين يتشاركان في معدل قلب بت مشترك q:
KIBF: عمليات قلب بت مستقلة تعمل على نشر الاحتمالية داخل القطاعات وعبرها.
Ksym: عمليات قلب بت مستقلة مشروطة ببقاء المدخل ضمن قطاع وزن هامينج الأصلي.
يتم التحكم في الخليط بواسطة وزن الحفاظ على القطاع α∈[0,1]: KSA=αKsym+(1−α)KIBF
التفسير الفيزيائي: تتحكم المعلمة q في معدل الانتشار والتسرب الإجمالي، بينما تتحكم α في كسر التسرب الذي يتم كبحه (أي كتلة الاحتمالية المحتجزة داخل القطاع المثالي). ويتوقع النموذج أن α تؤثر فقط على إجمالي تعداد القطاع، تاركةً توزيع الاحتمالية النسبي داخل وخارج القطاع دون تغيير بالنسبة لتنبؤ IBF.
الضبط والتقييم:
يتم ضبط المعلمات (α,q) للبيانات التدريبية عن طريق تقليل مسافة هيلينجر (Hellinger distance) بين التوزيع المتوقع ومخططات الأجهزة (histograms) المرصودة.
يتم تقييم النموذج على بيانات الاختبار باستخدام نفس المقياس.
تحليل إمكانية التمييز (Identifiability Analysis):
اشتق المؤلفون شروطاً لإمكانية التمييز المحلي لـ (α,q). وقد أثبتوا أنه بالنسبة لقيمة α غير الصفرية، لا يمكن إعادة إنتاج نواة SA-IBF بواسطة أي خليط من قنوات قلب البت المنتجة (Proposition 1).
تشخيص الرتبة (Rank Diagnostic): يتم حساب جاكوبي تحليلي (analytic Jacobian) عند المعلمات المضبوطة لتقييم إمكانية التمييز المحلي. يتحقق تشخيص الرتبة مما إذا كان الجاكوبي يمتلك رتبة كاملة (2) ويقيم رقم الحالة (condition number) وأخطاء معيار كرامر-راو لضمان أن عملية الملاءمة جيدة التكييف (well-conditioned).
تضع الحدود النظرية (Theorem 1) قيوداً على معلومات فيشر لـ α عند معدلات قلب صغيرة، وتثبت أن إمكانية التمييز المحلي تتحقق بشكل عام داخل السيمبلكس (simplex interior).
المساهمات الرئيسية
نموذج ضجيج مبتكر: تقديم SA-IBF، وهو نموذج بمعلمتين يفصل صراحةً بين تسرب القطاع وانتشار ما داخل القطاع، مما يوفر ملاءمة أكثر مرونة من نموذج IBF القياسي دون تعقيد النماذج عالية الأبعاد.
ضمانات نظرية: اشتقاق صارم لشروط إمكانية التمييز المحلي وتشخيص رتبة عملي يمكن تطبيقه على كل عملية ضبط للدوائر للكشف عن المعلمات سيئة التكييف.
الكفاءة الحسابية: يتجنب النموذج عمليات البحث العددي التكراري عبر مساحات معلمات كبيرة، مستخدماً نواة ذات صيغة مغلقة وتحسيناً فعالاً.
النتائج تم تقييم النموذج على معالجات IBM Heron (Boston, Kingston, Pittsburgh, Marrakesh) عبر 230 دائرة من ثلاث عائلات: Molecular Quantum Autoencoders (MolQAE)، وUnitary Coupled Cluster (UCCSD)، والدوائر الحافظة للمغناطيسية.
دقة التنبؤ: حقق SA-IBF باستمرار مسافات هيلينجر أقل مقارنة بنموذج IBF القياسي عبر جميع الدوائر الـ 230 وجميع المعالجات الأربعة. كما تفوق على النماذج المرجعية الأخرى مثل "تقلص وزن هامينج" (Hamming-weight shrinkage) و"إزالة الاستقطاب" (depolarization).
المقارنة مع النماذج المعقدة: عند مقارنته بنموذج Ji-BO المكون من 21 معلمة والمضبوط عبر التحسين البايزي:
في دوائر MolQAE (بـ 4، 5، و7 كيوبت)، طابق SA-IBF دقة نموذج Ji-BO الواعي بالقطاع (ضمن تفاوت مسافة هيلينجر قدره ±0.01).
في دوائر المغناطيسية (4 كيوبت)، حقق SA-IBF متوسط مسافة هيلينجر أقل من جميع متغيرات Ji-BO التي تم اختبارها.
السرعة: تم ضبط SA-IBF بسرعة أكبر بـ 200 مرة من نموذج Ji-BO الواعي بالقطاع (ثوانٍ مقابل دقائق/ساعات لكل طية/fold).
المتانة: حافظ النموذج على أداء متفوق حتى مع تقليل عينات التدريب (حتى 1,000 عينة) وتحت بروتوكولات التنبؤ بالضجيج الصفري (ZNE).
إمكانية التمييز: اجتازت جميع عمليات الضبط الـ 230 في مجموعة البيانات الرئيسية تشخيص الرتبة، مما أكد أن المعلمات كانت قابلة للتمييز محلياً وجيدة التكييف.
الأهمية والادعاءات يزعم البحث أن SA-IBF يتيح نمذجة ضجيج منخفضة التكلفة للدوائر الكمومية الصغيرة الحافظة للتماثل. فمن خلال فصل تسرب القطاع عن الانتشار داخل القطاع باستخدام معلمتين فقط، يحقق النموذج دقة تضاهي النماذج المعقدة ذات المعلمات الكثيرة التي تُضبط عبر التحسين البايزي، ولكن بجزء ضئيل من التكلفة الحسابية. ويضمن إدراج تشخيص الرتبة أن المعلمات المضبوطة موثوقة إحصائياً، مما يجعل النموذج مناسباً للدمج في خطوط أنابيب تخفيف الخطأ حيث يتطلب توصيف الضجيح السريع والموثوق. ويؤكد المؤلفون أن هذا النهج فعال بشكل خاص للدوائر التي يُعرف أن مخرجها المثالي يقع في قطاع معين لوزن هامينج، وهو قيد شائع في تطبيقات الكيمياء الكمومية وفيزياء السبين.