Low Overhead Universal Quantum Computation with Triorthogonal Codes
تقترح هذه الورقة طريقتين منخفضتي التكلفة للحوسبة الكمومية الشاملة المتحملة للأخطاء باستخدام الأكواد ثلاثية التعامد التي تتجاوز مبرهنة إيستين-كنيل عبر الاستفادة من بوابات CZ العابرة والارتحال المنطقي للحالة بين الأكواد المزدوجة، مما يقلل بشكل كبير من تكاليف الموارد مقارنة بالبروتوكولات الحالية.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلف ولم يصادق عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
يتطلب بناء حاسوب يستغل القوانين الغريبة لميكانيكا الكم حل مشكلة عانى منها العلماء لعقود: كيفية الحفاظ على سلامة المعلومات الحساسة مع القدرة على استخدامها في الوقت ذاته. في عالم الكم، تُخزن المعلومات في حالات هشة يمكن أن تفسد بسهل بسبب أدنى اضطراب. ولحماية هذه البيانات، يستخدم الباحثون أكواد تصحيح الأخطاء، والتي تعمل على نشر قطعة واحدة من المعلومات عبر العديد من الجسيمات الفيزيائية بحيث إذا فشل أحدها، تظل الرسالة بأكملها سليمة. ومع ذلك، فإن قاعدة أساسية في الفيزياء، تُعرف باسم مبرهنة إيستين-كنيل (Eastin-Knill theorem)، تخلق معضلة "السبب والنتيجة" (catch-22)؛ حيث تنص على أنه لا يمكن لأي نوع واحد من أكواد تصحيح الأخطاء أن يؤدي كل العمليات الحسابية الممكنة مع الحفاظ على احتواء الأخطاء. فبعض الأكواد ممتازة في إيقاف الأخطاء ولكنها لا تستطيع سوى أداء مجموعة محدودة من العمليات، بينما يمكن لأكواد أخرى القيام بعمليات حسابية أكثر تعقيداً لكنها عرضة للسماح للأخطاء بالانتشار خارج السيطرة. ولبناء حاسوب كمي مفيد حقاً، يجب على العلماء إيجاد طريقة للتبديل بين هذه الأنواع المختلفة من الأكواد، باستخدام نقاط القوة في كل منها دون التسبب في سلسلة من الانهيارات.
لقد طور فريق من الباحثين في جامعة آلتو ومختبرات نوكيا بيل طريقة جديدة لحل مشكلة التبديل هذه، وتحديداً لفئة من الأكواد تسمى الأكواد ثلاثية التوازي (triorthogonal codes). تتميز هذه الأكود بقدرتها على إجراء عمليات رياضية معقدة معينة مباشرة على البيانات المشفرة دون الحاجة إلى كسر طبقة الحماية. واكتشف الباحثون طريقة لربط هذه الأكود القوية بأكواد متناظرة أبسط بارعة في أداء العمليات القياسية. ومن خلال إنشاء جسر بين الاثنين، سمحوا للحاسوب بنقل المعلومات آنياً (teleport) من الكود المعقد إلى الكود البسيط، وإجراء العمل الضروري، ثم نقلها مرة أخرى. هذه العملية "عرضية" (transversal) بالكامل، مما يعني أن العمليات تحدث بالتوازي عبر الجسيمات الفيزيائية، وهو ما يمنع الأخطاء من الانتشار. وقد أثبت الفريق أن آلية التبديل هذه تعمل مع مجموعة واسعة من هياكل الأكود، بما في ذلك تلك التي يمكنها أداء عمليات أكثر تعقيداً مما كان يُعتقد سابقاً.
يكمن جوهر هذا الاكتشاف في كيفية مطابقة الباحثين لهذه الأكود المختلفة. فبالنسبة لعائلة محددة من الأكود تُعرف باسم أكود "ريد-مولر" الكمية المثقوبة (punctured quantum Reed-Muller codes)، أنشأوا خريطة منهجية لإيجاد الشريك المثالي. تخيل مكتبة حيث لكل كتاب مجلد مرافق محدد يناسب تماماً نفس الرف؛ لقد وجد الباحثون القاعدة التي تخبرك بالضبط أي مجلد مرافق يذهب مع أي كتاب. وقد أظهروا أنه لأي كود معقد معين في هذه العائلة، يوجد كود متناظر أبسط يمكنه التواصل معه باستخدام نوع محدد من الاتصال يسمى بوابة CNOT أحادية الاتجاه. يسمح هذا الاتصال للحاسوب بنقل البيانات بين الكودين بأمان. وبالنسبة لأنواع أخرى من الأكود ثلاثية التوازي التي لا تندرج تحت هذه العائلة المحددة، طور الفريق طريقة منهجية مختلفة لبناء كود شريك متوافق من الصفر. وهذا يضمن أن استراتيجية التبديل تعمل مع جميع أنواع هذه الأكود المتقدمة، وليس فقط مع عدد مختار منها.
ولجعل هذا الأمر عملياً، دمج الباحثون طريقة التبديل الخاصة بهم مع روتين قياسي لتصحيح الأخطاء يُعرف باسم "تصحيح ستين للأخطاء" (Steane error correction). عادةً ما يتطلب نقل البيانات بين الأكود خطوات إضافية وأجهزة إضافية، مما يزيد من التكلفة والتعقيد. ومن خلال دمج عملية التبديل مع الفحوصات الروتينية التي ترصد الأخطاء، ألغوا الحاجة إلى موارد إضافية؛ حيث يتم نقل البيانات وفحصها في الوقت نفسه، مما يجعل العملية برمتها أكثر كفاءة. وقد اختبروا هذا الإطار باستخدام مثالين محددين: كود مكون من 15 جسيماً فيزيائياً وآخر مكون من 31 جسيماً. وفي كلتا الحالتين، أثبتوا بنجاح إمكانية نقل المعلومات المنطقية ذهاباً وإياباً بين الكود المعقد والشريك الأبسط دون فقدان الدقة.
تجلت القيمة الحقيقية لهذا العمل من خلال استخدامه لبناء تحويل فوريه الكمي (quantum Fourier transform)، وهو عملية حسابية أساسية تُستخدم في العديد من الخوارزميات الهامة. وقارن الباحثون إجمالي عدد الاتصالات المطلوبة لتشغيل هذه العملية باستخدام طريقتهم الجديدة للتبديل مقابل الطرق القديمة التي تعتمد على أكواد أقل قوة. ووجدوا أنه باستخدام الكود الأكبر، المكون من 31 جسيماً، والذي يدعم عمليات أكثر تقدماً، كان إجمالي عدد الاتصالات المطلوبة أقل بكثير. وفي بعض السيناريوهات، قللت الطريقة الجديدة من عدد الاتصالات المطلوبة بمعامل يتراوح من ثلاثة إلى عشرة أضعاف مقارنة بالنهج القديم. وهذا التقليل أمر بالغ الأهمية، لأن عدد الاتصالات في الحوسبة الكمية يمثل عقبة رئيسية؛ فعدد أقل من الاتصالات يعني فرصاً أقل لحدوث الأخطاء وحاجة أقل للأجهزة الفيزيائية لبناء الآلة.
تشير النتائج إلى أن الطريق نحو حاسوب كمي قوي لا يتطلب الالتزام بنوع واحد من الأكود. بدلاً من ذلك، فإن النهج غير المتجانس، حيث تُستخدم أكود مختلفة لمهام مختلفة ويتم ربطها معاً بكفاءة، يوفر ميزة واضحة. لقد أظهر الباحثون أنه من خلال الربط الدقيق بين الأكود المعقدة والبسيطة، يمكن إجراء حسابات شاملة مع الحفاظ على السيطرة على الأخطاء وتقليل التكلفة الإجمالية للموارد. يوفر هذا العمل مخططاً ملموساً لكيفية بناء الحواسيب الكمية المستقبلية، متجاوزاً قيود بنيات الكود الواحد نحو نظام أكثر مرونة وكفاءة. وتشير النتائج إلى أنه مع توسع الأنظمة الكمية، فإن استخدام هذه العمليات عالية المستوى من خلال تبديل الأكود يمكن أن يخفض بشكل كبير من العوائق أمام بناء آلات قادرة على حل مشكلات العالم الحقيقي.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.