Quantum n-coloring is undecidable for every n $\ge$ 3

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

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

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

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

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