[논문 리뷰] Digraphs from Endomorphisms of Finite Cyclic Groups

Min Sha|arXiv (Cornell University)|2010. 07. 10.

graph theory and CDMA systems참고 문헌 2인용 수 3

한 줄 요약

이 논문은 순서 n인 유한 순환군의 내면사상에서 유도된 방향성 그래프 G(n,k)의 가족을 제안한다. 여기서 각 원소는 k제곱으로 사상된다. 이 방향성 그래프의 구조, 특히 사이클 길이, 자기동형군, 인접행렬 성질을 규명하며, 자기동형군이 n과 k의 소인수 분해에 따라 달라짐을 보여주며, 특히 k가 소수일 경우에 초점을 맞춘다.

ABSTRACT

We associate each endomorphism of a finite cyclic group with a digraph and study many properties of this digraph, including its adjacent matrix and automorphism group.

연구 동기 및 목표

• 유한 순환군의 내면사상에서 유도된 새로운 종류의 방향성 그래프 G(n,k)를 정의하고 분석한다.
• G(n,k)의 구조적 성질, 특히 사이클 길이, 구성 요소 분해, 정점의 진입차수 분포를 규명한다.
• G(n,k)의 자기동형군을 결정하며, 특히 k가 소수일 경우에 대해 그 군을 군 작용과 와이어드 프로덕트와 연결한다.
• 인접행렬의 특성 및 최소 다항식을 연구하며, 유한체 위의 단항 동역학계와 연관지어 분석한다.

제안 방법

• G(n,k)를 순환군 H의 원소들을 정점으로 하고, f(a) = b이면 a → b로 방향 간선을 가진 방향성 그래프로 구성한다. 여기서 f(x) = x^k이다.
• 최대공약수, 최소공배수, 오일러의 탑수 함수와 같은 수론적 도구를 사용하여 해의 존재성과 역상 수를 분석한다.
• 원소의 차수, 순환부분군, 모듈로 d에 대한 곱셈의 차수와 같은 군론적 개념을 활용하여 사이클 구조를 분류한다.
• 특히 k가 소수이고 (n,k) = k일 경우, 자기동형군을 기술하기 위해 와이어드 프로덕트 구성 기법을 적용한다.
• 논문의 보조정리 2.1을 활용하여, 조건 a^{n/d} = 1이 성립할 때(d = gcd(n,k)) 정점의 진입차수 > 0인지 판단한다.
• 같은 사이클에 속한 정점들은 동일한 차수를 가지며, 차수 d에 대한 사이클 길이 ℓ(d) = ord_d(k)는 k를 모듈로 d에 대한 곱셈의 차수로 간주한다.

실험 결과

연구 질문

• RQ1 순서 n인 유한 순환군에서 내면사상 f(x) = x^k에 의해 생성된 방향성 그래프 G(n,k)의 구조는 어떠한가?
• RQ2 G(n,k)의 사이클 길이와 사이클 수는 매개변수 n과 k에 따라 어떻게 달라지는가?
• RQ3 G(n,k)의 자기동형군은 무엇이며, n과 k의 소인수 분해에 따라 어떻게 변화하는가?
• RQ4 G(n,k)의 인접행렬는 어떻게 특성화할 수 있으며, 그 특성다항식과 최소다항식은 무엇인가?
• RQ5 트리 성분 T_1의 자기동형군이 대칭군과 순환군의 와이어드 프로덕트와 동형일 조건은 무엇인가?

주요 결과

• G(n,k)에서 진입차수 0인 정점의 수는 (d-1)/d × n이며, 여기서 d = gcd(n,k)이다. 진입차수 0이 아닌 정점들은 크기 n/d인 순환부분군을 이룬다.
• G(n,k)에서 사이클 정점의 수는 정확히 t이며, t는 n의 k와 서로소인 최대 약수이다. 각 사이클 정점의 차수는 t의 약수이다.
• 차수 d를 가진 사이클의 길이는 ℓ(d) = ord_d(k)이며, 이는 k를 모듈로 d에 대한 곱셈의 차수이다. 가장 긴 사이클의 길이는 ord_t(k)이다.
• G(n,k)의 총 사이클 수는 ∑_{d|t} φ(d)/ℓ(d)이며, 여기서 φ는 오일러의 탑수 함수이고 ℓ(d) = ord_d(k)이다.
• k가 소수이고 gcd(n,k) = k일 경우, 트리 T_1의 자기동형군은 Aut(T_1,h) ≅ Aut(T_1,h+1) ≀ S_k (h < h₀)와 동형이며, Aut(T_1,h₀)는 자명하다.
• k가 소수이고 gcd(n,k) = 1일 경우, G(n,k)의 자기동형군은 대칭군의 순환군에 대한 와이어드 프로덕트와 동형이며, 구체적으로 (Z_m ≀ S_{m_1}) × ⋯ × (Z_s ≀ S_{m_s})와 동형이다.