[논문 리뷰] Edge-transitive bi-Cayley graphs

Marston Conder, Jin‐Xin Zhou외 2명|arXiv (Cornell University)|2016. 06. 15.

Finite Group Theory Research참고 문헌 37인용 수 4

한 줄 요약

이 논문은 정상 에지-전이성 이중 카이리 그래프를 특성화하며, 그것이 궁극적으로 궁극적 전이성, 반-에지-전이성, 또는 반대칭임을 증명하고, 둘레가 6 이하인 연결된 삼차 에지-전이성 그래프를 완전히 분류한다. 아벨, 딜레할, 그리고 메타시클릭 $ p $-군에 대한 이중 카이리 그래프에서, 정상 에지-전이성은 특정 조건 하에서 정상성을 암시하며, 2-에지-전이성, 반-에지-전이성, 반대칭 그래프에 대한 열린 문제를 해결한다.

ABSTRACT

A graph $\G$ admitting a group $H$ of automorphisms acting semi-regularly on the vertices with exactly two orbits is called a {\em bi-Cayley graph\/} over $H$. Such a graph $\G$ is called {\em normal\/} if $H$ is normal in the full automorphism group of $\G$, and {\em normal edge-transitive\/} if the normaliser of $H$ in the full automorphism group of $\G$ is transitive on the edges of $\G$. % In this paper, we give a characterisation of normal edge-transitive bi-Cayley graphs, %which form an important subfamily of bi-Cayley graphs, and in particular, we give a detailed description of $2$-arc-transitive normal bi-Cayley graphs. Using this, we investigate three classes of bi-Cayley graphs, namely those over abelian groups, dihedral groups and metacyclic $p$-groups. We find that under certain conditions, `normal edge-transitive' is the same as `normal' for graphs in these three classes. As a by-product, we obtain a complete classification of all connected trivalent edge-transitive graphs of girth at most $6$, and answer some open questions from the literature about $2$-arc-transitive, half-arc-transitive and semisymmetric graphs.

연구 동기 및 목표

• 정상 에지-전이성 이중 카이리 그래프를 특성화하고, 그들의 구조적 및 대칭 성질을 규명한다.
• 아벨, 딜레할, 메타시클릭 $ p $-군에 대한 이중 카이리 그래프에서 정상성과 정상 에지-전이성 간의 관계를 조사한다.
• 둘레가 6 이하인 연결된 삼차 에지-전이성 그래프를 분류한다.
• 마루시치와 포토치닉(2001)이 제기한 2-에지-전이성, 반-에지-전이성, 반대칭 그래프에 대한 열린 질문을 해결한다.
• 정상 에지-전이성 이중 카이리 그래프가 궁극적 전이성, 반-에지-전이성, 또는 반대칭일 수 있음을 보여주는 구체적인 예시 가족을 구성한다.

제안 방법

• 이중 카이리 그래프 구축법 $ \mathrm{BiCay}(H, R, L, S) $ 를 사용하며, 여기서 $ H $ 는 정점에 대해 두 궤도를 가지며 반정칙으로 작용하는 군이다.
• 특히 $ \mathrm{Aut}(\Gamma) $ 내에서 $ R(H) $ 의 정규화군을 분석하여 에지-전이성을 분석하기 위해 군론적 기법을 적용한다.
• 특히 $ p $-군의 경우, 자명군의 정규성 증명을 위해 자기동형군 분석과 시로프 부분군의 논증을 사용한다.
• 특정 가족에서의 정점 및 에지 전이성을 보여주기 위해 $ \delta_{\beta, z, 1} $ 과 $ \sigma_{\alpha, a} $ 의 구체적 자기동형군을 구성한다.
• 논문 [55]의 보조정리 2.2를 적용하여 이중 카이리 구조를 유지하는 자기동형군을 특성화한다.
• 비아벨 $ p $-군에서의 자기동형군 작용을 검증하기 위해 대수적 수론과 합동 조건(예: $ p^2 $ 모듈로)을 활용한다.

실험 결과

연구 질문

• RQ1 정상 에지-전이성 이중 카이리 그래프가 정상이 되는 조건은 무엇인가?
• RQ2 정상 에지-전이성 이중 카이리 그래프는 궁극적 전이성, 반-에지-전이성, 또는 반대칭일 수 있는가?
• RQ3 궁극적 전이성, 반-에지-전이성, 반대칭이라는 세 가지 대칭 유형 각각에 대해 무한한 가족의 정상 에지-전이성 이중 카이리 그래프가 존재하는가?
• RQ4 둘레가 6 이하인 연결된 삼차 에지-전이성 그래프의 완전한 분류는 무엇인가?
• RQ5 아벨, 딜레할, 메타시클릭 $ p $-군에 대한 이중 카이리 그래프에서, 정상 에지-전이성 하에서 대칭 성질이 일치하는가?

주요 결과

• 모든 정상 에지-전이성 이중 카이리 그래프는 궁극적 전이성, 반-에지-전이성, 또는 반대칭이며, 이 세 유형 모두 무한한 가족을 포함한다.
• 아벨, 딜레할, 메타시클릭 $ p $-군에 대한 이중 카이리 그래프에서, 정상 에지-전이성은 온건한 조건 하에서 정상성을 암시한다.
• 논문은 둘레가 6 이하인 모든 연결된 삼차 에지-전이성 그래프를 완전히 분류한다.
• 모든 홀수 소수 $ p \geq 5 $ 에 대해 순서 $ 2p^3 $ 인 4차 반-에지-전이성 그래프 $ \mathcal{H}_p $ 를 구성하며, 이는 에지-정규이지만 궁극적 전이성이 아니다.
• $ \mathcal{H}_p $ 의 자기동형군은 유일한 인덱스 2 부분군을 가지며, $ R(H) $ 는 $ \mathrm{Aut}(\mathcal{H}_p) $ 의 정규 시로프 $ p $-부분군이다.
• 자기동형군 $ \delta_{\beta, a^s b^2, 1} $ 의 존재는 에지 전이성을 보장하며, 연결 집합 $ S $ 에서의 비불변 역관계를 통해 그래프 $ \mathcal{H}_p $ 가 반-에지-전이성임을 증명한다.