論文要約：素数によって生成されたフーリエ曲線に対する厳密な幾何学的障害

論文タイトル: Rigorous Geometric Obstructions for Fourier Curves Generated by Prime Numbers
著者: Dimitris Vartziotis
発行日: 2026 年 2 月 24 日（arXiv:2602.21270v1）

---

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

本論文は、素数の算術的構造を平面曲線として表現する「素数周波数フーリエ級数」の幾何学的挙動を解析的に研究するものです。著者は、数値実験で観測される複雑な幾何学的挙動（フラクタル的な性質や不規則性）が、単なる離散化のアーティファクトや直感的解釈に依存するものではなく、数学的に厳密に正当化されるべきものであるという問いに答えることを目的としています。

具体的には、以下の形式の有限フーリエ級数 $F_n(t)$ によって定義される平面曲線 $\Gamma_n$ の $n \to \infty$ における挙動を分析します。

$$F_n(t) = \sum_{p \le n} v_p(n!) e^{ipt}, \quad t \in [-\pi, \pi]$$

ここで、$p$ は $n$ 以下の素数、$v_p(n!)$ は $n!$ の素因数分解における $p$ の指数（ルジャンドルの公式で定義される）です。

核心的な問い:
「素数周波数を持つフーリエ曲線の観測された幾何的不規則性は、離散化やヒューリスティックな解釈に依存せず、厳密に正当化できるか？」

2. 手法とアプローチ

本論文では、曲線のフラクタル次元を直接計算するのではなく、$n \to \infty$ において「一様な幾何学的正則性（uniform geometric regularity）」が成立しないことを示すための**解析的障害（analytic obstructions）**を確立することに焦点を当てています。

使用された主要な数学的ツールは以下の通りです：

• 調和解析: パセバルの等式（Parseval's identity）を用いた $L^2$ ノルムの評価。
• 初等的な数論: 階乗の素因数分解（ルジャンドルの公式）、素数定理（Prime Number Theorem）、メルテンスの定理（Mertens' theorem）。
• 幾何学的推論: 曲線の長さ、直径、被覆数（covering numbers）の間の関係性の導出。

3. 主要な結果と貢献

著者は、曲線族 $\{\Gamma_n\}$ が $n$ が増大するにつれて、以下の点において一様な正則性を失うことを厳密に証明しました。

3.1. 導関数の発散（正則性の欠如）

• 結果: 曲線 $\Gamma_n$ の第一導関数 $F'_n$ および第二導関数 $F''_n$ の $L^2$ ノルムは $n \to \infty$ で発散します。
• 詳細: 素数定理を用いた評価により、$\|F'_n\|_{L^2}$ と $\|F''_n\|_{L^2}$ が無限大に発散することが示されました。特に、第二導関数の発散速度は第一導関数よりも速いです。
• 帰結: これにより、曲線族の任意の部分列であっても、区間 $[-\pi, \pi]$ 上で一様に有界な $C^1$ 級（滑らか）または $C^{1,1}$ 級（リプシッツ連続な導関数）の導関数を持つことはあり得ません。

3.2. 曲線長の無界化

• 結果: 曲線 $\Gamma_n$ の長さ $L(\Gamma_n)$ は $n \to \infty$ で有界ではなく、発散します。
• 証明の鍵: $L^1$ ノルム（長さ）と $L^2$ ノルム、$L^\infty$ ノルムの関係式（$\|f\|_1 \ge \|f\|_2^2 / \|f\|_\infty$）を利用し、$L^2$ ノルムの発散と $L^\infty$ ノルムの増大速度の比較を行いました。
• 評価: 長さはおおむね $O(n)$ のオーダーで増加することが示されました。

3.3. 直径の成長と被覆数の下限

• 結果: 曲線の直径（diam）は少なくとも $O(n \log \log n)$ のオーダーで成長します。
• 証明の鍵: 曲線上の 2 点 $t=0$ と $t=\pi$ における値の差を評価し、メルテンスの定理（$\sum_{p \le n} \frac{1}{p} \sim \log \log n$）を用いて直径の下限を導出しました。
• 被覆数への影響: 直径の成長に伴い、曲線を辺長 $\varepsilon$ の正方形で覆うために必要な最小正方形の数 $N_n(\varepsilon)$ について、以下の明確な下限が得られます。
  $$N_n(\varepsilon) \ge c \frac{n \log \log n}{\varepsilon}$$
  これは、曲線が非常に複雑で、単純な滑らかな曲線として近似できないことを示唆しています。

4. 結論と学術的意義

本論文は、数値実験で観察された素数フーリエ曲線の「複雑な幾何学的挙動」が、単なる数値的なノイズではなく、数学的に厳密な必然性に基づいていることを示しました。

• 理論的意義: 算術的構造（素数）と幾何学的形状（曲線の滑らかさ）の間の深い関係を明らかにしました。素数の分布の性質（素数定理やメルテンスの定理）が、直接曲線の微分可能性や長さに影響を与えることを示しています。
• 限界の明確化: このモデルが $n \to \infty$ で「一様に滑らかな幾何学的対象」に収束することはないことを証明しました。
• 今後の展望: 著者は、この曲線族の極限としてのフラクタル次元の存在については言及していませんが、幾何学的正則性の欠如という厳密な障害を確立することで、将来のフラクタル次元の解析や、より高度な幾何学的モデルの構築に対する基礎を提供しています。

要約すれば、この研究は「素数によって生成されるフーリエ曲線は、$n$ が大きくなるにつれて、その幾何学的な滑らかさを失い、無限に複雑化・伸長する」という事実を、調和解析と数論の厳密な手法によって証明した画期的な成果です。