On the directions occurring in lattice-line coverings of the integer plane

技術的要約：整数平面の格子線被覆における方向の発生

問題設定
本論文は、特定の妥当性制約の下で、整数の格子 $\mathbb{Z}^2$ を一族 $\mathcal{F}$ の直線によって被覆する問題を調査している。その制約とは、「$\mathcal{F}$ 内の異なる方向を持つ二つの直線は、格子点において交差してはならない」というものである。異なる方向の直線同士が交差すること自体は許容されるが、そのような交差は必ず格子点から外れた場所で起こらなければならない。

中心となる問いは、**「そのような妥当な被覆一族において、どのような方向の集合が発生し得るか？」**である。本論文では、格子線（少なくとも2つ、したがって無限個の格子点を含む直線）に焦략を絞っている。これらは有理的な方向を持つ直線と同等である。この制限を設けない場合、（無理数の傾きを用いることで、二つの直線が格子点を共有しないようにできるため）問題は自明となるが、有理的な方向への制限は、重大な組合せ論的剛性を導入する。

手法と構成
著者は、実現される方向の集合がすべての方向の空間 $\mathbb{RP}^1$ において稠密となるような、妥当な被覆一族 $\mathcal{F}$ を構成する。この構成は、入れ子状のランク2の部分格子剰余類へと $\mathbb{Z}^2$ を分割する再帰的なプロセスである。

1. 剛性と不適合性 (Lemma 8):
   本論文は、二つの異なる原始的な方向 $d_1 = (p_1, q_1)$ と $d_2 = (p_2, q_2)$ が、その行列式 $\Delta = p_1q_2 - p_2q_1$ の絶対値が1である場合（すなわち、ファレー隣接関係にある場合）、互いに「不適合」であることを確立している。$|\Delta|=1$ であるとき、$d_1$ の任意の格子線と $d_2$ の任意の格子線は、オフセットに関わらず必ず格子点で交差する。したがって、妥当な一族は両方の方向を同時に含むことはできない。

2. 剰余類分解 (Lemma 9 & 11):
   核となるメカニズムは、現在の領域 $R$（合同式 $x \equiv x_0 \pmod{n_1}, y \equiv y_0 \pmod{n_2}$ によって定義されるランク2の剰余類）を、より細かい部分剰余類へと分割することである。

   • $n_1, n_2$ と特定の最大公約数条件を満たす共算整数 $s, t$ が与えられるとき、剰余類 $R$ は $|s||t|$ 個の部分剰余類に分割される。
   • 決定的なことに、各部分剰余類 $R_{u_0, w_0}$ 自体が、新しい原始的な方向 $(P, Q) = (n_1s, n_2t)$ に対する格子線の剰余類となる。
   • これにより、著者は、部分剰余類が互いに素である限り、他の方向の直線との禁止された交差を生じさせることなく、選ばれた部分剰余類をカバーするための特定の方向を割り当てることが可能となる。

3. ステアリング・レマ (Steering Lemma, Lemma 14):
   方向の集合を稠密にするために、構成は、再帰のあらゆる段階において、ターゲットとなる角度 $\theta$ に任意の程度近い方向を実現できなければならない。ステアリング・レマは、任意の共算整数 $n_1, n_2$ とターゲット $\theta$ に対して、$(n_1s, n_2t)$ の方向が $\theta$ の $\epsilon$ 以内となるような整数 $s, t$（分割条件を満たすもの）が存在することを証明している。これは、十分大きな区間内で適切な $s, t$ を見つけるための初等的な篩（ふるい）の境界に基づいている。

4. 再帰アルゴリズム:

   • $R_0 = \mathbb{Z}^2$ から開始する。
   • $\mathbb{Z}^2$ の列挙（$z_k$）および、ターゲットとなる角度の稠密な数列（$\theta_k$）を固定する。
   • 段階 $k$ において、ステアリング・レマを用いて、現在の領域 $R_{k-1}$ を分割する、ターゲットに近い方向を見つける。
   • $R_{k-1}$ を部分剰余類に分割する。次の段階（$R_k$）への入力となる「辞書順で最小の」部分剰余類（まだ被覆されていない $z_k$ を避けるもの）を一つ確保する。
   • 選ばれた方向を、他のすべての部分剰余類をカバーするために割り当てる。
   • これを繰り返す。

主要な結果

• Theorem 7: 実現される方向の集合が $\mathbb{RP}^1$ において稠密となるような、格子線の妥当な被覆一族 $\mathcal{F}$ が存在する。
• 被覆: 再帰的な構成により、すべての点 $z \in \mathbb{Z}^2$ が再帰のいずれかの段階で必ずカバーされることが保証される。確保された部分剰余類が厳密に縮小し、かつ列挙によってすべての点が最終的に「ターゲット」$z_k$ となることが保証されているため、すべての確保された領域の共通部分は空となり、完全な被覆が保証される。
• 妥当性: この構成は、異なる方向の直線が格子点で交差しないことを保証する。これは、特定の段階 $k$ の直線が、それらがカバーする部分剰余類内に限定されており、それらが将来の段階へと引き継がれる確保された領域 $R_k$ とは互いに素であることによって達成される。将来の段階は $R_k$ の部分集合上で動作するため、以前の段階の直線との幾何学的な分離が保証される。

意義と主張
本論文は、方向の集合は有限であったり、あるいは制限的な意味で可算であったりする必要はなく、稠密にすることも可能であることを示すことで、格子線被覆における方向集合の問題を解決したと主張している。

• 自明なケースとの対比: この結果は、「有理的な方向」という制約の非自明性を浮き彫りにしている。単一の方向は、互いに素な被覆（例6）には十分であるが、格子外での交差を許容することで、「ユニモジュラ（ファレー隣接）」による不適合性を回避しつつ、稠密な方向集合を実現することが可能となる。
• 方法論的貢献: 本論文は、ランク2の剰余類を用いた再帰的な分割手法と、幾何学的な被覆を制御するための「ステアリング」メカニズムを導入している。
• 未解決問題: 著者は、この結果を $n \ge 3$ の $\mathbb{Z}^n$ へと一般化することを、同様の非交差制約を持つ「格子超平面」または「格子直線」の定式化を伴う未解決問題（Open Problem 18）として明示的に提示している。

著者に関する注記および検証
本稿は、結果（再定式化、補題、および再帰的構成を含む）が、著者とAIモデル「Claude」との対話セッションを通じて発見されたものであることを明示している。本論文は、以下の手段を通じて構成が検証されたことを強調している：

1. 有限なウィンドウ上でのブルートフォースによる数値シミュレーション。
2. 第二のAIエージェントによる独立したレビュー。
3. Lean (Mathlib) による形式的な機械チェック済み証明。
   著者は、最終的な記述および残存する誤りについて全責任を負う。