The Golden Sieve

إليك ملخص تقني مفصل لورقة البحث "المنخل الذهبي" (The Golden Sieve) للكاتب بينوا كلوتر (Benoit Cloitre).

1. بيان المشكلة والسياق

تبحث الورقة في عملية حذف حتمية على المتتاليات المتزايدة من الأعداد الصحيحة الموجبة، والتي تُسمى "المنخل الذهبي". هذا المنخل، الذي قدمه المؤلف في عام 2002 (OEIS A099267)، هو آلية ذاتية المرجعية حيث تحدد قيمة العنصر رقم $n$ في متتالية ما موقع العنصر المراد حذفه في الخطوة التالية.

الأهداف الرئيسية هي:

1. تحليل المنخل بدقة عند تطبيقه على المتواليات الحسابية $W_0 = aN + b$.
2. إقامة روابط بين مخرجات المنخل ومتتاليات الفواق (hiccup sequences) (وهي فئة من المتتاليات ذات التكرار ذي الفجوتين والاعتماد الذاتي التي درسها فوكينك وجوشي).
3. ربط المنخل بـ معادلات فرانكل المتممة (Fraenkel's complementary equations)، ولعبة ويثوف (Wythoff's game)، وتحويلات الرتب لكيمبرلينج (Kimberling's rank transforms).
4. تقديم آلية متممة، وهي منخل الاستخراج (Extraction Sieve)، ومقارنة سلوكها مع المنخل الذهبي.

2. المنهجية

يستخدم المؤلف مزيجاً من التحليل التوليفي، ونظرية الأعداد، ونظرية النظم الديناميكية:

• البناء الاستقرائي: يتم تعريف المنخل استقرائياً. في الخطوة $n$، يقرأ المؤشر $h_n$ العنصر رقم $n$ من المتتالية العاملة الحالية $W_{n-1}$. ثم يتم حذف العنصر الموجود في الموضع $h_n$ لتشكيل $W_n$.
• التطبيع (Normalization): بالنسبة للمتواليات الحسابية $W_0 = \{an+b\}$، يقدم المؤلف متتاليات مُطبعة $\sigma_n$ (الناجين) و$\delta_n$ (المحذوفات) عن طريق رسم الخرائط $w \mapsto (w-b)/a$. هذا يقلل المشكلة إلى منخل على $\mathbb{N}$ بمعاملات معدلة.
• هويات الرتبة: الأداة التحليلية الجوهرية هي اشتقاق علاقة تآلفية بين رتبة العنصر المحذوف وقيمة متتالية الناجين.
• تحليل الفجوات: تحلل الورقة "كلمة الفجوة" $H(n)$، التي تشفر الفرق بين الحدود المتتالية في متتالية الناجين. وتتحقق مما إذا كانت هذه الكلمة "ستورميان" (Sturmian)، أو "تلقائية" (automatic)، أو "مورفية" (morphic).
• الديناميكيات المقارنة: تم تعريف آلية ثانية، وهي منخل الاستخراج، حيث يتم استخراج العنصر الأدنى، وتُحذف العناصر اللاحقة بناءً على اختبار العضوية. وتتم مقارنتها بالمنخل الذهبي الموضعي.

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

أ. المنخل الذهبي على الأعداد الطبيعية ($W_0 = \mathbb{N}$)

• تحديد ويثوف: عندما نبدأ بـ $W_0 = \mathbb{N}$، فإن متتالية الناجين (بعد الإزاحة) ومتتالية الحذف تتوافقان تماماً مع متتاليات ويثوف الدنيا والعليا ($\lfloor n\phi \rfloor$ و $\lfloor n\phi^2 \rfloor$)، حيث $\phi$ هو النسبة الذهبية.
• قواعد الفواق (Hiccup Rules): تحقق كلتا المتتاليتين تكرار "فواق" ذاتي المرجع حيث يتم تحديد الفجوة بين الحدود بناءً على ما إذا كان الفهرس الحالي ينتمي إلى المتتالية نفسها.
  • الحذوفات: $d_n - d_{n-1} \in \{2, 3\}$.
  • الناجون: $s_n - s_{n-1} \in \{1, 2\}$.
• الثبات الفيبوناتشي: تشكل أعداد فيبوناتشي مجموعة فرعية ثابتة من دالة الناجين ($s_{F_k} = F_{k+1}$).

ب. المنخل الذهبي على المتواليات الحسابية ($W_0 = aN + b$)

هذه هي المساهمة النظرية الرئيسية للورقة.

• هوية المؤشر-الناجي: بالنسبة لـ $a \ge 2$، فإن المؤشر $h_n$ عند الخطوة $n$ يساوي دائماً الناجي رقم $n$ ($s_n$). هذا "الاستقرار القبلي" يمنع السلوك المتدهور في الخطوة الأولى المشاهد في حالة $a=1$.
• هوية الرتبة: تحقق المتتاليات المطبعة للناجين ($\sigma_n$) والحذوفات ($\delta_n$) العلاقة التآلفية:
  $$\delta_n = a\sigma_n + n + (b-1)$$
  وهذا يعمم علاقة ويثوف $B_n = A_n + n$.
• خاصية الفجوتين: فجوات الناجين المطبعة هي حصراً $\{1, 2\}$. أما فجوات الحذف فهي $\{a+1, 2a+1\}$.
• قاعدة الفواق للناجين: متتالية الناجين هي متتالية فواق من النوع $(0, s_1, 2a, a)$. الفجوة هي $2a$ إذا كان $n$ ناجياً، و $a$ خلاف ذلك.
• الارتباط بألعاب فرانكل: تحقق القسمة معادلة من نوع فرانكل. بالنسبة لـ $b=1$، تتوافق أزواج الناجين/الحذف تماماً مع المواضع P (المواضع الفائزة) للعبة NIM($a, 1$) التركيبية.
• الميل التقاربي: النهاية $\alpha(a) = \lim_{n \to \infty} \sigma_n/n$ موجودة وهي الجذر الموجب الوحيد للمعادلة التربيعية:
  $$a\alpha^2 - a\alpha - 1 = 0 \implies \alpha(a) = \frac{a + \sqrt{a^2 + 4a}}{2a}$$
  بالنسبة لـ $a \ge 2$، المتتاليات ليست متتاليات بيتي (Beatty sequences) (على عكس حالة $a=1$).
• تحويل رتبة كيمبرلينج: تم تحديد المنخل كتحويل رتبة كيمبرلينج المطبق على متتالية كتلة محددة $u_{a,b}$.

ج. المنخل المربع ($W_0 = \{n^2\}$)

• عند تطبيقه على المربعات الكاملة، يظهر المنخل تعشيقاً تربيعياً.
• تعتمد قاعدة الفجوة على ما إذا كان الفهرس $n$ ينتمي إلى مجموعة مربعات الناجين ($M = \{\mu_m^2\}$).
• نمو جذور مؤشرات الناجين $\mu_n$ يُعطى بتوسع برج جذري متبادل:
  $$\mu_n = n + n^{1/2} - n^{1/4} + n^{1/8} - \dots + O(\log \log n)$$

د. منخل الاستخراج

• عُرِّف كعملية يتم فيها استخراج الحد الأدنى، وحذف عدد ثابت من الحدود الدنيا اللاحقة بناءً على اختبار العضوية.
• التحويل التآلفي: على عكس المنخل الذهبي، ينتج منخل الاستخراج على $aN+b$ متتالية فواق بمعاملات محولة خطياً:
  $$C_{j,y,z}(aN+b) = \text{hiccup}(j, a+b, ay, az)$$
• تمثيلات بيتي: في الحالات التي يكون فيها $|y-z|=1$، اشتق المؤلف صيغ بيتي صريحة ($s_n = \lfloor \alpha n + \beta \rfloor$) لمنخل الاستخراج، مغطياً متتاليات معروفة مثل متتالية بوسما-ديكينج-شتاينر (A086377).

4. الأهمية والآثار

• توحيد المفاهيم: توحد هذه الورقة مجالات متباينة من نظرية الأعداد التركيبية: المتتاليات ذاتية المرجعية، تقسيمات بيتي، لعبة ويثوف، وتحويلات رتبة كيمبرلينج. وهي تبين أن المنخل الذهبي هو الأصل الديناميكي لهذه البنى.
• تعميم لعبة ويثوف: توفر الورقة اشتقاقاً خوارزمياً بنائياً للمواضع P للعبة NIM($a, 1$) المعممة، مما يمدد نتيجة ويثوف الكلاسيكية ($a=1$) لتشمل جميع قيم $a \ge 1$.
• كائنات تركيبية جديدة: قدم المؤلف "المنخل الفضي" (منخل الاستخراج $C_{1,3,2}$) وحدد أنه مولد لمتتالية بوسما-ديكينج-شتاين، مما يقدم منظوراً ديناميكياً جديداً لهذه المتتالية.
• المسائل المفتوحة: حدد المؤلف الطبيعة التركيبية لكلمة الفجوة $H$ لحالات $a \ge 2$ كمسألة رئيسية مفتوحة، مفترضاً أنها قد تكون "تلقائية أوستروفسكي" (Ostrowski-automatic) أو مرتبطة بالكسر المستمر لـ $\alpha(a)$، مما يشير إلى إمكانية استخدام مبرهن Walnut للتحقق مستقبلاً.

5. الخاتمة

يؤسس بحث بينوا كلوتر "المنخل الذهبي" إطاراً صارماً لفهم عمليات الحذف ذاتية المرجعية. ويُظهر أنه بينما ينتج المنخل الذهبي على $\mathbb{N}$ تقسيم ويثوف الكلاسيكي، فإن امتداده إلى المتواليات الحسابية يولد عائلة غنية من المتتاليات المتممة التي تحكمها ميول تربيعية وهويات رتبة تآلفية. كما أن تقديم منخل الاستخراج يوضح العلاقة بين الحذف الموضعي وتكرارات الفواق ذات المعاملات، مما يوفر صيغ بيتي صريحة لفئة واسعة من المتتاليات.