🔢 mathematics

Carryless Pairing: Additive Pairing in the Fibonacci Basis

تقدم هذه الورقة خريطة اقتران حقنية، خالية من الحمل، من $\mathbb{N}^2$ إلى $\mathbb{N}$ تقوم بتشفير رقمين في نطاقات مؤشر "زيكندورف" منفصلة يفصل بينهما فاصل، مما يتيح التقييم والعكس من خلال عمليات الدعم الجمعي دون ضرب أو تحليل إلى عوامل، مع التحقق من صحة الجوهر في Rocq.

المؤلفون الأصليون: Milan Rosko

نُشر 2026-05-12

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

CC BY 4.0

المؤلفون الأصليون: Milan Rosko

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

إليك شرح لورقة بحثية بعنوان "الاقتران الخالي من الحمل في أساس فيبوناتشي" (Carryless Pairing in the Fibonacci Basis) باستخدام لغة بسيطة وتشبيهات من الحياة اليومية.

الفكرة الكبرى: تعبئة صندوقين دون كسر أحدهما

تخيل أن لديك صندوقين من قطع الليغو، مُلصق عليهما اسم الصندوق X و الصندوق Y. تريد لصقهما معاً لتكوين هيكل ضخم واحد بحيث يمكنك حمله كجسم واحد، ولكنك تريد أيضاً أن تكون قادراً على تفكيكهما لاحقاً دون استخدام أي غراء أو شريط لاصق أو أدوات خاصة.

معظم طرق دمج الأرقام (مثل الرياضيات القياسية أو أكواد الكمبيوتر) تشبه استخدام الغراء. لتفكيكها لاحقاً، غالباً ما يتعين عليك إجراء حسابات معقدة، أو تحليل الأرقام، أو "حمل" الخانات (كما في حالة $9 + 1 = 10$ في الجمع العادي، حيث ينتقل الرقم 1 إلى العمود التالي). تقترح هذه الورقة طريقة جديدة لدمج الأرقام لا تتطلب أي غراء ولا أي عملية حمل.

الإطار: مجموعة "ليغو" فيبوناتشي

لفهم كيف يعمل هذا، نحتاج إلى تغيير قواعد بناء الأرقام. بدلاً من استخدام نظام العشري القياسي (آحاد، عشرات، مئات)، تستخدم هذه الورقة متتالية فيبوناتشي ($1, 2, 3, 5, 8, 13, 21...$).

في هذا النظام، لكل رقم "مخطط ليغو" خاص به يسمى تمثيل زيكندورف (Zeckendorf representation). القاعدة الذهبية لهذا المخطط هي: لا يمكنك أبداً استخدام رقمين متتاليين من متتالية فيبوناتشي.

خطأ: $5 + 3$ (لأن 5 و 3 متتاليان في المتتالية).
صواب: $5 + 2$ (لأن بينهما فجوة).

هذه القاعدة (عدم التتالي) هي السر وراء نجاح هذه الحيلة بالكامل.

الخدعة السحرية: أحزمة "الزوجي" و"الفردي"

ابتكر المؤلف، ميلان روسكو، طريقة لتعبئة الصندوق X والصندوق Y في رقم واحد عن طريق وضعهما في "أحياء" مختلفة من متتالية فيبوناتشي.

الحي الزوجي (الصندوق X):
تأخذ الورقة المخطط الخاص بالرقم X وتقوم بإزاحة جميع قطع الليغو الخاصة به إلى المواضع ذات الأرقام الزوجية في متتالية فيبوناتشي.
- تشبيه: تخيل أن X عبارة عن مجموعة كتب. سنضعها جميعاً على الرفوف ذات الأرقام الزوجية في مكتبة.
الفاصل (السياج):
قبل وضع الصندوق Y، نحتاج لمعرفة المدى الذي يصل إليه X. تحسب الورقة "سياجاً" أو فاصلاً (delimiter) بناءً على حجم X. لنسمِّ هذا السياج B.
- تشبيه: إذا كان X يشغل الرفوف من 2 إلى 10، فإن السياج سيُبنى عند الرف 12.
الحي الفردي (الصندوق Y):
الآن، نأخذ المخطط الخاص بالرقم Y ونزيح قطع الليغو الخاصة به إلى المواضع ذات الأرقام الفردية، ولكن فقط بعد السياج (B).
- تشبيه: سنضع جميع كتب Y على الرفوف ذات الأرقام الفردية، ولكن فقط بدءاً من الرف 13، 15، 17، إلخ. سنترك الرفوف الفردية التي تسبق السياج فارغة.

لماذا هو "خالٍ من الحمل"؟ (الجزء الأفضل)

في الرياضيات العادية، إذا جمعت رقمين، قد تحصل على "حمل" (مثلاً $5+5=10$ ). في نظام فيبوناتشي هذا، إذا جمعت رقمين لا يتشاركان في أي مواضع "متتالية"، فلن يحدث أي حمل.

لأن الورقة تضع X في المواضع الزوجية و Y في المواضعة الفردية (مع وجود فجوة بينهما)، فإن مجموعتي قطع الليغو لن تتلامسا أبداً.

X في المواضع الزوجية.
Y في المواضع الفردية (بعيدة عن X).
لا يوجد رقمان متتاليان في المزيج النهائي.

النتيجة: الرقم المدمج هو بالفعل في شكله "الطبيعي" المثالي. لست بحاجة للقيام بأي عمليات تنظيف أو حسابات لإصلاحه. الأمر يشبه وضع قطعتي أحجية (بازل) لا تتلامسان؛ فهما تتناسبان تماماً.

كيفية فك التعبئة (التشفير)

للحصول على الصناديق الأصلية، ما عليك سوى النظر إلى الرقم المدمج وطرح سؤالين بسيطين:

من الموجود على الرفوف الزوجية؟ (هذا هو X).
من الموجود على الرفوف الفردية بعد السياج؟ (هذا هو Y).

بسبب صرامة القواعد (عدم التلامس، وفجوات محددة)، لا يوجد ارتباك. يمكنك دائماً معرفة أي قطعة تنتمي لـ X وأيها تنتمي لـ Y.

القيود الهامة (جزء "ليس شاملاً/Surjective")

تعترف الورقة بأن هذه الطريقة لا تنشئ رمزاً لـ كل رقم ممكن.

تشبيه: تخيل موقف سيارات حيث يمكن للسيارات (الأرقام) الاصطفاف في أماكن محددة فقط. إذا حاولت إيقاف سيارة في مكان ينتهك قاعدة "عدم التلامس" أو قاعدة "السياج"، فسيكون ذلك المكان فارغاً.
تصف الورقة هذا بأنه متباين (injective) ولكنه ليس شاملاً (not surjective).
- متباين (Injective): كل زوج من (X, Y) يحصل على رمز فريد. لا يوجد زوجان يصنعان نفس الرقم.
- ليس شاملاً (Not Surjective): بعض الأرقام في العالم لا يمكن تكوينها بهذه الطريقة. إذا اخترت رقماً عشوائياً، فقد لا يكون "زوجاً مدمجاً" صالحاً.

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

لماذا يهم هذا؟ (السبب)

المؤلف لا يحاول صنع آلة حاسبة أسرع لهاتفك. الدافع أعمق، وهو متجذر في أسس المنطق والرياضيات:

الجمع الصرف: معظم طرق دمج الأرقام تعتمد على الضرب أو القسمة المعقدة (مثل تفكيك الرقم إلى عوامل أولية). هذه الطريقة تعتمد فقط على الجمع والتحقق من المواضع.
الأنظمة الرياضية الضعيفة: في بعض الأنظمة الأساسية جداً للمنطق (حيث لا يُسمح لك باستخدام الضرب)، لا يمكنك إثبات أنه يمكنك دمج رقمين والحصول عليهما مجدداً. تُظهر هذه الورقة طريقة للقيام بذلك باستخدام الجمع البسيط فقط، مما يساعد الرياضيين على فهم الحد الأدنى من المتطلبات اللازمة لعمل المنطق.
التحقق من الإثبات: نظرًا لأن العملية بسيطة للغاية (مجرد النظر في المواضع والجمع)، فمن السهل جداً على الكمبيوتر التحقق من صحة الرياضيات دون ارتباك.

ملخص في جملة واحدة

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

ملخص تقني: الاقتران الخالي من الحمل في أساس فيبوناتشي

بيان المشكلة
تتناول الورقة بناء دالة اقتران $\pi: \mathbb{N}^2 \to \mathbb{N}$ تعمل حصرياً ضمن القيود الجمعية لأساس زيندورف (فيبوناتشي). تعتمد مخططات الاقتران التقليدية غالباً على تداخل الأرقام الموضعية (مثل أكواد Z-order/Morton) أو العمليات الحسابية التي تتضمن الضرب والتحليل إلى عوامل (مثل ترقيم غودل، أو اقتران كانتور). يسعى المؤلف إلى إيجزاز آلية يعتمد فيها ترميز وفك ترميز الزوج $(x, y)$ فقط على استخراج الدعم (support extraction) والعمليات الجمعية، متجنباً الضرب، والرفع إلى أس، والحاجة إلى انتشار "الحمل" (carry) أو خطوات التسوية (normalization) أثناء دمج البيانات. هذا مدفوع بالرغبة في دعم حجج عدم الاكتمال والاستقصاءات النظرية في البرهان ضمن ركائز حسابية ضعيفة (مثل $I\Delta_0$ ) حيث لا يُفترض وجود الضرب أو يكون مكلفاً.

المنهجية
الحل المقترح، والذي يسمى الاقتران الخالي من الحمل ( $\pi_{CL}$ )، يقوم بترميز عددين طبيعيين في "نطاقات" منفصلة من مؤشرات فيبوناتشي بناءً على دعمهما في تمثيل زيندورف.

تمثيل زيندورف: يتم تمثيل كل عدد طبيعي $n$ بشكل فريد كمجموع لأعداد فيبوناتشي غير متتالية ( $F_k$ حيث $k \ge 2$ ). تُسمى مجموعة هذه المؤشرات بـ $Z(n)$ .
بناء الفاصل (Delimiter): بالنسبة للزوج $(x, y)$ ، تحسب الخوارزمية أولاً الرتبة $r(x)$ ، وهي أصغر مؤشر بحيث $F_{r(x)} > x$ . يتم ضبط الفاصل $B(x)$ ليكون $2r(x)$ .
فصل النطاقات:
- النطاق الزوجي (لـ $x$ ): يتم تعيين مؤشرات دعم $x$ ، أي $Z(x)$ ، إلى مؤشرات زوجية عبر $e \mapsto 2e$ . توضع هذه في النطاق $[4, 2r(x))$ .
- النطاق الفردي (لـ $y$ ): يتم تعيين مؤشرات دعم $y$ ، أي $j \mapsto B(x) + (2j - 1)$ ، إلى مؤشرات فردية. توضع هذه فوق الفاصل $B(x)$ بشكل صارم.
ثابت خلو الحمل: بما أن $Z(x)$ لا يحتوي على أعداد متتالية، فإن المؤشرات الزوجية المعيونة لها فجوات لا تقل عن 4. وبالمثل، فإن المؤشرات الفردية المعيون لـ $y$ لها فجوات لا تقل عن 4. ومن الأهمية بمكان أن الفاصل $B(x)$ يضمن أن أعلى مؤشر زوجي يستخدمه $x$ هو أقل من أدنى مؤشر فردي يستخدمه $y$ . وبالتالي، فإن اتحاد هاتين المجموعتين من المؤشرات لا يحتوي على أعداد متتالية.
الترميز: القيمة المرمزة هي مجموع أعداد فيبوناتشي المقابلة لاتحاد هذه المؤشرات. وبما أن الدعم لا يحتوي على مؤشرات متتالية، فإن النتيجة تكون تلقائياً في الصيغة الطبيعية لزيندورف؛ مما يعني عدم الحاجة لانتشار الحمل.

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

أداة جمعية بالكامل: تعرف الورقة دالة اقتران $\pi_{CL}$ ودالة عكسية unpair تعملان حصرياً على دعوم زيندورف باستخدام الجمع والمسح المحدود. لا يتم استخدام الضرب أو التحليل إلى عوامل.
التحقق من التباين والقابلية للتقرير: ثبت أن الدالة حق (injective). ورغم أنها ليست شاملة (surjective)، إلا أن عضوية الصورة قابلة للتقرير عبر "اختبار النقطة الثابتة": يكون العدد $n$ في الصورة إذا وفقط إذا كان $\pi_{CL}(\text{unpair}(n)) = n$ .
التنميط في خطوة واحدة: تقدم الورقة دالة تنميط $can(n) = \pi_{CL}(\text{unpair}(n))$ . تقوم هذه الدالة برسم أي عدد طبيعي إلى ممثله الفريد في صورة $\pi_{CL}$ في خطوة واحدة.
لمية الاستقرار: تثبت الورقة أن تعديل الإحداثي الثاني $y$ (إضافة أو إزالة مؤشر من دعمه) يؤدي إلى تغيير محلي للقيمة المرمزة (إضافة أو طرح عدد فيبوناتشي محدد)، بشرط بقاء $x$ ثابتاً.
الميكنة: تمت ميكنة جميع نظريات الصحة الأساسية (العكس والتباين) في Rocq (المعروف سابقاً بـ Coq)، باستخدام لغة المواصفات Gallina. يتضمن التشكيل الرسمي براهين وجود وفرادة دعوم زيندورف، مما يضمن أن جهاز الاقتران لا يعتمد على بديهيات غير مثبتة فيما يتعلق بواجهة الدعم.

النتائج

الصحة: تثبت النظرية 6.0.1 أن unpair $\circ$ $\pi_{CL}$ هي دالة المحايدة على $\mathbb{N}^2$ .
عدم الشمولية: الدالة ليست شاملة؛ فالعديد من الأعداد الطبيعية (مثل 6) لا تقابل أزواجاً صالحة بموجب هذا المخطط لأن دعوم زيندورف الخاصة بها لا تتوافق مع قيود التكافؤ والفاصل المحددة.
التعقيد: يهيمن استخراج الدعم على تكلفة الاقتران وفك الاقتران (عادةً $O(r(n))$ لمسح جشع). تشير الورقة إلى أن هذه ملاحظات غير رسمية وليست نظريات تعقيد موثقة.
المقارنة: على عكس ترقيم غودل (الذي يتطلب التحليل إلى عوامل) أو اقتران كانتور (الذي يتطلب الضرب والجذور التربيعية)، يعمل $\pi_{CL}$ بشكل جمعي بحت. وعلى عكس Z-order (الذي يتداخل فيه مواضع باينري ثابتة)، يقوم $\pi_{CL}$ بإزاحة موضع المعامل الثاني بناءً على رتبة المعامل الأول، مما يخلق فاصلاً ديناميكياً.

الأهمية والادعاءات
تضع الورقة هذا البناء كأداة لـ الرياضيات العكسية ودراسة الركائز الحسابية الضعيفة. من خلال توفير دالة اقتران تتجنب الضرب، يقترح المؤلف أنها قد تكون مفيدة لاستقصاء حجج الاتساق والقابلية للإثبات في الأنظمة التي لا يتوفر فيها الضرب أو يكون فيها مقيداً (بالإشارة إلى Buss, 1997; Friedman, 1976).

يعرب المؤلف صراحة عن تواضعه فيما يتعلق بالآثار الأوسع:

لا تدعي الورقة اشتقاق واجهة دعم زيندورف من مبادئ الجمع فقط، وتفترض أن مثل هذا الاشتقاق قد لا يكون موجوداً.
لا تدعي وجود توصيف بسيط في صيغة مغلقة لصورة $\pi_{CL}$ ؛ إذ إن إجراء القرار هو اختبار النقطة الثابتة القائم على الدعم.
المساهمة الأساسية هي البناء الصريح لجهاز "خالٍ من الحمل" والتحقق من خصائصه، مما يجعل صورته وهيكله الهندسي قابلة للفحص المباشر للتحليل النظري.

يُقدم العمل كأداة حسابية تأسيسية وليس كبنية بيانات عملية للحوسبة العامة، مع التأكيد على فائدته النظرية في المنطق ونظرية البرهان.