Quantum LDPC codes with design rate 1/5 and good performance below 1000 physical qubits
تقدم هذه الورقة عائلة جديدة من أكواد (LDPC) الكمومية ذات المعدل الثابت بمعدل تصميم قدره 1/5 ووزن تحقق 9، والتي تم إنشاؤها عبر نواتج متوازنة لأكواد كلاسيكية ذات تناظرات غير أبيلية، وهي تحقق أداءً عالياً لتحمل الأخطاء تحت 1000 كيوبت فيزيائي في ظل ظروف ضوضاء واقعية باستخدام استخراج متمايز للمتلازمات وفك تشفير فعال.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك تحاول بناء مكتبة لا تفقد فيها كتاباً واحداً، حتى لو كانت الأرفف تهتز، والأضواء تومض، والمكتبون يسقطون لوحات الكتابة الخاصة بهم أحياناً. هذا هو حلم الحوسبة الكمومية المتسامحة مع الخطأ. "الكتب" هي البتات الكمومية (qubits)، وهي هشة للغاية؛ إذ يمكن لنسمة صغيرة من الحرارة أو مجال مغناطيسي شارد أن تشوش معلوماتها. ولحمايتها، يستخدم العلماء تصحيح الخطأ الكمومي. فكر في هذا كأنه تعويذة سحرية حيث لا تكتفي بكتابة الكتاب مرة واحدة، بل تكتبه في نمط ضخم ومعقد عبر صفحات فيزيائية عديدة. إذا تمزقت صفحة أو تلطخت، يمكن للتعويذة أن تنظر إلى الصفحات المحيطة، وتعرف النص الأصلي الذي كان من المفترض أن يكون موجوداً، وتصلح الخطأ دون قراءة الكتاب مباشرة (لأن ذلك سيدمر السحر).
التحدي يكمكم في أن هذه "التعاويذ" تتطلب عادةً قدراً هائلاً من الصفحات الإضافية. لفترة طويلة، كانت التعويذة الأكثر شعبية، والتي تسمى كود السطح (Surface Code)، تشبه مكتبة آمنة جداً ولكنها مسرفة للغاية: لتخزين قطعة واحدة مفيدة من المعلومات، قد تحتاج إلى مئات الصفحات الفيزيائية. كان العلماء يبحثون عن تعويذة أفضل، تكون آمنة بنفس القدر ولكنها تستخدم صفحات أقل بكثير، وهو مفهوم يُعرف باسم الكود ذو المعدل الثابت (constant-rate code). كما يحتاجون إلى أن تعمل هذه التعاويذ على آلات حقيقية، مثل تلك التي تستخدم الأيونات المحاصرة أو الذرات العائمة، والتي لها قواعد محددة حول كيفية تحريك أجزائها. السؤال الكبير كان: هل يمكننا إيجاد تعويذة فعالة بما يكفي لتناسب غرفة صغيرة (أقل من 1,000 صفحة) ولكنها قوية بما يكفي للتعامل مع الواقع الفوضوي لمختبر حقيقي؟
تقدم هذه الورقة البحثية عائلة جديدة من هذه التعاويذ السحرية، تسمى أكواد ZSZ-LP، المصممة خصيصاً لتناسب تلك "الغرفة الصغيرة" مع كونها قوية للغاية في الوقت نفسه. المؤلفون، الذين يعملون في NVIDIA، لم يكتفوا بحلم نظرية فحسب؛ بل بنوا أمثلة محددة لهذه الأكواد واختبروها في محاكاة حاسوبية ليروا مدى صمودها أمام الضجيج. ووجدوا أنه باستخدام بضع مئات فقط من الكيوبتات الفيزيائية، يمكن لأكوادهم الجديدة تخزين المعلومات بمعدل خطأ منخفض جداً لدرجة أنها من المحتمل أن تفتح الباب أمام عصر "التيرا كويب" (teraquop)—وهو مصطلح يشير إلى إجراء تريليون عملية كمومية موثوقة. هذه خطوة كبيرة نحو تشغيل حسابات ضخمة ومغيرة للعالم (مثل كسر التشفير المعقد أو محاكاة أدوية جديدة) والتي كان يُعتقد سابقاً أنها تتطلب ملايين الكيوبتات.
السر وراء هذه الأكواد الجديدة هو خدعة رياضية ذكية تتضمن المجموعات غير الأبيلية (non-abelian groups). لفهم هذا، تخيل ساحة رقص. في الأكواد القديمة والأبسط (الأبيلية)، يتبع الراقصون قاعدة صارمة: إذا تحركت "أليس" لليسار ثم تحرك "بوب" للأمام، فإن ذلك يساوي تحرك "بوب" للأمام ثم تحرك "أليس" لليسار. إنه أمر يمكن التنبؤ به، لكنه يحد من مدى تعقيد الرقصة. تستخدم الأكواد الجديدة ساحة رقص "ملتوية" (غير أبيلية) حيث يهم الترتيب: "أليس" ثم "بوب" تختلف عن "بوب" ثم "أليس". هذا الالتواء الإضافي يسمح للكود بأن يكون أكثر كفاءة وتراصاً. استخدم المؤلفون هذا الالتواء لإنشاء أكواد ذات معدل تصميم قدره 1/5، مما يعني أنه مقابل كل 5 كيوبتات فيزيائية، يمكنهم تخزين 1 كيوبت منطقي واحد. وهذا تحسن كبير مقارنة بالطرق القديمة التي قد تحتاج إلى 10 أو 20 كيوبت فيزيائي مقابل واحد فقط.
تظهر الورقة البحثية أن هذه الأكواد تعمل بشكل جيد للغاية في عمليات المحاكاة. ففي ظل مستوى ضجيج قدره 0.1% (والذي يمثل حدوث الأخطاء في الآلة)، يمكن للأكواد الجديدة أن تصل إلى حالة تكون فيها من المحتمل جاهزة لعصر "التيرا كويب". وتحديداً، الكود المسمى ZSZ-LP-550، الذي يستخدم 550 كيوبت فيزيائي (بالإضافة إلى عدد قليل من الكيوبتات للتحقق من الأخطاء)، أظهر معدل خطأ منطقي يبلغ حوالي 7 × 10⁻¹⁴ لكل جولة في اختبار ذاكرة مرجعي. هذا منخفض للغاية؛ مما يشير إلى أنه إذا بنيت حاسوباً بهذه الأكواد، فيمكنه الاحتفاظ بالمعلومات لفترة طويلة جداً دون أن تتعرض للفساد. كما صمم المؤلفون طريقة لـ "قراءة" الأخطاء باستخدام مجدول جشع (greedy scheduler) يحرك الذرات في غضون 30-60 ميلي ثانية، وهي سرعة تتناسب جيداً مع أجهزة الذرات المحايدة الحالية.
ومع ذلك، يوضح المؤلفون بحذر أن هذه النتائج تأتي من عمليات المحاكاة، وليس من آلة فيزيائية مبنية في مختبر. لقد استخدموا وحدة معالجة رسومات (GPU) قوية لتشغيل خوارزمية فك تشفير تسمى Relay-BP، والتي تعمل كـ "محقق فائق السرعة" يحل لغز مكان وقوع الأخطاء. تشير عمليات المحاكاة إلى أن الأكواد متينة، مع "عتبة شبهية" (pseudothreshold) تقارب 0.5%، مما يعني أنه إذا ظل معدل خطأ الآلة تحت هذه النسبة، فإن الكود سيصبح أفضل وأفضل مع نموه. لكن الورقة تشير أيضاً إلى وجود مقايضة: نظرًا لأن هذه الأكواد تستخدم هذا الرياضيات "الملتوية" المعقدة، فإن توصيلها فيزيائياً أصعب من الأكواد القديمة الأبسط. فالروابط بين الكيوبتات أكثر تعقيداً، مما يجعل بناء الأجهزة الفعلية تحدياً أكبر.
اكتشف الباحثون أيضاً أن هذه الأكود تمتلك تناظراً خاصاً يسمح لها بإجراء عمليات منطقية معينة (مثل قلب البتات أو تغيير الأطوار) بكفاءة عالية، تماماً مثل طي ورقة لتنسيق الحواف بدقة. هذا يمكن أن يجعل "الجراحة" اللازمة لربط الأجزاء المختلفة من الحاسوب الكمومي أسهل بكثير. وبينما لم يجدوا كوداً مثالياً في كل شيء (بعض النسخ كانت تمتلك مسافات أقل قليلاً أو تتطلب توصيلات أكثر تعقيداً)، فقد أثبتوا أن الأكواد التي تقل عن 1,000 كيوبت يمكنها بالفعل الوصول إلى مستويات الأداء العالية المطلوبة للجيل القادم من الحواسيب الكمومية.
باختصار، تعد هذه الورقة البحثية خطوة كبيرة نحو إثبات أننا لسنا بحاجة إلى حاسوب كمومي بحجم مدينة للقيام بأشياء عظيمة. فمن خلال استخدام التواء رياضي ذكي، أظهر المؤلفون أن آلة بحجم خادم صغير يمكن أن تحمل -من المحتمل- مفتاح حل مشكلات مستعصية على الحواسيب الفائقة اليوم. الطريق من هذه المحاكاة إلى آلة حقيقية عاملة لا يزال طويلاً ومليئاً بالعقبات الهندسية، لكن الخريطة التي رسموها تبدو واعدة للغاية.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.