[論文レビュー] The exact value of $c_1(K_{2,n})$

Hiroaki Mori|arXiv (Cornell University)|Feb 27, 2026

Graph Labeling and Dimension Problems被引用数 0

ひとこと要約

The paper determines the exact distortion required to embed shortest-path metrics of the complete bipartite graphs $K_{2,n}$ into $\ell_1$, giving $c_1(K_{2,n})=\frac{3\lceil n/2\rceil-2}{2\lceil n/2\rceil-1}$ for all positive integers $n$.

ABSTRACT

For a graph $G$, let $c_1(G)$ be the largest distortion necessary to embed any shortest-path metric on $G$ into $\ell_1$, and for any natural number $n,m\in\mathbb{N}$, denote $K_{n,m}$ as the complete bipartite graph. In this note, we caculate the value of $c_1(K_{2,n})$, more precisely we prove $c_1(K_{2,n})=\frac{3k-2}{2k-1}$ where $k=\lceil\frac{n}{2} ceil$.

研究の動機と目的

• バイパーティトグラフの最短経路距離の埋め込みを $\ell_1$ にする研究を動機づけ、$c_1(G)$ を介して流-切断ギャップを定量化する。
• すべての正の整数 $n$ について $c_1(K_{2,n})$ の正確な値を決定する。
• 既存の結果を拡張し、漸近的挙動 $\lim_{n\to\infty} c_1(K_{2,n})=3/2$ を示し、特定の小さな $n$ の値を特定する。
• 超幾何不等式と構造化グラフ構成を活用して厳密な下界と上界を提供する。

提案手法

• ハイパーメトリック不等式を用いて下界を導出する：$K_{2,2k+1}$ を歪み $D$ で埋め込むと $D\ge\frac{3k+1}{2k+1}$ となる。
• 辺を細分化して $2k$ 個の内部的に互いに互いに素な $2\ell$-長経路を二方の頂点間に得ることで二部グラフ $K_{2,2k}^{\ell}$ を構築する。
• 二つのランダムカット法を組み合わせて $K_{2,2k}^{\ell}$ に対する歪み $\frac{3k-2}{2k-1}$ の $\ell_1$ 埋め込みを作成し、対となる頂点の組ごとに歪み界が達成されることを個別に検証する。
• コンパクト性の議論を適用して上界分析を細分化されたグラフへ還元し、カット測度を介した明示的な埋め込みを可能にする。
• 得られた埋め込みの歪みが下界と一致することを示し、従って $c_1(K_{2,2k})\le\frac{3k-2}{2k-1}$。
• 結論として $k=\lceil n/2\rceil$ を用いて $K_{2,n}$ へ結果を翻訳し、すべての $n$ に適用する。

実験結果

リサーチクエスチョン

• RQ1 すべての正の整数 $n$ に対する歪み定数 $c_1(K_{2,n})$ の正確な値はいくつか。
• RQ2 超幾何不等式は $K_{2,n}$ を $\ell_1$ へ埋め込む制約をどのように課すか。
• RQ3 分割された二部グラフに対して明示的なランダムカット構成で歪み上界を達成できるか。
• RQ4 $n$ が大きくなるときの $c_1(K_{2,n})$ の漸近挙動はどうなるか。
• RQ5 小さな $n$ の値（例：$n=1,2,3$）は一般式にどのように適合するか。

主な発見

• 正確な値は $c_1(K_{2,n})=\frac{3\lceil n/2\rceil-2}{2\lceil n/2\rceil-1}$ で、全正の $n$ に対して下界と上界が一致することにより証明される。
• 奇数 $n=2k+1$ に対して下界は $c_1(K_{2,2k+1})\ge\frac{3k+1}{2k+1}$ と確立されている。
• 偶数 $n$ に対して分割されたグラフ $K_{2,2k}^{\ell}$ と二つのランダムカット法を用いて歪み \frac{3\lceil n/2\rceil-2}{2\lceil n/2\rceil-1} の明示的な埋め込みを構築。
• したがって本論文は、無限ファミリのグラフに対して初めて正確な $c_1(G)$ の値を示した（自明な $c_1(G)=1$ のケースを除く）。
• この結論は prior work を強化し、漸近で $\lim_{n\to\infty} c_1(K_{2,n})=3/2$ を示し、有限 $n$ の挙動を明確にする。
• 正確な値は下限・上限の両方の分析と一致する。