⚛️ quantum physics

End-to-End Quantum Algorithms for the Jones Polynomial

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

المؤلفون الأصليون: Tuomas Laakkonen, Enrico Rinaldi, Chris N. Self, Eli Chertkov, Matthew DeCross, David Hayes, Brian Neyenhuis, Marcello Benedetti, Konstantinos Meichanetzidis

نُشر 2026-07-29

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

CC BY 4.0

المؤلفون الأصليون: Tuomas Laakkonen, Enrico Rinaldi, Chris N. Self, Eli Chertkov, Matthew DeCross, David Hayes, Brian Neyenhuis, Marcello Benedetti, Konstantinos Meichanetzidis

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

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

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

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

باست using هذا الإعداد، أجرى المؤلفون عمليات محاكاة للتنبؤ بالوقت الذي سيتفوق فيه الحاسوب الكمومي حقاً على الحاسوب الفائق. لقد قارنوا طريقتهم الكمومية بأفضل الخوارزميات الكلاسيكية المتاحة اليوم، بما في ذلك بعض الخوارزميات التي تستخدم اختصارات رياضية متقدمة. وتشير عمليات المحاكاة التي أجروها إلى أنه لكي يفوز الحاسوب الكمومي من حيث السرعة، فإنه سيحتاج للتعامل مع عقد تحتوي على حوالي 2,800 تقاطع، بشرط أن يظل معدل الخطأ في الآلة منخفضاً جداً (حوالي 1 من كل 10,000). كما نظروا أيضاً في استهلاك الطاقة، مشيرين إلى أنه بمجرد أن تصبح العقد كبيرة بما يكفي (حوالي 2,400 تقاطع)، فقد يستهلك الحاسوب الكمومي كهرباء أقل من الحواسيب الفائقة الضخمة اللازمة لحل المشكلة نفسها.

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

ملخص تقني: خوارزميات كمومية من البداية إلى النهاية لمتعدد حدود جونز

تعريف المشكلة
تتناول الورقة التحدي الحسابي لتقريب متعدد حدود جونز (Jones polynomial)، وهو ثابت طوبولوجي للعقد والروابط، عند الجذر الخامس للواحد الصحي-وحدة ( $t = e^{i 2\pi/5}$ ). يتم صياغة المشكلة في إطار الضفائر (braids)، حيث يمكن تشكيل أي رابط عن طريق "إغلاق" ضفيرة ما. تم النظر في صيغتين محددتين:

إغلاق ماركوف (مكتمل لـ DQC1): تقدير الأثر الموزون لمصفوفة وحدوية تمثل الضفيرة. وهذا يتوافق مع نموذج "الكيوبت النظيف الواحد" للحوسبة.
إغلاق بلات (مكتمل لـ BQP): تقدير سعة كمومية محددة (عنصر من المصفوفة الوحدوية).

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

المنهجية
يقدم المؤلفون خط عمل خوارزمي متكامل مصمم للحواسيب الكمومية الرقمية القائمة على البوابات والمشوبة بالضجيج (تحديداً Quantinuum H2-2). وتتضمن المنهجية الجوهرية ما يلي:

التمثيل الوحدوي: تستخدم الخوارزمية التمثيل الوحدوي لـ "فيبوناتشي" لمولدات الضفيرة ( $\sigma_i^{\pm 1}$ ). يعمل هذا التمثيل على فضاء جزئي من فضاء هيلبرت لـ $n$ من الكيوبتات، والذي تمتد مساحته عبر "سلاسل فيبوناتشي" (سلاسل بتات بدون أصفار متتالية). ينمو بُعد هذا الفضاء الجزئي وفقاً لمتتالية فيبوناتشي رقم $n$ ( $\phi^n$ )، حيث $\phi$ هو النسبة الذهبية.
الأداة الخوارزمية الأولية (cfev): بدلاً من اختبار هادامارد القياسي، الذي يتطلب عمليات وحدوية متحكم بها ويؤدي إلى عبء كبير في عدد البوابات، يستخدم المؤلفون بروتوكول التحقق من الصدى الخالي من التحكم (cfev). يقوم هذا البروتوكول بـ:
- استخدام حالة قط (cat state) $|\psi_{cat}\rangle = \frac{1}{\sqrt{2}}(|0\rangle^{\otimes n} + |s\rangle)$ ، حيث $|0\rangle^{\otimes n}$ هي حالة ذاتية معروفة لوحدوية الضفيرة $U_B$ .
- إلغاء الحاجة إلى بوابات $U$ المتحكم بها، مما يقلل عدد بوابات الكيوبت الثنائي بشكل كبير.
- استخدام دائرة عكسية ( $V_{cat}^\dagger$ ) في النهاية للتحقق من أن النظام قد عاد إلى الحالة الأولية، مما يسمح بالكشف عن الأخطاء.
تخفيف الأخطاء:
- الكشف عن أخطاء غير فيبوناتشي: وظيفة معالجة لاحقة ( $g_2$ ) تستبعد نتائج القياس التي تقع خارج فضاء فيبوناتشي، مما يؤدي فعلياً إلى تصفية بعض أخطاء الأجهزة.
- خدعة المرافقة (Conjugate Trick): لتخفيف أخطاء الطور المتماسكة (تحديداً أخطاء الذاكرة في كيوبتات الأيونات المحتجزة)، يتم تشغيل الخوارزمية على كل من الضفيرة $B$ ومرافقتها $B^*$ (حيث تُعكس المولدات). دمج هذه النتائج يلغي خطأ الطور العالمي دون الحاجة إلى عمليات قياس إضافية.
المقارنات الكلاسيكية: طور المؤلفون واختبروا خوارزميات كلاسيكية حديثة لنفس المشكلة، بما في ذلك:
- tn-proj: تقليص شبكة الموتر المباشر.
- sv-shor: محاكاة متجه الحالة باستغلال ندرة فضاء فيبوناتشي الجزئي.
- mpo-proj: تقليص مؤثر ضرب المصفوفات (MPO) مع ضغط البعد الرابط.
- bracket: طريقة كلاسيكية تعتمد على متعدد حدود القوس (Kauffman).

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

خط عمل متكامل: خط عمل قابل للضبط بالكامل يولد ضفائر عشوائية، ويقوم بتجميعها إلى دوائر كمومية محسنة لأجهزة محددة (Quantinuam H2)، وينفذها، ثم يجري عمليات المعالجة القبلية والبعدية الكلاسيكية.
معيار قابل للتحقق بكفاءة: من خلال الاستفادة من الثبات الطوبولوجي لمتعدد حدود جونز، صاغ المؤلفون معياراً حيث تكون ضفيرة معقدة $B'$ (الناتجة عن مرافق الضفيرة البسيطة $B$ بضفيرة عشوائية $A$ ) مكافئة طوبولوجياً لـ $B$ . بما أنه يمكن حساب $VM(B)$ كلاسيكياً في وقت مهمل، فإن $VM(B')$ تعمل كحقيقة أرضية قابلة للتحقق لقياس ضجيج المعالج الكمومي وتوسع الخطأ.
التجميع المحسن: يقدم المؤلفون تفكيكات دوائر محسنة لمولدات الوحدة فيبوناتشي، مما يقلل عدد بوابات الكيوبت الثنائي بنحو 15 ضعفاً مقارنة بالتقديرات السابقة لمشكلات مماثلة.
إطار تقدير الموارد: منهجية لتقدير "الوقت للوصول إلى الحل" واستهلاك الطاقة لنقاط التقاطع بين النهج الكمومي والكلاسيكي، مع مراعاة نماذج الضجيج والقيود في الأجهزة الكلاسيكية (مثل وحدات A100 GPU وسوبر كمبيوتر Frontier).

النتائج

العرض التجريبي: تم تنفيذ الخوارزمية على الحاسوب الكمومي Quantinuum H2-2 لضفيرة مكونة من 15 خيطاً و104 تقاطعاً (16 كيوبت، 340 بوابة كيوبت ثنائي).
- بدون تخفيف، كان الخطأ النسبي 75% مع انحراف معياري بنسبة 9%.
- تطبيق الكشف عن أخطاء غير فيبوناتشي وخدعة المرافقة قلل الخطأ النسبي إلى 43% (رغم زيادة الانحراف المعياري إلى 14%).
تحليل التوسع: كشفت المحاكاة على مجموعة بيانات تضم 24,000 ضفيرة (10–15 خيطاً، 50–600 تقاطعاً) مع نماذج ضجيج التحلل (depolarizing noise) ( $\epsilon_{2q} = 10^{-4}$ $ϵ_{2 q} = 1 0^{- 4}$ و $5 \cdot 10^{-4}$ $5 \cdot 1 0^{- 4}$ ):
- يتوسع الخطأ النسبي أساساً مع عدد التقاطعات (عدد البوابات).
- بالنسبة لـ $\epsilon_{2q} = 5 \cdot 10^{-4}$ ، يصبح الخطأ الكمومي كبيراً جداً لدرجة أن تقريبات MPO الكلاسيكية (mpo-proj) تصبح أسرع لجميع الأحجام المختبرة.
- بالنسبة لـ $\epsilon_{2q} = 10^{-4}$ ، يُتوقع أن تتفوق الخوارزمية الكمومية (cfev) على أفضل طريقة كلاسيكية (mpo-proj) على سوبر كمبيوتر Frontier للضفائر ذات الحجم التقريبي 2,800 تقاطع.
كفاءة الطاقة: يشير التحليل إلى أنه بالنسبة لـ $\epsilon_{2q} = 10^{-4}$ ، يصبح النهج الكمومي أكثر كفاءة في استهلاك الطاقة من طريقة mpo-proj الكلاسيكية عند حوالي 2,400 تقاطع، بافتراض سحب طاقة قدره 75 كيلوواط للمعالج الكمومي.

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

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

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

أبحاث مشابهة