Quasi-twisted codes and their connection with additive constacyclic codes over finite fields

إليك ملخص تقني مفصل للورقة البحثية بعنوان "الأكواد شبه الملتوية (Quasi-twisted codes) وعلاقتها بالأكواد الجمعية الثابتة الدورية (additive constacyclic codes) فوق الحقول المنتهية" للباحثين كانات عبد الخالق وجيانيندرا ك. فيرما.

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

تعالج الورقة تحديين رئيسيين في نظرية الترميز:

1. التوصيف الهيكلي: في حين أن الأكواد شبه الدورية (quasi-cyclic codes) مفهومة جيدًا، فإن الأكواد شبه الملتوية (QT) (وهي تعميم يشمل الأكواد الدورية، والثابتة الدورية، وشبه الدورية) لم تُستكشف بعمق باستخدام منهج قائم على كثيرات الحدود دون تفكيكها إلى أكواد مكونة عبر نظرية الباقي الصينية (CRT). غالبًا ما تعتمد الأدبيات الموجودة على تفكيك CRT أو تقتصر على الأكواد شبه الملتوية ذات المولد الواحد.
2. الازدواج والارتباط: هناك حاجة لإقامة اتصال صارم بين الأكواد شبه الملتوية بطول $l$ فوق الحقل $\mathbb{F}_q$ والأكواد الجمعية الثابتة الدورية بطول $m$ فوق حقل التوسعة $\mathbb{F}_{q^l}$. وتحديدًا، يهدف المؤلفون إلى تحديد مزدوجات الأكواد الجمعية الثابتة الدورية (تحت ضرب الأثر الداخلي) من خلال الاستفادة من المزدوجات المعروفة لأكوادها شبه الملتوية المقابلة.

2. المنهجية

يستخدم المؤلفون منهجًا جبريًا قائمًا على كثيرات الحدود لتحليل بنية الأكواد. وتشمل الخطوات المنهجية الرئيسية ما يلي:

• التمثيل بكثيرات الحدود: بدلاً من تفكيك الأكود إلى أكواد مكونة، يمثل المؤلفون الأكواد شبه الملتوية (QT) بطول $lm$ومؤشر$l$ كفضاءات جزئية (submodules) من $(\mathbb{F}_q[x]/\langle x^m - \lambda \rangle)^l$. ويركزون بشكل خاص على حالة يكون فيها المؤشر $l=2$.
• مصفوفات المولدات: يقوم المؤلفون بتوصيف الأكواد شبه الملتوية (QT) من المؤشر 2 باستخدام مجموعة محددة من مولدات كثيرات الحدود (أسلوب "صيغة هيرميت الطبيعية" Hermite Normal Form) تتكون من عنصرين: $g_1 = (g_{11}(x), g_{12}(x))$ و $g_2 = (0, g_{22}(x))$.
• تعريفات الضرب الداخلي: تحدد الورقة وتحلل ثلاثة أنواع من الضرب الداخلي:
  • الأوروبي (Euclidean): الضرب النقطي القياسي.
  • السينبتي (Symplectic): المعرف كـ $\langle (a,b), (a',b') \rangle_s = \langle a, b' \rangle_e - \langle b, a' \rangle_e$.
  • الهيرميتي (Hermitian): المعرف فوق $\mathbb{F}_{q^2}$ باستخدام المرافق.
  • ضرب الأثر (Trace Inner Products): المعرف للأكواد الجمعية فوق حقول التوسعة (الأثر الأوروبي والأثر الهيرميتي).
• رسم خرائط الارتباط: يتم إنشاء تقابل (bijection) $\phi$ بين كود QT بطول $2m$ فوق $\mathbb{F}_q$ وكود جمعي ثابت دوري $C_A$ بطول $m$ فوق $\mathbb{F}_{q^2}$. يعتمد هذا الرسم على أساس $\{w_1, w_2\}$ لـ $\mathbb{F}_{q^2}$ فوق $\mathbb{F}_q$.
• اختيار الأساس: يستخدم المؤلفون الأسس شبه ذاتية التماثل (almost self-dual) والأسس ذاتية التماثل (self-dual) لتبسيط العلاقة بين ضرب الأثر في السياق الجمعي والضرب الداخلي القياسي في سياق الـ QT.

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

أ. التوصيف بكثيرات الحدود لأكواد QT من المؤشر 2

• مبرهنة 3.1: يقدم المؤلفون شرطًا ضروريًا وكافيًا لمجموعة من كثيرات الحدود لتوليد كود QT من المؤشر 2. ويثبتون أن أي كود كهذا يتم توليده بواسطة كثيرات حدود محددة تحقق قيود الدرجة وشروط القابلية للقسمة (على سبيل المثال، $g_{11}g_{22} \mid (x^m-\lambda)g_{12}$).
• شرط المولد الواحد: يثبتون أن كود QT من المؤشر 2 يتم توليده بواسطة عنصر واحد إذا وفقط إذا كان $g_{11}(x)g_{22}(x) \equiv 0 \pmod{x^m - \lambda}$ (تحت الشرط $\gcd(m,q)=1$).

ب. تحديد الأكواد المزدوجة

تقوم الورقة ببناء مولدات المزدوجات لأكواد QT من المؤشر 2 بشكل صريح:

• المزدوج الأوروبي ($C^{\perp_e}$): مشتق في المبرهنة 4.4، حيث يوفر مولدات كثيرات حدود صريحة للمزدوج بناءً على كثيرات الحدود العكسية للمولدات الأصلية.
• المزدوج السينبتي ($C^{\perp_s}$): مشتق في المبرهنة 5.1، موضحًا كيف يتم توليد المزدوج السينبتي من خلال عملية تبديل وتحويل محددة للمولدات الأصلية.
• المزدوج الهيرميتي ($C^{\perp_h}$): مشتق في المبرهنة 6.4 للأكواد فوق $\mathbb{F}_{q^2}$، باستخدام كثيرات الحدود العكسية المرافقة.

ج. شروط التعامد الذاتي

يستنتج المؤلفون شروطًا ضرورية وكافية ليكون كود QT ذاتي التعامد (أي يحتوي على المزدوج الخاص به) تحت الضربات الداخلية الأوروبية، والسينبتية، والهيرميتية (المبرهنات 7.1، 7.2، 7.3). يتم التعبير عن هذه الشروط كمتطابقات كثيرات حدود تتضمن المولدات ومقلوباتها/مرافقاتها.

د. الارتباط مع الأكواد الجمعية الثابتة الدورية

• رسم خرائط واحد لواحد: تثبت الورقة أن الأكواد شبه الملتوية (QT) بطول $lm$ومؤشر$l$فوق$\mathbb{F}_q$ متماثلة (isomorphic) مع الأكواد الجمعية الثابتة الدورية بطول $m$ فوق $\mathbb{F}_{q^l}$.
• تكافؤ المزدوج: هذا هو المساهمة النظرية الأكثر أهمية للورقة. يوضح المؤلفون أن:
  • المزدوج الأوروبي للأثر (Trace Euclidean dual) لكود جمعي ثابت دوري يتوافق مع المزدوج الأوروبي لكود الـ QT المقابل (تحت شروط أساس محددة).
  • المزدوج الهيرميتي للأثر (Trace Hermitian dual) لكود جمعي ثابت دوري يتوافق مع المزدوج السينبتي لكود الـ QT (عندما يكون $q$ زوجيًا) أو مع المزدوج الأوروبي المقيّس (عندما يكون $q$ فرديًا).
• التعميم: تعمم هذه النتائج النتائج السابقة للأكواد الدورية الجمعية (حيث المؤشر $l=1$) لتشمل المؤشرات التعسفية والسياقات الثابتة الدورية.

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

• المولدات الصريحة: توفر الورقة صيغًا صريحة لمولدات الأكواد المزدوجة، متجاوزة بذلك إثباتات الوجود الضمنية الموجودة في الأدبيات السابقة.
• بناء الأكواد الكمية: باستخدام شروط التعامد الذاتي المستنتجة وطريقة بناء CSS، يقوم المؤلفون ببناء أكواد كمية. يوضح المثال 7.4 كودًا كميًا $[[10, 2, 4]]_4$ مشتقًا من أكواد QT، وهو ما يطابق أفضل المعايير المعروفة.
• الأكواد الكلاسيكية المثلى: تسرد الجداول 1 و 2 عدة أكواد QT فوق الحقول الثلاثية والرباعية التي تحقق معايير تطابق أفضل الأكواد الخطية المعروفة (BKLC).
• تفوق الأكواد الجمعية على الخطية: يوضح المثال 9.1 و الجدول 3 أن الأكواد الجمعية الثابتة الدورية يمكن أن تحقق معايير (الطول، الحجم، المسافة الدنيا) لا يمكن لأي أكواد دورية خطية أن تضاهيها. على سبيل المثال، يوجد كود جمعي بمعايير $(71, 2^{106}, 8)_4$، بينما لا يوجد كود دوري خطي بمعايير $[71, 53]_4$.

5. الأهمية

• إطار موحد: توحد الورقة دراسة الأكواد شبه الملتوية (QT) والأكواد الجمعية الثابتة الدورية، مما يوضح أن المشكلة المعقدة لإيجاد مزدوجات الأكواد الجمعية فوق حقول التوسعة يمكن اختزالها إلى المشكلة الأكثر سهولة وهي إيجاد مزدوجات الأكواد الخطية فوق الحقل الأساسي.
• الفائدة الخوارزمية: من خلال توفير مولدات كثيرات حدود صريحة للمزدوجات، تسهل النتائج خوارزميات الترميز وفك الترميز الفعالة لهذه العائلات من الأكواد.
• الترميز الكمي: توفر النتائج أساسًا نظريًا قويًا لبناء أكواد مثبتة (stabilizer codes) كمية جديدة، والتي تعتمد بشكل كبير على الأكواد الكلاسيكية ذاتية التعامد.
• بناء الأكواد: إن تحديد الأكواد شبه الملتوية (QT) ذات المعايير المثلى وإظهار تفوق الأكود الجمعية على الخطية يسلط الضوء على القيمة العملية لهذه الفئات الموسعة من الأكواد في أنظمة الاتصالات والتخزين الحديثة.

في الختام، نجح عبد الخالق وفيرما في جسر الفجوة بين البنية الجبرية للأكواد شبه الملتوية والأكواد الجمعية الثابتة الدورية، مما وفر مجموعة أدوات قوية لبناء وتحليل أكواد تصحيح الخطأ عالية الأداء لكل من التطبيقات الكلاسيكية والكمية.