The equality cases $P_t(\mathbb{N})=\tfrac12$ for the deconvolved sum-of-digits measures

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

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

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

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

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

تتضمن الطريقة المستخدمة للوصول إلى هذه النتيجة مزيجاً ذكياً من نظرية الاحتمالات والتحليل التوافقي (combinatorics)، وهو دراسة عد وترتيب الأشياء. يعامل المؤلف عملية إضافة الأرقام كـ "سير عشوائي" (random walk)، وهو مسار يتحرك خطوة بخطوة عبر شجرة من الاحتمالات. ومن خلال تحليل النقاط التي يتوقف عندها هذا المسار، يمكن للمؤلف حساب الاحتمالية النهائية. كانت الرؤية الجوهرية هي إدراك أن شرط التقسيم المتساوي بنسبة خمسين-خمسين يعادل خاصية محددة في السلسلة الثنائية: وهي أنه بغض النظر عن كيفية محاولة إدخال "واحد" إضافي في السلسلة، لا يمكنك إنشاء نمط جديد يكسر قواعد الهيكل الأصلي. هذا الصلابة الهيكلية هي ما يبقي الاحتمالية عند خمسين بالمائة بالضبط.

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

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