Materialised symmetries of 2D translationally invariant codes

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

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

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

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

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

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

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

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