[論文レビュー] Lower Estimates for $L_1$-Distortion of Transportation Cost Spaces

Chris Gartland, Mikhail I. Ostrovskii|arXiv (Cornell University)|Feb 16, 2026

Computational Geometry and Mesh Generation被引用数 0

ひとこと要約

論文は运输コスト空間のL1歪みの最適下界を示し、平面グリッドと幅広いグラフ構成が歪みheta( obreaklog n)を達成することを示す。さらにSobolev型不等式を通じてこの種の下界を得る一般的手法を提供し、ダイヤモンドグラフ系とLaaksoグラフ系に適用している。

ABSTRACT

Quantifying the degree of dissimilarity between two probability distributions on a finite metric space is a fundamental task in Computer Science and Computer Vision. A natural dissimilarity measure based on optimal transport is the Earth Mover's Distance (EMD). A key technique for analyzing this metric, pioneered by Charikar (2002) and Indyk and Thaper (2003), involves constructing low-distortion embeddings of EMD(X) into the Lebesgue space $L_1$. It became a key problem to investigate whether the upper bound of $O(\log n)$ can be improved for important classes of metric spaces known to admit low-distortion embeddings into $L_1$. In the context of Computer Vision, grid graphs, especially planar grids, are among the most fundamental. Indyk posed the related problem of estimating the $L_1$-distortion of the space of uniform distributions on $n$-point subsets of $R^2$. The Progress Report, last updated in August 2011, highlighted two key results: first, the work of Khot and Naor (2006) on Hamming cubes, which showed that the $L_1$-distortion for Hamming cubes meets the described above upper estimate, and second, the result of Naor and Schechtman (2007) for planar grids, which established that the $L_1$-distortion of for a planar $n$ by $n$ grid is $Ω(\sqrt{\log n})$. Our first result is the improvement of the lower bound on the $L_1$-distortion for grids to $Ω(\log n)$, matching the universal upper bound up to multiplicative constants. The key ingredient allowing us to obtain these sharp estimates is a new Sobolev-type inequality for scalar-valued functions on the grid graphs. Our method is also applicable to many recursive families of graphs, such as diamond and Laakso graphs. We obtain the sharp distortion estimates of $\log n$ in these cases as well.

研究の動機と目的

• 有限計量空間上の2つの確率分布の相違度を地球搬送者距離（Wasserstein-1）で定量化する。
• 平面グリッドや再帰的グラフファミリなどの主要な計量空間に対するEMD/TC(X)のL1埋め込みの厳密な下界を決定する。
• 線形埋め込み下で高いL1歪みを生じさせるSobolev型不等式を生み出す一般的枠組み（C1–C2）を開発する。
• エッジ置換とスラッシュ積操作を通じてダイヤモンドおよびLaaksoグラフへ下界を拡張する。

提案手法

• TCの線形写像$c_{1}({ m TC}(X)) = c_{1,{ m lin}}({ m TC}(X))$への還元を用い、線形埋め込みで扱う。
• 埋め込みの下界を導くSobolev型不等式の対（C1）–（C2）を transportation costs 上に導入する（定理2.1）。
• 測度を構築する…

実験結果

リサーチクエスチョン

• RQ1 ${ m TC}(\
• RQ2 ,

主な発見

• ${ m TC}( ext{0,...,n}^{2})$ のL1歪みは$ heta( obreak ext{log } n)$で、普遍的な上界と定数だけを除けば一致する。
• 任意のst-グラフGで三頂点以上を持ち、st-パスでない場合、そのn番目のslash冪のTC歪みはすべての大きなnについて$c_{1}({ m TC}(G^{ o n})) \\ge C^{-1}\log|V(G^{\to n})|$である。
• ダイヤモンドおよびLaaksoグラフへの適用で鋭い$ obreak ext{log} n$歪みを得られる。
• 格子グラフ上の関数に対するSobolev型不等式が新たな下界を生み、特定の埋め込みを超えて独立に興味深い。
• 線形写像への還元は$\