Improved Quantum Codes with Transversal T Gates

يتطلب بناء حاسوب كمي واسع النطاق حل مشكلة تبدو متناقضة تقريبًا: كيف يمكن حماية المعلومات الهشة دون تدميرها؟ في العالم الكمي، يمكن لعملية التحقق من الأخطاء نفسها أن تؤدي إلى بعثرة البيانات التي تحاول إنقاذها. ولتجنب ذلك، يعتمد العلماء على استراتيجية تسمى "التحمل الخطئي" (fault tolerance)، حيث يتم توزيع المعلومات عبر العديد من الجسيمات الفيزيائية، المعروفة باسم الكيوبتات (qubits)، بحيث إذا فشل أحدها، يمكن للآخرين الحفاظ على الخط. إن الطريقة الأكثر كفاءة لإجراء الحسابات على هذه المعلومات الموزعة هي من خلال العمليات "المنقولة عرضيًا" (transversal operations). تخيل جوقة موسيقية حيث يؤدي كل مغنٍ نوتة معينة في نفس اللحظة تمامًا؛ في الكود الكمي، يعني هذا تطبيق بوابة بسيطة على كل كيوبت فيزييائي في آن واحد لإنشاء عملية منطقية معقدة على البيانات المشفرة. هذه الطريقة آمنة بطبيعتها لأن الخطأ في كيوبت فيزييائي واحد لا يمكن أن ينتشر إلى العديد من الكيوبتات الأخرى أثناء العملية. ومع ذلك، فإن قانونًا أساسيًا في الفيزياء، يُعرف بنظرية إيستين-كنيل (Eastin-Knill theorem)، يملي أنه لا يمكن لأي كود كمي دعم مجموعة كاملة من العمليات الشاملة باستخدام هذه الطرق البسيطة والآمنة المنقولة عرضيًا فقط. لذلك، يجب على العلماء إيجاد طريقة لتضمين عملية واحدة صعبة على الأقل تكسر هذه القاعدة، أو إيجاد كود يدعم بوابة محددة وحاسمة بشكل عرضي بينما يتعامل مع البقية عبر وسائل أخرى.

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

في هذا العمل، طور باحث في معهد ماساتشوستس للتكنولوجيا (MIT) وشركة IBM Research إطار عمل جديدًا يوسع الإمكانيات لهذه الأكواد بشكل كبير. تقدم الدراسة طريقة لبناء أكواد كمية تدعم بوابة T عرضيًا بمعايير كانت تُعتبر سابقًا غير قابلة للتحقيق. حقق الباحث ذلك من خلال تكييف فئة من الهياكل الرياضية المعروفة باسم "أكواد المونوميال المتناقصة" (decreasing monomial codes). تُبنى هذه الأكواد من كثيرات حدود يتم تقييمها فوق شبكة من النقاط، وقد تضمن ابتكار الباحث في اختيار النقاط التي سيتم الاحتفاظ بها والتي سيتم إزالتها بعناقة، وهي عملية تسمى "الثقب" (puncturing). ومن خلال اختيار إزالة نقاط بنمط محدد ومنظم، تمكن الباحث من إنشاء كيوبتات منطقية محمية بواسطة الهيكل المتبقي. والأهم من ذلك، تثبت الدراسة أنه باستخدام نوع معين من أكواد كثيرات الحدود الموزونة وثقبها عند مجموعة مختارة بعناية من النقاط، يمكن إنشاء أكواد كمية لا تدعم بوابة T فحسب، بل تحقق أيضًا معدل ثابت لتخزين المعلومات بينما ينمو مسافة تصحيح الأخطاء مع توسع النظام. هذه هي المرة الأولى التي يتم فيها تحقيق هذا المزيج للأكواد التي تدعم بوابة T دون الحاجة إلى خطوات تصحيح إضافية.

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

تتعلق واحدة من أعمق التداعيات لهذه النتائج بكفاءة "تقطير الحالة السحرية" (magic state distillation)، وهي عملية مطلوبة لتحويل العمليات الكمية المشوبة بالضجيج إلى بوابات T عالية الدقة المطلوبة للحوسبة. في الأعمال السابقة، كانت كفاءة هذه العملية محدودة بأس معين يحدد مقدار الموارد الفيزيائية اللازمة لإنشاء بوابة منطقية واحدة عالية الجودة. تسمح الأكواد التي تم إنشاؤها في هذه الدراسة لهذا الأس بالاقتراب من الصفر، مما يعني أن العبء المطلوب لإنشاء هذه البوابات الأساسية يصبح ضئيلاً مع توسع النظام. ويمثل هذا تحسنًا دراماتيكيًا مقارنة بأفضل النتائج السابقة، حيث ظل العبء يمثل جزءًا كبيرًا من إجمالي الموارد. ويشير الباحث أيضًا إلى أنه على الرغم من أن هذه الأكود ليست بالضرورة "أكواد تحقق من التماثل منخفضة الكثافة" (low-density parity-check codes)، وهي هدف شائع للتنفيذ في الأجهزة، إلا أنه يمكن أن تعمل كطبقة منطقية قوية فوق أكواد أخرى أو تُستخدم مباشرة في البنى التحتية التي تكون فيها القيود الفيزيائية أقل صرامة. توفر الورقة تعبيرًا رياضيًا مغلق الشكل لمسافة هذه الأكود المثقوبة، وهي نتيجة قد تكون مفيدة في مجالات أخرى من نظرية الاتصالات الكلاسيكية والكمية.

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

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