On orbit sets generated by semigroups of one-dimensional affine functions

技術要約：1次元アフィン関数からなる半群によって生成される軌道集合について

問題提起
本論文は、整数アフィン関数の集合 $F = \{f_i(x) = a_i x + b_i\}_{i=1}^n$ が、初期値（または集合）$s$ に対して生成する1次元軌道集合 $\langle F : s \rangle$ および軌道マルチセット $\langle F : s \rangle^\#$ の漸近的成長を調査するものである。中心となる問題は、これらの集合の密度、具体的には成長関数 $|\langle F : s \rangle \cap [0, x]|$ が正であるか（すなわち、特定の条件下で非ゼロの下漸近密度を持つか）を判定することである。

本研究は、傾き $a_i$ が方程式 $\sum_{i=1}^n \frac{1}{a_i} = 1$ を満たす臨界ケースに焦点を当てている。P. Erdős による既往の研究では、$\sum a_i^{-\sigma} = 1$ のとき、成長関数の上界が $O(x^{\sigma+\epsilon})$ であることが確立されている。Erdős と Graham は、もし $F$ が自由半群の基底を形成する場合（すなわち、関数間に非自明な合成関係が存在しない場合）、かつ $\sum a_i^{-1} = 1$ であるならば、軌道集合 $\langle F : s \rangle$ は正の密度を持つか、という具体的な未解決問題を提起した。$\sum a_i^{-1} < 1$ の場合には密度がゼロになることは既知であったが、等号成立の場合については、一般的な自由半群において未解決のままであった。

手法
著者らは、軌道集合の大きさの下界を導出するために、組合せ論的解析、帰納法、および代数的技法を組み合わせて用いている。

1. マルチセットの下界： 本論文では、まず軌道マルチセット $\langle F : s \rangle^\#$ の大きさの下界を確立する。アフィン関数の合成を分析することにより、著者らは関数の合成による点の像を制限する補助的な不等式（補題4）を導出する。これを用いて、$\sum a_i^{-\sigma} = 1$ のときのマルチセットの大きさに対して $\Omega(x^\sigma)$ という下界を証明する。これは、既存の Erdős-Lagarias による上界 $O(x^{\sigma+\epsilon})$ を補完するものであるが、著者らは、一般的なケースにおける正確な漸近的挙動（$\Theta(x^\sigma)$）については、上界と下界の間に依然としてギャップが残っていることを指摘している。

2. 自由半群における劣線形下界： Erdős-Graham の問題に取り組むため、著者らは自由半群の性質を利用する。著者らは、等しい傾きを持ちながらも異なる自由係数を持つ関数合成の集合を構成する（補題6）。これらの合成の数をスターリングの近似を用いて適用することで、$\sum a_i^{-1} = 1$ かつ $F$ が自由半群の基底である場合の軌道集合の大きさに対する劣線形な下界を導出する。

3. 厳密被覆系： 本論文は、軌道集合と「厳密被ート系」（整数の互いに素な算術級数による分割）との間の関連性を導入する。整数 $\mathbb{Z}$ 上の直接関数に対してピンポン補題（Ping-Pong Lemma）の変種を適用することにより、もし $F$ が厳密被覆系（すなわち、$f_1(\mathbb{Z}) \sqcup \dots \sqcup f_n(\mathbb{Z}) = \mathbb{Z}$）を形成する場合、その軌道集合は正の密度を持つことを示す。

主要な貢献と結果

• 定理2（マルチセットの下界）： 著者らは、$\sum a_i^{-\sigma} = 1$ を満たす有限個のアフィン関数の集合について、軌道マルチセットの大きさは $|\langle F : s \rangle^\# \cap [0, x]| = \Omega(x^\sigma)$ を満たすことを証明した。これは、Erdős-Lagarias の上界を補完する初の一般的な下界を提供するものである。
• 定理5（自由半群における劣線形下界）： Erdős-Graham の問題に対し、本論文は、$F$ が自由半群の基底であり、かつ $\sum a_i^{-1} = 1$ である場合、任意の $s \ge 0$ に対して軌道集合の大きさが次を満たすことを確立した：
  $$|\langle F : s \rangle \cap [0, x]| = \Omega\left(\frac{x}{\log^{\frac{n-1}{2}} x}\right)$$
  この結果は、成長が少なくとも劣線形であることを示しているが、一般的な自由半群のケースにおいて正の密度（$\Omega(x)$ が必要）を証明するには至っていない。
• 定理7（厳密被覆系における正の密度）： 関数 $F$ が整数の厳密被覆系を形成する場合、軌道集合 $\langle F : s \rangle$ は正の密度を持つことを証明する。この証明は、これらの条件下では軌道マルチセットの要素の重複度が最大で1であり、これによりマルチセットの大きさが集合の大きさに帰着され、それが定理2から導かれる線形項によって下限付けられることに依拠している。
• Klarner タプルへの応用： 著者らは、これらの結果を特定の「Klarner タプル」（$2x+a, 3x+b, 6x+c$ が自由半群を形成する整数の組 $(a, b, c)$）に適用する。古典的な傾き $\{2, 3, 6\}$ に関する密度問題は未解決のままであるが、著者らは、厳密被覆系から導出された特定の係数を持つ傾き集合 $\{2, 4, 4\}$ については、軌道集合が正の密度を持つことを示している。

意義と主張
本論文は、マルチセットの大きさに一致する下界を提供することにより、Erdős と Lagarias の基礎的な研究を補完することを主張している。具体的には、自由半群の文脈における Erdős-Graham 問題に対して、「ほぼ線形」な下界を提供している。

さらに、本論文は、生成関数が厳密被覆系を形成するという特定のサブケースにおいて、Erdős-Graham の問題を肯定的に解決したと主張している。著者らは、この研究が、軌道集合の研究と（Erdős によって普及した）厳密被覆系の理論という、以前は別個であった二つの数論のトピックを結びつけるものであることを強調している。本研究は、$\sum a_i^{-1} = 1$ である一般的な自由半群の場合には（現在は劣線形な下界のみが証明されている）、問題が未解決のままであることを明確にしているが、厳密被覆系を形成するという条件が正の密度を保証するのに十分であることを明らかにしている。本論文は、すべての自由半群に対する一般的な Erdős-Graham の問題を解決したと主張しているわけではなく、また、特定の傾き $\{2, 3, 6\}$ に関する密度問題も未解決のままであることを記している。