Functional codes arising from rank $n$ Hermitian varieties and hypersurfaces in low dimensions

ملخص تقني: الأكواد الوظيفية من المتنوعات الهيرميتية ذات الرتبة $n$

بيان المشكلة
تتقصى الورقة البحثية معاملات الأكواد الوظيفية، والتي يُرمز لها بـ $C_d(X)$، حيث المتنوعة الأساسية $X$ هي متنوعة هيرميتية متدهورة من الرتبة $n$، ويُرمز لها تحديداً بـ $PUn_{-1}$، ضمن الفضاء الإسقاطي $\mathbb{P}^n(\mathbb{F}_{q^2})$. تركز الدراسة على الحالة التي يكون فيها درجة $d$ للحدوديات المتجانسة المُعرفة هي $d \leq q$. التحدي الرئيسي الذي تمت معالجته هو تحديد الطول، والبعد، والمسافة الدنيا لهذه الأكواد. ترتبط المسافة الدنيا ارتباطاً جوهرياً بالعدد الأقصى للنقاط في الحقل $\mathbb{F}_{q^2}$ الناتجة عن تقاطع المتنوعة الهيرميتية المتدهورة $PUn_{-1}$ مع فائق سطح (hypersurface) فوق الحقل $\mathbb{F}_{q^2}$ من الدرجة $d$. وبينما تُعد معاملات المتنوعات الهيرميتية غير المتدهورة معروفة جيداً لدرجات محددة، فإن بنية الأكواد الناشئة عن المتنوعات المتدهورة (المخاريط فوق قواعد غير متدهورة) تتطلب تحليلاً متميزاً.

المنهجية
يستخدم المؤلف مزيجاً من الهندسة الجبرية ونظرية الترميز التوافقية. تسير المنهجية عبر الخطوات التالية:

1. التفكيك الهندسي: يتم توصيف المتنوعة الهيرميتية المتدهورة $PUn_{-1}$ كـ "مخروط" (cone) برأس عند نقطة $P$ من الحقل $\mathbb{F}_{q^2}$ وقاعدة تتكون من متنوعة هيرميتية غير متدهورة $Un_{-1}$ في فضاء جزئي (hyperplane).
2. تحليل التقاطع: يكمن جوهر العمل في اشتقاق حد علوي لـ $|PUn_{-1} \cap V(F)(\mathbb{F}_{q^2})|$، حيث $V(F)$ هو فائق سطح من الدرجة $d \leq q$. يميز الإثبات بين الحالات بناءً على ما إذا كان الرأس $P$ يقع على فائق السطح $V(F)$ وما إذا كان $V(F)$ يحتوي على مستويات (hyperplanes) تمر عبر $P$ أو تتجنبه.
3. التوصيف الاستقرائي وحسب الحالة: بالنسبة لـ $n$ العامة، يتم اختزال المشكلة إلى تقييم $M_{n-1}(d)$، وهو الحد الأقصى لحجم التقاطع بين متنوعة هيرميتية غير متدهورة $Un_{-1}$ وفائق سطح من الدرجة $d$. تقوم الورقة بتوصيف فائق السطح الذي يحقق هذه القيم القصوى صراحةً للأبعاد $n=2, 3, 4$.
   • بالنسبة لـ $n=2$ و $n=3$، يستخدم المؤلف متباينة "سير" (Serre's inequality) والخصائص الهندسية المحددة للخطوط والمستويات بالنسبة للمنحنيات والأسطح الهيرميتية.
   • بالنسبة لـ $n=4$، يعتمد التحليل على حد "سورينسن" (Sørensen's bound) لتقاطع الأسطح مع الأسطح الهيرميتية غير المتدهورة في $\mathbb{P}^3$، مع توسيع هذه النتائج لتشمل بنية المخروط.
4. اشتقاق معاملات الكود: باستخدام حدود التقاطع المستقرة، يثبت المؤلف حقنية (injectivity) تطبيق التقييم لـ $d \leq q$ (مما يضمن أن البعد هو كامل فضاء الحدوديات) ويحسب المسافة الدنيا عن طريق طرح الحد الأقصى لحجم التقاطع من العدد الإجمالي للنقاط العقلانية على المتنوعة.

المساهمات والنتائج الرئيسية
تقدم الورقة النتائج المحددة التالية:

• الحد العلوي العام: تم وضع حد علوي لعدد النقاط العقلانية في تقاطع $PUn_{-1}$ وفائق سطح من الدرجة $d \leq q$ كالتالي:
  $$\max \left\{ |Un_{-1}(\mathbb{F}_{q^2})| + (d-1)(q+1)q^{2n-4}, \quad 1 + q^2 M_{n-1}(d) \right\}$$
  حيث $M_{n-1}(d)$ هو الحد الأقصى لحجم التقاطع للمتنوعة القاعدية غير المتدهدة.
• توصيف فائق السطح المتطرف:
  • الحالة $n=2$: الحد الأقصى للتقاطع هو $dq^2 + 1$، ويتحقق ذلك إذا وفقط إذا كان المنحنى عبارة عن اتحاد $d$ من الخطوط الموجودة داخل المخروط.
  • الحالة $n=3$: الحد الأقصى للتقاطع هو $1 + q^2d(q+1)$. وتوصف الأسطح التي تحقق ذلك بأنها مخاريط فوق منحنيات $C$ بحيث $|C \cap Un_{-1}| = d(q+1)$.
  • الحالة $n=4$: الحد الأقصى للتقاطع هو $1 + q^2(d(q^3 + q^2 - q) + q + 1)$. وتوصف الثلاثيات (threefolds) التي تحقق ذلك بأنها اتحاد خطوط تمر عبر الرأس $P$، وتحديداً فيما يتعلق بالمستويات المماسية للسطح القاعدي.
• معاملات الكود: تحدد الورقة صراحةً المعاملات $[m, k, d_{min}]_{q^2}$ للأكواد $C_d(PUn_{-1})$ لـ $n=2, 3, 4$:
  • $n=2$: $m = q^3 + q^2 + 1$، $k = \binom{2+d}{d}$، $d_{min} = q^3 - (d-1)q^2$.
  • $n=3$: $m = q^5 + q^2 + 1$، $k = \binom{3+d}{d}$، $d_{min} = q^2(q^3 - dq - (d-1))$.
  • $n=4$: $m = q^7 + q^5 + q^4 + q^2 + 1$، $k = \binom{4+d}{d}$، $d_{min} = q^7 - (d-1)q^3(q^2 + q - 1)$.
• الحقنية: ثبت أنه لـ $d \leq q$، يكون تطبيق التقييم حقنياً، مما يعني أن بعد الكود هو بالضبط بعد فضاء الحدوديات المتجانسة من الدرجة $d$.

الأهمية
تساهم الورقة في فهم الأكواد الوظيفية المرتبطة بالمتنوعات الجبرية المتدهورة، وهي فئة أقل استكشافاً من نظيراتها غير المتدهورة. ومن خلال وضع حدود دقيقة لتقاطعات النقاط العقلانية وتوصيف البنى الهندسية (فوق الأسطح) التي تحقق هذه الحدود في الأبعاد المنخفضة ($n=2,3,4$)، تملأ هذه الدراسة فجوة في الأدبيات المتعلقة بمعاملات الأكواد المشتقة من المتنوعات الهيرميتية من الرتبة $n$. توفر النتائج وصفاً كاملاً لمعاملات الكود لهذه الحالات المحددة، وتربط الخصائص الهندسية لتقاطع المخاريط وفوق الأسطح مباشرة بقدرات تصحيح الخطأ (المسافة الدنيا) للأكواد الناتجة. وتقر الورقة بأنه بالنسبة لـ $n \geq 5$، فإن المشكلة تختزل في تحديد $M_{n-1}(d)$، وهو ما يظل مشكلة مفتوحة لـ $d \geq 4$، مع الإشارة إلى التخمينات القائمة (التخمين 1) في هذا المجال.