CATALOGUE 087
Mahler予想とシンプレクティック幅
The Mahler conjectures and symplectic width
カタログ087は、対称凸体のMahler不等式とHanner等号分類、一般凸体のSantaló中心での不等式と単体剛性、対称凸体と極体の積のGromov幅を扱う3原稿からなる。以下は固定版の著者の主張とその証明経路への案内であり、3本を順に仮定する依存鎖ではない。
1. 公式順の論文と概説
主結果の範囲を短くまとめています。正確な仮定と定式化は併記した原典の結果を参照してください。
ページ数は参考文献を含みます。狭い画面では表を横にスクロールできます。
| # | 論文・概説 | 主に何を主張するか | 議論の役割・概説 |
|---|---|---|---|
| 01 | The symmetric Mahler conjecture and its equality cases →図中の略称: Symmetric Mahler equality cases2026-09-22 · 26 ページ原論文（GitHub） ↗ | 全ての原点対称凸体で体積積≥$4^n/n!$。等号は線形Hanner体に限る。 Theorem 1.1 · p. 2 ↗ | 正則質量を実単体積分へ変換。等号の欠損消失から共通実行可能ベクトル、metric median、Hanner分類へ。 証明概説を読む → |
| 02 | The Mahler Conjecture for General Convex Bodies →図中の略称: General Mahler conjecture2026-09-22 · 72 ページ原論文（GitHub） ↗ | 全ての凸体でSantaló中心の体積積≥$(n+1)^{n+1}/(n!)^2$。等号は単体に限る。 Theorem 1.1 · p. 1 ↗ | 正双対錐のLaplace積、Gaussian射影の同時正規化、非可換層欠損と厳密な区間評価。 証明概説を読む → |
| 03 | Symplectic Balls in Symmetric Polar Products →図中の略称: Symplectic balls in polar products2026-09-22 · 19 ページ原論文（GitHub） ↗ | $n\ge2$ の対称凸体と極体の積のGromov幅は4。各容量 $0<c<4$の球を埋込み、対称体積下界を導く。 Theorem 1.1 · p. 1 ↗ | 正則零点の球と一様slice評価を合成。有限極体近似で一般の対称体へ移り、支持円柱で上界。 証明概説を読む → |
2. 結論が合流する箇所と、仮定が異なる箇所
図の引用キーは、いずれもOpenAI、September 22, 2026の原稿を表す。[OpenAI26a] The symmetric Mahler conjecture and its equality cases、[OpenAI26b] The Mahler Conjecture for General Convex Bodies、[OpenAI26c] Symplectic Balls in Symmetric Polar Products。原典へのリンクは図の引用から開ける。
対称版は、正則零点の質量評価を実単体積分に変え、欠損体積が消える場合の共通実行可能ベクトルからmetric medianを取り出す。これが下界だけでなく、等号が線形Hanner体に限られるという方向を担う。対称版の主定理と両方向の等号説明へ。
幅論文は、正則零点からの球と一様な水平積分評価を組み合わせ、容量 $c<4$ の球を実次元 $2n$ の $U_K=\operatorname{int}K\times\operatorname{int}K^\circ$ に入れる。体積保存から対称版と同じ $4^n/n!$ の下界が得られるが、Hanner分類は含まない。両原稿はレンズを共有する背景を述べる一方、幅の証明は対称版の体積定理・等号分類を使わない。幅の構成と独立な上界、体積への帰結へ。
[OpenAI26c, Background and prior constructions, p. 2]
一般版は $P(K)=|K|\,|(K-s(K))^\circ|$ を対象とする。正双対錐のLaplace積へ帰着し、Gaussian射影の同時正規化、非可換な層欠損、厳密な固有値区間評価を通して単体剛性まで導く。一般版の定数 $(n+1)^{n+1}/(n!)^2$ は、$n\ge2$ では対称版の $4^n/n!$ より小さい。一般版を対称体に制限するだけでは鋭い対称版やHanner分類は得られない。一般版の下界と単体等号分類へ。
[OpenAI26b, Introduction, comparison with symmetric case, p. 1] [OpenAI26a, §1.1, comparison with general case, p. 3]
3. 主定理の後に分岐する帰結
幾何から関数型への移行は、補助凸体の次元を増やすFradelizi–Meyerの含意を使う。幾何定理を固定した次元だけで使う書換えではない。偶なproper下半連続凸ポテンシャルでは積分積の下界は $4^n$、偶性のない一般ポテンシャルでは $e^n$ となる（いずれも $0<\int e^{-\varphi}<\infty$、双対積分は無限でもよい）。幾何的な等号分類から、関数型の全等号例の分類は自動的には移らない。
[OpenAI26a, Corollaries 1.2–1.3 and proofs, pp. 4–5] [OpenAI26b, §8; Corollaries 1.2 and 8.1, pp. 40–41]
| 出発点 | 帰結と使用条件 | 説明先 |
|---|---|---|
| 対称版の全次元の下界 | 偶関数の積分積 $\ge4^n$。対称な全次元log-concave確率測度では、さらにessential continuityの下でentropy–transportへ | 関数型・輸送 |
| 一般版の全次元の下界 | 一般関数の積分積 $\ge e^n$。全次元log-concave確率測度のessential continuityの下でentropy–transportへ | 関数型・輸送 |
| 幅論文の容量 $c<4$ の球 | $n\ge3$、有限正容量 $R_i$ の厳密な体積・対容量条件から閉球近傍の非交差埋込み | 充填の十分条件 |
最後の行はカタログ343の Symplectic Ball Packings in Higher Dimensions、OpenAI、September 23, 2026（[OpenAI26p]）のTheorem 1.1を使う。利用先は幅論文のCorollary 5.5であり、主幅定理やMahler不等式の証明入力ではない。全ての $R_i$ に対し $\sum_iR_i^n<4^n$、$R_i+R_j<4$ ($i<j$) から一つの $c<4$ を選び、球内充填と幅の埋込みを合成する。この極体との積への十分条件を必要十分条件とは扱わない。
[OpenAI26p, Theorem 1.1, p. 2] [OpenAI26c, Corollary 5.5, p. 17]
4. 原典・版と確認範囲
公式見出しは The Mahler conjectures and symplectic width。公式分野は公式目次の第4分野 Convex and metric geometry（087–101）、overview.pdfの誌面/PDF p.10に従う。CONTENTSの別見出し The Mahler conjectures, functional inequalities and polar-product symplectic width も台帳に保持した。
OpenAI Research Catalog · Catalogue 087, Convex and metric geometry · p. 10
各原稿の版はSeptember 22, 2026、公式固定commitは 1581d4c。日英記事の執筆・内容点検には明示指定した gpt-6-astra を用い、原稿の仮定・結論と選んだ直接入力の使用箇所を照合する。各記事末尾に確認範囲を記した。一般版の有理証明書・補間・尾部評価の全再計算、外部定理の全証明、参考文献の再帰的検証は完了していない。これらを専門家査読や全証明の独立検証とは呼ばない。