The diagonalization method and Brocard's problem

この論文では、関数の対角化法を導入・発展させ、その手法を用いて任意の固定された自然数 $k, r$ に対して方程式 $\Gamma_r(n)+k=m^2$ が $n>r$ なる自然数解 $n$ を有限個しか持たないことを示しています。

要約

🧐 いったい何の問題なのか？（ブロカールの問題とは）

まず、元々の問題（ブロカールの問題）から説明しましょう。
「ある数を 1 からその数まで全部掛け合わせた『階乗（n!）』に、1 を足すと、ちょうど『完全平方数（1, 4, 9, 16...）』になる数はあるか？」という問いです。

• 例：$4! + 1 = 24 + 1 = 25 = 5^2$ （これは OK！）
• 例：$5! + 1 = 120 + 1 = 121 = 11^2$ （これも OK！）

しかし、これ以上見つかるかどうかは、何百年も謎のままです。コンピュータで huge な数まで調べても、これ以上の解は見つかっていません。「たぶん、これ以上ない（有限個）だろう」と言われていますが、証明されていません。

🛠️ この論文の新しいアプローチ：「切り詰められたガンマ関数」

著者のテオフィラス・アガマさんは、この難問を少し変えてみました。
「全部掛ける（階乗）」ではなく、**「後ろからいくつかを切り捨てて掛ける」**というルールに変えてみました。

• 通常の階乗：$n \times (n-1) \times \dots \times 2 \times 1$
• この論文のルール（$\Gamma_r(n)$）：$n \times (n-1) \times \dots \times (n-r)$
  • 例：$r=2$ の場合、$n \times (n-1) \times (n-2)$ までしか掛けない。

この「切り詰められた掛け算」に $k$ を足して、平方数になる数は有限個しかないのか？という問題を扱っています。

🔍 核心となる手法：「対角化（ダイアゴナライゼーション）」

ここで登場するのが、この論文の最大の特徴である**「対角化」**という手法です。

🏃‍♂️ 比喩：「平方数というゴールライン」

想像してください。

• ランナー：数 $n$ が走っています。
• ゴールライン：「平方数（1, 4, 9...）」というゴールラインが横に並んでいます。
• ルール：ランナーが「自分の位置（$n$）に、切り詰められた掛け算（$\Gamma_r(n)$）を足した値」が、ちょうどゴールラインに止まれば、そのランナーは**「合格（解）」**です。

この論文では、**「合格したランナー（解）が、無限に走り続けることができるか？」**を調べるために、新しい計測器を作りました。それが「対角化」です。

📊 計測器の仕組み：「痕跡（トレース）」と「バランス」

著者は、合格したランナーたちがどこにいて、どれくらい速く走っているかを統計的に分析します。

1. 痕跡（トレース）の追跡：
   合格したランナーたちの「足跡（値の合計）」を積分（連続的な足し算）で追跡します。
2. コシー・シュワルツの不等式（バランスの法則）：
   ここがミソです。ランナーの「急な加速（関数の変化率）」と「全体の距離（積分値）」を天秤にかけます。
   • もしランナーが急激に加速しすぎている（関数が急激に増えすぎている）と、ゴールラインに止まるチャンスは一瞬で消えてしまう、という理屈です。

🎯 結論：なぜ「有限個」なのか？

この論文の結論はシンプルです。

「切り詰められた掛け算（$\Gamma_r(n)$）」は、数が大きくなるにつれて爆発的に増えます（$n$ の何乗かというくらい速く）。
この「爆発的な増え方」が、先ほどの「バランスの法則」に引っかかります。

• イメージ：
  ゴールライン（平方数）は一定の間隔で並んでいますが、ランナー（$\Gamma_r(n)$）はあまりにも速すぎて、ゴールラインにぴったり止まる瞬間が、ある一定の地点を過ぎれば二度と訪れなくなる、という状態になります。

著者は、この「急激な増え方」と「平方数との関係」を、新しい「対角化」という数学的なメスで切り分け、**「ある特定の $r$ と $k$ が決まれば、解（合格ランナー）の数は必ず有限個である」**と証明しました。

🌟 この研究のすごいところ

1. 仮説を使わない：
   従来のブロカールの問題の解明には、「$abc$ 予想」というまだ証明されていない仮説を使う必要がありました。しかし、この論文は**「仮説なし（無条件）」**で証明に成功しています。
2. 新しい道具：
   「対角化」という、関数の増え方と平方数の関係を直接比較する新しい「道具箱」を開発しました。これは、階乗だけでなく、他の似たような問題にも使える汎用的なツールです。

まとめ

この論文は、「巨大な数を掛け合わせて平方数にする」というゲームにおいて、ルールを少し変える（切り詰める）ことで、ゲームがいつか終わる（解が有限になる）ことを、新しい『対角化』という計測器を使って証明したというものです。

まるで、走者があまりにも速すぎて、ゴールラインに止まることが不可能になる瞬間を、数学的に正確に捉えたようなものです。

技術概要

論文要約：対角化法によるブロカルド問題の変種に関する研究

論文タイトル: ON A VARIANT OF BROCARD'S PROBLEM VIA THE DIAGONALIZATION METHOD（対角化法によるブロカルド問題の変種について）
著者: Theophilus Agama
日付: 2026 年 3 月 10 日（arXiv 投稿日）

1. 研究の背景と問題設定

ブロカルド問題（Brocard's Problem）

古典的なブロカルド問題は、ディオファントス方程式
$$n! + 1 = m^2$$
の整数解 $(n, m)$ を求める問題である。既知の解は $n = 4, 5, 7$ のみであり、大規模な計算探索でも追加の解は見つかっていない。この問題の解の有限性は、$abc$ 予想などの未解決予想に依存する条件付き結果として知られているが、無条件の証明は長年の課題であった。

本研究の目的

本論文は、階乗 $n!$ を「切断された積（truncated product）」に置き換えた変種の問題を扱う。具体的には、$r$ 次切断ガンマ関数 $\Gamma_r(n)$ を定義し、以下の方程式の解の有限性を示すことを目的としている。
$$\Gamma_r(n) + k = m^2$$
ここで、$k, r$ は固定された自然数であり、$\Gamma_r(n)$ は以下のように定義される。
$$\Gamma_r(n) := \begin{cases} n(n-1)\cdots(n-r) & (n > r) \\ 0 & (n \le r) \end{cases}$$
本研究の核心は、$abc$ 予想などの未解決予想に依存せず、**「対角化法（diagonalization method）」**と呼ばれる新しい解析的手法を用いて、この問題の解が有限であることを無条件に証明することにある。

2. 手法：対角化法（The Diagonalization Method）

著者は、整数値関数 $f: \mathbb{N} \to \mathbb{R}$ に対して「対角化」の概念を導入し、統計的・解析的な枠組みを構築した。

2.1 基本的な定義

• $k$-ステップ対角（$k$-step diagonal）: 関数 $f$ に対して、$f(n) + k$ が完全平方数となるような $n$ の集合 $D_k(f)$ を定義する。
• 対角のトレース（Trace of the diagonal）: $s$ までの部分和 $T_f(s, k) = \sum_{n \le s, n \in D_k(f)} f(n)$ を定義する。
• ストieltjes 積分による表現: 連続微分可能な関数 $f$ に対して、このトレースをストieltjes 積分を用いて表現し、離散的な数え上げ問題と連続的な積分評価を結びつける。
  $$T_f(s, k) = f(s)|D_k(f, s)| - \int_1^s f'(t)|D_k(f, t)| dt$$

2.2 対角不等式（Diagonal Inequality）

本手法の核心となる定理（Theorem 2.3）は、コーシー・シュワルツの不等式を適用して導出される。
関数 $f$ の導関数 $f'$ の $L^2$ ノルムと、関数 $f$ 自体の平均値を用いて、対角集合のサイズ $|D_k(f, s)|$ に関する上界を評価する不等式を導出する。
具体的には、以下の条件が満たされれば、解の数が有限であることが示唆される。
$$\lim_{s \to \infty} \left( \frac{1}{f(s)} \sum_{n \le s} f(n) \right) \left( 1 - \frac{1}{f(s)} \sqrt{\int_1^s |f'(t)|^2 dt} \right)^{-1} < \infty$$

3. 主要な結果

主定理（Theorem 4.1: Variational Brocard）

固定された $k, r \in \mathbb{N}$ に対して、方程式
$$\Gamma_r(n) + k = m^2$$
を満たす $n > r$ の整数解 $(n, m)$ は有限個である。

証明の概要

1. 関数の成長率の評価: 切断ガンマ関数 $\Gamma_r(n)$ は $n^{r+1}$ のオーダーで成長する（$\Gamma_r(n) \asymp n^{r+1}$）。
2. 導関数の評価: $\Gamma_r(t)$ の導関数の $L^2$ ノルムを評価し、$\int_1^s |\Gamma_r'(t)|^2 dt \asymp s^{2r+1}$ となることを示す。
3. 対角不等式の適用: 上記の評価を主定理の条件に代入する。
   • $\frac{1}{\Gamma_r(s)} \sum_{n \le s} \Gamma_r(n)$ の極限が有限であること。
   • $\frac{1}{\Gamma_r(s)} \sqrt{\int_1^s |\Gamma_r'(t)|^2 dt}$ の項が適切に制御されること。
     これらを満たすことを確認し、対角集合 $D_k(\Gamma_r)$ のサイズが有界であることを示す。
4. 結論: 解の集合 $D_k(\Gamma_r)$ が有限集合であることが導かれる。

4. 論文の貢献と意義

理論的貢献

• 新しい手法の確立: ブロカルド型問題に対して、代数的・数論的な枠組み（高度理論や予想）に依存せず、変分解析的アプローチ（対角化法）を用いる新しい手法を提案した。
• 無条件の証明: 従来のブロカルド問題の研究が $abc$ 予想などの未解決予想に依存していたのに対し、本論文の結果は**無条件（unconditional）**で成立する。
• 一般化可能性: この手法は、多項式的に成長する他の算術関数にも適用可能であり、ブロカルド型方程式の新たな研究ツールとして機能する。

限界と将来の展望

• 本研究は切断ガンマ関数 $\Gamma_r(n)$ に対して有効であるが、完全な階乗 $n!$（すなわち $r \to \infty$ の極限）に対する直接の証明には至っていない。
• しかし、この「対角化法」の枠組み自体は、$n! + 1 = m^2$ という元のブロカルド問題に対しても適用可能な可能性を示唆しており、今後の研究の方向性を提示している。

5. まとめ

Theophilus Agama による本論文は、ブロカルド問題の変種である「切断ガンマ関数を用いたディオファントス方程式」に対して、独自の「対角化法」を適用し、その解の有限性を無条件に証明した画期的な研究である。この手法は、離散的な数え上げ問題を連続的な積分不等式に変換する強力な枠組みを提供し、ディオファントス方程式の研究における新しいパラダイムとなり得る。