Combinatorial Matrix Functions in Ising Models and Quantum Circuit Representation

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

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

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

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

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

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

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

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