The equivalent condition for GRL codes to be MDS, AMDS or self-dual

ملخص تقني: الشروط المتكافئة لتكون أكواد GRL غير مكافئة لأكواد GRS (من نوع MDS أو AMDS أو ذاتية الثنائية)

بيان المشكلة
تتمتع الأكواد ذات المسافة القصوى (MDS) والأكواد ذات المسافة شبه القصوى (AMDS)، بالإضافة إلى الأكواد ذاتية الثنائية (self-dual)، بخصائص جبرية هامة وتُطبق على نطاق واسع في أنظمة الاتصالات، وتخزين البيانات، والترميز الكمي، والتشفير. وبينما تُعد أكواد ريد-سولومون (RS) فئة معروفة من أكواد MDS، فإن بناء أكواد غير مكافئة لأكواد RS (non-RS) يظل مجالاً بحثياً حيوياً لتوسيع تنوع عائلات الأكواد المتاحة. قامت أعمال سابقة بواسطة روث وليمبل [20]، ولاحقاً بواسطة وو وآخرون [21] و[22]، ببناء فئات محددة من أكواد MDS غير المكافئة لـ RS عن طريق تعزيز مصفوفة المولد الخاصة بأكواد RS بعمودين أو ثلاثة أعمدة إضافية. تعالج هذه الورقة الحاجة إلى تعميم هذه البناءات بشكل أكبر وإرساء شروط جبرية دقيقة تحت أي ظروف تكون هذه الأكواد المعممة (وأكوادها المزدوجة) ذات خصائص MDS أو AMDS أو ذاتية الثنائية دون أن تكون مكافئة لأكواد RS.

المنهجية
يقدم المؤلفون فئة من أكواد "روث-ليمبل المعممة" (GRL)، يُرمز لها بـ $GRL_k(\alpha, v, A_{l \times l})$، والمعرفة فوق حقل منتهٍ $F_q$. يعمم هذا البناء النماذج السابقة باستبدال مصفوفات التعزيز المحددة المستخدمة في [21] و[22] بمصفوفة قابلة للعكس اختيارية $A_{l \times l} \in GL_l(F_q)$. وتحديداً، تركز الورقة على حالة $l=3$، والتي يُرمز لها بـ $GRL_k(\alpha, v, A_{3 \times 3})$.

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

1. تحليل مصفوفة المولد: يعرّف المؤلفون مصفوفة المولد $G_4$ لكود $GRL_k(\alpha, v, A_{3 \times 3})$، والتي تتكون من بنية تشبه "فاندرموند" (Vandermonde-like) معززة بثلاثة أعمدة مشتقة من المصفوفة $A_{3 \times 3}$.
2. التحقق من عدم كون الكود RS: لإثبات أن الأكواد ليست RS، يستخدم المؤلفون التمهيدية 5 (التي تمثل توصيفاً لأكواد RS عبر مدخلات مصفوفة المولد) ويوضحون أن البنية المحددة للأعمدة المعززة تمنع الكود من استيفاء الشروط اللازمة للتكافؤ مع RS عندما تكون $k > 3$.
3. شروط MDS وAMDS: باستخدام التمهيدية 6 (التي تنص على أن كود $[n, k]$ هو MDS إذا وفقط إذا كانت أي $k$ أعمدة من مصفوفة المولد مستقلة خطياً)، يحلل المؤلفون محددات جميع المصفوفات الجزئية من النوع $k \times k$ التي يمكن تشكيلها من مصفوفة المولد. يتضمن ذلك تحليلاً مستفيضاً للحالات المتعلقة بتضمين الأعمدة المعززة ($u_1, u_2, u_3$) في المصفوفات الجزئية.
4. بناء مصفوفة التحقق من التماثل: بالنسبة لتحليل الثنائية الذاتية، يستنتج المؤلفون مصفوفة تحقق من التماثل صريحة $H_5$ لكود GRL. ويستخدمون التمهيدية 4 (خصائص مجموع قوى عناصر الحقل الموزونة بفروق عكسية) للتحقق من شرط التعامد $G H^T = 0$.
5. معايير الثنائية الذاتية: يتم وضع شرط الثنائية الذاتية ($C = C^\perp$) من خلال اشتراط أن تولد مصفوفة المولد ومصفوفة التحقق من التماثل نفس الفضاء، مما يؤدي إلى قيود محددة على المتجه $v$ والمصفوفة $A_{3 \times 3}$.

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

1. خاصية عدم كون الكود RS: تثبت النظرية 7 أنه عندما تكون $k > 3$، فإن الكود $GRL_k(\alpha, v, A_{3 \times 3})$ هو بالتأكيد غير GRS (أي ليس Generalized Reed-Solomon)، بغض النظر عن اختيار المعاملات، بشرط أن يكون $A_{3 \times 3} \in GL_3(F_q)$.

2. الشروط المتكافئة لـ MDS غير RS: توفر النظرية 8 شروطاً ضرورية وكافية ليكون $GRL_k(\alpha, v, A_{3 \times 3})$ من نوع MDS. تُعبر هذه الشروط كمتراجحات تتضمن مجموع نواتج نقاط التقييم $\alpha_i$ ومدخلات $A_{3 \times 3}$. وتحديداً، لأي مجموعة فرعية بحجم $k-1$ أو $k-2$، يجب ألا تتلاشى تعبيرات حدودية معينة تتضمن مدخلات المصفوفة.

   • توضح النتيجة 10 والمثال 11 هذه الشروط باستخدام شكل مصفوفة محدد ومثال ملموس فوق $F_{11}$، مما ينتج عنه كود $[8, 4, 5]$.

3. الشروط المتكافئة لثنائيات AMDS: تحدد النظرية 12 الشروط التي يكون بموجبها الكود المزدوج $GRL_k^\perp(\alpha, v, A_{3 \times 3})$ من نوع AMDS. يتطلب ذلك أن تكون أي $k-1$ أعمدة من مصفوفة المولد مستقلة خطياً، بينما تكون هناك مجموعة واحدة على الأقل من $k$ أعمدة تعتمد خطياً. تسرد النظرية ست حالات محددة تتضمن مدخلات $A_{3 \times 3}$ ومجموع $\alpha_i$.

   • تقدم النتيجة 13 والمثال 14 نموذجاً محدداً فوق $F_7$، مما ينتج عنه كود $[8, 4, 4]$.

4. مصفوفة التحقق من التماثل والثنائية الذاتية: تبني النظرية 16 مصفوفة التحقق من التماثل $H_5$ لكود GRL. وبناءً على ذلك، توفر النظرية 17 الشرط المتكافئ ليكون الكود ذاتي الثنائية وغير مكافئ لـ RS. تتطلب الشروط ما يلي:

   • $n + 3 = 2k$ (قيد البعد).
   • يجب أن يكون المتجه $v$ متناسباً مع متجه الفروق العكسية $u$ (أي $v_i = \lambda u_i$).
   • يجب أن تحقق المصفوفة $A_{3 \times 3}$ علاقة تربيعية محددة تتضمن مجموع $\alpha_i$ و$\alpha_i^2$.
   • توضح الأمثلة 18 و19 بناء مثل هذه الأكواد ذاتية الثنائية فوق $F_{13}$ و$F_{19}$ على التوالي. ومن الجدير بالذكر أن المثال 19 يسلط الضوء على إمكانية بناء أكواد GRL ذاتية الثنائية عندما يكون $q \equiv 3 \pmod 4$، وهي حالة كانت فيها عمليات بناء الأكواد ذاتية الثنائية في [22] محدودة.

الأهمية
تدعي الورقة أنها تعمم النتائج الموجودة في [21] و[22] باستبدال مصفوفات التعزيز المحددة بمصفوفة عامة قابلة للعكس $A_{3 \times 3}$. تكمن الأهمية الأساسية في توفير إطار عمل موحد لتحديد متى تمتلك هذه الأكود المعممة خصائص مسافة مثلى (MDS/AMDS) أو ثنائية ذاتية. يشير المؤلفون صراحةً إلى أن نتائجهم تستعيد نظريات [21] كحالات خاصة. علاوة على ذلك، فإن بناء الأكواد ذاتية الثنائية لـ $q \equiv 3 \pmod 4$ (المثال 19) يوسع نطاق تطبيق هذه الأكواد خارج القيود المفروضة في الأدبيات السابقة. وتخلص الورقة إلى أن هذه الشروط المتكافئة تسمح بالبناء المنهجي لأكواد غير RS ذات خصائص مرغوبة للتطبيقات في الاتصالات والتشفير.