3×3 행렬의 압축 교환 그래프 완전 해석

초록

본 논문은 소수체 GF(p) 위의 3×3 행렬환 M₃(GF(p))에 대해, 원소가 생성하는 단일 단위 부분환에 따라 동등화한 ‘단위 압축 교환 그래프’를 완전히 기술한다. 정규형(조던형)별로 정점 유형을 구분하고, 비스칼라 비특이 행렬에 해당하는 핵심 부분을 유한 평면 PG(2,p)의 점‑선 쌍과 일대일 대응시켜 그래프 구조를 파악한다. 이를 바탕으로 전체 그래프 구성 알고리즘을 제시하고, 기존에 미해결이던 일반 교환 그래프 Γ(M₃(GF(p)))의 구조도 도출한다.

상세 분석

논문은 먼저 단위 압축 교환 그래프(Λ₁)의 정의를 복습하고, 행렬환 Mₙ(F)에서 “a ~ b”라는 동등관계가 최소 다항식·특성다항식의 분해 형태와 동일한 조던형을 공유함을 보인다. 이를 통해 Λ₁의 정점은 조던형에 따라 A, B, C, D, E, F, G, H의 8가지 유형으로 분류된다. 각 유형별로 생성되는 단위 부분환 ⟨A⟩의 차원과 생성원 개수를 계산하고, 동일 유형의 정점 개수는 궤도 Oₐ와 ωₐ(⟨A⟩∩Oₐ)의 곱으로 구한다. 특히 비스칼라 비특이(derogatory가 아닌) 행렬은 중앙화자가 정확히 ⟨A⟩이므로, 그 정점들은 서로 완전 연결된 서브그래프를 형성한다.

핵심 부분은 비스칼라 비특이 행렬에 해당하는 유형 C와 G, F, H 등이다. 저자들은 이 정점 집합을 유한 프로젝트 평면 PG(2,p)의 점‑선 쌍과 일대일 대응시킨다. 구체적으로, 한 점과 그 점을 지나는 모든 직선을 선택하면 p+1개의 정점이 생성되고, 두 점‑선 쌍 사이의 교환 관계는 해당 직선이 두 점을 동시에 포함하는지 여부로 결정된다. 따라서 그래프의 인접 관계는 평면 기하학의 incidence 구조와 동일하게 기술된다. 이 기하학적 해석을 이용해 서브그래프의 차수, 직경, 클리크 수 등을 명시적으로 구한다.

그 다음 단계에서는 비특이 행렬(유일한 고유값을 갖는 조던 블록) 유형 D와 E를 기존 핵심 부분에 부착한다. 각 유형에 대해 중앙화자와 생성원 구조를 분석하여, 새로운 정점이 기존 정점들과 어떻게 연결되는지를 정확히 기술한다. 이를 통해 전체 Λ₁ 그래프는 “핵심 평면 서브그래프 + 부착된 별형·완전 서브그래프” 형태로 완전히 재구성된다.

마지막으로, 압축 그래프의 각 정점을 해당 단위 부분환의 원소 전체(스칼라 제외)로 확장하면 일반 교환 그래프 Γ(M₃(GF(p)))가 된다. 이 과정에서 각 정점이 클리크를 형성함을 이용해, Γ는 Λ₁의 정점 수에 비례하는 클리크들의 합집합이며, 중심 원소와 루프를 제거한 뒤 얻어진다. 결과적으로, 이전에 “구조가 알려지지 않았다”고 알려졌던 Γ의 연결성, 직경, 클리크 구조 등을 모두 명시한다. 논문은 또한 이러한 구조를 구현하는 알고리즘을 제시하여, 임의의 소수 p에 대해 그래프를 효율적으로 생성할 수 있음을 증명한다.