[논문 리뷰] Stability for vertex isoperimetry in the cube

Peter Keevash, Eoin Long|arXiv (Cornell University)|2018. 07. 25.

Limits and Structures in Graph Theory참고 문헌 14인용 수 5

한 줄 요약

이 논문은 초입방에서 헤이퍼큐브의 하르퍼 정점 이sovolumetric 부등식에 대해 날카로운 안정성 결과를 확립하며, 최소 가능한 것과 가까운 정점 경계를 가진 부분집합은 일반화된 하밍 볼에 구조적으로 가까운 것으로 보여준다. 핵심 기여는 하밍 볼에서의 거리에 따라 정점 경계가 어떻게 증가하는지를 정량화하는 날카로운 국소 안정성 추정이다. 이는 근사적으로 최적의 해를 갖는 집합이 거의 하밍 볼이 되어야 하며, 이 bound는 상수 인자 외에는 거의 최적임을 증명한다.

ABSTRACT

We prove a stability version of Harper's cube vertex isoperimetric inequality, showing that subsets of the cube with vertex boundary close to the minimum possible are close to (generalised) Hamming balls. Furthermore, we obtain a local stability result for ball-like sets that gives a sharp estimate for the vertex boundary in terms of the distance from a ball, and so our stability result is essentially tight (modulo a non-monotonicity phenomenon). We also give similar results for the Kruskal--Katona Theorem and applications to new stability versions of some other results in Extremal Combinatorics.

연구 동기 및 목표

• n차원 하이퍼큐브 $Q_n$에서 헤이퍼의 정점 이sovolumetric 부등식에 대한 안정성 결과를 확립하는 것.
• 정점 경계가 가능한 한 최소에 가까운 집합의 구조적 특성을 규명하여, 이들이 일반화된 하밍 볼에 가까워야 한다는 것을 보여주는 것.
• 하밍 볼에서의 대칭 차이와 관련하여 정점 경계 크기를 날카롭게 추정하는 국소 안정성 결과를 제공하는 것.
• 이러한 결과를 크루스칼–카토나 정리 및 기타 극값 조합론 문제로 확장하는 것.
• 밀도 높은 가족에 대한 안정성 문제에 대한 열린 질문을 다루며, 특히 크기가 $\Omega(2^n)$인 집합에 대해 다루는 것.

제안 방법

• 집합 $[n]$의 부분집합들에 대한 단순체적 순서(colex 순서)를 사용하여 초기 세그먼트 $\mathcal{I}_m$를 정의하며, 이는 정점 경계를 최소화한다.
• 하밍 볼에서의 변형을 모델링하기 위해 집합 $\mathcal{J} = \mathcal{I}_{m-D} \cup (\mathcal{I}_{m+D} \setminus \mathcal{I}_m)$를 분석함으로써 국소 안정성 프레임워크를 적용한다.
• 다양한 층에서 집합 크기를 연결하기 위해 $r$-겹 경계 연산자 $\partial^r$를 이용한 재귀적 그림자 프로세스를 사용한다.
• 로바즈의 로컬 버전인 크루스칼–카토나 정리의 부등식을 적용한다.
• 경계 크기의 비단조화적 행동을 이해하기 위해 타카기 함수를 한계 대상으로 사용한다.
• 쌍중 세고 및 볼록성 추론을 통해 $|\mathcal{B}_i| = \binom{x_i}{i}$를 만족하는 $x_i$에 대한 bound를 유도하며, 집합 크기와 구조 간의 연결 고리를 맺는다.

실험 결과

연구 질문

• RQ1 정점 경계가 가능한 한 최소에 가까운 하이퍼큐브의 부분집합의 구조적 특성은 무엇인가?
• RQ2 하밍 볼에서의 대칭 차이에 따라 정점 경계 크기는 어떻게 변화하는가?
• RQ3 전역 경계가 최소가 아니더라도, 초입방에서 정점 이sovolumetric에 대해 날카로운 국소 안정성 추정을 확립할 수 있는가?
• RQ4 하밍 볼에서의 거리에 따라 경계 크기가 비단조화적으로 행동하는 것은 안정성 추정의 날카로움에 영향을 미치는가?
• RQ5 밀도 높은 가족이 하밍 볼에 가까워지도록 보장하기 위해 필요한 최소한의 이sovolumetric 근사 수준은 무엇인가?

주요 결과

• 크기가 $m = \binom{n}{\geq k}$인 집합에 대해, 만약 정점 경계가 $(1 + \frac{c}{n})\binom{n}{k-1}$ 이하이며 $c = 10^{-3}\delta$이면, 그 집합은 어떤 하밍 볼과 대칭 차이가 $\delta\binom{n-1}{k-1}$ 이내이다.
• 국소 안정성 결과에 따르면, $|\mathcal{A} \triangle \mathcal{H}| = 2D$ 이면 $|\partial_v(\mathcal{A})| \geq |\partial_v(\mathcal{J})|$이며, 여기서 $\mathcal{J} = \mathcal{I}_{m-D} \cup (\mathcal{I}_{m+D} \setminus \mathcal{I}_m)$ 이다. 이는 날카로운 하한을 제공한다.
• 하밍 볼에서의 거리에 따라 정점 경계 크기가 단조롭지 않음을 보여주는 반례가 존재한다. $n=5$, $k=3$일 때, $D=0$에서 $4$까지의 변화에서 $|\partial_v(\mathcal{J})|$는 10, 12, 13, 12, 13으로 진동한다.
• 안정성 결과는 본질적으로 날카롭며, $n=2k-1$인 경우에 대해 구성된 예시를 통해, 투영된 하밍 볼의 경계 크기가 최소값의 $1 + \frac{1}{n}$ 배이지만, 어떤 하밍 볼과도 $\binom{n-1}{k-1}$ 이상 떨어져 있음을 보여준다.
• 이 방법은 크루스칼–카토나 정리로도 확장되며, $k$-번째 층의 가족에 대해, 크기가 $t+1$인 매칭이 없는 경우, $1+O(1/n)$ 경계 조건 하에 안정성 결과를 도출할 수 있다.
• 밀도 높은 경우에 대한 추측을 제시한다: $|\mathcal{A}| \geq \varepsilon 2^n$ 이고 $|\partial_v(\mathcal{A})| \leq (1 + \frac{\delta}{\sqrt{n}}) \operatorname{B}_{\text{lov}}(|\mathcal{A}|)$ 이면, $\mathcal{A}$는 어떤 하밍 볼과 $\varepsilon|\mathcal{A}|$ 이내에 있다. $1/\sqrt{n}$ 의 의존성은 제품 구성에 의해 날카로움을 입증하였다.