実グロタンディーク定数の上界1.7813を計算機で証明
A computer-assisted upper bound of 1.7813 for the real Grothendieck constant
この論文をやさしく読む
ひとことで言うと
実Grothendieck定数の上限を、誤差を管理した計算機援用証明で1.7813へ改善します。
何に役立つ？
解析や最適化に関わる普遍定数の範囲を厳密に絞るための数学的な成果です。
この研究の面白いところ
有限部分の数値包囲と、無限に残る尾部や空間の外側への解析的評価を組み合わせます。再生成できるパラメータとコードも伴うとしています。
どこまで分かった？
示すのは上限であって定数の正確な値ではありません。要旨は計算機援用証明を報告しますが、ここでは添付コードや証明計算を独立に再実行していません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
普遍的な実グロタンディーク定数がK_G^ℝ≤1.7813を満たすことを、計算機の支援を用いて証明する。この構成は、次数11の明示的な奇エルミート閾値と、次数51の符号付き相関多項式を組み合わせる。 十分条件となる逆関数の優関数不等式は、スカラー係数列の先頭から次数301までを包含評価し、残りの裾全体を重み付きガウストレース評価で抑えることによって検証する。有限範囲の積分は、区間を隙間なく分割して上下を評価し、その空間的な外側は解析的に制御する。採用した数値入力をすべて再生成できる正確なパラメータとソースコードを論文に添付する。 今回の上界は、近年の文献にある明示的な上界1.7818666069360661と、その後に報告されたシステム検証済みの値1.7813319810625639の両方を改善する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We give a computer-assisted proof that the universal real Grothendieck constant satisfies $K_G^{\mathbb R}\le 1.7813$. The construction combines an explicit odd Hermite threshold of degree $11$ with a signed correlation polynomial of degree $51$. A sufficient inverse-majorant inequality is certified by enclosing the scalar coefficient head through degree $301$ and bounding the entire remaining tail using a weighted Gaussian trace estimate. The finite integral is bounded on a complete interval partition; its spatial exterior is controlled analytically. Exact parameters and source code that regenerate all accepted numerical inputs accompany the paper. The bound improves both the explicit bound $1.7818666069360661$ in the recent literature and the subsequently reported, system-tested value $1.7813319810625639$.
著者のコメント
9 pages
arXiv ID: 2609.20074 ／ 要約の誤りについて