[論文レビュー] An approximate isoperimetric inequality for r-sets

Demetres Christofides, David Ellis+1 more|arXiv (Cornell University)|Mar 16, 2012

Point processes and geometric inequalities参考文献 15被引用数 5

ひとこと要約

本稿は、$r$-集合が対称差が2である場合に隣接するという定義のジョンソングラフ $\Gamma_n^{(r)}$ に対して、近似頂点等周不等式を確立する。帰納法と局所的LYM型不等式を用いて、密度 $\alpha$ の任意の部分集合 $\mathcal{A} \subset [n]^{(r)}$ について、頂点境界の大きさが $c\sqrt{\frac{n}{r(n-r)}}\alpha(1-\alpha)\binom{n}{r}$ 以上であることを証明する。ここで $c = 1/5$ であり、これは $\alpha$ が 0 および 1 から離れている場合に定数倍の意味で最適である。

ABSTRACT

We prove a vertex-isoperimetric inequality for [n]^(r), the set of all r-element subsets of {1,2,...,n}, where x,y \in [n]^(r) are adjacent if |x Δy|=2. Namely, if \mathcal{A} \subset [n]^(r) with |\mathcal{A}|=α{n \choose r}, then the vertex-boundary b(\mathcal{A}) satisfies |b(\mathcal{A})| \geq c\sqrt{\frac{n}{r(n-r)}} α(1-α) {n \choose r}, where c is a positive absolute constant. For αbounded away from 0 and 1, this is sharp up to a constant factor (independent of n and r).

研究の動機と目的

• ジョンソングラフ $\Gamma_n^{(r)}$ に対して、頂点等周不等式の近似版を確立すること。ここで隣接関係は対称差の大きさが2である場合に定義される。
• ネストされていない極値集合をもつため、圧縮に基づく証明が困難であるボルボーシャスとリーダーの元々の予想の困難さに対処すること。
• すべての $n$ および $r$ に対して、サイズ $\alpha\binom{n}{r}$ の $r$-集合の部分集合に対して、頂点境界の大きさの定量的下界を提供すること。
• バランスの取れたカット構成を用いて、$\alpha$ が 0 および 1 から離れている場合に、この下界が定数倍の意味で最適であることを示すこと。

提案手法

• $n$ に関する帰納法を用い、$\mathcal{A} \subset [n]^{(r)}$ をその下位および上位 $n$-断片 $\mathcal{A}_0$ および $\mathcal{A}_1$ に分割する。
• 下位および上位断片のサイズが同程度である場合には、ジョンソングラフの構造を活用して帰納仮説を適用する。
• 下位および上位断片のサイズに顕著な差がある場合には、局所的LYM不等式を用いて境界寄与を制御する。
• パラメータ $\delta$ を用いて、$n$-断片からの寄与の重み付き和として境界の大きさを分析する。
• 不等式 $\delta$、$\alpha$、およびグラフのパラメータを含む重要な不等式を導出し、$|\delta|$ に対する仮定の下で成り立つことを証明する。これにより帰納ステップが保証される。
• asymptotic 界およびテイラー型展開を用いて必要な不等式を検証し、$c = 1/5$ に依存する。

実験結果

リサーチクエスチョン

• RQ1 ジョンソングラフ $\Gamma_n^{(r)}$ における密度 $\alpha$ の部分集合 $\mathcal{A} \subset [n]^{(r)}$ の最小頂点境界の大きさは何か？
• RQ2 極値集合がネストされていない場合、標準的な圧縮手法が使えない状況において、$r$-集合に対して鋭い近似等周不等式を確立できるか？
• RQ3 ジョンソングラフにおいて、$n$、$r$、および $\alpha$ に対して頂点境界の大きさはどのようにスケーリングされるか。特に $\alpha$ が 0 および 1 から離れている場合に注目する。
• RQ4 提案された下界 $c\sqrt{\frac{n}{r(n-r)}}\alpha(1-\alpha)\binom{n}{r}$ は定数倍の意味で最適か？

主な発見

• 任意のサイズ $\alpha\binom{n}{r}$ の部分集合 $\mathcal{A} \subset [n]^{(r)}$ に対して、$|b(\mathcal{A})| \geq c\sqrt{\frac{n}{r(n-r)}}\alpha(1-\alpha)\binom{n}{r}$ が成り立ち、ここで $c = 1/5$ である。
• $\alpha$ が 0 および 1 から離れている場合に、この下界は定数倍の意味で最適である。これは $n$ が偶数で $r$ が奇数の場合のバランスの取れたカット構成によって示される。
• 構成 $\mathcal{A} = \{x \in [n]^{(r)} : |x \cap \{1,\dots,n/2\}| > r/2\}$ は、$|\mathcal{A}| = \frac{1}{2}\binom{n}{r}$ および $|b(\mathcal{A})| = \frac{{n/2 \choose (r-1)/2}{n/2 \choose (r+1)/2}}{{n \choose r}}\binom{n}{r}$ を達成し、これは下界の漸近的順序と一致する。
• 証明は、$\mathcal{A}$ の $n$-断片間の不均衡 $\delta$ に依存する、帰納仮説と局所的LYM不等式を組み合わせた新しい帰納的議論に依存する。
• 解析により、帰納ステップが $|\delta| \leq 2c\frac{r}{n}\alpha(1-\alpha)\theta_n^{(r)}$ の条件下で成立することが示され、これは定理の仮定のもとで満たされる。
• 最終的な不等式は $T_1$ および $T_2$ の界を用いて検証され、$W \geq 1 + \frac{1}{2(n-1)}$ が示され、これにより帰納的証明が完了する。