크로네커 곱을 이용한 새로운 완전정규 q진법 부호군

본 논문은 “크로네커 곱을 이용한 새로운 완전정규 q‑ary 부호”라는 제목 아래, 두 종류의 부호를 체계적으로 구축한다. 첫 번째는 완전정규·완전전이 부호이며, 두 번째는 넓은 의미의 균일포장 부호(완전정규는 아님)이다. 1. **배경 및 정의** 저자는 먼저 q‑진법 선형 부호 C의 기본 개념(길이 n, 차원 k, 최소거리 d, 커버링 반경 ρ 등)을 소개하고, 완전정규와 완전전이의 정의를 제시한다. 완전정규는 각 코사트 레이어 C(i)에서 이웃 수(b_i, c_i)가 일정함을 의미하고, 완전전이는 자동군 Aut(C)가 코사트를 ρ+1개의 궤도로 나누는 성질을 가진다. 또한 균일포장(넓은 의미) 정의와 기존 예시(이진 BCH, Z₄‑linear Goethals‑like 부호)를 언급한다. 2. **크로네커 곱을 이용한 부호 구성** 두 개의 Hamming 부호 A와 B의 검증 행렬을 각각 A∈F_q^{m_a×n_a}, B∈F_q^{m_b×n_b}라 두고, H=A⊗B를 새로운 검증 행렬로 만든다. 여기서 n_a=(q^{m_a}−1)/(q−1), n_b=(q^{m_b}−1)/(q−1)이며, A와 B는 최소거리 3을 갖는 완전 Hamming 부호이다. 3. **코드 C의 기본 성질** - 길이 n=n_a·n_b, 차원 k=n−m_a·m_b, 최소거리 d=3. - 커버링 반경 ρ=min{m_a,m_b}. 이는 검증 행렬의 행·열 수에 직접 대응한다. - 임의의 벡터 v∈F_q^{n}를 n_b×n_a 행렬 형태로 재구성하고, ‘주 서브매트릭스’ M_v (크기 m_b×m_a)를 정의한다. 중요한 정리: d(v,C)=rank(M_v). 즉, 주 서브매트릭스의 랭크가 v와 부호 사이의 최소 거리와 정확히 일치한다. 4. **완전전이·완전정규 증명** 자동군 Aut(C)는 A와 B의 자동군을 텐서곱 형태로 확장한 구조이며, 행·열 교환(‘라인’ 전파) 연산을 통해 코사트를 ρ+1개의 궤도로 나눌 수 있음을 보인다. 따라서 C는 완전전이이며, 자동적으로 완전정규가 된다. 5. **교차 배열 계산** 정리 2에서 각 레이어 i(0≤i≤ρ)에서 이웃 수 b_i와 c_i를 명시적으로 구한다. 이는 완전정규 부호의 핵심 파라미터이며, Hamming 부호의 구조와 크로네커 곱의 특성을 이용해 계산된다. 6. **균일포장 부호의 별도 구성** 동일한 크로네커 곱 아이디어를 변형하여, ℓ≥1에 대해 길이 n=(ℓ+1)(q^{m}−1)/(q−1)·, 차원 k=n−ℓ·m, 커버링 반경 ρ=ℓ인 부호를 만든다. 이 부호들은 α_k 계수를 만족시켜 넓은 의미의 균일포장 조건을 충족하지만, 완전정규가 아니다(예외는 q=ℓ=2). 7. **의의와 비교** 기존에 커버링 반경이 길이에 비례해 무한히 커지는 완전정규 부호(예: 직접합 방식)와 달리, 여기서 제시된 부호는 길이가 무한히 커져도 커버링 반경을 고정된 ℓ으로 유지한다. 이는 부호 설계에서 거리와 반경을 독립적으로 조절할 수 있음을 의미한다. 또한, 크로네커 곱이라는 간단하면서도 강력한 연산을 통해 무한 계열의 부호를 체계적으로 생성할 수 있다는 점에서 이론적·실용적 가치를 갖는다. 8. **결론** 논문은 크로네커 곱을 활용한 부호 설계가 완전정규·완전전이 부호와 균일포장 부호를 동시에 제공할 수 있음을 증명하고, 교차 배열까지 명시함으로써 해당 부호들의 구조적 특성을 완전하게 규명한다. 향후 연구에서는 이러한 부호들을 실제 통신 시스템에 적용하거나, 다른 기본 부호(예: Reed‑Solomon)와의 텐서곱을 탐구하는 방향이 제시된다.