Low-Overhead Quantum Error Correction with Boundary-Connected Planar Modules

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

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

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

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

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

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

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