Function-Based Minimal Linear Codes over Galois Rings $\mathrm{GR}(p^{n}, \ell)$: Minimality Criteria and Infinite Constructions

إليك ملخص تقني مفصل للورقة البحثية بعنوان: "الأكواد الخطية الدنيا القائمة على الدوال فوق حلقات غالوا $GR(p^n, \ell)$: معايير الحد الأدنى والإنشاءات اللانهائية."

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

تتناول الورقة بناء وتوصيف الأكواد الخطية الدنيا (Minimal Linear Codes) فوق حلقات غالوا $GR(p^n, \ell)$.

• السياق: تُعد الأكواد الخطية الدنيا بالغة الأهمية في مخططات مشاركة الأسرار، والحوسبة متعددة الأطراف (MPC)، وتوزيع المعلومات الآمن، لأن الكلمات (codewords) الدنيا تقابل المجموعات الفرعية المؤهلة الدنيا في هياكل الوصول.
• الفجوة: بينما تمت دراسة الأكواد الدنيا فوق الحقول المنتهية بشكل جيد (لا سيما عبر الإنشاءات القائمة على الدوال بواسطة Wu وآخرون)، فإن التوسع إلى الحلقات المنتهية أكثر تعقيداً بشكل كبير بسبب وجود المقسّمات على الصفر (zero divisors)، والمثاليّات غير التافهة، وبنية الموديول (module) الأكثر ثراءً.
• الهدف: يهدف المؤلفون إلى:
  1. وضع شروط ضرورية وكافية ليكون الكود الخطي فوق $GR(p^n, \ell)$ دنيّاً (minimal).
  2. تعميم إطار الإنشاء القائم على الدوال (من الحقول المنتهية) ليشمل حلقات غالوا.
  3. اشتقاق حدود صريحة لطول الأكواد الدنيا وإنشاء عائلات لانهائية من هذه الأكواد.

2. المنهجية والإطار النظري

يستخدم المؤلفون مزيجاً من نظرية الموديولات (module theory)، ثنائية فروبينيوس (Frobenius duality)، وتحليل التقييم (valuation analysis) للتنقل عبر التعقيدات الجبرية لحلقات غالوا.

أ. البنية الجبرية لـ $GR(p^n, \ell)$

• خصائص حلقة السلسلة (Chain Ring): حلقة غالوا $GR(p^n, \ell)$ هي حلقة سلسلة محلية منتهية ذات مثالي أقصى $\langle p \rangle$ وحقل متبقٍ $\mathbb{F}_q$ (حيث $q=p^\ell$).
• المقسّمات على الصفر مقابل الوحدات: تُصنف العناصر كـ "وحدات" (units - غير صفرية بمقاس $p$) أو "مقسّمات على الصفر" (zero divisors - مضاعفات $p$). هذا الانقسام هو ما يدفع تعقيد معايير الحد الأدنى.
• الكلمات الجذرية (Root Words): يُعرَّف المتجه $v \in GR(p^n, \ell)^m$ بأنه كلمة جذرية إذا كان أحد مكوناته على الأقل وحدة (بمعنى آخر $v \not\in p GR(p^n, \ell)^m$). تتصرف الكلمات الجذرية بشكل مشابه للمتجهات غير الصفرية في الفضاءات المتجهة، بينما تظهر الكلمات غير الجذرية خصائص التواء (torsion).

ب. معايير الحد الأدنى عبر الموديولات المتعامدة

الأداة النظرية الأساسية هي العلاقة بين دعم الكلمة (support) والموديول المتعامد الخاص بها $v^\perp$.

• الثنائية: بما أن $GR(p^n, \ell)$ هي حلقة فروبينيوس، فإن خاصية الثنائية المزدوجة $(C^\perp)^\perp = C$ تتحقق.
• التوصيف: يكون الكود الخطي $C$ دنيّاً إذا وفقط إذا كان الموديول المولد من مُهملات (annihilators) $c$ ضمن المجموعة المحددة يساوي الموديول المتعامد الكامل للمتجه المقابل.
• النظرية الرئيسية (النظرية 17): بالنسبة للبعد $m \ge 2$، يكون الكود دنيّاً إذا وفقط إذا كانت جميع كلماته الجذرية دنيّة. هذا يختزل مشكلة الحد الأدنى العالمية إلى تحليل متجهات "جذرية" محددة، مما يتجاكن فعلياً الحاجة إلى فحص جميع عناصر الالتواء بشكل فردي.

ج. الإنشاء القائم على الدوال

يقوم البحث بإنشاء أكواد $C_f$ باستخدام مصفوفة مولدة مشتقة من دالة $f: GR(p^n, \ell)^m \to GR(p^n, \ell)$.

• مصفوفة المولد: تقابل الصفوف تقييم الدالة ودالة الهوية.
• شروط التزامن: لضمان الحد الأدنى، يجب أن تحقق الدالة $f$ "شروط تزامن" محددة مع الأشكال الخطية $w \cdot x$.
  • حالة الوحدة: $f(\beta_i) = w \cdot \beta_i$.
  • حالة المقسم على الصفر: $p^r f(\beta_i) = w \cdot \beta_i$ (مما يعكس تقييم المقسم على الصفر).

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

1. التوصيف الكامل للحد الأدنى

يقدم المؤلفون شرطاً ضرورياً وكافياً صارماً للحد الأدنى فوق $GR(p^n, \ell)$. لقد أثبتوا أنه بالنسبة لـ $m \ge 2$، فإن حد أدنى الكود بأكمله يتحدد فقط من خلال سلوك الكلمات الجذرية. هذا يعمم النتائج السابقة من $\mathbb{Z}_{p^n}$ إلى الفئة الأوسع من حلقات غالوا.

2. تصنيف الكلمات الجذرية

يحدد التحليل خمسة أنواع متميزة من الكلمات الجذرية في الأكواد المُنشأة، وكل نوع يتطلب شروطاً محددة على الدالة $f$:

1. $c(u, 0)$: قياس وحدة، متجه صفري.
2. $c(u, v)$: قياس وحدة، متجه كلمة جذرية.
3. $c(u, v)$: قياس وحدة، متجه كلمة غير جذرية.
4. $c(0, v)$: قياس صفري، متجه كلمة جذرية.
5. $c(d, v)$: قياس مقسم على الصفر، متجه كلمة جذرية.

3. حدود دنيا جديدة لطول الكود

اشتقت الورقة حدوداً دنيا صريحة لطول $k$ لكود خطي دنيٍّ ذي بعد $m$ فوق $GR(p^n, \ell)$:

• بالنسبة لـ $m \ge 3$: $k > (m-1)q^n + q^{n-m}$.
• بالنسبة لـ $m = 2$: حدود محددة تعتمد على $n$ (على سبيل المثال، $k > q^n + q^{n-2} + 1$ لـ $n \ge 3$).
• أُثبت أن هذه الحدود تكون ضيقة (tight) في حالات محددة، مطابقة للنتائج المعروفة للحقول المنتهية عندما $n=1$.

4. عائلات لانهائية من الأكواد الدنيا

باستخدام المعايير المستمدة، أنشأ المؤلفون عدة عائلات لانهائية من الأكواد الدنيا:

• الإنشاء العام للدوال: قاموا بتعريف دوال تحقق شروط وزن وتركيب وحدات محددة (النظرية 40 والنظرية 43) لضمان الحد الأدنى.
• الإنشاء بالمتعددات (Polynomial Construction): تم إنشاء عائلة ملموسة باستخدام متعددات حدود متعددة المتغيرات ذات دعامات أحادية (monomial supports) منفصلة (النظرية 45). يوفر هذا طريقة سهلة التحقق لتوليد الأكواد الدنيا.

4. النتائج الرئيسية

• النظرية 17: تثبت أنه بالنسبة لـ $m \ge 2$، فإن فحص دنيّة الكلمات الجذرية كافٍ للتحقق من الكود بأكمله.
• النسبة 24 (Proposition 24): تثبت أنه بالنسبة لـ $m=2$، فإن الطول الأدنى هو بالضبط $k(2; GR(p^n, \ell)) = q^n + q^{n-1}$، مما يعمم نتيجة $\mathbb{Z}_{p^n}$.
• النظرية 40 و43: توفران شروطاً كافية على الدالة $f$ (تتضمن ثبات الوحدة وقيم محددة على المتجهات ذات الأوزان هامينج المحددة) بحيث يكون الكود الناتج $C_f$ دنيّاً.
• النظرية 45: توضح أن متعددات الحدود من الشكل $f(x) = \sum a_i g_i(x)$ ذات الدعامات المنفصلة وقيود الأسس المحددة تنتج أكواداً دنيا.

5. الأهمية والأثر

• التوحيد: يوحد هذا العمل نظرية الحد الأدنى عبر الحقول المنتهية وحلقات غالوا، موضحاً أن مفهوم "الكلمة الجذرية" هو الثابت الأساسي الذي يحكم الحد الأدنى في حلقات السلسلة.
• الرؤية الجبرية: يوضح العمل كيف تؤثر المقسّمات على الصفر وترشيح التقييم (valuation filtration) على بنية الكود. وتحديداً، يظهر أنه بينما تُدخل المقسّمات على الصفر نوعاً من الالتواء (torsion)، إلا أنها لا تخلق عوائق جديدة للحد الأدنى خارج ما يتم التقاطه عبر تحليل الكلمات الجذرية (لـ $m \ge 2$).
• التطبيقات التشفيرية: من خلال توفير عائلات صريحة لانهائية من الأكواد الدنيا فوق الحلقات، تفتح الورقة آفاقاً جديدة لـ:
  • مخططات مشاركة الأسرار: هياكل وصول أكثر مرونة فوق أبجدات قائمة على الحلقات.
  • التشفير ما بعد الكم (Post-Quantum Cryptography): الإنشاءات القائمة على الحلقات ذات صلة بالمخططات القائمة على الشبكات (lattice-based).
  • الأنظمة اللامركزية: تطبيقات في البلوكشين والتصويت الآمن حيث تعتبر بنى الحلقات طبيعية.
• الاتجاهات المستقبلية: تحدد الورقة مشكلات مفتوحة تتعلق بتوزيع الأوزان، والأكواد ذات الأوزان القليلة، والتوسع إلى حلقات فروبينيوس عامة، مما يرسم خارطة طريق للأبحاث المستقبلية في نظرية الأكواد.

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