Stabilizer Rényi Entropy Without a Phase Reference

ملخص تقني: إنتروبيا ريني للمثبتات بدون مرجع طور (Phase Reference)

بيان المشكلة
تعتمد مقاييس "السحر" الكمومي (اللا-استقرارية) القياسية، مثل إنتروبيا ريني للمثبتات (Stabilizer Rényi Entropy - SRE)، على افتراض أن كل كيوبت يمتلك إطار باولي (Pauli frame) كاملاً ومتزامنًا. ومع ذلك، في سياقات فيزيائية مختلفة — بما في ذلك حالات الهيليسيتي (helicity) للجسيمات عديمة الكتلة، وسجلات الكيوبتات غير المتزامنة، وقواعد الأساس للطاقة الذاتية، والأنظمة المحكومة بقواعد فوق-اختيار (superselection rules) — قد يكون الأساس الحسابي (على سبيل المثال، حالات $\sigma_z$) ثابتًا، بينما تظل محاور باولي المستعرضة غير محددة حتى عوامل الطور المحلية.

في هذه السيناريوهات، يتم تعريف الأساس الحسابي فقط حتى طور معين لكل كيوبت ($|+\rangle_i \to e^{i\theta_i}|+\rangle_i$). إن مقاييس SRE القياسية ليست ثابتة (invariant) بشكل عام تحت عمليات إعادة الطور النسبية هذه. وكما أوضح المؤلفون باستخدام مثال حالة بيل (Bell state)، فإن إنتروبيا ريني الثانية ($M_2$) يمكن أن تتغير باستمرار من 0 إلى $\ln(4/3)$ اعتمادًا على الاختيار التعسفي للأطوار النسبية، مما يجعل المقياس غير محدد عندما يكون إطار الطور غير معلوم.

المنهجية
لمعالجة هذا الأمر، عرّف المؤلفون إنتروبيا ريني للمثبتات متوسطة الطور ($\tilde{M}_q$). فبدلاً من حساب SRE لبروتوكول طور محدد ثم إجراء المتوسط، يقومون بتكامل عزم باولي (Pauli moments) عبر الأطوار النسبية غير المعلومة داخل اللوغاريتم.

لحالة نقية $|\psi\rangle$ مكونة من $k$ من الكيوبتات، يتم تعريف الثابت الجديد كالتالي:
$$\tilde{M}_q(|\psi\rangle) = \frac{1}{1-q} \ln \left[ \prod_{i=1}^k \int_0^{2\pi} \frac{d\theta_i}{2\pi} \sum_P \frac{\langle \psi\{\theta_i\} | P | \psi\{\theta_i\} \rangle^{2q}}{2^k} \right]$$
حيث تمثل $|\psi\{\theta_i\}\rangle$ الحالة مع إعادة طور متجهات الأساس. ويركز المؤلفون بشكل أساسي على مؤشر ريني الثاني ($q=2$).

المساهمات والخصائص الرئيسية
تؤسس الورقة أربع خصائص رئيسية لهذا الثابت الجديد:

1. الثبات التام: $\tilde{M}_2$ ثابت تمامًا تحت جميع عمليات إعادة الطور الموضعية $U(1)^k$.
2. معيار التلاشي: يتلاشى الثابت إذا وفقط إذا كانت الحالة هي حالة مثبت (stabilizer state) في كل بروتوكول طور ممكن. وهذا يميزه عن مقاييس السحر التي يتم تقليلها محليًا والتي تحسن عبر مجموعة الوحدات الموضعية الكاملة.
3. الاختزال في صيغة مغلقة: لفئة واسعة من الحالات حيث تمتلك مكونات الأساس الحسابي أنماط قلب (flip patterns) متباينة زوجيًا (أي لأي معاملين غير صفريين $c_i, c_j$، يكون ناتج XOR لأسس حالات الأساس $s_i \oplus s_j$ فريدًا)، فإن تكامل الطور يعطي تعبيرًا بصيغة مغلقة يعتمد فقط على احتمالات حالات الأساس $|c_i|^2$:
   $$\tilde{M}_2 = -\ln \left[ 6 \left( \sum_{i=1}^n |c_i|^4 \right)^2 - 5 \sum_{i=1}^n |c_i|^8 \right]$$
   وهذا يلغي الحاجة لمعرفة الأطوار، مع الاعتماد فقط على التجمعات (populations) التي يمكن قياسها في أساس واحد.
4. سقوف القنوات (Channel Ceilings): يشتق المؤلفون القيمة القصوى الممكنة (السقف) لـ $\tilde{M}_2$ لنظام يحتوي على $n$ من مكونات الاحتمالية غير الصفرية (القنوات).
   • بالنسبة لـ $n=2$، يكون الحد الأقص_العالمي هو $\ln(7/5)$، ويحدث عند احتمالات غير متساوية $|c_i|^2 = \frac{1}{2}(1 \pm \sqrt{3/7})$.
   • بالنسبة لـ $n \ge 3$، يحدث الحد الأقصى العالمي عند الاحتمالات المتساوية ($|c_i|^2 = 1/n$) ويُعطى بـ $\ln[n^3/(6n-5)]$.

النتائج: التطبيق على تشتت الغلوونات (Gluon Scattering)
يطبق المؤلفون هذا الثابت على سعات تشتت الغلوونات عند مستوى الشجرة (tree-level)، حيث تكون أطوار أساس الهيليسيتي غير محددة طبيعيًا. قاموا بتحليل عمليات التشتت رباعية وخماسية النقاط:

• تشتت رباعي النقاط ($2 \to 2$):

  • يتلاشى الثابت فقط عند زوايا تشتت محددة ($\theta=0, \pi$).
  • عند "نقطة بيل" ($\theta=\pi/2$)، حيث تصبح الحالة زوج بيل في أساس معين، يرتفع الثابت إلى $\ln(8/7)$، بينما كان SRE القياسي في بروتوكول طور ثابت سيتلاشى.
  • عند زوايا محددة ($\theta \approx 1.38$)، تصل العملية إلى سقف القناتين $\ln(7/5)$.

• تشتت خماسي النقاط:

  • تشتت $3 \to 2$: لا يتلاشى الثابت أبدًا في التكوينات المدروسة. وعندما تتساوى احتمالات المخرجات الثلاث، فإنه يصل إلى سقف الثلاث قنوات $\ln(27/13) \approx 0.731$.
  • تشتت $2 \to 3$ (نفس الهيليسيتي): يتأرجح الثابت بين "أرضية ناعمة" و"سقف متساوي الخطوط (collinear)".
    • الحد الناعم (Soft Limit): عندما يصبح أحد الغلوونات ناعمًا ($E_3 \to 0$)، يقترب الثابت من أرضية قدرها $\ln(8/7)$. وخلافًا للتوقعات بأن الإشعاع الناعم لا يحمل سحرًا، فإن الثابت المتبقي يُحمل بالكامل بواسطة الغلوون الناعم.
    • الحد المتساوي الخطوط (Collinear Limit): يقترب الثابت من سقف قدره $\ln(184/125)$ في حدود معينة متساوية الخطوط.
    • النقطة المتماثلة ($x_3=x_4=x_5=2/3$) هي حد أدنى محلي ($\approx 0.140$).

• استقلال اللون (Color Independence): من النتائج الهامة أن اعتماد اللون في السعات يلغي نفسه تمامًا عند أخذ القيم المطلقة المطلوبة للثابت. وبناءً على ذلك، فإن "سحر" حالات الغلوونات النهائية يتحدد فقط من خلال الحركية (kinematics)، على عكس SRE القياسي الذي يحتفظ بأطوار تعتمد على اللون.

الأهمية
تجادل الورقة بأن وصف السحر الكمومي غير مكتمل دون تحديد الإطار المرجعي. يوفر SRE المقترح، الثابت طوريًا، تشخيصًا قويًا للأنظمة التي يكون فيها الأساس الحسابي ثابتًا ولكن المحاور المستعرضة غير محددة. كما يوضح أنه بالنسبة لفئة واسعة من الدعامات المتفرقة (sparse supports)، يمكن قياس السحر بمجرد الإحصاءات السكانية.

في سياق الفيزياء عالية الطاقة، يربط هذا العمل بين حدود الحالات الكمومية والقيود الفيزيائية للتفاعل. ويكشف أنه بينما يمكن لبعض عمليات التشتت (مثل $3 \to 2$) أن تصل إلى سقوف القنوات النظرية الخاصة بها، فإن عمليات أخرى (مثل $2 \to 3$ ذات الهيليسيتي المتماثل) مقيدة حركيًا من الوصول إليها. علاوة على ذلك، فإن الإلغاء الدقيق لعوامل اللون يشير إلى أن "السحر" في تشتت الغلوونات هو خاصية حركية، مستقلة عن التكوين اللوني المحدد. ويقترح المؤلفون أن هذا الإطار قد يؤدي مستقبلاً إلى بروتوكولات قياس للسحر في سجلات الكم باستخدام عزم باولي متوسط الزمن، مما يسد الفجوة بين التشخيصات النظرية والبيانات التجريبية حيث تكون معلومات الطور محدودة.