階乗整除ギャップ問題における p 進繰り上がり構造と 合成数生成式 𝑛 = 𝑝 ^2 + 2 𝑝 ( 𝑑 − 1 ) の数論的役割
概要(Abstract)
本論文では、2026 年に完全解決された Erdős 問題 #728(階乗整除ギャップ問題)に関連し、Kummer の定理に基づく -進繰り上がり構造と局所素数分布の関係を解析する。特に、著者が提案する合成数生成式
を補助的モデルとして導入し、整数の局所構造を決定論的に評価する枠組みを構築する。
本生成式は、因数間ギャップが
で完全に決定される二因数積の族を統一的に記述するものであり、素因数指数のスパイク(異常増大)の発生条件を局所的に特徴づける際に有用である。Kummer の繰り上がり理論と組み合わせることで、階乗整除ギャップの発生機構を決定論的に説明するための新たな視点を提供する。
1. 序論
階乗整除条件
におけるギャップ
の大きさは、Erdős によって提起された問題 #728 の中心テーマである。2026 年、Tao らによる形式化された証明により、
のオーダーで無限に存在することが示された。
この解決の核心には、Kummer の定理がある。Kummer は、二項係数の素因数指数が、-進表記における繰り上がり回数に等しいことを示した。
本論文では、Kummer の繰り上がり構造を補助的に解析するための整数モデルとして、著者が提案する合成数生成式
を導入し、局所素数分布の決定論的評価を試みる。
2. 合成数生成式の数学的基礎
定義 2.1(合成数生成式)
素数 と整数 に対し
と定義する。
相補因数を
と置くと、
が成立する。
3. 基本補題と証明
補題 3.1(因数間ギャップの一意性)
素数 を固定すると、式
は 因数間ギャップが のすべての合成数を一意的に表す。
証明
で とする。 因数間ギャップを
と置くと、。 したがって
となる。 ここで と置けば
を得る。
よって主張が成立する。
補題 3.2(生成式の単調性)
を固定すると、 は に関して単調増加である。
証明
より明らか。
補題 3.3(p 進桁構造の線形性)
の -進展開は
であるため、 の変化は -進桁和に線形に影響する。
証明
である。
右辺の第2項は の -進桁和に依存するため、 の変化が直接 -進桁構造を決定する。
4. Kummer の繰り上がり構造との接続
定理 4.1(スパイク発生条件の拘束)
階乗整除条件における素因数指数のスパイクは、
の異常増大として現れる。 このとき、合成数生成式 を用いると、スパイク発生条件は
の評価へと還元される。
証明
Kummer の定理より
である。 階乗整除条件では
がギャップに対応する。
一方、生成式
は因数間ギャップを に固定するため、
の -進桁和がスパイク発生の主要因となる。
したがって、スパイク発生条件は
の評価に帰着する。
5. 局所素数分布に関する主定理
定理 5.1(局所素数分布の決定論的評価)
合成数生成式
により構成される整数列
は、素因数指数のスパイクを抑制するための 決定論的基底列 を提供する。
特に以下が成立する:
因数間ギャップが固定されるため、局所的素数分布の変動が抑制される
-進桁和が によって制御されるため、繰り上がり構造を調整できる
その結果、階乗整除ギャップの構成的生成が可能となる
証明
補題 3.1–3.3 より、生成式は因数間ギャップと -進桁構造を完全に制御する。
Kummer の定理より、階乗整除ギャップは繰り上がり構造に依存する。
したがって、生成式によって構成される整数列は、繰り上がり構造を決定論的に調整する基底列となる。
6. 結論
本論文では、Kummer の繰り上がり構造と局所素数分布の解析において、合成数生成式
が補助的モデルとして有用であることを示した。因数間ギャップをパラメータ によって制御することで、スパイク発生条件を決定論的に特徴づけることが可能となる。
今後は、形式化言語(Lean)を用いて、繰り上がり構造と生成式の関係を厳密に定理化することが課題である。
コメント
コメントを投稿