Reducing measurements in quantum erasure correction by quantum local recovery

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

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

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

اختصار المحقق

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

تقول ورقة ماتسوموتو: "انتظر لحظة. إذا كنا نعرف بالضبط أي قطعة مفقودة، فنحن لسنا بحاجة لاستجواب المبنى بأكمله".

تقدم الورقة طريقة تسمى الاسترداد الكمومي المحلي (Quantum Local Recovery). الفكرة الأساسية بسيطة ولكنها قوية: إذا كنت تعرف أن جسيماً معيناً قد مُحي، فأنت تحتاج فقط إلى قياس "المثبتات" (الأدلة) المرتبطة فعلياً بذلك الجسيم المفقود. أي دليل ليس له علاقة بالقطعة المفقودة هو مجرد ضجيج؛ وقياسه هو إضاعة للوقت والطاقة.

لقد أثبت المؤلف رياضياً أنه يمكنك تقسيم الأدلة إلى مجموعتين:

1. الأدلة ذات الصلة: وهي التي تساعدك فعلياً في معرفة ما كانت القطعة المفقودة.
2. الأدلة غير ذات الصلة: وهي التي لا تهتم بالقطعة المفقودة؛ وقياسها لا يعطيك أي معلومات جديدة.

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

كم هو أقل؟

الورقة لا تكتفي بالقول إنه "أقل" فحسب، بل تعطيك الرياضيات الدقيقة. إذا كان لديك δ (دلتا) من الجسيمات المفقودة (الممحوة)، فإن الطريقة الجديدة تضمن أنك ستحتاج فقط إلى قياس δ من أدلة الرؤوس (vertex clues) و δ من أدلة الوجوه (face clues) كحد أقصى.

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

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

مثال "المستوى الإسقاطي"

لإثبات نجاح ذلك، استخدم المؤلف مثالاً محدداً لكود كمومي مرسوم على شكل يسمى "المستوى الإسقاطي الحقيقي" (real projective plane) - وهو سطح غريب وملتوٍ يختلف عن الكرة. في هذا المثال، إذا تم محو حافة واحدة من اللغز، فإن الطريقة القديمة ستتطلب فحص 7 أدلة مختلفة عبر 8 جسيمات. أما الطريقة الجديدة؟ فهي تحتاج فقط إلى فحص دليلين عبر 5 جسيمات.

تؤكد الورقة أن هذا ليس مجرد تخمين أو محاكاة؛ بل هو إثبات رياضي صارم. لقد أثبت المؤلف أنه لأي "كود مثبت" (stabilizer code) -وهي فئة واسعة من الأكواد الكمومية- يمكنك رياضياً إثبات أي القياسات ضرورية وأيها عديمة الفائدة.

لماذا يهم هذا؟

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

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

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