Biangular lines with angles arccos(1/5) and arccos(3/5)

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

لكن الحياة نادراً ما تكون بهذا الكمال. أحياناً، تريد أن تعرف ماذا يحدث إذا سمحت بزاویتين مختلفتين بدلاً من زاوية واحدة فقط. هذا هو عالم "الخطوط ثنائية الزوايا" (biangular lines). إنه يشبه رقصة حيث يمكن للشركاء فقط اتخاذ خطوتين محددتين: ربما ميل واسع وكسول أو دوران حاد وسريع. السؤال الذي يطرحه الرياضيون هو: "كم عدد الراقصين الذين يمكننا إدخالهم في هذه الغرفة قبل أن يبدأوا في الاصطدام ببعضهم البعض؟" كلما كبرت الغرفة (أي زاد البعد)، قد تظن أنك تستطيع إدخال عدد أكبر من الراقصين، لكن قواعد الهندسة صارمة. هناك حد لعدد العصي التي يمكنك حشدها دون كسر قاعدة "الزاويتين".

هذه الورقة البحثية هي قصة بوليسية للبحث عن الحد الأقصى المطلق لعدد هذه العصي في غرف ذات أحجام محددة، من البعد 7 حتى البعد 10، وحتى إلقاء نظرة على البعد 15. الباحثون، بول تريكوت (Paul Tricot)، يحققون في نوع محدد جداً من الرقص: رقصة تكون فيها الزوايا بين العصي ثابتة عند قيمتين دقيقتين جداً، وهما 1/5 و 3/5. هم لا يتكهنون فحسب؛ بل يستخدمون حيلة ذكية تربط هذه العصي الراقصة بـ "الشبكات التكاملية" (integral lattices). فكر في الشبكة كأنها شبكة ضخمة غير مرئية من النقاط، مثل نقاط ورقة الرسم البياني التي تمتد إلى ما لا نهاية. اكتشف المؤلفون أنه إذا رتبت عصيك بشكل صحيح، فإنها ستصطف تماماً مع "الجذور" (المتجهات الخاصة) لهذه الشبكات. ومن خلال هذا الاتصال، يمكنهم إثبات عدد العصي التي تسعها الغرفة بالضبط وإظهار أن الترتيبات المعروفة هي بالفعل الأفضل.

مسابقة حشد العصي الكبرى

تركز الورقة على لغز محدد: في فضاء ذي 7 أبعاد (وهو أمر يصعب تخيله، لذا تخيل غرفة بها 7 اتجاهات مختلفة يمكنك التحرك فيها)، ما هو أقصى عدد من الخطوط التي يمكنك رسمها عبر المركز إذا كان كل زوج من الخطوط يجب أن يلتقي عند زاوية قدرها $\arccos(1/5)$ أو $\arccos(3/5)$؟

قبل هذه الورقة، عرف الرياضيون بعض الأرقام الكبيرة. بالنسبة للأبعاد من 7 إلى 20، كانت أكبر مجموعات الخطوط المعروفة أحجامها مثل 72، 126، 240، وهكذا. وقد بُنيت هذه المجموعات باستخدام طريقة ذكية تتضمن شبكات جذور خاصة (تحديداً $E_6$ و $E_7$ و $E_8$). لكن لم يكن أحد يعرف على وجه اليقين ما إذا كانت هذه هي أكبر المجموعات الممكنة، أو ما إذا كان بإمكان شخص ما حشر المزيد من العصي من خلال كون أكثر ذكاءً.

تقول ورقة تريكوت: "دعونا نتحقق مما إذا كان بإمكاننا تقديم أداء أفضل". والإجابة، بالنسبة للأبعاد 7 و 8 و 9، هي لا قاطعة.

إليك ما وجدته الورقة بالفعل، مقسمة حسب حجم الغرفة:

• البعد 7: تثبت الورقة أن الحد الأقصى لعدد الخطوط هو 72 بالضبط. إذا حاولت إدخال 73، فإن الهندسة ستنهار. الطريقة الوحيدة للحصول على 72 هي استخدام الترتيب المحدد المبني من شبكة $E_6$. إنه الحل الوحيد.
• البعد 8: الحد الأقصى هو 126 خطاً. مرة أخرى، تثبت الورقة أنه لا يمكنك وضع المزيد. الطريقة الوحيدة للوصول إلى هذا الرقم هي باستخدام الترتيب المستمد من شبكة $E_7$.
• البعد 9: الحد الأقصى هو 240 خطاً. يظهر الإثبات أن الترتيب من شبكة $E_8$ هو الفائز الوحيد. لا يمكنك حشر الخط رقم 241.
• البعد 10: تسعى الورقة لتصنيف أكبر الأنظمة في هذا البعد أيضاً، متبعة نفس العملية الصارمة المستخدمة في الأبعاد الأدنى. ومع ذلك، فإن نص الورقة ينقطع قبل اكتمال الإثبات النهائي للبعد 10، مما يترك هذا الحد المحدد كعمل قيد التنفيذ ضمن هذا المستند.

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

دليل "المثلث الخاص"

كيف أثبتوا ذلك؟ استخدموا أداة كشف تدعى "المثلث الخاص". تخيل ثلاث عصي في يدك. إذا كانت اثنتان منهما تميلان بالزاوية "الواسعة" ($\arccos(3/5)$)، والثالثة تميل بالزاوية "الحادة" ($\arccos(-1/5)$، وهي عكس الزاوية الواسعة)، فإنهما يشكلان مثلثاً خاصاً.

تثبت الورقة أنه في أي مجموعة كبيرة من هذه الخطوط (72 أو أكثر)، يجب أن تمتلك هذه المثلثات الخاصة. وبمجرد معرفة وجودها، تصبح الرياضيات صارمة للغاية. أظهر المؤلفون أنه بمجرد وجود هذه المثلثات، يُجبرت المجموعة بأكملها من الخطوط على الاصطفاف مع شبكة محددة (lattice). وبمجرد إجبار الخطوط على الاصطفاف مع الشبكة، تمكنوا من استخدام برامج الكمبيوتر للتحقق من كل طريقة ممكنة لترتيب العصي على تلك الشبكة. فحصت الحواسيب ملايين التشكيلات ووجدت أنه في كل حالة، لم يمكنك الحصول على أكثر من الأعداد المعروفة (72، 126، 240).

اكتشاف جديد في البعد 15

بينما كانت المهمة الرئيسية هي إثبات الحدود للأبعاد من 7 إلى 9 (والبدء في البعد 10)، فقد كانت للورقة مفاجأة ممتعة. في البعد 15، أنشأ المؤلفون نظاماً جديداً يتكون من 456 خطاً. وهذا يطابق حجم أفضل الأنظمة المعروفة التي وجدها رياضيون آخرون (Ganzhinov و Szöllősi)، لكن هذه الورقة تقدم طريقة جديدة لبناء هذا النظام. إنه يشبه العثور على وصفة جديدة، مختلفة قليلاً، تصنع نفس الكعكة اللذيذة تماماً. هذا يؤكد أن 456 هي مرشح قوي لكونها الحد الأقصى في البعد 15، رغم أن الورقة لا تدعي أنها أثبتت أنها الحد المطلق (فهذه مهمة أصعب في الأبعاد الأعلى).

الخلاصة

هذه الورقة هي انتصار لليقين. بالنسبة للأبعاد 7 و 8 و 9، أصبحنا نعرف الآن العدد الأقصى الدقيق للخطوط التي يمكنها الرقص على أنغام الزوايا $\arccos(1/5)$ و $\arccos(3/5)$. الأرقام هي 72، 126، و 240. تثبت الورقة أن الترتيبات التي كنا نعرفها ليست جيدة فحسب، بل هي الطرق الوحيدة للوصول إلى هذه النهايات القصوى.

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