[논문 리뷰] Ahlswede-Khachatrian Theorems: Weighted, Infinite, and Hamming

Yuval Filmus|arXiv (Cornell University)|2016. 10. 03.

Limits and Structures in Graph Theory참고 문헌 10인용 수 3

한 줄 요약

이 논문은 원래의 증명을 $μ_p$-측도 프레임워크로 재작성하여 아흐스웨이드–카하트리안 정리가 가중치가 부여된, 무한한, 해밍 설정으로 확장된다. 모든 $p \in (0,1)$에 대해 $t$-교차하는 가족의 최대 $μ_p$-측도를 완전히 특성화하고, 최적의 가족을 규명함으로써 이전 연구에서 최적의 가족을 기술하지 못하거나 $p < 1/2$에만 적용된 빈도를 메운다. 결과적으로 이는 다양한 영역에서 고전적인 극값 조합론을 통합하고 일반화한다.

ABSTRACT

The seminal complete intersection theorem of Ahlswede and Khachatrian gives the maximum cardinality of a $k$-uniform $t$-intersecting family on $n$ points, and describes all optimal families. We extend this theorem to several other settings: the weighted case, the case of infinitely many points, and the Hamming scheme. The weighted Ahlswede-Khachatrian theorem gives the maximal $μ_p$ measure of a $t$-intersecting family on $n$ points, where $μ_p(A) = p^{|A|} (1-p)^{n-|A|}$. As has been observed by Ahlswede and Khachatrian and by Dinur and Safra, this theorem can be derived from the classical one by a simple reduction. However, this reduction fails to identify the optimal families, and only works for $p &lt; 1/2$. We translate the two original proofs of Ahlswede and Khachatrian to the weighted case, thus identifying the optimal families in all cases. We also extend the theorem to the case $p &gt; 1/2$, using a different technique of Ahlswede and Khachatrian (the case $p = 1/2$ is Katona's intersection theorem). We then extend the weighted Ahlswede-Khachatrian theorem to the case of infinitely many points. The Ahlswede-Khachatrian theorem on the Hamming scheme gives the maximum cardinality of a subset of $\mathbb{Z}_m^n$ in which any two elements $x,y$ have $t$ positions $i_1,\ldots,i_t$ such that $x_{i_j} - y_{i_j} \in \{-(s-1),\ldots,s-1\}$. We show that this case corresponds to $μ_p$ with $p = s/m$, extending work of Ahlswede and Khachatrian, who considered the case $s = 1$. We also determine the maximum cardinality families. We obtain similar results for subsets of $[0,1]^n$, though in this case we are not able to identify all maximum cardinality families.

연구 동기 및 목표

• 원래의 방법이 실패한 $p > 1/2$ 경우를 포함하여 $n$ 개의 점에서 최대 $μ_p$-측도를 갖는 $t$-교차 가족의 특성화를 완료한다.
• 이전의 감소에서의 구조적 기술 부족을 해결하기 위해 가중치가 부여된 설정에서 모든 최적의 가족을 규명한다.
• 무한한 점의 경우로 아흐스웨이드–카하트리안 정리를 확장하며, $\{0,1\}^{\aleph_0}$에서 $t$-교차 가족의 $μ_p$-측도의 상한으로서 $w_{\infty}(p,t)$를 정의한다.
• 해밍 체계 $\mathbb{Z}_m^n$으로 정리를 일반화하여 $p = s/m$일 때 $\u03bc_p$와의 대응관계를 보이고, 최대 가족을 규명한다.
• $μ_p$ 설정에서 에르되시–코–라도 정리의 간결하고 통합된 증명을 제공하기 위해 일반화된 원판 논증을 사용한다.

제안 방법

• 아흐스웨이드와 카하트리안(1997)의 두 원본 증명을 가중치가 부여된 $μ_p$-측도 설정으로 재구성하여 최적의 가족에 대한 구조적 정보를 유지한다.
• 랜덤 제약 조건을 통한 리프팅 논증을 사용하여 유한한 설정에서 무한한 설정으로 결과를 이 trasfer하며, $w_{\infty}(p,t) = \sup_n w(n,t,p)$임을 보인다.
• 후프딩의 부등식과 측도 농축을 적용하여 $p$-편향 표본 추출 하에서 가족의 $μ_p$-측도를 바ounds하고, 최적의 가족과 비교할 수 있도록 한다.
• 카타나의 원판 방법을 $μ_p$ 설정으로 확장하여 가중치가 부여된 경우의 에르되시–코–라도 정리에 대한 간결한 증명을 제공한다.
• $μ_p$-측도 프레임워크 내에서 가족 $\mathcal{F}_{t,r} = \{S : |S \cap [t+2r]| \geq t+r\}$를 정의하고 분석하여 $p$에 대한 최적의 임계값을 규명한다.
• 순열 불변성과 최소성 논증을 사용하여, 특히 $p$가 임계 분수 $r/(t+2r-1)$가 아닐 경우 $p$-최적성 하에서 최적의 가족의 유일성을 증명한다.

실험 결과

연구 질문

• RQ1 모든 $p \in (0,1)$에 대해 $n$ 개의 점에서 $t$-교차 가족의 최대 $μ_p$-측도는 무엇이며, $p > 1/2$의 경우도 포함하는가?
• RQ2 어느 가족이 이 최대 측도를 달성하며, 가중치가 부여된 설정에서 어떻게 완전히 특성화할 수 있는가?
• RQ3 무한한 점에서 $t$-교차 가족의 상한 $μ_p$-측도는 무엇이며, 유한한 경우와 어떻게 관련되는가?
• RQ4 아흐스웨이드–카하트리안 정리는 해밍 체계 $\mathbb{Z}_m^n$로 어떻게 확장되며, $p = s/m$일 때 $\u03bc_p$와의 대응관계는 무엇인가?
• RQ5 카타나의 원판 논증은 $μ_p$ 설정으로 일반화될 수 있으며, 이는 에르되시–코–라도 정리의 더 단순한 증명을 이끌 수 있는가?

주요 결과

• 이 논문은 모든 $n$, $t$, $p \in (0,1)$에 대해 $n$ 개의 점에서 $t$-교차 가족의 최대 $μ_p$-측도인 $w(n,t,p)$를 완전히 특성화하여, 이전 연구에서 incomplete한 그림을 해결한다.
• 모든 $n \geq t+2r$에 대해 $p \in \left[\frac{r}{t+2r-1}, \frac{r+1}{t+2r+1}\right]$일 때 최대 측도는 $\mu_p(\mathcal{F}_{t,r})$이며, 이 가족은 최적이다. 최적의 가족이 명시적으로 규명된다.
• $p > 1/2$의 경우, 아흐스웨이드와 카하트리안의 다른 기법을 사용하여 해결되며, 최적의 가족은 여전히 $\mathcal{F}_{t,r}$ 형태를 유지하지만, $r$는 $p$에 따라 선택된다.
• 무한한 경우, $w_{\infty}(t,p) = \sup_n w(n,t,p)$를 얻으며, 이 상한은 극한에서 달성되며, 최적의 가족은 유한한 구성에서 리프팅된다.
• 해밍 체계 $\mathbb{Z}_m^n$에서는 최대 $t$-교차 가족이 $\u03bc_p$와 대응되며, $p = s/m$일 때, 최적의 가족은 다시 $\mathcal{F}_{t,r}$가 되며, $n$에 대한 명시적 범위가 있다.
• $μ_p$ 설정에서 일반화된 원판 논증을 통해 에르되시–코–라도 정리에 대한 짧고 우아한 증명을 제공하며, 딘르 및 프리드구트의 이전 증명보다 단순화된다.