تصحيح الأخطاء الكمومية والكيوبتات المنطقية: شرح مبسّط

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

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

لماذا تحتاج الحواسيب الكمومية إلى تصحيح الأخطاء

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

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

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

الكيوبتات الفيزيائية والكيوبتات المنطقية ومسافة الشفرة

الصياغة القياسية لشفرة كمومية هي [[n,k,d]]، ما يعني أن الشفرة ترمّز k كيوبتات منطقية داخل n كيوبتات فيزيائية مع مسافة شفرة d.

وتلخّص هذه المعلمات الثلاث معظم أوجه المفاضلة:

n: عدد الكيوبتات الفيزيائية التي تستخدمها الشفرة
k: عدد الكيوبتات المنطقية المحمية
d: مسافة الشفرة، وهي مقياس يرتبط بمدى صعوبة أن تتصرف الأخطاء كما لو كانت عملية منطقية

ويُعد معدل الشفرة، k/n، مقياساً أساسياً للكفاءة. فكلما ارتفع المعدل انخفضت الكلفة الإضافية لكل كيوبت منطقي. لكن زيادة المسافة وزيادة المعدل تسيران عموماً في اتجاهين متعاكسين، لذا يدور تصميم الشفرات حول الموازنة بين الموثوقية وكلفة العتاد.

وعلى نحو عام، تتألف دورة تصحيح الأخطاء الكمومية من ثلاث مراحل:

الترميز للمعلومات المنطقية داخل نظام فيزيائي أكبر
التخزين أو الإرسال عبر قناة مليئة بالضجيج
استخراج المتلازمة والاستعادة، وهو ما يحدد الأخطاء المرجحة ويصححها

وتُعد المتلازمة عنصراً حاسماً. إذ تُختار قياسات المثبّتات بحيث تكشف معلومات الخطأ فقط، لا الحالة الكمومية المرمّزة. وإلا فإن عملية التصحيح ستدمّر حالات التراكب التي يحاول الحاسوب الحفاظ عليها.

ما أنواع الأخطاء التي تستهدفها الشفرات؟

تعتمد الأخطاء السائدة إلى حد كبير على منصة العتاد المستخدمة. ومن الأمثلة المهمة:

تخامد السعة، أو فقدان الإثارة، ويرتبط بالاسترخاء نحو حالة الاتزان
الأخطاء المتماسكة، الناشئة من الديناميكيات الداخلية للنظام
إزالة الطور، وهي واحدة من عمليات الضجيج المهيمنة في كثير من تطبيقات الكيوبتات

ومع ذلك، تعمل كثير من الشفرات الكمومية وفق نموذج مبسّط تُعامل فيه الأخطاء على أنها تراكيب من عمليات باولي:

X لأخطاء شبيهة بقلب البِت
Z لأخطاء شبيهة بقلب الطور
Y لأخطاء تجمع بين قلب البِت والطور

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

لكن هذا التبسيط يأتي مع تحفّظ: إذ قد يظل فك الترميز صعباً. فشفرة ذات معلمات [[n,k,d]] تمتلك 2^(n-k) متلازمات ممكنة، وهو عدد يصبح سريعاً أكبر من أن تستوعبه جداول بحث بسيطة. وعملياً، تكون خوارزميات فك الترميز الكلاسيكية الكفؤة مطلوبة عادة.

تحمّل الأعطال: تصحيح الأخطاء من دون جعل الأمور أسوأ

لا يكفي تصحيح الأخطاء وحده لتحقيق حوسبة قابلة للتوسع. ففي الحاسوب، تستخدم آلية التصحيح نفسها بوابات وقياسات وكيوبتات مساعدة محضّرة يمكن أن تفشل جميعها. وهنا يظهر دور تحمّل الأعطال.

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

ويورد تصحيح الأخطاء الكمومية تقديراً تاريخياً من عام 2004 يفيد بأن هذه العتبة قد تصل إلى 1–3%، بافتراض توافر عدد كافٍ من الكيوبتات. كما يقدّم الحدس الذي يفسّر أهمية العتبة: دونها، تزيل عملية التصحيح أخطاءً أكثر مما تُدخله؛ وفوقها، قد تصبح عملية التصحيح ضارةً في المحصلة.

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

العائلات الرئيسية للشفرات وما الذي تُحسّنه

تقدّم عائلات الشفرات المختلفة مفاضلات مختلفة بين الكلفة الإضافية والمسافة والبنية وسهولة التنفيذ.

عائلة الشفرة	الفكرة الأساسية	مفاضلة أو سمة بارزة
Shor code	تُعمَّم إلى `[[d^2,1,d]]`؛ وتستخدم شفرات تكرار داخلية وخارجية للتعامل كلٌّ على حدة مع أخطاء قلب البِت وأخطاء قلب الطور	تزيد المسافة، لكن بمعدل شفرة أقل
Steane / quantum Hamming codes	تستبدل بنية التكرار بشفرة Hamming الكلاسيكية `[7,4]` وتتعامل مع أخطاء `X` و`Z` بتناظر	معدل شفرة أفضل من تكرار نمط Shor
CSS codes	إطار عام مشتق من البنى المرتبطة بـ Calderbank وShor وSteane	تفصل بين مثبّتات `X` و`Z`، وهو ما يفيد في قياس المتلازمة المتحمّل للأعطال
Five-qubit code	تستخدم أربعة مثبّتات تمزج بين `X` و`Z`؛ وليست شفرة CSS	أصغر شفرة ممكنة تحمي كيوبتاً منطقياً واحداً من أخطاء اعتباطية على كيوبت واحد
Surface code	شفرة مثبّتات طوبولوجية على شبكة ثنائية الأبعاد	الفحوصات المحلية والتخطيط المستوي يجعلانها جذابة تجريبياً

وتُعد Five-qubit code مهمة على نحو خاص من الناحية المفاهيمية. فهي أصغر شفرة ممكنة تستطيع حماية كيوبت منطقي واحد من أخطاء اعتباطية على كيوبت واحد، وهي حقيقة ترتبط بحد Hamming الكمومي.

ويشير تصحيح الأخطاء الكمومية أيضاً إلى الشفرات غير الإضافية، التي تتجاوز صياغة المثبّتات المستخدمة في الشفرات الإضافية [[n,k,d]]. وقد تحقق هذه الشفرات معدلات أعلى في بعض الحالات، لكنها أصعب بكثير في البناء والتحليل، ولذلك ما تزال أقل استكشافاً.

لماذا أصبحت الشفرات السطحية مهمة إلى هذا الحد

ضمن عائلات الشفرات الحديثة، تؤدي الشفرات السطحية دوراً محورياً في تصحيح الأخطاء الكمومية القابل للتوسع في عام 2025. والسبب الرئيسي معماري: فهي تُعرَّف باستخدام قياسات مثبّتات محلية على شبكة ثنائية الأبعاد، وهو ما يلائم كثيراً من منصات العتاد أكثر من الشفرات التي تحتاج إلى تفاعلات بعيدة المدى.

والشفرة السطحية هي شفرة مثبّتات طوبولوجية. ففي النسخة التورية التي قدّمها Alexei Kitaev in 1997، تتموضع الكيوبتات على حواف شبكة ثنائية الأبعاد، وترتبط المثبّتات بالرؤوس والرقع. وتظهر الأخطاء على هيئة انتهاكات لهذه المثبّتات.

ومن الصور المفيدة لفهم ذلك أن الخطأ ينشئ أو يحرّك عيوباً موضعية توصف بأنها أيونات:

خطأ Z يقلب مثبّتات الرؤوس المجاورة
خطأ X يقلب مثبّتات الرقع المجاورة

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

وهذا التفسير الهندسي أحد أسباب كون الشفرات السطحية بديهية إلى هذا الحد. إذ تصبح مسافة الشفرة هي الطول الأدنى لمسار أو حلقة غير تافهة تنفّذ خطأً منطقياً.

الشفرات السطحية التورية والمستوية والمستوية المدارة

هناك عدة هندسات مترابطة مهمة.

تستخدم toric code شروطاً حدّية دورية، وهي مكافئة طوبولوجياً للطورس. وبالنسبة إلى شبكة d × d فهي تضم 2d^2 كيوبتات، وفضاء الشفرة فيها رباعي الأبعاد، ولذلك تخزّن كيوبتين منطقيين.

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

أما rotated planar code فهي تحسين في الكفاءة. وتشير Surface code إلى أن شفرة مستوية مدارة ذات مسافة d تستخدم d^2 كيوبتات فيزيائية، مقابل d^2 + (d − 1)^2 للنسخة المستوية غير المدارة، مع الحفاظ على مسافة الشفرة نفسها.

العتبات وفك الترميز وما معنى «دون العتبة»

تتميّز الشفرات السطحية أيضاً بعتبات مرتفعة نسبياً ضمن نماذج الضجيج القياسية. وبالنسبة إلى نموذج تحدث فيه أخطاء البِت والطور بشكل مستقل على كل كيوبت باحتمال p، تورد Surface code ما يلي:

احتمالاً حرجاً يقارب 11% مستنداً إلى مواءمة مع فيزياء إحصائية
وحوالي 10.5% عند استخدام مفكك الترميز الشائع minimum weight perfect matching

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

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

ما وراء شفرات الكتل المعتمدة على الكيوبتات

تصحيح الأخطاء الكمومية أوسع من شفرات الكتل التي ترمّز من كيوبت إلى كيوبت. إذ يمكن ترميز المعلومات الكمومية داخل qudits أو داخل المذبذبات، التي تمتلك عدداً لا نهائياً من مستويات الطاقة. وتستغل المقاربات البوزونية مثل cat وGKP والأفكار من نمط binomial التكرار الزائد داخل مذبذب واحد بدلاً من توزيع كيوبت منطقي واحد عبر كثير من الأنظمة ثنائية المستوى.

ويبرز ذلك سؤالاً تصميمياً مفتوحاً مهماً في هذا المجال: هل ينبغي أن يوجد التكرار الزائد عبر كثير من الكيوبتات الفيزيائية، أم داخل أنظمة أعلى بُعداً، أم في هجائن تجمع بين الاثنين؟

أين يقف المجال في عام 2025

تكتسب الشفرات السطحية أهمية خاصة في عام 2025. ويذكر تصحيح الأخطاء الكمومية أنها تتيح كيوبتات منطقية تعمل دون العتبة مع تحسين في الدقة في الأنظمة فائقة التوصيل، ويشير بشكل منفصل إلى أن Google Quantum AI نفذت distance-7 planar code على معالجها فائق التوصيل Willow، مظهرةً معدل خطأ فيزيائياً يقع دون العتبة.

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

الخلاصات الرئيسية

يحمي تصحيح الأخطاء الكمومية المعلومات الكمومية الهشّة عبر ترميز الكيوبتات المنطقية داخل أنظمة فيزيائية أكبر واستخراج متلازمات الأخطاء بشكل متكرر.
تختصر الصياغة القياسية [[n,k,d]] المفاضلة الأساسية: الكلفة الفيزيائية الإضافية مقابل السعة المنطقية المحمية ومسافة الشفرة.
تبسّط معظم الشفرات الأكثر استخداماً ضجيج العتاد إلى أخطاء باولي X وY وZ، رغم أن الأجهزة الحقيقية تُظهر أيضاً تأثيرات مثل تخامد السعة وإزالة الطور.
تكتسب قابلية تحمّل الأعطال أهمية لأن عملية التصحيح نفسها مليئة بالضجيج؛ وتنص مبرهنة العتبة على أن الحوسبة القابلة للتوسع لا تصبح ممكنة إلا دون معدل خطأ فيزيائي معيّن.
تُعد Five-qubit code أصغر شفرة تستطيع حماية كيوبت منطقي واحد من أخطاء اعتباطية على كيوبت واحد.
تحظى CSS codes بتقدير لأنها تفصل بين مثبّتات X وZ، وهو ما يساعد في قياس المتلازمة المتحمّل للأعطال.
تبرز الشفرات السطحية لأن مثبّتها محلي على شبكة ثنائية الأبعاد، ما يجعلها جذابة من الناحية التجريبية.
في الشفرات السطحية، يقابل الفشل المنطقي مسارات أخطاء غير تافهة طوبولوجياً؛ وتكون مسافة الشفرة هي الحجم الأدنى لمثل هذا المسار.
تقلل الشفرات السطحية المستوية المدارة عدد الكيوبتات مقارنة بالشفرات المستوية غير المدارة مع الحفاظ على المسافة.
تُعد قيم العتبة المُبلّغ عنها والعروض الحديثة مشجعة، لكن الأداء العملي ما يزال يعتمد على ضجيج العتاد وجودة مفكك الترميز والكلفة الكبيرة للكيوبتات الفيزيائية.