High-rate qLDPC processors
تقدم هذه الورقة "أكواد ميتن" (mitten codes)، وهي عائلة جديدة من أكواد المعالجة ذات معدل مرتفع من نوع qLDPC القائمة على مجموعات غير تبادلية، تتغلب على حدود المسافة التقليدية لتمكين الحوسبة الكمومية المتسامحة مع الأخطاء، والتي تتميز بالسرعة والملاءمة للأجهزة مع أداء عالٍ الإنتاجية وقدرات فك تشفير في الوقت الفعلي على أجهزة الذرات المحايدة والموصلات الفائقة.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك تحاول بناء حاسوب فائق يمكنه حل مشكلات لا يستطيع أي حاسوب عادي حلها، مثل كسر الشفرات غير القابلة للكسر أو محاكاة أدوية جديدة. هذا هو حلم الحوسبة الكمومية. لكن هناك عقبة: الجسيمات الصغيرة التي تستخدمها هذه الحواسيب، والتي تسمى "الكيوبتات" (qubits)، هشة للغاية. فبقعة صغيرة من الحرارة، أو اهتزاز عابر، أو حتى شعاع كوني يمكن أن يتسبب في ارتكابها للأخطاء، مما يؤدي إلى بعثرة المعلومات التي تحملها. الأمر يشبه محاولة بناء بيت من ورق وسط إعصار. ولجعل هذه الآلات مفيدة، يتعين على العلماء بناء "مجال قوة" حول البيانات، وهو نظام يسمى تصحيح الخطأ، يقوم باستمرار بالتحقق من الأخطاء وإصلاحها قبل أن تنتشر.
لفترة طويلة، كانت أفضل طريقة لبناء مجال القوة هذا تشبه استخدام بطانية سميكة وثقيلة جدًا. كنت بحاجة إلى كومة ضخمة من الكيوبتات الفيزيائية (لبنات البناء) فقط لحماية قطعة واحدة من المعلومات (كيوبت منطقي واحد). جعل هذا الحواسيب ضخمة وبطيئة ومكلفة. كان العلماء يبحثون عن بطانية أخف وأذكى — واحدة تستخدم عددًا أقل من اللبنات ولكنها توقف الأخطاء بنفس الكفاءة. لقد وجدوا نوعًا واعدًا جديدًا من البطانيات يسمى أكواد qLDPC، وهي تشبه شبكة تقنية عالية تلتقط الأخطاء بكفاءة. ومع ذلك، كان جعل هذه الشبكات تعمل من أجل الحوسبة الفعلية (وليس مجرد تخزين البيانات) كابوسًا لأن التعليمات لإصلاح الأخطاء كانت معقدة وبطيئة للغاية.
الآن، قدم فريق من الباحثين تصميمًا جديدًا يسمى أكواد الميتن (mitten codes). فكر في هذه الأكواد كنمط ثوري لبطانية تصحيح الخطأ تلك. وهي مبنية باستخدام خدعة رياضية ذكية تتضمن "المجموعات غير الآبلية" (non-abelian groups)، وهي طريقة معقدة تعني أنها تستخدم نوعًا معينًا من التماثل الذي لا تملكه البطانيات العادية. هذا التماثل يسمح لأكواد الميتن بأن تكون أصغر وأسرع بكثير من التصميمات السابقة. لم يكتفِ الباحثون بالحلم بهذا، بل بنوا مصنعًا رقميًا للبحث عن أفضل الأنماط، واختبروها في عمليات محاكاة حاسوبية ضخمة، ووجدوا أن هذه "الميتنز" (القفازات) يمكنها حماية البيانات بدقة مذهلة مع استخدام موارد أقل بكثير. لقد أظهروا أنه باستخدام هذه الأكواد، يمكن لمعالج كمومي إجراء مليارات العمليات دون فشل، حتى عندما ترتكب الأجزاء الفيزيائية أخطاءً. وهذا يقربنا خطوة عملاقة واحدة من بناء حاسوب كمومي يمكنه بالفعل القيام بعمل مفيد في العالم الحقيقي.
كود الميتن: شبكة الأمان الكمومية
المشكلة: بيت الورق في الإعصار
الحواسيب الكمومية قوية، لكنها أيضًا هشة للغاية. الوحدات الأساسية للمعلومات، التي تسمى الكيوبتات، تشبه كرات زجاجية رقيقة؛ إذا صدمت الطاولة، ستنكسر. وفي العالم الحقيقي، "صدم الطاولة" يحدث طوال الوقت بسبب الحرارة أو الضجيج. ولإصلاح ذلك، يستخدم العلماء تصحيح الخطأ الكمومي. تخيل أنك تريد إرسال رسالة، لكنك تعلم أن ساعي البريد قد يسقطها. لذا، بدلًا من إرسال رسالة واحدة، ترسل خمس نسخ منها. إذا أسقط ساعي البريد واحدة، يمكنك لا تزال قراءة الرسالة من النسخ الأربع الأخرى. في الحوسبة الكمومية، نفعل شيئًا مشابهًا: نستخدم العديد من الكيوبتات الفيزيائية لحماية كيوبت "منطقي" واحد.
لسنوات، كانت الطريقة القياسية هي الكود السطحي (surface code). فكر في هذا كبطانية صوفية سميكة وثقيلة. إنها جيدة جدًا في منع الأخطاء، لكنها ثقيلة لدرجة أنك تحتاج إلى آلاف الكيوبتات الفيزيائية لحماية كيوبت منطقي واحد فقط. وهذا يجعل بناء حاسوب كمومي كبير أمرًا صعبًا ومكلفًا للغاية. أراد العلماء بطانية أخف وأكثر كفاءة. وقد وجدوا واحدة: أكواد qLDPC (أكواد التحقق من التماثل منخفضة الكثافة الكمومية). هذه الأكواد تشبه شبكة تقنية عالية؛ فهي تستخدم عددًا أقل بكثير من الكيوبتات لحماية نفس القدر من البيانات، مما يجعلها "عالية المعدل". ولكن كانت هناك مشكلة: بينما كانت هذه الشبكات رائعة لـ تخزين البيانات، إلا أنها كانت سيئة جدًا في إجراء العمليات الحسابية. كانت التعليمات لإصلاح الأخطاء بطيئة ومعقدة للغاية، مما يجعل الحاسوب بطيئًا جدًا ليكون مفيدًا.
الحل: كود الميتن (Mitten Code)
في هذه الورقة، يقدم المؤلفون أكواد الميتن، وهي عائلة جديدة من أكواد qLDPC المصممة لتكون فعالة وسريعة في آن واحد. يأتي الاسم من شكل هيكلها الرياضي: مصفوفات التحقق (القواعد التي تكتشف الأخطاء) تبدو مثل "الميتن" (القفاز الذي له أربعة أصابع وإبهب واحد).
السر وراء أكواد الميتن هو استخدامها لـ المجموعات غير الآبلية. بعبارات بسيطة، تستخدم معظم أكواد تصحيح الأخطاء تماثلات بسيطة ومتوقعة (مثل المربع الذي يبدو كما هو إذا قمت بتدويره 90 درجة). أما أكود الميتن فتستخدم تماثلًا أكثر تعقيدًا و"التواءً" (مثل القفاز الذي يبدو مختلفًا إذا قلبته من الداخل إلى الخارج). هذا الهيكل المعقد يسم يسمح للأكواد بكسر قاعدة طويلة الأمد كانت تحد من كيفية فصل الأخطاء عن بعضها البعض. ونتيجة لذلك، يمكن لأكواد الميتن حماية البيانات بـ "مسافة" أعلى بكثير (وهي مقياس لعدد الأخطاء التي يمكنها التقاطها) باستخدام بضع مئات فقط من الكيوبتات الفيزيائية.
كيف يعمل: مجموعة الأدوات النمطية
أحد أكبر التحديات في الحوسبة الكمومية هو إجراء العمليات (مثل الحسابات) دون كسر حماية الخطأ. عادةً، تحتاج إلى آلة فريدة ومعقدة لكل نوع من أنواع الحسابات. تغير أكواد الميتن قواعد اللعبة؛ فبفضل تماثلها الخاص، ترتبط جميع الكيوبتات المنطقية ببعضها البعض بطريقة بسيطة.
تخيل أن لديك مجموعة من مكعبات الليغو المتطابقة. بدلًا من بناء آلة مختلفة لكل شكل تريد صنعه، سيكون لديك فقط خمس أدوات قابلة لإعادة الاستخدام (هياكل ليغو صغيرة). من خلال إعادة ترتيب هذه الأدوات الخمس بطرق مختلفة، يمكنك إجراء أي عملية كمومية قياسية (عمليات "كليفورد" - Clifford operations). هذا تبسيط هائل. يوضح المؤلفون أنه باستخدام مجرد أداتين "بذرتين"، يمكنهم توليد المجموعة الكاملة اللازمة للحوسبة الكمومية الشاملة.
علاوة على ذلك، تسم تسمح هذه الأكواد بـ السحر المتوازي (parallel magic). في الحوسبة الكمومية، تحتاج إلى مورد خاص يسمى "الحالة السحرية" للقيام بعمليات حسابية متقدمة. عادةً، عليك صنع هذه الحالات واحدة تلو الأخرى، وهو ما يستغرق وقتًا طويلاً. تسمح أكواد الميتن بحقن الحالات السحرية في جميع الكيوبتات المنطقية الخاصة بك في وقت واحد. الأمر يشبه امتلاك مصنع يمكنه طباعة مليون تذكرة في آن واحد بدلًا من واحدة تلو الأخرى.
النتائج: المحاكاة تظهر نتائج واعدة
لم يكتف الباحثون باقتراح نظرية فحسب؛ بل بنوا "مسار اكتشاف" للعثور على أفضل أكواد الميتن واختبارها بصرامة. استخدموا برنامجًا حاسوبيًا فائق السرعة يسمى sQetch للبحث عبر ملايين الاحتمالات وإيجاد أفضل التصميمات.
قاموا بمحاكاة هذه الأكواد تحت ظروف ضوضاء واقعية (حيث تحدث الأخطاء بشكل عشوائي). وكانت النتائج مبهرة:
- دقة عالية: عند معدل خطأ فيزيائي قدره 0.1% (أي خطأ واحد في كل 1,000 جزء)، حقق كود ميتن محدد (J300, 60, 14K) معدل خطأ منطقي يبلغ حوالي 10⁻¹¹ لكل جولة. وهذا يعني أنه يمكنك تشغيل الحاسوب لأكثر من 100 مليار جولة قبل رؤية خطأ واحد.
- نطاق هائل: قاموا بمحاكاة 15 مليار عملية على كود أكبر (J540, 108, 18K) ولم يلاحظوا سوى فشلين منطقيين فقط. وهذا يشير إلى أن المعالج يمكنه التعامل مع حوالي 10¹⁰ (10 مليارات) عملية بشكل موثوق.
- السرعة: كانت عملية فك التشفيد (معرفة كيفية إصلاح الأخطاء) سريعة بما يكفي لمواكبة الأجهزة في الوقت الفعلي، بمتوسط زمن تأخير يقل عن ميلي ثانية واحدة لكل دورة.
ماذا يعني هذا؟
يشير المؤلفون بحذر إلى أن هذه النتائج تأتي من المحاكاة، وليس من الأجهزة الفيزيائية بعد. ومع ذلك، فإن عمليات المحاكاة دقيقة للغاية ومعدلات الخطأ منخفضة جدًا لدرجة أنها تقدم دليلًا قويًا على أن أكواد الميتن هي مسار قابل للتطبيق للمضي قدمًا. تم تصميم الأكواد للعمل على نوعين رائدين من الأجهزة الكمومية: مصفوفات الذرات المحايدة (حيث يتم تحريك الذرات بواسطة الليزر) والرقائق فائقة التوصيل (حيث تُنقش الدوائر على السيليكون).
من خلال الجمع بين الكفاءة العالية (استخدام عدد أقل من الكيوبتات)، والسرعة العالية (العمليات المتوازية)، وتصحيح الخطأ القوي، تقدم أكواد الميتن مخططًا عمليًا لبناء حاسوب كمومي مقاوم للأخطاء. وبدلًا من الحاجة إلى ملايين الكيوبتات لإجراء عملية حسابية مفيدة، تشير هذه الأكواد إلى أننا قد نتمكن من القيام بذلك باستخدام الآلاف فقط. وهذا يقرب حلم بناء حاسوب كمومي عامل من الواقع بشكل كبير.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.