The $\Delta$ property: a bridge between split graphs and Number Theory

技術的概要：$\Delta$-性質：分裂グラフと数論の架け橋

問題提起
本論文は、分裂グラフとその実現グラフの理論における特定の構造的問いに取り組む。分裂グラフ $S$ に対して、次数列を保存する局所的な辺の入れ替え（2-スイッチ）の組み合わせ論は、ファクターグラフ $\Phi(S)$ と呼ばれる多重グラフに符号化される。$\Phi(S)$ の頂点は $S$ の独立集合に対応し、辺の重複度は同時に行われる 2-スイッチの数を記録する。

中心的な問題（問題 1.1）は、自然数 $n$ に対して、$\Phi(S)$ がタイプ 0 の $n$-単純三角形を含むような分裂グラフ $S$ が存在するかを問うものである。$n$-単純三角形とは、すべての辺の重複度が $n$ である三角形のことである。「タイプ 0」の三角形とは、関連するフロー構成 $\vec{\Phi}(S)$ における三角形の特定の向きを指し、そこでは辺に沿った次数の増加が一貫した階層を形成する（具体的には $d_c > d_b > d_a$ かつ $d_c - d_a = (d_b - d_a) + (d_c - d_b)$）。

手法
著者らは、そのようなグラフ構造の存在と、整数 $n$ に関する純粋な算術的条件との間の双方向的対応を確立する。

1. グラフから数論へ：著者らは、$\Phi(S)$ における辺の重複度の公式 $\sigma_{uv} = (d_u - \eta_{uv})(d_v - \eta_{uv})$（ここで $\eta_{uv}$ は近傍の共通部分のサイズ）を分析する。$\Phi(S)$ がタイプ 0 の $n$-単純三角形である場合、独立集合内の頂点の次数の差が、$n$ の相補的約数に関する特定の加法的関係を満たさなければならないことを示す。
2. 数論からグラフ理論へ：逆に、算術的条件を満たす数 $n$ が与えられた場合、著者らはサイズ 3 の独立集合を持つ平衡な分裂グラフを構成する。結果として得られるファクターグラフが所望の $n$-単純三角形となるよう、次数と近傍の共通部分を明示的に定義する。
3. 算術的分析：本論文は、条件を満たす整数の集合 $N(\Delta)$ を体系的に研究する。約数の性質、$\Delta$-トリプル（特定の方程式を満たす約数の三つ組 $(x, y, z)$）の上限、および生成多項式を用いて、この集合を特徴づける。

主要な定義と $\Delta$-性質
本論文は、自然数 $n$ に対する$\Delta$-性質を定義する：
$D_n$ を $n$ の正の約数の集合とする。
$D^*_n = \{ |a - b| : a, b \in D_n, ab = n \}$ （相補的約数の差）とする。
$D^+_n = \{ x + y : x, y \in D^*_n \setminus \{0\} \}$ （非ゼロの差の和）とする。
数 $n$ が $\Delta$-性質を持つとは、$D^*_n \cap D^+_n \neq \emptyset$ であることをいう。

この条件は、$1 < x < y \le z < \sqrt{n}$ かつ
$$\frac{n}{x} - x = \left(\frac{n}{y} - y\right) + \left(\frac{n}{z} - z\right)$$
を満たす $n$ の約数の$\Delta$-トリプル $(x, y, z)$ の存在と同等である。

主要な貢献と結果

1. 架け橋定理（定理 1.2）：
   本論文は、$n \in N(\Delta)$ であることと、$\Phi(S)$ がタイプ 0 の $n$-単純三角形であるような既約な分裂グラフ $S$ が存在することとが同値であることを証明する。これにより双方向的な架け橋が確立される：

   • 前方：数論的データ（$\Delta$-トリプル）が特定のグラフ実現を生み出す。
   • 後方：特定の組み合わせ構成（三角形）が、辺の重複度 $n$ に $\Delta$-条件を満たさせる。

2. $\Delta$-トリプルに関する構造的な上限：
   著者らは、$\Delta$-トリプルの最小成分 $x$ を用いた $n$ の最適な上限を導出する。

   • $y=z$ の領域において、$n \le x(2x-1)(3x-2)$。
   • $y<z$ の領域において、$n \le x^2(x+1)^2(x^2+x-1)$。
     これらの上限はtight（厳密）であることが示される。

3. $N(\Delta)$ の数論的構造：

   • $\Delta$-原始数：ある数が $N(\Delta)$ に属し、かつ $\alpha \ge 2$ と $m \in N(\Delta)$ に対して $\alpha^2 m$ と書けない場合、その数を $\Delta$-原始数という。本論文は、$N(\Delta)$ に属するすべての $n$ が、ある平方数と $\Delta$-原始数の積に分解されることを示す。
   • 無限性：集合 $N(\Delta)$ は無限である。著者らは、素数 $p$ に対する立方多項式生成子 $F(p) = p(2p-1)(3p-2)$ を用いて、無限に多くの $\Delta$-原始数が存在することを証明する（定理 3.10）。
   • 一意性：一般には平方数と原始数への分解は一意ではない（例：5616）が、原始部が互いに素である場合は一意である。
   • 生成多項式：本論文は、十分大きな $x$ に対してその値が $N(\Delta)$ に属する無限族の立方多項式 $n(x)$ を構成する。また、「重複」法（$y=z$）を用いて次数 $\ge 4$ のような生成多項式は存在しないことを証明し、$k=3$ の因子を持つ一般の場合（$y<z$）には線形族は存在しないことを示す。

4. 障害と特徴付け：
   本論文は、$\Delta$-性質を満たさない整数の族を特定する：

   • $k$ が奇数である $2k$ の形の数。
   • 素数冪 $p^k$（任意の素数 $p$ に対して）。
   • 2 つの素数の積 $pq$、$p^2q$、$pq^2$、$p^2q^2$。
   • $p \ge k$ である $p^k$。
   • $q > p^x$ である $p^x q^y$。
   • 3 つの異なる素数の積 $pqr$に対する完全な特徴付けが提供される：$pqr \in N(\Delta)$であることと、$p, q, r$ に関する特定のディオファントス条件が満たされることは同値である（定理 5.15）。

5. グラフ理論的な帰結：
   本論文は、算術的な障害をグラフ理論へと翻訳する。$n$ が平方数でなく、かつ $n \notin N(\Delta)$ である場合、ファクターグラフ $\Phi(S)$ 内の任意の $n$-単純誘導サイクルの長さは 4 でなければならない（定理 5.19）。これは、$n$-単純三角形の存在が厳密に $\Delta$-性質によって支配されることを意味する。

意義と主張
本論文は、グラフ理論と数論の間の「双方向的な架け橋」を確立すると主張する。

• 動機：分裂グラフのファクターグラフにおける $n$-単純三角形という特定の対称的な組み合わせ構造の実現可能性問題を、純粋な算術的条件への帰着によって解決する。
• 新規性：$\Delta$-性質を新しい数論的対象として導入し、その原始要素、生成関数、および障害を分析する。
• 限界・未解決問題：本論文は控えめに、無限に多くの $\Delta$-原始平方数が存在するかどうかという問いは未解決であることに言及する（予想 3.11）。これは、生成多項式 $f$ に対する楕円曲線 $y^2 = f(x)$ 上の整数点を通じてアプローチできる可能性が示唆されるが、予想は解決されていない。また、$n$-単純 4-サイクルの特徴付けは、今後の研究のための未開拓の領域として特定されている。

本作業は、分裂グラフにおける 2-スイッチの力学と約数算術の理論的統合を超えた広範な応用を主張するものではなく、実験的手法を提案するものでもない。その主要な貢献は、特定のグラフ理論的構成が存在する整数 $n$ の厳密な分類にある。