2025-11-22T14:52:15.250654

Using nonassociative algebras to classify skew polycyclic codes up to isometry and equivalence

Pumpluen
Employing isomorphisms between their ambient algebras, we propose new definitions of equivalence and isometry for skew polycyclic codes that will lead to tighter classifications than existing ones. This reduces the number of previously known isometry and equivalence classes. In the process, we classify classes of skew $(f,σ,δ)$-polycyclic codes with the same performance parameters, to avoid duplicating already existing codes, and state precisely when different notions of equivalence coincide. The generator of a skew polycyclic code is in one-one correspondence with the generator of a principal left ideal in its ambient algebra. We allow the ambient algebras to be nonassociative, thus eliminating the need on restrictions on the length of the codes. Algebra isomorphisms that preserve the Hamming distance (called isometries) map generators of principal left ideals to generators of principal left ideals and preserve length, dimension and Hamming distance of the codes. The isometries between the ambient algebras can also be used to classify corresponding linear codes equipped with the rank metric.
academic

استخدام الجبر غير الترابطي لتصنيف أكواد الانحراف متعددة الدورات حتى التساوي المتري والتكافؤ

المعلومات الأساسية

  • معرّف الورقة: 2508.10139
  • العنوان: استخدام الجبر غير الترابطي لتصنيف أكواد الانحراف متعددة الدورات حتى التساوي المتري والتكافؤ
  • المؤلف: سوزان بومبلون (Susanne Pumplün)
  • التصنيف: cs.IT math.IT math.RA
  • تاريخ النشر: 13 أكتوبر 2025 (نسخة arXiv التمهيدية)
  • رابط الورقة: https://arxiv.org/abs/2508.10139

الملخص

تقترح هذه الورقة تعريفات جديدة لتكافؤ وتساوي متري أكواد الانحراف متعددة الدورات من خلال الاستفادة من التماثلات بين الجبر البيئي، مما يؤدي إلى تصنيف أكثر إحكاماً من الطرق الموجودة. يقلل هذا من عدد فئات التساوي المتري والتكافؤ المعروفة سابقاً. في هذه العملية، يصنف المؤلف فئات أكواد الانحراف (f,σ,δ)-متعددة الدورات ذات معاملات الأداء نفسها، لتجنب تكرار الأكواد الموجودة، ويوضح بدقة متى تتطابق مفاهيم التكافؤ المختلفة.

يوجد تطابق واحد لواحد بين المولدات الأكواد متعددة الدورات المنحرفة ومولدات المثاليات اليسرى الرئيسية في جبرها البيئي. بالسماح للجبر البيئي بأن يكون غير ترابطي، يتم القضاء على القيود المفروضة على طول الكود. التماثلات الجبرية التي تحافظ على مسافة هامينج (تسمى التساوي المتري) تعيّن مولدات المثاليات اليسرى الرئيسية إلى مولدات المثاليات اليسرى الرئيسية، وتحافظ على طول الكود والبعد ومسافة هامينج.

الخلفية البحثية والدافع

تعريف المشكلة

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

المساهمات الأساسية

  1. تعريفات تكافؤ جديدة: تقديم مفاهيم تكافؤ وتساوي متري أكثر دقة من تكافؤ تشن الموجود، مما يسمح باستخدام أي تشاكل ذاتي τ ∈ Aut(S)
  2. إطار عمل الجبر غير الترابطي: معالجة منهجية لأكواد الانحراف متعددة الدورات كمثاليات يسرى رئيسية في جبر بيتيت غير الترابطي، مما يلغي قيود طول الكود
  3. تحسين نتائج التصنيف:
    • تقديم شروط ضرورية وكافية للتكافؤ (النظرية 5.1)
    • إثبات تطابق التكافؤ والتساوي المتري في ظروف معينة (النظرية 5.2)
    • حساب جميع فئات التكافؤ (النظرية 5.7)
  4. التطبيقات المحددة: توفير تصنيف أكثر إحكاماً لأكواد الانحراف الثابتة على الحقول المحدودة، مع تقديم صيغ عد محددة

شرح الطريقة

تعريف المهمة

لتكن S حلقة ترابطية أحادية، σ ∈ Aut(S)، و f, h ∈ R = St;σ,δ متعددات حدود أحادية. المهمة هي تصنيف فئات التكافؤ والتساوي المتري لأكواد الانحراف (f,σ,δ)-متعددة الدورات بطول m.

المفاهيم الأساسية

1. جبر بيتيت (Petit Algebra)

لمتعددة حدود أحادية f(t)=tm−∑i=0m−1aitif(t) = t^m - \sum_{i=0}^{m-1} a_i t^i، عرّف جبر بيتيت: Sf=S[t;σ,δ]/S[t;σ,δ]fS_f = S[t;σ,δ]/S[t;σ,δ]f

هذا جبر غير ترابطي، وترابطي إذا وفقط إذا كان Rf مثالياً ثنائي الجانب.

2. تعريف التكافؤ

التعريف 3.1: لتكن τ ∈ Aut(S)، α ∈ S×، k ∈ ℕ. إذا كان هناك تشاكل حلقي G:R/Rf→R/RhG : R/Rf → R/Rh معرّف بـ G|_S = τ و Gτ,α,k(t)=αtkG_{τ,α,k}(t) = αt^k، فإن G يسمى تساوياً متريّاً من الدرجة k أو تشاكلاً أحادياً. عندما k = 1، يسمى Gτ,αG_{τ,α} تكافؤاً.

3. النظريات الرئيسية

النظرية 5.1 (معيار التكافؤ): فئتا أكواد الانحراف متعددة الدورات CfC_f و ChC_h متكافئتان إذا وفقط إذا كان هناك τ ∈ Aut(S) يتبادل مع σ و α ∈ S× بحيث τ(ai)=Nm−iσ(σi(α))biτ(a_i) = N^σ_{m-i}(σ^i(α))b_i لجميع i ∈ {0,...,m-1}.

النظرية 5.2 (تطابق التكافؤ والتساوي المتري): لتكن n ≥ m-1 و f لا تولد مثالياً ثنائي الجانب في Kt;σ، و Aut(K) مجموعة أبيلية. إذاً مفاهيم التكافؤ والتساوي المتري لأكواد الانحراف (f,σ)-متعددة الدورات بطول m تتطابق.

نقاط الابتكار التقني

  1. توصيف التشاكلات الأحادية: توصيف كامل للتشاكلات التي تحافظ على وزن هامينج من خلال الشرط ασ(τ(b))=τ(σ(b))αασ(τ(b)) = τ(σ(b))α
  2. التطبيق المنهجي للجبر غير الترابطي: أول استخدام منهجي لنظرية جبر بيتيت غير الترابطي في معالجة أكواد الانحراف متعددة الدورات
  3. البناء الصريح لفئات التكافؤ: تقديم وصف كامل وطريقة حساب لفئات التكافؤ

إعداد التجارب

التحقق النظري

هذه الورقة عمل نظري بشكل أساسي، يتم التحقق من النتائج بالطرق التالية:

  1. أمثلة محددة على الحقول المحدودة:
    • K=Fp2K = \mathbb{F}_{p^2}، حالة تشاكل فروبينيوس الذاتي σ
    • حسابات محددة لـ K=F32K = \mathbb{F}_{32} و K=F22K = \mathbb{F}_{22}
  2. المقارنة مع النتائج الموجودة: إثبات أن التصنيف الجديد أكثر دقة من تصنيف تشن

مؤشرات التقييم

  • درجة تقليل عدد فئات التكافؤ
  • إحكام التصنيف
  • اكتمال النتائج النظرية

نتائج التجارب

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

1. تحسين التصنيف على الحقول المحدودة

المثال 6.2: عندما gcd⁡([m]s,pr−1)=pr−1\gcd([m]_s, p^r-1) = p^r-1، يوجد pr−1p^r-1 فئة أكواد انحراف ثابتة مختلفة تحت تكافؤ تشن، بينما تحت علاقة التكافؤ الجديدة، تحتوي كل فئة تكافؤ على r عنصر (عندما a∉Fpa \notin \mathbb{F}_p)، مما يقلل عدد الفئات إلى 1/r من الأصلي.

2. نتائج العد المحددة

المثال 6.4 (K=F32K = \mathbb{F}_{32}):

  • عندما m فردي: عدد فئات تكافؤ تشن = 1، عدد فئات التكافؤ الجديدة = 1
  • عندما m≡2(mod4)m \equiv 2 \pmod{4}: عدد فئات تكافؤ تشن = 4، عدد فئات التكافؤ الجديدة = 2
  • عندما m≡0(mod4)m \equiv 0 \pmod{4}: عدد فئات تكافؤ تشن = 8، عدد فئات التكافؤ الجديدة = 5

3. شروط تطابق التكافؤ والتساوي المتري

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

الاكتشافات النظرية

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

الأعمال ذات الصلة

الاتجاهات البحثية الرئيسية

  1. نظرية التصنيف الكلاسيكية: تصنيف أكواد constacyclic من قبل تشن وآخرين CFLL2012
  2. نظرية حلقات متعددات الحدود المنحرفة: نظرية أكواد الانحراف الدورية من قبل بوشيه وأولمر BouUl2009
  3. تطبيقات الجبر غير الترابطي: تطبيقات نظرية جبر بيتيت في الترميز

مزايا هذه الورقة

  1. تصنيف أكثر دقة: مقارنة بتصنيف تشن، يقلل من التكرار
  2. اكتمال النظرية: معالجة منهجية للحالة غير الترابطية
  3. عمومية التطبيقات: قابلة للتطبيق على بناء أكواد التصحيح الكمي المتشابكة

الخلاصة والنقاش

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

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

القيود

  1. التعقيد الحسابي: التوصيف الكامل لفئات التساوي المتري لا يزال صعباً في بعض الحالات
  2. نطاق التطبيق: يركز بشكل أساسي على حالة δ = 0، وتتطلب حالة δ ≠ 0 مزيد من البحث
  3. الحلقات غير التبديلية: يركز حالياً بشكل أساسي على حالة الحلقات التبديلية S

الاتجاهات المستقبلية

  1. دراسة التشاكلات التي تحافظ على وزن هامينج عندما δ ≠ 0
  2. التوسع إلى حالة الحلقات غير التبديلية
  3. التطبيقات المحددة في بناء أكواد التصحيح الكمي المتشابكة
  4. النظر في مفاهيم التساوي المتري التي تحافظ على الثنائية

التقييم المتعمق

المزايا

  1. الابتكار النظري: أول استخدام منهجي لنظرية الجبر غير الترابطي في تصنيف أكواد الانحراف متعددة الدورات
  2. اكتمال النتائج: تقديم شروط ضرورية وكافية للتكافؤ ووصف كامل لفئات التكافؤ
  3. القيمة العملية: توفير أدوات أكثر فعالية لبحث وتصنيف الأكواد
  4. الصرامة الرياضية: الإثباتات كاملة والأساس النظري متين

أوجه القصور

  1. التعقيد الحسابي: لا يزال توصيف فئات التساوي المتري صعباً في بعض الحالات
  2. التحقق من التطبيقات: نقص التحقق من التطبيقات في مشاكل الترميز الفعلية
  3. تنفيذ الخوارزميات: عدم توفير تنفيذ خوارزمي محدد

التأثير

  1. المساهمة النظرية: توفير أدوات جبرية جديدة لنظرية الترميز
  2. القيمة العملية: المساعدة في تحسين خوارزميات البحث عن الأكواد
  3. التأثير متعدد التخصصات: ربط الجبر غير الترابطي بنظرية الترميز

السيناريوهات المناسبة

  1. البحث النظري في أكواد الانحراف متعددة الدورات
  2. بناء أكواد التصحيح الكمي المتشابكة
  3. تصنيف الأكواد الخطية على الحلقات المحدودة
  4. التطور الإضافي لنظرية الترميز الجبري

المراجع

تستشهد هذه الورقة بالأدبيات المهمة في مجالات نظرية الترميز، نظرية حلقات متعددات الحدود المنحرفة، والجبر غير الترابطي، بما في ذلك:

  • أعمال تشن وآخرين في تصنيف أكواد constacyclic
  • نظرية أكواد الانحراف الدورية من قبل بوشيه وأولمر
  • النظريات ذات الصلة بجبر بيتيت
  • الأعمال السابقة للمؤلف حول تماثلات الجبر غير الترابطي

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