⚛️ quantum physics

Prime Number Identification Demonstrated with Quantum Processors Using a New Rescaling-Based Noise Mitigation Technique

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

المؤلفون الأصليون: Victor F. dos Santos, Victor P. Brasil, Pedro A. S. Contri, Jonas Maziero

نُشر 2026-05-29

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

CC BY 4.0

المؤلفون الأصليون: Victor F. dos Santos, Victor P. Brasil, Pedro A. S. Contri, Jonas Maziero

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

الصورة الكبيرة: البحث عن الأعداد الأولية عبر "التموجات الكمومية"

تخيل أن لديك طبلة سحرية. إذا ضربتها بطريقة معينة، فإن الصوت الذي تصدره يعتمد تماماً على الرقم الذي "تفكر" فيه. إذا كان الرقم عدداً أولياً (مثل 2، 3، 5، 7، 11)، فستصدر الطبلة همهمة هادئة ومميزة. أما إذا كان الرقم عدداً مركباً (مثل 4، 6، 8، 9، 10)، فستصدر الطبلة ضجيجاً عالياً وفوضوياً.

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

المشكلة: الطبلة الكمومية مليئة بالضجيج

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

الحل: خدعة "إعادة القياس العالمي"

لإصلاح ذلك، ابتكر المؤلفون طريقة جديدة لتنظيف الضجيج، أطلقوا عليها اسم CFE (استقراء عامل التصحيح).

فكر في الأمر كالتالي:

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

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

النظرية الجديدة: شبكة أمان أفضل

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

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

ما فعلوه (وما لم يفعلوه) بالفعل

ما فعلوه: تشغيل هذه الخوارزمية على أجهزة IBM الكمومية الحقيقية لأحجام أنظمة صغيرة (أبعاد 4، 8، و16). لقد نجحوا في تحديد الأعداد الأولية رغم ضجيج الأجهزة، بفضل طريقة التصحيح الجديدة الخاصة بهم.
ما فعلوه: أثبتوا رياضياً أن هذه الطريقة تعمل بشكل أفضل من مجرد التخمين، وأنها تخلق فصلاً واضحاً بين الأعداد الأولية والمركبة.
ما لم يفعلوه: لم يستخدموا هذا لكسر رموز التشفير في العالم الحقيقي (مثل كسر أمن البنوك). الورقة تتعلق حصرياً بـ تحديد ما إذا كان الرقم أولياً، وليس بـ تحليل الأرقام الكبيرة إلى عواملها الأولية لأغراض التشفير.
ما لم يفعلوه: لم يدّعوا أن هذا يعمل مع الأرقام الضخمة بعد. كانت التجارب الحالية محدودة بأبعاد صغيرة لأن الحواسيب الكمومية لا تزال في مراحلها الأولى "المزعجة/الضوضائية".

تشبيه الملخص

تخيل أنك تحاول التعرف على طائر معين من خلال أغنيته وسط عاصفة.

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

تظهر الورقة أنه مع وجود الرياضيات الصحيحة لـ "إلغاء الضجيج"، يمكننا البدء في استخدام حواسيبنا الكمومية الحالية غير المثالية لحل ألغاز نظرية الأعداد القديمة.

ملخص تقني: تحديد الأعداد الأولية باستخدام المعالجات الكمومية عبر تقنية جديدة لتخفيف الضجيج القائمة على إعادة القياس

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

المنهجية
قام المؤلفون بتنفيذ خوارزمية PIED على معالجات IBM الكمومية (تحديداً جهاز Heron r2 "Aachen") لأبعاد النظام $d = 4, 8,$ و $16$. يتضمن البروتوكول ما يلي:

إعداد النظام: نظام ثنائي الأجزاء $AB$ بأساليب فرعية متطابقة ذات بُعد $d$ ، يتطور تحت تأثير هاميلتوني قطري ذي مستويات طاقة متباعدة بانتظام.
تحضير الحالة: يتم تحضير النظام في حالة تراكب منتظم (يتم تحضيرها عبر بوابات هادامارد) وتطويره تحت مؤثر وحدوي مشتق من الهاميلتوني.
القياس: يتم قياس النقاء المختزل $\gamma_A(t)$ للنظام الفرعي $A$ عبر الزمن باستخدام بروتوكول اختبار SWAP، والذي يتطلب نسختين متطابقتين من النظام وكيوبت مساعد (ancilla).
استخراج الإشارة: يتم إجراء تحويل فورييه للنقاء المعتمد على الزمن لاستخراج الأنماط $\alpha_n$ . نظرياً، تقابل الأعداد الأولية القيم الدنيا لهذه الأنماط، بينما تعطي الأعداد المركبة قيماً أكبر.

ولمعالجة ضجيج الأجهزة، طور المؤلفون وطبقوا تقنية استقراء عامل التصحيح (CFE). تتضمن هذه الطريقة ما يلي:

المعايرة: إجراء تنفيذات للدوائر البرمجية لمجموعة فرعية من أبعاد النظام ( $d=4, 8, 16$ ) حيث تُعرف القيم التحليلية المثالية لأنماط فورييه.
التحسين: حساب عامل إعادة قياس عالمي أمثل $\Lambda_{opt}(d)$ لكل بُعد من خلال تقليل الانحراف بين البيانات التجريبية المشوبة بالضجيج والمرجع التحليلي.
الاستقراء: ملاءمة شكل دالي للقيم المحسوبة لـ $\Lambda_{opt}(d)$ (تحديداً $\Lambda_{opt}(d) = \Lambda_0 + \kappa d^\eta$ ) للتنبؤ بعوامل التصحيح لتكوينات أخرى أو للتحقق من الاتجاه. يسمح هذا بإعادة قياس أنماط فورييه المشوبة بالضجيج لتخفيف التحيز المنهجي دون الحاجة إلى قياسات متعددة لمستويات الضجيج لكل حالة دائرة (كما هو الحال في استقراء الضجيج الصفري).

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

التنفيذ على الأجهزة: أول عرض لخوارزمية PIED على أجهزة كمومية حقيقية، مما يمثل انتقالاً ناجحاً من المحاكاة إلى أجهزة NISQ.
استراتيجية تخفيف الضجيج (CFE): تقديم تقنية لتخفيف الخطأ قائمة على إعادة القياس ومنخفضة التكلفة الحسابية. على عكس الطرق التقليدية التي تتطلب تنفيذات متكررة للدوائر عند مستويات ضجيج مختلفة، تستفيد تقنية CFE من السلوك التحليلي المعروف للخوارزمية عبر أبعاد الأنظمة المختلفة لبناء عامل تصحيح.
الحدود النظرية المنقحة: اشتقاق حد أدنى تحليلي جديد، $P_n$ ، لأنماط فورييه للأعداد المركبة (تحديداً للأعداد من الشكل $n=k^2$ حيث $k$ عدد أولي). يوفر هذا الحد فصلاً أكثر إحكاماً بين البصمات الأولية والمركبة مقارنة بالحد البديهي السابق $B_n$ . وقد حدد المؤلفون بدقة أن الاستثناءات لهذا الحد تحدث فقط لأعداد نصف أولية محددة تتضمن العوامل 2 و 3 ضمن فترات فرعية معينة، مما يسمح بإطار تصنيف أكثر قوة.
الحالات الابتدائية البديلة: استكشاف استخدام حالات غزل متماسكة (spin coherent states) كحالات ابتدائية عبر المحاكاة العددية. ورغم أن تحضير هذه الحالات أكثر تعقيداً، إلا أنها أظهرت إمكانات لتقليل عدد تقسيمات الوقت المطلوبة للتكامل الفوريوري مقارنة بحالات التراكب المنتظم.

النتائج

الفصل بين الأولي والمركب: نجحت عمليات التنفيذ على الأجهزة في إعادة إنتاج الاتجاه النظري حيث تقابل الأعداد الأولية قيم أنماط فورييه الدنيا. أدى تطبيق طريقة CFE إلى تحسين كبير في التوافق بين البيانات التجريبية والتنبؤات التحليلية، مما أدى فعلياً إلى استعادة الفصل بين البصمات الأولية والمركبة الذي حجبه الضجيج في البيانات الخام.
أداء CFE: وُجد أن عامل التصحيح $\Lambda_{opt}(d)$ يزداد بشكل رتيب مع البعد $d$ ، ويصل إلى حالة تشبع تقاربية. وأظهرت البيانات المعاد قياسها توافقاً ممتازاً مع النموذج الدالي المقترح.
التحقق النظري: ثبت أن الحد الجديد $P_n$ ينطبق على غالبية الأعداد المركبة. وأكد التحليل أن الأعداد نصف الأولية المحددة فقط (من الشكل $2k$ أو $3k$ ) هي التي يمكن أن تنتج قيماً أقل من هذا الحد، مما يستلزم فحوصات قابلية قسمة محددة في تلك المناطق.
حالات الغزل المتماسكة: أشارت المحاكاة إلى أنه رغم صعوبة تحضير حالات الغزل المتماسك، إلا أنها قد توفر مقياساً أكثر ملاءمة لعدد عينات الوقت اللازمة للتكامل الفوريوري، مما قد يقلل من العبء الحسابي.

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