[논문 리뷰] The Erdős-Ko-Rado property for some permutation groups

Bahman Ahmadi, Karen Meagher|arXiv (Cornell University)|2013. 11. 27.

Finite Group Theory Research참고 문헌 3인용 수 11

한 줄 요약

이 논문은 순열군에서의 에르되시-코-라도(Erdős-Ko-Rado, EKR) 성질을 조사하며, 순환군이 엄격한 EKR 성질을 가지며, 이면군 및 프로베누스 군이 EKR 성질을 가지며(엄격한 변형에 대한 특성 기술 포함), 직접곱과 와이어드 곱의 EKR 성질이 유전됨을 밝혀낸다. 주요 기여는 몇몇 군 가닥에서 EKR 및 엄격한 EKR 성질을 가진 순열군의 포괄적인 분류이다.

ABSTRACT

A subset in a group $G \leq Sym(n)$ is intersecting if for any pair of permutations $π,σ$ in the subset there is an $i \in \{1,2,\dots,n\}$ such that $π(i) = σ(i)$. If the stabilizer of a point is the largest intersecting set in a group, we say that the group has the Erdős-Ko-Rado (EKR) property. Moreover, the group has the strict EKR property if every intersecting set of maximum size in the group is either the stabilizer of a point or the coset of the stabilizer of a point. In this paper we look at several families of permutation groups and determine if the groups have either the EKR property or the strict EKR property. First, we prove that all cyclic groups have the strict EKR property. Next we show that all dihedral and Frobenius groups have the EKR property and we characterize which ones have the strict EKR property. Further, we show that if all the groups in an external direct sum or an internal direct sum have the EKR (or strict EKR) property, then the product does as well. Finally, we show that the wreath product of two groups with EKR property also has the EKR property.

연구 동기 및 목표

• 점 안정자에서 최대의 교차 집합이 되는 순열군이 에르되시-코-라도(Erdős-Ko-Rado, EKR) 성질을 만족하는지 결정하는 것.
• 최대 교차 집합 크기를 도달하는 것이 오직 점 안정자의 오비트뿐인 더 강력한 엄격한 EKR 성질을 만족하는 군을 특성화하는 것.
• 직접곱(외부 및 내부)과 와이어드 곱과 같은 군 구조로 EKR 성질을 확장하는 것.
• 특히 $t$-교차 집합과 반례를 통해 EKR 성질을 가지지 않는 군 가닥을 식별하는 것.

제안 방법

• 군 $G \leq \operatorname{Sym}(n)$ 에 대해 유도자 그래프 $\Gamma_G$ 를 정의하며, 정점은 군 원소이고, 두 원소가 곱한 결과가 유도자인 경우 간선으로 연결된다.
• 그래프 이론적 방법을 사용: EKR 성질은 $\Gamma_G$ 의 최대 독립집합 크기가 가장 큰 점 안정자 크기와 일치할 경우 성립한다.
• 군 이론적 구성 방법을 적용: 직접곱 또는 와이어드 곱의 각 성분이 EKR 성질을 가진다면, 그 곱 역시 EKR 성질을 가짐을 증명한다.
• $t$-교차 집합(고정점 최소 $t$개를 공유하는 순열)의 개념을 사용하여, EKR 성질이 실패하는 반례를 구성한다.
• 안정자 및 안정자의 오비트를 분석하여, 그것들이 최대 독립집합의 유일한 형태인지 여부를 판단함으로써 엄격한 EKR 조건을 테스트한다.
• 대칭군 및 교환군에 대한 기존 결과를 활용하여, 새로운 군 가닥에 대한 귀납적 및 비교적 추론을 수립한다.

실험 결과

연구 질문

• RQ1 모든 순환군이 엄격한 EKR 성질을 만족하는가? 만약 그렇다면, 그들의 교차 집합이 점 안정자의 오비트와 정확히 일치하는 이유는 무엇인가?
• RQ2 어느 이면군 및 프로베누스 군이 EKR 성질을 만족하며, 어떤 조건에서 엄격한 EKR 성질을 만족하는가?
• RQ3 각각 EKR 성질을 가진 군의 외부 및 내부 직접곱은 EKR 성질을 가질까?
• RQ4 두 개의 EKR 성질을 가진 군의 와이어드 곱 역시 EKR 성질을 가질까?
• RQ5 에르되시-코-라도 성질을 만족하지 않는 군을 $\operatorname{Sym}(n)$ 의 $t$-교차 작용을 통해 구성할 수 있는가?

주요 결과

• 모든 순환군은 엄격한 EKR 성질을 가지며, 이는 최대 교차 집합이 오직 점 안정자의 오비트뿐이라는 뜻이다.
• 모든 이면군은 엄격한 EKR 성질을 가지며, 이는 최대 교차 집합이 오직 점 안정자의 오비트임을 확인한다.
• 모든 프로베누스 군은 EKR 성질을 가지며, 논문은 그들의 구조에 기반해 어떤 프로베누스 군이 엄격한 EKR 성질을 만족하는지 특성화한다.
• EKR(또는 엄격한 EKR) 성질을 가진 군의 외부 및 내부 직접곱 역시 EKR(또는 엄격한 EKR) 성질을 유전한다.
• 두 개의 EKR 성질을 가진 군의 와이어드 곱 역시 EKR 성질을 가진다. 이는 성질을 더 넓은 군 구조 가닥으로 확장한다.
• EKR 성질을 가지지 않는 군이 존재하며, 예를 들어 $t \geq 4$ 인 경우 $\operatorname{Sym}(8)$ 는 $t$-교차 작용에서 점 안정자 크기를 초월하는 더 큰 $t$-교차 집합을 가질 수 있다.