Measurement-Based Quantum Computation Using the Spin-1 XXZ Model with Uniaxial Anisotropy

1. بيان المشكلة

تعتمد الحوسبة الكمومية القائمة على القياس (MBQC) على حالات عديدة الأجسام شديدة التشابك، والتي تنتمي عادةً إلى أطوار التماثل المحمي طوبولوجياً (SPT) مثل طور هالدين (Haldane phase).

• الفجوة: أثبتت الدراسات السابقة أن طور هالدين يدعم بوابات أحادية الكيوبت (single-qubit gates) شاملة، لكنها ركزت بشكل كبير على النماذج متماثلة المناحي (مثل نماذج AKLT أو Heisenberg). وظل من غير الواضح كيف تؤثر التباينات (تحديداً تباين الأيون المنفرد $D$ والتباين الشبيه بـ Ising وهو $J$) على دقة الحوسبة في نماذج فيزيائية أكثر عمومية مثل سلسلة spin-1 XXZ.
• التحدي: في التطبيقات التجريبية (مثل الذرات الباردة)، يصعب تحقيق التماثل المثالي. يهدف المؤلفون إلى تحديد ما إذا كانت الحالة الأرضية لسلسلة spin-1 XXZ ذات التباين أحادي المحور يمكن أن تعمل كمورد عالي الدقة للحوسبة الكمومية القائمة على القياس، وفهم الآليات الفيزيائية التي تحكم دقة البوابة داخل هذا الطور.

2. المنهجية

استخدم المؤلفون مزيجاً من الاشتقاق التحليلي والمحاكاة العددية:

• النظام النموذجي: استقصوا الحالة الأرضية لسلسلة spin-1 XXZ أحادية البعد ذات التباينات أحادية المحور، والتي توصف بالهاملتوني:
  $$H_{XXZ} = \sum (S_i^x S_{i+1}^x + S_i^y S_{i+1}^y + J S_i^z S_{i+1}^z) + D \sum (S_i^z)^2$$
  يتضمن النظام كيوبتات "مساعدة" (ancilla) من نوع spin-1/2 عند النهايات للمدخلات والمخرجات.
• بروتوكول MBQC: استخدموا بروتوكول MBQC القياسي حيث يتم تنفيذ بوابات الكيوبت الأحادية عبر إجراء قياسات تكيفية على سلسلة spin-1.
  • بوابة الهوية (Identity Gate): تُقاس في القاعدة $\{|x\rangle, |y\rangle, |z\rangle\}$ (القيم الذاتية لـ $S_x, S_y, S_z$ وتساوي 0).
  • بوابات الدوران (Rotation Gates): تُقاس في قواعد مدورة لتنفيذ $R_z(\theta)$ و $R_y(\phi)$ و $R_x(\theta)$.
• مقياس الدقة (Fidelity Metric): حددوا دقة البوابة ($F_U$) كتقاطع بين الحالة المثالية الناتجة والحالة الفعلية التي يتم الحصول عليها بعد MBQC، مع مراعاة نتائج "الفشل" (حيث تعطي القياسات الحالة $|z\rangle$ مما يمنع الدوران).
• الاشتقاق التحليلي: بافتراض أن حالة المورد تقع ضمن طور هالدين المحمي بواسطة $Z_2 \times Z_2$، اشتقوا تعبيراً تحليلياً لدقة بوابة الدوران حول المحور $z$ بدلالة ارتباطات ما بعد القياس.
• المحاكاة العددية: استخدموا طريقة مصفوفة الكثافة لتقليل الطاقة (DMRG) لحساب الحالات الأرضية وتقييم دقة البوابات لمختلف المعلمات ($J, D$) وأحجام الأنظمة ($L$).
• تنفيذ البوابة الشاملة: لتحقيق بوابات يونيتارية (unitary gates) عشوائية ($U = R_x R_y R_z$)، اقترحوا تقسيم السلسلة إلى كتل مع توجيه التباين على طول محاور مختلفة ($x, y, z$) تفصل بينها كتل وصل (junction blocks) متماثلة المناحي.

3. المساهمات الرئيسية

1. اكتشاف مورد عالي الدقة: أظهرت الورقة أن الحالة الأرضية لنموذج spin-1 XXZ ضمن طور هالدين يمكن أن تعمل كمورد لـ MBQC بدقة بوابات تتجاوز 0.99، بشرط ضبط معلمات التباين ($D$ أو $J$) بشكل مناسب.
2. صيغة الدقة التحليلية: اشتق المؤلفون صيغة عامة لدقة بوابة الدوران حول المحور $z$ ($F_{R_z}$) لأي حالة في طور هالدين:
   $$F_{R_z}(\theta) = 1 - \frac{\sin^2(\theta/2)}{2}(1 + g_{corr}) - \frac{(1-\cos\theta)}{2}g_{fail}$$
   حيث أن:
   • $g_{corr}$ هو دالة الارتباط بين السبين (spin-spin correlation) بعد القياس.
   • $g_{fail}$ هو احتمال فشل القياس الكلي (جميع المواقع تعطي الحالة $|z\rangle$).
3. تحديد الآلية الفيزيائية: حددوا أن تعزيز دقة البوابة بالقرب من حدود الطور المضاد للمغناطيسية (AFM) مدفوع بـ تعزيز ارتباطات AFM. هذه الارتباطات تثبط حالة "الفشل" ($|z\rangle$) وتدفع $g_{corr} \to -1$، مما يؤدي لتعظيم الدقة.
4. بناء البوابة الشاملة: اقترحوا طريقة لتنفيذ بوابات يونيتارية أحادية الكيوبت عشوائية عن طريق تقسيم السلسلة إلى ثلاث كتل (A, B, C) مع تطبيق التباين على طول المحاور $z$ و $y$ و $x$ على التوالي، وهذا يتغلب على القيد الذي يجعل التباين أحادي المحور على طول محور واحد يثبط الدورات حول المحاور المتعامدة.

4. النتائج الرئيسية

• تعزيز الدقة: بالنسبة لنموذج spin-1 XXZ، فإن ضبط تباين الأيون المنفرد إلى $D \approx -2.85$ أو التباين الشبيه بـ Ising إلى $J \approx 2.70$ (بالقرب من حدود طور AFM) يزيد من دقة البوابة للدورات الأساسية (بوابات T, S, Z) إلى ~0.99.
• الارتباط والدقة: أكدت النتائج العددية التنبؤ التحليلي: مع اقتراب النظام من طور AFM، تقترب دالة ارتباط ما بعد القياس $g_{corr}$ من $-1$(ارتباط AFM مثالي)، ويقترب احتمال الفشل$g_{fail}$من$0$.
• أداء البوابة الشاملة: من خلال تقسيم السلسلة وتطبيق التباين في اتجاهات محددة لكل كتلة، حقق المؤلفون دقة بوابات $> 0.99$ للبوابات اليونيتارية العامة ($R_x R_y R_z$) عندما يكون $D \lesssim -8.0$ أو $J \gtrsim 7.0$.
• حد الانتقال الطوري: لاحظت الدراسة أنه إذا أصبح التباين قوياً جداً، ينتقل النظام خارج طور هالدين (إلى طور AFM)، مما يسبب انخفاضاً حاداً في دقة البوابة. لذا، فإن النطاق الأمثل هو داخل طور هالدين ولكن بالقرب من حدود AFM.

5. الأهمية

• الأهمية التجريبية: النتائج مهمة للغاية للمنصات التجريبية، وخاصة أنظمة الذرات الباردة (مثل ذرات الديسبروزيوم في الشبكات الضوئية)، حيث تتواجد تباينات أحادية المحور بشكل طبيعي أو يمكن ضبطها. تشير النتائج إلى أن MBQC عالي الدقة لا يتطلب نقطة AKLT مثالية مضبوطة بدقة، بل يمكن تحقيقه بقوة في منطقة أوسع من مخطط الطور.
• الرؤية النظرية: يربط هذا العمل بين نظرية SPT المجردة ومعلمات الهاملتوني الفيزيائية. فهو يربط صراحة بين القدرة الحسابية لطور SPT وبين الارتباطات الفيزيائية (النظام المغناطيسي المضاد AFM) واحتمالات الفشل، مما يوفر أداة كمية لتقييم حالات الموارد.
• الطريق نحو الشمولية: من خلال إثبات كيفية بناء بوابات أحادية الكيوت عشوائية باستخدام كتل متباينة المناحي، تضع الورقة الأساس لتحقيق حوسبة كمومية شاملة في سلاسل spin-1 أحادية البعد، وهي خطوة حاسمة نحو معالجات كمومية قابلة للتوسع تعتمد على الأنظمة المادية المكثفة.