On Base , Normal and Near-normal Sequences

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

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

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

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

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

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