Polynomial-time local-unitary equivalence of graph states

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

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

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

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

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

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

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

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

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