Accurate and bounded approximation of quantum correlation functions

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

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

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

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

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

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

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