🔢 mathematics

Bent Functions and the Completed Maiorana-McFarland Class

تستعرض هذه الورقة النتائج الأساسية والتطورات الحديثة في تصميم وتحليل الدوال البولينية المنحنية (Boolean bent functions)، مع التركيز بشكل خاص على علاقتها بفئة مايورانا-مايكفيلد المكتملة (completed Maiorana-McFarland class).

المؤلفون الأصليون: Enes Pasalic, Alexandr Polujan, Fengrong Zhang, Sadmir Kudin

نُشر 2026-08-25

📖 5 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Enes Pasalic, Alexandr Polujan, Fengrong Zhang, Sadmir Kudin

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

في البنية الخفية للأمن الرقمي الحديث، يوجد نوع خاص من الكائنات الرياضية يُعرف باسم "الدالة المنحنية" (bent function). هذه ليست أجهزة مادية أو كيانات بيولوجية، بل هي قواعد معقدة لمعالجة البيانات الثنائية—وهي سلاسل من الآحاد والأصفار التي تشكل أساس كل اتصالات الكمبيوتر. تخيل مشهدًا شاسعًا من القواعد المحتملة، حيث تكون معظمها متوقعة وسهلة التحليل. تقف الدوال المنحنية عند قمة عدم القدرة على التنبؤ، بعيدًا كل البعد عن أي نمط بسيط ومستقيم. وبسبب هذا الاضطراب الشديد، تعد أدوات لا تقدر بثمن لحماية البيانات في التشفير ورموز تصحيح الأخطاء، حيث تعمل كضجيج فوضوي يمنع المتصنتين من العثور على إشارة. لعقود من الزمن، عرف علماء الرياضيات كيفية بناء عائلة محددة ومفهومة جيدًا من هذه الدوال، وهي مجموعة سميت تيمناً بالباحثين الذين وصفوها لأول مرة. هذه العائلة، التي تُسمى غالبًا فئة "مايورانا-ماكفارلاند" (Maiorana-McFarland)، كانت بمثابة المخطط الأساسي لإنشاء الدوال المنحنية، تمامًا مثل المخطط المعماري القياسي لبناء منزل. ومع ذلك، ظل هناك سؤال يطارد هذا المجال: هل هذه المخططات القياسية هي الطريقة الوحيدة لبناء مثل هذه الدوال، أم أن هناك تصميمات أخرى أكثر غرابة لم نكتشفها بعد؟

لقد أجرى فريق من الباحثين الآن نظرة شاملة على هذا السؤال، مستعرضين المشهد الكامل للدوال المنحنية لمعرفة كيفية ارتباطها بتلك العائلة القياسية. وتؤكد أعمالهم أن المخططات المعروفة، رغم فائدتها، لا تمثل سوى جزء ضئيل من الإمكانيات الإجمالية. وفي الحالة المحددة للدوال ذات المتغيرات الثمانية، كشفت عمليات البحث الحاسوبية أن العدد الإجمالي للدوال المنحنية ضخم للغاية، ويبلغ تقريبًا اثنين مرفوعًا للقوة مائة وستة (2^106). وفي المقابل، يُقدر عدد الدوال التي يمكن بناؤها باستخدام مخطط "مايورانا-ماكفارلاند" القياسي بما لا يتجاوز اثنين مرفوعًا للقوة واحد وثمانين (2^81). تشير هذه الفجوة الهائلة إلى أن الغالبية العظمى من الدوال المنحنية تختلف جوهريًا عن تلك التي استطعنا بناءها بشكل صريح. وكان هدف الباحثين هو رسم خريطة للمنطقة الواقعة بين هذين الطرفين، وتحديد طرق جديدة لبناء دوال منحنية لا تتبع القالب القديم بالتأكيد، وفهم الأسباب الهيكلية التي تجعلها مختلفة بهذا الشكل.

يبدأ البحث بفحص عائلتين محددتين من الدوال المنحنية، تُعرفان بالفئتين (C) و (D)، واللتين صُممتا لتعديل المخطط القياسي. تُدخل هاتان العائلتان تغييرات طفيفة ومتعمدة على الصيغة القياسية، عبر إضافة أنماط محددة إلى المخرجات. وقد استقصى الباحثون ما إذا كانت هذه التعديلات كافية لدفع الدوال الناتجة خارج العائلة القياسية. ووجدوا أنه تحت ظروف معينة، تكون هذه الدوال المعدلة متميزة بالفعل. فعلى سبيل المثال، إذا كان التبديل (permutation) الأساسي المستخدم في البناء يمتلك خصائص جبرية محددة—أي إذا كان يفتقر إلى بعض التناظرات الخفية—فإن الدالة المنحنية الناتجة لا يمكن تحويلها للعودة إلى الشكل القياسي. وقد قدم المؤلفون قواعد واضحة وقابلة للاختبار لتحديد متى تنتمي دالة ما إلى هذه العائلات الجديدة والغريبة، ومتى تظل محاصرة داخل العائلة القديمة. كما استكشفوا "الفئات العليا" (superclasses)، التي تجمع أنواعًا مختلفة من التعديلات، ووجدوا أنه بينما تنجح بعض التركيبات، تفشل تركيبات أخرى في إنتاج دوال منحنية على الإطلاق، مما يكشف عن التوازن الدقيق المطلوب للحفاظ على المستوى اللازم من عدم القدرة على التنبؤ.

وإلى جانب هذه العائلات المحددة، نظر الباحثون في الدوال المبنية باستخدام البنية الضربية للحقول المحدودة، والتي توصف غالبًا باستخدام حدود "الأثر" (trace terms). هذه الدوال تعتمد فيها المخرجات على مجموع رقم مرفوع لقوة معينة. وتسلط الدراسة الضوء على أن العديد من هذه الدوال، وخاصة تلك القائمة على أسس معينة، تقع خارج العائلة القياسية بشكل مثبت. وقد استخدم الباحثون اختبارًا رياضيًا محددًا يتضمن المشتقات من الدرجة الثانية—وهي طريقة لقياس كيف يتغير معدل تغير الدالة نفسه—لإثبات أن هذه الدوال تفتقر إلى الانتظام الهيكلي الموجود في الفئة القياسية. كما فحصوا الدوال التي تعمل كمؤشرات لكائنات رياضية مهمة أخرى، مثل الدوال "شبه المثالية غير الخطية" (almost perfect nonlinear functions)، مبينين أن هذه المؤشرات غالبًا ما تمتلك الخصائص الفريدة وغير القياسية للدوال المنحنية التي تقع خارج العائلات المعروفة.

يتمثل الموضوع المركزي للبحث في مفهوم "مؤشر الخطية" (linearity index)، والذي يمكن اعتباره مقياسًا لمدى تشابه الدالة مع نمط خطي بسيط. الدوال القياسية من نوع "مايورانا-ماكفارلاند" لها مؤشر خطية مرتفع، مما يعني أنه يمكن تفكيكها إلى قطع أفينية (affine) كبيرة وبسيطة. وقد حدد الباحثون فئة جديدة من الدوال ذات الحد الأدنى الممكن من مؤشر الخطية، والتي أطلقوا عليها اسم "المثالية" (optimal). هذه الدوال هي عكس الدوال القياسية؛ فهي غير منتظمة لدرجة أنها لا يمكن تبسيطها إلى كتل أفينية كبيرة على الإطلاق. ويفصل البحث كيفية بناء هذه الدوال المثالية ويثبت أنها تختلف جوهريًا عن الفئة القياسية. ومن خلال دراسة "الفضاءات الجزئية M" (M-subspaces)—وهي بنى هندسية جزئية خاصة داخل مجال الدالة تكشف عن تناظرها الأساسي—أظهر المؤلفون أن هذه الدوال المثالية تمتلك بنية فريدة ودنيا لا تمتلكها الدوال القياسية ببساطة.

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

ملخص تقني: الدوال المنحنية (Bent Functions) وفئة مايورانا-ماكفارلاند المكتملة

بيان المشكلة
تمثل الدوال البولينية المنحنية (Bent functions)، التي قدمها روثاوس، فئة أساسية من الدوال في عدد زوجي من المتغيرات تحقق أقصى درجات اللاخطية (أقصى مسافة عن الدوال الأفينية). وبينما تشكل فئة مايورانا-ماكفارلاند (M) ونسختها المكتملة ( $M^\#$ ) الفئة الأكثر فهماً وتوضيحاً صراحةً من الدوال المنحنية، إلا أن الأدلة الحسابية الحديثة تشير إلى وجود تفاوت كبير بين العدد الإجمالي للدوال المنحنية والدوال التي تنتمي إلى $M^\#$ . ففي البعد 8، يبلغ إجمالي الدوال المنحنية حوالي $2^{106}$ ، بينما يُقدر عدد الدوال المكافئة لمايورانا-ماكفارلاند بـ $2^{81}$ كحد أقصى. هذا الملاحظة تحفز المشكلة المركزية لهذا الاستطلاع: وهي توصيف الدوال المنحنية التي تقع خارج فئة مايورانا-ماكفارلاند المكتملة ( $M^\#$ )، وفهم بنيتها الجبرية، وتطوير طرق بناء صريحة لمثل هذه الدوال. يركز البحث على "مشكلة الاستبعاد" (exclusion problem)—وهي تحديد تقاطع فئات مختلفة من الدوال المنحنية مع $M^\#$ وتحديد الشروط التي تكون فيها الدوال خارج هذه الفئة بشكل مثبت.

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

التوصيف الجبري: استخدام معيار المشتقة من الدرجة الثانية (التمهيدية 1.2) لتوصيف العضوية في $M^\#$ . تنتمي الدالة إلى $M^\#$ إذا وفقط إذا وجد فضاء جزئي $U$ ذو بُعد $m$ بحيث تتلاشى جميع المشتقات من الدرجة الثانية $D_a D_b f$ لجميع $a, b \in U$ .
مؤشر الخطية والفضاءات الجزئية من نوع M: تحليل "مؤشر الخطية" ($ind(f) $)، المعرف كأقصى بُعد لفضاء جزئي من نوع M (وهو فضاء جزئي تتلاشى فيه المشتقات من الدرجة الثانية). الدوال التي تمتلك$ ind(f) = n/2 $تنتمي إلى$ M^# $، بينما تُسمى الدوال ذات المؤشرات الدنيا ($ ind(f)=1 $) بالدوال المثلى لـ$ \ell $($ \ell$-optimal).
البناءات الثانوية: تقصي كيفية تأثير عمليات مثل الجمع المباشر/غير المباشر، والدمج (2-concatenation و 4-concatenation)، وإضافة حدود الأثر (trace terms) أو مؤشرات الفضاءات الجزئية على العضوية في $M^\#$ .
الأطر العامة: توسيع التحليل من فئة مايورانا-ماكفارلاند الكلاسيكية ( $r=s=n/2$ ) إلى فئة مايورانا-ماكفارلاند المعممة (GMM) حيث ( $Mr,s$ )، حيث $f(x,y) = x \cdot \phi(y) + h(y)$ مع $x \in \mathbb{F}_2^r, y \in \mathbb{F}_2^s$ و $r \neq s$ .

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

فئتا C و D لكارليت: يفصل البحث في الفئتين C و D، اللتين تعدلان صيغة مايورانا-ماكفارلاند بإضافة مؤشرات للفضاءات المتجهة.
- الفئة C: دوال من الشكل $x \cdot \pi(y) + 1_{L^\perp}(x)$ . يلخص المؤلفون الشروط الكافية للتبديل $\pi$ والفضاء الجزئي $L$ (تحديداً الخاصية C) التي تضمن أن الدالة منحنية وخارج $M^\#$ . وتتعلق نتيجة رئيسية بالتبديلات التي تفتقر مكوناتها إلى الهياكل الخطية غير الصفرية.
- الفئة D و $D_0$ : دوال من الشكل $x \cdot \pi(y) + 1_{E_1}(x)1_{E_2}(y)$ والفئة الفرعية $D_0$ ( $x \cdot \pi(y) + \delta_0(x)$ ). يقدم البحث توصيفاً كاملاً لـ $D_0 \cap M^\#$ ، موضحاً أن العضوية في حالة التبديلات التربيعية تعتمد على ما إذا كان التبديل أفينياً على فضاء أفيني. بالنسبة للدرجات الأعلى، غالباً ما تكون الدوال خارج $M^\#$ .
- الفئات العليا (Superclasses): يستعرض الاستطلاع الفئات العليا (SC, CD, SD) المتشكلة من دمج المؤشرات. ويحدد أنه بينما تنتج بعض التركيبات (مثل SC) دوال منحنية خارج $M^\#$ ، فإن تركيبات أخرى (مثل SD) تفشل في إنتاج دوال منحنية تماماً.
حدود الأثر (Trace Terms) وخاصية $P_\tau$ :
- يراجع البحث الدوال أحادية الحد، وثنائية الحد، والدوال المرتبطة بها والمعرفة عبر حدود الأثر (مثل أسات ني هو وديلون وكاسامي). ويؤكد أن العديد منها، لا سيما تلك ذات أسات ني هو المحددة، تقع خارج $M^\#$ .
- يُخصص جزء كبير لـ خاصية $P_\tau$ ، والتي تتضمن إضافة تركيبات حدودية من حدود الأثر إلى دالة منحنية. يفصل البحث كيف تسمح خاصية $P_\tau$ ، التي تتميز بتلاشي المشتقات من الدرجة الثانية للدالة المزدوجة، ببناء عائلات لانهائية من الدوال المنحنية خارج $M^\#$ والتي لا تغطيها فئتا C أو D.
فئة مايورانا-ماكفارلاند المعممة (GMM):
- يقدم البحث فئة GMM ( $Mr,s$ ) ونسختها المكتملة. ويقوم بتوصيف الانحناء في هذه الفئة باستخدام "المجموعات المنحنية" و"الدوال المنحية المعرفة جزئياً".
- مايورانا-ماكفارلاند الوشيك (k=1): يتم تحليل الدوال ذات مؤشر الخطية $n/2 - 1$ . يميز البحث بين التقسيمات "التافهة"، و"غير الصحيحة"، و"الصحيحة" للمجال، موضحاً أن تقسيمات صحيحة محددة تنتج دوالاً منحنية خارج $M^\#$ .
- الدوال المثلى لـ $\ell$ : يناقش الاستطلاع الدوال ذات أدنى مؤشر خطية ($ind(f)=1$)، مشيراً إلى أنها تمثل "النقيض" لدوال مايورانا-ماكفارلاند. وتُبرز طرق البناء التي تتضمن تبديلات ذات الخاصية (P1) (المشتقات من الدرجة الثانية غير المتلاشية) كوسيلة لتوليد مثل هذه الدوال.
الفضاءات الجزئية من نوع M والتركيبات الثانوية:
- يقدم البحث تحليلاً جبرياً وتركيبياً عميقاً للفضاءات الجزئية من نوع M. ويضع حدوداً على عدد الفضاءات الجزئية القصوى ويربطها بتصنيف الدوال المنحنية.
- يقدم شروطاً ضرورية وكافية للتركيبات الثانوية (الجمع المباشر، الجمع غير المباشر، والدمج 2- و 4-concatenation) لتؤدي إلى دوال خارج $M^\#$ . ومن الجدير بالذكر أنه يثبت أن الدمج الرباعي (4-concatenation) لدالة منحنية خارج $M^\#$ مع أي دالة منحنية أخرى ينتج دالة جديدة منحنية وخارج $M^\#$ .

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

منهجة الاستبعاد: توفير إطار موحد لتحديد متى تقع الدوال المنحنية خارج $M^\#$ ، متجاوزاً الأمثلة العشوائية إلى التوصيفات الهيكلية القائمة على مؤشراتات الخطية والفضاءات الجزئية من نوع M.
توسيع طرق البناء: تفصيل طرق صريحة (C, D, $P_\tau$ , GMM) لتوليد عائلات لانهائية من الدوال المنحنية خارج $M^\#$ ، لمعالجة ندرة الأمثلة المعروفة في الأبعاد الثابتة.
توضيح البنية الجبرية: تقديم وتطوير مفاهيم مثل مؤشر الخطية والفضاءات الجزئية من نوع M كأدوات أساسية لفهم الخصائص الجبرية للدوال المنحنية وعلاقتها بالتسلسل الهرمي لمايورয়া-ماكفارلاند المعمم.
تحديد المشكلات المفتوحة: يختتم البحث بسرد العديد من المشكلات المفتوحة، بما في ذلك التعداد الدقيق لفئات التكافؤ EA داخل $M^\#$ ، وتمديد هذه النظريات إلى الدوال المنحية $p$ -ary، وبناء المجموعات التفاضلية خارج فئة ماكفارلاند.

يحافظ المؤلفون على نبرة متواضعة، مقرين بأنه رغم إحراز تقدم كبير في تحديد الدوال خارج $M^\#$ ، إلا أن التعداد الإجمالي للدوال المنحنية والتصنيف الكامل لبنيتها الجبرية لا يزالان تحديات مفتوحة. ويعمل هذا العمل كمرجع تأسيسي للباحثين الذين يهدفون إلى تصميم دوال بولينية ذات أهمية تشفيرية وتمتلك خصائص لا-خطية محددة لا يمكن استيعابها بواسطة بناء مايورانا-ماكفارلاند القياسي.

أبحاث مشابهة