正の代数的整数のトレース比に新しい下界
A new lower bound for the Schur-Siegel-Smyth trace problem
この論文をやさしく読む
ひとことで言うと
正の代数的整数のトレースと次数の比に、以前より強い下界を証明した数学の研究です。
何に役立つ？
シュール＝ジーゲル＝スミスのトレース問題で、極限値の取り得る範囲を絞る理論的な結果です。
この研究の面白いところ
明示した確率測度と18個の多項式から作る不等式を無限区間全体で検証し、元データの誤りが証明書を無効化しない形にしています。
どこまで分かった？
示したのは下界1.80220で、極限値の厳密な値を決定したわけではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
本研究は、全ての共役数が正である代数的整数について、トレースを次数で割った値の最小極限値λSSSが1.80220以上であると証明する。これはOrloski、Talebizadeh Sardari、Smithによる下界1.80203を改善する。証明では、区間[0,8]上の明示的な確率測度と18個の整数係数多項式を示し、それらが満たす双対不等式を、区間の二分割によって[0,∞)全体で検証する。この証明書は、構成に使ったデータについて何も仮定しない。そのデータに誤りがあっても、下界が弱くなるだけで、証明書そのものが無効になることはない。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-24（UTC）
- 最新改訂
- 2026-09-24 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-24 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We prove that lambda_SSS >= 1.80220 for the smallest limiting trace-to-degree ratio of totally positive algebraic integers, improving the bound 1.80203 obtained by Orloski, Talebizadeh Sardari and Smith. The proof exhibits an explicit probability measure on [0,8] together with eighteen integer polynomials, and verifies their dual inequality on the whole of [0,infinity) by interval bisection. The certificate assumes nothing about the data it is built from: an error in that data can only weaken the bound, never invalidate it.
著者のコメント
5 pages. Ancillary files: the certificate (JSON) and two independent verification programs (Python, numpy and mpmath only)
arXiv ID: 2609.29298 ／ 要約の誤りについて