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

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

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

لفهم أهمية هذه النتيجة، يجب أولاً استيعاب طبيعة المشكلة. في الحاسوب الكمومي، يمكن للأخطاء أن تتسلل من البيئة، مما يؤدي إلى قلب حالة الكيوبت أو تغيير طوره. ويتم تصميم الكود الكمومي لالتقاط هذه الأخطاء. "المسافة" في الكود هي الحد الأدنى لعدد الكيوبتات التي يجب أن تتأثر بالخطأ قبل أن يفشل الكود في اكتشافه. إذا كان للكود مسافة قدرها عشرة، فيمكنه اكتشاف أي خطأ يؤثر على تسعة كيوبتات أو أقل. التحدي الذي يواجه علماء الحاسوب هو أنه عند إعطاء وصف لكود ما، فإن حساب هذا الرقم بدقة هو كابوس. في العالم الكلاسيكي، ثبت منذ سنوات أنه لا يمكنك حتى الاقتراب من الإجابة الصحيحة بسرعة؛ فالمشكلة هي "NP-hard"، مما يعني أنه كلما كبر حجم الكود، نمت الفترة الزمنية المطلوبة لحلها بشكل انفجاري.

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

حقق الباحث ذلك من خلال بناء نوع جديد من الأكواد الكمومية يسمى "الأكواد المستقرة بالكلمات المفتاحية" (codeword-stabilized). يعمل هذا البناء كمترجم، يأخذ مشكلة كلاسيكية صعبة ويحولها إلى مشكلة كمومية. تتضمن العملية مكونين رئيسيين: كود كلاسيكي ورسم بياني (graph)، وهو شبكة من النقاط المتصلة بخطوط. يحدد الرسم البياني كيفية تفاعل الكيوبتات، بينما يوفر الكود الكلاسيكي الهيكل الأساسي. كان الابتكار الرئيسي في كيفية اختيار الرسم البياني؛ فقد اعتمدت الطرق السابقة على رسوم بيانية ذات اتصالات محددة وشحيحة، مما حد من قوة الإثبات. أدرك كابشكار أنه باستخدام رسم بياني عشوائي —وهو شبكة يتم اختيار اتصالاتها عن طريق الصدفة— يمكن تحقيق نتيجة أقوى بكثير.

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

تذهب الدراسة إلى أبعد من ذلك، حيث تنظر إلى المشكلة من منظور التعقيد "دقيق التفاصيل" (fine-grained complexity). يسأل هذا النهج ليس فقط ما إذا كانت المشكلة صعبة، بل ما مدى صعوبتها بالضبط. إنه ينظر إلى الوقت الذي يستغرقه حل المشكلة مع نمو حجم المدخلات. تظهر الأبحاث أنه حتى لو سمحت لخوارزمية بالعمل لفترة طويلة جداً —أطول من أي وقت متعدد الحدود ولكن أقصر من البحث الأسي الكامل— فإنها لن تستطيع حل المشكلة، بشرط صحة فرضيتي SETH و Gap-ETH. وتحديداً، يثبت البحث أنه لا يمكن لأي خوارزمية حل المشكلة في وقت أقل بكثير من الوقت الذي يستغرقه فحص كل نمط خطأ ممكن. وينطبق هذا على الحواسيب النظرية القوية، طالما أنها تعمل ضمن القواعد القياسية للمنطق والاحتمال وظلت الفرضيات المذكورة أعلاه صالحة.

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

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

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

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