Petz Recovery through a Single Polar Transformation for Approximate Quantum Error Correction

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

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

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

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

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

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