Bath-state (In)dependence of Non-Markovianity Measures in Quadratic Open Systems
تُظهر هذه الورقة أنه في حين أن بعض مقاييس عدم ماركوفية (BLP وLPP) مستقلة عن حالة الحمام في الأنظمة المفتوحة التربيعية الفرميونية، فإن المقاييس الأخرى (RHP وMegier et al.) تظل حساسة لمعلمات المستودع مثل درجة الحرارة والجهد الكيميائي، حيث تُظهر النتائج العددية أن الأولى تتلاشى فقط عند عتبة الحالة المقيدة بينما تظل الأخيرة متناهية.
المؤلفون الأصليون:Mirko Consiglio, Ilia Khomchenko, Tony J. G. Apollaro
في العالم الكمي، نادراً ما توجد الجسيمات الأصغر في حالة عزلة؛ فهي تصطدم باستمرار ببيئتها المحيطة، وتتبادل معها الطاقة، وتتأثر بها. يطلق الفيزيائيون على هذه البيئة المحيطة اسم "الحمام" (bath). وعندما يتفاعل نظام كمي مع هذا الحمام، يمكن للمعلومات أن تتدفق إلى الخارج، ولكن يمكنها أيضاً أن تتدفّق عائدةً إلى الداخل. وإذا عادت المعلومات، فإن النظام يتذكر تفاعلاته الماضية، وهو سلوك يُعرف باسم الديناميكيات غير الماركوفية (non-Markovian dynamics). وهذا يختلف عن السلوك الأبسط والأكثر قابلية للتنبؤ حيث تتدفق المعلومات إلى الخارج وتضيع للأبد. إن فهم متى وكيف يحدث تأثير الذاكرة هذا أمر بالغ الأهمية لبناء حواسيب ومستشعرات كمية موثوقة، حيث يجب على هذه الأجهزة حماية حالاتها الدقيقة من الضجيج المحيط. وكان السؤال المركزي في هذا المجال هو ما إذا كانت الظروف المحددة للبيئة — مثل درجة حرارتها أو عدد الجسيمات التي تحتويها — تغير الطريقة التي نقيس بها هذه الذاكرة.
لقد بحث فريق من الباحثين في جامعة مالطا في هذا السؤال باستخدام نوع معين من الأنظمة الكمية: جسيم واحد يتصرف كفرميون (fermion)، مرتبط بسلسلة كبيرة من الجسيمات المماثلة التي تعمل كمستودع. وقد فحصوا خمس أدوات رياضية مختلفة تُستخدم لقياس "اللا-ماركوفية"، أو درجة الذاكرة في النظام. وتكشف أعمالهم عن انقسام مفاجئ في كيفية سلوك هذه الأدوات. فالمقياسان الأكثر شيوعاً، واللذان يعتمدان على تتبع المسافة بين حالتين متطورتين أو حجم الفضاء الذي يمكن أن تشغله هاتان الحالتان، يتبين أنهما "ضريران تماماً" لحالة البيئة. وسواء كان المستودع ساخناً أو بارداً، أو كان شبه فارغ أو ممتلئاً تقريباً بالجسيمات، فإن هذين المقياسين يعطيان نفس النتيجة تماماً. وقد أثبت الباحثون ذلك رياضياً لأي نظام تتبع فيه التفاعلات نمطاً تربيعياً محدداً، حيث لا تؤثر درجة حرارة البيئة والجهد الكيميائي ببساł على هذه الحسابات المحددة.
ومع ذلك، تتغير القصة بالنسبة للمقاييس الثلاثة الأخرى. فهذه الأدوات، التي تراقب التشابك مع جسيم مساعد، أو قابلية التقسيم للعملية عبر الزمن، أو اعتلاج (entropy) النظام، حساسة للغاية للبيئة. ووجد الباحثون أن هذه المقاييس تتغير بشكل كبير مع تغير درجة حرارة المستودع أو تعديل الجهد الكيميائي. وفي الواقع، حددوا سيناريو معيناً تنخفض فيه المجموعتان "العمياوان للبيئة" إلى الصفر، مما يشير إلى أن النظام ليس له ذاكرة، بينما تظل المقاييس الثلاثة "الحساسة للبيئة" نشطة ومحددة بقيمة معينة. وهذا يعني أنه اعتماداً على الأداة التي تستخدمها، يمكنك النظر إلى نفس الحالة الفيزيائية تماماً والاستنتاج إما أن النظام يتصرف بطريقة بسيطة عديمة الذاكرة، أو أنه متشابك بعمق مع محيطه.
وللوصول إلى هذه الاستنتاجات، صاغ الفريق البيئة كأنها سلسلة شبه نهائية من الجسيمات غير المتفاعلة، وهو إعداد يسمح بتحليل رياضي دقيق. وقد اشتقوا معادلة دقيقة لوصف كيفية تطور الجسيم الواحد بمرور الوقت، مع مراعاة تدفق المعلومات ذهاباً وإياباً. ثم أجروا محاكاة عددية مكثفة عبر نطاق واسع من درجات الحرارة والجهد الكيميائي. وفي مجموعة واحدة من عمليات المحاكاة، نظروا في حالة تكون فيها طاقة النظام عالية بما يكفي لإنشاء حالة مستقرة وموضعية لا تضمحل. هنا، ظلت المجموعتان "العمياوان" ثابتتين عبر نطاق درجات حرارة يمتد لثلاث مراتب عشرية، بينما تباينت المقاييس الحساسة بنسبة تصل إلى ستين بالمائة. وفي سيناريو آخر، قاموا بضبط النظام عند نقطة حرجة حيث توجد الحالة الموضعية المستقرة بالكاد. عند هذا الحد، تلاشت المجموعتان "العمياوان" تماماً، ومع ذلك استمرت المقاييس الحساسة في رصد آثار ذاكرة غير صفرية، مما أثبت أن حالة البيئة لا تزال تؤثر على النظام بطريقة فاتتها تلك الأدوات الأخرى.
كما استكشف الباحثون ما يحدث عندما تكون طاقة النظام منخفضة جداً بحيث لا تدعم حالة مستقرة، مما يؤدي إلى تلاشي تأثير الجسيم عبر السلسلة. في هذا النظام، أظهرت المقاييس الحساسة للبيئة اعتماداً أضعف بكثير على حالة الحمام مقارنة بحالة الطاقة العالية، لكنها لم تتلاشَ رغم ذلك. وتؤكد الدراسة أن اختيار أداة القياس ليس مجرد مسألة تفضيل؛ بل هو يغير جوهرياً صورة سلوك النظام. إن هذا العمل يثبت أنه بالنسبة لفئة واسعة من الأنظمة الفرميونية، فإن ذاكرة البيئة ليست خاصية عالمية يمكن اكتشافها بجميع الطرق. بدلاً من ذلك، تلتقط بعض المقاييس فقط التدفق الهيكلي للمعلومات، بينما تظل مقاييس أخرى متشابكة بعمق مع التفاصيل الحرارية والكيميائية للمحيط. وهذا التمييز حيوي لأي شخص يحاول توصيف أو التحكم في الأنظمة الكمية، لأنه يعني أن النظام قد يبدو خالياً تماماً من الذاكرة لمراقب ما، بينما يظل غنياً بالذاكرة لمراقب آخر.
ملخص تقني: استقلال (أو عدم استقلال) مقاييس اللا-ماركوفية عن حالة الحمام في الأنظمة التربيعية المفتوحة
بيان المشكلة في الأنظمة الكمومية المفتوحة، تنشأ ديناميكيات اللا-ماركوفية (non-Markovianity) عندما يكون مقياس زمن الاسترخاء للبيئة مقارباً لمقياس زمن النظام، مما يؤدي إلى تدفق المعلومات العكسي. وبينما توجد مقاييس متنوعة لتكميم هذه اللا-ماركوفية (مثل مقاييس بروير-لاين-بيلو (BLP)، ولورينزو-بلاستينو-باترنوسترو (LPP)، وريفاس-هولغا-بلينيو (RHP)، وميجير-سميرن-فاكيني (MSV))، فمن المتوقع عموماً أن تعتمد هذه المقاييس على بارامترات البيئة مثل درجة الحرارة (T) والجهد الكيميائي (μ). وقد أكدت دراسات سابقة على الأنظمة البوزونية ونماذج فيرميونية محددة وجود مثل هذه التبعيات. ومع ذلك، فإن الآلية العامة التي تحكم ما إذا كانت مقاييس اللا-ماركوفية حساسة للحالة المحددة لحمام فيرميوني، لا سيما بالنسبة للهاميلتونيات التربيعية التعسفية، لم تكن مثبتة بعد. يعالج هذا العمل الفجوة في فهم كيفية استجابة مقاييس اللا-ماركوفية المختلفة لدرجة حرارة والجهد الكيميائي لحمام فيرميوني تربيعي.
المنهجية يحلل المؤلفون موقعاً فيرميونياً واحداً مرتبطاً بحمام مكون من K من المواقع الفيرميونية عبر هاميلتوني تربيعي تعسفي، يتضمن كلاً من حدود القيم الطبيعية والاقتران (pairing terms). يُفترض أن النظام والحمام غير مترابطين مبدئياً، وأن حالة الحمام متساوية التكافؤ (parity-even) (تتبادل مع مؤثر التكافؤ)، وهو شرط تتحقق فيه حالات غيبس الحرارية.
الاشتقاق التحليلي: يشتق المؤلفون معادلة الماستر المحلية زمنياً (time-local master equation) والخريطة الديناميكية للنظام المختزل. ويثبتون أنه بالنسبة للأنظمة الفيرميونية التربيعية، تأخذ الخريطة الديناميكية شكلاً تآلفياً (affine form) حيث تدخل حالة الحمام فقط من خلال حد قياسي واحد، Zβ(t)، والذي يمثل إزاحة مستقلة عن الحالة على طول محور σ^z.
تحليل المقاييس: يطبق المؤلفون هذا الهيكل الديناميكي على خمسة مقاييس متميزة للا-ماركوفية:
BLP: يعتمد على مسافة التتبع (trace distance) بين الحالات المتطورة.
LPP: يعتمد على حجم الحالات المتاحة (محدد مصفوفة بلوخ).
MSV: يعتمد على تباعد جينسن-شانون الكمومي (QJSD).
RHPE: يعتمد على التشابك مع نظام مساعد (ancilla).
RHP: يعتمد على قابلية التقسيم (divisibility) للخريطة الديناميكية.
النموذج المحدد: للتحقق من النتائج التحليلية، قام المؤلفون بنمذجة الحمام كـسلسلة فيرميونات حرة شبه نهائية (تم رسم خرائطها من سلسلة سبين XX عبر تحويل جوردان-ويتنر). ويشتقون مؤثرات الانتشار (propagators) ونواة الضجيج (noise kernels) لهذا النموذج بدقة، مع مراعاة الأنظمة فوق، وعند، وتحت عتبة الحالة المرتبطة (bound-state threshold).
المحاكاة العددية: أُجريت محاكاة عددية واسعة النطاق عبر مجموعة واسعة من درجات الحرارة والجهود الكيميائية لتقييم المقاييس الخمسة.
المساهمات والنتائج الرئيسية
استقلال مقاييس BLP وLPP عن حالة الحمام: النتيجة النظرية الأساسية (النظرية 1) تثبت أن مقاييس BLP وLPP مستقلة تماماً عن حالة الخزان (الحمام). ولأن هذه المقاييس تعتمد على مسافة التتبع أو حجم كرة بلوخ، فإنها تعتمد فقط على الجزء الخطي من الخريطة التآلفية. إن الإزاحة المعتمدة على الحمام (Zβ(t)) تُلغى في حساب مسافة التتبع بين أزواج الحالات ولا تؤثر على محدد مصفوفة بلوخ. وبناءً على ذلك، تظل هذه المقاييس ثابتة تحت تغيرات درجة الحرارة والجهد الكيميائي لأي هاميلتوني فيرميوني تربيعي.
اعتماد مقاييس MSV وRHPE وRHP على حالة الحمام: في المقابل، يثبت المؤلفون أن مقاييس MSV وRHPE وRHP تظل حساسة لحالة الخزان.
مقياس MSV يعتمد على متوسط الإشغال لزوج الحالات، والذي يتأثر بإزاحة Zβ(t). ويظهر التحليل النظري أن تباعد QJSD يزداد كلما ابتعد الزوج عن حالة نصف الامتلاء، وهي حالة تتأثر مباشرة بـ T و μ.
مقياس RHP (قابلية التقسيم) يعتمد على معدلات الاضمحلال الفردية Λ±(t)، والتي تحتفظ بتبعية صريحة لدالة توزيع الحمام f(ω). وقد اشتق المؤلفون حداً أدنى مستقلاً عن الحمام لهذا المقياس، موضحين أن اللا-ماركفية الزائدة تنشأ تحديداً من تباين حافة فيرمي داخل النطاق الطيفي.
مقياس RHPE (التشابك) يعتمد أيضاً على حالة الحمام من خلال "الارتباط" (concurrence)، وهو حساس للإشغال الحراري للحمام.
ظواهر العتبة: تكشف النتائج العددية عن وجود نظام حرج عند عتبة الحالة المرتبطة (∣E∣=Ω−Γ/2). في هذا النظام، تتلاشى مقاييس BLP وLPP تماماً (مما يشير إلى سلوك ماركوفي فيما يتعلق بمسافة التتبع)، ومع ذلك تظل المقاييس الحساسة للحمام (MSV، RHP، RHPE) قائمة. يوضح هذا أن "اللاركوفية" للنظام هي خاصية تعتمد على المقياس المستخدم؛ إذ يمكن للنظام أن يبدو ماركوفياً بالنسبة لمقاييس مسافة التتبع بينما يظهر سمات لا-ماركوفية يمكن رصدها بواسطة المقاييس الإنتروبية أو مقاييس قابلية التقسيم بسبب الإزاحة المعتمدة على الحمام لـ "كرة بلوخ".
الاعتماد على الجهد الكيميائي: تؤكد عمليات المسح للجهد الكيميائي أنه بينما تظل BLP وLPP ثابتة، فإن المقاييس الثلاثة الأخرى تتغير بشكل كبير، لا سيما عندما تقع حافة فيرمي داخل النطط الطيفي للخزان.
الأهمية تؤسس الورقة تمييزاً جوهرياً في كيفية إدراك اللا-ماركوفية اعتماداً على المقياس المختار في الأنظمة الفيرميونية التربيعية. يوضح المؤلفون أن استقلال BLP وLPP عن بارامترات الحمام هو خاصية هيكلية للديناميكيات الفيرميونية التربيعية، تعتمد على الطبيعة التآلفية للخريطة وشرط التكافؤ (parity-even) للحمام. يوضح هذا البحث الملاحظات العددية السابقة في نماذج محددة ويمدها لتشمل الهاميلتونيات التربيعية التعسفية.
يسلط العمل الضوء على أن "اللا-ماركوفية" للنظام ليست خاصية مطلقة، بل هي نسبية للمقياس المستخدم. وتحديداً، يحدد البحث نظام بارامترات حيث تتلاشى مقاييس المسافة القياسية بينما ترصد المقاييس الأخرى لا-ماركوفية مدفوعة بالحالة الحرارية للحمام. ويشير المؤلفون إلى أن هذا الاستقلال خاص بالأنظمة التربيعية الفيرميونية ولا يمتد إلى النماذج التربيعية البوزونية (حيث توجد تبعية لدرجة الحرارة معروفة)، مما يشير إلى اختلاف جوهري في آليات تدفق المعلومات بين البيئات الفيرميونية والبوزونية. وتقتضي هذه النتائج أنه في الأنظمة الفيرميونية التربيعية، فإن أي ملاحظة لتبعية BLP أو LPP لبارامترات الحمام ستستلزم إما تفاعلات غير تربيعية أو ارتباطات أولية بين النظام والحمام.