⚛️ quantum physics

Evaluating Calibration-Based Digital Twins for IBM Quantum Hardware Simulation

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

المؤلفون الأصليون: Edgars Bautra, Maksims Dimitrijevs, Abuzer Yakaryilmaz

نُشر 2026-03-17

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

CC BY 4.0

المؤلفون الأصليون: Edgars Bautra, Maksims Dimitrijevs, Abuzer Yakaryilmaz

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

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

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

هذه الورقة البحثية تدور حول بناء هذا "الفرن النسخة المثالية" لأجهزة IBM الكمية. ويطلق المؤلفون على هذا التوأم الرقمي (Digital Twin).

إليك تفصيل لما قاموا به، باستخدام تشبيهات بسيطة:

1. المشكلة: الفرن الحقيقي "المزعج"

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

للحصول على نتائج مفيدة، يجب أن تكون المحاكاة الخاصة بك مزعجة (تحتوي على ضجيج)، تماماً مثل الآلة الحقيقية.

2. الحل: بناء التوأم من "كتيبات التعليمات"

توفر IBM "كتيب تعليمات" مجانياً (ملف CSV) لكل حاسوب كمي تمتلكه. يسرد هذا الكتيب الخصائص الغريبة لكل جزء:

كم من الوقت يبقى "الكيوبت" (البت الكمي) حياً قبل أن يتعب؟ (زمن التماسك - Coherence time)
كم مرة تفشل "البوابة" (المفتاح/الزناد)؟ (معدلات الخطأ - Error rates)
كم من الوقت يستغرق قراءة النتيجة؟ (وقت القراءة - Readout time)

قام المؤلفون ببناء سير عمل يأخذ هذه الكتيبات التعليمية ويحولها إلى توأم رقمي.

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

3. التجربة: "اختبار التذوق"

ليروا ما إذا كانت طريقتهم الجديدة قد نجحت، أقاموا اختبار تذوق ضخم.

العينات المختبرة: استخدموا فرنَي IBM حقيقيين (يُسميان ibm_brisbane و ibm_sherbrooke).
الوصفات: أنشأوا دوائر معقدة وعشوائية (مثل وصفات سوفليه عشوائية) بدرجات صعوبة مختلفة.
المنافسون: قاموا بتشغيل هذه الوصفات على الأفران الحقيقية وقارنوا النتائج مقابل أربعة أنواع مختلفة من "التوائم الرقمية":
1. توأم الـ CSV: الذي تم بناؤه يدوياً من كتيب التعليمات الذي تم تحميله (طريقة المؤلفين).
2. التوأم الرسمي: الذي يتم بناؤه تلقائياً بواسطة برنامج IBM باستخدام الآلة الحية.
3. توأم الضجيج: الذي يحتوي فقط على إعدادات الضجيج من الآلة الرسمية.
4. التوأم "المزيف": نسخة مسبقة التجهيز وأقدم قليلاً توفرها IBM للاختبار.

4. النتائج: من صنع أفضل "سوفليه"؟

استخدموا أداة رياضية تسمى "تشابه جاكارد الموزون" (Weighted Jaccard Similarity) لقياس مدى قرب النتائج الرقمية من النتائج الحقيقية. فكر في الأمر كـ "درجة تطابق النكهة".

الفائز: توأم الـ CSV (المبني من الكتيب التعليمي الذي تم تحميله) غالباً ما طابق الفرن الحقيقي بشكل أفضل! لقد كان دقيقاً جداً لدرجة أنه سجل في كثير من الأحيان درجة تطابق 95% أو أكثر.
الوصيف: التوأم الرسمي (طريقة IBM التلقائية) كان جيداً جداً أيضاً وهو يمثل "معياراً مرجعياً" ممتازاً لمعظم الناس.
الخاسر: التوائم المزيفة (المجهزة مسبقاً) كانت جيدة، لكنها كانت قديمة نوعاً ما ولم تتطابق بنفس القدر، خاصة عندما تصبح الوصفات أكثر تعقيداً.

5. الدرس الكبير: "الحجم الواحد لا يناسب الجميع"

الاكتشاف الأكثر أهمية هو أنه لا يمكنك افتراض أن التوأم يعمل في كل مكان.

التوأم الذي يحاكي فرن Brisbane بشكل مثالي قد لا يحاكي فرن Sherbrooke بشكل مثالي.
تغيير طريقة تحضير الوصفة (يسمى "الترجمة" أو "التحسين" - Transpilation/Optimization) يغير كيفية سلوك التوأم.

الخلاية: إذا كنت تريد محاكاة حاسوب كمي بدقة، فلا يمكنك مجرد الحصول على نموذج عام. يجب عليك بناء توأم محدد للآلة المستهدفة، باستخدام أحدث كتيب تعليمات خاص بها.

ملخص في جملة واحدة

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

إليك ملخص تقني مفصل لورقة البحث بعنوان "تقييم التوائم الرقمية القائمة على المعايرة لمحاكاة أجهزة IBM الكمية".

1. بيان المشكلة

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

هناك حاجة إلى توائم رقمية قائمة على المعايرة (Calibration-Based Digital Twins): وهي تكوينات محاكاة تستخدم بيانات معايرة خاصة بالجهاز لتقريب السلوك المليء بالضجيج لوحدة معالجة كمية (QPU) حقيقية محددة. وبينما توفر Qiskit أدوات لإنشاء نماذج ضجيج من الخلفيات النشطة (from_backend())، لا يوجد سير عمل أصيل ومتكامل لبناء هذه التوائم مباشرة من ملفات CSV الخاصة بالمعايرة القابلة للتحميل. هذا الفجوة تحد من القدرة على محاكاة الأجهزة التي قد تكون غير متاحة حالياً للمستخدمين أو لإنشاء بيئات محاكاة مخصصة ومستمرة.

2. المنهجية

قام المؤلفون بتطوير سير عمل لبناء وتنفيذ والتحقق من صحة التوائم الرقمية باستخدام Qiskit وبيانات المعايرة القابلة للتحميل من IBM.

أ. بناء التوأم الرقمي

تقارن الدراسة بين أربعة متغيرات متميزة من التوائم:

التوأم المبني من ملف CSV: نموذج ضجيج مخصص تم بناؤه يدوياً من ملفات معايرة CSV القابلة للتحميل.
- العملية: استخراج أوقات الترابط ( $T_1$ و $T_2$ )، ومعدلات خطأ البوابة/القراءة، ومدد العمليات.
- الربط: ربط هذه السمات بقنوات thermal_relaxation_error و depolarizing_error و readout_error في Qiskit.
- خريطة الاقتران: إعادة بناء خريطة الاقتران الموجهة (الضرورية لعملية الـ transpilation) عبر استنتاج الاتصال من حقول الكيوبت المستهدفة في بيانات CSV، حيث إن هذا لا يُدرج صراحة في سمات المعايرة القياسية.
المحاكي المستمد من الخلفية (Backend-Derived Simulator): نسخة من AerSimulator تم تكوينها تلقائياً عبر from_backend().
- نموذج الضجيج المستمد من الخلفية: نسخة من NoiseModel تم إنشاؤها تلقائياً عبر from_backend()، وتُطبق على محاكي عام.
لقطات الخلفيات الوهمية (Fake-Backend Snapshots): خلفيات "وهمية" جاهزة (مثل FakeBrisbane) مقدمة من Qiskit، والتي تستخدم لقطات تاريخية للنظام بدلاً من البيانات الحية.

ب. الإعداد التجريبي

الأجهزة المستهدفة: اثنان من وحدات IBM QPU وهما: ibm_brisbane و ibm_sherbrooke.
الاختبارات المرجعية: ثلاث دوائر كمية تم إنشاؤها عشوائياً مكونة من 5 كيوبتات بعمق 10، 20، و30.
الـ Transpilation: تم إجراء الـ transpilation للدوائر عند أربعة مستويات تحسين (من 0 إلى 3).
ميزانية الجولات (Shot Budget): تم تحديدها عبر دراسة أولية لتكون 100,000 جولة (الحد الأقصى للمنصة)، لضمان الاستقرار الإحصائي مع البقاء ضمن حدود وقت التنفيذ (~40 ثانية لكل مهمة).
محرك المحاكاة: تم اختيار محاكي density_matrix لأنه قدم أفضل توازن بين السرعة والدقة مقارنة بطرق statevector و matrix product state.

ج. بروتوكول التحقق

تم قياس الاتفاق بين الـ QPU الحقيقي والتوائم الرقمية باستخدام تشابه جاكارد الموزون (Weighted Jaccard Similarity - $J_w$ ) على توزيعات عدد الحالات المقاسة.

المقياس: $J_w(x, y) = \frac{\sum \min(x_i, y_i)}{\sum \max(x_i, y_i)}$ .
العتبات:
- $\ge 95\%$ : متطابق تقريباً.
- $\ge 90\%$ : تطابق وثيق.
- $\ge 85\%$ : متشابه بشكل مفيد.

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

سير عمل عملي: وضع طريقة لبناء توائم رقمية قابلة للتنفيذ مباشرة من ملفات CSV المعايرة الخام من IBM، بما في ذلك حل بديل لإعادة بناء خرائط الاقتران الموجهة المطلوبة لعملية الـ transpilation بدقة.
التحليل المقارن: مقارنة أربعة متغيرات من التوائم رسمياً تحت بروتوكول تنفيذ موحد.
إطار التحقق: تقديم إجراء تحقق معياري باستخدام تشابه جاكارد الموزون لتحديد دقة المحاكاة مقابل الأجهزة.
دراسة تجريبية: تقديم مجموعة بيانات شاملة تتضمن 24 مهمة أجهزة و96 عملية محاكاة عبر جهازين مختلفين وعدة أعماق للدوائر.

4. النتائج الرئيسية

توائم CSV هي الأفضل أداءً: التوائم التي تم إنشاؤها من بيانات CSV القابلة للتحميل حققت في كثير من الأحيان أعلى درجة تشابه مع الـ QPU الحقيقي.
- في 13 من أصل 24 اختباراً، كان التوأم القائم على CSV هو الأكثر مطابقة للأجهزة.
- بالنسبة لـ ibm_brisbane، غالباً ما تجاوزت توائم CSV عتبة التشابه بنسبة 95%.
التوائم المستمدة من الخلفية هي خطوط أساس قوية: وفرت المحاكيات والخلفيات المولدة تلقائياً نتائج تنافسية (غالباً $\approx 95\%$ تشابه) وتعمل كخطوط أساس عملية ومنخفضة الجهد.
الخلفيات الوهمية تتأخر في الأداء: أظهرت الخلفيات "الوهمية" المسبقة التجهيز تشابهاً أقل عموماً، خاصة عندما تم ضبط مستويات تحسين الـ transpilation فوق المستوى 0.
الاعتماد على الجهاز والـ Transpilation:
- خصوصية الجهاز: التوأم الذي يعمل جيداً على ibm_brisbane لا يضمن أداءً مشابهاً على ibm_sherbrooke.
- الحساسية للتحسين: تذبذبت درجات التشابه بشكل غير متوقع بناءً على مستويات تحسين الـ transpilation (0–3). على سبيل المثال، تحسين المستوى من 0 إلى 1 أدى إلى تحسين التشابه في جهاز واحد ولكنه قلله في الجهاز الآخر.
تأثير عدد الجولات (Shot Count): أدى زيادة عدد الجولات من 1,000 إلى 100,000 إلى تحسين استقرار النتائج بشكل كبير، حيث حدثت أكبر المكاسب بين 1,000 و15,000 جولة.

5. الأهمية والآثار المترتبة

سهولة الوصول: يتيح نهج الـ CSV للباحثين محاكاة أي جهاز IBM QPU (حتى تلك غير المتاحة حالياً أو المقيدة) محلياً، بشرط توفر بيانات المعايرة.
ضرورة التحقق: تثبت الدراسة أن التوائم الرقمية لا يمكن افتراض قابليتها للانتقال. التوأم الذي تم التحقق منه على جهاز واحد أو مع إعداد transpilation معين قد يفشل على جهاز آخر. يجب أن يكون التحقق خاصاً بإعداد التنفيذ المستهدف.
محدودية التشابه بين المحاكيات: تشير الورقة إلى أن المتغيرات المختلفة من المحاكيات غالباً ما تنتج نتائج متشابهة جداً مع بعضها البعض ولكنها تظل متميزة عن الأجهزة الحقيقية. لذا، فإن الاتفاق العالي بين المحاكيات لا يضمن الدقة تجاه الأجهزة.
الاتجاهات المستقبلية: يقترح المؤلفون أنه بينما تعد النماذج القائمة على المعايرة فعالة، فقد تحتاج إلى التعزيز من خلال مطابقة المعلمات (parameter fitting) من بيانات تنفيذ الدوائر الفعلية لالتقاط التأثيرات غير الماركوفية وتحسين الاتفاق على مستوى التوزيع.

الخاتمة

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