Fidelity Determines the Minimum Error of Quantum Recovery

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

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

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

لقد أثبت الباحثون ذلك من خلال بناء أداة رياضية محددة تعمل على مخرجات أي عملية استرداد معطاة. وأظهروا أن هذه الأداة، وهي عملية "يونيتاري" (unitary operation) واحدة، يمكنها دائمًا تقليل الخطأ التشغيلي — وهو أكبر تغيير ممكن في احتمالية أي قياس — إلى مستوى نقص الدقة الأصلي. بعبارة أخرى، "الترنح" الذي يتبقى بعد إصلاح جيد يعتمد على الدقة يمكن القضاء عليه تمامًا بهذه الخطوة النهائية. كما تحدد الدراسة بدقة شكل هذه التصحيحات المثالية؛ إذ تكشف أنه بينما توجد عمليات استرداد مختلفة تحقق أفضل دقة ممكنة، إلا أنها لا تحقق جميعها أفضل أداء تشغيلي ممكن. ومن الأهمية بمكان أن التصحيح "القطبي" (polar correction) المعياري يتفوق بوضل على التصحيحات المثالية الأخرى من حيث المتانة؛ فإذا كان التعديل النهائي نفسه غير مثالي، فإن التصحيح القطبي يجعل الخطأ التشغيلي ينمو ببطء شديد (باتباع علاقة تربيعية)، بينما تكون التصحيحات المثالية الأخرى أكثر حساسية، حيث تنمو الأخطاء بمعدل أسرع (بمقياس الخطأ مرفوعًا للقوة 4/3). وهذا يشير إلى أن التصحيح القطبي ليس مثاليًا رياضيًا فحسب، بل هو متفوق عمليًا أيضًا لأنه أكثر تسامحًا مع العيوب الطفيفة في الأجهزة.

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

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

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

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