Cobham's theorem for the Gaussian integers

技術要約：ガウス整数におけるコブハムの定理

問題提起
コブハムの定理は、オートマトン理論および数論における基礎的な結果であり、自然数の列が $k$-自動的かつ $\ell$-自動的（ここで $k$ と $\ell$ は乗法的に独立な整数）であるための必要十分条件は、その列が最終的に周期的であることであると述べている。この定理は様々な論理的・動的な文脈へと一般化されてきたが、整数 $\mathbb{Z}$ からガウス整数 $\mathbb{Z}[i]$ への拡張については、大きな空白が残されていた。

HanselとSaferによる先行研究では、基数 $\alpha = -m + i$ （ここで $m \ge 1$）および非負整数の数字集合を用いた数表現系を扱った。彼らは、もし $\mathbb{Z}[i]$ の部分集合 $S$ が二つのそのような基数によって認識可能であれば、その集合はシンデティック（syndetic）であることを示した。彼らは、そのような集合は最終的に周期的（すなわち、有限集合を除いて二つの $\mathbb{Z}$-線形独立なベクトルに対して不変であること）であると推測した。しかし、彼らの証明は、解析数論における深く未解決の仮説である「四指数予想（Four Exponentials Conjecture）」に依存しており、この推測は未解決のまま残されていた。

手法
著者らは、四指数予想に依存しない、ガウス整数に対するコブハムの定理の証明を提供する。彼らのアプローチは、本定理を（あらゆる有限な生成数字集合を持つ）最大のガウス数表現系のファミリーへと一般化し、深い解析数論への依存性を排除するものである。

核心となる手法は以下の通りである：

1. $\mathbb{Z}[i]$ におけるディリクレ近似： 著者らは、$\langle \alpha, \beta \rangle$ の複素数体 $\mathbb{C}$ における稠密性に依存する代わりに（これは四指数予想を必要とする）、より弱い結果、すなわち「1は二つの乗法的に独立なガウス整数によって生成される乗法群において孤立点ではない」という性質を利用する。これは、もし1が孤立点であれば、その群は離散的であり、それは乗法的な依存関係を意味するということを証明する補題3によって確立される。
2. パンピング補題と回帰数（Return Numbers）： 著者らは、ガウス整数の展開に作用する有限状態オートマトン（DFAO）の構造を分析する。彼らは、オートマトンにおける特定の状態への「回帰数」を定義する。オートマトンの状態に対してヴァン・デル・ヴェルデン（van der Waerden）の定理を適用することで、回帰数に対応する添字の算術級数を特定する。
3. 共線性分析： 重要なステップは、回帰数が直線上に位置する場合（共線的な場合）、基数は整数の根であることを示す補題14である。したがって、基数が整数の根ではない場合、回歴数は非共線的でなければならない。これにより、二つの $\mathbb{Z}$-線形独立な周期を構成することが可能になる。
4. 周期の伝播： ガウス整数に適応させたファイン・ウィルフ（Fine and Wilf）の定理のバージョン（補題18および19）を用いて、重なり合う球体上の局所的な周期性（ステップ周期性）を、グローバルな周期性へと伝播させることができることを示す。著者らは、非共線的な回帰数から導かれる特定の周期を示す、$\mathbb{Z}[i]$ の球体による被覆を構成する。

主要な貢献と結果
主要な結果は定理1であり、以下のように述べている：

$\alpha$ と $\beta$ を、 $|\alpha|, |\beta| > 1$ を満たす二つの乗法的に独立なガウス整数とする。もし $\alpha$ または $\beta$ の一方が整数の根でないならば、配置 $(a_z)_{z \in \mathbb{Z}[i]}$ が $\alpha$-および$\beta$-自動的であるための必要十分条件は、それが最終的に周期的であることである。

主な技術的知見には以下が含まれる：

• HanselとSaferの予想の解決： 本論文は、$-m+i$ の形の基数によって認識可能な集合は最終的に周期的であるという予想を証明している。$-m+i$ は（ニヴェンの定理により）$m > 1$ において整数の根にはならないため、定理1の条件は満たされる。
• 条件の必要性： 著者らは、「一方の基数が整数の根ではない」という条件が鋭い（sharp）ものであることを示している。もし両方の基数が整数の根であるならば、非最終周期的配置が存在し得る（例：$\alpha$ が整数の根であるとき、自然数集合 $\mathbb{N}$ の特性関数は $\alpha$-自動的である）。
• 数表現系の一般化： 証明は、HanselとSaferが検討した「自然な」非負整数数字集合だけでなく、数表現系を生成する任意の有限な数字集合 $D$ に対して成立する。
• 共役に関する系： 本論文は、集合 $U \subset \mathbb{Z}[i]$ が $\beta$-自動的であり、かつ自身の複素共役と等しい（$U = \bar{U}$）ならば、もし $U$ が最終的に周期的でないならば、$\beta$ は整数の根でなければならないことを確立している。

意義
本論文は、未証明の解析的な予想に依存することなく、ガウス整数へのコブハムの定理の拡張を解決したと主張している。オートマトンとガウス整数の幾何学的性質（特に、乗法群における1の非孤立性）に基づき、結果が成立することを実証することで、著者らは「一般的な数環へのコブハムへの道を開いた」としている。

この研究は、ガウス数表現へのコブハム・セメノフ（Cobham-Semenov）定理の一般化である。また、CabezasとPetiteによる定型形状置換（constant shape substitutions）の研究とも関連しており、整数の根ではないガウス基数によって生成される非自明な配置は、標準的な $(k, k)$-自動的な配置によって複製することはできないことを示唆している。著者らは、これが第一歩であるものの、他の整数環（$\mathbb{Z}[\zeta]$ や二次整数環など）への拡張は、将来の研究における自然な方向性であると述べている。