حوسبة كمية متسامحة مع الأخطاء وبنفقات منخفضة عبر قياس المشغلات المنطقية كتناظر مُعوَّم

الحفاظ على نزاهة الحواسيب الكمومية

تَعِد الحواسيب الكمومية المستقبلية بحل مشكلات تعجز عن حلها أسرع الحواسيب التقليدية اليوم، لكنها بالذات هشة للغاية: اضطرابات بسيطة قد تشوش حساباتها. تقدم هذه الورقة طريقة جديدة للحفاظ على اتساق الحسابات الكمومية الكبيرة باستخدام عدد أقل من البتات الكمومية المساعدة مما كان يُعتقد سابقاً ضرورياً، ما يقرب آلات كمومية عملية مقاومة للأخطاء من التطبيق الفعلي.

لماذا تحتاج البتات الكمومية إلى حماية

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

القياس دون إتلاف الكود

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

تحويل سؤال شامل إلى فحوصات محلية

جوهر الطريقة هو إلحاق رسم بياني مساعد—شبكة من الكيوبتات الإضافية—بمجموعة الكيوبتات المشاركة في المشغل المنطقي. يُوضع كيوبِت جديد على كل حافة في هذا الرسم، وتُجرى اختبارات محلية بسيطة تشمل كيوبت بيانات وكيوبتات الحافة المجاورة. تفرض هذه الاختبارات قواعد تذكرنا بقانون غاوس في الكهرومغناطيسية، رابطَة سلوك الكيوبتات حول كل رأس. على الرغم من أن كل نتيجة فردية تبدو عشوائية، فإن حاصل ضربها يُشفّر قيمة المشغل المنطقي الأصلي. بعد هذا «القياس المُعوَّم»، تُزال الكيوبتات المساعدة بدقة عبر قياسات إضافية، في عملية تُسمى «إلغاء التعويم» (ungauging)، والتي تُعيد النظام إلى شكل مكافئ للكود الأصلي.

تصميم شبكات مساعدة فعّالة

لا تعمل كل الرسوم المساعدة على نحو متساوٍ. للحفاظ على معدلات خطأ منخفضة ونفقات معتدلة، يجب أن تظل الشبكة متفرقة، وتحافظ على مسافة حماية جيدة، وتتجنب تكوين حلقات معقدة للغاية. يحدد المؤلفون قواعد تصميم واضحة تضمن هذه الخصائص ويعرضون كيفية بناء رسوم مناسبة بشكل منهجي لأي مشغل منطقي. باستخدام أدوات من نظرية الرسوم الحديثة والطوبولوجيا، بما في ذلك ما يُسمى رسوم المُوسّعات (expander graphs) وعملية تُعرف بفك الازدحام (decongestion)، يثبتون أن عدد الكيوبتات الإضافية اللازمة يتناسب أساساً خطياً مع عدد الكيوبتات التي يمسها المشغل المنطقي، مع عوامل بولي لوغاريتمية متواضعة. هذا تحسّن ملحوظ مقارنة بالمنهجيات السابقة، حيث كان ممكنًا أن ينمو الحمل الزائد أسرع من حجم النظام المشفر نفسه.

التسامح مع الأخطاء في الزمان والمكان

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

ماذا يعني هذا لآلات الكم المستقبلية

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

الاستشهاد: Williamson, D.J., Yoder, T.J. Low-overhead fault-tolerant quantum computation by gauging logical operators. Nat. Phys. 22, 598–603 (2026). https://doi.org/10.1038/s41567-026-03220-8

الكلمات المفتاحية: الحوسبة الكمية المتسامحة مع الأخطاء, تصحيح الأخطاء الكمومية, رموز كمومية منخفضة الكثافة للبارتي-تشيك, قياسات منطقية, جراحة الكود