Injection is all you need: parallel universal logic in high-rate concatenated self-dual codes
تقترح هذه الورقة بنية كمومية تحقق منطقاً عالمياً متسامحاً مع الأخطاء، قابلاً للعنونة والمتوازي في أكواد ذاتية الثنائية متسلسلة عالية المعدل، وذلك عبر حقن حالات موارد متنوعة من خلال بروتوكولات "العلم عند الأصل" (flag-at-origin) والزراعة المتسلسلة، مما يؤدي إلى تخفيضات كبيرة في التكاليف الإضافية للزمان والمكان مقارنة بطرق كود السطح.
المؤلفون الأصليون:Joseph Sullivan, David Amaro, Michael A. Perlin
تعد الحواسيب الكمومية بحل مشكلات قد تستغرق الآلات العادية آلاف السنين لفك شفرتها، لكنها هشة للغاية؛ إذ يمكن لأدنى همسة من الحرارة أو الاهتزاز أن تسبب تشويشاً في المعلومات الدقيقة التي تحملها. ولبناء آلة تعمل فعلياً، يجب على العلماء تغليف بياناتهم بطبقات من الحماية، وهي تقنية تسمى تصحيح الخطأ الكمومي. يتضمن ذلك توزيع قطعة واحدة من المعلومات عبر العديد من الجسيمات الفيزيائية بحيث إذا تعطلت بعض القطع، تظل الرسالة بأكملها سليمة. لسنوات، طارد الباحثون نوعاً معيناً من الحماية: أكواداً تتسم بالكفاءة، وتخزن قدراً كبيراً من البيانات دون الحاجة إلى جيش ضخم من الجسيمات الإضافية. هذه الأكواد "عالية المعدل" تشبه محرك أقراص صلب صغير الحجم وذو سعة عالية. ومع ذلك، كان هناك عائق رئيسي يقف في طريقها دائماً؛ فبينما تعد هذه الأكواد ممتازة في تخزين البيانات، إلا أنها صعبة الاستخدام للغاية في العمليات الحسابية الفعلية. إن البنية ذاتها التي تجعلها فعالة تجعل من الصعب أيضاً معالجة أجزاء فردية من المعلومات لإجراء العمليات، مما يجبر الحاسوب على العمل بأسلوب تسلسلي بطيء بدلاً من المعالجة المتوازية السريعة اللازمة للمهام المعقدة.
اقترح فريق من الباحثين من "جي بي مورغان تشيس" و"كوانتينيوم" بنية جديدة تتجاوز هذه العقبة تماماً. فبدلاً من محاولة إجبار الكود على القيام بالعمل، يقترحون طريقة "الحقن". تخيل الحاسوب الكمومي كأرض مصنع حيث الآلات ثابتة وصلبة؛ وبدلاً من محاولة إعادة توصيل أسلاك المصنع لبناء منتجات جديدة، يقترح الفريق جلب مكونات جاهزة وعالية الجودة واستبدالها في النظام. في مخططهم، يقوم الحاسوب بإجراء الحسابات عن طريق استهلاك حالات مادية خاصة ومعدة مسبقاً تحمل التعليمات اللازمة. يسمح هذا النهج للنظام بإجراء أي عملية منطقية مطلوبة بشكل متوازٍ، مما يفتح المجال للسرعة الكاملة لهذه الأكواد الفعالة. وقد أظهر الباحثون أنه من خلال دمج أكواد بسيطة وصغيرة في هياكل أكبر وأكثر تعقيداً، يمكنهم إعداد هذه المكونات الخاصة بموثوقية عالية. وتظهر عمليات المحاكاة التي أجروها أن هذه الطريقة لا تحل مشكلة القدرة على التوجيه فحسب، بل تقلل أيضاً بشكل كبير من المساحة والوقت المطلوبين لإنتاج الموارد مقارنة بالطرق الحالية.
يكمن جوهر ابتكارهم في كيفية التعامل مع نوعين من العمليات التي يحتاجها الحاسوب الكمومي: العمليات القياسية والمتوقعة، والعمليات الأكثر غرابة وصعوبة. بالنسبة للعمليات القياسية، يستخدم الفريق تقنية تسمى "النقل الآني"، والتي تنقل المعلومات من مكان إلى آخر عن طريق استهلاك مورد مُعد مسبقاً. وقد وجدوا أنه باستخدام عائلة محددة من الأكواد التي تسمح بالعمليات الشاملة، يمكنهم تفكيك أي عملية حسابية معقدة إلى سلسلة من الخطوات البسيطة، حيث تتطلب كل خطوة عدداً قلي من هذه الموارد المُعدة مسبقاً فقط. وهذا يلغي الحاجة إلى المعالجة البطيئة خطوة بخطوة التي عانت منها الأكواد عالية المعدل. أما بالنسبة للعمليات الصعبة، وهي ضرورية ليكون الحاسوب قوياً حقاً، فقد طوروا طريقة يسمونها "الاستزراع المتسلسل". وهي عملية لنمو حالات عالية الجودة من خلال طبقات من التحقق؛ حيث يبدأون بحالة أساسية غير مثالية ويستخدمون سلسلة من الفحوصات لتصفية الأخطاء. ومن خلال تكرار هذه العملية عبر طبقات متعددة من الكود، يمكنهم خفض احتمال حدوث خطأ غير مكتشف إلى مستوى منخفض للغاية.
اختبر الباحثون أفكارهم من خلال محاكاة إعداد حالات الموارد هذه باستخدام أمثلة محددة من الأكواد. وقد نظروا في تركيبات من أكواد صغيرة، مثل تلك القائمة على "كود هامينج"، وبنوها لتصبح هياكل أكبر من مستويين. كانت نتائجهم مذهلة؛ ففي عمليات المحاكاة هذه، أثبتت الطريقة الجديدة لنمو هذه الحالات أنها أكثر كفاءة بعشر مرات على الأقل من حيث المساحة والوقت المطلوبين مقارنة بالنهج الرائد الحالي المستخدم في "أكواد السطح"، وهي النوع الأكثر شيوعاً لتصحيح الخطأ اليوم. وبينما يتطلب منهج كود السطح كمية هائلة من الأجهزة الفيزيائية لتحقيق نفس المستوى من الموثوقية، يحقق الهيكل الجديد ذلك بجزء ضئيل من الموارد. كما أظهر الفريق أنه يمكنهم إعداد الموارد اللازمة للعمليات القياسية ببصمة فيزيائية أصغر بكثير من الطرق التقليدية، التي تتطلب غالباً مصانع ضخمة من الكيوبتات لإنتاج مكون واحد قابل للاستخدام.
لا يدعي هذا العمل بناء حاسوب كمومي عامل، كما أنه لا يحل كل المشكلات المتبقية في هذا المجال. النتتائج المعروضة تستند إلى عمليات محاكاة حاسوبية مفصلة تنمذج كيفية سلوك هذه الأنظمة في ظل ظروف الضجيج الواقعية. ويقر الباحثون بأنه مع توسيع نطاق هذه الأكواد للتعامل مع حسابات أكبر، ستحتاج طرق فك تشفير الأخطاء إلى التطور من مجرد جداول بحث بسيطة إلى خوارزميات أكثر تطوراً. علاوة على ذلك، وبينما تظهر عمليات المحاكة مساراً واضحاً للمضي قدماً، فإن البناء الفعلي لهذه الدوائر في مختبر فيزيائي سيفرض تحدياته الهندسية الخاصة. ومع ذلك، توفر الدراسة مخططاً ملموساً لكيفية جعل الأكود عالية المعدل عملية. فمن خلال إظهار أن الحوسبة المتوازية الشاملة ممكنة دون العبء الهائل الذي كان يُعتقد سابقاً أنه ضروري، تشير الورقة البحثية إلى أن الطريق نحو حاسوب كمومي مفيد قد يكون أقصر وأقل استهلاكاً للموارد مما خشي الكثيرون. إن الرؤية الأساسية هي أنه من خلال تغيير كيفية تغذية التعليمات في النظام —أي حقنها بدلاً من بنائها داخل الكود— يمكننا إطلاق العنان لإمكانات أكثر هياكل تصحيح الخطأ كفاءة المتاحة.
ملخص تقني: "الحقن هو كل ما تحتاجه: المنطق العالمي المتوازي في الأكواد ذاتية التماثل المتسلسلة عالية المعدل"
بيان المشكلة توفر أكواد تصحيح الخطأ الكمي (QEC) عالية المعدل أعباءً فيزيائية منخفضة تقاربيًا لذاكرة الكم، ولكنها تواجه "مشكلة قدرة على العنونة" جوهرية. في هذه الأكواد، غالبًا ما يكون من غير الواضح كيفية إجراء بوابات منطقية على مجموعات فرعية محددة من الكيوبتات دون تسلسل العمليات، مما يحد من عرض النطاق الترددي للحوسبة. وتكافح الاستراتيجيات الحالية، مثل جراحة الشبكة المعممة أو التماثلات الذاتية للكود، لتوفير منطق عالمي قابل للعنونة ومتوازٍ داخل كتلة كود واحدة. علاوة على ذلك، تعتمد النهج القياسية لبوابات كليفورد (Clifford) المقاومة للخطأ على بروتوكولات تقطير مكلفة تتطلب أحجام مصانع كبيرة لإنتاج حالات موارد فردية.
المنهجية يقترح المؤلفون بنية كمية تتجاوز مشكلة القدرة على العنونة عن طريق "حقن" معظم البوابات المنطقية عبر أدوات نقل الحالة (Teleportation gadgets) (Steane-QEC و Knill-QEC) التي تستهلك حالات موارد مُعدة بطريقة مقاومة للخطأ. يقوم هذا النهج في الوقت نفسه بتصحيح الخطأ الكمي والتخفيف من ضوضاء التسرب. تعتمد البنية على عائلة محددة من الأكواد: الأكواد المتسلسلة المبنية من أكواد البذرة CSS ذات المتماثلات المتكافئة ذاتية التماثل (SWEL).
المكونات المنهجية الرئيسية تشمل:
أكواد SWEL: يستخدم المخطط أكواد بذرة حيث تكون مؤثرات هادامارد المنطقية العالمية (Hˉ⊗k) والطور (Sˉ⊗k) متعدية (Transversal). تسمح هذه الخاصية باختزال دوائر كليفوردر CSS التعسفية إلى حالات موارد CSS.
حقن كليفورد عبر تفكيك بروات (Bruhat Decomposition): يتم تفكيك أي وحدة كليفورد منطقية بـ k من الكيوبتات إلى تسلسل من تسع بوابات (باستخدام تفكيك بروات). يوضح المؤلفون أن كل مرحلة من مراحل هذا التفكيك يمكن حقنها باستهلاك عدد ثابت (9 كحد أقصى) من حالات موارد CSS.
إعداد حالة الموارد: بدلاً من التقطير، يستخدم المؤلفون طريقة "العلم عند الأصل" (Flag-at-Origin - F@O) لإعداد حالات CSS هذه. تتجنب هذه الطريقة الأعباء الكبيرة لمصانع التقطير.
أنواع البوابات: يتم حقن بوابات S⊗k و H⊗k باستخدام أدوات Steane-QEC التي تستهلك نواتج ضرب تينسور لحالات ∣0⟩ و ∣+⟩ المنطقية. ويتم حقن طبقات CNOT باستخدام أدوات Knill-QEC التي تستهلك حالات موارد مكونة من كتلتين.
حقن غير كليفورد (الحالات السحرية/Magic States): لتحقيق الشمولية (Universality)، يستهلك المخطط حالات ∣H⟩⊗k سحرية.
الاستزراع المتسلسل (Concatenated Cultivation): يقدم المؤلفون بروتوكولًا يسمى "الاستزراع المتسلسل" لإعداد حالات ∣H⟩⊗k عالية الدقة في الأكواد المتسلسلة. يتضمن ذلك تطبيق التقطير صفري المستوى (Zero-Level Distillation - ZLD) بشكل تكراري عند كل مستوى تسلسل.
تخفيف الخطأ: من خلال قياس مؤثرات Hˉ⊗k المتعدية في مستويات متتالية ومقارنة النتائج، يقوم البروتوكول بتخفيف احتمالية حدوث أخطاء منطقية غير قابلة للكشف إلى O(p2ℓ) عند مستوى التسلسل ℓ، حيث p هو معدل الخطأ الفيزيائي. يستفيد هذا من الطبيعة المتعدية لـ Hˉ⊗k في أكواد SWEL كآلية تنبيه مدمجة.
المساهمات الرئيسية
المنطق العالمي المتوازي والقابل للعنونة: يوضح البحث طريقة لتنفيذ دوائر كليفورد وغير كليفورد k-كيوبت في التوازي على أكواد متسلسلة عالية المعدل دون اختناقات القدرة على العنونة التي واجهتها الطرق السابقة.
إعداد موارد كليفورد الخالي من التقطير: يظهر المؤلفون أن توفر بوابات H و S المتعدية العالمية في أكواد SWEL يسمح بإعداد جميع موارد كليفورد عبر طريقة "العلم عند الأصل"، مما يلغي الحاجة إلى مصانع تقطير ضخمة.
بروتوكول الاستزراع المتسلسل: يقدم بروتوكولًا مبتكرًا لإعداد الحالات السحرية عالية الدقة في الأكواد المتسلسلة يحقق خفضًا في الأخطاء المنطقية غير القابلة للكشف بمقدار O(p2ℓ)، متجاوزًا حاجز O(p2) لقياسات التكافؤ أحادية المستوى.
القياس المرجعي: يقدم المؤلفون قياسات مرجعية عددية لثلاثة أكواد متسلسلة بمستويين: J36,4,4K، و J48,8,4K، و J96,14,6K (المبنية من أكواد بذرة J6,2,2K و J15,7,3K).
النتائج
أداء الحالة السحرية: تظهر المحاكاة التقريبية لاستزراع حالات ∣H⟩⊗K أن معدلات الخطأ المنطقي تتدرج كما هو متوقع: O(p3) للأكواد ذات المسافة-4 و O(p4) للأكواد ذات المسافة-6 (عند أخذ حسابات اختيار النتائج الموجهة بفك التشفل في الاعتبار).
العبء الزماني والمكاني: يوفر بروتوكول الاستزراع المتسلسل انخفاضًا كبيرًا في التكلفة الزمانية والمكانية مقارنة باستزراع الأكواد السطحية (Surface codes). بالنسبة للأكواد المختبرة، التكلفة الزمانية والمكانية أقل بمقدار رتبة عشرية واحدة على الأقل من إنتاج حالات سحرية مكافئة عبر استزراع الأكواد السطحية.
حالات موارد كليفورد: تظهر القياسات المرجعية لدوائر "العلم عند الأصل" أن الدوائر المحسنة للعمق تتفوق على الدوائر المحسنة للمساحة في كل من معدل الخطأ المنطقي ومعدل الاستبعاد. وبينما تكون معدلات الخطأ المنطقية لهذه الحالات السحرية أعلى من الحالات السحرية التقريبية، فإن الطريقة تتجنب العبء الهائل للكيوبتات الناتج عن التقطير (على سبيل المثال، تقليل حجم المصنع من آلاف الكيوبتات إلى مئات).
كفاءة الموارد: يتطلب المخطط بحد أقصى 12DT من حالات الموارد لتنفيذ خوارزمية كمية بعمق T قدره DT (9 لكل طبقة كليفورد و 3 لكل طبقة T).
الأهمية والادعاءات يدعي البحث تقديم مسار عملي للحوسبة العالمية المقاومة للخطأ باستخدام الأكواد عالية المعدل، والتي عادة ما يصعب استخدامها في الحوسبة. من خلال الجمع بين أكواد SWEL والحوسبة القائمة على الحقن والاستزراع المتسلسل، يوضح المؤلفون أن:
الأكواد عالية المعدل يمكن أن تدعم منطقًا عالميًا متوازيًا وقابلًا للعنونة بالكامل.
يمكن تقليل العبء اللازم لإعداد موارد الحالة بشكل جذري مقارنة بالنهج القائم على التقطير.
البنية المقترحة قابلة للتطبيق في الأجهزة القريبة من الزمن الحالي، حيث يمكن تنفيذ الدوائر المنطقية في أنظمة "الميجا-كوب" (megaquop) و"الجيجا-كوب" (gigaquop) عند معدلات خطأ فيزيائية يمكن الوصول إليها بالتقنيات الحالية.
يشير المؤلفون إلى أن نتائجهم تمثل قياسًا مرجيًا أوليًا لجودة حالة الموارد، وأن العمل المستقبلي مطلوب لتطوير تقديرات التكلفة الشاملة للخوارزميات الكاملة، بما في ذلك التحسينات الخاصة بالتجميع والجدولة. كما يؤكدون أنه بينما تستخدم هذه القياسات المرجعية أجهزة فك التشفل القائمة على جداول البحث (lookup table decoders)، ستكون أجهزة فك التشفل الخوارزمية ضرورية للتوسع إلى مستويات تسلسل أكبر.