[論文レビュー] Unconditional Density Bounds for Quadratic Norm-Form Energies via Lorentzian Spectral Weights

Peter W Shiller|arXiv (Cornell University)|Feb 27, 2026

Spectral Theory in Mathematical Physics被引用数 0

ひとこと要約

tldr: 論文は二次体のノーム形エネルギー N の無条件のスパクライド negativity を証明し、N>0 の無条件密度界を導出し、有限階甚域共鳴仮説の下で正確な漸近を提供する。ローレンツ型分光ウェイトと Jacobi–Anger 分析を用いる。

ABSTRACT

For a real quadratic field $\mathbb{Q}(\sqrt{d})$, we study the norm-form energy $N = S_ζ^2 - d \cdot S_L^2$, where $S_ζ$ and $S_L$ are Lorentzian-weighted zero sums with $w(ρ) = 2/( frac{1}{4} + γ^2)$. We prove three main results. (1) Spacelike spectral data: $N < 0$ unconditionally for all squarefree $d > 1$, as a consequence of a low-lying zero dominance theorem proved via explicit zero-counting. (2) Effective density bound: at each verified truncation level $M$, $\mathrm{dens}\{N > 0\} \leq 2\|f_{S_L^{(M)}}\|_\infty \cdot (W_1(ζ)/\sqrt{d} + ε_M)$, established unconditionally via Jacobi--Anger resonance analysis. At fixed $M$ the bound is nontrivial only for sufficiently large $d$; the $O(1/\sqrt{d})$ rate requires $M$ to grow with $d$, which in turn requires a uniform density bound that we establish under a computationally verified finite-rank condition on the resonance lattice. (3) Exact asymptotic: under the computationally verified hypothesis that the infinite resonance lattice $Λ_\infty$ has finite rank (verified to have rank $0$ for $M \leq 20$), the sharp asymptotic $\mathrm{dens}\{N > 0\} = C(d)/\sqrt{d} + o(1/\sqrt{d})$ holds. For $d = 5$, $C(5) = 2\,f_{S_L}(0)\cdot\mathbb{E}[|S_ζ|] = 0.1193$; the constant depends on $d$ through the zeros of $L(s,χ_d)$, and $C(d) = O(1/\log d)$ as $d o \infty$. Appendix F tabulates between 1004 and 1044 zeros at 70 decimal places for $L(s,χ_2)$, $L(s,χ_3)$, $L(s,χ_5)$, $L(s,χ_6)$, $L(s,χ_7)$, $L(s,χ_{10})$, $L(s,χ_{11})$, and $L(s,χ_{13})$, all rigorously certified by ARB interval arithmetic.

研究の動機と目的

• 二次 Dirichlet L-function の低次零を強調するスペクトル重み付けを動機づけ、得られるノーム形エネルギー N を研究する。
• 全ての平方自由 d>1 に対して N の無条件の negtivity（スパクライド）を証明し、N>0 の密度界を確立する。
• 有限階共鳴仮説の下で Cesàro（平均）密度界を展開し、正確な漸近公式と結びつける。

提案手法

• 零 ρ=β+iγ に対して w(ρ)=2/(1/4+γ^2) のローレンツウェイトを定義し、重み付き零和 S_ζ と S_L を形成する。
• ノーム形エネルギー N = S_ζ^2 − d·S_L^2 をシグネチャー (1,1) で定義し、ガロア固有空間を介して解釈する。
• 低次零の支配 S_L > S_ζ^* を、明示的な零計数と検証済み零によって証明する。
• Jacobi–Anger 分解と共鳴解析を用いて、固定打ち切りレベル M における無条件の密度界を確立する。
• Grand Simplicity Hypothesis（GSH）の変種の下で Cesàro 分散界と Parseval 等式を提供し、Cesàro 平均を L-Functions に関連づける。
• 無限共鳴格子 Λ_∞ が有限階を持つという仮説の下で正確な密度公式を導く。

実験結果

リサーチクエスチョン

• RQ1 Lorentzian 重み付きのノーム形エネルギー N は RH を仮定せずともすべての平方自由 d>1 に対して N<0（スパクライド）を満たすのか。
• RQ2 正の大きな振幅 N>0 の無条件密度界を得られるか、そしてそれの d に対する漸近率を決定できるか。
• RQ3 どのスペクトル/仮説条件の下で d→∞ に対して dens{N>0} の正確な漸近を得られるか。
• RQ4 素数ごとの符号寄与は N の符号と密度挙動にどのように影響するか。
• RQ5 有限階共鳴仮説は正確な密度公式を得る上でどの程度役割を果たすか。

主な発見

• N<0（スパクライド）は平方自由 d>1 全体に対して無条件に成立する。低次零の支配と明示的な零計数による。
• 無条件の有効密度界：dens{N>0} ≤ 2||f_{S_L^{(M)}}||_∞ · (W_1(ζ)/√d + ε_M) を検証済みの打ち切りレベル M で得る。
• 有限階共鳴仮説を仮定し Λ_∞ の階が有限である場合（M≤20 で観察的に 0）、dens{N>0} = C(d)/√d + o(1/√d) ，C(5)=0.1193 および C(d)=O(1/log d)。
• 第一零域 γ′(d) はすべての基本判別式について γ′(d) < 14.13 に無条件に有界。
• Euler-product/Grand Simplicity の障壁を同定；固定打ち切りで無条件界がそれらを回避し、有限階共鳴から正確な漸近が導かれる。
• 付録 F は複数の L-functions の零を高精度で検証し、数値的骨格を支える。