Constant-rate quantum codes with low-weight stabilizers and full logical Clifford actions via transversal and fold-transversal gates
تقدم هذه الورقة عائلة من الأكواد الكمومية ذات المعدل الثابت ذات أوزان مثبت (stabilizer) تنمو بمعدل دون اللوغاريتمي، والتي تدعم كامل مجموعة كليفورد المنطقية باستخدام البوابات العابرة (transversal) والعابرة المطوية (fold-transversal) فقط، مما يتيح حساباً كمومياً متسامحاً مع الخطأ ذا تكلفة إضافية منخفضة في المساحة.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
لبناء حاسوب يمكنه حل مشكلات تتجاوز بكثير قدرات آلات اليوم، يحاول العلماء تسخير القواعد الغريبة للفيزياء الكمومية. تستخدم هذه الآلات البتات الكمومية، أو "الكيوبتات" (qubits)، والتي يمكن أن توجد في حالات متعددة في آن واحد، مما يوفر قوة هائلة. ومع ذلك، تأتي هذه القوة بتكلفة هشة: فالكيوبتات حساسة للغاية للضوضاء والأخطاء، حيث يمكن لخطأ واحد أن يفسد الحساب بأكمده. ولإصلاح ذلك، يستخدم الباحثون أكواد تصحيح الخطأ الكمومي، والتي تنشر المعلومات عبر العديد من الكيوبتات الفيزيائية لإنشاء كيوبت "منطقي" واحد ومستقر. والهدف هو إيجًاد طريقة لحماية هذه المعلومات دون استخدام الكثير من الأجزاء الفيزيائية الإضافية التي تجعل بناء الآلة أمراً مستحيلاً بسبب حجمها الكبير. علاوة على ذلك، يجب أن تكون الآلة قادرة على إجراء الحسابات على هذه المعلومات المحمية دون كسر تلك الحماية. وهذا يتطلب توازناً دقيقاً: يجب أن يكون الكود فعالاً بما يكفي ليتناسب مع الشريحة، وقوياً بما يكفي لمواجهة الأخطاء الحتمية في العالم الحقيقي، مع السماح للحاسوب في الوقت نفسه بالقيام بعمل مفيد.
لسنوات، كان العائق الرئيسي هو العثور على كود يتميز بالكفاءة العالية والقدرة على أداء مجموعة كاملة من العمليات الضرورية دون الحاجة إلى أجزاء مساعدة إضافية. تعمل بعض الطرق الموجودة حالياً بشكل جيد لتصحيح الخطأ، لكنها تتطلب قياسات معقدة ومستهلكة للوقت مما يؤدي إلى مخاطر جديدة. بينما تسمح طرق أخرى بإجراء عمليات سهلة، لكنها تفشل في حماية ما يكفي من المعلومات أو تتطلب الكثير من المكونات الفيزيائية مما يجعلها غير عملية. تمثل التحدي المركزي في بناء نظام يجمع بين معدل عالٍ لتخزين المعلومات ومجموعة كاملة من الأدوات المنطقية، مع الحفاظ على بساطة الروابط الفيزيائية بين الأجزاء وسرعة عملية تصحيح الخطأ.
في دراسة جديدة، صمم باحثون عائلة من الأكواد الكمومية التي تحقق هذا التوازن الصعب. فقد طوروا نظاماً يمكنه تخزين كمية ثابتة من المعلومات بالنسبة لحجمه، مما يعني أنه لا يهدر المساحة كلما زاد حجمه. والأهم من ذلك، يمكن لهذا النظام أداء كل عملية منطقية ضرورية باستخدام تفاعلات بسيطة ومباشرة بين الأجزها الفيزيائية، دون الحاجة إلى أي كيوبتات مساعدة إضافية. ومع ذلك، ولتحقيق النطاق الكامل لهذه العمليات، يتطلب النظام عمل كتلتين من الكود معاً على الأقل، بدلاً من كتلة واحدة فقط. وقد أطلق الباحثون على ابتكارهم اسم أكواد "بريزم" (PRISM). تُبنى هذه الأكواد عن طريق دمج نسختين من نوع معين من الأكواد الكلاسيكية المستمدة من تناظرات الأشكال الهندسية المعروفة باسم "المباني" (buildings) في الرياضيات. ومن خلال ربط هذه الهياكل معاً، أنشأ الفريق نظاماً كمومياً تظل فيه الروابط بين الأجزاء بسيطة نسبياً، حتى مع توسع النظام.
يكمن الابتكار الرئيسي في كيفية تعامل هذه الأكواد مع الأخطاء والعمليات. فقد صمم الباحثون النظام بحيث لا تصبح الروابط بين الكيوبتات الفيزيائية، المستخدمة للتحقق من الأخطاء، معقدة بشكل مفرط. وبينما ينمو عدد الروابط مع كبر حجم النظام، فإنه ينمو ببطء شديد — ببطء يجعل الروابط تظل قابلة للإدارة لأي حجم عملي للحاسوب، بشكل مشابه لتلك الموجودة في أكثر أنظمة تصحيح الخطأ تقدماً المتاحة حالياً. وهذا يسمح للنظام بالحفاظ على أداء عالٍ حتى في النسخ الصغيرة والمبكرة. وقد أثبت الفريق من خلال عمليات المحاكاة أن هذه الأكواد يمكنها تصحيح الأخطاء بفعالية، متفوقة على الطرق الأخرى المعروفة عند استخدام نفس عدد الكيوبتات المنطقية ومستويات حماية مماثلة من الخطأ.
ولجعل الحاسوب يعمل، أظهر الباحثون أنه يمكنهم أداء جميع العمليات المنطقية الضرورية باستخدام نوعين محددين من البوابات. النوع الأول يعمل بشكل مستقل على الكيوبتات الفيزيائية الفردية، مما يضمن أن الخطأ في مكان واحد لا ينتشر إلى أماكن أخرى. أما النوع الثاني فيتضمن تبديل مواقع الكيوبتات وتطبيق عمليات بسيطة، وهي طريقة تسمح للنظام بالوصه إلى نطاق أوسع بكثير من الإجراءات المنطقية مما كان يُعتقد سابقاً أنه ممكن باستخدام مثل هذه الأدوات البسيطة. ومن خلال الجمع بين هاتين الطريقتين، أثبت الفريق قدرتهم على توليد المجموعة الكاملة من العمليات المنطقية المطلوبة للحسابات المعقدة. وتعد هذه خطوة مهمة للأمام لأن الأنظمة السابقة كانت إما تفتقر إلى القدرة على أداء كل هذه العمليات أو تتطلب موارد إضافية تلغي الغرض من وجود كود فعال.
كما تناولت الدراسة مفهوماً خاطئاً شائعاً مفاده أن الأكواد عالية الأداء يجب أن تعتمد على روابط معقدة وعالية الكثافة. فقد أظهر الباحثون أنه من خلال استخدام الخصائص الرياضية لعائلة الأكواد الخاصة بهم، استطاعوا تحقيق مجموعة كاملة من الأدوات المنطقية مع الحفاظ على ندرة الروابط. وأشاروا صراحة إلى أنه على الرغم من أن أكوادهم ليست أبسط الأنواع الممكنة من الناحية النظرية، إلا أنها تعمل تقريباً مثل الأنواع الأبسط لأي حجم حاسوب واقعي. ويوفر هذا العمل مساراً واضحاً نحو بناء حواسيب كمومية قادرة على تحمل الأخطاء، وتكون فعالة في المساحة وقادرة على أداء النطاق الكامل من العمليات اللازمة للحوسبة الشاملة، دون العبء الثقيل للأجزاء المساعدة الإضافية.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.