Exact Formulas for Coprime Representations of Even Integers Avoiding a Prime

إليك ملخص تقني مفصل لورقة البحث بعنوان "صيغ دقيقة للتمثيلات المتباينة في الأعداد الزوجية مع تجنب عدد أولي" للباحث أندريس م. سالازار.

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

تتناول الورقة مسألة كلاسيكية في نظرية الأعداد الجمعية: حساب عدد الطرق التي يمكن بها التعبير عن عدد زوجي $2n$ كمجموع لعددين صحيحين موجبين، $h + k = 2n$ (حيث $h \le k$)، مع مراعاة قيود صرامة للتماثل (التقابل) (coprimality).

تحديداً، يعرّف المؤلف دالة العد $g(2n, p)$ لعدد أولي ثابت $p \ge 5$:
$$g(2n, p) = \#\left\{ (h, k) \in \mathbb{Z}_{>0}^2 : h + k = 2n, \, h \le k, \, \gcd(h, 6p) = \gcd(k, 6p) = 1 \right\}$$
إن الشرط $\gcd(x, 6p) = 1$ يعني أن المكونات $h$ و $k$ يجب ألا تقبل القسمة على الأعداد الأولية 2 أو 3 أو $p$.

التحدي: بينما يمكن اشتقاق تقديرات تقاربية لمثل هذه الدوال باستخدام طرق الغربلة (sieve methods) أو قلب موبيوس (Möbius inversion)، فإن الحصول على صيغ دقيقة مغلقة وصريحة تماماً يعد أمراً صعباً. فأساليب الاستبعاد والاشتمال (inclusion-exclusion) القياسية تؤدي إلى تعبيرات دورية مجزأة تتضمن مجموعات متبادلة على القواسم، مما يحجب البنية التآلفية (affine structure) الكامنة لدالة العد ويجعلها غير فعالة حسابياً للأعداد الكبيرة من $n$.

2. المنهجية

يطور المؤلف نهجاً جديداً يعتمد على حساب البواقي وخوارزمية إقليدس، متجنباً مجموعات الاستبعاد والاشتمال التقليدية. تسير المنهجية عبر أربع مراحل رئيسية:

أ. عامل الباقي القانوني

تستخدم الورقة عامل الباقي القانوني $\delta_k(x) = x - k\lfloor x/k \rfloor$، والذي يربط الأعداد الصحيحة بالممثلين القياسيين في المجموعة $\{0, \dots, k-1\}$. وقد تم إثبات الخصائص الرئيسية لهذا العامل (التوافق مع الجمع والضرب) للتعامل مع قيود البواقي جبرياً.

ب. الحلول الدنيا عبر خوارزمية إقليدس

المساهمة التقنية الجوهرية هي اشتقاق صيغة صريحة لـ الحل الأدنى لمعادلات الباقي الخطية من الشكل $\delta_k(a_0 x) = b_0$ حيث $\gcd(a_0, k)=1$.

• بدلاً من استخدام المعكوسات القياسية مباشرة، يعبر المؤلف عن خوارزمية إقليدس الموسعة بالكامل بدلالة عامل $\delta_k$.
• يقدم النظرية 3.2 تعبيراً مغلقاً للحل الأدنى $x$ كجموع منتهٍ يتضمن متتاليات ناتجة عن خوارزمية إقليدس. وهذا يسمح بالحساب المباشر لفئات البواقي المحددة دون الحاجة للبحث التكراري.

ج. التفكيك حسب فئات البواقي

يتم تفكيك المسألة بناءً على باقي $n$ مقسوماً على 3. بما أن $h$ و $k$ متباينان مع العدد 6، فيجب أن يكونا على شكل $6z+1$ أو $6z+5$.

• إذا كان $n \equiv 0 \pmod 3$: أحد المكونين $\equiv 1 \pmod 6$ والآخر $\equiv 5 \pmod 6$.
• إذا كان $n \equiv 1 \pmod 3$: كلا المكونين $\equiv 1 \pmod 6$.
• إذا كان $n \equiv 2 \pmod 3$: كلا المكونين $\equiv 5 \pmod 6$.

هذا يقلل المسألة إلى عد أزواج الأعداد الصحيحة $(z_1, z_2)$ بحيث $z_1 + z_2 = m(n)$ (حيث $m(n)$ دالة خطية لـ $n$)، مع مراعاة القيد بأن $z_i$ يتجنب فئات بواقي محددة مقسوماً على $p$.

د. استبعاد فئات البواقي

باستخدام الحلول الدنيا المشتقة في الخطوة (ب)، يحدد المؤلف فئات البواقي المحددة مقسوماً على $p$ التي يجب استبعادها لتحقيق الشرط $\gcd(h, 6p)=1$.

• ليكن $a(p)$ هو الحل الأدنى لـ $6x \equiv -1 \pmod p$.
• ليكن $b(p)$ هو الحل الأدنى لـ $6x \equiv -5 \pmod p$.
  ثم يتم اختزال مسألة العد إلى عد أزواج $(s, t)$ في مجال محدود يكون مجموعها مساوياً لقيمة مستهدفة مع تجنب البواقي المحددة $a(p)$ و $b(p)$.

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

1. الصيغ الصريحة المغلقة (النظرية 4.13):
   توفر الورقة صيغاً دقيقة لـ $g(2n, p)$ معبر عنها باستخدام:

   • عامل الباقي القانوني $\delta_k$.
   • دوال مؤشر بسيطة (تشبه دالة هيفسايد).
   • الحلول الدنيا $a(p)$ و $b(p)$.
     هذه الصيغ هي تآلفية مجزأة (piecewise affine)، مما يعني أن $g(2n, p)$ تتصرف كدالة خطية على طول المتواليات الحسابية لـ $n$ المحددة بواسطة بواقي القسمة على $3p$.

2. الكفاءة الخوارزمية:

   • الحساب المسبق: يمكن حساب المعاملات $a(p)$ و $b(p)$ في زمن قدره $O(\log p)$ باستخدام خوارزمية إقليدس.
   • التقييم: بمجرد الحساب المسبق، يتطلب تقييم $g(2n, p)$ لأي $n$ فقط عمليات حسابية بمستوى $O(1)$.
   • المقارنة: يمثل هذا تحسناً كبيراً عن التعداد المباشر (Brute-force)، الذي يتطلب $O(n)$ من العمليات.

3. الرؤية الهيكلية:
   يكشف العمل أن دالة العد ليست مجرد دالة دورية بل تمتلك بنية تآلفية مجزأة يحكمها التفاعل بين بواقي القسمة على 3 و $p$. هذه البنية تكون واضحة في الصيغ المشتقة ولكنها مخفية في التقديرات القائمة على الغربلة القياسية.

4. النتائج والتحقق

• النتيجة النظرية: توحد النظرية 4.13 عملية العد في حالتين بناءً على $\delta_3(n)$، مما يوفر حلاً كاملاً لجميع الأعداد الزوجية $2n$ والأعداد الأولية $p \ge 5$.
• التحقق الحسابي:
  • تم تنفيذ الصيغ واختبارها مقابل "أوراكل" (Oracle) يعتمد على التعداد المباشر.
  • النطاق: تم التحقق من صحتها لجميع الأعداد الزوجية $2n \le 10^5$ والأعداد الأولية $p \in \{5, 7, 11, 13, 17, 19, 23\}$.
  • النتيجة: لوحظ توافق تام (350,000 حالة اختبار)، مما يؤكد صحة الصيغ المشتقة.
• التصور البياني: تتضمن الورقة رسوماً بيانية تظهر الطبيعة التآلفية المجزأة للدالة، حيث تقابل العائلات الخطية المتوازية فئات بواقي محددة لـ $n$.

5. الأهمية

• نظرية الأعداد الحسابية: تقدم الورقة خوارزمية عالية الكفاءة لعد التمثيلات المتباينة، مما ينقل التعقيد من كونه خطياً في $n$ إلى زمن ثابت لكل استعلام (بعد الحساب المسبق اللوغاريتمي). وهذا أمر بالغ الأهمية للتطبيقات التي تتطلب استعلامات عالية التكرار أو قيم $n$ كبيرة.
• الوضوح التحليلي: من خلال استبدال مجموعات الاستبعاد والاشتمال المعقدة بصيغ تآلفية صريحة، توضح الورقة البنية الحسابية للمسألة، مما يجعل اعتماد $n$ و $p$ واضحاً.
• القابلية للتعميم: يشير المؤلف إلى أن الطريقة تمتد بشكل طبيعي لتشمل مجموعات الاستبعاد التي تتضمن عدة أعداد أولية $\{2, 3, p_1, \dots, p_k\}$، مما يمهد الطريق لحل مسائل جمعية أكثر تعقيداً مع قيود تباين متعددة.

باختاً، يجسّر عمل سالازار الفجوة بين التقديرات التقاربية والعد الدقيق من خلال تسخير خوارزمية إقليدس لاشتقاق تعبيرات صريحة وفعالة لمسألة أساسية ومحددة في نظرية الأعداد الجمعية.