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

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

لقد حسمت دراسة جديدة أجراها كيسنان م. ج. ليديتو هذا السؤال بإثبات رياضي قاطع. فقد برهن الباحث أن حل هذه المعادلات المحددة للشبكات ذات الرتبة الأعلى هو أمر صعب جوهريًا بالنسبة للحواسيب الكلاسيكية، حتى في أسوأ السيناريوهات. ويثبت العمل أن إعداد الحالة الكمومية التي تحمل الإجابة لهذه المعادلات هو مهمة بصعوبة أي مشكلة يمكن للحاسوب الكمومي التعامل معها. وبلغة علوم الحاسوب، يعني هذا أن المشكلة هي "BQP-hard". وهذا تصريح قوي: فهو يعني أنه إذا استطاع حاسوب كلاسيكي حل معادلات الشبكة هذه بكفاءة، فسيتمكن أيضًا من حل كل مشكلة أخرى تبرع فيها الحواسيب الكمومية. وبما أننا لا نعتقد أن الحواسيب الكلاسيكية يمكنها القيام بذلك، فإن الدراسة تخلص إلى أن الصعوبة حقيقية ومتأصلة في المشكلة نفسها.

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

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

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

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

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

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