New optimal linear codes over $\ZZ_4$

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

لفترة طويلة، استخدم العلماء أساساً مفاتيح بسيطة "تشغيل/إيقاف" (مثل الأصفار والآحاد) لبناء هذه الرموز، تشبه مفتاح الضوء الذي يكون إما مطفأً أو يعمل. ولكن في السبعينيات، أدرك الباحثون أن استخدام مفتاح أكثر تعقيداً قلياً — يمكن أن يكون في أربع حالات مختلفة (0، 1، 2، أو 3) — يمكن أن يخلق رسائل أذكى وأكثر كفاءة. هذا هو عالم رموز $\mathbb{Z}_4$. فكر في الأمر كإشارة مرور لا تقول فقط "قف" أو "انطلق"، بل تضيف أيضاً "تنبيه" و"تمهل" لمنح السائق مزيداً من التفاصيل. الهدف بالنسبة لعلماء الرياضيات هو إيجاد الرمز "المثالي": رمز يكون أقصر ما يمكن (لتوفير المساحة) ولكن يمتلك أقوى "قدرة خارقة على اكتشاف الأخطاء" (لإصلاح الأخطاء). هذه القدرة الخارقة تسمى المسافة الدنيا (Minimum Distance). كلما زادت المسافة بين الرسائل الصالحة، صعب على الضجيج تحويل رسالة صالحة إلى أخرى عن طريق الخطأ.

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

قصة الرسالة المثالية

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

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

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

ثانياً، والأهم من ذلك، أرادوا بناء أفضل الرموز الممكنة التي تقترب تماماً من حد السرعة هذا. تُسمى هذه الرموز الرموز المثالية (Optimal codes). إنها رموز "غولدي لوكس" (التي تأتي بضبط مثالي): ليست طويلة جداً، وليست ضعيفة جداً، بل هي "مثالية تماماً".

بناء الرموز الجديدة

لم يكتفِ المؤلفان بإيجاد رمز أو اثنين جيدين؛ بل بنيا مصنعاً كاملاً لها. لقد قدما عدة طرق بناء جديدة، وهي تشبه الوصفات لخلط مكونات مختلفة لإنشاء رمز مثالي.

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

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

النتائج: كسر الأرقام القياسية

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

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

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

لماذا يهم هذا؟

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

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

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