計算機によるLandau定数の下限0.51超の証明
A computer-assisted lower bound for Landau's constant
この論文をやさしく読む
ひとことで言うと
二つの解析学の定数について、0.51を超える下限を計算機の厳密な検査で証明する。
何に役立つ？
Bloch定数やLandau定数の既知の境界を改善する理論研究に役立つ。
この研究の面白いところ
近似計算で証明の候補を見つけ、独立した区間演算で1179個の箱を厳密に検査する。
どこまで分かった？
示すのは下限であり、定数そのものの正確な値を決定した結果ではない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
本研究は、局所一価なBloch定数B∞とLandau定数Lの両方について、0.51より大きいという下限を証明する。これはChenとShibaの下限1/2+2×10⁻⁸を改善する。証明では、正規化された局所一価Bloch関数の導関数f′の対数g=log f′へ移り、Bloch条件をRe gに関する片側の線形制約に変換する。正のToeplitzモーメント行列を使って、対数係数の低次項に対する有限次元の外側からの緩和を作る。この緩和に対する線形計画で非負の双対ベクトルが得られれば、下限を証明できる。 浮動小数点による線形計画は、そのような双対ベクトルを発見するためにだけ使う。同じ双対性により、Taylor展開で許す誤差を制御する二階導関数の境界と、被覆を縮める係数の上限も証明する。独立した任意精度の区間演算プログラムが、すべての証明用データを再構成し、正規化された係数の領域を1179個の箱で有限に覆っていることを検査する。証明された最小の半径は0.51003である。数値的な前提はすべて、Arbを使って小数80桁の精度で確認した。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-19（UTC）
- 最新改訂
- 2026-09-19 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-19 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We prove the lower bounds \[ B_\infty>0.51,\qquad L>0.51, \] where $B_\infty$ is the locally univalent Bloch constant and $L$ is Landau's constant, improving the bound $\frac{1}{2}+2\cdot10^{-8}$ of Chen and Shiba. The argument passes to the logarithm $g=\log f'$ of a normalized locally univalent Bloch function, where the Bloch condition becomes a one-sided linear constraint on $\operatorname{Re} g$; positive Toeplitz moment matrices then provide a finite-dimensional outer relaxation for the low logarithmic coefficients, and any non-negative dual vector for a linear program over that relaxation certifies a bound. Floating-point linear programming is used only to discover such dual vectors; the same duality also certifies the second-derivative bounds that control the Taylor allowances and the coefficient caps that contract the cover. An independent arbitrary-precision interval-arithmetic program reconstructs every witness and checks a finite cover of the normalized coefficient body by $1179$ boxes, the smallest certified radius being $0.51003$. All numerical premises were verified with Arb at $80$ decimal digits.
著者のコメント
20 pages
arXiv ID: 2609.23236 ／ 要約の誤りについて