Building codes with transversal CCZ using projective geometry and SAT solvers
تُنشئ هذه الورقة أكواد CSS تحتوي على ثلاث كيوبتات منطقية وبوابات CCZ مستعرضة باستخدام الهندسة الإسقاطية وحلالات مشكلات التبعية (SAT solvers)، حيث تقدم ثلاثة عشر نموذجاً جديداً من الأكواد بأطوال كتل تتراوح من 48 إلى 496، بينما تثبت عدم وجود مثل هذا الكود بطول كتلة أقل من 39.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في السعي لبناء حاسوب كمي موثوق، يواجه العلماء مفارقة جوهرية. فمن أجل إجراء عمليات حسابية معقدة، تحتاج هذه الآلات إلى تطبيق عمليات محددة وقوية ليست جزءًا من أدواتها القياسية الخالية من الأخطاء. والحل المعتاد هو إنشاء "وقود" خاص وعالي الجودة يسمى "الحالة السحرية" (magic state)، يتم تقطيره عبر عملية طويلة ومكلفة، ثم حقنه في العملية الحسابية. تعمل هذه الطريقة، لكنها تستهلك قدرًا هائلًا من المساحة والوقت، مما يبطئ الحاسوب بأكمله. وثمة مسار أكثر أناقة، وهو تصميم ذاكرة الحاسوب نفسه بحيث يمكنه تنفيذ هذه العمليات الصعبة مباشرة، ببساطة عن طريق تطبيق نبضة قياسية على كل قطعة من البيانات في آن واحد. يُعرف هذا باسم "البوابة المستعرضة" (transversal gate)، وهي طريقة تتجنب العبء الثقيل لعملية التقطير، لكن هندستها صعبة للغاية.
لقد اتخذ فريق من الباحثين في جامعة ديوك خطوة كبيرة نحو جعل هذا النهج المباشر حقيقة واقعة. فقد نجحوا في بناء نوع جديد من أكواد تصحيح الخطأ يمكنه تنفيذ عملية منطقية ثلاثية معقدة باستخدام نبضات فيزيائية مباشرة وبسيطة فقط. يثبت عملهم أن مثل هذا الكود موجود بطول كتلة يبلغ 48 وحدة فيزيائية، كما أظهروا أنه لا يمكن وجود كود من هذا النوع بأقل من 39 وحدة. ومن خلال الجمع بين المبادئ الهندسية القديمة وتقنيات البحث الحاسوبية الحديثة، رسموا بدقة المشهد الذي يمكن أن تعيش فيه هذه الأكواد، كاشفين عن حل ملموس وفجوة مستعصية في معرفتنا لا تزال تنتظر من يملؤها.
ركز الباحثون على تحدٍ محدد: بناء كود يحمي ثلاث قطع من المعلومات الكمية بينما يسمح بتفاعل ثلاثي معين بأن يحدث بشكل طبيعي. في عالم تصحيح الخطأ الكمي، تُخزن المعلومات عبر العديد من الوحدات الفيزيائية، أو "الكيوبتات"، بدلاً من مجرد كيوبت واحد. ولحماية هذه البيانات، يقوم النظام باستمرار بالتحقق من الأخطاء باستخدام مجموعة من القواعد تسمى "المثبتات" (stabilizers). والهدف هو العثور على مجموعة من هذه القواعد لا تحمي البيانات فحسب، بل تسمح أيضًا بتطبيق بوابة معينة غير قياسية بمجرد لمس كل كيوبت فيزيائي بنبضة قياسية. وإذا نجح ذلك، فسيقضي هذا على الحاجة إلى عملية تقطير الحالة السحرية المكلفة لهذه العملية المحددة.
ولحل هذه المعضلة، لجأ الفريق إلى فرع من الرياضيات يُعرف بالهندسة الإسقاطية. فقد عاملوا الكيوبتات الفيزيائية كنقاط في فضاء هندسي واستخدموا هيكل هذا الفضاء لتحديد قواعد التحقق من الأخطاء. وقد ضمن هذا النهج الهندسي أن يكون الكود قويًا ضد أنواع معينة من الأخطاء، وتحديدًا من خلال ضمان إمكانية اكتشاف أي خطأ منفرد. ومع ذلك، لم تكن الهندسة وحدها كافية لحل اللغز كاملاً؛ فقد احتاج الباحثون إلى العثور على ترتيب محدد للقطع المنطقية الثلاث داخل هذا الهيكل الهندسي بما يحقق مجموعة معقدة من الشروط لكي تعمل البوابة المباشرة.
وهنا استعانوا بأداة بحث حاسوبية قوية تُعرف باسم "محلل SAT" (SAT solver). فكر في هذه الأداة كمحرك منطقي عالي الكفاءة يمكنه اختبار مليارات الاحتمالات ليرى ما إذا كان يمكن استيفاء مجموعة من القيود. قام الباحثون بترميز القواعد الهندسية ومتطلبات البوابات المنطقية في تنسيق يمكن للمحلل فهمه، ثم بحث المحلل عن الترتيب الصحيح للمعلومات المنطقية. وبعد غربلة الاحتمالات، وجد المحلل حلاً لكود مكون من 48 وحدة فيزيائية. يستخدم هذا الكود الجديد، الذي يطلق عليه المؤلفون اسم Q48، نمطًا محددًا من 26 نبضة قياسية و22 نبضة مختلفة قليلاً لأداء العملية الثلاثية المطلوبة مباشرة على البيانات.
ولم يتوقف العمل عند إيجاد الحل فحسب؛ بل قام الفريق أيضًا باختبار حدود الممكن بصرامة. فقد أثبتوا رياضيًا أنه لا يمكن وجود كود من هذا النوع بأقل من 39 وحدة فيزيائية. وقاموا باستبعاد كل احتمال للأكواد ذات الأطوال ما بين 15 و38 بشكل منهجي، موضحين أن القيود الهندسية والمنطقية لا يمكن استيفاؤها في مساحة أصغر. وهذا يضع حدًا أدنى صلبًا لحجم هذا الكود. ومع ذلك، كشف تحقيقهم عن لغز؛ فبينما وجدوا كودًا يعمل عند 48 وحدة وأثبتوا عدم وجود أكواد أقل من 39، فإن النطاق ما بين 39 و46 ظل غير مستكشف. إنهم يعلمون أن كودًا قد يوجد هناك، لكنهم لم يجدوا واحدًا بعد، ولم يثبتوا استحالة وجوده.
تكمن أهمية هذا الاكتشاف في توازنه بين الاكتشاف والتقييد. فقد قدم الباحثون مثالاً ملموسًا وعاملًا لكود يحقق هدفًا صعبًا بعدد نسبي ضئيل من الوحدات الفيزيائية، مما يوفر مخططًا محتملاً لحواسيب كمية أكثر كفاءة. وفي الوقت نفسه، فإن إثباتهم لاستحالة وجود أكود أصغر يضع حدودًا واضحة للبحوث المستقبلية. لقد أظهروا أن الطريق نحو الحوسبة الكمية الأكثر كفاءة ليس خطًا مستقيمًا من التحسين المستمر، بل هو مشهد ذو قمم محددة يصعب الوصول إليها. ويشير وجود الفجوة بين 39 و46 إلى أن الاختراق التالي في هذا المجال سيتطلب إما رؤية هندسية جديدة أو طريقة بحث أكثر قوة لسد هذا الانقسام.
يسلط نهج الفريق الضوء على التآزر القوي بين الرياضيات الكلاسيكية والحوسبة الحديثة. فمن خلال استخدام الهيكل الصارم للهندسة الإسقاطية للتعامل مع حماية الخطأ، قللوا من حجم المشكلة إلى عملية بحث عن الترتيب المنطقي الصحيح. وقد سمح لهم ذلك بتجاوز الحاجة إلى التخمين العشوائي والتركيز بدلاً من ذلك على توجيه قوتهم الحاسوبية نحو المرشحين الأكثر واعدية. إن الكود الناتج، Q48، ليس مجرد فضول نظري؛ بل هو بناء تم التحقق منه يثبت جدوى إجراء عمليات منطقية معقدة مباشرة على البيانات المشفرة.
وبالنظر إلى المستقبل، يفتح هذا العمل عدة أسئلة جديدة. فقد حدد الباحثون أن طريقتهم يمكن توسيعها لإنشاء أكواد ذات أطوال كتل أكبر، مثل 112 أو 240 وحدة، مما يشير إلى أن عائلة هذه الأكود أكبر من المثال الوحيد الذي وجدوه. ومع ذلك، يظل وجود أكواد في نطاق 39 إلى 46 مسألة مفتوحة. ويعد حل هذه الفجوة أمرًا بالغ الأهمية، حيث سيكون الكود الموجود في هذا النطاق أكثر كفاءة بشكل ملحوظ من نسخة الـ 48 وحدة. وحتى ذلك الحين، يظل كود الـ 48 وحدة هو أصغر حل معروف، وهو شهادة على قوة الجمع بين الحدس الهندسي والبحث الخوارزمي لدفع حدود علم المعلومات الكمية.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.