⚛️ quantum physics

TensorMixedStates: a Julia library for simulating pure and mixed quantum states using matrix product states

تقدم الورقة البحثية TensorMixedStates، وهي مكتبة لغة جوليا (Julia) سهلة الاستخدام مبنية على ITensor، تتيح محاكاة فعالة لكل من الحالات الكمومية النقية والمختلطة، بما في ذلك الديناميكيات التبديدية عبر معادلات ليندبلاد والبوابات غير الوحدوية، باستخدام تمثيلات حالات مصفوفة الضرب (matrix product state).

المؤلفون الأصليون: Jérôme Houdayer, Grégoire Misguich

نُشر 2026-05-19

📖 5 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Jérôme Houdayer, Grégoire Misguich

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

الصورة الكبيرة: محاكاة عالم كمي "مسرب"

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

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

TensorMixedStates هو برنامج حاسوبي جديد (مكتبة برمجية) مكتوب بلغة Julia يساعد العلماء على محاكاة هذه الأنظمة الكمية "المسربة". إنه يعمل كأداة متخصصة تسمح للباحثين بتتبع كيفية تغير الحالات الكمية عندما تتعرض للاضطراب بسبب الضجيج، أو الحرارة، أو التبديد.

الأداة الأساسية: حقيبة الظهر "MPS"

لفهم كيفية عمل هذه المكتبة، عليك فهم مفهوم حالة ضرب المصفوفات (Matrix Product State - MPS).

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

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

تقوم مكتبة TensorMixedStates بترقية طريقة "حقيبة الظهر" هذه.

الإصدارات القديمة من هذه الأدوات كانت تستطيع حمل "الحالات النقية" فقط (الصناديق المثالية والمغلقة).
TensorMixedStates يمكنه حمل "الحالات المختلطة" (الصناديق المسربة والضجيجية). فهي تتعامل مع المعلومات الفوضوية والمسربة كنوع خاص من المتجهات التي لا تزال قابلة للضغط والإدارة بكفاءة.

كيف تعمل: نهج "قطع الليغو"

يشرح البحث أن هذه المكتبة مبنية فوق أداة شهيرة أخرى تسمى ITensor. فكر في ITensor كأنها مجموعة عالية الجودة من قطع "الليغو" (Lego) التي تجيد الالتصاق ببعضها البعض بشكل ممتاز.

المشكلة: تم تصميم مجموعة الليغو الأصلية (ITensor) لبناء هياكل صلبة ومثالية (الحالات النقية). لم تكن تمتلك الوصلات المناسبة لبناء الهياكل المتموجة أو الذائبة (الحالات المختلطة).
الحل: بنى المؤلفون "طقم محولات" جديداً (TensorMixedStates) يوضع فوق مجموعة الليغو. هذا الطقم يسمح لك ببناء تلك الهياكل المتموجة والذائبة باستخدام نفس قطع الليغو القوية الموجودة في الأسفل.

تقدم المكتبة ثلاث قدرات خارقة رئيسية:

التعامل مع الفوضى: يمكنها تمثيل مصفوفات الكثافة (الرياضيات الخاصة بالحالات المختلطة) باستخدام نفس طريقة "حقيبة الظهر" (MPS) الفعالة المستخدمة للحالات النقية.
السفر عبر الزمن: يمكنها محاكاة كيفية تغير هذه الأنظمة بمرور الوقت. ويشمل ذلك:
- تطور شرودنجر (Schrödinger evolution): كيف يتغير النظام عندما يكون معزولاً تماماً.
- تطور ليندبلاد (Lindblad evolution): كيف يتغير النظام عندما يسرب الطاقة أو يتفاعل مع بيئة ضجيجية.
- القنوات الكمية (Quantum Channels): كيف يتغير النظام عند تطبيق "بوابات" أو عمليات محددة قد تؤدي إلى حدوث أخطاء (مثل الحاسوب الكمي الضجيجي).
واجهة سهلة الاستخدام: بنى المؤلفون واجهة "عالية المستوى". وهذا يعني أن بإمكان العالم إعداد محاكاة معقدة في بضعة أسطر من الكود فقط، تماماً مثل كتابة وصفة طعام، بدلاً من الاضطرار لكتابة آلاف الأسطر من الكود الرياضي الخام.

أمثلة من الواقع الواردة في البحث

لا يتحدث البحث عن النظرية فحسب؛ بل يظهر عمل المكتبة في ستة سيناريوهات فيزيائية مختلفة. إليك تفصيل بسيط لما اختبروه:

سلسلة فيرميونات ضجيجية: تخيل خطاً من الإلكترونات يقفز على طول سلك. أضاف الباحثون "ضجيج إلغاء الطور" (مثل التشويش في الراديو) ليروا كيف تنتشر الإلكترونات. طابقت نتائج المكتبة الإجابات الرياضية الدقيقة تماماً.
سلسلة سبين (Spin Chain) مسربة: تخيل صفاً من المغناطيسات الصغيرة (السبينات). تنتهي نهاية الصف بالاتصال بـ "خزان" (حمام حراري) يحاول قلب اتجاه المغناطيسات. نجحت المكتبة في محاكاة كيفية تدفق المغناطيسية عبر السلسلة.
مصدر بوزون (Boson Source): تخيل أنبوباً يضخ جسيمات في خط من الأماكن الفارغة. تتبعت المكتبة كيفية امتلاء الخط بالجسيمات بمرور الوقت، حتى عندما كانت المساحة المحلية للجسيمات محدودة.
تلاشك حالة الرسم البياني (Graph State Decoherence): تخيل شبكة معقدة من الكيوبتات (البتات الكمية) المتشابكة. راقب الباحثون كيف تفككت هذه الشبكة (تلاشت) عند تعرضها للضجيج. استطاعت المكتبة محاكاة ذلك لنظام ضخم مكون من 512 كيوبت، وهو عدد هائل لهذا النوع من الحسابات.
الدائرة الضجيجية: تخيل دائرة حاسوب كمي حيث ترتكب البوابات (المفاتيح) أخطاءً أحياناً. قامت المكتبة بمحاكاة نمط "جدار الطوب" من البوابات والأخطاء، موضحاً كيف ينمو "التشابك" (الارتباط الكمي بين الأجزاء) ثم يتم تدميره بواسطة الضجيج.

لماذا هذا مهم (وفقاً للبحث)

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

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

باخت اختصار، TensorMixedStates هو محرك جديد وسهل الاستخدام يتيح للعلماء قيادة محاكاتهم الكمية عبر التضاريس الوعرة والضجيجية للعالم الحقيقي، بدلاً من الاكتفاء بالطرق الملساء والمثالية للنظرية.

ملخص تقني لمكتبة "TensorMixedStates: مكتبة بلغة جوليا لمحاكاة الحالات الكمومية النقية والمختلطة باستخدام حالات ناتج ضرب المصفوفات"

بيان المشكلة
تمثل محاكاة الأنظمة الكمومية متعددة الأجسام المفتوحة تحديًا حاسمًا في الفيزياء الحديثة، مدفوعًا بالتقدم التجريبي في الذرات الباردة، والأيونات المحتجزة، والدوائر فائقة التوصيل. وخلافًا للأنظمة المغلقة، تتفاعل الأنظمة المفتوحة مع بيئتها، مما يؤدي إلى الضجيج، والتبدد، وفقدان الترابط، والتي غالبًا ما توصف بمعادلة ليندبلاد الأساسية (Lindblad master equation). وبينما أصبحت طرق الشبكات الموترية، وتحديدًا حالات ناتج ضرب المصفوفات (MPS)، هي المعيار لمحاكاة الحالات النقية (باستخدام مكتبات مثل ITensor أو TenPy)، فإن البرمجيات المخصصة لمحاكاة الحالات المختلطة (المصفوفات الكثافية) ضمن إطار عمل MPS محدودة بشكل كبير. تفتقر الحلول الحالية غالبًا إلى المرونة، وتكون مقيدة بفضاءات هيلبرت محلية محددة (مثل الكيوبت فقط)، أو لا تتكامل بسلاسة مع الخوارزميات المتطورة. علاوة على ذلك، تتطلب تمثيل الحالات المختلطة التعامل مع المصفوفات الكثافية كمتجهات في فضاء هيلبرت مضاعف، مما يفرض تعقيدات في عمليات المؤثرات (مثل $O\rho$ ، و $O\rho O^\dagger$ ، والمبدلات) التي لا تدعمها أطر الحالات النقية القياسية بشكل أصيل.

المنهجية
يقدم المؤلفون TensorMixedStates (TMS)، وهي مكتبة بلغة جوليا (Julia) مبنية فوق مكتبة ITensor. صُممت TMS لمحاكاة كل من الحالات النقية والمختلطة باستخدام تمثيلات MPS.

البنية الجوهرية: تستفيد TMS من معالجة الموترات منخفضة المستوى القوية والخوارزميات عالية الأداء (DMRG، TDVP) الخاصة بـ ITensor. ومع ذلك، وإدراكًا منها أن إطار عمل ITensor الأصلي مُحسَّن للحالات النقية، تقوم TMS بتنفيذ إطار عمل جديد للحالة والمؤثر من الصفر لاستيعاب الحالات المختلطة.
تمثيل الحالة المختلطة: تمثل المكتبة المصفوفة الكثافية $\rho$ كحالة متجهة $|\rho\rangle\rangle$ في فضاء أكبر ذي بُعد $d^2$ . وهذا يسمح باستخدام تقنيات MPS حيث يتم تفكيك المصفوفة الكثافية إلى ناتج ضرب تينسورات ذات 4 مؤشرات (أو 3 مؤشرات في القاعدة المتجهة).
إطار عمل المؤثرات: يتمثل الخيار التصميمي الرئيسي في تطوير إطار عمل مرن للمؤثرات قادر على التعامل مع الطرق الأربع المختلفة التي يمكن للمؤثر أن يعمل بها على مصفوفة كثافة: $O\rho$ ، و $O\rho O^\dagger$ ، و $[O, \rho]$ ، و $\{O^\dagger O, \rho\}$ . يتضمن هذا دعم مشتتات ليندبلاد (Lindblad dissipators) وقنوات كمومية عامة (مؤثرات كراوس).
الخوارزميات:
- التطور الزمني: تدعم TMS التطور الزمني المستمر عبر معادلة ليندبلاد باستخدام خوارزميتين رئيسيتين: TDVP (مبدأ التباين المعتمد على الزمن) و تقريبات WI/WII (تقريبات MPO للدالة الأسية). يُلاحظ أن طرق WI/WII مكملة لـ TDVP، خاصة في حالات التطور غير الهيرميتي.
- الحالات المستقرة: تحسب المكتبة الحالات المستقرة عن طريق إيجاد الحالة الأرضية للمؤثر الهيرميتي $L^\dagger L$ باستخدام خوارزمية DMRG، متجنبة الحاجة إلى التكامل طويل الأمد.
- التطور المنفصل: تدعم تطبيق البوابات غير الوحدوية والقنوات الكمومية.
الواجهة: توفر TMS واجهة مزدوجة: واجهة برمجة تطبيقات (API) منخفضة المستوى للتحكم الدقيق، وواجهة عالية المستوى (runTMS) تسمح للمستخدمين بتعريف سير عمل محاكاة معقد (إنشاء الحالة، التطور، القياس) في بضعة أسطر من الكود.

المساهمات الرئيسية

محاكاة عامة للحالة المختلطة: توسع TMS قدرات MPS لتتجاوز الكيوبتات إلى فضاءات هيلبرت محلية عامة، بما في ذلك البوزونات، الفرميونات، السبينات، ونماذج $t-J$ ، مما يعالج فجوة في النظام البيئي البرمجي للأنظمة الكمومية المفتوحة.
إطار عمل مرن للمؤثرات: توفر مجموعة شاملة من الأدوات لبناء الهاميلتونيان، ومشتتات ليندبلاد، والقنوات الكمومية العامة، مع معالجة التعقيد الجبري لعمليات الحالة المختلطة.
مجموعة خوارزمية: تدمج المكتبة خوارزميات TDVP وتقريبات WI/WII للتطور الزمني، بالإضافة إلى DMRG لحسابات الحالة المستقرة المصممة خصيصًا لصيغة ليندبلاد.
تصميم سهل الاستخدام: تبسط الواجهة عالية المستوى إعداد عمليات المحاكاة المتطورة، بينما تضمن بنية Julia/ITensor الأساسية تعدد الخيوط (multithreading) واختزال التينسور الفعال.
التحقق من الصحة: تم التحقق من صحة المكتبة مقابل حلول تحليلية دقيقة لعدة نماذج شبه حرة (سلاسل فرميونية وبوزونية مع إزالة الطور أو الحقن، وسلاسل سبين XX مع تبدد حدودي) ونتائج معروفة لتلاشي الترابط في حالات الرسم البياني (graph state).

النتائج
توضح الورقة قدرات المكتبة من خلال ستة أمثلة:

سلسلة فرميونية مع إزالة الطور: تُظهر محاكاة كثافة الفرميون و "إنتروبيا التشابك في فضاء المؤثر" (OSEE) توافقًا ممتازًا مع النتائج التقاربية الدقيقة لمختلف درجات التبدد.
سلسلة سبين XX مع تبدد حدودي: تطابق التطور الزمني للمغنطة وتيار السبين مع النتائج الواردة في الأدبيات السابقة.
بوزونات حرة مع مصدر موضعي: تنجح المكتبة في نمذجة ديناميكيات سلسلة بوزونية مع حقن الجسيمات، وتلتقط ملفات الكثافة ونمو العدد الإجمالي للجسيمات، رغم أن التكلفة الحسابية تزدادة مع بُعد فضاء هيلبرت المحلي.
فرميونات حرة مع مصدر موضعي: تُظهر المقارنات بين خوارزميات TDVP و WI/WII أن كليهما يقدم دقة مماثلة لهذا النموذج، وإن كان TDVP يتطلب وقت معالجة (CPU) أكبر بكثير.
تلاشي الترابط في حالة رسم بياني كامل: تتعامل المكتبة مع أحجام أنظمة كبيرة (تصل إلى $N=512$ ) بكفاءة، حيث يسمح انخفاض التشابك في الحالة بأبعاد رابطة صغيرة.
دائرة كمومية مشوبة بالضجيج: تحاكي المكتبة دائرة كمومية من نوع "جدار الطوب" (brick-wall) تحتوي على بوابات وحدوية وضجيج إزالة الاستقطاب، وتتبع نمو ثم اضمحلال OSEE بسبب الضجيج.

الأهمية والادعاءات
يضع المؤلفون TMS كأداة ضرورية لسد الفجوة في برمجيات محاكاة الأنظمة الكمومية المفتوحة باستخدام MPS. ويزعمون أن المكتبة توفر "واجهة سهلة الاستخدام" تسم تسمح بمحاكاة متطورة في "بضعة أسطر من الكود" مع الحفاظ على الوصول إلى "الخوارزميات المتطورة" عبر ITensor. تؤكد الورقة أن المكتبة لا تنفذ "فك تشابك المسارات" (trajectory unraveling) بل تركز على التطور المباشر للمصفوفة الكثافية. تكمن الأهمية في قدرتها على التعامل مع فضاءات هيلبرت محلية عامة (على عكس سلفها، Lindbladmpo) وتكاملها مع نظام Julia الحديث. يشير المؤلفون بتواضع إلى أنه بينما تعد المكتبة قوية، فإن التكلفة الحسابية للأنظمة ذات الأبعاد المحلية الكبيرة (مثل البوزونات) تظل مرتفعة، وسيركز العمل المستقبلي على دمج الأعداد الكمومية المحفوظة (QNS) وضغط MPO الآلي لتحسين الكفاءة بشكل أكبر.