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

Compilation-informed probabilistic logical-error cancellation

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

المؤلفون الأصليون: Giancarlo Camilo, Thiago O. Maciel, Allan Tosta, Abdulla Alhajri, Thais de Lima Silva, Daniel Stilck França, Leandro Aolita

نُشر 2026-10-09

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

CC BY 4.0

المؤلفون الأصليون: Giancarlo Camilo, Thiago O. Maciel, Allan Tosta, Abdulla Alhajri, Thais de Lima Silva, Daniel Stilck França, Leandro Aolita

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

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

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

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

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

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

ملخص تقني: إلغاء الخطأ المنطقي الاحتمالي القائم على التجميع (CIPEC)

بيان المشكلة
تتعرض القدرة المستقبلية للحواسيب الكمومية على التفوق على الآلات الكلاسيكية للعرقلة بسبب معدلات الخطأ العالية وقيود التوسع في الأجهزة الحالية. وبينما يوفر تصحيح الخطأ الكمومي (QEC) مساراً نحو تحمل الخطأ، فإن تنفيذه الكامل يتطلب وقتاً وموارد كبيرة. وبناءً على ذلك، من المتوقع أن تعتمد التطبيقات المبكرة على نهج هجين يجمع بين أكواد تصحيح الخطأ الكمومي (QEC) البسيطة وتخفيف الخطأ الكمومي (QEM). ومع ذلك، تواجه استراتيجيات تخفيف الخطأ الكمومي (QEM) الحالية مقايضة حرجة: فالحصول على دقة عالية ( $\epsilon$ ) يتطلب عادةً زيادة في عمق الدائرة أو مسافة كود تصحيح الخطأ (QEC)، مما يؤدي إلى زيادات في الموارد تتناسب مع $1/\epsilon$ . وتحديداً، تتطلب استراتيجيات إلغاء الخطأ الاحتمالي (PEC) التقليدية ونهج الـ QEC فقط أن تتدرج أخطاء التجميع كـ $O(\epsilon/G)$ (حيث $G$ هو عدد البوابات)، مما يؤدي إلى نمو أحجام الدوائر المجمعة وتعقيد العينات بشكل لوغاريتمي متعدد مع $1/\epsilon$ . وهذا يخلق عنق زجاجة لعمليات التقدير عالية الدقة على الأجهزة ذات القدرة على تحمل الخطأ في المرحلة المبكرة (EFT).

المنهجية: CIPEC
يقدم المؤلفون إلغاء الخطأ الاحتمالي القائم على التجميع (CIPEC)، وهو مخطط لتخفيف الخطأ الكمومي (QEM) مصمم لتخفيف ضجيج البوابات المنطقية وأخطاء التجميع في آن واحد دون تكبد أعباء إضافية تعتمد على الدقة. يعمل هذا الأسلوب على مستوى الكيوبت المنطقي وهو مستقل عن الدائرة المحددة، أو المجمع (Compiler)، أو كود الـ QEC، أو الأساس (Basis) المستخدم.

تعتمد الآلية الجوهرية على تفكيك احتمالي شبه احتمالي مشابه لـ PEC ولكن تم تكييفه للعمليات المنطقية:

التجميع الضجيجي كعنصر مهيمن: بدلاً من تجميع كل بوابة منطقية $U_i$ بدقة عالية (مما يزيد من حجم الدائرة)، يقوم CIPEC بتجميع $U_i$ إلى تسلسل من البوابات المثالية $V^{(L_i)}_{c,i}$ بدقة "خشنة" $\epsilon_c$ تكون مستقلة عن دقة التقدير المستهدفة $\epsilon$ (تحديداً $\epsilon_c = O(1/G)$ ).
تفكيك الأساس المعزز: يتم تفكيك البوابة المثالية $U_i$ إلى مزيج أفيني من تسلسل التجميع الضجيجي $\tilde{V}^{(L_i)}_{c,i}$ ومجموعة من قنوات الأساس الضوجية القابلة للتنفيذ $\tilde{\mathcal{B}}$ . ويُصاغ التفكيك كالتالي:
$U_i = \tilde{V}^{(L_i)}_{c,i} + \sum_{j} b_{i,j} \tilde{B}_j$
حيث تعمل المعاملات $b_{i,j}$ كاحتمالات شبه احتمالية.
السيطرة على السلبية: من خلال ضمان أن يكون خطأ التجميع $\epsilon_c$ صغيراً بما يكفي (ولكنه مستقل عن $\epsilon$ )، فإن القناة المتبقية $U_i - \tilde{V}^{(L_i)}_{c,i}$ تمتلك معيار دايموند (diamond norm) صغيراً. وهذا يسمح بالتحكم في سلبية التفكك الاحتمالي شبه الاحتمالي، مما يحافظ على ثبات العبء الإحصائي للعينات.
التقدير الإحصائي: يتم تقدير القيمة المتوقعة عن طريق أخذ عينات مونت كارلو من الدوائر الضوجية المبنية من عناصر الأساس، والموزونة بعلامات وأحجام الاحتمالات شبه الاحتمالية.

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

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

أعباء مستقلة عن الدقة: يحقق CIPEC دقة اختيارية $\epsilon$ مع عبء تعقيد عينات ثابت وأعباء تحمل خطأ (حجم الدائرة ومسافة الكود) مستقلة عن $\epsilon$ . وهذا يتناقض بشدة مع نهج QEC فقط وPEC القياسي، حيث تتناسب هذه الموارد مع $\epsilon$ .
التخفيف المشترك: يقوم المخطط بإزالة التحيزات من كل من أخطاء التجميع والضجيج المنطقي في آن واحد، وهي ميزة فريدة في سيناريو الـ QEC حيث يكون التجميع أمراً لا مفر منه.
صياغة البرمجة الخطية: يقدم المؤلفون برنامجاً خطياً فعالاً لإيجاد تفكيكات الاحتمالات شبه الاحتمالية المثلى ويستنتجون عوامل القياس الصريحة لأخطاء التجميع.
تحليل المتانة: يثبت الورقة أن CIPEC مستقر ضد أخطاء التوصيف ويحدد النطاقات التي لا يكون فيها توصيف الضجيج المنطقي ضرورياً.

النتائج

الضمانات النظرية: تثبت النظرية الرئيسية (Theorem 3) أنه بالنسبة لمسافة كود ثابتة وحجم دائرة $G$ ، يمكن لـ CIPEC تقدير القيم المتوقعة إلى أي دقة $\epsilon$ بشرط أن يستوفي معدل الخطأ المنطقي $\epsilon_Q$ شرط الجدوى $L \epsilon_Q \leq O(1)$ ، حيث $L$ هو حجم الدائرة المجمعة. والأهم من ذلك، أن $L$ لا يتناسب مع $\epsilon$ .
المحاكاة العددية: قام المؤلفون باختبار CIPEC مقابل استراتيجيات "QEC فقط" و"PEC القياسي".
- مقارنة الموارد: يوضح الجدول I والشكل 2 أن CIPEC يسمح بمعدلات خطأ منطقية $\epsilon_Q$ أكبر بكثير لدائرة معينة مقارنة بالطرق الأخرى. فبينما تتطلب طرق QEC فقط وPEC أن يتناسب $\epsilon_Q$ مع $O(\epsilon/L)$ ، يحافظ CIPEC على نطاق سماحية ثابت.
- تقدير كثير حدود جونز: كتطبيق ملموس، قام المؤلفون بمحاكاة تقدير كثيرات حدود جونز للعقد (تحديداً عقدة التريفويل). في محاكاة باستخدام 5 كيوبتات منطقية ودقة مستهدفة $\epsilon = 10^{-2}$ ، نجح CIPEC في تقديم تقديرات ضمن الدقة المطلوبة مع عبء عينات $\gamma^2 \approx 2.46$ . وفي المقابل، فشلت استراتيجية QEC فقط في تحقيق هدف الدقة حتى عند السماح بعدد عينات أعلى، مما يوضح ميزة الأعباء المستقلة عن الدقة في CIPEC.

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

يؤكد المؤلفون أن طريقتهم تفتح المجال لحل حالات عالية الدقة من المشكلات (مثل تقدير كثير حدود جونز) التي يصعب حلها باستخدام QEC وحده أو PEC القياسي تحت نفس قيود الأجهزة. ويشيرون إلى أنه بينما تتطلب استراتيجيات التقدير الإحصائي عموماً تعقيد عينات يتناسب مع $O(1/\epsilon^2)$ ، فإن CIPEC يضمن أن الأعباء الهيكلية (حجم الدائرة ومسافة الكود) لا تنمو مع $1/\epsilon$ ، مما يوسع نطاق المشكلات القابلة للحل على الأجهزة القريبة من مرحلة تحمل الخطأ. يظل العمل متواضعاً فيما يتعلق بالنشر العملي الفوري، مع الإقرار بأن هناك حاجة لعمل مستقبلي لتقييم الأداء على بنيات QEC ملموسة (مثل أكواد السطح) ذات قيود محددة على فك التشفيد والاتصال.

أبحاث مشابهة