Remarks on pairwise comparisons, transition amplitudes, and qubit states

ملخص تقني: ملاحظات حول المقارنات الزوجية، سعات الانتقال، وحالات الكيوبت

بيان المشكلة
تتناول هذه المساهمة الفجوة المفاهيمية بين الصياغة الرياضية للمقارنات الزوجية (المستخدمة عادة في نظرية الترتيب واتخاذ القرار) والطبيعة العلاقاتية للحالات الميكانيكية الكمومية. في النظرية الكمومية، تُعد سعات الانتقال والاحتمالات كميات علاقاتية بطبيعتها، تُعرَّف بين أزواج من الحالات، وليست خصائص مطلقة لحالات معزولة. يهدف المؤلف إلى إنشاء "قاموس" بين لغة المقارنات الزوجية المتبادلة والهندسة الأولية لحالات الكيوبت (الحالات النقية في $\mathbb{C}^2$)، وبالتحديد استقصاء كيفية رسم خرائط "عدم الاتساق" في بيانات المقارنة إلى الظواهر الهندسية الكمومية.

المنهجية
يتقدم التحليل عبر تفكيك بيانات الانتقال لمجموعة محدودة من متجهات الكيوبت المعيرة $\psi_1, \dots, \psi_N \in \mathbb{C}^2$ إلى ثلاثة مستويات متميزة من المعلومات الزوجية:

1. السعات المعقدة: $g_{ij} = \langle \psi_i, \psi_j \rangle$ (مصفوفة غرام الكاملة).
2. احتمالات الانتقال: $p_{ij} = |g_{ij}|^2$.
3. مقارنات الطور: $u_{ij} = g_{ij}/|g_{ij}| \in U(1)$، وتُعرَّف للأزواج غير المتعامدة.

يعامل المؤلف بيانات الطور $U = (u_{ij})$ كمصفوفة مقارنة متبادلة ذات قيم في $U(1)$. الأداة المنهجية المركزية هي تحليل العيوب المثلثية (عوامل عدم الاتساق المحلية)، والتي تُعرَّف للثلاثيات $(i, j, k)$ كـ $\kappa_{ijk} = u_{ij}u_{jk}u_{ki}$. ثم تتم مقارنة هذه العيوب بصرامة مع ثوابت بارجمان ($B_{ijk} = \langle \psi_i, \psi_j \rangle \langle \psi_j, \psi_k \rangle \langle \psi_k, \psi_i \rangle$) ونسخها الطورية المعيرة. تستخدم المساهمة تمثيل كرة بلوخ لربط هذه الكميات الجبرية بالزوايا المجسمة الموجهة للمثلثات الجيوديسية على $S^2$.

المساهمات والنتائج الرئيسية

• بنية البيانات ثلاثية المستويات: تصيغ المساهمة التمييز بين السعات المعقدة الكاملة، الاحتمالات، والأطوار. وتوضح أن بيانات السعة تحافظ على المعلومات غير الوحدوية (المقادير)، بينما تشكل بيانات الطور بنية جبرية محددة: مصفوفة مقارنة متبادلة ذات قيم في $U(1)$.
• تحديد العيوب بثوابت بارجمان: تثبت نتيجة مركزية (القرار 3.8) أن العيب المثلثي $\kappa_{ijk}$ لمصفوفة مقارنة الطور يتوافق تماماً مع ثابت بارجمان المعير $\tilde{B}_{ijk} = B_{ijk}/|B_{ijk}|$.
• التفسير الهندسي لعدم الاتساق: توضح المساهمة أن حجة العيب المثلثي، $\arg(\kappa_{ijk})$، تتوافق مع طور بانشاراتنام (أو الطور الهندسي) لثلاثية الأشعة، وتحديداً، هذا الطور يساوي سالب نصف الزاوية المجسمة الموجهة $\Omega_{ijk}$ التي يشغلها المثلث الجيوديسي الناتج عن متجهات بلوخ المقابلة على كرة بلوخ (النظرية 4.6). وبذلك، يتم تحديد "عدم الاتساق المحلي" في نظرية المقارنات الزوجية كطور هندسي في الحركية الكمومية.
• شروط القابلية للتحقيق: توضح المساهمة أن ليست كل مصفوفة مقارنة متبادلة مجردة ذات قيم في $U(1)$ يمكن تحقيقها بواسطة حالات الكيوبت. تخضع القابلية للتحقيق لشرط وجوب وجود مصفوفة غرام هيرميتية، موجبة شبه محددة، ذات رتبة لا تتجاوز 2، بحيث يتوافق جزء الطور المعير الخاص بها مع المصفوفة المعطاة (النتيجة 5.2).
• التعامل مع التعامد (المقارنات غير المكتملة): تم توسيع الإطار ليشمل الحالات التي تكون فيها الحالات متعامدة (تلاشي سعات الانتقال). في هذا الإعداد "غير المكتمل"، تصبح بنية المقارنة مصفوفة جزئية معرفة على رسم بياني داعم. تشير المساهمة إلى أنه بالنسبة لأشعة الكيوبت المتمايزة، فإن التعامد مقيد للغاية: الرسم البياني للتعامد هو "تزاوج" (matching) (القرار 5.10)، مما يعني أن المقارنات المفقودة لا يمكن أن تشكل أنماطاً عشوائية.

الأهمية والادعاءات
يقدم المؤلف عمله صراحةً كتدريب مفاهيمي "متواضع" وليس كنظرية إعادة بناء كاملة أو إطار عام للأبعاد التعسفية. تكمن الأهمية المدعاة الأساسية في عزل لغة مشتركة بين نظرية المقارنات الزوجية والهندسة الكمومية الأولية.

تجادل المساهمة بأن:

1. عدم الاتساق هو أمر هندسي: الكميات التي تُعتبر تقليدياً عيوباً جبرية أو حالات عدم اتساق في نظرية المقارنات الزوجية، تكتسب تفسيراً طبيعياً كأطوار هندسية في الميكانيكا الكمومية.
2. الطابع الحركي: هذه العلاقة هي علاقة حركية (kinematic) بحتة؛ فهي تعتمد فقط على هندسة الأشعة في $\mathbb{C}^2 ولا تتطلب أي ديناميكا، أو تطور هاميلتوني، أو بروتوكولات قياس.
3. الجسر البنيوي: يقدم العمل جسراً شفافاً حيث ترتبط "العيب المثلثي" لمصفوفة المقارنة مباشرة بـ "الزاوية المجسمة الموجهة" لمثلث على كرة بلوخ.

تخلص المساهمة إلى أنه بينما تعد بنية المقارنة عند مستوى الطور صارمة وذات دلالة هندسية، إلا أنها تمثل استخراجاً من بيانات سعة الانتقال الكاملة ولا تستنفد المعلومات الكمومية (التي تشمل المقادير/الاحتمالات). وتقترح المساهمة أن هذا التناظر الأولي يمكن أن يعمل كأساس لأعمال مستقبلية في الأبعاد الأعلى، ومع الحالات المختلطة، وتحت التطورات غير الوحدوية، رغم أنها لا تسعى لمتابعة هذه التوسعات بنفسها.