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

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

يكمن جوهر إنجازهم في حل مشكلة تُعرف باسم "مشكلة المجموعة الجزئية المخفية للحالة" (State Hidden Subgroup Problem)، والتي تسأل ما إذا كان بإمكان حاسوب كمومي إيجاد المجموعة الجزئية من التناظرات التي تترك حالة كمومية معينة دون تغيير. كانت الخوارزميات السابقة قادرة فقط على التعامل مع هذه المهمة عندما تكون مجموعة التناظرات "آبلية" (abelian)، مما يعني أن العمليات يمكن تنفيذها بأي ترتيب دون تغيير النتيجة. لقد كسر الباحثون هذا الحاجز من خلال تطوير خوارزمية فعالة لفئة واسعة من المجموعات غير الآبلية، وتحديداً تلك التي تكون "قريبة من الهاملتوني بمتعدد حدود" (polynomially near-Hamiltonian). في هذه المجموعات، ورغم أن ليست كل المجموعات الجزئية طبيعية تماماً، إلا أن البنية قريبة بما يكفي للسما-ح بتنفيذ حسابي فعال. لقد حققوا ذلك من خلال تكييف تقنية تسمى "أخذ عينات فورييه الضعيفة" (weak Fourier sampling)، والتي تسمح للخوارزمية باستخراج "النواة الطبيعية" لمجموعة التناظر المخفية. هذه النواة هي الجزء الأكبر من مجموعة التناظر الذي يسلك سلوكاً يمكن التنبؤ به، ومن خلال إيجادها، يمكن للخوارزمية إعادة بناء هيكل التناظر الكامل باحتمالية عالية. هذا التقدم وحده يحسن كفاءة إيجاد التناظرات في حالات عديدة معروفة ويمد نطاق التعلم الكمومي إلى المجموعات التي كانت تعتبر سابقاً شديدة التعقيد.

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

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

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

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

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

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