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

본 논문은 유한체 F_q 위에 정의된 n 차원 벡터공간 V에 대해, 정수 분할 π = (k₁,…,k_m) 로 유도되는 π‑메트릭 d_π 를 연구한다. π‑메트릭은 V를 블록 직합 V = ⊕_{i=1}^m F_{q}^{k_i} 로 분해하고, 두 벡터 사이의 거리를 “다른 블록의 개수”로 정의한다. 이 정의는 k_i = 1 인 경우에 전통적인 해밍 거리와 동일하다. 논문의 주요 목표는 (V,d_π) 를 거리 보존하는 모든 전단사, 즉 대칭군 Sym(V,d_π)를 완전히 기술하는 것이다. 이를 위해 저자는 두 종류의 자연스러운 부분군을 도입한다. 첫 번째는 각 블록 F_{q}^{k_i} 위의 임의 전단사 T_i 를 독립적으로 적용하는 전단사들의 집합 M이다. 구체적으로 T = (T₁,…,T_m) 로 정의하고, 각 T_i 가 F_{q}^{k_i} → F_{q}^{k_i} 의 전단사이면 T는 거리 보존을 만족한다. 따라서 M ≅ ∏_{i=1}^m B(F_{q}^{k_i}) 로, 여기서 B(·)는 해당 집합 위의 전단사군이며, 이는 순열군 S_{q^{k_i}} 와 동형이다. 두 번째는 블록들의 크기가 동일한 경우에만 허용되는 블록 순열 σ∈S_m 를 고려한다. σ가 admissible 하다는 것은 σ(i)=j 일 때 k_i = k_j 이어야 함을 의미한다. 이러한 σ는 선형 변환으로 구현되며, 블록 전체를 재배열함으로써 거리 구조를 보존한다. 이들의 집합을 S_π라 두고, 이는 S_m의 부분군이다. 핵심 정리는 모든 대칭 F가 고유하게 σ ∈ S_π 와 T ∈ M 의 곱, 즉 F = σ ∘ T 로 표현된다는 것이다. 이를 증명하기 위해 Lemma 1을 이용해, 임의의 대칭 F가 각 블록 V_i = {0,…,0, v_i,0,…,0} 를 정확히 하나의 블록 V_j 로 보내는 것을 보인다. 여기서 V_i 는 i번째 블록에만 비영인 벡터들의 집합이다. 이 과정에서 F(0) 가 0 이 아니면 적절한 평행이동 S(v)=v−F(0) 를 적용해 정규화한다. 결과적으로 σ_F 라는 admissible permutation을 정의하고, σ_F^{-1} ∘ F 가 블록 내부에서만 작용함을 확인하면 이는 M에 속한다. 따라서 대칭군은 반직접곱 구조 Sym(V,d_π) ≅ S_π ⋉ M 를 갖는다. M 은 ∏_{i=1}^m S_{q^{k_i}} 와 동형이므로, 전체 군의 차수는 |Sym(V,d_π)| = |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) 와 동형이며, 차수는 |Aut(V,d_π)| = |S_π|·∏_{i=1}^m ∏_{j=0}^{k_i-1}(q^{k_i}−q^{j}) 이다. 해밍 거리 경우(k_i=1)에는 S_π = S_n, GL(1,q)=F_q^* 가 되므로 자동군은 S_n ⋉ (F_q^*)^n 로, 이는 기존에 알려진 결과와 일치한다. 논문은 또한 특수한 경우에 대한 구체적인 차수 계산을 제시한다. 예를 들어, 동일한 크기의 블록이 m₁개, 그 다음 크기의 블록이 m₂개 … 와 같이 구분될 때, |S_π|는 각 크기별 블록 수의 계승곱 ∏_{j=1}^r m_j! 로 주어지고, 전체 대칭군의 차수는 이와 ∏_{i=1}^m q^{k_i}! 의 곱으로 표현된다. 결론적으로, 저자는 π‑메트릭이 갖는 대칭 구조를 완전히 규정함으로써, 오류‑블록 코딩, 포셋 메트릭 등 다양한 응용 분야에서 대칭성을 활용한 코드 설계와 등가성 판별에 필요한 이론적 기반을 제공한다.