حدسية كولاتز

عند كتابة قاعدة حدسية كولاتز على صورة دالة، نحصل على

تبدأ رحلة من $n$ وتمرّ عبر $f(n)$ ثم $f(f(n))$ وهكذا، وتنتهي عندما تصل إلى ⁦1⁩، إذ لن تفعل بعد ذلك إلا الدوران في الحلقة ⁦1 → 4 → 2 → 1⁩. تقول الحدسية إن كل عدد صحيح موجب يصل إلى هناك. يمكنك هنا إطلاق أعداد صحيحة في رحلات، حتى لو كانت من مئات الخانات، فرادى أو في مجموعة. ويمكنك مقارنتها بالحجة التقريبية التي تجعل الحدسية مقنعة، ورؤية سبب كون هذه الحجة ليست برهانًا.

يمثّل المحور الأفقي عدد الخطوات، والرأسي القيمة بمقياس لوغاريتمي، إلا إذا اخترت القيم فتحصل على صورة حبات البَرَد المعتادة. كل عدد في المجموعة خط ملوّن، لذا يكون المقطع الذي تمرّ به أعداد كثيرة أشد لونًا: أسطع على خلفية داكنة وأغمق على خلفية فاتحة. يُبرَز العدد الذي تنظر إليه، وتحدّد نقطة حمراء موضعه الحالي. يصعب توقّع الرحلات: يصعد ⁦27⁩ إلى ⁦9 232⁩ ويحتاج إلى ⁦111⁩ خطوة ليصل إلى ⁦1⁩، بينما يحتاج ⁦28⁩ إلى ⁦18⁩ خطوة.

لماذا تُصدَّق؟ تعطي الخطوة الفردية دائمًا عددًا زوجيًا، لذا اجمعها مع التنصيف الذي يليها في خطوة مختصرة واحدة. افترض الآن أن زوجية هذه الخطوات وفرديتها تشبه رميات مستقلة لعملة عادلة. في نصف الحالات يُضرب $n$ في نحو ⁦3/2⁩، وفي النصف الآخر في ⁦1/2⁩، لذا فإن الخطوة المختصرة تغيّر $\ln n$ في المتوسط بمقدار

يُفترض إذن أن تتناقص الأعداد، لتصير عادةً ⁦3/4⁩ قيمتها السابقة كل خطوتين مختصرتين. على المحور اللوغاريتمي، يمثّل الخط المتقطّع هذا الانجراف، ويُرسم لمجموعة متقاربة الحجم من ⁦100⁩ عدد أو أكثر. وهو يتجاهل الهبوط: الأعداد التي تصل إلى ⁦1⁩ تبقى عند القاع، لذا ينخفض متوسط ارتفاع المجموعة على هذا المحور قرب النهاية أبطأ من الخط.

رميات العملة مجرد نموذج لسلوك الأعداد في المتوسط. أما الحدسية فتتحدث عن كل عدد صحيح موجب، وتكفي رحلة واحدة لا تصل أبدًا إلى ⁦1⁩ لنقضها.

تُظهر الأعداد السالبة ما تغفله الحجة. للقاعدة نفسها حلقات فيها، وتُعرف ثلاث حلقات، مثل ⁦−5 → −14 → −7 → −20 → −10 → −5⁩. يتوقّع نموذج العملة تناقصًا هناك أيضًا، لكن إتمام دورة في أي حلقة يغيّر $\log|n|$ بمقدار ⁦0⁩ بالضبط. لا يستطيع انجراف هابط في المتوسط استبعاد حلقة، حتى بين الأعداد الموجبة.

يعكس المرجان اتجاه الرحلات: بالنمو إلى الخلف من ⁦1⁩، تشكّل مسارات مجموعة شجرة. تدور كل حافة عن سابقتها بمقدار $+\alpha$ إذا كان العدد الجديد زوجيًا، وبمقدار $-\alpha \log_2 3$ إذا كان فرديًا، وتُحدَّد ⁦α⁩ بواسطة الانحناء. عند الرجوع من ⁦1⁩، تضاعف الخطوة الزوجية العدد وتزيد $\log_2$ له بمقدار ⁦1⁩، بينما تقلّله الخطوة الفردية بمقدار يزيد قليلًا على $\log_2 3$. لذا تكون الحافة التي تصل إلى ⁦n⁩ قد دارت عن الاتجاه الرأسي إلى الأعلى بمجموع $\alpha \log_2 n$، مع إضافة صغيرة لكل خطوة فردية: دورانها يسجّل حجم ⁦n⁩. على امتداد فرع، يصعد الاتجاه ويهبط مع أعداد رحلة واحدة، فكل فرع هو رحلة ملتفّة. وتتّحد الفروع حيث تلتقي الرحلات. بهذه اللغة، تقول الحدسية إن الشجرة النامية من ⁦1⁩ تحتوي كل عدد صحيح موجب.

تُنسب المسألة عادةً إلى لوثار كولاتز، الذي طرح أسئلة من هذا النوع في ثلاثينيات القرن العشرين. يتبع المرجان رسم «⁦Collatz seaweed⁩» لإدموند هاريس (⁦2016⁩).