[논문 리뷰] A Proof of the Deza-Frankl Conjecture

David Ellis|arXiv (Cornell University)|2008. 07. 19.

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

한 줄 요약

이 논문은 $S_n$ 내의 $t$-교차하는 순열 가족에 대한 정확한 안정성 결과를 확립하여 Deza-Frankl 추측을 증명한다: 충분히 큰 $n$에 대해, $t$-코스에 포함되지 않은 이러한 가족의 크기는 $(1 - 1/e + o(1))(n-t)!$ 이하이며, 등호는 특정 최극가족의 '이중 이동'일 때에만 성립한다. 이 결과는 대칭군 $A_n$으로도 확장된다.

ABSTRACT

A family of permutations (\mathcal{A} \subset S_{n}) is said to be (t)- extit{intersecting} if any two permutations in (\mathcal{A}) agree on at least (t) points, i.e. for any (\sigma, \pi \in \mathcal{A}), (|\{i \in [n]: \sigma(i)=\pi(i)\}| \geq t). It was recently proved by Friedgut, Pilpel and the author that for (n) sufficiently large depending on (t), a (t)-intersecting family (\mathcal{A} \subset S_{n}) has size at most ((n-t)!), with equality only if (\mathcal{A}) is a coset of the stabilizer of (t) points (or `(t)-coset' for short), proving a conjecture of Deza and Frankl. Here, we first obtain a rough stability result for (t)-intersecting families of permutations, namely that for any (t \in \mathbb{N}) and any positive constant (c), if (\mathcal{A} \subset S_{n}) is a (t)-intersecting family of permutations of size at least (c(n-t)!), then there exists a (t)-coset containing all but at most a (O(1/n))-fraction of (\mathcal{A}). We use this to prove an exact stability result: for (n) sufficiently large depending on (t), if (\mathcal{A} \subset S_{n}) is a (t)-intersecting family which is not contained within a (t)-coset, then (\mathcal{A}) is at most as large as the family \mathcal{D} & = & \{\sigma \in S_{n}: \sigma(i)=i \forall i \leq t, \sigma(j)=j extrm{for some} j > t+1\} && \cup \{(1 t+1),(2 t+1),...,(t t+1)\} which has size ((1-1/e+o(1))(n-t)!). Moreover, if (\mathcal{A}) is the same size as (\mathcal{D}) then it must be a `double translate' of (\mathcal{D}), meaning that there exist (\pi, au \in S_{n}) such that (\mathcal{A}=\pi \mathcal{D} au). We also obtain an analogous result for (t)-intersecting families in the alternating group (A_{n}).

연구 동기 및 목표

• Deza-Frankl 추측을 확장하여 $S_n$ 내의 $t$-교차하는 순열 가족에 대한 정확한 안정성 결과를 확립한다.
• $t$-코스에 포함되지 않은 $t$-교차하는 가족의 최대 크기를 규명한다.
• 이러한 최극가족이 반드시 '기본 구조의 이중 이동'이어야 한다는 것을 증명한다.
• 결과를 대칭군 $A_n$ 내의 $t$-교차하는 가족으로 확장한다.
• 큰 $n$에 대해 $t$-코스 구조에서의 이격 정도에 대한 정량적 경계를 제시한다.

제안 방법

• 크기가 적어도 $c(n-t)!$인 $t$-교차하는 가족이 $O(1/n)$ 오차 범위 내에서 주로 $t$-코스에 포함됨을 보이기 위해 근사 안정성 결과를 사용한다.
• 스펙트럼 기법과 조합 기법을 적용하여 $t$-코스 구성 요소를 피하는 순열 가족의 구조를 분석한다.
• 특정 최극가족의 기본 구조로 점근적 안정자 $[t]$와 $t+1$을 포함하는 전치를 합친 가족 $\mathcal{D}$를 구성한다.
• $t$-코스에 포함되지 않은 임의의 $t$-교차하는 가족은 $\mathcal{D}$의 크기 이하일 수 있음을 증명한다. 이 크기는 $(1 - 1/e + o(1))(n-t)!$ 이다.
• 군 작용 불변성을 이용해 '이중 이동'을 정의하고, 크기가 동일할 경우 반드시 이러한 구조를 가져야 한다는 것을 보인다.
• 짝수 순열로 제한하고 해당 안정자 구조를 분석함으로써, 메서드를 대칭군 $A_n$에 적용한다.

실험 결과

연구 질문

• RQ1 크기가 $t$-코스에 포함되지 않은 $S_n$ 내의 $t$-교차하는 순열 가족의 최대 크기는 얼마인가?
• RQ2 이러한 가족이 크기 측면에서 $t$-코스 경계에 얼마나 가까이 있을 수 있는가?
• RQ3 최대 크기를 가지는 $t$-교차하는 가족(즉, $t$-코스를 제외한)이 가져야 할 구조적 형태는 무엇인가?
• RQ4 해당 최극가족의 구조는 군 작용을 고려해 특징지을 수 있는가? 만약 가능하다면 정확한 형태는 무엇인가?
• RQ5 유사한 안정성 및 최극가족의 구조적 결과는 대칭군 $A_n$에서도 성립하는가?

주요 결과

• 적절한 $t$에 대해 충분히 큰 $n$에 대해, $S_n$ 내의 $t$-교차하는 가족이 $t$-코스에 포함되지 않으면 크기가 $(1 - 1/e + o(1))(n-t)!$ 이하임을 보였다.
• 특정 최극가족 $\mathcal{D}$는 $[t]$의 안정자와 $i \leq t$에 대해 $(i, t+1)$ 형태의 전치를 합친 것으로 정의되며, 이 가족이 이 경계를 달성한다.
• 크기가 $\mathcal{D}$와 같은 $t$-교차하는 가족 $\mathcal{A} \subset S_n$이 존재하면, $\mathcal{A}$는 반드시 $\mathcal{D}$의 '이중 이동'이어야 하며, 즉 $\mathcal{A} = \pi \mathcal{D} \tau$ 형태의 $\pi, \tau \in S_n$ 이 존재한다.
• 근사 안정성 결과에 의해, 크기가 적어도 $c(n-t)!$인 $t$-교차하는 가족은 $O(1/n)$ 요소 오차 범위 내에서 $t$-코스에 포함됨을 보였다.
• 동일한 최극가족 경계 및 구조적 특성화 결과는 대칭군 $A_n$ 내의 $t$-교차하는 가족에도 적용된다.
• 결과적으로 이는 Deza-Frankl 추측을 정확한 형태로 확인하였으며, $t$-코스를 초월한 최극가족의 정확한 특성화를 제공한다.