Thermodynamic-limit dispersion relations on trapped-ion quantum hardware
تُثبت هذه الورقة جدوى حساب طاقات الحالة الأرضية في الحد الديناميكي الحراري وتشتتات أشباه الجسيمات لنموذج إيسينج ذي المجال المستعرض باستخدام معالج كمي من الأيونات المحتجزة مكون من 20 كيوبت ضمن إطار توسيع الروابط المرتبطة العددي، مع معالجة تحديات تضخيم الضوضاء أثناء المعالجة الكلاسيكية غير الخطية من خلال تقنيات مبتكرة مثل اختبار CX.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
الصورة الكبيرة: حل لغز عملاق بقطع صغيرة
تخيل أنك تحاول فهم كيفية تصرف حشد هائل ولا نهائي من الناس. لا يمكنك مراقبة الجميع في وقت واحد؛ فالحشد كبير جداً، والتفاعلات معقدة للغاية.
في عالم الفيزياء، يُسمى هذا "الحشد اللانهائي" الحد الديناميكي الحراري (thermodynamic limit). يسعى العلماء لمعرفة كيفية تفاعل الجسيمات في مادة لانهائية، لكن الحواسيب الكلاسيكية (التي نستخدمها اليوم) تصطدم بحائط مسدود عندما تحاول محاكاة هذه الأنظمة الضخمة شديدة الترابط؛ حيث تتعثر في العمليات الحسابية.
تصف هذه الورقة البحثية طريقة جديدة لحل هذه المشكلة باستخدام حاسوب كمي (آلة خاصة تستخدم قوانين الفيزياء الكمية لإجراء الحسابات). ومع ذلك، بدلاً من محاولة محاكاة الحشد اللانهائي بأكمله دفعة واحدة — وهو أمر مستحيل بالنسبة للحواسيب الكمية الصغيرة المتاحة اليوم — استخدم الباحثون استراتيجية ذكية تسمى التوسع العنقودي المرتبط عددياً (Numerical Linked-Cluster Expansion - NLCE).
التشبيه:
فكر في الحشد اللانهائي كأنه لوحة فسيفساء عملاقة. بدلاً من محاولة رسم اللوحة بأكملها مرة واحدة، يقوم الباحثون برسم قطع صغيرة ومنفصلة (مجموعات صغيرة من الجسيمات). ثم يستخدمون وصفة رياضية خاصة لربط هذه القطع معاً للتنبؤ بما ستبدو عليه الصورة الكاملة اللانهائية.
التحدي: "الضجيج" في الغرفة
استخدم الباحثون حاسوبًا كميًا حقيقيًا (آلة أيونية محاصرة مكونة من 20 كيوبت) لرسم هذه القط tiles الصغيرة. ولكن هناك مشكلة: الحواسيب الكمية الحالية "صاخبة" (تحتوي على ضجيج). الأمر يشبه محاولة رسم لوحة فنية في غرفة حيث الأضواء تومض والرياح تذرو الطلاء في كل اتجاه.
المشكلة المحددة التي عالجوها هي أن وصفتهم الرياضية تتطلب معالجة لاحقة غير خطية (non-linear post-processing).
- تشبيه بسيط: تخيل أنك تقيس درجة حرارة كوب من القهوة. هذا رقم بسيط. ولكن إذا كنت بحاجة إلى حساب الجذر التربيعي لدرجة الحرارة تلك، أو قسمة قياس واحد على آخر، فإن الأخطاء الصغيرة في قياسك الأولي ستتضخم بشكل هائل.
- ادعاء الورقة: تساءل الباحثون: "هل حاسوبنا الكمي دقيق بما يكفي لإعطائنا أرقاماً لن تنفجر (تتضخم بشكل غير منطقي) عندما نقوم بهذه العمليات الرياضية المعقدة لاحقاً؟"
الأدوات التي استخدموها
لإنجاح هذا الأمر، جمعوا بين عدة تقنيات مختلفة:
"حلّال العنقود" (VQE مقابل ASP):
لرسم هذه القطع الصغيرة، استخدموا طريقتين مختلفتين:- VQE (المحلل الذاتي المتغير - Variational Quantum Eigensolver): فكر في هذا كطالب يؤدي اختباراً. يحاول الحاسوب إيجاد حل، ثم يتم تقييمه، فيتعلم من خطئه، ويعيد المحاولة حتى يصل إلى أفضل إجابة.
- ASP (تحضير الحالة الأديباتي - Adiabatic State Preparation): فكر في هذا كتدوير بطيء لمقبض التحكم. تبدأ بنظام بسيط، ثم تغيره ببطء شديد لتصل إلى النظام المعقد الذي تريده.
- النتيجة: أدى "الطالب" (VQE) أداءً أفضل من "المقبض البطيء" (ASP) على هذه الأجهزة تحديداً، ويرجع ذلك على الأرجح إلى أن عملية "المقبض البطيء" استغرقت وقتاً طويلاً وأصبحت مشوشة بسبب الضجيج.
"PCAT" (الغراء):
بمجرد حصولهم على البيانات من القطع الصغيرة، احتاجوا إلى لصقها معاً حتى لا تتفكك. استخدموا طريقة تسمى PCAT.- الاستعارة: تخيل أن لديك هيكلين منفصلين من "الليغو". إذا قمت بلصقهما بشريط لاصق فقط، فقد يتذبذبان. PCAT هو غراء خاص يضمن أن الهيكل المدمج يعمل تماماً كما لو كان الهيكلان المنفصلان جزءاً من مجموعة "ليغو" عملاقة ولانهائية. يتضمن هذا الأمر رياضيات ثقيلة (قلب المصفوفات والجذور التربيعية) التي تضاعف أي ضجيج موجود.
"اختبار CX" (طريقة أذكى للقياس):
عادةً، للحصول على البيانات اللازمة لهذه الرياضيات، يستخدم العلماء أداة قياس قياسية تسمى "اختبار هادامارد" (Hadamard test). أدرك المؤلفون أن هذه الأداة ثقيلة ومعقدة للغاية بالنسبة لآلتهم الصاخبة.- الابتكار: اخترعوا أداة أبسط تسمى اختبار CX.
- التشبيه: إذا كان اختبار هادامارد يشبه استخدام رافعة صناعية ثقيلة لرفع ريشة، فإن اختبار CX يشبه استخدام ملقط صغير. إنه أخف بكثير، وأسرع، وأقل عرضة لإسقاط الأشياء، ومع ذلك فإنه ينجز المهمة. وجدوا أنه بالنسبة لمشكلتهم الرياضية المحددة، لم يكونوا بحاجة إلى قياس قيمة "كلية"، لذا كان بإمكانهم تجاوز عملية الرفع الثقيلة تماماً.
ماذا وجدوا؟
اختبر الفريق هذا النموذج على نموذج يسمى نموذج Ising للمجال المستعرض (وهو اختبار قياسي للفيزياء الكمية) في ثلاثة أشكال مختلفة: خط مستقيم، وخط ملتوٍ، وسلم (ladder).
- الأخبار الجيدة: في كثير من الحالات، أنتج الحاسوب الكمي الصاخب بيانات بدت، بعد تطبيق الرياضيات المعقدة، قريبة جداً من الإجابة الصحيحة. لقد نجح "اختبار CX" بشكل جيد، وكان منهج "VQE" قوياً بما يكفي للتعامل مع الضجيج.
- الأخبار السيئة: منهج "المقبض البطيء" (ASP) كان عميقاً وصاخباً جداً بحيث لم يستطع العمل بشكل جيد بعد. أيضاً، عندما حاولوا كسر تناظر معين في الفيزياء (إضافة مجال طولي)، أصبحت الرياضيات حساسة جداً للضجيج لدرجة أن الحاسوب الحالي لم يستطع رؤية التصحيحات الدقيقة المطلوبة.
- الاستنتاج: تثبت الورقة أن الأجهزة الكمية الحالية جيدة بما يكفي بالكاد للتعامل مع هذه المشكلات الرياضية غير الخطية. النتائج ليست مثالية، لكنها "قابلة للتمييز" وتقترب من السلوك الصحيح.
الخلاصة
نجح الباحثون في إثبات أنه يمكنك استخدام حاسوب كمي صغير وصاخب لحل مشكلات تتعلق بالأنظمة اللانهائية، بشرط استخدام استراتيجية "القطع" الذكية (NLCE) وأداة قياس أخف (اختبار CX).
لقلقوا أننا، رغم أن آلاتنا اليوم لا تزال مهتزة قليلاً، إلا أننا نصل إلى نقطة يمكننا فيها تقديم بيانات دقيقة بما يكفي للرياضيات الكلاسيكية المعقدة لتحويلها إلى تنبؤات علمية مفيدة. إنها إثبات لمفهوم (proof-of-concept) يوضح أننا على الطريق الصحيح لاستخدام الحواسيب الكمية في مشكلات فيزيائية حقيقية لا تستطيع الحواسيب الكلاسيكية حلها ببساطة.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.