Function-Based Minimal Linear Codes over Galois Rings $\mathrm{GR}(p^{n}, \ell)$: Minimality Criteria and Infinite Constructions

이 논문은 갈루아 환 (Galois Ring) $GR(p^n, \ell)$ 위에서 정의된 **최소 선형 코드 (Minimal Linear Codes)**의 구조적 특성, 최소성 판정 기준, 그리고 무한한 가족의 구성 방법을 체계적으로 연구한 학술지입니다. 저자들은 유한체 (Finite Field) 환경에서 Wu 등 [27] 이 제안한 함수 기반 구성법을 갈루아 환으로 확장하여, 영약수 (zero divisors) 와 모듈 구조의 복잡성을 극복하고 새로운 최소 코드를 구축했습니다.

다음은 논문의 주요 내용을 기술적으로 요약한 것입니다.

1. 연구 배경 및 문제 제기 (Problem)

• 최소 선형 코드의 중요성: 최소 선형 코드는 비밀 공유 (Secret Sharing), 다자간 계산 (MPC), 검증 가능한 비밀 공유 (VSS) 등 암호학적 응용 분야에서 핵심적인 역할을 합니다. 코드의 최소성은 접근 구조 (Access Structure) 와 직접적으로 연결됩니다.
• 유한체 vs 유한환: 기존 연구는 주로 유한체 ($\mathbb{F}_q$) 에 집중되어 있었습니다. 그러나 갈루아 환과 같은 유한 환은 영약수 (zero divisors) 와 비자명한 아이디얼을 포함하여 대수적 구조가 훨씬 풍부합니다. 이는 코드 설계에 유연성을 주지만, 영약수로 인한 모듈의 비자유성 (non-freeness) 과 꼬임 (torsion) 현상으로 인해 최소성 분석이 유한체보다 훨씬 복잡합니다.
• 연구 목표:
  1. 갈루아 환 $GR(p^n, \ell)$ 위에서 정의된 선형 코드가 최소가 되기 위한 필요충분조건을 확립할 것.
  2. Wu 등 [27] 의 함수 기반 (Function-based) 구성법을 갈루아 환 환경으로 일반화하여 무한한 가족의 최소 선형 코드를 구성할 것.

2. 방법론 (Methodology)

저자들은 갈루아 환의 대수적 구조를 깊이 있게 활용하여 다음과 같은 방법론을 적용했습니다.

• 갈루아 환의 구조적 분석:
  • $GR(p^n, \ell)$는 유한 로컬 체인 링 (finite local chain ring) 이며, 프로베니우스 (Frobenius) 성질을 가집니다.
  • $p$-진수 표현 (p-adic representation) 과 테히뮐러 시스템 (Teichmüller system) 을 사용하여 원소를 분류하고, 단위 (unit) 와 영약수 (zero divisor) 를 구분했습니다.
  • 루트 워드 (Root Word): 환 위에서 정의된 벡터 중 적어도 하나의 성분이 단위인 벡터를 '루트 워드'로 정의했습니다. 이는 유한체에서의 비영 벡터에 대응되는 개념입니다.
• 이중 직교성 (Double Orthogonality) 활용:
  • 프로베니우스 링의 성질 $(C^\perp)^\perp = C$를 이용하여, 코드의 최소성 문제를 직교 모듈 (Orthogonal Module) 의 구조 분석 문제로 환원시켰습니다.
• 5 가지 유형의 루트 워드 분류:
  • 함수 기반 코드 $C_f$에서 발생하는 모든 루트 워드를 5 가지 유형으로 분류하고, 각 유형별로 최소성을 보장하기 위한 **동기화 조건 (Synchronization Condition)**을 유도했습니다.
  • 특히, 계수가 단위일 때와 영약수일 때 ($p^r u$ 형태) 에 따라 조건이 $f(\beta) = w \cdot \beta$와 $p^r f(\beta) = w \cdot \beta$로 달라지는 것을 발견했습니다.
• 기저 구성 Lemma:
  • 최소성을 증명하기 위해, 특정 직교 조건을 만족하면서도 해밀턴 무게 (Hamming weight) 가 작거나 성분이 모두 단위인 기저 벡터들을 구성하는 여러 보조정리 (Lemma 32~39) 를 제시했습니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

3.1 최소성의 필요충분조건 확립

• 정리 17: $m \ge 2$인 경우, 갈루아 환 위의 $m$차원 선형 코드가 최소일 필요충분조건은 모든 루트 워드가 최소인 것입니다.
  • 이는 꼬임 (torsion) 요소가 있는 영약수 배수 벡터들은 최소성에 추가적인 장애물을 만들지 않으며, 분석을 루트 워드로 축소할 수 있음을 의미합니다.
• 정리 25: 1 차원 코드의 최소성은 생성 벡터가 갈루아 환의 모든 비영 고유 아이디얼의 생성자를 포함할 때 성립함을 보였습니다.

3.2 길이 하한 및 상한 도출

• $m$차원 최소 선형 코드의 길이 $k$에 대한 하한을 유도했습니다.
  • $m \ge 3$: $k > (m-1)q^n + q^{n-m}$
  • $m = 2$: $n$에 따라 $k > q^n + q^{n-2} + 1$ 등의 조건을 만족합니다.
• 명시적인 구성을 통해 이 하한에 근접하는 상한을 제시했습니다 (Proposition 22, 23).

3.3 함수 기반 무한 가족 구성

• 함수 기반 구성 프레임워크: $f: GR(p^n, \ell)^m \to GR(p^n, \ell)$ 함수를 사용하여 생성 행렬을 정의하고, 이로부터 코드를 구성했습니다.
• 최소성 판정 기준 (Theorem 40, 43): 함수 $f$가 특정 대수적 조건 (단위/영약수 성분에 따른 값의 분포, 루트 워드에서의 행동 등) 을 만족하면, 생성된 코드가 최소가 됨을 증명했습니다.
  • 특히, 영약수 계수에 대한 조건 $p^r f(\beta) = w \cdot \beta$가 핵심적인 기여입니다.
• 다항식 기반 구성 (Theorem 45): 다변수 다항식 $f(x) = \sum a_i g_i(x)$가 특정 조건 (단항식 지지 집합의 불연속성, 차수 조건 등) 을 만족하면 최소 코드가 됨을 보였습니다.

3.4 기존 결과의 일반화

• $n=1$인 경우 (즉, 갈루아 환이 유한체 $\mathbb{F}_q$가 되는 경우), 본 논문의 결과와 구성법은 Wu 등 [27] 의 유한체 결과와 정확히 일치함을 확인하여, 기존 이론을 갈루아 환으로 성공적으로 확장했음을 입증했습니다.
• 정수 잉여환 $\mathbb{Z}_{p^n}$ ($\ell=1$) 에 대한 새로운 최소 코드 가족도 유도했습니다.

4. 의의 및 중요성 (Significance)

1. 대수적 코딩 이론의 확장: 유한체 중심이었던 최소 코드 이론을 갈루아 환이라는 더 복잡한 대수적 구조로 확장하여, 영약수와 꼬임 현상이 포함된 환경에서의 코드 이론을 정립했습니다.
2. 암호학적 응용 가능성: 최소 코드는 비밀 공유 및 인증 시스템에 필수적입니다. 갈루아 환 기반 코드는 양자 내성 암호 (Post-quantum cryptography) 및 격자 기반 암호 체계와 밀접한 관련이 있어, 향후 암호 프로토콜 설계에 새로운 가능성을 제시합니다.
3. 통일된 프레임워크: 프로베니우스 쌍대성, 체인 링 구조, 맥코이 랭크 (McCoy rank) 등을 결합하여 최소성을 분석하는 통일된 프레임워크를 제공했습니다. 이는 향후 다른 유한 프로베니우스 링으로의 일반화 연구의 기초가 됩니다.
4. 구체적 구성의 제공: 단순히 존재성을 논하는 것을 넘어, 명시적인 다항식과 조건을 통해 무한한 가족의 최소 코드를 실제로 구성할 수 있는 방법을 제시했습니다.

5. 결론 및 향후 과제

본 논문은 갈루아 환 위의 최소 선형 코드에 대한 구조적 이해를 심화시켰으며, 함수 기반 구성법을 통해 다양한 파라미터를 가진 코드를 생성할 수 있음을 보였습니다. 향후 연구 방향으로는 구성된 코드의 가중치 분포 (Weight Distribution) 분석, 소수 가중치 (Few-weight) 코드의 특성 규명, 그리고 임의의 유한 프로베니우스 링으로의 일반화, 그리고 구체적인 암호학적 응용 (예: 링 기반 비밀 공유) 에 대한 연구가 필요하다고 결론지었습니다.