単位円上に零点を持つ多項式の単調性予想を証明
Baernstein's quasi-norm monotonicity conjecture for polynomials with unimodular zero
この論文をやさしく読む
ひとことで言うと
零点が全て単位円上にある多項式について、大きさの測り方を変えたときの比が一定の向きに増えることを証明した研究です。基準の多項式1＋zⁿとの比を使います。
何に役立つ？
多項式の係数や積の大きさを評価する複数の不等式を、共通の単調性から理解するのに役立ちます。主要結果のLean 4形式化は、証明を形式的に検証するための資料になります。
この研究の面白いところ
一つの準ノルムの比較から、複数の既知の予想や鋭い不等式が系として得られます。幾何平均から上限ノルムまで、端点を含めた範囲を扱っています。
どこまで分かった？
全ての零点が単位円上にある非零多項式が対象です。零点が円の内外にある一般の多項式に同じ結論が成立するとは、要旨では述べられていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
mを単位円T上の正規化ハール測度とする。0 < r < ∞ に対し、‖f‖ᵣ := (∫T |f|ʳ dm)^(1/r) と定義し、‖f‖₀と‖f‖∞は、それぞれ幾何平均と上限ノルムとして解釈する。Qₙ(z) = 1 + zⁿ と置く。全ての零点がT上にある次数nの任意の非零多項式pについて、0 ≤ s ≤ t ≤ ∞ のとき、‖p‖ₛ / ‖Qₙ‖ₛ ≤ ‖p‖ₜ / ‖Qₙ‖ₜ が成立することを証明する。これにより、Baernsteinの準ノルム単調性予想を解決する。 系として、Visserの係数不等式のLʳへの拡張、鋭いO’Hara–Rodriguez不等式とその高べき版、全ての正整数 s₁,…,sN に対するErdős–Szekeresの積の下界 ‖∏(j=1,…,N)(1 − z^(sⱼ))‖∞ ≥ 2√N、およびAgler–McCarthyのエントロピー予想を得る。また、主要な結果についてLean 4による形式化を提供する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-10-01（UTC）
- 最新改訂
- 2026-10-01 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-10-01 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Let $m$ denote the normalized Haar measure on the unit circle $\mathbb{T}$. For $0<r<\infty$, define $\lVert f\rVert_{r}:=\left(\int_{\mathbb{T}}|f|^{r}\,\mathrm{d} m\right)^{1/r}$, with $\lVert f\rVert_{0}$ and $\lVert f\rVert_{\infty}$ interpreted as the geometric mean and the supremum norm, respectively. Set $Q_n(z)=1+z^n$. We prove that, for every nonzero polynomial $p$ of degree $n$ whose zeros all lie on $\mathbb{T}$, $$ \frac{\lVert p\rVert_s}{\lVert Q_n\rVert_s} \le \frac{\lVert p\rVert_t}{\lVert Q_n\rVert_t}, \qquad 0\le s\le t\le\infty. $$ This settles Baernstein's quasi-norm monotonicity conjecture. As corollaries, we obtain an $L^r$ extension of Visser's coefficient inequality, the sharp O'Hara--Rodriguez inequality and its higher-power analogues, the Erdős--Szekeres product bound $ \left\lVert\prod_{j=1}^N(1-z^{s_j})\right\rVert_\infty\ge2\sqrt N $ for all positive integers $s_1,\ldots,s_N$ and Agler--McCarthy's entropy conjecture. We also provide a Lean 4 formalization of the main results.
著者のコメント
23 pages. All comments are welcome!
arXiv ID: 2610.02009 ／ 要約の誤りについて