تقدم هذه الورقة إطاراً للترميز الكمي قائماً على مقياس لي (Lee metric) لمعالجة ضوضاء الإزاحة الصغيرة المنفصلة، حيث تطور أكواد التثبيت (stabilizer codes) عبر Zq التي توفر مكاسب كفاءة محتملة للكيوبتات مع الكشف عن قيود المسافة الجوهرية للـ "كوديتات" (qudits) ذات الـ q الكبيرة واستكشاف خصائص التصحيح الذاتي لأكواد التكرار الحلزونية.
المؤلفون الأصليون:Jinkang Guo, Yiqiu Han, Aranya Chakraborty, Shubham P. Jain, Tianhao Liu, Victor V. Albert, Andrew Lucas
في السباق لبناء حاسوب كمي عامل، يواجه العلماء مشكلة جوهرية: بتات المعلومات الهشة، التي تُسمى "الكيوبتات" (qubits)، تتعرض باستمرار للقصف بالضجيج. هذا الضجيج يسبب أخطاءً، مما يؤدي إلى تشويه الحسابات الدقيقة قبل أن تكتمل. ولمواجهة ذلك، يستخدم الباحثون تصحيح الخطأ الكمي، وهي طريقة يتم فيها توزيع المعلومات عبر العديد من الجسيمات الفيزيائية بحيث إذا تعرض أحدها للفساد، يمكن للآخرين الكشف عن الخطأ وإصلاحه. لسنوات، تعامل النهج القياسي مع كل خطأ محتمل على أنه متساوٍ في الاحتمالية، حيث كانوا يحصون الأخطاء ببساطة بناءً على عدد الجسيمات المعنية. يشبه هذا افتراض أن خطأً مطبعياً في كتاب هو بنفس احتمالية كون الخطأ حرفاً واحداً مفقوداً كما هو حال فقرة كاملة من الهراء. ومع ذلك، في العديد من الأنظمة الواقعية، مثل النوى المغزلية للذرات المستخدمة لتخزين البيانات، تكون الأخطاء الصغيرة أكثر شيوعاً بكثير من الأخطاء الكبيرة والفوضوية. ففيزياء هذه الأنظمة تفضل طبيعياً الإزاحات الصغيرة واللطيفة على القفزات الضخمة.
لقد طور فريق من الفيزيائيين الآن إطار عمل جديد يأخذ هذا الواقع بعين الاعتبار. فبدلاً من عد الأخطاء بعدد الجسيمات التي تلمسها، يقومون بقياسها بحجم الإزاحة التي تسببها. هذا النهج، المعروف باسم "مقياس لي" (Lee metric)، يعامل النغزة الصغيرة كخطأ طفيف والقفزة الكبيرة كخطأ جسيم. ومن خلال تصميم أكواد تحمي خصيصاً من هذه النغزات الصغيرة والمتكررة، وجد الباحثون أنهم يستطيعون بناء أنظمة أكثر كفاءة بكثير. لقد اكتشفوا أنه لأنواع معينة من الأجهزة الكمية، يمكن لهذه الأكواد الجديدة اكتشاف الأخطاء وإصلاحها باستخدام عدد أقل من الجسيمات الفيزيائية مما تتطلبه الطرق القديمة. وفي بعض الحالات، وجدوا أكواداً يمكنها تصحيح نوعين من الأخطاء بستة جسيمات فقط، بينما كان النهج التقليدي سيحتاج إلى أحد عشر جسيماً. وتعد هذه الكفاءة خطوة كبيرة للأمام، مما يشير إلى أننا نستطيع بناء ذاكرات كمية أكثر قوة دون الحاجة إلى عدد مستحيل من المكونات.
ولم يتوقف الباحثون عند إيجاد أكواد أفضل، بل استكشفوا أيضاً كيف تتصرف هذه الأكواد عندما تتعرض الجسيمات للعمليات المعقدة اللازمة للحساب. لقد رسموا خريطة لكيفية انتشار الأخطاء عند تطبيق البوابات الكمية، وهي الأدوات التي تتلاعب بالمعلومات. ووجدوا أنه بينما يمكن لبعض العمليات أن تضخم الأخطاء الصغيرة، فإن بعضها الآخر يتركها دون تغيير، مما يوفر دليلاً واضحاً حول الأدوات الآمنة للاستخدام. وتضمن جزء ذكي للغاية من عملهم ترجمة هذه الأكود الجديدة إلى لغة الكيوبتات القياسية ذات المستويين. فقد أظهروا أن الأكواد المبنية على جسيمات ذات أربعة مستويات يمكن تحويلها إلى أكواد قوية للأنظمة ذات المستويين، مما يفتح آفاقاً جديدة لتخزين المعلومات كانت مخفية سابقاً. وقد كشفت هذه الترجمة أن بعض هذه الأكواد الجديدة تمتلك بوابات خاصة يمكن تطبيقها مباشرة عبر النظام بأكمله، وهي ميزة نادرة ومطلوبة بشدة في الحوسبة الكمية.
رغم هذه النجاحات، يضع البحث أيضاً خطاً فاصلاً في الرمال فيما يتعلق بما هو ممكن. فقد أثبت الفريق أنه حتى مع هذه الأكواد المتقدمة، هناك حد أقصى لكيفية حماية المعلومات بطريقة مرغوبة معينة. لقد أظهروا أنه بالنسبة لهذه الأكواد، لا يمكن للمسافة التصحيحية أن تنمو بشكل أسرع من الخطية مع حجم النظام، بغض النظر عن مدى كبر الحالات الداخلية للجسيمات. ويكشف هذا الاكتشاف عن عائق غير متوقع أمام استخدام الفضاء الهيلبرتي الكبير لـ "الكيوديت" (qudit) كبير الـ q لصنع أكواد ذات مسافة "لي" عالية. وهذا ينفي الأمل في أن جعل الجسيمات أكبر أو أكثر تعقيداً سيؤدي تلقائياً إلى إنشاء ذاكرة كمية مثالية ذاتية الإصلاح تعمل في درجة حرارة الغرفة. إن قوانين الفيزياء، كما كشف عنها تحليلهم، تمنع القدرة على تصحيح الخطأ من النمو بالسرعة الكافية للتغلب على الضجيج الحراري بالطريقة التي كان يأملها البعض.
ومع ذلك، فإن القصة لا تنتهي بالهزيمة. فقد حدد الباحثون فئة محددة من الأكواد، المبنية من أنماط متكررة تلتف عبر النظام، يمكنها تخزين المعلومات لفترات طويلة للغاية تحت ظروف معينة. تعمل هذه الأكواد كطريق باتجاه واحد للأخطاء؛ فبينما من السهل ارتكاب خطأ صغير، فمن الصعب للغاية الانجراف عرضياً للوصول إلى حالة أخرى خاطئة. وفي عمليات المحاكاة، أظهرت هذه الأكواد قدرة على الاحتفاظ بالمعلومات لفترات زمنية تنمو بشكل أسي مع كبر حجم النظام، بشرط أن تمتلك الجسيمات حالات داخلية كافية. وهذا يشير إلى أنه بينما قد يكون الوصول إلى ذاكرة مثالية عالمية ذاتية التصحيح أمراً بعيد المنال، إلا أن هناك مسارات واعدة لبناء ذاكرات كمية يمكنها البقاء لفترات طويلة في العالم الحقيقي، مما يقدم أملاً واقعياً لمستقبل التكنولوجيا الكمية. وقد وجد الباحثون أن هذه "الأكواد اللولبية" يمكنها حماية نوع واحد من الأخطاء (أخطاء Z) تلقائياً في درجات الحرارة العالية، ولكن تظل مسألة ما إذا كان بإمكانها حماية النوع الآخر من الأخطاء (أخطاء X) بنفس الطريقة سؤالاً مفتوحاً.
ملخص تقني: الأكواد الكمومية في مقياس لي (Lee Metric)
بيان المشكلة تفترض الأطر النظرية الحالية لتصحيح الأخطاء الكمومية بشكل سائد وجود الكيوبتات (أنظمة ثنائية المستويات) وتستخدم مقياس هامينج (Hamming metric)، الذي يحصي عدد الأنظمة الفرعية الفيزيائية التي يؤثر عليها الخطأ. ومع ذلك، فإن العديد من المنصات الفيزيائية، مثل السبينات النووية أو الدوائر فائقة التوصيل، تمتلك طبيعيًا أنظمة q-level (qudits) حيث q>2. في هذه الأنظمة، غالبًا ما تُنمذج الأخطاء كإزاحات صغيرة في فضاء الطور (بشكل مشابه لضجيج الإزاحة في الأنظمة ذات المتغيرات المستمرة) بدلاً من كونها انقلابات "باولي" عشوائية. وبناءً على ذلك، فإن الإزاحة بمقدار k (مثل Xk) تختلف فيزيائيًا عن الإزاحة بمقدار 1، ويقل احتمال حدوثها عادةً مع زيادة مقدار الإزاحة. يفشل مقياس هامينج القياسي في التقاط هذا الهيكل، حيث يعامل X1 و Xk كأخطاء متساوية الوزن إذا أثرا على نفس العدد من الكيوديتات. تعالج هذه الورقة الفجوة في الأدبيات من خلال تطوير صياغة منهجية لأكواد الموازن (stabilizer codes) الكمومية فوق Zq تستخدم مقياس لي (Lee metric)، والذي يزن الأخطاء بناءً على مقدار إزاحات X و Z بدلاً من مجرد حجم دعمها.
المنهجية يطور المؤلفون إطارًا نظريًا شاملاً للأكواد الكمومية في مقياس لي، ممددين نظرية ترميز مقياس لي الكلاسيكية إلى المجال الكمومي. تسير المنهجية عبر عدة مراحل رئيسية:
تعريف المقياس: تحدد الورقة مقييسين لسلاسل باولي XxZz على n من الكيوديتات:
مقياس لي المنفصل: يسجل الزوج (∣x∣L,∣z∣L)، وهو مناسب لأكواد CSS.
مقياس لي المشترك: يسجل المجموع ∣x∣L+∣z∣L. بالنسبة للكيوبتات، يخصص هذا المقياس وزنًا قدره 2 لأخطاء Y ووزنًا قدره 1 لأخطاء X و Z، مما يعكس الافتراض بأن أخطاء Y تنشأ من عمليات X و Z مستقلة. يُعرف وزن لي ∣x∣L بالمعادلة ∑min(xi,q−xi).
صياغة الموازن (Stabilizer Formalism): يعمم المؤلفون صياغة الموازن التناظرية (symplectic) لـ Zq باستخدام مقياس لي. يشتقون حدود تعبئة الكرة (sphere-packing bounds) ويحددون الأكواد المثالية (perfect codes) التي تشبع هذه الحدود. وعلى عكس مقياس هامينج، حيث تكون الأكواد المثالية الكمومية نادرة ومقتصرة على المسافة 3، يسمح مقياس لي بوجود أكواد مثالية بمسافات أعلى ومعاملات متغيرة (على سبيل المثال، كود مثالي لكيوديت واحد على Z10).
أكواد CSS والتورشن (Torsion): يركز جزء كبير من العمل على أكواد CSS فوق الأعداد المركبة q. يستخدم المؤلفون الصيغة العادية سميث (Smith Normal Form - SNF) لمصفوفات التحقق من التكافؤ لتحليل بنية فضاء الكود. هم يحددون صراحة "عوامل التورشن" (torsion factors)، حيث تكون أبعاد الكيوديتات المنطقية من قسمات q ولكنها أقل من q. يسمح هذا ببناء أكواد ذات مؤثرات منطقية بأبعاد محددة واشتقاق أزواج مترافقة صريحة من المؤثرات المنطقية.
التسامح مع الخطأ وانتشار البوابات (Fault Tolerance and Gate Spread): تقدم الورقة مفهوم انتشار خطأ لي (Lee error spread) (wB) لبوابات كليفورد، والذي يقيس مدى قدرة بوابة ما على زيادة وزن لي للخطأ. هذا يشبه تضخيم أخطاء الإزاحة في أكواد GKP. يثبت المؤلفون أن مسافة الخطأ المنطقي للبوابة محكومة بمسافة الكود مقسومة على انتشار البوابة. كما يحددون البوابات ذات الانتشار 1 (بوابات التبديل وبوابات فوريه) والتي تحافظ على وزن لي بدقة.
التحويل للكيوبت عبر خرائط غراي (Qubitization via Gray Maps): لسد الفجوة بين بنيات الكيوديت والكيوبت، يستخدم المؤلفون خريطة غراي (Gray map) لتحويل أكواد موازن Z4 إلى أكواد كيوبت. يوضحون أن هذه الخريطة هي تحويل متماثل (isometry) من مقياس لي على Z4n إلى مقياس هامينج على Z22n. ومن الأهمية بمكان أنهم يظهرون أنه بينما تُحول مؤثرات باولي Z4 إلى بوابات كليفورد للكيوبت، فإن بوابات كليفورد Z4 تُحول إلى المستوى الثالث من تسلسل كليفورد للكيوبت (بما في ذلك البوابات غير الكليفوردية مثل T و CS).
أكواد لي-LDPC والحدود: يعرف المؤلفون أكواد لي-LDPC، حيث تكون مصفوفات التحقق ذات وزن لي محدود. باستخدام أدوات من هندسة الأعداد (نظريات النقل)، يثبتون أنه لأي كود كمومي لي-LDPC غير بديهي، لا يمكن أن تتجاوز مسافة لي القيمة O(n)، بشكل موحد في q. وهذا يضع عائقًا أمام استخدام q كبيرة لتحقيق أكواد ذات مسافة عالية ضمن إطار عمل LDPC.
التصحيح الذاتي والذاكرة: تبحث الورقة في أكواد التكرار الحلزونية (helical repetition codes) وحواصل الضرب الفائقة لها (hypergraph products). يظهرون أنه تحت ديناميكيات متروبوليس المحلية، تظهر بعض الأكواد الحلزونية الكلاسيكية أوقات ذاكرة طويلة أسياً عند درجات حرارة ثابتة لـ q كافية، ويُعزى ذلك إلى كل من الحواجز الطاقية والآثار الإنتروبية. عند توسيعها إلى أكواد CSS كمومية عبر حواصل الضرب الفائقة، ترث هذه الأكواد التصحيح الذاتي لأخطاء Z، رغم أن وضع تصحيح أخطاء X ذاتيًا لا يزال سؤالاً مفتوحاً.
المساهمات والنتائج الرئيسية
الصياغة: وضعوا صياغة موازن صارمة لأكواد Zq باستخدام مقياسي لي المشترك والمنفصل، بما في ذلك حدود تعبئة الكرة وتصنيف الأكواد المثالية.
ميزة الكيوبت: أثبتوا أنه بالنسبة للكيوبتات، فإن التحسين لمقياس لي المشترك (الذي يحصي أخطاء Y مرتين) ينتج أكوادًا ذات مسافات أعلى من تلك المحسنة لمقياس هامينج. على سبيل المثال، كود مسافة لي [[9,1,5]] يصحح أي خطأين من نوع X/Z أو خطأ واحد من نوع Y، بينما أقصر كود مسافة هامينج يصحح أي خطأين يتطلب 11 كيوبت.
الأكواد المثالية: حددوا عائلات جديدة من أكواد لي الكمومية المثالية، بما في ذلك أكواد الكيوديت الواحد على Z10، وعائلات على Z3m، والتي لا توجد في مقياس هامينج لنفس المعاملات.
انتهاك إيستين-كنيل (Eastin-Knill): أظهروا أن نظرية إيستين-كنيل (التي تمنع البوابات غير الكليفوردية العرضية للأكواد التي تكتشف جميع أخطاء الكيوديت الفردية في مقياس هامينج) لا تنطبق على أكواد مقياس لي. يقدم المؤلفون كودًا مثاليًا بكيوديتين على Z10 يصحح جميع أخطاء وزن لي-1 ومع ذلك يسمح بعائلة مستمرة من البوابات المنطقية العرضية.
التحويل للكيوبت: قدموا طريقة لـ "تحويل Z4 للكيوبت" باستخدام خرائط غراي، محولين إياها إلى أكواد كيوبت غير إضافية (non-additive) ذات بوابات عرضية في المستوى الثالث من تسلسل كليفورد.
حدود المسافة: أثبتوا أنه بالنسبة لأكواد لي-LDPC، فإن مسافة لي محدودة بـ O(n) بغض النظر عن q. وهذا يتناقض مع الأكواد العامة حيث يمكن أن تزدد المسافة مع q عند ثبات n، مما يسلط الضوء على محدودية جوهرية لبناءات التحقق المتفرقة في مقياس لي.
الذاكرة عند درجات الحرارة العالية: أظهروا أن الأكواد الحلزونية الكلاسيكية يمكن أن تعمل كذواكر ذات درجات حرارة عالية مع أوقات ذاكرة طويلة أسياً بسبب كسر التماثل في حد q الكبير. توفر حواصل الضرب الفائقة الكمومية لهذه الأكواد أكواد 2D محلية ذات تصحيح ذاتي لأخطاء Z.
الأهمية تجادل الورقة بأن مقياس لي يوفر إطارًا أكثر واقعية وقوة محتملة لتصحيح الأخطاء الكمومية في الأنظمة التي يهيمن عليها ضجيج الإزاحة الصغيرة، مثل سبينات الكيوبت. من خلال تجاوز مقياس هامينج، يكشف المؤلفون عن:
الكفاءة: يمكن أن تكون الأكواد أكثر كفاءة (موارد فيزيائية أقل لنفس القدرة على تصحيح الخطأ) عندما يتم تصميمها لتناسب ملف الضجيج المحدد (الإزاحات ذات الوزن المنخفض).
إمكانيات جديدة: يتيح مقياس لي وجود أكواد مثالية ومجموعات بوابات عرضية كانت محظورة في مقياس هامينج، مما يتحدى النظريات القياسية مثل إيستين-كنيل عندما يكون نموذج الخطأ مقيدًا بإزاحات صغيرة.
حدود القابلية للتوسع: بينما يوفر q الكبير مزايا، تحدد الورقة حدًا صارمًا O(n) لمسافة أكواد لي-LDPC، مما يشير إلى أن تحقيق أكواد ذات مسافة عالية وذاكرة ذاتية التصحيح في نظام LDPC يتطلب أكثر من مجرد زيادة البعد المحلي q.
يعمل هذا العمل كخطوة تأسيسية نحو "التصميم المشترك" (co-design) للأكواد الكمومية والنماذج التجريبية للخطأ، مما يوفر مسارًا للاستفادة من فضاءات هيلبرت عالية الأبعاد للكيوديتات الفيزيائية من أجل حساب كمومي أكثر قوة.