Counterexamples to Charpin's Conjecture on BCH codes

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

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

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

الاكتشاف الكبير: كسر قاعدة "الأخطاء الأربعة"

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

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

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

والنتي نتيجة ذلك؟ لقد قاموا ببناء عائلة لانهائية من الأكواد حيث تكون المسافة الدنيا الحقيقية أكبر صراحة من مسافة "بوز". في الواقع، أثبتوا أنه بالنسبة لمجموعة محددة من المعايير (حيث يرتبط طول الكود برقم $m$ يكون 10 على الأقل ولا يساوي 12)، فإن الفجوة ليست مجرد رقم ضئيل مثل 4، بل إنها تنمو بشكل ملحوظ مع زيادة طول الكود.

على سبيل المثال، إذا أخذت كوداً ثنائياً (النوع المستخدم في معظم الحواسيب) بطول مرتبط بـ $m=13$ (مما يعني أن الكود له طول 8191)، فإن الفجوة بين المسافة المقدرة والمسافة الحقيقية هي $2^{\lfloor(13-1)/3\rfloor-1}$. وهذا يحسب فجوة قدرها 8، وهو ما يضاعف بالفعل الحد الذي سمحت به فرضية "شاربين". ولكن مع جعل الأكواد أكبر (زيادة $m$)، لا تظل هذه الفجوة عند 8 فحسب، بل تتوسع بسرعة. إنها تنمو كالجذر التكعيبي لطول الكود، مما يعني أنه بالنسبة للأكواد الكبيرة جداً، فإن القوة الحقيقية تتفوق بمراحل على التقديرات القديمة.

لماذا ظل هذا الأمر مخفياً لفترة طويلة؟

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

الخلاصة

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

لم يكتفِ المؤلفون بالتخمين؛ بل قدموا برهاناً رياضياً صارماً. لقد قاموا ببناء الأكواد، وحسبوا المسافات الدقيقة، وأثبتوا أن الفجوة حقيقية وهامة. وبالنسبة للأكواد الثنائية، فقد أثبتوا أيضاً أن الفجوة تساوي تماماً صيغتهم الرياضية، مما لا يترك مجالاً للشك.

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