⚛️ quantum physics

Low-valency scalable quantum error correction with a dynamic compass code

تقدم هذه الورقة "كود البوصلة الديناميكي" (dynamic compass code)، وهو مخطط تصحيح أخطاء كمي قابل للتوسع لشبكة "heavy-hex" يستخدم جدول استخراج متلازمة مبتكر لتحقيق عتبة استقرار، وتوفير حماية قابلة للضبط ضد أخطاء X وZ، وتمكين الجراحة الشبكية المتحملة للأخطاء.

المؤلفون الأصليون: Jun Zen, Xanda C. Kolesnikow, Campbell K. McLauchlan, Georgia M. Nixon, Thomas R. Scruby, Seok-Hyung Lee, Stephen D. Bartlett, Benjamin J. Brown, Robin Harper

نُشر 2026-04-17

📖 4 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Jun Zen, Xanda C. Kolesnikow, Campbell K. McLauchlan, Georgia M. Nixon, Thomas R. Scruby, Seok-Hyung Lee, Stephen D. Bartlett, Benjamin J. Brown, Robin Harper

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

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

ولإصلاح ذلك، يستخدم العلماء ما يسمى تصحيح الخطأ الكمي. فكر في هذا على أنه فريق من الحراس اليقظين الذين يراقبون بيت الورق هذا. إذا بدأت ورقة واحدة في التمايل، يقوم الحراس بإصلاحها قبل أن ينهار الهيكل بأكمله.

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

يقدم هذا البحث طريقة جديدة وأكثر ذكاءً لبناء هؤلاء الحراس تسمى "كود البوصلة الديناميكي" (Dynamic Compass Code). إليك التفاصيل بكلمات بسيطة:

1. المشكلة: شبكة الـ "Heavy-Hex"

تُبنى الحواسيب الكمية الحالية (مثل تلك التي تنتجها شركة IBM) على نمط شبكي محدد يسمى شبكة "Heavy-Hex". تخيل خلية نحل، ولكن مع بعض العوارض الثقيلة الإضافية. إنه تصميم رائع لأنه سهل البناء، ولكن له قيد؛ فكل قطعة لا يمكنها إلا أن تلمس ثلاثة جيران فقط.

حاولت أكواد تصحيح الخطأ السابقة العمل على هذه الشبكة، لكنها كانت تعاني من عيب قاتل. فقد كانت رائعة في رصد نوع واحد من الأخطاء (لنسمها "أخطاء X")، لكنها كانت سيئة جدًا في رصد النوع الآخر (الذي نسميه "أخطاء Z"). كان الأمر يشبه امتلاك نظام أمني بارع في كشف اللصوص ولكنه أعمى تمامًا عن رؤية الحرائق. ومع زيادة حجم الحاسوب، سيفشل النظام في النهاية لأنه لن يستطيع التعامل مع "أخطاء Z".

2. الحل: النهج "الديناميكي"

أدرك المؤلفون أنه بدلاً من فحص النظام في حلقة مملة ومتكررة (افحص X، افحص Z، افحص X، افحص Z...)، يمكنهم تغيير جدول عمليات الفحص.

فكر في الأمر مثل رقصة استعراضية:

الطريقة القديمة: يتحرك الراقصون (عمليات الفحص الكمي) في نمط ثابت ويمكن التنبؤ به. وفي النهاية، يتسلل نوع معين من الأخطاء عبر الثغرات لأن النمط كان ثابتًا للغاية.
الطالط الجديدة (كود البوصلة الديناميكي): يغير الراقصون خطواتهم بناءً على الموسيقى. أحيانًا يفحصون الأرضية، وأحيانًا الجدران، ويفعلون ذلك بإيقاع محدد يتطور بمرور الوقت.

من خلال تحديد متى وماذا نقيس بدقة، نجح الفريق في إنشاء كود:

يتناسب تمامًا مع أجهزة "Heavy-Hex" الموجودة حاليًا (لا حاجة لبناء آلات جديدة).
يرصد كلاً من أخطاء X وأخطاء Z بفعالية.
يتوسع في الحجم: كلما جعلت الحاسوب أكبر، انخفض معدل الخطأ فعليًا، وهو ما يمثل "الكأس المقدسة" في الحوسبة الكمية.

3. استعارة "البوصلة"

يُسمى الكود بـ "كود البوصلة" لأنه يستخدم نموذجًا رياضيًا يشبه طريقة عمل البوصلة. في البوصلة، تصطف المغناطيسات في اتجاهات محددة (شمال-جنوب أو شرق-غرب).

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

4. لماذا تهم "التكافؤ المنخفض" (Low-Valency)؟

"التكافؤ" (Valency) هي كلمة معقدة تعني "كم عدد الجيران الذين يحيطون بشيء ما".

تتطلب معظم أكواد تصحيح الخطأ أن تتواصل كل قطعة من الأجهزة مع 4 أو 5 أو حتى أكثر من الجيران. وهذا أمر يصعب بناؤه.
هذا الكود الجديد يتطلب فقط أن تتواصل كل قطعة مع 3 جيران (تكافؤ منخفض).
تشبيه: تخيل حيًا حيث يحتاج كل منزل فقط للتحدث مع 3 جيران للبقاء آمنًا. هذا أسهل بكثير في البناء من حي يحتاج فيه كل منزل للتحدث مع 10 جيران. هذا يجعل الكود "قابلاً للتوسع"، مما يعني أننا نستطيع بناء حواسيب كمية ضخمة باستخدامه باستخدام تكنولوجيا اليوم.

5. اختبار "الاستقرار"

اختبر البحث أيضًا ما يسمى "الاستقرار". تخيل أنك تحاول الحفاظ على رسالة سرية آمنة أثناء نقلها من غرفة إلى أخرى (وهذا ما يسمى جراحة الشبكة - Lattice Surgery).

الكود القديم كان سيفقد الرسالة أثناء النقل إذا كان الضجيج مرتفعًا جدًا.
أثبت كود البوصلة الديناميكي الجديد قدرته على الحفاظ على الرسالة آمنة حتى أثناء نقلها، مما أظهر امتلاكه لـ "عتبة" (Threshold). وهذا يعني أنه إذا كانت الأجهزة جيدة بما يكفي (تحت مستوى معين من الضجيج)، فيمكن للحاسوب أن يعمل إلى الأبد دون أن ينهار.

الصورة الكبيرة

هذا البحث هو مخطط لـ حاسوب كمي عملي.

قبل ذلك: كانت لدينا نظريات رائعة، لكنها كانت تتطلب أجهزة غير موجودة بعد، أو كانت تفشل بمجرد أن يصبح الحاسوب كبيرًا.
الآن: لدينا "كود البوصلة الديناميكي" الذي يتناسب مع الأجهزة التي يمكننا بناؤها اليوم (رقائق Heavy-Hex من IBM)، ويرصد جميع أنواع الأخطاء، ويصبح أفضل كلما أصبح أكبر.

لقد اختبر المؤلفون حتى نسخة صغيرة من هذا الكود على حاسوب كمي حقيقي من IBM وقد نجح الأمر! هذه خطوة كبيرة نحو اليوم الذي يمكن فيه للحواسيب الكمية حل مشكلات العالم الحقيقي مثل تصميم أدوية جديدة أو كسر التشفير المعقد، كل ذلك مع البقاء مستقرة وخالية من الأخطاء.

إليك ملخص تقني مفصل للورقة البحثية بعنوان "تصحيح الخطأ الكمي ذو التكافؤ المنخفض القابل للتوسع باستخدام كود البوصلة الديناميكي (Dynamic Compass Code)."

1. بيان المشكلة

يتطلب تحقيق حواسيب كمية واسعة النطاق ومقاومة للأخطاء (fault-tolerant) أكواد تصحيح الخطأ الكمي (QECCs) التي تستوفي قيدين متضاربين:

التوافق مع الأجهزة: يجب أن تكون قابلة للتنفيذ على أجهزة قريبة من المدى (near-term hardware) ذات اتصال محدود (تحديداً الاتصال منخفض الدرجة حيث ترتبط الكيوبتات بحد أقصى بثلاثة جيران، مثل شبكة الهيكس الثقيلة (heavy-hex lattice) المستخدمة في IBM).
القابلية للتوسع: يجب أن تُظهر عتبة (threshold)، مما يعني أن معدلات الخطأ المنطقي يجب أن تتلاشى أسياً مع زيادة مسافة الكود ( $d$ ).

التحدي المحدد:
يعاني كود الهيكس الثقيلة (heavy-hex code)، وهو كود نظام فرعي (subsystem code) مصمم للأجهزة ذات الاتصال المنخفض، من خلل حرج: فبينما يمتلك عتبة لأخطاء قاعدة $Z$ ، فإنه يفتقر إلى عتبة لأخطاء قاعدة $X$ . في جدول القياس القياسي، تصبح مستقرات $X$ (X-stabilizers) "ممتدة" (تشمل الشبكة بأكملة)، مما يؤدي إلى كواشف ذات أوزان تتناسب مع حجم النظام ( $O(d)$ ). ومع نمو الكود، تصبح هذه الكواشف عالية الوزن غير موثوقة، مما يمنع التسامح مع الخطأ القابل للتوسع. بالإضافة إلى ذلك، يفتقر كود الهيكس الثغيلة إلى عتبة لتجارب الاستقرار (stability experiments) (وهي ضرورية لعمليات جراحة الشبكة والعمليات المنطقية).

2. المنهجية

يقترح المؤلفون عائلة جديدة من الأكواد تسمى أكواد البوصلة الديناميكية (Dynamic Compass Codes)، والمستمدة من تطبيق جدول قياس ديناميكي مبتكر على مجموعة القياس (gauge group) الخاصة بكود الهيكس الثقيلة.

الإطار النظري:
- أكواد البوصلة (Compass Codes): تستخدم مجموعة قياس مشتقة من حدود التفاعل لنموذج بوصلة (تحديداً نموذج الهيكس الثقيلة).
- الأكواد الديناميكية (Floquet Codes): بدلاً من مجموعة مستقرة ثابتة، يتطور الكود عبر الزمن بناءً على ترتيب القياسات. يستخدم المؤلفون إطار عمل مجموعة المستقرات اللحظية (Instantaneous Stabilizer Group - ISG) لتتبع حالة الكود.
- الابتكار الرئيسي: من خلال الترتيب الدقيق لقياس مؤثرات القياس (تحديداً حذف بعض فحوصات $Z$ في خطوات زمنية معينة)، يحول المؤلفون كود الهيكس الثقيلة من كود نظام فرعي إلى كود ديناميكي ذو مستقرات ذات وزن ثابت.
جدول القياس:
- يتميز الجدول المقترح بفترة قدرها 4 خطوات.
- الخطوتان 1 و3: قياس جميع فحوصات $X$ .
- الخطوتان 2 و4: قياس مجموعات فرعية محددة من فحوصات $Z$ .
- استراتيجية الحذف: من خلال حذف بعض قياسات $Z$ -gauge (تحديداً تلك التي من شأنها تجزئة مستقرات $Z$ المتوسطة)، يمنع المؤلفون مستقرات $X$ من النمو إلى أوزان ممتدة. وهذا يخلق مقايضة: تقليل تكرار قياسات $Z$ يحسن حماية $X$ ولكنه يضعف حماية $Z$ .
المحاكاة وفك التشفير:
- نموذج الضوضاء: ضوضاء الدائرة المستوية (uniform circuit-level noise) تشمل الضوضاء الموحدة (depolarizing)، والخلل في الخمول (idling)، وأخطاء القياس على شبكة هيكس ثقيلة.
- فك التشفير (Decoder): مطابقة الوزن الأدنى المثالية (MWPM) باستخدام مكتبة PyMatching.
- تنفيذ الدائرة: أُجريت المحاكاة مع وبدون إعادة ضبط الكيوبتات (qubit resets). تم تسليط الضوء على حالة "عدم إعادة الضبط" (no-reset) باعتبارها أكثر عملية للأجهزة فائقة التوصيل الحالية لتجنب الضوضاء الناتجة عن إعادة الضبط.
- الأدوات: استخدموا Stim لمحاكاة الدائرة و sinter لتقدير العتبة.

3. المساهمات الرئيسية

تعريف كود البوصلة الديناميكي: تقديم عائلة أكواد تجمع بين فوائد الاتصال المنخفض لشبكة الهيكس الثقيلة والخصائص الديناميكية لأكواد فلوكيت (Floquet codes)، مما يحقق كواشف ذات وزن ثابت.
حل مشكلة عتبة قاعدة $X$ : تثبت الورقة أن الجدول الديناميكي يستعيد العتبة لأخطاء قاعدة $X$ ، وهي خاصية يفتقر إليها كود الهيكس الثقيلة القياسي.
عتبة الاستقرار: يثبت المؤلفون أن كود البوصلة الديناميكي يمتلك عتبة لتجارب الاستقرار، مما يسمح بتصحيح أطر باولي (Pauli frames) أثناء عمليات جراحة الشبكة، وهو أمر ضروري لتنفيذ البوابات المنطقية المتسامحة مع الخطأ.
توصيف المقايضة: رسم العمل بشكل منهجي المقايضة بين حماية $X$ وحماية $Z$ . من خلال تغيير تكرار قياسات $Z$ ، يمكن ضبط الكود ليكون أكثر قوة ضد أنواع محددة من انحياز الضوضاء.
تكييف جراحة الشبكة: توضح الورقة كيفية إجراء جراحة الشبكة (lattice surgery) (دمج وتقسيم رقع الكود) على هذا الكود الديناميكي، مما يوضح أن قياسات التكافؤ المنطقي ( $XX$ و $ZZ$ ) يمكن تنفيذها بكواشف ذات وزن ثابت، مما يحافظ على القابلية للتوسع.

4. النتائج

وجود العتبة: تظهر المحاكاة العددية أنه بينما يفشل كود الهيكس الثقيلة القياسي (الجدول A) في كبح الأخطاء المنطقية في قاعدة $X$ مع زيادة $d$ ، فإن الجداول الديناميكية (B و C) تُظهر كبحاً أسياً لمعدلات الخطأ المنطقي في كل من قاعدتي $X$ و $Z$ .
قيم العتبة:
- يُظهر كود البوصلة الديناميكي عتبة استقرار عند حوالي $1.3 \times 10^{-3}$ (قوة ضوضاء مستوى الدائرة).
- يظهر الجدول C (الذي يحذف المزيد من قياسات $Z$ ) عتبة أعلى لقاعدة $X$ ولكن عتبة أقل لقاعدة $Z$ مقارنة بالجدول B.
أداء الاستقرار:
- في تجارب الاستقرار، لا يُظهر كود الهيكس الثقيلة أي عتبة (يزداد معدل الخطأ مع حجم النظام).
- يُظهر كود البوصلة الديناميكي نقطة تقاطع واضحة حيث تنخفض معدلات الخطأ المنطقي مع زيادة عدد الجولات.
- عامل كبح الخطأ لكل جولة في الكود الديناميكي أعلى بكثير ( $\approx 2.68$ ) من كود الهكس الثقيلة ( $\approx 1.22$ ، وهي تقترب من 1 مما يعني عدم وجود كبح) مع زيادة حجم الرقعة.
إعادة الضبط مقابل عدم إعادة الضبط: تنفيذ "عدم إعادة الضبط" يتحمل ضوضاء قياس أعلى بكثير (حوالي ضعفين في قاعدة $X$ و $1.3 $ضعف في قاعدة$ Z$) مقارنة بتنفيذ إعادة الضبط، مما يجعله مناسباً جداً لأجهزة IBM الحالية.

5. الأهمية

يمثل هذا العمل خطوة مهمة نحو حوسبة كمية عملية واسعة النطاق على بنيات الأجهزة الحالية:

كفاءة الأجهزة: يتيح استخدام شبكة الهيكس الثقيلة (الموجودة أصلاً في معالجات Heron المستقبلية ومعالجات IBM الحالية) للحوسبة المتسامحة مع الخطأ بالكامل، متجاوزاً القيود المعروفة للقابلية للتوسع في كود الهيكس الثقيلة الساكن.
المنطق القابل للتوسع: من خلال إرساء عتبة لتجارب الاستقرار، توفر الورقة مساراً لتنفيذ جراحة الشبكة، وهي الطريقة الأساسية لربط الكيوبتات المنطقية في بنيات تشبه كود السطح (surface-code-like).
إطار عام: يشير مفهوم "أكود البوصلة الديناميكية" إلى مبدأ تصميم عام: يمكن إنشاء عائلات من الأكود الديناميكية من نماذج البوصلة عن طريق التلاعب بجداول القياس. وهذا يفتح آفاقاً جديدة لتحسين أكواد تصحيح الخطأ الكمي (QECCs) لتناسب ملفات ضوضاء أجهزة محددة (مثل الضوضاء المنحازة).
التحقق التجريبي: يشير المؤلفون إلى أن هذا الكود يتم تنفيذه حالياً على جهاز IBM Heron (Pittsburgh)، مما يسد الفجوة بين المحاكاة النظرية والتحقيق التجريبي.

باختصار، تحول هذه الورقة كوداً واعداً ولكنه معيب (الهيكس الثقيلة) إلى حل قابل للتوسع بالكامل ومتسامح مع الخطأ من خلال الاستفادة من جدولة القياس الديناميكية، مما يفتح الطريق للحوسبة الكمية واسعة النطاق على الأجهزة ذات الاتصال المنخفض.