Midy's Theorem in non-integer bases and divisibility of Fibonacci numbers

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

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

تتقصى الورقة تعميم مبرهنة ميدي (Midy's Theorem) من القواعد الصحيحة الكلاسيكية (وتحديداً القاعدة 10) إلى القواعد غير الصحيحة ($\beta > 1$).

• مبرهنة ميدي الكلاسيكية: بالنسبة لكسر $p/q$ بمقام أولي $q$ في القاعدة 10، إذا كان طول الفترة الدنيا للتوسع العشري زوجياً $2n$، فإن مجموع النصف الأول والنصف الثاني من الفترة يساوي $10^n - 1$ (سلسلة من $n$ من التسعات).
• التحدي: تهدف المؤلفتان إلى تعريف وتوصيف هذه "خاصية ميدي" في سياق توسعات $\beta$ (التي قدمها ريني)، حيث $\beta$ هو عدد حقيقي أكبر من 1. وتحديداً، تسعيان لتحديد أي المقامات $q$ تحقق هذه الخاصية في قاعدة النسبة الذهبية $\tau = \frac{1+\sqrt{5}}{2}$، وكيف يرتبط ذلك بخصائص قابلية قسمة أعداد فيبوناتشي.

2. المنهجية

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

• توسعات $\beta$ والخوارزمية الجشعة: تستخدمان الخوارزمية الجشعة لتوليد توسعات $\beta$. والمفهوم الرئيسي هو التوسع شبه الجشع (quasigreedy expansion) للعدد 1، ويرمز له بـ $d^*_\beta(1)$، والذي يحدد القيود المعجمية على سلاسل الأرقام المقبولة.
• تعريف خاصية ميدي: تُعرف المؤلفتان خاصية ميدي للقاعدة $\beta$ رسمياً: يكون للمقام $q$ الخاصية إذا وجد كسر $p/q$ بتوسع دوري نقي ذي طول زوجي $2n$ بحيث يكون مجموع النصفين (بتفسيرهما كأعداد $\beta$-صحيحة) مساوياً لـ $\beta^n - 1$.
• منهج النظم الديناميكية: تحللان تحويل $\beta$ $T_\beta(x) = \beta x - \lfloor \beta x \rfloor$. وتثبتان أن خاصية ميدي تكافئ شرط $T^N(p/q) = (q-p)/q$ لعدد صحيح $N$.
• الجبر الخطي (مصفوفات الرفيق): تربطان التحويل $T$ بقوى مصفوفة الرفيق (companion matrix) $C$ للمتعدد الحدود الأدنى لـ $\beta$. وتثبتان أن الشرط الضروري لخاصية ميدي هو $C^N \equiv -I \pmod q$.
• متتاليات فيبوناتشي: في الحالة الخاصة للنسبة الذهبية $\tau$، ترتبط مصفوفة الرفيق $C$ مباشرة بمتتالية فيبوناتشي ($F_n$). وتستفيد المؤلفتان من خصائص القسمة المعروفة لأعداد فيبوناتشي لتوصيف الأعداد الأولية التي تحقق الشرط.
• الحقول المنتهية: لتوصيف المقامات الأولية، تعملان ضمن الحقل المنتهي $\mathbb{Z}_q$، باستخدام رمز ليجاندر، التناظر التربيعي، ورتبة القيم الذاتية للمصفوفة $C$ بمقياس $q$.

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

أ. الشرط الضروري العام (المبرهنة 3.2)

تستنتج المؤلفتان شرطاً ضرورياً لأي قاعدة عدد صحيح جبري $\beta > 1$. إذا كان العدد الصحيح $q$ يمتلك خاصية ميدي في القاعدة $\beta$، فيجب أن يوجد عدد صحيح $N$ بحيث:
$$C^N \equiv -I \pmod q$$
حيث $C$ هي مصفوفة الرفيق للمتعدد الحدود الأدنى لـ $\beta$.

• الاستنتاج: هذا يستبعد فوراً خاصية ميدي للقواعد ذات الدرجة الفردية والمعيار 1 (مثل قاعدة تريبوناتشي)، حيث $\det(C^N) = 1$ بينما $\det(-I) = -1$ (للأبعاد الفردية)، مما يخلق تناقضاً.

ب. الشرط الكافي للنسبة الذهبية (المبرهنة 4.1)

بالنسبة للقاعدة المحددة $\tau = \frac{1+\sqrt{5}}{2}$، فإن الشرط الضروري هو أيضاً شرط كافٍ.

• النتيجة: إذا كان $C^N \equiv -I \pmod q$ لمصفوفة الرفيق $\tau$، فإن $q$ يمتلك خاصية ميدي في القاعدة $\tau$.
• الشمولية: في هذه القاعدة، كل كسر $p/q$ (مع $0 < p < q$) يشهد على خاصية ميدي إذا تحقق الشرط.
• الدورية: طول الفترة الدنيا للتوسع يكون دائماً قابلاً للقسمة على 4.

ج. التوصيف عبر قسمة فيبوناتشي (الاستنتاج 4.5 و 4.6)

يتم ترجمة الشرط $C^N \equiv -I \pmod q$ إلى شروط على أعداد فيبوناتشي:

• إذا كان $q$ يقسم $F_{2n-1}$ (لـ $n \ge 3$)، فإن $q$ يمتلك خاصية ميدي.
• إذا كان $q$ مضاعفاً لـ $F_{2n}$ (لـ $n \ge 3$)، فإن $q$ لا يمتلك خاصية ميدي.
• المعيار المنقح: يمتلك $q$ الخاصية إذا كان أصغر دليل $a(q)$ بحيث $q \mid F_{a(q)}$ هو عدد فردي.

د. توصيف المقامات الأولية (المبرهنتان 5.3 و 5.4)

تقدم الورقة توصيفاً كاملاً للأعداد الأولية $q$ التي تحقق خاصية ميدي في القاعدة $\tau$:

1. الحالة $q \equiv \pm 2 \pmod 5$:

   • هذه الأعداد الأولية تحقق دائماً خاصية ميدي.
   • ويشمل ذلك أعداد ميرسين الأولية من الشكل $2^s - 1$ حيث $s \equiv 3 \pmod 4$.
   • ويشمل أيضاً جميع أعداد فيرما الأولية المعروفة ($2^{2^n} + 1$).

2. الحالة $q \equiv \pm 1 \pmod 5$:

   • تعتمد الخاصية على بنية الزمرة الضربية $\mathbb{Z}_q^*$.
   • ليكن $q-1 = 2^k \ell$ (حيث $\ell$ فردي). يكون العدد الأولي $q$ ممتلكاً لخاصية ميدي إذا وفقط إذا كانت متتالية المصفوفات $C^{2\ell}, C^{4\ell}, \dots, C^{2^{k-1}\ell}$ تحتوي على مصفوفة تساوق $-I \pmod q$.
   • أمثهلة مضادة: الأعداد الأولية حيث $q \equiv -1 \pmod{20}$ أو $q \equiv 11 \pmod{20}$ (مثل $q=19, 29$) لا تحقق الخاصية.
   • أمثلة: العدد $q=41$ يمتلك الخاصية، لكن $q=101$ لا يمتلكها، رغم أن كليهما $\equiv 1 \pmod{20}$.

4. الأهمية

• توسيع النظرية الكلاسيكية: نجحت الورقة في توسيع فضول نظرية الأعداد الكلاسيكي (مبرهنة ميدي) إلى مجال القواعد غير الصحيحة، وتحديداً النسبة الذهبية، والتي تعد أساسية في نظرية توسعات $\beta$ والبلورات شبه البلورية (quasicrystals).
• الربط بأعداد فيبوناتشي: تؤسس الورقة رابطاً عميقاً وصريحاً بين دورية توسعات $\tau$ وخصائص قسمة أعداد فيبوناتشي، مما يوفر أداة جديدة لتحليل هذه المتتاليات.
• القيود الجبرية: يسلط العمل الضوء على الدور الحاسم لمعيار (norm) القاعدة ودرجة متعدد حدودها الأدنى. فهو يوضح أن "ظاهرة ميدي" ليست عالمية بل مقيدة بصرامة بالطبيعة الجبرية للقاعدة (على سبيل المثال، تفشل في أعداد بيسوت (Pisot numbers) ذات الدرجة الفردية والمعيار 1).
• رؤى حاسوبية: تسمح النتائج بالتحديد الخوارزمي لما إذا كان مقام أولي معين سيظهر خاصية ميدي في القاعدة $\tau$ دون الحاجة لحساب التوسع كاملاً، وذلك ببساطة عبر فحص شروط الحساب المودي (modular arithmetic) على أعداد فيبوناتشي أو قوى المصفوفات.

5. الخاتية

أثبتت ماساكوفا وبيلانتوفا أن خاصية ميدي في قاعدة النسبة الذهبية محكومة بالشرط $C^N \equiv -I \pmod q$. لقد وصفتا بشكل كامل الأعداد الأولية التي تحقق ذلك: جميع الأعداد الأولية $q \equiv \pm 2 \pmod 5$ تحققها، بينما الأعداد الأولية $q \equiv \pm 1 \pmod 5$ تحققها فقط تحت شروط معينة تتعلق برتبة العدد 5 في $\mathbb{Z}_q$. يجسّر هذا العمل الفجوة بين النظم الديناميكية، ونظرية الأعداد الجبرية، والتركيبات التوافقية لتوسعات الأرقام.