[논문 리뷰] An approximate isoperimetric inequality for r-sets

Demetres Christofides, David Ellis외 1명|arXiv (Cornell University)|2012. 03. 16.

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$으로 분할한다.
• 두 $n$-섹션이 유사한 크기를 가질 경우, 존슨 그래프의 구조를 활용하여 귀납 가정을 적용한다.
• 두 $n$-섹션이 크기 차이가 클 경우 국소 LYM 부등식을 적용하여 경계 기여를 통제한다.
• 불균형 정도를 측정하는 파라미터 $\delta$를 사용하여 $n$-섹션의 기여를 가중합으로 분석한다.
• $\delta$, $\alpha$, 그래프 매개변수를 포함하는 핵심 부등식을 유도하며, 이는 $|\delta|$에 대한 가정 하에 성립함을 증명하여 귀납 단계를 확보한다.
• asymptotic bound와 타일러 유형 전개를 사용하여 필요한 부등식을 검증하며, 이는 $c = 1/5$에 의존한다.

실험 결과

연구 질문

• RQ1 밀도 $\alpha$를 가진 부분집합 $\mathcal{A} \subset [n]^{(r)}$의 정점 경계 크기의 최소값은 존슨 그래프 $\Gamma_n^{(r)}$에서 얼마인가?
• RQ2 최적 집합이 중첩되어 있지 않은 경우, 표준 압축 기법을 배제할 수 있는 상황에서 $r$-집합에 대해 날카운 근사 등주부등식을 수립할 수 있는가?
• RQ3 특히 $\alpha$가 0과 1에서 멀리 떨어져 있을 경우, 존슨 그래프에서 정점 경계 크기는 $n$, $r$, $\alpha$에 따라 어떻게 척도화되는가?
• 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$ 이chs, $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$에 따라 달라지는 새로운 귀납적 추론에 의존한다.
• 분석 결과, 귀납 단계는 조건 $|\delta| \leq 2c\frac{r}{n}\alpha(1-\alpha)\theta_n^{(r)}$를 만족할 경우 성립하며, 이는 정리의 가정 하에 만족된다.
• 최종 부등식은 $T_1$과 $T_2$의 bound를 사용하여 검증되었으며, $W \geq 1 + \frac{1}{2(n-1)}$임을 보여, 이는 귀납 증명을 완료한다.