كم لونًا يلزم لتلوين الفضاء؟ مع «مسطرة» نموذجية، لا أكثر من 2d
خذ كل نقطة من مستوٍ مسطّح وامنح كلًّا منها لونًا. قاعدة واحدة: نقطتان تفصل بينهما وحدة واحدة بالضبط يجب ألّا تحملا اللون نفسه أبدًا. ما أصغر عدد من الألوان يفي بالغرض؟
هذه هي مسألة هادفيغر–نيلسون (Hadwiger–Nelson problem)، التي تعود إلى عام 1950، وهي بتعبير المؤلفين واحدة من أشهر المسائل المفتوحة في الهندسة المتقطعة. لزمن طويل، كان معروفًا أن الجواب يقع بين 4 و7. ثم رفع اختراق حديث الحدّ الأدنى إلى 5. وما زال الجواب الدقيق مجهولًا.
تغيير المسطرة
لا يلزم أن تُقاس المسافة بمسطرة عادية. فالرياضيون يعرّفون كثيرًا من المعايير (norms) الأخرى — طرقًا لقياس الطول — يوصف كلٌّ منها بـ«كرة الوحدة» الخاصة به، أي مجموعة النقاط التي تبعد عن المركز مسافة 1 على الأكثر. في المسافة المعتادة تكون كرة مستديرة؛ وفي معايير أخرى قد تكون أي شكل محدّب متناظر حول مركزه.
لكل معيار على المستوى، يقع جواب لغز التلوين بين 4 و7. وفي d بُعدًا، يكون على الأكثر أُسّيًا في d لأي معيار، وفي كثير من المعايير الطبيعية — ومنها المعيار الإقليدي المعتاد — يكون أيضًا أُسّيًا على الأقل: أي إن عدد الألوان ينفجر مع ازدياد البُعد.
فهل هذا الانفجار هو القاعدة؟ نظر نوغا ألون (جامعة برينستون وجامعة تل أبيب) وماتيا بوتشيتش (جامعة فيينا) وجيمس ديفيز (جامعة لايبزيغ) في معيار نموذجي. لا توجد طريقة طبيعية لاختيار معيار «عشوائيًا»، لذا يستخدمون مفهومًا طوبولوجيًا: تصحّ خاصية ما لمعيار نموذجي إذا كانت الاستثناءات تشكّل مجموعة مهملة («هزيلة»، meagre). وكانت أعمال سابقة لألون وبوتشيتش وليزا زاورمان قد أثبتت أن المعيار النموذجي يحتاج إلى 2ᵈ لونًا على الأكثر، وتساءلت عن مدى قرب ذلك من الحقيقة.
خطّي، لا أُسّي
الجواب: بعيد جدًا. تثبت الورقة الجديدة أنه
- لمعيار نموذجي على فضاء ذي d بُعدًا، تكفي 2d لونًا دائمًا؛
- وهذا أفضل ما يمكن: فثمة مجموعة مفتوحة من المعايير تتطلّب 2d لونًا على الأقل. لذا فبعض المعايير تحتاج إلى 2d بالضبط.
في عشرة أبعاد، يحتاج المعيار النموذجي إلى عشرين لونًا على الأكثر، بينما تحتاج المسافة المعتادة إلى عدد ينمو أُسّيًا. وبحسب المؤلفين، هذه أيضًا المرة الأولى التي يُحدَّد فيها عدد التلوين بدقة لمعيار «محدّب تمامًا» (strictly convex) في أي بُعد d.
يستخدم الحدّ الأدنى فخًّا أنيقًا. أوجد 2d نقطة تبعد كلٌّ منها عن الأخرى وحدة واحدة بالضبط، عدا نقطتين، a وb، تفصل بينهما نصف وحدة. أضف صورة المرآة للتشكيل كله بالانعكاس حول a. بأقل من 2d لونًا، تُجبَر b وصورتها المرآوية كلتاهما على أخذ لون a — لكن المسافة بينهما وحدة واحدة بالضبط. تناقض. وتُظهر توطئة استقرار أن هذا التشكيل يصمد أمام أي تغيير صغير في المعيار.
عدّاء وحيد في أبعاد عالية
يلوّن الحدّ الأعلى كل نقطة بحسب الموضع الذي يقع فيه إسقاط مختار جيدًا لها، في شرائح عرضها 1/(2d). ولكي ينجح ذلك يلزم مكوّن أساسي يصفه المؤلفون بأنه نسخة مصفوفية عالية الأبعاد من حدسية العدّاء الوحيد (lonely runner conjecture) الشهيرة:
sup over x of minᵢ ‖aᵢ · x − bᵢ‖ ≥ k / (2n)
حيث ‖t‖ هي المسافة من t إلى أقرب عدد صحيح، لأي n متّجهًا aᵢ في k بُعدًا يكون أي k منها مستقلة. وهذه العبارة تحسم أيضًا حدسية طرحها I. J. Schoenberg عام 1978 حول «حجب الرؤية» (view obstruction) — وهو سؤال عن السُّمك الذي يجب أن تبلغه ألواح دورية لتحجب كل رؤية إلى اللانهاية — ويعدّها المؤلفون من أكثر المسائل المفتوحة كلاسيكيةً في هذا المجال، فضلًا عن حدسية ذات صلة لهنزه وماليكيوسيس.
الآلة في قسم الشكر
المؤلفون صريحون: «زوّدنا ChatGPT 6 Pro ببرهان المكوّن الأخير الذي كنا نحتاج إليه في برهان المبرهنة 1، أي برهان التوطئة 7، بعد نقاش مطوّل»، كانوا قد شاركوا فيه ملاحظاتهم الخاصة — ومنها فكرة الاستقراء والاستراتيجية العامة. «كما وُجدت حجة الحدّ الأدنى بمساعدة ChatGPT 6 Pro.»
وتبقى أسئلة. فالقيمة الدقيقة 2d مُثبتة على مجموعة مفتوحة من المعايير، لا لجميع المعايير النموذجية. وبالنسبة إلى المسافة الإقليدية العادية، يتوقّع المؤلفون عددًا من الألوان يزيد فعلًا على 2d في كل بُعد — وهو أمر معروف بالفعل في الأبعاد 2 و4 و7 و8 و9 فما فوق، لكنه ما زال مفتوحًا في الأبعاد 3 و5 و6.