New properties of the $\varphi$-representation of integers

ملخص تقني لورقة بحثية: "خصائص جديدة للتمثيل $\phi$ للأعداد الصحيحة" من تأليف جيفري شاليت وإنغريد فوكوسيت.

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

تتقصى الورقة البحثية خصائص التمثيل $\phi$ (المعروف أيضاً بأساس النسبة الذهبية أو أساس $\phi$) للأعداد الصحيحة. في هذا النظام، يمكن تمثيل كل عدد صحيح موجب $x$ كمتسلسلة فريدة من مجموع قوى متميزة للنسبة الذهبية $\phi = (1+\sqrt{5})/2$:
$$x = \sum_{i=a}^{b} e_i \phi^i$$
حيث $e_i \in \{0, 1\}$ ويُفرض شرط "عدم وجود وحدات متتالية" ($e_i e_{i-1} = 0$) لضمان التفرد.

يركز المؤلفان على سؤالين هيكليين محددين فيما يتعلق بهذه التمثيلات:

1. حدسية كيمبرلينج (2012): هل تتوافق مجموعة الأعداد الصحيحة التي يكون تمثيلها $\phi$ "متناظرة عكسياً" (أي يظهر الأس $t$ إذا وفقط إذا ظهر الأس $-t$) تماماً مع مجموعة الأعداد الصحيحة التي يؤدي مضاعفة كل أس في تمثيلها إلى عدد صحيح آخر؟
2. فردية الأسس: ما هي القيود المفروضة على فردية (زوجية أو فردية) الأسس في التمثيلات $\phi$ للأعداد الطبيعية؟ وتحديداً، يستكشف المؤلفان مجموعات الأعداد الصحيحة التي يحتوي تمثيلها على أسس زوجية فقط، أو أسس فردية فقط، أو عدداً محدداً من الأسس الزوجية والفردية.

2. المنهجية

يستخدم المؤلفان منهجية هجينة تجمع بين نظرية الأعداد الكلاسيكية ونظرية الأوتوماتا (الآلات ذاتية التشغيل) والتحقق الرسمي:

• البراهين النظرية: يستخدمان خصائص مرافق النسبة الذهبية $\bar{\phi} = (1-\sqrt{5})/2$ وأعداد فيبوناتشي ($F_n$) وأعداد لوكاس ($L_n$). كما يطبقان الترافق الجالوا (إسقاط $\phi \to \bar{\phi}$) لاستنتاج حدود وتناقضات تتعلق بطبيعة الأعداد الصحيحة لمجموعات معينة.
• نظرية الأوتوماتا و Walnut: يعتمد جزء كبير من العمل على Walnut، وهو برنامج لإثبات النظريات للمنطق من الدرجة الأولى حول المتتاليات الأوتوماتيكية.
  • استخدم المؤلفان أوتوماتا موجودة مسبقاً مكونة من 39 حالة تسمى saka (طورت في عمل سابق لشاليت). تقبل هذه الأوتوماتا الثلاثيات $(n, x, y)$ حيث $n$ عدد صحيح، و $x.y^R$ (حيث $y^R$ هو معكوس $y$) هو التمثيل $\phi$ للعدد $n$.
  • قاموا ببناء تعبيرات منتظمة ومحمولات منطقية داخل Walnut لتعريف مجموعات الأعداد الصحيحة بناءً على بنية تمثيلات زيندورف (فيبوناتشي) الخاصة بها، والتي ترتبط مباشرة بالتمثيل $\phi$.
  • يقوم هذا البرنامج بالتحقق من الاستلزامات المنطقية المعقدة (على سبيل المثال، "لكل $n$، إذا كان $n$ يمتلك الخاصية $P$، فإن $n$ يمتلك الخاصية $Q$") عن طريق بناء وتقليل الأوتوماتا المحدودة.
• المساعدة بالذكاء الاصطناعي: أشار المؤلفان صراحةً إلى استخدام ChatGPT 5 للمساعدة في توليد برهان معياري غير معتمد على الأوتوماتا لأحد ادعاءات النظرية (النظرية 8، الجزء أ).

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

أ. إثبات حدسية كيمبرلينج

أثبت المؤلفان أن المجموعة $S$ (OEIS A178482) من الأعداد الصحيحة ذات التمثيلات $\phi$ المتناظرة عكسياً هي بالضبط مجموعة الأعداد الصحيحة $n$ التي يؤدي استبدال كل أس $t$ في تمثيل $n$ بـ $2t$ إلى الحصول على عدد صحيح.

• التمهيدية الرئيسية: يكون تمثيل $\phi$ للعدد الصحيح متناظراً عكسياً إذا وفقط إذا كانت جميع الأسس في التوسع زوجية.
• الآلية: إذا كانت الأسس زوجية، فإن $\phi^{2k} + \phi^{-2k} = L_{2k}$ (وهو عدد لوكاس، أي عدد صحيح). أما إذا وجدت أسس فردية، فإن المجموع يتضمن $\sqrt{5}$، مما يمنع النتيجة من أن تكون عدداً صحيحاً.

ب. قيود الفردية على الأسس

تضع الورقة قواعد صارمة فيما يتعلق بفردية الأسس في التمثيلات $\phi$ القانونية:

• جميع الأسس زوجية: هناك عدد لا نهائي من الأعداد الصحيحة ذات الأسس الزوجية فقط (المجموعة $S$).
• جميع الأسس فردية: لا يوجد أي عدد صحيح $n \ge 2$ يمتلك تمثيلاً $\phi$ يتكون بالكامل من أسس فردية. يجب أن يكون أصغر أس دائماً زوجياً.
• أس زوجي واحد فقط: شخص المؤلفان مجموعة الأعداد الصحيحة التي تمتلك أسّاً زوجياً واحداً فقط.
  • قدما أوتوماتا حتمية (DFA) (الشكل 3) تقبل تمثيلات زيندورف لهذه الأعداد.
  • النظرية 9: يكون للعدد الصحيح $n$ أس زوجي واحد فقط في توسع $\phi$ الخاص به إذا وفقط إذا كان $n-1$ عبارة عن مجموع لأعداد لوكاس متميزة ذات مؤشرات فردية ($L_{2i+1}$).
• أس فردي واحد فقط: شخص المؤلفان الأعداد الصحيحة التي تمتلك أسّاً فردياً واحداً فقط.
  • النظرية 10: يوجد مثل هذا العدد الصحيح $n$ إذا وفقط إذا كان $n-2$ عبارة عن مجموع لأعداد لوكاس متميزة ذات مؤشرات زوجية ($L_{2i}$ لـ $i \ge 2$). علاوة على ذلك، بالنسبة لهذه الأعداد، يكون الأس الفردي الوحيد دائماً هو 1.
• أسّان فرديان فقط:
  • النظرية 11: إذا كان للعدد الصحيح أسّان فرديان، فيجب أن يكونا إما $\{3, 1\}$ أو $\{2i+1, 1-2i\}$ لبعض قيم $i \ge 1$. تثبت الورقة أن كلتا الحالتين تحدثان بشكل لانهائي.

ج. الخصائص الهيكلية للأجزاء السالبة

تقدم الورقة فهماً أكثر دقة لـ "الجزء السالب" من تمثيل $\phi$ (الجزء الذي يلي العلامة العشرية).

• النظرية 8: لأي عدد صحيح $n \ge 2$، يجب أن يكون الجزء السالب من تمثيل $\phi$ القانوني الخاص به (عند النظر إليه كسلسلة ثنائية في صيغة زيندورف) ذا طول زوجي ولا يمكن أن يحتوي على اثنين من الوحدات المتتالية.

4. الأهمية

• حل المسائل المفتوحة: تحسم الورقة بحثياً حدسية وضعها كلارك كيمبرلينج في عام 2012 تتعلق بالعلاقة بين التمثيلات $\phi$ المتناظرة عكسياً وسلامة الأسس المضاعفة.
• الربط بين المجالات: توضح الورقة قوة الجمع بين نظرية الأعداد التحليلية الكلاسيكية وإثبات النظريات المؤتمت. يسمح استخدام Walnut بالتحقق من الخصائص التي قد تكون مرهقة للغاية أو صعبة الإثبات عبر الاستقراء اليدوي وحده، لا سيما تلك التي تتضمن التفاعل المعقد بين أعداد فيبوناتشي وأعداد لوكاس.
• توصيف مجموعات الأعداد الصحيحة: يقدم العمل توصيفات دقيقة (عبر الأوتوماتا ومجموعات أعداد لوكاس) للمجموعات الجزئية من الأعداد الصحيحة المحددة حسب بنية الفردية لتمثيلات أساس $\phi$ الخاصة بها. وهذا يعمق فهم أنظمة الترقيم $\beta$ والخصائص الحسابية لحلقة $\mathbb{Z}[\phi]$.
• الابتكار المنهجي: تعمل الورقة كدراسة حالة لاستخدام الذكاء الاصطناعي (ChatGPT) كأداة تعاونية في البحث الرياضي، وتحديداً لتوليد استراتيجيات برهان بديلة.

باختاً، تتقدم الورقة بنظرية التمثيلات $\phi$ من خلال إثبات حدسية استمرت طويلاً وتقديم تصنيف شامل للأعداد الصحيحة بناءً على فردية الأسس في توسعات النسبة الذهبية الخاصة بها، مستخدمة مزيجاً مبتكراً من نظرية الأوتوماتا ونظرية الأعداد التقليدية.