Optimal two-mode bosonic loss codes from finite group symmetry
تستفيد هذه الورقة من تناظر الزمرة المنتهية لاستخلاص شروط ضرورية وكافية لبناء أكواد الفقد البوزونية ثنائية النمط المثلى، مما يؤدي إلى بناءات تحليلية تحقق أقصى مسافات الفقد بأقل أعداد من الفوتونات وتقدم دليلاً على وجود عائلة لانهائية من هذه الأكواد.
في السعي لبناء حاسوب كمي، يواجه العلماء عدوًا لا يرحم: الضجيج. فخلافًا للحواسيب الكلاسيكية، التي تخزن المعلومات في صورة أصفار وآحاد مستقرة، تستخدم الآلات الكمية حالات دقيقة من المادة يمكن أن تضطرب بسهولة بفعل بيئتها. وأحد أكثر المصادر شيوعًا لهذا الاضطراب في نوع معين من الأجهزة الكمية، المعروف باسم الدوائر فائقة التوصيل، هو فقدان الطاقة. تخيل نظامًا تُحمل فيه المعلومات بواسطة حزم من الضوء، تسمى الفوتونات، محتجزة داخل تجويف. إذا أفلت فوتون واحد فقط، فإن المعلومات التي كان يحملها تتعرض للفساد أو تُفقد تمامًا. وللحماية من ذلك، يستخدم الباحثون استراتيجية تسمى تصحيح الخطأ. إنهم يشفرون قطعة واحدة من المعلومات المنطقية عبر العديد من الجسيمات الفيزيائية، مما يخلق وفرة (تكرارًا). فإذا فشل جسيم واحد، يمكن للنظام اكتشاف الخطأ وإصلاحه دون تدمير البيانات. ويتضمن أحد النهج الذكية بشكل خاص استخدام قناتين منفصلتين لحمل الضوء؛ فإذا تم الحفاظ على العدد الإجمالي للفوتونات في كلتا القناتين ثابتًا، يمكن للنظام أن يعرف فورًا ما إذا كان قد فُقد فوتون بمجرد التحقق من العدد الإجمالي، مما يحول خطأً تدميريًا إلى قطعة مفقودة معروفة يسهل إصلاحها.
كان التحدي يكمن في إيجاد الطريقة الأكثر كفاءة لترتيب هذه الفوتونات بحيث يمكن للنظام تصحيح أقصى عدد من حالات الفقد مع استخدام أقل قدر من الموارد. وفي دراسة جديدة، كشف باحثون في جامعة شيكاغو عن نظام رياضي خفي يحل هذه المشكلة. لقد بدأوا بتشغيل عمليات محاكاة حاسوبية قوية للبحث عن أفضل الترتيبات الممكنة للفوتونات في الأنظمة التي تحتوي على ما بين أربعة وخمسة وعشرين فوتونًا. لم يفرضوا أي قواعد أو أنماط مسبقة على عملية البحث؛ بل تركوا الحاسوب يبحث ببساطة عن التكوين الذي يوفر أعلى مستويات الحماية ضد الأخطاء. ومن المثير للدهشة أن الحاسوب لم يجد حلولًا عشوائية فوضوية، بل وجد أن كل كود من الأكواد الأفضل أداءً التي اكتشفها يتبع نمطًا متكررًا صارمًا يعتمد على تناظرات مجموعة منتهية. وببساغة أخرى، فإن الطريقة المثلى لترتيب هذه الفوتونات ليست فوضى عشوائية، بل هي تصميم عالي الهيكلية يبدو متشابهًا عند تدويره أو عكسه بطرق معينة، تمامًا مثل أوجه مجسم هندسي.
كان هذا الاكتشاف نقطة تحول. فقد أدرك الباحثون أن هذه الأنماط الرقمية لم تكن مجرد مصادفات، بل كانت تشير إلى حقيقة رياضية أعمق. استخدموا هذه الرؤية لاستنباط مجموعة جديدة من القواعد لبناء هذه الأكواد. فبدلاً من التخمين والتحقق، أصبح بإمكانهم الآن بناء الأكواد المثالية باتباع قواعد هذه التناظرات. سمحت لهم هذه الطة بإنشاء أكواد دقيقة ومثبتة رياضيًا تطابق أفضل تخمينات الحاسوب، بل ووجدت حلولًا جديدة وأفضل مما وجده الحاسوب. على سبيل المثال، صمموا أكوادًا يمكنها تصحيح فقدان ما يصل إلى عشرة فوتونات باستخدام عدد إجمالي من الفوتونات أقل من أي طريقة معروفة سابقًا. وتحديدًا، وجدوا أكوادًا يمكنها التعامل مع ستة، وثمانية، وعشر حالات فقد باستخدام ثمانية وعشرين، وتسعة وأربعين، وستة وسبعين فوتونًا على التوالي، مما حقق أرقامًا قياسية جديدة في الكفاءة.
كما طور الفريق طريقة لإثبات أن أكوادهم هي الأفضل حقًا بالنسبة لحجمها. استخدموا عملية اعتماد رياضية صارمة لإظهار أنه لا يوجد أي ترتيب آخر لنفس العدد من الفوتونات يمكنه تصحيح المزيد من الأخطاء. وفي واحد وعشرين حالة من أصل اثنتين وعشرين حالة فحصوها، وصلت الأكواد التي صمموها إلى الحد النظري الأقصى للأداء. وفي الحالة المتبقية الوحيدة، كان الكود الذي وجدوه يقل بخطوة واحدة فقط عن الحد، مما يشير إلى أن الحد النظري قد يكون أعلى قلي من المحسوب حاليًا، أو أن هناك كودًا أفضل موجودًا ولكنه صعب العثور عليه للغاية. كما حدد الباحثون تسلسلًا محددًا لهذه الأكواد يعتقدون أنه يستمر إلى ما لا نهاية، مما يوفر مخططًا لبناء ذاكرة كمية قابلة للتوسع بكفاءة.
تكمن أهمية هذا العمل في قدرته على تحويل البحث الصعب والمفتوح إلى عملية تصميم ممنهجة. ومن خلال إدراك أن أفضل الحلول تنبثق من تناظرات المجموعات المنتهية، قدم الباحثون مسارًا واضحًا نحو بناء أجهزة كمية أكثر متانة. هذه الأكواد ليست مجرد فضول نظري؛ فهي قابلة للتطبيق مباشرة على الأنظمة الفيزيائية التي يتم بناؤها اليوم. ولأن التناظرات المعنية يمكن تنفيذها باستخدام مكونات بصرية قياسية، يمكن تحقيق هذه الأكود في المختبر دون الحاجة إلى تقنيات جديدة غريبة. وتشير الدراسة إلى أن الطريقة الأكثر كفاءة لحماية المعلومات الكمية من الفقد هي ترتيبها بهيكل هندسي محدد وأنيق، وهو مبدأ يمكن أن يوجه تطوير الجيل القادم من الحواسيب الكمية.
ملخص تقني: أكواد الفقد البوزوني المثلى ثنائية النمط من التناظر المجموعي المحدود
بيان المشكلة يعد فقد الفوتونات الآلية السائدة للضجيج في الأجهزة الكمومية البوزونية، مثل الفجوات فائقة التوصيل. وبينما تسمح ترميزات المسار المزدوج (∣0⟩∣1⟩,∣1⟩∣0⟩) بكشف فقد الفوتونات عبر قياسات العدد الإجمالي للفوتونات، إلا أنها لا تستطيع تصحيحه. إن تشفير المعلومات المنطقية في فضاءات ذات عدد إجمالي ثابت من الفوتونات (Hn) لنمطين بوزونيين يوفر إمكانية الكشف عن الفقد وتصحيحه معاً. ومع ذلك، يظل تحديد الترميزات المثلى داخل هذه الفضاءات لأي عدد من الفوتونات (n) ومسافة فقد (d) مسألة تحسين معقدة. اعتمدت النهج السابقة على ربط هذه الأكواد بأكواد اللف المغزلي (spin codes) أو الأكواد المتناظرة تبادلياً، لكن هذه الربوطات لم تحدد بطبيعتها أي الأكواد هي المثلى ضد الفقد.
المنهجية يستخدم المؤلفون خط معالجة يتكون من ثلاث مراحل يجمع بين التحسين العددي، ونظرية التمثيل، والتحقق عبر البرمجة الخطية:
الاكتشاف العددي: يقوم المؤلفون بإجراء تحسين غير مقيد للوفاء بالتشابك (entanglement fidelity) للبتات الكمومية المنطقية المشفرة في فضاء العدد الإجمالي الثابت للفوتونات Hn للمدى 4≤n≤25. ويستخدمون إطار عمل للتحسين ثنائي التحدب (bi-convex optimization) لإيجاد خرائط التشفير وفك التشفيد المثلى. ومن الأهمية بمكان أنهم قاموا بتفكيك مشكلة الاسترداد إلى برامج شبه محددة (SDPs) مستقلة لكل قطاع من قطاعات عدد الفوتونات الناجية، مما أدى إلى تسريع عملية البحث بشكل كبير.
تحديد التناظر والبناء التحليلي: عند ملاحظة أن الأكواد المثلى عددياً تتوافق بشكل وثيق مع مساقط التناظر المجموعي المحدود، استنتج المؤلفون شروط "كنيل-لام" (Knill–Laflamme) الضرورية والكافية لأي أكواد متناظرة مع مجموعة محدودة.
أثبتوا وجود تكافؤ مباشر بين تصحيح ما يصل إلى k من فقد الفوتونات وكشف التوترات الدورانية غير القابلة للاختزال من الرتبة k كحد أقصى.
باستخدام نظرية التمثيل، قاموا باختزال شروط "كنيل-لام" إلى قيود على فضاءات التعدد (multiplicity spaces).
أثبتوا أن مجموعة دنيا من مؤثرات "البذور" (seed operators) (وهي القوى المدورة لمؤثر الرفع J+) كافية لفرض تصحيح الخطأ لكامل مدار المجموعة، مما يحول عملية البناء إلى حل معادلات على هذه البذور.
التحقق: للتحقق من المثالية، استخدم المؤلفون حدود "ماكويليس" للبرمجة الخطية (MacWilliams LP) المكيفة لأكواد اللف المغزلي SU(2). وقد قاموا بتوليد شهادات "فاركاس" (Farkas certificates) دقيقة لإثبات عدم وجود أكواد ذات مسافات أعلى لمعاملات محددة، مما يضع حدوداً عليا صارمة على مسافة الفقد القابلة للتحقيق.
المساهمات الرئيسية
ظهور تناظر المجموعة المحدودة: تكشف الدراسة أن التحسين غير المقيد لأكواد تصحيح الفقد يؤدي طبيعياً إلى أكواد تمتلك تناظر المجموعة المحدودة (تحديداً المجموعات الجزئية من SU(2)). في المدى 4≤n≤25، تتوافق جميع أفضل الأكواد العشرين المكتشفة مع التمثيلات غير القابلة للاختزال ثنائية الأبعاد أو التمثيلات المختزلة لمجموعات محدودة.
إطار بناء عام: يقدم المؤلفون طريقة منهجية لبناء أكواد دقيقة من تناظر المجموعة المحدودة. يقلل هذا الإطار من شروط "كنيل-لام" المعقدة في فضاء المؤثرات إلى معادلات في فضاءات التعدد، ويحدد الحد الأدنى من مؤثرات البذور المطلوبة لغمر فضاء الخطأ لأي رتبة تتر de.
تسلسل ثنائي متعدد الأوجه: مدفوعين بالنتائج العددية، قام المؤلفون ببناء عائلة لانهائية من الأكواد تعتمد على المجموعات متعددة الأوجه الثنائية (2O للمسافات الزوجية، و 2T للمسافات الفردية). واقترحوا تسلسلاً لأعداد الفوتونات nd=⌈(3d2+1)/4⌉ الذي يحقق المسافة d.
أكواد جديدة محطمة للأرقام القياسية: قام المؤلفون ببناء أكواد صريحة لـ (n,d)=(28,6)،(49,8)،(76,10). وبحسب علم المؤلفين، تستخدم هذه الأكواد أصغر أعداد فوتونات مسجلة لمسافاتها المقابلة، مما يحسن من الأرقام القياسية السابقة (على سبيل المثال، تقليل n للمسافة d=6 من 36 إلى 28).
النتائج
المثالية في القطاعات الممسوحة: بالنسبة لـ 21 من أصل 22 عدداً فوتونياً ممسوحاً (4≤n≤25)، تحقق الأكواد المبنية أقصى مسافة فقد مسموح بها بواسطة حد "ماكويليس" للبرمجة الخطية. الاستثناء الوحيد هو n=18، حيث يسمح حد "ماكويليس" بمسافة 5، لكن أفضل بناء تم العثور عليه حقق مسافة 4.
الرتابة (Monotonicity): أثبت المؤلفون أن حد جدوى البرمجة الخطية رتيب في العدد الإجمالي للفوتونات n؛ فإذا كان الكود ذو المسافة d ممكناً لـ n، فإنه يكون ممكناً أيضاً لـ n+1.
الدقة مقابل العدد: يستعيد البناء التحليلي الأكواد العددية بدقة عالية. وفي بعض الحالات (مثل n=15)، يحدد البناء التحليلي بنية كود (المجموعة الثنائية رباعية الأوجه 2T) لم يجد البحث العددي ذو البداية العشوائية سوى تقريب لها، مما يثبت القوة التنبؤية للنهج القائم على التناظر.
توازن القيود: بالنسبة لعائلة متعدد الأوجه الثنائية المقترحة، أظهر المؤلفون أن عدد قيود "كنيل-لام" المختزلة بالتناظر يطابق تماماً درجات الحرية المتاحة في فضاء التعدد للمساقط من الرتبة الأولى، مما يوفر دليلاً هيكلياً على وجود هذه العائلة اللانهائية.
الأهمية توضح الورقة أن تناظر المجموعة المحدودة ليس مجرد فرضية لبناء الأكواد البوزونية، بل هو خاصية ناشئة عن التصحيح الأمثل للفقد. يربط هذا الاتصال بين الاكتشاف العددي والبناء التحليلي، محولاً الأكواد المكتشفة عددياً إلى حلول دقيقة وقابلة للإثبات. يوفر هذا العمل مبدأ تصميم منهجياً لأكواد بوزونية فعالة من حيث الأجهزة تحتفظ بميزة الكشف عن الفقد الموجودة في المسار المزدوج مع تمكين التصحيح أيضاً. يزعم المؤلفون أن عمليات البناء وعدّ القيود التي قاموا بها توفر دليلاً قوياً على وجود عائلة لانهائية مفترضة من الأكواد التي تحقق كل مسافة d عند الحد الأدنى الممكن لعدد الفوتونات nd. وبينما يدعم وجود هذه العائلة العد من خلال عد القيود والبناء العددي حتى d=10، يشير المؤلفون إلى أن الإثبات الصارم لوجود هذه العائلة لجميع قيم d يظل مسألة مفتوحة. بالإضافة إلى ذلك، فإن الفجوة بين حد البرمجة الخطية والأكواد المبنية عند معاملات معينة (مثل n=18) تشير إلى أن استرخاء البرمجة الخطية قد لا يكون محكماً، مما يترك مجالاً لأكواد أفضل أو حدود نظرية جديدة.