Perfect $2$-codes over arbitrary alphabets

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

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

لعقود من الزمن، حاول علماء الرياضيات حل النسخة القصوى من هذه الأحجية: إيجاد أكواد مثالية يمكنها إصلاح خطأين في آن واحد (كود مثالي للخطأ رقم 2) باستخدام أبجدية من أي حجم. وبينما وجدوا الحلول المثالية لإصلاح ثلاثة أخطاء أو أكثر، ولإصلاح خطأ واحد، ظلّت حالة إصلاح خطأين بالضبط باستخدام حجم أبجدية "غريب" (حجم ليس قوة لعدد أولي، مثل 10 أو 15) لغزًا مستعصيًا لم يُحل. إنه الفرق بين معرفة كيفية تعبئة حقيبة سفر بشكل مثالي بـ 2 أو 4 أو 8 عناصر، وبين عدم امتلاك أي فكرة عن إمكانية فعل ذلك بشكل مثالي مع 6 أو 10 عناصر.

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

النتيجة الرئيسية هي منطقة "لا ذهاب إليها" (no-go zone) قوية. يثبت بينيت أنه إذا حاولت بناء كود مثالي للخطأ رقم 2 باستخدام حجم أبجدية هو عبارة عن قوة للعدد 2 مضروبة في قوة لعدد أولي واحد (مثل $2^\alpha \times p^\beta$)، فأنت لن تنجح. على وجه التحديد، يوضح أنه لكي تكون هذه الأكواد ممكنة نظريًا، يجب أن يكون العدد الأولي المعني أكبر من $10^{10}$ (عشرة مليارات)، ويجب أن تكون قوة العدد 2 أكبر من 20. علاوة على ذلك، إذا وُجد مثل هذا الكود، فيجب أن يترك العدد الأولي باقيًا قدره 3 عند قسمته على 8.

تذهب الورقة إلى أبعد من ذلك، فهي تستبعد وجود هذه الأكواد المثالية لأي حجم أبجدية يكون فيه أكبر عامل أولي هو 13 أو أصغر. في الواقع، يؤكد المؤلف فرضية طويلة الأمد مفادها عدم وجود أكواد مثالية للخطأ رقم 2 للعديد من الأرقام المحددة، بما في ذلك الحالات التي يكون فيها حجم الأبجدية $2^\alpha \times p^\beta$ مع قيم صغيرة لـ $\alpha$ (حتى 20). المؤلف لا يقول فقط "من المستبعد حدوث ذلك"؛ بل يستخدم براهين رياضية صارمة لإظهار أن الشروط المطلوبة لوجود مثل هذا الكود تؤدي إلى تناقضات رياضية. بينما لا تستبعد الورقة كل حجم أبجدية ممكن في الكون، إلا أنها تغلق الباب فعليًا أمام معظم الأحجام "الغريبة" الشائعة والمثيرة للاهتمام، تاركةً فقط شريطًا ضيقًا للغاية ومقيدًا للغاية من الاحتمالات التي تتطلب أرقامًا ضخمة لدرجة يصعب تخيلها.

قصة الأحجية المستحيلة

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

لقد عرف علماء الرياضيات منذ فترة طويلة أنه إذا كان حجم الأبجدية "قوة لعدد أولي" (مثل 2، 3، 4، 8، 9، 16)، فهناك فقط حالات خاصة قليلة حيث يعمل هذا بشكل مثالي. ولكن ماذا لو كان حجم الأبجدية شيئًا مثل 10 أو 12 أو 20؟ هذه أعداد "مركبة" ليست قوى لأعداد أولية. بالنسبة لإصلاح خطأ واحد، نعرف أن بعض الحلول موجودة. وبالنسبة لإصلاح ثلاثة أخطاء أو أكثر، نعرف أنه لا توجد حلول. ولكن بالنسبة لإصلاح خطأين؟ كان هذا هو السؤال المفتوح.

تركز ورقة بينيت على نوع محدد من الأعداد المركبة: تلك التي تبدو مثل $2^\alpha \times p^\beta$. فكر في هذا كحجم أبجدية مكون من ضرب مجموعة من الـ 2 في مجموعة من نسخ لعدد أولي واحد $p$ (مثل 5، 7، 11، إلخ). السؤال كان: هل يمكنك بناء كود مثالي للخطأ رقم 2 لهذه الأحجام؟

العمل الاستقصائي الرياضي

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

كان الاختراق الذي حققه المؤلف هو إدراكه أن هاتين النقطتين، لنسمهما $r_1$ و $r_2$، يجب أن تكونا "وحدات-S" (S-units). باللغة البسيطة، هذا يعني أن عواملها الأولية يمكن أن تأتي فقط من قائمة صغيرة ومحددة جدًا من الأرقام (الأعداد الأولية التي تقسم حجم الأبجدية والعدد 2).

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

وقد ربط بينيت هذا بمعادلة محددة مشتقة من هندسة المشكلة:
$$q(r_2 - r_1)^2 = 2(r_1 + r_2) + q - 6$$
هذه المعادلة هي "الدليل القاطع". فهي تربط حجم الأبجدية $q$ مباشرة بالمسافة بين الجذرين.

الكشف الكبير

باستخدام هذه المعادلة وأدوات قوية من نظرية الأعداد، أثبت بينيت سلسلة من نتائج "عدم الإمكانية":

1. حظر "العدد الأولي الصغير": إذا كان أكبر عامل أولي لحجم الأبوتدية هو 13 أو أصغر، فإن الكود المثالي للخطأ رقم 2 مستحيل. فعل ذلك من خلال سرد جميع الأزواج الممكنة من الأرقام التي يمكن أن تكون هي الجذور، وإظهار أن لا أحد منها يتناسب مع المعادلة.
2. حاجز "الرقم الضخم": بالنسبة للحالة العامة حيث تكون الأبجدية $2^\alpha \times p^\beta$، أثبت أنه إذا وُجد كود بالفعل، فيجب أن يكون العدد الأولي $p$ أكبر من $10^{10}$ (عشرة مليارات). والأكثر تقييدًا، يجب أن تكون قوة العدد 2 ($\alpha$) أكبر من 20.
3. قاعدة "المود 8" (القسمة على 8): إذا وُجد مثل هذا الكود، فيجب أن يكون العدد الأولي $p$ رقمًا يترك باقيًا قدره 3 عند قسمته على 8 (مثل 3، 11، 19، إلخ).

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

مفاجأة "شرودر-هيبارخوس"

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

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

الحكم النهائي

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

بينما لا تدعي الورقة أنها وجدت الكود المثالي الوحيد الذي قد يكون مختبئًا في الكون (لأنها تثبت أنه إذا وُجد، فيجب أن يكون أكبر من $10^{10}$ ويتبع قيودًا مستحيلة)، إلا أنها تستبعد فعليًا معظم الحالات. إنها تغلق الباب أمام أحجام الأبجدية مثل 10، 15، 21، وغيرها الكثير، وتدفع باحتمالية وجود حل إلى نطاق الأرقام العملاقة لدرجة تجعلها غير موجودة عمليًا.

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