Full-Rank Constructions of Explicit Lossless Expanders and Good Small-Set qLTCs

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

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

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

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

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

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

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

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

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