A quantum annealing approach to the minimum distance problem of quantum codes
تقترح هذه الورقة صياغة لنموذج QUO مستقل عن المذيب مع زيادة لوغاريتمية في عدد المتغيرات لحساب المسافة الدنيا لأكواد التثبيت الكمومية، مما يثبت جدواها على أجهزة D-Wave للتقطيع الكمومي مع تسليط الضوء على الاتصال والدمج كقيود تقنية حالية في الأجهزة.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تعد الحواسيب الكمومية بحل مشكلات قد تستغرق الحواسيب الفائقة الحالية آلاف السنين لفك شفرتها، لكنها هشة للغاية. ولجعلها مفيدة، يجب على العلماء حماية المعلومات التي تحتوي عليها من أدنى قدر من الضجيج أو التداخل. وهم يفعلون ذلك من خلال بناء "أكواد تصحيح الخطأ الكمومي"، والتي تعمل كشبكة أمان، حيث تنشر قطعة واحدة من المعلومات عبر العديد من الجسيمات الفيزيائية بحيث إذا تعطل أحدها، يمكن استعادة البيانات. وتُقاس قوة شبكة الأمان هذه بقيمة تسمى "المسافة الدنيا". فكر في هذه المسافة على أنها عدد الأخطاء المنفصلة التي يمكن للكود تحملها قبل فقدان المعلومات. وكلما زادت المسافة، كان الكود أفضل. ومع ذلك، فإن تحديد مدى قوة كود معين بدقة، خاصة مع نمو حجمه، هي مهمة صعبة للغاية لدرجة أنها تنتمي إلى فئة من المشكلات المعروفة باسم "NP-hard"، مما يعني أن الوقت المطلوب لحلها ينمو بشكل انفجاري كلما كبر حجم المشكلة.
لقد اتخذ فريق من الباحثين في جامعة كنتاكي نهجًا جديدًا لهذا التحدي من خلال التساؤل عما إذا كانت الآلات نفسها التي نأمل أن تحل هذه المشكلات الصعبة يومًا ما يمكن أن تساعدنا في تصميم أكواد أفضل اليوم. فقد طوروا طريقة لترجمة سؤال "ما مدى قوة هذا الكود؟" إلى صيغة يمكن للآلات الكمومية الحديثة فهمها ومحاولة حلها. هذه الصيغة، المعروفة باسم "مشكلة التحسين الثنائي التربيعي غير المقيد" (QUBO)، هي في الأساس طريقة لترتيب مجموعة من المفاتيح لإيجاد التكوين الأكثر كفاءة. وقد أعاد الباحثون صياغة مشكلة قوة الكود في هذه اللغة، مع إضافة قدر ضئيل فقط من التعقيد الإضافي. ثم اختبروا طريقتهم على آلة كمومية حقيقية، وهي D-Wave Advantage 4.1، التي تستخدم عملية تسمى "التلدين الكمومي" (quantum annealing) للبحث عن الحل الأمثل من خلال تطوير النظام ببطء من حالة بسيطة إلى حالة معقدة.
تقدم نتائج هذه التجربة صورة واضحة لمكان وقوف التكنولوجيا الكمومية في الوقت الحالي. فعندما شغّل الباحثون طريقتهم الجديدة على الملدن الكمومي، نجحت في إيجاد القوة الدقيقة للأكواد للأحجام الصغيرة، حتى نقطة معينة. ومع ذلك، مع نمو الأكواد لتصبح أكبر، بدأت الآلة في المعاناة، وغالبًا ما كانت تقدم تقديرًا آمنًا ولكن متحفظًا، بدلًا من الإجابة الدقيقة. ووجد الفريق أن أداء الآلة الكمومية يتأثر بشدة بمدة تشغيلها؛ فإذا كانت العملية قصيرة جدًا، فلن تملك الآلة الوقت الكافي للعثور على أفضل إجابة، وإذا استمرت لفترة طويلة جدًا، فإن الضجيج المتأصل في الآلة بدأ في إفساد النتيجة. وقد اكتشفوا أن مدة محددة تبلغ حوالي 4.5 ميكروثانية كانت هي "النقطة المثالية" لاختباراتهم.
ولرؤية ما إذا كان هذا النهج الكمومي مفيدًا حقًا، قارن الفريق بينه وبين طريقتين أخريين: نهج هجين يقسم المشكلة بين حاسوب كلاسيكي وآلة كمومية، ونهج كلاسيكي بحت يستخدم خوارمازميات قياسية ومعروفة جيدًا. أدى النهج الهجين (الكمومي-الكلاسيكي) أداءً مشابهًا لنهج كلاسيكي استدلالي (heuristic) بحت، مما يعني أن الجزء الكمومي لم يوفر ميزة سرعة كبيرة مقارنة بالجزء الكلاسيكي في هذا الاختبار المحدد. والأهم من ذلك، عند مقارنته بخوارزميات كلاسيكية متخصصة مصممة خصيصًا لإيجاد مسافات الأكواد، تراجعت الطرق الكمومية. فقد تمكنت الأدوات الكلاسيكية المتخصصة من إيجاد الإجابات الدقيقة لجميع الأكواد المختبرة في نفس الوقت، بينما لم تتمكن الطرق الكمومية من ذلك.
تشير الدراسة إلى أنه على الرغم من أن الطريقة الجديدة لترجمة المشكلة إلى صيغة مناسبة للآلات الكمومية سليمة رياضياً وفعالة من الناحية النظرية، إلا أن الأجهزة الحالية ليست قوية بما يكفي للتفوق على أفضل الحواسيب الكلاسيكية في هذه المهمة المحددة. والعائق الرئيسي ليس عدد المتغيرات في المشكلة، بل الطريقة التي تتصل بها الأجزاء الداخلية للآلة الكمومية. فلتشغيل المشكلة على الأجهزة، اضطر الباحثون إلى استخدام تقنية تسمى "الدمج الثانوي" (minor embedding)، والتي تربط العديد من المكونات الفيزيائية معًا لتمثيل متغير منطقي واحد. تسببت هذه العملية في نمو عدد المكونات الفيزيائية المطلقة بشكل أسرع بكثير من حجم المشكلة نفسها، مما خلق عبئًا إضافيًا كبيرًا حدّ من حجم الأكود التي تمكنوا من اختبارها.
وعلى الرغم من عدم تفوقها على الحواسيب الكلاسيكية في هذه الحالة، إلا أن هذا العمل يعد بمثابة "إثبات مفهوم" قيم. فهو يوضح أن المشكلة الصعبة المتمثلة في اعتماد جودة الكود الكمومي يمكن بنجاح نقلها إلى إطار عمل كمومي مع زيادة لوغاريتمية فقط في التعقيد. ويخلص الباحثون إلى أن القيود الحالية تعود على الأرجح إلى الأجهزة المستخدمة تحديدًا، وخاصة من حيث مستوى الاتصال والضجيج، وليس بسبب خلل جوهري في النهج نفسه. ومع ازدياد ترابط الآلات الكمومية وانخفاض مستويات الضجيج فيها في المستقبل، يمكن أن تصبح هذه الطريقة أداة قوية لتصميم الحواسيب الكمومية القوية في الغد. أما في الوقت الحالي، فتعتبر الدراسة بمثابة معيار واقعي، يظهر أنه بينما يعد "التلدين الكمومي" مسارًا واعدًا، تظل الأدوات الكلاسيكية المتخصصة هي الأكثر فعالية لاعتماد جودة الأكود الكمومية اليوم.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.