弱い依存を持つ離散分布の等周不等式を曲率から導く
Discrete Isoperimetric Inequalities via Curvature
この論文をやさしく読む
ひとことで言うと
独立な0・1変数で知られる境界と体積の不等式を、変数同士が弱く影響し合う場合にも導く数学研究です。
何に役立つ？
弱い相互作用を持つ離散確率モデルで、関数の変動や境界の大きさを評価する共通の道具になります。
この研究の面白いところ
複数の有名な不等式を曲率と半群の一つの枠組みから導き、ゼロ磁場Isingモデルの一意性領域全体に適用します。
どこまで分かった？
Dobrushin型条件と周辺有界性が必要です。Isingモデルへの適用はゼロ磁場かつ‖J‖₁<1の範囲であり、強い依存全般への結果ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
ブール超立方体上の等周不等式は、ブール関数の解析で基本的な役割を果たす。これらの不等式は主に一様測度と偏りのある積測度について、しばしばフーリエ解析や帰納的な議論を通じて確立されてきた。座標間に弱い依存のある測度に対して等周不等式を確立するため、曲率に基づく半群の枠組みを開発する。 具体的には、Dobrushin型の条件と分布の周辺有界性を合わせると、局所Bobkov不等式、TalagrandのL¹–L²不等式と分散–表面積不等式、Kahn–Kalai–Linial不等式、Eldan–Gross不等式が導かれることを示す。結果は、相互作用行列Jを持つゼロ磁場Isingモデルについて、Dobrushin一意性領域‖J‖₁<1の全域で適用できる。この枠組みは離散Bakry–Émery理論と勾配評価に基づき、Hammingスライスや超格子上の測度にも拡張できる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Isoperimetric inequalities on the Boolean hypercube play a fundamental role in the analysis of Boolean functions. These inequalities have been established primarily for the uniform measure and for biased product measures, often through Fourier-analytic or inductive arguments. We develop a curvature-based semigroup framework to establish isoperimetric inequalities for measures with weakly dependent coordinates. In particular, we show that a Dobrushin-type condition, together with marginal boundedness of the distribution, implies the local Bobkov inequality, Talagrand's $L^1$--$L^2$ and variance--surface-area inequalities, the Kahn--Kalai--Linial inequality, and the Eldan--Gross inequality. Our results apply to zero-field Ising models with interaction matrix $J$ throughout the Dobrushin uniqueness regime $\|J\|_1<1$. The framework builds on discrete Bakry--Émery theory and gradient estimates and can also be extended to measures on Hamming slices or hypergrids.
著者のコメント
62 pages, 1 figure
arXiv ID: 2609.24687 ／ 要約の誤りについて