Granthi: Higher-Order Quantum Programming via Unitary Wiring
تقدم هذه الورقة Granthi، وهي لغة برمجة كمومية من الرتبة العليا أحادية الوحدة تماماً، تعامل البرامج الكمومية كقيم من الدرجة الأولى وتدعم تدفق التحكم المتماسك من خلال التوجيه المحافظ على الوسم، مما يتيح التجميع المباشر للبنى المعقدة مثل المفتاح الكمومي (quantum switch) إلى دوائر كمومية قابلة للتنفيذ.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تعد الحوسبة الكمومية بحل مشكلات قد تستغرق الحواسيب العادية آلاف السنين لفك شفرتها، من تصميم أدوية جديدة إلى كسر الرموز المعقدة. ولكن لتسخير هذه القوة، نحتاج إلى وسيلة لإخبار الآلة بما يجب فعله. حالياً، يعمل البرنامج الذي يتحكم في هذه الآلات وفق بنية مجزأة؛ حيث يعمل "عقل" العملية على حاسوب كلاسيكي، مستخدماً منطق برمجة قياسياً لتحديد الخطوات الكمومية التي يجب اتخاذها. أما الجزء الكمومي نفسه، فيُعامل كأداة بسيطة من الدرجة الأولى: يمكنه حمل البيانات، لكنه لا يستطيع حمل برامج أخرى. في هذا النموذج الحالي، يمكنك تمرير رقم إلى دالة كمومية، ولكن لا يمكنك تمرير دالة بحد ذاتها. يقتصر المستوى الكمومي على معالجة بتات المعلومات الفردية، بينما تُدار المنطق المعقد لكيفية تفاعل تلك البتات بالكامل بواسطة المضيف الكلاسيكي. هذا الفصل يعمل، لكنه يحد مما يمكننا بناؤه، مما يمنع النظام الكمومي من استخدام قدرته الفريدة على الوجود في حالات متعددة في آن واحد للتحكم في كيفية دمج العمليات المختلفة.
لقد قدم الباحثان سامسون أبرامسكي ورادا جاغاديسان لغة برمجة جديدة تسمى "جرانثي" (Granthi) تتحدى هذا القيد. لقد بنيا نظاماً تُعامل فيه البرامج الكمومية كـ "مواطنين من الدرجة الأولى"، مما يعني أنه يمكن تمريرها، وإرجاعها كنتائج، ودمجها مع برامج أخرى تماماً مثل البيانات. الابتكار الجوهري هو أن "جرانثي" تسمح بوضع الترتيب الذي تحدث به العمليات في حالة من "التراكب" (superposition). في العالم الفيزيائي، يعني هذا أن الحاسوب الكمومي يمكنه تنفيذ العملية (أ) ثم العملية (ب)، والعملية (ب) ثم العملية (أ)، في وقت واحد، بحيث توجد الآلة في مزيج من كلا الترتيبين السببيين. هذا ليس مجرد فضول نظري؛ بل هو ظاهرة حقيقية فيزيائياً تُعرف باسم "المبدل الكمومي" (quantum switch)، والتي ثبت أنها تقدم مزايا حوسبية. تم تصميم "جرانثي" لجعل هذا النوع من التحكم قابلاً للبرمجة والترجمة، محولةً هذه المفاهيم عالية المستوى إلى دوائر فعلية يمكن تشغيلها على الأجهزة.
تعتمد اللغة على أساس صارم من "الوحدوية" (unitarity)، وهي قاعدة فيزيائية تنص على أن المعلومات في النظام الكمومي المغلق لا يمكن فقدها أو تدميرها. في البرمجة القياسية، يمكنك غالباً التخلص من البيانات أو نسخها بحرية، ولكن في المجال الكمومي، يؤدي القيام بذلك إلى كسر قوانين الفيزياء. تفرض "جر𝓷ثي" انضباطاً حيث تكون كل خطوة قابلة للعكس. ولتحقيق ذلك، أعاد الباحثون تصور كيفية اتصال البرامج؛ فبدلاً من رؤية الدالة كصندوق أسود يستهلك مدخلاً وينتج مخرجاً، يعاملونها كمكون ذي منافذ محددة. إن توصيل برنامجين يشبه توصيل وحدتين إلكترونيتين ببعضهما؛ حيث تتدفق المعلومات عبر التوصيلات دون أن تُمحى. تتيح وجهة النظر هذه المتعلقة بـ "التوصيل" (wiring) للغة التعامل مع هياكل معقدة وعالية الرتبة، حيث تعمل البرامج على برامج أخرى، وكل ذلك مع الحفاظ على القابلية الصارمة للعكس المطلوبة في ميكانيكا الكم.
تعد "التحكم في اتخاذ القرار" ميزة رئيسية لـ "جرانثي". في الحوسبة الكلاسيكية، يفحص البرنامج شرطاً ما ثم يختار مساراً واحداً، متجاهلاً المسار الآخر. أما في "جرانثي"، فيُستبدل هذا "التفرع" (branching) بـ "التوجيه" (routing). فعندما يواجه البرنامج خياراً، فإنه لا يختار مساراً واحداً وينسى الآخر؛ بل يرسل المعلومات عبر كلا المسارين في آن واحد، مع الاحتفاظ بسجل للمسار الذي تم اتخاذه. هذا يحافظ على التراكب، مما يسمح للمسارات المختلفة بالتداخل مع بعضها البعض لاحقاً في الحوسبة. تتيح هذه القدرة للغة دعم "التحكم المتماسك" (coherent control)، حيث يصبح تاريخ الحوسبة نفسه متغيراً كمومياً يمكن أن يؤثر على النتيجة. على سبيل المثال، يمكن للغة إنشاء موقف لا يكون فيه ترتيب الأحداث ثابتاً، بل يعتمد على بت كمومي في حالة تراكب بين الحالات.
قام الباحثون بتنفيذ "جرانثي" كنظام كامل، حيث يترجم الكود عالي المستوى الذي يكتبه المبرمجون إلى دوائر قابلة للتنفيذ للأجهزة الكمومية. لقد اختبروا نظامهم باستخدام "المبدل الكمومي"، وهو سيناريو معقد حيث يتم التحكم في ترتيب عمليتين بواسطة بت كمومي. نجح النظام في ترجمة هذا المفهوم المجرد إلى دائرة ثابتة (static circuit)، وهي ترتيب ثابت من البوابات التي يمكن تشغيلها على جهاز فيزيائي. عملية الترجمة (compilation) صارمة؛ فقد أثبت الباحثون رياضياً أن كل برنامج مكتوب جيداً في "جرنثي" يتوافق مع دائرة كمومية صالحة وقابلة للعكس. كما أظهروا أن اللغة يمكنها التعامل مع هياكل التحكم المحدودة، مثل المجموعات الدورية، مما يسمح للمبرمجين بالعمل مع عمليات قابلة للعكس بأسماء محددة دون الحاجة إلى إدارة التفاصيل منخفضة المستوى لكيفية ترميز العلامات والبيانات.
بينما تعد "جرانثي" خطوة كبيرة للأمام، إلا أن الباحثين واضحون بشأن ما لا تفعله. فهي لغة "وحدوية" بحتة، مما يعني أنها لا تتضمن "القياس" (measurement)، وهو عملية مراقبة النظام الكمومي وتسبب انهيار حالته. كما أنها لا تتعامل مع الأنواع العودية (recursive types) أو الحالات المختلطة (mixed states)، وهي أمور ضرورية لحاسوب كمومي عام واسع النطاق. هذه الحذوفات مقصودة؛ فمن خلال تجريد التعقيد الخاص بالقياس والتغذية الراجعة، أنشأ الباحثون لباً نظيفاً ومنضبطاً حيث يمكن دراسة وفهم الخصائص الفريدة للتحكم الكمومي عالي الرتبة بمعزل عن غيره. الهدف ليس استبدال أدوات البرمجة الكمومية الموجودة فوراً، بل توفير طبقة تأسيسية حيث يمكن استكشاف بنية البرامج الكمومية دون ضجيج التحكم الكلاسيكي.
يمثل هذا العمل تحولاً في طريقة تفكيرنا في البرمجيات الكمومية. فبدلاً من معاملة الجزء الكمومي كمعالج بيانات بسيط يتحكم فيه "عقل" كلاسيكي، تعامل "جرانثي" الطبقة الكمومية كبيئة غنية ومنظمة قادرة على امتلاك منطقها الخاص والمعقد. لقد أظهر الباحثون أن التحكم الكمومي عالي الرتبة ليس ممكناً فيزيائياً فحسب، بل يمكن التعبير عنه بلغة تُترجم مباشرة إلى الأجهزة. ومن خلال إثبات أن هذه البرامج سليمة رياضياً ويمكن تحقيقها كدوائر، فقد فتحوا الباب أمام طريقة جديدة لبرمجة الآلات الكمومية، حيث يمكن وضع تدفق التحكم نفسه في حالة تراكب، مما يفتح آفاقاً حوسبية كانت بعيدة المنال سابقاً.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.