[论文解读] A Reduced Forward Collatz Algorithm: How Binary Strings Change Their Length Under 3x+1

Richard Kaufman|arXiv (Cornell University)|Jan 18, 2023

Benford’s Law and Fraud Detection被引用 5

一句话总结

本文提出了一种简化的前向Collatz算法，通过分析二进制数的数位模式，预测奇数在3x+1映射下其二进制长度的变化。该方法提供了一种简化的方法，用于判断序列中下一个奇数的位长是增加还是减少，为理解Collatz动力学及潜在反例提供了新见解。

ABSTRACT

We developed an algorithm that easily goes from one odd number to the next odd number in binary representation for the reduced forward Collatz map (Syracuse function). The algorithm indicates when an odd number can grow or shrink to the next odd number based on the pattern of binary digits. The algorithm is also used to provide a simpler method for determining the change in binary string length for the reduced map than one found in the literature. Accordingly, an inspection of the binary digits for an odd number can determine the number of binary digits of the subsequent odd number. We also show some simple results for what the smallest number could be for a counterexample to the Collatz conjecture.

研究动机与目标

• 开发一种简化算法，用于追踪简化前向Collatz映射中二进制长度的变化。
• 确定奇数的二进制表示在3x+1映射一次迭代后，其位长是增加还是减少。
• 提供一种比现有方法更高效的方法，用于计算Collatz序列中二进制字符串长度的变化。
• 探讨潜在反例存在的含义，这些反例可能违背Collatz猜想。
• 建立二进制数位模式与3x+1函数在奇整数上行为之间的直接联系。

提出的方法

• 该算法分析奇数二进制表示中末尾的1和0，以预测序列中下一个奇数。
• 利用二进制数位的结构，判断下一个奇数的位数是否更多、更少或相同。
• 通过聚焦末尾连续1的个数以及其后第一个0的位置，避免完整的算术计算。
• 以二进制感知的方式应用简化Collatz映射（Syracuse函数），利用位运算提升效率。
• 通过检查二进制字符串并与已知的长度变化行为进行比较，验证该方法。
• 引入基于规则的系统，根据奇数的二进制后缀对它们进行分类，以预测长度转换。

实验结果

研究问题

• RQ1 在简化Collatz映射中，奇数的二进制长度在一步之后如何变化？
• RQ2 哪些二进制数位模式决定了下一个奇数的位表示是更长还是更短？
• RQ3 能否通过直接的、基于模式的算法替代完整计算，以预测Collatz序列中的长度变化？
• RQ4 二进制结构对3x+1过程中奇数的长度增长或缩短施加了哪些约束？
• RQ5 何种最简二进制结构可能引发Collatz猜想的潜在反例？

主要发现

• 该算法仅基于当前数的二进制数位模式，成功预测了Collatz序列中下一个奇数的二进制表示是更长还是更短。
• 该方法提供了一种比文献中已知方法更简单、更高效的方式来计算二进制字符串长度的变化。
• 分析表明，末尾连续1的个数以及其后第一个0的位置，是决定长度转换的关键因素。
• 该算法识别出导致长度减少的特定二进制配置，这可能有助于限制潜在反例的范围。
• 本文提出，Collatz猜想的最小可能反例必须具有与算法规则一致的、能持续增长的二进制结构。
• 结果表明，通过局部二进制模式可预测长度变化，为分析Collatz函数的全局行为提供了新视角。