Schatten norms and determinants of linear combinations of matrix tensor powers via virtual representations

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

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

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

لحل هذه المعضلة، لجأ المؤلفون إلى فرع من الرياضيات يسمى "نظرية التمثيل" (Representation Theory)، والتي تدرس كيفية عمل مجموعات التناظر على الفضاءات. لقد استفادوا من مبدأ يُعرف بـ "ثنائية شور-وايل" (Schur–Weyl duality)، والتي تكشف أن التكديم الضخم من النسخ ليس كتلة واحدة فوضوية، بل هو مجموعة من الكتل الأصغر والمستقلة التي لا تتفاعل مع بعضها البعض. فكر في الأمر كأنه مكتبة ضخمة، يتبين عند فحصها عن قرب أنها مجموعة من الغرف الصغيرة المنفصلة، كل منها يحتوي على نوع معين من الكتب. لقد وجد الباحثون طريقة لتحديد هذه الغرف دون الحاجة أبدًا لبناء المكتبة. لقد أثبتوا أنه لأي مجموعة من المصفوفات التي تمثل هذه الحالات الكمومية، يمكن تقسيم الكائن العملاق إلى هذه القطع الأصغر باستخدام تحويل واحد ثابت. وهذا يعني أن المشكلة المعقدة عالية الأبعاد يمكن استبدالها بمجموع من المسائل الأصغر والأقل أبعادًا.

حدث الاختراق عندما دمجوا تقنية التقسيم هذه مع هوية رياضية أخرى، وهي "صيغة جاكوبي-ترودي" (Jacobi–Trudi formula). تسمح هذه الصيغة للباحثين بالتعبير عن الكتل المعقدة كاختلافات بين كتل أبسط مكونة من قوى متناظرة. وفي حالة نظام 3×3، وهو أصغر حجم تظهر فيه هذه الصعوبة الجديدة، يمكن اختزال كل كتلة معقدة إلى الفرق بين مصطلحين بسيطين يمكن حسابهما صراحة. هذا الاختزال دقيق؛ فهو ليس تقريبًا أو تخمينًا، بل هو برهان رياضي صارم بأن قيمة الكائن العملاق تساوي تمامًا مجموع هذه الاختلافات الموقعة. ولأن الكتل الأصغر أصغر بكثير من الكائن الأصلي، فإنها تتسع بسهولة في ذاكرة الحاسوب.

قام الفريق بتنفيذ هذه الطريقة في حزمة برمجية واختبرها مقابل نهج القوة الغاشمة القديم. استخدموا مصفوفات عشوائية 3×3 لتمثيل الحالات الكمومية وقارنوا النتائج. بالنسبة لأعداد قليلة من النسخ، حيث يمكن لكلتا الطريقتين العمل، أنتجت الطريقة الجديدة نتائج تطابق الطريقة القديمة بدرجة عالية جدًا من الدقة، مع أخطاء صغيرة جدًا لدرجة أنها كانت معدومة فعليًا. ومع زيادة عدد النسخ، أصبحت الطريقة القديمة مستحيلة. وعند مستوى يتطلب فيه المصفوف الكامل حوالي 2.4 كوينتيليون بايت من مساحة التخزين — وهو أكثر بكثير مما يمكن لأي حاسوب استيعابه — حسبت الطريقة الجديدة الإجابة في حوالي 47 ثانية على معالج حاسوب قياسي. كانت أكبر كتلة تعاملت معها الطريقة الجديدة هي حوالي 18,000 في 18,000، وهو حجم بسيط بالنسبة للحواسيب الحديثة.

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

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