⚛️ quantum physics

Can PCE solve the factorisation problem via optimisation?

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

المؤلفون الأصليون: Fernando Alonso, Colomán Samprón, Jacobo Veiga, Andrés Gómez

نُشر 2026-07-28

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

CC BY 4.0

المؤلفون الأصليون: Fernando Alonso, Colomán Samprón, Jacobo Veiga, Andrés Gómez

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

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

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

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

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

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

استخدم الفريق ثلاثة "محركات بحث" (أدوات تحسين/optimizers) للتنقل في هذه الخرائط: التطور التفاضلي (DE)، وتحسين سرب الجسيمات (PSO)، ونسخة مستوحاة من الكم وهي (QDPSO). أظهرت النتائج أن محسن DE كان الفائز الواضح، حيث وجد الإجابات الصحيحة باستمرار في حين تعثرت الأدوات الأخرى.

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

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

ملخص تقني: هل يمكن لترميز ارتباط باولي (PCE) حل مشكلة التحليل إلى عوامل عبر التحسين؟

بيان المشكلة
يعد تحليل الأعداد الصحيحة إلى عوامل، وخاصة الأعداد نصف الأولية ( $N = p \cdot q$ )، مسألة أساسية في نظرية الأعداد الحسابية والأساس الأمني لتشفير RSA. وبينما توفر خوارزمية شور حلاً كمومياً بزمن حدودي، تفتقر أجهزة الكمبيوتر الكمومية الحالية ذات النطاق المتوسط والمشوبة بالضجيج (NISQ) إلى عدد الكيوبتات والتماسك المطلوب للتنفيذ العملي. تواجه النهج البديلة، مثل الخوارواتزميات الكمومية التباينية (VQAs) التي تحول التحليل إلى مشكلات تحسين ثنائية، مشكلات تتعلق بالقابلية للتوسع، حيث تتطلب عادةً عدداً من الكيوبتات يتناسب طردياً مع عدد المتغيرات الثنائية. هذا التوسع الخطي يجعلها غير مجدية للحالات واسعة النطاق على الأجهزة الحالية. يبحث هذا البحث فيما إذا كان بإمكان ترميز ارتباط باولي (PCE)، وهو إطار عمل قادر على ترميز $m$ من المتغيرات الثنائية باستخدام عدد حدودي من الكيوبتات ( $n \ll m$ )، أن يتكيف لحل مشكلة التحليل إلى عوامل عبر التحسين باستخدام موارد محدودة.

المنهجية
تعيد الدراسة صياغة مشكلة التحليل إلى عوامل كمسألة تحسين ثنائية وتطبق تقنية PCE لتقليل متطلبات الكيوبتات. تتضمن المنهجية ما يلي:

استراتيجيات الترميز: تم تطوير نهجين متميزين لربط قيود التحليل بدالة التكلفة:
- النهج الأساسي (Basic Approach): يقوم بترميز التمثيلات الثنائية للعوامل المجهولة $p$ و $q$ بشكل مباشر. تعمل دالة التكلفة على تقليل مسافة هامينغ المربعة بين العدد الصحيح المستهدف $N$ وحاصل الضرب المرشح $x_p \cdot x_q$ ، مع إضافة عقوبات لتجنب الحلول البديهية (مثل $N \cdot 1$ ).
- نهج فرق المربعين (DoTS Approach): يعيد صياغة المشكلة كبحث عن أعداد صحيحة $a$ و $b$ بحيث يكون $a^2 \equiv b^2 \pmod N$ (مع شرط $a \not\equiv \pm b$ ). يتم استعادة العوامل عبر $\gcd(a-b, N)$ و $\gcd(a+b, N)$ . تجمع دالة التكلفة بين حد يفرض التطابق المودولار (modularity) وحد يتحقق من عملية التحليل الناتجة.
الدائرة الكمومية: تم استخدام نموذج "brickwork" كفء للأجهزة (hardware-efficient ansatz)، يتكون من طبقات متبادلة من دورات الكيوبت المنفرد ( $R_X, R_Y, R_Z$ ) وبوابات التشابك ( $R_{XX}, R_{YY}, R_{ZZ}$ ). يحدد ترتيب ضغط PCE (المشار إليه بـ $k$ ) عمق الدائرة وعدد الكيوبتات المطلوبة ( $n \approx m/k$ ).
التحسين: تمت محاكاة الدوائر الكمومية ذات المعاملات (parameterised) كلاسيكياً باستخدام Qiskit Aer. تم إجراء التحسين باستخدام ثلاث خوارزميات خالية من التدرج (gradient-free): التطور التفاضلي (DE)، وتحسين سرب الجسيمات (PSO)، وتحسين سرب الجسيمات الكمومي دلتا (QDPSO). تم استخدام دالة الإشارة (sign function) لتقريب المتغيرات الثنائية، لتجنب استخدام تقريب الظل الزائدي (hyperbolic tangent) الذي قد يؤدي إلى حلول حقيقية لانهائية.

المساهمات والنتائج الرئيسية

تقليل الموارد: تُظهر الدراسة أن تقنية PCE يمكنها تقليل عدد الكيوبتات المطلوبة للتحليل بشكل كبير. بالنسبة لأطوال مفاتيح RSA النموذجية، يظل عدد الكيوبتات المطلوب ضمن نطاق "مقدور عليه" للأجهزة الحالية أو القريبة، وبالنسبة لترتيب الضغط $k > 2$ ، يمكن حل المشكلة بالكامل على أجهزة الكمبيوتر الكلاسيكية عبر محاكاة الدائرة الكمومية.
مقارنة الأداء:
- نهج DoTS مقابل النهج الأساسي: تفوق نهج DoTS باستمرار على النهج الأساسي. فقد حققت دالة تكلفة DoTS، التي تلتقط البنية الحسابية لعلاقة فرق المربعين، معدلات نجاح أعلى ومساحة تحسين أكثر ملاءمة.
- حساسية المُحسِّن: أثبت التطور التفاضلي (DE) أنه الأكثر قوة، حيث حقق عمليات تحليل ناجحة عبر مختلف أطوال البتات. أظهرت طرق السرب (PSO, QDPSO) معدلات نجاح أقل بكثير، مما يشير إلى أن مساحة التحسين تشكل تحدياً لهذه الخوارزميات تحديداً.
- حدود القابلية للتوسع: نجحت الطريقة في تحليل الأعداد نصف الأولية حتى 36 بت باستخدام نهج DoTS مع $k=4$ وخوارزمية DE. انخفضت معدلات النجاح للأعداد الأكبر من 25-36 بت، مما يشير إلى وجود قيود جوهرية في صياغات دالة التكلفة الحالية للحالات الأكبر.
كفاءة البحث: يشير تحليل عدد تقييمات الدالة الهدف إلى أن الخوارزمية لا تعتمد على الاستكشاف بالقوة الغاشمة (brute-force). ظل عدد التقييمات أقل بعدة مراتب من حجم فضاء البحث التوافقي ( $2^n$ )، مما يشير إلى عملية بحث موجهة.

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

الجدوى: النتيجة الأساسية هي أن خوارزميات قائمة على PCE تعد إطار عمل محتملاً لدراسة التحليل إلى عوامل كمسألة تحسين باستخدام موارد كمومية محدودة. وهي تقدم منظوراً بديلاً لطرق مثل VQF و QAOA عبر فصل عدد المتغيرات عن عدد الكيوبتات.
القيود: يذكر المؤلفون صراحة أن الصياغات الحالية لا تنجح في التوسع لتصل إلى أحجام الأعداد ذات الصلة بالتشفير (مثل RSA بطول 2048 بت). يعتمد نجاح الطريقة بشكل كبير على تصميم دالة التكلفة الكلاسيكية واختيار المُحسِّن.
التوجهات المستقبلية: تقترح الدراسة أن الأبحاء المستقبلية يجب أن تركز على:
- تصميم دوال تكلفة أكثر إفادة تلتقط البنية الحسابية للتحليل بشكل أفضل (من خلال دمج متغيرات الحمل/الرقم المحمول - carry variables).
- استكشاف فرضيات العوامل المتوازنة (الشائعة في RSA) لتقليل عدد المتغيرات.
- استقصاء استراتيجيات "البداية الدافئة" (warm-start) وهياكل الـ ansatz البديلة.
- تقييم الأداء تحت نماذج ضجيج واقعية.

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

ملخص تقني: هل يمكن لترميز ارتباط باولي (PCE) حل مشكلة التحليل إلى عوامل عبر التحسين؟

أبحاث مشابهة