Heuristically optimizing, synthesizing, and prioritizing measurement settings for quantum state tomography
تقدم هذه الورقة إطار عمل حوسبياً قابلاً للتوسع يعيد صياغة تقسيم المؤثرات لعملية التصوير المقطعي للحالة الكمومية كمسألة تلوين الرسوم البيانية، وذلك باستخدام خوارزميات استدلالية لتحسين وترتيب أولويات إعدادات القياس بكفاءة عبر الأنظمة متعددة الكيوبتات، ومتعددة الكوتريتات، والهجينة، مع تقليل عدد التجارب المطلوبة بشكل كبير مقارنة بطرق القوة الغاشمة.
المؤلفون الأصليون:Sumukh S. Moudghalya, Anton Frisk Kockum, Akshay Gaikwad
لفهم عمل علماء الكم، يجب أولاً استيعاب طبيعة الكيان الذي يحاولون رؤيته. فالنظام الكمي، مثل مجموعة من الجسيمات المتناهية الصغر التي تسمى "الكيوبتات" (qubits)، يوجد في حالة أكثر تعقيداً بكثير من مجرد مفتاح بسيط يكون في وضع التشغيل أو الإيقاف. وللوصف الكامل لهذه الحالة، يتعين على الباحثين إعادة بناء خريطة رياضية تُعرف باسم "مصفوفة الكثافة" (density matrix). تحتوي هذه الخريطة على كل التفاصيل الممكنة حول سلوك النظام. وتسمى الطريقة القياسية لإنشاء هذه الخريطة "تصوير الحالة الكمية" (quantum state tomography)؛ وهي عملية تتضمن إجراء العديد من القياسات المختلفة لتجميع الصورة الكاملة. ومع ذلك، كلما كبر حجم النظام، انفجر عدد القياسات المطلوبة. فبالنسبة لنظام يحتوي على بضعة جسيمات فقط، يصبح عدد الإعدادات اللازمة هائلاً لدرجة أن جمع البيانات سيستغرق وقتاً غير عملي، حتى لو كانت القياسات نفسها فورية. إن العائق ليس فقط الوقت الذي يستغرقه القياس، بل العدد الهائل من التكوينات المختلفة التي يجب على العالم إعدادها لضمان عدم تفويت أي قطعة من المعلومات.
لقد طور فريق من الباحثين في جامعة تشالمرز للتكنولوجيا في السويد طريقة جديدة لمعالجة هذا التعقيد المفرط. فبدلاً من محاولة قياس كل تكوين ممكن على حدوه، وجدوا طريقة لتجميع القياسات معاً. يعتمد نهجهم على مفهوم رياضي يسمى "تلوين الرسوم البيانية" (graph coloring)، وهو أسلوب لتنظيم العناصر في مجموعات بحيث لا ينتهي الأمر بعنصرين متضاربين في نفس المجموعة. وفي سياق الفيزياء الكمية، يتضارب قياسان إذا تعذر تنفيذهما في الوقت ذاته. وقد أدرك الباحثون أنه إذا تمكنوا من تحديد مجموعات من القياسات التي لا تتضارب، فيمكنهم إجراء جميع القياسات في مجموعة واحدة في وقت واحد، مما يقلل العدد الإجمالي للإعدادات التجريبية المطلوبة.
تعامل الفريق مع مشكلة تنظيم هذه القياسات كأنها أحجية. فقد أنشأوا خريطة حيث يمثل كل قياس ممكن نقطة، وتربط الخطوط بين النقاط التي لا يمكن قياسها معاً. كان هدفهم هو تلوين النقاط باستخدام أقل عدد ممكن من الألوان، حيث يمثل كل لون إعداداً تجريبياً واحداً. ومن خلال استخدام خوارزميات حاسوبية فعالة لحل أحجية التلوين هذه، استطاعوا تحديد أصغر عدد من الإعدادات اللازمة للحصول على صورة كاملة للحالة الكمية. وقد اختبروا عدة استراتيجيات مختلفة لحل هذه الأحجية، بما في ذلك طرق تبحث عن النقاط الأكثر ازدحاماً أولاً، وطرق تستخدم الذكاء الاصطناعي لتعلم الأنماط، وطرق تحاول إيجاء الحل المثالي المطلق. ووجدوا أنه بينما يعد إيجاد الحل المثالي مستحيلاً حاسوبياً للأنظمة الأكبر، فإن طرقهم الاستدلالية (heuristic methods) —وهي اختصارات ذكية تصل إلى إجابة قريبة جداً من الأفضل— يمكنها حل المشكلة في ثوانٍ على جهاز كمبيوتر محمول قياسي.
كانت نتائج عمليات المحاكاة التي أجروها مذهلة. فبالنسبة لنظام مكون من خمسة كيوبتات، وهو نظام صغير نسبياً في عالم الحوسبة الكمية، تتطلب الطريقة التقليدية مئات إعدادات القياس. لقد قللت طريقتهم الجديدة هذا العدد بشكل كبير، وغالباً ما خفضت الإعدادات المطللة بأكثر من النصف مقارنة بتقنيات أخذ العينات العشوائية القياسية. على سبيل المثال، حققوا إعادة بناء عالية الجودة للحالة الكمية في نظام مكون من أربعة كيوبتات باستخدام خمسة وعشرين إعداداً للقياس فقط، في حين احتاجت الطريقة القياسية إلى عدد أكبر بكثير للوصول إلى نفس المستوى من الدقة. كما أوضح الباحثون أن الترتيب الذي تُؤخذ به هذه القياسات أمر مهم؛ فمن خلال إجراء المجموعات الأكثر غنى بالمعلومات أولاً، يمكنهم بناء صورة واضحة للنظام بسرعة أكبر بكثير، مما يسمح لهم بإنهاء التجربة مبكراً إذا كانوا قد جمعوا بالفعل معلومات كافية.
لا يقتقتصر هذا الإطار على الجسيمات البسيطة المسمى "الكيوبتات". فقد طبق الباحثون طريقتهم بنجاح على أنظمة أكثر تعقيداً تتضمن جسيمات ذات ثلاث حالات، تُعرف باسم "الكيوتريت" (qutrits)، وحتى الأنظمة المختلطة التي تحتوي على كلا النوعين. وفي كل حالة، وفر نهج تلوين الرسوم البيانية الخاص بهم وسيلة عملية لجدولة التجارب التي كانت ستكون بطيئة جداً لولا ذلك. كما أظهروا كيفية ترجمة هذه المجموعات المجردة من القياسات إلى تعليمات فيزيائية فعلية لجهاز كمبيوتر كمي، باستخدام مجموعة محددة من العمليات الأساسية لمحاذاة النظام من أجل القياس. وبينما تشير الورقة البحثية إلى أن تنفيذ هذه التعليمات على الأجهزة الحقيقية لا يزال يفرض تحديات هندسية، فإن الإطار النظري يوفر مساراً واضحاً للمضي قدماً.
تكمن أهمية هذا العمل في قدرته على جعل توصيف الأجهزة الكمية أسرع وأكثر كفاءة. ومع زيادة حجم الحواسيب الكمية وتعقيدها، تصبح القدرة على التحقق من حالتها بسرعة أمراً ضرورياً لتطويرها. ومن خلال تقليل عدد التجارب المطلوبة، توفر هذه الطريقة وقتاً وموارد قيمة. وقد أتاح الباحثون الكود البرمجي الخاص بهم للجمهور، مما يسمح للآخرين باستخدام هذه الأدوات لتحسين تجاربهم الخاصة. وتشير نتائجهم إلى أنه من خلال النظر إلى مشكلة القياس كأحجية تلوين، يمكن للعلماء تجاوز الانفجار التوافقي الذي أعاق تقدم تصوير الحالة الكمية لفترة طويلة، مما يجعل توصيف الأجهزة الكمية ذات المقياس المتوسط والمشوبة بالضجيج مهمة أكثر قابلية للإدارة.
بيان المشكلة يعد توماس الحالة الكمومية (QST) أمراً ضرورياً لإعادة بناء مصفوفة الكثافة لنظام كمومي، ولكنه يواجه "لعنة الأبعاد". فمع نمو حجم النظام، تزداد عدد التجارما المطلوبة والتكلفة الحسابية لإعادة البناء بشكل أسي. ويكمن أحد العوائق الرئيسية في مرحلة الحصول على البيانات: وهو التقسيم الفعال لمجموعة عشوائية من الملحوظات إلى مجموعات فرعية متبادلة التبادل (mutually commuting). وبينما يمكن للأساليب القائمة على القوة الغاشمة (brute-force) إيجاد تقسيمات مثالية للأنظمة الصغيرة، إلا أنها تصبح غير قابلة للمعالجة مع زيادة عدد المؤثرات وأبعاد النظام. علاوة على ذلك، غالباً ما تستهدف الاستراتيجيات الحالية مهاماً محددة (مثل تقدير عناصر مصفوفة معينة) أو تعتمد على هياكل مثل القواعد غير المتسامحة تبادلياً (MUBs) التي لا تنطبق عالمياً على الفضاءات هيلبرت ذات الأبعاد العشوائية أو الفضاءات الفرعية المختزلة. التحدي يكمكم في إيجاد طريقة فعالة حسابياً لتقسيم مجموعات المؤثرات العشوائية إلى الحد الأدنى من المجموعات الفرعية المتبادلة التبادل لتقليل إعدادات القياس، وتحديد أولويات هذه الإعدادات لتعظيم كسب المعلومات في وقت مبكر من العملية.
المنهجية يعيد المؤلفون صياغة مشكلة تقسيم المؤثرات كمسألة تلوين الرسم البياني (Graph Coloring - GC):
بناء الرسم البياني: يتم إنشاء رسم بياني غير موجه حيث تمثل الرؤوس (vertices) المؤثرات. وتتصل حافة (edge) بين رأسين إذا وفقط إذا كان المؤثران المقابلان لهما لا يتبادلان التبادل.
التقسيم عبر تلوين الرسم البياني: الهدف هو تلوين الرسم البيفي بحيث لا يتشارك رأسان متجاوران في نفس اللون، مما يقلل إجمالي عدد الألوان (الرقم الكروماتي). ويمثل كل فئة لونية مجموعة من المؤثرات المتبادلة التبادل التي يمكن قياسها آنياً في قاعدة ذاتية مشتركة.
درجة التشبع (DSATUR): خوارزمية ترتيب الرؤوس بناءً على عدد الألوان المتميزة التي تم تخصيصها لجيرانها.
الاستدعاء التكراري الأكبر أولاً (RLF): خوارزمية تعطي الأولوية للرؤوس ذات الدرجة الأعلى (أكبر عدد من الجيران).
البرمجة الخطية الصحيحة (ILP): طريقة دقيقة تمت صياغتها كمسألة تغطية الكتل الدنيا (Minimum Clique Cover - MCC) على الرسم البياني المتمم (complement graph) للمؤثرات، وتُحل باستخدام أدوات مثل CBC.
الشبكات العصبية الرسومية (GNNs): نهج قائم على التعلم يعامل التلوين كمسألة تصنيف للعقد، حيث يتم تدريبها على رسوم بيانية لتبادل المؤثرات للتنبؤ بالتقسيمات.
التجميع الطيفي (Spectral Clustering - SC): طريقة تستفيد من البنية الذاتية لـ "لابلاسيان" الرسم البياني لتجميع العقد بناءً على تشابه التبادل.
تركيب الدارات: لكل مجموعة فرعية متبادلة التبادل تم تحديدها، يقوم المؤلفون بتركيب دارات تغيير القاعدة الكمومية باستخدام تمثيل سيمبلكتيكي ثنائي وحذف سيمبلكتيكي غاوسي. تتكون هذه الدارات حصرياً من بوابات كليفورد (Clifford gates) أساسية (هادامارد، طور، CNOT) لتمكين القياس المشترك.
استراتيجية تحديد الأولويات: بمجرد توليد التقسيمات، يقترح المؤلفون استراتيجية جدولة ترتب إعدادات القياس حسب الكاردينالية (الحجم) للمجموعات الفرعية المتبادلة التبادل، مع تنفيذ أكبر المجموعات أولاً لتعظيم كسب المعلومات لكل تجربة.
المساهمات الرئيسية
إطار عمل عام: يوفر هذا العمل إطار عمل موحداً قابل للتطبيق على مجموعات مؤثرات عشوائية وفضاءات هيلبرت ذات أبعاد عشوائية، بما في ذلك أنظمة الكيوبت المتعددة، والكيوتريت المتعددة، والأنظمة الهجينة (كيوبت-كيوتريت)، متجاوزاً بذلك قيود الطرق الجبرية الخاصة بـ "باولي".
مقارنة الخوارزميات: مقارنة شاملة لخوارهازميات تلوين الرسم البياني (الهيورستية والدقيقة) لتوماس الحالة الكمومية. تحدد الدراسة خوارزمية DSATUR كأفضل مقايضة (trade-off) بين جودة الحل (عدد التقسيمات) ووقت التشغيل، مع إظهار GNNs إمكانات واعدة للاستدلال السريع بعد التدريب.
مكاسب الكفاءة: يوضح الإطار أن طرق تلوين الرسم البياني الاستدلالية يمكن أن تقلل عدد إعدادات القياس المطلوبة بشكل كبير مقارنة ببروتوكولات أخذ العينات العشوائية القياسية (مثل {I,Rx,Ry}⊗N)، مع إتمام العمل في غضون دقائق على أجهزة استهلاكية قياسية (معالج بـ 8 نوى، 16 جيجابايت رام).
تنفيذ مفتوح المصدر: يوفر المؤلفون تطبيقاً برمجياً بلغة بايثون للإطار، بما في ذلك خوارزميات تلوين الرسم البياني وأدوات تركيب الدارات.
النتائج تم التحقق من صحة الإطار على أنظمة تصل إلى 5 كيوبت، و3 كيوتريت، وتكوينات هجينة (مثل 2q⊗2t).
أداء التقسيم:
حققت ILP عدد التقسيمات الأمثل للأنظمة الأصغر (حتى 4 كيوبت) ولكنها أصبحت غير قابلة للمعالجة للأنظمة الأكبر (مثل 5 كيوبت، 3 كيوتريت) بسبب الوقت الأسي للتشغيل.
أنتجت الخوارزميات الاستدلالية (DSATUR, GNN, RLF, SC) حلولاً في ثوانٍ إلى دقائق. وقد قدمت DSATUR و GNN باستمرار أقل عدد من التقسيمات بين الخوارزميات الاستدلالية، وغالباً ما اقتربت من الحد الأمثل النظري (مثلاً 2N+1 لـ N من الكيوبت).
بالنسبة لنظام مكون من 5 كيوبت (1,023 مؤثراً)، ولدت DSATUR و GNN تقسيمات صالحة في عشرات الثواني، بينما فشلت ILP في التقارب ضمن إطار زمني عملي.
أداء التوماس:
باستخدام الجدولة القائمة على الأولويات (أكبر المجموعات أولاً)، حققت الجداول المستمدة من تلوين الرسم البياني (GC) إعادة بناء عالية الدقة للحالة بعدد أقل بكثير من القياسات مقارنة بالتوماس القياسي.
بالنسبة لنظام 4 كيوبت، حققت الطرق القائمة على GC (مثل GNN و DSATUR) دقة تقارب المثالية (F≈1) باستخدام 25 إعداداً فقط، بينما تطلب التوماس القياسي العديد من الإعدادات للوصول إلى دقة مماثلة وظل تحت 0.75 بنفس عدد الإعدادات.
سمحت الجدولة القائمة على الأولويات بتراكم سريع للمعلومات؛ فبالنسبة لأنظمة 5 كيوبت، تجاوز متوسط الدقة 0.9 بعد 50 إعداداً فقط، مقارنة بـ 0.65 للبروتوكولات القياسية.
الأهمية والادعاءات تدعي الورقة أن خوارزميات تلوين الرسم البيفي الاستدلالية تقدم أداة قابلة للتوسع وعملية لتوصيف الأجهزة الكمومية ذات الحجم المتوسط والمتوسط الضجيج (NISQ). ومن خلال نقل التركيز في التحسين من المعالجة الكلاسيكية اللاحقة إلى مرحلة الحصول على البيانات، يقلل الإطار من الأعباء التجريبية ووقت القياس.
القابلية للتوسع: يتيح النهج توصيف الأنظمة التي يكون فيها التقسيم بالقوة الغاشمة مستحيلاً، مما يوفر تسريعاً بعدة مراتب مقدارية.
القدرة على التكيف: تسمح الجدولة القائمة على الأولويات لعلماء التجارب بإيقاف الحصول على البيانات بمجرد الوصول إلى دقة مستهدفة، مما يجعل العملية تكيفية.
تعدد الاستخدامات: لا تقتصر الطريقة على الكيوبت أو مؤثرات باولي، بل تمتد طبيعياً إلى الكيوتريت والأنظمة الهجينة، مما يعالج فجوة في بروتوكولات التوماس الحالية.
الآفاق المستقبلية: يشير المؤلفون إلى أنه على الرغم من قوة الإطار، لا تزال هناك تحديات في تركيب دارات تغيير القاعدة بكفاءة للمجموعات المتبادلة التعامد لأي مجموعة بوابات عالمية. ويقترحون أن الشبكات العصبية الرسومية (GNNs)، نظراً لقدرتها على التعميم من التدريب على أمثلة صغيرة إلى أنظمة أكبر غير مرئية، تمثل اتجاهاً واعداً للغاية لجدولة القياس القابلة للتوسع في المستقبل.