[论文解读] Quasipolynomial Solutions to the Hofstadter Q-Recurrence

Nathan Fox|arXiv (Cornell University)|Nov 20, 2015

Advanced Combinatorial Mathematics被引用 6

一句话总结

本文为霍夫施塔特Q递推式构造了所有正整数次数的最终准多项式解，推广了戈洛姆的准线性解。通过定义一个序列族，其中按等差数列索引的子序列以任意次数的多项式增长，利用递归恒等式与多项式下界证明，展示了在标准下溢约定下此类结构化解的存在性。

ABSTRACT

In 1991, Solomon Golomb discovered a quasilinear solution to Hofstadter's Q-recurrence. In this paper, we construct eventual quasipolynomial solutions of all positive degrees to Hofstadter's recurrence.

研究动机与目标

• 将戈洛姆对霍夫施塔特Q递推式的准线性解推广至更高次多项式解。
• 研究由Q递推式定义的元斐波那契序列是否能在特定的等差子序列中表现出准多项式增长。
• 通过组合多项式表达式，显式构造Q递推式任意正整数次数d的最终准多项式解。
• 在潜在下溢情况下，通过约定Q(n) = 0（当n ≤ 0时），建立递推式保持良好定义的条件。

提出的方法

• 使用二项式系数与系数3i+2，定义一个次数为k+1的多项式p_{d,k}(n)，作为子序列增长的基础。
• 构造一个以m = 3dn + r索引的序列a_m，根据r mod 3的值分配数值，对r ≡ 0 mod 3的情况使用p_{d,k}(n)。
• 对n进行归纳，验证构造的序列在m > 3d + 2时满足Q递推式。
• 利用引理1，该引理建立了递推恒等式：p_{d,k}(n) = p_{d,k-1}(n) + p_{d,k}(n-1)，以验证r ≡ 0 mod 3情况下的递推成立。
• 应用引理2证明p_{d,k}(n) ≥ 3dn + 3k + 2，确保在需要时Q(n - Q(n-1))与Q(n - Q(n-2))项下溢为0，从而保持递推关系。
• 通过证明下溢使其中一项消失，另一项提供所需的常数或线性值，处理r ≡ 1与r ≡ 2 mod 3的特殊情况。

实验结果

研究问题

• RQ1 霍夫施塔特Q递推式是否容许某些等差子序列以高于一次的多项式增长的解？
• RQ2 能否显式构造任意正整数次数的最终准多项式解？
• RQ3 在下溢约定（Q(n) = 0，当n ≤ 0）下，如何使递推式稳定化，以允许结构化、可预测的解？
• RQ4 该构造是否为戈洛姆准线性解的直接推广，还是代表一类根本不同的解？
• RQ5 是否存在纯准多项式解（非仅最终准多项式）且次数大于1的Q递推式解？

主要发现

• 本文构造了一个序列族，在所有n > 3d + 2时满足Q递推式，其中索引为3dn + r的子序列在r ≡ 0 mod 3时以k+1次多项式增长。
• 当d = 3时，构造产生一个三次子序列：a_{9n+6} = (3/2)n^3 + (9/2)n^2 + 8n + 8，展示了三次增长。
• 通过归纳法验证了递推式的成立，依赖于恒等式p_{d,k}(n) = p_{d,k-1}(n) + p_{d,k}(n-1)，该恒等式确保了多项式增长的一致性。
• 下界p_{d,k}(n) ≥ 3dn + 3k + 2确保当r ≡ 1或2 mod 3时，Q(n - Q(n-1))与Q(n - Q(n-2))项下溢为0，从而将递推简化为单一项。
• 该构造并非戈洛姆解的直接推广，因为当d=1时，其包含两个常数项与一个线性项，而戈洛姆解为一个常数项与两个线性项。
• 该方法允许将p_{d,k}(n)中的3i+2系数替换为任意更大的值，同时保持证明结构不变，表明该构造具有鲁棒性。