A Classification of Translation-Invariant Quantum Codes in Any Dimension

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

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

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

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

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

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

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

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