⚛️ الفيزياء الكمومية

Separability does not certify zero-noise extrapolation: Factorial diagnostics in dynamic quantum circuits

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

المؤلفون الأصليون: Aryan Kumar

نُشر 2026-10-22

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

CC BY 4.0

المؤلفون الأصليون: Aryan Kumar

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

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

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

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

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

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

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

ملخص تقني: القابلية للفصل لا تضمن استقراء الصفر من الضجيج

بيان المشكلة
يقوم استقراء الصفر من الضجيج (ZNE) بتقدير القيم الملحوظة الكمومية المثالية عن طريق تضخيم الضجيج عمدًا وملاءمة نموذج استجابة لاستقراء حد الصفر من الضجيج. وبينما يعد تضخيم الضجيج أحادي المعلمة (مثل طي البوابات - gate folding) أمرًا شائعًا، فإن الدوائر الديناميكية تُدخل مصادر ضجيج متميزة: أخطاء البوابات ( $G$ )، وفقدان التماسك الناتج عن زمن انتقال التغذية الأمامية ( $L$ )، وأخطاء القياس في منتصف الدائرة ( $M$ ). الافتراض الحرج في ZNE متعدد المقابض هو قابلية فصل الملحوظات (observable separability): وهي الفرضية القائلة بأن هذه المصادر للضجيج تعمل بشكل مستقل بحيث يكون تأثيرها المشترك على ملحوظ ما ضربيًا (أي جمعيًا على المقياس اللوغاريتمي). إذا فشلت القابلية للفصل، فإن التفاعلات غير المنمذجة بين قنوات الضجيج يمكن أن تؤدي إلى تحيز في الحد المستقر de الصفر من الضجيج. يبحث هذا البحث فيما إذا كان تضخيم $G$ و $L$ و $M$ بشكل منفصل على أجهزة حقيقية يؤدي إلى سطح استجابة قابل للفصل، وما إذا كانت هذه القابلية للفصل تضمن دقة التخفيف.

المنهجية
أجرى المؤلف تجربة عاملية (factorial experiment) محددة مسبقًا بنظام $2^3$ على ثلاث دوائر كمومية ديناميكية من IBM (مجس مراقب، دائرة نقل تليسكوبي مزدوج، وتحضير حالة GHZ).

المقابض (Knobs): تم تنفيذ ثلاثة مقابض لتضخيم الضجيج:
1. البوابة ( $\lambda_G$ ): طي البوابات القياسي (استبدال $U$ بـ $UU^\dagger U$ ).
2. الكمون/الانتظار ( $\lambda_L$ ): تمديد نافذة التغذية الأمامية باستخدام وقت الخمول، مع حماية بواسطة تسلسل صدى متدرج لتقليل دوران الطور المتماسك.
3. القياس ( $\lambda_M$ ): تكرار عمليات MCM والاشتراط بناءً على تماثل النتيجة، مع حشو (padding) لمطابقة المدة لمنع ضجيج زمن الانتظار من تلويث مقبض القياس.
التصميم: تم ضبط كل مقبض عند المستويات 1 (الأصلي) و 3، مما خلق ثمانية إعدادات للزوايا. تم تضمين نقطتين مركزيتين $(2,2,1)$ و $(2,2,3)$ لاختبار الانحناء. أُجريت التجربة على ibm marrakesh (الأساسي) و ibm kingston (تجارب الاختبار)، مع تجارب متابعة لحقن تفاعلات معروفة واختبار الانحراف.
التحليل: تم نمذجة الاستجابة كدالة خطية لوغاريتمية مع حدود التفاعل ( $b_{ij}$ $b_{ij}$ ). ميزت الدراسة بين:
- القابلية للفصل: ما إذا كانت معاملات التفاعل (مثل $b_{LM}$ ) تتلاشى.
- كفاية النموذج: ما إذا كان نموذج الاستجابة يظل صالحًا خارج النطاق المقاس.
- معايرة الهدف: ما إذا كان الإحداثي الصفري المستقر يتوافق مع القيمة المثالية الخالية من الضوضاء ( $E_{id}$ ).
الضوابط: تضمنت الدراسة "ضوابط إيجابية" (حقن دورات افتراضية لخلق تفاعلات معروفة) و"ضوابक سلبية" (تجارب اختبار بدون صدى لإظهار الآثار المتماسكة).

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

قابلية فصل الملحوظ الأساسي: بالنسبة للملحوظ "المراقب" الأساسي، كان معامل التفاعل بين زمن الانتظار والقياس $b_{LM} = +0.0007$ مع فاصل ثقة 95% قدره $[-0.0033, +0.0049]$ . هذا الفاصل محتوى ضمن هامش التكافؤ المحدد مسبقًا $\pm 0.005$ ، رغم أن فاصل الجري الرئيسي لا يستبعد رسميًا تفاعلًا بحجم التأثير الأدنى القابل للكشف (+0.0044). وقد حققت تجربة متابعة مخططة بشكل منفصل معيار تكافؤ صارم (90% من الفاصل داخل $\pm 0.005$ ) وأكدت حد الجري الرئيسي عند مستوى 5%، مع استعادة التفاعلات المحقونة ذات الحجم المعروف.
أثر الأطوار المتماسكة: أظهرت تجارب الاختبار بدون الصدى المتدرج تفاعلًا ظاهريًا كبيرًا ( $b_{LM} \approx 0.02$ ) ناتجًا عن تراكم دورات الطور المتماسكة أثناء نافذة زمن الانتظار. نجح الصدى في كبح هذا الأثر، مما أثبت أن التفاعلات الظاهرية يمكن أن تنشأ من أخطاء متماسكة تتنكر في هيئة تفاعلات قنوات الضجيج.
الدقة مقابل القابلية للفصل: على الرغم من أن التفاعل الأساسي كان ضئيلاً، إلا أن القابلية للفصل لم تضمن الدقة. بالنسبة لثلاثة من ستة ملحوظات، أنتجت جميع استراتيجيات الاستقراء الخمس المختبرة (الملاءمة المشتركة، المرة الواحدة، القياس الموحد، زمن الانتظاء فقط، البوابة فقط) فواصل ثقة 95% استبعدت القيمة المثالية المعروفة ( $E_{id}=1$ ).
مصادر التحيز:
- الضجيج غير المضخم: مصادر الضجيج التي لا يتم التحكم فيها بواسطة المقابض (مثل تحضير الحالة، البوابات أحادية الكيوبت، القراءة النهائية) تساهم في وجود فجوة بين الحد المستقر ( $E^*$ ) والقيمة المثالية ( $E_{id}$ ).
- القياس غير الأمين (Non-Faithful Scaling): كشفت تجارب التحكم في المدة أن "الحشو" المستخدم لمطابقة أوقات القياس قد تلاشى بمعدل أسرع بنحو 1.5 إلى 1.8 مرة من تمدد زمن الانتظار المضاف. يشير هذا إلى أن مقبض زمن الانتظار لا يضخم ضجيج النافذة الأصلية بأمانة، مما يدخل تحيزًا يعتمد على النموذج.
- الانحناء: أشارت النقاط المركزية إلى معدلات اضمحلال غير خطية لبعض الملحوظات، وهو ما تفشل عمليات الاستقراء أحادية المستوى في التقاطه.
أداء الاستراتيجية: تفوقت استراتيجيات المقابض المتعددة (المشتركة، المرة الواحدة، الموحدة) عمومًا على استراتيجيات المقبض الواحد (التي تترك مصادر الضجيج دون تضخيم). ومع ذلك، من بين استراتيجيات المقابض المتعددة، لم تتفوق استراتيجية واحدة باستمرار على الأخريات عبر جميع الملحوظات، وعانت جميعها من التحيزات المذكورة أعلاه.

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

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

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

يخلص المؤلف إلى ما يلي:

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

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

أبحاث مشابهة