고차 호아크 전이 방향 그래프와 준원시 군의 새로운 연결 고리

초록

본 논문은 $s\ge6$인 고차 호아크 전이(​$s$‑arc‑transitive​) 방향 그래프를 연구한다. $H$‑정규 몫과 $H$‑준정규 몫 개념을 도입해, $H$‑정규 몫이 길이 ≥ 3인 순환인 경우와, 거의 단순(almost simple) 군 $L$이 정점‑준원시(quasiprimitive)하게 작용하는 $t\ge (s-3)/2$ 차 전이 그래프가 존재하는 경우를 구분한다. 또한 교대군을 이용한 무한 가족과, 비이분 그래프에서 이중화(construction) 기법을 통해 임의의 $s$에 대해 정점‑양준원시(vertex‑bi‑quasiprimitive) $s$‑전이 그래프를 만들 수 있음을 보인다.

상세 분석

논문은 먼저 $H$‑정규 몫(digraph)의 개념을 일반화하여 $H$‑준정규 몫을 정의한다. 이 정의는 $H$가 작용하는 정점 집합을 $H$‑정규 부분군 $N\trianglelefteq H$의 궤도로 나누고, 각 궤에 대한 축소 그래프를 구성하는 방식이다. 이를 통해 $H$‑정규 몫이 순환 그래프 $C_r$($r\ge3$)인 경우와 그렇지 않은 경우를 체계적으로 구분한다.

핵심 정리(Theorem 1.2)는 $s\ge6$인 임의의 연결 $H$‑정점 전이 $(H,s)$‑아크‑전이 방향 그래프 $\Gamma$에 대해, 다음 두 경우 중 하나가 반드시 성립함을 보인다.

1. 어떤 $H$‑정규 몫이 길이 ≥ 3인 순환 $C_r$이다.
2. $L$이라는 거의 단순 군이 존재하여, $L$이 $\Gamma$의 정점 집합에 정점‑준원시(quasiprimitive)하게 작용하고, $t\ge (s-3)/2$인 $t$‑아크‑전이 그래프 $(L,t)$가 존재한다.

이 정리는 $H$의 구성인 단순 군들의 조합이 최종적으로 거의 단순 군 $L$의 소스가 됨을 의미한다. 즉, 큰 $s$를 갖는 고차 전이 그래프를 이해하려면 정점‑준원시 거의 단순 군이 작용하는 경우를 중심으로 연구해야 함을 보여준다.

다음으로 저자들은 교대군 $A_n$(또는 $S_n$)을 이용해 임의의 홀수 차수 $k$와 임의의 $s$에 대해 무한히 많은 $(H,s)$‑아크‑전이 그래프를 구성한다. 이때 $H$는 교대군이며, 그래프는 정점‑준원시이며, 차수 $k$는 임의의 홀수값을 가질 수 있다.

가장 혁신적인 부분은 비이분 그래프를 입력으로 받아, $G=(H\times H).2$가 작용하는 이중화(construction) 과정을 제시한 것이다. 이 과정은 원래 그래프의 정점 집합을 두 복사본으로 복제하고, 교차 아크를 추가해 새로운 비이분 그래프를 만든 뒤, 이를 다시 이분 그래프로 전환한다. 결과적으로 원래의 $s$‑전이 그래프가 $2s$‑전이 비이분 그래프로 변환되며, 새로운 그래프는 정점‑양준원시(vertex‑bi‑quasiprimitive) 성질을 가진다. 이 방법을 반복하면 임의의 큰 $s$에 대해 정점‑양준원시 $s$‑전이 그래프를 무한히 만들 수 있다.

마지막으로 저자들은 여러 개방 문제를 제시한다. 특히 (1) 주어진 비가환 단순 군 $T$에 대해 정점‑준원시 거의 단순 군이 작용하는 $s\ge3$인 전이 그래프가 존재하는가, (2) $P!A$형(프라임-어드미션) 정점‑준원시 그래프가 $V\neq V_0^m$ 형태로 존재할 수 있는가, (3) $s=4,5$인 경우에 양준원시 그래프가 존재하면서도 정규 몫 감소 과정이 거의 단순 군까지 도달하지 못하는가, (4) 순환형 정규 몫만을 갖는 기본 그래프들의 구조는 어떠한가 등이다. 이러한 질문들은 고차 전이 그래프 이론과 군론 사이의 깊은 연결 고리를 탐구하는 데 중요한 출발점을 제공한다.