[논문 리뷰] On the order of vertex-stabilisers in vertex-transitive graphs with local group $C_p imes C_p$ or $C_p \wr C_2$

Pablo Spiga, Gabriel Verret|arXiv (Cornell University)|2013. 11. 18.

Finite Group Theory Research참고 문헌 22인용 수 7

한 줄 요약

이 논문은 국소 작용이 $C_p \times C_p$ 또는 $C_p \mathop{\mathrm{wr}} C_2$와 동형인 연결된, 모서리에 대해 추이적이며 정점에 대해 추이적인 그래프에 대해 구조적 이분법을 수립한다. 이에 따르면 그래프의 순서는 $p$에 대한 함수로 유계이거나, $2p|G_v|\log_p(|G_v|/\chi)$ 이상으로 증가하거나, 알려진 가족 $\mathrm{PX}(p,r,s)$와 동형이 된다. 이 결과는 아크-추이성 그래프에서 정점 안정자 크기의 기존 유계를 일반화하고, $p$-정점 그래프에 대한 이전의 지수적 성장 유계를 향상시킨다.

ABSTRACT

Let $p$ be a prime and let $L$ be either the intransitive permutation group $C_p imes C_p$ of degree $2p$ or the transitive permutation group $C_p \wr C_2$ of degree $2p$. Let $Γ$ be a connected $G$-vertex-transitive and $G$-edge-transitive graph and let $v$ be a vertex of $Γ$. We show that if the permutation group induced by the vertex-stabiliser $G_v$ on the neighbourhood $Γ(v)$ is isomorphic to $L$ then either $|V(Γ)|\geq p|G_v|\log_p\left(|G_v|/2 ight)$, or $|V(Γ)|$ is bounded by a constant depending only on $p$, or $Γ$ is a very-well understood graph. This generalises a few recent results.

연구 동기 및 목표

• 국소 작용이 $C_p \times C_p$ 또는 $C_p \mathop{\mathrm{wr}} C_2$와 동형인 아크-추이성 그래프에 대한 투트의 정리를 일반화한다.
• 정점 안정자 크기가 그래프 순서에 대해 비선형적으로 증가하지 않는 예외적 케이스를 분류한다.
• 이전의 $p$-정점 아크-추이성 그래프에 대한 지수적 성장 유계를 향상시키기 위해, 안정자 순서에 따라 그래프 크기의 더 날카운 상한을 명시적으로 제공한다.
• 성장 유계를 만족하지 않거나 $\mathrm{PX}(p,r,s)$ 가족과 동형인 모든 예외적 쌍 $(\Gamma, G)$에 대한 구조적 분류를 제공한다.

제안 방법

• 정점 안정자에 의한 그래프 이웃의 국소 작용을 분석하기 위해 치환군 이론을 사용한다.
• 유한 치환군의 구조 정리, 특히 최소 정규부분군의 분류와 그 작용을 적용한다.
• 그래프 순서에 대한 귀납법과 정규 덮개 및 몫 그래프의 분석을 통해 기본 케이스로 축소한다.
• Sylow $p$-부분군의 니르베르티 계수를 명시적으로 계산하여 일부 자동사상군의 존재를 배제한다.
• 작은 정점-추이성 그래프의 알려진 목록에서 예외적 케이스를 체계적으로 검색하여 분류한다.
• 이전의 4-정점 아크-추이성 그래프에 대한 결과를 활용하여 프레임워크를 $p$-정점 설정으로 확장한다.

실험 결과

연구 질문

• RQ1 국소 작용이 $C_p \times C_p$ 또는 $C_p \mathop{\mathrm{wr}} C_2$인 정점- 및 모서리-추이성 그래프에서, 정점 안정자 크기가 그래프 순서에 대해 비선형적으로 증가하는 조건은 무엇인가?
• RQ2 성장 유계를 만족하지 않거나 $\mathrm{PX}(p,r,s)$ 와 동형인 모든 예외적 그래프는 명시적으로 분류될 수 있는가?
• RQ3 안정자 순서에 따라 그래프 크기의 유계가 이전 결과와 비교하여 어떻게 다를까? 특히 $p$-정점 아크-추이성 그래프의 경우에 대해.
• RQ4 $\mathrm{PX}(p,r,s)$ 가족의 구조적 특성은 무엇이며, 분류에서 이 가족이 차지하는 역할은 무엇인가?
• RQ5 정점 안정자 크기가 클 경우, $|\mathrm{V}(\Gamma)|$의 유계가 $p$에 대해 정확히 어떤 기준을 초과하는가?

주요 결과

• 모든 소수 $p$에 대해, $\Gamma$가 국소 작용 $\mathcal{L}_{p,\chi}$를 갖는 연결된 $G$-모서리-추이성, $G$-정점-추이성 그래프이면, 다음 중 하나가 성립한다: $|\mathrm{V}(\Gamma)| \geq 2p \cdot \frac{|G_v|}{\chi} \log_p\left(\frac{|G_v|}{\chi}\right)$, 또는 $|\mathrm{V}(\Gamma)|$는 오직 $p$에만 의존하는 상수로 유계이거나, $\Gamma \cong \mathrm{PX}(p,r,s)$ ($r \geq 3$, $1 \leq s \leq r-2$)이다.
• 유계 $|\mathrm{V}(\Gamma)| \geq 2p \cdot \frac{|G_v|}{\chi} \log_p\left(\frac{|G_v|}{\chi}\right)$는 이전의 $p$-정점 아크-추이성 그래프에 대한 지수적 성장 유계를 향상시킨다.
• $p=2$인 경우, 성장 유계를 만족하지 않거나 $\mathrm{PX}(2,r,s)$ 와 동형인 모든 예외적 쌍 $(\Gamma, G)$는 표 5에 명시적으로 정리되어 있으며, $|G_v| \leq 16$ 또는 $|\mathrm{V}(\Gamma)| = 8100$이다.
• 정점 수가 8100이고 $|G_v| = 256$인 예외적 케이스는 성장 유계를 만족한다. 왜냐하면 $4 \cdot 256 \cdot \log_2(256) = 8192 > 2 \cdot 8100$이기 때문이다. 이는 유계가 성립함을 확인한다.
• $\mathrm{PX}(p,r,s)$ 그래프는 국소 작용 조건을 만족하지만 성장 유계를 만족하지 않는 유일한 무한 가족이다.
• 증명은 모든 이러한 그래프가 $\mathrm{PX}(p,r,s)$ 가족에 속하거나 성장 유계를 만족하거나, $c(p)$에 의존하는 함수로 유계가 되며, 후자의 경우 $p=2$에 대해 완전히 분류되었음을 보여준다.