⚛️ quantum physics

A Multi-Level Integrity Evaluation Framework for Quantum Circuits under Controlled Anomaly Injection

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

المؤلفون الأصليون: Ejaz Ahmed, Boshuai Ye, Syed Hamza Shah, Muhammad Azeem Akbar, Arif Ali Khan

نُشر 2026-04-30

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

CC BY 4.0

المؤلفون الأصليون: Ejaz Ahmed, Boshuai Ye, Syed Hamza Shah, Muhammad Azeem Akbar, Arif Ali Khan

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

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

المشكلة هي أنه قبل أن يصل الطائر إلى صديقك، قد يتعرض للطي، أو فك الطي، أو حتى التغيير سراً بواسطة ساعي البريد (المترجم البرمجي/Software Compiler) أو لصٍ ماكر (خصم/Adversary). يخشى مؤلفو هذه الورقة البحثية: كيف نعرف أن الطائر الذي استلمناه هو بالضبط نفس الطائر الذي أرسلناه، وأنه سيظل يطير كما أردنا له أن يفعل؟

إليك شرح بسيط لحلهم، باستخدام تشبيهات من الحياة اليومية.

المشكلة: نظرة واحدة ليست كافية

تقليديًا، كان الناس يتحققون من هذه "الطيور" بطريقتين فقط:

فحص "عد الطيات" (الهيكلي): نظروا إلى الورقة ليروا ما إذا كان عدد الطيات والشكل العام يبدو صحيحًا.
فحص "دع الطائر يطير" (السلوكي): قاموا بالفعل بإطلاق الطائر ليروا ما إذا كان سيطير بشكل صحيح.

تجادل الورقة بأن لا الطريقتين تكفيان بمفردهما.

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

الحل: نظام أمني ثلاثي الطبقات

يقترح المؤلفون إطار عمل جديدًا يستخدم ثلاث عدسات مختلفة للتحقق من سلامة الدائرة. ويسمون هذا "إطار تقييم سلامة متعدد المستويات".

فكر في الأمر كفريق أمني يفحص طردًا:

1. درجة السلامة الهيكلية (SIS) – "فحص المخطط"

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

2. درجة مخطط التفاعل (IGS) – "خريطة العلاقات"

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

3. درجة السلامة التشغيلية (OIS) – "اختبار الطيران"

ماذا تفعل: تقوم بتشغيل الدائرة فعليًا (أو محاكاتها) وتقارن النتائج بالأصل. وهي تستخدم أداة رياضية تسمى مسافة جينسن-شانون (Jensen-Shannon distance) لقياس مدى اختلاف "سحابة" المخرجات عن السحابة المتوقعة.
التشبيه: هذا هو اختبار الطيران الفعلي. هل يطير الطائر؟ هل يهبط حيث ينبغي له؟
الفائدة: هي القول الفصل والحقيقة المطلقة. إذا طار الطائر بشكل خاطئ، فإن هذا الفحص سيكتشفه بنسبة 100%.
الجانب السلبي: هي بطيئة ومكلفة، خاصة للطيور الكبيرة (الدوائر الضخمة).

الاكتشاف الكبير: "النقطة العمياء"

اختبر الباحثون هذه الطرق الثلاث عبر حقن "شذوذات" (أخطاء متعمدة) في 133 دائرة كمومية مختلفة. ووجدوا حقيقة صادمة:

النقطة العمياء الهيكلية: في حالات كثيرة، قال "فحص المخطط" (SIS) إن الدائرة مثالية بنسبة 95%. لقد بدت متطابقة هيكليًا مع الأصل.
الواقع: ومع ذلك، كشف "اختبار الطيران" (OIS) أن 93.85% من تلك الدوائر التي بدت "مثالية" كانت في الواقع معطلة أو تتصرف بشكل مختلف.
المنطقة الوسطى: نجح "مخطط العلاقات" (IGS) في كشف 72.58% من هذه الأخطاء المخفية دون الحاجة إلى إجراء اختبار الطيران المكلف.

الخلاصة

لا يمكنك الوثوق بطريقة واحدة فقط للتحقق من الدائرة الكمومية.

إذا تحققت من الهيكل فقط، فقد تفوتك عمليات التخريب المخفية.
إذا تحققت من السلوك فقط، فسيستغرق ذلك الكثير من الوقت والمال.

الاستراتيجية الأفضل: استخدام نهج متعدد الطبقات.

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

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

إليك ملخص تقني مفصل لورقة البحث بعنوان: "إطار عمل لتقييم سلامة الدوائر الكمومية متعدد المستويات تحت تأثير حقن الشذوذ المحكوم."

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

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

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

2. المنهجية

يقترح المؤلفون إطار عمل للمقاييس ثلاثي الطبقات لتقييم سلامة الدائرة عبر أبعاد هيكلية، وتفاعلية، وسلوكية. يقارن الإطار بين دائرة اختبار ( $C$ ) ودائرة مرجعية ( $C_{ref}$ ) باستخدام ثلاثة درجات متميزة:

أ. درجة السلامة الهيكلية (SIS)

النوع: ما قبل التنفيذ (استاتيكي).
الآلية: تقيس الانحراف الهيكلي العالمي باستخدام الفروقات المعيارية في أربعة مكونات: عدد البوابات، عمق الدائرة، استخدام البوابات ثنائية الكيوبت، وطوبولوجيا التفاعل (الرسم البياني الموجه غير الدوري - DAG).
الصيغة: $SIS = 1 - \Delta_{struct}$ ، حيث $\Delta_{struct}$ هو مجموع أوزان الفروقات النسبية.
القصور: فعالة ولكنها غير حساسة للتغيرات الدلالية التي تحافظ على الهيكل.

ب. درجة السلامة التشغيلية (OIS)

النوع: قائم على التنفيذ (ديناميكي).
الآلية: تقيس التباعد السلوكي عبر مقارنة توزيعات احتمالية المخرجات للدائرة المرجعية ودائرة الاختبار.
المقياس: يستخدم مسافة جينسن-شانون (JSD) لتحديد الفرق بين التوزيعين $p$ و $q$ .
الصيغة: $OIS = 1 - JSD(p, q)$ .
القصور: دقيقة للغاية للتحقق الوظيفي ولكنها مكلفة حاسوبياً (تتوسع أسياً مع عدد الكيوبتات) وتتطلب محاكاة أو تنفيذاً على الأجهزة.

ج. درجة المنطق الدلالي لرسوم التفاعل البيانية (IGS)

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

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

مجموعة البيانات: 133 دائرة من مجموعة QASMBench (تم تصفيتها لتكون $\le$ 40 كيوبت، و $\le$ 2000 بوابة).
حقن الشذوذ: تم إدخال اضطرابات محكومة عند ثلاثة مستويات من الشدة (0.1، 0.3، 0.6). شملت الأنواع: حذف/إدراج البوابات، استبدال البوابات، إعادة الترتيب، تبديل الكيوبتات، وعمليات "حصان طروادة" (نشاط مخفي على الكيوبتات الخاملة).
المقارنة: تم تقييم المقاييس الثلاثة بشكل مستقل على نفس مجموعة البيانات لعزل حساسيتها الخاصة.

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

الإثبات التجريبي للفجوة الهيكلية-السلوكية: تقدم الدراسة دليلاً ملموساً على أن التشابه الهيكلي (درجة SIS عالية) لا يضمن التكافؤ السلوكي، خاصة في ظل تحويلات مثل إعادة ترتيب البوابات أو الاستبدال.
إطار عمل سلامة متعدد الطبقات: تقديم إطار موحد يجمع بين SIS و OIS و IGS لتوفال رؤى متكاملة بدلاً من الاعتماد على مقياس واحد.
تحديد "النقاط العمياء الهيكلية": حدد المؤلفون وحللوا السيناريوهات التي تكون فيها $SIS \ge 0.95$ (غير متمايزة هيكلياً) ومع ذلك توجد شذوذات.
تحليل الارتباط: بحثت الورقة في العلاقة بين التشابه على مستوى التفاعل (IGS) والتشابه السلوكي (OIS)، ووجدت أنهما غير مرتبطين بقوة.

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

النقاط العمياء الهيكلية: في الحالات التي ظلت فيها درجة السلامة الهيكلية (SIS) مرتفعة ( $\ge 0.95$ $\geq 0.95$ )، مما يشير إلى عدم وجود تغيير هيكلي:
- اكتشف OIS الشذوذ في 93.85% من الحالات.
- اكتشف IGS الشذوذ في 72.58% من الحالات.
- يؤكد هذا أن التحليل الهيكلي وحده غير كافٍ للتحقق الموثوق.
حساسية المقاييس:
- SIS: حساسة جداً لإدراج/حذف البوابات، لكنها تفشل في اكتشاف إعادة ترتيب أو استبدال البوابات.
- OIS: تكتشف جميع أنواع الشذوذ باستمرار، ولكنها تعاني من تكلفة حاسوبية عالية وتباين كبير، خاصة مع زيادة عدد الكيوبتات.
- IGS: تنجح في اكتشاف الانحرافات على مستوى التفاعل (مثل إعادة الترتيب، أو حصان طروادة) بتكاليف حاسوبية منخفضة، حيث تعمل كمرشح فعال ما قبل التنفيذ.
ضعف الارتباط: الارتباط بين IGS و OIS ضعيف (معامل بيرسون $r \approx 0.28$ ) وينخفض مع زيادة شدة الشذوذ. وهذا يثبت أن التشابه على مستوى التفاعل لا يضمن التكافؤ السلوكي؛ وكلا الطبقتين ضروريتان.
الكفاءة: يحافظ IGS على وقت تشغيل مستقر ومنخفض عبر أعداد الكيوبتات، بينما يزداد وقت تشغيل OIS أسياً ويصبح غير مستقر بعد 10-14 كيوبت.

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

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

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