Additive Conjucyclic Codes over $\F_{q^2}$: Trace Correspondence and Applications to Quantum Codes

ملخص تقني لورقة بحثية بعنوان: "الأكواد الجمعية المرافقة الحلقية فوق $\mathbb{F}_{q^2}$: تناظر الأثر وتصحيح الأخطاء الكمومية"

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

تعد الأكواد الجمعية (Additive codes) فوق $\mathbb{F}_{q^2}$ بالغة الأهمية لبناء أكواد تصحيح الأخطاء الكمومية (QECCs). وبينما تمت دراسة الأكواد الحلقية الجمعية (التي تظل ثابتة تحت الإزاحات الحلقية القياسية) بشكل مكثف، فإن نظيراتها المرافقة، وهي الأكواد الجمعية المرافقة الحلقية (التي تظل ثابتة تحت الإزاحات الحلقية المرافقة)، لا تزال غير مستكشفة بما يكفي، لا سيال في حالة الحقول المنتهية العامة $\mathbb{F}_{q^2}$.

تتمثل التحديات الرئيسية المحددة في الأدبيات فيما يلي:

• غياب النظرية الموحدة: تقتصر الدراسات الحالية على الأكواد المرافقة الحلقية غالباً على حالة الرباعيات ($\mathbb{F}_4$) أو حلقات محددة. ولا توجد إطار جبري منهجي لـ $q$ العامة.
• التعقيد الهيكلي: على عكس الأكواد الحلقية الخطية، لا تقبل الأكواد الجمعية المرافقة الحلقية تمثيلاً متعدد الحدود نموذجياً، مما يجعل تحليل هيكلها، وتعدادها، وبناء مصفوفة مولدها أمراً صعباً.
• البنية المزدوجة: تعتبر الضربات الداخلية القياسية (الإقليدية أو الرمزية/Symplectic) غير ملائمة للأكواد الجمعية لأنها لا تتوافق مع الخطية فوق $\mathbb{F}_q$ المطلوبة للبنية المزدوجة لهذه الأكواد.

2. المنهجية

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

أ. التماثل القائم على الأثر (Trace-Based Isomorphism)
تتمثل المنهجية الجوهرية في تعريف تماثل خطي فوق $\mathbb{F}_q$ (يُرمز له بـ $\Psi_\beta$) بين الفضاء المتجهي $\mathbb{F}_{q^2}^n$ و $\mathbb{F}_q^{2n}$.

• الرسم (Mapping): بالنسبة لعنصر أولي ثابت $\beta \in \mathbb{F}_{q^2}$، يتم تعريف الدالة $\phi_\beta: \mathbb{F}_{q^2} \to \mathbb{F}_q^2$ كالتالي: $\phi_\beta(\alpha) = (\text{Tr}(\beta\alpha), \text{Tr}(\bar{\beta}\alpha))$، حيث $\text{Tr}$ هو دالة الأثر و $\bar{\alpha} = \alpha^q$ هو المرافق.
• التوسيع: يتم توسيع هذه الدالة لتشمل المكونات عبر $\Psi_\beta: \mathbb{F}_{q^2}^n \to \mathbb{F}_q^{2n}$.
• الخاصية الجوهرية: أثبت المؤلفون أن $\Psi_\beta$ تتبادل مع مؤثرات الإزاحة. وتحديداً، فإن الإزاحة الحلقية المرافقة ($T$) على $\mathbb{F}_{q^2}^n$ تقابل تماماً الإزاحة الحلقية ($\sigma$) على $\mathbb{F}_q^{2n}$.
  $$\Psi_\beta(T(\mathbf{c})) = \sigma(\Psi_\beta(\mathbf{c}))$$

ب. الضرب الداخلي المتناوب (Alternating Inner Product)
لمعالجة البنية المزدوجة، قدم المؤلفون ضرباً داخلياً متناوباً جديداً على $\mathbb{F}_{q^2}^n$:
$$\langle \mathbf{u}, \mathbf{v} \rangle_{a,\beta} = (\bar{\beta}^2 - \beta^2) \sum_{i=0}^{n-1} (u_i \bar{v}_i - \bar{u}_i v_i)$$
وقد أثبتوا أن هذا الضرب غير منحل (non-degenerate)، وخطّي ثنائي فوق $\mathbb{F}_q$، ومتناوب. والأهم من ذلك، أثبتوا أن $\Psi_\beta$ تحافظ على التعامد بين هذا الضرب المتناوب الجديد والضرب الرمزي (symplectic inner product) على $\mathbb{F}_q^{2n}$.

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

1. التناظر الجبري والتعداد

• مبرهنة: يوجد تناظر تقابلي (bijective correspondence) بين الأكواد الجمعية المرافقة الحلقية بطول $n$ فوق $\mathbb{F}_{q^2}$ والأكواد الحلقية الخطية بطول $2n$ فوق $\mathbb{F}_q$.
• التعداد: من خلال الاستفادة من تحليل $x^{2n}-1$ فوق $\mathbb{F}_q$، استنتج المؤلفون العدد الدقيق للأكواد الجمعية المرافقة الحلقية المتميزة. إذا كان $x^{2n}-1 = \prod g_i(x)^{p^\ell}$، فإن عدد هذه الأكواد هو $(p^\ell + 1)^t$، حيث $t$ هو عدد العوامل غير الأولية المتميزة.
• مصفوفات المولد: تم توفير أشكال صريحة لمصفوفات المولد. يتم بناء مصفوفة مولد لكود جمعي مرافقة حلقي عن طريق تطبيق التماثل العكسي $\Psi_\beta^{-1}$ على صفوف مصفوفة مولد الكود الحلقي المقابل، متبوعاً بالإزاحات الحلقية المرافقة.

2. شروط الاحتواء المزدوج (Dual-Containing Conditions)

• حددت الورقة الشرط الذي يحتوي فيه الكود الجمعي المرافقة الحلقي على دالّه المتناوب ($C^{\perp_a} \subseteq C$).
• باستخدام التناظر، تمت ترجمة هذا الشرط إلى شرط الاحتواء المزدوج الرمزي (symplectic dual-containing) للكود الحلقي المرتبط ($D^{\perp_s} \subseteq D$).
• تم اشتقاق مصفوفات فحص التكافؤ (parity-check matrices) الصريحة (وهي مصفوفات مولد للثنائي) باستخدام كثير الحدود العكسي (reciprocal polynomial) لكثير الحدود المولد للكود الحلقي.

3. بناء الأكواد الكمومية

• يقدم المؤلفون طريقة بناء مباشرة لأكواد تصحيح الأخطاء الكمومية (QECCs) ذات القيم $q$ من الأكواد الجمعية المرافقة الحلقية التي تحتوي على دالّها.
• النتيجة: إذا كان $C$ كوداً جمعياً مرافقة حلقياً بمعلمات $(n, M=q^k, d)$ بحيث $C^{\perp_a} \subseteq C$، فإنه ينتج كوداً كمومياً نقياً بمعلمات $[[n, k-n, \ge d]]_q$.

4. النتائج والأمثلة

• التعميم: يعمم الإطار النتائج السابقة المتعلقة بأكواد الرباعيات ($\mathbb{F}_4$) لتشمل $\mathbb{F}_{q^2}$ لأي $q$.
• المرونة: على عكس عمليات البناء السابقة التي كانت تؤدي غالباً إلى أكواد حلقية ذات جذور مكررة (وهي أقل كفاءة تقاربياً)، تسمح هذه الطريقة بكل من الأكواد الحلقية ذات الجذور البسيطة والجذور المكررة اعتماداً على تحليل $x^{2n}-1$، مما يوفر إمكانات تقاربية أفضل.
• مثال توضيحي:
  • المعلمات: $q=4, n=11$ (أكواد فوق $\mathbb{F}_{16}$).
  • الكود: كود جمعي مرافقة حلقي مولد بواسطة قاسم محدد لـ $x^{22}-1$.
  • النتيجة: ينتج البناء كوداً كمومياً نقياً بمعلمات $[[11, 1, 5]]_4$.
  • الأهمية: يتجاوز هذا الكود حد جيلبرت-فارام (Gilbert–Varamov bound)، ويحسن على الأكواد المعروفة سابقاً في الأدبيات، وهو مثالي وفقاً لجداول Grassl.
  • الكفاءة: على عكس أكواد "المثبت" (stabilizer codes) المثالية الموجودة في الجداول والتي تفتقر إلى البنية الجبرية (مما يتطلب تخزيناً كبيراً)، يمتلك هذا الكود مصفوفة مولد حلقية، مما يقلل بشكل كبير من متطلبات الذاكرة للتنفيذ.

5. الأهمية

تملأ هذه الورقة فجوة حرجة في نظرية الترميز من خلال تقديم أول نظرية جبرية منهجية للأكواد الجمعية المرافقة الحلقية فوق الحقول المنتهية العامة. وتكمن أهميتها في:

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