[論文レビュー] Quasipolynomial Solutions to the Hofstadter Q-Recurrence

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

Advanced Combinatorial Mathematics被引用数 6

ひとこと要約

この論文は、ホフスタッターのQ再帰のすべての正の次数に対して、最終的に準多項式的（quasipolynomial）な解を構成し、ゴールムの準線形的解を一般化する。整数列の族を定義し、等差数列で添え字づけられた部分列が任意の次数の多項式として成長することを示す。再帰的恒等式と多項式の下界を用いて証明され、標準的なアンダーフロー規約（n ≤ 0 のとき Q(n) = 0）のもとで、このような構造的解の存在を示している。

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の、最終的に準多項式的となる明示的解を構成すること。
• アンダーフローが生じる可能性がある状況でも再帰が適切に定義される条件を確立すること。この際、n ≤ 0 のとき Q(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再帰を満たすことを検証する。
• r ≡ 0 mod 3 の場合に再帰が成立することを確認するため、p_{d,k}(n) = p_{d,k-1}(n) + p_{d,k}(n-1) を示す補題1を活用する。
• p_{d,k}(n) ≥ 3dn + 3k + 2 を示す補題2を適用し、必要に応じて Q(n - Q(n-1)) と Q(n - Q(n-2)) の項がアンダーフローして0になることを保証し、再帰の整合性を保つ。
• r ≡ 1 および r ≡ 2 mod 3 の特殊ケースに対しては、アンダーフローが一方の項を消去し、残りの項が所望の定数または線形値を生成することを示す。

実験結果

リサーチクエスチョン

• RQ1 ホフスタッターのQ再帰は、1次より高い次数の多項式として成長する特定の等差部分列を含む解を許容するか？
• RQ2 任意の正の次数に対して、明示的かつ最終的に準多項式的となる解を構成することは可能か？
• RQ3 アンダーフロー規約（n ≤ 0 のとき Q(n) = 0）のもとで、再帰をどのように安定化すれば、構造的かつ予測可能な解を得られるか？
• RQ4 この構成はゴールムの準線形的解を直接一般化したものか、それとも根本的に異なる解のクラスを表しているか？
• RQ5 Q再帰に対して、完全に準多項式的（最終的にではなく、常に）の解で次数 >1 となるものは存在するか？

主な発見

• この論文は、すべての n > 3d + 2 に対してQ再帰を満たす数列の族を構成し、r ≡ 0 mod 3 の場合に 3dn + r で添え字づけられた部分列が次数 k+1 の多項式として成長することを示している。
• d = 3 の場合、この構成により立方部分列が得られ、a_{9n+6} = (3/2)n^3 + (9/2)n^2 + 8n + 8 となり、次数3の成長が明確に示されている。
• 再帰の成立は帰納法により検証され、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 の場合、2つの定数項と1つの線形項を持つが、ゴールムの解は1つの定数項と2つの線形項を持つため、構造が異なる。
• p_{d,k}(n) の 3i+2 係数をより大きな値に置き換えても、証明構造が保たれることから、この構成は高い耐障害性を示している。