A Fourier-Label Information-Loss Barrier for Dihedral Coset Algorithms

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

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

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

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

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

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

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

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

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

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