対数ソボレフ定数から微小体積の等周境界を決定
Sharp Small-Volume Isoperimetry from Log-Sobolev Inequalities
この論文をやさしく読む
ひとことで言うと
とても小さな体積を囲むために必要な境界の大きさを、多数の積空間で考えた研究です。その極限の正確な係数を、対数ソボレフ不等式の最良定数で表しています。
何に役立つ？
幾何学の等周問題と関数不等式の関係を、単なる上下の評価ではなく極限値として把握するために役立ちます。要旨では、大偏差・中偏差の等周漸近式にも同じ議論を適用しています。
この研究の面白いところ
体積aに対してa√(2 ln(1/a))という尺度で正規化すると、極限が√K_LSになるという一致が中心です。近似可能な密度を持つ非滑らかな空間にも対象を広げています。
どこまで分かった？
積の次元に関する極限を取った等周プロファイルについて、さらにaを0へ近づける結果です。CD(0,∞)または所定の密度近似が前提であり、任意の空間や有限体積での等式を述べたものではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
I_inf(a):=lim_(n→∞) I_n(a)=inf_(n≥1) I_n(a)を、CD(0,∞)を満たす重み付きリーマン多様体の積に対する漸近的な等周プロファイルとする。より一般には、CD(0,∞)を満たす密度列で近似できる密度を備えた、滑らかでない部分空間の積も対象とする。次の恒等式を確立する。 lim_(a↓0) I_inf(a) / [a√(2 ln(1/a))] = √K_LS。 ここでK_LSは最適な対数ソボレフ定数である。同じ議論から、等周問題における大偏差および中偏差の漸近式も得られる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20（UTC）
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Let $I_{\inf}(a):=\lim_{n\to\infty}I_{n}(a)=\inf_{n\ge1}I_{n}(a)$ be the asymptotic isoperimetric profile for product of a weighted Riemannian manifold satisfying $\mathrm{CD}(0,\infty)$ and, more broadly, for product of a nonsmooth subspace with density that can be approximated by a sequence of densities satisfying $\mathrm{CD}(0,\infty)$. We establish the following identity: \[ \lim_{a\downarrow0}\frac{I_{\inf}(a)}{a\sqrt{2\ln(1/a)}}=\sqrt{K_{\mathrm{LS}}}, \] where $K_{\mathrm{LS}}$ is the optimal log-Sobolev constant. The same argument also yields the large-deviation and moderate-deviation asymptotics for isoperimetry.
著者のコメント
10 pages
arXiv ID: 2609.23537 ／ 要約の誤りについて