[논문 리뷰] A new proof for the Erd\H{o}s-Ko-Rado Theorem for the alternating group

Bahman Ahmadi, Karen Meagher|arXiv (Cornell University)|2013. 02. 28.

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

한 줄 요약

이 논문은 대칭군 $\operatorname{Alt}(n)$에 대한 에르되시-코-라도 정리의 새로운 대수적 증명을 제시한다. 이는 연관 체계에서 클리크-코클리크 경계와 표현 이론을 사용한다. $n \geq 5$일 때, $\operatorname{Alt}(n)$의 임의의 만족하는 부분집합의 크기는 $\frac{(n-1)!}{2}$ 이하이며, 이는 정확히 한 점의 안정자군의 임의의 오른쪽 여부군과 일치할 때에만 등호가 성립한다. 이는 $\operatorname{Alt}(n)$의 엄격한 EKR 성질을 확인한다.

ABSTRACT

A subset $S$ of the alternating group on $n$ points is {\\it intersecting} if for any pair of permutations $\\pi,\\sigma$ in $S$, there is an element $i\\in \\{1,\\dots,n\\}$ such that $\\pi(i)=\\sigma(i)$. We prove that if $S$ is intersecting, then $|S|\\leq \\frac{(n-1)!}{2}$. Also, we prove that if $n \\geq 5$, then the only sets $S$ that meet this bound are the cosets of the stabilizer of a point of $\\{1,\\dots,n\\}$.

연구 동기 및 목표

• 대칭군 $\operatorname{Alt}(n)$에 대한 에르되시-코-라도 정리의 대안적 증명을 제시한다. 이는 표현 이론과 연관 체계를 사용한다.
• 엄격한 EKR 성질을 $\operatorname{Alt}(n)$에 대해 확립하여, 최대 만족하는 집합이 정확히 점 안정자군의 여부군임을 보인다.
• 대칭군 $\operatorname{Sym}(n)$의 엄격한 EKR 성질이 $\operatorname{Alt}(n)$의 엄격한 EKR 성질로부터 유도될 수 있음을 보인다.
• 군 대수의 기저 표현과 프로젝터를 사용하여 $\operatorname{Alt}(n)$의 데르랑주 그래프에 클리크-코클리크 경계를 적용한다.

제안 방법

• 군 $G = \operatorname{Alt}(n)$의 데르랑주 그래프 $\Gamma_G$를 구성한다. 이 그래프의 꼭짓점은 군 원소이며, 서로 다른 치환들이 서로를 데르랑주(고정점이 없는 치환)로 만족하는 경우에 간선이 연결된다.
• 연관 체계에서의 클리크-코클리크 경계를 $\Gamma_G$에 적용한다. 이는 $\operatorname{Alt}(n)$의 기저 표현에 대응하는 기저 프로젝터 $E_\chi$를 사용한다.
• 최대 독립집합 $S$는 $\Gamma_G$에서의 만족하는 집합에 대응하며, 이 집합의 특성 벡터 $v_S$를 기저 표현의 관점에서 분석한다.
• 표준 표현을 사용하여 $v_S$를 구성요소로 분해하고, 랭크와 지지집합 분석을 통해 $v_S$가 점 안정자군의 특성 벡터임을 보인다.
• 이 방법은 $\operatorname{Alt}(n)$의 고정점 집합에 대한 작용으로 유도된 행렬 $M$의 전체 랭크에 의존하며, 이는 $v_S$가 정확히 하나의 1을 가지는 01-벡터임을 시사한다. 이는 $S$가 점 안정자군임을 의미한다.
• 증명은 $\operatorname{Alt}(n)$의 전이성과 2-전이성에 기반하며, 부분군 $H \leq G$에 대해 $\Gamma_H$와 $\Gamma_G$ 사이의 호모모르피즘을 사용하여 관계를 설정한다.

실험 결과

연구 질문

• RQ1 $n \geq 5$일 때, 대칭군 $\operatorname{Alt}(n)$에서 만족하는 부분집합의 최대 크기는 얼마인가?
• RQ2 어느 만족하는 부분집합이 이 최대 크기를 달성하며, 이들은 반드시 점 안정자군의 여부군인가?
• RQ3 $\operatorname{Sym}(n)$의 엄격한 에르되시-코-라도 성질이 $\operatorname{Alt}(n)$의 엄격한 EKR 성질로부터 유도될 수 있는가?
• RQ4 연관 체계에서의 클리크-코클리크 경계를 표현 이론을 사용하여 $\operatorname{Alt}(n)$의 EKR 정리를 증명하는 데 어떻게 적용할 수 있는가?

주요 결과

• $n \geq 5$일 때, $\operatorname{Alt}(n)$의 임의의 만족하는 부분집합의 크기는 $\frac{(n-1)!}{2}$ 이하이며, 이는 점 안정자군의 크기와 같다.
• 이 경계를 달성하는 유일한 만족하는 부분집합은 $\{1,\dots,n\}$에서 한 점의 안정자군의 임의의 오른쪽 여부군이며, 이는 $\operatorname{Alt}(n)$의 엄격한 EKR 성질을 확인한다.
• 데르랑주 그래프 $\Gamma_{\operatorname{Alt}(n)}$의 최대 독립집합의 특성 벡터는 랭크와 지지집합 분석을 통해 점 안정자군의 특성 벡터여야 한다.
• 증명는 $\operatorname{Alt}(n)$의 고정점 집합에 대한 작용으로 유도된 행렬 $M$이 전체 랭크를 가짐을 보이며, 이는 분해된 벡터 $w$가 0이 되도록 강제한다.
• 데르랑주 그래프의 구조와 그 기저 프로젝터 $E_\chi$는 최대 독립집합이 정확히 점 안정자군에 대응하는 집합들뿐임을 보장한다.
• 대칭군 $\operatorname{Sym}(n)$의 엄격한 EKR 성질은 $\operatorname{Alt}(n)$의 엄격한 EKR 성질로부터 $\operatorname{Alt}(n)$과 $\operatorname{Sym}(n)$의 데르랑주 그래프 사이의 호모모르피즘을 사용하여 유도된다.