[논문 리뷰] Finite symmetric graphs with two-arc transitive quotients III

Guangjun Xu, Sanming Zhou|arXiv (Cornell University)|2012. 05. 05.

Finite Group Theory Research인용 수 4

한 줄 요약

이 논문은 유한한 대칭 그래프 $\Gamma$ 의 몫 그래프 $\Gamma_{\mathcal{B}}$ 가 $v - k = p$ 가 홀수 소수 $p$ 인 경우 $(G, 2)$-arc 전이성임을 위한 필수 및 필요조건을 확립한다. 여기서 $v$ 는 블록 크기이고 $k$ 는 인접 블록 내의 이웃 수이다. $p = 3$ 또는 $5$ 인 경우 이러한 조건들이 본질적으로 충분함을 증명하며, 그래프-블록 구조에 의해 유도된 2점 전이성 블록 설계에 의존한다.

ABSTRACT

A graph $\Ga$ is $G$-symmetric if $\Ga$ admits $G$ as a group of automorphisms acting transitively on the set of vertices and the set of arcs of $\Ga$, where an arc is an ordered pair of adjacent vertices. In the case when $G$ is imprimitive on $V(\Ga)$, namely when $V(\Ga)$ admits a nontrivial $G$-invariant partition $\BB$, the quotient graph $\Ga_{\BB}$ of $\Ga$ with respect to $\BB$ is always $G$-symmetric and sometimes even $(G, 2)$-arc transitive. (A $G$-symmetric graph is $(G, 2)$-arc transitive if $G$ is transitive on the set of oriented paths of length two.) In this paper we obtain necessary conditions for $\Ga_{\BB}$ to be $(G, 2)$-arc transitive (regardless of whether $\Ga$ is $(G, 2)$-arc transitive) in the case when $v-k$ is an odd prime $p$, where $v$ is the block size of $\BB$ and $k$ is the number of vertices in a block having neighbours in a fixed adjacent block. These conditions are given in terms of $v, k$ and two other parameters with respect to $(\Ga, \BB)$ together with a certain 2-point transitive block design induced by $(\Ga, \BB)$. We prove further that if $p=3$ or $5$ then these necessary conditions are essentially sufficient for $\Ga_{\BB}$ to be $(G, 2)$-arc transitive.

연구 동기 및 목표

• 블록 크기의 차이 $v - k = p$ 가 홀수 소수일 때 몫 그래프 $\Gamma_{\mathcal{B}}$ 가 $(G, 2)$-arc 전이성임을 위한 필수 조건을 도출하는 것.
• 비자명한 $G$-불변 분할 $\mathcal{B}$ 를 통한 $G$ 가 $V(\Gamma)$ 에 작용할 때의 비기약성에 의해 유도되는 구조적 제약 조건을 분석하는 것.
• $\Gamma$ 와 $\mathcal{B}$ 의 쌍에 의해 유도된 2점 전이성 블록 설계가 몫 그래ph의 2-arc 전이성 결정에 미치는 역할을 조사하는 것.
• $p = 3$ 과 $p = 5$ 에서 유도된 조건의 충분성을 확립하여 이러한 경우에 분류를 완성하는 것.

제안 방법

• $G$ 가 $\Gamma$ 의 정점 집합과 호에 작용하는 방식을 분석하며, $G$-불변 분할 $\mathcal{B}$ 에 의해 유도된 몫 그래프 $\Gamma_{\mathcal{B}}$ 에 초점을 맞춘다.
• $\mathcal{B}$ 의 블록 간 인접 구조에서 유도된 2점 전이성 블록 설계를 도입하고 연구한다.
• $v$, $k$, 블록 구조와 관련된 추가 두 매개변수를 사용하여 $\Gamma_{\mathcal{B}}$ 가 $(G, 2)$-arc 전이성임을 위한 필수 조건을 수립한다.
• $\Gamma_{\mathcal{B}}$ 의 길이 2인 방향 경로에 대한 $G$ 의 전이성 성질을 특성화하기 위해 조합론적 및 군론적 기법을 적용한다.
• $p = 3$ 또는 $5$ 인 경우 블록 설계의 구조적 제약 조건을 활용하여 필수 조건이 본질적으로 충분함을 증명한다.
• $\Gamma$ 와 $\Gamma_{\mathcal{B}}$ 에서 $G$ 의 대칭성과 전이성을 활용하여 블록 인접 패턴에 대한 제약 조건을 유도한다.

실험 결과

연구 질문

• RQ1 블록 크기의 차이 $v - k = p$ 가 홀수 소수일 때, $G$-대칭 그래프 $\Gamma$ 와 $G$-불변 분할 $\mathcal{B}$ 에 대해 몫 그래프 $\Gamma_{\mathcal{B}}$ 가 $(G, 2)$-arc 전이성임을 위한 조건은 무엇인가?
• RQ2 $(\Gamma, \mathcal{B})$ 에 의해 유도된 2점 전이성 블록 설계의 존재가 $\Gamma_{\mathcal{B}}$ 의 2-arc 전이성에 어떤 영향을 미치는가?
• RQ3 블록 크기의 차이 $v - k = p$ 이고 $p$ 가 홀수 소수일 때, 블록 인접 패턴에 어떤 구조적 제약 조건이 발생하는가?
• RQ4 어느 소수 $p$ 에 대해 $\Gamma_{\mathcal{B}}$ 가 $(G, 2)$-arc 전이성임을 위한 필수 조건이 동시에 충분한가?
• RQ5 $p = 3$ 또는 $p = 5$ 일 때, $\Gamma_{\mathcal{B}}$ 가 $(G, 2)$-arc 전이성임을 완전히 특성화할 수 있는가?

주요 결과

• $\Gamma_{\mathcal{B}}$ 가 $(G, 2)$-arc 전이성임을 위한 필수 조건이 $v$, $k$, 추가 두 매개변수, 그리고 $(\Gamma, \mathcal{B})$ 에 의해 유도된 2점 전이성 블록 설계를 통해 기술된다.
• $p = 3$ 인 경우, $\Gamma_{\mathcal{B}}$ 가 $(G, 2)$-arc 전이성임을 위한 필수 조건은 본질적으로 충분하다.
• $p = 5$ 인 경우, $\Gamma_{\mathcal{B}}$ 가 $(G, 2)$-arc 전이성임을 위한 필수 조건 역시 본질적으로 충분하다.
• 2점 전이성 블록 설계의 구조는 몫 그래프의 전이성 성질을 결정하는 데 중심적인 역할을 한다.
• 제시된 대칭성 가정 하에 $v - k = 3$ 또는 $5$ 인 경우 $(G, 2)$-arc 전이성 몫 그래프에 대한 완전한 특성화를 제공한다.
• 결과는 비기약성 자동형군을 가진 대칭 그래프와 그 몫 구조에 대한 이해를 확장한다.