Collinear Interior Lattice Points in Triangles Satisfying $B(T)\in\{4,5\}$

技術要約：$B(T) \in \{4, 5\}$ を満たす三角形における共線的な内部格子点

問題提起
本論文は、境界格子点の数 $B(T)$ に基づく、格子三角形内の内部格子点の幾何学的剛性を調査するものである。整数 $k$ が $B_n$-共線的（$B_n$-collinear） であるとは、境界点がちょうど $n$ 個、内部点が $k$ 個である格子三角形が少なくとも一つ存在し、かつ、そのようなすべての三角形において、その $k$ 個の内部点がすべて共線的（一直線上にある）である場合を指す。

Li と Paquin による先行研究では、$B(T)=3$ の場合、唯一の $B_3$-共線的な整数は $\{1, 2, 4, 7\}$ であることが確立されている。本研究は、この研究に基づき、$B_4$-共線的および $B_5$-共線的な整数を完全に分類することを目的とする。中心となる問いは、境界数の制約が、内部点を共線的な配置へと強制するかどうかである。

手法
著者らは、標準的な格子表現、ピックの定理（Pick's Theorem）、および一般化されたトー・関数（totient function）の算術的性質を組み合わせて用いる。

1. 標準形（Canonical Form）： 著者らは、Li と Paquin によって確立された標準的な枠組みを適応させている。境界点が $n$ 個ある任意の格子三角形は、内部点の数、境界点の数、および内部点の共線性（collinearity）を変えることなく、頂点を $(0,0), (1,0), (a,b)$ とする「標準的な」三角形へと変換できる。

   • $B(T)=4$ の場合、高さ $b$ はピックの定理により $b = 2k + 2$ と固定される。$a$ の選択が「有効（valid）」であるとは、$\{ \gcd(a, b), \gcd(a-1, b) \} = \{1, 2\}$ が成り立つことである。
   • $B(T)=5$ の場合、高さは $b = 2k + 3$ である。$a$ の選択が「有効」であるとは、$\{ \gcd(a, b), \gcd(a-1, b) \} = \{1, 3\}$ が成り立つことである。

2. 非共線性基準（Non-Collinearity Criteria）： 著者らは、内部点が共線的ではないことを証明するための基準を確立している。標準的な三角形と直線 $x=1$ との交差を分析することにより、特定の範囲（具体的には $3 \le a \le k$）内に有効なパラメータ $a$ が存在する場合、その三角形は直線 $x=1$ 上に少なくとも2つの内部点を持ち、かつこの直線から外れた場所に少なくとも1つの内部点を持つことを示している。2点は一意な直線を定義するため、その直線から外れた第3の点の存在は、非共線性（non-collinearity）を証明することになる。

3. 算術ツール（アルダーの関数 / Alder's Function）： 有効なパラメータ $a$ の存在を決定するために、著者らは、$0 \le r < m$ かつ $\gcd(m, r) = \gcd(m, 2r+1) = 1$ を満たす整数の個数として定義される、アルダーの一般化されたトー・関数 $g(m)$ を利用する。

   • $B(T)=4$ のケースにおいて、$3$から$k$の間にある有効な$a$の値の数は、正確に$g(k+1) - 1$ であることが示される。
   • 関数 $g$ は乗法的であることが証明されており、これにより $k+1$ の素因数分解に基づいた $g(k+1)$ の解析が可能となる。

主要な結果

• 定理 1（$B(T)=4$ のケース）： 唯一の $B_4$-共線的な整数は 1, 2, および 5 である。

  • 証明の論理： $k=1$ および $k=2$ の場合、共線性は自明である。$k=3$ および $k=4$ については、明示的な反例（非共線的な三角形）が提供される。$k=5$ については、有効な $a$ の値は $2$または$11 \pmod{12}$に合同することのみを証明しており、いずれの場合も内部点は単一の中線上に位置するため、共線性が保証される。すべての$k > 5$について、著者らは$g(k+1) > 1$であることを示し、これは範囲$[3, k]$内に有効な$a$ が存在することを意味する。非共線性基準により、これは非共線的な内部点を持つ三角形が存在することを保証する。

• 定理 2（$B(T)=5$ のケース）： $B_5$-共線的な整数は 存在しない。

  • 証明の論理： まず、境界点が5個の格子三角形が存在するためには、内部点の数 $k$ が3の倍数でなければならないこと（$b = 2k+3$ が3で割り切れる必要があるという条件から導かれる）を著者らは示す。
  • $k$ が3の倍数である任意の $k$ に対して、著者らは頂点を $(0,0), (1,0), (4, 2k+3)$ とする特定の標準的な三角形 $T_k$ を構成する。$k \ge 3$ において、この三角形は直線 $x=1$ 上に少なくとも2つの内部点を持ち、かつその直線から外れた場所に少なくとも1つの内部点を持つことを証明する。したがって、$k$ が共線性を強制することはない。3の倍数ではない整数は、そのような三角形が存在しないため、定義により除外される。

意義および主張
本論文は、最初の3つの非自明な境界ケース（$n=3, 4, 5$）に関する完全な分類を提供したと主張している。結果は、鋭い構造的対照を明らかにしている：

• $B(T)=3$ および $B(T)=4$ では、特定の内部数が共線性を強制するという特定の制約が見られる一方で、$B(T)=5$ はこのパターンを完全に崩している。
• 著者らは、境界の構造と内部点の幾何学との相互作用は、これまで考えられていたよりも微細であると論じている。すなわち、境界数が4から5に増加することで、いかなる $k$ に対しても強制的な共線性の可能性が排除されるのである。

論文は、結論として $B_6$-共線的な整数の分類、および $n \to \infty$ における一般的な振る舞いを今後の研究課題として特定しており、ここで開発された手法がこれらの探究のための基礎となることを述べている。著者らは、自身の計算による検証（$B(T)=4$ について $k$ を $10^6$ までチェックしたこと）が理論的な分類を支持しているが、それは形式的な証明の一部ではないことを明記している。