論文「Legendre 圧縮と Hörmander–Bernhardsson 極値関数に関する整数性予想」の技術的サマリー

1. 概要と背景

本論文は、Bondarenko, Ortega-Cerdà, Radchenko, Seip（以下 BOCRS）によって提唱された、Hörmander–Bernhardsson 極値関数 $\phi$ に付随する 3 項漸化式に関する整数性予想（Conjecture 2）の証明を目的としています。

Hörmander–Bernhardsson 極値関数 $\phi$ は、指数型 $\pi$ 以下の整関数で、$\phi(0)=1$ かつ $L^1(\mathbb{R})$ ノルムが最小となる唯一の関数として定義されます。これは Paley–Wiener 空間 $PW^1$ における $L^1$ 点評価問題の極値解です。BOCRS はこの関数の解析的性質を詳細に研究し、その零点や微分方程式を記述しましたが、その係数に関する 2 つの算術的予想を残しました。本論文は、その第 2 の予想（整数性）を解決し、さらにその結果から得られる $\pi$ や定数 $C$（鋭い点評価定数）、$L_\tau(1)$ に関する非有理性の結果を導出します。

2. 問題設定

BOCRS は、ある微分作用素 $L_{a,b}$ の $\lambda$-固有関数 $f$ に対し、$f(z)f(-z)$ の偶数項テイラー係数 $u_n$ が以下の 3 項漸化式を満たすことを示しました。
$$\begin{aligned} u_{-1} &= 0, \\ u_0 &= 1, \\ u_{n+1} &= \frac{4n+2}{n+1}\big(n(n+1)-\lambda\big)u_n + \frac{4n}{n+1}b^2 u_{n-1} \quad (n \ge 0). \end{aligned}$$
ここで $b^2$ を変数 $x$ に置き換えた普遍版 $\tilde{u}_n(x, \lambda)$ を定義します。
予想 2（BOCRS）: すべての $n \ge 0$ に対して、$\tilde{u}_n(x, \lambda) \in \mathbb{Z}[x, \lambda]$ が成り立つ。
つまり、漸化式の係数に現れる分母がすべて相殺され、多項式係数が整数係数になるという主張です。

3. 手法と証明の核心

従来の整数性現象は、通常、正則特異点を持つ微分方程式（Picard–Fuchs 方程式など）や G-関数、対角化などの幾何学的・代数的構造と関連付けられてきました。しかし、BOCRS の微分方程式は $0$と$\infty$ で不規則特異点を持つため、既存の枠組みでは説明がつかないことが指摘されていました。

著者は、この整数性のメカニズムが「有限次元の Legendre 圧縮（Legendre compression）」にあることを発見し、以下の手順で証明を行いました。

1. 符号反転と正規化:
   変数 $x = -\beta^2$ と置き換えることで、整数性を $\mathbb{Z}[\beta, \lambda]$ における性質に帰着させます。さらに、中心二項係数 $C_n = \binom{2n}{n}$ で割った数列 $v_n = \tilde{u}_n / C_n$ を定義します。

2. Legendre 多項式基底との対応:
   正規化された数列 $v_n$ が、Legendre 多項式 $P_n(t)$ をスケーリングした基底 $Q_n(t) = 2^n P_n(t)$ に対する作用素 $L + \beta t - \lambda$ （ここで $L = -\frac{d}{dt}((1-t^2)\frac{d}{dt})$）の行列式表現（continuant）と一致することを示します。
   具体的には、この作用素を Legendre 基底で表現した行列 $B_n$ の行列式 $D_n$ が、$v_n(-\beta^2, \lambda)$ に等しくなります。

3. モノミアル基底との比較:
   同じ作用素をモノミアル基底 $\{1, t, \dots, t^n\}$ で表現した行列 $M_n$ を考えます。この行列の成分は明らかに $\mathbb{Z}[\beta, \lambda]$ に属します。
   基底変換行列の行列式を比較することで、$\det M_n = -C_n D_n = -\tilde{u}_n(-\beta^2, \lambda)$ という関係式を得ます。

4. 結論:
   $\det M_n$ は整数係数多項式環の元であるため、$\tilde{u}_n(-\beta^2, \lambda) \in \mathbb{Z}[\beta, \lambda]$ が導かれます。これにより、元の予想 $\tilde{u}_n(x, \lambda) \in \mathbb{Z}[x, \lambda]$ が証明されます。

4. 主要な結果

定理 1（普遍整数性）

すべての $n \ge 0$ に対して、$\tilde{u}_n(x, \lambda) \in \mathbb{Z}[x, \lambda]$ が成り立ちます。
これにより、BOCRS の予想 2 が肯定されました。

定理 2（正確な有限圧縮恒等式）

BOCRS による行列 $T_n(a, \lambda)$（有限の三対角行列）の行列式と、漸化式の解 $\tilde{u}_n$ の間に以下の正確な関係が存在します。
$$\tilde{u}_{n+1}(a^2, \lambda) = \binom{2n+2}{n+1} \det T_n(a, \lambda).$$
これは、数値的な近似ではなく、中心二項係数によるスケーリング後に、行列式の列と完全に一致することを意味します。

算術的帰結（非有理性）

定理 1 と指数型関数の性質（コーシーの不等式）を組み合わせることで、以下の「有理スライス定理（Theorem 16）」を導きました。

• 生成関数が多項式でない場合、パラメータ $a^2$ と $\lambda$ が同時に有理数であることはあり得ない。

これを Hörmander–Bernhardsson 極値関数の特定のパラメータ（$a^* = \frac{\pi}{4C}$, $\lambda^* = -\frac{L_\tau(1)}{2C}$）に適用すると、Corollary 18 が得られます。

• 結果: $\left(\frac{\pi}{4C}\right)^2$ と $-\frac{L_\tau(1)}{2C}$ は同時に有理数にはなり得ない。
  • したがって、$C/\pi$ と $L_\tau(1)/C$ の少なくとも一方は無理数です。

係数環の精密化（Corollary 22）

関数 $\phi(z) = \sum c_n z^{2n}$ の係数 $c_n$ について、より強い構造が示されました。

• $c_n \in C^n \mathbb{Z}[\pi^2, C, L_\tau(1)]$
• 特に、$\phi$ のテイラー係数に現れる $\pi$ のべきは偶数のみです（$\pi$ の奇数乗は現れない）。これは、重み付き次数の制限（$2r+s \le n$）から導かれます。

5. 意義と貢献

1. 予想の解決: BOCRS が残した 2 つの算術的予想のうち、第 2 の整数性予想を完全に解決しました（第 1 の予想は著者により以前に解決済み）。
2. 新しい手法の確立: 不規則特異点を持つ微分方程式の整数性問題に対し、Legendre 多項式基底を用いた「有限次元の行列式比較」という全く新しいアプローチを提供しました。これは、従来の Picard–Fuchs 理論や G-関数論とは異なる、代数的・組合せ論的なメカニズムを明らかにしました。
3. 定数の非有理性: 解析定数 $C$（鋭い点評価定数）と零点の和 $L_\tau(1)$ の間の算術的関係について、具体的な非有理性の結果を導出しました。
4. 構造の解明: 極値関数の係数が $\pi$ の奇数乗を含まないという、以前は経験的に観察されていた性質を、厳密に証明しました。

本論文は、関数解析、特殊関数論、数論（整数性・超越性）を横断する深い結果であり、Legendre 多項式の圧縮が持つ驚くべき算術的構造を浮き彫りにした点で画期的です。