A counterexample to the Etzion-Silberstein conjecture

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

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

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

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

ومع ذلك، فقد نبش المؤلف في بنية هذه الأكواد ووجد فخًا خفيًا. لإثبات أن الحد أقل، قامت الورقة بتفكيك المشكلة إلى لغز "رفع النواة" (kernel-lift). تخيل أن لديك آلة ضخمة ومعقدة (الكود) وتحاول تقليصها لتصل إلى محركها الأساسي (كود أصغر). تُظهر الورقة أنه إذا وجد كود مثالي بـ 12 رسالة، فسيتعين بنا بناؤه فوق نوع محدد جدًا من محركات "MRD". هناك ثلاثة أنواع معروفة فقط من هذه المحركات. ثم أجرى المؤلف بحثًا استقصائيًا هائلًا — فحص أكثر من 8 ملايين تغيير محتمل لكيفية تركيب القطع معًا — ليرى ما إذا كان أي منها يمكنه دعم الرسالة الثانية عشرة.

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

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

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