π 메트릭의 대칭군 완전 분석

초록

본 논문은 유한체 F_q 위의 n 차원 벡터공간 V에 정의된 π‑메트릭에 대해, 거리 보존 전단사(대칭)의 전체 군을 완전히 규정한다. 저자는 두 개의 자연스러운 부분군 M(좌표별 전단사)과 S_π(허용된 좌표 순열)를 정의하고, 이들의 반직접곱이 전체 대칭군임을 증명한다. 또한 자동사상(선형 대칭)군을 같은 구조로 특수화하여 제시한다.

상세 분석

π‑메트릭은 정수 분할 π = (k₁,…,k_m)에 의해 V = ⊕{i=1}^m F{q}^{k_i} 로 분해된 각 블록을 0이 아닌 블록의 개수만으로 가중치를 정의한다. 즉, 두 벡터 u = (u₁,…,u_m), v = (v₁,…,v_m) 사이의 거리 d_π(u,v)는 u_i ≠ v_i 인 블록의 수와 같다. 이 정의는 k_i = 1 인 경우에 전통적인 해밍 거리와 일치한다.

저자는 먼저 각 블록 F_{q}^{k_i} 위의 임의의 전단사 T_i를 모아 만든 전단사 T = (T₁,…,T_m) 를 고려한다. 각 T_i 가 서로 독립적으로 작용하므로, T는 거리 보존을 그대로 유지한다. 따라서 M = ∏{i=1}^m B(F{q}^{k_i}) 가 대칭군의 큰 부분군을 형성한다. 여기서 B(·)는 해당 집합 위의 전단사군이며, 이는 순열군 S_{q^{k_i}}와 동형이다.

다음으로, 좌표 블록들의 크기가 동일한 경우에만 허용되는 블록 순열 σ∈S_m 를 정의한다. σ가 허용된다는 것은 σ(i)=j 일 때 k_i = k_j 이어야 함을 의미한다. 이러한 σ는 선형 변환으로 구현될 수 있으며, 블록을 재배열함으로써 거리 구조를 보존한다. 이들 σ의 집합을 S_π라 두고, 이는 S_m의 부분군이다.

핵심 정리는 모든 대칭 F가 고유하게 σ ∈ S_π 와 T ∈ M 의 곱, 즉 F = σ ∘ T 로 표현된다는 것이다. 증명은 먼저 F(0) 를 0 으로 정규화한 뒤, Lemma 1을 이용해 F가 각 블록 V_i 를 정확히 하나의 블록 V_j 로 보내는 것을 보인다. 여기서 유도된 σ_F 가 admissible permutation이며, σ_F^{-1} ∘ F 가 블록 내부에서만 작용함을 확인하면 σ_F^{-1} ∘ F ∈ M 임을 알 수 있다.

그 결과 대칭군은 반직접곱 구조
Sym(V,d_π) ≅ S_π ⋉ M
을 갖는다. M 은 ∏{i=1}^m S{q^{k_i}} 와 동형이므로, 전체 군의 차수는 |S_π|·∏{i=1}^m (q^{k_i})! 로 계산된다. 특히, 모든 k_i 가 동일하면 S_π ≅ S_m 가 되고, 전체 군은 S_m ⋉ (S{q^{k}})^m 로 단순화된다.

자동사상(선형 대칭)의 경우, T 가 선형이면 각 T_i 도 선형이어야 하므로 T_i ∈ Aut(F_{q}^{k_i}) = GL(k_i,q) 로 제한된다. 따라서 자동군은
Aut(V,d_π) ≅ S_π ⋉ ∏{i=1}^m GL(k_i,q)
와 동형이며, 차수는 |S_π|·∏{i=1}^m ∏_{j=0}^{k_i-1}(q^{k_i}-q^{j}) 로 주어진다. 해밍 거리 경우(k_i=1)에는 S_n ⋉ (S_q)^n 이 자동군이 되고, 이는 기존 문헌과 일치한다.

이 논문은 π‑메트릭이 갖는 대칭 구조를 완전히 파악함으로써, 오류‑블록 코딩, 포셋 메트릭 등 다양한 응용 분야에서 대칭성을 이용한 코드 설계와 등가성 판별에 기초적인 이론적 토대를 제공한다.