Optimal local convergence criteria for integer and Gaussian integer continued fractions

技術的要約：整数およびガウス整数連分数における最適な局所収束条件

問題提起
本論文は、整数（$\mathbb{Z}$）およびガウス整数（$\mathbb{Z}[i]$）を係数とする連分数の収束性について扱う。具体的には、著者らは「最適な除外集合（optimal exclusion sets）」、すなわち、ある有限の単語（部分文字列）が有限回しか出現しない場合に、その連分数が収束することが保証されるような最小の集合を特定することを目的としている。係数の絶対値が2以上であれば収束することは既知であり、（KatokやUgarcoviciらによる）先行研究では特定の除外集合が特定されているが、ここでの目的は、長さ2のすべての最小除外集合を分類し、かつ有限の集合よりも厳密に強い無限の除外集合を構築することである。

手法
著者らは、組合せ論、幾何学、および解析的手法の組み合わせを用いている：

1. ファレー・グラフとの対応： 本論文は、整数連分数とファレー・グラフにおけるパスとの間の対応関係を利用している。連分数があるパスにおいて重複する頂点（収束値）を含む場合、その連分数は発散する。
2. 三角形分割多角形とクィディティ数列： 発散する連分数は、「トリミングされたクィディティ数列（trimmed quiddity sequences）」に関連付けられており、これは根付き三角形分割多角形の頂点の次数に対応する。著者らは、根付き平面二分木の接ぎ木操作（$*$）を用いてこれらの多角形を分析し、回避不可能な部分文字列を特定している。
3. 解析的なネスティング議論： ガウス整数については、メビウス変換を用いた「ネスティング議論」を用いる。著者らは複素平面における特定の半平面と円板を定義し、写像 $G_e(z) = 1 - 1/(ez)$ の合成を分析する。特定の領域を特定の領域へと写すことを証明することで、収束条件を確立している。
4. 周期分数による分類： 最小性と非比較性を証明するために、著者らは特定の周期的な連分数（発散する例）を構成し、それらが唯一の候補集合を除いてすべて回避することを示すことで、どの集合もより小さな集合として機能し得ないことを実証している。

主な貢献と結果

1. 整数除外集合の分類（定理A）
著者らは、整数上の長さ2のすべての最小除外集合の完全な分類を提供する。

• 結果： 長さ2の最小除als集合は、ちょうど18個存在する（9つの集合とその反転）。
• 構造： $O_1$ から $O_9$ と表記されるこれらの集合は、特定の整数のペア（例：$O_1 = \{(1, 1), (1, 2), (2, 1), (1, 3)\}$）で構成されている。
• 関連性： この分類は、Conway–Coxeterのクィディティ数列における長さ2の最小不可避な単語の分類と等価であることが示されている。

2. 無限除外集合（定理B）
本論文は、$[b_0, \dots, b_n] = 0$ であり、かつそのすべての収束値が異なる単語 $(b_0, \dots, b_n)$ からなる無限除外集合 $\mathcal{O}$ を構成する。

• 結果： $\mathcal{O}$ は除外集合である。
• 意義： $\mathcal{O}$ は、いかなる有限の除外集合 $O$ よりも厳密に強い。すなわち、$\mathcal{O}$ によって除外される収束連物の集合は、任意の有限の除外集合によって除外される集合の真部分集合である。これは、整数連分数数の収束を完全に特徴付けるために、有限の局所的な制限では不十分であることを意味している。

3. ガウス整数除外集合（定理D）
著者らは、ガウス整数上の長さ2の最小「可逆な（reversible）」除外集合を分類する。

• 結果： 最小の集合は $U_1$ と $U_2$ のちょうど2つである。
• 構造：
  • $U_1$ は、ペアの積によって定義される：$\{(a, b) : ab \in \Omega\} \cup \{0\}$。ここで $\Omega$ は、特定のカルディオイド領域（$3 \pm 2i$ を除く）内に位置するガウス整数の集合である。
  • $U_2$ も $U_1$ と同様であるが、$\{1+i, 2+i\}$ と $\{1, 1+2i\}$ の包含関係において異なる。
• 比較： これらの集合は互いに比較不能である。$U_1$ は $U_2$ が除外しないものを除外し、$U_2$ もまた同様である。$U_1$ は、Scott-WallおよびLeighton-Thronの放物線定理から導かれる古典的な除外集合よりも、厳密に改善されたものであることが示されている。

4. 系および未解決問題

• 系C： トリミングされたクィディティ数列における長さ2の最小不可避な集合は、正確に $O_i$ およびその反転である。
• 未解決問題： 本論文は、ガウス整数における「順序付けられた（ordered）」（非可逆な）除外集合の分類が未解決であることを記している。さらに、アイゼンシュタイン整数に対する最小除外集合を決定する問題が、将来の研究方向として提示されている。

意義
本論文は、整数およびガウス整数の両方の設定において、長さ2の部分文字列に関する最小の局所収束基準の最初の完全な分類を提供したと主張している。連分数の収束を三角形分割多角形の組合せ論（クィディティ数列）に結びつけることで、著者らは数論と組合せ幾何学を橋渡ししている。さらに、無限除外集合 $\mathcal{O}$ の構成は、有限の局所的基準の根本的な限界を示しており、整数連分数の最適な収束条件には本質的に無限の複雑さが必要であることを示している。ガウス整数に関する結果は、既存の解析的基準を洗練させ、よりタイトな収束挙動の境界を提供している。